Let $P$ be a linear partial differential operator with analytic coefficients. We assume that $P$ is of the form “sum of squares”, satisfying Hörmander’s bracket condition. Let $q$ be a characteristic point for $P$. We assume that $q$ lies on a symplectic Poisson stratum of codimension two. General results of Okaji show that $P$ is analytic hypoelliptic at $q$. Hence Okaji has established the validity of Treves’ conjecture in the codimension two case. Our goal here is to give a simple, self-contained proof of...

We prove that every homogeneous Carnot group can be lifted to a free homogeneous Carnot group. Though following the ideas of Rothschild and Stein, we give simple and self-contained arguments, providing a constructive proof, as shown in the examples.

We prove an approximation lemma on (stratified) homogeneous groups that allows one to approximate a function in the non-isotropic Sobolev space ${\dot{NL}}^{1,Q}$ by $L^{\infty }$ functions, generalizing a result of Bourgain–Brezis. We then use this to obtain a Gagliardo–Nirenberg inequality for $$ on the Heisenberg group ${ℍ}^n$.

We propose and analyze numerical schemes for viscosity solutions of time-dependent Hamilton-Jacobi equations on the Heisenberg group. The main idea is to construct a grid compatible with the noncommutative group geometry. Under suitable assumptions on the data, the Hamiltonian and the parameters for the discrete first order scheme, we prove that the error between the viscosity solution computed at the grid nodes and the solution of the discrete problem behaves like $\sqrt{h}$ where h is the mesh step. Such...