🔢 mathematics

Time-asymptotic stability of viscous shocks for the outflow problem of one-dimensional compressible fluids of Korteweg type

This paper establishes the time-asymptotic stability of viscous-dispersive shock waves for the one-dimensional outflow problem of barotropic Navier–Stokes–Korteweg fluids under subsonic or transonic far-field conditions with sufficiently small initial perturbations and shock amplitudes, utilizing the $a$ -contraction with shifts method to overcome challenges posed by boundary effects and capillarity.

Original authors: Sungho Han, Jeongho Kim, HyeonSeop Oh

Published 2026-06-15

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Sungho Han, Jeongho Kim, HyeonSeop Oh

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

Imagine a river flowing out of a dam. Usually, we think of water as a smooth, continuous stream. But in the world of physics, especially when dealing with fluids that are about to change state (like water turning into steam), the flow can get messy. It can form "shocks"—sudden, sharp jumps in density and speed, much like a traffic jam forming on a highway where cars suddenly slow down.

This paper is about proving that these "traffic jams" in a very specific type of fluid are stable. Even if you nudge the fluid a little bit at the start, the system will eventually settle back down into a predictable, smooth pattern as time goes on.

Here is a breakdown of the paper's story using everyday analogies:

1. The Setting: A Fluid with "Surface Tension"

The authors are studying a fluid described by the Navier-Stokes-Korteweg (NSK) equations.

The Fluid: Think of a fluid that has both viscosity (like honey, which resists flow) and capillarity (like water, which has surface tension and tries to minimize its surface area).
The Problem: They are looking at an outflow problem. Imagine a pipe where fluid is being pushed out of a container. The fluid is moving from the inside (where it's denser) to the outside (where it's less dense).
The Boundary: At the edge of the pipe (the wall), the fluid has to behave in a specific way. The paper assumes the fluid hits the wall at a perfect 90-degree angle, like a droplet sitting on a surface without spreading or beading up too much. This is called a "neutral wetting" condition.

2. The Goal: Proving the "Shock" Won't Crash

In this scenario, a viscous-dispersive shock forms.

The Analogy: Imagine a wave of cars moving down a highway. A "shock" is a sudden transition where fast cars (low density) hit a wall of slow cars (high density). In normal fluids, this transition is messy. In this specific fluid, the "surface tension" (capillarity) acts like a shock absorber, smoothing out the transition so it doesn't break apart.
The Question: If you start with a slightly imperfect wave (a little bump or wobble in the traffic), will the wave eventually smooth itself out and return to its perfect shape as time goes on? Or will the wobble grow until the whole system crashes?

The authors say: Yes, it will smooth itself out. As long as the initial wobble is small enough, the fluid will eventually settle back into its stable shock pattern.

3. The Difficulty: The "Outflow" Trap

Why hasn't this been solved before?

The Trap: In many physics problems, you can measure the fluid at the wall to know what's happening. But in an outflow problem, the fluid is leaving the system. It's like trying to predict the weather by only looking at the wind blowing out of a window; you can't easily see what's coming in to help you calculate the future.
The Missing Piece: Because the fluid is leaving, the usual mathematical tools (which rely on knowing the density at the wall) break down. The "outflow" creates a blind spot for the mathematicians.

4. The Solution: The "Shifting Anchor" Method

To solve this, the authors used a clever mathematical technique called "a-contraction with shifts."

The Analogy: Imagine you are trying to match two moving trains. One is the "perfect" train (the shock wave), and the other is the "real" train (the actual fluid). If you try to line them up perfectly from the start, they might drift apart because of small errors.
The Trick: Instead of forcing them to stay in the exact same spot, the authors allow the "perfect" train to slide back and forth (a "shift") to stay aligned with the "real" train. They also use a weighted ruler (a weight function) that pays extra attention to the area where the shock is happening.
The Result: By letting the reference point slide and focusing their energy on the most important part of the wave, they could prove that the distance between the "real" fluid and the "perfect" wave shrinks to zero over time.

5. The "Capillarity" Puzzle Piece

The fluid has a special property called capillarity (surface tension), which adds a complex, higher-order mathematical term to the equations.

The Challenge: This term is like a hidden spring inside the fluid. It's hard to track because it interacts with the flow in a tricky way.
The Fix: The authors introduced a new "helper variable" (a mathematical trick) to rewrite the equations. This allowed them to see the hidden spring clearly and prove that it helps stabilize the system rather than breaking it. They showed that even though this spring is hard to measure at the wall, its energy eventually dissipates (fades away) naturally.

The Bottom Line

The paper proves that for a fluid with internal capillarity flowing out of a pipe, a specific type of shock wave is time-asymptotically stable.

In plain English: If you have a fluid with surface tension flowing out of a container, and a shock wave forms, that wave is robust. Even if you disturb it slightly at the beginning, the fluid's natural properties (viscosity and surface tension) will act like a self-correcting mechanism. Over a long period, the fluid will forget the disturbance and return to its stable, predictable shock pattern. The authors successfully navigated the mathematical "blind spot" of the outflow boundary to prove this stability.

Technical Summary: Time-Asymptotic Stability of Viscous Shocks for the Outflow Problem of One-Dimensional Compressible Fluids of Korteweg Type

Problem Statement
This paper investigates the time-asymptotic stability of viscous-dispersive shock waves for the outflow problem of the one-dimensional barotropic Navier–Stokes–Korteweg (NSK) equations. The NSK equations model compressible fluids with internal capillarity, extending the standard Navier–Stokes (NS) equations by incorporating a higher-order dispersive term (the Korteweg stress tensor) to account for liquid-vapor phase transitions and surface tension.

The study focuses on the initial-boundary value problem (IBVP) on the half-line $R_+ = (0, \infty)$ . The specific "outflow" configuration is defined by a strictly negative boundary velocity $u(t, 0) = u_- < 0$ , where fluid flows out of the domain. The far-field state $(\rho_+, u_+)$ is assumed to be subsonic or transonic ( $u_+ < 0$ ). The boundary conditions consist of a prescribed velocity $u_-$ and a homogeneous Neumann condition for the density derivative, $\rho_x(t, 0) = 0$ , which corresponds to a neutral wetting condition in diffuse-interface models.

The primary mathematical challenge addressed is the stability of right-going (moving from left to right) viscous-dispersive shock profiles connecting a left state $(\rho_-, u_-)$ to a right state $(\rho_+, u_+)$ under these outflow conditions. Previous stability results for the NSK equations largely covered the whole-space problem or inflow/impermeable wall boundary conditions. The outflow case remained open due to the absence of a density boundary condition, which prevents the direct application of classical anti-derivative methods used in prior works on NS and NSK equations.

Methodology
The authors employ the method of $a$ -contraction with shifts, a technique originally developed for viscous equations to control shock perturbations without relying on anti-derivatives. The proof strategy involves several key technical steps:

Augmented System Formulation: To handle the third-order Korteweg term effectively and manage boundary conditions, the NSK equations are reformulated into an augmented system of conservation laws. An auxiliary capillarity variable $w := \sqrt{\kappa/\rho} \rho_x$ is introduced. This transforms the system into a standard viscous conservation law form, allowing the capillarity tensor to be expressed as $\sqrt{\kappa}(\rho^{3/2} w)_x$ . Crucially, the boundary condition $\rho_x(t, 0) = 0$ translates into a simple Dirichlet condition $w(t, 0) = 0$ .
Weighted Relative Entropy Estimates: The core of the stability analysis relies on weighted relative entropy estimates in Eulerian coordinates. A specific weight function $a(t, x)$ and a dynamical shift $X(t)$ are constructed. The weight function is designed to be strictly increasing across the shock profile, generating positive localized terms that dominate the "bad" nonlinear coupling terms arising from the perturbation.
Dynamical Shift: A shift function $X(t)$ is defined via an ordinary differential equation to track the position of the shock profile. This shift absorbs the non-decaying modes of the perturbation, ensuring that the solution converges to the shifted shock profile rather than the unshifted one.
Higher-Order Energy and Cross-Estimates: To close the a priori estimates, the authors derive higher-order energy estimates for the perturbations. A significant difficulty is recovering dissipation terms for the capillarity variable $w$ without additional boundary conditions. This is achieved through delicate cross-estimates between the velocity and capillarity perturbations, which provide the necessary dissipations to control the higher-order derivatives.

Key Contributions and Results
The main result is Theorem 1.1, which establishes the global well-posedness and time-asymptotic stability of the outflow problem toward a viscous-dispersive shock wave. Specifically:

Existence and Stability: For a given subsonic or transonic far-field state and a sufficiently small shock amplitude, there exists a unique global-in-time strong solution to the outflow problem.
Convergence: The solution converges to the corresponding viscous-dispersive shock wave (shifted by a function $X(t)$ ) as $t \to +\infty$ . The convergence is measured in $W^{1,\infty}$ for density and $L^\infty$ for velocity.
Shift Behavior: The shift function $X(t)$ is Lipschitz continuous, and its time derivative $\dot{X}(t)$ tends to zero as $t \to \infty$ .
Robustness: The proof holds provided the initial perturbation is sufficiently small in appropriate Sobolev norms ( $H^2$ for density, $H^1$ for velocity).

Significance
The paper claims significance in resolving a technical gap in the stability theory of the NSK equations. While the stability of viscous shocks for the standard NS equations in outflow scenarios was previously addressed using the $a$ -contraction method, extending this to the NSK equations introduced new difficulties due to the dispersive capillarity term and the specific boundary conditions required for well-posedness.

The authors highlight that the classical anti-derivative method, successful for inflow and impermeable wall problems, fails for the outflow case because the lack of a density boundary condition makes defining anti-derivative variables and constant shifts problematic. By successfully adapting the $a$ -contraction with shifts method to the augmented NSK system, this work provides the first proof of time-asymptotic stability for viscous-dispersive shocks in the outflow regime. The methodology demonstrates that the weighted relative entropy approach can effectively control both the boundary effects of the shock and the influence of capillarity near the boundary, overcoming the analytical difficulties posed by the nonlinear third-order dispersion term.