# Difference between revisions of "Trotter product formula"

(TeX) |
m (better) |
||

(One intermediate revision by the same user not shown) | |||

Line 1: | Line 1: | ||

{{TEX|done}} | {{TEX|done}} | ||

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

− | + | \begin{equation} | |

− | + | \exp(A+B)=\lim_{n\to\infty}(\exp(A/n)\exp(B/n))^n.\label{a1} | |

+ | \end{equation} | ||

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 $\mathbf Q$ in the variables $A$ and $B$, where both $A$ and $B$ are given degree $1$. | 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 $\mathbf Q$ in the variables $A$ and $B$, where both $A$ and $B$ are given degree $1$. | ||

− | The case of \ | + | The case of \eqref{a1} where $A$ and $B$ are $(n\times n)$-matrices is due to S. Lie, and is simply known as the product formula for matrix exponentials. |

In the form | In the form | ||

Line 23: | Line 24: | ||

====References==== | ====References==== | ||

− | <table><TR><TD valign="top">[a1]</TD> <TD valign="top"> H. Trotter, "On the product of semigroups of operators" ''Proc. Amer. Math. Soc.'' , '''10''' (1959) pp. 545–551</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> 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</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> B. Simon, "Functional integration and quantum mechanics" , Acad. Press (1979)</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top"> E.B. Davies, "One-parameter semigroups" , Acad. Press (1980)</TD></TR></table> | + | <table> |

+ | <TR><TD valign="top">[a1]</TD> <TD valign="top"> H. Trotter, "On the product of semigroups of operators" ''Proc. Amer. Math. Soc.'' , '''10''' (1959) pp. 545–551</TD></TR> | ||

+ | <TR><TD valign="top">[a2]</TD> <TD valign="top"> 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</TD></TR> | ||

+ | <TR><TD valign="top">[a3]</TD> <TD valign="top"> B. Simon, "Functional integration and quantum mechanics" , Acad. Press (1979)</TD></TR> | ||

+ | <TR><TD valign="top">[a4]</TD> <TD valign="top"> E.B. Davies, "One-parameter semigroups" , Acad. Press (1980)</TD></TR> | ||

+ | </table> |

## Latest revision as of 21:49, 3 December 2017

The following formula for the exponential of two not necessarily commuting operators: \begin{equation} \exp(A+B)=\lim_{n\to\infty}(\exp(A/n)\exp(B/n))^n.\label{a1} \end{equation}

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 $\mathbf Q$ in the variables $A$ and $B$, where both $A$ and $B$ are given degree $1$.

The case of \eqref{a1} where $A$ and $B$ are $(n\times n)$-matrices is due to S. Lie, and is simply known as the product formula for matrix exponentials.

In the form

$$\exp(it(A+B))=s-\lim_{n\to\infty}(\exp(itA/n)\exp(itB/n))^n,$$

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

$$\exp(-t(A+B))=s-\lim_{n\to\infty}(\exp(-tA/n)\exp(-tB/n))^n$$

it holds (for positive $t$) if $A$ and $B$ 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) |

**How to Cite This Entry:**

Trotter product formula.

*Encyclopedia of Mathematics.*URL: http://encyclopediaofmath.org/index.php?title=Trotter_product_formula&oldid=32830