Anisotropic Outer Minkowski Content

• Anisotropic outer Minkowski content is a first-order parallel-volume functional defined by Minkowski summing a set with a fixed convex body, yielding the anisotropic perimeter in the limit.
• It integrates variational techniques, Γ-convergence, and coarea structures to relate nonlocal volume growth with classical perimeter for finite-perimeter sets.
• Extensions include lower-dimensional structuring, directional refinements, and fractal analogues that broaden its scope in geometric measure theory.

Searching arXiv for the cited papers to ground the article in current literature. Anisotropic outer Minkowski content is a first-order parallel-volume functional obtained by replacing Euclidean outer tubular neighborhoods with Minkowski sums by a fixed convex body $C$. In the codimension-one setting developed by Chambolle, Lussardi, and Novaga, it measures the asymptotic outer volume gain $\frac{|E+\varepsilon C|-|E|}{\varepsilon}$ of a set $E\subset \mathbb R^n$ and, under the same hypotheses that guarantee the classical outer Minkowski content equals perimeter, converges to the anisotropic perimeter $\int_{\partial^*E} h_C(\nu_E)\,d\mathscr H^{n-1}$ (Chambolle et al., 2012). Subsequent work has clarified the dependence on the representative of $E$, the relation with two-sided boundary Minkowski content, the role of the complement, extensions to lower-dimensional structuring elements and lower-dimensional rectifiable sets, and the distinction between metric anisotropy induced by a convex body and directional anisotropy encoded by support measures or curvature-direction measures (Fryš, 11 Aug 2025, Kiderlen et al., 4 Apr 2025, Fryš, 30 Jan 2026, Fryš, 8 Sep 2025).

1. Geometric definition and anisotropic data

The anisotropy is encoded by a fixed closed convex body $C\subset \mathbb R^n$, bounded and containing $0$ in its interior (Chambolle et al., 2012). Its support function is

$h_C(\nu)=\sup_{x\in C} x\cdot \nu,$

and its polar function is

$h_C^\circ(x):=\sup_{h_C(\nu)\le 1} x\cdot \nu.$

Both are convex, positively one-homogeneous, and Lipschitz, and satisfy

$C=\{h_C^\circ\le 1\}.$

Because $\frac{|E+\varepsilon C|-|E|}{\varepsilon}$0, there exist $\frac{|E+\varepsilon C|-|E|}{\varepsilon}$1 such that

$\frac{|E+\varepsilon C|-|E|}{\varepsilon}$2

hence

$\frac{|E+\varepsilon C|-|E|}{\varepsilon}$3

These estimates place the anisotropic theory within the same coercive framework as the Euclidean one (Chambolle et al., 2012).

For a measurable set $\frac{|E+\varepsilon C|-|E|}{\varepsilon}$4, the raw anisotropic outer $\frac{|E+\varepsilon C|-|E|}{\varepsilon}$5-Minkowski content is

$\frac{|E+\varepsilon C|-|E|}{\varepsilon}$6

where $\frac{|E+\varepsilon C|-|E|}{\varepsilon}$7 is the Minkowski sum (Chambolle et al., 2012). In sufficiently regular situations this equals

$\frac{|E+\varepsilon C|-|E|}{\varepsilon}$8

This is a one-sided content: it measures only outward growth, in contrast with the two-sided Minkowski content of the boundary (Fryš, 11 Aug 2025).

A central subtlety is that $\frac{|E+\varepsilon C|-|E|}{\varepsilon}$9 is sensitive to modifications on null sets (Chambolle et al., 2012). To remove this defect, the robust set-functional version is defined through

$E\subset \mathbb R^n$0

and

$E\subset \mathbb R^n$1

For measurable $E\subset \mathbb R^n$2,

$E\subset \mathbb R^n$3

where $E\subset \mathbb R^n$4 and $E\subset \mathbb R^n$5 are the density-one and density-zero points of $E\subset \mathbb R^n$6 (Chambolle et al., 2012). This identifies the measure-theoretically canonical representative.

The expected limit is the anisotropic perimeter

$E\subset \mathbb R^n$7

with $E\subset \mathbb R^n$8 the reduced boundary and $E\subset \mathbb R^n$9 the measure-theoretic outer unit normal (Chambolle et al., 2012). When $\int_{\partial^*E} h_C(\nu_E)\,d\mathscr H^{n-1}$0, $\int_{\partial^*E} h_C(\nu_E)\,d\mathscr H^{n-1}$1, and the anisotropic perimeter reduces to the classical perimeter.

2. Relation to classical Minkowski content and perimeter

The classical outer Minkowski content of a compact set $\int_{\partial^*E} h_C(\nu_E)\,d\mathscr H^{n-1}$2 is

$\int_{\partial^*E} h_C(\nu_E)\,d\mathscr H^{n-1}$3

whenever the limit exists (Chambolle et al., 2012). Ambrosio–Colesanti–Villa proved that if $\int_{\partial^*E} h_C(\nu_E)\,d\mathscr H^{n-1}$4 has finite perimeter and the Minkowski content of $\int_{\partial^*E} h_C(\nu_E)\,d\mathscr H^{n-1}$5 exists and equals the perimeter, then $\int_{\partial^*E} h_C(\nu_E)\,d\mathscr H^{n-1}$6 exists and equals $\int_{\partial^*E} h_C(\nu_E)\,d\mathscr H^{n-1}$7 (Chambolle et al., 2012). In the notation used there, the sufficient condition is

$\int_{\partial^*E} h_C(\nu_E)\,d\mathscr H^{n-1}$8

The anisotropic theory preserves this structural dependence on the isotropic hypothesis. The central pointwise theorem states that if $\int_{\partial^*E} h_C(\nu_E)\,d\mathscr H^{n-1}$9 is a finite-perimeter set such that

$E$0

then

$E$1

(Chambolle et al., 2012). Thus the anisotropic outer Minkowski content exists on the same class of sets for which the isotropic outer Minkowski content exists and equals perimeter, and its limit is exactly the anisotropic surface energy.

For convex or smooth sets, this conclusion is consistent with Steiner-type expansions. In particular, for convex $E$2,

$E$3

so the first variation coefficient is already the anisotropic perimeter (Chambolle et al., 2012). The codimension-one theory can therefore be understood as extending the familiar first-order convex expansion to broad geometric-measure-theoretic classes of nonconvex finite-perimeter sets.

A common misconception is that anisotropic outer content should exist for arbitrary measurable sets merely because the support function $E$4 is well defined. The codimension-one theory does not make such a claim. Existence is tied to finite perimeter and, for the pointwise identification of the raw content, to the same isotropic regularity condition needed in the Euclidean case (Chambolle et al., 2012).

3. Variational formulation, coarea structure, and $E$5-convergence

The anisotropic outer Minkowski content is also a variational approximation scheme. A generalized coarea formula holds: $E$6 which makes the set-functional version the level-set counterpart of a nonlocal anisotropic total variation approximation (Chambolle et al., 2012).

The main variational theorem states that, as $E$7, both $E$8 and $E$9 $C\subset \mathbb R^n$0-converge in $C\subset \mathbb R^n$1 to

$C\subset \mathbb R^n$2

Moreover, if $C\subset \mathbb R^n$3, then, up to subsequences, $C\subset \mathbb R^n$4 converges in $C\subset \mathbb R^n$5 to some set $C\subset \mathbb R^n$6 (Chambolle et al., 2012). This identifies anisotropic perimeter as the unique variational limit of anisotropic outer parallel-volume growth.

The functional analogue is equally explicit. As $C\subset \mathbb R^n$7, $C\subset \mathbb R^n$8 $C\subset \mathbb R^n$9-converges to

$0$0

(Chambolle et al., 2012). This places anisotropic outer Minkowski content within the theory of anisotropic $0$1 energies, rather than solely within convex geometry.

The proof mechanism combines an anisotropic distance function

$0$2

with the identity

$0$3

and Reshetnyak lower semicontinuity (Chambolle et al., 2012). This reveals that the anisotropy acts through the gauge $0$4 in the tubular neighborhoods and through $0$5 in the limiting surface density.

4. Boundary content, symmetrization, and anisotropy-independence phenomena

The outer content is one-sided, whereas boundary Minkowski content is two-sided. For a finite-perimeter set $0$6, the $0$7-anisotropic Minkowski content of the topological boundary is defined by

$0$8

when the limit exists (Fryš, 11 Aug 2025). Because $0$9 need not be even, the expected limit is not $h_C(\nu)=\sup_{x\in C} x\cdot \nu,$0 alone, but

$h_C(\nu)=\sup_{x\in C} x\cdot \nu,$1

This averaging reflects the fact that a two-sided boundary neighborhood sees both orientations (Fryš, 11 Aug 2025).

The symmetrized content already appears in the 2012 codimension-one paper: $h_C(\nu)=\sup_{x\in C} x\cdot \nu,$2 and under the isotropic hypothesis one has

$h_C(\nu)=\sup_{x\in C} x\cdot \nu,$3

(Chambolle et al., 2012). This is the natural codimension-one anisotropic analogue of the classical Minkowski content of a hypersurface.

A major refinement was obtained in "Existence of Anisotropic Minkowski Content" (Fryš, 11 Aug 2025). For a set $h_C(\nu)=\sup_{x\in C} x\cdot \nu,$4 of finite perimeter and any two convex bodies $h_C(\nu)=\sup_{x\in C} x\cdot \nu,$5, the existence of the anisotropic Minkowski content of $h_C(\nu)=\sup_{x\in C} x\cdot \nu,$6 with the expected limit for $h_C(\nu)=\sup_{x\in C} x\cdot \nu,$7 is equivalent to the corresponding existence statement for $h_C(\nu)=\sup_{x\in C} x\cdot \nu,$8. In particular,

$h_C(\nu)=\sup_{x\in C} x\cdot \nu,$9

if and only if

$h_C^\circ(x):=\sup_{h_C(\nu)\le 1} x\cdot \nu.$0

(Fryš, 11 Aug 2025). This establishes anisotropy-independence for the boundary content of finite-perimeter sets.

For outer content, the same paper proves a corollary requiring both $h_C^\circ(x):=\sup_{h_C(\nu)\le 1} x\cdot \nu.$1 and its complement. If $h_C^\circ(x):=\sup_{h_C(\nu)\le 1} x\cdot \nu.$2, then

$h_C^\circ(x):=\sup_{h_C(\nu)\le 1} x\cdot \nu.$3

hold for one anisotropy $h_C^\circ(x):=\sup_{h_C(\nu)\le 1} x\cdot \nu.$4 if and only if they hold for every anisotropy, in particular for the Euclidean one (Fryš, 11 Aug 2025). A common misunderstanding is that existence for $h_C^\circ(x):=\sup_{h_C(\nu)\le 1} x\cdot \nu.$5 alone should suffice. The paper explicitly shows this is false in general.

5. Extensions to lower-dimensional structuring elements and lower-dimensional sets

The convex body defining the anisotropy need not be full-dimensional. "On the (outer) Minkowski content with lower-dimensional structuring element" studies the outer $h_C^\circ(x):=\sup_{h_C(\nu)\le 1} x\cdot \nu.$6-Minkowski content

$h_C^\circ(x):=\sup_{h_C(\nu)\le 1} x\cdot \nu.$7

for compact convex $h_C^\circ(x):=\sup_{h_C(\nu)\le 1} x\cdot \nu.$8, possibly with $h_C^\circ(x):=\sup_{h_C(\nu)\le 1} x\cdot \nu.$9 (Kiderlen et al., 4 Apr 2025). The associated anisotropic perimeter is

$C=\{h_C^\circ\le 1\}.$0

which reduces to the ordinary perimeter when $C=\{h_C^\circ\le 1\}.$1 (Kiderlen et al., 4 Apr 2025).

The paper proves a general lower bound

$C=\{h_C^\circ\le 1\}.$2

and shows that if the isotropic outer Minkowski content exists and equals $C=\{h_C^\circ\le 1\}.$3, then $C=\{h_C^\circ\le 1\}.$4 for any nonempty compact $C=\{h_C^\circ\le 1\}.$5 (Kiderlen et al., 4 Apr 2025). Its main novelty is that when $C=\{h_C^\circ\le 1\}.$6 lies in a $C=\{h_C^\circ\le 1\}.$7-dimensional subspace $C=\{h_C^\circ\le 1\}.$8, a weaker AFP-condition relative to $C=\{h_C^\circ\le 1\}.$9 is sufficient for existence. This reflects that a lower-dimensional dilation probes only selected directions.

The same directional principle governs lower-dimensional anisotropic Minkowski content for rectifiable sets. "Anisotropic Minkowski Content for Countably $\frac{|E+\varepsilon C|-|E|}{\varepsilon}$00-rectifiable Sets" defines

$\frac{|E+\varepsilon C|-|E|}{\varepsilon}$01

and proves that for a compact $\frac{|E+\varepsilon C|-|E|}{\varepsilon}$02-rectifiable set $\frac{|E+\varepsilon C|-|E|}{\varepsilon}$03,

$\frac{|E+\varepsilon C|-|E|}{\varepsilon}$04

(Fryš, 30 Jan 2026). Thus the density is the $\frac{|E+\varepsilon C|-|E|}{\varepsilon}$05-dimensional volume of the projection of $\frac{|E+\varepsilon C|-|E|}{\varepsilon}$06 onto the normal space of $\frac{|E+\varepsilon C|-|E|}{\varepsilon}$07. In codimension one this reduces to

$\frac{|E+\varepsilon C|-|E|}{\varepsilon}$08

recovering the anisotropic boundary content formula (Fryš, 30 Jan 2026).

The 2026 paper also shows that for full-dimensional $\frac{|E+\varepsilon C|-|E|}{\varepsilon}$09, validity of the representation formula for one $\frac{|E+\varepsilon C|-|E|}{\varepsilon}$10 implies validity for every full-dimensional $\frac{|E+\varepsilon C|-|E|}{\varepsilon}$11 (Fryš, 30 Jan 2026). By contrast, for lower-dimensional $\frac{|E+\varepsilon C|-|E|}{\varepsilon}$12, dependence on the choice of $\frac{|E+\varepsilon C|-|E|}{\varepsilon}$13 is genuine. This sharpens the distinction between anisotropy-independence phenomena in full-dimensional codimension-one theory and the genuinely directional behavior of lower-dimensional structuring bodies.

6. Directional refinements, tensor-valued analogues, and fractal variants

Anisotropic outer Minkowski content can be generalized in two different directions. One is gauge anisotropy, where Euclidean balls are replaced by a convex body $\frac{|E+\varepsilon C|-|E|}{\varepsilon}$14. The other is directional or tensorial refinement of outer parallel coefficients. "Minkowski Tensors of Anisotropic Spatial Structure" develops the latter viewpoint through local Steiner formulas and support measures (Schröder-Turk et al., 2010).

For a convex body $\frac{|E+\varepsilon C|-|E|}{\varepsilon}$15, the local outer parallel set

$\frac{|E+\varepsilon C|-|E|}{\varepsilon}$16

satisfies

$\frac{|E+\varepsilon C|-|E|}{\varepsilon}$17

where $\frac{|E+\varepsilon C|-|E|}{\varepsilon}$18 are support measures (Schröder-Turk et al., 2010). Because $\frac{|E+\varepsilon C|-|E|}{\varepsilon}$19 may restrict the normal direction, these are already directional outer-content coefficients. Minkowski tensors arise by integrating $\frac{|E+\varepsilon C|-|E|}{\varepsilon}$20 against $\frac{|E+\varepsilon C|-|E|}{\varepsilon}$21, thereby producing tensor-valued anisotropic refinements of scalar outer parallel-volume coefficients (Schröder-Turk et al., 2010).

A different extension appears in fractal geometry. "Fractal curvatures and Minkowski content of self-conformal sets" studies Cesàro-averaged limits of rescaled outer parallel sets $\frac{|E+\varepsilon C|-|E|}{\varepsilon}$22 and refines them to curvature-direction measures on $\frac{|E+\varepsilon C|-|E|}{\varepsilon}$23 (Bohl, 2012). Here the anisotropy is not induced by a non-Euclidean gauge $\frac{|E+\varepsilon C|-|E|}{\varepsilon}$24, but by directional dependence on normals and orthogonal cocycles. This suggests that anisotropic outer Minkowski content has at least two mathematically distinct meanings: gauge anisotropy via $\frac{|E+\varepsilon C|-|E|}{\varepsilon}$25, and directional anisotropy via measures on position-normal space.

Lower-dimensional anisotropic outer content for compact sets is studied in "Anisotropic lower-dimensional Minkowski content and $\frac{|E+\varepsilon C|-|E|}{\varepsilon}$26-content" (Fryš, 8 Sep 2025). For compact $\frac{|E+\varepsilon C|-|E|}{\varepsilon}$27,

$\frac{|E+\varepsilon C|-|E|}{\varepsilon}$28

defines the $\frac{|E+\varepsilon C|-|E|}{\varepsilon}$29-dimensional anisotropic outer Minkowski content (Fryš, 8 Sep 2025). The paper proves that $\frac{|E+\varepsilon C|-|E|}{\varepsilon}$30 is of Kneser type of order $\frac{|E+\varepsilon C|-|E|}{\varepsilon}$31, yielding inequalities

$\frac{|E+\varepsilon C|-|E|}{\varepsilon}$32

For null sets, the same relations hold with ordinary anisotropic Minkowski content $\frac{|E+\varepsilon C|-|E|}{\varepsilon}$33 in place of $\frac{|E+\varepsilon C|-|E|}{\varepsilon}$34 (Fryš, 8 Sep 2025). The Sierpiński gasket example shows that lower and upper anisotropic Minkowski and $\frac{|E+\varepsilon C|-|E|}{\varepsilon}$35-contents may all differ, so no general equality principle survives in the fractal regime.

7. Scope, proof mechanisms, and open directions

The codimension-one theory rests on reduced boundaries, blow-up to half-spaces, and measure-theoretic normals rather than topological boundaries (Chambolle et al., 2012). In the pointwise theorem, the measures

$\frac{|E+\varepsilon C|-|E|}{\varepsilon}$36

are shown to concentrate on $\frac{|E+\varepsilon C|-|E|}{\varepsilon}$37, and one identifies their density with $\frac{|E+\varepsilon C|-|E|}{\varepsilon}$38 by combining a lower bound from $\frac{|E+\varepsilon C|-|E|}{\varepsilon}$39-convergence with a flatness argument driven by the isotropic outer-content hypothesis (Chambolle et al., 2012). This makes the reduced boundary the correct geometric support of the limit.

Two scope restrictions recur throughout the literature. First, raw outer content depends on the representative of $\frac{|E+\varepsilon C|-|E|}{\varepsilon}$40, so measure-theoretic representatives such as $\frac{|E+\varepsilon C|-|E|}{\varepsilon}$41 or $\frac{|E+\varepsilon C|-|E|}{\varepsilon}$42 are indispensable (Chambolle et al., 2012, Fryš, 11 Aug 2025). Second, pointwise existence statements are not available for arbitrary measurable sets or arbitrary finite-perimeter sets; they require hypotheses equivalent or comparable to those guaranteeing the Euclidean result (Chambolle et al., 2012, Fryš, 11 Aug 2025).

Several later works suggest broader directions. The 2025 anisotropy-independence theorem indicates that for boundary Minkowski content of finite-perimeter sets, the existence question is fundamentally isotropy-independent (Fryš, 11 Aug 2025). The lower-dimensional papers show, however, that once one leaves the full-dimensional codimension-one setting, dependence on the structuring body can be sharp and discontinuous (Kiderlen et al., 4 Apr 2025, Fryš, 30 Jan 2026). This suggests that the codimension-one equivalence phenomenon is exceptional rather than universal.

A plausible implication is that anisotropic outer Minkowski content should be regarded not as a single invariant but as a family of asymptotic functionals whose behavior depends strongly on which aspect of anisotropy is being encoded: ambient gauge, structuring-body dimension, directional filtering, tensorial weighting, or capillary boundary geometry. The literature supports this differentiation. Gauge anisotropy in finite-perimeter codimension one leads to anisotropic perimeter (Chambolle et al., 2012); directional refinement leads to support measures and Minkowski tensors (Schröder-Turk et al., 2010); self-conformal directional theory leads to curvature-direction measures rather than a non-Euclidean gauge content (Bohl, 2012); and lower-dimensional theories replace support functions by projected volumes of $\frac{|E+\varepsilon C|-|E|}{\varepsilon}$43 on normal spaces (Fryš, 30 Jan 2026).

In its most established form, anisotropic outer Minkowski content is therefore the first-order outer parallel-volume growth under Minkowski enlargement by a convex body $\frac{|E+\varepsilon C|-|E|}{\varepsilon}$44, with limit

$\frac{|E+\varepsilon C|-|E|}{\varepsilon}$45

for the same class of finite-perimeter sets that support the classical Euclidean theorem (Chambolle et al., 2012). Subsequent developments refine this statement by separating one-sided from two-sided content, clarifying anisotropy-independence, extending the theory to lower-dimensional settings, and embedding it into broader integral-geometric and fractal frameworks (Fryš, 11 Aug 2025, Kiderlen et al., 4 Apr 2025, Fryš, 30 Jan 2026, Fryš, 8 Sep 2025, Schröder-Turk et al., 2010, Bohl, 2012).