Soient X et Y deux opérateurs, qui ne commutent en général pas. La formule de Trotter-Kato, encore appelée simplement formule de Trotter ou de façon plus complète formule de Lie-Trotter-Kato, donne une expression de l'exponentielle de leur somme :
(en) Tosio Kato, « Trotter's product formula for arbitrary pair of self-adjoint contraction semigroups », dans : Mark Kac (éd), Topics in functionnal analysis (essays dedicated to M. G. Krein on the occasion of his 70th birthday), Advances in Mathematics Supplementary Studies 3, Academic Press, 1978, p. 185-195
(en) Michael C. Reed(en) et Barry Simon, Methods of Modern Mathematical Physics, Academic Press. Un traité de physique mathématique publié en 4 volumes :
Vol. I : Functional Analysis (1972)
Vol. II : Fourier Analysis, Self-Adjointness (1975)