ScalingStacks

Proposition 3.43 . [02LR]

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

For each i=1,…,li=1,\dots,l, let fif_{i} be a concave function and λi>0\lambda_{i}>0 a real number. Then

  1. (1)

    ∂(∑iλi​fi)⊃∑iλi​∂(fi)\partial\left(\sum_{i}\lambda_{i}f_{i}\right)\supset\sum_{i}\lambda_{i}\partial(f_{i});

  2. (2)

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

    (3.44) ∂(∑iλi​fi)=∑iλi​∂(fi).\partial\bigg(\sum_{i}\lambda_{i}f_{i}\bigg)=\sum_{i}\lambda_{i}\partial(f_{i}).

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