Anisotropic Minkowski Content for Countably $\mathcal{H}^k$-rectifiable Sets

Definition

Definition 1.1

GSYG

Let k, n\in\mathbb{N} satisfy 1\leq k\leq n, f\colon\mathbb{R}^k\to\mathbb{R}^n and g\colon\mathbb{R}^n\to\mathbb{R}^k be Lipschitz. We define (almost everywhere) the Jacobian determinant of f at x\in\mathbb{R}^k and the Jacobian determinant of g at y\in\mathbb{R}^n as

\begin{aligned} J_kf(x)\coloneq \sqrt{\det\big([Df(x)]^{\top}[D f(x)]\big)}&&\text{and}&&J^kg(y)\coloneq \sqrt{\det\big([Dg(y)][Dg(y)]^{\top}\big)}. \end{aligned}

Theorem

Theorem 1.2 (Area Formula, )

BLKL

Let f\colon\mathbb{R}^k\to\mathbb{R}^n be Lipschitz and E\subseteq\mathbb{R}^k be \mathcal{H}^k-measurable, where k, n\in\mathbb{N} satisfy 1\leq k\leq n. Then the map y\mapsto \mathcal{H}^{0}\big(f^{-1}(\{y\})\cap E\big) is \mathcal{H}^k-measurable and

\int\limits_{E}J_kf(x)\,\mathrm d\mathcal{H}^{k}(x)=\int\limits_{\mathbb{R}^n}\mathcal{H}^{0}\big(f^{-1}(\{y\})\cap E\big)\,\mathrm d\mathcal{H}^{k}(y).

Theorem

Theorem 1.3 (Coarea Formula, )

461C

Let f\colon\mathbb{R}^n\to\mathbb{R}^k be Lipschitz and E\subseteq\mathbb{R}^n be \mathcal{H}^n-measurable, where k, n\in\mathbb{N} satisfy 1\leq k\leq n. Then the map y\mapsto \mathcal{H}^{n-k}\big(f^{-1}(\{y\})\cap E\big) is \mathcal{H}^k-measurable and

\int\limits_{E}J^kf(x)\,\mathrm d\mathcal{H}^{n}(x)=\int\limits_{\mathbb{R}^k}\mathcal{H}^{n-k}\big(f^{-1}(\{y\})\cap E\big)\,\mathrm d\mathcal{H}^{k}(y).

Definition

Definition 1.4

E2U7

Let k\in\mathbb{N}_0 with k\leq n and S\subseteq\mathbb{R}^n be \mathcal{H}^k-measurable.

The set S is said to be k-rectifiable provided that there exists a bounded set F\subseteq\mathbb{R}^k and a Lipschitz map f\colon F\to\mathbb{R}^n such that f(F)=S.

The set S is said to be countably \mathcal{H}^{k}-rectifiable if there exists a sequence \{f_i\}_{i=0}^{\infty} of Lipschitz functions from \mathbb{R}^k to \mathbb{R}^n such that

\mathcal{H}^k\left(S\setminus \bigcup_{i\in\mathbb{N}_0}f_i\left(\mathbb{R}^k\right)\right)=0.

Theorem

Theorem 1.5

Z35S

If W is a countably \mathcal{H}^{m}-rectifiable set and Z is a countably \mathcal{H}^{l}-rectifiable set, where m\geq l, and f\colon W\to Z is Lipschitzian, then for \mathcal{H}^l-a.a. y\in Z, the set f^{-1}(\{y\}) is countably \mathcal{H}^{m-l}-rectifiable.

Used by Proof

Remark

Remark 1.6

ZDCU

Let L\subseteq\mathbb{R}^n be a linear subspace of dimension m and let S\subseteq\mathbb{R}^n be a countably \mathcal{H}^k-rectifiable set with k+m\geq n. Then

\int\limits_{S} J^{n-m}\big(P_{L^{\perp}}|_{\textup{T}^k_w S}\big)\,\,\mathrm d\mathcal{H}^{k}(w) = \int\limits_{L^{\perp}} \mathcal{H}^{k+m-n}\big(S\cap(z+L)\big)\,\,\mathrm d\mathcal{H}^{n-m}(z).

This formula can be naturally extended to nonnegative measurable functions.

Here,

J^{n-m}\big(P_{L^{\perp}}|_{\textup{T}^k_w S}\big)=\sqrt{\det\big([P_{L^{\perp}}|_{\textup{T}^k_w S}][P_{L^{\perp}}|_{\textup{T}^k_w S}]^{\top}\big)}.

Moreover,

J^{n-m}\big(P_{L^{\perp}}|_{\textup{T}^k_w S}\big) =J^{n-k}\big(P_{(\textup{T}^{k}_w S)^{\perp}}|_L\big)\coloneq \sqrt{\det\big([P_{(\textup{T}^{k}_w S)^{\perp}}|_L][P_{(\textup{T}^{k}_w S)^{\perp}}|_L]^{\top}\big)} .

Definition

Definition 1.7

435Q

Let S \subseteq \mathbb{R}^n. We say that S is a Lipschitz k-graph (respectively, a \mathcal{C}^1 k-graph) if, up to a rotation of \mathbb{R}^n, the set S can be written as the graph of a Lipschitz function from \mathbb{R}^k to \mathbb{R}^{n-k} (respectively, of a function of class \mathcal{C}^1).

Remark

Remark 1.8

17OI

Given a countably \mathcal{H}^{k}-rectifiable set S\subseteq\mathbb{R}^n, there exists a countable family of pairwise disjoint compact subsets of S that covers S up to an \mathcal{H}^{k}-negligible set and each element of which is a subset of a \mathcal{C}^1 k-graph.

Used by Proof

Theorem

Theorem 1.9

0DBM

Let S\subseteq\mathbb{R}^n be a countably \mathcal{H}^k-rectifiable set of finite \mathcal{H}^k-measure. Then for \mathcal{H}^k-a.a. x\in S, there exists a k-dimensional approximate tangent space at x \textup{T}^k_xS\in G_k(\mathbb{R}^n) uniquely determined by the following:

\lim_{r\to0_+}\frac{1}{r^k}\int\limits_S \phi\!\left(\frac{z-x}{r}\right)\,\mathrm{d}\mathcal{H}^k(z) = \int\limits_{\textup{T}_x^kS} \phi(y)\,\mathrm{d}\mathcal{H}^k(y), \qquad \phi\in\mathcal{C}^{\infty}_c(\mathbb{R}^n).

Definition

Definition 1.10

6XWD

Let S\subseteq\mathbb{R}^n be a countably \mathcal{H}^k-rectifiable set, and let \{S_i\}_{i=1}^{\infty} be a partition of \mathcal{H}^k-a.a. of S into countably \mathcal{H}^k-rectifiable sets of finite \mathcal{H}^k-measure. For \mathcal{H}^k-a.e. x\in S_i, we define the approximate tangent space of S at x, written \textup{T}_x^kS, as

\textup{T}_x^kS\coloneqq \textup{T}_x^kS_i,

where the latter is defined in Theorem 1.9.

In particular, if k=n-1, for \mathcal{H}^{n-1}-a.a. x\in S, there exists a unit vector \nu_S(x), unique up to sign, that generates the linear subspace (\textup{T}^{n-1}_xS)^{\perp}.

Remark

Remark 1.11

YSG7

If S^{\prime}, S\subseteq\mathbb{R}^n are countably \mathcal{H}^k-rectifiable sets satisfying S^{\prime}\subseteq S, then

\textup{T}^k_xS=\textup{T}_x^kS^{\prime}\qquad\text{for $\mathcal{H}^k$-a.a. $x\in S^{\prime}.$}

Furthermore, the approximate tangent-space map

x\mapsto \textup{T}_x^kS, \qquad x\in S,

is \mathcal H^k-measurable and is defined uniquely up to changes on an \mathcal H^k-negligible subset of S.

Used by Proof

Lemma

Lemma 1.12

ZG9A

Let A\subseteq\mathbb{R}^n, and let \rho>0. Then there exists an at most countable set S\subseteq A such that

\begin{aligned} A\subseteq\bigcup_{x\in S}B(x, \rho) &&\text{and}&& \sum_{x\in S}\chi_{B(x, \rho)}\leq 3^n. \end{aligned}

Used by Proof, Proof

Proof of Lemma 1.12

Let S\subseteq A be a strictly \rho-separated set (that is, whenever x, y\in S with x\neq y, then |x-y|>\rho), maximal with respect to inclusion. Then S is at most countable since \mathbb{R}^n is separable. Maximality ensures that for every y\in A there exists some x\in S such that |x-y|\leq \rho. Consequently,

A\subseteq\bigcup_{x\in S}B(x, \rho).

Further, let

S_{y}\coloneqq \{x\in S : y\in B(x, \rho)\}, \qquad y\in\mathbb{R}^n.

Let y\in \mathbb{R}^n. The balls \{B(x, \rho/2)\}_{x\in S_{y}} are pairwise disjoint and contained in B(y, 3\rho/2), which in turn implies

\mathcal{H}^0(S_y)\omega_n(\rho/2)^n\leq \lambda^n\Big(\bigcup_{x\in S_y} B(x, \rho/2)\Big)\leq \omega_n(3\rho/2)^n.

Thus \mathcal{H}^0(S_y)\leq 3^n. Finally, for any y\in\mathbb{R}^n we have

\sum_{x\in S}\chi_{B(x,\rho)}(y)=\mathcal{H}^0(S_y)\leq 3^n.

Definition

Definition 1.13

79QJ

A convex body is a nonempty compact convex subset of \mathbb R^n. We denote by \mathcal C^n the family of all convex bodies C satisfying 0\in\operatorname{\textup{relint}}(C). For a convex body C, the dimension \dim(C) is the dimension of \operatorname{\textup{aff}}(C).

Further, we set

\begin{aligned} \mathcal{C}^{n, k}\coloneq\{C\in\mathcal{C}^n : \dim(C)=k\}, \qquad k\in\{0, \dots, n\}. \end{aligned}

Used by Lemma 2.7, Proof, Proof, Lemma 3.1, Proof, Proof, Proof, Remark 4.2

Definition

Definition 1.14

MH1B

Let C\in\mathcal{C}^n. The support function of C is given by the formula

h_C(y)\coloneq \sup_{x\in C}x\cdot y,\qquad y\in\mathbb{R}^n

The radial function of C is defined as

\rho_{C}(x)\coloneq\max\{t\geq0 : tx\in C\}, \qquad x\in\mathbb{S}^{n-1}.

Remark

Remark 1.15

3IPE

Let C\in\mathcal{C}^n.

The function x\mapsto h_C(x) is sublinear, hence convex, and Lipschitz with the property h_{-C}(x)=h_{C}(-x) for all x\in\mathbb{R}^n. It is also true that h_{aC}=ah_{C} for any a>0.
We have \rho_C(x)x\in C for any x\in\mathbb{S}^{n-1}, which in turn implies that \rho_C(x)\leq\operatorname{\textup{diam}}(C) for any x\in\mathbb{S}^{n-1}.

Definition

Definition 1.16

FSMI

The mapping d_H\colon \mathcal{C}^n\times\mathcal{C}^n\to[0, \infty) defined as

d_H(C, K)\coloneq\max\big\{\sup_{x\in C}\operatorname{\textup{dist}}(x, K), \sup_{y\in K}\operatorname{\textup{dist}}(y, C)\big\},\qquad (C, K)\in\mathcal{C}^n\times\mathcal{C}^n,

is called the Hausdorff metric. The set \mathcal{C}^n endowed with the mapping d_H is a metric space.

Remark

Remark 1.17

7033

For any pair (C, K)\in\mathcal{C}^n\times\mathcal{C}^n, it holds that

d_H(C, K)=\Vert h_C-h_K\Vert_{\mathcal{C}(\mathbb{S}^{n-1})}=\inf\{t\geq 0 : C\subseteq K\oplus B(0, t),\, K\subseteq C\oplus B(0, t)\}.

Definition

Definition 1.18

DDTT

Let C, K\subseteq\mathbb{R}^n be two compact convex sets. Then the measure \lambda^n(K\oplus rC) can be expressed as follows:

\lambda^n(K\oplus rC) =\sum_{i=0}^n \binom{n}{i} V_n\bigl(K[i],\,C[n-i]\bigr)\,r^{\,n-i},\qquad r>0,

where the coefficient V_n\bigl(K[i],C[n-i]\bigr) is called the mixed volume of i copies of K and n-i copies of C.

Remark

Remark 1.19

9PVH

If C, K and K^{\prime} are compact convex sets with K\subseteq K^{\prime}, then for any index i\in\{0, \dots, n\}, x, y\in\mathbb{R}^n, and for any \alpha, \beta>0, we have

\begin{split} V_n\bigl(K[i],C[n-i]\bigr)&\leq V_n\bigl(K^{\prime}[i], C[n-i]\bigr)\\V_n\bigl(K[i],C[n-i]\bigr)&= V_n\bigl((x+K)[i], (y+C)[n-i]\bigr)\\ V_n\bigl((\alpha K)[i], (\beta C)[n-i]\bigr)&=\alpha^i \beta^{n-i}V_n\bigl(K[i], C[n-i]\bigr) \\ V_n\bigl(K[i], K[n-i]\bigr)&=\lambda^n(K).\end{split}

Furthermore, the mapping

(C, K)\mapsto V_n\bigl(K[i],C[n-i]\bigr)

is continuous from \mathcal{C}^n\times\mathcal{C}^n to the reals.

Used by Proof

Definition

Definition 2.1

QMMW

Let C\in\mathcal{C}^n, let E\subseteq\mathbb{R}^n, and let s\in [0, n]. Putting

\mathcal{M}^{s}_{r, C}(E)\coloneq \frac{\lambda^{n}(E\oplus rC)}{\omega_{n-s}r^{n-s}},\qquad r>0,

we define the s-dimensional lower and upper C-anisotropic Minkowski content of E, possibly taking the value +\infty, by

\begin{aligned} \mathcal{M}^s_{C}(E)_*\coloneq \liminf_{r\to0_+}\mathcal{M}^{s}_{r, C}(E)&& \text{and}&&\mathcal{M}^s_{C}(E)^*\coloneq \limsup_{r\to0_+}\mathcal{M}^{s}_{r, C}(E). \end{aligned}

Whenever the two quantities are equal, that is, \mathcal{M}^s_{C}(E)_*=\mathcal{M}^s_{C}(E)^*, we define the s-dimensional C-anisotropic Minkowski content of E by

\mathcal{M}^s_{C}(E)\coloneq \mathcal{M}^s_{C}(E)^*.

Remark

Remark 2.2

6DMJ

As pointed out by the reviewer, if C\in\mathcal{C}^n with \dim(C)<n and E\subseteq\mathbb{R}^n is measurable, then the Minkowski sum E\oplus C need not be measurable. A simple example is the following: Let F\subseteq\mathbb{R} be not \lambda^1-measurable, and let

C\coloneqq \{0\}\times [-1, 1]\times [-1, 1], \qquad E\coloneqq F\times\{0\}\times\{0\}.

Then E is \lambda^3-measurable, but E\oplus C=F\times[-1, 1]\times [-1, 1] is not \lambda^3-measurable. Observe that in this case, the set E is countably \mathcal{H}^2-rectifiable. Indeed, it is contained in a line, which implies that E is \mathcal{H}^2-negligible. In Definition 2.1 we therefore work with the Lebesgue outer measure.

However, if E is Borel, or more generally analytic, then E\oplus C is measurable for every C\in\mathcal{C}^n since the set E\oplus C is analytic as the continuous image of the Borel (respectively analytic) set E\times C under the continuous map f\colon \mathbb{R}^n\times \mathbb{R}^n\to\mathbb{R}^n given by f(x, y)\coloneqq x+y.

On the other hand, if \dim(C)=n, then the Minkowski sum E\oplus C is measurable even if E itself is not measurable. Indeed,

E\oplus \operatorname{\textup{int}}(C)=\overline{E}\oplus\operatorname{\textup{int}}(C).

The inclusion \subseteq is trivial. Conversely, if x=e+c\in \overline{E}\oplus\operatorname{\textup{int}}(C) for some e\in\overline{E} and c\in\operatorname{\textup{int}}(C), then there exists some \varepsilon>0 such that B(c, \varepsilon)\subseteq \operatorname{\textup{int}}(C). Since e\in\overline{E}, there exists some e^{\prime}\in E such that |e-e^{\prime}|<\varepsilon. But then

x=e+c=e^{\prime}+(e-e^{\prime})+c\in E\oplus B(c, \varepsilon)\subseteq E\oplus \operatorname{\textup{int}}(C),

which completes the proof of the inclusion \supseteq. Furthermore,

\begin{aligned} \lambda^n(\overline{E}\oplus C)=\lambda^n\big(\overline{E}\oplus\operatorname{\textup{int}}(C)\big). \end{aligned}

(see [Rataj5, p. 6, Eq. (10)]). Next

\begin{aligned} \overline{E}\oplus\operatorname{\textup{int}}(C)=E\oplus \operatorname{\textup{int}}(C)\subseteq E\oplus C\subseteq \overline{E}\oplus C. \end{aligned}

If E is bounded, this together with (?) implies the measurability of E\oplus C. If E is not bounded, we use that

E\oplus C=\bigcup_{j\in\mathbb{N}}\Big(\big(E\cap B(0, j)\big)\oplus C\Big),

from which we conclude that the set E\oplus C is again measurable.

Remark

Remark 2.3

3ATX

Let C, C^{\prime}\in\mathcal{C}^n such that \operatorname{\textup{span}}(C)=\operatorname{\textup{span}}(C^{\prime}). Then aC\subseteq C^{\prime}\subseteq bC for some a, b>0. Therefore, for a measurable set E\subseteq\mathbb{R}^n and s\in [0, n], we have

a^{n-s}\mathcal{M}^s_{ar, C}(E)=\mathcal{M}^s_{r, aC}(E)\leq\mathcal{M}^s_{r, C^{\prime}}(E)\leq\mathcal{M}^s_{r, bC}(E)=b^{n-s}\mathcal{M}^s_{br, C}(E),\qquad r>0.

Consequently,

\mathcal{M}^s_{C}(E)_*=\infty \iff \mathcal{M}^s_{C^{\prime}}(E)_*=\infty

and

\mathcal{M}^s_{C}(E)^*=0 \iff \mathcal{M}^s_{C^{\prime}}(E)^*=0.

Used by Proof

Remark

Remark 2.4

0D0F

Let C\in\mathcal{C}^n, and let E\subseteq\mathbb{R}^n. Let L\coloneqq\operatorname{\textup{span}}(C) and define

\overline{E}^L\coloneqq \bigcap_{\sigma>0}(E\oplus \sigma C).

Note that the definition of \overline{E}^L depends only on the linear span of C and that if \dim(C)=n, then \overline{E}^{L}=\overline{E}.

Let r>0 and s\in[0, n]. Then

E\oplus rC \subseteq \overline{E}^L\oplus rC\subseteq E\oplus r\sigma C\oplus rC, \qquad \sigma>0.

Consequently,

\mathcal{M}^s_{r,C}(E)\leq \mathcal{M}^s_{r,C}(\overline{E}^L)\leq (1+\sigma)^{n-s}\mathcal{M}^s_{r(1+\sigma), C}(E),\qquad \sigma>0.

Hence

\mathcal{M}^s_{C}(E)_*\leq \mathcal{M}^s_{C}(\overline{E}^L)_*\leq (1+\sigma)^{n-s}\mathcal{M}^s_{C}(E)_*,\qquad \sigma>0

and

\mathcal{M}^s_{C}(E)^*\leq \mathcal{M}^s_{C}(\overline{E}^L)^*\leq (1+\sigma)^{n-s}\mathcal{M}^s_{C}(E)^*,\qquad \sigma>0.

Since \sigma>0 was arbitrary, we get

\begin{aligned} \mathcal{M}^s_{C}(E)_*=\mathcal{M}^s_{C}(\overline{E}^L)_*&&\text{and}&&\mathcal{M}^s_{C}(E)^*=\mathcal{M}^s_{C}(\overline{E}^L)^*. \end{aligned}

Definition

Definition 2.5

WAPR

Let C\in\mathcal{C}^n, and let S\subseteq\mathbb{R}^n be a countably \mathcal{H}^k-rectifiable set, where k\in\{1, \dots, n-1\}. For x\in S such that \textup{T}^k_xS exists, put

\begin{aligned} \textup{N}^{n-k}_xS\coloneq(\textup{T}^k_xS)^{\perp},&&\textup{n}^{n-k}_{x}S\coloneq \mathbb{S}^{n-1}\cap\textup{N}^{n-k}_xS&&\text{and}&&C_x\coloneq P_{(\textup{T}^k_xS)^{\perp}}(C). \end{aligned}

Lemma

Lemma 2.6

1AZF

Let S be a countably \mathcal{H}^k-rectifiable set, where k\in\{1, \dots, n-1\}, and let C\in\mathcal{C}^n. Then

\begin{split}\frac{1}{\omega_{n-k}}\int\limits_{S}\mathcal{H}^{n-k}(C_x)\,\mathrm d\mathcal{H}^{k}(x)=\int\limits_{S}\fint\limits_{\textup{n}^{n-k}_{x}S}\rho_{C_x}(\nu)^{n-k}\,\mathrm d\mathcal{H}^{n-k-1}(\nu)\,\mathrm d\mathcal{H}^{k}(x). \end{split}

Proof.

10bp12bp 12 2 1 3 3 3 3 10bp12bp 12 2 1 3 3 3 3

1em10bp12bp 12 2 1 3 3 3 3

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1emblack (?)= 10bp12bp 12 2 1 3 3 3 3 10bp12bp 12 2 1 3 3 3 3

1em10bp12bp 12 2 1 3 3 3 3

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1emblack (?)= 10bp12bp 12 2 1 3 3 3 3 10bp12bp 12 2 1 3 3 3 3

1em10bp12bp 12 2 1 3 3 3 3

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1emblack (?)= 10bp12bp 12 2 1 3 3 3 3 10bp12bp 12 2 1 3 3 3 3

1em10bp12bp 12 2 1 3 3 3 3

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1emblack (?)= We have

\begin{split} \int\limits_{S}\mathcal{H}^{n-k}&(C_x)\,\mathrm d\mathcal{H}^{k}(x)\\&\mathrel{\stackrel{\makebox[0pt]{\mbox{\normalfont \@setfontsize \@setfontsize \@setfontsize \@setfontsize \@setfontsize \@setfontsize\normalsize{10bp}{12bp} \abovedisplayskip 12\p@ \@plus2\p@ \@minus1\p@ \abovedisplayshortskip \z@ \@plus3\p@ \belowdisplayshortskip 3\p@ \@plus3\p@ \@minus3\p@ \belowdisplayskip \abovedisplayskip \let\@listi\@listI{10bp}{12bp} \abovedisplayskip 12\p@ \@plus2\p@ \@minus1\p@ \abovedisplayshortskip \z@ \@plus3\p@ \belowdisplayshortskip 3\p@ \@plus3\p@ \@minus3\p@ \belowdisplayskip \abovedisplayskip \let\@listI\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep\normal@labelsep \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em{10bp}{12bp} \abovedisplayskip 12\p@ \@plus2\p@ \@minus1\p@ \abovedisplayshortskip \z@ \@plus3\p@ \belowdisplayshortskip 3\p@ \@plus3\p@ \@minus3\p@ \belowdisplayskip \abovedisplayskip \let\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep\normal@labelsep \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em{10bp}{12bp} \abovedisplayskip 12\p@ \@plus2\p@ \@minus1\p@ \abovedisplayshortskip \z@ \@plus3\p@ \belowdisplayshortskip 3\p@ \@plus3\p@ \@minus3\p@ \belowdisplayskip \abovedisplayskip \let\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em{10bp}{12bp} \abovedisplayskip 12\p@ \@plus2\p@ \@minus1\p@ \abovedisplayshortskip \z@ \@plus3\p@ \belowdisplayshortskip 3\p@ \@plus3\p@ \@minus3\p@ \belowdisplayskip \abovedisplayskip \let\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em{10bp}{12bp} \abovedisplayskip 12\p@ \@plus2\p@ \@minus1\p@ \abovedisplayshortskip \z@ \@plus3\p@ \belowdisplayshortskip 3\p@ \@plus3\p@ \@minus3\p@ \belowdisplayskip \abovedisplayskip \let\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em\color{black} (\ref{Eq0})}}}{=}}\frac{1}{n-k}\int\limits_{S}\int\limits_{\textup{n}^{n-k}_{x}S}\rho_{C_x}(\nu)^{n-k}\,\mathrm d\mathcal{H}^{n-k-1}(\nu)\,\mathrm d\mathcal{H}^{k}(x)\\&\mathrel{\stackrel{\makebox[0pt]{\mbox{\normalfont \@setfontsize \@setfontsize \@setfontsize \@setfontsize \@setfontsize \@setfontsize\normalsize{10bp}{12bp} \abovedisplayskip 12\p@ \@plus2\p@ \@minus1\p@ \abovedisplayshortskip \z@ \@plus3\p@ \belowdisplayshortskip 3\p@ \@plus3\p@ \@minus3\p@ \belowdisplayskip \abovedisplayskip \let\@listi\@listI{10bp}{12bp} \abovedisplayskip 12\p@ \@plus2\p@ \@minus1\p@ \abovedisplayshortskip \z@ \@plus3\p@ \belowdisplayshortskip 3\p@ \@plus3\p@ \@minus3\p@ \belowdisplayskip \abovedisplayskip \let\@listI\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep\normal@labelsep \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em{10bp}{12bp} \abovedisplayskip 12\p@ \@plus2\p@ \@minus1\p@ \abovedisplayshortskip \z@ \@plus3\p@ \belowdisplayshortskip 3\p@ \@plus3\p@ \@minus3\p@ \belowdisplayskip \abovedisplayskip \let\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep\normal@labelsep \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em{10bp}{12bp} \abovedisplayskip 12\p@ \@plus2\p@ \@minus1\p@ \abovedisplayshortskip \z@ \@plus3\p@ \belowdisplayshortskip 3\p@ \@plus3\p@ \@minus3\p@ \belowdisplayskip \abovedisplayskip \let\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em{10bp}{12bp} \abovedisplayskip 12\p@ \@plus2\p@ \@minus1\p@ \abovedisplayshortskip \z@ \@plus3\p@ \belowdisplayshortskip 3\p@ \@plus3\p@ \@minus3\p@ \belowdisplayskip \abovedisplayskip \let\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em{10bp}{12bp} \abovedisplayskip 12\p@ \@plus2\p@ \@minus1\p@ \abovedisplayshortskip \z@ \@plus3\p@ \belowdisplayshortskip 3\p@ \@plus3\p@ \@minus3\p@ \belowdisplayskip \abovedisplayskip \let\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em\color{black} (\ref{Eq17})}}}{=}}\omega_{n-k}\int\limits_{S}\frac{1}{\mathcal{H}^{n-k-1}(\textup{n}^{n-k}_{x}S)}\int\limits_{\textup{n}^{n-k}_{x}S}\rho_{C_x}(\nu)^{n-k}\,\mathrm d\mathcal{H}^{n-k-1}(\nu)\,\mathrm d\mathcal{H}^{k}(x)\\&=\omega_{n-k}\int\limits_{S}\fint\limits_{\textup{n}^{n-k}_{x}S}\rho_{C_x}(\nu)^{n-k}\,\mathrm d\mathcal{H}^{n-k-1}(\nu)\,\mathrm d\mathcal{H}^{k}(x), \end{split}

which completes the proof.

Proof

D4WR

10bp12bp 12 2 1 3 3 3 3 10bp12bp 12 2 1 3 3 3 3

1em10bp12bp 12 2 1 3 3 3 3

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1emblack (?)= 10bp12bp 12 2 1 3 3 3 3 10bp12bp 12 2 1 3 3 3 3

1em10bp12bp 12 2 1 3 3 3 3

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1emblack (?)= 10bp12bp 12 2 1 3 3 3 3 10bp12bp 12 2 1 3 3 3 3

1em10bp12bp 12 2 1 3 3 3 3

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1emblack (?)= 10bp12bp 12 2 1 3 3 3 3 10bp12bp 12 2 1 3 3 3 3

1em10bp12bp 12 2 1 3 3 3 3

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1emblack (?)= We have

\begin{split} \int\limits_{S}\mathcal{H}^{n-k}&(C_x)\,\mathrm d\mathcal{H}^{k}(x)\\&\mathrel{\stackrel{\makebox[0pt]{\mbox{\normalfont \@setfontsize \@setfontsize \@setfontsize \@setfontsize \@setfontsize \@setfontsize\normalsize{10bp}{12bp} \abovedisplayskip 12\p@ \@plus2\p@ \@minus1\p@ \abovedisplayshortskip \z@ \@plus3\p@ \belowdisplayshortskip 3\p@ \@plus3\p@ \@minus3\p@ \belowdisplayskip \abovedisplayskip \let\@listi\@listI{10bp}{12bp} \abovedisplayskip 12\p@ \@plus2\p@ \@minus1\p@ \abovedisplayshortskip \z@ \@plus3\p@ \belowdisplayshortskip 3\p@ \@plus3\p@ \@minus3\p@ \belowdisplayskip \abovedisplayskip \let\@listI\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep\normal@labelsep \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em{10bp}{12bp} \abovedisplayskip 12\p@ \@plus2\p@ \@minus1\p@ \abovedisplayshortskip \z@ \@plus3\p@ \belowdisplayshortskip 3\p@ \@plus3\p@ \@minus3\p@ \belowdisplayskip \abovedisplayskip \let\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep\normal@labelsep \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em{10bp}{12bp} \abovedisplayskip 12\p@ \@plus2\p@ \@minus1\p@ \abovedisplayshortskip \z@ \@plus3\p@ \belowdisplayshortskip 3\p@ \@plus3\p@ \@minus3\p@ \belowdisplayskip \abovedisplayskip \let\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em{10bp}{12bp} \abovedisplayskip 12\p@ \@plus2\p@ \@minus1\p@ \abovedisplayshortskip \z@ \@plus3\p@ \belowdisplayshortskip 3\p@ \@plus3\p@ \@minus3\p@ \belowdisplayskip \abovedisplayskip \let\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em{10bp}{12bp} \abovedisplayskip 12\p@ \@plus2\p@ \@minus1\p@ \abovedisplayshortskip \z@ \@plus3\p@ \belowdisplayshortskip 3\p@ \@plus3\p@ \@minus3\p@ \belowdisplayskip \abovedisplayskip \let\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em\color{black} (\ref{Eq0})}}}{=}}\frac{1}{n-k}\int\limits_{S}\int\limits_{\textup{n}^{n-k}_{x}S}\rho_{C_x}(\nu)^{n-k}\,\mathrm d\mathcal{H}^{n-k-1}(\nu)\,\mathrm d\mathcal{H}^{k}(x)\\&\mathrel{\stackrel{\makebox[0pt]{\mbox{\normalfont \@setfontsize \@setfontsize \@setfontsize \@setfontsize \@setfontsize \@setfontsize\normalsize{10bp}{12bp} \abovedisplayskip 12\p@ \@plus2\p@ \@minus1\p@ \abovedisplayshortskip \z@ \@plus3\p@ \belowdisplayshortskip 3\p@ \@plus3\p@ \@minus3\p@ \belowdisplayskip \abovedisplayskip \let\@listi\@listI{10bp}{12bp} \abovedisplayskip 12\p@ \@plus2\p@ \@minus1\p@ \abovedisplayshortskip \z@ \@plus3\p@ \belowdisplayshortskip 3\p@ \@plus3\p@ \@minus3\p@ \belowdisplayskip \abovedisplayskip \let\@listI\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep\normal@labelsep \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em{10bp}{12bp} \abovedisplayskip 12\p@ \@plus2\p@ \@minus1\p@ \abovedisplayshortskip \z@ \@plus3\p@ \belowdisplayshortskip 3\p@ \@plus3\p@ \@minus3\p@ \belowdisplayskip \abovedisplayskip \let\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep\normal@labelsep \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em{10bp}{12bp} \abovedisplayskip 12\p@ \@plus2\p@ \@minus1\p@ \abovedisplayshortskip \z@ \@plus3\p@ \belowdisplayshortskip 3\p@ \@plus3\p@ \@minus3\p@ \belowdisplayskip \abovedisplayskip \let\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em{10bp}{12bp} \abovedisplayskip 12\p@ \@plus2\p@ \@minus1\p@ \abovedisplayshortskip \z@ \@plus3\p@ \belowdisplayshortskip 3\p@ \@plus3\p@ \@minus3\p@ \belowdisplayskip \abovedisplayskip \let\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em{10bp}{12bp} \abovedisplayskip 12\p@ \@plus2\p@ \@minus1\p@ \abovedisplayshortskip \z@ \@plus3\p@ \belowdisplayshortskip 3\p@ \@plus3\p@ \@minus3\p@ \belowdisplayskip \abovedisplayskip \let\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em\color{black} (\ref{Eq17})}}}{=}}\omega_{n-k}\int\limits_{S}\frac{1}{\mathcal{H}^{n-k-1}(\textup{n}^{n-k}_{x}S)}\int\limits_{\textup{n}^{n-k}_{x}S}\rho_{C_x}(\nu)^{n-k}\,\mathrm d\mathcal{H}^{n-k-1}(\nu)\,\mathrm d\mathcal{H}^{k}(x)\\&=\omega_{n-k}\int\limits_{S}\fint\limits_{\textup{n}^{n-k}_{x}S}\rho_{C_x}(\nu)^{n-k}\,\mathrm d\mathcal{H}^{n-k-1}(\nu)\,\mathrm d\mathcal{H}^{k}(x), \end{split}

which completes the proof.

Lemma

Lemma 2.7

B49H

Let K\subseteq\mathbb{R}^n be a convex body of dimension k\in\{1, \dots, n-1\}, and C\in\mathcal{C}^n. Then

\begin{aligned} \mathcal{M}^k_{C}(K)=\frac{1}{\omega_{n-k}}\int\limits_{K}\mathcal{H}^{n-k}(C_x)\,\mathrm d\mathcal{H}^{k}(x). \end{aligned}

Proof.

By translation invariance of the Lebesgue measure, we may assume that 0\in\operatorname{\textup{relint}}(K). Let \varepsilon\in (0, 1), denote L\coloneq\operatorname{\textup{span}}(K) and define

\begin{aligned} K_{\varepsilon}\coloneq\{x\in K : \operatorname{\textup{dist}}(x, \partial_L K)>\varepsilon\}&&\text{and}&& K^{\prime}_{\varepsilon}\coloneq K\oplus B_{L}(0, \varepsilon). \end{aligned}

First, notice that by the Fubini theorem, we have

\lambda^n(K\oplus rC)=\int\limits_{L}\mathcal{H}^{n-k}\big((K\oplus rC)\cap (x+L^{\perp})\big)\,\mathrm d\mathcal{H}^{k}(x), \qquad r>0.

For x\in L, we have

(K\oplus rC)\cap (x+L^{\perp})=\big\{x+rP_{L^{\perp}}(c) : c\in C,\, x-rP_L(c)\in K\big\}.

Moreover, if x\in K_{\varepsilon} and r>0 is small enough (depending only on \varepsilon), then x-rP_L(c)\in K, and hence

(K\oplus rC)\cap (x+L^{\perp})=x+rP_{L^{\perp}}(C),

from which we conclude that for all sufficiently small r>0

\begin{split} \lambda^n(K\oplus rC)&\geq\int\limits_{K_{\varepsilon}}\mathcal{H}^{n-k}\big((K\oplus rC)\cap (x+L^{\perp})\big)\,\mathrm d\mathcal{H}^{k}(x)\\&=\int\limits_{K_{\varepsilon}}\mathcal{H}^{n-k}\big(P_{L^{\perp}}(rC)\big)\,\mathrm d\mathcal{H}^{k}\\&=r^{n-k}\int\limits_{K_{\varepsilon}}\mathcal{H}^{n-k}\big(P_{L^{\perp}}(C)\big)\,\mathrm d\mathcal{H}^{k}, \end{split}

whence

\begin{split} \mathcal{M}^k_C(K)_*\geq\frac{1}{\omega_{n-k}}\mathcal{H}^k(K_\varepsilon)\mathcal{H}^{n-k}\big(P_{L^{\perp}}(C)\big), \qquad\varepsilon>0, \end{split}

from which it follows

\mathcal{M}^k_C(K)_*\geq\frac{1}{\omega_{n-k}}\mathcal{H}^k(K)\mathcal{H}^{n-k}\big(P_{L^{\perp}}(C)\big)=\frac{1}{\omega_{n-k}}\int\limits_{K}\mathcal{H}^{n-k}(C_x)\,\mathrm d\mathcal{H}^{k}(x),

as L=\textup{T}^k_xK for \mathcal{H}^k-a.a. x\in K.

If x\notin K_{\varepsilon}^{\prime} and r>0 is small enough, then \mathcal{H}^{n-k}\big((K\oplus rC)\cap (x+L^{\perp})\big)=0. So, for small enough r>0, it holds that

\begin{split} \lambda^n(K\oplus rC)&\leq\int\limits_{K_{\varepsilon}^{\prime}}\mathcal{H}^{n-k}\big((K\oplus rC)\cap (x+L^{\perp})\big)\,\mathrm d\mathcal{H}^{k}(x)\\&\leq\int\limits_{K_{\varepsilon}^{\prime}}\mathcal{H}^{n-k}\big(P_{L^{\perp}}(rC)\big)\,\mathrm d\mathcal{H}^{k}\\&=r^{n-k}\int\limits_{K^{\prime}_{\varepsilon}}\mathcal{H}^{n-k}\big(P_{L^{\perp}}(C)\big)\,\mathrm d\mathcal{H}^{k}, \end{split}

where we used that

(K\oplus rC)\cap (x+L^{\perp})\subseteq x+rP_{L^{\perp}}(C).

Hence

\begin{split} \mathcal{M}^k_C(K)^*\leq\frac{1}{\omega_{n-k}}\mathcal{H}^k(K^{\prime}_\varepsilon)\mathcal{H}^{n-k}\big(P_{L^{\perp}}(C)\big), \qquad\varepsilon>0, \end{split}

from which it follows

\mathcal{M}^k_C(K)^*\leq\frac{1}{\omega_{n-k}}\mathcal{H}^k(K)\mathcal{H}^{n-k}\big(P_{L^{\perp}}(C)\big)=\frac{1}{\omega_{n-k}}\int\limits_{K}\mathcal{H}^{n-k}(C_x)\,\mathrm d\mathcal{H}^{k}(x),

which completes the proof.

Uses Definition 1.13 · Used by Proof, Proof

Proof

7L89

By translation invariance of the Lebesgue measure, we may assume that 0\in\operatorname{\textup{relint}}(K). Let \varepsilon\in (0, 1), denote L\coloneq\operatorname{\textup{span}}(K) and define

\begin{aligned} K_{\varepsilon}\coloneq\{x\in K : \operatorname{\textup{dist}}(x, \partial_L K)>\varepsilon\}&&\text{and}&& K^{\prime}_{\varepsilon}\coloneq K\oplus B_{L}(0, \varepsilon). \end{aligned}

First, notice that by the Fubini theorem, we have

\lambda^n(K\oplus rC)=\int\limits_{L}\mathcal{H}^{n-k}\big((K\oplus rC)\cap (x+L^{\perp})\big)\,\mathrm d\mathcal{H}^{k}(x), \qquad r>0.

For x\in L, we have

(K\oplus rC)\cap (x+L^{\perp})=\big\{x+rP_{L^{\perp}}(c) : c\in C,\, x-rP_L(c)\in K\big\}.

Moreover, if x\in K_{\varepsilon} and r>0 is small enough (depending only on \varepsilon), then x-rP_L(c)\in K, and hence

(K\oplus rC)\cap (x+L^{\perp})=x+rP_{L^{\perp}}(C),

from which we conclude that for all sufficiently small r>0

\begin{split} \lambda^n(K\oplus rC)&\geq\int\limits_{K_{\varepsilon}}\mathcal{H}^{n-k}\big((K\oplus rC)\cap (x+L^{\perp})\big)\,\mathrm d\mathcal{H}^{k}(x)\\&=\int\limits_{K_{\varepsilon}}\mathcal{H}^{n-k}\big(P_{L^{\perp}}(rC)\big)\,\mathrm d\mathcal{H}^{k}\\&=r^{n-k}\int\limits_{K_{\varepsilon}}\mathcal{H}^{n-k}\big(P_{L^{\perp}}(C)\big)\,\mathrm d\mathcal{H}^{k}, \end{split}

whence

\begin{split} \mathcal{M}^k_C(K)_*\geq\frac{1}{\omega_{n-k}}\mathcal{H}^k(K_\varepsilon)\mathcal{H}^{n-k}\big(P_{L^{\perp}}(C)\big), \qquad\varepsilon>0, \end{split}

from which it follows

\mathcal{M}^k_C(K)_*\geq\frac{1}{\omega_{n-k}}\mathcal{H}^k(K)\mathcal{H}^{n-k}\big(P_{L^{\perp}}(C)\big)=\frac{1}{\omega_{n-k}}\int\limits_{K}\mathcal{H}^{n-k}(C_x)\,\mathrm d\mathcal{H}^{k}(x),

as L=\textup{T}^k_xK for \mathcal{H}^k-a.a. x\in K.

If x\notin K_{\varepsilon}^{\prime} and r>0 is small enough, then \mathcal{H}^{n-k}\big((K\oplus rC)\cap (x+L^{\perp})\big)=0. So, for small enough r>0, it holds that

\begin{split} \lambda^n(K\oplus rC)&\leq\int\limits_{K_{\varepsilon}^{\prime}}\mathcal{H}^{n-k}\big((K\oplus rC)\cap (x+L^{\perp})\big)\,\mathrm d\mathcal{H}^{k}(x)\\&\leq\int\limits_{K_{\varepsilon}^{\prime}}\mathcal{H}^{n-k}\big(P_{L^{\perp}}(rC)\big)\,\mathrm d\mathcal{H}^{k}\\&=r^{n-k}\int\limits_{K^{\prime}_{\varepsilon}}\mathcal{H}^{n-k}\big(P_{L^{\perp}}(C)\big)\,\mathrm d\mathcal{H}^{k}, \end{split}

where we used that

(K\oplus rC)\cap (x+L^{\perp})\subseteq x+rP_{L^{\perp}}(C).

Hence

\begin{split} \mathcal{M}^k_C(K)^*\leq\frac{1}{\omega_{n-k}}\mathcal{H}^k(K^{\prime}_\varepsilon)\mathcal{H}^{n-k}\big(P_{L^{\perp}}(C)\big), \qquad\varepsilon>0, \end{split}

from which it follows

\mathcal{M}^k_C(K)^*\leq\frac{1}{\omega_{n-k}}\mathcal{H}^k(K)\mathcal{H}^{n-k}\big(P_{L^{\perp}}(C)\big)=\frac{1}{\omega_{n-k}}\int\limits_{K}\mathcal{H}^{n-k}(C_x)\,\mathrm d\mathcal{H}^{k}(x),

which completes the proof.

Lemma

Lemma 2.8

FBCL

The mapping \Psi_{L}\colon \mathcal{C}^n\to\mathbb{R} given by

\Psi_{L}\colon C\mapsto \mathcal{H}^{n-k}\big(P_{L^{\perp}}(C)\big)

is continuous uniformly with respect to L\in G_k(\mathbb{R}^n).

In particular, the mapping \Phi_S\colon \mathcal{C}^n\to\mathbb{R} given by

\Phi_S\colon C\mapsto \frac{1}{\omega_{n-k}}\int\limits_{S}\mathcal{H}^{n-k}(C_x)\,\mathrm d\mathcal{H}^{k}(x)

is continuous for every countably \mathcal{H}^k-rectifiable set S of finite \mathcal{H}^k-measure.

Proof.

Let \varepsilon\in(0, 1). If K, C\in\mathcal{C}^n with d_H(C, K)<\varepsilon, it holds that C\subseteq K\oplus B(0, \varepsilon) and K\subseteq C\oplus B(0, \varepsilon), from which we have

\begin{split} \Psi_{L}(K)-\Psi_{L}(C)&\leq\Psi_{L}\big(C\oplus B(0, \varepsilon)\big)-\Psi_{L}(C)\\&=\mathcal{H}^{n-k}\Big(P_{L^{\perp}}(C)\oplus \varepsilon P_{L^{\perp}}\big(B(0, 1)\big)\Big)-\mathcal{H}^{n-k}\big(P_{L^{\perp}}(C)\big)\\&=\sum_{j=0}^{n-k-1}{n-k\choose j}\varepsilon^{n-k-j} V_{n-k}\big(P_{L^{\perp}}(C)[j], B_{L^{\perp}}(0, 1)[n-k-j]\big)\\&\leq\varepsilon\sum_{j=0}^{n-k-1}{n-k\choose j}\operatorname{\textup{diam}}(C)^j V_{n-k}\big(B_{L^{\perp}}(0, 1)[j], B_{L^{\perp}}(0, 1)[n-k-j]\big)\\&=\varepsilon\sum_{j=0}^{n-k-1}{n-k\choose j}\operatorname{\textup{diam}}(C)^j \omega_{n-k}. \end{split}

From symmetry, we obtain

\begin{split} |\Psi_{L}(K)-\Psi_{L}(C)|\leq\varepsilon\sum_{j=0}^{n-k-1}{n-k\choose j}\big(\operatorname{\textup{diam}}(C)+\operatorname{\textup{diam}}(K)\big)^j \omega_{n-k}, \end{split}

from which the first conclusion follows.

Now, if S is a countably \mathcal{H}^k-rectifiable set of finite \mathcal{H}^k-measure, then under the same assumptions

\begin{split} \left|\Phi_S(K)-\Phi_S(C)\right|&\leq\frac{1}{\omega_{n-k}}\int\limits_{S}|\Psi_{\textup{T}^k_xS}(K)-\Psi_{\textup{T}^k_xS}(C)|\,\mathrm d\mathcal{H}^{k}(x)\\&\leq \varepsilon\mathcal{H}^k(S)\sum_{j=0}^{n-k-1}{n-k\choose j}\big(\operatorname{\textup{diam}}(C)+\operatorname{\textup{diam}}(K)\big)^j, \end{split}

from which the second conclusion follows.

Used by Proof, Proof, Proof

Proof

LHXP

Let \varepsilon\in(0, 1). If K, C\in\mathcal{C}^n with d_H(C, K)<\varepsilon, it holds that C\subseteq K\oplus B(0, \varepsilon) and K\subseteq C\oplus B(0, \varepsilon), from which we have

\begin{split} \Psi_{L}(K)-\Psi_{L}(C)&\leq\Psi_{L}\big(C\oplus B(0, \varepsilon)\big)-\Psi_{L}(C)\\&=\mathcal{H}^{n-k}\Big(P_{L^{\perp}}(C)\oplus \varepsilon P_{L^{\perp}}\big(B(0, 1)\big)\Big)-\mathcal{H}^{n-k}\big(P_{L^{\perp}}(C)\big)\\&=\sum_{j=0}^{n-k-1}{n-k\choose j}\varepsilon^{n-k-j} V_{n-k}\big(P_{L^{\perp}}(C)[j], B_{L^{\perp}}(0, 1)[n-k-j]\big)\\&\leq\varepsilon\sum_{j=0}^{n-k-1}{n-k\choose j}\operatorname{\textup{diam}}(C)^j V_{n-k}\big(B_{L^{\perp}}(0, 1)[j], B_{L^{\perp}}(0, 1)[n-k-j]\big)\\&=\varepsilon\sum_{j=0}^{n-k-1}{n-k\choose j}\operatorname{\textup{diam}}(C)^j \omega_{n-k}. \end{split}

From symmetry, we obtain

\begin{split} |\Psi_{L}(K)-\Psi_{L}(C)|\leq\varepsilon\sum_{j=0}^{n-k-1}{n-k\choose j}\big(\operatorname{\textup{diam}}(C)+\operatorname{\textup{diam}}(K)\big)^j \omega_{n-k}, \end{split}

from which the first conclusion follows.

Now, if S is a countably \mathcal{H}^k-rectifiable set of finite \mathcal{H}^k-measure, then under the same assumptions

\begin{split} \left|\Phi_S(K)-\Phi_S(C)\right|&\leq\frac{1}{\omega_{n-k}}\int\limits_{S}|\Psi_{\textup{T}^k_xS}(K)-\Psi_{\textup{T}^k_xS}(C)|\,\mathrm d\mathcal{H}^{k}(x)\\&\leq \varepsilon\mathcal{H}^k(S)\sum_{j=0}^{n-k-1}{n-k\choose j}\big(\operatorname{\textup{diam}}(C)+\operatorname{\textup{diam}}(K)\big)^j, \end{split}

from which the second conclusion follows.

Example

Example 2.9

JEPW

Let x_n\coloneq\frac{1}{n} for n\in\mathbb{N} and define

\begin{aligned} S_M\coloneq\bigcup_{n=1}^{M}\operatorname{\textup{conv}}\left\{(-x_n, x_n), (x_n, x_n)\right\}&&\text{and}&&S\coloneq\{0\}\cup\bigcup_{M=1}^{\infty}S_M. \end{aligned}

Then S is a countably \mathcal{H}^1-rectifiable compact subset of \mathbb{R}^2.

Let C\coloneq[-1/2, 1/2]\times\{0\}. Then clearly

\mathcal{M}^1_{r, C}(S)=0\qquad\text{for every $r>0$.}

On the other hand, for \mathcal{H}^1-a.a. x\in S, it holds that

\mathcal{H}^1(C_x)=0,

from which we see that

\mathcal{M}^1_{C}(S)=\frac{1}{2}\int\limits_{S}\mathcal{H}^{1}(C_x)\,\mathrm d\mathcal{H}^{1}(x)=0.

However, if \{C^{\varepsilon}\}_{\varepsilon>0} is a family of full-dimensional convex bodies in \mathbb{R}^2 satisfying C^{\varepsilon}\xrightarrow[\varepsilon\to0_+]{d_H} C, we have

\mathcal{M}^{1}_{C^{\varepsilon}}(S)_*\geq\sup_{M\in\mathbb{N}}\mathcal{M}^{1}_{C^{\varepsilon}}(S_M)=\mathcal{H}^1\big(P_{\operatorname{\textup{span}}(e_2)}(C^{\varepsilon})\big)\sum_{n=1}^{\infty}\frac{1}{n}=\infty.

Here, e_2=(0, 1). Similarly,

\int\limits_S\mathcal{H}^1(C^{\varepsilon}_x)\,\mathrm d\mathcal{H}^{1}(x)\geq\sup_{M\in\mathbb{N}}\int\limits_{S_M}\mathcal{H}^1(C^{\varepsilon}_x)\,\mathrm d\mathcal{H}^{1}(x)=\mathcal{H}^1\big(P_{\operatorname{\textup{span}}(e_2)}(C^{\varepsilon})\big)\sum_{n=1}^{\infty}\frac{2}{n}=\infty,

from which we conclude that

\frac{1}{2}\int\limits_{S}\mathcal{H}^{1}(C^{\varepsilon}_x)\,\mathrm d\mathcal{H}^{1}(x)\not\rightarrow\frac{1}{2}\int\limits_{S}\mathcal{H}^{1}(C_x)\,\mathrm d\mathcal{H}^{1}(x)

as \varepsilon\to0_+.

Remark

Remark 2.10

AVMU

Let S\subseteq\mathbb{R}^n be a countably \mathcal{H}^k-rectifiable set, where k\in\{1, \dots, n-1\}. The functional

\Phi_S\colon \mathcal{C}^n\to [0, \infty], \qquad \Phi_S(C)=\frac{1}{\omega_{n-k}}\int\limits_{S}\mathcal{H}^{n-k}(C_x)\,\mathrm d\mathcal{H}^{k}(x)

enjoys the following property: For C, C^{\prime}\in\mathcal{C}^n with \operatorname{\textup{span}}(C)=\operatorname{\textup{span}}(C^{\prime}), it holds that

a^{n-k}\Phi_S(C)=\Phi_S(aC)\leq\Phi_S(C^{\prime})\leq\Phi_S(bC)=b^{n-k}\Phi_S(C),

where a and b are positive reals such that aC\subseteq C^{\prime}\subseteq bC. In particular,

\Phi_S(C)=0\iff \Phi_S(C^{\prime})=0

and

\Phi_S(C)=\infty\iff \Phi_S(C^{\prime})=\infty.

Furthermore, if \dim(C)=n, then

\Phi_S(C)=\infty \iff \mathcal{H}^k(S)=\infty

and

\Phi_S(C)=0 \iff \mathcal{H}^k(S)=0

since \Phi_S\big(B(0, 1)\big)=\mathcal{H}^k(S).

Used by Proof

Lemma

Lemma 2.11

RW2E

Let G\subseteq\mathbb{R}^k be open, K\subseteq G be a nonempty compact set, and let f\in\mathcal{C}^1(G; \mathbb{R}^{n-k}). Define

g(x)\coloneq\big(x, f(x)\big), \qquad x\in G.

Then the mapping

g(x)\mapsto \textup{N}^{n-k}_{g(x)}g(G)

is continuous from g(K) to G_{n-k}(\mathbb R^n).

In particular, the mapping

w\mapsto \mathcal{H}^{n-k}\big(P_{\textup{N}^{n-k}_w g(G)}(C)\big)

is continuous from g(K) to \mathbb{R}, where C\in\mathcal{C}^{n, n}.

Proof.

Since \operatorname{rank}\big(Dg(x)\big)=k for any x\in G, we have

P_{\textup{T}^k_{g(x)}g(G)}=Dg(x)\big(Dg(x)^{\top}Dg(x)\big)^{-1}Dg(x)^{\top}, \qquad x\in G.

Consequently, for any x, y\in K

\begin{split} P_{\textup{T}^k_{g(x)}g(G)}-P_{\textup{T}^k_{g(y)}g(G)}&=\big(Dg(x)-Dg(y)\big)\big(Dg(x)^{\top}Dg(x)\big)^{-1}Dg(x)^{\top}\\&\quad\quad+Dg(y)\Big(\big(Dg(x)^{\top}Dg(x)\big)^{-1}-\big(Dg(y)^{\top}Dg(y)\big)^{-1}\Big)Dg(x)^{\top} \\&\quad\quad+Dg(y)\big(Dg(y)^{\top}Dg(y)\big)^{-1}\big(Dg(x)-Dg(y)\big)^{\top}. \end{split}

We see that

Dg(x)^{\top}Dg(x)=I_k+Df(x)^{\top}Df(x),

from which we conclude that all eigenvalues of Dg(x)^{\top}Dg(x) are bounded from below by 1. Thus the eigenvalues of \big(Dg(x)^{\top}Dg(x)\big)^{-1} are bounded from above by 1, which in turn implies

\left\Vert\big(Dg(x)^{\top}Dg(x)\big)^{-1}\right\Vert\leq 1.

Using this and M\coloneq\sup_{x\in K}\Vert Dg(x)\Vert<\infty, we conclude that

\begin{split}\Vert P_{\textup{N}^{n-k}_{g(x)}g(G)}-P_{\textup{N}^{n-k}_{g(y)}g(G)}\Vert&=\Vert P_{\textup{T}^k_{g(x)}g(G)}-P_{\textup{T}^k_{g(y)}g(G)}\Vert\\&\leq 2M\Vert Dg(x)-Dg(y)\Vert\\&\quad\quad+M^ {2}\left\Vert \big(Dg(x)^{\top}Dg(x)\big)^{-1}-\big(Dg(y)^{\top}Dg(y)\big)^{-1}\right\Vert\\&\leq 2M\Vert Dg(x)-Dg(y)\Vert\\&\quad\quad+M^ {2}\left\Vert Dg(y)^{\top}Dg(y)-Dg(x)^{\top}Dg(x)\right\Vert\\&\leq (2M+2M^{3})\Vert Dg(x)-Dg(y)\Vert, \end{split}

from which the first conclusion follows.

Now, let C\in\mathcal{C}^{n, n}. It suffices to show that the mapping

L\mapsto \mathcal{H}^{n-k}\big(P_L(C)\big)

is continuous from G_{n-k}(\mathbb{R}^n) to \mathbb{R}. To this end, fix L, W\in G_{n-k}(\mathbb{R}^n). For an arbitrary pair (c_1, c_2)\in C\times C

\begin{split}|P_W(c_1)-P_L(c_2)|&\leq |P_W(c_1)-P_W(c_2)|+|P_W(c_2)-P_L(c_2)|\\&\leq |c_1-c_2|+\operatorname{\textup{diam}}(C)\Vert P_W-P_L\Vert,\end{split}

which yields

d_H\big(P_W(C), P_L(C)\big)\leq\operatorname{\textup{diam}}(C)\Vert P_W-P_L\Vert.

Using this, we see that if L_i\xrightarrow{i\to\infty} L in G_{n-k}(\mathbb{R}^n), then P_{L_{i}}(C)\xrightarrow{i\to\infty}P_{L}(C) in \mathcal{C}^n, which in turn implies \mathcal{H}^{n-k}\big(P_{L_{i}}(C)\big)\xrightarrow{i\to\infty}\mathcal{H}^{n-k}\big(P_{L}(C)\big).

Used by Proof

Proof

NVLW

Since \operatorname{rank}\big(Dg(x)\big)=k for any x\in G, we have

P_{\textup{T}^k_{g(x)}g(G)}=Dg(x)\big(Dg(x)^{\top}Dg(x)\big)^{-1}Dg(x)^{\top}, \qquad x\in G.

Consequently, for any x, y\in K

\begin{split} P_{\textup{T}^k_{g(x)}g(G)}-P_{\textup{T}^k_{g(y)}g(G)}&=\big(Dg(x)-Dg(y)\big)\big(Dg(x)^{\top}Dg(x)\big)^{-1}Dg(x)^{\top}\\&\quad\quad+Dg(y)\Big(\big(Dg(x)^{\top}Dg(x)\big)^{-1}-\big(Dg(y)^{\top}Dg(y)\big)^{-1}\Big)Dg(x)^{\top} \\&\quad\quad+Dg(y)\big(Dg(y)^{\top}Dg(y)\big)^{-1}\big(Dg(x)-Dg(y)\big)^{\top}. \end{split}

We see that

Dg(x)^{\top}Dg(x)=I_k+Df(x)^{\top}Df(x),

from which we conclude that all eigenvalues of Dg(x)^{\top}Dg(x) are bounded from below by 1. Thus the eigenvalues of \big(Dg(x)^{\top}Dg(x)\big)^{-1} are bounded from above by 1, which in turn implies

\left\Vert\big(Dg(x)^{\top}Dg(x)\big)^{-1}\right\Vert\leq 1.

Using this and M\coloneq\sup_{x\in K}\Vert Dg(x)\Vert<\infty, we conclude that

\begin{split}\Vert P_{\textup{N}^{n-k}_{g(x)}g(G)}-P_{\textup{N}^{n-k}_{g(y)}g(G)}\Vert&=\Vert P_{\textup{T}^k_{g(x)}g(G)}-P_{\textup{T}^k_{g(y)}g(G)}\Vert\\&\leq 2M\Vert Dg(x)-Dg(y)\Vert\\&\quad\quad+M^ {2}\left\Vert \big(Dg(x)^{\top}Dg(x)\big)^{-1}-\big(Dg(y)^{\top}Dg(y)\big)^{-1}\right\Vert\\&\leq 2M\Vert Dg(x)-Dg(y)\Vert\\&\quad\quad+M^ {2}\left\Vert Dg(y)^{\top}Dg(y)-Dg(x)^{\top}Dg(x)\right\Vert\\&\leq (2M+2M^{3})\Vert Dg(x)-Dg(y)\Vert, \end{split}

from which the first conclusion follows.

Now, let C\in\mathcal{C}^{n, n}. It suffices to show that the mapping

L\mapsto \mathcal{H}^{n-k}\big(P_L(C)\big)

is continuous from G_{n-k}(\mathbb{R}^n) to \mathbb{R}. To this end, fix L, W\in G_{n-k}(\mathbb{R}^n). For an arbitrary pair (c_1, c_2)\in C\times C

\begin{split}|P_W(c_1)-P_L(c_2)|&\leq |P_W(c_1)-P_W(c_2)|+|P_W(c_2)-P_L(c_2)|\\&\leq |c_1-c_2|+\operatorname{\textup{diam}}(C)\Vert P_W-P_L\Vert,\end{split}

which yields

d_H\big(P_W(C), P_L(C)\big)\leq\operatorname{\textup{diam}}(C)\Vert P_W-P_L\Vert.

Using this, we see that if L_i\xrightarrow{i\to\infty} L in G_{n-k}(\mathbb{R}^n), then P_{L_{i}}(C)\xrightarrow{i\to\infty}P_{L}(C) in \mathcal{C}^n, which in turn implies \mathcal{H}^{n-k}\big(P_{L_{i}}(C)\big)\xrightarrow{i\to\infty}\mathcal{H}^{n-k}\big(P_{L}(C)\big).

Lemma

Lemma 2.12

3RFW

Let K\subseteq\mathbb{R}^k be compact and let F\in L^1(K) be nonnegative. For every \varepsilon>0 and every \theta\in(0, 1) there exist a compact set K_{\varepsilon, \theta}\subseteq K and a number \rho_{\varepsilon,\theta}>0 such that

\int\limits_{K\setminus K_{\varepsilon,\theta}}F(y)\,\mathrm d\lambda^{k}(y)<\varepsilon

and

\lambda^k\big(Q_{\mathbb{R}^k}(y, t)\setminus K\big)\leq \theta\,\lambda^k\big(Q_{\mathbb{R}^k}(y, t)\big)

for every y\in K_{\varepsilon, \theta} and every 0<t<\rho_{\varepsilon, \theta}.

Moreover,

Q_{\mathbb{R}^k}(y, t/2)\subseteq K\oplus B_{\mathbb R^k}(0, 3\sqrt{k}\theta^{1/k}t)

for every y\in K_{\varepsilon, \theta} and every 0<t<\rho_{\varepsilon, \theta}.

Used by Proof

Proof of Lemma 2.12

Since K is compact, it has finite Lebesgue measure. By the Lebesgue density theorem, for \lambda^k-a.e. y\in K we have

\frac{\lambda^k\big(Q_{\mathbb{R}^k}(y, t)\setminus K\big)}{\lambda^k\big(Q_{\mathbb{R}^k}(y, t)\big)}\xrightarrow{t\to0_+}0.

By Egorov’s theorem and the absolute continuity of the integral of F, there exists a compact set K_{\varepsilon, \theta}\subseteq K such that

\int\limits_{K\setminus K_{\varepsilon, \theta}}F(y)\,\mathrm d\lambda^{k}(y)<\varepsilon

and such that the above convergence is uniform on K_{\varepsilon, \theta}. Thus there exists \rho_{\varepsilon, \theta}>0 such that

\lambda^k\big(Q_{\mathbb{R}^k}(y, t)\setminus K\big)\leq \theta\,\lambda^k\big(Q_{\mathbb{R}^k}(y, t)\big)

for every y\in K_{\varepsilon, \theta} and every 0<t<\rho_{\varepsilon, \theta}.

It remains to prove the inclusion. Let y\in K_{\varepsilon, \theta}, let 0<t<\rho_{\varepsilon, \theta}, and let z\in Q_{\mathbb{R}^k}(y, t/2). Since y\in K, we have

\operatorname{\textup{dist}}(z, K)\leq |z-y|\leq \frac{\sqrt{k}}{2}t.

Thus, the desired estimate is trivial if \theta^{1/k}\geq 1/6. We may therefore assume that

\theta^{1/k}<1/6.

Suppose, to the contrary, that z\notin K\oplus B_{\mathbb{R}^k}(0, 3\sqrt{k}\theta^{1/k}t). Equivalently,

\operatorname{\textup{dist}}(z, K)>3\sqrt{k}\theta^{1/k}t.

Then the cube

Q_{\mathbb{R}^k}\big(z, 3\theta^{1/k}t/2\big)

is contained in Q_{\mathbb{R}^k}(y, t)\setminus K. Indeed, since z\in Q_{\mathbb{R}^k}(y,t/2) and \theta^{1/k}<1/6, we have

\frac{3}{2}\theta^{1/k}t<\frac{t}{4},

and hence

Q_{\mathbb{R}^k}\big(z,3\theta^{1/k}t/2\big)\subseteq Q_{\mathbb{R}^k}(y,t).

Moreover, if u\in Q_{\mathbb{R}^k}\big(z,3\theta^{1/k}t/2\big), then

|u-z|\leq \sqrt{k}\,\frac{3}{2}\theta^{1/k}t <3\sqrt{k}\theta^{1/k}t<\operatorname{\textup{dist}}(z,K),

and therefore u\notin K.

Hence

\lambda^k\big(Q_{\mathbb{R}^k}(y, t)\setminus K\big) \geq (3\theta^{1/k}t)^k=\theta (3t)^k.

On the other hand,

\lambda^k\big(Q_{\mathbb{R}^k}(y, t)\setminus K\big) \leq \theta\,\lambda^k\big(Q_{\mathbb{R}^k}(y, t)\big) = \theta(2t)^k,

which gives a contradiction. Therefore

\operatorname{\textup{dist}}(z, K)\leq 3\sqrt{k}\theta^{1/k}t

for every z\in Q_{\mathbb{R}^k}(y, t/2), which proves

Q_{\mathbb{R}^k}(y, t/2)\subseteq K\oplus B_{\mathbb R^k}(0, 3\sqrt{k}\theta^{1/k}t).

Lemma

Lemma 2.13

0M4E

Let C\in\mathcal{C}^{n, n}, and let S\subseteq\mathbb{R}^n be a compact subset of a \mathcal{C}^1 k-graph, where k\in\{1, \dots, n-1\}. Then

\mathcal{M}^k_{C}(S)_* \geq \frac{1}{\omega_{n-k}} \int\limits_S\mathcal{H}^{n-k}(C_x)\,\mathrm d\mathcal{H}^{k}(x).

Proof.

Choose \alpha, \beta>0 such that

B(0, \alpha)\subseteq C\subseteq B(0, \beta).

After a rotation of \mathbb{R}^n, we may assume that

S\subseteq \big\{\big(y, h(y)\big) : y\in G\big\},

where G\subseteq\mathbb R^k is an open bounded set and h\in\mathcal C^1(G; \mathbb R^{n-k}). For brevity, define

g(y)\coloneq \big(y, h(y)\big),\qquad y\in G,

and put

K\coloneq g^{-1}(S).

Then K is compact and K\subseteq G.

The function

y\mapsto J_kg(y)\mathcal H^{n-k} \big(P_{\textup{N}^{n-k}_{g(y)}g(G)}(C)\big)

is continuous on G.

It is enough to prove

\mathcal M_C^k(S)_* \geq \frac1{\omega_{n-k}} \int\limits_K J_kg(y)\mathcal H^{n-k} \big(P_{\textup{N}^{n-k}_{g(y)}g(G)}(C)\big)\,\mathrm d\lambda^{k}(y).

Indeed, by the area formula and by the fact that, for \mathcal{H}^k-a.e. point of S, the approximate tangent space of S agrees with the tangent space of the ambient \mathcal{C}^1 k-graph,

\int\limits_K J_kg(y)\mathcal H^{n-k} \big(P_{\textup{N}^{n-k}_{g(y)}g(G)}(C)\big)\,\mathrm d\lambda^{k}(y) = \int\limits_S \mathcal H^{n-k}(C_x)\,\mathrm d\mathcal{H}^{k}(x).

Fix \sigma\in(0, 1) and choose

\eta\in\left(0, \min\left\{1, (4\beta)^{-1}\right\}\right).

Further, choose \delta_0>0 such that

K\oplus B_{\mathbb R^k}(0, \delta_0)\subseteq G,

and choose \theta\in(0, 1) so small that

\textup{Lip}(g)\theta^{1/k}\eta^{-1}6\sqrt{k} \leq \frac{\sigma\alpha}{4},

where \textup{Lip}(g) is a Lipschitz constant of g on K\oplus B_{\mathbb R^k}(0, \delta_0).

Apply Lemma 2.12 to the compact set K and to the function

y\mapsto J_kg(y)\mathcal H^{n-k} \big(P_{\textup{N}^{n-k}_{g(y)}g(G)}(C)\big).

Thus, there exists a compact set K_{\sigma, \theta}\subseteq K such that

\int\limits_{K\setminus K_{\sigma,\theta}} J_kg(y)\mathcal{H}^{n-k} \big(P_{\textup{N}^{n-k}_{g(y)}g(G)}(C)\big)\,\mathrm d\lambda^{k}(y) <\sigma

and there exists \rho>0 such that

\lambda^k\big(Q_{\mathbb{R}^k}(y, t)\setminus K\big) \leq \theta\lambda^k\big(Q_{\mathbb{R}^k}(y, t)\big)

for every y\in K_{\sigma,\theta} and every 0<t<\rho. Moreover,

Q_{\mathbb{R}^k}(y, t/2) \subseteq K\oplus B_{\mathbb R^k}\big(0, 3\sqrt{k}\theta^{1/k}t\big)

for every such y and t.

Let r>0 be small and set

\ell\coloneq \eta^{-1}r.

We assume that r is so small that

2\ell<\rho, \qquad \sqrt{k}\ell<\delta_0.

Let \mathcal{Q}_r be the finite family of cubes of a fixed grid in \mathbb R^k of side length \ell which intersect K_{\sigma,\theta}. For each Q\in\mathcal{Q}_r, choose a point

y_Q\in Q\cap K_{\sigma,\theta}.

Define the affine map

g_Q(z)\coloneq g(y_Q)+Dg(y_Q)(z-y_Q), \qquad z\in\mathbb R^k.

Since g is a graph map, the first k coordinates of g_Q(z) are exactly the coordinates of z.

For each cube Q\in\mathcal Q_r, define Q^- to be the cube with the same center as Q and side length \ell-4\beta r>0; this is positive because \ell=\eta^{-1}r and \eta<(4\beta)^{-1}.

We first prove that

g_Q(Q^-)\oplus rC \subseteq S\oplus (1+\sigma)rC \qquad\text{for all }Q\in\mathcal{Q}_r

provided r>0 is sufficiently small.

Let Q\in\mathcal{Q}_r and let z\in Q^-. Since Q has side length \ell and y_Q\in Q, we have

Q\subseteq Q_{\mathbb{R}^k}(y_Q, \ell).

Hence z\in Q_{\mathbb{R}^k}(y_Q,\ell)=Q_{\mathbb{R}^k}(y_Q,2\ell/2). Applying the last part of Lemma 2.12 with t=2\ell<\rho, we find z_0\in K such that

|z-z_0|\leq 6\sqrt{k}\theta^{1/k}\ell.

Thus

|g(z)-g(z_0)| \leq 6\sqrt{k}\textup{Lip}(g)\theta^{1/k}\ell = 6\sqrt{k}\textup{Lip}(g)\theta^{1/k}\eta^{-1}r \leq \frac{\sigma\alpha}{4}r.

On the other hand, by the uniform continuity of Dg on K\oplus B_{\mathbb R^k}(0,\delta_0), for all sufficiently small r,

|g(z)-g_Q(z)| \leq \frac{\sigma\alpha}{4}r.

Consequently,

|g_Q(z)-g(z_0)| \leq \frac{\sigma\alpha}{2}r < \sigma\alpha r.

Since B(0,\alpha)\subseteq C, we obtain

g_Q(z)\in g(z_0)+\sigma rC\subseteq S\oplus \sigma rC.

Therefore

g_Q(z)+rC \subseteq S\oplus \sigma rC\oplus rC \subseteq S\oplus(1+\sigma)rC.

This proves the inclusion.

Next, we prove that the sets

g_Q(Q^-)\oplus rC, \qquad Q\in\mathcal Q_r,

are pairwise disjoint. Let

\pi:\mathbb R^n\to\mathbb R^k

denote the projection onto the first k coordinates. Since C\subseteq B(0, \beta), if

w\in g_Q(Q^-)\oplus rC,

then

\pi(w)\in Q^-\oplus B_{\mathbb R^k}(0, \beta r).

By the definition of Q^-, the set Q^-\oplus B_{\mathbb R^k}(0, \beta r) is contained in the interior of Q. The interiors of distinct cubes of the grid are disjoint. Hence the sets g_Q(Q^-)\oplus rC, Q\in\mathcal Q_r, are pairwise disjoint.

It follows that

\lambda^n\big(S\oplus(1+\sigma)rC\big) \geq \sum_{Q\in\mathcal Q_r} \lambda^n\big(g_Q(Q^-)\oplus rC\big).

For each Q\in\mathcal Q_r, the set g_Q(Q^-) is a compact convex set of dimension k. Using the polynomial expansion (?) for \lambda^n(g_Q(Q^-)\oplus rC), together with (?) and the identity established in Lemma 2.7, see (2.7), we obtain

\frac{\lambda^n(g_Q(Q^-)\oplus rC)}{r^{n-k}} \geq \int\limits_{g_Q(Q^-)} \mathcal{H}^{n-k} \big(P_{\textup{N}^{n-k}_{g(y_Q)}g(G)}(C)\big)\,\mathrm d\mathcal{H}^{k}(y).

By the area formula for the injective affine map g_Q,

\int\limits_{g_Q(Q^-)} \mathcal H^{n-k} \big(P_{\textup{N}^{n-k}_{g(y_Q)}g(G)}(C)\big)\,\mathrm d\mathcal{H}^{k}(y) = \int\limits_{Q^-} J_kg_Q(z) \mathcal H^{n-k} \big(P_{\textup{N}^{n-k}_{g(y_Q)}g(G)}(C)\big)\,\mathrm d\lambda^{k}(z).

Since Dg_Q=Dg(y_Q), we have

J_kg_Q(z)=J_kg(y_Q)

for every z\in Q^-. Hence

\begin{split} \int\limits_{Q^-} J_kg_Q(z) \mathcal H^{n-k} \big(P_{\textup{N}^{n-k}_{g(y_Q)}g(G)}(C)\big)\,\mathrm d\lambda^{k}(z) = J_kg(y_Q) \mathcal H^{n-k} \big(P_{\textup{N}^{n-k}_{g(y_Q)}g(G)}(C)\big)\lambda^k(Q^-). \end{split}

Thus

\begin{split} \frac{\lambda^n\big(S\oplus(1+\sigma)rC\big)}{r^{n-k}} &\geq \sum_{Q\in\mathcal{Q}_r} J_kg(y_Q) \mathcal{H}^{n-k} \big(P_{\textup{N}^{n-k}_{g(y_Q)}g(G)}(C)\big)\lambda^k(Q^-). \end{split}

Set

U_r\coloneq\bigcup_{Q\in\mathcal Q_r}Q^-.

By the uniform continuity of the function

y\mapsto J_kg(y)\mathcal H^{n-k} \big(P_{\textup{N}^{n-k}_{g(y)}g(G)}(C)\big)

on K\oplus B_{\mathbb R^k}(0, \delta_0), for all sufficiently small r>0,

\begin{split} \Big| J_kg(z)\mathcal{H}^{n-k} \big(P_{\textup{N}^{n-k}_{g(z)}g(G)}(C)\big)- J_kg(y_Q)\mathcal{H}^{n-k} \big(P_{\textup{N}^{n-k}_{g(y_Q)}g(G)}(C)\big) \Big| \leq\sigma \end{split}

whenever z\in Q^-. Therefore

\begin{split} &\sum_{Q\in\mathcal Q_r} J_kg(y_Q)\mathcal{H}^{n-k} \big(P_{\textup{N}^{n-k}_{g(y_Q)}g(G)}(C)\big) \lambda^k(Q^-) \\ &\quad\geq \int\limits_{U_r} J_kg(z)\mathcal{H}^{n-k} \big(P_{\textup{N}^{n-k}_{g(z)}g(G)}(C)\big)\,\mathrm d\lambda^{k}(z) -\sigma\lambda^k(U_r). \end{split}

For all small enough r>0, we have U_r\subseteq K\oplus B_{\mathbb{R}^k}(0, \delta_0), and hence

\lambda^k(U_r)\leq\lambda^k\big(K\oplus B_{\mathbb{R}^k}(0, \delta_0)\big).

Further, let R be a fixed cube of side length L containing K\oplus B_{\mathbb{R}^k}(0, \delta_0) and let \mathcal S_\ell denote the skeleton of the whole grid of side length \ell. The cube R and its side length L are fixed independently of r.

We have

K_{\sigma,\theta}\setminus U_r \subseteq \big\{w\in R:\operatorname{\textup{dist}}(w,\mathcal S_\ell)<2\sqrt{k}\beta r\big\}.

Indeed, if w\in K_{\sigma,\theta}\setminus U_r, then w belongs to some grid cube Q\in\mathcal Q_r, but w\notin Q^-. Hence its supremum distance from \partial Q is less than 2\beta r. Therefore its Euclidean distance from the grid skeleton is less than 2\sqrt{k}\beta r.

In each coordinate direction, at most

\frac{L}{\ell}+2\leq 3\frac{L}{\ell}

grid hyperplanes have their 2\sqrt{k}\beta r-neighbourhood intersecting R, provided r>0 is sufficiently small. The 2\sqrt{k}\beta r- neighbourhood of one such hyperplane intersects R in a strip of volume at most

4\sqrt{k}\beta r\,L^{k-1}.

Therefore, in one coordinate direction, the total volume of the corresponding strips is at most

3\frac{L}{\ell}\,4\sqrt{k}\beta r\,L^{k-1} = 12\sqrt{k}\beta L^k\frac{r}{\ell} = 12\sqrt{k}\beta L^k\eta.

Since there are k coordinate directions, we obtain

\lambda^k(K_{\sigma,\theta}\setminus U_r) \leq 12k\sqrt{k}\beta L^k\eta.

Set

M\coloneq \sup_{z\in K\oplus B_{\mathbb{R}^k}(0, \delta_0)} J_kg(z)\mathcal{H}^{n-k} \big(P_{\textup{N}^{n-k}_{g(z)}g(G)}(C)\big) <\infty.

Then

\begin{split} &\int\limits_{U_r} J_kg(z)\mathcal H^{n-k} \big(P_{\textup{N}^{n-k}_{g(z)}g(G)}(C)\big)\,\mathrm d\lambda^{k}(z) \\ &\quad\geq \int\limits_{K_{\sigma,\theta}} J_kg(z)\mathcal H^{n-k} \big(P_{\textup{N}^{n-k}_{g(z)}g(G)}(C)\big)\,\mathrm d\lambda^{k}(z) - M 12k\sqrt{k}\beta L^k\eta. \end{split}

Combining (?), (?), (?) and (?), we get

\begin{split} \frac{\lambda^n\big(S\oplus(1+\sigma)rC\big)}{r^{n-k}} &\geq \int\limits_{K_{\sigma,\theta}} J_kg(z)\mathcal{H}^{n-k} \big(P_{\textup{N}^{n-k}_{g(z)}g(G)}(C)\big)\,\mathrm d\lambda^{k}(z) \\ &\quad- M 12k\sqrt{k}\beta L^k\eta - \sigma\lambda^k\big(K\oplus B_{\mathbb{R}^k}(0, \delta_0)\big) \end{split}

for all sufficiently small r>0.

Since

(1+\sigma)^{n-k}\mathcal M^k_{(1+\sigma)r,C}(S) = \frac{\lambda^n(S\oplus(1+\sigma)rC)} {\omega_{n-k}r^{n-k}},

the preceding estimate can be written as

\begin{split} \omega_{n-k}(1+\sigma)^{n-k} \mathcal M^k_{(1+\sigma)r,C}(S) &\geq \int\limits_{K_{\sigma,\theta}} J_kg(z)\mathcal H^{n-k} \big(P_{\textup{N}^{n-k}_{g(z)}g(G)}(C)\big)\,\mathrm d\lambda^{k}(z) \\ &\quad- M 12k\sqrt{k}\beta L^k\eta - \sigma\lambda^k\big(K\oplus B_{\mathbb{R}^k}(0, \delta_0)\big). \end{split}

Taking the limit inferior as r\to0_+ yields

\begin{split} \omega_{n-k}(1+\sigma)^{n-k} \mathcal M^k_C(S)_* &\geq \int\limits_{K_{\sigma,\theta}} J_kg(z)\mathcal H^{n-k} \big(P_{\textup{N}^{n-k}_{g(z)}g(G)}(C)\big)\,\mathrm d\lambda^{k}(z) \\ &\quad- M 12k\sqrt{k}\beta L^k\eta - \sigma\lambda^k\big(K\oplus B_{\mathbb{R}^k}(0, \delta_0)\big). \end{split}

By the choice of K_{\sigma,\theta},

\int\limits_{K\setminus K_{\sigma,\theta}} J_kg(z)\mathcal H^{n-k} \big(P_{\textup{N}^{n-k}_{g(z)}g(G)}(C)\big)\,\mathrm d\lambda^{k}(z) <\sigma.

Therefore

\begin{split} \omega_{n-k}(1+\sigma)^{n-k} \mathcal M^k_C(S)_* &\geq \int\limits_K J_kg(z)\mathcal H^{n-k} \big(P_{\textup{N}^{n-k}_{g(z)}g(G)}(C)\big)\,\mathrm d\lambda^{k}(z) \\ &\quad- \sigma - M 12k\sqrt{k}\beta L^k\eta - \sigma\lambda^k\big(K\oplus B_{\mathbb{R}^k}(0, \delta_0)\big). \end{split}

Letting \eta\to0_+ and then \sigma\to0_+, we conclude that

\omega_{n-k}\mathcal{M}^k_C(S)_* \geq \int\limits_K J_kg(z)\mathcal{H}^{n-k} \big(P_{\textup{N}^{n-k}_{g(z)}g(G)}(C)\big)\,\mathrm d\lambda^{k}(z).

Thus

\mathcal{M}^k_C(S)_* \geq \frac1{\omega_{n-k}} \int\limits_K J_kg(z)\mathcal H^{n-k} \big(P_{\textup{N}^{n-k}_{g(z)}g(G)}(C)\big)\,\mathrm d\lambda^{k}(z).

Finally, the area formula gives

\int\limits_K J_kg(z)\mathcal{H}^{n-k} \big(P_{\textup{N}^{n-k}_{g(z)}g(G)}(C)\big)\,\mathrm d\lambda^{k}(z) = \int\limits_S\mathcal{H}^{n-k}(C_x)\,\mathrm d\mathcal{H}^{k}(x).

Therefore

\mathcal{M}^k_C(S)_* \geq \frac1{\omega_{n-k}} \int\limits_S\mathcal{H}^{n-k}(C_x)\,\mathrm d\mathcal{H}^{k}(x),

as required.

Proof

ZKYW

Choose \alpha, \beta>0 such that

B(0, \alpha)\subseteq C\subseteq B(0, \beta).

After a rotation of \mathbb{R}^n, we may assume that

S\subseteq \big\{\big(y, h(y)\big) : y\in G\big\},

where G\subseteq\mathbb R^k is an open bounded set and h\in\mathcal C^1(G; \mathbb R^{n-k}). For brevity, define

g(y)\coloneq \big(y, h(y)\big),\qquad y\in G,

and put

K\coloneq g^{-1}(S).

Then K is compact and K\subseteq G.

The function

y\mapsto J_kg(y)\mathcal H^{n-k} \big(P_{\textup{N}^{n-k}_{g(y)}g(G)}(C)\big)

is continuous on G.

It is enough to prove

\mathcal M_C^k(S)_* \geq \frac1{\omega_{n-k}} \int\limits_K J_kg(y)\mathcal H^{n-k} \big(P_{\textup{N}^{n-k}_{g(y)}g(G)}(C)\big)\,\mathrm d\lambda^{k}(y).

Indeed, by the area formula and by the fact that, for \mathcal{H}^k-a.e. point of S, the approximate tangent space of S agrees with the tangent space of the ambient \mathcal{C}^1 k-graph,

\int\limits_K J_kg(y)\mathcal H^{n-k} \big(P_{\textup{N}^{n-k}_{g(y)}g(G)}(C)\big)\,\mathrm d\lambda^{k}(y) = \int\limits_S \mathcal H^{n-k}(C_x)\,\mathrm d\mathcal{H}^{k}(x).

Fix \sigma\in(0, 1) and choose

\eta\in\left(0, \min\left\{1, (4\beta)^{-1}\right\}\right).

Further, choose \delta_0>0 such that

K\oplus B_{\mathbb R^k}(0, \delta_0)\subseteq G,

and choose \theta\in(0, 1) so small that

\textup{Lip}(g)\theta^{1/k}\eta^{-1}6\sqrt{k} \leq \frac{\sigma\alpha}{4},

where \textup{Lip}(g) is a Lipschitz constant of g on K\oplus B_{\mathbb R^k}(0, \delta_0).

Apply Lemma 2.12 to the compact set K and to the function

y\mapsto J_kg(y)\mathcal H^{n-k} \big(P_{\textup{N}^{n-k}_{g(y)}g(G)}(C)\big).

Thus, there exists a compact set K_{\sigma, \theta}\subseteq K such that

\int\limits_{K\setminus K_{\sigma,\theta}} J_kg(y)\mathcal{H}^{n-k} \big(P_{\textup{N}^{n-k}_{g(y)}g(G)}(C)\big)\,\mathrm d\lambda^{k}(y) <\sigma

and there exists \rho>0 such that

\lambda^k\big(Q_{\mathbb{R}^k}(y, t)\setminus K\big) \leq \theta\lambda^k\big(Q_{\mathbb{R}^k}(y, t)\big)

for every y\in K_{\sigma,\theta} and every 0<t<\rho. Moreover,

Q_{\mathbb{R}^k}(y, t/2) \subseteq K\oplus B_{\mathbb R^k}\big(0, 3\sqrt{k}\theta^{1/k}t\big)

for every such y and t.

Let r>0 be small and set

\ell\coloneq \eta^{-1}r.

We assume that r is so small that

2\ell<\rho, \qquad \sqrt{k}\ell<\delta_0.

Let \mathcal{Q}_r be the finite family of cubes of a fixed grid in \mathbb R^k of side length \ell which intersect K_{\sigma,\theta}. For each Q\in\mathcal{Q}_r, choose a point

y_Q\in Q\cap K_{\sigma,\theta}.

Define the affine map

g_Q(z)\coloneq g(y_Q)+Dg(y_Q)(z-y_Q), \qquad z\in\mathbb R^k.

Since g is a graph map, the first k coordinates of g_Q(z) are exactly the coordinates of z.

For each cube Q\in\mathcal Q_r, define Q^- to be the cube with the same center as Q and side length \ell-4\beta r>0; this is positive because \ell=\eta^{-1}r and \eta<(4\beta)^{-1}.

We first prove that

g_Q(Q^-)\oplus rC \subseteq S\oplus (1+\sigma)rC \qquad\text{for all }Q\in\mathcal{Q}_r

provided r>0 is sufficiently small.

Let Q\in\mathcal{Q}_r and let z\in Q^-. Since Q has side length \ell and y_Q\in Q, we have

Q\subseteq Q_{\mathbb{R}^k}(y_Q, \ell).

Hence z\in Q_{\mathbb{R}^k}(y_Q,\ell)=Q_{\mathbb{R}^k}(y_Q,2\ell/2). Applying the last part of Lemma 2.12 with t=2\ell<\rho, we find z_0\in K such that

|z-z_0|\leq 6\sqrt{k}\theta^{1/k}\ell.

Thus

|g(z)-g(z_0)| \leq 6\sqrt{k}\textup{Lip}(g)\theta^{1/k}\ell = 6\sqrt{k}\textup{Lip}(g)\theta^{1/k}\eta^{-1}r \leq \frac{\sigma\alpha}{4}r.

On the other hand, by the uniform continuity of Dg on K\oplus B_{\mathbb R^k}(0,\delta_0), for all sufficiently small r,

|g(z)-g_Q(z)| \leq \frac{\sigma\alpha}{4}r.

Consequently,

|g_Q(z)-g(z_0)| \leq \frac{\sigma\alpha}{2}r < \sigma\alpha r.

Since B(0,\alpha)\subseteq C, we obtain

g_Q(z)\in g(z_0)+\sigma rC\subseteq S\oplus \sigma rC.

Therefore

g_Q(z)+rC \subseteq S\oplus \sigma rC\oplus rC \subseteq S\oplus(1+\sigma)rC.

This proves the inclusion.

Next, we prove that the sets

g_Q(Q^-)\oplus rC, \qquad Q\in\mathcal Q_r,

are pairwise disjoint. Let

\pi:\mathbb R^n\to\mathbb R^k

denote the projection onto the first k coordinates. Since C\subseteq B(0, \beta), if

w\in g_Q(Q^-)\oplus rC,

then

\pi(w)\in Q^-\oplus B_{\mathbb R^k}(0, \beta r).

By the definition of Q^-, the set Q^-\oplus B_{\mathbb R^k}(0, \beta r) is contained in the interior of Q. The interiors of distinct cubes of the grid are disjoint. Hence the sets g_Q(Q^-)\oplus rC, Q\in\mathcal Q_r, are pairwise disjoint.

It follows that

\lambda^n\big(S\oplus(1+\sigma)rC\big) \geq \sum_{Q\in\mathcal Q_r} \lambda^n\big(g_Q(Q^-)\oplus rC\big).

For each Q\in\mathcal Q_r, the set g_Q(Q^-) is a compact convex set of dimension k. Using the polynomial expansion (?) for \lambda^n(g_Q(Q^-)\oplus rC), together with (?) and the identity established in Lemma 2.7, see (2.7), we obtain

\frac{\lambda^n(g_Q(Q^-)\oplus rC)}{r^{n-k}} \geq \int\limits_{g_Q(Q^-)} \mathcal{H}^{n-k} \big(P_{\textup{N}^{n-k}_{g(y_Q)}g(G)}(C)\big)\,\mathrm d\mathcal{H}^{k}(y).

By the area formula for the injective affine map g_Q,

\int\limits_{g_Q(Q^-)} \mathcal H^{n-k} \big(P_{\textup{N}^{n-k}_{g(y_Q)}g(G)}(C)\big)\,\mathrm d\mathcal{H}^{k}(y) = \int\limits_{Q^-} J_kg_Q(z) \mathcal H^{n-k} \big(P_{\textup{N}^{n-k}_{g(y_Q)}g(G)}(C)\big)\,\mathrm d\lambda^{k}(z).

Since Dg_Q=Dg(y_Q), we have

J_kg_Q(z)=J_kg(y_Q)

for every z\in Q^-. Hence

\begin{split} \int\limits_{Q^-} J_kg_Q(z) \mathcal H^{n-k} \big(P_{\textup{N}^{n-k}_{g(y_Q)}g(G)}(C)\big)\,\mathrm d\lambda^{k}(z) = J_kg(y_Q) \mathcal H^{n-k} \big(P_{\textup{N}^{n-k}_{g(y_Q)}g(G)}(C)\big)\lambda^k(Q^-). \end{split}

Thus

\begin{split} \frac{\lambda^n\big(S\oplus(1+\sigma)rC\big)}{r^{n-k}} &\geq \sum_{Q\in\mathcal{Q}_r} J_kg(y_Q) \mathcal{H}^{n-k} \big(P_{\textup{N}^{n-k}_{g(y_Q)}g(G)}(C)\big)\lambda^k(Q^-). \end{split}

Set

U_r\coloneq\bigcup_{Q\in\mathcal Q_r}Q^-.

By the uniform continuity of the function

y\mapsto J_kg(y)\mathcal H^{n-k} \big(P_{\textup{N}^{n-k}_{g(y)}g(G)}(C)\big)

on K\oplus B_{\mathbb R^k}(0, \delta_0), for all sufficiently small r>0,

\begin{split} \Big| J_kg(z)\mathcal{H}^{n-k} \big(P_{\textup{N}^{n-k}_{g(z)}g(G)}(C)\big)- J_kg(y_Q)\mathcal{H}^{n-k} \big(P_{\textup{N}^{n-k}_{g(y_Q)}g(G)}(C)\big) \Big| \leq\sigma \end{split}

whenever z\in Q^-. Therefore

\begin{split} &\sum_{Q\in\mathcal Q_r} J_kg(y_Q)\mathcal{H}^{n-k} \big(P_{\textup{N}^{n-k}_{g(y_Q)}g(G)}(C)\big) \lambda^k(Q^-) \\ &\quad\geq \int\limits_{U_r} J_kg(z)\mathcal{H}^{n-k} \big(P_{\textup{N}^{n-k}_{g(z)}g(G)}(C)\big)\,\mathrm d\lambda^{k}(z) -\sigma\lambda^k(U_r). \end{split}

For all small enough r>0, we have U_r\subseteq K\oplus B_{\mathbb{R}^k}(0, \delta_0), and hence

\lambda^k(U_r)\leq\lambda^k\big(K\oplus B_{\mathbb{R}^k}(0, \delta_0)\big).

Further, let R be a fixed cube of side length L containing K\oplus B_{\mathbb{R}^k}(0, \delta_0) and let \mathcal S_\ell denote the skeleton of the whole grid of side length \ell. The cube R and its side length L are fixed independently of r.

We have

K_{\sigma,\theta}\setminus U_r \subseteq \big\{w\in R:\operatorname{\textup{dist}}(w,\mathcal S_\ell)<2\sqrt{k}\beta r\big\}.

Indeed, if w\in K_{\sigma,\theta}\setminus U_r, then w belongs to some grid cube Q\in\mathcal Q_r, but w\notin Q^-. Hence its supremum distance from \partial Q is less than 2\beta r. Therefore its Euclidean distance from the grid skeleton is less than 2\sqrt{k}\beta r.

In each coordinate direction, at most

\frac{L}{\ell}+2\leq 3\frac{L}{\ell}

grid hyperplanes have their 2\sqrt{k}\beta r-neighbourhood intersecting R, provided r>0 is sufficiently small. The 2\sqrt{k}\beta r- neighbourhood of one such hyperplane intersects R in a strip of volume at most

4\sqrt{k}\beta r\,L^{k-1}.

Therefore, in one coordinate direction, the total volume of the corresponding strips is at most

3\frac{L}{\ell}\,4\sqrt{k}\beta r\,L^{k-1} = 12\sqrt{k}\beta L^k\frac{r}{\ell} = 12\sqrt{k}\beta L^k\eta.

Since there are k coordinate directions, we obtain

\lambda^k(K_{\sigma,\theta}\setminus U_r) \leq 12k\sqrt{k}\beta L^k\eta.

Set

M\coloneq \sup_{z\in K\oplus B_{\mathbb{R}^k}(0, \delta_0)} J_kg(z)\mathcal{H}^{n-k} \big(P_{\textup{N}^{n-k}_{g(z)}g(G)}(C)\big) <\infty.

Then

\begin{split} &\int\limits_{U_r} J_kg(z)\mathcal H^{n-k} \big(P_{\textup{N}^{n-k}_{g(z)}g(G)}(C)\big)\,\mathrm d\lambda^{k}(z) \\ &\quad\geq \int\limits_{K_{\sigma,\theta}} J_kg(z)\mathcal H^{n-k} \big(P_{\textup{N}^{n-k}_{g(z)}g(G)}(C)\big)\,\mathrm d\lambda^{k}(z) - M 12k\sqrt{k}\beta L^k\eta. \end{split}

Combining (?), (?), (?) and (?), we get

\begin{split} \frac{\lambda^n\big(S\oplus(1+\sigma)rC\big)}{r^{n-k}} &\geq \int\limits_{K_{\sigma,\theta}} J_kg(z)\mathcal{H}^{n-k} \big(P_{\textup{N}^{n-k}_{g(z)}g(G)}(C)\big)\,\mathrm d\lambda^{k}(z) \\ &\quad- M 12k\sqrt{k}\beta L^k\eta - \sigma\lambda^k\big(K\oplus B_{\mathbb{R}^k}(0, \delta_0)\big) \end{split}

for all sufficiently small r>0.

Since

(1+\sigma)^{n-k}\mathcal M^k_{(1+\sigma)r,C}(S) = \frac{\lambda^n(S\oplus(1+\sigma)rC)} {\omega_{n-k}r^{n-k}},

the preceding estimate can be written as

\begin{split} \omega_{n-k}(1+\sigma)^{n-k} \mathcal M^k_{(1+\sigma)r,C}(S) &\geq \int\limits_{K_{\sigma,\theta}} J_kg(z)\mathcal H^{n-k} \big(P_{\textup{N}^{n-k}_{g(z)}g(G)}(C)\big)\,\mathrm d\lambda^{k}(z) \\ &\quad- M 12k\sqrt{k}\beta L^k\eta - \sigma\lambda^k\big(K\oplus B_{\mathbb{R}^k}(0, \delta_0)\big). \end{split}

Taking the limit inferior as r\to0_+ yields

\begin{split} \omega_{n-k}(1+\sigma)^{n-k} \mathcal M^k_C(S)_* &\geq \int\limits_{K_{\sigma,\theta}} J_kg(z)\mathcal H^{n-k} \big(P_{\textup{N}^{n-k}_{g(z)}g(G)}(C)\big)\,\mathrm d\lambda^{k}(z) \\ &\quad- M 12k\sqrt{k}\beta L^k\eta - \sigma\lambda^k\big(K\oplus B_{\mathbb{R}^k}(0, \delta_0)\big). \end{split}

By the choice of K_{\sigma,\theta},

\int\limits_{K\setminus K_{\sigma,\theta}} J_kg(z)\mathcal H^{n-k} \big(P_{\textup{N}^{n-k}_{g(z)}g(G)}(C)\big)\,\mathrm d\lambda^{k}(z) <\sigma.

Therefore

\begin{split} \omega_{n-k}(1+\sigma)^{n-k} \mathcal M^k_C(S)_* &\geq \int\limits_K J_kg(z)\mathcal H^{n-k} \big(P_{\textup{N}^{n-k}_{g(z)}g(G)}(C)\big)\,\mathrm d\lambda^{k}(z) \\ &\quad- \sigma - M 12k\sqrt{k}\beta L^k\eta - \sigma\lambda^k\big(K\oplus B_{\mathbb{R}^k}(0, \delta_0)\big). \end{split}

Letting \eta\to0_+ and then \sigma\to0_+, we conclude that

\omega_{n-k}\mathcal{M}^k_C(S)_* \geq \int\limits_K J_kg(z)\mathcal{H}^{n-k} \big(P_{\textup{N}^{n-k}_{g(z)}g(G)}(C)\big)\,\mathrm d\lambda^{k}(z).

Thus

\mathcal{M}^k_C(S)_* \geq \frac1{\omega_{n-k}} \int\limits_K J_kg(z)\mathcal H^{n-k} \big(P_{\textup{N}^{n-k}_{g(z)}g(G)}(C)\big)\,\mathrm d\lambda^{k}(z).

Finally, the area formula gives

\int\limits_K J_kg(z)\mathcal{H}^{n-k} \big(P_{\textup{N}^{n-k}_{g(z)}g(G)}(C)\big)\,\mathrm d\lambda^{k}(z) = \int\limits_S\mathcal{H}^{n-k}(C_x)\,\mathrm d\mathcal{H}^{k}(x).

Therefore

\mathcal{M}^k_C(S)_* \geq \frac1{\omega_{n-k}} \int\limits_S\mathcal{H}^{n-k}(C_x)\,\mathrm d\mathcal{H}^{k}(x),

as required.

Uses Lemma 2.12, Definition 1.13, Lemma 2.7

Lemma

Lemma 2.14

8BEO

Let C\in\mathcal{C}^n, and let S\subseteq\mathbb{R}^n be a compact subset of a \mathcal{C}^1 k-graph, where k\in\{1, \dots, n-1\}. Then we have

\begin{aligned} \mathcal{M}^k_{C}(S)^*\leq\frac{1}{\omega_{n-k}}\int\limits_{S}\mathcal{H}^{n-k}(C_x)\,\mathrm d\mathcal{H}^{k}(x). \end{aligned}

Proof.

Let G\subseteq\mathbb{R}^k be open and bounded, let h\in\mathcal{C}^1(G; \mathbb{R}^{n-k}), and let K\subseteq G be a compact set such that

\big\{\big(x, h(x)\big) : x\in K\}=S.

For the sake of brevity, set

f(x)\coloneq \big(x, h(x)\big), \quad x\in G.

Hence f(K)=S and, without loss of generality, we can assume that f is bi-Lipschitz on G.

In this proof, for x\in G we write C_{f(x)} for

P_{(\textup{T}^k_{f(x)}f(G))^\perp}(C).

For \mathcal H^k-a.e. point of S=f(K), this agrees with the notation introduced above.

Since

\mathcal{H}^k(S)=\mathcal{H}^k\big(f(K)\big)\leq\textup{Lip}(f)^k\lambda^k(K)<\infty,

it suffices to show the conclusion for all convex bodies in \mathcal{C}^{n, n} due to Lemma 2.8 and the fact that \mathcal{M}^k_{r, C}(S)\leq \mathcal{M}^k_{r, C^j}(S) for every r>0, where C^j\coloneqq C\oplus B(0, j^{-1}). So, let C\in\mathcal{C}^{n, n}. Choose positive real numbers \alpha and \beta such that

B(0, \alpha)\subseteq C \subseteq B(0, \beta).

Fix some \delta_0>0 such that K\oplus B_{\mathbb{R}^k}(0, \delta_0)\subseteq G. For every p\in\mathbb{N}, there exists some \delta\in (0, \delta_0) such that

\lambda^k\Big(\big(K\oplus B_{\mathbb{R}^k}(0, \delta)\big)\setminus K\Big)<\frac{1}{p}

and for every a\in K and every x\in B(a, \delta)

\begin{aligned} |f(x)-f(a)-Df(a)(x-a)|\leq\frac{|x-a|}{p^2}. \end{aligned}

and

\begin{aligned} |J_k{f(x)}-J_k{f(a)}|<\frac{1}{p},&&&&|\mathcal{H}^{n-k}(C_{f(x)})-\mathcal{H}^{n-k}(C_{f(a)})|<\frac{1}{p}, \end{aligned}

where we used the fact that the functions

x\longmapsto J_kf(x) \qquad\text{and}\qquad x\longmapsto\mathcal H^{n-k}(C_{f(x)})

are continuous on G (the continuity of the latter follows from Lemma 2.11), and hence uniformly continuous on the compact set K\oplus B_{\mathbb R^k}(0, \delta_0).

Let r\in(0, \min\{1, (\sqrt{k}p)^{-1}\delta \}) and consider a tessellation of \mathbb{R}^k into cubes of side length pr, and let \mathcal{C} be the set of cubes from the tessellation hitting K. Then K\subseteq\bigcup \mathcal{C}, and, taking (?) into account,

\begin{aligned} \lambda^k\bigg(\Big(\bigcup\mathcal{C}\Big)\setminus K\bigg)<\frac{1}{p}. \end{aligned}

For any cube Q\in\mathcal{C}, pick a point a\in Q\cap K and consider the affine map A_Q\colon\mathbb{R}^k\to\mathbb{R}^n given by

A_Q(z)\coloneq f(a)+Df(a)(z-a), \quad\text{$z\in\mathbb{R}^k$.}

Observe that since \operatorname{rank} Df(a)=k, the function A_Q is injective.

Note that if z\in f(Q)\oplus rC, then there exists some y\in Q such that z-f(y)\in rC. Since \operatorname{\textup{diam}}(Q)\leq\sqrt{k}pr, (?) ensures that

|f(y)-A_Q(y)|\leq\frac{\sqrt{k}r}{p}.

Thus

z-A_Q(y)\in rC \oplus B\big(0, \sqrt{k}rp^{-1}\big)\subseteq (1+\eta)r C

with \eta\coloneq\sqrt{k}(p\alpha)^{-1}. It follows that

\lambda^n\big(f(Q)\oplus rC\big)\leq\lambda^n\big(A_Q(Q)\oplus (1+\eta)rC\big).

Since \operatorname{rank} Df(x)=k at each point x\in G, the set A_Q(Q) is a convex body in \mathbb{R}^n of dimension exactly k.

Note that

\operatorname{\textup{diam}}\big(A_Q(Q)\big)\leq \textup{Lip}(f)\operatorname{\textup{diam}}(Q)=\textup{Lip}(f)pr\sqrt{k}\eqqcolon t_r,

which in turn implies

A_Q(Q)\subseteq B(z_{Q}, t_r)=z_{Q}+B(0, t_r)

for some z_{Q}\in\mathbb{R}^n.

Using (?), the monotonicity, translation invariance, and homogeneity properties in (1.19), together with \lambda^k(Q)=(pr)^k and r\leq1, we conclude 10bp12bp 12 2 1 3 3 3 3 10bp12bp 12 2 1 3 3 3 3

1em10bp12bp 12 2 1 3 3 3 3

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1emblack (?) 10bp12bp 12 2 1 3 3 3 3 10bp12bp 12 2 1 3 3 3 3

1em10bp12bp 12 2 1 3 3 3 3

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1emblack (?) 10bp12bp 12 2 1 3 3 3 3 10bp12bp 12 2 1 3 3 3 3

1em10bp12bp 12 2 1 3 3 3 3

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1emblack (?)= 10bp12bp 12 2 1 3 3 3 3 10bp12bp 12 2 1 3 3 3 3

1em10bp12bp 12 2 1 3 3 3 3

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1emblack (?)= 10bp12bp 12 2 1 3 3 3 3 10bp12bp 12 2 1 3 3 3 3

1em10bp12bp 12 2 1 3 3 3 3

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1emblack (?)+(2.7)= 10bp12bp 12 2 1 3 3 3 3 10bp12bp 12 2 1 3 3 3 3

1em10bp12bp 12 2 1 3 3 3 3

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1emblack (?)+(2.7)= 10bp12bp 12 2 1 3 3 3 3 10bp12bp 12 2 1 3 3 3 3

1em10bp12bp 12 2 1 3 3 3 3

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1emblack (?)+(?) 10bp12bp 12 2 1 3 3 3 3 10bp12bp 12 2 1 3 3 3 3

1em10bp12bp 12 2 1 3 3 3 3

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1emblack (?)+(?)

\begin{split} \mathcal{M}^k_{r, C}\big(f(Q)\big)&\mathrel{\stackrel{\makebox[0pt]{\mbox{\normalfont \@setfontsize \@setfontsize \@setfontsize \@setfontsize \@setfontsize \@setfontsize\normalsize{10bp}{12bp} \abovedisplayskip 12\p@ \@plus2\p@ \@minus1\p@ \abovedisplayshortskip \z@ \@plus3\p@ \belowdisplayshortskip 3\p@ \@plus3\p@ \@minus3\p@ \belowdisplayskip \abovedisplayskip \let\@listi\@listI{10bp}{12bp} \abovedisplayskip 12\p@ \@plus2\p@ \@minus1\p@ \abovedisplayshortskip \z@ \@plus3\p@ \belowdisplayshortskip 3\p@ \@plus3\p@ \@minus3\p@ \belowdisplayskip \abovedisplayskip \let\@listI\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep\normal@labelsep \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em{10bp}{12bp} \abovedisplayskip 12\p@ \@plus2\p@ \@minus1\p@ \abovedisplayshortskip \z@ \@plus3\p@ \belowdisplayshortskip 3\p@ \@plus3\p@ \@minus3\p@ \belowdisplayskip \abovedisplayskip \let\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep\normal@labelsep \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em{10bp}{12bp} \abovedisplayskip 12\p@ \@plus2\p@ \@minus1\p@ \abovedisplayshortskip \z@ \@plus3\p@ \belowdisplayshortskip 3\p@ \@plus3\p@ \@minus3\p@ \belowdisplayskip \abovedisplayskip \let\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em{10bp}{12bp} \abovedisplayskip 12\p@ \@plus2\p@ \@minus1\p@ \abovedisplayshortskip \z@ \@plus3\p@ \belowdisplayshortskip 3\p@ \@plus3\p@ \@minus3\p@ \belowdisplayskip \abovedisplayskip \let\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em{10bp}{12bp} \abovedisplayskip 12\p@ \@plus2\p@ \@minus1\p@ \abovedisplayshortskip \z@ \@plus3\p@ \belowdisplayshortskip 3\p@ \@plus3\p@ \@minus3\p@ \belowdisplayskip \abovedisplayskip \let\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em\color{black} (\ref{Eq5})}}}{\leq}} (1+\eta)^{n-k}\mathcal{M}^k_{(1+\eta)r, C}\big(A_Q(Q)\big)\\&\mathrel{\stackrel{\makebox[0pt]{\mbox{\normalfont \@setfontsize \@setfontsize \@setfontsize \@setfontsize \@setfontsize \@setfontsize\normalsize{10bp}{12bp} \abovedisplayskip 12\p@ \@plus2\p@ \@minus1\p@ \abovedisplayshortskip \z@ \@plus3\p@ \belowdisplayshortskip 3\p@ \@plus3\p@ \@minus3\p@ \belowdisplayskip \abovedisplayskip \let\@listi\@listI{10bp}{12bp} \abovedisplayskip 12\p@ \@plus2\p@ \@minus1\p@ \abovedisplayshortskip \z@ \@plus3\p@ \belowdisplayshortskip 3\p@ \@plus3\p@ \@minus3\p@ \belowdisplayskip \abovedisplayskip \let\@listI\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep\normal@labelsep \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em{10bp}{12bp} \abovedisplayskip 12\p@ \@plus2\p@ \@minus1\p@ \abovedisplayshortskip \z@ \@plus3\p@ \belowdisplayshortskip 3\p@ \@plus3\p@ \@minus3\p@ \belowdisplayskip \abovedisplayskip \let\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep\normal@labelsep \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em{10bp}{12bp} \abovedisplayskip 12\p@ \@plus2\p@ \@minus1\p@ \abovedisplayshortskip \z@ \@plus3\p@ \belowdisplayshortskip 3\p@ \@plus3\p@ \@minus3\p@ \belowdisplayskip \abovedisplayskip \let\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em{10bp}{12bp} \abovedisplayskip 12\p@ \@plus2\p@ \@minus1\p@ \abovedisplayshortskip \z@ \@plus3\p@ \belowdisplayshortskip 3\p@ \@plus3\p@ \@minus3\p@ \belowdisplayskip \abovedisplayskip \let\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em{10bp}{12bp} \abovedisplayskip 12\p@ \@plus2\p@ \@minus1\p@ \abovedisplayshortskip \z@ \@plus3\p@ \belowdisplayshortskip 3\p@ \@plus3\p@ \@minus3\p@ \belowdisplayskip \abovedisplayskip \let\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em\color{black} (\ref{pp1})}}}{=}}\frac{1}{\omega_{n-k} r^{n-k}}\sum_{j=0}^k {n\choose j}V_n\big(A_Q(Q)[j], C[n-j]\big)r^{n-j}(1+\eta)^{n-j}\\&\mathrel{\stackrel{\makebox[0pt]{\mbox{\normalfont \@setfontsize \@setfontsize \@setfontsize \@setfontsize \@setfontsize \@setfontsize\normalsize{10bp}{12bp} \abovedisplayskip 12\p@ \@plus2\p@ \@minus1\p@ \abovedisplayshortskip \z@ \@plus3\p@ \belowdisplayshortskip 3\p@ \@plus3\p@ \@minus3\p@ \belowdisplayskip \abovedisplayskip \let\@listi\@listI{10bp}{12bp} \abovedisplayskip 12\p@ \@plus2\p@ \@minus1\p@ \abovedisplayshortskip \z@ \@plus3\p@ \belowdisplayshortskip 3\p@ \@plus3\p@ \@minus3\p@ \belowdisplayskip \abovedisplayskip \let\@listI\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep\normal@labelsep \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em{10bp}{12bp} \abovedisplayskip 12\p@ \@plus2\p@ \@minus1\p@ \abovedisplayshortskip \z@ \@plus3\p@ \belowdisplayshortskip 3\p@ \@plus3\p@ \@minus3\p@ \belowdisplayskip \abovedisplayskip \let\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep\normal@labelsep \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em{10bp}{12bp} \abovedisplayskip 12\p@ \@plus2\p@ \@minus1\p@ \abovedisplayshortskip \z@ \@plus3\p@ \belowdisplayshortskip 3\p@ \@plus3\p@ \@minus3\p@ \belowdisplayskip \abovedisplayskip \let\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em{10bp}{12bp} \abovedisplayskip 12\p@ \@plus2\p@ \@minus1\p@ \abovedisplayshortskip \z@ \@plus3\p@ \belowdisplayshortskip 3\p@ \@plus3\p@ \@minus3\p@ \belowdisplayskip \abovedisplayskip \let\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em{10bp}{12bp} \abovedisplayskip 12\p@ \@plus2\p@ \@minus1\p@ \abovedisplayshortskip \z@ \@plus3\p@ \belowdisplayshortskip 3\p@ \@plus3\p@ \@minus3\p@ \belowdisplayskip \abovedisplayskip \let\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em\color{black} (\ref{pp3})+(\ref{pp2})}}}{=}}\,\,\,\,\frac{(1+\eta)^{n-k}}{\omega_{n-k}}\int\limits_{A_Q(Q)}\mathcal{H}^{n-k}(C_x)\,\mathrm d\mathcal{H}^{k}(x)\\&\quad\quad+\frac{1}{\omega_{n-k}}\sum_{j=0}^{k-1} {n\choose j}V_n\big(A_Q(Q)[j], C[n-j]\big)r^{k-j}(1+\eta)^{n-j}\\&\mathrel{\stackrel{\makebox[0pt]{\mbox{\normalfont \@setfontsize \@setfontsize \@setfontsize \@setfontsize \@setfontsize \@setfontsize\normalsize{10bp}{12bp} \abovedisplayskip 12\p@ \@plus2\p@ \@minus1\p@ \abovedisplayshortskip \z@ \@plus3\p@ \belowdisplayshortskip 3\p@ \@plus3\p@ \@minus3\p@ \belowdisplayskip \abovedisplayskip \let\@listi\@listI{10bp}{12bp} \abovedisplayskip 12\p@ \@plus2\p@ \@minus1\p@ \abovedisplayshortskip \z@ \@plus3\p@ \belowdisplayshortskip 3\p@ \@plus3\p@ \@minus3\p@ \belowdisplayskip \abovedisplayskip \let\@listI\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep\normal@labelsep \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em{10bp}{12bp} \abovedisplayskip 12\p@ \@plus2\p@ \@minus1\p@ \abovedisplayshortskip \z@ \@plus3\p@ \belowdisplayshortskip 3\p@ \@plus3\p@ \@minus3\p@ \belowdisplayskip \abovedisplayskip \let\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep\normal@labelsep \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em{10bp}{12bp} \abovedisplayskip 12\p@ \@plus2\p@ \@minus1\p@ \abovedisplayshortskip \z@ \@plus3\p@ \belowdisplayshortskip 3\p@ \@plus3\p@ \@minus3\p@ \belowdisplayskip \abovedisplayskip \let\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em{10bp}{12bp} \abovedisplayskip 12\p@ \@plus2\p@ \@minus1\p@ \abovedisplayshortskip \z@ \@plus3\p@ \belowdisplayshortskip 3\p@ \@plus3\p@ \@minus3\p@ \belowdisplayskip \abovedisplayskip \let\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em{10bp}{12bp} \abovedisplayskip 12\p@ \@plus2\p@ \@minus1\p@ \abovedisplayshortskip \z@ \@plus3\p@ \belowdisplayshortskip 3\p@ \@plus3\p@ \@minus3\p@ \belowdisplayskip \abovedisplayskip \let\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em\color{black} (\ref{constants})+(\ref{pp4})}}}{\leq}}\,\,\,\,\,\frac{(1+\eta)^{n-k}}{\omega_{n-k}}\int\limits_{A_Q(Q)}\mathcal{H}^{n-k}(C_x)\,\mathrm d\mathcal{H}^{k}(x)\\&\quad\quad+\frac{1}{\omega_{n-k}}\sum_{j=0}^{k-1} {n\choose j}V_n\big(B(z_{Q}, t_r)[j], B(0, \beta)[n-j]\big)r^{k-j}(1+\eta)^{n-j}\\&\leq\frac{(1+\eta)^{n-k}}{\omega_{n-k}}\int\limits_{A_Q(Q)}\mathcal{H}^{n-k}(C_{f(a)})\,\mathrm d\mathcal{H}^{k}(x)\\&\quad\quad+\frac{L}{p\omega_{n-k}}(1+\eta)^{n}\lambda^k(Q), \end{split}

where

L\coloneq\omega_{n}\sum_{j=0}^{k-1} {n\choose j}\textup{Lip}(f)^j\sqrt{k}^j\beta^{n-j}.

The area formula and the injectivity of A_Q imply

\begin{split} \int\limits_{A_Q(Q)}\mathcal{H}^{n-k}(C_{f(a)})\,\mathrm d\mathcal{H}^{k}(x)=\int\limits_{Q}J_kA_Q(y)\mathcal{H}^{n-k}(C_{f(a)})\,\mathrm d\lambda^{k}(y). \end{split}

For every x\in Q, it holds that

J_kA_Q(x)=J_kA_Q(a)=\sqrt{\det\big(Df(a)^{\top}Df(a)\big)}=J_kf(a),

which gives 10bp12bp 12 2 1 3 3 3 3 10bp12bp 12 2 1 3 3 3 3

1em10bp12bp 12 2 1 3 3 3 3

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1emblack (?) 10bp12bp 12 2 1 3 3 3 3 10bp12bp 12 2 1 3 3 3 3

1em10bp12bp 12 2 1 3 3 3 3

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1emblack (?)

\begin{split} \int\limits_{Q}J_kA_Q(y)\mathcal{H}^{n-k}(C_{f(a)})\,\mathrm d\lambda^{k}(y)&=\int\limits_{Q}J_kf(a)\mathcal{H}^{n-k}(C_{f(a)})\,\mathrm d\lambda^{k}(x)\\&\mathrel{\stackrel{\makebox[0pt]{\mbox{\normalfont \@setfontsize \@setfontsize \@setfontsize \@setfontsize \@setfontsize \@setfontsize\normalsize{10bp}{12bp} \abovedisplayskip 12\p@ \@plus2\p@ \@minus1\p@ \abovedisplayshortskip \z@ \@plus3\p@ \belowdisplayshortskip 3\p@ \@plus3\p@ \@minus3\p@ \belowdisplayskip \abovedisplayskip \let\@listi\@listI{10bp}{12bp} \abovedisplayskip 12\p@ \@plus2\p@ \@minus1\p@ \abovedisplayshortskip \z@ \@plus3\p@ \belowdisplayshortskip 3\p@ \@plus3\p@ \@minus3\p@ \belowdisplayskip \abovedisplayskip \let\@listI\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep\normal@labelsep \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em{10bp}{12bp} \abovedisplayskip 12\p@ \@plus2\p@ \@minus1\p@ \abovedisplayshortskip \z@ \@plus3\p@ \belowdisplayshortskip 3\p@ \@plus3\p@ \@minus3\p@ \belowdisplayskip \abovedisplayskip \let\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep\normal@labelsep \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em{10bp}{12bp} \abovedisplayskip 12\p@ \@plus2\p@ \@minus1\p@ \abovedisplayshortskip \z@ \@plus3\p@ \belowdisplayshortskip 3\p@ \@plus3\p@ \@minus3\p@ \belowdisplayskip \abovedisplayskip \let\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em{10bp}{12bp} \abovedisplayskip 12\p@ \@plus2\p@ \@minus1\p@ \abovedisplayshortskip \z@ \@plus3\p@ \belowdisplayshortskip 3\p@ \@plus3\p@ \@minus3\p@ \belowdisplayskip \abovedisplayskip \let\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em{10bp}{12bp} \abovedisplayskip 12\p@ \@plus2\p@ \@minus1\p@ \abovedisplayshortskip \z@ \@plus3\p@ \belowdisplayshortskip 3\p@ \@plus3\p@ \@minus3\p@ \belowdisplayskip \abovedisplayskip \let\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em\color{black} (\ref{eq00})}}}{\leq}}\int\limits_{Q}\Big(J_kf(x)+\frac{1}{p}\Big)\Big(\mathcal{H}^{n-k}(C_{f(x)})+\frac{1}{p}\Big)\,\mathrm d\lambda^{k}(x)\\&\leq\int\limits_{Q}J_kf(x)\mathcal{H}^{n-k}(C_{f(x)})\,\mathrm d\lambda^{k}(x)\\&\quad\quad+\frac{\omega_{n-k}\operatorname{\textup{diam}}(C)^{n-k}+M+1}{p}\lambda^k(Q), \end{split}

where

M\coloneq\sup\big\{|J_kf(x)| : x\in K\oplus B_{\mathbb{R}^k}(0, \delta_0)\big\}.

10bp12bp 12 2 1 3 3 3 3 10bp12bp 12 2 1 3 3 3 3

1em10bp12bp 12 2 1 3 3 3 3

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1emblack (?) 10bp12bp 12 2 1 3 3 3 3 10bp12bp 12 2 1 3 3 3 3

1em10bp12bp 12 2 1 3 3 3 3

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1emblack (?) 10bp12bp 12 2 1 3 3 3 3 10bp12bp 12 2 1 3 3 3 3

1em10bp12bp 12 2 1 3 3 3 3

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1emblack (?) 10bp12bp 12 2 1 3 3 3 3 10bp12bp 12 2 1 3 3 3 3

1em10bp12bp 12 2 1 3 3 3 3

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1emblack (?) 10bp12bp 12 2 1 3 3 3 3 10bp12bp 12 2 1 3 3 3 3

1em10bp12bp 12 2 1 3 3 3 3

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1emblack (?) 10bp12bp 12 2 1 3 3 3 3 10bp12bp 12 2 1 3 3 3 3

1em10bp12bp 12 2 1 3 3 3 3

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1em10bp12bp 12 2 1 3 3 3 3 0.5em

1em 0.5em

1emblack (?)

Altogether, we have

\begin{split}\mathcal{M}^k_{r, C}(S)&\leq\sum_{Q\in\mathcal{C}}\mathcal{M}^k_{r, C}\big(f(Q)\big)\\&\mathrel{\stackrel{\makebox[0pt]{\mbox{\normalfont \@setfontsize \@setfontsize \@setfontsize \@setfontsize \@setfontsize \@setfontsize\normalsize{10bp}{12bp} \abovedisplayskip 12\p@ \@plus2\p@ \@minus1\p@ \abovedisplayshortskip \z@ \@plus3\p@ \belowdisplayshortskip 3\p@ \@plus3\p@ \@minus3\p@ \belowdisplayskip \abovedisplayskip \let\@listi\@listI{10bp}{12bp} \abovedisplayskip 12\p@ \@plus2\p@ \@minus1\p@ \abovedisplayshortskip \z@ \@plus3\p@ \belowdisplayshortskip 3\p@ \@plus3\p@ \@minus3\p@ \belowdisplayskip \abovedisplayskip \let\@listI\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep\normal@labelsep \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em{10bp}{12bp} \abovedisplayskip 12\p@ \@plus2\p@ \@minus1\p@ \abovedisplayshortskip \z@ \@plus3\p@ \belowdisplayshortskip 3\p@ \@plus3\p@ \@minus3\p@ \belowdisplayskip \abovedisplayskip \let\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep\normal@labelsep \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em{10bp}{12bp} \abovedisplayskip 12\p@ \@plus2\p@ \@minus1\p@ \abovedisplayshortskip \z@ \@plus3\p@ \belowdisplayshortskip 3\p@ \@plus3\p@ \@minus3\p@ \belowdisplayskip \abovedisplayskip \let\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em{10bp}{12bp} \abovedisplayskip 12\p@ \@plus2\p@ \@minus1\p@ \abovedisplayshortskip \z@ \@plus3\p@ \belowdisplayshortskip 3\p@ \@plus3\p@ \@minus3\p@ \belowdisplayskip \abovedisplayskip \let\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em{10bp}{12bp} \abovedisplayskip 12\p@ \@plus2\p@ \@minus1\p@ \abovedisplayshortskip \z@ \@plus3\p@ \belowdisplayshortskip 3\p@ \@plus3\p@ \@minus3\p@ \belowdisplayskip \abovedisplayskip \let\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em\color{black} (\ref{Eq1})}}}{\leq}}\frac{(1+\eta)^{n-k}}{\omega_{n-k}}\sum_{Q\in\mathcal{C}}\int\limits_{A_Q(Q)}\mathcal{H}^{n-k}(C_{f(a)})\,\mathrm d\mathcal{H}^{k}(x)+\frac{L}{p\omega_{n-k}}(1+\eta)^n\lambda^k\Big(\bigcup\mathcal{C}\Big)\\&\mathrel{\stackrel{\makebox[0pt]{\mbox{\normalfont \@setfontsize \@setfontsize \@setfontsize \@setfontsize \@setfontsize \@setfontsize\normalsize{10bp}{12bp} \abovedisplayskip 12\p@ \@plus2\p@ \@minus1\p@ \abovedisplayshortskip \z@ \@plus3\p@ \belowdisplayshortskip 3\p@ \@plus3\p@ \@minus3\p@ \belowdisplayskip \abovedisplayskip \let\@listi\@listI{10bp}{12bp} \abovedisplayskip 12\p@ \@plus2\p@ \@minus1\p@ \abovedisplayshortskip \z@ \@plus3\p@ \belowdisplayshortskip 3\p@ \@plus3\p@ \@minus3\p@ \belowdisplayskip \abovedisplayskip \let\@listI\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep\normal@labelsep \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em{10bp}{12bp} \abovedisplayskip 12\p@ \@plus2\p@ \@minus1\p@ \abovedisplayshortskip \z@ \@plus3\p@ \belowdisplayshortskip 3\p@ \@plus3\p@ \@minus3\p@ \belowdisplayskip \abovedisplayskip \let\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep\normal@labelsep \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em{10bp}{12bp} \abovedisplayskip 12\p@ \@plus2\p@ \@minus1\p@ \abovedisplayshortskip \z@ \@plus3\p@ \belowdisplayshortskip 3\p@ \@plus3\p@ \@minus3\p@ \belowdisplayskip \abovedisplayskip \let\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em{10bp}{12bp} \abovedisplayskip 12\p@ \@plus2\p@ \@minus1\p@ \abovedisplayshortskip \z@ \@plus3\p@ \belowdisplayshortskip 3\p@ \@plus3\p@ \@minus3\p@ \belowdisplayskip \abovedisplayskip \let\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em{10bp}{12bp} \abovedisplayskip 12\p@ \@plus2\p@ \@minus1\p@ \abovedisplayshortskip \z@ \@plus3\p@ \belowdisplayshortskip 3\p@ \@plus3\p@ \@minus3\p@ \belowdisplayskip \abovedisplayskip \let\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em\color{black} (\ref{Eq2})}}}{\leq}}\frac{(1+\eta)^{n-k}}{\omega_{n-k}}\int\limits_{\bigcup \mathcal{C}}J_kf(x)\mathcal{H}^{n-k}(C_{f(x)})\,\mathrm d\lambda^{k}(x)\\&\quad\quad+\frac{\omega_{n-k}\operatorname{\textup{diam}}(C)^{n-k}+M+1+L}{p\omega_{n-k}}(1+\eta)^n\lambda^k\Big(\bigcup\mathcal{C}\Big)\\&\leq\frac{(1+\eta)^{n-k}}{\omega_{n-k}}\int\limits_{K}J_kf(x)\mathcal{H}^{n-k}(C_{f(x)})\,\mathrm d\lambda^{k}(x)\\&\quad\quad+M\operatorname{\textup{diam}}(C)^{n-k}(1+\eta)^{n-k}\lambda^k\bigg(\Big(\bigcup\mathcal{C}\Big)\setminus K\bigg)\\&\quad\quad+\frac{\omega_{n-k}\operatorname{\textup{diam}}(C)^{n-k}+M+1+L}{p\omega_{n-k}}(1+\eta)^n\lambda^k\Big(\bigcup\mathcal{C}\Big)\\&\mathrel{\stackrel{\makebox[0pt]{\mbox{\normalfont \@setfontsize \@setfontsize \@setfontsize \@setfontsize \@setfontsize \@setfontsize\normalsize{10bp}{12bp} \abovedisplayskip 12\p@ \@plus2\p@ \@minus1\p@ \abovedisplayshortskip \z@ \@plus3\p@ \belowdisplayshortskip 3\p@ \@plus3\p@ \@minus3\p@ \belowdisplayskip \abovedisplayskip \let\@listi\@listI{10bp}{12bp} \abovedisplayskip 12\p@ \@plus2\p@ \@minus1\p@ \abovedisplayshortskip \z@ \@plus3\p@ \belowdisplayshortskip 3\p@ \@plus3\p@ \@minus3\p@ \belowdisplayskip \abovedisplayskip \let\@listI\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep\normal@labelsep \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em{10bp}{12bp} \abovedisplayskip 12\p@ \@plus2\p@ \@minus1\p@ \abovedisplayshortskip \z@ \@plus3\p@ \belowdisplayshortskip 3\p@ \@plus3\p@ \@minus3\p@ \belowdisplayskip \abovedisplayskip \let\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep\normal@labelsep \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em{10bp}{12bp} \abovedisplayskip 12\p@ \@plus2\p@ \@minus1\p@ \abovedisplayshortskip \z@ \@plus3\p@ \belowdisplayshortskip 3\p@ \@plus3\p@ \@minus3\p@ \belowdisplayskip \abovedisplayskip \let\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em{10bp}{12bp} \abovedisplayskip 12\p@ \@plus2\p@ \@minus1\p@ \abovedisplayshortskip \z@ \@plus3\p@ \belowdisplayshortskip 3\p@ \@plus3\p@ \@minus3\p@ \belowdisplayskip \abovedisplayskip \let\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em{10bp}{12bp} \abovedisplayskip 12\p@ \@plus2\p@ \@minus1\p@ \abovedisplayshortskip \z@ \@plus3\p@ \belowdisplayshortskip 3\p@ \@plus3\p@ \@minus3\p@ \belowdisplayskip \abovedisplayskip \let\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em\leftmargin\leftmargini \labelwidth\labelwidthi \labelsep0.5em \topsep\baselineskip \partopsep\z@ \parsep\z@ \itemsep\z@ \listparindent 1em\color{black} (\ref{Eq4})}}}{\leq}}\frac{(1+\eta)^{n-k}}{\omega_{n-k}}\int\limits_{K}J_kf(x)\mathcal{H}^{n-k}(C_{f(x)})\,\mathrm d\lambda^{k}(x)\\&\quad\quad+M\operatorname{\textup{diam}}(C)^{n-k}\frac{(1+\eta)^{n-k}}{p}\\&\quad\quad+\frac{\omega_{n-k}\operatorname{\textup{diam}}(C)^{n-k}+M+1+L}{p\omega_{n-k}}(1+\eta)^n\lambda^k\big(K\oplus B_{\mathbb{R}^k}(0, \delta_0)\big), \end{split}

from which it follows that

\begin{split} \mathcal{M}^k_{C}(S)^*&\leq\frac{(1+\eta)^{n-k}}{\omega_{n-k}}\int\limits_{K}J_kf(x)\mathcal{H}^{n-k}(C_{f(x)})\,\mathrm d\lambda^{k}(x)\\&\quad\quad+M\operatorname{\textup{diam}}(C)^{n-k}\frac{(1+\eta)^{n-k}}{p}\\&\quad\quad+\frac{\omega_{n-k}\operatorname{\textup{diam}}(C)^{n-k}+M+1+L}{p\omega_{n-k}}(1+\eta)^{n}\lambda^k\big(K\oplus B_{\mathbb{R}^k}(0, \delta_0)\big). \end{split}

Using area formula and the fact that p\in\mathbb{N} was arbitrary, we obtain

\mathcal{M}^k_{C}(S)^*\leq\frac{1}{\omega_{n-k}}\int\limits_{S}\mathcal{H}^{n-k}(C_{w})\,\mathrm d\mathcal{H}^{k}(w),

which completes the proof.

Proof

HR7U