ScalingStacks

Example 3.36 . [02LF]

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

Example 3.36.

Let ∥⋅∥2\|\cdot\|_{2} denote the Euclidean norm on ℝ2\mathbb{R}^{2} and B1B_{1} the unit ball. Consider the concave function f:B1→ℝf\colon B_{1}\to\mathbb{R} defined as f⁡(u)=−‖u‖2f(u)=-\|u\|_{2}. Then stab⁡(f)=ℝ2\operatorname{stab}(f)=\mathbb{R}^{2} and the Legendre-Fenchel dual is the function defined by f∨​(x)=0f^{\vee}(x)=0 if ‖x‖2≤1\|x\|_{2}\leq 1 and f∨​(x)=1−‖x‖2f^{\vee}(x)=1-\|x\|_{2} otherwise. The decompositions Π⁡(f)\Pi(f) and Π⁡(f∨)\Pi(f^{\vee}) consist of a collection of pieces of three different types and the Legendre-Fenchel correspondence ℒ​f:Π⁡(f)→Π⁡(f∨){\mathcal{L}}f\colon\Pi(f)\to\Pi(f^{\vee}) is given, for z∈S1z\in S^{1}, by

ℒ​f​({0})=B1,ℒ​f​([0,1]⋅z)={z},ℒ​f​({z})=ℝ≥1⋅z.{\mathcal{L}}f(\{0\})=B_{1},\quad{\mathcal{L}}f([0,1]\cdot z)=\{z\},\quad{\mathcal{L}}f(\{z\})=\mathbb{R}_{\geq 1}\cdot z.

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