ScalingStacks

Verified tagged author-source HTML · 1912.02360v1 · cited publication edition alignment unverified.

00SM

Proof. If uu is smooth, then

M​A​(u)​(K)=∫Kdet(D2​u)​d​x1​…​d​xn=snπn​n!​∫(s−1​Log)−1​(K)(−1​∂∂¯​(u∘s−1​Log))n.MA(u)(K)=\int_{K}\det(D^{2}u)dx_{1}\ldots dx_{n}=\frac{s^{n}}{\pi^{n}n!}\int_{(s^{-1}\text{Log})^{-1}(K)}(\sqrt{-1}\partial\bar{\partial}(u\circ s^{-1}\text{Log}))^{n}.

Since u∈C0u\in C^{0}, and both the real and complex MA operators are weakly continuous with respect to C0C^{0}-limits, this equality passes to general uu. ∎

Original mathematics by the credited authors. Source collection and HTML conversion remain in progress.