[Paper Review] Remarks on the Liouville type problem in the stationary 3D Navier-Stokes equations

Dongho Chae|arXiv (Cornell University)|Feb 17, 2015

Navier-Stokes equation solutions5 references6 citations

TL;DR

This paper establishes a Liouville-type rigidity result for smooth solutions to the stationary 3D Navier-Stokes equations on $ ^3$. It proves that if the vorticity $ω$ lies in $L^q$ for $\frac{3}{2} \leq q < 3$ and the velocity decays to zero at infinity, then either the solution is trivial ($v=0$), or a certain integral functional involving the vorticity and velocity fields diverges in both positive and negative parts. The result hinges on the structure of the nonlinear term and a novel integral representation via the Biot-Savart law.

ABSTRACT

We study the Liouville type problem for the stationary 3D Navier-Stokes equations on $\Bbb R^3$. Specifically, we prove that if $v$ is a smooth solution to (NS) satisfying $ω={ m curl}\,v \in L^q (\Bbb R^3) $ for some $\frac32 \leq q&lt; 3$, and $|v(x)| o 0$ as $|x| o +\infty$, then either $v=0$ on $\Bbb R^3$, or $\int_{\Bbb R^6} Φ_+ dxdy=\int_{\Bbb R^6} Φ_- dxdy=+\infty$, where $Φ(x,y) :=\frac{1}{4π}\frac{ω(x)\cdot(x-y) imes (v(y) imes ω(y) )}{|x-y|^3} $, and $Φ_\pm:=\max\{ 0, \pm Φ\}$. The proof uses crucially the structure of nonlinear term of the equations.

Motivation & Objective

• To resolve the long-standing open problem of whether nontrivial smooth solutions to the stationary 3D Navier-Stokes equations on $\mathbb{R}^3$ can exist under decay and integrability conditions on the velocity and vorticity.
• To establish a sharp criterion for triviality of solutions based on the integrability of a specific nonlinear integral kernel involving the vorticity and velocity fields.
• To extend known Liouville-type results by weakening the required integrability assumptions on the vorticity below $L^2$ and $L^{9/5}$, while preserving the conclusion of triviality or divergence of a critical integral.

Proposed method

• Define a kernel $\Phi(x,y) = \frac{1}{4\pi} \frac{\omega(x) \cdot (x-y) \times (v(y) \times \omega(y))}{|x-y|^3}$, which encodes the nonlinear interaction between velocity and vorticity.
• Use the Biot-Savart law to represent the velocity field in terms of the vorticity, ensuring the solution satisfies the required decay and regularity conditions.
• Establish pointwise and $L^p$-type bounds on $\Phi(x,y)$ using Hölder's inequality, Riesz potential estimates, and Calderón-Zygmund theory.
• Prove that the integrals $\int_{\mathbb{R}^6} \Phi_+ \, dxdy$ and $\int_{\mathbb{R}^6} \Phi_- \, dxdy$ are either both infinite or both finite.
• Apply the Fubini-Tonelli theorem to interchange integrations and derive a contradiction if both integrals are finite, leading to $\omega = 0$ and hence $v = 0$.
• Use the identity $\int_{\mathbb{R}^3} \Phi(x,y) \, dy = |\omega(x)|^2 \geq 0$ and $\int_{\mathbb{R}^3} \Phi(x,y) \, dx = 0$ to derive the key contradiction when the integrals are finite.

Experimental results

Research questions

• RQ1 Under what conditions on the vorticity $\omega$ and velocity $v$ can a nontrivial smooth solution to the stationary 3D Navier-Stokes equations exist on $\mathbb{R}^3$?
• RQ2 Can the Liouville-type theorem be extended to vorticity in $L^q$ for $q < 3$, beyond the known $L^2$ or $L^{9/5}$ conditions?
• RQ3 What is the role of the nonlinear term in the Navier-Stokes equations in enforcing rigidity or triviality of solutions under decay conditions?

Key findings

• If $v$ is a smooth solution to the stationary 3D Navier-Stokes equations with $|v(x)| \to 0$ as $|x| \to \infty$ and $\omega \in L^q(\mathbb{R}^3)$ for some $\frac{3}{2} \leq q < 3$, then either $v \equiv 0$ or the integrals $\int_{\mathbb{R}^6} \Phi_+ \, dxdy$ and $\int_{\mathbb{R}^6} \Phi_- \, dxdy$ are both infinite.
• The divergence of both positive and negative parts of the kernel $\Phi$ is a necessary condition for nontrivial solutions, providing a sharp obstruction to existence.
• The result implies that if $\omega \in L^{9/5}(\mathbb{R}^3)$, then $v \equiv 0$, recovering a known result but via a new, more general method.
• The proof does not require $\omega \in L^2(\mathbb{R}^3)$, showing that the $L^2$-based energy methods are not necessary for this type of rigidity.
• The key identity $\int_{\mathbb{R}^3} \Phi(x,y) \, dy = |\omega(x)|^2 \geq 0$ and $\int_{\mathbb{R}^3} \Phi(x,y) \, dx = 0$ is crucial for deriving the contradiction when the integrals are finite.
• The method establishes a new class of Liouville-type theorems by analyzing the structure of the nonlinear term through integral representations and symmetry.