Willmore-type Inequalities in Geometric Analysis

• Willmore-type inequalities are sharp lower bounds for curvature functionals on closed hypersurfaces, with rigidity in the equality case identifying canonical extremals like round spheres.
• They extend classical Euclidean cases to hyperbolic, anisotropic, fractional, and higher-order settings, using methods such as inverse mean curvature flow and divergence identities.
• These inequalities control key geometric properties like embeddedness, stability, and regularity, offering actionable insights into variational problems and topological constraints.

Willmore-type inequalities are sharp lower bounds for curvature functionals, typically involving mean curvature, of closed hypersurfaces, with rigidity in the equality case (Hu, 2016). In the literature considered here, the term covers the classical Euclidean Willmore bound, higher-dimensional inequalities for $$\int_{\partial\Omega}\left(\frac{|H|}{n-1}\right)^{n-1}$$, hyperbolic and negatively curved analogues, free-boundary and capillarity inequalities, connected-sum and Morse-index inequalities, and several anisotropic, fractional, fourth-order, and foliated extensions (Cederbaum et al., 2024, Jin et al., 2024, Jia et al., 2024). This suggests that the label is best understood structurally: a Willmore-type inequality is not tied to a single normalization, but to a curvature functional, a sharp lower bound, and a rigidity statement identifying canonical extremals.

1. Classical prototypes and normalization conventions

For a smooth closed surface $\Sigma\subset\mathbb{R}^3$, the classical Willmore functional is

$W(\Sigma)=\int_\Sigma H^2\,d\mu,$

and the classical Willmore inequality asserts

$\int_\Sigma H^2\,d\mu \ge 4\pi$

for embedded closed surfaces, with equality if and only if $\Sigma$ is a round sphere (Cederbaum et al., 2024). In higher dimensions, for a bounded domain $\Omega\subset\mathbb{R}^n$ with smooth boundary, the $(n-1)$-dimensional Willmore energy is

$$W(\partial\Omega):=\int_{\partial\Omega}\left(\frac{|H|}{n-1}\right)^{n-1}d\sigma,$$

and the higher-dimensional Willmore inequality reads

$$|\mathbb{S}^{n-1}|\le \int_{\partial\Omega}\left(\frac{|H|}{n-1}\right)^{n-1}d\sigma,$$

with equality if and only if $\Omega$ is a round ball (Cederbaum et al., 2024).

Several papers use different but compatible normalizations. One convention writes

$\Sigma\subset\mathbb{R}^3$0

so that the Li–Yau threshold is $\Sigma\subset\mathbb{R}^3$1 is an embedding (Müller et al., 2021). In the vector-valued convention for immersed surfaces $\Sigma\subset\mathbb{R}^3$2,

$\Sigma\subset\mathbb{R}^3$3

where $\Sigma\subset\mathbb{R}^3$4 is the mean curvature vector (Chai, 2018). These conventions are used to express distinct but closely related embedding thresholds, rigidity statements, and min–max bounds.

The one-dimensional analogue replaces surface mean curvature by curve curvature. For a closed immersed planar curve $\Sigma\subset\mathbb{R}^3$5,

$\Sigma\subset\mathbb{R}^3$6

and the scale-invariant quantity is $\Sigma\subset\mathbb{R}^3$7. The sharp 1-dimensional Li–Yau-type statement is that if

$\Sigma\subset\mathbb{R}^3$8

then $\Sigma\subset\mathbb{R}^3$9 is embedded; the extremal non-embedded curve is the one-fold figure-eight elastica $W(\Sigma)=\int_\Sigma H^2\,d\mu,$0 (Müller et al., 2021).

These classical models establish the persistent features of the subject: curvature-squared or curvature-power functionals, sharp constants, and extremals given by spheres, circles, or their analogues. They also show that Willmore-type inequalities frequently control embeddedness, not only total energy.

2. Hyperbolic, negatively curved, and homogeneous ambient spaces

A central hyperbolic result concerns star-shaped, mean-convex hypersurfaces $W(\Sigma)=\int_\Sigma H^2\,d\mu,$1, $W(\Sigma)=\int_\Sigma H^2\,d\mu,$2. Writing

$W(\Sigma)=\int_\Sigma H^2\,d\mu,$3

the inequality proved in hyperbolic space is

$W(\Sigma)=\int_\Sigma H^2\,d\mu,$4

with equality if and only if $W(\Sigma)=\int_\Sigma H^2\,d\mu,$5 is a geodesic sphere (Hu, 2016). For $W(\Sigma)=\int_\Sigma H^2\,d\mu,$6, this is presented as a generalization of the Willmore inequality for closed surfaces in hyperbolic $W(\Sigma)=\int_\Sigma H^2\,d\mu,$7-space (Hu, 2016).

A different negative-curvature formulation arises in complete noncompact Riemannian manifolds $W(\Sigma)=\int_\Sigma H^2\,d\mu,$8 with

$W(\Sigma)=\int_\Sigma H^2\,d\mu,$9

For a bounded domain $\int_\Sigma H^2\,d\mu \ge 4\pi$0 with smooth boundary, one has

$\int_\Sigma H^2\,d\mu \ge 4\pi$1

where $\int_\Sigma H^2\,d\mu \ge 4\pi$2 is the relative volume defined by hyperbolic model growth (Jin et al., 2024). In hyperbolic space this becomes

$\int_\Sigma H^2\,d\mu \ge 4\pi$3

with equality if and only if $\int_\Sigma H^2\,d\mu \ge 4\pi$4 is a geodesic ball (Jin et al., 2024).

Willmore-type phenomena also occur in homogeneous $\int_\Sigma H^2\,d\mu \ge 4\pi$5-manifolds $\int_\Sigma H^2\,d\mu \ge 4\pi$6. For a closed orientable immersed surface, the functional

$\int_\Sigma H^2\,d\mu \ge 4\pi$7

is used, where $\int_\Sigma H^2\,d\mu \ge 4\pi$8 is the ambient sectional curvature of the tangent plane. In Berger spheres, a sharp Simons-type integral inequality characterizes Clifford and Hopf tori as the equality cases among closed Willmore surfaces; the same geometry reappears in integral inequalities for closed surfaces with constant extrinsic curvature (Albujer et al., 2024).

These results show that ambient curvature changes both the integrand and the comparison quantity. In Euclidean space the comparison constant is the volume of the unit ball; in hyperbolic or asymptotically hyperbolic settings it is replaced by relative volume or inscribed-radius data; in Berger spheres and related spaces it is absorbed into the functional itself through $\int_\Sigma H^2\,d\mu \ge 4\pi$9, the angle function, and the bundle curvature $\Sigma$0.

3. Monotonicity, divergence, and inverse-curvature methods

Inverse mean curvature flow is one of the standard mechanisms for proving sharp hyperbolic inequalities. For a star-shaped, mean-convex hypersurface in $\Sigma$1, the flow

$\Sigma$2

exists for all $\Sigma$3, preserves star-shapedness and mean-convexity, and drives the hypersurfaces exponentially to the totally umbilical regime (Hu, 2016). The key monotone quantity is

$\Sigma$4

and the proof combines $\Sigma$5 with a lower bound for $\Sigma$6 obtained from Beckner’s sharp Sobolev inequality on $\Sigma$7 (Hu, 2016).

A very different approach uses a divergence inequality built from the electrostatic potential of a bounded domain $\Sigma$8. The potential $\Sigma$9 solves

$\Omega\subset\mathbb{R}^n$0

and a vector field

$\Omega\subset\mathbb{R}^n$1

satisfies a geometric differential inequality in divergence form (Cederbaum et al., 2024). After integrating between level sets and passing to the boundary and infinity, one obtains the parametric geometric inequalities

$\Omega\subset\mathbb{R}^n$2

and

$\Omega\subset\mathbb{R}^n$3

which yield the higher-dimensional Willmore inequality when $\Omega\subset\mathbb{R}^n$4 (Cederbaum et al., 2024).

Simon-type monotonicity formulas provide a third major method. For surfaces in $\Omega\subset\mathbb{R}^n$5 and $\Omega\subset\mathbb{R}^n$6, one introduces radial vector fields $\Omega\subset\mathbb{R}^n$7 or $\Omega\subset\mathbb{R}^n$8 together with weights $\Omega\subset\mathbb{R}^n$9 and $(n-1)$0, and derives identities in which

$(n-1)$1

appears as a sum of nonnegative terms (Chai, 2018). In hyperbolic space this yields $(n-1)$2 at a point of multiplicity $(n-1)$3, and therefore

$(n-1)$4

(Chai, 2018).

Taken together, these methods show that Willmore-type inequalities are not attached to a single proof technology. Flow monotonicity, divergence identities, electrostatic potentials, comparison geometry, and sharp Sobolev inequalities all recur as mechanisms that convert curvature integrals into monotone or controlled quantities.

4. Boundary, capillarity, and noncompact extensions

Free-boundary problems produce Willmore-type inequalities with boundary terms. For a smoothly embedded convex $(n-1)$5-disk $(n-1)$6 with $(n-1)$7 and orthogonal intersection, one has

$(n-1)$8

with equality if and only if $(n-1)$9 is a flat disk, equivalently a hyperplane intersecting the unit ball orthogonally (Lambert et al., 2016). The proof again uses inverse mean curvature flow, now with free boundary and convergence to an equatorial disk (Lambert et al., 2016).

A capillarity version in unbounded convex sets replaces the ambient manifold by an unbounded closed convex set $$W(\partial\Omega):=\int_{\partial\Omega}\left(\frac{|H|}{n-1}\right)^{n-1}d\sigma,$$0. For an embedded hypersurface $$W(\partial\Omega):=\int_{\partial\Omega}\left(\frac{|H|}{n-1}\right)^{n-1}d\sigma,$$1 with $$W(\partial\Omega):=\int_{\partial\Omega}\left(\frac{|H|}{n-1}\right)^{n-1}d\sigma,$$2 satisfying the contact-angle condition $$W(\partial\Omega):=\int_{\partial\Omega}\left(\frac{|H|}{n-1}\right)^{n-1}d\sigma,$$3, one obtains

$$W(\partial\Omega):=\int_{\partial\Omega}\left(\frac{|H|}{n-1}\right)^{n-1}d\sigma,$$4

where $$W(\partial\Omega):=\int_{\partial\Omega}\left(\frac{|H|}{n-1}\right)^{n-1}d\sigma,$$5 is the asymptotic volume ratio of $$W(\partial\Omega):=\int_{\partial\Omega}\left(\frac{|H|}{n-1}\right)^{n-1}d\sigma,$$6 (Jia et al., 2024). Equality holds if and only if $$W(\partial\Omega):=\int_{\partial\Omega}\left(\frac{|H|}{n-1}\right)^{n-1}d\sigma,$$7 is a part of a sphere and $$W(\partial\Omega):=\int_{\partial\Omega}\left(\frac{|H|}{n-1}\right)^{n-1}d\sigma,$$8 is a part of the solid cone determined by $$W(\partial\Omega):=\int_{\partial\Omega}\left(\frac{|H|}{n-1}\right)^{n-1}d\sigma,$$9; in the anisotropic setting the sphere is replaced by a Wulff shape and $$|\mathbb{S}^{n-1}|\le \int_{\partial\Omega}\left(\frac{|H|}{n-1}\right)^{n-1}d\sigma,$$0 by $$|\mathbb{S}^{n-1}|\le \int_{\partial\Omega}\left(\frac{|H|}{n-1}\right)^{n-1}d\sigma,$$1 (Jia et al., 2024).

Submanifolds with boundary and complete noncompact submanifolds admit Fenchel–Willmore inequalities in non-negatively curved manifolds with Euclidean volume growth. For compact $$|\mathbb{S}^{n-1}|\le \int_{\partial\Omega}\left(\frac{|H|}{n-1}\right)^{n-1}d\sigma,$$2 with boundary and nowhere vanishing normalized mean curvature vector $$|\mathbb{S}^{n-1}|\le \int_{\partial\Omega}\left(\frac{|H|}{n-1}\right)^{n-1}d\sigma,$$3,

$$|\mathbb{S}^{n-1}|\le \int_{\partial\Omega}\left(\frac{|H|}{n-1}\right)^{n-1}d\sigma,$$4

and if $$|\mathbb{S}^{n-1}|\le \int_{\partial\Omega}\left(\frac{|H|}{n-1}\right)^{n-1}d\sigma,$$5, equality holds if and only if $$|\mathbb{S}^{n-1}|\le \int_{\partial\Omega}\left(\frac{|H|}{n-1}\right)^{n-1}d\sigma,$$6 is connected, closed, umbilical, and $$|\mathbb{S}^{n-1}|\le \int_{\partial\Omega}\left(\frac{|H|}{n-1}\right)^{n-1}d\sigma,$$7 (Ji et al., 9 Oct 2025). The same paper gives noncompact surface inequalities involving the Cohn–Vossen deficit and higher-dimensional noncompact inequalities involving the isoperimetric constant (Ji et al., 9 Oct 2025).

A further extension allows asymptotic or integral Ricci curvature deficits. Under

$$|\mathbb{S}^{n-1}|\le \int_{\partial\Omega}\left(\frac{|H|}{n-1}\right)^{n-1}d\sigma,$$8

one has

$$|\mathbb{S}^{n-1}|\le \int_{\partial\Omega}\left(\frac{|H|}{n-1}\right)^{n-1}d\sigma,$$9

with $\Omega$0; under an $\Omega$1-bound on the negative part of Ricci, a corresponding estimate with an explicit error term recovers the Jin–Yin inequality when $\Omega$2 (Lee, 27 Aug 2025).

These papers enlarge the subject in two directions. First, they introduce boundary geometry—contact angles, free boundary conditions, capillarity, and anisotropy—into Willmore-type lower bounds. Second, they show that complete noncompact geometry and asymptotic volume growth can stand in for enclosed volume or topology in the lower bound.

5. Variational, connected-sum, and index-theoretic formulations

Willmore-type inequalities also appear as variational inequalities for connected sums and constrained minimization. For smooth immersions $\Omega$3 and $\Omega$4, neither a round sphere, there exists a smooth immersion $\Omega$5 such that

$\Omega$6

and

$\Omega$7

with $\Omega$8 an embedding if both $\Omega$9 and $\Sigma\subset\mathbb{R}^3$00 are embeddings (Mondino et al., 2020). This strict connected-sum inequality yields

$\Sigma\subset\mathbb{R}^3$01

for all $\Sigma\subset\mathbb{R}^3$02 and all $\Sigma\subset\mathbb{R}^3$03, and therefore existence of a smoothly embedded minimizer whenever $\Sigma\subset\mathbb{R}^3$04 (Mondino et al., 2020).

A different variational inequality controls instability rather than energy. For a nontrivial $\Sigma\subset\mathbb{R}^3$05-dimensional admissible min–max family of immersions of $\Sigma\subset\mathbb{R}^3$06, the Willmore width decomposes into finitely many true branched Willmore spheres, and the sum of their Morse indices satisfies

$\Sigma\subset\mathbb{R}^3$07

(Michelat, 2018). In the sphere-eversion case, which is $\Sigma\subset\mathbb{R}^3$08-parameter, this becomes

$\Sigma\subset\mathbb{R}^3$09

so at most one sphere can be unstable of index $\Sigma\subset\mathbb{R}^3$10, while all others are stable (Michelat, 2018).

In four dimensions, connected-sum reduction takes a different form. For the conformally invariant fourth-order energies

$\Sigma\subset\mathbb{R}^3$11

there is a connected-sum inequality

$\Sigma\subset\mathbb{R}^3$12

and an inversion identity

$\Sigma\subset\mathbb{R}^3$13

(Wu et al., 10 Apr 2025). Combined, these imply that for any topology other than the sphere there is no minimizer of $\Sigma\subset\mathbb{R}^3$14 (Wu et al., 10 Apr 2025).

These results make clear that a Willmore-type inequality need not be a direct lower bound for a single hypersurface. It can instead govern how energy behaves under topological surgery, how constrained minima avoid splitting, or how the total instability of a min–max configuration is bounded by the parameter dimension.

6. Higher-order, fractional, and foliated generalizations

A four-dimensional conformally invariant analogue of the Willmore energy is

$\Sigma\subset\mathbb{R}^3$15

in codimension one, or

$\Sigma\subset\mathbb{R}^3$16

in arbitrary codimension (Olanipekun et al., 2022). This energy is conformally invariant in dimension $\Sigma\subset\mathbb{R}^3$17, minimal hypersurfaces are critical points, and Noether-theoretic conservation laws are used to rewrite the Euler–Lagrange equation in divergence form. The main regularity theorem states that a non-degenerate critical point in $\Sigma\subset\mathbb{R}^3$18 is smooth (Olanipekun et al., 2022).

Fractional geometry replaces local mean curvature by fractional mean curvature. For a smooth boundary $\Sigma\subset\mathbb{R}^3$19, the fractional mean curvature $\Sigma\subset\mathbb{R}^3$20 gives rise to the fractional Willmore-type functional

$\Sigma\subset\mathbb{R}^3$21

and, more generally, the nonlocal bending energy

$\Sigma\subset\mathbb{R}^3$22

In the subcritical regime $\Sigma\subset\mathbb{R}^3$23, bounded $\Sigma\subset\mathbb{R}^3$24 for convex $\Sigma\subset\mathbb{R}^3$25 yields uniform local $\Sigma\subset\mathbb{R}^3$26 graph parametrization, lower Ahlfors-regularity, a weak Michael–Simon type inequality, an area lower bound, and a stability theorem showing Hausdorff closeness to a sphere when a nonlocal support-function seminorm is small (Blatt et al., 2023).

Foliated hypersurfaces produce Reilly-type and Willmore-type functionals adapted to a distribution $\Sigma\subset\mathbb{R}^3$27. The general form is

$\Sigma\subset\mathbb{R}^3$28

where $\Sigma\subset\mathbb{R}^3$29 are the elementary symmetric functions of the eigenvalues of the second fundamental form restricted to the leaves (Rovenski, 2024). The paper computes the first and second variations, proves conformal invariance of some $\Sigma\subset\mathbb{R}^3$30, derives the Euler–Lagrange equations for transversally harmonic foliations, and constructs critical hypersurfaces of revolution that are local minima for special variations (Rovenski, 2024).

A cylindrical correspondence links generalized Willmore energies, weighted areas, and vertical potential energies. For

$\Sigma\subset\mathbb{R}^3$31

the generating curve of a cylindrical hypersurface satisfies a fourth-order generalized elastic equation; weighted area critical points and stationary hypersurfaces for vertical potentials yield the same generating curves after suitable parameter choices, and stationary graphs under vertical potentials are local and global minimizers in the class of graphs with the same boundary (López et al., 2022).

Across these higher-order, nonlocal, and foliated settings, the recurring pattern is unchanged: curvature energies govern regularity, rigidity, and minimization. What changes is the geometric variable being measured—local mean curvature, anisotropic mean curvature, normalized mean curvature vector, fractional mean curvature, leafwise curvatures, or fourth-order curvature expressions—and the corresponding class of canonical extremals.