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

TL;DR

This paper studies the sub-Riemannian Navier-Stokes system on the Heisenberg group, establishing existence, uniqueness, and smoothing effects of solutions, with solutions becoming analytic in the vertical direction and exhibiting enhanced analyticity bounds over time.

Contribution

It introduces a framework for analyzing sub-Riemannian Navier-Stokes equations on the Heisenberg group, proving global existence, uniqueness, and instant analyticity of solutions in this hypoelliptic setting.

Findings

Global existence of weak solutions in L^2 setting

Solutions become instantly analytic in the vertical direction

Larger lower bound of analyticity radius for large times

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.