ScalingStacks

Lemma 4.1 . [05CX]

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

If K⁡(s,t)K(s,t) is a local solution to the split Monge-Ampère equation (17), then Ψ⁡(y)\Psi(y) is a (local) solution of the classical (real) Monge-Ampère equation

(19) det∂2Ψ∂yi​∂yp=1,1≤i,j≤n,\det\frac{\partial^{2}\Psi}{\partial y_{i}\partial y_{p}}=1,\quad 1\leq i,j\leq n,

where

(20) yi=∂K∂si, 1≤i≤k,yp=tp,k+1≤p≤n,y_{i}=\frac{\partial K}{\partial s_{i}},\ 1\leq i\leq k,\qquad y_{p}=t_{p},\ k+1\leq p\leq n,

and Ψ⁡(y)\Psi(y) is the partial Legendre transform of K⁡(s,t)K(s,t), defined by

(21) ∂Ψ∂yi=si, 1≤i≤k,∂Ψ∂yp=−∂K∂tp,k+1≤p≤n.\frac{\partial\Psi}{\partial y_{i}}=s_{i},\ 1\leq i\leq k,\qquad\frac{\partial\Psi}{\partial y_{p}}=-\frac{\partial K}{\partial t_{p}},\ k+1\leq p\leq n.

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