ScalingStacks

Example 3.37 . [02LG]

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

Let f:[0,1]→ℝf\colon[0,1]\to\mathbb{R} the function defined by

f⁡(u)={−u​log⁡(u), if ​0≤u≤e−1,e−1, if ​e−1≤u≤1−e−1,−(1−u)​log⁡(1−u), if ​1−e−1≤u≤1.f(u)=\begin{cases}-u\log(u),&\text{ if }0\leq u\leq\operatorname{e}^{-1},\\ \operatorname{e}^{-1},&\text{ if }\operatorname{e}^{-1}\leq u\leq 1-\operatorname{e}^{-1},\\ -(1-u)\log(1-u),&\text{ if }1-\operatorname{e}^{-1}\leq u\leq 1.\end{cases}

Then stab⁡(f)=ℝ\operatorname{stab}(f)=\mathbb{R} and the Legendre-Fenchel dual is the function f∨​(x)=x−ex−1f^{\vee}(x)=x-\operatorname{e}^{x-1} for x≤0x\leq 0 and f∨​(x)=−e−x−1f^{\vee}(x)=-\operatorname{e}^{-x-1} for x≥0x\geq 0. Then dom⁡(∂f)=(0,1){\operatorname{dom}}(\partial f)=(0,1) and dom⁡(∂f∨)=ℝ{\operatorname{dom}}(\partial f^{\vee})=\mathbb{R}. Moreover,

Π⁡(f)=(0,e−1)∪{[e−1,1−e−1]}∪(1−e−1,1),Π⁡(f∨)=ℝ.\Pi(f)=(0,\operatorname{e}^{-1})\cup\{[\operatorname{e}^{-1},1-\operatorname{e}^{-1}]\}\cup(1-\operatorname{e}^{-1},1),\quad\Pi(f^{\vee})=\mathbb{R}.

The Legendre-Fenchel correspondence sends bijectively (0,e−1)(0,\operatorname{e}^{-1}) to ℝ>0\mathbb{R}_{>0} and (1−e−1,1)(1-\operatorname{e}^{-1},1) to ℝ<0\mathbb{R}_{<0}, and sends the element [e−1,1−e−1][\operatorname{e}^{-1},1-\operatorname{e}^{-1}] to the point {0}\{0\}. In this example, Π⁡(f)\Pi(f) is not a subdivision while Π⁡(f∨)\Pi(f^{\vee}) is.

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