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.

Definition

Let be an algebra over a real or complex field , and be a parameterized element of ,
$a : K \to A.$

The parameter in is often referred to as the ''time parameter'' in this context.

The ordered exponential of is denoted
\begin
\operatorname t) \equiv \mathcal \left\ & \equiv \sum_^\infty \frac \int_0^t \cdots \int_0^t \mathcal \left\ \, dt'_1 \cdots dt'_n \\
& \equiv \sum_^\infty \int_0^t \int_0^ \int_0^ \cdots \int_0^ a(t'_n) \cdots a(t'_1) \, dt'_1 \cdots dt'_ \, dt'_ \, dt'_n
\end

where the term is equal to 1 and where $\mathcal$ is a higher-order operation that ensures the exponential is time-ordered: any product of that occurs in the expansion of the exponential must be ordered such that the value of is increasing from right to left of the product; a schematic example:
$\mathcal \left\ = a(9.5) a(4.1) a(1.2).$
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,
$\operatorname \mathrel (K \to A) \to (K \to A).$

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:
\operatorname t) = \prod_0^t e^ \equiv
\lim_ \left(
e^ e^ \cdots
e^ e^
\right)

where the time moments are defined as for , and .

The ordered exponential is in fact a geometric integral.Michael Grossman and Robert Katz
''Non-Newtonian Calculus''
, 1972.A. E. Bashirov, E. M. Kurpınar, A. Özyapıcı
''Multiplicative calculus and its applications''
Journal of Mathematical Analysis and Applications, 2008.Luc Florack and Hans van Asse
"Multiplicative calculus in biomedical image analysis"
Journal of Mathematical Imaging and Vision, 2011.

Solution to a differential equation

The ordered exponential is unique solution of the initial value problem:
\begin
\frac \operatorname t) &= a(t) \operatorname t), \\ pt \operatorname 0) &= 1.
\end

Solution to an integral equation

The ordered exponential is the solution to the integral equation:
\operatorname t) = 1 + \int_0^t a(t') \operatorname t') \, dt'.

This equation is equivalent to the previous initial value problem.

Infinite series expansion

The ordered exponential can be defined as an infinite sum,
\operatorname t) = 1 + \int_0^t a(t_1) \, dt_1+ \int_0^t \int_0^ a(t_1) a(t_2) \, dt_2 \, dt_1 + \cdots.

This can be derived by recursively substituting the integral equation into itself.

Example

Given a manifold $M$ where for a $e \in TM$ with group transformation $g: e \mapsto g e$ it holds at a point $x \in M$:

: $de(x) + \operatorname(x)e(x) = 0.$

Here, $d$ denotes exterior differentiation and $\operatorname(x)$ is the connection operator (1-form field) acting on $e(x)$. When integrating above equation it holds (now, $\operatorname(x)$ is the connection operator expressed in a coordinate basis)

: $e(y) = \operatorname \exp \left(- \int_x^y J(\gamma (t)) \gamma '(t) \, dt \right) e(x)$

with the path-ordering operator $\operatorname$ that orders factors in order of the path $\gamma(t) \in M$. For the special case that $\operatorname(x)$ is an antisymmetric operator and $\gamma$ is an infinitesimal rectangle with edge lengths $, u, ,, v,$ and corners at points $x,x+u,x+u+v,x+v,$ above expression simplifies as follows :

:
\begin
& \operatorname \operatorname(x) \\ pt= & \exp \operatorname(x+v) (-v)\exp \operatorname(x+u+v) (-u)\exp \operatorname(x+u) v\exp \operatorname(x) ue(x) \\ pt= & - \operatorname(x+v) (-v)1 - \operatorname(x+u+v) (-u)] - \operatorname(x+u) v1 - \operatorname(x) u] e(x).
\end

Hence, it holds the group transformation identity \operatorname \operatorname\mapsto g \operatorname operatornameg^. If $- \operatorname{J}(x)$ is a smooth connection, expanding above quantity to second order in infinitesimal quantities $, u, ,, v,$ one obtains for the ordered exponential the identity with a correction term that is proportional to the curvature tensor.

See also

* Path-ordering (essentially the same concept)
* Magnus expansion
* Product integral
* List of derivatives and integrals in alternative calculi
* Indefinite product
* Fractal derivative

References

External links

Non-Newtonian calculus website

Abstract algebra
Ordinary differential equations
Non-Newtonian calculus