A Müntz type theorem for a family of corner cutting schemes (Q1942999)

Let \(f\) be a smooth real function defined on an interval \(I\). Let \([x_0,x_1,\dots,x_n]f\) denote the divided difference of the function \(f\). Considered the function \(f_t\) defined on \([0,+\infty)\) as \[ \begin{cases} f_t(x)=t^x & \text{for} \; t>0, x\geq 0, \\ f_0(0):=1, \; f_0(x)=0 & \text{for}\; x> 0. \end{cases} \] For a sequence \(\Lambda=(0=r_0,r_1,\dots,r_n)\) of strictly increasing real numbers defined Müntz space \(E_\Lambda=\mathrm{span}(t^{r_0},t^{r_1},\dots,t^{r_n})\) and Gelfond-Bernstein basis of this space with respect to the interval \([0,1]\) \[ H^n_{k,\Lambda}(t)=(-1)^{n-k} r_{k+1}\dots r_n\; [r_n,\dots,r_n]f_t \quad \text{for} \; k=0,1,\dots,n-1,\quad H^n_{n,\Lambda}(t)=t^{r_n}. \] Considered Gelfond-Bézier curves \[ P(t)=\sum_{k=0}^n H^n_{k,\Lambda}(t)\; P_k; \qquad P_k \in \mathbb{R}^s, \; s>1, \; t\in[0,1], \] where \((P_0,P_1,\dots,P_n)\) a given polygon. The new polygon \((P^j_0,P_1^j,\dots,P_n^j)\) is constructed iteratively using the rule \[ P_0^j=P_0^{j-1}, \; P_{n+j}^j=P_{n+j-1}^{j-1}, \] \[ P_i^j=\frac{r_i}{r_{n+j}}P_{i-1}^{j-1}+\left(1-\frac{r_i}{r_{n+j}}\right)P_i^{j-1} \quad \text{for} \; i=1,\dots,n+j-1. \] A Müntz type condition for the convergence of the generated control polygons to the underlying curve given in the paper.