🔢 mathematics

Time-Asymptotic Stability of the Stationary Solution to the Impermeable Wall Problem for the radially Symmetric Navier-Stokes-Korteweg Equations

This paper establishes the time-asymptotic stability of the stationary solution for the radially symmetric Navier-Stokes-Korteweg equations on an exterior domain with an impermeable wall, proving that small perturbations of the initial and boundary data lead to a global-in-time strong solution that converges to the stationary state.

Original authors: Jeongho Kim

Published 2026-08-19

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Jeongho Kim

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.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

Fluids that can be squeezed, like air or water under pressure, do not always behave with simple predictability. When these fluids move, they carry momentum and energy, and their density can change from place to place. In many real-world situations, from the flow of blood in veins to the movement of gas in stars, the fluid also possesses a kind of internal tension, a tendency to smooth out sharp changes in its own density. Scientists call this capillarity, a force that acts like a microscopic skin, trying to keep the fluid's structure intact even as it stretches or compresses. Understanding how such fluids settle down over time, especially when they are confined by a solid wall, is a fundamental challenge in physics. It requires tracking how the fluid's density and speed evolve, balancing the push of pressure against the drag of viscosity and the pull of capillary forces.

In a recent study, a researcher named Jeongho Kim tackled a specific version of this problem involving a fluid that fills the space outside a solid sphere. Imagine a large, empty region of space starting just beyond the surface of a ball and extending infinitely outward. The fluid is trapped against the ball's surface, which acts as an impermeable wall, meaning the fluid cannot pass through it or slide along it; it must come to a complete stop at the boundary. The question was whether a fluid starting in a state that is slightly different from a calm, steady state would eventually return to that calm state, or if the small disturbances would grow and cause the system to become chaotic. The researcher focused on a scenario where the fluid moves in a perfectly symmetrical way, expanding or contracting in all directions from the center, much like ripples on a pond but in three dimensions.

The study confirms that if the fluid starts very close to a steady, unchanging state, and the conditions at the boundary are kept small, the fluid will indeed settle down. It does not matter if the fluid is initially moving a little or if its density is slightly uneven; as time passes, these disturbances fade away. The fluid's speed slows down until it stops completely, and its density smooths out until it matches the steady pattern that exists far away from the wall. This result holds true for fluids in three or more dimensions, provided the initial disturbances are small enough. The researcher proved that a solution to the equations governing this motion exists for all time and that it converges to the stationary state, meaning the fluid eventually becomes indistinguishable from the calm, steady flow it was meant to be.

To reach this conclusion, the researcher did not rely on computer simulations or approximations but used a rigorous mathematical approach based on energy. In physics, energy often serves as a measure of how active a system is. The researcher designed a special way of measuring the total energy of the fluid's disturbances, combining different aspects of the fluid's motion and density into a single value. By carefully tracking how this energy changes over time, they showed that it must decrease. The mathematical tools used allowed them to prove that the energy cannot stay high or fluctuate wildly; instead, it is forced to drain away, leaving the fluid in a state of rest. This method involved constructing a specific energy function that accounts for the unique way the fluid interacts with the curved boundary and the capillary forces that act within it.

The findings are significant because they fill a gap in our understanding of how compressible fluids with surface tension behave in open spaces. While scientists have long studied how fluids move in straight pipes or in infinite space without boundaries, the behavior of these fluids against a solid wall in a radially symmetric setting had not been fully resolved. The work demonstrates that the presence of the wall does not prevent the fluid from stabilizing, as long as the initial push is gentle. It also clarifies the role of the dimension of space, showing that the mathematical proof relies on the fluid existing in three or more dimensions, where the geometry of the space helps the disturbances dissipate.

This research provides a solid foundation for understanding the long-term behavior of complex fluids in confined, symmetric environments. It assures us that under the right conditions, the chaotic motion of a disturbed fluid is temporary. The fluid will naturally find its way back to equilibrium, smoothing out its density and stopping its motion, guided by the fundamental laws of physics that govern pressure, viscosity, and surface tension. The result is a clear picture of stability in a system that might otherwise seem prone to endless fluctuation, offering a definitive answer to how such fluids behave when left to their own devices over long periods.

Technical Summary: Time-Asymptotic Stability of the Stationary Solution to the Impermeable Wall Problem for the Radially Symmetric Navier–Stokes–Korteweg Equations

Problem Statement
This paper investigates the initial-boundary value problem for the radially symmetric Navier–Stokes–Korteweg (NSK) equations defined on an exterior domain $\Omega = \{x \in \mathbb{R}^n \mid |x| > 1\}$ with $n \ge 3$ . The system models the motion of compressible fluids with capillary effects. The study focuses specifically on the "impermeable wall problem," where the fluid velocity at the boundary $|x|=1$ is set to zero ( $u(t, 1) = 0$ ), while the density gradient at the boundary is fixed ( $\rho_r(t, 1) = \rho_b$ ). The far-field condition requires the solution to approach a constant density $\rho_+$ and zero velocity as $r \to \infty$ .

The primary objective is to analyze the time-asymptotic behavior of solutions when the initial data is a small perturbation of a unique stationary solution $(\tilde{\rho}, 0)$ . While the existence and properties of such stationary solutions were established in the author's previous work [27], this paper addresses the stability and convergence of the time-dependent solution towards this stationary state.

Methodology
The analysis relies on elementary energy estimates combined with carefully designed energy functionals. The core methodology involves:

Perturbation Formulation: The solution $(\rho, u)$ is decomposed into the stationary solution $(\tilde{\rho}, 0)$ and perturbations $(\phi, \psi) = (\rho - \tilde{\rho}, u)$ . The governing equations are rewritten in terms of these perturbations.
Functional Inequalities: A series of weighted functional inequalities (Lemmas 2.1–2.3) are established for functions on $[1, \infty)$ with specific boundary conditions. These inequalities, which depend critically on the dimension $n \ge 3$ , are used to control $L^\infty$ norms and weighted $L^2$ norms by derivatives.
A Priori Estimates: The author derives a priori estimates for the perturbation in the $H^2 \times H^1$ $H^{2} \times H^{1}$ norm. This is achieved by constructing a combined energy functional $\mathcal{L}$ $L$ , which is a linear combination of four distinct energy functionals ( $E_1$ $E_{1}$ through $E_4$ $E_{4}$ ):
- $E_1$ : A basic $L^2$ -type estimate involving internal energy and kinetic energy.
- $E_2$ : A cross-term estimate involving $\langle \rho \psi, \phi_r \rangle$ to extract dissipation for density derivatives.
- $E_3$ : A high-order estimate involving first derivatives of velocity and second derivatives of density.
- $E_4$ : An estimate involving the time derivative of velocity to control $\|\psi_t\|^2$ .
  While the a priori smallness condition is imposed on the $H^2 \times H^1$ norm of the perturbations (Proposition 3.1), the global existence proof relies on a local solution constructed in the higher regularity space $H^3 \times H^2$ .
Continuation Argument: The global well-posedness is proven by combining the local existence theory (established via standard iteration schemes in $H^3 \times H^2$ ) with the derived a priori estimates. A continuation argument is used to show that the local solution can be extended to a global-in-time solution provided the initial perturbation and boundary data are sufficiently small.
Asymptotic Convergence: To prove convergence as $t \to \infty$ , the paper demonstrates that the squared norms of the perturbations and their derivatives belong to $W^{1,1}(0, \infty)$ . This is achieved by showing that the time derivatives of these norms are integrable over time, utilizing the dissipation terms and the boundedness of higher-order derivatives established in the global existence proof.

Key Contributions and Results

Main Theorem (Theorem 1.1): The paper proves that if the boundary data $|\rho_b|$ is sufficiently small and the initial perturbation $(\rho_0 - \tilde{\rho}, u_0)$ is small in the $H^2 \times H^1$ norm (with the initial data itself belonging to $H^3 \times H^2$ ), there exists a unique global-in-time strong solution to the radially symmetric NSK equations.
Convergence: The global solution converges time-asymptotically to the stationary solution $(\tilde{\rho}, 0)$ . Specifically, the paper establishes:
$\lim_{t \to \infty} (\|\rho(t) - \tilde{\rho}\|_{W^{1,\infty}(1,\infty)} + \|u(t)\|_{L^\infty(1,\infty)}) = 0.$
Dimensional Constraint: The analysis explicitly requires the spatial dimension $n \ge 3$ . The author notes that this constraint is essential for obtaining the necessary functional inequalities (Lemmas 2.2 and 2.3) used to bound the $L^\infty$ norms of the perturbations.
Novelty in Context: The paper highlights that while time-asymptotic behaviors for radially symmetric Navier–Stokes (NS) and Navier–Stokes–Fourier (NSF) equations have been studied, the time-asymptotic behavior for the radially symmetric NSK equations (incorporating capillarity) on an exterior domain had not been previously investigated. This work fills that gap.

Significance and Claims
The paper claims to provide the first rigorous proof of the time-asymptotic stability of stationary solutions for the radially symmetric NSK equations in an exterior domain with an impermeable wall. By establishing the global existence and convergence of solutions under smallness assumptions, the work extends the understanding of compressible viscous-capillary fluids beyond the one-dimensional case and the whole space. The methodology demonstrates that elementary energy estimates, when combined with specific weighted inequalities and a multi-functional energy approach, are sufficient to handle the complexities introduced by the capillarity term and the exterior domain geometry in higher dimensions. The results serve as a follow-up to the author's previous work on the existence of stationary solutions, completing the picture of the long-time dynamics for this specific class of problems.

More like this