An Onsager-type theorem for the compressible Euler equations

Abstract

For any $0\leqγ_m<\frac13$ and $0\leqγ_ρ<\frac23$,, we use convex integration to construct a nontrivial weak solution $(ρ,m)$ to the three-dimensional isentropic compressible Euler equations such that $ρ-ρ^*\in C^{γ_ρ}(\mathbb{R}\times\mathbb{T}^3)$ and $m\in C^{γ_m}(\mathbb{R}\times\mathbb{T}^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.