scientific article; zbMATH DE number 16561
[For the entire collection see Zbl 0696.00015.] Let \(K(t,x)\in C([c,d]\times[a,b])\). The author denotes by \(Z\) the set of all functions \(f\in C[a,b]\) such that \(f(x)+\sum_{s=1}^ k \sum_{p=0}^{m_ k} a_{sp} K_{t^ p}^{(p)}(t_ s,x_ p)\) has at most \(n\) changes of sign in \([a,b]\) for any \(a_{sp}\in\mathbb{R}\) and \(t\in[c,d]\), where \(\sum_{s=1}^ k \sum_{p=0}^{m_ k} K_{t^ p}^{(p)}(t_ s,x)\) is an arbitrary polynomial and \(K_{t^ p}^{(p)}\) is the \(p\)th partial derivative of the function \(K(t,x)\) with respect to \(t\), \(\sum_{s=1}^ k (m_ s+1)\leq n\). Let \(K(t,x)\) be the \(ETP_{2^ k}\) kernel (defined in the sense of \textit{S. Karlin} and \textit{W. J. Studden} [ Chebyshev systems and their applications in analysis and statistics (Moscow, 1976)]) and let \(y_ 1,\dots,y_ k\) and \(x_ 1<\dots<x_ k\), \(x_ i\in(a,b)\), \(i=1,\dots,n\), be arbitrarily fixed points. We introduce the family \[ I=\{F(\overline{t},x)=\sum_{s=1}^ \ell \sum_{p=0}^{m_ s} a_{sp}K_{t^ p}^{(p)}(t_ s,x):\;F(\overline{t},x_ i)=y_ i,\;i=1,\dots,k,\;a_{sp}\in\mathbb{R}, \] \[ F(\overline{t},x)=F(t_ 1,\dots,t_ \ell;x),\;\sum_{s=1}^ \ell (m_ s+1)\leq k\} \] of parametric functions, where the \(F(t,x)\) are called interpolation polynomials, and its finite subsets \[ I\{c,d\}=\{F(c,d;x)=\sum_{p=0}^{m_ 1} a_ pK_{t^ p}^{(p)}(c,x)+\sum_{p=0}^{m_ 2} b_ p K_{t^ p}^{(p)}(d,x):\;a_ p,b_ p\in\mathbb{R},\;m_ 1+m_ 2\leq n\}. \] The polynomial \(F^*\in I\) is called an interpolation polynomial of best approximation to the function \(f\) if \(\| f-F^*\|=\inf\{\| f- F\|:\;F\in I\}\). The author proves that if \(f\in Z\) and \(F^*\in I\) is an interpolation polynomial of best approximation to \(f\), then \(\| f-F^*\|=\min\{\| f-F\|:\;F\in I\{c,d\}\}\).
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3973249)
