Efficient computation of enclosures for the exact solvents of a quadratic matrix equation

Electronic Journal of Linear Algebra

Volumn 20, Issue , 2010, Pages 519-536

  Hashemi, Behnam ^a   Dehghan, Mehdi ^a  

^a AMIRKABIR UNIVERSITY OF TECHNOLOGY   (Iran)

Author keywords

Automatic result verification; Interval analysis; Krawczyk operator; Matrix square root; Quadratic matrix equation

Indexed keywords

EID: 77956971405     PISSN: None     EISSN: 10813810     Source Type: Journal    
DOI: 10.13001/1081-3810.1391     Document Type: Article

References (32)

1. E. Adams and U. Kulisch. (eds.) Scientific Computing with Automatic Result Verification. Vol. 189 of Mathematics in Science and Engineering, Academic Press Inc., Boston, MA, 1993.
2. G. Alefeld and J. Herzberger. Introduction to Interval Computations. Computer Science and Applied Mathematics, Academic Press, New York, 1983.
3. M. Binder and M. Hashem Pesaran. Multivariate rational expectations models and macroe- conometric modelling: A review and some new results. in Handbook of Applied Econometrics: Macroeconomics. M. Hashem Pesaran and M. Wickens. (eds.), Basil Blackwell, pp. 139-187, 1999.
4. D. Bini, B. Meini, and F. Poloni. From algebraic Riccati equations to unilateral quadratic matrix equations: old and new algorithms. In Dagstuhl Seminar Proceedings 07461, Numerical Methods for Structured Markov Chains. 2008.
5. O. Caprani and K. Madsen. Iterative methods for interval inclusion of fixed points. BIT Numerical Mathematics, 18:42-51, 1978.
6. G.J. Davis. Numerical solution of a quadratic matrix equation. SIAM Journal on Scientific and Statistical Computing, 2:164-175, 1981.
7. 2 + BX + C = 0. ACM Transactions on Mathematical Software, 9:246-254, 1983.
8. J.E. Dennis, Jr., J.F. Traub, and R.P. Weber. Algorithms for solvents of matrix polynomials. SIAM Journal on Numerical Analysis, 15:523-533, 1978.
9. A. Frommer and B. Hashemi. Verified computation of square roots of a matrix. SIAM Journal on Matrix Analysis and Applications, 31:1279-1302, 2009. Preprint available as technical report BUW-SC 09/2, University of Wuppertal, (www-ai.math.uni-wuppertal.de/SciComp/preprints/SC0902.pdf)
10. I. Gohberg, P. Lancaster, and L. Rodman. Matrix polynomials. Academic Press Inc. [Harcourt Brace Jovanovich Publishers], New York, 1982. Computer Science and Applied Mathematics.
11. C.-H. Guo. On a quadratic matrix equation associated with an M-matrix. IMA Journal of Numerical Analysis, 23:11-27, 2003.
12. C.-H. Guo. Numerical solution of a quadratic eigenvalue problem. Linear Algebra and its Applications, 385:391-406, 2004.
13. N.J. Higham. Functions of Matrices: Theory and Computation. SIAM, Philadelphia, 2008.
14. N.J. Higham and H.-M. Kim. Numerical analysis of a quadratic matrix equation. IMA Journal of Numerical Analysis, 20:499-519, 2000.
15. N.J. Higham and H.-M. Kim. Solving a quadratric matrix equation by Newton's method with exact line searches. SIAM Journal on Matrix Analysis and Applications, 23:303-316, 2001.
16. R.A. Horn and C.R. Johnson. Topics in Matrix Analysis. Cambridge University Press, Cambridge, 1994.
17. R. Kearfott. Interval analysis: Interval fixed point theory. in Encyclopedia of Optimization. Vol. 3, Dordrecht, Netherlands, Kluwer, pp. 45-51, 2001.
18. R.B. Kearfott, M. Nakao, A. Neumaier, S. Rump, S. Shary, and P. van Hentenryck. Standardized notation in interval analysis, 2005. (www.mat.univie.ac.at/~neum/ms/notation.pdf)
19. H.-M. Kim. Numerical Methods for Solving a Quadratic Matrix Equation. PhD thesis, University of Manchester, 2000.
20. H.-M. Kim. Minimization method for solving a quadratic matrix equation. Kyungpook Mathematical Journal, 47:239-251, 2007.
21. R. Krawczyk. Newton-Algorithmen zur Bestimmung von Nullstellen mit Fehlerschranken. Computing, 4:187-201, 1969.
22. R. Krawczyk and A. Neumaier. Interval slopes for rational functions and associated centered forms. SIAM Journal on Numerical Analysis, 22:604-616, 1985.
23. J.-H. Long, X.-Y. Hu, and L. Zhang. Improved Newton's method with exact line searches to solve quadratic matrix equation. Journal of Computational and Applied Mathematics, 222:645-654, 2008.
24. R.E. Moore. A test for existence of solutions to nonlinear systems. SIAM Journal on Numerical Analysis, 14:611-615, 1977.
25. R.E. Moore, R.B. Kearfott, and M. J. Cloud. Introduction to Interval Analysis. Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA, 2009.
26. A. Neumaier. Interval Methods for Systems of Equations. No. 37 in Encyclopedia of Mathematics and its Applications, Cambridge University Press, Cambridge, 1990.
27. J. Qian and W.-W. Lin. A numerical method for quadratic eigenvalue problems of gyroscopic systems. Journal of Sound and Vibration, 306:284-296, 2007.
28. L.B. Rall. A theory of interval iteration. Proceedings of the American Mathematical Society, 86:625-631, 1982.
29. J. Rohn. VERSOFT: Verification Software in MATLAB/INTLAB. (uivtx.cs.cas.cz/~rohn/matlab)
30. S.M. Rump. A note on epsilon-inflation. Reliable Computing, 4:371-375, 1998.
31. S.M. Rump. Fast and parallel interval arithmetic. BIT Numerical Mathematics, 39:534-554, 1999.
32. S.M. Rump. INTLAB - INTerval LABoratory. in Developments in Reliable Computing. T. Csendes. (ed.), Dordrecht, 1999, Kluwer Academic Publishers, pp. 77-104.