Padé approximants for functions with branch points — strong asymptotics of Nuttall–Stahl polynomials

Let f be a germ of an analytic function at infinity that can be analytically continued along any path in the complex plane deprived of a finite set of points, \({f \in \mathcal{A}(\bar{\mathbb{C}} \setminus A)}\), \({\# A< \infty}\). J. Nuttall has put forward the important relation between the maximal domain of f where the function has a single-valued branch and the domain of convergence of the diagonal Padé approximants for f. The Padé approximants, which are rational functions and thus single-valued, approximate a holomorphic branch of f in the domain of their convergence. At the same time most of their poles tend to the boundary of the domain of convergence and the support of their limiting distribution models the system of cuts that makes the function f single-valued. Nuttall has conjectured (and proved for many important special cases) that this system of cuts has minimal logarithmic capacity among all other systems converting the function f to a single-valued branch. Thus the domain of convergence corresponds to the maximal (in the sense of minimal boundary) domain of single-valued holomorphy for the analytic function \({f\in\mathcal{A}(\bar{\mathbb{C}} \setminus A)}\). The complete proof of Nuttall’s conjecture (even in a more general setting where the set A has logarithmic capacity 0) was obtained by H. Stahl. In this work, we derive strong asymptotics for the denominators of the diagonal Padé approximants for this problem in a rather general setting. We assume that A is a finite set of branch points of f which have the algebro-logarithmic character and which are placed in a generic position. The last restriction means that we exclude from our consideration some degenerated “constellations” of the branch points.     

Uniform convergence of rows of the Padé table for functions with smooth Maclaurin series coefficients

Given a formal power seriesf(z)?∑ _j=0 ^∞ a _j z ^j for which the quantitya _j ?1a _j +1/a _j ² has a prescribed asymptotic behavior asj→∞, we obtain the asymptotic behavior of poles of rows of the Padé table, and the associated Toeplitz determinants. In particular, we can show for large classes of entire functions of zero, finite, and infinite order (including the Mittag-Leffler functions) and forn=1,2,3,..., that the poles of [m/n](z) approach ∞ with ratea _m /a _m+1 asm→∞.     

On the non-normal two-point Padé table

The M-table for two power series expansions, one about the origin and the other about infinity, is generalized to the non-normal case. It is shown that equal entries appear in square blocks, quadrants or half planes. In addition, the continued fractions whose convergents are diagonal or horizontal sequences are constructed. The results are based on a transformation that reduces the study of the two-point table to that of the Padé table.     

On Padé approximants of Markov-type meromorphic functions

The paper is devoted to the asymptotic properties of diagonal Padé approximants for Markov-type meromorphic functions. The main result is strong asymptotic formulas for the denominators of diagonal Padé approximants for Markov-type meromorphic functions f = \(\hat \sigma \) + r under additional constraints on the measure σ (r is a rational function). On the basis of these formulas, it is proved that, in a sufficiently small neighborhood of a pole of multiplicity m of such a meromorphic function f, all poles of the diagonal Padé approximants f _n are simple and asymptotically located at the vertices of a regular m-gon.     

On the logarithmic coefficients of Bazilevic? functions

The objective of the present paper is to study the logarithmic coefficients of Bazilevic? functions. We obtain the inequality ∣γ_n∣ ? An⁻¹logn (A is an absolute constant) which holds for Bazilevic? functions.     

On the non-normal Padé table in a non-commutative algebra

In the non-commutative algebra the blocks in the table of orthogonal polynomials and therefore in the Padé table are not square, and generally it is impossible to say anything on the structure of these blocks except for infinite blocks. This last case is extensively studied here for the non-normal Padé table, the non-normal table P of orthogonal polynomials, and the non-normal ϵ-table. Some examples of illustration of different situations are given.     

On the phenomenon of spurious interpolation of elliptic functions by diagonal Padé approximants

We study diagonal Padé approximants for elliptic functions. The presence of spurious poles in the approximants not corresponding to the singularities of the original function prevents uniform convergence of the approximants in the Stahl domain. This phenomenon turns out to be closely related to the existence in the Stahl domain of points of spurious interpolation at which the Padé approximants interpolate the other branch of the elliptic function. We also investigate the behavior of diagonal Padé approximants in a neighborhood of points of spurious interpolation.     

An analog of Pólya’s theorem for multivalued analytic functions with finitely many branch points

An analog of Pólya’s theorem on the estimate of the transfinite diameter for a class of multivalued analytic functions with finitely many branch points and of the corresponding class of admissible compact sets located on the associated (with this function) two-sheeted Stahl–Riemann surface is obtained.     

Padé approximants of special functions

Let $ {f_{\gamma }}(x) = \sum\nolimits_{{k = 0}}^{\infty } {{{{T_k (x)}} \left/ {{{{\left( \gamma \right)}_k}}} \right.}} $ , where (??) _k =??(??+1) ? (??+k?1) and T _k (x)=cos (k arccos x) are Padé?CChebyshev polynomials. For such functions and their Padé?CChebyshev approximations $ \pi_{n,m}^{ch}\left( {x;{f_{\gamma }}} \right) $ , we find the asymptotics of decreasing the difference $ {f_{\gamma }}(x) - \pi_{n,m}^{ch}\left( {x;{f_{\gamma }}} \right) $ in the case where 0 ? m ? m(n), m(n) = o (n), as n???? for all x ?? [?1, 1]. Particularly, we determine that, under the same assumption, the Padé?CChebyshev approximations converge to f _?? uniformly on the segment [?1, 1] with the asymptotically best rate.     

Convergence of Padé approximants of Stieltjes-type meromorphic functions and the relative asymptotics of orthogonal polynomials on the real line

We obtain results on the convergence of Padé approximants of Stieltjes-type meromorphic functions and the relative asymptotics of orthogonal polynomials on unbounded intervals. These theorems extend some results given by Guillermo López in this direction substituting the Carleman condition in his theorems by the determination of the corresponding moment problem.     

On the convergence of generalized Padé approximants

Letf be an analytic function with all its singularities in a compact set \(E_f \subset \bar C\) of (logarithmic) capacity zero. The function may have branch points. The convergence of generalized (multipoint) Padé approximants to this type of function is investigated. For appropriately selected schemes of interpolation points, it is shown that close-to-diagonal sequences of generalized Padé approximants converge in capacity tof in a certain domain that can be characterized by the property of the minimal condenser capacity. Using a pole elimination procedure, another set of rational approximants tof is derived from the considered generalized Padé approximants. These new approximants converge uniformly on a given continuum \(V \subset \bar C\backslash E_f\) with a rate of convergence that has been conjectured to be best possible. The continuumV is assumed not to divide the complex plane.     

Matrix Padé Approximation of rational functions

In many applications it is of major interest to decide whether a given formal power series with matrix-valued coefficients of arbitrary dimensions results from a matrix-valued rational function. As the main result of this paper we provide an answer to this question in terms of Matrix Padé Approximants of the given power series. Furthermore, given a matrix rational function, the smallest degrees of the matrix polynomials which represent it are not necessarily unique. Therefore we study a certain minimality-type, that is, minimum degrees. We aim to obtain all the minimum degrees for the polynomials which represent the function as equivalents. In addition, given that the rational representation of the function for the same pair of degrees need not be unique, we have obtained conditions to study the uniqueness of said representation. All the results obtained are presented graphically in tables setting out the above information. They lead to a number of properties concerning special structures, staired blocks, in the Padé Table.     

On the remainder term of Gauss–Radau quadratures for analytic functions

For analytic functions the remainder term of Gauss–Radau quadrature formulae can be represented as a contour integral with a complex kernel. We study the kernel on elliptic contours with foci at the points ±1$\pm 1$ and a sum of semi-axes ?>1$?>1$ for the Chebyshev weight function of the second kind. Starting from explicit expressions of the corresponding kernels the location of their maximum modulus on ellipses is determined. The corresponding Gautschi's conjecture from [On the remainder term for analytic functions of Gauss–Lobatto and Gauss–Radau quadratures, Rocky Mountain J. Math. 21 (1991), 209–226] is proved.     

Padé Approximations of and preservation of quadratic Lyapunov functions

We investigate whether or not quadratic Lyapunov functions are preserved under Padé approximations. (© 2008 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)     

On ?-optimal points of convex, closed functions

The paper gives an estimate for the Hilbert space distance from a ?-optimal point to the minimum point of a convex, closed function, the subdifferential of which is a strongly monotone operator in its definition domain. Also, the Hausdorff distance between the ?-optimal points of the Tikhonov functions in the non-correct problems of mathematical programming is estimated.     

Convergence of Padé approximants of partial theta functions and the Rogers-Szegö polynomials

We investigate the convergence of sequences of Padé approximants for the partial theta function $$h_q (z): = \sum\limits_{j = 0}^\infty { q^{j(j - 1)/2_{Z^j } } } , q = e^{i\theta } , \theta \in [0,2\pi ).$$ Whenθ/(2π) is irrational, this function has the unit circle as its natural boundary. We determine subrogions of ¦z¦ < 1 in which sequences of Padé approximants converge uniformly, and subrogions in which they converge in capacity, but not uniformly. In particular, we show that only a proper subsequence of the diagonal sequence {[n/n]} _n=1 ^∞ converges locally uniformly in all of ¦z¦< l; in contrast, no subsequence of any Padé row {[m/n]} _m=1 ^∞ (withn ≥ 2 fixed) can converge locally uniformly in all of ¦z¦ < 1. Further, we obtain the zero and pole distributions of sequences of Padé approximants by analyzing the zero distribution of the Rogers-Szegö polynomials $$G_n (z): = \sum\limits_{j = 0}^n {\left[ {\begin{array}{*{20}c} n \\ j \\ \end{array} } \right]} z^j , n = 0,1,2,....$$      

Asymptotics of diagonal Hermite–Padé polynomials for the collection of exponential functions

Mathematical Notes - In the paper, the semigroup of weak limits of the powers of an infinite transformation of rank one of Chacon type is completely described.