順序指数函数

順序指数函数（じゅんじょしすうかんすう、）、より精確には経路順序指数函数 ( や時間順序指数函数 () は、可換代数の場合の積分を変数に取る指数函数に相応する、非可換代数上で定義される演算である（経路順序積 (path-ordered product) や時間順序積とも）。実用上は、行列環あるいは作用素の代数において順序指数函数を考える。
定義.
 は実または複素数体、 は 上の代数とする。写像 によって与えられる の元からなる一径数族 の径数 はこの文脈ではしばしば時間径数 ("time parameter") として言及される。
時間径数で径数付けられた元 を引数とする順序指数函数は formula_1
のように書かれる。ここに の項は に等しく、また formula_2 はこの指数函数が時間順であることを保証する高階演算子である（時間順であるというのは、この指数函数の展開に現れる に関する任意の積が、 が積の右から左へ向けて値が増加する順番でなければならないという意味である。模式的な例を挙げれば、formula_3 のように並べ替える）。このような制限は、考える代数が必ずしも可換でないところで積を考えるので必要になる。
この演算によって、径数付けられた元は径数付けられた元の上に写される。記号で書けば formula_4
このような積分をより厳密に定義する方法は様々あり、以下にいくつか挙げる。
指数函数の順序積.
順序指数函数を、無限小指数函数の左乗法的積分、あるいは同じことだが指数函数の順序積の項の数を無限大にした極限 formula_5 として、定義することができる。ただし、時間モーメント は（ として） () と定める。
この順序指数函数は実は幾何積分である。
微分方程式の解.
順序指数函数を以下の微分方程式の初期値問題 formula_6 のただ一つの解として定義することができる。
積分方程式の解.
順序指数函数は以下の積分方程式 formula_7 の解である。この積分方程式は先の微分方程式の初期値問題に同値である。
無限級数展開.
順序指数函数は、無限和 formula_8 として定義することができる。この無限級数展開は、先の積分方程式を漸化式と見て再帰的に代入していくことで導出できる。
例.
多様体 が与えられ、その上の接束の元 に群作用 が定義され、一点 において formula_9 を満足するものとする。ここに は外微分で、 は に作用する接続作用素（1-形式場）である。
上の条件式の両辺を積分するとき（ここでの formula_10 は座標基底で表された接続作用素として）、因子の順番を経路 に沿って並べる経路順序作用素 を用いればformula_11 が成り立つ。
特別の場合として、 が反対称作用素で、経路 が辺の長さ の を頂点とする矩形であるとき、上記の等式は簡単になり formula_12 と書ける。これにより、群作用に関する恒等式 formula_13 を得る。formula_14 が滑らかな接続ならば、上式を無限小量 に関して二次まで展開して、曲率テンソルに比例する項を持つ順序指数函数の間の恒等式が得られる。