Pith. sign in

REVIEW 2 major objections 1 minor 28 references

Pseudo-sonic curves in self-similar potential flow solutions are necessarily circles if the pseudo-velocity is normal to the curve at each point.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

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

T0 review · grok-4.3

2026-06-26 13:17 UTC pith:YMCWHCSF

load-bearing objection The paper proves new sufficient conditions forcing pseudo-sonic curves to be circles or arcs in non-uniform self-similar potential flows, with a clean application to C^2-small perturbations of uniform shock reflection. the 2 major comments →

arxiv 2606.21793 v1 pith:YMCWHCSF submitted 2026-06-19 math.AP math-phmath.MPnlin.PSphysics.flu-dyn

Geometric Structures of Pseudo-Sonic Curves in Self-Similar Solutions of the Euler Equations for Potential Flow

Gui-Qiang G. Chen , Mikhail Feldman , Xin Gao , Wei Xiang This is my paper
classification math.AP math-phmath.MPnlin.PSphysics.flu-dyn
keywords pseudo-sonic curvesself-similar solutionsEuler equationspotential flowmixed hyperbolic-elliptic equationsshock reflection-diffractiongeometric structuresregularity
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper analyzes geometric structures of pseudo-sonic curves in two-dimensional self-similar solutions of the Euler equations for potential flow, where the governing equation is of mixed hyperbolic-elliptic type with degeneracy along the curve. It first proves that the curve must be a circle whenever the pseudo-velocity is normal to it at every point. Sufficient conditions are then established, under natural assumptions on local solution behavior, that force this normality to hold. Applied to the shock reflection-diffraction problem, the results show that a C^2-small perturbation of a uniform incoming flow solution requires the pseudo-sonic curve to be an arc, with constant density and velocity, plus C^{2,α} regularity up to the arc in the subsonic region.

Core claim

The pseudo-sonic curve is necessarily a circle if the pseudo-velocity at each point is a normal to the curve. Under natural assumptions on the local behavior of the solution, sufficient conditions ensure the pseudo-velocity at a pseudo-sonic point is normal to the curve. For the shock reflection-diffraction problem with non-uniform incoming flow, if the solution is a C^2-small perturbation either in the pseudo-supersonic or pseudo-subsonic region of a solution with uniform incoming flow, the pseudo-sonic curve must be an arc, the density and velocity must be constant corresponding to the radius and center of the arc, and the solution is C^{2,α}-regular in the pseudo-subsonic region up to the

What carries the argument

The condition that the pseudo-velocity is normal to the pseudo-sonic curve, which forces the curve to be a circle and enables the geometric characterization.

Load-bearing premise

The solution satisfies natural assumptions on its local behavior near the pseudo-sonic curve, or is a C^2-small perturbation of a uniform incoming flow solution.

What would settle it

A self-similar solution where the pseudo-velocity is normal to the pseudo-sonic curve at every point but the curve is not a circle would disprove the central geometric claim.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • The geometry of pseudo-sonic curves receives a precise characterization under the normality condition and the perturbation assumption.
  • Density and velocity remain constant along the pseudo-sonic arc in the perturbed uniform flow case.
  • The solution gains C^{2,α} regularity in the pseudo-subsonic region up to the sonic arc except at isolated points.
  • Streamline geometry near the curve is constrained by the mixed-type degeneracy.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The analytical approaches may carry over to other nonlinear problems that feature similar mixed-type degeneracies along curves.
  • Without the small-perturbation assumption, pseudo-sonic curves could exhibit non-circular shapes when the normality condition does not hold.
  • The normality condition itself may serve as a diagnostic for identifying constant-state regions in broader classes of self-similar flows.

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

2 major / 1 minor

Summary. The manuscript analyzes the geometric structures of pseudo-sonic curves in two-dimensional self-similar solutions of the Euler equations for potential flow. It proves that the pseudo-sonic curve is necessarily a circle if the pseudo-velocity is normal to the curve at each point. It then studies the general case where the pseudo-velocity is not normal and examines streamlines near the curve. Two theorems are established that provide sufficient conditions ensuring normality of the pseudo-velocity under natural assumptions on the local behavior of the solution. These results are applied to the shock reflection-diffraction problem with non-uniform incoming flow, proving that for C²-small perturbations (in either the pseudo-supersonic or pseudo-subsonic region) of a solution with uniform incoming flow, the pseudo-sonic curve must be an arc, with constant density and velocity corresponding to its radius and center; additionally, the solution is C^{2,α}-regular in the pseudo-subsonic region up to the sonic arc (except at point P1).

Significance. If the results hold, this work delivers rigorous geometric characterizations of degeneracy loci in mixed hyperbolic-elliptic equations arising from self-similar potential flow, extending prior analyses of uniform flows to non-uniform incoming states. The analytical techniques for handling the mixed-type degeneracy and the application yielding both geometric conclusions and regularity up to the arc represent substantive contributions that may apply to other nonlinear problems with similar degeneracies.

major comments (2)
  1. [Sufficient conditions theorems and shock-reflection application (abstract, final paragraph)] The two theorems on sufficient conditions for normality of the pseudo-velocity (invoked to obtain the circle and arc conclusions) rest on unspecified 'natural assumptions on the local behavior of the solution.' These assumptions are load-bearing for the central claims, yet it is not shown whether they are preserved under the C²-small perturbations of uniform incoming flow solutions considered in the shock-reflection application; if the assumptions involve sign conditions, monotonicity, or decay rates not automatically inherited by perturbations, the arc-shape and constancy conclusions do not follow.
  2. [Shock reflection-diffraction application] In the shock-reflection application, the conclusion that density and velocity must be constant (corresponding to radius and center of the arc) for C²-small perturbations relies on the normality being forced by the local-behavior assumptions. Without explicit verification that these assumptions hold for the perturbed non-uniform data (either in the supersonic or subsonic region), the constancy claim is not fully supported.
minor comments (1)
  1. [Application section] The abstract refers to regularity 'except at point P1' without defining the location or role of P1; a brief clarification in the application section would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful and insightful report. The comments highlight the need for greater explicitness regarding the 'natural assumptions' in Theorems 3.1 and 3.2 and their verification under perturbation. We address each point below and will incorporate clarifications and verifications in a revised manuscript.

read point-by-point responses

  1. Referee: [Sufficient conditions theorems and shock-reflection application (abstract, final paragraph)] The two theorems on sufficient conditions for normality of the pseudo-velocity (invoked to obtain the circle and arc conclusions) rest on unspecified 'natural assumptions on the local behavior of the solution.' These assumptions are load-bearing for the central claims, yet it is not shown whether they are preserved under the C²-small perturbations of uniform incoming flow solutions considered in the shock-reflection application; if the assumptions involve sign conditions, monotonicity, or decay rates not automatically inherited by perturbations, the arc-shape and constancy conclusions do not follow.

    Authors: The natural assumptions in Theorems 3.1 and 3.2 consist of explicit sign conditions on the first and second derivatives of the pseudo-potential along the pseudo-sonic curve together with a strict inequality on the pseudo-Mach number gradient (see the statements preceding each theorem). These conditions are satisfied with a definite margin by the explicit uniform-flow solutions. Because the C² norm of the perturbation is small, the same sign conditions and gradient inequality persist in a neighborhood of the curve by uniform continuity of the derivatives. We will add a short lemma in Section 4 that records this inheritance argument and will restate the assumptions verbatim in the abstract and introduction. revision: yes

  2. Referee: [Shock reflection-diffraction application] In the shock-reflection application, the conclusion that density and velocity must be constant (corresponding to radius and center of the arc) for C²-small perturbations relies on the normality being forced by the local-behavior assumptions. Without explicit verification that these assumptions hold for the perturbed non-uniform data (either in the supersonic or subsonic region), the constancy claim is not fully supported.

    Authors: The constancy of density and velocity on the arc follows once normality is established, because the governing equation then reduces to the eikonal equation whose only solutions are circular arcs centered at the appropriate point. The verification that the local-behavior assumptions survive the C² perturbation is precisely the content of the new lemma mentioned above; it applies uniformly whether the perturbation is introduced in the supersonic or subsonic region. We will insert an explicit paragraph in the application section (currently Section 5) that invokes this lemma and thereby closes the logical chain. revision: yes

Circularity Check

0 steps flagged

No circularity: analytic implications are independent of inputs

full rationale

The paper derives geometric conclusions via direct theorems on the mixed-type PDE: normality of pseudo-velocity implies the pseudo-sonic curve is a circle; two further theorems give sufficient conditions for normality under explicitly invoked local assumptions. The shock-reflection application then chains these implications for C^2-small perturbations of uniform flow. No quoted step reduces by definition or construction to a fitted parameter, renamed input, or self-citation chain; the derivation remains self-contained against the stated PDE and assumptions.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on standard background results from PDE theory for mixed hyperbolic-elliptic equations and self-similar reductions of the Euler system; no free parameters, ad-hoc axioms, or new invented entities are introduced in the abstract.

axioms (2)
  • domain assumption The governing second-order potential flow equation is of mixed hyperbolic-elliptic type with degeneracy along the pseudo-sonic curve.
    Invoked in the first paragraph of the abstract as the mathematical setting.
  • ad hoc to paper Natural assumptions on the local behavior of the solution suffice to guarantee normality of pseudo-velocity.
    Stated as the hypothesis for the two sufficient-condition theorems.

pith-pipeline@v0.9.1-grok · 5892 in / 1432 out tokens · 14146 ms · 2026-06-26T13:17:30.258042+00:00 · methodology

0 comments
read the original abstract

We are concerned with the geometric structures of pseudo-sonic curves in two-dimensional self-similar solutions for the Euler equations for potential flow, allowing for non-uniform supersonic states. Mathematically, the governing second-order potential flow equation is of mixed hyperbolic-elliptic type, with degeneracy occurring along the pseudo-sonic curve. In this paper, we develop rigorous analytical approaches to analyze the geometric structures of pseudo-sonic curves in such self-similar solutions. We first show that the pseudo-sonic curve is necessarily a circle if the pseudo-velocity at each point is a normal to the curve. We then analyze the general case in which the pseudo-velocity on the pseudo-sonic point is not a normal to the curve, and study the geometric properties of streamlines in a neighborhood of the pseudo-sonic curve. Next, we establish two theorems that provide sufficient conditions ensuring that the pseudo-velocity at a pseudo-sonic point is normal to the curve, under natural assumptions on the local behavior of the solution. These results yield a precise characterization of the geometry of pseudo-sonic curves. Finally, we apply the developed theory to the shock reflection-diffraction problem with non-uniform incoming flow. We prove that the pseudo-sonic curve must be an arc if the solution is a $C^2$-small perturbation, either in the pseudo-supersonic or pseudo-subsonic region, of a solution with uniform incoming flow. In particular, the density and velocity must be constant, corresponding to the radius and the center of the pseudo-sonic arc, respectively. Moreover, we prove that the solution is $C^{2,\alpha}$-regular in the pseudo-subsonic region up to the sonic arc (except at point $P_1$). The techniques and ideas developed in this paper are expected to be applicable to other nonlinear problems involving similar mixed-type degeneracies.

Figures

Figures reproduced from arXiv: 2606.21793 by Gui-Qiang G. Chen, Mikhail Feldman, Wei Xiang, Xin Gao.

Figure 2.1
Figure 2.1. Figure 2.1: The pseudo-sonic curve in the (ξ, η)–coordinates. 2.2. Geometric structures of pseudo-sonic curves. The first property concerns the case in which all pseudo-sonic points are exceptional (see Definition 2.1 below). Locally, i.e., in a neighborhood of each fixed pseudo-sonic point Q ∈ Γsonic, assume that one can choose suitable (ξ, η)–coordinates such that there exists a constant r > 0 for which the pseudo… view at source ↗
Figure 2.1
Figure 2.1. Figure 2.1: However, if all the sonic points are exceptional, then the following lemma holds: [PITH_FULL_IMAGE:figures/full_fig_p008_2_1.png] view at source ↗
Figure 4.1
Figure 4.1. Figure 4.1: Case II: Vector (−V, U) points to the supersonic region (see the right-hand side in [PITH_FULL_IMAGE:figures/full_fig_p016_4_1.png] view at source ↗
Figure 4
Figure 4. Figure 4 [PITH_FULL_IMAGE:figures/full_fig_p019_4.png] view at source ↗
Figure 4.2
Figure 4.2. Figure 4.2: The convexity of the sonic curve. Remark 4.2. In Theorem 2.3, our assumption is ∂nc ̸= 0. Recall that ∂ ⊥ = V ∂ξ − U ∂η and (U, V ) is the tangential vector of the sonic curve, so the directions of the derivatives ∂n and ∂ ⊥ are parallel. Then 0 ̸= ∂nc = ∂ ⊥c. 5. Proof of Theorem 2.4 for the Structure of Streamlines near the Sonic Curves Based on Lemmas 3.1–3.2 and Lemmas 4.1–4.4, the structure of the st… view at source ↗
Figure 5.1
Figure 5.1. Figure 5.1: The structure of the streamlines near Γsonic. (5.4) that UF′′(Q1) < 0. (5.6) Therefore, in a small neighborhood of the sonic point Q1, under the condition that Ω− ⊂ {η > f(ξ)} for the choice of coordinates (ξ, η), the streamline is convex as shown on the left-hand side of [PITH_FULL_IMAGE:figures/full_fig_p021_5_1.png] view at source ↗
Figure 7.1
Figure 7.1. Figure 7.1: The sonic point Q. Let Bε∗ (Q) =  ( ˜ξ, η˜) : (˜ξ − ˜ξ∗) 2 + (˜η − η˜∗) 2 < ε2 ∗ [PITH_FULL_IMAGE:figures/full_fig_p027_7_1.png] view at source ↗
Figure 8.1
Figure 8.1. Figure 8.1: Shock reflection-diffraction problem with non-uniform states. is the normal to the sonic arc at Q ∈ Γsonic. Let Ω− and Ω+ denote, respectively, the pseudo-supersonic and pseudo-subsonic regions of the solution φ between the reflected shock P0P2 and the wedge boundary P0P3 (see [PITH_FULL_IMAGE:figures/full_fig_p030_8_1.png] view at source ↗
Figure 8
Figure 8. Figure 8 [PITH_FULL_IMAGE:figures/full_fig_p033_8.png] view at source ↗
Figure 8.2
Figure 8.2. Figure 8.2: The characteristics in the supersonic region. Next, for Theorem 8.2, we consider the solutions in the supersonic domain Ω−. Since equations (2.1)–(2.2) are invariant under the rotation of the coordinates, we choose the coordinates (¯ξ, η¯) as shown in [PITH_FULL_IMAGE:figures/full_fig_p034_8_2.png] view at source ↗
Figure 8.3
Figure 8.3. Figure 8.3: Characteristic directions and characteristic angles. Similar arguments yield that ∂¯±c ≤ 0 in Ω− if ∂¯±c ≤ 0 on Γs. □ We are now ready to prove Theorem 8.2, based on Theorems 2.1 and 2.5. Proof of Theorem 8.2. Let δ = α−β 2 and σ = α+β 2 . Because q = c on Γsonic, (8.30) yields δ = π 2 on Γsonic. Then α = σ + π 2 and β = σ − π 2 on Γsonic, so that ∂¯+|Γsonic = (cos(σ + π 2 )∂ξ + sin(σ + π 2 )∂η) |Γsonic=… view at source ↗

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

28 extracted references · 2 canonical work pages

  1. [1]

    Bae, G.-Q

    M. Bae, G.-Q. Chen, and M. Feldman. Regularity of solutions to regular shock reflection for potential flow,Invent. Math.175(2009), no. 3, 505–543

    2009

  2. [2]

    Bae, G.-Q

    M. Bae, G.-Q. Chen, and M. Feldman.Prandtl-Meyer Reflection Configurations, Transonic Shocks, and Free Boundary Problems, Memoir of the American Mathematical Society,301(2024), no. 1507, vii+237 pp

    2024

  3. [3]

    L. Bers. On the continuation of a potential gas flow across the sonic line,Tech. Notes Nat. Adv. Comm. Aeronaut.(1950), no. 2058, 58 pp

    1950

  4. [4]

    Bers.Mathematical Aspects of Subsonic and Transonic Gas Dynamics, Surveys in Applied Mathematics, Vol.3

    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. xv+164 pp

    1958

  5. [5]

    G.-Q. Chen, A. Cliffe, F.-M. Huang, S. Liu, and Q. Wang. Global solutions of the two-dimensional Riemann problem with four-shock interactions for the Euler equations for potential flow,J. Eur. Math. Soc.(2026) (to appear), DOI 10.4171/JEMS/1622. arXiv:2305.15224, 2023

    work page doi:10.4171/jems/1622 2026

  6. [6]

    G.-Q. Chen, X. Deng, and W. Xiang. Shock diffraction by convex cornered wedges for the nonlinear wave system,Arch. Ration. Mech. Anal.211(2014), 61–112. 38 G.-Q. CHEN, M. FELDMAN, X. GAO, AND W. XIANG

    2014

  7. [7]

    Chen and M

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

    2010

  8. [8]

    Chen and M

    G.-Q. Chen and M. Feldman. Comparison principles for self-similar potential flow,Proc. Amer. Math. Soc.140(2012), no. 2, 651–663

    2012

  9. [9]

    Chen and M

    G.-Q. Chen and M. Feldman.The Mathematics of Shock Reflection-Diffraction and von Neumann’s Conjectures, Annals of Mathematics Studies,197, Princeton University Press: Princeton, NJ,

  10. [10]

    Chen and M

    G.-Q. Chen and M. Feldman. Multidimensional transonic shock waves and free boundary problems,Bull. Math. Sci.12(2022), no. 1, Paper No. 2230002, 85 pp

    2022

  11. [11]

    G.-Q. Chen, M. Feldman, J. Hu, and W. Xiang. Loss of regularity of solutions of the Lighthill problem for shock diffraction for potential flow,SIAM J. Math. Anal.52(2020), 1096-1114

    2020

  12. [12]

    G.-Q. Chen, M. Feldman, and W. Xiang. Convexity of self-similar transonic shocks and free boundaries for the Euler equations for potential flow,Arch. Ration. Mech. Anal.238(2020), no. 1, 47–124

    2020

  13. [13]

    G.-Q. Chen, M. Feldman, and W. Xiang. Uniquenss and stability of regular shock reflection- diffraction configurations by wedges for potetial flow,Preprint, 2026

    2026

  14. [14]

    S. Chen. Linear approximation of shock reflection at a wedge with large angle,Commun. Partial Diff. Eqs.21(1996), 1103–1118

    1996

  15. [15]

    S. Chen. Mach configuration in pseudo-stationary compressible flow,J. Amer. Math. Soc.21 (2008), 63–100

    2008

  16. [16]

    Chen and C

    S. Chen and C. Yi. Global solutions for supersonic flow past a delta wing,SIAM J. Math. Anal. 47(2015), no. 1, 80–126

    2015

  17. [17]

    Elling and T.-P

    V. Elling and T.-P. Liu. Supersonic flow onto a solid wedge,Comm. Pure Appl. Math.61(2008), 1347–1448

    2008

  18. [18]

    L. C. Evans.Partial Differential Equations, Graduate Studies in Mathematics,19, AMS: Providence, RI, 1998. xviii+662 pp

    1998

  19. [19]

    J. Hu. Loss of regularity of solutions to shock reflection problems by a non-symmetric convex wedge with potential flow equations. arXiv:2103.16459

    work page arXiv

  20. [20]

    Hu and J

    Y. Hu and J. Li. Sonic-supersonic solutions for the two-dimensional steady full Euler equations, Arch. Ration. Mech. Anal.235(2020), 1819–1871

    2020

  21. [21]

    Lai and W

    G. Lai and W. Sheng. Centered wave bubbles with sonic boundary of pseudosteady Guderley Mach reflection configurations in gas dynamics,J. Math. Pures Appl.(9),104(2015), no. 1, 179–206

    2015

  22. [22]

    Li and Y

    M. Li and Y. Zheng. Semi-hyperbolic patches of solutions to the two-dimensional Euler equations, Arch. Ration. Mech. Anal.201(2011), no. 3, 1069–1096

    2011

  23. [23]

    C. S. Morawetz. Potential theory for regular and Mach reflection of a shock at a wedge,Comm. Pure Appl. Math.47(1994), 593–624

    1994

  24. [24]

    K. Song, Q. Wang, and Y. Zheng. The regularity of semihyperbolic patches near sonic lines for the 2-D Euler system in gas dynamics,SIAM J. Math. Anal.47(2015), no. 3, 2200–2219

    2015

  25. [25]

    Wang and Z

    C. Wang and Z. Xin. On sonic curves of smooth subsonic-sonic and transonic flows,SIAM J. Math. Anal.48(2016), no. 4, 2414–2453

    2016

  26. [26]

    Wang and Z

    C. Wang and Z. Xin. Smooth transonic flows of Meyer type in de Laval nozzles,Arch. Ration. Mech. Anal.232(2019), no. 3, 1597–1647

    2019

  27. [27]

    Wang and Z

    C. Wang and Z. Xin. Regular subsonic-sonic flows in general nozzles,Adv. Math.380(2021), Paper No. 107578, 56pp

    2021

  28. [28]

    Y. Zheng. Two-dimensional regular shock reflection for the pressure gradient system of conservation laws,Acta Math. Appl. Sin. Engl. Ser.22(2006), 177–210. GEOMETRIC STRUCTURES OF PSEUDO-SONIC CURVES 39 Gui-Qiang G. Chen: Mathematical Institute, University of Oxford, Oxford, OX2 6GG, UK Email address:gui-qiang.chen@maths.ox.ac.uk Mikhail Feldman: Departme...

    2006