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.
Source coverage notes Source fidelity gap: the original arXiv HTML omits an author TeX footnote attached to equation e:def-omega, including its reference to Remark r:error-function. The retained HTML is preserved as published; the original author TeX remains available. TeX correspondence is not complete. 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 𝐱 ∈ M T \bm{x}\in M_{T} ,
the C k , α C^{k,\alpha} -regularity scale r k , α ( 𝐱 ) r_{k,\alpha}(\bm{x}) at 𝐱 \bm{x} has an explicit bound
(4.268)
v ¯ 0 ≤ r k , α ( 𝒙 ) 𝔰 ( 𝒙 ) ≤ 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)
𝔰 ( 𝒙 ) = ( L T ( 𝒙 ) T ) 1 2 ⋅ 𝔯 ( 𝒙 ) ⋅ T 1 n , 𝒙 ∈ ℳ 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 L T ( 𝐱 ) L_{T}(\bm{x}) is defined in (4.12 ). Moreover, k = 2 k=2 in Region 𝐈 𝟏 \bf{I}_{1} . In all other cases, k k is any positive integer.