Recurrence relations and convergence theory of the generalized polar decomposition on Lie groups
HTML articles powered by AMS MathViewer
- by Antonella Zanna PDF
- Math. Comp. 73 (2004), 761-776 Request permission
Abstract:
The subject matter of this paper is the analysis of some issues related to generalized polar decompositions on Lie groups. This decomposition, depending on an involutive automorphism $\sigma$, is equivalent to a factorization of $z\in G$, $G$ being a Lie group, as $z=xy$ with $\sigma (x)=x^{-1}$ and $\sigma (y)=y$, and was recently discussed by Munthe-Kaas, Quispel and Zanna together with its many applications to numerical analysis. It turns out that, contrary to $X(t) = \log (x)$, an analysis of $Y(t) = \log (y)$ is a very complicated task. In this paper we derive the series expansion for $Y(t)=\log (y)$, obtaining an explicit recurrence relation that completely defines the function $Y(t)$ in terms of projections on a Lie triple system ${\mathfrak p}_\sigma$ and a subalgebra $\mathfrak {k}_{\sigma }$ of the Lie algebra ${\mathfrak g}$, and obtain bounds on its region of analyticity. The results presented in this paper have direct application, among others, to linear algebra, integration of differential equations and approximation of the exponential.References
- Milton Abramowitz and Irene A. Stegun (eds.), Handbook of mathematical functions, with formulas, graphs, and mathematical tables, Dover Publications, Inc., New York, 1966. MR 0208797
- S. Blanes, F. Casas, J. A. Oteo, and J. Ros, Magnus and Fer expansions for matrix differential equations: the convergence problem, J. Phys. A 31 (1998), no. 1, 259–268. MR 1620328, DOI 10.1088/0305-4470/31/1/023
- R. V. Chacon and A. T. Fomenko, Recursion formulas for the Lie integral, Adv. Math. 88 (1991), no. 2, 200–257. MR 1120613, DOI 10.1016/0001-8708(91)90008-U
- Sigurdur Helgason, Differential geometry, Lie groups, and symmetric spaces, Pure and Applied Mathematics, vol. 80, Academic Press, Inc. [Harcourt Brace Jovanovich, Publishers], New York-London, 1978. MR 514561
- Roger A. Horn and Charles R. Johnson, Topics in matrix analysis, Cambridge University Press, Cambridge, 1991. MR 1091716, DOI 10.1017/CBO9780511840371
- Arieh Iserles, On the discretization of double-bracket flows, Found. Comput. Math. 2 (2002), no. 3, 305–329. MR 1907383, DOI 10.1007/s102080010024
- Arieh Iserles, Robert McLachlan, and Antonella Zanna, Approximately preserving symmetries in the numerical integration of ordinary differential equations, European J. Appl. Math. 10 (1999), no. 5, 419–445. MR 1727840, DOI 10.1017/S0956792599003927
- Arieh Iserles, Hans Z. Munthe-Kaas, Syvert P. Nørsett, and Antonella Zanna, Lie-group methods, Acta numerica, 2000, Acta Numer., vol. 9, Cambridge Univ. Press, Cambridge, 2000, pp. 215–365. MR 1883629, DOI 10.1017/S0962492900002154
- A. Iserles and S. P. Nørsett, On the solution of linear differential equations in Lie groups, R. Soc. Lond. Philos. Trans. Ser. A Math. Phys. Eng. Sci. 357 (1999), no. 1754, 983–1019. MR 1694700, DOI 10.1098/rsta.1999.0362
- A. Iserles and A. Zanna, Efficient computation of the matrix exponential by generalized polar decompositions, D.A.M.T.P. Technical Report NA2003/02, University of Cambridge, U.K. To appear in SIAM J. Numer. Anal.
- Ottmar Loos, Symmetric spaces. I: General theory, W. A. Benjamin, Inc., New York-Amsterdam, 1969. MR 0239005
- Tadasi Nakayama, On Frobeniusean algebras. I, Ann. of Math. (2) 40 (1939), 611–633. MR 16, DOI 10.2307/1968946
- R. I. McLachlan, G. R. W. Quispel, and G. S. Turner, Numerical integrators that preserve symmetries and reversing symmetries, SIAM J. Numer. Anal. 35 (1998), no. 2, 586–599. MR 1618858, DOI 10.1137/S0036142995295807
- H. Munthe-Kaas, G. R. Quispel, and A. Zanna, Application of symmetric spaces and Lie triple systems in Numerical Analysis, Tech. Report 217, Department of Informatics, University of Bergen, Norway, 2001.
- H. Z. Munthe-Kaas, G. R. W. Quispel, and A. Zanna, Generalized polar decompositions on Lie groups with involutive automorphisms, Found. Comput. Math. 1 (2001), no. 3, 297–324. MR 1838757, DOI 10.1007/s102080010012
- A. Zanna and H. Z. Munthe-Kaas, Generalized polar decompositions for the approximation of the matrix exponential, SIAM J. Matrix Anal. Appl. 23 (2001/02), no. 3, 840–862. MR 1896821, DOI 10.1137/S0895479800377551
- S. Reich, Dynamical systems, numerical integration, and exponentially small estimates, Habilitationsschrift, 1998.
- V. S. Varadarajan, Lie groups, Lie algebras, and their representations, Graduate Texts in Mathematics, vol. 102, Springer-Verlag, New York, 1984. Reprint of the 1974 edition. MR 746308, DOI 10.1007/978-1-4612-1126-6
Additional Information
- Antonella Zanna
- Affiliation: Institutt for informatikk, University of Bergen, Høyteknologisenteret, Thormøhlensgate 55, N-5020 Bergen, Norway
- Email: anto@ii.uib.no
- Received by editor(s): September 5, 2001
- Received by editor(s) in revised form: October 1, 2002
- Published electronically: November 5, 2003
- © Copyright 2003 American Mathematical Society
- Journal: Math. Comp. 73 (2004), 761-776
- MSC (2000): Primary 51A50; Secondary 65L99, 58A99
- DOI: https://doi.org/10.1090/S0025-5718-03-01602-8
- MathSciNet review: 2031405