A priori estimates for the linearized relativistic Euler equations with a physical vacuum boundary and an ideal gas equation of state

Brian B. Luczak

A priori estimates for the linearized relativistic Euler equations with a physical vacuum boundary and an ideal gas equation of state

T0 review · reviewed 2026-08-12 · deepseek-v4-flash

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

Pith's one-line read A priori estimates for the linearized relativistic Euler equations with an ideal-gas physical vacuum boundary are proved in weighted Sobolev spaces.

desk verdict Serious extension of barotropic estimates to ideal gas, but main theorem overstates what the proof shows; needs added hypotheses or a partition-of-unity argument. read the letter →

arxiv 2411.13726 v1 pith:G37XADZN submitted 2024-11-20 math.AP math-phmath.MP

Brian B. Luczak This is my paper · ORCID

classification math.APmath-phmath.MP MSC 35Q7535Q3535Q3135R37

keywords relativisticEulerequationsphysicalvacuumboundaryidealgasequationofstatefree-boundaryproblemaprioriestimatesweightedSobolevspaceslinearizedsystemenergy

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

This paper proves weighted Sobolev a priori estimates for the linearized relativistic Euler equations when the fluid is an ideal gas confined to a moving domain whose free boundary is a physical vacuum, meaning density and pressure vanish there with the boundary accelerating at finite nonzero rate. The estimates control every smooth solution of the linearized system at time $t$ by its initial data, with a constant depending only on the fixed background flow and the interval $[0,T]$. A sympathetic reader would care because these bounds are the standard first step toward local well-posedness and continuation criteria for the nonlinear free-boundary problem, and because the ideal gas equation of state is the one used in numerical stellar evolution. The paper's contribution is to carry out this control in the non-barotropic setting, where entropy is an independent variable and the weight $r = p^{(\gamma-1)/\gamma}$ is used to measure distance to the boundary.

What carries the argument

The load-bearing object is the weight $r := p^{(\gamma-1)/\gamma}$, a positive multiple of the sound speed squared that is comparable to the distance to the moving boundary, together with the weighted Sobolev spaces $H^{2k}$ of (1.46) in which each derivative is paired with an appropriate power of $r$. The argument is organized by a bookkeeping scheme (Definition 2.5 and Remark 2.6) that assigns every free-boundary term $r^m \partial^l(\tilde s,\tilde r,\tilde u)$ an $H^{2k}$-order $O = m-l+k-1/2$ for $\tilde s,\tilde u$, and $O = m-l+k$ for $\tilde r$. Terms with $O=0$ are critical and are exactly controlled by the $H^{2k}$ norm; positive orders carry spare powers of $r$ and are absorbed by smallness, while negative orders must be avoided or supplied with extra weight. The scheme, together with commutator identities for the convective derivative $D_t$ and the elliptic operators $\tilde L_1, \tilde L_2, \tilde L_3$, produces the energy equivalence $E^{2k} \approx \|\cdot\|_{H^{2k}}$ and the higher-order estimates.

What would settle it

Take a spherically symmetric ideal-gas background with $\varepsilon \sim d$ and $n \sim d^\beta$ for $\beta \neq 1/(\gamma-1)$, and compute the decay of $r = p^{(\gamma-1)/\gamma}$: since $r \sim d^{(\beta+1)(\gamma-1)/\gamma}$, simple vanishing fails. Because the bookkeeping order (Definition 2.5) and the embedding Lemma 2.2 both rely on $r$ vanishing like $d$, the proof of the energy equivalence (Theorem 5.1) does not apply to this background; if the $H^{2k}$ estimate (7.1) still holds in such a case, the theorem is true under weaker hypotheses than proved, and if it fails, the theorem as stated with arbitrary $\beta>0$ is false.

Watch

Extended reading notes

Core claim

The central discovery is Theorem 7.1 (restated as Theorem 1.4): if $(s,r,u)$ is a smooth solution of the nonlinear system (1.35) on $[0,T]$ satisfying the physical vacuum condition (1.13), and if $(\tilde s_0,\tilde r_0,\tilde u_0)$ is initial data for the linearized system (1.36), then any smooth solution $(\tilde s,\tilde r,\tilde u)$ of (1.36) obeys $\|(\tilde s,\tilde r,\tilde u)\|_{H^{2k}(\Omega_t)} \lesssim C \|(\tilde s_0,\tilde r_0,\tilde u_0)\|_{H^{2k}(\Omega_0)}$, with $C$ depending only on the background and $T$. The estimate is phrased in the weighted Sobolev spaces $H^{2k}$ defined in (1.46), where powers of $r$ are matched to the number of derivatives. The proof is built from a basic weighted energy estimate, transport estimates for the entropy and a reduced vorticity, elliptic and div-curl estimates for $\tilde r$ and $\tilde u$, an equivalence between the total energy $E^{2k}$ and the $H^{2k}$ norm, and higher-order wave energy estimates closed by Gronwall's inequality.

Load-bearing premise

The proof assumes the weight $r$ is uniformly small on the entire moving domain and vanishes simply at the boundary, a decay rate that selects $\beta = 1/(\gamma-1)$, while the theorem as stated only assumes the physical vacuum condition (1.13), which allows any $\beta>0$; the global smallness is imposed by Assumption 1.9, not derived for an arbitrary smooth background.

Editorial extensions

If this is right

Any $H^{2k}$ perturbation of an ideal-gas physical-vacuum background stays controlled in $H^{2k}$ on the whole moving domain up to time $T$, so the linearized problem is stable at that regularity.
The energy equivalence $E^{2k} \approx \|\cdot\|_{H^{2k}}$ means the wave, transport, entropy, and vorticity contributions can be assembled into one norm, so bounding initial data in $H^{2k}$ bounds all those physical components at later times.
The constants depend only on the background solution and $T$, and only on finitely many (up to $2k+1$) derivatives of the background, so the estimate is quantitative and usable in continuation arguments.
The entropy and reduced vorticity estimates are transport-type, while $\tilde r$ and $\tilde u$ are governed by a wave-type operator $D_t^2 - r\Delta$; the combination gives a complete closed system of estimates for the linearized evolution.

Reading between the lines

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

The paper's own entropy analysis (Remark 1.3) singles out $\beta = 1/(\gamma-1)$ as the natural decay rate for $n$ if the boundary entropy is to stay finite, even though the theorem is stated for arbitrary $\beta>0$ in (1.13). A likely reading is that the proof actually establishes the estimate under simple vanishing of $r$ (equivalently $\beta=1/(\gamma-1)$), and extending to other $\beta$ would
Assumption 1.9 imposes uniform smallness of $r$ on the whole domain, which is only heuristically justified near the boundary; removing it should be possible by a partition of unity separating boundary from bulk, as the paper itself notes, and the estimates here would then serve as the boundary-layer part.
A testable extension is to check whether the same energy equivalence holds for a modified weight $r^\alpha$ with $\alpha$ chosen to match $n \sim d^\beta$ for $\beta \neq 1/(\gamma-1)$; if it does, the physical-vacuum class for ideal gases can be widened beyond the entropy-selected exponent.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

The paper is a serious attempt at the missing linearized a priori estimate for relativistic Euler with an ideal gas equation of state and a physical vacuum boundary, but the main theorem as stated is not supported by the proof. The extension from barotropic to entropy/sound-speed variables is a real adaptation, and the weighted bookkeeping for the non-barotropic system is genuinely new. The basic energy estimate and the energy equivalence framework follow [4] closely, but the details are non-trivial, and the author is honest about the need for Assumption 1.9.

The soft spots are real and proportionate. Theorem 1.4 and Theorem 7.1 state only the physical vacuum condition (1.13) with arbitrary β>0, but the proof uses two unstated hypotheses: Assumption 1.9 (global smallness of r) and simple vanishing of r. The boundary-cross-term absorption in (1.70) requires ∥r∥_{L∞} small to move the term to the LHS; without it the Grönwall step collapses. Simple vanishing of r, used in Lemmas 2.1 and Corollary 2.4, selects β=1/(γ−1) in (1.13), which is not in the theorem. The author acknowledges that removing Assumption 1.9 needs a partition-of-unity argument but doesn't provide it. Several load-bearing lemmas—4.12, 4.14, and parts of 4.1 and 4.3—are sketched with "closely follows [4]" or depend on an inductive assumption (4.8) that isn't fully proved. These are repairable but substantial.

One note: the stress-test's exponent complaint about (1.70) is off. The square root is correct: r^{1/(γ−1)} = r · r^{(2−γ)/(γ−1)}, so the square root of the integral gains ∥r∥_{L∞}^{1/2}. The issue is the smallness assumption, not the exponent.

The paper is for specialists in free-boundary relativistic Euler. It deserves a serious referee, not a desk reject, but the referee should push to either add the missing hypotheses to the theorem or complete the partition-of-unity argument. If the author can do that, the result would be a solid contribution.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the linearized a priori estimate is derived from the stated system, explicit assumptions, and external lemmas, not from its target conclusion.

full rationale

The derivation chain for Theorem 7.1 is not circular. The main estimate is an energy estimate for the linearized system (1.36), proved by defining weighted energies (1.47)-(1.49), deriving a basic energy inequality (Proposition 1.18), proving a book-keeping scheme (Section 2), obtaining transport and vorticity estimates (Section 3), elliptic and div-curl estimates (Section 4), and then proving energy-norm equivalence (Theorem 5.1) before applying Grönwall's inequality. No fitted parameters appear, and no quantity is predicted from data that were used to define it. The proof does rely on prior literature, notably weighted embedding and elliptic lemmas from [4], [6], and [7], but these are external results and do not contain the ideal-gas linearized estimate being proved; this is ordinary reliance on the literature, not circular reasoning. The paper contains no self-citations by the author, so there is no load-bearing self-citation chain. The physical vacuum condition (1.13) is derived in Section 1.2 from a scaling ansatz, and Assumption 1.9 is explicitly stated rather than smuggled in through citation. The main theorem is stated under only (1.13), while the proof also uses Assumption 1.9 and a simple-vanishing condition on r; this is a hypothesis-gap or correctness issue, not circularity, because the missing hypotheses are not equivalent to the desired conclusion and the author acknowledges that removing Assumption 1.9 requires an additional partition-of-unity argument. Likewise, the apparent exponent issue in the boundary-cross-term bound (1.70) is a technical error, not a case of defining the output as the input. The energy equivalence in Theorem 5.1 is proved rather than assumed, and the final Grönwall argument is standard. Overall, the central claim is not reduced to its inputs by construction.

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

No free parameters are fitted to data. The result rests on imported weighted-embedding and elliptic lemmas, on the simple-vanishing and global-smallness assumptions for r, and on standard relativistic thermodynamic identities. These are background assumptions, not new physical entities.

assumptions (4)

standard math The weighted Sobolev embedding and free-boundary lemmas from [4], including trading derivatives for powers of r, remain valid for the H^{2k} spaces built on r.
Used throughout Section 2 and later sections; the proofs are cited to [4] rather than reproduced.
standard math The metric G_{\alpha\beta} = g_{\alpha\beta} + 2 u_\alpha u_\beta is positive definite on the relevant spaces.
Invoked in (1.42) and used for the wave energy norm; the positivity is cited to [6].
domain assumption The physical vacuum condition implies r vanishes simply on the boundary, so r is comparable to the distance to the boundary.
Section 1.5 assumes r vanishes simply. With r = p^{(gamma-1)/gamma}, this requires beta = 1/(gamma-1) in (1.13), but Theorem 1.4 states beta > 0 only.
ad hoc to paper Assumption 1.9: r is uniformly small on the entire moving domain Omega_t.
Used to absorb boundary terms through the smallness constant epsilon-hat. It is not derived from the physical vacuum condition and is not included as a hypothesis of Theorem 1.4.

how reviews work

0 comments

Cite this review

Pith. "Pith review of A priori estimates for the linearized relativistic Euler equations with a physical vacuum boundary and an ideal gas equation of state." pith.science (2026). https://pith.science/paper/G37XADZN

@misc{pith2026241113726,
  author       = {Pith},
  title        = {Pith review of: A priori estimates for the linearized relativistic Euler equations with a physical vacuum boundary and an ideal gas equation of state},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/G37XADZN}},
  note         = {Machine review of arXiv:2411.13726}
}

read the original abstract

In this paper, we will provide a result on the relativistic Euler equations for an ideal gas equation of state and a physical vacuum boundary. More specifically, we will prove a priori estimates for the linearized system in weighted Sobolev spaces. Our focus will be on choosing the correct thermodynamic variables, developing a weighted book-keeping scheme, and then proving energy estimates for the linearized system.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

20 extracted references · 19 canonical work pages

[4]

Disconzi, Mihaela Ifrim, and Daniel Tataru

Marcelo M. Disconzi, Mihaela Ifrim, and Daniel Tataru. The relativistic Euler equations with a physical vacuum boundary: Hadamard local well-posedness, rough solutions, and continuation criterion. Archive for Rational Mechanics and Analysis , 2022. 55 Pages

work page 2022
[1]

Caffarelli and Avner Friedman

Luis A. Caffarelli and Avner Friedman. Regularity of the free boundary for the one-dimensional flow of gas in a porous medium. Amer. J. Math. , 101(6):1193–1218, 1979

work page 1979
[2]

General relativity and the Einstein equations

Yvonne Choquet-Bruhat. General relativity and the Einstein equations . Oxford Mathematical Monographs. Ox- ford University Press, Oxford, 2009

work page 2009
[3]

Disconzi

Marcelo M. Disconzi. Recent developments in mathematical aspects of relativistic fluids, 2023

work page 2023
[5]

Disconzi, Igor Kukavica, and Amjad Tuffaha

Marcelo M. Disconzi, Igor Kukavica, and Amjad Tuffaha. A Lagrangian interior regularity result for the incom- pressible free boundary Euler equation with surface tension. SIAM J. Math. Anal. , 51(5):3982–4022, 2019

work page 2019
[6]

A priori estimates for solutions to the relativistic Euler equations with a moving vacuum boundary

Mahir Hadˇ zi´ c, Steve Shkoller, and Jared Speck. A priori estimates for solutions to the relativistic Euler equations with a moving vacuum boundary. Comm. Partial Differential Equations , 44(10):859–906, 2019

work page 2019
[7]

The compressible euler equations in a physical vacuum: A comprehensive eulerian approach

Mihaela Ifrim and Daniel Tataru. The compressible euler equations in a physical vacuum: A comprehensive eulerian approach. Annales de l’Institut Henri Poincar´ e C, Analyse non lin´ eaire, 2020

work page 2020
[8]

LeFloch, and Nader Masmoudi

Juhi Jang, Philippe G. LeFloch, and Nader Masmoudi. Lagrangian formulation and a priori estimates for rela- tivistic fluid flows with vacuum. J. Differential Equations , 260(6):5481–5509, 2016

work page 2016

Show all 20 references

[9]

LeFloch and Seiji Ukai

Philippe G. LeFloch and Seiji Ukai. A symmetrization of the relativistic Euler equations with several spatial variables. Kinet. Relat. Models , 2(2):275–292, 2009

2009
[10]

Local smooth solutions of the relativistic Euler equation

Tetu Makino and Seiji Ukai. Local smooth solutions of the relativistic Euler equation. II. Kodai Math. J. , 18(2):365–375, 1995

1995
[11]

Free boundary problem for the equation of spher- ically symmetric motion of viscous gas

ˇS´ arka Matuˇ socircu-Neˇ casov´ a, Mari Okada, and Tetu Makino. Free boundary problem for the equation of spher- ically symmetric motion of viscous gas. III. Japan J. Indust. Appl. Math. , 14(2):199–213, 1997

1997
[12]

Well-posedness for the free boundary hard phase model in general relativity

Shuang Miao and Sohrab Shahshahani. Well-posedness for the free boundary hard phase model in general relativity. Advances in Mathematics , 443:109614, 2024

2024
[13]

Well-posedness of the free boundary hard phase fluids in minkowski background and its newtonian limit

Shuang Miao, Sohrab Shahshahani, and Sijue Wu. Well-posedness of the free boundary hard phase fluids in minkowski background and its newtonian limit. arXiv:2003.02987 [math.AP] , 2020

2003 arXiv
[14]

Oppenheimer and G.M

J.R. Oppenheimer and G.M. Volkoff. On Massive neutron cores. Phys. Rev., 55:374–381, 1939

1939
[15]

Relativistic Hydrodynamics

Luciano Rezzolla and Olindo Zanotti. Relativistic Hydrodynamics. Oxford University Press, New York, 2013

2013
[16]

Geometry and a priori estimates for free boundary problems of the Euler equation

Jalal Shatah and Chongchun Zeng. Geometry and a priori estimates for free boundary problems of the Euler equation. Comm. Pure Appl. Math. , 61(5):698–744, 2008

2008
[17]

Richard C. Tolman. Effect of imhomogeneity on cosmological models. Proc. Nat. Acad. Sci. , 20:169–176, 1934

1934
[18]

Richard C. Tolman. Static solutions of Einstein’s field equations for spheres of fluid. Phys. Rev. , 55:364–373, 1939

1939
[19]

Local existence for the free boundary problem for nonrelativistic and relativistic compressible Euler equations with a vacuum boundary condition

Yuri Trakhinin. Local existence for the free boundary problem for nonrelativistic and relativistic compressible Euler equations with a vacuum boundary condition. Comm. Pure Appl. Math. , 62(11):1551–1594, 2009

2009
[20]

On the free boundary problem of three-dimensional incompressible Euler equations

Ping Zhang and Zhifei Zhang. On the free boundary problem of three-dimensional incompressible Euler equations. Comm. Pure Appl. Math. , 61(7):877–940, 2008

2008

Pith tools

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

[1] [4]

Disconzi, Mihaela Ifrim, and Daniel Tataru

Marcelo M. Disconzi, Mihaela Ifrim, and Daniel Tataru. The relativistic Euler equations with a physical vacuum boundary: Hadamard local well-posedness, rough solutions, and continuation criterion. Archive for Rational Mechanics and Analysis , 2022. 55 Pages

work page 2022

[2] [1]

Caffarelli and Avner Friedman

Luis A. Caffarelli and Avner Friedman. Regularity of the free boundary for the one-dimensional flow of gas in a porous medium. Amer. J. Math. , 101(6):1193–1218, 1979

work page 1979

[3] [2]

General relativity and the Einstein equations

Yvonne Choquet-Bruhat. General relativity and the Einstein equations . Oxford Mathematical Monographs. Ox- ford University Press, Oxford, 2009

work page 2009

[4] [3]

Disconzi

Marcelo M. Disconzi. Recent developments in mathematical aspects of relativistic fluids, 2023

work page 2023

[5] [5]

Disconzi, Igor Kukavica, and Amjad Tuffaha

Marcelo M. Disconzi, Igor Kukavica, and Amjad Tuffaha. A Lagrangian interior regularity result for the incom- pressible free boundary Euler equation with surface tension. SIAM J. Math. Anal. , 51(5):3982–4022, 2019

work page 2019

[6] [6]

A priori estimates for solutions to the relativistic Euler equations with a moving vacuum boundary

Mahir Hadˇ zi´ c, Steve Shkoller, and Jared Speck. A priori estimates for solutions to the relativistic Euler equations with a moving vacuum boundary. Comm. Partial Differential Equations , 44(10):859–906, 2019

work page 2019

[7] [7]

The compressible euler equations in a physical vacuum: A comprehensive eulerian approach

Mihaela Ifrim and Daniel Tataru. The compressible euler equations in a physical vacuum: A comprehensive eulerian approach. Annales de l’Institut Henri Poincar´ e C, Analyse non lin´ eaire, 2020

work page 2020

[8] [8]

LeFloch, and Nader Masmoudi

Juhi Jang, Philippe G. LeFloch, and Nader Masmoudi. Lagrangian formulation and a priori estimates for rela- tivistic fluid flows with vacuum. J. Differential Equations , 260(6):5481–5509, 2016

work page 2016