On the Check of Accuracy of the Coefficients of Formal Power Series
-
- KITAMOTO Takuya
- Faculty of Education, Yamaguchi University The Institute of Electronics, Information and Communication Engineers
-
- YAMAGUCHI Tetsu
- Cybernet Systems Co., LTD
Search this article
Description
Let M(y) be a matrix whose entries are polynomial in y, λ(y) and υ(y) be a set of eigenvalue and eigenvector of M(y). Then, λ(y) and υ(y) are algebraic functions of y, and λ(y) and υ(y) have their power, series expansions<br>λ(y)=β0+β1y+…+βkyk+…(βj∈C), (1)<br>υ(y)=γ0+γ1y+…+γkyk+…(γj∈Cn), (2)<br>provided that y=0 is not a singular point of λ(y) or υ(y). Several algorithms are already proposed to compute the above power series expansions using Newton's method (the algorithm in [4]) or the Hensel construction (the algorithm in [5], [12]). The algorithms proposed so far compute high degree coefficients, βk and γk, using lower degree coefficien βj and γj(j=0,1,…,k-1). Thus with floating point arithmetic, the numerical errors in the coefficients can accumulate as index k increases. This can cause serious deterioration of the numerical accuracy of high degree coefficients βk and γk, and we need to check the accuracy. In this paper, we assume that given matrix M(y) does not have multiple eigenvalues at y=0 (this implies that y=0 is not singular point of γ(y) or υ(y)), and presents an algorithm to estimate the accuracy of the computed power series βi, γj in (1) and (2). The estimation process employs the idea in [9] which computes a coefficient of a power series with Cauchy's integral formula and numerical integrations. We present an efficient implementation of the algorithm that utilizes Newton's method. We also present a modification of Newton's method to speed up the procedure, introducing tuning parameter p. Numerical experiments of the paper indicates that we can enhance the performance of the algorithm by 12-16%, choosing the optimal tuning parameter p.
Journal
-
- IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
-
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E91-A (8), 2101-2110, 2008
The Institute of Electronics, Information and Communication Engineers
- Tweet
Details 詳細情報について
-
- CRID
- 1390282681288224384
-
- NII Article ID
- 10026850876
-
- NII Book ID
- AA10826239
-
- ISSN
- 17451337
- 09168508
-
- Text Lang
- en
-
- Data Source
-
- JaLC
- Crossref
- CiNii Articles
- OpenAIRE
-
- Abstract License Flag
- Disallowed