S-Measure and Minkowski Equivalence

• S-measure is a surface-area based metric that defines the s-dimensional content of a bounded set via the asymptotic behavior of its parallel neighborhoods.
• It demonstrates that S-measurability and Minkowski measurability coincide, with both approaches yielding identical limits and two-sided bounds.
• The framework extends to generalized gauge functions and one-dimensional fractal strings, bridging geometric content with spectral asymptotics.

Searching arXiv for the specified paper to ground the article in the cited source. S-measure, in the sense developed through the surface-area based content of parallel sets, is the notion of measuring a bounded set $A \subset \mathbb{R}^d$ through the asymptotic behavior of the surface area of the boundary of its $r$-parallel neighborhood as $r \to 0$. In the formulation of Rataj and Winter, the relevant object is the $s$-dimensional S-content, defined in direct analogy with the classical Minkowski content, and a set is called $s$-S-measurable when this content exists and is positive and finite. The central result is that Minkowski measurability and S-measurability coincide, with exact agreement of the corresponding limits, and that this equivalence extends to two-sided positivity and finiteness bounds as well as to generalized contents defined by gauge functions (Rataj et al., 2011).

1. Parallel sets and the classical Minkowski content

Let $A \subset \mathbb{R}^d$ be bounded. The Euclidean distance from $x$ to $A$ is

$d_A(x)=\inf_{a\in A}|x-a|.$

For $r>0$, the $r$0-parallel neighborhood is

$r$1

Its $r$2-dimensional volume is

$r$3

Fix $r$4. The $r$5-dimensional lower and upper Minkowski contents of $r$6 are defined by

$r$7

where

$r$8

is the volume of the unit $r$9-ball. Whenever

$r \to 0$0

their common value $r \to 0$1 is called the $r \to 0$2-dimensional Minkowski content of $r \to 0$3, and $r \to 0$4 is said to be $r \to 0$5-Minkowski measurable (Rataj et al., 2011).

This framework measures the small-scale growth of the volume of parallel sets. In the terminology used by Rataj and Winter, the S-content is introduced in complete analogy with this classical volume-based construction.

2. Definition of S-content and S-measurability

The surface-area analogue is obtained by setting

$r \to 0$6

the surface area of the boundary of $r \to 0$7. The lower and upper $r \to 0$8-dimensional S-contents are then defined by

$r \to 0$9

If

$s$0

their common value $s$1 is called the $s$2-dimensional S-content of $s$3, and $s$4 is said to be $s$5-S-measurable (Rataj et al., 2011).

The normalization is chosen so that the asymptotic scaling of $s$6 matches that of the derivative of $s$7. This suggests that S-content is not merely analogous to Minkowski content but is structurally linked to it through the geometry of parallel sets.

3. Equivalence with Minkowski measurability

The central theorem states that Minkowski measurability and S-measurability coincide. Let $s$8 be bounded, let $s$9, and set $s$0. Then the following are equivalent:

1. $s$1 is $s$2-Minkowski measurable, that is,

$s$3

2. $s$4 is $s$5-S-measurable, that is,

$s$6

Moreover, in that case one has the exact coincidence of the two limits: $s$7 In particular, the common exponent $s$8 is then both the Minkowski and the S-dimension of $s$9 (Rataj et al., 2011).

A further theorem gives the corresponding two-sided criterion without requiring existence of a limit. For bounded $A \subset \mathbb{R}^d$0 and fixed $A \subset \mathbb{R}^d$1,

$A \subset \mathbb{R}^d$2

if and only if

$A \subset \mathbb{R}^d$3

Thus any two-sided positive finite bound for the Minkowski content at exponent $A \subset \mathbb{R}^d$4 forces the same two-sided bound for the S-content, and vice versa (Rataj et al., 2011).

These results characterize S-measure as a fully equivalent surface-area formulation of Minkowski measurability rather than a weaker proxy. A plausible implication is that, for bounded sets in Euclidean space, the asymptotic geometry of parallel volume and parallel surface area carries the same measurable information at the critical exponent.

4. Kneser functions and the analytic mechanism

The equivalence is derived from analogous statements for Kneser functions. A function $A \subset \mathbb{R}^d$5 is a Kneser function of order $A \subset \mathbb{R}^d$6 if for all $A \subset \mathbb{R}^d$7 and $A \subset \mathbb{R}^d$8 one has

$A \subset \mathbb{R}^d$9

Rataj and Winter establish two general principles for such functions. First, if $x$0 is Kneser of order $x$1 and

$x$2

then also

$x$3

and conversely. Second, if in addition the limit

$x$4

exists, then

$x$5

also exists and equals $x$6 (Rataj et al., 2011).

These principles are applied to the volume function $x$7, whose left and right derivatives satisfy, in the sense of measures, $x$8. This immediately yields the corresponding statements for Minkowski and S-contents. The role of the Kneser-function framework is therefore foundational: it transfers asymptotic information between a function and its derivative, and in the geometric setting those two objects are the volume and surface area of parallel sets.

5. Generalized contents and gauge functions

The theory extends beyond power-law normalizations. Let $x$9 be a continuous gauge function with $A$0 as $A$1. The generalized Minkowski contents are defined by

$A$2

and similarly for the generalized S-contents with the same $A$3.

Under mild regularity assumptions on $A$4, one again has an equivalence theorem: if $A$5 is differentiable near $A$6, $A$7 does not vanish, and the generalized Minkowski content $A$8 exists in $A$9, then the generalized S-content $d_A(x)=\inf_{a\in A}|x-a|.$0 exists in $d_A(x)=\inf_{a\in A}|x-a|.$1 and equals $d_A(x)=\inf_{a\in A}|x-a|.$2, and conversely (Rataj et al., 2011).

In particular, for

$d_A(x)=\inf_{a\in A}|x-a|.$3

with $d_A(x)=\inf_{a\in A}|x-a|.$4 nondecreasing and slowly varying, one has

$d_A(x)=\inf_{a\in A}|x-a|.$5

and conversely. This shows that the relation between Minkowski content and S-content is not restricted to pure dimensional scaling. It persists for more general gauges, provided the gauge has sufficient differentiability and nondegeneracy near the origin.

6. One-dimensional fractal strings and the Modified Weyl–Berry conjecture

In dimension $d_A(x)=\inf_{a\in A}|x-a|.$6, the theory specializes to compact sets $d_A(x)=\inf_{a\in A}|x-a|.$7 of Minkowski dimension $d_A(x)=\inf_{a\in A}|x-a|.$8, studied via their complementary intervals, or fractal string, $d_A(x)=\inf_{a\in A}|x-a|.$9. Lapidus–Pomerance showed that $r>0$0 is Minkowski measurable of dimension $r>0$1 if and only if

$r>0$2

and used this to resolve the modified Weyl–Berry conjecture for planar vibrations (Rataj et al., 2011).

Rataj and Winter add a further equivalent criterion. For compact $r>0$3 with $r>0$4, the following are all equivalent:

• $r>0$5,
• $r>0$6,
• $r>0$7 as $r>0$8.

Moreover, exact measurability satisfies

$r>0$9

and in this case

$r$00

By passing through the S-content, several steps in the original Lapidus–Pomerance proofs can be streamlined, in particular the sharp two-sided estimates of the counting error for eigenvalues of the Dirichlet Laplacian on the complement of $r$01 (Rataj et al., 2011).

This one-dimensional application situates S-measure within spectral asymptotics and fractal-string theory. It also shows that the surface-area formulation is not only equivalent at an abstract level but can serve as an effective intermediate criterion in problems where interval asymptotics and geometric content are linked.