• Source: 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. It is a kind of product integral, or Volterra integral.




Definition


Let A be an algebra over a field K, and a(t) be an element of A parameterized by the real numbers,




a
:

R

→
A
.


{\displaystyle a:\mathbb {R} \to 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








OE
⁡
[
a
]
(
t
)
≡


T



{

e


∫

0


t


a
(

t
′

)

d

t
′



}




≡

∑

n
=
0


∞




1

n
!




∫

0


t


d

t

1

′

⋯

∫

0


t


d

t

n

′




T



{

a
(

t

1

′

)
⋯
a
(

t

n

′

)

}







=

∑

n
=
0


∞



∫

0


t


d

t

1

′


∫

0



t

1

′



d

t

2

′


∫

0



t

2

′



d

t

3

′

⋯

∫

0



t

n
−
1

′



d

t

n

′


a
(

t

n

′

)
⋯
a
(

t

1

′

)






{\displaystyle {\begin{aligned}\operatorname {OE} [a](t)\equiv {\mathcal {T}}\left\{e^{\int _{0}^{t}a(t')\,dt'}\right\}&\equiv \sum _{n=0}^{\infty }{\frac {1}{n!}}\int _{0}^{t}dt'_{1}\cdots \int _{0}^{t}dt'_{n}\;{\mathcal {T}}\left\{a(t'_{1})\cdots a(t'_{n})\right\}\\&=\sum _{n=0}^{\infty }\int _{0}^{t}dt'_{1}\int _{0}^{t'_{1}}dt'_{2}\int _{0}^{t'_{2}}dt'_{3}\cdots \int _{0}^{t'_{n-1}}dt'_{n}\;a(t'_{n})\cdots a(t'_{1})\end{aligned}}}


where the term n = 0 is equal to 1 and where





T




{\displaystyle {\mathcal {T}}}

is the time-ordering operator. It is a higher-order operation that ensures the exponential is time-ordered, so that any product of a(t) that occurs in the expansion of the exponential is ordered such that the value of t is increasing from right to left of the product. For example:






T



{

a
(
1.2
)
a
(
9.5
)
a
(
4.1
)

}

=
a
(
9.5
)
a
(
4.1
)
a
(
1.2
)
.


{\displaystyle {\mathcal {T}}\left\{a(1.2)a(9.5)a(4.1)\right\}=a(9.5)a(4.1)a(1.2).}


Time ordering is required, as products in the algebra are not necessarily commutative.
The operation maps a parameterized element onto another parameterized element, or symbolically,




OE

:

(

R

→
A
)
→
(

R

→
A
)
.


{\displaystyle \operatorname {OE} \mathrel {:} (\mathbb {R} \to A)\to (\mathbb {R} \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:




OE
⁡
[
a
]
(
t
)
=

∏

0


t



e

a
(

t
′

)

d

t
′



≡

lim

N
→
∞



(


e

a
(

t

N


)

Δ
t



e

a
(

t

N
−
1


)

Δ
t


⋯

e

a
(

t

1


)

Δ
t



e

a
(

t

0


)

Δ
t



)



{\displaystyle \operatorname {OE} [a](t)=\prod _{0}^{t}e^{a(t')\,dt'}\equiv \lim _{N\to \infty }\left(e^{a(t_{N})\,\Delta t}e^{a(t_{N-1})\,\Delta t}\cdots e^{a(t_{1})\,\Delta t}e^{a(t_{0})\,\Delta t}\right)}


where the time moments {t0, ..., tN} are defined as ti ≡ i Δt for i = 0, ..., N, and Δt ≡ t / N.
The ordered exponential is in fact a geometric integral.




= Solution to a differential equation

=
The ordered exponential is unique solution of the initial value problem:










d

d
t



OE
⁡
[
a
]
(
t
)



=
a
(
t
)
OE
⁡
[
a
]
(
t
)
,




OE
⁡
[
a
]
(
0
)



=
1.






{\displaystyle {\begin{aligned}{\frac {d}{dt}}\operatorname {OE} [a](t)&=a(t)\operatorname {OE} [a](t),\\[5pt]\operatorname {OE} [a](0)&=1.\end{aligned}}}





= Solution to an integral equation

=
The ordered exponential is the solution to the integral equation:




OE
⁡
[
a
]
(
t
)
=
1
+

∫

0


t


a
(

t
′

)
OE
⁡
[
a
]
(

t
′

)

d

t
′

.


{\displaystyle \operatorname {OE} [a](t)=1+\int _{0}^{t}a(t')\operatorname {OE} [a](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,




OE
⁡
[
a
]
(
t
)
=
1
+

∫

0


t


a
(

t

1


)

d

t

1


+

∫

0


t


d

t

1



∫

0



t

1




d

t

2



a
(

t

1


)
a
(

t

2


)
+
⋯
.


{\displaystyle \operatorname {OE} [a](t)=1+\int _{0}^{t}a(t_{1})\,dt_{1}+\int _{0}^{t}dt_{1}\int _{0}^{t_{1}}dt_{2}\;a(t_{1})a(t_{2})+\cdots .}


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




Example


Given a manifold



M


{\displaystyle M}

where for a



e
∈
T
M


{\displaystyle e\in TM}

with group transformation



g
:
e
↦
g
e


{\displaystyle g:e\mapsto ge}

it holds at a point



x
∈
M


{\displaystyle x\in M}

:




d
e
(
x
)
+
J
⁡
(
x
)
e
(
x
)
=
0.


{\displaystyle de(x)+\operatorname {J} (x)e(x)=0.}


Here,



d


{\displaystyle d}

denotes exterior differentiation and



J
⁡
(
x
)


{\displaystyle \operatorname {J} (x)}

is the connection operator (1-form field) acting on



e
(
x
)


{\displaystyle e(x)}

. When integrating above equation it holds (now,



J
⁡
(
x
)


{\displaystyle \operatorname {J} (x)}

is the connection operator expressed in a coordinate basis)




e
(
y
)
=
P
⁡
exp
⁡

(

−

∫

x


y


J
(
γ
(
t
)
)

γ
′

(
t
)

d
t

)

e
(
x
)


{\displaystyle e(y)=\operatorname {P} \exp \left(-\int _{x}^{y}J(\gamma (t))\gamma '(t)\,dt\right)e(x)}


with the path-ordering operator



P


{\displaystyle \operatorname {P} }

that orders factors in order of the path



γ
(
t
)
∈
M


{\displaystyle \gamma (t)\in M}

. For the special case that



J
⁡
(
x
)


{\displaystyle \operatorname {J} (x)}

is an antisymmetric operator and



γ


{\displaystyle \gamma }

is an infinitesimal rectangle with edge lengths




|

u

|

,

|

v

|



{\displaystyle |u|,|v|}

and corners at points



x
,
x
+
u
,
x
+
u
+
v
,
x
+
v
,


{\displaystyle x,x+u,x+u+v,x+v,}

above expression simplifies as follows :









OE
⁡
[
−
J
]
e
(
x
)




=





exp
⁡
[
−
J
⁡
(
x
+
v
)
(
−
v
)
]
exp
⁡
[
−
J
⁡
(
x
+
u
+
v
)
(
−
u
)
]
exp
⁡
[
−
J
⁡
(
x
+
u
)
v
]
exp
⁡
[
−
J
⁡
(
x
)
u
]
e
(
x
)




=






[
1
−
J
⁡
(
x
+
v
)
(
−
v
)
]
[
1
−
J
⁡
(
x
+
u
+
v
)
(
−
u
)
]
[
1
−
J
⁡
(
x
+
u
)
v
]
[
1
−
J
⁡
(
x
)
u
]
e
(
x
)
.






{\displaystyle {\begin{aligned}&\operatorname {OE} [-\operatorname {J} ]e(x)\\[5pt]={}&\exp[-\operatorname {J} (x+v)(-v)]\exp[-\operatorname {J} (x+u+v)(-u)]\exp[-\operatorname {J} (x+u)v]\exp[-\operatorname {J} (x)u]e(x)\\[5pt]={}&[1-\operatorname {J} (x+v)(-v)][1-\operatorname {J} (x+u+v)(-u)][1-\operatorname {J} (x+u)v][1-\operatorname {J} (x)u]e(x).\end{aligned}}}


Hence, it holds the group transformation identity



OE
⁡
[
−
J
]
↦
g
OE
⁡
[
J
]

g

−
1




{\displaystyle \operatorname {OE} [-\operatorname {J} ]\mapsto g\operatorname {OE} [\operatorname {J} ]g^{-1}}

. If



−
J
⁡
(
x
)


{\displaystyle -\operatorname {J} (x)}

is a smooth connection, expanding above quantity to second order in infinitesimal quantities




|

u

|

,

|

v

|



{\displaystyle |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
Haar measure
List of derivatives and integrals in alternative calculi
Indefinite product
Fractal derivative




References






External links


Non-Newtonian calculus website

Kata Kunci Pencarian:

• Statistika
• Manusia
• Lapangan (matematika)
• Variabel acak
• Ilmu aktuaria
• Statistika matematika
• Model generatif
• Efek pengacau
• Eksperimen semu
• Ordered exponential
• Ordered exponential field
• Path-ordering
• Exponential distribution
• Transseries
• Time complexity
• Exponential family
• Exponential smoothing
• Exponential field
• Field (mathematics)