Capillary John ellipsoid theorem with applications to capillary curvature problems
Pith reviewed 2026-05-14 22:26 UTC · model grok-4.3
The pith
The capillary John ellipsoid theorem supplies a non-collapsing estimate that yields C^0 bounds for capillary curvature problems once gradient estimates are known.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For any capillary convex body in the closed half-space there exists a capillary ellipsoid of maximal volume such that the body lies inside a translate of a fixed multiple of that ellipsoid, with the multiple independent of the body. The resulting non-collapsing estimate, once inserted into the continuity method alongside gradient and C^2 estimates, produces the required a-priori C^0 bound and thereby existence of solutions to the capillary L_p dual Minkowski problem in the stated parameter regimes.
What carries the argument
The capillary John ellipsoid: the unique ellipsoid of maximal volume contained in a given capillary convex body that itself satisfies the capillary boundary condition; it supplies the uniform ratio that controls non-collapsing.
If this is right
- The non-collapsing estimate directly furnishes the missing C^0 bound for the capillary L_p Christoffel-Minkowski problem once its gradient estimate is available.
- Existence holds for the capillary L_p dual Minkowski problem when 1 < p ≤ q ≤ 3.
- The existence interval for the same problem when p > q is enlarged in three dimensions.
- The same non-collapsing-plus-gradient strategy applies to the capillary L_p curvature problem.
Where Pith is reading between the lines
- The technique could be tested on other capillary boundary-value problems for which gradient estimates already exist but C^0 control is missing.
- If the contact angle is allowed to vary, the same ellipsoid construction might still produce a bound, but the constant would then depend on the angle range.
- In higher dimensions the existence result for p > q may follow by the same method provided the gradient estimate can be established.
Load-bearing premise
The bodies must be capillary convex, meaning they satisfy the capillary boundary condition with a fixed contact angle.
What would settle it
A sequence of capillary convex bodies in which the ratio of the John ellipsoid volume to the body volume tends to zero would disprove the uniform non-collapsing bound.
read the original abstract
In this paper, we apply a capillary John ellipsoid theorem for capillary convex bodies in the Euclidean half-space $\overline{\mathbb{R}^{n+1}_{+}}$. This theorem yields a non-collapsing estimate for capillary hypersurfaces, which provides a new approach to obtaining $C^{0}$ estimates for solutions to some capillary curvature problems (including the capillary $L_{p}$ Christoffel-Minkowski problem and the capillary $L_{p}$ curvature problem), based on the corresponding gradient estimates. As an application, we study the capillary $L_{p}$ dual Minkowski problem. By deriving a gradient estimate, refining a $C^{2}$ estimate, and combining these with the non-collapsing estimate, we establish existence in the case $1<p\leq q\leq 3$ and improve upon the existing existence result for the case $p > q$ in $\overline{\mathbb{R}^3_{+}}$.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper establishes a capillary analogue of the John ellipsoid theorem for convex bodies in the half-space satisfying a fixed contact angle boundary condition. From this, a non-collapsing estimate is derived for capillary hypersurfaces. This estimate is applied, in conjunction with gradient estimates and improved C^2 estimates, to prove existence of solutions to the capillary L_p dual Minkowski problem for 1 < p ≤ q ≤ 3, and to extend the existence range for p > q in three dimensions.
Significance. If the results hold, the capillary John ellipsoid theorem offers a valuable new tool for obtaining uniform estimates in problems involving capillary hypersurfaces. The non-collapsing estimate is derived geometrically without reference to the curvature equation, which is a positive feature. The improvement in the existence result for the capillary L_p dual Minkowski problem in R^3_+ is a concrete advance in the field.
minor comments (2)
- [Abstract] The abstract mentions 'refining a C^2 estimate' but does not specify what refinement is made; a brief indication would help readers.
- [Introduction] Some references to prior work on capillary problems could be expanded for context.
Simulated Author's Rebuttal
We thank the referee for the positive evaluation of our manuscript, the recognition of the capillary John ellipsoid theorem as a new tool for uniform estimates on capillary hypersurfaces, and the recommendation for minor revision. We are pleased that the geometric nature of the non-collapsing estimate and the concrete advance in existence results for the capillary L_p dual Minkowski problem in three dimensions are viewed favorably.
Circularity Check
No significant circularity in the derivation chain
full rationale
The paper establishes the capillary John ellipsoid theorem directly via a volume-maximizing ellipsoid construction for capillary convex bodies satisfying the fixed contact-angle boundary condition in the half-space. The non-collapsing estimate is then extracted explicitly from the resulting inclusion constants. These estimates are combined with separately derived gradient bounds and refined C^2 estimates to obtain C^0 bounds for the capillary L_p problems. No load-bearing step reduces by definition or by self-citation to the target curvature data; the ellipsoid construction and its consequences are independent of the specific curvature equations being solved.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Capillary convex bodies in the closed half-space satisfy a fixed contact angle condition with the boundary hyperplane.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.