🔢 mathematics

On the Cauchy problem for the multi-dimensional compressible Navier-Stokes-Korteweg system: Global strong solutions with arbitrarily large initial data

This paper establishes the global existence of strong solutions for the multi-dimensional compressible Navier-Stokes-Korteweg system with arbitrarily large initial data and non-vacuum far-field density in the whole space $\mathbb{R}^N$ ( $N=2,3$ ), extending previous results from the periodic domain to unbounded domains using a modified Nash-Moser type iteration scheme.

Original authors: Xiangdi Huang, Muxi Lei, Huitao Zhou

Published 2026-04-28

📖 3 min read🧠 Deep dive

CC0 1.0

Original authors: Xiangdi Huang, Muxi Lei, Huitao Zhou

Original paper dedicated to the public domain under CC0 1.0 (http://creativecommons.org/publicdomain/zero/1.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are trying to model how a thick, honey-like liquid flows through a vast, infinite ocean. This isn't just any liquid; it’s a "smart" fluid that has a memory of its own shape and a tendency to resist being squeezed or stretched.

In physics, this is known as the Navier–Stokes–Korteweg (NSK) system. For decades, mathematicians have been trying to prove that if you start this fluid moving in a certain way, it won't suddenly "explode" or become mathematically impossible (like a density becoming infinite or zero) as time goes on.

Here is a breakdown of what this paper achieves, using everyday analogies.

1. The Problem: The "Infinite Ocean" Challenge

Most previous breakthroughs in this field were done in a "bathtub" (a periodic domain). In a bathtub, the water is contained, and you can easily track its energy because the walls keep everything in check.

This paper tackles the "Cauchy Problem," which is like moving from a bathtub to the entire, infinite ocean. In an infinite space, you can't just rely on the walls to keep things stable. The fluid can spread out forever, and because it never hits a boundary, the math becomes much "leakier" and harder to control.

2. The "Smart" Fluid: Capillarity and Viscosity

The fluid in this paper has two special "personalities":

Viscosity (The Thickness): Like honey, it resists flowing. But in this model, the thickness changes depending on how crowded the molecules are (density-dependent).
Capillarity (The Surface Tension): This is the "Korteweg" part. Imagine the fluid has a built-in "elasticity." If you try to create a sharp edge or a sudden change in density, the fluid fights back to smooth it out.

The Challenge: Usually, if the "thickness" and the "elasticity" aren't perfectly balanced, the math breaks. The researchers used a very specific mathematical recipe (called a BD-type relation) to ensure these two forces work together like a well-tuned orchestra rather than fighting each other.

3. The Breakthrough: The "Safety Net" (Nash-Moser Iteration)

The biggest fear in fluid math is Vacuum (the density dropping to zero, meaning the fluid disappears) or Singularities (the density becoming infinitely high, like a black hole).

To prevent this, the authors used a sophisticated mathematical tool called a modified Nash-Moser iteration.

The Analogy: Imagine you are a tightrope walker in a storm.

The "Upper Bound" is like making sure you don't fly off into space (density doesn't become infinite).
The "Lower Bound" is like making sure you don't fall through the rope (density doesn't hit zero/vacuum).

Because they are in an infinite ocean, they couldn't just look at the whole thing at once. Instead, they used a "Truncation" method. They essentially drew a "mental circle" around the areas where the fluid was acting crazy, analyzed those small circles, and proved that even as those circles moved or grew, the fluid stayed within safe limits.

4. Why does this matter?

In simple terms, the researchers proved that this specific type of complex fluid is "well-behaved."

If you start with a realistic, smooth flow in an infinite space, the math guarantees that the fluid will continue to flow smoothly forever. It won't spontaneously develop "mathematical glitches" that make the equations stop working.

The Takeaway: They have provided a "Global Guarantee." They moved the theory from the safety of a controlled "bathtub" to the wild, unpredictable "infinite ocean," proving that even in the vastness, the laws of physics (as modeled by these equations) remain stable and predictable.

This paper addresses a long-standing open problem in fluid mechanics: the global existence of strong solutions to the multi-dimensional compressible Navier–Stokes–Korteweg (NSK) system with arbitrarily large initial data in the whole space $\mathbb{R}^N$ ( $N=2, 3$ ).

1. The Problem

The NSK system models capillary fluids where the stress tensor includes density gradient terms. While recent breakthroughs established global strong solutions for large data on the periodic domain ( $\mathbb{T}^N$ ), extending these results to the unbounded whole space ( $\mathbb{R}^N$ ) presents severe mathematical challenges. Specifically, the lack of domain compactness and the non-vanishing density at infinity ( $\rho \to 1$ as $|x| \to \infty$ ) make it difficult to establish the integrability of solutions and prevent the formation of vacuum states.

The authors focus on a generalized coefficient structure where:

Viscosity coefficients satisfy a BD-type algebraic relation: $\mu(\rho) = \nu\rho^\alpha$ and $\lambda(\rho) = 2\nu(\alpha-1)\rho^\alpha$ .
Capillarity complies with a generalized Bohm identity: $\kappa(\rho) = \epsilon^2 \alpha^2 \rho^{2\alpha-3}$ .

2. Methodology

The authors employ a sophisticated analytical framework to overcome the lack of integrability in $\mathbb{R}^N$ . The core strategy involves:

Effective Velocity Reformulation: The system is recast using an "effective velocity" $v$ , which helps decouple the complex coupling between density and momentum.
Refined Truncation Analysis: To handle the unboundedness of $\mathbb{R}^N$ , the authors introduce a truncation mechanism. Instead of iterating on the density $\rho$ directly, they apply a modified Nash–Moser type iteration to truncated versions of the density (focusing on high-density and low-density regions). This localizes the analysis to sets of finite measure.
Piecewise Analysis of the Adiabatic Exponent ( $\gamma$ ): In 3D, the authors split the investigation of $\gamma$ into different regimes to optimize the weighted integrability of the effective velocity.
Reverse Hölder Inequalities: To establish a strictly positive lower bound for the density (ruling out vacuum), they construct suitable reverse Hölder inequalities within the Nash–Moser scheme.
Decoupling Higher-Order Estimates: They develop a method to decouple the strong coupling between $\nabla^2 \rho$ and $\nabla v$ in the first-level higher-order estimates by utilizing the dissipation generated by the $\nabla \rho$ terms.

3. Key Contributions

Extension to Unbounded Domains: The paper successfully extends the large-data theory from the torus $\mathbb{T}^N$ to the whole space $\mathbb{R}^N$ .
Vacuum Prevention: It provides a rigorous proof that, under the given structural assumptions, the density remains bounded away from zero ( $\rho > 0$ ) for all time, even with large initial data.
Optimal Parameter Ranges: The authors establish the global existence for a wide range of the adiabatic exponent $\gamma$ and the viscosity exponent $\alpha$ , matching the indices achieved in the periodic case.
New Iteration Scheme: The development of a modified Nash–Moser iteration specifically designed for the Cauchy problem in the presence of non-vanishing far-field density is a significant technical contribution.

4. Results

Theorem 1.1 states that under the prescribed structural assumptions and parameter conditions (Assumption 1.1), the Cauchy problem for the NSK system admits a unique global strong solution $(\rho, u)$ .

The solution satisfies:

Uniform Density Bounds: There exist constants $C(T)$ such that $C(T)^{-1} \leq \rho(x, t) \leq C(T)$ .
High Regularity: The density $\rho-1$ and velocity $u$ maintain high-order Sobolev regularity (e.g., $\rho-1 \in H^3$ , $u \in H^2$ ) for all $t \in [0, T]$ .

5. Significance

This work resolves a formidable open problem in the mathematical theory of compressible fluids. By bridging the gap between periodic and whole-space models, it provides a more physically realistic framework for studying capillary fluids. The mathematical techniques developed—particularly the handling of non-vanishing far-field states in unbounded domains—offer new tools for studying other complex fluid models, such as the quantum Navier–Stokes equations.