An Onsager-type theorem for the compressible Euler equations
Abstract
For any 0≤γm<1/3 and 0≤γρ<2/3,, we use convex integration to construct a nontrivial weak solution (ρ,m) to the three-dimensional isentropic compressible Euler equations such that ρ−ρ*∈ Cγρ(ℝ×𝕋3) and m∈ Cγm(ℝ×𝕋3). Here ρ*>0 is a constant, and the density stays bounded away from vacuum. Both ρ−ρ* and m have compact support in time. The construction applies to smooth pressure laws with positive derivative throughout the density range. This yields nonuniqueness for the constant initial data (ρ*,0). Each stage of the convex integration scheme consists of finitely many Newton steps followed by a Nash step. Kirchhoff's formula in Lagrangian coordinates and the Piola transform yield coupled density and momentum corrections that treat the acoustic part of the linearized system while preserving the continuity equation exactly. In the Newton step, we combine these corrections with an incompressible correction adapted from Giri--Radu (2024) to reduce the error. In the Nash step, a divergence-free perturbation built from spatially separated Mikado flows treats the gluing stresses on disjoint time intervals without changing the density.
Related
- An Onsager-type theorem for SQG equations
- Lehto-type growth conditions and a Picard theorem for the gradient of entire solutions to the Euler -- Lagrange equations of variational integrals with linear growth in the plane including a small extension of Moser's Bernstein result
- Vorticity blowup in 2D compressible Euler equations
- Instability of Self-Similar Implosions for the Compressible Euler Equations
- Long-Time Nonlinear Stability of Large-Amplitude Radial Rarefactive Flows for the Multidimensional Compressible Euler Equations
BibTeX
@misc{mao2026onsagertype,
title = {{An Onsager-type theorem for the compressible Euler equations}},
author = {Shunkai Mao and Peng Qu},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.41499},
eprint = {2610.41499},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.41499},
}
RIS
TY - UNPB
TI - An Onsager-type theorem for the compressible Euler equations
AU - Shunkai Mao
AU - Peng Qu
PY - 2026
DA - 2026/10/30
PB - arXiv
DO - 10.48550/arxiv.2610.41499
UR - https://arxiv.org/abs/2610.41499
AB - For any 0≤γ_m<1/3 and 0≤γ_ρ<2/3,, we use convex integration to construct a nontrivial weak solution (ρ,m) to the three-dimensional isentropic compressible Euler equations such that ρ−ρ^*∈ C^γ_ρ(ℝ×𝕋^3) and m∈ C^γ_m(ℝ×𝕋^3). Here ρ^*>0 is a constant, and the density stays bounded away from vacuum. Both ρ−ρ^* and m have compact support in time. The construction applies to smooth pressure laws with positive derivative throughout the density range. This yields nonuniqueness for the constant initial data (ρ^*,0). Each stage of the convex integration scheme consists of finitely many Newton steps followed by a Nash step. Kirchhoff's formula in Lagrangian coordinates and the Piola transform yield coupled density and momentum corrections that treat the acoustic part of the linearized system while preserving the continuity equation exactly. In the Newton step, we combine these corrections with an incompressible correction adapted from Giri--Radu (2024) to reduce the error. In the Nash step, a divergence-free perturbation built from spatially separated Mikado flows treats the gluing stresses on disjoint time intervals without changing the density.
ER -