Supersonic Euler-Poisson flows with nonzero vorticity in convergent nozzles

Yuanyuan Xing; Zihao Zhang

arxiv: 2507.03896 · v2 · submitted 2025-07-05 · 🧮 math.AP

Supersonic Euler-Poisson flows with nonzero vorticity in convergent nozzles

Yuanyuan Xing , Zihao Zhang This is my paper

Pith reviewed 2026-05-19 06:53 UTC · model grok-4.3

classification 🧮 math.AP

keywords supersonic Euler-Poisson flowsnonzero vorticityconvergent nozzlesstructural stabilitydeformation-curl-Poisson decompositionelectric potentialhyperbolic-elliptic system

0 comments

The pith

Electric field forces stabilize supersonic flows with nonzero vorticity in convergent nozzles against boundary perturbations.

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

The paper proves the existence of radially symmetric supersonic flows governed by the steady Euler-Poisson system with nonzero vorticity by applying a coordinate rotation. It then demonstrates the structural stability of these flows when the boundary conditions are subjected to small multi-dimensional perturbations. This matters because it shows how the electric potential can counteract the destabilizing geometric effects of a convergent nozzle, preserving key flow characteristics even with vorticity. The proof hinges on reformulating the system into a deformation-curl-Poisson form along with transport equations and establishing well-posedness for the associated linearized hyperbolic-elliptic coupled system using a carefully chosen multiplier for estimates.

Core claim

By the coordinate rotation, the existence of radially symmetric supersonic flows is proved for the steady Euler-Poisson system with nonzero vorticity in convergent nozzles. The structural stability of these background flows is then established under multi-dimensional perturbations of the boundary conditions. This is achieved through the reformulation into a deformation-curl-Poisson system and several transport equations, followed by proving the well-posedness of the boundary value problem for the linearized hyperbolic-elliptic coupled system via a delicate choice of multiplier to derive a priori estimates. The result indicates that the electric field force can counteract the geometric effets

What carries the argument

The deformation-curl-Poisson decomposition, which recasts the steady Euler-Poisson system as a deformation-curl-Poisson system plus transport equations to handle nonzero vorticity.

If this is right

Radially symmetric supersonic flows exist and serve as stable backgrounds for the Euler-Poisson system in convergent nozzles.
Small multi-dimensional changes to boundary conditions preserve the supersonic nature and structural features of the flow.
The electric potential provides a stabilizing effect that offsets the convergence of the nozzle geometry.
The linearized system admits unique solutions, supporting the nonlinear stability result.

Where Pith is reading between the lines

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

The approach might extend to unsteady or time-dependent Euler-Poisson flows with similar stability properties.
Similar reformulations could be useful for analyzing stability in other plasma or charged fluid models.
Numerical simulations with specific nozzle shapes could verify the range of perturbations where stability holds.
Connections to stability results in pure Euler flows without the Poisson term may reveal the specific role of the electric field.

Load-bearing premise

The reformulation of the steady Euler-Poisson system into a deformation-curl-Poisson system and several transport equations remains valid and well-posed for the supersonic regime with nonzero vorticity under the given nozzle geometry.

What would settle it

A concrete counterexample where a small multi-dimensional perturbation to the boundary conditions causes the supersonic flow to develop shocks or lose radial symmetry would falsify the structural stability.

read the original abstract

This paper concerns supersonic flows with nonzero vorticity governed by the steady Euler-Poisson system, under the coupled effects of the electric potential and the geometry of a convergent nozzle. By the coordinate rotation, the existence of radially symmetric supersonic flows is proved. We then establish the structural stability of these background supersonic flows under multi-dimensional perturbations of the boundary conditions. One of the crucial ingredients of the analysis is the reformulation of the steady Euler-Poisson system into a deformation-curl-Poisson system and several transport equations via the deformation-curl-Poisson decomposition. Another one is to obtain the well-posedness of the boundary value problem for the associated linearized hyperbolic-elliptic coupled system, which is achieved through a delicate choice of multiplier to derive a priori estimates. The result indicates that the electric field force in compressible flows can counteract the geometric effects of the convergent nozzle and thereby stabilize key physical features of the flow.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

They prove existence of radially symmetric supersonic Euler-Poisson flows and their structural stability with nonzero vorticity in convergent nozzles, using a deformation-curl-Poisson reformulation plus multiplier estimates.

read the letter

The main takeaway is that the paper establishes both the existence of radially symmetric supersonic background solutions and their structural stability under small multi-dimensional boundary perturbations, all while allowing nonzero vorticity. This extends earlier results that were limited to irrotational or symmetric cases. They first use a coordinate rotation to construct the background flows, then rewrite the steady Euler-Poisson system as a deformation-curl-Poisson system coupled to transport equations for vorticity and entropy. The linearized problem is treated as a hyperbolic-elliptic coupling, and a multiplier yields the a priori estimates that close the well-posedness argument. The electric field is shown to offset the destabilizing effect of the convergent geometry, which is a clean physical conclusion from the analysis. The reformulation appears independent of the final result and avoids obvious circularity. The argument is coherent on its face and the strategy is a reasonable way to handle the vorticity without collapsing to the zero-vorticity setting. The soft spot is the preservation of the correct characteristic structure. The stress-test note correctly flags that adding vorticity in the supersonic regime could in principle alter the principal symbol or weaken uniform ellipticity of the Poisson part. The abstract claims the estimates work, so the authors presumably verify that the background flow keeps the symbol non-degenerate and that the constants remain uniform for small perturbations. If that verification is only at the linear level or requires extra smallness on the vorticity that is not stated clearly, the stability statement would be narrower than it first appears. That is a standard detail to check rather than a fatal gap. This paper is for specialists in hyperbolic-elliptic systems for compressible flows with electromagnetic coupling. Readers who already know the irrotational nozzle literature will see the precise extension and can judge how much the new decomposition buys them. It is worth sending to a serious referee because the result is new, the outline is plausible, and the estimates are the part that needs external verification.

Referee Report

1 major / 2 minor

Summary. The paper proves existence of radially symmetric supersonic solutions to the steady Euler-Poisson system inside a convergent nozzle by means of a coordinate rotation that reduces the problem to a one-dimensional ODE. It then establishes structural stability of these background flows under small multi-dimensional perturbations of the boundary data. The proof proceeds by rewriting the system as a deformation-curl-Poisson system coupled to transport equations for vorticity and entropy, followed by a multiplier-based a priori estimate that yields well-posedness for the linearized hyperbolic-elliptic boundary-value problem.

Significance. If the estimates close, the result is significant because it extends the theory of supersonic Euler-Poisson flows from the irrotational or zero-vorticity setting to the case of nonzero vorticity while showing that the electric force can offset the destabilizing effect of nozzle convergence. The deformation-curl-Poisson decomposition and the explicit multiplier construction constitute concrete technical advances that may be reusable for related hyperbolic-elliptic systems.

major comments (1)

[Reformulation and linearization (around §3–4)] The central stability claim rests on the assertion that the linearized operator remains hyperbolic-elliptic after the deformation-curl-Poisson reformulation when vorticity is nonzero. An explicit verification that the principal symbol of the transport equations for vorticity and entropy retains the correct characteristic structure (no zero eigenvalues or change of type) under the given supersonic background flow would be required to confirm that the multiplier estimate closes without additional restrictions on the data.

minor comments (2)

[Introduction and conclusion] The abstract states that the electric field 'counteracts' the geometric effect; a quantitative statement of this compensation (e.g., a relation between the electric potential strength and the nozzle convergence rate) would make the physical conclusion sharper.
[Preliminaries] Notation for the deformation tensor and the curl operator should be introduced with a short table or diagram to avoid ambiguity when the system is rewritten in the new coordinates.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and constructive feedback on our manuscript. We address the major comment below and will revise the paper to incorporate an explicit verification as suggested.

read point-by-point responses

Referee: [Reformulation and linearization (around §3–4)] The central stability claim rests on the assertion that the linearized operator remains hyperbolic-elliptic after the deformation-curl-Poisson reformulation when vorticity is nonzero. An explicit verification that the principal symbol of the transport equations for vorticity and entropy retains the correct characteristic structure (no zero eigenvalues or change of type) under the given supersonic background flow would be required to confirm that the multiplier estimate closes without additional restrictions on the data.

Authors: We appreciate the referee's suggestion to make the characteristic analysis more explicit. The transport equations for vorticity and entropy take the form of directional derivatives along the background velocity field u_b, which is radially symmetric and supersonic by construction in §3. The principal symbol of the linearized transport operators is therefore given by the scalar u_b · ξ for each equation, where ξ denotes the cotangent variable. Because the background flow satisfies |u_b| > c (sound speed) throughout the convergent nozzle and has strictly positive radial component, this symbol has no zero eigenvalues and the equations remain strictly hyperbolic. The deformation-curl-Poisson part retains its elliptic character under the same supersonic condition, so the overall linearized system stays hyperbolic-elliptic. To address the request directly, we will add a short lemma in the revised §4 that computes the principal symbol matrix explicitly and verifies the absence of zero eigenvalues or type change, without imposing further restrictions on the perturbation data. revision: yes

Circularity Check

0 steps flagged

No circularity: derivation uses original reformulation and fresh estimates

full rationale

The paper's central steps consist of a coordinate rotation to obtain radially symmetric supersonic flows and a new deformation-curl-Poisson decomposition that converts the steady Euler-Poisson system into a coupled hyperbolic-elliptic system plus transport equations. Well-posedness of the linearized problem is then obtained via a multiplier chosen to close a priori estimates. None of these steps reduce by definition or by self-citation to the target existence or stability statements; the reformulation is presented as an original ingredient rather than a renaming or a fitted input. The argument chain is therefore self-contained against external benchmarks and receives the default non-circularity finding.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper rests on standard domain assumptions for the supersonic regime and nozzle geometry together with the validity of the chosen decomposition; no free parameters or new physical entities are introduced.

axioms (1)

domain assumption The flow remains supersonic with nonzero vorticity inside a convergent nozzle whose geometry permits the coordinate rotation to preserve the system structure.
This setting is required for the existence statement and the subsequent linearization to be well-posed.

pith-pipeline@v0.9.0 · 5683 in / 1279 out tokens · 30540 ms · 2026-05-19T06:53:21.925904+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

well-posedness of the boundary value problem for the associated linearized hyperbolic-elliptic coupled system, which is achieved through a delicate choice of multiplier to derive a priori estimates

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

30 extracted references · 30 canonical work pages · 1 internal anchor

[1]

U. M. Ascher, P. A. Markowich, P. Pietra, C. Schmeiser, A phase plane analysis of transonic solutions for the hydrodynamic semiconductor model, Math. Models Methods Appl. Sci., 1(3): 347-376, 1991

work page 1991
[2]

M. Bae, B. Duan, J. J. Xiao, C. J. Xie, Structural stability of supersonic solutions to the Euler- Poisson system, Arch. Ration. Mech. Anal., 239(2): 679-731, 2021

work page 2021
[3]

M. Bae, B. Duan, C. J. Xie, Subsonic solutions for steady Euler-Poisson system in two- dimensional nozzles, SIAM J. Math. Anal., 46(5): 3455-3480, 2014

work page 2014
[4]

M. Bae, B. Duan, C. J. Xie, Subsonic flow for the multidimensional Euler-Poisson system, Arch. Ration. Mech. Anal., 220(1): 155-191, 2016

work page 2016
[5]

M. Bae, B. Duan, C. J. Xie, Two-dimensional subsonic flows with self-gravitation in bounded domain, Math. Models Methods Appl. Sci., 25(14): 2721-2747, 2015

work page 2015
[6]

M. Bae, B. Duan, C.J. Xie, Classical solutions to a mixed-type PDE with a Keldysh-type degen- eracy and accelerating transonic solutions to the Euler-Poisson system, arXiv:2505.16354

work page arXiv
[7]

M. Bae, H. Park, Three-dimensional supersonic flows of Euler-Poisson system for potential flow, Commun. Pure Appl. Anal., 20(7-8): 2421-2440, 2021

work page 2021
[8]

M. Bae, Y . Park,Radial transonic shock solutions of Euler-Poisson system in convergent nozzles, Discrete Contin. Dyn. Syst. Ser. S, 11(5): 773-791, 2018

work page 2018
[9]

M. Bae, S. K. Weng, 3-D axisymmetric subsonic flows with nonzero swirl for the compressible Euler-Poisson system, Ann. Inst. H. Poincar´e C Anal. Non Linaire 35(1): 161-186, 2018. Supersonic Euler-Poisson flows with nonzero vorticity 33

work page 2018
[10]

Y . Cao, Y . Y . Xing,Subsonic Euler-Poisson flows with self-gravitation in an annulus, J. Differ- ential Equations, 411: 90-118, 2024

work page 2024
[11]

D. P. Chen, R. S. Eisenberg, J. W. Jerome, C.W. Shu, A hydrodynamic model of temperature change in open ionic channels, Biophys. J., 69: 2304-2322, 1995

work page 1995
[12]

B. Duan, C. P. Wang, Y . Y . Xing,Supersonic Euler-Poisson flows in divergent nozzles, J. Differ- ential Equations, 371: 598-628, 2023

work page 2023
[13]

B. Duan, Z. Luo, C. P. Wang, Structural stability of non-isentropic Euler-Poisson system for gaseous stars, J. Differential Equations, 417: 105-131, 2025

work page 2025
[14]

Degond, P

P. Degond, P. A. Markowich, On a one-dimensional steady-state hydrodynamic model for semi- conductors, Appl. Math. Lett., 3(3): 25-29, 1990

work page 1990
[15]

Degond, P

P. Degond, P. A. Markowich, A steady state potential flow model for semiconductors, Ann. Mat. Pura Appl., 165(4): 87-98, 1993

work page 1993
[16]

Gamba, Stationary transonic solutions of a one-dimensional hydrodynamic model for semi- conductors, Comm

I.M. Gamba, Stationary transonic solutions of a one-dimensional hydrodynamic model for semi- conductors, Comm. Partial Differential Equations, 17(3-4): 553-577, 1992

work page 1992
[17]

Gilbarg, N

D. Gilbarg, N. S. Trudinger, Elliptic partial differential equations of second order, Grundlehren Math. Wiss., Springer, Berlin, 224, 1998

work page 1998
[18]

Y . Guo, W. Strauss, Stability of semiconductor states with insulating and contact boundary conditions, Arch. Ration. Mech. Anal., 179(1): 1-30, 2006

work page 2006
[19]

T. P. Liu, Nonlinear stability and instability of transonic flows through a nozzle , Comm. Math. Phys., 83(2): 243-260, 1982

work page 1982
[20]

T. Luo, Z. P. Xin, Transonic shock solutions for a system of Euler-Poisson equations, Commun. Math. Sci., 10(2): 419-462, 2012

work page 2012
[21]

T. Luo, J. Rauch, C. J. Xie, Z. P. Xin, Stability of transonic shock solutions for one-dimensional Euler-Poisson equations, Arch. Ration. Mech. Anal., 2011, 202(3): 787-827

work page 2011
[22]

P. A. Markowich, On steady state Euler-Poisson models for semiconductors , Z. Angew. Math. Phys., 42(3): 389-407, 1991

work page 1991
[23]

P. A. Markowich, C. A. Ringhofer, C. Schmeiser, Semiconductor Equations, Springer Verlag, Vienna, 1990

work page 1990
[24]

M. D. Rosini, A phase analysis of transonic solutions for the hydrodynamic semiconductor model, Quart. Appl. Math., 63(2): 251-268, 2005

work page 2005
[25]

C. P. Wang, Z. H. Zhang, Structural stability of smooth axisymmetric subsonic spiral flows with self-gravitation in a concentric cylinder, J. Differential Equations 438: 113356, 2025

work page 2025
[26]

C. P. Wang, Z. H. Zhang, Structural stability of cylindrical supersonic solutions to the steady Euler-Poisson system. Accepted by Journal of the London Mathematical Society. Supersonic Euler-Poisson flows with nonzero vorticity 34

work page
[27]

C. P. Wang, Z. H. Zhang, Structural stability of supersonic spiral flows with large angular velocity for the Euler-Poisson system, arXiv:2505.12195

work page arXiv
[28]

S. K. Weng, A deformation-curl-Poisson decomposition to the three dimensional steady Euler- Poisson system with applications, J. Differential Equations, 267(11): 6574-6603, 2019

work page 2019
[29]

Y . Y . Xing, Z. H. Zhang, Subsonic Euler-Poisson flows with nonzero vorticity in convergent nozzles, arXiv:2505.19032

work page internal anchor Pith review Pith/arXiv arXiv
[30]

L. M. Yeh, On a steady state Euler-Poisson model for semiconductors, Comm. Partial Differen- tial Equations, 21(7-8), 1007-1034, 1996

work page 1996

[1] [1]

U. M. Ascher, P. A. Markowich, P. Pietra, C. Schmeiser, A phase plane analysis of transonic solutions for the hydrodynamic semiconductor model, Math. Models Methods Appl. Sci., 1(3): 347-376, 1991

work page 1991

[2] [2]

M. Bae, B. Duan, J. J. Xiao, C. J. Xie, Structural stability of supersonic solutions to the Euler- Poisson system, Arch. Ration. Mech. Anal., 239(2): 679-731, 2021

work page 2021

[3] [3]

M. Bae, B. Duan, C. J. Xie, Subsonic solutions for steady Euler-Poisson system in two- dimensional nozzles, SIAM J. Math. Anal., 46(5): 3455-3480, 2014

work page 2014

[4] [4]

M. Bae, B. Duan, C. J. Xie, Subsonic flow for the multidimensional Euler-Poisson system, Arch. Ration. Mech. Anal., 220(1): 155-191, 2016

work page 2016

[5] [5]

M. Bae, B. Duan, C. J. Xie, Two-dimensional subsonic flows with self-gravitation in bounded domain, Math. Models Methods Appl. Sci., 25(14): 2721-2747, 2015

work page 2015

[6] [6]

M. Bae, B. Duan, C.J. Xie, Classical solutions to a mixed-type PDE with a Keldysh-type degen- eracy and accelerating transonic solutions to the Euler-Poisson system, arXiv:2505.16354

work page arXiv

[7] [7]

M. Bae, H. Park, Three-dimensional supersonic flows of Euler-Poisson system for potential flow, Commun. Pure Appl. Anal., 20(7-8): 2421-2440, 2021

work page 2021

[8] [8]

M. Bae, Y . Park,Radial transonic shock solutions of Euler-Poisson system in convergent nozzles, Discrete Contin. Dyn. Syst. Ser. S, 11(5): 773-791, 2018

work page 2018

[9] [9]

M. Bae, S. K. Weng, 3-D axisymmetric subsonic flows with nonzero swirl for the compressible Euler-Poisson system, Ann. Inst. H. Poincar´e C Anal. Non Linaire 35(1): 161-186, 2018. Supersonic Euler-Poisson flows with nonzero vorticity 33

work page 2018

[10] [10]

Y . Cao, Y . Y . Xing,Subsonic Euler-Poisson flows with self-gravitation in an annulus, J. Differ- ential Equations, 411: 90-118, 2024

work page 2024

[11] [11]

D. P. Chen, R. S. Eisenberg, J. W. Jerome, C.W. Shu, A hydrodynamic model of temperature change in open ionic channels, Biophys. J., 69: 2304-2322, 1995

work page 1995

[12] [12]

B. Duan, C. P. Wang, Y . Y . Xing,Supersonic Euler-Poisson flows in divergent nozzles, J. Differ- ential Equations, 371: 598-628, 2023

work page 2023

[13] [13]

B. Duan, Z. Luo, C. P. Wang, Structural stability of non-isentropic Euler-Poisson system for gaseous stars, J. Differential Equations, 417: 105-131, 2025

work page 2025

[14] [14]

Degond, P

P. Degond, P. A. Markowich, On a one-dimensional steady-state hydrodynamic model for semi- conductors, Appl. Math. Lett., 3(3): 25-29, 1990

work page 1990

[15] [15]

Degond, P

P. Degond, P. A. Markowich, A steady state potential flow model for semiconductors, Ann. Mat. Pura Appl., 165(4): 87-98, 1993

work page 1993

[16] [16]

Gamba, Stationary transonic solutions of a one-dimensional hydrodynamic model for semi- conductors, Comm

I.M. Gamba, Stationary transonic solutions of a one-dimensional hydrodynamic model for semi- conductors, Comm. Partial Differential Equations, 17(3-4): 553-577, 1992

work page 1992

[17] [17]

Gilbarg, N

D. Gilbarg, N. S. Trudinger, Elliptic partial differential equations of second order, Grundlehren Math. Wiss., Springer, Berlin, 224, 1998

work page 1998

[18] [18]

Y . Guo, W. Strauss, Stability of semiconductor states with insulating and contact boundary conditions, Arch. Ration. Mech. Anal., 179(1): 1-30, 2006

work page 2006

[19] [19]

T. P. Liu, Nonlinear stability and instability of transonic flows through a nozzle , Comm. Math. Phys., 83(2): 243-260, 1982

work page 1982

[20] [20]

T. Luo, Z. P. Xin, Transonic shock solutions for a system of Euler-Poisson equations, Commun. Math. Sci., 10(2): 419-462, 2012

work page 2012

[21] [21]

T. Luo, J. Rauch, C. J. Xie, Z. P. Xin, Stability of transonic shock solutions for one-dimensional Euler-Poisson equations, Arch. Ration. Mech. Anal., 2011, 202(3): 787-827

work page 2011

[22] [22]

P. A. Markowich, On steady state Euler-Poisson models for semiconductors , Z. Angew. Math. Phys., 42(3): 389-407, 1991

work page 1991

[23] [23]

P. A. Markowich, C. A. Ringhofer, C. Schmeiser, Semiconductor Equations, Springer Verlag, Vienna, 1990

work page 1990

[24] [24]

M. D. Rosini, A phase analysis of transonic solutions for the hydrodynamic semiconductor model, Quart. Appl. Math., 63(2): 251-268, 2005

work page 2005

[25] [25]

C. P. Wang, Z. H. Zhang, Structural stability of smooth axisymmetric subsonic spiral flows with self-gravitation in a concentric cylinder, J. Differential Equations 438: 113356, 2025

work page 2025

[26] [26]

C. P. Wang, Z. H. Zhang, Structural stability of cylindrical supersonic solutions to the steady Euler-Poisson system. Accepted by Journal of the London Mathematical Society. Supersonic Euler-Poisson flows with nonzero vorticity 34

work page

[27] [27]

C. P. Wang, Z. H. Zhang, Structural stability of supersonic spiral flows with large angular velocity for the Euler-Poisson system, arXiv:2505.12195

work page arXiv

[28] [28]

S. K. Weng, A deformation-curl-Poisson decomposition to the three dimensional steady Euler- Poisson system with applications, J. Differential Equations, 267(11): 6574-6603, 2019

work page 2019

[29] [29]

Y . Y . Xing, Z. H. Zhang, Subsonic Euler-Poisson flows with nonzero vorticity in convergent nozzles, arXiv:2505.19032

work page internal anchor Pith review Pith/arXiv arXiv

[30] [30]

L. M. Yeh, On a steady state Euler-Poisson model for semiconductors, Comm. Partial Differen- tial Equations, 21(7-8), 1007-1034, 1996

work page 1996