pith. sign in

arxiv: 1906.08841 · v1 · pith:RKAQFYNSnew · submitted 2019-06-20 · 🧮 math-ph · math.MP

Blowup rate control for solution of Jang's equation and its application on Penrose inequality

Wenhua Yu This is my paper

Pith reviewed 2026-05-25 18:53 UTC · model grok-4.3

classification 🧮 math-ph math.MP
keywords Jang's equationmarginally outer trapped surfaceblowup ratestability operatorPenrose inequalityinitial data setprincipal eigenvalue
0
0 comments X

The pith

Blowup solutions of Jang's equation near a strictly stable MOTS have blowup term exactly equal to -1/sqrt(lambda) log tau.

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

The paper proves an exact asymptotic description for how solutions to Jang's equation blow up when approaching a strictly stable marginally outer trapped surface. The leading singular term is controlled by the principal eigenvalue of the associated stability operator, with the distance to the surface entering through a logarithm. The same analysis yields a bound on the gradient of the solution. These rate controls are then applied to obtain a Penrose-type inequality on the initial data set under extra hypotheses.

Core claim

The blowup term of a blowup solution of Jang's equation on an initial data set (M,g,k) near an arbitrary strictly stable MOTS Σ is exactly -1/sqrt(lambda) log tau, where tau is the distance from Σ and lambda is the principal eigenvalue of the MOTS stability operator of Σ. The gradient of the solution is of order tau to the minus one. These results are applied to obtain a Penrose-like inequality under additional assumptions.

What carries the argument

The principal eigenvalue lambda of the MOTS stability operator, which fixes the coefficient in the logarithmic blowup term of Jang's equation solutions.

If this is right

  • The gradient of any such blowup solution is bounded by a constant times tau to the minus one.
  • A Penrose-like inequality holds for the initial data set under the additional assumptions stated in the paper.
  • The blowup description applies to an arbitrary strictly stable MOTS without further geometric restrictions on the surface.

Where Pith is reading between the lines

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

  • The same stability eigenvalue that appears in the linearization of the MOTS condition also sets the nonlinear blowup rate in Jang's equation.
  • Control of this rate supplies the missing asymptotic ingredient needed to close certain monotonicity arguments that produce inequalities of Penrose type.

Load-bearing premise

A blowup solution to Jang's equation exists in a neighborhood of the strictly stable MOTS and the distance function tau is compatible with the stability operator.

What would settle it

Construct or numerically approximate a blowup solution near a concrete strictly stable MOTS whose stability eigenvalue lambda is known independently, then check whether the observed coefficient of log tau equals exactly minus one over square root of lambda.

read the original abstract

We prove that the blowup term of a blowup solution of Jang's equation on an initial data set (M,g,k) near an arbitrary strictly stable MOTS $ \Sigma $ is exactly $ -\frac{1}{\sqrt{\lambda}}\log \tau $, where $ \tau $ is the distance from $ \Sigma $ and $ \lambda $ is the principal eigenvalue of the MOTS stability operator of $ \Sigma $. We also prove that the gradient of the solution is of order $ \tau^{-1} $. Moreover, we apply these results to get a Penrose-like inequality under additional assumptions.

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

2 major / 2 minor

Summary. The manuscript claims to prove that the blowup term of any blowup solution u to Jang's equation on an initial data set (M,g,k) near an arbitrary strictly stable MOTS Σ is exactly −(1/√λ) log τ (with |∇u| ∼ τ^{-1}), where τ is the distance to Σ and λ is the principal eigenvalue of the MOTS stability operator; these asymptotics are then applied to derive a Penrose-like inequality under additional assumptions.

Significance. If the derivation of the precise rate holds, the result supplies explicit, eigenvalue-dependent control on the singular behavior of Jang solutions near stable MOTS. This is potentially useful for geometric inequalities in general relativity; the explicit logarithmic rate and gradient estimate would be a concrete technical contribution if the reduction to the stability operator is carried out without hidden parameters.

major comments (2)
  1. [Abstract and Introduction] The central statement is conditional on the existence of at least one blowup solution in a tubular neighborhood of Σ. No existence result is supplied, and the subsequent Penrose-type inequality therefore inherits the same hypothesis; this assumption is load-bearing for both the rate claim and the application.
  2. [Main derivation (section containing the linearization)] The reduction of the linearized Jang operator to the MOTS stability operator (plus lower-order terms) via the signed-distance coordinate τ must be justified with explicit error estimates; without those estimates the claimed exact coefficient −1/√λ cannot be verified as parameter-free.
minor comments (2)
  1. [Notation and setup] Clarify the precise regularity assumed on the distance function τ and on the initial data (M,g,k) near Σ so that the coordinate change is C^2-compatible with the stability operator.
  2. [Introduction] The additional assumptions required for the Penrose-like inequality should be stated explicitly in the introduction rather than deferred to the final section.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for identifying points that require clarification. We address each major comment below and will revise the manuscript accordingly where appropriate.

read point-by-point responses

  1. Referee: [Abstract and Introduction] The central statement is conditional on the existence of at least one blowup solution in a tubular neighborhood of Σ. No existence result is supplied, and the subsequent Penrose-type inequality therefore inherits the same hypothesis; this assumption is load-bearing for both the rate claim and the application.

    Authors: The manuscript explicitly studies the blowup rate for solutions that blow up near Σ, as stated in the abstract: 'We prove that the blowup term of a blowup solution...'. Existence of such solutions is not claimed and is left as a separate question; the Penrose-like inequality is derived under additional assumptions that include this hypothesis. We will revise the introduction to state the conditional nature more prominently and to clarify that the rate result applies to any blowup solution when it exists. revision: yes

  2. Referee: [Main derivation (section containing the linearization)] The reduction of the linearized Jang operator to the MOTS stability operator (plus lower-order terms) via the signed-distance coordinate τ must be justified with explicit error estimates; without those estimates the claimed exact coefficient −1/√λ cannot be verified as parameter-free.

    Authors: The linearization in signed-distance coordinates τ reduces the principal part of the Jang operator to the stability operator of Σ, with the coefficient −1/√λ arising from the principal eigenvalue. We will add a dedicated subsection with explicit remainder estimates showing that lower-order terms (including those from the second fundamental form and the ambient curvature) are o(1) relative to the leading term as τ → 0. These estimates confirm that the logarithmic rate and the coefficient remain exact and parameter-free. revision: yes

Circularity Check

0 steps flagged

No circularity; direct asymptotic analysis from linearized operator

full rationale

The paper states it proves the exact blowup rate −1/√λ log τ directly for any blowup solution of Jang's equation near a strictly stable MOTS, using the principal eigenvalue λ of the stability operator. No step reduces the claimed rate to a fitted quantity, self-definition, or self-citation chain; the result is presented as an independent theorem establishing the logarithmic term and gradient order from the equation itself. The existence assumption is an explicit hypothesis rather than a circular premise, and the subsequent Penrose application inherits this conditional character without introducing definitional loops. This is a standard non-circular mathematical derivation.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The result rests on standard background facts from geometric analysis: the existence of a principal eigenvalue for the MOTS stability operator on a strictly stable surface, and the well-posedness of Jang's equation on initial data sets. No free parameters or new postulated entities are introduced in the abstract statement.

axioms (1)
  • domain assumption Existence and positivity of the principal eigenvalue λ of the MOTS stability operator when Σ is strictly stable
    Directly invoked to express the exact coefficient in the blowup term.

pith-pipeline@v0.9.0 · 5623 in / 1368 out tokens · 27615 ms · 2026-05-25T18:53:44.422789+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.

  • IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel echoes
    ?
    echoes

    ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

    the blowup term of a blowup solution of Jang’s equation ... is exactly −1/√λ log τ, where τ is the distance from Σ and λ is the principal eigenvalue of the MOTS stability operator

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

38 extracted references · 38 canonical work pages

  1. [1]

    Schoen and S.-T

    R. Schoen and S.-T. Yau, Proof of the Positive Mass Theorem II . Comm. Math. Phys., 79, no. 2, 231–260, (1981)

    work page 1981

  2. [2]

    Metzger, Blowup of Jang’s equation at outermost marginally trapped surfaces

    J. Metzger, Blowup of Jang’s equation at outermost marginally trapped surfaces. Comm. Math. Phys., 294, no. 1, 61–72, (2010)

    work page 2010

  3. [3]

    Eichmair and J

    M. Eichmair and J. Metzger, Jenkins-Serrin type results for the Jang equation. J. Differential Geom., 102, no. 2, 207–242, (2016)

    work page 2016

  4. [4]

    Andersson and J

    L. Andersson and J. Metzger, The area of horizons and the trapped region. Comm. Math. Phys., 290, no. 3, 941–972, (2009)

    work page 2009

  5. [5]

    Han and M

    Q. Han and M. Khuri, Existence and Blow-Up Behavior for Solutions of the Generalized Jang Equation . Comm. Partial Differential Equations, 38, no. 12, 2199–2237, (2013)

    work page 2013

  6. [6]

    Williams, On blow-up solutions of the Jang equation in spherical symmetry

    C. Williams, On blow-up solutions of the Jang equation in spherical symmetry. Classical Quantum Gravity, 27, no. 6, 065001, 13 pp, (2010)

    work page 2010

  7. [7]

    Khuri, A Penrose-like inequality with charge

    M. Khuri, A Penrose-like inequality with charge . Gen. Relativity Grav- itation, 45, no. 11, 2341–2361, (2013)

    work page 2013

  8. [8]

    Chen, M.-T

    P.-N. Chen, M.-T. Wang, Y.-K. Wang and S.-T. Yau, Quasi-local energy with respect to a static spacetime . Adv. Theor. Math. Phys., 22, no. 1, 1–23, (2018)

    work page 2018

  9. [9]

    Shi and L.-F

    Y. Shi and L.-F. Tam, Positive mass theorem and the boundary behaviors of compact manifolds with nonnegative scalar curvature . J. Differential Geom., 62, no. 1, 79–125, (2002)

    work page 2002

  10. [10]

    Eichmair, P

    M. Eichmair, P. Miao and X. Wang, Extension of a theorem of Shi and Tam. Calc. Var. Partial Differential Equations, 43, no. 1–2, 45–56, (2012)

    work page 2012

  11. [11]

    Huisken and T

    G. Huisken and T. Ilmanen, The Riemannian Penrose inequality . Inter- nat. Math. Res. Notices, 1997, no. 20 , 1045–1058, (1997). ✐ ✐ “submit” — 2019/6/24 — 0:30 — page 64 — #64 ✐ ✐ ✐ ✐ ✐ ✐ 64 Wenhua Yu

    work page 1997

  12. [12]

    Huisken and T

    G. Huisken and T. Ilmanen, The inverse mean curvature flow and the Riemannian Penrose inequality . J. Differential Geom., 59, no. 3, 353– 437, (2001)

    work page 2001

  13. [13]

    C.-C. M. Liu and S.-T. Yau, Positivity of quasi-local mass II . J. Amer. Math. Soc., 19, no. 1, 181–204, (2006)

    work page 2006

  14. [14]

    Andersson, M

    L. Andersson, M. Mars and W. Simon, Stability of marginally outer trapped surfaces and existence of marginally outer trapped tubes. Adv. Theor. Math. Phys., 12, no. 4, 853–888, (2008)

    work page 2008

  15. [15]

    Jang, On the positivity of energy in general relativity

    P. Jang, On the positivity of energy in general relativity . J. Math. Phys., 19, no. 5, 1152–1155, (1978)

    work page 1978

  16. [16]

    Herzlich, A Penrose-like inequality for the mass of Riemannian asymptotically flat manifolds

    M. Herzlich, A Penrose-like inequality for the mass of Riemannian asymptotically flat manifolds . Commun. Math. Phys., 188, no. 1, 121– 133, (1997)

    work page 1997

  17. [17]

    Huisken and T

    G. Huisken and T. Ilmanen, The inverse mean curvature flow and the Riemannian Penrose inequality . J. DifferentialGeom., 59, no. 3, 353– 437, (2001)

    work page 2001

  18. [18]

    Wang and S.-T

    M.-T. Wang and S.-T. Yau, Isometric embeddings into the Minkowski space and new quasi-local mass . Comm. Math. Phys., 288, no. 3, 919– 942, (2009)

    work page 2009

  19. [19]

    Witten, A new proof of the positive energy theorem

    E. Witten, A new proof of the positive energy theorem . Comm. Math. Phys., 80, no. 3, 381–402, (1981)

    work page 1981

  20. [20]

    Bartnik, The mass of an asymptotically flat manifold

    R. Bartnik, The mass of an asymptotically flat manifold . Commun. Pure. Appl. Math., 39, no. 5, 661–693, (1986)

    work page 1986

  21. [21]

    Galloway, Rigidity of marginally trapped surfaces and the topology of black holes

    G. Galloway, Rigidity of marginally trapped surfaces and the topology of black holes . Commun. Anal. Geom., 16, no. 1, 217–229, (2008)

    work page 2008

  22. [22]

    Galloway and R

    G. Galloway and R. Schoen, A generalization of Hawking’s black hole topology theorem to higher dimensions . Commun. Math. Phys., 266, no. 2, 571–576, (2006)

    work page 2006

  23. [23]

    Bar, Lower eigenvalues estimates for Dirac operators

    C. Bar, Lower eigenvalues estimates for Dirac operators . Math. Ann., 293 , no. 1, 39–46, (1992)

    work page 1992

  24. [24]

    Hijazi, Première valeur propre de l’opérateur de Dirac et nombre de Yamabe

    O. Hijazi, Première valeur propre de l’opérateur de Dirac et nombre de Yamabe. C. R. Acad. Sci. Paris, 313, no. 12, 865–868, (1991)

    work page 1991

  25. [25]

    Yau, Geometry of three manifolds and existence of black hole due to boundary effect

    S.-T. Yau, Geometry of three manifolds and existence of black hole due to boundary effect . Adv. Theor. Math. Phys., 5, no. 4, 755–767, (2001). ✐ ✐ “submit” — 2019/6/24 — 0:30 — page 65 — #65 ✐ ✐ ✐ ✐ ✐ ✐ Blowup rate control for solution of Jang’s equation and its ap plication 65

    work page 2001

  26. [26]

    Bray and M

    H. Bray and M. Khuri, A Jang equation approach to the Penrose in- equality. Discrete Contin. Dyn. Syst., 27, no. 2, 741–766, (2010)

    work page 2010

  27. [27]

    Bray, Proof of the Riemannian Penrose inequality using the positi ve mass theorem

    H. Bray, Proof of the Riemannian Penrose inequality using the positi ve mass theorem. J. Differential Geom., 59, no. 2, 177–267, (2001)

    work page 2001

  28. [28]

    Bray and D

    H. Bray and D. Lee, On the Riemannian Penrose inequality in dimen- sions less than eight . Duke Math. J., 148, no. 1, 81–106, (2009)

    work page 2009

  29. [29]

    Schoen and S.-T

    R. Schoen and S.-T. Yau, On the proof of the positive mass conjecture in general relativity . Comm. Math. Phys., 65, no. 1, 45–76, (1979)

    work page 1979

  30. [30]

    Parker and C

    T. Parker and C. Taubes, On Witten ’s proof of the positive energy the- orem. Comm. Math. Phys., 84, no. 2, 223–238, (1982)

    work page 1982

  31. [31]

    Bray and M

    H. Bray and M. Khuri, P.D.E.’s which imply the Penrose conjecture . Asian J. Math., 15, no. 4, 557–610, (2011)

    work page 2011

  32. [32]

    Gilbarg and N

    D. Gilbarg and N. Trudinger, Elliptic Partial Differential Equations of Second Order, Springer-Verlag, New York, 1998

    work page 1998

  33. [33]

    Malec and N

    E. Malec and N. Ó Murchadha, The Jang equation, apparent horizons and the Penrose inequality . Classical Quantum Gravity, 21, no. 24, 5777–5787, (2004)

    work page 2004

  34. [34]

    Schoen and S.-T

    R. Schoen and S.-T. Yau, The existence of a black hole due to conden- sation of matter . Comm. Math. Phys., 90, no. 4, 575–579, (1983)

    work page 1983

  35. [35]

    Andersson, M

    L. Andersson, M. Mars and W. Simon, Local existence of dynamical and trapping horizons . Phys. Rev. Lett., 95, 111102, (2005)

    work page 2005

  36. [36]

    Zhang, A definition of total energy-momenta and the positive mass theorem on asymptotically hyperbolic 3-manifolds

    X. Zhang, A definition of total energy-momenta and the positive mass theorem on asymptotically hyperbolic 3-manifolds. I . Comm. Math. Phys., 249, no. 3, 529–548, (2004)

    work page 2004

  37. [37]

    Arnowitt, S

    R. Arnowitt, S. Deser and C. Misner, Dynamical Structure and Def- inition of Energy in General Relativity . Physical Review, 116, no. 5, 1322–1330, (1959)

    work page 1959

  38. [38]

    Witten, Global gravitational anomalies

    E. Witten, Global gravitational anomalies . Commun. Math. Phys., 100, no. 2, 197–229, (1985). Columbia University, New York, USA E-mail address: wy2227@columbia.edu ✐ ✐ “submit” — 2019/6/24 — 0:30 — page 66 — #66 ✐ ✐ ✐ ✐ ✐ ✐

    work page 1985