Kergin approximation in Banach spaces (Q999273): Difference between revisions

Let \(X,\;Y\) be complex Banach spaces, \(U\subset X\) open and \(f:U\rightarrow Y.\) Define \(d^{0}f=f\) and \(d^{k+1}f:U\times X^{k+1}\rightarrow Y,\) \( d^{k+1}f(x;\xi _{1},\xi _{2},\dots,\xi _{k+1})=\lim_{t\rightarrow 0}\frac{1}{t} (d^{k}f(x+t\xi _{k+1};\xi _{1},\dots,\xi _{k})-d^{k}f(x;\xi _{1},\dots,\xi _{k}))\) if this limit exists. Let \(p_{0},p_{1},\dots,p_{n}\in X\) and suppose that \( d^{n}f\) exists and is continuous. Then the sum: \(f(p_{0})+\sum_{k=1}^{n} \int_{S_{k}}d^{k}f(s_{0}p_{0}+\dots+s_{k}p_{k};x-p_{0},\dots,x-p_{k-1})ds_{1}\dots ds_{k}\), where \(S_{k}=\left\{ (s_{1},\dots,s_{k})\in \mathbb{R}^{k}:s_{j}\geq 0,\;\sum_{j=1}^{k}s_{j}\leq 1\right\} ,s_{0}=1-s_{1}-\dots-s_{k},\) is called the Kergin polynomial of \(f\) of degree \(n.\) The Kergin series is obtained if one considers an infinite sequence \(\left\{ p_{j}\right\} _{j\geq 0},\) and replacing \(n\) in the sum by \(+\infty \). The author proves the following result of approximation: Theorem 3. Let \(X\) and \(Y\) be complex Banach spaces, \(U\subset X\) open, \(V\subset U\). Suppose that the sequence \( \left\{ p_{j}\right\} \) is contained in a compact convex set \(L\subset U.\) Let \(W\) be the convex hull of \(L\cup V\) and \(W^{\prime }\) the balanced convex hull of \(L+V\). Suppose that for some \(\rho >0,\) \(W+\rho W^{\prime }\subset U\) and the function \(f:U\rightarrow Y\) is holomorphic. Then the Kergin series for \(f\) converges to \(f\) uniformly on compact subsets of \(V.\) Two illustrative examples are considered. In the first one, all the hypotheses of Theorem 3 are fulfilled, but in the second, the interpolation points are not in a compact set and consequently the Kergin series diverges in a point.