Algebraic properties of robust Padé approximants (Q2514844): Difference between revisions

The \([m/n//]\) Padé approximant of a function \(f(z)=\sum_{j=0}^{\infty}\,c_j z^j\) is the rational function \(p(z)/q(z)\) with \(\operatorname{deg}p\leq m\), \(\operatorname{deg}q\leq n\) and \[ f(z)q(z)-p(z)={\mathcal O}(z^{m+n+1}),\quad z\rightarrow 0. \] Although the polynomials found might be non-unique, the rational function is. Using the recently introduced concept of \textit{robust} Padé approximant [\textit{P. Gonnet} et al., SIAM Rev. 55, No. 1, 101--117 (2013; Zbl 1266.41009)], the authors provide a proof for forward stability for the procedures (a.o. eliminating spurious poles) and even show absence of these spurious poles for well-conditioned approximants. The work by \textit{H. Stahl} [J. Comput. Appl. Math. 86, No. 1, 287--296 (1997; Zbl 0888.41008)] and [J. Approx. Theory 91, No. 2, 139--204, Art. No. AT973141 (1997; Zbl 0896.41009)] plays an important role in the paper. \vskip0.1cm The paper also contains several numerical examples.