Pith. sign in

REVIEW 3 minor 43 references

Formation of shocks for 2D isentropic compressible Euler

T0 review · 0 major / 3 minor · reviewed 2026-05-25 · grok-4.3

Pith's one-line read Smooth initial data with minimum slope -1/ε form shocks in the 2D isentropic Euler equations after time O(ε), developing C^{1/3} cusps with O(1) vorticity.

desk verdict This paper constructs explicit cusp shocks for 2D isentropic Euler with O(1) vorticity by building homogeneous azimuthal solutions and proving stability in modulated self-similar coordinates. read the letter →

arxiv 1907.03784 v1 pith:2HYY2CG7 submitted 2019-07-08 math.AP physics.flu-dyn

classification math.APphysics.flu-dyn
keywords shockformationcompressibleEulerisentropicvorticityself-similarvariablesRiemanncuspsingularityfinitetimeblowup
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper shows that smooth finite-energy initial data for the 2D isentropic compressible Euler equations, featuring nontrivial vorticity and a minimum slope of -1/ε, develop shocks in time O(ε). This is achieved by constructing homogeneous solutions with dynamics dominated by azimuthal wave motion and employing Riemann-type variables to derive a system of forced transport equations. Transforming to modulated self-similar variables allows pointwise estimates that establish the stability of a smooth blowup profile. The resulting singularities are cusps with Hölder C^{1/3} regularity at explicitly computable times and locations. A reader would care because this provides an explicit constructive proof of shock formation that incorporates O(1) vorticity, moving beyond irrotational approximations.

What carries the argument

Modulated self-similar variables and pointwise estimates applied to the forced transport equations obtained via Riemann-type variables from homogeneous azimuthal solutions.

What would settle it

Numerical simulation starting from the paper's initial data with minimum slope -1/ε that fails to develop a shock by time O(ε) or develops one with different regularity.

Watch

Extended reading notes

Core claim

We prove that for initial data which has minimum slope -1/ε, for ε>0 taken sufficiently small relative to the O(1) amplitude, there exist smooth solutions to the Euler equations which form a shock in time O(ε). The blowup time and location can be explicitly computed and solutions at the blowup time are of cusp-type, with Hölder C^{1/3} regularity. The construction uses homogenous solutions to the Euler equations with dynamics dominated by purely azimuthal wave motion, Riemann-type variables to obtain a system of forced transport equations, and a transformation to modulated self-similar variables with pointwise estimates to show the global stability of a smooth blowup profile.

Load-bearing premise

The initial data must be chosen so the dynamics are dominated by purely azimuthal wave motion.

Editorial extensions

If this is right

  • The blowup time and location can be explicitly computed from the initial data.
  • Solutions at the blowup time exhibit cusp-type singularities with Hölder C^{1/3} regularity.
  • The constructed solutions maintain O(1) vorticity and have finite energy without vacuum regions.
  • The result holds for pressure laws with γ > 1.
  • The method shows global stability in self-similar time of the blowup profile.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • This explicit construction could enable studies of shock interactions or post-blowup dynamics in 2D flows.
  • Similar reductions to transport equations might apply to other systems with vorticity, such as the 3D Euler equations.
  • Numerical simulations with the given initial slope could verify the predicted blowup time.
  • The C^{1/3} regularity might be tested for sharpness by examining higher-order derivatives near the cusp.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

0 major / 3 minor

Summary. The paper claims to provide an elementary constructive proof of shock formation for the 2D isentropic compressible Euler equations (with p(ρ) = (1/γ)ρ^γ, γ>1) from smooth initial data of finite energy, no vacuum regions, and nontrivial vorticity. For initial data with minimum slope −1/ε (ε>0 small relative to the O(1) amplitude), there exist smooth solutions forming a shock in time O(ε), with explicitly computable blowup time and location; at blowup the solutions are cusp-type with Hölder C^{1/3} regularity. The argument constructs homogeneous solutions dominated by azimuthal wave motion, reduces via Riemann-type variables to a system of forced transport equations, transforms to modulated self-similar coordinates, and establishes global stability of a smooth blowup profile via pointwise estimates.

Significance. If the result holds, it is significant for providing an explicit construction of shock formation in 2D compressible Euler that incorporates O(1) vorticity at the shock, rather than perturbing from an irrotational regime. The use of homogeneous solutions, Riemann variables, and stability of the blowup profile under pointwise estimates in modulated self-similar coordinates offers a new constructive approach. Strengths include the explicit blowup time/location, the C^{1/3} regularity, and the parameter-free character of the profile stability (no fitted parameters or reduction of blowup time to data).

minor comments (3)
  1. [Abstract] The abstract states that the blowup time and location 'can be explicitly computed,' but it would improve clarity to include the explicit formulas (or their derivation) already in the introduction or a dedicated subsection rather than deferring entirely to later sections.
  2. [Abstract] Notation for the small parameter ε and the O(1) amplitude is used throughout; a brief remark on the precise scaling relation between them (beyond 'sufficiently small') would aid readability.
  3. The pressure law is written with the factor 1/γ; confirm consistency with the standard isentropic form p(ρ)=ρ^γ/γ throughout the manuscript.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of our work on shock formation for the 2D isentropic compressible Euler equations and for recommending minor revision. The referee's summary accurately captures the main contributions, including the explicit construction with O(1) vorticity, the use of homogeneous solutions and Riemann variables, and the stability analysis in modulated self-similar coordinates. No specific major comments were raised in the report.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; derivation self-contained via estimates

full rationale

The paper constructs explicit homogeneous solutions to the 2D isentropic Euler equations with azimuthal wave dominance, reduces via Riemann variables to a system of forced transport equations, then applies a change to modulated self-similar coordinates and closes the argument with pointwise estimates establishing stability of a smooth blowup profile. The blowup time O(ε) and C^{1/3} cusp regularity follow directly from the imposed initial minimum slope −1/ε without any parameter fitting, renaming of known results, or load-bearing self-citations that reduce the central claim to its own inputs. No step equates a derived quantity to a fitted input by construction, and the estimates are independent of the target profile.

Assumptions & free parameters 0 free parameters · 1 assumptions · 0 invented entities

Based on the abstract only, the argument rests on standard existence theory for hyperbolic systems and transport equations; no free parameters or new entities are introduced.

assumptions (1)
  • standard math Existence and stability results for the system of forced transport equations obtained after the Riemann-variable transformation
    The global stability in self-similar time of the smooth blowup profile is shown via pointwise estimates on this system.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Formation of shocks for 2D isentropic compressible Euler." pith.science (2026). https://pith.science/paper/2HYY2CG7

@misc{pith2026190703784,
  author       = {Pith},
  title        = {Pith review of: Formation of shocks for 2D isentropic compressible Euler},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2HYY2CG7}},
  note         = {Machine review of arXiv:1907.03784}
}
abstract

We consider the 2D isentropic compressible Euler equations, with pressure law $p(\rho) = (\sfrac{1}{\gamma}) \rho^\gamma$, with $\gamma >1$. We provide an elementary constructive proof of shock formation from smooth initial datum of finite energy, with no vacuum regions, and with {nontrivial vorticity}. We prove that for initial data which has minimum slope $- {\sfrac{1}{ \eps}}$, for $ \eps>0$ taken sufficiently small relative to the $\OO(1)$ amplitude, there exist smooth solutions to the Euler equations which form a shock in time $\OO(\eps)$. The blowup time and location can be explicitly computed and solutions at the blowup time are of cusp-type, with H\"{o}lder $C^ {\sfrac{1}{3}}$ regularity. Our objective is the construction of solutions with inherent $\OO(1)$ vorticity at the shock. As such, rather than perturbing from an irrotational regime, we instead construct solutions with dynamics dominated by purely azimuthal wave motion. We consider homogenous solutions to the Euler equations and use Riemann-type variables to obtain a system of forced transport equations. Using a transformation to modulated self-similar variables and pointwise estimates for the ensuing system of transport equations, we show the global stability, in self-similar time, of a smooth blowup profile.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

43 extracted references · 43 canonical work pages

  1. [1]

    Alinhac, Blowup of small data solutions for a class of quasilinear wav e equations in two space dimensions

    S. Alinhac, Blowup of small data solutions for a class of quasilinear wav e equations in two space dimensions. II , Acta Math. 182 (1999), no. 1, 1–23. MR1687180

  2. [2]

    Alinhac, Blowup of small data solutions for a quasilinear wave equati on in two space dimensions , Ann

    S. Alinhac, Blowup of small data solutions for a quasilinear wave equati on in two space dimensions , Ann. of Math. (2) 149 (1999), no. 1, 97–127. MR1680539

  3. [3]

    K. W. Cassel, F. T. Smith, and J. D. A. Walker, The onset of instability in unsteady boundary-layer separa tion, Journal of Fluid Mechanics 315 (1996), 223–256

  4. [4]

    Chen and M

    G.-Q. Chen and M. Feldman, Global solutions of shock reflection by large-angle wedges f or potential flow, Ann. of Math. (2) 171 (2010), no. 2, 1067–1182. MR2630061

  5. [5]

    G.-Q. G. Chen and M. Feldman, The mathematics of shock reflection-diffraction and von Neu mann’s conjectures , Annals of Mathematics Studies, vol. 197, Princeton University Press , Princeton, NJ, 2018. MR3791458

  6. [6]

    J. Chen, T. Y . Hou, and D. Huang, On the finite time blowup of the De Gregorio model for the 3d Eul er equation , arXiv:1905.06387 (2019)

  7. [7]

    Christodoulou, The formation of shocks in 3-dimensional fluids, EMS Monographs in Mathematics, European Mathematical Society (EMS), Z¨ urich, 2007

    D. Christodoulou, The formation of shocks in 3-dimensional fluids, EMS Monographs in Mathematics, European Mathematical Society (EMS), Z¨ urich, 2007. MR2284927

  8. [8]

    Christodoulou, The shock development problem , EMS Monographs in Mathematics, European Mathematical Soc iety (EMS), Z¨ urich, 2019

    D. Christodoulou, The shock development problem , EMS Monographs in Mathematics, European Mathematical Soc iety (EMS), Z¨ urich, 2019. MR3890062

Show all 43 references
  1. [9]

    Christodoulou and S

    D. Christodoulou and S. Klainerman, The global nonlinear stability of the Minkowski space , Princeton Mathematical Series, vol. 41, Princeton University Press, Princeton, NJ, 1993. M R1316662

  2. [10]

    Christodoulou and S

    D. Christodoulou and S. Miao, Compressible flow and Euler’s equations , Surveys of Modern Mathematics, vol. 9, International Press, Somerville, MA; Higher Education Press, Beijing, 20 14. MR3288725

  3. [11]

    Collot, T.-E

    C. Collot, T.-E. Ghoul, S. Ibrahim, and N. Masmoudi, On singularity formation for the two dimensional unsteady P randtl’s system, arXiv:1808.05967 (2018)

  4. [12]

    Collot, T.-E

    C. Collot, T.-E. Ghoul, and N. Masmoudi, Singularity formation for Burgers equation with transvers e viscosity , arXiv:1803.07826 (2018)

  5. [13]

    Collot, T.-E

    C. Collot, T.-E. Ghoul, and N. Masmoudi, Unsteady separation for the inviscid two-dimensional pran dtl’s system , arXiv:1903.08244 (2019)

  6. [14]

    C. M. Dafermos, Hyperbolic conservation laws in continuum physics , Third, Grundlehren der Mathematischen Wis- senschaften [Fundamental Principles of Mathematical Scie nces], vol. 325, Springer-V erlag, Berlin, 2010. MR2574377 38 Buckmaster, Shkoller, Vicol Construction of sho...

  7. [15]

    Dalibard and N

    A.-L. Dalibard and N. Masmoudi, Separation for the stationary Prandtl equation , arXiv:1802.04039 (2018)

  8. [16]

    Eggers and M

    J. Eggers and M. A. Fontelos, The role of self-similarity in singularities of partial dif ferential equations, Nonlinearity 22 (2009), no. 1, R1–R44. MR2470260

  9. [17]

    T. M. Elgindi, Finite-time singularity formation for C 1,α solutions to the incompressible Euler equations on R3, arXiv:1904.04795 (2019)

  10. [18]

    T. M. Elgindi and I.-J. Jeong, Symmetries and critical phenomena in fluids , arXiv preprint arXiv:1610.09701 (2016)

  11. [19]

    Giga and R

    Y . Giga and R. V . Kohn, Asymptotically self-similar blow-up of semilinear heat eq uations, Communications on Pure and Applied Mathematics 38 (1985), no. 3, 297–319

  12. [20]

    Gu` es, G

    O. Gu` es, G. M´ etivier, M. Williams, and K. Zumbrun,Existence and stability of multidimensional shock fronts in the vanishing viscosity limit, Arch. Ration. Mech. Anal. 175 (2005), no. 2, 151–244. MR2118476

  13. [21]

    Holzegel, S

    G. Holzegel, S. Klainerman, J. Speck, and W. W.-Y . Wong, Small-data shock formation in solutions to 3D quasilinear w ave equations: an overview, J. Hyperbolic Differ. Equ. 13 (2016), no. 1, 1–105. MR3474069

  14. [22]

    John, F ormation of singularities in one-dimensional nonlinear w ave propagation, Comm

    F. John, F ormation of singularities in one-dimensional nonlinear w ave propagation, Comm. Pure Appl. Math. 27 (1974), 377–405. MR0369934

  15. [23]

    Klainerman and I

    S. Klainerman and I. Rodnianski, Improved local well-posedness for quasilinear wave equati ons in dimension three , Duke Math. J. 117 (2003), no. 1, 1–124. MR1962783

  16. [24]

    Klainerman, Long time behaviour of solutions to nonlinear wave equation s, Proceedings of the International Congress of Mathematicians, Vol

    S. Klainerman, Long time behaviour of solutions to nonlinear wave equation s, Proceedings of the International Congress of Mathematicians, Vol. 1, 2 (Warsaw, 1983), 1984, pp. 1209–12 15. MR804771

  17. [25]

    Klainerman and A

    S. Klainerman and A. Majda, F ormation of singularities for wave equations including the nonlinear vibrating string , Comm. Pure Appl. Math. 33 (1980), no. 3, 241–263. MR562736

  18. [26]

    P . D. Lax, Development of singularities of solutions of nonlinear hyp erbolic partial differential equations , J. Mathematical Phys. 5 (1964), 611–613. MR0165243

  19. [27]

    T. P . Liu, Development of singularities in the nonlinear waves for qua silinear hyperbolic partial differential equations , J. Differential Equations 33 (1979), no. 1, 92–111. MR540819

  20. [28]

    Luk and J

    J. Luk and J. Speck, Shock formation in solutions to the 2D compressible Euler equations in the presence of non-zero vorticity, Invent. Math. 214 (2018), no. 1, 1–169. MR3858399

  21. [29]

    Majda, The existence of multidimensional shock fronts , Mem

    A. Majda, The existence of multidimensional shock fronts , Mem. Amer. Math. Soc. 43 (1983), no. 281, v+93. MR699241

  22. [30]

    Majda, The stability of multidimensional shock fronts , Mem

    A. Majda, The stability of multidimensional shock fronts , Mem. Amer. Math. Soc. 41 (1983), no. 275, iv+95. MR683422

  23. [31]

    Majda, Compressible fluid flow and systems of conservation laws in se veral space variables , Applied Mathematical Sci- ences, vol

    A. Majda, Compressible fluid flow and systems of conservation laws in se veral space variables , Applied Mathematical Sci- ences, vol. 53, Springer-V erlag, New Y ork, 1984. MR748308

  24. [32]

    Martel, F

    Y . Martel, F. Merle, and P . Rapha¨ el,Blow up for the critical generalized Korteweg–de Vries equa tion. I: Dynamics near the soliton, Acta Math. 212 (2014), no. 1, 59–140. MR3179608

  25. [33]

    Merle, Asymptotics for L2 minimal blow-up solutions of critical nonlinear Schr¨ odinger equation , Ann

    F. Merle, Asymptotics for L2 minimal blow-up solutions of critical nonlinear Schr¨ odinger equation , Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire13 (1996), no. 5, 553–565. MR1409662

  26. [34]

    Merle and P

    F. Merle and P . Raphael, The blow-up dynamic and upper bound on the blow-up rate for cr itical nonlinear Schr¨ odinger equation, Ann. of Math. (2) 161 (2005), no. 1, 157–222. MR2150386

  27. [35]

    Merle, P

    F. Merle, P . Rapha¨ el, and I. Rodnianski, Blowup dynamics for smooth data equivariant solutions to th e critical Schr¨ odinger map problem, Invent. Math. 193 (2013), no. 2, 249–365. MR3090180

  28. [36]

    Merle and H

    F. Merle and H. Zaag, Stability of the blow-up profile for equations of the type ut “ ∆u ` | u|p´1u, Duke Math. J. 86 (1997), no. 1, 143–195. MR1427848

  29. [37]

    Merle and H

    F. Merle and H. Zaag, On the stability of the notion of non-characteristic point a nd blow-up profile for semilinear wave equations, Comm. Math. Phys. 333 (2015), no. 3, 1529–1562. MR3302641

  30. [38]

    M´ etivier,Stability of multidimensional shocks , Advances in the theory of shock waves, 2001, pp

    G. M´ etivier,Stability of multidimensional shocks , Advances in the theory of shock waves, 2001, pp. 25–103. MR1 842775

  31. [39]

    Miao and P

    S. Miao and P . Y u, On the formation of shocks for quasilinear wave equations , Invent. Math. 207 (2017), no. 2, 697–831. MR3595936

  32. [40]

    Pomeau, M

    Y . Pomeau, M. Le Berre, P . Guyenne, and S. Grilli,W ave-breaking and generic singularities of nonlinear hyperbolic equations, Nonlinearity 21 (2008), no. 5, T61–T79. MR2412317

  33. [41]

    Riemann, ¨Uber die Fortpflanzung ebener Luftwellen von endlicher Schw ingungsweite, Abhandlungen der K¨ oniglichen Gesellschaft der Wissenschaften in G¨ ottingen8 (1860), 43–66

    B. Riemann, ¨Uber die Fortpflanzung ebener Luftwellen von endlicher Schw ingungsweite, Abhandlungen der K¨ oniglichen Gesellschaft der Wissenschaften in G¨ ottingen8 (1860), 43–66

  34. [42]

    T. C. Sideris, F ormation of singularities in three-dimensional compress ible fluids , Comm. Math. Phys. 101 (1985), no. 4, 475–485. MR815196

  35. [43]

    Speck, Shock formation in small-data solutions to 3D quasilinear w ave equations, Mathematical Surveys and Monographs, vol

    J. Speck, Shock formation in small-data solutions to 3D quasilinear w ave equations, Mathematical Surveys and Monographs, vol. 214, American Mathematical Society, Providence, RI, 2 016. MR3561670 39

Pith tools

Reviewed May 25, 2026 · model on record in the stance chip above.