Pith. sign in

REVIEW 3 major objections 3 minor 2 cited by

Capillary curvature images

T0 review · 3 major / 3 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 The even capillary $L_p$-Minkowski problem has a smooth solution for all $-n < p < 1$.

desk verdict Important result for the capillary L_p-Minkowski problem in the open range -n < p < 1, but as written the proof only covers n >= 3; the missing n = 2 case is fixable but the theorem statement overreaches. read the letter →

arxiv 2505.12921 v1 pith:XN57WXES submitted 2025-05-19 math.DG math.APmath.MG

Yingxiang Hu , Mohammad N. Ivaki This is my paper · ORCID
classification math.DGmath.APmath.MG MSC 52A2053C4235J96
keywords capillaryL_p-MinkowskiproblemLp-MinkowskihypersurfacecurvatureimageoperatorGausshalfspaceiterativeschemefixedpoint
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 proves a capillary version of the $L_p$-Minkowski problem in the half-space: for any exponent $-n1$ into the hard range $p<1$.

What carries the argument

The capillary curvature image operator $\Lambda_p^\phi$ is the central object: given an even strictly convex capillary hypersurface $\Sigma$, it returns the unique even strictly convex capillary hypersurface whose curvature function is $f_{\Lambda_p^\phi\Sigma}=\frac{V(b\Sigma)^{1/n}}{\int_{C_\theta}\phi s_\Sigma^p\,d\sigma}\,\phi s_\Sigma^{p-1}$, where $s_\Sigma$ is the capillary support function, $f_\Sigma=(K\circ\tilde{\nu}^{-1})^{-1}$, and $V(b\Sigma)$ is the volume of the enclosed region. This operator is well-defined because the capillary Minkowski problem supplies a unique hypersurface for every prescribed positive even curvature function. Iteration of $\Lambda_p^\phi$ gives the discrete flow, and its fixed points are exactly the solutions sought: $f=\phi s^{p-1}$ is equivalent to $s^{1-p}/K=\phi$ on $C_\theta$. The proof's other machinery is the capillary Alexandrov-Fenchel/Minkowski inequality, which gives $V(b\Sigma)\ge V(\widehat{\Lambda_p^\phi\Sigma})$ with equality only at fixed points, and the functional $A_p^\phi$, whose monotonicity along the iteration supplies compactness.

What would settle it

Run the iterative scheme of Section 3 in dimension $n=2$ for a simple even datum such as $\phi=1$, starting from the spherical cap $C_\theta$; if the maximum principal curvature of the iterates is unbounded, the uniform $C^2$ estimate fails and the proof of Theorem 1.2 for $n=2$ collapses.

Watch

Extended reading notes

Core claim

The paper claims Theorem 1.2: for any angle $\theta\in(0,\pi/2)$, any $-n<p<1$, and any even, smooth, positive function $\phi$ on the capillary sphere $C_\theta$, there exists an even, smooth, strictly convex capillary hypersurface $\Sigma\subset\mathbb{R}^n_+$ whose capillary support function $s$ and Gauss curvature $K$ satisfy $s^{1-p}/(K\circ\tilde{\nu}^{-1})=\phi$. The proof works by applying a newly defined capillary curvature image operator $\Lambda_p^\phi$ repeatedly to the spherical cap $C_\theta$, producing a sequence of even strictly convex capillary hypersurfaces. A monotone functional $A_p^\phi$ is non-decreasing along the sequence, while the capillary Minkowski inequality forces the enclosed volumes to converge; compactness from uniform $C^m$ estimates yields a limit, and the equality case of the inequality identifies the limit as a fixed point of $\Lambda_p^\phi$. Fixed points of the operator correspond to solutions of the capillary $L_p$-Minkowski equation.

Load-bearing premise

The proof's control of the iterates' second derivatives is carried out only for dimensions three and higher; the key estimate divides by $n-2$, which is zero in the plane, and no separate two-dimensional argument is given, although the theorem is stated for every dimension $n$.

Editorial extensions

If this is right

  • Every even, positive, smooth datum $\phi$ on the capillary sphere is realized as $s^{1-p}/K$ by some even, smooth, strictly convex capillary hypersurface, for every $-n<p<1$.
  • The range includes the logarithmic case $p=0$ and negative exponents down to, but not including, $-n$, where continuity methods are known to fail.
  • The solution is obtained as the limit of an explicit iterative scheme, so the proof is constructive and avoids degree theory and the need for capillary uniqueness results.
  • The equality case of the capillary Minkowski inequality is the sole identification tool at the limit, replacing the role Aleksandrov's variational lemma plays in classical treatments.

Reading between the lines

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

  • One could test whether the iterative scheme extends to the endpoint $p=-n$ by replacing the functional bounds of Lemma 2.4 with an entropy bound, since the main inequalities remain stable as $p$ approaches $-n$ from above.
  • The proof for $n=2$ would be completed by a separate maximum-principle estimate; the recursive inequality in Lemma 3.1 divides by $n-2$, so a planar version needs a different argument.
  • The operator construction mirrors the classical Petty curvature image, so analogous capillary curvature image operators could be defined in other ambient geometries whenever a capillary Minkowski existence theorem holds.
  • Because the limit is obtained from monotone functional bounds rather than a flow, the scheme may give quantitative stability of solutions with respect to perturbations of $\phi$ and $p$.
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

3 major / 3 minor

Summary. The paper introduces capillary curvature image operators Lambda_p^phi built from the capillary Minkowski problem, studies their monotonicity, obtains uniform a priori bounds, and iterates the operator to produce a fixed point. The authors claim that this fixed point gives an even, smooth, strictly convex capillary hypersurface solving the even capillary L_p-Minkowski problem for -n<p<1 and theta in (0,pi/2), which is Theorem 1.2. The proof combines the p=1 capillary Minkowski theorem, monotonicity of volume-type functionals, compactness from uniform C^m estimates, and the equality case of the capillary Minkowski inequality.

Significance. If the issues below are repaired, the result is a substantive contribution: it provides the first existence theorem for the even capillary L_p-Minkowski problem in the range -n<p<1, where the continuity method is unavailable and variational methods are obstructed by regularity questions. The iterative curvature-image scheme is an interesting discrete-flow alternative to parabolic and degree-theoretic approaches. The paper is clearly written, and the monotonicity lemmas are mostly standard and correctly assembled; the constructive use of the p=1 theorem as an external input is explicit.

major comments (3)
  1. [Section 3, Lemma 3.1] The uniform C^2 bound is proved only for n>=3. The proof uses the exponents (n-1)/(n-2) and 1/(n-2) in the recursive estimate and in the lower bound for F^ij g_ij, both of which are undefined for n=2. No separate two-dimensional argument is supplied, while Theorem 1.2 is stated for arbitrary n. This is load-bearing because the compactness step (3.3) and the identification of the limit M depend on the uniform C^m bounds. The gap is fixable, for instance by treating n=2 separately as a second-order ODE with Robin boundary conditions, where the C^2 bound follows directly from the uniform bounds on the right-hand side, but as written the full theorem is not proved.
  2. [Section 3, final paragraph] The fixed point equation obtained at the end of the proof does not imply the stated theorem unless an additional normalization or scaling step is supplied. The displayed equation gives f_M proportional to phi s_M^{p-1}, so multiplying by s_M^{1-p} yields s_M^{1-p}/K_M = c phi with c equal to the proportionality constant (V(M)^{1/n}/int phi s_M^p in the final display, or nV(M)/int phi s_M^p if the operator is defined as in Lemma 2.5). The proof does not show c=1. This can be repaired by a homothety: scaling the hypersurface about the origin by lambda multiplies s^{1-p}/K by lambda^{n-p} and preserves the capillary contact angle, so choosing lambda = c^{-1/(n-p)} yields a solution to the desired equation with constant 1. This step is absent and should be stated explicitly.
  3. [Section 3, Lemma 3.1, induction step] In the induction closing the C^2 estimate, the displayed consequence of the recursive inequality is incorrect. From a_i^{(n-1)/(n-2)} <= a(1+a_{i-1})/2 and a_i > a^{n-2}, one obtains a^{n-2} < (1+a_{i-1})/2, not a^{n-2} < a_{i-1} + 1/2. As printed, the subsequent inequality a_{i-1}+1/2 <= a_{i-1} cannot hold. The intended contradiction is valid after this correction, but the text should be fixed.
minor comments (3)
  1. [Definition 2.1] The displayed formula for f_{Lambda_p^phi Sigma} is ambiguous and appears inconsistent with the computation in Lemma 2.5. The computation of Omega_p(Lambda_p^phi Sigma) in Lemma 2.5 corresponds to f_{Lambda} = nV(Sigma)/int phi s_Sigma^p dsigma * phi s_Sigma^{p-1}, whereas the displayed definition uses V(Sigma)^{1/n}. Please reconcile the definition and the final fixed point display.
  2. [References] The proof relies on [HIS25] for the C^1 estimates and for the structure of the C^2 estimate. Since [HIS25] is a preprint, the authors should either state the needed results or make clear that they are available in a final published form.
  3. [Notation] The notation V(bSigma) is used both for the standard volume and inside the capillary mixed volume V(Sigma, Lambda[n-1]) without an explicit definition in this paper; a brief reminder of the capillary mixed volume formula from [MWWX24] would improve readability, especially because the volume identity V = (1/n) int s f dsigma is used repeatedly.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the fixed-point iteration is genuinely proved via external inequalities, though Theorem 1.2 has an n=2 proof gap.

full rationale

The derivation is not circular. The capillary curvature image operator is intentionally defined so that a fixed point corresponds to the target capillary L_p-Minkowski equation, but the existence of such a fixed point is established by an iteration: monotonicity of A^phi_p and volume monotonicity follow from the capillary Alexandrov-Fenchel/Minkowski inequality of [MWWX24, Thm. 1.1], an external input, and the equality case of that same inequality forces the limit to be a fixed point. The p=1 capillary Minkowski theorem [MWW25a] is used as an external existence black box for the operator, and the paper proves convergence to a solution of the p<1 problem. The self-citations to [HIS25] and [Iva16,20] are present and load-bearing for regularity and iteration framework, but their assumptions do not include Theorem 1.2, and Lemma 3.1 supplies the recursive C^2 estimate itself; no fitted quantity is renamed as a prediction. One non-circular proof gap should be noted: Lemma 3.1 explicitly says 'We consider the case n>=3', uses exponents 1/(n-2) and (n-1)/(n-2), and proves a_i <= a^{n-2}, all of which are undefined or collapse for n=2; no separate n=2 argument is given, so Theorem 1.2 as stated for arbitrary n is not fully proved by the text. This is an omitted proof, not a circular reduction.

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

The paper introduces a new operator Lambda^phi_p and functionals A, B, Omega, but these are mathematical constructions, not physical entities. The central claim rests on external theorems: the capillary Minkowski problem, the capillary Minkowski inequality, and the C^2 estimates from [HIS25]. No free parameters are fitted to data; p and theta are variables of the problem.

assumptions (6)
  • domain assumption Capillary Minkowski problem existence (Theorem 1.1, from [MWW25a])
    The operator Lambda^phi_p is defined by solving the p=1 capillary Minkowski problem at each step; without this existence theorem the operator is not defined.
  • domain assumption Capillary Minkowski inequality with equality case ([MWWX24, Thm 1.1])
    Used to show V(bSigma) >= V(Lambda Sigma) with equality iff Sigma = Lambda Sigma, and later to conclude M1 = M2.
  • domain assumption Uniform C^2 estimate for capillary Monge-Ampere type equations ([HIS25, Lem. 4.9])
    Provides the C^2 bound for each iterate; the proof in Lemma 3.1 adapts this estimate to be uniform in i. This is a self-citation by two of the three authors.
  • standard math Blaschke-Santalo inequality
    Used in Lemma 2.4 to bound the functional A uniformly.
  • standard math Lieberman-Trudinger estimates for oblique boundary value problems ([LT86])
    Used to upgrade C^2 bounds to C^{2,alpha} and C^m regularity.
  • domain assumption Evenness of phi and initial surface ensure the first moment condition integral of <zeta,E_i> phi s^{p-1} dsigma = 0
    Required for Theorem 1.1 to be applicable at each iteration; verified implicitly by parity.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Capillary curvature images." pith.science (2026). https://pith.science/paper/XN57WXES

@misc{pith2026250512921,
  author       = {Pith},
  title        = {Pith review of: Capillary curvature images},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/XN57WXES}},
  note         = {Machine review of arXiv:2505.12921}
}
abstract

In this paper, we solve the even capillary $L_p$-Minkowski problem for the range $-n < p < 1$ and $\theta \in (0,\frac{\pi}{2})$. Our approach is based on an iterative scheme that builds on the solution to the capillary Minkowski problem (i.e., the case $p = 1$) and leverages the monotonicity of a class of functionals under a family of capillary curvature image operators. These operators are constructed so that their fixed points, whenever they exist, correspond precisely to solutions of the capillary $L_p$-Minkowski problem.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Capillary $L_p$ Minkowski Flows

    math.AP 2025-09 conditional novelty 6.0 of 10

    Anisotropic capillary Gauss curvature flows converge to smooth solutions of capillary L_p Minkowski problems for even data with p > -n-1 and for non-even data with p > n+1.

  2. The capillary Orlicz-Minkowski problem

    math.DG 2025-09 reject novelty 5.0 of 10

    The capillary Orlicz-Minkowski problem is formulated, but the main existence theorem is unsupported because the initial solution of the continuity method is not admissible under the paper's normalization.

Reference graph

Works this paper leans on

45 extracted references · 33 canonical work pages · cited by 2 Pith papers

  1. [1]

    Ai, K.-S

    J. Ai, K.-S. Chou, J. Wei, Self-similar solutions for the anisotropic affine curve shortening problem, Calc. Var. Partial Differ. Equ. 13(2001): 311--337

    work page 2001

  2. [2]

    A. D. Aleksandrov, Uniqueness theorems for surfaces in the large. I, Vestn. Leningr. Univ. 11(1956): 5--17

    work page 1956

  3. [3]

    Bianchi, K

    G. Bianchi, K. J. B \" o r \" o czky, A. Colesanti, D. Yang, The L_p -Minkowski problem for -n < p < 1 , Adv. Math. 341(2019): 493--535

    work page 2019

  4. [4]

    K. J. B \"o r \"o czky, E. Lutwak, D. Yang, G. Zhang, The logarithmic Minkowski problem, J. Amer. Math. Soc. 26(2013): 831--852

    work page 2013

  5. [5]

    K. J. B \" o r \" o czky, P. Guan, Anisotropic flow, entropy and L_p -Minkowski problem, Canad. J. Math. 77(2025): 1--20

    work page 2025

  6. [6]

    K. J. B \" o r \" o czky, The logarithmic Minkowski conjecture and the L_p -Minkowski problem, Harmonic analysis and convexity 9(2023): 83--118

    work page 2023

  7. [7]

    Bryan, M

    P. Bryan, M. N. Ivaki, J. Scheuer, A unified flow approach to smooth, even L_p -Minkowski problems, Analysis & PDE 12(2019): 259--280

    work page 2019

  8. [8]

    Bryan, M

    P. Bryan, M. N. Ivaki, J. Scheuer, Parabolic approaches to curvature equations, Nonlinear Anal. 203(2021): 112174

    2021

Show all 45 references
  1. [9]

    Chen, Q.-R

    H. Chen, Q.-R. Li, The L_p dual Minkowski problem and related parabolic flows, J. Funct. Anal. 281(2021): 109139

    2021

  2. [10]

    Pure Appl

    S.-Y Cheng, S.-T Yau, On the regularity of the solution of the n -dimensional Minkowski problem, Comm. Pure Appl. Math. 29(1976): 495--516

    1976

  3. [11]

    Chou, X.-J

    K.-S. Chou, X.-J. Wang, A logarithmic Gauss curvature flow and the Minkowski problem, Ann. Inst. H. Poincar\'e Anal. Non Lin\'eaire 17(2000): 733--751

    2000

  4. [12]

    Chou, X.-J

    K.-S. Chou, X.-J. Wang, The L_p -Minkowski problem and the Minkowski problem in centroaffine geometry, Adv. Math. 205(2006): 33--83

    2006

  5. [13]

    Guang, Q.-R

    Q. Guang, Q.-R. Li, X.-J. Wang, The L_p -Minkowski problem with super-critical exponents, arXiv:2203.05099, (2022)

    2022 arXiv

  6. [14]

    Guang, Q.-R

    Q. Guang, Q.-R. Li, X.-J. Wang, The Minkowski problem in the sphere, J. Differential Geom. 128(2024): 723--771

    2024

  7. [15]

    Y. Hu, M. N. Ivaki, J. Scheuer, Capillary Christoffel-Minkowski problem, arXiv:2504.09320 (2025)

    2025 arXiv

  8. [16]

    Y. Hu, Y. Wei, B. Yang, T. Zhou, A complete family of Alexandrov-Fenchel inequalities for convex capillary hypersurfaces in the halfspace, Math. Ann. 390(2024): 3039--3075

    2024

  9. [17]

    Huang, E

    Y. Huang, E. Lutwak, D. Yang, G. Zhang, Geometric measures in the dual Brunn-Minkowski theory and their associated Minkowski problems, Acta Math. 216(2016): 325--388

    2016

  10. [18]

    Huang, D

    Y. Huang, D. Xi, Y. Zhao, The Minkowski problem in Gaussian probability space, Adv. Math. 385(2021): 107769

    2021

  11. [19]

    Huang, D

    Y. Huang, D. Yang, G. Zhang, Minkowski problems for geometric measures, arXiv:2502.05427, (2025)

    2025 arXiv

  12. [20]

    M. N. Ivaki, Deforming a hypersurface by Gauss curvature and support function, J. Funct. Anal. 271(2016): 2133--2165

    2016

  13. [21]

    M. N. Ivaki, Iterations of curvature images, Mathematika 66(2020): 640--648

    2020

  14. [22]

    Klingenberg, B

    W. Klingenberg, B. Lambert, J. Scheuer, A capillary problem for spacelike mean curvature flow in a cone of Minkowski space, J. Evol. Equ. 25(2025): 15

    2025

  15. [23]

    Li, Infinitely many solutions for centro-affine Minkowski problem, Int

    Q.-R. Li, Infinitely many solutions for centro-affine Minkowski problem, Int. Math. Res. Not. IMRN 2019(2019): 5577--5596

    2019

  16. [24]

    Q.-R. Li, W. Sheng, X.-J. Wang, Flow by Gauss curvature to the Aleksandrov and dual Minkowski problems, J. Eur. Math. Soc. (JEMS) 22(2020): 893--923

    2020

  17. [25]

    G. M. Lieberman, N. S. Trudinger, Nonlinear oblique boundary value problems for nonlinear elliptic equations, Trans. Amer. Math. Soc. 295(1986): 509--546

    1986

  18. [26]

    Lutwak, On some affine isoperimetric inequalities, J

    E. Lutwak, On some affine isoperimetric inequalities, J. Differential Geom. 23(1986): 1--13

    1986

  19. [27]

    Lutwak, The Brunn-Minkowski-Firey theory

    E. Lutwak, The Brunn-Minkowski-Firey theory. I. Mixed volumes and the Minkowski problem, J. Differential Geom. 38(1993): 131--150

    1993

  20. [28]

    Lutwak, V

    E. Lutwak, V. Oliker, On the regularity of solutions to a generalization of the Minkowski problem, J. Differential Geom. 41(1995): 227--246

    1995

  21. [29]

    Lutwak, D

    E. Lutwak, D. Xi, D. Yang, G. Zhang, Chord measures in integral geometry and their Minkowski problems, Comm. Pure Appl. Math. 77(2024): 3277--3330

    2024

  22. [30]

    X. Mei, L. Weng, A constrained mean curvature type flow for capillary boundary hypersurfaces in space forms, J. Geom. Anal. 33(2023): 195

    2023

  23. [31]

    X. Mei, G. Wang, L. Weng, The capillary Minkowski problem, Adv. Math. 469(2025): 110230

    2025

  24. [32]

    X. Mei, G. Wang, L. Weng, The capillary L_p -Minkowski problem, arXiv:2505.07746 (2025)

    2025 arXiv

  25. [33]

    X. Mei, G. Wang, L. Weng, C. Xia, Alexandrov-Fenchel inequalities for convex hypersurfaces in the halfspace with capillary boundary, II, arXiv:2408.13655, (2024)

    2024 arXiv

  26. [34]

    a tze \

    H. Minkowski, Allgemeine Lehrs\" a tze \" u ber die konvexen Polyeder , Nachrichten von der Gesellschaft der Wissenschaften zu G\" o ttingen, Mathematisch-Physikalische Klasse, 1897(1897): 198--219

  27. [35]

    Minkowski, Volumen und Oberfl\"ache, Math

    H. Minkowski, Volumen und Oberfl\"ache, Math. Ann. 57(1903): 447--495

    1903

  28. [36]

    Nirenberg, The Weyl and Minkowski problems in differential geometry in the large, Comm

    L. Nirenberg, The Weyl and Minkowski problems in differential geometry in the large, Comm. Pure Appl. Math. 6(1953): 337--394

    1953

  29. [37]

    A. V. Pogorelov, Regularity of a convex surface with given Gaussian curvature, Mat. Sb. 31(1952): 88--103 (Russian)

    1952

  30. [38]

    A. V. Pogorelov, A regular solution of the n -dimensional Minkowski problem, Dokl. Akad. Nauk. SSSR 199(1971): 785--788; English transl., Soviet Math. Dokl. 12(1971): 1192--1196

    1971

  31. [39]

    Schneider, Convex bodies: the Brunn-Minkowski theory, volume 151 of Encyclopedia of Mathematics and its Applications

    R. Schneider, Convex bodies: the Brunn-Minkowski theory, volume 151 of Encyclopedia of Mathematics and its Applications. Cambridge University Press, Cambridge, second expanded edition, 2014

    2014

  32. [40]

    Sinestrari, L

    C. Sinestrari, L. Weng, Hypersurfaces with capillary boundary evolving by volume preserving power mean curvature flow, Calc. Var. Partial Differ. Equ. 63, 237 (2024)

    2024

  33. [41]

    Stancu, The discrete planar L_0 -Minkowski problem, Adv

    A. Stancu, The discrete planar L_0 -Minkowski problem, Adv. Math. 167(2002): 160--174

    2002

  34. [42]

    N. S. Trudinger, X.-J. Wang, The Monge-Amp\` e re equation and its geometric applications , Handbook of geometric analysis 1(2008): 467--524

    2008

  35. [43]

    G. Wang, L. Weng, A mean curvature type flow with capillary boundary in a unit ball, Calc. Var. Partial Differ. Equ. 59(2020): 149

    2020

  36. [44]

    G. Wang, L. Weng, C. Xia, Alexandrov-Fenchel inequalities for convex hypersurfaces in the halfspace with capillary boundary, Math. Ann. 388(2024): 2121--2154

    2024

  37. [45]

    G. Wang, C. Xia, Uniqueness of stable capillary hypersurfaces in a ball, Math. Ann. 374(2019): 1845--1882

    2019

Pith tools

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