ScalingStacks

Definition 3.48 . [02LX]

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

Definition 3.48.

The recession function of a concave function f:Nℝ→ℝ¯f\colon N_{\mathbb{R}}\to{\underline{\mathbb{R}}}, denoted rec⁡(f)\operatorname{rec}(f), is the function

rec⁡(f):Nℝ⟶ℝ¯,u⟼infv∈dom⁡(f)(f⁡(u+v)−f⁡(v)).\operatorname{rec}(f)\colon N_{\mathbb{R}}\longrightarrow{\underline{\mathbb{R}}},\quad u\longmapsto\inf_{v\in{\operatorname{dom}}(f)}(f(u+v)-f(v)).

This is a concave conical function. If ff is closed, its recession function can be defined as the limit

(3.49) rec⁡(f)​(u)=limλ→∞λ−1​f​(v0+λ​u)\operatorname{rec}(f)(u)=\lim_{\lambda\to\infty}\lambda^{-1}f(v_{0}+\lambda u)

for any v0∈dom⁡(f)v_{0}\in{\operatorname{dom}}(f) [Roc70, Theorem 8.5].

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