Convergence of Bézier triangular nets and a theorem of Pólya (Q2644871)

Let T denote a given triangle and \(P=(u,v,w)\) be its point with barycentric coordinates \((u,v,w)\) satisfying the conditions \(u\geq 0\), \(v\geq 0\), \(w\geq 0\), \(u+v+w=1\). Let \(S_ n(T)\) denote the nth subdivision of T into \(n^ 2\) congruent triangle with vertices at \((i/n,j/n,k/n)\) such that \(i+j+k=n\). Let f be a set of \((n+1)(n+2)/2\) real numbers, i.e. \(f=\{f_{i,j,k}:\) \(i+j+k=n\}\). The polynomial \[ B^ n(f,p)=\sum_{i+j+k=n}f_{i,j,k}\frac{n!}{i!j!k!}u^ iv^ jw^ k \] is defined as the Berstein-Bézier (B-B) polynomial of f over triangle T. Let the point set \((P,B^ n(f,p))\) with \(p\in T\) form a surface patch over T. The piecewise linear function \(\hat f(p)\) is said to be Bézier net. Let us write: \[ Ef_{i,j,k}=\frac{1}{n+1}(if_{i- 1,j,k}+if_{i,j-1,k}+kf_{i,j,k-1}), \] and \(Ef=\{Ef_{i,j,k}:\) \(i+j+k=n\}\), to have \(B^ n(f;p)=B^{n+1}(Ef;p)\), where \(i+j+k=n+1\). This is named as degree raising. The following theorem is proved: Theorem. Uniformly on T \(\lim_{m\to \infty}E^ m\hat f(p)=B^ n(f,p).\) One more result is derived from the above theorem.