ScalingStacks

Lemma 5.60 . [02V2]

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

The function ψ∥⋅∥\psi_{\|\cdot\|} is given by

ψ∥⋅∥(u)={m0​u−m0​a−α0e, if ​u≥a,(αi+1−αi)​u−(αi+1−αi)​(a−i)−αie, if ​a−i≥u≥a−i−1,m∞​u−m∞​(a−k)−αke, if ​a−k≥u.\psi_{\|\cdot\|}(u)=\begin{cases}m_{0}u-m_{0}a-\frac{\alpha_{0}}{e},&\text{ if }u\geq a,\\ \frac{(\alpha_{i+1}-\alpha_{i})u-(\alpha_{i+1}-\alpha_{i})(a-i)-\alpha_{i}}{e},&\text{ if }a-i\geq u\geq a-i-1,\\ m_{\infty}u-m_{\infty}(a-k)-\frac{\alpha_{k}}{e},&\text{ if }a-k\geq u.\end{cases}

In other words, if Π\Pi is the polyhedral complex in NℝN_{\mathbb{R}} given by the intervals

(−∞,a−k],[a−i,a−i+1],i=1,…,k,[a,∞),(-\infty,a-k],\quad[a-i,a-i+1],\ i=1,\dots,k,\quad[a,\infty),

then ψ∥⋅∥\psi_{\|\cdot\|} is the rational piecewise affine function on Π\Pi characterized by the conditions

  1. (1)

    rec(ψ∥⋅∥)=Ψ\operatorname{rec}(\psi_{\|\cdot\|})=\Psi,

  2. (2)

    the value of ψ∥⋅∥\psi_{\|\cdot\|} at the point a−ia-i is −αi/e-\alpha_{i}/e.

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