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.     

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.     

Padé approximations to certain power series

Summary An explicit identity involvingQ _n (q ⁱ z) (i = 0, 1,, 4) is shown, whereQ _n (z) is the denominator of thenth Padé approximant to the functionf(z) = _k=0 q ^1/2k(k–1 Z ^k . By using the Padé approximations, irrationality measures for certain values off(z) are also given.

     

Simultaneous partial Padé approximants

In this paper the concept of partial Padé approximation, introduced by Claude Brezinski, is generalised to the case of simultaneous rational approximation with common denominator. The use of information about known poles and/or zeros, can lead to approximants with a better numerical behaviour than in the case of ordinary simultaneous Padé approximation.     

Convergence of simultaneous Padé approximants to two dilogarithms

. .     

Universal Padé approximants with respect to the chordal metric

The use of the chordal distance does not change the notion of Universal Taylor series. However, it changes the notion of Universal Padé approximants. Using Padé approximants of meromorphic or holomorphic functions we can approximate all rational functions on compact sets of arbitrary connectivity.     

The convergence of diagonal Padé approximants and the Padé Conjecture

Questions related to the convergence problem of diagonal Padé approximants are discussed. A central place is taken by the Padé Conjecture (also known as the Baker-Gammel-Wills Conjecture). Partial results concerning this conjecture are reviewed and weaker and more special versions of the conjecture are formulated and their plausibility is investigated. Great emphasis is given to the role of spurious poles of the approximants. A conjecture by Nuttall (1970) about the number and distribution of such poles is stated and its importance for the Padé Conjecture is analyzed.     

Universal Padé approximants of Seleznev type

We use the chordal metric in order to approximate all meromorphic functions on \({\mathbb{C} \backslash \{0\}}\) by Padé approximants of formal power series. This is a generic universality of Seleznev type which implies Menchov type almost everywhere approximation with respect to any σ-finite Borel measure on \({\mathbb{C} \backslash \{0\}}\).     

Explicit construction of multivariate Padé approximants

We explicitly construct both homogeneous and nonhomogeneous multivariate Padé approximants to some functions which satisfy some simple functional equations, by using the residue theorem and the functional equation method which has been used successfully by Borwein (1988) to construct one variable Padé approximants to the q-elementary functions.     

Computing high precision Matrix Padé approximants

We describe a new method of computing matrix Padé approximants of series with integer data in an efficient and fraction-free way, by controlling the growth of the size of intermediate coefficients. This algorithm is applied to compute high precision Padé approximants of matrix-valued generating functions of time series. As an illustration we show that we can successfully recover from noisy equidistant sampling data a joint damped signal of four antenna, even in the presence of background signals.     

Inverse homogenization with diagonal Padé approximants

The paper formulates inverse homogenization problem as a problem of recovery of Markov function using diagonal Padé approximants. Inverse homogenization or de-homogenization problem is a problem of deriving information about the micro-geometry of composite material from its effective properties. The approach is based on reconstruction of the spectral measure in the analytic Stieltjes representation of the effective tensor of two-component composite. This representation relates the n-point correlation functions of the microstructure to the moments of the spectral measure, which contains all information about the microgeometry. The problem of identification of the spectral function from effective measurements in an interval of frequency has a unique solution. The problem is formulated as an optimization problem which results in diagonal Padé approximation and exact formulas for the moments of the measure. The reconstructed spectral function can be used to evaluate geometric parameters of the structure and to compute other effective parameters of the same composite; this gives solution to the problem of coupling of different effective properties of a two-component composite material with random microstructure. (© 2008 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)     

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,....$$      

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.     

Explicit construction of general multivariate Padé approximants to an Appell function

Properties of Padé approximants to the Gauss hypergeometric function ₂F₁(a,b;c;z) have been studied in several papers and some of these properties have been generalized to several variables in [6]. In this paper we derive explicit formulae for the general multivariate Padé approximants to the Appell function F₁(a,1,1;a+1;x,y)=_i,j=0(axⁱy^j/(i+j+a)), where a is a positive integer. In particular, we prove that the denominator of the constructed approximant of partial degree n in x and y is given by , where the integer m, which defines the degree of the numerator, satisfies mn+1 and m+a2n. This formula generalizes the univariate explicit form for the Padé denominator of ₂F₁(a,1;c;z), which holds for c>a>0 and only in half of the Padé table. From the explicit formulae for the general multivariate Padé approximants, we can deduce the normality of a particular multivariate Padé table. AMS subject classification 41A63, 41A21     

Two-point Padé approximants for formal Stieltjes series

We prove that certain two-point Padé approximants occupying the diagonal of the Padé table form monotone sequences of lower and upper bounds uniformly converging to a Stieltjes function. The results can be applied to the theory of inhomogeneous media for the calculation of the bounds on the effective transport coefficients of heterogeneous materials.     

Root determination by use of Padé approximants

In this paper we describe a new technique for generating iteration formulas — of arbitrary order — for determining a zero (assumed simple) of a functionf, assumed analytic in a region containing the zero. The 1/p Padé Approximant (p0) to the functiong(t)f(z) is formed wherez=w+t, using the Taylor series forf at the pointw, an approxination to the zero off. The value oft for which the 1/p Padé Approximant vanishes provides the basis of iteration formulas of orderp+2.Some known iteration formulas, e.g., Newton-Raphson's, Halley's and Kiss's of order of convergence two, three and four, are directly obtained by settingp=0,1 and 2, respectively.     

Generalized moment representations and multipoint Padé approximants

By using the method of generalized moment representations, we develop an approach to the construction and investigation of multipoint Padé approximants.Translated from Ukrainskyi Matematychnyi Zhurnal, Vol. 56, No. 7, pp. 991–995, July, 2004.