ScalingStacks

Lemma 2 [03QQ]

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 2

Let UβŠ‚π‘nU\subset{{\bf R}}^{n} be a convex open domain in 𝐑n{{\bf R}}^{n} equipped with the standard affine coordinates (x1,…,xn)(x_{1},...,x_{n}), and K:U→𝐑K:U\to{{\bf R}} be a convex function satisfying the Monge-AmpΓ¨re equation. Then the Legendre transform K^​(y1,…,yn)=m​a​xx∈U​(βˆ‘ixi​yiβˆ’K⁑(x1,…,xn))\widehat{K}(y_{1},...,y_{n})=max_{x\in U}(\sum_{i}x_{i}y_{i}-K(x_{1},...,x_{n})) also satisfies the Monge-AmpΓ¨re equation.

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