In mathematics, the Lie product formula, named for Sophus Lie (1875), but also widely called the Trotter product formula,[1] named after Hale Trotter, states that for arbitrary m × m real or complex matrices A and B,[2]

where eA denotes the matrix exponential of A. The Lie–Trotter product formula (Trotter 1959) and the Trotter–Kato theorem (Kato 1978) extend this to certain unbounded linear operators A and B.[3]

This formula is an analogue of the classical exponential law

which holds for all real or complex numbers x and y. If x and y are replaced with matrices A and B, and the exponential replaced with a matrix exponential, it is usually necessary for A and B to commute for the law to still hold. However, the Lie product formula holds for all matrices A and B, even ones which do not commute.

The Lie product formula is conceptually related to the Baker–Campbell–Hausdorff formula, in that both are replacements, in the context of noncommuting operators, for the classical exponential law.

The formula has applications, for example, in the path integral formulation of quantum mechanics. It allows one to separate the Schrödinger evolution operator (propagator) into alternating increments of kinetic and potential operators (the Suzuki–Trotter decomposition, after Trotter and Masuo Suzuki). The same idea is used in the construction of splitting methods for the numerical solution of differential equations. Moreover, the Lie product theorem is sufficient to prove the Feynman–Kac formula.[4]

The Trotter–Kato theorem can be used for approximation of linear C0-semigroups.[5]

See also

References

  1. Joel E. Cohen; Shmuel Friedland; Tosio Kato; F. P. Kelly (1982). "Eigenvalue inequalities for products of matrix exponentials" (PDF). Linear Algebra and Its Applications. 45: 55–95. doi:10.1016/0024-3795(82)90211-7.
  2. Hall 2015 Theorem 2.11
  3. Hall 2013 Theorem 20.1
  4. Appelbaum, David (2019). "The Feynman-Kac Formula via the Lie-Kato-Trotter Product Formula". Semigroups of Linear Operators : With Applications to Analysis, Probability and Physics. Cambridge University Press. pp. 123–125. ISBN 978-1-108-71637-6.
  5. Ito, Kazufumi; Kappel, Franz (1998). "The Trotter-Kato Theorem and Approximation of PDEs". Mathematics of Computation. 67 (221): 21–44. doi:10.1090/S0025-5718-98-00915-6. JSTOR 2584971.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.