TOPICS
Search

Whittaker's Root Series


Whittaker's root series is a series of ratios of determinants for computing a root of an analytic function (Whittaker 1917, pp. 103-106). It applies to polynomials as well as convergent power series.

Let

 f(z)=sum_(k=0)^inftya_kz^k,
(1)

where a_0!=0, and suppose f is an analytic function in the disk |z|<R. Suppose rho is a root with |rho|<R and every other distinct root in this disk has absolute value strictly greater than |rho|. The multiplicity of rho may exceed one.

Set a_k=0 for k<0, and also above the polynomial degree when f is a polynomial. Define D_0=E_0=1 and

D_n=det(a_(j-i+1))_(1<=i,j<=n)
(2)
E_n=det(a_(j-i+2))_(1<=i,j<=n),
(3)

where the matrices defining D_n are upper Hessenberg matrices and Toeplitz matrices. Thus D_1=a_1, D_2=a_1^2-a_0a_2, E_1=a_2, and E_2=a_2^2-a_1a_3.

If D_n!=0 for every positive integer n, then

 rho=-sum_(n=1)^infty(a_0^nE_(n-1))/(D_(n-1)D_n).
(4)

The partial sums satisfy

 S_N=-(a_0D_(N-1))/(D_N).
(5)

The hypothesis on the root of smallest absolute value alone does not ensure that all the denominators in the series are nonzero. Even when some early D_n vanish, the ratio -a_0D_(N-1)/D_N is defined for all sufficiently large N and tends to rho.

For a short proof, write

 (a_0)/(f(z))=sum_(n=0)^inftyP_nz^n,
(6)

where P_0=1. Equating coefficients, or applying Cramer's rule, gives P_n=(-1)^nD_n/a_0^n. The determinant identity

 D_(n-1)^2-D_(n-2)D_n=a_0^(n-1)E_(n-1)
(7)

for n>=2 gives a telescoping series with S_N=P_(N-1)/P_N and S_0=0. The unique nearest pole of a_0/f(z) is rho. Its finite principal part gives coefficients equal to rho^(-n) times a polynomial in n with polynomial degree one less than the multiplicity of rho, while the remaining coefficients are exponentially smaller. It follows that P_(N-1)/P_N->rho.

For example, f(z)=1-3z+z^2 gives

 1/3+1/(24)+1/(168)+1/(1155)+...=(3-sqrt(5))/2.
(8)

See also

Determinant, Hessenberg Matrix, Polynomial Roots, Power Series, Root, Toeplitz Matrix

Explore with Wolfram|Alpha

References

Whittaker, E. T. "A Formula for the Solution of Algebraic or Transcendental Equations." Proc. Edinburgh Math. Soc. 36, 103-106, 1917. https://doi.org/10.1017/S0013091500035288.

Cite this as:

Weisstein, Eric W. "Whittaker's Root Series." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/WhittakersRootSeries.html

Subject classifications