Subelliptic Hamilton-Jacobi equations: the coercive stationary case (Q966210)

The Hamilton-Jacobi equation \[ u+\gamma H(x,\nabla u)= 0, \] where the Hamiltonian \(H(x, p): \mathbb{R}^n\times\mathbb{R}^n\to \mathbb{R}\) is not coercive in \(p\), is considered. In some cases the lack of coerciveness of the Hamiltonian can be overcome by chancing the underlying geometry with a suitable family of vector fields. The author is interested in existence and uniqueness of viscosity solutions and in their Lipschitz continuity in the Carnot group. We recall that the Lipschitz continuity in the Carnot group is the Lipschitz continuity for the right translations with respect to the Carnot-Carathéodory (left translation invariant) distance on the group and that the Lipschitz continuity is equivalent to the boundedness of the horizontal gradient. The method used to prove the main result of this paper is founded on a careful choice of the penalization functions in the doubling variables method. Also, the Perron's method is used.