= Lie product formula
{c}
{wiki}
= Lie-Trotter product formula
{c}
{synonym}
= Lie-Trotter splitting
{c}
{synonym}
= Trotter product formula
{c}
{synonym}
For bounded <matrices> $A_j$, the Lie product formula gives <operator norm> convergence
$$
e^{t\sum_jA_j}=\lim_{k\to\infty}\left(\prod_je^{tA_j/k}\right)^k.
$$
For two summands, expanding their <matrix exponentials> gives the one-step difference below. For <Hermitian matrices> multiplied by $-i$, the factors are <unitary operators> and the <first-order unitary product-formula error bound> gives an explicit error estimate.
Back to article page
