Moment methods in two point Padé approximation (Q799882)

Provided that the complex sequence \((c_ n)^{\infty}_{n\in {\mathbb{Z}}}\) with \(c_ 0=1\) satisfies certain normality conditions we consider ((n- 1)/n;m) two point Padé approximants \(R_ n^{(m)}\) to the function f given by \(f(z)=\sum^{\infty}_{n=0}c_ nz^ n\) at 0 and \(F(z)=- \sum^{\infty}_{n=1}c_{-n}z^{-n}\) at \(\infty\). If T is a bounded linear operator in the separable Hilbert space H and \((u_ n)^{\infty}_{n=0}\) and \((v_ n)^{\infty}_{n\in {\mathbb{Z}}}\) are sequences in H with \(u_ 0=v_ 0\) and \(\| u_ 0\| =1\) such that \(T^ nu_ 0=u_ n\), \(T^*v_ k=v_{k+1}\) and \(<u_ n,v_ k>=c_{n+k}\), \(n=0,1,2,...\); \(k\in {\mathbb{Z}}\), then \(R_ n^{(m)}\) is obtained in the following way. Let \(E_ n:H\to H\) be the linear projection onto span \(\{\) u\({}_ 0,u_ 1,...,u_{n-1}\}\) with kernel \(\{v_{m-n},v_{m-n+1},...,v_{m-1}\}^{\perp}\) and let \(T_ n=E_ nTE_ n\). Then \(<(I-zT_ n)^{-1}u_ 0,u_ 0>=R_ n^{(m)}(z)\). An operator T as above exists if and only if \(\lim \sup_{n\to\infty }| c_ n|^{1/n}<\infty.\) If \(p\in {\mathbb{C}}\), \(p\neq 0\), then there exists a compact linear operator A in H such that \(<[p^{-1}(I+A)]^ nu_ 0,u_ 0>=c_ n\), \(n\in {\mathbb{Z}}\), if and only if f is meromorphic on \({\mathbb{C}}^*\backslash\{p\}\). In this case \(R_ n^{(m)}\to f(z)\) faster than any geometric progression as \(n\to\infty \) and z is regular, if \((u_ n-E_ nu_ n)^{\infty}_{n=0}\) with \(E_ 0=0\) is a Schauder basis for H.