Group invariant solutions of certain partial differential equations (Q2062024)

Let \((M,g)\) be a complete Riemannian manifold, \(G\) be a Lie subgroup of the isometry group of \(M\) acting freely and properly on \(M\), and \(\Omega\) be a \(G\)-invariant domain of \(C^{2,\alpha}\)-class in \(M\) such that \(\partial \Omega\) represents its nonempty boundary. The authors consider the following Dirichlet Problem \[\text{div}\left(\frac{a(\|\nabla u\|)}{\|\nabla u\|}\nabla u\right)=0\text{ in }\Omega\text{ and }u_{\restriction_{\partial\Omega}}=\varphi\in C^{2,\alpha}(\partial \Omega)\tag{1}\] such that \(a\in C^0([0,\infty))\cap C^1((0,\infty))\) where \(a(s)>0\), \(a'(s)>0\) for \(s>0\). They state that (1) has a unique weak \(G\)-invariant solution whenever \(a\) satisfies meaningful conditions and \(\pi(\Omega)\) is bounded in \(M/G\) where \(\pi\) stands for the \(M/G\)-valued projection map on \(M\).