Lipschitz extensions on generalized Grushin spaces (Q558692)

This paper extends the concept of viscosity solutions to Grushin type spaces. The author defines successively the horizontal gradient of a function, the symmetrized second-order (horizontal) derivative matrix of \(f\), the infinite Laplacian \(\Delta_{0,\infty}\) and the functional spaces \(C^1_{\text{sub}}\), \(C^2_{\text{sub}}\). This allows him to prove comparison principles, including one for viscosity infinite harmonic functions (i.e. for functions \(u\) for which \(\Delta_{0,\infty} u= 0\)). The notion of absolutely minimizing Lipschitz extension (or absolute minimizer) was introduced by \textit{G. Aronsson} [Ark. Mat. 6, 551--561 (1967; Zbl 0158.05001)]. This is the main result of this paper. If \(u\in C^1_{\text{sub}}\) is an absolute minimizer, then \(u\) is viscosity infinite harmonic function. Hence, \(u\) is unique in certain class of Grushin spaces.