Padé approximant explained

In mathematics, a Padé approximant is the "best" approximation of a function near a specific point by a rational function of given order. Under this technique, the approximant's power series agrees with the power series of the function it is approximating. The technique was developed around 1890 by Henri Padé, but goes back to Georg Frobenius, who introduced the idea and investigated the features of rational approximations of power series.

The Padé approximant often gives better approximation of the function than truncating its Taylor series, and it may still work where the Taylor series does not converge. For these reasons Padé approximants are used extensively in computer calculations. They have also been used as auxiliary functions in Diophantine approximation and transcendental number theory, though for sharp results ad hoc methods—in some sense inspired by the Padé theory—typically replace them. Since a Padé approximant is a rational function, an artificial singular point may occur as an approximation, but this can be avoided by Borel–Padé analysis.

The reason the Padé approximant tends to be a better approximation than a truncating Taylor series is clear from the viewpoint of the multi-point summation method. Since there are many cases in which the asymptotic expansion at infinity becomes 0 or a constant, it can be interpreted as the "incomplete two-point Padé approximation", in which the ordinary Padé approximation improves the method truncating a Taylor series.

Definition

Given a function and two integers and, the Padé approximant of order is the rational function

$$R(x)\; =\; \backslash frac\; =\; \backslash frac,$$which agrees with to the highest possible order, which amounts to(0) &= R(0), \\ &\mathrel \\ f^(0) &= R^(0).\end

Equivalently, if

R(x) is expanded in a Maclaurin series (Taylor series at 0), its first m + n terms would equal the first m + n terms of f(x) , and thus$$f(x)\; -\; R(x)\; =\; c\_\; x^\; +\; c\_\; x^\; +\; \backslash cdots$$

When it exists, the Padé approximant is unique as a formal power series for the given m and n.^[1]

The Padé approximant defined above is also denoted as$$[m/n]\_f(x).$$

Computation

For given, Padé approximants can be computed by Wynn's epsilon algorithm^[2] and also other sequence transformations^[3] from the partial sums$$T\_N(x)\; =\; c\_0\; +\; c\_1\; x\; +\; c\_2\; x^2\; +\; \backslash cdots\; +\; c\_N\; x^N$$of the Taylor series of, i.e., we have$$c\_k\; =\; \backslash frac.$$ can also be a formal power series, and, hence, Padé approximants can also be applied to the summation of divergent series.

One way to compute a Padé approximant is via the extended Euclidean algorithm for the polynomial greatest common divisor.^[4] The relation$$R(x)\; =\; P(x)/Q(x)\; =\; T\_(x)\; \backslash bmod\; x^$$is equivalent to the existence of some factor

K(x) such that$$P(x)\; =\; Q(x)T\_(x)\; +\; K(x)x^,$$which can be interpreted as the Bézout identity of one step in the computation of the extended greatest common divisor of the polynomials T _{m+n} (x) and x ^{m+n+1} .

Recall that, to compute the greatest common divisor of two polynomials p and q, one computes via long division the remainder sequence$$r\_0=p,\backslash ;r\_1=q,\backslash quad\; r\_=\; q\_k\; r\_k\; +r\_,$$ with

\deg r _{k+1} < \deg r _{k} , until r _{k+1} = 0 . For the Bézout identities of the extended greatest common divisor one computes simultaneously the two polynomial sequences$$u\_0=1,\backslash ;v\_0=0,\backslash quad\; u\_1=0,\backslash ;v\_1=1,\backslash quad\; u\_=u\_-q\_k\; u\_k,\backslash ;v\_=v\_-q\_kv\_k$$to obtain in each step the Bézout identity$$r\_k(x)\; =\; u\_k(x)\; p(x)\; +\; v\_k(x)\; q(x).$$

For the approximant, one thus carries out the extended Euclidean algorithm for$$r\_0=x^,\backslash ;r\_1=T\_(x)$$and stops it at the last instant that

v _{k} has degree or smaller.

Then the polynomials

P = r _{k, Q=v} _{k} give the Padé approximant. If one were to compute all steps of the extended greatest common divisor computation, one would obtain an anti-diagonal of the Padé table.

Riemann–Padé zeta function

To study the resummation of a divergent series, say$$\backslash sum\_^\backslash infty\; f(z),$$it can be useful to introduce the Padé or simply rational zeta function as$$\backslash zeta\_R(s)\; =\; \backslash sum\_^\backslash infty\; \backslash frac,$$where$$R(x)\; =\; [m/n]\_f(x)$$is the Padé approximation of order of the function . The zeta regularization value at is taken to be the sum of the divergent series.

The functional equation for this Padé zeta function is$$\backslash sum\_^n\; a\_j\; \backslash zeta\_R(s-j)\; =\; \backslash sum\_^m\; b\_j\; \backslash zeta\_0(s-j),$$where and are the coefficients in the Padé approximation. The subscript '0' means that the Padé is of order [0/0] and hence, we have the Riemann zeta function.

DLog Padé method

Padé approximants can be used to extract critical points and exponents of functions.^{[5] [6]} In thermodynamics, if a function behaves in a non-analytic way near a point like

f(x) \sim |x - r| ^{p} , one calls a critical point and the associated critical exponent of . If sufficient terms of the series expansion of are known, one can approximately extract the critical points and the critical exponents from respectively the poles and residues of the Padé approximants [n/n +1 ] _{g(x)} , where g = f'/f .

Generalizations

A Padé approximant approximates a function in one variable. An approximant in two variables is called a Chisholm approximant (after J. S. R. Chisholm),^[7] in multiple variables a Canterbury approximant (after Graves-Morris at the University of Kent).^[8]

Two-points Padé approximant

The conventional Padé approximation is determined to reproduce the Maclaurin expansion up to a given order. Therefore, the approximation at the value apart from the expansion point may be poor. This is avoided by the 2-point Padé approximation, which is a type of multipoint summation method.^[9] At

x = 0 , consider a case that a function f(x) which is expressed by asymptotic behavior f _{0(x)} :$$f\; \backslash sim\; f\_0(x)\; +\; o\backslash big(f\_0(x)\backslash big),\; \backslash quad\; x\; \backslash to\; 0,$$ and at x \to inf ty , additional asymptotic behavior f _{infty(x)} :$$f(x)\; \backslash sim\; f\_\backslash infty(x)\; +\; o\backslash big(f\_\backslash infty(x)\backslash big),\; \backslash quad\; x\; \backslash to\; \backslash infty.$$

By selecting the major behavior of

f _{0(x),} f _{infty(x)} , approximate functions F(x) such that simultaneously reproduce asymptotic behavior by developing the Padé approximation can be found in various cases. As a result, at the point x \to inf ty , where the accuracy of the approximation may be the worst in the ordinary Padé approximation, good accuracy of the 2-point Padé approximant is guaranteed. Therefore, the 2-point Padé approximant can be a method that gives a good approximation globally for x = 0 \sim inf ty .

In cases where

f _{0(x),} f _{infty(x)} are expressed by polynomials or series of negative powers, exponential function, logarithmic function or x ln x , we can apply 2-point Padé approximant to f(x) . There is a method of using this to give an approximate solution of a differential equation with high accuracy. Also, for the nontrivial zeros of the Riemann zeta function, the first nontrivial zero can be estimated with some accuracy from the asymptotic behavior on the real axis.

Multi-point Padé approximant

A further extension of the 2-point Padé approximant is the multi-point Padé approximant. This method treats singularity points

x = x _{j(j} = 1 , 2 , 3 , ... , N) of a function f(x) which is to be approximated. Consider the cases when singularities of a function are expressed with index n _{j} by$$f(x)\; \backslash sim\; \backslash frac,\; \backslash quad\; x\; \backslash to\; x\_j.$$

Besides the 2-point Padé approximant, which includes information at

x = 0 , x \to inf ty , this method approximates to reduce the property of diverging at x \sim x _{j} . As a result, since the information of the peculiarity of the function is captured, the approximation of a function f(x) can be performed with higher accuracy.

Examples

: $$\backslash sin(x)\; \backslash approx\; \backslash frac$$

Notes and References

1. Web site: Padé Approximant . Wolfram MathWorld.
2. Theorem 1 in On the Convergence and Stability of the Epsilon Algorithm. Peter . Wynn . SIAM Journal on Numerical Analysis . 3 . Mar 1966 . 91–122. 2949688. 1 . 1966SJNA....3...91W . 10.1137/0703007.
3. Extrapolation algorithms and Padé approximations . C. . Brezenski . Applied Numerical Mathematics . 20 . 1996 . 299–318 . 10.1016/0168-9274(95)00110-7 . 3 . 10.1.1.20.9528.
4. Book: Polynomial and Matrix computations - Volume 1. Fundamental Algorithms. Dario . Bini. Victor . Pan . Birkhäuser. Progress in Theoretical Computer Science . 1994. 978-0-8176-3786-6 . Problem 5.2b and Algorithm 5.2 (p. 46) .
5. Adler . Joan . Series expansions . Computers in Physics . 1994 . 8 . 3 . 287 . 10.1063/1.168493 . 1994ComPh...8..287A . free .
6. Baker . G. A. Jr. . Padé approximant . Scholarpedia . 2012 . 7 . 6 . 9756 . 10.4249/scholarpedia.9756 . 2012SchpJ...7.9756B . free .
7. Chisholm. J. S. R.. 1973. Rational approximants defined from double power series. Mathematics of Computation. 27. 124. 841–848. 10.1090/S0025-5718-1973-0382928-6. 0025-5718. free.
8. Graves-Morris. P.R. . Roberts. D.E. . 1975 . Calculation of Canterbury approximants . Computer Physics Communications . 10. 4 . 234–244 . 10.1016/0010-4655(75)90068-5 . 1975CoPhC..10..234G.
9. Book: Ueoka, Yoshiki . Introduction to multipoints summation method Modern applied mathematics that connects here and the infinite beyond: From Taylor expansion to application of differential equations.