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 must be contained in .
For the only if direction, we apply the Legendre transform:
and consider a version of the double Legendre transform
Clearly is convex, and admissible by the boundedness of , and on because
Our characterisation precisely ensures on . Then provides the canonical extension. ∎