ScalingStacks

Proposition 4.18 (Regularity scale on ℳ T ) . [052Q]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Proposition 4.18 (Regularity scale on ℳT\mathcal{M}_{T}).

There are uniform constants v¯0>0\bar{v}_{0}>0 and v¯0>0\underline{v}_{0}>0 such that for each 𝐱∈MT\bm{x}\in M_{T}, the Ck,αC^{k,\alpha}-regularity scale rk,α​(𝐱)r_{k,\alpha}(\bm{x}) at 𝐱\bm{x} has an explicit bound

(4.268) v¯0≤rk,α​(𝒙)𝔰⁡(𝒙)≤v¯0.\underline{v}_{0}\leq\frac{r_{k,\alpha}(\bm{x})}{\mathfrak{s}(\bm{x})}\leq\bar{v}_{0}.

The scale function 𝔰⁡(𝐱)\mathfrak{s}(\bm{x}) is expressed as follows,

(4.269) 𝔰⁡(𝒙)=(LT​(𝒙)T)12⋅𝔯⁡(𝒙)⋅T1n,𝒙∈ℳT,\displaystyle\mathfrak{s}(\bm{x})=(\frac{L_{T}(\bm{x})}{T})^{\frac{1}{2}}\cdot\mathfrak{r}(\bm{x})\cdot T^{\frac{1}{n}},\quad\bm{x}\in\mathcal{M}_{T},

where LT​(𝐱)L_{T}(\bm{x}) is defined in (4.12). Moreover, k=2k=2 in Region 𝐈𝟏\bf{I}_{1}. In all other cases, kk is any positive integer.

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.