Pith. sign in

REVIEW 2 major objections 4 minor 2 cited by

Blow-up of the 3-D compressible Navier-Stokes equations for monatomic gases

T0 review · 2 major / 4 minor · reviewed 2026-08-10 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read This paper proves that the 3-D isentropic compressible Navier-Stokes equations with adiabatic exponent $\gamma = 5/3$, the monatomic-gas law, have smooth finite-time blow-up solutions, settling the degenerate case left open by earlier…

desk verdict First blow-up construction for the monatomic gas case gamma=5/3 rests on a single numerically verified constant that needs a real certificate; the analytic machinery is otherwise coherent and worth refereeing. read the letter →

arxiv 2501.15701 v2 pith:KMBYMCGV submitted 2025-01-26 math.AP

Feng Shao , Dongyi Wei , Shumao Wang , Zhifei Zhang This is my paper · ORCID
classification math.AP MSC 35Q3035Q3135B4435C06
keywords compressibleNavier-Stokesmonatomicgasesadiabaticexponent5/3self-similarblow-upsonicpointdegeneracyEulerfrontcompressionrepulsivity
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 proves that the 3-D isentropic compressible Navier-Stokes equations for a monatomic gas, whose adiabatic exponent is $\gamma = 5/3$, admit smooth solutions that blow up in finite time. Earlier constructions of implosion-type blow-up for compressible fluids covered $1 < \gamma < 1 + 2/\sqrt{3}$ with $\gamma = 5/3$ excluded because the self-similar analysis degenerates at a triple point. The authors remove that exclusion by building a sequence of smooth, self-similar imploding profiles for the compressible Euler equations in the degenerate case, then feeding them through an abstract non-radial blow-up theorem for Navier-Stokes. If correct, this settles the physically relevant monatomic-gas case and provides a template for the general degenerate dimension-exponent relation $d = \ell$.

What carries the argument

The load-bearing object is the renormalized $(\tau,u)$ ODE (2.17) near the sonic point $Q_2$, obtained from the Emden-transformed radial Euler equations through the renormalization (2.16). Around $Q_2$, local analytic solutions are power series $u_L(\tau) = \sum a_n\tau^n$, and the recurrence for $\{a_n\}$ is rewritten so that its leading behavior is captured by a comparison sequence $\{M_n\}$ defined in (4.17). The ratio $R = \lambda_-/\lambda_+$ of the two eigenvalues at the sonic point becomes the free parameter; for $R \in (N, N+1)$ with $N$ odd and large, an intermediate-value and barrier-function argument shows that the local series matches the incoming solution at the sonic point and then extends to the origin, producing global smooth Euler profiles. Those profiles satisfy the repulsivity estimates (2.7)-(2.10), which are exactly the hypotheses of the abstract Navier-Stokes blow-up theorem imported from reference [14].

What would settle it

Evaluate $S_\infty$ directly from the explicit recurrence (4.19) and definitions (4.67)-(4.68): compute the ratio $(a^\infty_n + \lambda^\infty_n a^\infty_{n-1})/\hat{M}^\infty_n$ for $n$ up to, say, $10^4$ terms with interval arithmetic; if the limit is at or below $1/2$, Lemma 4.15 fails and the sequence $r_n$ cannot be constructed.

Watch

Extended reading notes

Core claim

The central discovery is that, at $d = 3$ and $\gamma = 5/3$, the triple-point degeneracy that blocked previous constructions can be resolved by a renormalized analysis near the sonic point $P_2$ of the radial ODE for self-similar Euler profiles. After the Emden transform, the profile equation becomes an autonomous two-component system; the degenerate sonic point is renormalized to $Q_2$ in $(\tau,u)$-coordinates, where local solutions are represented by power series $u_L(\tau) = \sum_{n=0}^\infty a_n\tau^n$. The coefficients satisfy a recurrence that, in the limit $R \to \infty$ corresponding to $r \to 3 - \sqrt{3}$, degenerates to a second-order recurrence whose solutions grow like $\sqrt{\Gamma(C+n)/A_*^n}$. The paper establishes that for each large odd integer $N$ there is a parameter $R_N \in (N, N+1)$ at which the local series solution and the global incoming solution $u_F$ join smoothly across the sonic point, and that the resulting curve extends globally and satisfies the repulsivity estimates needed for blow-up. The proof relies on a numerically verified positivity condition, $S_\infty > 1/2$ in equation (4.71), for a parameter-free limit obtained from the recurrence.

Load-bearing premise

The proof rests on a computer-verified inequality, $S_\infty > 1/2$ for the limit of an explicitly defined coefficient ratio; if that limit is actually at most $1/2$, the lower-bound estimates on the solution coefficients and the whole construction break down.

Editorial extensions

If this is right

  • For each $r_n$ approaching $3 - \sqrt{3}$ from below, smooth non-radially symmetric initial data exist for which the 3-D Navier-Stokes solution with $\gamma = 5/3$ blows up at any sufficiently small prescribed time $T$, with the explicit self-similar asymptotics (1.12)-(1.13).
  • The blow-up initial data form a finite co-dimensional set, so the phenomenon is stable within that class of data.
  • The construction yields smooth global radial self-similar Euler profiles with the decay and non-degeneracy properties (1.8)-(1.11) required by the abstract theorem.
  • According to remarks in the paper, the result extends to general viscosity tensors $-\mu\Delta u - (\lambda+\mu)\nabla\mathrm{div}\,u$ with $\mu>0$ and $2\mu+3\lambda>0$, and to solutions blowing up at multiple points.
  • For the compressible Euler equations, the same renormalization is expected to work for all $d = \ell \geq 2$; what currently limits the Navier-Stokes conclusion to $d=3$ is the abstract theorem imported from [14].

Reading between the lines

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

  • The single point where the argument is not fully analytic is the computer-verified inequality $S_\infty > 1/2$; replacing that check with a rigorous interval-arithmetic certificate would make the whole construction independent of numerical assistance.
  • The limiting recurrence's $\sqrt{\Gamma(C+n)/A_*^n}$ growth suggests the degenerate case sits at a critical transition in the coefficient asymptotics, and the parameter-free limit $S_\infty$ may be expressible in terms of known special functions, which could be tested symbolically.
  • The same renormalized coefficient estimates could give a shorter proof of the non-degenerate Euler-profile construction for other $\gamma$; a natural test is to re-derive the known $\gamma = 7/5$ case with these methods.
  • Because the blow-up time $T$ can be taken arbitrarily small, the construction yields smooth solutions with arbitrarily fast singularity formation, which could serve as test cases for continuation criteria or uniqueness questions near the blow-up set.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 4 minor

Summary. This paper treats the three-dimensional isentropic compressible Navier-Stokes equations (1.1) at the monatomic endpoint γ=5/3 (d=3, ℓ=3), the degenerate case left open by Merle–Raphaël–Rodnianski–Szeftel. After the Emden transform (2.1), the construction of smooth self-similar Euler profiles is reduced to the autonomous ODE system (2.2). The authors build a local analytic solution through the sonic point Q2 as a power series whose coefficients {a_n} satisfy an explicit recurrence (3.10); Sections 4–6 develop a long quantitative analysis of this recurrence (comparison sequences M_n, M*_n, M̂_n, barriers) and combine it with the intermediate-value theorem and with a global barrier argument to obtain the sequence r_n → 3−√3 of Theorem 2.1. Proposition 2.2 then gives the repulsivity estimates needed to apply the abstract non-radial stability theorem of Cao-Labora–Gómez-Serrano–Shi–Staffilani (Theorem 1.2), yielding Corollary 1.3: smooth non-radially symmetric initial data with inf ρ_0 > 0 whose Navier-Stokes solutions blow up at any sufficiently small T with self-similar asymptotics (1.12)–(1.13). The only non-analytic input in the proof is the numerical claim S∞ > 1/2 in (4.71).

Significance. The claimed result has high significance: it removes the last physically relevant endpoint γ=5/3 from the range of the front-compression mechanism, provides smooth self-similar Euler implosions in the degenerate case, and, through [14], gives non-radial finite-time blow-up for the Navier-Stokes system rather than only radial data. The paper is careful and explicit: the recurrence and comparison sequences are written in closed form, the barrier inequalities are displayed, and there are no fitted parameters—the numerical claim concerns a fixed constant defined by an explicit recurrence. If (4.71) is supplied with a rigorous computer-assisted verification or an analytic proof, the paper would constitute a major advance. The dependence on the external Theorem 1.2 is clearly stated and its hypotheses are checked.

major comments (2)
  1. [§4.3, Eq. (4.71), and Lemma 4.15] The proof of Theorem 2.1 contains a single unproved numerical assertion: S∞ > 1/2. This is not a peripheral aid. Lemma 4.15 uses it to obtain the positive lower bound (a_n + λ_n a_{n-1})/M_n > c00 on [N0, A^{3/2}]; Lemma 4.16 and Proposition 4.12 then propagate this to a_n/M_n > c0 on [√R, R). These lower bounds are used in Lemma 4.1 to prove a_{N+1}<0, in Propositions 2.4–2.5 for the barrier inequalities, and in Proposition 5.2 to obtain RN ∈ (N,N+1). Thus without (4.71) the discrete sequence {r_n} of Theorem 2.1 and Corollary 1.3 is not established. The manuscript states only that the limit was verified with computer assistance; no code, no interval arithmetic, no certificate, and no explicit truncation bound is given. Because the recurrence (4.19) and (4.68) is explicit, a rigorous computer-assisted proof, or an analytic proof of positivity, should be supplied; I regard this as a load-bearing gap rather than a stylistic deficiency.
  2. [§1.2, Remark 1, and Corollary 4.14] Corollary 4.14 proves only that the limit defining S∞ exists; positivity is not proved. The numerical claim states the stronger inequality S∞ > 1/2, which is used in Lemma 4.15 to produce a uniform constant c00 independent of A. The text should specify the finite truncation level and the rigorous error bounds that certify the sign of the infinite limit. Without such data, readers cannot reproduce or audit the verification, and the theorem remains conditional on an unavailable computation.
minor comments (4)
  1. [§3.2, Lemma 3.2] There is a typo in the proof: 'Cn is te Catalan number' should read 'Cn is the Catalan number'.
  2. [§2.1, bullets after (2.12)] The bullet 'P5 and P2 lies in the curve σ 7→ (σ, w−_2(σ));2' contains a stray trailing '2' and a subject-verb disagreement.
  3. [§4.1, after (4.3)] The statement 'A 7→ an is analytic for A ∈ (1,+∞] \ {√k : k ∈ Z ∩ [0,n]}' includes the endpoint +∞; since a∞_n is defined as a limit, the authors should clarify whether analyticity is meant only for finite A or in a neighborhood of +∞.
  4. [Figures 2 and 4] The text repeatedly refers to the green and blue curves, but in black-and-white printing the colors may be indistinguishable; the captions should state the corresponding analytic definitions (for example, ug and ub).

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the existence theorem rests on an explicit ODE argument with an external [14] black box and a parameter-free numerical check, not on fitted inputs or self-citation.

full rationale

The derivation is self-contained apart from external, non-circular inputs. Theorem 1.1 is reduced to Theorem 2.1 (existence of a global ODE solution curve) and Proposition 2.2 (repulsivity). The existence proof builds w_F from P6 to P2 using [58, Lemma 3.1] (external), then constructs a local analytic solution u_L at the sonic point via the explicit recurrence (3.10), whose convergence is proven in Lemma 3.2/Proposition 3.4. The matching of u_L and u_F at some R_N in (N,N+1) is obtained by an intermediate-value argument from the sign inequalities in Propositions 2.4 and 2.5; these signs are consequences of coefficient bounds. The coefficient lower bound in Lemma 4.15 uses the numerical claim (4.71), S_infinity > 1/2, where S_infinity is the limit of the fixed, parameter-free sequence ba_infinity_n / cM_infinity_n defined by (4.19) and (4.68). This is a concrete numerical assertion about an explicit recurrence, not a fitted parameter or a renamed prediction. The paper itself flags the computer assistance in Remark 1; the absence of code or a certificate is a rigor gap, but it is not a circular reduction. Self-citations [66,67] are used only as methodological references (e.g., 'similar to [66, Lemma 4.5]' and 'readers may find similarities between this section and [66, Section 6]'), and no load-bearing uniqueness or ansatz is imported from the authors' own prior work. The Navier-Stokes conclusion is imported from the external theorem [14, Theorem 1.2], which is independent of the present construction. Hence no step of the derivation is equivalent to its own input.

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

The central construction rests on one unverified numerical constant S_infinity > 0 and on the external abstract theorem [14]. No free parameters are fitted to data; the discrete sequence r_n is produced by an intermediate-value argument, not by tuning. No new physical entities are introduced.

assumptions (4)
  • domain assumption Roots of Delta1 and the P6-P2 solution w_F from Merle-Raphael-Rodnianski-Szeftel [58, Lemma 2.3 and Lemma 3.1] remain valid for d = ell = 3.
    Invoked in Section 2.1 and Step 1 of Section 2.2 to set up the phase portrait and the initial solution curve; the present paper states that [58]'s proof works unchanged.
  • ad hoc to paper Numerical claim S_infinity > 1/2 in equation (4.71).
    Assumed after computational verification; used in Lemma 4.15 to obtain the positive lower bound of a_n / M_n, which feeds into Proposition 4.12 and the sonic-point crossing.
  • domain assumption Theorem 1.2 of the present paper, quoted from [14, Theorem 1.3], converts Euler profiles satisfying (1.8)-(1.11) into Navier-Stokes blow-up.
    Imported as a black box in Section 1.2 to obtain Corollary 1.3 from Theorem 1.1.
  • standard math Standard ODE theory for maximal solutions and Gronwall inequalities across the intervals in Sections 6 and 7.
    Used implicitly in the barrier arguments and in Lemma 7.1 for the asymptotic decay.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Blow-up of the 3-D compressible Navier-Stokes equations for monatomic gases." pith.science (2026). https://pith.science/paper/KMBYMCGV

@misc{pith2026250115701,
  author       = {Pith},
  title        = {Pith review of: Blow-up of the 3-D compressible Navier-Stokes equations for monatomic gases},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/KMBYMCGV}},
  note         = {Machine review of arXiv:2501.15701}
}
abstract

In this paper, we prove the blow-up of the $3$-D isentropic compressible Navier-Stokes equations for the adiabatic exponent $\gamma=5/3$, which corresponds to the law of monatomic gases. This is the degenerate case in the sense of [Merle, Rapha\"el, Rodnianski and Szeftel, Ann. of Math. (2), 196 (2022), 567-778; Ann. of Math. (2), 196 (2022), 779-889]. Motivated by these breakthrough works, we first establish the existence of a sequence of smooth, self-similar imploding solutions to the compressible Euler equations for $\gamma=5/3$. Subsequently, we utilize these self-similar profiles to construct smooth, asymptotically self-similar blow-up solutions to the compressible Navier-Stokes equations for monatomic gases.

Figures

Figures reproduced from arXiv: 2501.15701 by the authors.

Figure 1
Figure 1. Phase portrait for the σ − w system (2.2): Dashed curve is the trajectory of the solution constructed in Theorem 2.1. • The map x 7→ ∆1(σ(x), w(x)) has only two solutions x = 0 and x = xA > 0; • ∆(σ(x), w(x)) > 0 and ∆2(σ(x), w(x)) > 0 for x > 0; • ∆1(σ(x), w(x)) < 0 for x ∈ (0, xA) and ∆1(σ(x), w(x)) > 0 for x > xA; • w(x) > a(1 + a)σ(x) 2 for all x > 0. Here w− = w−(r) = (r − √ r 2 − 6r + 6)/2 and a = w−/(1 − w−).… view at source ↗
Figure 2
Figure 2. Phase portrait for the τ − u system (2.17): Dashed curve is the trajectory of the solution. Recall that we aim to construct smooth profiles for r sufficiently close to 3 − √ 3, which corresponds to sufficiently large R. In order to extend uF smoothly through Q2, our strategy is to construct a local smooth solution uL(τ, R) to (2.17) near Q2, and then prove that uL(·; R) = uF (·; R) for some well￾chosen parameter R. … view at source ↗
Figure 3
Figure 3. Phase portrait for the σ − w system (2.15): Positions of auxiliary points PA and PB. strictly increasing on x ∈ [0, xA]. After crossing the red curve at PA, as x increases, due to the fact that w(x) > a(1 + a)σ(x) 2 > 0 for all x > 0 (recall Proposition 6.8), we know that x 7→ w(x) is strictly decreasing on x ∈ [xA, +∞); since limx→+∞ w(x) = 0, there exists a unique xB ∈ (xA, +∞) such that w(xB) = w(P2) = w−. The po… view at source ↗
Figures from the paper (1 more)
Figure 4
Figure 4. Figure 4: Phase portrait for the τ − u system (2.17): Positions of auxiliary points QA and QB. where ϕ1(τ ; α) := 9(1 − α) 2 (1 + 3α) 2 + 6(1 − α)(1 + 3α)(2 + 11α − 5α 2 )τ + (1 + 3α)(19 + 112α − 83α 2 )τ 2 + 4(−9 + 2α + 67α 2 )τ 3 − 4(9 + 29α)τ 4 + 16τ 5 > 0 for all α ∈ (0, 1) …

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Self-similar blow-up solutions of $d$-dimensional incompressible Euler equations with $C^{1,\left(1-2/d\right)-}$ velocity

    math.AP 2026-05 unverdicted novelty 7.0 of 10

    For every d≥3 and every α<1−2/d, axisymmetric swirl-free incompressible Euler admits self-similar blow-up solutions with C^{1,α} initial velocity that is smooth away from the origin.

  2. On putative self-similarity for incompressible 3D Euler

    math.AP 2026-02 accept novelty 6.0 of 10

    Self-similar blow-up exponents for 3D Euler are shown to satisfy γ≥2/5 for finite-energy solutions and γ≥1/2 for globally self-similar profiles with outgoing or axisymmetric nodal conditions.

Reference graph

Works this paper leans on

73 extracted references · 61 canonical work pages · cited by 2 Pith papers

  1. [14]

    Cao-Labora, J

    G. Cao-Labora, J. G´ omez-Serrano, J. Shi and G. Staffilani, Non-radial implosion for compressible Euler and Navier-Stokes in T3 and R3. arXiv:2310.05325, 2023

    arXiv 2023

  2. [1]

    Abbrescia and J

    L. Abbrescia and J. Speck, The emergence of the singular boundary from the crease in 3D compressible Euler flow. arXiv:2207.07107, 2022

    arXiv 2022

  3. [2]

    Supersonic Gravitational Collapse for Non-Isentropic Gaseous Stars

    C. Alexander, M. Hadˇ zi´ c and M. Schrecker, Supersonic Gravitational Collapse for Non-Isentropic Gaseous Stars. arXiv:2311.18795v2, 2024

    work page Pith review arXiv 2024

  4. [3]

    Alinhac, Blowup of small data solutions for a quasilinear wave equation in two space dimensions

    S. Alinhac, Blowup of small data solutions for a quasilinear wave equation in two space dimensions. Ann. of Math. , 149 (1999), 97–127

    work page 1999

  5. [4]

    Alinhac, The null condition for quasilinear wave equations in two space dimensions

    S. Alinhac, The null condition for quasilinear wave equations in two space dimensions. II. Amer. J. Math., 193 (2001), 1071–1101

    work page 2001

  6. [5]

    Bourgain, Problems in Hamiltonian PDE’s

    J. Bourgain, Problems in Hamiltonian PDE’s. Geom. Funct. Anal., Special volume, Part I (2000), 32–56

    work page 2000

  7. [6]

    Smooth imploding solutions for 3D compressible fluids

    T. Buckmaster, G. Cao-Labora and J. G´ omez-Serrano, Smooth imploding solutions for 3D compressible fluids. To appear in Forum Math. Pi ; arXiv:2208.09445, 2022

    work page Pith review arXiv 2022

  8. [7]

    Buckmaster and J

    T. Buckmaster and J. Chen, Blowup for the defocusing septic complex-valued nonlinear wave equation in R4+1. arXiv:2410.15619, 2024

    arXiv 2024

Show all 73 references
  1. [8]

    Buckmaster, T

    T. Buckmaster, T. D. Drivas, S. Shkoller and V. Vicol, Simultaneous development of shocks and cusps for 2D Euler with azimuthal symmetry from smooth data. Ann. PDE, 8 (2022), Paper No. 26, 199 pp

    2022

  2. [9]

    Buckmaster, T

    T. Buckmaster, T. D. Drivas, S. Shkoller and V. Vicol, Formation and development of singularities for the compressible Euler equations. ICM-International Congress of Mathematicians. Vol. 5. Sections 9-11 , 3636–3659. EMS Press, Berlin, 2023

    2023

  3. [10]

    Buckmaster and S

    T. Buckmaster and S. Iyer, Formation of unstable shocks for 2D isentropic compressible Euler. Comm. Math. Phys. , 389 (2022), 197–271

    2022

  4. [11]

    Buckmaster, S

    T. Buckmaster, S. Shkoller and V. Vicol, Formation of shocks for 2D isentropic compressible Euler. Comm. Pure Appl. Math. , 75 (2022), 2069–2120

    2022

  5. [12]

    Buckmaster, S

    T. Buckmaster, S. Shkoller and V. Vicol, Shock formation and vorticity creation for 3D Euler. Comm. Pure Appl. Math. , 76 (2023), 1965–2072

    2023

  6. [13]

    Buckmaster, S

    T. Buckmaster, S. Shkoller and V. Vicol, Formation of point shocks for 3D compressible Euler. Comm. Pure Appl. Math. , 76 (2023), 2073–2191

    2023

  7. [15]

    Cao-Labora, J

    G. Cao-Labora, J. G´ omez-Serrano, J. Shi and G. Staffilani, Non-radial implosion for the defocusing nonlinear Schr¨ odinger equation inTd and Rd. arXiv:2410.04532, 2024

    2024 arXiv

  8. [16]

    Chemin, Dynamique des gaz ` a masse totale finie

    J.-Y. Chemin, Dynamique des gaz ` a masse totale finie. Asymptotic Anal., 3 (1990), 215–220

    1990

  9. [17]

    Chen, Nearly self-similar blowup of the slightly perturbed homogeneous Landau equation with very soft potentials

    J. Chen, Nearly self-similar blowup of the slightly perturbed homogeneous Landau equation with very soft potentials. arXiv:2311.11511, 2023

    2023 arXiv

  10. [18]

    Chen, Vorticity blowup in compressible Euler equations in Rd, d ≥ 3

    J. Chen, Vorticity blowup in compressible Euler equations in Rd, d ≥ 3. arXiv:2408.04319, 2024

    2024 arXiv

  11. [19]

    J. Chen, G. Cialdea, S. Shkoller and V. Vicol, Vorticity blowup in 2D compressible Euler equations. arXiv:2407.06455, 2024

    2024 arXiv

  12. [20]

    Chen and T

    J. Chen and T. Y. Hou, Finite time blowup of 2D Boussinesq and 3D Euler equations with C 1,α velocity and boundary. Comm. Math. Phys. , 383 (2021), 1559–1667

    2021

  13. [21]

    Chen and T

    J. Chen and T. Y. Hou, Stable nearly self-similar blowup of the 2D Boussinesq and 3D Euler equations with smooth data I: Analysis. arXiv:2210.07191v3, 2023

    2023 arXiv

  14. [22]

    Chen and T

    J. Chen and T. Y. Hou, Stable nearly self-similar blowup of the 2D Boussinesq and 3D Euler equations with smooth data II: Rigorous numerics. Multiscale Model. Simul. , 23 (2025), 25–130

    2025

  15. [23]

    J. Chen, T. Y. Hou and D. Huang, On the finite time blowup of the De Gregorio model for the 3D Euler equations. Comm. Pure Appl. Math. , 74 (2021), 1282–1350

    2021

  16. [24]

    Y. Cho, H. J. Choe and H. Kim, Unique solvability of the initial boundary value problems for compressible viscous fluids. J. Math. Pures Appl. (9) , 83 (2004), 243–275. BLOW-UP OF COMPRESSIBLE NA VIER-STOKES EQUATIONS 65

    2004

  17. [25]

    Cho and H

    Y. Cho and H. Kim, On classical solutions of the compressible Navier–Stokes equations with nonnegative initial densities. Manuscripta Math. , 120 (2006), 91–129

    2006

  18. [26]

    H. J. Choe and H. Kim, Strong solutions of the Navier–Stokes equations for isentropic compressible fluids. J. Differential Equations , 190 (2003), 504–523

    2003

  19. [27]

    Christodoulou, The formation of shocks in 3-dimensional fluids

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

    2007

  20. [28]

    Christodoulou, The shock development problem

    D. Christodoulou, The shock development problem. EMS Monographs in Mathematics. European Math- ematical Society (EMS), Z¨ urich, 2019. ix+920 pp

    2019

  21. [29]

    Christodoulou and A

    D. Christodoulou and A. Lisibach, Shock development in spherical symmetry. Ann. PDE, 2 (2016), Art. 3, 246 pp

    2016

  22. [30]

    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, 2014

    2014

  23. [31]

    Danchin, Local theory in critical spaces for compressible viscous and heat-conductive gases

    R. Danchin, Local theory in critical spaces for compressible viscous and heat-conductive gases. Comm. Partial Differential Equations , 26 (2001), 1183–1233

    2001

  24. [32]

    T. D. Drivas and T. M. Elgindi, Singularity formation in the incompressible Euler equation in finite and infinite time. EMS Surv. Math. Sci. , 10 (2023), 1–100

    2023

  25. [33]

    T. M. Elgindi, Finite-time singularity formation for C 1,α solutions to the incompressible Euler equations on R3. Ann. of Math. , 194 (2021), 647–727

    2021

  26. [34]

    T. M. Elgindi, T. Ghoul and N. Masmoudi, On the stability of self-similar blow-up for C 1,α solutions to the incompressible Euler equations on R3. Camb. J. Math. , 9 (2021), 1035–1075

    2021

  27. [35]

    Feireisl, A

    E. Feireisl, A. Novotn´ y and H. Petzeltov´ a, On the global existence of globally defined weak solutions to the Navier–Stokes equations of isentropic compressible fluids. J. Math. Fluid Mech. , 3 (2001), 358–392

    2001

  28. [36]

    Guderley, Starke kugelige und zylindrische Verdichtungsst¨ osse in der N¨ ahe des Kugelmittelpunktes bzw

    G. Guderley, Starke kugelige und zylindrische Verdichtungsst¨ osse in der N¨ ahe des Kugelmittelpunktes bzw. der Zylinderachse. Luftfahrtforschung, 19 (1942), 302–311

    1942

  29. [37]

    Y. Guo, M. Hadˇ zi´ c and J. Jang, Continued gravitational collapse for Newtonian stars. Arch. Ration. Mech. Anal., 239 (2021), 431–552

    2021

  30. [38]

    Y. Guo, M. Hadˇ zi´ c and J. Jang, Larson-Penston self-similar gravitational collapse.Comm. Math. Phys. , 386 (2021), 1551–1601

    2021

  31. [39]

    Y. Guo, M. Hadˇ zi´ c and J. Jang, Naked singularities in the Einstein-Euler system.Ann. PDE, 9 (2023), Paper No. 4, 182 pp

    2023

  32. [40]

    Y. Guo, M. Hadˇ zi´ c, J. Jang and M. Schrecker, Gravitational collapse for polytropic gaseous stars: self- similar solutions. Arch. Ration. Mech. Anal. , 246 (2022), 957–1066

    2022

  33. [41]

    Huang, X

    D. Huang, X. Qin, X. Wang and D. Wei, Self-similar finite-time blowups with smooth profiles of the generalized Constantin-Lax-Majda model. Arch. Ration. Mech. Anal. , 248 (2024), Paper No. 22, 65 pp

    2024

  34. [42]

    Huang, X

    D. Huang, X. Qin, X. Wang and D. Wei, On the exact self-similar finite-time blowup of the Hou-Luo model with smooth profiles. arXiv:2308.01528v2, 2024

    2024 arXiv

  35. [43]

    Huang, J

    D. Huang, J. Tong and D. Wei, On self-similar finite-time blowups of the de Gregorio model on the real line. Comm. Math. Phys. , 402 (2023), 2791–2829

    2023

  36. [44]

    Itaya, On the initial value problem of the motion of compressible viscous fluid, especially on the problem of uniqueness

    N. Itaya, On the initial value problem of the motion of compressible viscous fluid, especially on the problem of uniqueness. J. Math. Kyoto Univ. , 16 (1976), 413–427

    1976

  37. [45]

    Jiang and P

    S. Jiang and P. Zhang, Global spherically symmetric solutions of the compressible isentropic Navier–Stokes equations. Comm. Math. Phys. , 215 (2001), 559–581

    2001

  38. [46]

    Jiang and P

    S. Jiang and P. Zhang, Axisymmetric solutions of the 3-D Navier–Stokes equations for compressible isentropic flows. J. Math. Pures Appl. (9) , 82 (2003), 949–973

    2003

  39. [47]

    Kato, The Cauchy problem for quasi-linear symmetric hyperbolic systems

    T. Kato, The Cauchy problem for quasi-linear symmetric hyperbolic systems. Arch. Ration. Mech. Anal., 58 (1975), 181–205

    1975

  40. [48]

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

    1964

  41. [49]

    P. D. Lax, Hyperbolic systems of conservation laws and the mathematical theory of shock waves.Conference Board of the Mathematical Sciences Regional Conference Series in Applied Mathematics, No. 11. Society for Industrial and Applied Mathematics, Philadelphia, PA, 1973. v+48 pp

    1973

  42. [50]

    Lebaud, Description de la formation d’un choc dans le p-syst` eme.J

    M.-P. Lebaud, Description de la formation d’un choc dans le p-syst` eme.J. Math. Pures Appl. (9) , 73 (1994), 523–565

    1994

  43. [51]

    H. Li, Y. Wang and Z. Xin, Non-existence of classical solutions with finite energy to the Cauchy problem of the compressible Navier-Stokes equations. Arch. Ration. Mech. Anal. , 232 (2019), 557–590. 66 F. SHAO, S. W ANG, D. WEI, AND Z. ZHANG

    2019

  44. [52]

    P. L. Lions, Mathematical Topics in Fluid Mechanics, vol. 2: Compressible Models. Oxford Lecture Ser. Math. Appl., 10. Oxford Sci. Publ. The Clarendon Press, Oxford University Press, New York, 1998. xiv+348 pp

    1998

  45. [53]

    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), 1–169

    2018

  46. [54]

    Luk and J

    J. Luk and J. Speck, The stability of simple plane-symmetric shock formation for three-dimensional compressible Euler flow with vorticity and entropy. Anal. PDE, 17 (2024), 831–941

    2024

  47. [55]

    Luo and T

    G. Luo and T. Y. Hou, Toward the finite-time blowup of the 3D incompressible Euler equations: a numerical investigation. Multiscale Model. Simul. , 12 (2014), 1722–1776

    2014

  48. [56]

    A. J. Majda, Compressible fluid flow and systems of conservation laws in several space variables. Applied Mathematical Sciences, 53. Springer-Verlag, New York, 1984. viii+159 pp

    1984

  49. [57]

    Makino, S

    T. Makino, S. Ukai and S. Kawashima, On compactly supported solutions of the compressible Euler equation. In Recent topics in nonlinear PDE, III (Tokyo, 1986) , North-Holland Math. Stud. 148, Lecture Notes Numer. Appl. Anal. 9. North-Holland, Amsterdam, pp. 173–183

    1986

  50. [58]

    Merle, P

    F. Merle, P. Raph¨ ael, I. Rodnianski, and J. Szeftel, On the implosion of a compressible fluid I: Smooth self-similar inviscid profiles. Ann. of Math. (2) , 196 (2022), 567–778

    2022

  51. [59]

    Merle, P

    F. Merle, P. Raph¨ ael, I. Rodnianski, and J. Szeftel, On the implosion of a compressible fluid II: Singularity formation. Ann. of Math. (2) , 196 (2022), 779–889

    2022

  52. [60]

    Merle, P

    F. Merle, P. Raph¨ ael, I. Rodnianski, and J. Szeftel, On blow up for the energy super critical defocusing nonlinear Schr¨ odinger equations.Invent. Math. , 227 (2022), 247–413

    2022

  53. [61]

    Nash, Continuity of solutions of parabolic and elliptic equations

    J. Nash, Continuity of solutions of parabolic and elliptic equations. Amer. J. Math. , 80 (1958), 931-954

    1958

  54. [62]

    Nash, Le probl` eme de Cauchy pour les ´ equations diff´ erentielles d’un fluide g´ en´ eral.Bull

    J. Nash, Le probl` eme de Cauchy pour les ´ equations diff´ erentielles d’un fluide g´ en´ eral.Bull. Soc. Math. France, 90 (1962), 487–497

    1962

  55. [63]

    Rozanova, Blow up of smooth solutions to the compressible Navier-Stokes equations with the data highly decreasing at infinity

    O. Rozanova, Blow up of smooth solutions to the compressible Navier-Stokes equations with the data highly decreasing at infinity. J. Differential Equations , 245 (2008), 1762–1774

    2008

  56. [64]

    L. I. Sedov, Similarity and dimensional methods in mechanics. Translation by Morris Friedman. Academic Press, New York-London, 1959. xvi+363 pp

    1959

  57. [65]

    Serrin, On the uniqueness of compressible fluid motions

    J. Serrin, On the uniqueness of compressible fluid motions. Arch. Ration. Mech. Anal., 3 (1959), 271–288

    1959

  58. [66]

    F. Shao, D. Wei and Z. Zhang, Self-similar imploding solutions of the relativistic Euler equations. arXiv:2403.11471, 2024

    2024 arXiv

  59. [67]

    F. Shao, D. Wei and Z. Zhang, On blow-up for the supercritical defocusing nonlinear wave equation. arXiv:2405.19674, 2024

    2024 arXiv

  60. [68]

    Shkoller and V

    S. Shkoller and V. Vicol, The geometry of maximal development and shock formation for the Euler equations in multiple space dimensions. Invent. Math. , 237(2024), 871–1252

    2024

  61. [69]

    T. C. Sideris, Formation of singularities in three-dimensional compressible fluids. Comm. Math. Phys. , 101(1985), 475–485

    1985

  62. [70]

    Y. Sun, C. Wang and Z. Zhang, A Beale-Kato-Majda blow-up criterion for the 3-D compressible Navier- Stokes equations. J. Math. Pures Appl. (9) , 95 (2011), 36–47

    2011

  63. [71]

    Xin, Blowup of smooth solutions to the compressible Navier-Stokes equation with compact density

    Z. Xin, Blowup of smooth solutions to the compressible Navier-Stokes equation with compact density. Comm. Pure Appl. Math. , 51 (1998), 229–240

    1998

  64. [72]

    Xin and W

    Z. Xin and W. Yan, On blowup of classical solutions to the compressible Navier-Stokes equations. Comm. Math. Phys. , 321 (2013), 529–541

    2013

  65. [73]

    Yin, Formation and construction of a shock wave for 3-D compressible Euler equations with the spherical initial data

    H. Yin, Formation and construction of a shock wave for 3-D compressible Euler equations with the spherical initial data. Nagoya Math. J. , 175 (2004), 125–164. School of Mathematical Sciences, Peking University, Beijing 100871, China Email address : fshao@stu.pku.edu.cn School...

    2004

Pith tools

Reviewed August 10, 2026 · model on record in the stance chip above.