---
title: Anisotropic Capillary Convex Bodies
url: https://www.emergentmind.com/topics/anisotropic-capillary-convex-bodies
type: topic
---

# Anisotropic Capillary Convex Bodies

Anisotropic capillary convex bodies are convex bodies whose interfacial energy is governed by a direction-dependent surface tension rather than a constant one, so that the distinguished equilibrium shapes are Wulff shapes in the full space and truncated Wulff shapes in a half-space or other constrained geometries. In the smooth setting, the subject is formulated through the Cahn–Hoffman map, anisotropic principal curvatures, and higher-order anisotropic mean curvatures; in the nonsmooth convex setting, it is encoded by anisotropic support, area, and curvature measures arising from anisotropic Steiner formulas and mixed volumes [2108.01476, 2401.12137].

## 1. Anisotropic surface energy and Wulff geometry

Let \(C\subset \mathbb{R}^{n+1}\) be a convex body. In one standard formulation, the anisotropy is a uniformly convex \(C^2\)-norm \(\varphi\) on \(\mathbb{R}^{n+1}\), with dual norm
\[
\varphi^*(u)=\sup\{v\cdot u : \varphi(v)=1\}.
\]
The associated Wulff shape is
\[
W_\varphi=\partial B_\varphi^*,\qquad B_\varphi^*=\{x\in\mathbb{R}^{n+1}:\varphi^*(x)\le 1\}.
\]
If \(\varphi\) is uniformly convex and \(C^2\), then \(W_\varphi\) is a smooth, strictly convex hypersurface, and its Euclidean unit normal is a \(C^1\)-diffeomorphism onto \(\mathbb{S}^n\). The corresponding Cahn–Hoffman map \(V_\varphi\) satisfies
\[
V_\varphi\big(n^{\partial B_\varphi^*}(u)\big)=u,\qquad n^{\partial B_\varphi^*}(V_\varphi(n))=n.
\]
This realizes the geometric duality between the anisotropy and its Wulff crystal [2108.01476].

For a convex body \(C\), the anisotropic perimeter, or anisotropic surface energy, is
\[
P_\varphi(C):=C_0^\varphi(C)=C_0^\varphi(C,\mathbb{R}^{n+1}),
\]
and when \(\varphi\) comes from a support function \(F\) on \(\mathbb{S}^n\), this is equivalent to
\[
P_F(C)=\int_{\partial C}F(\nu_C(x))\,d\mathcal{H}^n(x).
\]
The minimizer of \(P_\varphi\) under a volume constraint is, up to translation and scaling, the Wulff shape \(W_\varphi\). In capillarity language, Wulff shapes model equilibrium shapes of anisotropic liquid droplets or crystals [2108.01476].

A parallel convex-analytic formulation starts from a convex body \(L\subset\mathbb{R}^n\) with \(0\in \mathrm{int}(L)\). Its gauge \(H_L\), support function \(h_L\), and polar body \(L^\circ\) satisfy
\[
h_L=(H_L)_0,\qquad H_L=h_{L^\circ},\qquad
L=\{x:H_L(x)\le 1\}=\{x:h_{L^\circ}(x)\le 1\}.
\]
For a set of finite perimeter \(E\), the anisotropic surface energy associated with \(h_L\) is
\[
P_{h_L}(E):=\int_{\partial^*E} h_L(\nu_E)\,d\mathcal{H}^{n-1},
\]
and the anisotropic isoperimetric inequality states
\[
\int_{\partial^*E} h_L(\nu_E)\,d\mathcal{H}^{n-1}\ge
n\,|E|^{\frac{n-1}{n}}|L|^{1/n},
\]
with equality if and only if \(E\) is, up to translation and null sets, a dilate of \(L\). This is the Wulff inequality in convex-geometric form [2411.01290].

In the half-space setting, an anisotropic capillary convex body is modeled by a bounded domain \(\Omega\subset \mathbb{R}^{n+1}_+\) whose free boundary \(\Sigma\) is a strictly convex anisotropic capillary hypersurface and whose remaining boundary lies in the supporting hyperplane. The canonical model is a truncated Wulff shape
\[
W_{r_0}(x_0)\cap \mathbb{R}^{n+1}_+,
\]
with \(x_0\) chosen so that the anisotropic capillary boundary condition is satisfied [2401.12137].

## 2. Curvature, support functions, and measure-theoretic invariants

For a smooth convex hypersurface, anisotropic curvature is defined through the anisotropic normal. With anisotropy \(F\in C^\infty(\mathbb{S}^n)\) satisfying
\[
A_F(x):=\nabla^S\nabla^S F(x)+F(x)\,g_{S^n}>0,
\]
the Cahn–Hoffman map is
\[
\Phi(\xi)=F(\xi)\,\xi+\nabla^S F(\xi),
\]
the anisotropic Gauss map is
\[
\nu_F(x)=\Phi(\nu(x))=F(\nu(x))\,\nu(x)+\nabla^S F(\nu(x)),
\]
and the anisotropic Weingarten map is
\[
S_F=d\nu_F=A_F(\nu)\circ d\nu.
\]
Its eigenvalues \(\kappa_F=(\kappa_1,\dots,\kappa_n)\) are the anisotropic principal curvatures, and the normalized anisotropic \(k\)-th mean curvatures are
\[
H_k^F=\frac{\sigma_k(\kappa_F)}{\binom{n}{k}},\qquad H_0^F=1,\quad H_{n+1}^F=0.
\]
In the norm language of \(\varphi\), the anisotropic mean curvatures \(H_j^\varphi\) are the symmetric functions of the anisotropic principal curvatures \(\kappa_i^\varphi\) [2401.12137, 2108.01476].

Beyond smooth boundaries, several measure-theoretic frameworks have been developed. One construction starts from the anisotropic distance
\[
d_\varphi(x)=\inf\{\varphi^*(x-c):c\in K\},
\]
the anisotropic normal bundle
\[
\mathcal{N}_\varphi(K)=\{(a,u):a\in K,\ u\in W_\varphi,\ \exists r>0\ \text{s.t. } d_\varphi(a+ru)=r\},
\]
and generalized anisotropic principal curvatures on \(\mathcal{N}_\varphi(K)\). For convex bodies, this yields anisotropic curvature measures \(C_m^\varphi(K,\cdot)\) and a local Steiner formula
\[
\mathcal{L}^{n+1}\big(\{x:0<d_\varphi(x)\le p,\ \Pi_\varphi^K(x)\in B\}\big)
=\sum_{m=0}^n p^{n+1-m} C_m^\varphi(K,B),
\]
for Borel \(B\subset \partial K\). In the smooth case,
\[
C_m^\varphi(K,B)=\int_{B\cap\partial K}\binom{n}{m}^{-1}H_{n-m}^\varphi\,d\mathcal{H}^n,
\]
and, in particular,
\[
C_0^\varphi(K,B)=\int_B \varphi(\nu(x))\,d\mathcal{H}^n(x),
\]
so \(C_0^\varphi\) is the anisotropic surface energy measure [2108.01476].

A second construction, due to Huang, Li, Xiao, and Zhou, defines anisotropic curvature measures \(\Phi_r(K;\cdot)\) as the coefficients in the local anisotropic Steiner formula
\[
\mathcal{H}^{n+1}(A_\varepsilon(K,B))
=
\sum_{r=0}^{n}\binom{n+1}{r}\varepsilon^{n+1-r}\Phi_r(K;B),
\]
where \(A_\varepsilon(K,B)\) is a local anisotropic \(\varepsilon\)-parallel set. The total measures satisfy
\[
\Phi_r(K;\mathbb{R}^{n+1})=V_r(K,W),
\]
the anisotropic mixed volumes relative to the Wulff shape \(W\), and
\[
\Phi_n(K;\mathbb{R}^{n+1})=\int_{\partial K}\gamma(\nu)\,d\mathcal{H}^n
\]
is exactly the anisotropic surface energy [2108.02049].

A third, relative-differential-geometric framework fixes a gauge body \(E\in\mathcal{K}^n\), regular and strictly convex, and defines anisotropic area measures on \(\partial E\) by
\[
S_k^E(K,\alpha)=S\big(K[k],E[n-1-k],u_E(\alpha)\big),
\]
together with anisotropic support measures \(\Theta_k^E(K,\cdot)\) and anisotropic curvature measures
\[
C_k^E(K,\beta)=\Theta_k^E(K,\beta\times\mathbb{R}^n).
\]
In the \(C_+^2\) setting, these are represented by the symmetric functions \(s_k^E\) of the relative principal radii:
\[
S_k^E(K,\alpha)=\int_{\alpha\cap\partial E}s_k^E\,d\mathcal{H}^{n-1}.
\]
This framework is explicitly tied to relative normalization and gauge-body geometry [2506.08803].

The coexistence of \(C_m^\varphi\), \(\Phi_r\), and \((S_k^E,\Theta_k^E,C_k^E)\) is not a contradiction. It reflects different normalizations and geometric models—norm-based anisotropy, Wulff-relative mixed volumes, and relative differential geometry—all organized around anisotropic parallel sets and mixed-volume expansions. This suggests that anisotropic capillary convex bodies are naturally studied through several complementary measure theories rather than through a single canonical formalism.

## 3. Rigidity in the full space: Wulff shapes, tangential bodies, and curvature relations

A central rigidity theorem states that a convex body whose anisotropic curvature measure is proportional to anisotropic perimeter must be a Wulff shape. More precisely, if \(C\subset\mathbb{R}^{n+1}\) is a convex body, \(\varphi\) is a uniformly convex \(C^2\)-norm, \(r\in\{1,\dots,n\}\), and
\[
C_{r-1}^\varphi(C,\cdot)=\lambda\,C_0^\varphi(C,\cdot)
\]
as Radon measures on \(\mathbb{R}^{n+1}\), then there exist \(a\in\mathbb{R}^{n+1}\) and \(s>0\) such that
\[
\partial C=a+s\,W_\varphi.
\]
Equivalently, for any \(m=0,\dots,n-1\), if
\[
C_m^\varphi(C,\cdot)=\lambda\,C_0^\varphi(C,\cdot),
\]
then \(C\) is a translate and homothety of the Wulff shape. This theorem generalizes Schneider’s Euclidean characterization of balls and resolves the conjecture of Andrews and Wei [2108.01476].

The proof combines an anisotropic Heintze–Karcher type inequality, anisotropic Minkowski formulas, and Newton–Maclaurin inequalities. Under the proportionality hypothesis one derives a lower bound for the first anisotropic mean curvature, then equality in the chain of inequalities forces anisotropic umbilicity,
\[
\kappa_{\varphi,1}(a,u)=\dots=\kappa_{\varphi,n}(a,u)\quad\text{a.e.},
\]
and hence all anisotropic distance level sets are translates and homotheties of the Wulff shape [2108.01476].

A related rigidity result uses the curvature measures \(\Phi_r(K;\cdot)\): if a convex body \(K\) satisfies
\[
\Phi_n(K;\cdot)=\sum_{r=0}^{n-1}\Lambda_r\,\Phi_r(K;\cdot)
\]
with \(\Lambda_0,\dots,\Lambda_{n-1}\ge 0\), then \(K\) is a rescaled Wulff shape. In particular, \(\Phi_n=c\,\Phi_{n-k}\) forces Wulff geometry. This extends classical results of Schneider and Kohlmann to the anisotropic setting and is used crucially in the long-time analysis of anisotropic volume-preserving curvature flows [2108.02049].

By contrast, Schneider’s theory of anisotropic area measures yields a different rigidity class. If \(E\) is the gauge body and \(k\in\{0,\dots,n-2\}\), then
\[
S_k^E(K,\cdot)=c\,S_{n-1}^E(K,\cdot)
\]
holds if and only if \(K\) is homothetic to a \(k\)-tangential body of \(E\). Here the conclusion is not necessarily a Wulff shape but a tangential body determined by the gauge geometry [2506.08803].

This distinction rules out a common oversimplification. Not every proportionality relation among anisotropic measures characterizes a Wulff shape. Proportionality between anisotropic curvature measures and anisotropic perimeter yields Wulff rigidity [2108.01476], whereas proportionality between anisotropic area measures of orders \(k\) and \(n-1\) characterizes \(k\)-tangential bodies of the gauge body [2506.08803].

## 4. Half-space capillarity, truncated Wulff shapes, and rigidity

In the half-space \(\mathbb{R}^{n+1}_+=\{x_{n+1}>0\}\), anisotropic capillarity is formulated for a compact orientable hypersurface \(\Sigma\subset\overline{\mathbb{R}^{n+1}_+}\) with \(\partial\Sigma\subset\{x_{n+1}=0\}\), enclosing a bounded domain \(\Omega\). If \(F\in C^\infty(\mathbb{S}^n)\) is positive and \(A_F>0\), the anisotropic capillary boundary condition is
\[
(\Phi(\nu),-e_{n+1})=\omega_0
\quad\text{on }\partial\Sigma,
\]
or equivalently
\[
\langle \Phi(\nu),-E_{n+1}\rangle=\omega_0,
\]
depending on notation. Geometrically, this prescribes a constant anisotropic contact angle along the boundary plane [2401.12137, 2211.02913].

The model solutions are truncated Wulff shapes,
\[
W_{r_0}(x_0)\cap\mathbb{R}^{n+1}_+,
\]
also called \(\omega_0\)-capillary Wulff shapes. Their anisotropic normal satisfies
\[
\nu_F(x)=\frac{x-x_0}{r_0},
\]
and the capillary condition fixes the vertical placement of the center \(x_0\) [2401.12137].

For anisotropic capillary hypersurfaces, a capillary support function is defined by
\[
u(x)=\frac{(X(x),\nu(x))}{F(\nu(x))+\omega_0(\nu(x),e_{n+1})}.
\]
A basic characterization asserts that \(u\) is a nonzero constant if and only if \(\Sigma\) is an \(\omega_0\)-capillary Wulff shape. This makes \(u\) the anisotropic capillary analogue of the support function used in classical spherical-cap rigidity [2401.12137].

The integral-geometric core of the half-space theory is a generalized anisotropic Hsiung–Minkowski formula. For a smooth function \(f\) on \(\Sigma\) and \(k=0,\dots,n-1\),
\[
\int_\Sigma f\,H_k^F\big(F(\nu)+\omega_0(\nu,e_{n+1})\big)\,d\mu
=
\int_\Sigma f\,H_{k+1}^F\,(X,\nu)\,d\mu
-\frac{1}{n-k}\int_\Sigma \langle\nabla f, P_k(\Xi)\rangle\,d\mu,
\]
where \(P_k\) is the Newton transformation and \(\Xi\) is an explicit tangential vector field. Setting \(f\) constant recovers the capillary Minkowski identity
\[
\int_\Sigma H_k^F\big(F(\nu)+\omega_0(\nu,e_{n+1})\big)\,d\mu
=
\int_\Sigma H_{k+1}^F\,(X,\nu)\,d\mu.
\]
Together with the anisotropic Heintze–Karcher inequality
\[
\int_\Sigma \frac{F(\nu)+\omega_0(\nu,e_{n+1})}{H_1^F}\,d\mu
\ge (n+1)|\Omega|=\int_\Sigma (X,\nu)\,d\mu,
\]
with equality if and only if \(\Sigma\) is an \(\omega_0\)-capillary Wulff shape, these identities drive a broad family of Alexandrov-type rigidity results [2401.12137].

One consequence is the anisotropic Alexandrov theorem in the half-space: any embedded anisotropic capillary hypersurface with constant anisotropic mean curvature is a truncated Wulff shape. The same conclusion holds for constant higher anisotropic mean curvature \(H_r^F\), \(r\in\{2,\dots,n\}\), under the same capillarity assumptions [2211.02913].

A stronger classification is available at the level of stability. Any compact immersed anisotropic capillary constant anisotropic mean curvature hypersurface in the half-space is weakly stable if and only if it is a truncated Wulff shape. In dimension three, a stable anisotropic capillary minimal surface with Euclidean area growth is a half-plane [2301.03020].

The half-space theory also admits Willmore-type inequalities. For an unbounded closed convex set \(K\subset\mathbb{R}^{n+1}\) and a compact embedded hypersurface \(\Sigma\subset K\) with \(\partial\Sigma\subset\mathrm{Reg}(\partial K)\) satisfying
\[
\langle \nu_F(x),\bar N(x)\rangle\ge 0\quad \forall x\in\partial\Sigma,
\]
one has
\[
\frac{1}{n+1}\int_{\Sigma} F(\nu)\,|H^F|^n\,dA
\ge
\mathrm{AVR}_F(K)\,|W^F|.
\]
In a half-space, this yields the capillary inequality
\[
\frac1{n+1}\int_{\Sigma}\bigl(F(\nu)+\omega_0\langle \nu,E^{F}_{n+1}\rangle\bigr)\,|H^F|^n\,dA
\ge |W^F_{1,\omega_0}|,
\]
with equality if and only if \(\Sigma\) is an anisotropic \(\omega_0\)-capillary Wulff cap [2409.03321].

## 5. Mixed volumes, capillary Minkowski problems, and support-function PDEs

Anisotropic capillary convex bodies are closely tied to support-function formulations of Minkowski-type problems. In the half-space, the capillary support-function framework is especially transparent in the Euclidean capillary theory. For a convex capillary hypersurface \(\Sigma\subset\overline{\mathbb{R}^{n+1}_+}\) with contact angle \(\theta\), the capillary Gauss map takes values in a spherical cap \(C_\theta\), and the support function \(h\) on \(C_\theta\) satisfies
\[
X(\xi)=\nabla h(\xi)+h(\xi)T^{-1}(\xi),
\qquad
A[h]:=\nabla^2 h+h\,\sigma>0,
\qquad
\nabla_\mu h=\cot\theta\,h\quad\text{on }\partial C_\theta.
\]
The capillary mixed volumes are then expressed by
\[
V(f_1,\dots,f_{n+1})
=
\frac1{n+1}\int_{C_\theta} f_1\,Q(A[f_2],\dots,A[f_{n+1}])\,d\xi,
\]
where \(Q\) is the mixed discriminant. This leads to a theory of capillary quermassintegrals and a capillary Alexandrov–Fenchel inequality for mixed volumes of capillary convex bodies in the half-space [2408.13655].

That theory is isotropic, but it supplies an analytic template for the anisotropic case. *This suggests* that anisotropic capillary mixed volumes should be built from anisotropic support functions on an anisotropic cap domain, an anisotropic curvature operator replacing \(A[h]\), and a Robin boundary condition expressing anisotropic Young’s law. The isotropic paper itself formulates this as a blueprint for extension rather than as an established anisotropic theorem [2408.13655].

In the fully anisotropic half-space theory, generalized Minkowski formulas already lead to uniqueness results for capillary curvature prescription problems. If \(\Sigma\) is strictly convex and anisotropic \(\omega_0\)-capillary, and if
\[
\sigma_k(\kappa_F)=C\,f(u),\qquad 0<k<n,
\]
for a smooth function \(f>0\) with \(f'(t)>0\), then \(\Sigma\) is an \(\omega_0\)-capillary Wulff shape. This is the uniqueness statement for the anisotropic Orlicz–Christoffel–Minkowski problem in the capillary setting. In particular, when \(f(u)=u^p\) with \(p\ge 1\), it yields the corresponding uniqueness result for the capillary \(L_p\)-Minkowski problem in Euclidean capillary convex bodies geometry [2401.12137].

More generally, linear and nonlinear curvature identities of the forms
\[
\sum_{j=\ell}^{r} a_j(u)\,H_j^F
=
\sum_{i=1}^{\ell-1} b_i(u)\,H_i^F,
\]
or
\[
\sum_{j=1}^k \big(b_j(u) H_j^F + c_j(u) H_j^F H_{j-1}^F\big)=n(u),
\]
with the monotonicity hypotheses stated in the source, force \(\Sigma\) to be an \(\omega_0\)-capillary Wulff shape [2401.12137].

The capillary support-function PDE perspective also appears in newer work on capillary Minkowski problems in the half-space. In the Euclidean capillary setting, the capillary \(L_p\) dual Minkowski problem is reduced to a Monge–Ampère type equation with Robin boundary condition on the unit spherical cap, and there exists a unique smooth solution provided \(\theta\in(0,\frac{\pi}{2})\) [2510.12804]. Since that result is formulated for Euclidean capillary hypersurfaces, its direct anisotropic analogue remains a separate question.

## 6. Flows, erosion, monotonicity, and analytical extensions

A major dynamical result is the convergence of volume-preserving anisotropic curvature flows to Wulff shapes. For a smooth closed strictly convex hypersurface \(M_t\), the flow
\[
\partial_t X(x,t)=\big(\varphi(t)-E_k(\kappa(x,t))^{\alpha/k}\big)\,\nu_\gamma(x,t),
\]
with \(\varphi(t)\) chosen to preserve enclosed volume, exists for all time and converges in the Hausdorff sense to the Wulff shape. In the cases \(k=1\), \(k=n\), or \(\alpha\ge k\), the Hausdorff convergence improves to smooth and exponential convergence [2108.02049].

This flow result is not merely asymptotic. Its proof uses the curvature-measure rigidity theorem: after extracting a limit convex body \(K_\infty\), weak continuity of anisotropic curvature measures gives a relation of the form
\[
\Phi_n(K_\infty;\cdot)=c\,\Phi_{n-k}(K_\infty;\cdot),
\]
and the characterization theorem then identifies \(K_\infty\) as a scaled Wulff shape [2108.02049]. In that sense, anisotropic curvature measures provide both static classification and dynamic compactness.

A related erosion theory is provided by anisotropic inner parallel bodies. Given convex bodies \(\Omega,K\subset\mathbb{R}^n\), the inner parallel sets
\[
\Omega_\lambda=\Omega\sim \lambda K
\]
satisfy
\[
P_K(\Omega\sim\lambda K)\ge
\left(1-\frac{\lambda}{r_{\Omega,K}}\right)^{n-1}P_K(\Omega),
\]
and the anisotropic isoperimetric quotient
\[
I(\lambda)=
\frac{V_n(\Omega\sim\lambda K)}
{P_K(\Omega\sim\lambda K)^{\frac{n}{n-1}}}
\]
is nonincreasing, generically strictly decreasing. Equality characterizes homothety to tangential bodies of \(K\) [2101.03307]. This gives a complementary picture: Wulff geometry is the equilibrium of volume-preserving curvature relaxation, whereas tangential-body geometry governs self-similar anisotropic erosion.

Monotonicity under inclusion is another structural property with direct capillarity implications. If \(\Phi:\mathbb{R}^n\to[0,\infty)\) is positively \(1\)-homogeneous and convex, and \(A\subset B\) are convex bodies, then
\[
P_\Phi(A)\le P_\Phi(B).
\]
Stefani further proved a quantitative lower bound on the perimeter deficit \(P_\Phi(B)-P_\Phi(A)\) in terms of the Hausdorff distance and a critical cross-section of \(B\) [1612.00295]. This is the anisotropic version of the monotonicity of surface area for nested convex bodies.

That monotonicity is highly rigid. Among weighted isotropic perimeters, only constant multiples of the Euclidean perimeter satisfy monotonicity on nested convex bodies. Although the analogous result fails for general weighted anisotropic perimeters, an analogous characterization does hold for radially weighted anisotropic densities \(f(x,v)=g(x)\varphi(v)\): if monotonicity holds for all nested convex bodies, then the radial weight \(g\) must be constant [2306.07770]. This rules out another common misconception: spatial inhomogeneity is not generically compatible with the inclusion-monotonicity that homogeneous anisotropic capillary energies enjoy.

Finally, anisotropic symmetrization provides the functional-analytic counterpart of Wulff rigidity. For a convex body \(L\) and anisotropic perimeter \(P_{h_L}\), the Wulff inequality identifies dilates of \(L\) as the unique volume-constrained minimizers. In the Sobolev setting, double symmetrization yields
\[
\int_{\mathbb{R}^n}\Phi^{\bullet K\bullet}(\nabla u^K)\,dx
\le
\int_{\mathbb{R}^n}\Phi(\nabla u)\,dx,
\]
and equality forces level sets to be homothetic to the relevant Wulff-type convex bodies [2411.01290]. This suggests that anisotropic capillary convex bodies are not only geometric equilibria of surface-tension problems but also the extremal level-set geometries of a wider class of anisotropic variational inequalities.

Source: https://www.emergentmind.com/topics/anisotropic-capillary-convex-bodies