ScalingStacks

Proposition 6.7 . [003S]

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 6.7.

Assume ‖ϕ‖C0\left\lVert\phi\right\rVert_{C^{0}} has a uniform bound independent of tt. Then after shrinking UU by a small amount independent of tt, we have

  • •

    The convex function ϕ¯\bar{\phi} has a Lipschitz bound |ϕ¯​(x)−ϕ¯​(x′)|≤C​|x−x′|.|\bar{\phi}(x)-\bar{\phi}(x^{\prime})|\leq C|x-x^{\prime}|.

  • •

    There is an upper bound ϕ−ϕ¯≤C|log⁡|t||1/2\phi-\bar{\phi}\leq\frac{C}{|\log|t||^{1/2}}.

  • •

    On each logarithmic dyadic scale Ua={ai≤log|zi|≤2ai,∀i}⊂UU_{a}=\{a_{i}\leq\log|z_{i}|\leq 2a_{i},\forall i\}\subset U, the L1L^{1}-integral

    ∫Ua|ϕ−ϕ¯|​∏−1​d​log⁡zi∧𝑑log⁡zi¯≤C|log⁡|t||1/2.\int_{U_{a}}|\phi-\bar{\phi}|\prod\sqrt{-1}d\log z_{i}\wedge d\overline{\log z_{i}}\leq\frac{C}{|\log|t||^{1/2}}.
  • •

    There is an improved Skoda inequality with uniform constants α,C\alpha,C independent of tt:

    ∫Ue−α​|log⁡|t||1/2​(ϕ−ϕ¯)​d​μt≤C.\int_{U}e^{-\alpha|\log|t||^{1/2}(\phi-\bar{\phi})}d\mu_{t}\leq C.

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