ScalingStacks

Proof. [03ZW]

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

Proof.

The Δa\Delta_{a}-harmonic function α2,α3\alpha_{2},\alpha_{3} are both of order O⁡(A1/4|μ→|a)O(\frac{A^{1/4}}{|\vec{\mu}|_{a}}). The function

α1−12​μ12+a22​|η|2=−12​π​μ12+a22​|η|2​arctan⁡(A​μ12+a22​|η|2a22​μ2+a12​μ1)\alpha_{1}-\frac{1}{2\sqrt{\mu_{1}^{2}+a_{22}|\eta|^{2}}}=-\frac{1}{2\pi\sqrt{\mu_{1}^{2}+a_{22}|\eta|^{2}}}\arctan(\frac{\sqrt{A}\sqrt{\mu_{1}^{2}+a_{22}|\eta|^{2}}}{a_{22}\mu_{2}+a_{12}\mu_{1}})

is also Δa\Delta_{a}-harmonic, and by the Taylor expansion of arctan\arctan is seen to be O⁡(A1/4|μ→|a)O(\frac{A^{1/4}}{|\vec{\mu}|_{a}}) as well. These functions are smooth on the base in the region (2.14) with regularity scale O⁡(|μ→|a)O(|\vec{\mu}|_{a}). The Δa\Delta_{a}-harmonicity takes care of all higher order estimates. ∎

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