ScalingStacks

Proof. [00QU]

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 if direction is because the asymptotic growth condition (18) implies the gradient of uu must be contained in Δ\Delta.

For the only if direction, we apply the Legendre transform:

u∗​(p)=supx∈∂Δλ∨{⟨x,p⟩−u⁡(x)},p∈Δ,u^{*}(p)=\sup_{x\in\partial\Delta_{\lambda}^{\vee}}\{\langle x,p\rangle-u(x)\},\quad p\in\Delta,

and consider a version of the double Legendre transform

u∗⁣∗​(x)=supp∈Δ{⟨x,p⟩−u∗​(p)}.u^{**}(x)=\sup_{p\in\Delta}\{\langle x,p\rangle-u^{*}(p)\}.

Clearly u∗⁣∗u^{**} is convex, and admissible by the boundedness of u∗u^{*}, and u∗⁣∗​(x)≤u⁡(x)u^{**}(x)\leq u(x) on ∂Δλ∨\partial\Delta_{\lambda}^{\vee} because

⟨x,p⟩−u∗​(p)≤u⁡(x),∀p∈Δ.\langle x,p\rangle-u^{*}(p)\leq u(x),\quad\forall p\in\Delta.

Our characterisation precisely ensures u∗⁣∗​(x)≥u⁡(x)u^{**}(x)\geq u(x) on ∂Δλ∨\partial\Delta_{\lambda}^{\vee}. Then u∗⁣∗u^{**} provides the canonical extension. ∎

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