Pith. sign in

REVIEW 4 major objections 5 minor 11 references

Exterior Dirichlet problem for Hessian equations on a non-convex ring

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

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

Pith's one-line read This paper proves that the exterior Dirichlet problem for Hessian equations has a smooth solution outside a star-shaped strictly (k-1)-convex domain.

desk verdict Genuinely new geometric relaxation to strict (k-1)-convexity, with smooth solutions; the core is correct but the paper omits existence of its bounded-domain approximants and the stated uniqueness. read the letter →

arxiv 2507.08993 v2 pith:PWWGYBRV submitted 2025-07-11 math.AP

Yanyan Li , Ling Xiao This is my paper · ORCID
classification math.AP MSC 35J6035J9635B4035D4035B65
keywords HessianequationsexteriorDirichletproblemnon-convexringstar-shapeddomainstrictly(k-1)-convexviscositysubsolutionasymptoticdecayellipticPDE
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 establishes existence of smooth solutions to the exterior Dirichlet problem for the Hessian equation $\sigma_k(\lambda(D^2u))=1$ on $\mathbb{R}^n\setminus D$, when the bounded domain $D$ is star-shaped and strictly $(k-1)$-convex rather than convex. Previous results for Hessian equations of this type required strict convexity of the boundary and, except in the Monge–Ampère case, produced only viscosity solutions. The new theorem supplies a strictly $k$-convex solution in $C^\infty(\mathbb{R}^n\setminus D)$ with prescribed quadratic growth at infinity, for every $2\le k\le n$. A sympathetic reader should care because this moves the solvability boundary from convex geometry to a milder curvature condition that still leaves enough control for elliptic estimates.

What carries the argument

The central object is the radial-graph rescaling $b=r/\rho(\theta)$, where $\partial D$ is written as $r=\rho(\theta)$. Its Hessian has an explicit block form in spherical coordinates in terms of the principal curvature matrix of the boundary, and the decisive inequality (2.9) bounds $\sigma_m(D^2(b^N-1+\varphi))$ from below by $\frac{M^{m-1}}{r^{m-1}}(c_1 B/\rho^2-c_0 M/r)$, where $c_1=\min\sigma_{m-1}(\kappa)>0$ encodes strict $(k-1)$-convexity. This gives the subsolution inside $E_1\setminus\bar D$; outside $E_1$ the authors use generalized symmetric subsolutions $\omega_{\alpha,\beta}(s)=\int_1^s(1+\alpha t^{-\beta})^{1/k}dt$, and the two pieces are glued across $\partial E_1$ by a normal-derivative jump that preserves the viscosity subsolution property.

What would settle it

Take $n=3$, $k=2$, and a smooth star-shaped domain whose boundary has positive mean curvature except at one flat umbilic point where both principal curvatures vanish (for instance a smoothed flat-capped surface). At that point, inequality (2.9) has $c_1=0$, so the radial subsolution $b^N-1+\varphi$ should fail to be 2-convex along the normal approach; checking whether any other term restores $k$-convexity would settle whether strictness of $(k-1)$-convexity is genuinely needed.

Watch

Extended reading notes

Core claim

Theorem 1.4 states that for $n\ge 3$, $2\le k\le n$, and a bounded, smooth, star-shaped, strictly $(k-1)$-convex domain $D\subset\mathbb{R}^n$, given any $A\in A_k$, any $b\in\mathbb{R}^n$, and any $\varphi\in C^\infty(\partial D)$, there exists $c_*$ such that for every $c>c_*$ there is a unique strictly $k$-convex solution $u\in C^\infty(\mathbb{R}^n\setminus D)$ of $\sigma_k(\lambda(D^2u))=1$ in $\mathbb{R}^n\setminus\bar D$, $u=\varphi$ on $\partial D$, with $\limsup_{|x|\to\infty}|x|^{n-2}|u-(\tfrac12 x^T A x+b\cdot x+c)|<\infty$. The solution is obtained as the monotone, locally smooth limit of solutions on bounded ellipsoidal rings $E_R\setminus\bar D$, and Theorem 1.5 gives the corresponding decay for all derivatives of the correction term $E=u-(\tfrac12x^T A x+c)$: $\limsup_{|x|\to\infty}|x|^{n-2+m}|D^m E(x)|<\infty$ for every $m\ge 1$.

Load-bearing premise

The whole construction depends on the boundary $\partial D$ having strictly positive $(k-1)$-curvature, so that $c_1=\min\sigma_{k-1}(\kappa)>0$; if some boundary point has zero $(k-1)$-curvature, the key lower bound (2.9) loses its positive term and the subsolution, and hence the gluing argument, can collapse.

Editorial extensions

If this is right

  • For $2\le k<n$, existence no longer demands convexity of $D$: any star-shaped domain whose boundary has positive $(k-1)$-curvature is admissible, so rings with some negative principal curvatures are allowed.
  • The approximating solutions on $E_R\setminus\bar D$ converge smoothly on compact sets, so the limiting exterior solution is classical, not merely a viscosity solution.
  • The prescribed quadratic asymptotic is sharp: the correction term and all of its derivatives decay at the rates in (1.2)–(1.3), so the solution class with that asymptotic is controlled at infinity.
  • For each $c>c_*$ the solution is unique; varying $c$ produces a one-parameter family of exterior solutions with the same boundary data and the same quadratic part.
  • When $k=n$, strict $(k-1)$-convexity reduces to strict convexity, and the theorem recovers the classical exterior Monge–Ampère existence result with boundary smoothness of the solution.

Reading between the lines

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

  • If the same machinery transfers, Hessian quotient equations $\sigma_k/\sigma_l=1$ outside strictly $(k-1)$-convex star-shaped domains should be solvable by the same radial-graph construction, since the argument uses only the cone property and Maclaurin inequalities.
  • The strictness of $(k-1)$-convexity enters only through the positive constant $c_1$; a natural extension would be to allow isolated points where $\sigma_{k-1}(\kappa)=0$ and compensate with an extra term in the subsolution.
  • The threshold $c_*$ is geometric in nature: making it explicit in terms of $|\varphi|_{C^2}$, the curvature minimum, and the quadratic data would turn the existence criterion into a checkable quantitative one.
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 / 5 minor

Summary. The paper studies the exterior Dirichlet problem for Hessian equations, σ_k(D^2u)=1 in R^n\overline{D} with u=φ on ∂D, where D is a bounded, smooth, star-shaped, strictly (k-1)-convex domain in R^n, n≥3, and the solution is required to have the quadratic growth prescribed by a matrix A∈A_k. The main result (Theorem 1.4) claims existence and uniqueness of a smooth strictly k-convex solution with the asymptotic behavior (1.2), extending earlier results of Bao–Li–Li [1] and Caffarelli–Li [4] from strictly convex domains to non-convex (k-1)-convex domains. Theorem 1.5 claims decay estimates for all derivatives of the remainder. The proof constructs a piecewise-smooth subsolution by gluing a radial power-type subsolution in E_1\overline{D} with a generalized symmetric subsolution in R^n\E_1, then considers approximating Dirichlet problems on bounded annular domains E_R\overline{D}. It derives uniform C^0, C^1, C^2 estimates for these approximating solutions and passes to a monotone limit to obtain a smooth solution of the exterior problem. The final section derives the asymptotic expansion near infinity and the derivative estimates.

Significance. If the proof is completed, the result is a genuine extension of the known exterior Hessian equation theory: it replaces the strict convexity condition on D, which is used in all prior works cited in the paper, by the weaker strict (k-1)-convexity plus star-shapedness, and it yields C^∞ regularity rather than merely viscosity regularity. The construction of the subsolution in the non-convex ring, especially the use of the boundary principal curvature in the strict (k-1)-convexity condition, is the main technical novelty and is plausible. The paper also makes concrete use of the linear asymptotic expansion for the solution, following the strategy of Caffarelli–Li [4]. The central claims are significant for the field if the gaps identified below are filled.

major comments (4)
  1. [Section 3, Eq. (3.1)] The existence of a smooth strictly k-convex solution u_R of (3.1) is asserted at the beginning of Section 3, but no proof or theorem citation is provided. Lemmas 3.1–3.9 are all conditional on the existence of such u_R. No Perron method, continuity argument, or reference to the standard k-convex Dirichlet existence theory (e.g., Caffarelli–Nirenberg–Spruck [5] or Bao–Li–Li [1]) is given. Since the monotone limit in Section 3.4 requires the family {u_R}, this gap is load-bearing. The gap appears repairable by invoking the known solvability theorem with \bar{u} as a viscosity subsolution and \bar{u}_R as a supersolution, but as written the existence of the approximating solutions is not established.
  2. [Theorem 1.4 and Sections 3–4] The uniqueness statement in Theorem 1.4 is stated but never proven. Section 3 proves existence of the limiting solution and Section 4 proves the asymptotic behavior; there is no comparison argument showing that two smooth strictly k-convex solutions with the same prescribed quadratic growth must coincide. This is a missing proof for a stated part of the main theorem and must be added.
  3. [Remark 3.2 and Lemma 3.1] Lemma 3.1 uses \bar{u} as a subsolution in a maximum principle argument, but \bar{u} is only piecewise smooth and has a jump in normal derivative across ∂E_1. The proof treats the interface with a limiting argument that is not fully justified. Remark 3.2 states that a small modification of the proof of Lemma 3.1 would show \bar{u} is a viscosity subsolution, but that modification is not supplied. Since \bar{u} being a viscosity subsolution is a prerequisite both for Lemma 3.1 and for applying standard existence theory to (3.1), this missing proof affects the core existence argument.
  4. [Section 4, Theorem 1.5 derivation] The estimate (4.3) gives |D^mE(x)| ≤ C|x|^{-(2β-2+m)} with β strictly less than n/2 for k<n, because β < k/(2h_k) ≤ n/2 and the case h_k=k/n gives β<n/2. The sentence 'Repeating the argument above by replacing β with n/2 gives Theorem 1.5' is not justified: the construction in Section 2.2 does not allow β=n/2. A more detailed argument is needed to upgrade (4.3) to the stronger decay (1.3), presumably via the linear asymptotic expansion obtained from Lemma 3.6 of [4].
minor comments (5)
  1. [Section 2.1.2] The symbol φ is used both for the boundary data and for the function b^N in the Claim inside the proof of Proposition 2.1; this overloading makes the proof harder to follow and should be fixed by using a different letter for the power function.
  2. [Proposition 2.2] The formula for μ(α,β) should be parenthesized clearly; as printed, 'µ(α, β) = ∫_1^∞ [(1 + αt^{-β})^{1/k} − 1]dt − 1' is ambiguous and is followed by '< ∞' which is unnecessary and confusing.
  3. [Section 3.4] The monotonicity assertion 'when R_1<R_2 ... u_{R_2}<u_{R_1}' needs a brief justification: one must use that \bar{u}_{R_2}<\bar{u}_{R_1} on ∂E_{R_1}, together with the comparison principle on Ω_{R_1}.
  4. [Section 4] The normalization μ(α,β)=0 is introduced without comment; it should be explained that this shift is absorbed into the constant c in (1.2).
  5. [Throughout] There are several typographical issues, for example 'Futhermore' in Lemma 3.4 and the stray 'r <' in the displayed equation of Lemma 3.4.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the main theorem is not equivalent to its inputs, and the cited prior results are used as external tools, not as disguised versions of the conclusion.

full rationale

The derivation chain is not circular. The subsolution \bar u is constructed explicitly (Section 2): \bar\phi = b^N - 1 + \varphi in E_1\setminus\bar D and \bar\phi_1 = \omega_{\alpha,\beta} + s^{-\Lambda}\tilde\varphi outside E_1, with the gluing condition (2.20). The estimates in Section 3 are conditional on the existence of u_R for the bounded-domain problem (3.1), and the paper states "We will show that for any R ... there exists a smooth, strictly k-convex solution" but supplies only a priori estimates; Remark 3.2 likewise defers the proof that \bar u is a viscosity subsolution. This is a genuine rigor gap in the written proof, but it is not circularity: no equation is defined in terms of the conclusion, and no fitted parameter is relabeled as a prediction. The self-citations to [1] (Bao-Li-Li, including Y. Y. Li), [4] (Caffarelli-Li), and [11] (Xiao) are load-bearing as tools: the algebraic inequality (2.13) from [1] and the linear-elliptic Lemma 3.6 from [4] are external results that do not presuppose the target theorem, and the calculation borrowed from [11] is reproduced in the paper. The central novelty, replacing strict convexity by strict (k-1)-convexity plus star-shapedness, is not a renaming of those earlier results. Therefore no circular step can be exhibited, and the appropriate circularity score is 0.

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

No data-fitted parameters appear in the theorem; the constants c*, N, alpha, beta, and Lambda in the proof are existence thresholds chosen by inequalities, not fitted values. The main unseen inputs are cited lemmas from [1], [4], [5], and [7] that the paper explicitly relies on without re-deriving them.

assumptions (6)
  • standard math The function F(xi) = sigma_k(xi)^{1/k} is concave on the Garding cone Gamma_k.
    Used in Lemmas 3.6 and 3.9 to obtain maximum principles for the linearized operator and global C^2 estimates.
  • standard math Comparison principle and strong maximum principle for uniformly elliptic operators applied to k-convex solutions.
    Used in Lemmas 3.1, 3.3, and 3.4 to sandwich uR between barriers and to derive boundary derivative estimates.
  • domain assumption Existence of a smooth strictly k-convex solution uR to the bounded Dirichlet problem (3.1) on the annular domain E_R minus the closed obstacle for each large R.
    Asserted in Section 3 without proof or explicit citation; it is presumably a consequence of the Caffarelli-Nirenberg-Spruck theory [5], but the paper does not state that connection.
  • domain assumption Inequalities (2.13) and (2.22) from Bao-Li-Li [1] controlling h_k and the ratio sigma_{m-1}(a|i) / sigma_{k-1}(a|i).
    Cited from [1] without proof; these inequalities determine the admissible range of the parameter beta used in the exterior subsolution in Section 2.2. The citation is self-referential but not circular.
  • domain assumption Lemma 3.6 of Caffarelli-Li [4], a linear elliptic estimate that upgrades the decay of E = u - s to the sharp asymptotic rate (1.2).
    Used at the end of Section 4 to obtain the final decay and to sketch Theorem 1.5; the lemma is not reproduced in this paper.
  • standard math Schauder estimates and the Evans-Krylov theorem for uniformly elliptic equations.
    Used in Sections 3.4 and 4 to bootstrap regularity and to obtain derivative bounds independent of R.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Exterior Dirichlet problem for Hessian equations on a non-convex ring." pith.science (2026). https://pith.science/paper/PWWGYBRV

@misc{pith2026250708993,
  author       = {Pith},
  title        = {Pith review of: Exterior Dirichlet problem for Hessian equations on a non-convex ring},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/PWWGYBRV}},
  note         = {Machine review of arXiv:2507.08993}
}
read the original abstract

In this paper, we prove the existence of a solution for the exterior Dirichlet problem for Hessian equations on a non-convex ring. Moreover, the solution we obtained is smooth. This extends the result of [Bao-Li-Li, ``On the exterior Dirichlet problem for Hessian equations'' Trans. Amer. Math. Soc.366(2014)].

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

11 extracted references · 11 canonical work pages

  1. [1]

    G.; Li, H

    Bao, J. G.; Li, H. G.; Li, Y . Y . On the exterior Dirichlet problem for Hessian equations. Trans. Amer. Math. Soc.366(2014), no.12, 6183-6200

    work page 2014

  2. [4]

    Y .An extension to a theorem of J¨orgens, Calabi, and Pogorelov.Comm

    Caffarelli, L.; Li, Y . Y .An extension to a theorem of J¨orgens, Calabi, and Pogorelov.Comm. Pure Appl. Math.56(2003), no.5, 549-583

    work page 2003

  3. [11]

    Generalized Minkowski inequality via degenerate Hessian equations on exterior domains

    Xiao, L. Generalized Minkowski inequality via degenerate Hessian equations on exterior domains Preprint, https://arxiv.org/abs/2207.05673. DEPARTMENT OF MATHEMATICS , RUTGERS UNIVERSITY , P ISCATAWAY, NJ 08854 Email address: yyli@math.rutgers.edu DEPARTMENT OF MATHEMATICS , U NIVERSITY OF CONNECTICUT , S TORRS , CT 06269 Email address: ling.2.xiao@uconn.edu

    work page Pith review arXiv

  4. [5]

    The Dirichlet problem for nonlinear second-order elliptic equa- tions

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

    work page 1985

  5. [2]

    Barbosa, J. L. M.; Lira, J. H. S.; Oliker, V . I. A priori estimates for starshaped compact hypersurfaces with prescribed mth curvature function in space forms. Nonlinear problems in mathematical physics and related topics, I, 35-52

    work page

  6. [3]

    G.; Li, H.G.; Zhang, L

    Bao, J. G.; Li, H.G.; Zhang, L. Monge-Amp`ere equation on exterior domains. Calc. Var. Partial Differ- ential Equations52(2015), no.1–2, 39-63

    work page 2015

  7. [6]

    M.; Bao, J

    Dai, L. M.; Bao, J. G.; Wang, B. Solvability of Hessian quotient equations in exterior domainsCanadian Journal of Mathematics. Published online 2023:1–31

    work page 2023

  8. [7]

    Gilbarg, D.; Trudinger, N. S. Elliptic partial differential equations of second order. Second edition Grundlehren Math. Wiss., 224[Fundamental Principles of Mathematical Sciences] Springer-Verlag, Berlin, 1983. xiii+513 pp

    work page 1983

Show all 11 references
  1. [8]

    Y .; Li, H

    Jiang, T. Y .; Li, H. G.; Li, X. L. On the exterior Dirichlet problem for a class of fully nonlinear elliptic equations. Calc. Var. Partial Differential Equations60(2021), no.1, Paper No. 17, 20 pp. 25

    2021

  2. [9]

    S.; Li, Z

    Li, D. S.; Li, Z. S. On the exterior Dirichlet problem for Hessian quotient equations. J. Differential Equations264(2018), no.11, 6633-6662

    2018

  3. [10]

    Li, Z. S. On the exterior Dirichlet problem for special Lagrangian equations. Trans. Amer. Math. Soc.372(2019), no.2, 889-924

    2019

Pith tools

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