Isothermal Euler–Poisson System
- The isothermal Euler–Poisson system is a compressible fluid model that couples Euler dynamics with a Poisson field using the isothermal closure p(ρ)=cₛ²ρ.
- It appears in diverse formulations—including single-fluid, ion-acoustic, and two-fluid models—with distinct sign conventions affecting dispersion and stability.
- The system supports rigorous analyses ranging from global existence and Klein–Gordon-type dispersion to singular limits, asymptotic reductions, and solitary wave stability.
The isothermal Euler–Poisson system is a class of compressible fluid models in which Euler dynamics is coupled to a Poisson field and the pressure law is isothermal, . In plasma formulations, the Poisson equation describes electrostatic self-consistency and the isothermal law produces the logarithmic force in nonconservative variables; in astrophysical formulations, the same Euler–Poisson structure appears with the opposite, attractive Poisson sign and models self-gravitating gases. The literature therefore does not use a single canonical equation, but rather several closely related systems: single-fluid electron models with an immobile ion background, ion-acoustic models with Boltzmann electrons, two-fluid electrostatic plasma models, damped periodic models, and self-gravitating isothermal flows (Li et al., 2011, Makino, 2017).
1. Model classes, closures, and sign conventions
The basic isothermal closure is
and this closure is explicitly identified in the two-dimensional Euler–Poisson analysis of Li and Wu, which also notes that the same global theory applies to after normalization (Li et al., 2011). In the electron-fluid plasma model with a uniform immobile ion background of density , the governing equations before normalization are
together with the neutrality condition (Li et al., 2011).
A second standard formulation is the ion-acoustic model with Boltzmann electrons. In the one-dimensional nondimensional isothermal Euler–Poisson system studied for solitary-wave stability,
where , $1+n$ is the ion density, and the far-field equilibrium is 0 (Bae et al., 2020). Closely related one-dimensional ion-acoustic models also appear in the small-amplitude solitary-wave and KdV-limit analyses, with the nondimensional equations
1
where 2 and the equilibrium is 3, 4, 5 (Bae et al., 2018).
A third formulation is the electrostatic two-fluid model. In normalized variables around a neutral constant background, the isothermal two-fluid Euler–Poisson system in three dimensions is
6
7
with 8 in the isothermal interpretation and irrotational initial data 9 (Guo et al., 2013).
Boundary-value and quasineutral studies usually employ the ion formulation with massless Boltzmann electrons. In the half-space 0, Gérard-Varet, Han-Kwan, and Rousset write
1
with impermeability 2 and Dirichlet data 3 (Gérard-Varet et al., 2011).
In astrophysical usage the sign of Poisson coupling is reversed. Makino’s coordinate derivations use
4
with the isothermal equation of state 5 (Makino, 2017). In the spherically symmetric exterior-domain problem of Li, Li, and Zhu, the normalized self-gravitating system is
6
with 7 (Liu, 2023). A common misconception is that all Euler–Poisson papers study the same sign convention; the literature instead separates repulsive plasma models from attractive self-gravitating ones, and their stability mechanisms differ accordingly (Li et al., 2011).
2. Linearization, dispersion, and normal forms
For the repulsive plasma problem, linearization around a homogeneous equilibrium often produces a Klein–Gordon or Klein–Gordon-type structure. In the two-dimensional electron-fluid model, after normalization and irrotational reduction 8, Li and Wu introduce
9
so that the linear flow is
0
The Klein–Gordon mass is normalized to 1, the linear decay in two dimensions is 2, and the quadratic phase
3
has no exact time resonance, which makes a Shatah-type normal form possible (Li et al., 2011). Jang, Li, and Zhang formulate the same two-dimensional problem as a quasi-linear Klein–Gordon system
4
with nonlocal quadratic terms coming from Poisson coupling and with the same nonintegrable 5 decay as the principal obstruction (Jang et al., 2011).
Not all isothermal Euler–Poisson dispersions are Klein–Gordon in the strict sense. In the three-dimensional ion model with Boltzmann electrons, Guo and Pausader derive the linearized scalar equation
6
whose Fourier frequency is
7
This dispersion is wave-like at high frequency, nondegenerate at low frequency, and has an inflection point in 8; the corresponding linear group satisfies 9 decay 0 and 1 decay 2 in the norms used in the paper (Guo et al., 2010).
For the three-dimensional two-fluid isothermal system, Ionescu and Lie diagonalize the irrotational linearized equations into two dispersive modes 3 and 4 with dispersion relations 5 and 6. Both are Klein–Gordon-type in the sense that 7 as 8, and the linear decay is 9 in 0 in three dimensions. Their nonlinear analysis further isolates null-type cancellations in the ion mode and classifies bilinear resonances into several cases, including a strong low-frequency degeneracy for the ion-like dispersion that is compensated by derivative structure (Guo et al., 2013).
A recurring analytical point is therefore that the isothermal law does not determine the dispersive class by itself. In the electron-fluid model with immobile ions, Poisson coupling produces an exact Klein–Gordon mass term after normalization; in ion-acoustic and two-fluid models, the resulting dispersions are more varied, but still sufficiently structured to permit normal forms, resonance analysis, or asymptotic reductions (Li et al., 2011, Guo et al., 2010).
3. Cauchy theory: global existence, scattering, and damping
The most complete small-data result in two dimensions is Li and Wu’s solution of the full small irrotational Cauchy problem for the repulsive Euler–Poisson system. For 1, 2, and 3, they define a control norm 4 combining high Sobolev regularity, weighted dispersive bounds, and an 5 component. If
6
then there is a unique global smooth solution
7
with 8, and there exists 9 such that 0 in 1. The method combines diagonalization, normal forms converting quadratic interactions into cubic ones, hidden-derivative identities, phase-derivative transformations, multiscale frequency decompositions, and Coifman–Meyer control of the nonlocal Riesz multipliers. The paper states explicitly that the analysis extends to arbitrary 2, including the isothermal case 3 (Li et al., 2011).
An earlier two-dimensional result by Jang, Li, and Zhang constructed global smooth solutions in a final-data formulation. Their analysis subtracts a resonant correction built from the linear self-interaction, localizes the quasi-linear part in time, and then uses a modified energy scheme with an infinite-time Gronwall argument. The paper emphasizes that the same quasi-linear Klein–Gordon mechanism persists under the isothermal specialization 4 (Jang et al., 2011).
In three dimensions, the isothermal two-fluid problem admits a global small-data theory for localized irrotational perturbations of a neutral background. Theorem D.1 of Ionescu and Lie fixes 5, 6, and assumes
7
together with 8. The resulting solution is global in 9, remains irrotational for all time, and satisfies the decay estimate
0
together with scattering in the diagonalized variables (Guo et al., 2013).
For the three-dimensional ion-acoustic system with Boltzmann electrons, Guo and Pausader prove global smooth irrotational small-amplitude solutions in Sobolev spaces 1, 2. Their proof relies on a normal form with singular phase denominators, refined bilinear multiplier estimates, and an energy functional augmented by an 3-component to absorb the most singular normal-form contribution (Guo et al., 2010).
These dispersive small-data theories do not exhaust the isothermal regime. On the periodic torus 4, 5, the damped isothermal Euler–Poisson system
6
admits unique global smooth solutions for arbitrarily large 7 data with density bounded away from vacuum, provided 8 is sufficiently large. The solutions relax exponentially to 9 at rate 0, and in the large-damping regime 1 (Choi et al., 3 Jun 2026). This is a distinct, large-data, non-dispersive mechanism based on damping, hidden parabolicity in the density equation, and comparison with a drift–diffusion–Poisson system.
4. Solitary waves, embedded neutral modes, and Evans-function stability
One-dimensional isothermal Euler–Poisson equations support solitary waves in the super–ion–sonic regime. For the ion/Boltzmann-electron model with ion sound speed 2, the traveling coordinate 3, and 4, Kodama, Miki, and Nakanishi show that for each 5 there exists a unique, up to translation, even solitary wave 6 with 7, 8, and 9 on $1+n$0, and with exponential decay as $1+n$1. The profiles satisfy
$1+n$2
and admit a Hamiltonian first integral through the function $1+n$3 (Bae et al., 2020).
Linearization about such a solitary wave produces a nonlocal operator $1+n$4 whose spectral structure is delicate because $1+n$5 is embedded in the essential spectrum in unweighted $1+n$6. Translation invariance and the speed parameter generate the Jordan chain
$1+n$7
so the geometric multiplicity is one and the algebraic multiplicity is at least two (Bae et al., 2020). In unweighted $1+n$8, the essential spectrum fills the imaginary axis; in exponentially weighted spaces $1+n$9, conjugation by the weight moves the essential spectrum strictly into the left half-plane when 00. On the weighted spectral domain 01, the Evans function is analytic and vanishes only at 02, with order two, for sufficiently small amplitude. The same paper proves spectral stability in 03, and in weighted space it obtains asymptotic linear stability modulo the two neutral modes: 04 for data orthogonal to the spectral projection onto 05 (Bae et al., 2020).
The small-amplitude structure of solitary waves is tied rigorously to KdV. Chae and Hwang study the stretched moving frame
06
and prove existence of smooth solitary waves for the one-dimensional Euler–Poisson system that converge to the KdV soliton
07
For every integer 08, the remainder satisfies an exponentially weighted 09 bound of order 10 (Bae et al., 2018). In the Evans-function language of the stability paper, the long-wave/small-amplitude scaling also leads to uniform convergence of the Euler–Poisson Evans function to the explicit KdV Evans function, which vanishes only at the origin with order two (Bae et al., 2020). The isothermal solitary-wave problem is thus one of the clearest settings in which profile construction, spectral stability, and asymptotic reduction to KdV are simultaneously rigorous.
5. Singular limits, asymptotic reductions, and boundary layers
A major branch of the theory concerns singular limits in which the isothermal Euler–Poisson system approaches a reduced dispersive, diffusive, or quasineutral model. In the quasineutral limit on 11, letting 12 in
13
formally yields neutrality 14 and the limiting isothermal Euler system
15
with only the impermeability condition 16 at the boundary (Gérard-Varet et al., 2011). Because the Dirichlet datum 17 is generally incompatible with neutrality, Gérard-Varet, Han-Kwan, and Rousset construct a Debye sheath of thickness 18 through a high-order boundary-layer expansion. The leading profile 19 solves
20
with decay as 21. They prove 22-convergence to the limiting Euler flow with rate 23, and sharper convergence to the full boundary-layer corrected approximation (Gérard-Varet et al., 2011).
The supersonic outflow case requires a different stabilization mechanism. In the half-space formulation with
24
Gérard-Varet, Han-Kwan, and Rousset analyze the Bohm regime 25, where the limiting Euler characteristics are all outgoing and the boundary layer includes an 26 normal-velocity correction. The Debye sheath is again of thickness 27, but its stability is obtained through Goodman-type weights adapted to outward convection, yielding convergence to the Euler solution plus explicit layer correctors (Gérard-Varet et al., 2014).
In one space dimension, the long-wave/small-amplitude scaling
28
reduces the isothermal ion-acoustic Euler–Poisson system to KdV. Wang proves that the leading amplitude 29 satisfies
30
with 31 and 32, and establishes global-in-time convergence of the Euler–Poisson solution to the KdV asymptotics in 33, with an 34 remainder in the slow variables (Guo et al., 2012). Under a uniform magnetic field, Colin and Lannes derive the Zakharov–Kuznetsov equation from the magnetized Euler–Poisson system, first for cold plasma and then with the isothermal pressure term, while also proving local well-posedness for the Cauchy problem in dimensions two and three (Lannes et al., 2012).
The large-friction limit produces a different reduced model. On 35, 36, the damped isothermal Euler–Poisson equations admit the slow-time rescaling
37
under which the limit 38 is the drift–diffusion–Poisson system
39
The density converges with rate 40, and after subtracting a damped-heat initial layer the rescaled flux converges with the same rate to the drift–diffusion flux 41 (Choi et al., 3 Jun 2026).
6. Singularity formation and self-gravitating isothermal flows
The isothermal closure does not imply global smoothness in every geometry or sign regime. For the one-dimensional ion/Boltzmann-electron model
42
Hou, Huang, and Li give a constructive proof of finite-time cusp formation from smooth data near a Burgers self-similar blow-up profile. In Riemann variables 43, 44, they build a renormalized dynamics around the Burgers profile 45 and show that the solution can develop a 46 singularity in finite time while remaining 47 at the blow-up time. More precisely, for any 48,
49
whereas for any 50,
51
as 52 (Bae et al., 2024). This result is specific to a one-dimensional ion-acoustic regime, but it shows that electrostatic coupling does not universally suppress finite-time singularity formation.
For attractive self-gravity, the mathematical emphasis shifts from dispersive stabilization to geometric structure, entropy solutions, and equilibrium configurations. Makino gives coordinate-system derivations of the self-gravitating isothermal Euler–Poisson equations in Cartesian, cylindrical, and spherical coordinates, together with the enthalpy 53 and the hydrostatic reduction leading to the isothermal Lane–Emden equation
54
under the scaling 55 (Makino, 2017). In the exterior of a ball, Li, Li, and Zhu prove global existence of spherically symmetric entropy solutions for the isothermal self-gravitating problem by a fractional-step Lax–Friedrichs scheme and compensated compactness. In weighted radial variables 56, 57, they obtain global bounds
58
for almost every 59, allowing vacuum and shocks (Liu, 2023).
Rotation can also regularize the attractive isothermal flow. Kwong and Yuen construct exact periodic solutions of the two-dimensional self-gravitating isothermal Euler–Poisson equations with
60
where 61 solves the Emden-type ODE
62
For 63 and 64, the solutions are nontrivially periodic unless 65 and 66, in which case they are steady. The paper interprets the 67 term as the rotational mechanism preventing the blowup found earlier in non-rotating two-dimensional isothermal solutions (Kwong et al., 2014).
Taken together, these results show that the phrase “isothermal Euler–Poisson system” names a structurally coherent but mathematically diverse family. In repulsive plasma settings it supports Klein–Gordon dispersion, scattering, Evans-function stability, KdV and Zakharov–Kuznetsov asymptotics, and overdamped drift–diffusion limits; in attractive settings it supports boundary layers, hydrostatic Lane–Emden equilibria, entropy solutions with vacuum, periodic rotating states, and, in some one-dimensional plasma regimes, constructive cusp singularities (Li et al., 2011, Bae et al., 2020, Gérard-Varet et al., 2011, Bae et al., 2024).