Pith. sign in

REVIEW 5 minor 28 references

Sharp Boundary Recession Criteria for the Special Lagrangian Curvature Potential Equation

T0 review · 0 major / 5 minor · reviewed 2026-08-15 · deepseek-v4-flash

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

Pith's one-line read Boundary curvature blow-up for convex solutions of the special Lagrangian curvature potential equation is governed exactly by the collapse of a boundary limiting-phase gap, with optimal rate $\delta^{-1}$.

desk verdict Solid boundary regularity paper: exact phase-gap identity and sharp blow-up criterion, with the main technical condition (MRC) honestly scoped. read the letter →

arxiv 2608.01065 v1 pith:65RP7QRK submitted 2026-08-02 math.AP

Rongli Huang , Qinfeng Jiang This is my paper · ORCID
classification math.AP MSC 35J6035B4553A10
keywords specialLagrangiancurvaturepotentialequationmixedrecessioncompatibilityboundaryHessianestimatestangentconeatinfinityblow-upconvexgraphsDirichletproblemlimiting-phasegap
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

The paper aims to establish boundary second derivative estimates for convex graphical solutions of the special Lagrangian curvature potential equation $F(A[u])=\theta$, the graph-curvature analogue of the classical special Lagrangian equation. Because the curvature matrix $A[u]$ depends on both $Du$ and $D^2u$, a phase subsolution does not supply the full linearized separation needed for mixed derivative control; the paper introduces a new condition, mixed recession compatibility (MRC), imposed only on doubly degenerate level jets, and proves that it yields a uniform mixed derivative bound that is sharp for the fixed zero-order barrier class. For the double-normal direction the paper proves an exact complex Schur-complement identity $u_{\nu\nu}=\beta+\alpha\cot\delta$ with $1\le\alpha\le C$ and $|\beta|\le C$, where $\delta$ is the actual boundary limiting-phase gap. The global consequence is that, within uniformly controlled families, curvature blows up if and only if that gap collapses, at the optimal rate $\delta^{-1}$. A sympathetic reader would care because this converts a boundary blow-up question into a single geometric quantity that can be read off from the boundary phase.

What carries the argument

The machinery has two independent parts. The mixed recession compatibility condition (MRC) is imposed on doubly degenerate recession jets, boundary jets where the Hessian tends to infinity while both quadratic coercive terms $a(Dd,Dd)$ and $Q=(p-Du)^\top a(p-Du)$ tend to zero, and it requires a uniform positive margin for the full linearized separation $J-\tau\ell$ on all such jets; it is what makes the concavified barrier $v=\Phi_\mu(u-\underline u)+\tau d-Nd^2$ strictly negative under the linearized operator, producing the uniform boundary bound on $D^2u(\xi,\nu)$ in Theorem 1.4. The double-normal part is an exact complex Schur complement: writing $C_t+\sqrt{-1}D^2u$ in tangential-normal blocks and eliminating the normal block gives $\delta_t=\arctan(\alpha_t/(r_\nu-\beta_t))$ with explicit $\alpha_t,\beta_t$, which yields the pointwise identity $r_\nu=\beta_t+\alpha_t\cot\delta_t$ without any asymptotic expansion. A maximum principle for the mean curvature of convex constant-phase graphs then carries boundary Hessian control to the whole graph, and a rank-one limiting formula computes the boundary gap in the sharpness examples.

What would settle it

Compute the boundary mixed derivative $D^2u_\delta(\xi,\nu)$ for the radial sharpness family of Theorem 1.8 on the fixed ball as $\delta\to 0$; the proof claims it stays uniformly bounded while $u_{\nu\nu}$ grows like $\delta^{-1}$. If any evaluation, numerical or analytic, shows the mixed derivative also diverging under (MRC), the sharp split between the two recession mechanisms in Theorem 1.4 and Remark 5.4 fails. Conversely, the decisive counterexample to Theorem 1.7 would be a controlled convex family with $\delta^*(u_j)$ bounded below by a positive constant but $\sup_\Omega|D^2u_j|\to\infty$; such a family would have to realize the unbounded mixed jets of Example 4.5 as actual boundary Hessians.

Watch

Extended reading notes

Core claim

The central discovery is an exact quantitative control of boundary Hessian blow-up on the convex branch $D^2u\ge 0$ of the equation $F(A[u])=\theta$. At a boundary point the paper computes the phase gap $\delta_t=L_t-F(A_t[u])$ in closed form as $\arctan(\alpha_t/(r_\nu-\beta_t))$, equivalently $r_\nu=\beta_t+\alpha_t\cot\delta_t$, where $r_\nu=u_{\nu\nu}$ is the double-normal Hessian entry, $\alpha_t\ge 1$ and $|\beta_t|$ are bounded in terms of the gradient and mixed derivative bounds, and $L_t$ is the limiting phase obtained by sending the double-normal entry to $+\infty$ while holding tangential and mixed blocks fixed. At $t=1$, setting $\delta^*(u)=\min_{\partial\Omega}(B(x,u_\nu(x))-\theta)$, Theorem 1.7 concludes that every $(P,K_\varphi,Z)$-controlled convex solution satisfies $\sup_\Omega|D^2u|+\sup_\Omega|A[u]|\le C(1+\cot\delta^*(u))$ and $\sup_\Omega|D^2u|\ge\cot\delta^*(u)-C$, so for a uniformly controlled family, $\sup_\Omega|D^2u_j|\to\infty$ if and only if $\delta^*(u_j)\to 0$. The paper also shows that the mixed derivative estimate requires a genuinely new hypothesis rather than a phase subsolution, and that the rate $\delta^{-1}$ is attained by smooth radial solutions.

Load-bearing premise

The load-bearing premise is that on every boundary point where the two standard quadratic control terms both vanish, a certain linearized-separation quantity must stay positive by a fixed margin; the paper shows this does not follow automatically from the equation or from a strict phase subsolution.

Editorial extensions

If this is right

  • For any family of convex solutions satisfying uniform $C^1$ and boundary mixed derivative bounds, $\sup_\Omega|D^2u_j|\to\infty$ if and only if the realized boundary limiting-phase gap $\delta^*(u_j)\to 0$, with the same equivalence for the curvature norm $|A[u_j]|$.
  • The double-normal derivative obeys explicit two-sided bounds $\cot\delta - C \le u_{\nu\nu} \le C(1+\cot\delta)$, so the blow-up rate $\delta^{-1}$ is optimal and is attained by smooth radial solutions.
  • The mixed derivative estimate holds uniformly along the whole vertical graph homotopy $G_t=\theta$ whenever (MRC) holds with a uniform margin, giving a priori boundary Hessian bounds of the form $C_0+C_1\cot\sigma$ under a normal-window phase gap.
  • On the convex branch with $0<\theta<\pi/2$, the boundary gap satisfies $\delta^*\ge\pi/2-\theta>0$, so boundary curvature blow-up on the convex branch is a genuinely high-phase phenomenon.
  • A strict lower subsolution does not force strict convexity: there are smooth data with a strict convex subsolution whose unique convex solution is only rank-one.

Reading between the lines

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

  • Editorial extension: the exact Schur-complement identity is pointwise in $t$, so the same block calculation should apply to other gradient-dependent curvature equations whose composite curvature map is not jointly concave; the natural test is whether the resulting identity still yields a two-sided bound with an explicit $\alpha\ge 1$.
  • Editorial extension: because (MRC) is stated at the level of level jets, the sharpness of the barrier class leaves open whether the doubly degenerate jets are dynamically reachable by actual solutions; a construction of a genuine solution family realizing the bad jets would clarify whether the condition is necessary as well as sufficient.
  • Editorial extension: the equivalence (1.15) suggests a computable boundary diagnostic for numerical solvers: monitor the realized gap $\delta^*(u)$ on the boundary; if it approaches zero while the interior Hessian stays bounded, that would conflict with the lower bound in (1.14) and indicate a mixed-block effect left out of the controlled-data class.
  • Editorial extension: the rank-loss model in Proposition 6.4 indicates that any strict-convexity existence theory for this boundary problem needs a quantitative lower curvature estimate, since a strict lower subsolution alone cannot preserve full rank of $D^2u$.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 5 minor

Summary. The paper develops boundary second derivative estimates for convex graphical solutions of the special Lagrangian curvature potential equation F(A[u])=θ, where A[u] depends on both Du and D^2u. The central new object is the mixed recession compatibility condition (MRC), imposed only on doubly degenerate recession jets. Under (MRC), Theorem 1.4 establishes a uniform mixed tangential-normal boundary Hessian bound; Theorem 1.5 gives an exact complex Schur-complement identity u_{\nu\nu}=\beta+\alpha\cot\delta with explicit coefficients and 1\le\alpha\le C, |\beta|\le C; Theorem 1.7 converts this into a global curvature estimate and the equivalence sup|D^2u_j|\to\infty \iff \delta^*(u_j)\to 0 for uniformly controlled families; Theorem 1.8 constructs smooth radial solutions attaining the optimal \delta^{-1} rate with uniformly controlled lower-order boundary data but divergent C^4 boundary traces; Proposition 6.4 shows a strict lower subsolution need not force strict convexity.

Significance. If the results are correct, they provide sharp boundary recession criteria for a gradient-dependent curvature equation, going beyond the Hessian-phase theory where subsolution separation alone suffices. The paper's strengths are its explicitness: no fitted parameters appear, constants are displayed with their dependencies, the Schur-complement identity is exact rather than asymptotic, and the conditional role of (MRC) is stated openly. The MRC condition is genuinely load-bearing for Theorem 1.4, and the paper demonstrates in Remark 2.7 and Proposition 2.6 that it is not automatic from strict phase subsolution; Theorem 3.3 and Remark 3.4 honestly limit its sharpness to the fixed zero-order barrier class. Theorem 1.7, by contrast, assumes the mixed derivative bound Z as part of its controlled-data hypothesis, so the global equivalence is correctly framed as conditional. The sharpness family of Theorem 1.8 and the rank-loss counterexample of Proposition 6.4 strengthen the paper's claim that the identified mechanisms are both necessary and optimal within the stated scope.

minor comments (5)
  1. [Abstract and page 1] The abstract and page 1 contain the typo 'bothDu' where 'both Du' is intended; this should be corrected in the final version.
  2. [Section 4, before Theorem 1.5] The statement of Theorem 1.5 uses \alpha_t and \beta_t without restating their definitions; since they are defined only in the preceding paragraph, I recommend adding a pointer or restating the definitions in the theorem statement for readability.
  3. [Section 5, Corollary 5.3] Condition (5.9) writes M(x,s)\ge 0 under the infimum, which is easy to misread as a property of the gap; I suggest defining the set explicitly, for example {x\in\partial\Omega, s\in J_x, M(x,s)\ge 0}.
  4. [Section 3, Remark 3.4] Remark 3.4 is the key interpretive caveat for the mixed estimate, but it appears only after Theorem 3.3; consider moving or at least cross-referencing it from the discussion of Theorem 1.4 so that readers understand the scope of (MRC) before the main estimate is used.
  5. [Figures] Figure 2.1 is referenced only as a support-function illustration and has no descriptive caption text; either add a short caption and explanation or remove the figure, since the argument is already fully written out.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the estimates are derived from explicit hypotheses, and the sharpness family is constructed rather than fitted.

full rationale

The derivation chain is self-contained and non-circular. Theorem 1.4 derives the mixed derivative estimate from (MRC), which is stated as a hypothesis and is not shown to be automatic: Proposition 2.6 and Remark 2.7 explicitly exhibit jets where strict phase separation and joint concavity fail, and Theorem 3.3 with Remark 3.4 confines the necessity of (MRC) to the fixed barrier class (3.12), openly noting that failure of (MRC) need not produce actual solutions. The double-normal identity in Theorem 1.5 is an exact algebraic consequence of the complex Schur complement calculation in Lemma 4.1, with the coefficient bounds in Lemma 4.2 obtained from elementary linear algebra; no parameter is fitted to data and then renamed a prediction. Theorem 1.7 takes the mixed derivative bound Z as an input in the definition of controlled data, derives the upper bound (1.13) from the pointwise identity (4.9) and the mean-curvature maximum principle (Proposition 5.1), and derives the lower bound (1.14) from the same identity together with alpha >= 1. The equivalence (1.15) is the purely logical consequence of these two inequalities. Theorem 1.8 is a genuine construction: the radial family is solved from an explicit ODE, the boundary gap is computed by the rank-one determinant formula (6.5), and the uniform C^1, boundary C^3, and mixed derivative bounds are verified directly rather than imposed by the same estimates being proved. The cited works are contextual and are not used as load-bearing support for the new claims, and there are no self-citations by the present authors that carry the argument. No circular step is present.

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

No free parameters are fitted to data; the hypotheses (MRC, gap conditions, convexity) are structural assumptions, and no new physical or geometric entities are introduced. The MRC condition is a definition, not an invented entity with independent empirical content.

assumptions (6)
  • ad hoc to paper The mixed recession compatibility condition (MRC) in Definition 1.2 holds on ∂Ω with a positive uniform margin
    This is the new hypothesis of Theorem 1.4; it is not derived from the equation and is the paper's main structural assumption. Its sharpness is characterized in Theorem 3.3 within a restricted barrier class.
  • domain assumption Convexity of the solution: D²u ≥ 0 in Ω
    Assumed throughout the paper; the equation F(A[u])=θ is only treated on the convex branch. Proposition 6.4 shows strict convexity is not automatic even with a strict lower subsolution.
  • standard math F(M)=Σ arctan λ_i(M) is elliptic and concave on the positive semidefinite cone
    Invoked in Lemma 2.2, Corollary 3.6, and Proposition 5.1; the paper uses this standard fact without proof.
  • standard math Eigenvalue min-max and determinant identities, including the block determinant formula
    Used in Lemma 2.1, Lemma 4.1, and Lemma 6.1; background from matrix analysis.
  • standard math Weak maximum principle for the linearized second-order operator with nonnegative characteristic form applied to barriers
    Used in the proof of Theorem 1.4 and in Propositions 5.1 and 5.2; standard for elliptic equations with possibly degenerate coefficients as long as strict barrier inequalities hold.
  • domain assumption C^4 domain regularity and smoothness of the boundary distance function in a collar
    Theorems 1.4 and 1.8 assume Ω is C^4 and use the C^2 distance function in boundary collars; listed as part of the standing hypotheses.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Sharp Boundary Recession Criteria for the Special Lagrangian Curvature Potential Equation." pith.science (2026). https://pith.science/paper/65RP7QRK

@misc{pith2026260801065,
  author       = {Pith},
  title        = {Pith review of: Sharp Boundary Recession Criteria for the Special Lagrangian Curvature Potential Equation},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/65RP7QRK}},
  note         = {Machine review of arXiv:2608.01065}
}
abstract

We establish boundary second derivative estimates for convex graphical solutions of the special Lagrangian curvature potential equation. Since the curvature matrix depends on both $Du$ and $D^2u$, a phase subsolution alone does not provide the full linearized separation needed for the mixed derivative estimate. We introduce a mixed recession compatibility condition imposed only on doubly degenerate level jets. It yields a uniform mixed derivative bound and is sharp within the class of fixed smooth zero-order barriers considered here. For the double-normal derivative, an exact complex Schur-complement identity gives \[ u_{\nu\nu}=\beta+\alpha\cot\delta, \qquad 1\leq\alpha\leq C, \qquad |\beta|\leq C, \] where $\alpha$ and $\beta$ are explicit Schur-complement coefficients, $\delta$ is the actual boundary limiting-phase gap, and $C$ depends only on uniform bounds for the gradient and the mixed boundary derivatives. Thus curvature blows up if and only if this gap collapses, with optimal rate $\delta^{-1}$. Smooth radial solutions attain the rate, while a rank-loss model shows that a strict lower subsolution need not force strict convexity.

Figures

Figures reproduced from arXiv: 2608.01065 by the authors.

Figure 2.1
Figure 2.1. The support-function proof of Du(x) ∈ K. For example, a strict lower subsolution gives the lower normal bound directly: Lemma 2.2 yields w = u − u ≥ 0, and w = 0 on the boundary implies the one-sided inequality wν ≥ 0. An upper bound may come from a fixed supersolution or from any independent first-order estimate. The mixed recession condition then depends only on this localized set, not on an unspecified global gra… view at source ↗
Figure 6.1
Figure 6.1. The fixed ball tangent to the sphere |x| = R0 at x0. Then Ω ⊂ {R0 ≤ |x| ≤ R1}, and x0 = R0e1 is the unique point of Ω with radius R0. The inward unit normal of ∂Ω at x0 is e1, the radial direction. The radial curvature κr is decreasing in r, because ζδ is increasing and d dζ tan θ − (n − 1) arctan ζ  = −(n − 1)1 + κ 2 r 1 + ζ 2 < 0. By Step 1, κT = ζδ < ζ0. After reducing δ0 if necessary, ζ0 < cot δ. Moreover, the… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

28 extracted references · 26 canonical work pages

  1. [1]

    Bhattacharya,The Dirichlet problem for the Lagrangian mean curvature equation, Anal

    A. Bhattacharya,The Dirichlet problem for the Lagrangian mean curvature equation, Anal. PDE17 (2024), no. 8, 2719–2736

    work page 2024

  2. [2]

    Caffarelli, L

    L. Caffarelli, L. Nirenberg, and J. Spruck,Nonlinear second-order elliptic equations V. The Dirichlet problem for Weingarten hypersurfaces, Comm. Pure Appl. Math.41 (1988), 47–70

    work page 1988

  3. [3]

    J. Chen, Y. Yuan, and M. Warren,A priori estimate for convex solutions to special Lagrangian equations and its application, Comm. Pure Appl. Math.62 (2009), no. 4, 583–595

    work page 2009

  4. [4]

    T. C. Collins, S. Picard, and X. Wu,Concavity of the Lagrangian phase operator and applications, Calc. Var. Partial Differential Equations56 (2017), Paper No. 89

    work page 2017

  5. [5]

    Guan, The Dirichlet problem for a class of fully nonlinear elliptic equations, Comm

    B. Guan, The Dirichlet problem for a class of fully nonlinear elliptic equations, Comm. Partial Differential Equations 19 (1994), 399–416

    1994

  6. [6]

    Guan,Second-order estimates and regularity for fully nonlinear elliptic equations on Riemannian manifolds, Duke Math

    B. Guan,Second-order estimates and regularity for fully nonlinear elliptic equations on Riemannian manifolds, Duke Math. J.163 (2014), 1491–1524

    work page 2014

  7. [7]

    P. Guan, C. Ren, and Z. Wang,Global C 2-estimates for convex solutions of curvature equations, Comm. Pure Appl. Math.68 (2015), 1287–1325

    work page 2015

  8. [8]

    Harvey and H

    R. Harvey and H. B. Lawson, Jr.,Calibrated geometries, Acta Math.148 (1982), 47–157

    work page 1982

Show all 28 references
  1. [9]

    F. R. Harvey and H. B. Lawson, Jr.,Pseudoconvexity for the special Lagrangian potential equation, Calc. Var. Partial Differential Equations60 (2021), Paper No. 6, 37 pp

    2021

  2. [10]

    N. M. Ivochkina,The Dirichlet problem for the equations of curvature of orderm, Leningrad Math. J. 2 (1991), 631–654

    1991

  3. [11]

    Jiang and N

    F. Jiang and N. S. Trudinger,On the Dirichlet problem for general augmented Hessian equations, J. Differential Equations 269 (2020), 5204–5227

    2020

  4. [12]

    Jiang, N

    F. Jiang, N. S. Trudinger, and X.-P. Yang,On the Dirichlet problem for a class of augmented Hessian equations, J. Differential Equations258 (2015), 1548–1576

    2015

  5. [13]

    Jiao and Z

    H. Jiao and Z. Sun,The Dirichlet problem for a class of prescribed curvature equations, J. Geom. Anal. 32 (2022), Paper No. 261

    2022

  6. [14]

    Mooney and O

    C. Mooney and O. Savin,Non-C 1 solutions to the special Lagrangian equation, Duke Math. J.173 (2024), no. 15, 2929–2945

    2024

  7. [15]

    Nadirashvili and S

    N. Nadirashvili and S. Vlăduţ,Singular solution to special Lagrangian equations, Ann. Inst. H. Poincaré C Anal. Non Linéaire27 (2010), no. 5, 1179–1188

    2010

  8. [16]

    Qiu and G

    G. Qiu and G. Tao,Some counterexamples for the special Lagrangian curvature equation, preprint, arXiv:2607.23592, 2026

    2026 arXiv

  9. [17]

    Qiu and X

    G. Qiu and X. Zhou,A priori interior estimates for special Lagrangian curvature equations, preprint, arXiv:2407.15159, 2024

    2024 arXiv

  10. [18]

    Sheng, J

    W. Sheng, J. Urbas, and X.-J. Wang,Interior curvature bounds for a class of curvature equations, Duke Math. J.123 (2004), 235–264

    2004

  11. [19]

    Smith,Special Lagrangian curvature, Math

    G. Smith,Special Lagrangian curvature, Math. Ann.355 (2013), 57–95

    2013

  12. [20]

    Székelyhidi,Fully non-linear elliptic equations on compact Hermitian manifolds, J

    G. Székelyhidi,Fully non-linear elliptic equations on compact Hermitian manifolds, J. Differential Geom. 109 (2018), 337–378

    2018

  13. [21]

    N. S. Trudinger,The Dirichlet problem for the prescribed curvature equations, Arch. Rational Mech. Anal. 111 (1990), 153–179

    1990

  14. [22]

    N. S. Trudinger,On the Dirichlet problem for Hessian equations, Acta Math.175 (1995), 151–164

    1995

  15. [23]

    Wang and Y

    D. Wang and Y. Yuan,Singular solutions to special Lagrangian equations with subcritical phases and minimal surface systems, Amer. J. Math.135 (2013), no. 5, 1157–1177

    2013

  16. [24]

    Wang and Y

    D. Wang and Y. Yuan,Hessian estimates for special Lagrangian equations with critical and super- critical phases in general dimensions, Amer. J. Math.136 (2014), no. 2, 481–499

    2014

  17. [25]

    Warren and Y

    M. Warren and Y. Yuan,Hessian and gradient estimates for three dimensional special Lagrangian equations with large phase, Amer. J. Math.132 (2010), no. 3, 751–770

    2010

  18. [26]

    Xiang and Y

    N. Xiang and Y. Xiong,The Dirichlet problem of generalized special Lagrangian type equations and curvature version, Canad. J. Math., First View (2025), 1–27, doi: 10.4153/S0008414X25000252. 32 R. HUANG AND Q. JIANG

    2025 doi

  19. [27]

    Yuan,A Bernstein problem for special Lagrangian equations, Invent

    Y. Yuan,A Bernstein problem for special Lagrangian equations, Invent. Math.150 (2002), no. 1, 117–125

    2002

  20. [28]

    Yuan,Global solutions to special Lagrangian equations, Proc

    Y. Yuan,Global solutions to special Lagrangian equations, Proc. Amer. Math. Soc.134 (2006), no. 5, 1355–1358. School of Mathematics and Statistics, Guangxi Normal University, Guilin, Guangxi, 541004, China Email address: ronglihuangmath@gxnu.edu.cn School of Mathematical Scien...

    2006

Pith tools

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