Padé approximant

Henri Padé.

In mathematics a Padé approximant is the "best" approximation of a function 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.

Definition

Given a function f and two integers m ≥ 0 and n ≥ 1, the Padé approximant of order [m/n] is the rational function

$R(x)={\frac {\sum _{j=0}^{m}a_{j}x^{j}}{1+\sum _{k=1}^{n}b_{k}x^{k}}}={\frac {a_{0}+a_{1}x+a_{2}x^{2}+\cdots +a_{m}x^{m}}{1+b_{1}x+b_{2}x^{2}+\cdots +b_{n}x^{n}}}$

which agrees with f(x) to the highest possible order, which amounts to

${\begin{array}{rcl}f(0)&=&R(0)\\f'(0)&=&R'(0)\\f''(0)&=&R''(0)\\&\vdots &\\f^{(m+n)}(0)&=&R^{(m+n)}(0)\end{array}}$.

Equivalently, if R(x) is expanded in a Maclaurin series (Taylor series at 0), its first m + n terms would cancel the first m + n terms of f(x), and as such:

$f(x)-R(x)=c_{m+n+1}x^{m+n+1}+c_{m+n+2}x^{m+n+2}+\cdots$

The Padé approximant is unique for given m and n, that is, the coefficients $a_{0},a_{1},\dots ,a_{m},b_{1},\dots ,b_{n}$ can be uniquely determined. It is for reasons of uniqueness that the zero-th order term at the denominator of R(x) was chosen to be 1, otherwise the numerator and denominator of R(x) would have been unique only up to multiplication by a constant.

The Padé approximant defined above is also denoted as

$[m/n]_{f}(x).\,$

Computation

For given x, Padé approximants can be computed by Wynn's epsilon algorithm and also other sequence transformations from the partial sums

$T_{N}(x)=c_{0}+c_{1}x+c_{2}x^{2}+\cdots +c_{N}x^{N}$

of the Taylor series of f, i.e., we have

$c_{k}={\frac {f^{(k)}(0)}{k!}}.$

f 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 gcd. The relation

$R(x)=P(x)/Q(x)=T_{m+n}(x){\text{ mod }}x^{m+n+1}$

is equivalent to the existence of some factor K(x) such that

$P(x)=Q(x)T_{m+n}(x)+K(x)x^{m+n+1}$,

which can be interpreted as the Bézout identity of one step in the computation of the extended gcd of the polynomials $T_{m+n}(x)$ and $x^{m+n+1}$.

To recapitulate: to compute the gcd of two polynomials p and q, one computes via long division the remainder sequence

$r_{0}=p,\;r_{1}=q,\quad r_{k-1}=q_{k}r_{k}+r_{k+1}$,

k =1, 2, 3, ... with $\deg r_{k+1}<\deg r_{k}\,$, until $r_{k+1}=0$. For the Bézout identities of the extended gcd one computes simultaneously the two polynomial sequences

$u_{0}=1,\;v_{0}=0,\quad u_{1}=0,\;v_{1}=1,\quad u_{k+1}=u_{k-1}-q_{k}u_{k},\;v_{k+1}=v_{k-1}-q_{k}v_{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 [m/n] approximant, one thus carries out the extended euclidean algorithm for

$r_{0}=x^{m+n+1},\;r_{1}=T_{m+n}(x)$

and stops it at the last instant that $v_{k}$ has degree n or smaller.

Then the polynomials $P=r_{k},\;Q=v_{k}$ give the [m/n] Padé approximant. If one were to compute all steps of the extended gcd computation, one would obtain an anti-diagonal of the Pade table.

Riemann–Padé zeta function

To study the resummation of a divergent series, say

$\sum _{z=1}^{\infty }f(z),$

it can be useful to introduce the Padé or simply rational zeta function as

$\zeta _{R}(s)=\sum _{z=1}^{\infty }{\frac {R(z)}{z^{s}}},$

where

$R(x)=[m/n]_{f}(x)\,$

is the Padé approximation of order (m, n) of the function f(x). The zeta regularization value at s = 0 is taken to be the sum of the divergent series.

The functional equation for this Padé zeta function is

$\sum _{j=0}^{n}a_{j}\zeta _{R}(s-j)=\sum _{j=0}^{m}b_{j}\zeta _{0}(s-j),$

where a_j and b_j 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. In thermodynamics, if a function f(x) behaves in a non-analytic way near a point x = r like $f(x)\sim \left|x-r\right|^{p}$, one calls x = r a critical point and p the associated critical exponent of f. If sufficient terms of the series expansion of f are known, one can approximately extract the critical points and the critical exponents from respectively the poles and residues of the Padé approximants $\left[n/n+1\right]_{g}\left(x\right)$ where $g={\frac {f'}{f}}$.

Generalizations

A Padé approximant approximates a function in one variable. An approximant in two variables is called a Chisholm approximant, in multiple variables a Canterbury approximant (after Graves-Morris at the University of Kent).

Examples

sin(x)

$\sin(x)\approx {\frac {(12671/4363920)x^{5}-(2363/18183)x^{3}+x}{1+(445/12122)x^{2}+(601/872784)x^{4}+(121/16662240)x^{6}}}$

exp(x)

$\exp(x)\approx {\frac {1+(1/2)x+(1/9)x^{2}+(1/72)x^{3}+(1/1008)x^{4}+(1/30240)x^{5}}{1-(1/2)x+(1/9)x^{2}-(1/72)x^{3}+(1/1008)x^{4}-(1/30240)x^{5}}}$

JacobiSN(z, 3);

$\mathrm {sn} (z|3)\approx {\frac {-(9853969/39583665)z^{5}-(1493060/2638911)z^{3}+z}{1+(968375/879637)z^{2}-(1167506/7916733)z^{4}+(867043/2159109)z^{6}}}$

BesselJ(5, x)

$J_{5}(x)\approx {\frac {-(107/28416000)x^{7}+(1/3840)x^{5}}{1+(151/5550)x^{2}+(1453/3729600)x^{4}+(1339/358041600)x^{6}+(2767/120301977600)x^{8}}}$

erf(x)

$\mathrm {erf} (x)\approx {\frac {(2/15)\cdot (49140x+3570x^{3}+739x^{5})}{(165{\sqrt {(}}\pi )\,x^{4}+1330{\sqrt {(}}\pi )\,x^{2}+3276{\sqrt {(}}\pi ))}}{}$

FresnelC(x)

$C(x)\approx {\frac {(1/135)\cdot (990791x^{9}\pi ^{4}-147189744x^{5}\pi ^{2}+8714684160x)}{(1749\pi ^{4}x^{8}+523536\pi ^{2}x^{4}+64553216)}}$

See also

• Padé table

Literature

• Baker, G. A., Jr.; and Graves-Morris, P. Padé Approximants. Cambridge U.P., 1996
• Baker, G. A., Jr. Padé approximant, Scholarpedia, 7(6):9756.
• Brezinski, C.; and Redivo Zaglia, M. Extrapolation Methods. Theory and Practice. North-Holland, 1991
• Press, WH; Teukolsky, SA; Vetterling, WT; Flannery, BP (2007), "Section 5.12 Padé Approximants", Numerical Recipes: The Art of Scientific Computing (3rd ed.), New York: Cambridge University Press, ISBN 978-0-521-88068-8
• Frobenius, G.; Ueber Relationen zwischem den Näherungsbrüchen von Potenzreihen, [Journal für die reine und angewandte Mathematik (Crelle's Journal)]. Volume 1881, Issue 90, Pages 1–17
• Gragg, W.B.; The Pade Table and Its Relation to Certain Algorithms of Numerical Analysis [SIAM Review], Vol. 14, No. 1, 1972, pp. 1–62.
• Padé, H.; Sur la répresentation approchée d'une fonction par des fractions rationelles, Thesis, [Ann. \'Ecole Nor. (3), 9, 1892, pp. 1–93 supplement.
• Wynn, P. (1966), "Upon systems of recursions which obtain among the quotients of the Padé table", Numerische Mathematik, 8 (3): 264–269, doi:10.1007/BF02162562

External links

• Weisstein, Eric W. "Padé Approximant". MathWorld.
• Module for Padé Approximation, John H. Mathews California State University, Fullerton
• Padé Approximants, Oleksandr Pavlyk, The Wolfram Demonstrations Project
• Data Analysis BriefBook: Pade Approximation, Rudolf K. Bock European Laboratory for Particle Physics, CERN
• Sinewave, Scott Dattalo, last accessed 2010-11-11.
• MATLAB function for Pade approximation of models with time delays.