[Paper Review] A Liouville Theorem for Axi-symmetric Navier-Stokes Equations on $\mathbb{R}^2 imes \mathbb{T}^1$

Zhen Lei, Xiao Ren+1 more|arXiv (Cornell University)|Nov 5, 2019

Navier-Stokes equation solutions14 references4 citations

TL;DR

This paper establishes a Liouville theorem for bounded ancient mild solutions of the axi-symmetric Navier-Stokes equations on $\mathbb{R}^2 \times \mathbb{T}^1$, proving that such solutions must be constant in the $z$-direction if the swirl quantity $\Gamma = r v^\theta$ is bounded and the solution is periodic in $z$. The result confirms a conjecture in [5] under periodic boundary conditions, using Harnack estimates and oscillation control via compactness of the $\mathbb{T}^1$ factor.

ABSTRACT

We establish a Liouville theorem for bounded mild ancient solutions to the axi-symmetric incompressible Navier-Stokes equations on $(-\infty, 0] imes (\mathbb{R}^2 imes \mathbb{T}^1)$. This is a step forward to completely solve the conjecture on $(-\infty, 0] imes \mathbb{R}^3$ which was made in \cite{KNSS} to describe the potential singularity structures of the Cauchy problem.

Motivation & Objective

• To resolve a conjecture by Koch et al. [5] on the structure of bounded ancient solutions to the axi-symmetric Navier-Stokes equations.
• To establish a Liouville-type result for mild ancient solutions under boundedness of the swirl $\Gamma = r v^\theta$ and periodicity in the $z$-direction.
• To understand the local structure of potential singularities in the 3D Navier-Stokes Cauchy problem via blow-up analysis.
• To demonstrate that the compactness of $\mathbb{T}^1$ enables control over oscillation of stream functions, leading to rigidity of solutions.

Proposed method

• Use of Harnack estimates for the scalar equation satisfied by $\Gamma = r v^\theta$, which evolves according to $\partial_t \Gamma + (\mathbf{b} \cdot \nabla)\Gamma + \frac{2}{r}\partial_r \Gamma = \Delta \Gamma$.
• Application of a parabolic maximum principle to control the $L^\infty$ norm of $\Gamma$ uniformly in time.
• Construction of a nonnegative, $z$-periodic subsolution $\Phi$ derived from $\Gamma$ to apply Harnack-type estimates.
• Use of cut-off functions $\psi_R$ supported on parabolic cylinders $P_R$ to localize energy estimates and control singular drift terms.
• Employment of Chebyshev’s inequality and $L^2$-based energy estimates to derive pointwise lower bounds on $\Phi$, implying oscillation decay.
• Iterative application of the oscillation decay estimate to show that $\Gamma$ must be constant, hence $v^\theta \equiv 0$, leading to $\mathbf{v} = c \mathbf{e}_z$.

Experimental results

Research questions

• RQ1 Can bounded ancient mild solutions of the axi-symmetric Navier-Stokes equations on $\mathbb{R}^2 \times \mathbb{T}^1$ be non-constant if $\Gamma = r v^\theta$ is bounded and the solution is periodic in $z$?
• RQ2 Does the compactness of the $z$-torus $\mathbb{T}^1$ enable stronger control over solution oscillation than in the full $\mathbb{R}^3$ setting?
• RQ3 Can Harnack estimates for the $\Gamma$-equation be used to prove rigidity of solutions under boundedness and periodicity?
• RQ4 To what extent does the boundedness of $\Gamma$ and the mild solution structure imply global regularity and constancy of the velocity field?
• RQ5 Does the blow-up procedure for potential singularities in the 3D Navier-Stokes Cauchy problem yield solutions that are periodic in $z$, justifying the use of this setting?

Key findings

• Any bounded ancient mild solution $\mathbf{v}$ of the axi-symmetric Navier-Stokes equations on $\mathbb{R}^2 \times \mathbb{T}^1$ with bounded $\Gamma = r v^\theta$ and $z$-periodicity must be constant in the $z$-direction, i.e., $\mathbf{v} \equiv c \mathbf{e}_z$ for some constant $c$.
• The proof relies on Harnack estimates for the $\Gamma$-equation and the fact that the $z$-periodicity enables a uniform lower bound on the $L^1$-norm of $\Phi = (\Gamma - \inf \Gamma)/(\sup \Gamma - \inf \Gamma)$ over large parabolic cylinders.
• A key estimate shows that the oscillation of $\Gamma$ over a parabolic cylinder of radius $R$ decays by a factor $1 - \sigma$ after scaling down by a factor $\sqrt{\kappa}/4$, leading to iterative decay.
• The oscillation decay implies $\Gamma$ is constant in space and time, and since $\Gamma \equiv 0$ at $r=0$, it follows that $\Gamma \equiv 0$, so $v^\theta \equiv 0$, and thus $\mathbf{v} = c \mathbf{e}_z$.
• The result confirms the conjecture in [5] under the additional assumption of $z$-periodicity, which arises naturally in blow-up analysis of potential singularities.
• The method demonstrates that the compactness of $\mathbb{T}^1$ is essential in controlling the oscillation of the stream function, enabling the Liouville-type conclusion where it fails in the non-compact $\mathbb{R}^3$ case.