ScalingStacks

Proposition 3.38 . [02LI]

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

Proposition 3.38.

Let f1,…,flf_{1},\dots,f_{l} be concave functions.

  1. (1)

    If stab⁡(f1)∩⋯∩stab⁡(fl)≠∅\operatorname{stab}(f_{1})\cap\dots\cap\operatorname{stab}(f_{l})\not=\emptyset, then

    (f1⊞⋯⊞fl)∨=f1∨+⋯+fl∨.(f_{1}\boxplus\dots\boxplus f_{l})^{\vee}=f_{1}^{\vee}+\dots+f_{l}^{\vee}.
  2. (2)

    If dom⁡(f1)∩⋯∩dom⁡(fl)≠∅{\operatorname{dom}}(f_{1})\cap\dots\cap{\operatorname{dom}}(f_{l})\not=\emptyset, then

    (cl⁡(f1)+⋯+cl⁡(fl))∨=cl⁡(f1∨⊞⋯⊞fl∨).({\operatorname{cl}}(f_{1})+\dots+{\operatorname{cl}}(f_{l}))^{\vee}={\operatorname{cl}}(f_{1}^{\vee}\boxplus\dots\boxplus f_{l}^{\vee}).
  3. (3)

    If ri⁡(dom⁡(f1))∩⋯∩ri⁡(dom⁡(fl))≠∅\operatorname{ri}({\operatorname{dom}}(f_{1}))\cap\dots\cap\operatorname{ri}({\operatorname{dom}}(f_{l}))\not=\emptyset, then

    (f1+⋯+fl)∨=f1∨⊞⋯⊞fl∨.(f_{1}+\dots+f_{l})^{\vee}=f_{1}^{\vee}\boxplus\dots\boxplus f_{l}^{\vee}.

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