Inertial Limit of global weak solutions for Compressible Navier–Stokes

Cheng Yu

arXiv: 2603.11432v1 · PDF · 12 March 2026
Categories: math.AP
Licence: CC BY 4.0 The site shows the text.

Abstract

We investigate the inertial limit of the compressible Navier–Stokes system posed on the 3-dimensional torus, and allowing for regions of vacuum. Considering global-in-time finite-energy weak solutions of a scaled system, we rigorously establish convergence to a limiting system in which the momentum equation reduces to a stationary elliptic balance between pressure and viscous forces. In this limit, the scaled kinetic energy vanishes, reflecting an overdamped regime, and the limiting weak solution satisfies an exact energy equality. Our analysis relies on uniform a priori estimates, renormalized techniques, and compactness arguments in the Lions–Feireisl framework, providing a mathematically rigorous analysis for the overdamped dynamics arising from vanishing inertia in compressible viscous flows.

Items 11

Definition

Definition 1.1

F423

A pair (\rho_\varepsilon, u_\varepsilon) is called a finite-energy weak solution of (?)-(?) on [0,T]\times \mathbb{T}^3 if the following conditions hold:

1. Regularity

\rho_\varepsilon \ge 0, \quad \rho_\varepsilon \in L^\infty(0,T; L^\gamma(\mathbb{T}^3)) \quad \text{for some } \gamma>1,

\rho_\varepsilon u_\varepsilon \in L^\infty(0,T; L^{\frac{2\gamma}{\gamma+1}}(\mathbb{T}^3)), \quad u_\varepsilon \in L^2(0,T; H^1(\mathbb{T}^3; \mathbb{R}^3)).

2. Continuity Equation holds in the renormalized senese

For every test function \phi \in C_c^\infty([0,T)\times \mathbb{T}^3),

\begin{split} \int_0^T \int_{\mathbb{T}^3} \Big( b(\rho_\varepsilon) \partial_t \phi + b(\rho_\varepsilon) u_\varepsilon \cdot \nabla \phi \Big) \, dx\, dt &+\int_{\mathbb{T}^3}(b'(\rho_{\varepsilon})\rho_{\varepsilon}-b(\rho_{\varepsilon})) {\rm div} u_{\varepsilon}\phi\,dx \\&+ \int_{\mathbb{T}^3} b(\rho_0^\varepsilon(x)) \phi(0,x)\, dx = 0. \end{split}

This is equivalent to

\partial_t b(\rho) + {\rm div} \bigl(b(\rho)u\bigr) + \bigl(b'(\rho)\rho - b(\rho)\bigr){\rm div} u = 0

in the sense of distributions on (0,T)\times\mathbb{T}^3, for any b \in C^{1}(\mathbb{R}) such that

b'(z) \equiv 0 \quad \text{for all } z \ge M,

where the constant M may depend on the choice of b.

3. Weak Formulation of the Momentum Equation

For all vector-valued test functions \psi \in C_c^\infty([0,T)\times \mathbb{T}^3; \mathbb{R}^3),

\begin{aligned} &\varepsilon \int_0^T \int_{\mathbb{T}^3} \Big( \rho_\varepsilon u_\varepsilon \cdot \partial_t \psi + \rho_\varepsilon u_\varepsilon \otimes u_\varepsilon : \nabla \psi \Big) \, dx\, dt + \int_0^T \int_{\mathbb{T}^3} \rho_\varepsilon^{\gamma} \, {\rm div} \psi \, dx\, dt \\ &= - \int_0^T \int_{\mathbb{T}^3} \Big( \nu \nabla u_\varepsilon : \nabla \psi + (\nu + \lambda)({\rm div} u_\varepsilon)({\rm div} \psi) \Big) \, dx\, dt + \varepsilon \int_{\mathbb{T}^3} m_0^\varepsilon(x) \cdot \psi(0,x) \, dx. \end{aligned}

4. Energy Inequality (Finite Energy)

For a.e. t \in [0,T],

\begin{split} \int_{\mathbb{T}^3} \Big( \frac{\varepsilon}{2} \rho_\varepsilon |u_\varepsilon|^2 + \frac{\rho_{\varepsilon}^{\gamma}}{\gamma-1} \Big) dx &+ \int_0^t \int_{\mathbb{T}^3} \Big( \nu |\nabla u_\varepsilon|^2 + (\nu+\lambda) |{\rm div} u_\varepsilon|^2 \Big) dx\, ds \\& \le \int_{\mathbb{T}^3} \Big( \frac{\varepsilon}{2} \rho_0^\varepsilon |u_0^\varepsilon|^2 + \frac{(\rho_0^{\varepsilon})^{\gamma}}{\gamma-1} \Big) dx. \end{split}

Used by Theorem 1.1

Definition

Definition 1.2

FZ40

A pair (\rho,u) is called a weak solution of (?) and (?) on [0,T]\times\mathbb{T}^3 if the following hold.

(Regularity). The functions satisfy, for some admissible exponent \gamma>1,

\rho\in L^\infty(0,T;L^\gamma(\mathbb{T}^3)),\qquad \rho\ge 0 \ \text{a.e.},

and

u\in L^2(0,T;H^1(\mathbb{T}^3;\mathbb{R}^3)).

Continuity Equation holds in the renormalized sense For every test function \varphi \in C_c^\infty([0,T)\times \mathbb{T}^3),

\begin{split} \int_0^T \int_{\mathbb{T}^3} \Big( b(\rho_\varepsilon) \partial_t \varphi + b(\rho_\varepsilon) u_\varepsilon \cdot \nabla \varphi \Big) \, dx\, dt &+\int_{\mathbb{T}^3}(b'(\rho_{\varepsilon})\rho_{\varepsilon}-b(\rho_{\varepsilon})) {\rm div} u_{\varepsilon}\varphi\,dx \\&+ \int_{\mathbb{T}^3} b(\rho_0^\varepsilon(x)) \varphi(0,x)\, dx = 0. \end{split}

(Weak momentum / elliptic relation). For almost every t\in(0,T) the pair (\rho(t,\cdot),u(t,\cdot)) satisfies the elliptic type equation in weak form: for every vector-valued test function \psi\in C_c^\infty(\mathbb{T}^3;\mathbb{R}^3),

\begin{split} \int_{\mathbb{T}^3} \rho^{\gamma}\,{\rm div} \psi(x)\,dx &+ \nu\int_{\mathbb{T}^3}\nabla u(t,x)\,:\,\nabla\psi(x)\,dx \\&+ (\nu+\lambda)\int_{\mathbb{T}^3}({\rm div} u(t,x))({\rm div} \psi(x))\,dx =0. \end{split}

Here \nabla u : \nabla\psi = \sum_{i,j}\partial_i u_j\,\partial_i\psi_j.

Used by Theorem 1.1, Proposition 2.1, Lemma 3.1, Proof, Proposition 3.1

Theorem

Theorem 1.1 (Inertial limit of finite-energy weak solutions)

TCRZ

For any \gamma>\frac{3}{2}, let (\rho_\varepsilon, u_\varepsilon) be a finite-energy weak solution of (?)-(?) on [0,T]\times \mathbb{T}^3. Then there exists a subsequence (still denoted by \varepsilon\to0) such that

\begin{split} &\rho_{\varepsilon}\to \rho\quad\text{ weakly in }L^{\infty}(0,T;L^{\gamma}(\mathbb{T}^3)), \text{ and } \rho_{\varepsilon}\to \rho \text{ in } L^1(0,T;L^1(\mathbb{T}^3)), \\& u_\varepsilon\to u\quad\text{ weakly in } L^2(0,T;H^1(\mathbb{T}^3)); \end{split}

and the weak limit (\rho, u) is a weak solution of (?) and (?) on [0,T]\times\mathbb{T}^3, and the weak solution satisfies the following energy equality

\int_{\mathbb{T}^3}\frac{\rho^{\gamma}}{\gamma-1}\,dx+\int_0^T\int_{\mathbb{T}^3}\nu |\nabla u|^2+(\nu+\lambda)|{\rm div} u|^2\,dx\,dt=\int_{\mathbb{T}^3}\frac{\rho_0^{\gamma}}{\gamma-1}\,dx

Moreover, the scaled kinetic energy vanishes in the limit: for every fixed t>0,

\varepsilon \int_{\mathbb{T}^3} \rho^\varepsilon(t,x)\, \lvert u^\varepsilon(t,x)\rvert^2 \, dx \longrightarrow 0 \quad \text{as } \varepsilon \to 0.

Uses Definition 1.1, Definition 1.2

Remark

Remark 1.1

L7Z4

Note that the limiting velocity field is determined instantaneously by the density through an elliptic relation. In particular, the limiting momentum equation does not generate an independent time evolution for the velocity, reflecting the overdamped nature of the limit dynamics.

Lemma

Lemma 2.1

IPP7

For any \gamma>\frac{3}{2}, then there exists a positive number \theta, only depending on \gamma, such that

\int_0^T\int_{\mathbb{T}^3}\rho_{\varepsilon}^{\gamma+\theta}\,dx\,dt\leq C,

where C is a constant.

Used by Proof

Proposition

Proposition 2.1

SICY

For any \varepsilon>0, there exists a subsequence of (\rho_{\varepsilon},u_{\varepsilon}) such that

\begin{split} &\rho_{\varepsilon}\to \rho \text{ in } C(0,T;L^{\gamma}_{weak}(\mathbb{T}^3)),\;\;\; \rho_{\varepsilon}\to \rho \text{ in } L^1(0,T;L^1(\mathbb{T}^3)), \\&u_{\varepsilon}\to u \text{ weakly in } L^2(0,T;W^{1,2}(\mathbb{T}^3)), \end{split}

and the weak limit (\rho,u) is a weak solution to (?)-(?).

Uses Definition 1.2

Proof of Proposition 2.1

With uniform bounds (?), (?) and (?), and Lemma 2.1 at hands, we deduce that

\begin{split} &\rho_{\varepsilon}\to \rho \text{ in } C(0,T;L^{\gamma}_{weak}(\mathbb{T}^3)), \\&u_{\varepsilon}\to u \text{ weakly in } L^2(0,T;W^{1,2}(\mathbb{T}^3)), \end{split}

By Lemma 2.1, we have

\rho_{\varepsilon}^{\gamma}\to \bar{\rho^{\gamma}} \text{ weakly in } L^{\frac{\gamma+\theta}{\gamma}}((0,T)\times\mathbb{T}^3),

where \bar{f} is the weak limit of the sequence \{f_n\}.

For any \gamma>\frac{3}{2}, and (2.1) yields

\rho_{\varepsilon}u_{\varepsilon}\to \rho u\text{ in}\;\; D'((0,T)\times\mathbb{T}^3).

Note that

\begin{split} \|\varepsilon\rho_{\varepsilon}u_{\varepsilon}\|_{L^{\infty}(0,T;L^{\frac{2\gamma}{\gamma+1}}(\mathbb{T}^3))}&\leq \sqrt{\varepsilon}\|\sqrt{\varepsilon\rho_{\varepsilon}}u_{\varepsilon}\|_{L^{\infty}(0,T;L^2(\mathbb{T}^3))}\|\sqrt{\rho_{\varepsilon}}\|_{L^{\infty}(0,T;L^{2\gamma}(\mathbb{T}^3))} \\&\to 0 \quad\text{ as } \varepsilon \to 0, \end{split}

thus we have \varepsilon \rho_{\varepsilon}u_{\varepsilon}\to 0\text{ in } L^{\infty}(0,T;L^{\frac{2\gamma}{\gamma+1}}(\mathbb{T}^3)).

With the help of (2.1), this can ensure that

\varepsilon\rho_{\varepsilon}u_{\varepsilon}\otimes u_{\varepsilon}\to 0 \text{ in }\;D'((0,T)\times\mathbb{T}^3)

for any \gamma> \frac{3}{2}.

Thus, letting \varepsilon\to 0, we are able to recover the weak limit (\rho, u) of the sequence of solutions (\rho_{\varepsilon},u_{\varepsilon}). In particular, this weak limit satisfies

\begin{cases} \partial_t \rho + {\rm div}(\rho u) = 0, \\[6pt] \nabla \bar{\rho^{\gamma}} = \nu\Delta u + (\nu + \lambda)\nabla({\rm div} u), \end{cases}

in the sense of D'((0,T)\times\mathbb{T}^3). To show this weak limit is a weak solution to the equation, we still need to show that

\rho^{\gamma} = \overline{\rho^{\gamma}} .

This follows from the strong convergence of the density in L^1(0,T;L^1(\mathbb{T}^3)). The strong convergence of the density relies on uniform bounds and the weak continuity of the effective flux. The proof closely follows the argument in Section 4 of [FNP]. Meanwhile, we can deduce the following energy inequality

\int_{\mathbb{T}^3}\frac{\rho^{\gamma}}{\gamma-1}\,dx+\int_0^T\int_{\mathbb{T}^3}\nu |\nabla u|^2+(\nu+\lambda)|{\rm div} u|^2\,dx\,dt\leq\int_{\mathbb{T}^3}\frac{\rho_0^{\gamma}}{\gamma-1}\,dx.

Uses Lemma 2.1

Lemma

Lemma 3.1

QFRM

Let (\rho,u) be any weak solution to (?)–(?) satisfying the energy inequality (?). Then

\int_0^T \int_{\mathbb{T}^3} |\rho^{\gamma}|^2 \, dx \, dt \le C,

where C>0 is a constant depending only on the initial data and the time T>0.

Uses Definition 1.2 · Used by Proof

Proof of Lemma 3.1

We choose

\varphi(t,x) = S_m\!\left[ \phi_m(t)\nabla \Delta^{-1}\!\left( S_m(\rho^{\gamma}) - \fint_{\mathbb{T}^3} S_m(\rho^{\gamma}) \right) \right]

as a test function for any weak solution (\rho,u) to the system (?)–(?), where S_m(f)=f*\eta_m denotes the standard spatial mollification operator; and \phi_m \in \mathcal{D}(0,T) is a time cut-off function satisfying \phi_m \to 1 as m \to \infty.

We remark that the operator \nabla\Delta^{-1} coincides with the Bogovskii operator on the torus, up to the subtraction of the spatial mean. More generally, let \Omega \subset \mathbb{R}^3 be a bounded Lipschitz domain. The Bogovskii operator

\mathcal{B} : L_0^p(\Omega) \longrightarrow W_0^{1,p}(\Omega;\mathbb{R}^3), \qquad 1<p<\infty,

is a linear operator associated with the divergence equation. Specifically, for any

f \in L_0^p(\Omega) := \Big\{ f \in L^p(\Omega) : \int_\Omega f\,dx = 0 \Big\},

the vector field u=\mathcal{B}[f] satisfies

{\rm div} u = f \quad \text{in } \Omega, \qquad u|_{\partial \Omega} = 0.

In the present proof, in order to control the terms I_2 and I_3 below, we rely on the following standard properties of the Bogovskii operator:

Boundedness. There exists a constant C=C(\Omega,p)>0 such that
\|\nabla \mathcal{B}[f]\|_{L^p(\Omega)} \le C \|f\|_{L^p(\Omega)}.
Divergence property. By construction, the operator satisfies
{\rm div} \mathcal{B}[f] = f \quad \text{a.e. in } \Omega.

Testing (?) with this function, we are able to derive that

\begin{split} & \int_0^T\int_{\mathbb{T}^3}\phi_m(t)|S_m(\rho^{\gamma})|^2\,dx\,dt = \int_0^T\int_{\mathbb{T}^3}\phi_m(t) S_m(\rho^{\gamma}) \fint_{\mathbb{T}^3}S_m(\rho^{\gamma})\,dx\,dx\,dt \\&+\nu\int_0^T\int_{\mathbb{T}^3}\phi_m(t)\nabla S_m(u) (\partial_i\partial_j\Delta^{-1})\left(S_m(\rho^{\gamma})-\fint_{\mathbb{T}^3}S_m(\rho^{\gamma})\right)\,dx\,dt \\& +(\nu+\lambda)\int_0^T\int_{\mathbb{T}^3}\phi_m(t){\rm div} S_m(u)\left(S_m(\rho^{\gamma})-\fint_{\mathbb{T}^3}S_m(\rho^{\gamma})\right)\,dx\,dt \\&=I_1+I_2+I_3, \end{split}

where we used Divergence property of Bogovskii operator to obtain I_3.

Using (?), we can control |I_1|\leq C_1, where C_1 is a constant only depending on time T and the initial data.

To control I_2, we rely on Boundedness property of the Bogovskii operator, this gives us

|I_2|\leq C_2\int _0^T\int_{\mathbb{T}^3}|\nabla S_m(u)|^2\,dx\,dt+\frac{1}{8}\int_0^T\int_{\mathbb{T}^3}\phi_m(t)|S_m(\rho^{\gamma})|^2\,dx\,dt.

We are able to control I_3 as similarly

|I_3|\leq C_3\int _0^T\int_{\mathbb{T}^3}|{\rm div} S_m(u)|^2\,dx\,dt+\frac{1}{8}\int_0^T\int_{\mathbb{T}^3}\phi_m(t)|S_m(\rho^{\gamma})|^2\,dx\,dt.

Using these controls of I_1, I_2 and I_3 to (?), this yields

\begin{split} \int_0^T\int_{\mathbb{T}^3}\phi_m(t)|S_m(\rho^{\gamma})|^2\,dx\,dt &\leq C_1+C_2\int _0^T\int_{\mathbb{T}^3}|\nabla S_m(u)|^2\,dx\,dt \\&+C_3\int _0^T\int_{\mathbb{T}^3}|{\rm div} S_m(u)|^2\,dx\,dt \end{split}

for all m>0.

Thus, letting m \to \infty in the above inequality, we obtain

\begin{aligned} \int_0^T \int_{\mathbb{T}^3} |\rho^{\gamma}|^2 \, dx \, dt &\le C_1 + C_2 \int_0^T \int_{\mathbb{T}^3} |\nabla u|^2 \, dx \, dt + C_3 \int_0^T \int_{\mathbb{T}^3} |{\rm div} u|^2 \, dx \, dt . \end{aligned}

Observe that the right-hand side of the above inequality can be controlled by the basic energy inequality (?). Consequently, we obtain the bound of the pressure \rho^{\gamma}.

Uses Definition 1.2, Proof

Proposition

Proposition 3.1

ZEG1

Let (\rho,u) be any weak solution to (?)–(?) satisfying the energy inequality (?). Then the following energy equality

\int_{\mathbb{T}^3}\frac{\rho^{\gamma}}{\gamma-1}\,dx+\int_0^T\int_{\mathbb{T}^3}\nu |\nabla u|^2+(\nu+\lambda)|{\rm div} u|^2\,dx\,dt=\int_{\mathbb{T}^3}\frac{\rho_0^{\gamma}}{\gamma-1}\,dx

holds.

Uses Definition 1.2

Proof of Proposition 3.1

Note that the weak limit (\rho,u) is a renormalized solution. That is,

\partial_t b(\rho)+\operatorname{div}(b(\rho)u) +\big(b'(\rho)\rho-b(\rho)\big)\operatorname{div}u=0

holds in the sense of \mathcal{D}'((0,T)\times\mathbb{T}^3) for any b\in C^{1}(\mathbb{R}).

We regularize the above equation to obtain

\partial_t S_m(b(\rho)) +\operatorname{div}\big(S_m(b(\rho)u)\big) +S_m\!\left(b'(\rho)\rho-b(\rho)\right) {\rm div}(S_m(u)) =R_m,

where the commutator term R_m is given by

R_m :=S_m\!\left(b'(\rho)\rho-b(\rho)\right) {\rm div} (S_m(u)) - S_m\!\left(\big(b'(\rho)\rho-b(\rho)\big)\operatorname{div}u\right).

To derive the energy equality, we choose S_m(S_m(u)) as a test function to derive the following one

\begin{split} \int_0^T\int_{\mathbb{T}^3}S_m(\rho^\gamma){\rm div} (S_m(u))\,dx\,dt &=-\nu \int_0^T\int_{\mathbb{T}^3}|\nabla S_m(u)|^2\,dx\,dt \\&-(\nu+\lambda)\int_0^T\int_{\mathbb{T}^3}|{\rm div} S_m(u)|^2\,dx\,dt. \end{split}

We take b(\rho)=\rho^{\gamma} for (Proof), then

\partial_tS_m(\rho^{\gamma})+{\rm div}(S_m(\rho^{\gamma})u)+(\gamma-1)S_m(\rho^{\gamma}){\rm div} S_m(u)=R_m.

Thus, the left hand side of (?) will be given by

\int_0^T\int_{\mathbb{T}^3}\frac{1}{\gamma-1}\partial_tS_m(\rho^{\gamma})\,dx\,dt+\int_0^T\int_{\mathbb{T}^3}R_m\,dx\,dt.

This gives us the following one

\begin{split}& \int_{\mathbb{T}^3}\frac{1}{\gamma-1}S_m(\rho^{\gamma})\,dx\,dt+\int_0^T\int_{\mathbb{T}^3}R_m\,dx\,dt \\&+\nu\int_0^T \int_{\mathbb{T}^3}|\nabla S_m(u)|^2\,dx\,dt+(\nu+\lambda)\int_0^T\int_{\mathbb{T}^3}|{\rm div} S_m(u)|^2\,dx\,dt \\&=\int_{\mathbb{T}^3}\frac{1}{\gamma-1}S_m(\rho_0^{\gamma})\,dx \end{split}

Now let us to show that R_m \to 0 in L^1((0,T)\times\mathbb T^d). Recall that for b(\rho)=\rho^\gamma we have

\begin{split}& R_m := S_m\!\big((b'(\rho)\rho-b(\rho))\big)\,\operatorname{div} S_m(u) - S_m\!\Big(\big(b'(\rho)\rho-b(\rho)\big)\operatorname{div} u\Big) \\& = (\gamma-1)\Big(S_m(\rho^\gamma)\,\operatorname{div} S_m u - S_m(\rho^\gamma\,\operatorname{div} u)\Big). \end{split}

This allows us to rewrite it as

R_m = (\gamma-1)\,\Big( \underbrace{S_m(\rho^\gamma)\,\operatorname{div} S_m u - S_m(\rho^\gamma)\,\operatorname{div} u}_{=:A_m} + \underbrace{S_m(\rho^\gamma)\,\operatorname{div} u - S_m(\rho^\gamma\,\operatorname{div} u)}_{=:B_m} \Big),

thus we only need to handle A_m and B_m to control R_m\to 0 as m goes to large.

Estimate of A_m. By Hölder in (t,x) with exponents 2–2 and the strong convergence \operatorname{div} S_m u \to \operatorname{div} u in L^2((0,T)\times\mathbb T^d),

\|A_m\|_{L^1((0,T)\times\mathbb T^d)} \le \|S_m(\rho^\gamma)\|_{L^2((0,T)\times\mathbb T^d)}\, \|\operatorname{div} S_m u - \operatorname{div} u\|_{L^2((0,T)\times\mathbb T^d)} \xrightarrow[m\to\infty]{} 0.

Here we used that S_m(\rho^\gamma)\to \rho^\gamma in L^2 and is uniformly bounded in L^2 thanks to Lemma 3.1 (i.e. \rho^\gamma\in L^2((0,T)\times\mathbb T^d)).

Estimate of B_m (Friedrichs commutator). We introduce f:=\rho^\gamma, and g:=\operatorname{div} u, then

f\in L^2((0,T)\times\mathbb T^d)

by Lemma 3.1, and

g\in L^2((0,T)\times\mathbb T^d)

since u\in L^2(0,T;H^1(\mathbb T^d)). The mollifiers (S_m)_{m\ge1} satisfy the standard product-commutator property: for any f\in L^p, g\in L^q with \frac1p+\frac1q=1,

\|S_m(f)\,g - S_m(fg)\|_{L^1} \xrightarrow[m\to\infty]{} 0.

Applying this with p=q=2 yields

\|B_m\|_{L^1((0,T)\times\mathbb T^d)} = \|S_m(f)\,g - S_m(fg)\|_{L^1((0,T)\times\mathbb T^d)} \xrightarrow[m\to\infty]{} 0.

Combining the estimates for A_m and B_m, we conclude that

\|R_m\|_{L^1((0,T)\times\mathbb T^d)} \xrightarrow[m\to\infty]{} 0,

i.e. R_m \to 0 strongly in L^1(0,T;L^1(\mathbb T^d)).

Consequently, by passing to the limit m\to\infty in (?), we are able to recover the energy equality (3.1).

Uses Lemma 3.1

Source and licence

The text on this page is from arXiv:2603.11432v1 by Cheng Yu, under the licence CC BY 4.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.

The record of each item is in analysis/objects/2603/2603.11432.jsonl.