- Research
- Open Access
On the boundedness of poles of generalized Padé approximants
- Nattapong Bosuwan^{1, 2}Email author
https://doi.org/10.1186/s13662-019-2081-9
© The Author(s) 2019
- Received: 31 January 2019
- Accepted: 3 April 2019
- Published: 11 April 2019
Abstract
Given a function F holomorphic on a neighborhood of some compact subset of the complex plane, we prove that if the zeros of the denominators of generalized Padé approximants (orthogonal Padé approximants and Padé–Faber approximants) for some row sequence remain uniformly bounded, then either F is a polynomial or F has a singularity in the complex plane. This result extends the known one for classical Padé approximants. Its proof relies, on the one hand, on difference equations where their coefficients relate to the coefficients of denominators of these generalized Padé approximants and, on the other hand, on a curious property of complex numbers.
Keywords
- Padé approximation
- Orthogonal polynomials
- Faber polynomials
- Difference equations
- Inverse results
MSC
- 30E10
- 41A21
- 41A27
1 Introduction
Currently, Padé approximation theory emphasizes inverse-type problems where we want to describe the analytic properties of the approximated function from the knowledge of the asymptotic behavior of the poles of the approximating functions. Moreover, the theory of higher order recurrence relations (difference equations) plays very important roles in solving inverse-type problems (see, e.g., [3, 6–8, 11]). The object of the present paper is to investigate the relation between the boundedness of poles of row sequences of orthogonal Padé approximants and Padé–Faber approximants and the analyticity of the approximated function. The results are of inverse type.
In order to state a known result related to our study, we need to remind the reader of the definition of classical Padé approximants. In what follows, \(\mathbb{N}:=\{1,2,3,\ldots \}\), \(\mathbb{N}_{0}:=\mathbb{N} \cup \{0\}\), and \(\mathbb{P}_{n}\) is the set of all polynomials of degree at most n.
Definition 1.1
Given a formal power series \(F(z)=\sum_{k=0}^{\infty } f_{k} z^{k}\), we denote by \(R_{0}(F)\) the radius of the largest disk centered at 0 to which F can be extended holomorphically. That is, \(R_{0}(F)\) is the radius of convergence of F. In this paper, we are interested in proving analogs of the following theorem (see [11, Theorem 1.1] or [9, Corollary 2.4]) for orthogonal Padé approximants and Padé–Faber approximants.
Theorem A
In other words, if F is not a polynomial and the poles of \(R_{n,m}\) stay far from the origin and bounded for all n sufficiently large, then \(0< R_{0}(F) <\infty \). Up to my knowledge, this result is the first one of this sort. Moreover, the sequence \((R_{n,m})_{n \geq n_{0}}\), where m remains fixed, is called the mth row sequence.
Definition 1.2
Definition 1.3
The next two definitions are the ones of generalized Padé approximants constructed from the sequence of Faber polynomials \((\varPhi _{n})_{n\geq 0}\).
Definition 1.4
Definition 1.5
In order to find \(Q_{n,m}^{\mu }\), \(\tilde{Q}_{n,m}^{\mu }\), \(Q_{n,m}^{E}\), or \(\tilde{Q}_{n,m}^{E}\) in Definitions 1.2–1.5, one has to solve a system of m homogeneous linear equations on \(m + 1\) unknowns. Therefore, for any integers \(n\geq 0\) and \(m\geq 1\), polynomials \(Q_{n,m}^{\mu }\), \(\tilde{Q}_{n,m}^{\mu }\), \(Q_{n,m}^{E}\), and \(\tilde{Q}_{n,m}^{E}\) always exist but they may not be unique. Since \(Q_{n,m}^{\mu }\), \(\tilde{Q} _{n,m}^{\mu }\), \(Q_{n,m}^{E}\), and \(\tilde{Q}_{n,m}^{E}\) are not the zero function, we normalize them to be “monic” polynomials. Unlike the classical Padé approximants, for any integers \(n\geq 0\) and \(m\geq 1\), \(R_{n,m}^{\mu }\), \(\tilde{R}_{n,m}^{\mu }\), \(R_{n,m}^{E}\), and \(\tilde{R}_{n,m}^{E}\) may not be unique. The rational functions \(R^{\mu }_{n,m}\) and \(R^{E}_{n,m}\) are natural extensions of \(R_{n,m}\) and were introduced by Maehly [12] in 1960. Suetin [15, 16] was the first to give necessary and sufficient conditions for the convergence with geometric rate of the denominators of standard orthogonal Padé and standard Padé–Faber approximants on row sequences. The rational functions \(\tilde{R}^{\mu }_{n,m}\) and \(\tilde{R}^{E}_{n,m}\) were recently introduced (in the vector forms) in order to solve some inverse-type problems about detecting the poles of a vector of functions nearest the set E (see [5, 6] for more details). Note that in general, the approximations in Definitions 1.2 and 1.4 are not the same as the ones in Definitions 1.3 and 1.5, respectively.
An outline of this paper is as follows. In Sect. 2, we state analogs of Theorem A which are in our main result. We relegate all lemmas in Sect. 3. The proof of the main result is in Sect. 4.
2 Main result
The main result of this paper is the following.
Theorem 2.1
- (a)The cardinality of \(\mathcal{P}_{n}^{\mu }\) is at least 1 for all n sufficiently large and$$ \inf_{N \geq m} \sup_{n\geq N} \bigl\{ \vert \zeta \vert :\zeta \in \mathcal{P}_{n} ^{\mu }\bigr\} < \infty . $$
- (b)The cardinality of \(\mathcal{P}_{n}^{E}\) is at least 1 for all n sufficiently large and$$ \inf_{N \geq m} \sup_{n\geq N} \bigl\{ \vert \zeta \vert :\zeta \in \mathcal{P}_{n} ^{E}\bigr\} < \infty . $$
- (c)The cardinality of \(\tilde{\mathcal{P}}_{n}^{\mu }\) is at least 1 for all n sufficiently large and$$ \inf_{N \geq m} \sup_{n\geq N} \bigl\{ \vert \zeta \vert :\zeta \in \tilde{\mathcal{P}}_{n}^{\mu } \bigr\} < \infty . $$
- (d)The cardinality of \(\tilde{\mathcal{P}}_{n}^{E}\) is at least 1 for all n sufficiently large and$$ \inf_{N \geq m} \sup_{n\geq N} \bigl\{ \vert \zeta \vert :\zeta \in \tilde{\mathcal{P}}_{n}^{E} \bigr\} < \infty . $$
Note that we are not interested in proving \(\rho _{0}(F)>1\) because this is a direct consequence of \(F\in \mathcal{H}(E)\).
3 Auxiliary lemmas
Lemma 3.1
An estimate of \(\Vert \varPhi _{n} \Vert _{\varGamma _{\rho }}\) is given in the succeeding lemma (see [10, p. 583] or [14, p. 43]).
Lemma 3.2
A curious relation of complex numbers (see [4, Lemma 3] for its proof) which serves as the cornerstone for the proof of our main result is the following.
Lemma 3.3
- (i)
\(\lim_{N \rightarrow \infty } \vert A_{N} \vert ^{1/N}=0\);
- (ii)
there exist \(N_{0}\in \mathbb{N}\) and \(C>0\) such that \(\vert A_{N} \vert \leq C \sum_{k=N+1}^{\infty } \vert A_{k} \vert \), for all \(N \geq N_{0}\),
4 Proof of main result
Proof of Theorem 2.1
5 Conclusion
We prove that if the zeros of the denominators of four generalized Padé approximations based on orthogonal and Faber polynomials stay uniformly bounded, then either the approximated function is a polynomial or it has a singularity in the complex plane. This result extends the well-known one for classical Padé approximants.
Declarations
Acknowledgements
The author wishes to express gratitude toward to the anonymous referees for careful reading, helpful comments, and suggestions leading to improvements of this work. The author would like to thank Assoc. Prof. Chontita Rattanakul and Prof. Dr. Guillermo López Lagomasino for their invaluable guidance.
Availability of data and materials
Not applicable.
Funding
The research of N. Bosuwan was supported by the Strengthen Research Grant for New Lecturer from the Thailand Research Fund and the Office of the Higher Education Commission (MRG6080133) and Faculty of Science, Mahidol University.
Authors’ contributions
The author was the only one to contribute to the writing of this paper. The author conceived of the study, participated in its design and coordination, and read and approved the final manuscript.
Competing interests
The author declares to have no competing interests.
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Authors’ Affiliations
References
- Barrios Rolanía, D., López Lagomasino, G.: Ratio asymptotics for polynomials orthogonal on arcs of the unit circle. Constr. Approx. 15, 1–31 (1999) MathSciNetView ArticleGoogle Scholar
- Bello Hernández, M., López Lagomasino, G.: Ratio and relative asymptotics of polynomials orthogonal on an arc of the unit circle. J. Approx. Theory 92, 216–244 (1998) MathSciNetView ArticleGoogle Scholar
- Bosuwan, N.: Direct and inverse results on row sequences of generalized Padé approximants to polynomial expansions. Acta Math. Hung. 157(1), 191–219 (2019) MathSciNetView ArticleGoogle Scholar
- Bosuwan, N., López Lagomasino, G.: Inverse theorem on row sequences of linear Padé-orthogonal approximants. Comput. Methods Funct. Theory 15, 529–554 (2015) MathSciNetView ArticleGoogle Scholar
- Bosuwan, N., López Lagomasino, G.: Determining system poles using row sequences of orthogonal Hermite–Padé approximants. J. Approx. Theory 231, 15–40 (2018) MathSciNetView ArticleGoogle Scholar
- Bosuwan, N., López Lagomasino, G.: Direct and inverse results on row sequences of simultaneous Padé–Faber approximants. Mediterr. J. Math. 16, 36 (2019) View ArticleGoogle Scholar
- Bosuwan, N., López Lagomasino, G., Saff, E.B.: Determining singularities using row sequences of Padé-orthogonal approximants. Jaen J. Approx. 5(2), 179–208 (2013) MathSciNetMATHGoogle Scholar
- Buslaev, V.I.: An analogue of Fabry’s theorem for generalized Padé approximants. Math. Sb. 200(7), 39–106 (2009) MathSciNetView ArticleGoogle Scholar
- Cacoq, J., de la Calle Ysern, B., López Lagomasino, G.: Direct and inverse results on row sequences of Hermite–Padé approximants. Constr. Approx. 38, 133–160 (2013) MathSciNetView ArticleGoogle Scholar
- Curtiss, J.H.: Faber polynomials and the Faber series. Am. Math. Mon. 78(6), 577–596 (1971) MathSciNetView ArticleGoogle Scholar
- López Lagomasino, G., Zaldivar Gerpe, Y.: Higher order recurrences and row sequences of Hermite–Padé approximation. J. Differ. Equ. Appl. 24(11), 1830–1845 (2018) View ArticleGoogle Scholar
- Maehly, H.J.: Rational approximations for transcendental functions. In: Proceedings of the International Conference on Information Processing, Butterworths, pp. 57–62 (1960) Google Scholar
- Stahl, H., Totik, V.: General Orthogonal Polynomials, vol. 43. Cambridge University Press, Cambridge (1992) View ArticleGoogle Scholar
- Suetin, P.K.: Series of Faber Polynomials. Nauka, Moscow (1984) Gordon & Breach (1998) MATHGoogle Scholar
- Suetin, S.P.: On the convergence of rational approximations to polynomial expansions in domains of meromorphy of a given function. Math. USSR Sb. 34, 367–381 (1978) View ArticleGoogle Scholar
- Suetin, S.P.: Inverse theorems on generalized Padé approximants. Math. USSR Sb. 37, 581–597 (1980) View ArticleGoogle Scholar
- Suetin, S.P.: On an inverse problem for the mth row of the Padé table. Sb. Math. 52, 231–244 (1985) View ArticleGoogle Scholar
- Widom, W.: Extremal polynomials associated with a system of curves in the complex plane. Adv. Math. 3, 127–232 (1969) MathSciNetView ArticleGoogle Scholar