ScalingStacks

Proposition 3.45 . [02LT]

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

Let H:Qℝ→NℝH\colon Q_{\mathbb{R}}\to N_{\mathbb{R}} be a linear map, u0∈Nℝu_{0}\in N_{\mathbb{R}} and A=H+u0A=H+u_{0} the associated affine map. Let ff be a concave function on NℝN_{\mathbb{R}}, then

  1. (1)

    ∂(A∗​f)​(v)⊃H∨​∂f⁡(A​v)\partial(A^{*}f)(v)\supset H^{\vee}\partial f(Av) for all v∈Qℝv\in Q_{\mathbb{R}};

  2. (2)

    if either ri⁡(dom⁡(f))∩im⁡(A)≠∅\operatorname{ri}({\operatorname{dom}}(f))\cap\operatorname{im}(A)\neq\emptyset or ff is piecewise affine and dom⁡(f)∩im⁡(A)≠∅{\operatorname{dom}}(f)\cap\operatorname{im}(A)\neq\emptyset, then for all v∈Qℝv\in Q_{\mathbb{R}} we have

    ∂(A∗​f)​(v)=H∨​∂f⁡(A​v).\partial(A^{*}f)(v)=H^{\vee}\partial f(Av).

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