ScalingStacks

Lemma 4.3 . [00RE]

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

Lemma 4.3.

Let Φ\Phi be any psh function on the open subset of {1<|ζi|<Λ,i=1,…n}⊂(ℂ∗)n\{1<|\zeta_{i}|<\Lambda,i=1,\ldots n\}\subset(\mathbb{C}^{*})^{n}. Then the TnT^{n}-invariant function

Φ¯​(log⁡|ζ1|,…,log⁡|ζn|)=1(2​π)n​∫TnΦ⁡(|ζ1|​ei​θ1,…​|ζn|​ei​θn)​d​θ1​…​d​θn\bar{\Phi}(\log|\zeta_{1}|,\ldots,\log|\zeta_{n}|)=\frac{1}{(2\pi)^{n}}\int_{T^{n}}\Phi(|\zeta_{1}|e^{i\theta_{1}},\ldots|\zeta_{n}|e^{i\theta_{n}})d\theta_{1}\ldots d\theta_{n}

is a convex function in the variables x1=log⁡|ζ1|,…,xn=log⁡|ζn|x_{1}=\log|\zeta_{1}|,\ldots,x_{n}=\log|\zeta_{n}|.

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