Trotter product formula

The following formula for the exponential of two not necessarily commuting operators:

(a1)

The easiest case of this is to see this as a (formal) identity in the completion (with respect to the augmentation ideal) of the free associative algebra over in the variables and , where both and are given degree .

The case of (a1) where and are -matrices is due to S. Lie, and is simply known as the product formula for matrix exponentials.

In the form

which is important in theoretical physics, it holds, e.g., when and are self-adjoint operators on a separable Hilbert space such that , defined on the intersection of the domains of and , is essentially self-adjoint. And in the form

it holds (for positive ) if and are bounded from below.

Collectively these results (and several more variants) are also known as the Trotter–Kato theorem.

The Trotter product formula finds many applications in quantum theory, both in theoretical and in simulation studies (of quantum spin systems, e.g).

References

[a1]	H. Trotter, "On the product of semigroups of operators" Proc. Amer. Math. Soc. , 10 (1959) pp. 545–551
[a2]	T. Kato, "Trotter's product formula for an arbitrary pair of self-adjoint contraction semigroups" I. Gohberg (ed.) M. Kac (ed.) , Topics in functional analysis , Acad. Press (1978) pp. 185–195
[a3]	B. Simon, "Functional integration and quantum mechanics" , Acad. Press (1979)
[a4]	E.B. Davies, "One-parameter semigroups" , Acad. Press (1980)