Pith. sign in

REVIEW 3 major objections 4 minor 29 references

Structural stability of the transonic shock problem in a divergent three dimensional axisymmetric perturbed nozzle

T0 review · 3 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash

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

Pith's one-line read Small axisymmetric perturbations of the incoming flow, the nozzle wall, and the exit pressure do not destroy the spherical transonic shock: a unique nearby solution with swirl exists.

desk verdict A genuine new idea—an axis-regular Lagrangian transformation—powers a credible transonic shock stability result for 3D axisymmetric Euler with swirl, but the main theorem leans on a key elliptic estimate whose proof is sketched rather than shown. read the letter →

arxiv 1908.01694 v2 pith:JGBSLQZC submitted 2019-08-05 math.AP

Shangkun Weng , Chunjing Xie , Zhouping Xin This is my paper · ORCID
classification math.AP MSC 35L6535L6776N15
keywords transonicshockstructuralstabilityaxisymmetricEulersystemswirlLagrangiantransformationdivergentnozzlefreeboundaryproblemweightedHölderspaces
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 establishes that the spherical symmetric transonic shock in a divergent axisymmetric nozzle survives small axisymmetric perturbations of the incoming supersonic flow, the nozzle wall, and the exit pressure, even when the flow carries swirl. Previous stability results for multidimensional transonic shocks typically excluded swirl or worked in geometries where the corner singularity at the shock-wall intersection and the artificial singularity at the symmetry axis do not appear together. The authors construct a new invertible Lagrangian coordinate system that straightens the streamlines through the whole nozzle, including near the axis, and reformulate the free-boundary problem as an elliptic system for the flow angle and pressure coupled to an ordinary differential equation for the shock front. A fixed-point contraction then yields a unique perturbed solution whose shock location and subsonic flow lie within a constant multiple of the perturbation size of the spherical background. This gives a rigorous foundation for the standard picture of divergent-nozzle operation: small changes in upstream conditions, wall shape, or back pressure move the shock slightly without destroying it.

What carries the argument

The central object is a new invertible Lagrangian coordinate map $(r,\theta)\mapsto(y_1,y_2)$ with $y_1=r$ and $y_2=\tilde y_2^{1/2}$, where $\tilde y_2$ is the axisymmetric stream function determined by $d\tilde y_2=r^2\rho U_1\sin\theta\,d\theta-r\rho U_2\sin\theta\,dr$. Because $\sin\theta=O(\theta)$ near the axis, the Jacobian $r^2\rho U_1\sin\theta/(2y_2)$ stays bounded away from zero, so the map is invertible even at the axis, unlike the usual Lagrangian coordinates used for two-dimensional nozzles. This map straightens the streamlines into rectangles, lets the entropy, swirl, and Bernoulli equations be integrated explicitly, and turns the free-boundary problem into a first-order elliptic system for the flow angle $\varpi=U_2/U_1$ and pressure $P$, coupled to an ODE for the shock front. The elliptic system is rewritten through a potential function and solved in a cylindrical domain in weighted Hölder spaces, with the nonlocal terms controlled by the fixed-point contraction.

What would settle it

Solve the homogeneous version of the linear elliptic problem (80) with the background coefficients in the weighted Hölder spaces used in the paper: a nonzero solution, or a sequence of solutions whose weighted norms blow up as the axis is approached, would contradict Proposition 3 and the fixed-point argument for Theorem 1 would not close.

Watch

Extended reading notes

Core claim

The paper proves structural stability of the spherical symmetric transonic shock for the three-dimensional axisymmetric Euler system with swirl: for every sufficiently small axisymmetric perturbation of the incoming supersonic flow, the nozzle wall, and the exit pressure, there exists a unique solution consisting of a supersonic part, a transonic shock surface $r=\xi(\theta)$, and a subsonic part, with the shock front and the subsonic flow satisfying $\|\xi-r_b\|\le C_0\epsilon$ and $\|\Psi^+-\Psi_b^+\|\le C_0\epsilon$ in the appropriate weighted Hölder norms. The physical entropy condition across the shock is preserved, and the shock location varies continuously with the data. When the wall is straight and the data satisfy extra compatibility conditions, the solution gains higher regularity up to the wall and the axis.

Load-bearing premise

The load-bearing premise is that the linear elliptic boundary-value problem obtained after fixing the shock front has a unique solution with the stated weighted Hölder bounds; the proof invokes standard elliptic theory for this, so the singular corner and axis behavior must be covered by those estimates for the fixed-point iteration to close.

Editorial extensions

If this is right

  • For every sufficiently small axisymmetric perturbation of the incoming supersonic flow, the nozzle wall, and the exit pressure, a unique transonic shock solution exists, with the shock front $\xi(\theta)$ satisfying $\|\xi-r_b\|_{3,\alpha}^{(-1-\alpha;\{\theta^*\})}\le C_0\epsilon$.
  • The subsonic flow behind the shock stays within $C_0\epsilon$ of the spherical background in the weighted Hölder norm, and the entropy condition $P^+>P^-$ across the shock is preserved.
  • The shock front and the subsonic flow depend continuously on the three perturbation data, with constants depending only on the background solution and the boundary data, not on the particular perturbation.
  • If the nozzle wall is unperturbed and the data satisfy additional compatibility conditions, the shock front gains $C^{3,\alpha}$ regularity and the subsonic flow gains $C^{2,\alpha}$ regularity up to the wall and the axis.
  • Because the transport equations for entropy, swirl, and the Bernoulli function are solved explicitly and the shock front is governed by an ODE, the free-boundary problem reduces to a fixed-boundary elliptic problem whose uniqueness follows from the contraction map.

Reading between the lines

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

  • The same square-root Lagrangian coordinate should apply to other axisymmetric free-boundary problems in gas dynamics wherever streamlines need straightening without losing the axis, since the only structural input is $\sin\theta=O(\theta)$ near the axis.
  • Because the contraction constant in the proof is proportional to $\epsilon$, the argument yields an explicit, if conservative, radius of stability; a numerical continuation in $\epsilon$ could test how far the linear bound $C_0\epsilon$ remains valid beyond the regime covered by the proof.
  • Theorem 2's compatibility conditions suggest that, for straight walls, regularity is limited mainly by corner compatibility; relaxing them would require resolving the corner singularities directly, which is the part of the elliptic estimate the paper sketches rather than fully details.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 4 minor

Summary. The paper studies the steady three-dimensional axisymmetric compressible Euler system with nonzero swirl in a divergent nozzle and claims a structural stability result for the spherical symmetric transonic shock. Theorem 1 asserts that, under small perturbations of the incoming supersonic flow, the nozzle wall, and the exit pressure, there is a unique transonic shock solution whose shock front and subsonic flow satisfy weighted Hölder estimates of size O(ε). The proof introduces an invertible Lagrangian transformation that straightens streamlines, fixes the unknown shock as a free boundary, decomposes the system into an elliptic system for the flow angle and pressure plus transport equations, and then runs a contraction mapping in weighted Hölder spaces. Theorem 2 states a C^{2,α} regularity improvement in the case of a straight nozzle under additional compatibility conditions. The central structure of the iteration is coherent and detailed, but the key elliptic estimate (Proposition 3) is only sketched, and the proof of Theorem 2 is omitted.

Significance. If the main theorem is correct, it would be a meaningful extension of the transonic shock stability literature: the axisymmetric setting with swirl has both the artificial singularity at the axis and corner singularities at the shock-wall intersection, and the proposed Lagrangian transformation appears to be a genuine new ingredient that overcomes the earlier non-invertibility near the axis. The fixed-point scheme is standard in spirit but is adapted with care to the singular coefficients, and the paper gives credit to the prior framework of Li-Xin-Yin. The main weakness is that the load-bearing elliptic regularity result is not actually proved in the manuscript: Proposition 3 defers the existence, uniqueness, and weighted Hölder estimate to earlier papers without checking their hypotheses, and Proposition 4 and Theorem 2 contain further deferred arguments. Thus the paper is not yet self-contained for its central claims, though no direct error in the fixed-point estimates is apparent.

major comments (3)
  1. [Section 3.2, Proposition 3 (Eqs. (80)-(81))] The proof of Proposition 3, which is the only route to the weighted C^{2,α} estimate needed for the fixed-point iteration, is a sketch. It asserts a variational structure 'similar' to [19, Lemma 4.3] and obtains existence and uniqueness by Lax-Milgram and Fredholm, but it does not identify the bilinear form, verify its coercivity in the presence of the nonlocal term a3(ζ1)Υ*(0,ζ2,ζ3) and the Robin coefficient a4 at ζ1=0, or justify the compactness/Fredholm step after moving the trace term. It then invokes [22, Theorems 5.36 and 5.45] and [22, Theorem 4.6] for global regularity and the final estimate without checking the hypotheses of those theorems in the present cylindrical, mixed-boundary, corner domain. Because estimate (81) feeds directly into Proposition 4 and hence into every contraction estimate in Section 3.4, the main theorem is not fully demonstrated until this proposition is proved in detail.
  2. [Section 3.2, Proposition 4 (Eqs. (82)-(86))] The bootstrap from C^{1,α} regularity to the stated C^{2,α} regularity for W2 and W4 is not self-contained. The estimate (86) for W4 is asserted by saying that the argument is 'similar to the proof of Proposition 3,' and the final regularity for W2 is attributed to an argument 'similar to [19, Lemma B.3].' The passage from the first-order normal form (85) to the weighted C^{2,α} bound (82) requires an explicit treatment of compatibility conditions at the corners (0,0), (N,0), (0,M), and (N,M), since the norm (20) weights only a portion of the boundary. Without this, the iteration map is not shown to take the space Ξδ into itself.
  3. [Section 4, Proof of Theorem 2] Theorem 2 is stated as a main result, but its proof is omitted with the comment that it is 'very similar to the proof for [19, Theorem 1.1].' The compatibility lemmas (Lemmas 6 and 7) provide useful information, but the final assertions (24)-(25) require global C^{2,α} regularity up to the intersection point of the shock with the nozzle wall and up to the axis, and the reference to a 'standard even extension' is not enough to establish that the transformed equations and boundary conditions preserve that regularity. Since Theorem 2 is advertised as a new result, it should either be proved in the paper or explicitly stated as a corollary whose full proof appears elsewhere.
minor comments (4)
  1. [Proposition 4 statement] The word 'probelm' in the statement of Proposition 4 is a typo for 'problem.'
  2. [References] Reference [11] is listed as 'Supsonic flow and Shock Waves'; the correct spelling is 'Supersonic.'
  3. [Section 1, Theorem 1] The weighted Hölder spaces are defined in the introduction, but the notation Γw,s is introduced only in (20), while the shock front estimate (18) uses the weight {θ*}; it would be clearer to define both sets precisely in the same paragraph.
  4. [Section 2.2, Eq. (44)] The remainder terms Ri in (42)-(44) depend on Φ− evaluated at the shock position, but this dependence is encoded only in the notation; writing the arguments explicitly, as done for the listing of Φ± in (43), would improve readability.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the proof is a fixed-point construction; prior self-citations supply auxiliary background, not the target result.

full rationale

The paper contains no fitted parameters or empirical predictions. The main theorem is proved by constructing an iteration map T on a weighted Hölder ball and showing that it maps a small ball into itself and is a contraction; the bounds in (95) and (105) are derived from the elliptic estimates in Propositions 3 and 4. Proposition 3 is a standard linear elliptic existence-and-regularity statement. Its proof is admittedly a sketch: it invokes the variational structure of [19, Lemma 4.3] and uses [22, Theorems 5.36, 5.45, and 4.6] for global regularity. These cited results concern general elliptic boundary value problems, not the transonic-shock conclusion of this paper, so the main claim does not reduce to the cited statements. The paper's own novel ingredients, the invertible Lagrangian transformation and the reduction to a first-order elliptic system, are carried out explicitly. Theorem 2's proof is omitted and deferred to arguments similar to [19, Theorem 1.1], but that is a completeness or correctness risk, not circularity. Likewise, the use of [29, Theorem 1.1] for the spherical symmetric background solution is a standard citation of a prior existence result, not a self-referential derivation of the target stability theorem. No quantity introduced as an input is renamed as the output, and no uniqueness theorem is invoked to forbid alternatives. Thus the derivation chain is self-contained apart from auxiliary elliptic regularity imported from the literature.

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

The central proof rests on the pre-existing background solution, the existence of the perturbed supersonic flow, and standard elliptic regularity results. No free parameters are fitted; the small parameter epsilon is an input. No invented physical entities appear.

assumptions (4)
  • domain assumption The background spherical symmetric transonic shock solution Psi_b exists and is unique for given exit pressure in (P1,P2).
    Invoked in Section 1 to define the background solution; cited to [11, Section 147] and [29, Theorem 1.1], not re-derived here.
  • domain assumption The perturbed supersonic flow Psi- exists and is C^{2,alpha}(Omega) when the compatibility conditions (13) hold.
    Stated after (13) and attributed to [15] via characteristic method and Picard iteration; used as input to the free-boundary problem.
  • standard math Standard weighted Holder elliptic estimates, including [22, Theorems 5.36 and 5.45] and the variational argument in [19, Lemma 4.3], apply to the model problem (80) in the singular cylindrical domain.
    Used in the proof of Proposition 3 to obtain existence, uniqueness, and estimate (81); the exact verification of hypotheses is not carried out in the text.
  • domain assumption The Lagrangian map (r,theta) to (y1,y2) is a C^1 diffeomorphism with Jacobian determinant bounded below by a positive constant depending only on the background solution.
    Asserted in Section 2.1 using closeness to the background solution; essential for straightening streamlines and for inverting the transformation.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Structural stability of the transonic shock problem in a divergent three dimensional axisymmetric perturbed nozzle." pith.science (2026). https://pith.science/paper/JGBSLQZC

@misc{pith2026190801694,
  author       = {Pith},
  title        = {Pith review of: Structural stability of the transonic shock problem in a divergent three dimensional axisymmetric perturbed nozzle},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/JGBSLQZC}},
  note         = {Machine review of arXiv:1908.01694}
}
read the original abstract

In this paper, we prove the structural stability of the transonic shocks for three dimensional axisymmetric Euler system with swirl velocity under the perturbations for the incoming supersonic flow, the nozzle boundary, and the exit pressure. Compared with the known results on the stability of transonic shocks, one of the major difficulties for the axisymmetric flows with swirls is that corner singularities near the intersection point of the shock surface and nozzle boundary and the artificial singularity near the axis appear simultaneously. One of the key points in the analysis for this paper is the introduction of an invertible Lagrangian transformation which can straighten the streamlines in the whole nozzle and help to represent the solutions of transport equations explicitly.

Figures

Figures reproduced from arXiv: 1908.01694 by the authors.

Figure 1
Figure 1. The straight and perturbed nozzles Suppose that the incoming supersonic flow is prescribed at the inlet r = r1, i.e., (4) u −(x) = U − b (r1)er, P − b (x) = P − b (r1) > 0, S− b (x) = S − b , at r = r1, where U − b (r1) > c(ρ − b (r1), S− b ) > 0 and S − b is a constant. There exist two positive constants P1 and P2 which depend only on the incoming supersonic flows and the nozzle, such that if the pressure Pe ∈ (P1,… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

29 extracted references · 29 canonical work pages

  1. [1]

    Bae and M

    M. Bae and M. Feldman, Transonic shocks in multidimensional divergent nozzles. Archive for Rational Mechanics and Analysis, 201, 2011, 777-840

    work page 2011

  2. [2]

    Bae and S

    M. Bae and S. Weng, 3-D axisymmetric subsonic flows with nonzero swirl for the compressible Euler- Poisson system. Ann. Inst. H. Poincare Anal Non Lineaire, 35, (2018), 161-186

    work page 2018

  3. [3]

    Bers, Mathematical aspects of subsonic and transonic gas dynamics, Surveys in Applied Mathematics, vol

    L. Bers, Mathematical aspects of subsonic and transonic gas dynamics, Surveys in Applied Mathematics, vol. 3, John Wiley Sons, Inc., New York; Chapman Hall, Ltd., London, 1958

    work page 1958

  4. [4]

    Canic, B.L

    S. Canic, B.L. Keyfitz and G.M. Lieberman, A proof of existence of perturbed steady transonic shocks via a free boundary problem, Comm. Pure Appl. Math. (2000), 484-511

    work page 2000

  5. [5]

    G. Chen, J. Chen and K. Song, Transonic nozzle flows and free boundary problems for the full Euler equations, J. Differential Equations, 229 (2006), no. 1, 92-120

    work page 2006

  6. [6]

    G. Chen, J. Chen and M. Feldman. Transonic shocks and free boundary problems for the full Euler equations in infinite nozzles. J. Math. Pures Appl. (9) 88 (2007), no. 2, 191-218

    work page 2007

  7. [7]

    Chen and M

    G. Chen and M. Feldman, Multidimensional transonic shocks and free boundary problems for nonlinear equations of mixed type , J. Amer. Math. Soc. 16 (2003), 461-494

    work page 2003

  8. [8]

    Chen, Stability of transonic shock fronts in two-dimensional Euler systems, Trans

    S. Chen, Stability of transonic shock fronts in two-dimensional Euler systems, Trans. Amer. Math. Soc. 357 (2005), 287-308

    work page 2005

Show all 29 references
  1. [9]

    Chen, Transonic shocks in 3-D compressible flow passing a duct with a general section for Euler systems, Trans

    S. Chen, Transonic shocks in 3-D compressible flow passing a duct with a general section for Euler systems, Trans. Amer. Math. Soc, 360 (2008), 5265-5289

    2008

  2. [10]

    Chen and H.Yuan, Transonic shocks in compressible flow passing a duct for three-dimensional Euler systems, Arch

    S. Chen and H.Yuan, Transonic shocks in compressible flow passing a duct for three-dimensional Euler systems, Arch. Ration. Mech. Anal., 187 (2008), 523-556

    2008

  3. [11]

    Courant and K

    R. Courant and K. O. Friedrichs. Supsonic flow and Shock Waves, Interscience Publ., New York, (1948)

    1948

  4. [12]

    Embid, J

    P. Embid, J. Goodman, A. Majda, Multiple steady states for 1-D transonic flow, SIAM J. Sci. Stat. Comput. 5 (1984), 21-41

    1984

  5. [13]

    Gilbarg and L

    D. Gilbarg and L. H¨ ormander,Intermediate Schauder estimates, Arch. Rational Mech. Anal. 74 (1980), 297-318

    1980

  6. [14]

    Gilbarg, N.S

    D. Gilbarg, N.S. Tudinger. Elliptic Partial Differential Equations of Second Order. 2nd edn. Grund- lehren derMathematischenWissenschaften, 224. Springer, Berlin-New York, 1998

    1998

  7. [15]

    F. John. Nonlinear Wave Equations, Formation of Singularities. University Lecture Series, 2. American Mathematical Society, Providence, 1990

    1990

  8. [16]

    J. Li, Z. Xin and H. Yin, On transonic shocks in a nozzle with variable end pressures, Comm. Math. Phys, 291 (2009), 111-150

    2009

  9. [17]

    J. Li, Z. Xin and H. Yin, A free boundary value problem for the full Euler system and 2-D transonic shock in a large variable nozzle, Math. Res. Lett., 16 (2009), 777-796. STABILITY OF TRANSONIC SHOCK 31

    2009

  10. [18]

    J. Li, Z. Xin and H. Yin, The existence and monotonicity of a three-dimensional transonic shock in a finite nozzle with axisymmetric exit pressure, Pacific J. Math., 247 (2010), 109-161

    2010

  11. [19]

    J. Li, Z. Xin and H. Yin, On transonic shocks in a conic divergent nozzle with axi-symmetric exit pressures, J. Differential Equations, 48 (2010), 423-469

    2010

  12. [20]

    J. Li, Z. Xin and H. Yin, Transonic shocks for the full compressible Euler system in a general two- dimensional de Laval nozzle, Arch. Ration. Mech. Anal. 207 (2013), no. 2, 533-581

    2013

  13. [21]

    Liu and H

    L. Liu and H. Yuan, Stability of cylindrical transonic shocks for the two-dimensional steady compressible Euler system, J. Hyperbolic Differ. Equ. 5 (2008), 347-379

    2008

  14. [22]

    G. M. Lieberman. Oblique Derivative Problems for Elliptic Equations. World Scientific Publishing Co. Pte. Ltd., Hackensack, NJ, 2013

    2013

  15. [23]

    L. Liu, G. Xu, and H. Yuan, Stability of Spherically symmetric subsonic flows and transonic shocks under multidimensional perturbations, Advance in Mathematics 291 (2016), 696-757

    2016

  16. [24]

    Liu, Transonic gas flow in a duct of varying area, Arch

    T. Liu, Transonic gas flow in a duct of varying area, Arch. Rational Mech. Anal., 80 (1982), 1-18

    1982

  17. [25]

    Weng, Multi-Dimensional Conservation Laws and a Transonic Shock Problem , M.Phil

    S. Weng, Multi-Dimensional Conservation Laws and a Transonic Shock Problem , M.Phil. Thesis at The Chinese University of Hong Kong, 2009

    2009

  18. [26]

    Z. Xin, W. Yan and H. Yin, Transonic shock problem for the Euler system in a nozzle, Arch. Ration. Mech. Anal., 194 (1) (2009), 1-47

    2009

  19. [27]

    Xin and H

    Z. Xin and H. Yin, Transonic shock in a nozzle I: 2D case, Comm. Pure Appl. Math., 58 (2005), 999-1050

    2005

  20. [28]

    Xin and H

    Z. Xin and H. Yin, 3-diemsional transonic shock in a nozzle, Pacific J. Math. 236, (2008), 139-193

    2008

  21. [29]

    Xin and H

    Z. Xin and H. Yin, Transonic shock in a curved nozzle, 2-D and 3-D complete Euler systems, J. Differ- ential Equations. 245, (2008), 1014-1085. School of Mathematics and Statistics, Wuhan University, Wuhan, Hubei Province, 430072, People’s Republic of China. E-mail address : sk...

    2008

Pith tools

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