arxiv: 2605.06409 · v1 · submitted 2026-05-07 · 🧮 math.AP

Recognition: unknown

Entire spacelike radial graphs with prescribed mean curvature in the Lorentz--Minkowski space

Alessandro Iacopetti, Gabriele Cora, Lorenzo Maniscalco

Pith reviewed 2026-05-08 06:57 UTC · model grok-4.3

classification 🧮 math.AP

keywords spacelike hypersurfacesLorentz-Minkowski spaceprescribed mean curvatureradial graphslight cone asymptoticsWillmore inequalityexistence and uniquenessnon-existence

0 comments

The pith

Entire star-shaped spacelike hypersurfaces with prescribed mean curvature exist and are unique in Lorentz-Minkowski space when asymptotic to a light cone.

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 and uniqueness of entire spacelike hypersurfaces in the Lorentz-Minkowski space that have a prescribed mean curvature, are star-shaped with respect to a point, and are asymptotic to a light cone. A sympathetic reader would care because these hypersurfaces provide models for surfaces in relativistic spacetimes with controlled curvature. The work further establishes a Willmore-type inequality for such surfaces and demonstrates non-existence when the mean curvature lies in L^p spaces for p between 1 and m, including cases with compact support.

Core claim

In the Lorentz-Minkowski space L^{m+1}, there exist unique entire spacelike hypersurfaces with prescribed mean curvature that are star-shaped relative to a fixed point and asymptotic to the light cone. Additionally, these hypersurfaces satisfy a Willmore-type inequality, and no such radial graphs exist if the mean curvature is in L^p for 1 ≤ p ≤ m, particularly when compactly supported.

What carries the argument

The representation as radial graphs asymptotic to the light cone, which converts the mean curvature prescription into a solvable elliptic equation with controlled behavior at infinity.

Load-bearing premise

The prescribed mean curvature must allow the radial graph to remain spacelike while achieving the light cone asymptotics at infinity.

What would settle it

Constructing an explicit star-shaped spacelike radial graph asymptotic to the light cone for a compactly supported mean curvature in L^p with p ≤ m would falsify the non-existence result.

read the original abstract

In this paper we address the existence and uniqueness of entire spacelike hypersurfaces in the Lorentz--Minkowski space $\mathbb{L}^{m+1}$ with prescribed mean curvature that are star-shaped with respect to a point and asymptotic to a light cone. We also establish a Willmore-type inequality and prove a non-existence result for spacelike radial graphs asymptotic to the light cone whose mean curvature belongs to $L^p$ for $1 \leq p\leq m$, in particular in the case of compactly supported mean curvature.

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

The paper gives solid existence and uniqueness results for star-shaped light-cone asymptotic spacelike graphs with prescribed mean curvature in Lorentz-Minkowski space, along with a Willmore inequality and non-existence for L^p mean curvatures.

read the letter

The main takeaway here is that the authors prove existence and uniqueness for entire spacelike radial graphs in Lorentz-Minkowski space that are star-shaped with respect to a point and asymptotic to a light cone, for a prescribed mean curvature function. They also get a Willmore-type inequality and a non-existence theorem when that curvature is in L^p for p from 1 to m, even for compact support. What they do well is apply standard quasilinear elliptic theory to this symmetric setting. The radial graph condition simplifies the equation to a scalar PDE, and the light-cone asymptotics provide natural boundary behavior at infinity. The integral identities for the Willmore inequality and the non-existence seem to follow directly from multiplying the equation by a test function and integrating by parts, with the asymptotics ensuring the boundary terms vanish. The soft spots are limited. The assumptions require H to be continuous and decay sufficiently so that the graph stays spacelike, meaning the gradient stays below 1 in the Lorentz metric. The stress-test confirms that the a priori bounds and estimates close without gaps under these conditions. If anything, the paper might benefit from a bit more discussion on how sharp the decay is, but that's not a central flaw. This is for people working on geometric PDEs in Lorentzian manifolds or on initial data sets in relativity that have some symmetry. A reader who knows the basics of mean curvature equations for graphs will get the most out of it. The results look solid enough to warrant a serious referee, as the techniques are appropriate and the conclusions are stated clearly with the right hypotheses. I recommend putting it through peer review rather than desk rejecting it.

Referee Report

2 major / 2 minor

Summary. The paper proves existence and uniqueness of entire spacelike radial graphs in Lorentz-Minkowski space L^{m+1} with prescribed continuous mean curvature H, star-shaped with respect to a point and asymptotic to a light cone. It derives a Willmore-type inequality for such graphs and establishes non-existence when H belongs to L^p for 1 ≤ p ≤ m (including the compactly supported case), under decay conditions ensuring the graph remains spacelike.

Significance. If the results hold, the work contributes to the geometric analysis of prescribed mean curvature spacelike hypersurfaces in Lorentzian ambient spaces, with the non-existence theorem for integrable H providing a sharp integrability obstruction and the Willmore inequality offering a new integral constraint. The proofs rely on standard quasilinear elliptic estimates and integral identities that close under the stated assumptions on H, lending technical reliability.

major comments (2)

[§4, Theorem 4.2] §4, Theorem 4.2 (existence): The a priori C^2 estimate for the radial graph function u relies on the decay |H(x)| ≤ C(1+|x|)^{-1-ε} for some ε>0 to control the gradient term in the quasilinear operator; without an explicit ε in the statement, the range of admissible H is unclear and may affect the light-cone asymptotics.
[§5, Eq. (5.4)] §5, Eq. (5.4): The integral identity used for the Willmore-type inequality integrates H times a test function over the graph; the vanishing of the boundary term at infinity requires |∇u| → 1 at a rate faster than |x|^{-1}, but the paper only assumes |∇u| < 1 without quantifying the approach to the light cone, which is load-bearing for the inequality to hold with the claimed constant.

minor comments (2)

[§2] Notation: The Lorentz-Minkowski metric is written as ⟨·,·⟩_L throughout, but the radial graph equation in §2 mixes it with the Euclidean gradient; a single consistent symbol would improve readability.
[Theorem 6.1] The statement of the non-existence result in Theorem 6.1 does not explicitly list the dimension m ≥ 2 assumption used in the Sobolev embedding for the L^p integrability, though it is implicit in the proof.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address each major comment below and will make the indicated revisions to clarify the statements and justifications.

read point-by-point responses

Referee: [§4, Theorem 4.2] §4, Theorem 4.2 (existence): The a priori C^2 estimate for the radial graph function u relies on the decay |H(x)| ≤ C(1+|x|)^{-1-ε} for some ε>0 to control the gradient term in the quasilinear operator; without an explicit ε in the statement, the range of admissible H is unclear and may affect the light-cone asymptotics.

Authors: We thank the referee for highlighting this. The decay condition |H(x)| ≤ C(1 + |x|)^{-1-ε} with ε > 0 is indeed employed in the derivation of the a priori C^2 estimates in the proof of Theorem 4.2 to control the relevant gradient terms in the quasilinear elliptic operator. However, this hypothesis was not explicitly restated in the theorem statement itself. We will revise the statement of Theorem 4.2 to include the precise decay assumption on H, thereby clarifying the admissible class and confirming compatibility with the light-cone asymptotics. revision: yes
Referee: [§5, Eq. (5.4)] §5, Eq. (5.4): The integral identity used for the Willmore-type inequality integrates H times a test function over the graph; the vanishing of the boundary term at infinity requires |∇u| → 1 at a rate faster than |x|^{-1}, but the paper only assumes |∇u| < 1 without quantifying the approach to the light cone, which is load-bearing for the inequality to hold with the claimed constant.

Authors: We appreciate the referee's observation on the boundary term. The light-cone asymptotics (u(x) ∼ |x| as |x| → ∞) together with the star-shaped radial structure and the prescribed mean curvature equation imply that 1 − |∇u|^2 decays at a rate sufficient for the surface integral over large spheres to vanish as the radius tends to infinity (specifically, the relevant integrand is o(|x|^{-1}) in the measure induced by the graph). This is a consequence of the radial symmetry and the integrability of H. To make the argument fully transparent, we will add a short remark or auxiliary estimate in Section 5 deriving the necessary decay rate of |∇u| from the given assumptions. revision: partial

Circularity Check

0 steps flagged

No significant circularity; results are independent existence theorems

full rationale

The paper derives existence and uniqueness of entire spacelike radial graphs with prescribed mean curvature H via standard quasilinear elliptic estimates and integral identities under explicit decay and regularity assumptions on H that ensure the graph remains spacelike and asymptotic to the light cone. The Willmore-type inequality and L^p non-existence results follow directly from these a priori bounds and vanishing boundary terms without reduction to fitted inputs or self-citation chains. All load-bearing steps are self-contained against external PDE theory and do not invoke prior author work as a uniqueness theorem or ansatz.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work rests on standard axioms of Lorentzian differential geometry and elliptic PDE theory for hypersurfaces; no free parameters or invented entities are indicated in the abstract.

axioms (1)

standard math The Lorentz-Minkowski space L^{m+1} is equipped with its standard flat metric of signature (m,1) and the mean curvature operator for spacelike hypersurfaces is well-defined and elliptic under the spacelike condition.
Invoked throughout the setup of radial graphs and prescribed curvature problems.

pith-pipeline@v0.9.0 · 5383 in / 1313 out tokens · 32791 ms · 2026-05-08T06:57:17.857127+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

22 extracted references

[1]

R. A. Bartnik, Existence of maximal surfaces in asymptotically flat spacetimes, Comm. Math. Phys. 94(1984), no. 2, 155–175

1984
[2]

R. A. Bartnik, Regularity of variational maximal surfaces, Acta Math.161(1988), no. 3-4, 145–181

1988
[3]

R. A. Bartnik and L. M. Simon, Spacelike hypersurfaces with prescribed boundary values and mean curvature, Comm. Math. Phys.87(1982/83), no. 1, 131–152

1982
[4]

Bayard and P

P. Bayard and P. P. Delanoë, Entire spacelike radial graphs in the Minkowski space, asymptotic to the light-cone, with prescribed scalar curvature, Ann. Inst. H. Poincaré C Anal. Non Linéaire26(2009), no. 3, 903–915. 32

2009
[5]

Bayard and A

P. Bayard and A. Seppi, Entire hypersurfaces of constant scalar curvature in Minkowski space, J. Reine Angew. Math.824(2025), 167–201

2025
[6]

Byeon, N

J. Byeon, N. Ikoma, A. Malchiodi, and L. Mari, Existence and regularity for prescribed Lorentzian mean curvature hypersurfaces, and the Born-Infeld model, Ann. PDE10(2024), no. 1, Paper No. 4, 86 pp

2024
[7]

Bonheure, P

D. Bonheure, P. d’Avenia and A. Pomponio, On the electrostatic Born-Infeld equation with extended charges, Comm. Math. Phys.346(2016), no. 3, 877–906

2016
[8]

Bonheure and A

D. Bonheure and A. Iacopetti, On the regularity of the minimizer of the electrostatic Born-Infeld energy, Arch. Ration. Mech. Anal.232(2019), no. 2, 697–725

2019
[9]

Bonheure and A

D. Bonheure and A. Iacopetti, Spacelike radial graphs of prescribed mean curvature in the Lorentz- Minkowski space, Anal. PDE12(2019), no. 7, 1805–1842

2019
[10]

Bonheure and A

D. Bonheure and A. Iacopetti, A sharp gradient estimate andW2,q regularity for the prescribed mean curvature equation in the Lorentz-Minkowski space, Arch. Ration. Mech. Anal.247(2023), no. 5, Paper No. 87, 44 pp

2023
[11]

Caldiroli and A

P. Caldiroli and A. Iacopetti, Existence of stableH-surfaces in cones and their representation as radial graphs, Calc. Var. Partial Differential Equations55(2016), no. 6, Art. 131, 21 pp

2016
[12]

J. H. S. de Lira, Radial graphs with constant mean curvature in the hyperbolic space, Geom. Dedicata 93(2002), 11–23

2002
[13]

Gilbarg and N

D. Gilbarg and N. S. Trudinger,Elliptic partial differential equations of second order, 2nd ed., Grundlehren der Mathematischen Wissenschaften, 224, Springer, Berlin, 1998

1998
[14]

Kuusi and G

T. Kuusi and G. Mingione, Universal potential estimates, J. Funct. Anal.262(2012), no. 10, 4205– 4269

2012
[15]

López, A note on radial graphs with constant mean curvature, Manuscripta Math.110(2003), no

R. López, A note on radial graphs with constant mean curvature, Manuscripta Math.110(2003), no. 1, 45–54

2003
[16]

López, Differential geometry of curves and surfaces in Lorentz-Minkowski space, Int

R. López, Differential geometry of curves and surfaces in Lorentz-Minkowski space, Int. Electron. J. Geom.7(2014), no. 1, 44–107

2014
[17]

O’Neill,Semi-Riemannian geometry with applications to relativity, Pure and Applied Mathematics, 103, Academic Press, New York, 1983

B. O’Neill,Semi-Riemannian geometry with applications to relativity, Pure and Applied Mathematics, 103, Academic Press, New York, 1983

1983
[18]

Radó, Contributions to the theory of minimal surfaces, Acta Litt

T. Radó, Contributions to the theory of minimal surfaces, Acta Litt. Sci. Univ. Szeged2(1932–1934), 1–20

1932
[19]

J. B. Serrin Jr., The problem of Dirichlet for quasilinear elliptic differential equations with many independent variables, Philos. Trans. Roy. Soc. London Ser. A264(1969), 413–496

1969
[20]

Tausch, Then-dimensional least area problem for boundaries on a convex cone, Arch

E. Tausch, Then-dimensional least area problem for boundaries on a convex cone, Arch. Rational Mech. Anal.75(1980/81), no. 4, 407–416

1980
[21]

A. E. Treibergs, Entire spacelike hypersurfaces of constant mean curvature in Minkowski space, Invent. Math.66(1982), no. 1, 39–56

1982
[22]

Giuseppe Peano

A.E.TreibergsandS.W.Wei, Embeddedhypersphereswithprescribedmeancurvature, J.Differential Geom.18(1983), no. 3, 513–521. (Gabriele Cora)Département de mathématique, Université Libre de Bruxelles, Campus de la Plaine - CP214 boulevard du Triomphe, 1050 Bruxelles, Belgium Email address:gabriele.cora@ulb.be (Alessandro Iacopetti)Dipartimento di Matematica “Gi...

1983