On the definition and normality of a general table of simultaneous Padé approximants (Q1329020): Difference between revisions

We define a denominator \(Q(z)\) and numerators \(P_ 1(z), P_ 2(z), \dots, P_ p(z)\) of simultaneous approximants associated index \((m,n)\) by the following relations: \(m= m_ 1+ m_ 2+\cdots+ m_ p\) \((i=1,2,\dots,p)\), (1) \(\deg Q\leq m\), \(\deg P_ i\leq n_ i\), (2) \(Q(z) f_ i(z)- P_ i(z)= c_ i(z- z_ 0)^{m_ i+ n_ i+1}+ \cdots\). Definition 1. For all indices \((m,n)\) we call simultaneous Padé denominator a non-trivial polynomial \(Q(z)\) of smallest degree verifying (1)--(2). The corresponding vector of rational functions \(\pi(m,n)\) is called vector of simultaneous Padé approximants associated with index \((m,n)\). Definition 2. An index \((m,n)\) is called a normal index if for all polynomials verifying (1)--(2) we have \(\deg Q+m\), \(\deg P_ i= n_ i\) and \(Q(z)\neq 0\) (where the degree of the zero polynomial is defined to be \(-1\)). If an index \((m,n)\) is normal then obviously the vector \(\pi(m,n)\) is unique for all solutions of (1)--(2). In this note the authors deal with the structure of the simultaneous Padé table and prove the following result: ``Each approximant in the simultaneous Padé table coincides with an approximant corresponding to a normal index.'' Consequence of this result, each Hermite-Padé approximants of type II with minimal degree of denominator has a determinant representation. Using a more general definition of minimal degree a similar result was obtained by \textit{B. Beckermann} [Zur Interpolation mit polynomialen Linearkombinationen beliebiger Funktionen (Thesis 1990; Zbl 0707.41005)] for type I approximants. In this paper the authors define a general table of simultaneous Padé approximants correctly and study its normality property.