ScalingStacks

Proof. [01HP]

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

Proof.

The right-hand inequality is clear, so we focus on the left-hand one. Given v∈int⁡(τ)v\in\mathrm{int}(\tau) and e∈ℰ⁡(τ)e\in\mathcal{E}(\tau) we may write v=πe​(v)+t0​(e−πe​(v))v=\pi_{e}(v)+t_{0}\left(e-\pi_{e}(v)\right) for some 0<t0<10<t_{0}<1. Consider the restriction of φ\varphi to the segment [πe​(v),e][\pi_{e}(v),e], i.e. set θ⁡(t):=φ⁡(πe​(v)+t⁡(e−πe​(v))CLOSE\theta(t):=\varphi\left(\pi_{e}(v)+t(e-\pi_{e}(v)\right), t∈[0,1]t\in[0,1]. If we denote by θ′​(t)\theta^{\prime}(t) the right-derivative of θ\theta at tt then the convexity of θ\theta yields

(A.2) θ′​(0)≤(θ⁡(t0)−θ⁡(0))/t0\theta^{\prime}(0)\leq\left(\theta(t_{0})-\theta(0)\right)/t_{0}

and

(A.3) θ′​(0)≤θ′​(t0)≤(θ⁡(1)−θ⁡(t0))/(1−t0).\theta^{\prime}(0)\leq\theta^{\prime}(t_{0})\leq\left(\theta(1)-\theta(t_{0})\right)/(1-t_{0}).

Now, by definition, θ′​(0)=Dπe​(v)​φ​(e)\theta^{\prime}(0)=D_{\pi_{e}(v)}\varphi(e), t0​θ′​(0)=Dπe​(v)​φ​(v)t_{0}\theta^{\prime}(0)=D_{\pi_{e}(v)}\varphi(v) and (1−t0)​θ′​(t0)=Dv​φ​(e)(1-t_{0})\theta^{\prime}(t_{0})=D_{v}\varphi(e), so that (A.2) reads

t0​Dπe​(v)​φ​(e)≤φ⁡(v)−φ⁡(πe​(v)).t_{0}D_{\pi_{e}(v)}\varphi(e)\leq\varphi(v)-\varphi(\pi_{e}(v)).

Since we also have supτφ=sup∂τφ\sup_{\tau}\varphi=\sup_{\partial\tau}\varphi by convexity, this shows that

‖φ‖C0​(τ)≤‖φ‖C0​(∂τ)+supe∈ℰ⁡(τ),v∈int⁡(τ)|Dπe​(v)​φ​(e)|.\|\varphi\|_{C^{0}(\tau)}\leq\|\varphi\|_{C^{0}(\partial\tau)}+\sup_{e\in\mathcal{E}(\tau),v\in\mathrm{int}(\tau)}\left|D_{\pi_{e}(v)}\varphi(e)\right|.

On the other hand, (A.2) combined with (A.3) yields

(1−t0)​Dπe​(v)​φ​(e)≤Dv​φ​(e)≤φ⁡(e)−φ⁡(πe​(v))−t0​Dπe​(v)​φ​(e)(1-t_{0})D_{\pi_{e}(v)}\varphi(e)\leq D_{v}\varphi(e)\leq\varphi(e)-\varphi\left(\pi_{e}(v)\right)-t_{0}D_{\pi_{e}(v)}\varphi(e)

and we conclude by Lemma A.2 below. ∎

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