pith. sign in

arxiv: 2604.07866 · v2 · submitted 2026-04-09 · 🧮 math.AP

Maximal hypersurfaces with prescribed light-like cones in Lorentz-Minkowski space

Huyuan Chen , Ying Wang , Feng Zhou This is my paper

Pith reviewed 2026-05-10 18:03 UTC · model grok-4.3

classification 🧮 math.AP
keywords maximal hypersurfacesLorentz-Minkowski spacemean curvature equationDirac masseslight-like conesweak solutionsapproximation procedure
0
0 comments X

The pith

Weak solutions to the mean curvature equation with multiple Dirac masses yield maximal hypersurfaces with prescribed light-like cones.

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

This paper constructs maximal hypersurfaces incorporating multiple light-like cones in Lorentz-Minkowski space through weak solutions of the mean curvature equation that include Dirac masses. It achieves these solutions by approximating them with regular solutions driven by smooth sources, which converge weakly to the singular measures. A reader cares because the result extends the theory of maximal hypersurfaces to cases with multiple singularities, allowing geometric models that include light-cones directly rather than only smooth surfaces. The approach treats the singularities as limits of smooth data, preserving the mean curvature condition in a weak sense.

Core claim

Maximal hypersurfaces with multiple light-cones in Lorentz-Minkowski space arise as weak solutions to the mean curvature equation with multiple Dirac masses, obtained via an approximation procedure in which regular solutions with smooth sources converge weakly to the Dirac measures.

What carries the argument

The approximation procedure in which regular solutions with smooth sources converge weakly to solutions of the mean curvature equation carrying multiple Dirac masses.

If this is right

  • Maximal hypersurfaces in Lorentz-Minkowski space can accommodate multiple prescribed light-like cones as singularities.
  • The mean curvature equation admits weak solutions supported on Dirac measures.
  • Approximation by smooth data produces the singular hypersurfaces in the limit.

Where Pith is reading between the lines

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

  • The same weak-convergence technique may extend to other geometric PDEs with singular sources.
  • Numerical schemes could approximate these hypersurfaces by solving the regularized equations and taking limits.
  • The construction connects to models of spacetime with multiple causal singularities.

Load-bearing premise

Regular solutions with smooth sources converge weakly to solutions of the mean curvature equation with multiple Dirac masses.

What would settle it

A sequence of smooth-source solutions whose weak limit fails to satisfy the mean curvature equation in the distributional sense with the prescribed Dirac masses would disprove the construction.

read the original abstract

The purpose in this paper is to study the maximal hypersurfaces with multiple light-cones in Lorentz-Minkowski space by considering the weak solutions to the mean curvature equation with multiple Dirac masses. Such solutions are constructed via an approximation procedure, using regular solutions with smooth sources that converge weakly to the Dirac measures.

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 / 2 minor

Summary. The paper studies maximal hypersurfaces with multiple prescribed light-like cones in Lorentz-Minkowski space by constructing weak solutions to the mean curvature equation div(∇u / √(1 - |∇u|^2)) = ∑ δ_{p_i}. The construction proceeds via an approximation scheme in which smooth sources f_ε converge weakly to the sum of Dirac masses, regular solutions u_ε are obtained for each ε, and a weak limit u is extracted.

Significance. If the limit passage is rigorously justified, the result would provide an existence theorem for maximal hypersurfaces carrying multiple light-cone singularities, extending known results for the smooth or single-cone cases. The approach relies on standard mollification but must overcome the degeneracy and nonlinearity of the mean-curvature operator; successful verification would be a concrete contribution to the theory of singular maximal surfaces.

major comments (1)
  1. [Construction and convergence argument (abstract and §3)] The abstract and construction outline claim that weak solutions are obtained by passing to the limit in the regularized equation div(∇u_ε / √(1-|∇u_ε|^2)) = f_ε. However, no estimates establishing strong L^1 convergence of the vector fields ∇u_ε / √(1-|∇u_ε|^2) or a monotonicity argument that identifies the limit measure are supplied. Without such compactness, weak convergence of u_ε in W^{1,1} does not guarantee that the limit satisfies the singular equation (see the skeptic note on the nonlinear divergence term).
minor comments (2)
  1. [Introduction] Notation for the light-cone tips p_i and the precise definition of the weak solution (in the sense of measures or distributions) should be stated explicitly before the approximation procedure begins.
  2. [Preliminaries] The manuscript would benefit from a short statement clarifying the function space in which the limit u is obtained (e.g., locally Lipschitz or W^{1,∞}_{loc} away from the singularities).

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and for highlighting the need for a more explicit justification of the limit passage in the approximation scheme. We address the major comment below and will revise the paper to incorporate additional details that strengthen the argument.

read point-by-point responses

  1. Referee: [Construction and convergence argument (abstract and §3)] The abstract and construction outline claim that weak solutions are obtained by passing to the limit in the regularized equation div(∇u_ε / √(1-|∇u_ε|^2)) = f_ε. However, no estimates establishing strong L^1 convergence of the vector fields ∇u_ε / √(1-|∇u_ε|^2) or a monotonicity argument that identifies the limit measure are supplied. Without such compactness, weak convergence of u_ε in W^{1,1} does not guarantee that the limit satisfies the singular equation (see the skeptic note on the nonlinear divergence term).

    Authors: We agree that the nonlinearity of the mean-curvature operator requires careful control on the convergence of the vector fields to pass to the limit in the distributional sense. The manuscript establishes uniform W^{1,1} bounds on the approximating solutions u_ε via the maximum principle and comparison with barriers adapted to the Lorentz-Minkowski geometry; these bounds, together with the weak convergence of the sources f_ε to the sum of Dirac masses, allow extraction of a limit u. To identify the limit measure, the monotonicity of the operator div(∇· / √(1-|∇·|^2)) is used when testing against non-negative test functions. Nevertheless, to meet the referee’s request for explicit compactness, we will add a dedicated subsection in §3 that proves strong L^1 convergence of the vector fields ∇u_ε / √(1-|∇u_ε|^2) by establishing uniform integrability (via the boundedness of the mean curvature and the local energy estimates) and applying the Vitali convergence theorem. This additional argument will rigorously confirm that the nonlinear term converges to the desired singular measure. revision: yes

Circularity Check

0 steps flagged

Standard approximation construction for weak solutions to singular mean curvature equation exhibits no circularity

full rationale

The paper constructs weak solutions to the mean curvature equation with multiple Dirac masses by solving regularized problems with smooth sources f_ε and passing to the weak limit as the sources converge to the Dirac measures. This is a direct, standard approximation argument in the theory of quasilinear elliptic PDEs (divergence-form mean curvature operator on spacelike graphs). No step reduces by definition to its own output, no parameter is fitted and then relabeled as a prediction, and no load-bearing premise rests on a self-citation chain. The abstract and construction description treat the weak limit as the object of study without presupposing the target equation in the definition of the approximants. External benchmarks (existence theory for regularized problems, weak compactness in W^{1,1}) remain independent of the final singular solution.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the existence and convergence properties of regular solutions for smooth sources in the mean curvature equation, which are standard domain assumptions but not detailed here. No free parameters or new entities are mentioned.

axioms (1)
  • domain assumption Regular solutions to the mean curvature equation exist for smooth source terms and converge weakly to Dirac measures in the limit.
    This is the key step invoked in the approximation procedure described in the abstract.

pith-pipeline@v0.9.0 · 5332 in / 1182 out tokens · 61763 ms · 2026-05-10T18:03:38.770712+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

37 extracted references · 37 canonical work pages

  1. [1]

    Akamine M

    S. Akamine M. Umehara, K.Yamada: Space-like maximal surfaces containing entire null lines in Lorentz-Minkowski 3-space.Proc. Japan Acad. Ser. A Math. Sci. 95(9),97–102 (2019)

    work page 2019

  2. [2]

    Astala, E

    K. Astala, E. Duse, I. Prause, X. Zhong: Dimer models and conformal structures.Comm. Pure Appl. Math. 79(2),340–446 (2026)

    work page 2026

  3. [3]

    Bartnik: Regularity of variational maximal surfaces.Acta Math

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

    work page 1988

  4. [4]

    Bartnik: The existence of maximal surfaces in asymptotically flat spacetimes.Lecture Notes in Phys

    R. Bartnik: The existence of maximal surfaces in asymptotically flat spacetimes.Lecture Notes in Phys. 202 Springer-Verlag, Berlin,57–60 (1984)

    work page 1984

  5. [5]

    Bartnik: Existence of maximal surfaces in asymptotically flat spacetimes.Comm

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

    work page 1984

  6. [6]

    Bartnik, L

    R. Bartnik, L. Simon: Spacelike hypersurfaces with prescribed boundary values and mean curvature.Comm. Math. Phys. 87,131–152 (1982)

    work page 1982

  7. [7]

    Bonheure, P

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

    work page 2016

  8. [8]

    Bonheure, P

    D. Bonheure, P. d’Avenia, A. Pomponio, W. Reichel: Equilibrium measures and equilib- rium potentials in the Born-Infeld model.J. Math. Pures Appl. (9) 139, 35–62 (2020)

    work page 2020

  9. [9]

    Bonheure, A

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

    work page 2019

  10. [10]

    Bonheure, A

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

    work page 2019

  11. [11]

    Bonheure, A

    D. Bonheure, A. Iacopetti: A sharp gradient estimate andW 2,q regularity for the pre- scribed mean curvature equation in the Lorentz-Minkowski space.Arch. Ration. Mech. Anal. 247(5), No. 87, 44 pp. (2023)

    work page 2023

  12. [12]

    Bonsante, A

    F. Bonsante, A. Seppi, P. Smillie: Complete CMC hypersurfaces in Minkowski (n+1)- space.Comm. Anal. Geom. 31(4),799–845 (2023)

    work page 2023

  13. [13]

    Byeon, N

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

    work page 2024

  14. [14]

    Calabi: Examples of Bernstein problems for some non-linear equations.AMS sympo- sium on global analysis,Berkeley 1968

    E. Calabi: Examples of Bernstein problems for some non-linear equations.AMS sympo- sium on global analysis,Berkeley 1968

    work page 1968

  15. [15]

    S. Y. Cheng, S. T. Yau: Maximal spacelike surfaces in Lorentz-Minkowski spaces.Ann. Math. 104,407–419 (1976)

    work page 1976

  16. [16]

    Ding: Entire spacelike translating solitons in Minkowski space.J

    A. Ding: Entire spacelike translating solitons in Minkowski space.J. Funct. Anal. 265(12), 3133–3162 (2013)

    work page 2013

  17. [17]

    Ecker: Area maximizing hypersurfaces in Minkowski space having an isolated singu- larity.Manuscripta Math

    K. Ecker: Area maximizing hypersurfaces in Minkowski space having an isolated singu- larity.Manuscripta Math. 56(4), 375–397 (1986)

    work page 1986

  18. [18]

    Fern´ andez, F

    I. Fern´ andez, F. L´ opez, R. Souam: The space of complete embedded maximal surfaces with isolated singularities in the 3-dimensional Lorentz-Minkowski space.Math. Ann. 332(3),605–643 (2005)

    work page 2005

  19. [19]

    Fujimori, K

    S. Fujimori, K. Saji, M. Umehara, K. Yamada: Singularities of maximal surfaces.Math. Z. 259(4),827–848 (2008)

    work page 2008

  20. [20]

    Gilbarg, N

    D. Gilbarg, N. Trudinger: Elliptic Partial Differential Equations of Second Order. 2nd Edition, Vol. 224, Springer, Berlin, Heidelberg (1983)

    work page 1983

  21. [21]

    Han: Nonlinear elliptic equations of the second order.GSM 171

    Q. Han: Nonlinear elliptic equations of the second order.GSM 171. Am. Math. Soci. (2016) 52

    work page 2016

  22. [22]

    G. Hong, Y. Yuan: Maximal hypersurfaces over exterior domains.Comm. Pure Appl. Math. 74(3), 589–614 (2021)

    work page 2021

  23. [23]

    Hong: Remarks on area maximizing hypersurfaces overR n \ {0}and exterior domains

    G. Hong: Remarks on area maximizing hypersurfaces overR n \ {0}and exterior domains. Manuscripta Math. 162 (3-4),473–481(2020)

    work page 2020

  24. [24]

    M. K.-H. Kiessling: On the quasi-linear elliptic PDE−∇ · ∇up 1− |∇u| 2 = 4π X k αkδsk in physics and geometry.Comm. Math. Phys. 314, 509–523 (2012)

    work page 2012

  25. [25]

    Kobayashi: Maximal surfaces with conelike singularities.J

    O. Kobayashi: Maximal surfaces with conelike singularities.J. Math. Soc Japan.36, No 4, (1984)

    work page 1984

  26. [26]

    Pryce: The two-dimensional electrostatic solutions of Born’s new field equations

    M. Pryce: The two-dimensional electrostatic solutions of Born’s new field equations. Proc. Camb. Phil. Soc. 31,50–68 (1935)

    work page 1935

  27. [27]

    Rudin: Function analysis.McGraw-Hill(1973)

    W. Rudin: Function analysis.McGraw-Hill(1973)

    work page 1973

  28. [28]

    C. Ren, Z. Wang, L. Xiao: The prescribed curvature problem for entire hypersurfaces in Minkowski space.Anal. PDE 17(1), 1–40 (2024)

    work page 2024

  29. [29]

    Schwartz: Theorie des distributions.Hermann, Paris(1966)

    L. Schwartz: Theorie des distributions.Hermann, Paris(1966)

    work page 1966

  30. [30]

    Schoen, L

    R. Schoen, L. Simon, S.T. Yau: Curvature estimates for minimal hypersurfaces.Acta Math. 134,276–288 (1975)

    work page 1975

  31. [31]

    Serrin: Local behavior of solutions of quasi-linear equations.Acta Math

    J. Serrin: Local behavior of solutions of quasi-linear equations.Acta Math. 111,247–302 (1964)

    work page 1964

  32. [32]

    Talenti: Elliptic equations and rearrangements.Ann

    G. Talenti: Elliptic equations and rearrangements.Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 3 no. 4,697–718 (1976)

    work page 1976

  33. [33]

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

    work page 1982

  34. [34]

    Umehara, K.Yamada: Maximal surfaces with singularities in Minkowski space

    M. Umehara, K.Yamada: Maximal surfaces with singularities in Minkowski space. Hokkaido Math. J. 35,13–40 (2006)

    work page 2006

  35. [35]

    Umehara, K.Yamada: Surfaces with light-like points in Lorentz-Minkowski 3-space with appli-cations

    M. Umehara, K.Yamada: Surfaces with light-like points in Lorentz-Minkowski 3-space with appli-cations. Lorentzian geometry and related topics, 253–273. Springer Proc. Math. Stat., 211, Springer, Cham (2017)

    work page 2017

  36. [36]

    Umehara, K.Yamada: Hypersurfaces with light-like points in a Lorentzian manifold

    M. Umehara, K.Yamada: Hypersurfaces with light-like points in a Lorentzian manifold. J. Geom. Anal. 29(4),3405–3437 (2019)

    work page 2019

  37. [37]

    Wang: The Dirichlet problem for the prescribed curvature equations in Minkowski space.J

    B. Wang: The Dirichlet problem for the prescribed curvature equations in Minkowski space.J. Funct. Anal. 289(11), Paper No. 111149, 31 pp. (2025). 53

    work page 2025