Factorization of analytic functions by means of Koenig's theorem and Toeplitz computations

Summary. By providing a matrix version of Koenig's theorem we reduce the problem of evaluating the coefficients of a monic factor r(z) of degree h of a power series f(z) to that of approximating the first h entries in the first column of the inverse of an $n\times n$ Toeplitz matrix in block Hessenberg form for sufficiently large values of n. This matrix is reduced to a band matrix if f(z) is a polynomial. We prove that the factorization problem can be also reduced to solving a matrix equation $\phi(X)=0$ for an $h\times h$ matrix X, where $\phi$ is a matrix power series whose coefficients are Toeplitz matrices. The function $\phi$ is reduced to a matrix polynomial of degree 2 if f(z) is a polynomial of degreeN and $h\geq N/2$. These reductions allow us to devise a suitable algorithm, based on cyclic reduction and on the concept of displacement rank, for generating a sequence of vectors $\vec{v}^{(2^j)}$ that quadratically converges to the vector $\vec{v}$ having as components the coefficients of the factor r(z). In the case of a polynomial f(z) of degree N, the cost of computing the entries of $\vec{v}^{(2^j)}$ given $\vec{v}^{(2^{j-1})}$ is $O(N\log N+\theta(N))$ arithmetic operations, where $\theta(N)=O(N\log^2 N)$ is the cost of solving an $ N\times N$ Toeplitz-like system. In the case of analytic functions the cost depends on the numerical degree of the power series involved in the computation. From the numerical experiments performed with several test polynomials and power series, the algorithm has shown good numerical properties and promises to be a good candidate for implementing polynomial root-finders based on recursive splitting strategies. Applications to solving spectral factorization problems and Markov chains are also shown.

[1]  B. Anderson,et al.  Asymptotically fast solution of toeplitz and related systems of linear equations , 1980 .

[2]  Raymond H. Chan,et al.  Conjugate Gradient Methods for Toeplitz Systems , 1996, SIAM Rev..

[3]  Henry C. Thacher,et al.  Applied and Computational Complex Analysis. , 1988 .

[4]  Georg Heinig,et al.  Algebraic Methods for Toeplitz-like Matrices and Operators , 1984 .

[5]  Beatrice Meini,et al.  Effective Methods for Solving Banded Toeplitz Systems , 1999, SIAM J. Matrix Anal. Appl..

[6]  Guy Latouche,et al.  Newton's iteration for nonlinear equations in Markov chains , 1994 .

[7]  Marc Van Barel,et al.  A stabilized superfast solver for indefinite Hankel systems , 1998 .

[8]  G. Stewart On a companion operator for analytic functions , 1971 .

[9]  Beatrice Meini,et al.  New convergence results on functional iteration techniques for the numerical solution of M/G/1 type Markov chains , 1997 .

[10]  L. Gemignani Computing a Factor of a Polynomial by Means of Multishift LR Algorithms , 1998 .

[11]  L. Gemignani Polynomial root computation by means of the LR algorithm , 1997 .

[12]  Charles A. Micchelli,et al.  Spectral factorization of Laurent polynomials , 1997, Adv. Comput. Math..

[13]  V. Pan Optimal and nearly optimal algorithms for approximating polynomial zeros , 1996 .

[14]  Beatrice Meini,et al.  Approximate displacement rank and applications , 2001 .

[15]  Victor Y. Pan,et al.  Deterministic improvement of complex polynomial factorization based on the properties of the associated resultant , 1995 .

[16]  Victor Y. Pan,et al.  Graeffe's, Chebyshev-like, and Cardinal's Processes for Splitting a Polynomial into Factors , 1996, J. Complex..

[17]  Luca Gemignani,et al.  Computing a Hurwitz factorization of a polynomial , 2000 .

[18]  Ali H. Sayed,et al.  Displacement Structure: Theory and Applications , 1995, SIAM Rev..

[19]  A. Householder The numerical treatment of a single nonlinear equation , 1970 .

[20]  H. R. Gail,et al.  Non-Skip-Free M/G/1 and G/M/1 Type Markov Chains , 1997, Advances in Applied Probability.

[21]  Beatrice Meini,et al.  Using displacement structure for solving Non-Skip-Free M/G/1 type Markov chains , 1998 .

[22]  D. P. Laurie Efficient implementation of wilson's algorithm for factorizing a self-reciprocal polynomial , 1980 .

[23]  Peter Kirrinnis,et al.  Partial Fraction Decomposition in (z) and Simultaneous Newton Iteration for Factorization in C[z] , 1998, J. Complex..

[24]  Marcel F. Neuts,et al.  Structured Stochastic Matrices of M/G/1 Type and Their Applications , 1989 .