Abstract:This article is devoted to the derivation of the incompressible sub-Riemannian Euler and the sub-Riemannian Navier-Stokes systems, and the analysis of the last one in the case of the Heisenberg group. In contrast to the classical Navier-Stokes system in the Euclidean setting, the diffusion is not elliptic but only hypoelliptic, and the commutator of the Leray projector and the hypoelliptic Laplacian is of order two. Yet, we study the existence of solutions in two different settings: within the $L^2$ setting which provides global existence of weak solutions; within a critical scale-invariant Sobolev-type space, associated with the regularity of the generators of the first stratum of the Lie algebra of right-invariant vector fields. In this latter class, we establish global existence of solutions for small data and a stability estimate in the energy spaces which ensures the uniqueness of the solutions in this class. Furthermore, we show in this setting that these solutions instantly become analytic in the vertical direction. Surprisingly, we obtain a larger lower bound of the radius of analyticity in the vertical direction for large times than for the usual incompressible Navier-Stokes system in the Euclidean setting. Finally, using the structure of the system, we recover the $\mathcal{C}^{\infty}$ smoothness in the other directions by using the analyticity in the vertical variable.

An addendum to the paper: "Some elementary estimates for the Navier-Stokes system"

A REMARK ON THE REGULARITY OF SOLUTIONS TO THE NAVIER-STOKES EQUATIONS

An Elementary Proof of the Existence and Uniqueness Theorem for the Navier-Stokes Equations

On the decay and gevrey regularity of the solutions to the Navier-Stokes equations in general two-dimensional domains

Global regularity for a slightly supercritical hyperdissipative Navier-Stokes system

Local and Global Existence Results for the Navier-Stokes Equations in the Rotational Framework

Hyperbolic Navier-Stokes equations in three space dimensions

Uniform Regularity for the Navier–Stokes Equation with Navier Boundary Condition

Partial Regularity of Navier-Stokes Equations

Existence and regularity of steady-state solutions of the Navier-Stokes equations arising from irregular data

The Regularity Criterion for 3D Navier-Stokes Equations

A Slightly Supercritical Condition of Regularity of Axisymmetric Solutions to the Navier-Stokes Equations

Global Regularity for the Navier-Stokes Equations with Large, Slowly Varying Initial Data in the Vertical Direction

Global Regularity for the Navier–Stokes Equations with Some Classes of Large Initial Data

Local existence and conditional regularity for the Navier-Stokes-Fourier system driven by inhomogeneous boundary conditions

Sub-Riemannian Navier-Stokes system on the Heisenberg group: Weak solutions, well-posedness and smoothing effects

Gevrey regularity and analyticity for the solutions of the Vlasov-Navier-Stokes system

On the Critical One Component Regularity for 3-D Navier-Stokes System: General Case

On the Existence and Smoothness of the Navier-Stokes Equation I

Global Regularity for Generalized Anisotropic Navier–Stokes Equations

Existence and Uniqueness for Plane Stationary Navier–Stokes Flows with Compactly Supported Force