pith. sign in

arxiv: 2603.17739 · v2 · submitted 2026-03-18 · 🧮 math.AP

Global Uniqueness of Subsonic Flows for the Steady Euler-Poisson System

Myoungjean Bae , Ben Duan , Chunjing Xie This is my paper

Pith reviewed 2026-05-15 08:47 UTC · model grok-4.3

classification 🧮 math.AP
keywords Euler-Poisson systemsubsonic flowsglobal uniquenessbounded nozzlesteady flowsmultidimensional flowsenergy estimates
0
0 comments X

The pith

Subsonic flows for the steady Euler-Poisson system in a bounded nozzle are globally unique without small-perturbation restrictions.

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

The paper proves that any two multidimensional subsonic solutions to the steady Euler-Poisson system inside a bounded nozzle must coincide exactly. This global uniqueness result requires no assumption that the flows stay close to some fixed background state. A sympathetic reader would care because it shows the mathematical model selects at most one subsonic regime once boundary conditions are fixed, which clarifies the expected behavior of the system for plasma or charged-fluid flows. The argument proceeds from a convexity property of the subsonic states together with energy estimates that force the difference between any two solutions to vanish.

Core claim

We prove the global uniqueness of multidimensional subsonic flows for the steady Euler-Poisson system in a bounded nozzle in the sense that uniqueness holds without restricting solutions to be small perturbations of a background state. The proof is based on a convexity property of the set of subsonic states and energy estimates.

What carries the argument

The convexity property of the set of subsonic states, which together with energy estimates forces any two subsonic solutions to coincide globally.

If this is right

  • Boundary conditions in the nozzle determine the subsonic flow uniquely.
  • Multiple distinct subsonic regimes cannot coexist under the same data.
  • The uniqueness result applies directly to multidimensional nozzle geometries.
  • No smallness restriction on the solutions is needed for the conclusion to hold.

Where Pith is reading between the lines

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

  • The convexity argument may extend to other steady systems that couple fluid equations to a Poisson field.
  • Numerical schemes for subsonic Euler-Poisson flows could exploit the uniqueness to guarantee convergence to a single solution.
  • Similar global uniqueness statements might be testable in related nozzle problems with different forcing terms or boundary conditions.
  • The result suggests that subsonic regimes are more rigidly determined than supersonic ones under these equations.

Load-bearing premise

The set of subsonic states possesses a convexity property that, together with energy estimates, forces any two subsonic solutions to coincide.

What would settle it

Exhibiting two distinct subsonic solutions in the same bounded nozzle that satisfy identical boundary conditions would disprove the claimed uniqueness.

read the original abstract

We prove the global uniqueness of multidimensional subsonic flows for the steady Euler--Poisson system in a bounded nozzle in the sense that uniqueness holds without restricting solutions to be small perturbations of a background state. The proof is based on a convexity property of the set of subsonic states and energy estimates.

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.

Referee Report

1 major / 1 minor

Summary. The manuscript proves global uniqueness of multidimensional subsonic flows for the steady Euler-Poisson system in a bounded nozzle, without restricting to small perturbations of a background state. The argument subtracts two subsonic solutions, invokes a convexity property of the admissible set to produce a coercive energy identity, and concludes that the solutions coincide.

Significance. If the convexity property holds rigorously in multiple dimensions and the energy estimates close globally while absorbing the Poisson coupling, the result would strengthen the theory of steady subsonic Euler-Poisson flows beyond perturbative regimes. The approach using intrinsic convexity of subsonic states is a potentially reusable technique for systems with nonlocal forcing.

major comments (1)
  1. [energy estimates (as described in abstract)] The abstract states that the proof rests on convexity of subsonic states together with energy estimates, but the integrated energy identity must control the cross term ∫(ρ1−ρ2)(ϕ1−ϕ2) that arises after integration by parts on the Poisson equation −Δϕ=ρ−b(x). No indication is given that this term is absorbed by the convex dissipation or controlled via a maximum principle or weighted estimate that preserves coercivity; this step is load-bearing for the global uniqueness claim.
minor comments (1)
  1. The abstract is terse; a brief sentence clarifying how the Poisson contribution is absorbed in the energy identity would improve readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and the constructive comment on the energy estimates. We address the concern below and will revise the manuscript accordingly to make the absorption of the cross term fully explicit.

read point-by-point responses

  1. Referee: [energy estimates (as described in abstract)] The abstract states that the proof rests on convexity of subsonic states together with energy estimates, but the integrated energy identity must control the cross term ∫(ρ1−ρ2)(ϕ1−ϕ2) that arises after integration by parts on the Poisson equation −Δϕ=ρ−b(x). No indication is given that this term is absorbed by the convex dissipation or controlled via a maximum principle or weighted estimate that preserves coercivity; this step is load-bearing for the global uniqueness claim.

    Authors: We agree that explicit control of the cross term is essential. In the current manuscript the convexity of the subsonic set is used to obtain a coercive quadratic form from the subtracted Euler equations; after integration by parts on the Poisson equation the cross term appears with the opposite sign. Under the subsonic condition the density difference can be expressed in terms of the velocity difference via the Bernoulli relation, allowing the cross term to be absorbed by a combination of the convex dissipation term and a weighted L^2 estimate on the potential difference (using the maximum principle for the elliptic equation satisfied by ϕ1−ϕ2). The resulting energy identity is then strictly positive and yields uniqueness. The presentation in Section 3 was concise and did not spell out this absorption step in full detail. In the revised version we will insert a short lemma immediately after the energy identity that derives the bound |∫(ρ1−ρ2)(ϕ1−ϕ2)| ≤ (1/2)∫|u1−u2|^2 + C∫|∇(ϕ1−ϕ2)|^2 with the constant absorbed into the coercive term, thereby preserving global coercivity without smallness assumptions. revision: yes

Circularity Check

0 steps flagged

No circularity: direct proof via convexity and energy estimates

full rationale

The paper establishes global uniqueness for subsonic solutions of the steady Euler-Poisson system by invoking a convexity property of the admissible set together with standard energy estimates. No parameter is fitted to data and then relabeled as a prediction, no self-citation supplies a load-bearing uniqueness theorem, and the convexity statement is not defined in terms of the target uniqueness result. The derivation therefore remains self-contained against external benchmarks and does not reduce to its own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The proof relies on two domain-specific properties whose verification is not visible from the abstract: convexity of the subsonic state set and the validity of the energy estimates for the Euler-Poisson system in the nozzle geometry.

axioms (2)
  • domain assumption The set of subsonic states is convex
    Invoked as the key structural property enabling the uniqueness argument.
  • standard math Energy estimates control differences between subsonic solutions
    Standard technique in PDE theory for hyperbolic or elliptic systems; assumed to close globally here.

pith-pipeline@v0.9.0 · 5333 in / 1277 out tokens · 39590 ms · 2026-05-15T08:47:30.954295+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

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

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

18 extracted references · 18 canonical work pages

  1. [1]

    Ascher, Peter A

    Uri M. Ascher, Peter A. Markowich, Paola Pietra, and Christian 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]

    Subsonic solutions for steady Euler-Poisson system in two-dimensional nozzles.SIAM J

    Myoungjean Bae, Ben Duan, and Chunjing Xie. Subsonic solutions for steady Euler-Poisson system in two-dimensional nozzles.SIAM J. Math. Anal., 46(5):3455–3480, 2014

    work page 2014

  3. [3]

    Two-dimensional subsonic flows with self- gravitation in bounded domain.Math

    Myoungjean Bae, Ben Duan, and Chunjing Xie. Two-dimensional subsonic flows with self- gravitation in bounded domain.Math. Models Methods Appl. Sci., 25(14):2721–2747, 2015

    work page 2015

  4. [4]

    Subsonic flow for the multidimensional Euler- Poisson system.Arch

    Myoungjean Bae, Ben Duan, and Chunjing Xie. Subsonic flow for the multidimensional Euler- Poisson system.Arch. Ration. Mech. Anal., 220(1):155–191, 2016

    work page 2016

  5. [5]

    3-D axisymmetric subsonic flows with nonzero swirl for the compressible Euler-Poisson system.Ann

    Myoungjean Bae and Shangkun Weng. 3-D axisymmetric subsonic flows with nonzero swirl for the compressible Euler-Poisson system.Ann. Inst. H. Poincar´ e C Anal. Non Lin´ eaire, 35(1):161–186, 2018

    work page 2018

  6. [6]

    Paths to uniqueness of critical points and applications to partial differential equations.Trans

    Denis Bonheure, Juraj F¨ oldes, Ederson Moreira dos Santos, Alberto Salda˜ na, and Hugo Tavares. Paths to uniqueness of critical points and applications to partial differential equations.Trans. Amer. Math. Soc., 370(10):7081–7127, 2018

    work page 2018

  7. [7]

    Solutions of Euler-Poisson equations for gaseous stars.Arch

    Yinbin Deng, Tai-Ping Liu, Tong Yang, and Zheng-an Yao. Solutions of Euler-Poisson equations for gaseous stars.Arch. Ration. Mech. Anal., 164(3):261–285, 2002

    work page 2002

  8. [8]

    Multiplicity of stationary solutions to the Euler-Poisson equations

    Yinbin Deng and Tong Yang. Multiplicity of stationary solutions to the Euler-Poisson equations. J. Differential Equations, 231(1):252–289, 2006

    work page 2006

  9. [9]

    Stationary transonic solutions of a one-dimensional hydrodynamic model for semiconductors.Comm

    Irene Mart´ ınez Gamba. Stationary transonic solutions of a one-dimensional hydrodynamic model for semiconductors.Comm. Partial Differential Equations, 17(3-4):553–577, 1992

    work page 1992

  10. [10]

    Strauss, and Yilun Wu

    Juhi Jang, Walter A. Strauss, and Yilun Wu. Existence of rotating stars with variable entropy. SIAM J. Math. Anal., 55(4):2704–2739, 2023

    work page 2023

  11. [11]

    Euler-Poisson equations related to general compressible rotating fluids.Discrete Contin

    Haigang Li and Jiguang Bao. Euler-Poisson equations related to general compressible rotating fluids.Discrete Contin. Dyn. Syst., 29(3):1085–1096, 2011

    work page 2011

  12. [12]

    Stability of transonic shock solutions for one-dimensional Euler-Poisson equations.Arch

    Tao Luo, Jeffrey Rauch, Chunjing Xie, and Zhouping Xin. Stability of transonic shock solutions for one-dimensional Euler-Poisson equations.Arch. Ration. Mech. Anal., 202(3):787–827, 2011

    work page 2011

  13. [13]

    Rotating fluids with self-gravitation in bounded domains.Arch

    Tao Luo and Joel Smoller. Rotating fluids with self-gravitation in bounded domains.Arch. Ration. Mech. Anal., 173(3):345–377, 2004

    work page 2004

  14. [14]

    Existence and non-linear stability of rotating star solutions of the compressible Euler-Poisson equations.Arch

    Tao Luo and Joel Smoller. Existence and non-linear stability of rotating star solutions of the compressible Euler-Poisson equations.Arch. Ration. Mech. Anal., 191(3):447–496, 2009

    work page 2009

  15. [15]

    Transonic shock solutions for a system of Euler-Poisson equations

    Tao Luo and Zhouping Xin. Transonic shock solutions for a system of Euler-Poisson equations. Commun. Math. Sci., 10(2):419–462, 2012

    work page 2012

  16. [16]

    Existence of rotating planet solutions to the Euler-Poisson equations with an inner hard core.Arch

    Yilun Wu. Existence of rotating planet solutions to the Euler-Poisson equations with an inner hard core.Arch. Ration. Mech. Anal., 219(1):1–26, 2016

    work page 2016

  17. [17]

    Global uniqueness of steady subsonic Euler flows in three-dimensional ducts.Appl

    Gang Xu and Hairong Yuan. Global uniqueness of steady subsonic Euler flows in three-dimensional ducts.Appl. Anal., 97(16):2818–2829, 2018

    work page 2018

  18. [18]

    Variational rotating solutions to non-isentropic Euler-Poisson equations with prescribed total mass.Sci

    Yuan Yuan. Variational rotating solutions to non-isentropic Euler-Poisson equations with prescribed total mass.Sci. China Math., 65(10):2061–2078, 2022. 28 MYOUNGJEAN BAE, BEN DUAN, AND CHUNJING XIE Department of Mathematical Sciences, KAIST, 291 Daehak-ro, Yuseong-gu, Daejeon, 43141, Korea Email address:mjbae@kaist.ac.kr School of Mathematics, Jilin Univ...

    work page 2061