Pith. sign in

REVIEW 4 major objections 4 minor 34 references

General monotone formula for homogeneous $k$-Hessian equation in the exterior domain and its applications

T0 review · 4 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash

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

Pith's one-line read For the homogeneous $k$-Hessian equation in an exterior domain, the overdetermined condition $|\nabla u|=c$ on the boundary is satisfied if and only if the domain is a ball.

desk verdict New monotone formula plus a genuine ball characterization for exterior k-Hessian problems; the proof leans on unverified estimates from two unpublished preprints, but that's a fixable gap. read the letter →

arxiv 2506.01434 v2 pith:LF4LIMKR submitted 2025-06-02 math.AP math.DG

Jiabin Yin , Xingjian Zhou This is my paper
classification math.APmath.DG MSC 35J6035N2552A40
keywords k-HessianequationoverdeterminedproblemexteriordomainballcharacterizationmonotoneformulageometricinequalityAleksandrov-Fenchelk-admissiblesolution
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 sets out to prove a sharp rigidity statement: for $1\le k < n/2$, a smooth bounded convex domain $\Omega$ in $\mathbb{R}^n$ admits a $k$-admissible solution (a solution with the right Hessian ellipticity) of the exterior homogeneous $k$-Hessian equation with constant boundary gradient if and only if $\Omega$ is a ball. The route is a new two-term monotone formula $F(t)$, built from level-set integrals of the $(k-1)$-st and $k$-th mean curvatures weighted by powers of $|\nabla u|$, whose monotonicity yields sharp weighted and Minkowski-type geometric inequalities with equality only for balls. The paper then combines two integral identities with these inequalities to force the overdetermined problem onto the equality case of an Aleksandrov-Fenchel inequality. This matters because the classical P-function approach to overdetermined exterior problems appears not to work for $k\ge2$, and the result extends the $k=1$ anisotropic-capacity characterization to the full range $1\le k

What carries the argument

The carrying object is the level-set functional $F(t)$ with two curvature integrands, weighted by powers of the gradient, and with coefficients $C_1(t)$, $C_2(t)$ prescribed by an ODE system. The ODE choice makes the derivative of $F(t)$ a sum of non-positive terms up to an approximation error that vanishes with $\varepsilon$, so $F(t)$ is non-increasing on $[-1,0)$. The second ingredient is the asymptotic expansion $u(x)=-\rho|x|^{2-n/k}+o(|x|^{2-n/k})$, which fixes the $t\to0$ limit of $F(t)$ and the growth of the level sets, converting monotonicity into sharp lower bounds. For Theorem 3, the machinery is a pair of integral identities obtained by divergence theorem and Rellich-Pohozaev-type computation on $S^{ij}_k$ and $S^{ij}_{k-1}$; together with the Minkowskian integral formula they isolate the constant $c$ as a ratio of quermassintegrals, and the weighted inequality of Theorem 2 runs against the Aleksandrov-Fenchel inequality until equality forces all principal curvatures to be equal.

What would settle it

Find a smooth bounded convex non-ball $\Omega$ for which a numerical or analytic solution of (1) satisfies $|\nabla u|=c$ on $\partial\Omega$; Theorem 3 asserts that no such pair exists. A sharper check is to test the asymptotic expansion of Lemma 6 on a non-star-shaped $(k-1)$-convex domain, since the proof's limit computation would break if that expansion fails.

Watch

Extended reading notes

Core claim

The central claim is that the exterior Dirichlet problem for $S_k(\nabla^2u)=0$, $u=-1$ on $\partial\Omega$, $u\to0$ at infinity, solved by a $k$-admissible function $u$, is rigid under the extra boundary condition $|\nabla u|=c$: for smooth bounded convex $\Omega$ and $1\le k<n/2$, the only such domain is the ball. The proof establishes a general monotone formula for $F(t)=C_1(t)\int_{\Sigma_t} H_k|\nabla u|^a + C_2(t)\int_{\Sigma_t} H_{k-1}|\nabla u|^{a+1}$ along level sets $\Sigma_t=\{u=t\}$, with $C_1$ and $C_2$ chosen to solve a first-order ODE system so that $F$ is non-increasing in $t$. Using the asymptotic $u(x)=-\rho|x|^{2-n/k}+o(|x|^{2-n/k})$, the paper computes the limiting value of $F(t)$ and obtains, for $a\ge k(n-k-1)/(n-k)$, the sharp weighted inequality $\frac{n-k}{n-2k}\int_\Sigma |\nabla u|^{a+1}H_{k-1}\le \int_\Sigma |\nabla u|^a H_k$ and a generalized Minkowski inequality, each with equality exactly on balls. For the overdetermined theorem, two further integral identities give an explicit formula for the boundary gradient $c$ in terms of $\int H_{k-1}/\int H_{k-2}$; combining that formula with the weighted inequality reverses a special Aleksandrov-Fenchel inequality, so equality must hold in that inequality, which forces $\Omega$ to be a ball.

Load-bearing premise

The proof depends on the exterior solution $u$ having regular level sets throughout and obeying the asymptotic $u(x)=-\rho|x|^{2-n/k}+o(|x|^{2-n/k})$; if either fails for some admissible domain, the limiting value of $F(t)$ and the boundary integral identities no longer follow.

Editorial extensions

If this is right

  • For every $k$-convex star-shaped domain and every admissible exponent $a$, inequality (6) holds with equality only for balls; this recovers and sharpens the previously known weighted inequality for the exterior $k$-Hessian potential.
  • The generalized Minkowski inequality (7) holds for $k$-admissible exterior solutions, with the same sphere equality case, giving a level-set proof of a sharp quermassintegral bound.
  • The overdetermined problem (1)+(10) has no non-ball convex solution: any constant-flux exterior $k$-Hessian configuration in the allowed parameter range must be spherical.
  • The boundary gradient $c$ is not free data; it is determined by the domain through $c=\frac{n-2k}{k}\cdot\frac{k-1}{n-k+1}\cdot\frac{\int H_{k-1}}{\int H_{k-2}}$, an explicit rigidity formula.
  • If the special Aleksandrov-Fenchel inequalities used in the final step can be proved under $k$-convexity and star-shapedness, the convexity hypothesis in Theorem 3 can be relaxed, as the paper notes.

Reading between the lines

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

  • Editorial inference: the same ODE-cancellation construction should extend to other homogeneous curvature equations whose solutions share an inverse-power asymptotic, giving monotone formulas for anisotropic or $p$-capacitary exterior problems.
  • Editorial inference: the equality case analysis suggests a quantitative stability statement—domains that nearly satisfy the overdetermined condition should be near-balls, with a closeness exponent controlled by the gap in the Aleksandrov-Fenchel inequality.
  • Editorial inference: the paper's reliance on level-set regularity at infinity for all $s\in[-1,0)$ means the sharp inequalities in Theorems 1-2 are tied to the exterior solution theory for $(k-1)$-convex star-shaped domains; extending that theory to more general domains would automatically extend the inequalities.
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.

Referee Report

4 major / 4 minor

Summary. The paper studies the exterior Dirichlet problem (1) for the homogeneous k-Hessian equation with 1 ≤ k < n/2 on the complement of a smooth bounded domain Ω. It introduces a two-term level-set quantity F(t) (equation (4)) and proves, under k-convexity and star-shapedness of Ω, a monotonicity formula for F(t) together with a lower bound whose equality case is claimed to characterize spheres. From this it derives the geometric inequalities (6) and (7) with equality cases, and then proves the main overdetermined result Theorem 3: if a solution of (1) additionally satisfies |∇u| = c on ∂Ω and Ω is smooth, bounded, and convex, then Ω is a ball. The proof of Theorem 3 combines two integral identities (Lemmas 9 and 10) with the geometric inequality (6) and a special Alexandrov-Fenchel inequality, following the strategy of Brandolini-Nitsch-Salani for the anisotropic capacity.

Significance. If the result is correct, Theorem 3 is a genuine extension of Reichel's overdetermined capacity theorem and of Brandolini-Nitsch-Salani's anisotropic-capacity result to the k-Hessian setting, and it answers the non-Weinberger case k ≥ 2. The monotone quantity (3) is a meaningful new construction: it genuinely combines two curvature integrals and its limit at infinity is computed rather than imposed. The paper also provides detailed PDE computations in the approximation argument. The main weakness is that the load-bearing asymptotic and regularity facts are imported from two unpublished arXiv preprints, and the equality case of the monotone formula is asserted rather than proved. Such a paper is publishable after the gaps identified below are fixed and the main lemma is made verifiable.

major comments (4)
  1. [Section 3, Lemma 6 and Lemma 8] The proof of Theorem 1, and therefore the geometric inequality (6) used in Theorem 3, depends on the C^2 asymptotic expansion (25)-(27) and on the regularity of every level set {u = s}, s ∈ [-1,0), taken from the unpublished preprint [34]. Lemma 8 passes the o(1) terms in (25)-(27) through the integrals defining H_k, H_{k-1}, and the surface measures, and it uses the outer-minimizing argument (28)-(30) without a uniformity justification. Since the limit (31) is the only bridge between the PDE solution and the claimed inequality, the central argument is unsupported unless Lemma 6 is proved in the paper or replaced by a verifiable published statement. I ask the authors to provide a self-contained proof of, at least, the asymptotic expansion and the uniform remainder estimates, or to cite a published version of [34] that contains these statements.
  2. [Section 3, Proposition 7] The equality characterization in Proposition 7 is not proved. The proof ends with the assertion that if F(t) is constant then Σ_t is umbilical, but no argument is given for this implication, nor for why umbilicality of all level sets together with the star-shapedness and k-convexity assumptions forces Ω to be a ball. This equality statement is used in the 'if and only if' assertions of Theorems 1 and 2. Either supply the missing argument in detail or, if the main goal is Theorem 3, restrict the equality claims to the cases actually needed.
  3. [Section 4, proof of Theorem 3] The final step of the proof of Theorem 3 invokes 'special Alexandrov-Fenchel inequalities' without stating them explicitly, only citing Section 7.4 of [28]. The exact inequality, its equality condition, and the verification that the convexity hypotheses of [28] hold for Ω are load-bearing, since this is the step that yields the equality forcing Ω to be a ball. Please write out the inequality and the equality case as a lemma, and make the reduction for k = 1 to [11] explicit.
  4. [Section 4, Lemma 9] Lemma 9 and its use of (33) require the boundary convergence lim_{ε→0} |∇u_ε| = |∇u| = c on ∂Ω. This convergence is asserted with a citation to [21] and [34] but is not proved in the manuscript. Since (40), which is essential for Theorem 3, follows from the boundary terms in (32) and (34), this convergence should be justified in the paper or by a published reference.
minor comments (4)
  1. [Section 3, Lemma 8] In the proof of Lemma 8, the sentence 'as t large enough, H > 0 along Σ_t' should read 'as t close to 0 from below' or 'as t → 0^-'.
  2. [Appendix A, Lemma 11] In the estimate following (A8), the quantity written as H_1 should be H_{k-1} (or the appropriate curvature term from the preceding displayed formula); the notation should be corrected for consistency.
  3. [Section 4, Lemma 10, equation (37)] In equation (37) the middle integral appears to have a missing factor u_l: the first term should involve S^{ij}_k u_i u_l x_l ν_j, not S^{ij}_k u_i x_l ν_j. Please check the displayed formula.
  4. [References] References [21] and [34] are arXiv preprints; if they have appeared in journals in the meantime, the published versions should be cited.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the monotone F(t) is explicitly constructed with ODE-chosen weights, the limit (31) is computed from an external asymptotic expansion, and Theorem 3 is obtained by combining (6) with integral identities and external Alexandrov–Fenchel inequalities.

full rationale

The derivation chain is procedural, not self-referential. F(t) is defined with coefficients C1,C2 solving the ODE system in Appendix A, and Proposition 7 proves monotonicity by estimating div Xε; the lower bound (5) follows from an independently computed limit (31) and the asymptotic Lemma 6 cited from Xiao [34]. Inequalities (6) and (7) in Theorem 2 are obtained by choosing C3,C4 in the already-proved bound (5), so they are not fitted inputs disguised as predictions. Theorem 3 combines the integral identities (32) and (34) with inequality (6) and the Alexandrov–Fenchel inequalities from Schneider [28]; equality in that external inequality forces the ball. No equation reduces to the conclusion by construction, and no load-bearing step relies on the present authors' own prior work. The main fragility—Lemma 6 (existence of the C^2 asymptotic expansion and regularity of all level sets) being cited from an unpublished preprint—is a correctness risk about an external input, not circularity.

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

The central results rest on previously established existence and regularity theory for k-Hessian exterior problems (Ma-Zhang, Xiao) and on classical convex geometry facts (Alexandrov-Fenchel inequalities). The paper introduces no fitted parameters and no new entities; the new object is a two-parameter family of functionals F(t).

assumptions (7)
  • domain assumption Existence, uniqueness and C^{1,1} regularity of the k-admissible exterior solution, plus its asymptotic expansion u ∼ -ρ|x|^{2-n/k} and regularity of all level sets.
    Invoked as Lemma 6 from Xiao [34]; used in Lemma 8 to compute the limit (31) and in the monotone formula.
  • domain assumption Uniform C^0-C^2 estimates for the approximating solutions u_ε of the regularized problem (17).
    Needed to justify the ε→0 limit in Proposition 7 and Lemma 11; cited to Ma-Zhang [21] and Xiao [34].
  • standard math Algebraic and concavity properties of k-Hessian operators, including concavity of (S_k)^{1/k}, divergence-free S^{ij}_k, and level-set curvature identities (14)-(15).
    Used throughout, from Reilly [27] and Trudinger [30].
  • standard math Minkowskian integral formula ∫∂Ω ⟨x,ν⟩ H_k = ((n-k)/k) ∫∂Ω H_{k-1}.
    Used in Lemma 10 to simplify boundary integrals.
  • domain assumption Special Alexandrov-Fenchel inequality for smooth convex bodies: (n-k)(k-1)(∫H_{k-1})^2 ≥ (n-k+1)k ∫H_k ∫H_{k-2}, with equality iff ball.
    Used in Theorem 3; from Schneider [28, Notes for Section 7.4].
  • domain assumption For k=1, the overdetermined capacity problem is solved by Brandolini-Nitsch-Salani [11], giving that Ω is a ball.
    Used for the k=1 case of Theorem 3.
  • domain assumption Sublevel sets of a k-convex function are (k-1)-convex.
    Guarantees level-set curvature integrals are defined on the appropriate convexity class; from Caffarelli-Nirenberg-Spruck [13].

how reviews work

0 comments
Cite this review

Pith. "Pith review of General monotone formula for homogeneous $k$-Hessian equation in the exterior domain and its applications." pith.science (2026). https://pith.science/paper/LF4LIMKR

@misc{pith2026250601434,
  author       = {Pith},
  title        = {Pith review of: General monotone formula for homogeneous $k$-Hessian equation in the exterior domain and its applications},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/LF4LIMKR}},
  note         = {Machine review of arXiv:2506.01434}
}
abstract

In this paper, we deal with an overdetermined problem for the $k$-Hessian equation ($1\leq k<\frac n2$) in the exterior domain and prove the corresponding ball characterizations. Since that Weinberger type approach seems to fail to solve the problem, we give a new perspective to solve exterior overdetermined problem by combining two integral identities and geometric inequalities inspired by Brandolini-Nitsch-Salani's results \cite{BNS}. Meanwhile, we establish general monotone formulas to derive geometric inequalities related to $k$-admissible solution $u$ in $\mathbb R^n\setminus\Omega$, where $\Omega$ is smooth, $k$-convex and star-shaped domain, which constructed by Ma-Zhang\cite{MZ} and Xiao\cite{xiao}.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

34 extracted references · 31 canonical work pages

  1. [21]

    X.N. Ma, D.K. Zhang. The exterior dirichlet problem for the homogeneous k- Hessian equation. arXiv:2207.13504v1

    arXiv

  2. [34]

    L. Xiao. Generalized Minkowski inequality via degenerate k-Hessian equation on the exterior domain. arXiv:2207.05673v1 19

    arXiv

  3. [28]

    Schneider

    R. Schneider. Convex bodies: the Brunn-Minkowski theory. Encyclopedia of Mathematics and its Applications, vol. 44. Cambridge University Press, Cam- bridge, 1993

    work page 1993

  4. [11]

    Brandolini, C

    B. Brandolini, C. Nitsch, P. Salani. An overdetermined problem for the anisotropic capacity. Calc. Var. Partial Equations 55(2016), no. 4, Art. 84, 24 pp

    work page 2016

  5. [1]

    Agostiniani, M

    V. Agostiniani, M. Fogagnolo, L. Mazzieri. Sharp geometric inequalities for closed hypersurfaces in manifolds with nonnegative Ricci curvature. Invent. Math. 222 (2020), no. 3, 1033-1101

    work page 2020

  6. [2]

    Agostiniani, M

    V. Agostiniani, M. Fogagnolo, L. Mazzieri. Minkowski inequalities via nonlinear potential theory. Arch. Ration. Mech. Anal., 244(1):51-85, 2022. 16

    work page 2022

  7. [3]

    Agostiniani, L

    V. Agostiniani, L. Mazzieri. On the geometry of the level sets of bounded static potentials. Comm. Math. Phys. 355 (2017), no. 1, 261-301

    work page 2017

  8. [4]

    Agostiniani, L

    V. Agostiniani, L. Mazzieri. Monotonicity formulas in potential theory. Calc. Var. Partial Differential Equations, 59(1):Paper No. 6, 32, 2020

    work page 2020

Show all 34 references
  1. [5]

    Agostiniani, C

    V. Agostiniani, C. Mantegazza, L. Mazzieri, F. Oronzio. Riemannian Penrose inequality via Nonlinear Potential Theory, arXiv:2205.11642

    arXiv

  2. [6]

    Agostiniani, L

    V. Agostiniani, L. Mazzieri, F. Oronzio. A geometric capacitary inequality for sub-static manifolds with harmonic potentials. Math. Eng. 4 (2022), no. 2, Paper No. 013, 40 pp

    2022

  3. [7]

    Agostiniani, L

    V. Agostiniani, L. Mazzieri, F. Oronzio. A Green’s function proof of the positive mass theorem. Comm. Math. Phys. 405 (2024), no. 2, Paper No. 54, 23 pp

    2024

  4. [8]

    A. D. Alexandrov. Uniqueness theorem for surfaces in the large, V. Vestnik, Leningrad Univ. 13, 19 (1958), 5-8, Amer. Math. Soc. Transl. 21, Ser. 2, 412-416

    1958

  5. [9]

    A. D. Alexandrov. A characteristic property of spheres, Ann. Math. Pura Appl. 58 (1962), 303-315

    1962

  6. [10]

    Benatti, M

    L. Benatti, M. Fogagnolo, L. Mazzieri. Minkowski inequality on complete Rie- mannian manifolds with nonnegative Ricci curvature. Anal. PDE 17 (2024), no. 9, 3039-3077

    2024

  7. [12]

    Brandolini, C

    B. Brandolini, C. Nitsch, P. Salani, C. Trombetti. Serrin-type overdetermined problems: an alternative proof. Arch. Ration. Mech. Anal. 190 (2008), no. 2, 267-280

    2008

  8. [13]

    Caffarelli, L

    L. Caffarelli, L. Nirenberg, J. Spruck. The Dirichlet problem for nonlinear second- order elliptic equations. III. Functions of the eigenvalues of the Hessian. Acta Math. 155 (1985), 261-301

    1985

  9. [14]

    Della Pietra, N

    F. Della Pietra, N. Gavitone, C. Xia. Symmetrization with respect to mixed volumes. Adv. Math. 388(2021)

    2021

  10. [15]

    Fogagnolo, L

    M. Fogagnolo, L. Mazzieri. Minimising hulls, p-capacisty and isoperimetric inequality on complete Riemannian manifolds. J. Funct. Anal. 283 (2022), no. 9, Paper No. 109638, 49 pp

    2022

  11. [16]

    Fogagnolo, L

    M. Fogagnolo, L. Mazzieri, A. Pinamonti. Geometric aspects of p-capacitary potentials. Ann. Inst. H. Poincar´ e C Anal. Non Lin´ eaire, 36(4):1151-1179, 2019. 17

    2019

  12. [17]

    L. Garding. An inequality for hyperbolic polynomials. J. Math. Mech. 8 (1959): 957-65

    1959

  13. [18]

    Garofalo, E

    N. Garofalo, E. Sartori. Symmetry in exterior boundary value problems for quasi- linear elliptic equations via blow-up and apriori estimates. Adv Differ Equ. 4 (1999), 137-161

    1999

  14. [19]

    P. Guan, J. Li. The quermassintegral inequalities for k-convex star-shaped domains. Adv. Math. 221, no. 5 (2009): 1725-32

    2009

  15. [20]

    C.C. Hsiung. Some integral formulas for closed hypersurfaces. Math. Scand. 2, (1954) 286-294

    1954

  16. [22]

    P.Z. Miao. Implications of some mass-capacity inequalities. J. Geom. Anal. 34 (2024), no. 8, Paper No. 241, 16 pp

    2024

  17. [23]

    G. Poggesi. Radial symmetry for p-harmonic functions in exterior and punctured domains. Appl. Anal. 98 (2019), no. 10, 1785-1798

    2019

  18. [24]

    G.H. Qiu, C. Xia. Classical Neumann problems for Hessian equations and Alexandrov-Fenchel’s inequalities. Int. Math. Res. Not. IMRN 2019, no. 20, 6285-6303

    2019

  19. [25]

    W. Reichel. Radial symmetry for elliptic boundary-value problems on exterior domains. Arch. Rational Mech. Anal. 137 (1997), no. 3, 381-394

    1997

  20. [26]

    W. Reichel. Radial symmetry for an electrostatic, a capillarity and some fully nonlinear overdetermined problems on exterior domains. Z Anal Anwend. 15 (1996),619-635

    1996

  21. [27]

    R.C. Reilly. On the Hessian of a function and the curvatures of its graph. Michigan Math. J., 20 (1973) 373-383

    1973

  22. [29]

    J. Serrin. A symmetry problem in potential theory. Arch. Ration. Mech. Anal. 43 (1971), 304-318

    1971

  23. [30]

    N. S. Trudinger. On new isoperimetric inequalities and symmetrization. J. Reine Angew. Math. 488 (1997), 203-220

    1997

  24. [31]

    Weinberger

    H.F. Weinberger. Remark on the preceding paper of Serrin. Arch. Ration. Mech. Anal. 43 (1971), 319-320. 18

    1971

  25. [32]

    Xia, J.B

    C. Xia, J.B. Yin. Two overdetermined problems for anisotropic p-Laplacian. Math. Eng. 4 (2022), no. 2, Paper No. 015, 18 pp

    2022

  26. [33]

    Xia, J.B

    C. Xia, J.B. Yin, X.J. Zhou. New monotonicity for p-capacitary functions in 3- manifolds with nonnegative scalar curvature. Adv. Math. 440 (2024), Paper No. 109526, 40 pp

    2024

Pith tools

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