ScalingStacks

Proof. [02XG]

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.

We proceed by induction on rr. Let r=1r=1. Applying β0+1\beta_{0}+1 successive integrations by parts, the integral computes as

∑j=0β0[(1−w1)jj!​f(j)​(w1)]01=f⁡(1)−∑j=0β0f(j)​(0)j!,\sum_{j=0}^{\beta_{0}}\left[\frac{(1-w_{1})^{j}}{j!}f^{(j)}(w_{1})\right]_{0}^{1}=f(1)-\sum_{j=0}^{\beta_{0}}\frac{f^{(j)}(0)}{j!},

as stated. Let r≥2r\geq 2. Applying the case r−1r-1 to the function f⁡(z)=z|β|+r−1(|β|+r−1)!f(z)=\frac{z^{|\beta|+r-1}}{(|\beta|+r-1)!},

1β0!​…​βr−1!​∫Δr−1w0β0​w1β1​…​wr−1βr−1​d​w1∧⋯∧d​wr−1=1(|β|+r−1)!\frac{1}{\beta_{0}!\dots\beta_{r-1}!}\int_{\Delta_{r-1}}w_{0}^{\beta_{0}}w_{1}^{\beta_{1}}\dots w_{r-1}^{\beta_{r-1}}\,\text{\rm d}w_{1}\wedge\dots\wedge\,\text{\rm d}w_{r-1}=\frac{1}{(|\beta|+r-1)!}

and, after rescaling,

1β0!​…​βr−1!​∫(1−wr)​Δr−1w0β0​w1β1​…​wr−1βr−1​d​w1∧⋯∧d​wr−1=(1−wr)|β|+r−1(|β|+r−1)!.\frac{1}{\beta_{0}!\dots\beta_{r-1}!}\int_{(1-w_{r})\Delta_{r-1}}w_{0}^{\beta_{0}}w_{1}^{\beta_{1}}\dots w_{r-1}^{\beta_{r-1}}\,\text{\rm d}w_{1}\wedge\dots\wedge\,\text{\rm d}w_{r-1}=\frac{(1-w_{r})^{|\beta|+r-1}}{(|\beta|+r-1)!}.

Therefore, the left-hand side of the equality to be proved reduces to

1(|β|+r−1)!​∫01(1−wr)|β|+r−1​f(|β|+r)​(wr)​d​wr.\frac{1}{(|\beta|+r-1)!}\int_{0}^{1}(1-w_{r})^{|\beta|+r-1}f^{(|\beta|+r)}(w_{r})\,\text{\rm d}w_{r}.

Applying the case r=1r=1 and index |β|+r−1∈ℕ|\beta|+r-1\in\mathbb{N}, we find that this integral equals f⁡(1)−∑j=0|β|+r−1f(j)​(0)/j!f(1)-\sum_{j=0}^{|\beta|+r-1}f^{(j)}(0)/j!, which concludes the proof. ∎

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