Quantum theory lecture 4 5 time evolution operator dyson series time ordered exponential
The ordered exponential (also called the path-ordered exponential) is a mathematical operation defined in non-commutative algebras, equivalent to the exponential of the integral in the commutative algebras. In practice the ordered exponential is used in matrix and operator algebras.
Contents
- Quantum theory lecture 4 5 time evolution operator dyson series time ordered exponential
- Chaosbook org chapter local stability jacobian as the time ordered exponential
- Definition
- Product of exponentials
- Solution to a differential equation
- Solution to an integral equation
- Infinite series expansion
- Example
- References
Chaosbook org chapter local stability jacobian as the time ordered exponential
Definition
Let A be an algebra over a real or complex field K, and a(t) be a parameterized element of A,
The parameter t in a(t) is often referred to as the time parameter in this context.
The ordered exponential of a is denoted
where
This restriction is necessary as products in the algebra are not necessarily commutative.
The operation maps a parameterized element onto another parameterized element, or symbolically,
There are various ways to define this integral more rigorously.
Product of exponentials
The ordered exponential can be defined as the left product integral of the infinitesimal exponentials, or equivalently, as an ordered product of exponentials in the limit as the number of terms grows to infinity:
where the time moments {t0, …, tN} are defined as ti ≡ i Δt for i = 0, …, N, and Δt ≡ t / N.
Solution to a differential equation
The ordered exponential is unique solution of the initial value problem:
Solution to an integral equation
The ordered exponential is the solution to the integral equation:
This equation is equivalent to the previous initial value problem.
Infinite series expansion
The ordered exponential can be defined as an infinite sum,
This can be derived by recursively substituting the integral equation into itself.
Example
Given a manifold
Here,
with the path-ordering operator
Hence, it holds the group transformation identity