行列値関数

行列値関数（ぎょうれつちかんすう、英: matrix-valued functions）とは行列を変数に持つ特殊関数の総称である^[1][2]。

定義

ガンマ関数などを除けば、通常の特殊関数は多くの場合に常微分方程式の解 (可積分系の厳密解) として定義される。しかし行列値関数の場合は異なる。

初等関数

${\displaystyle \forall A\in \mathbb {C} ^{n\times n},\quad f:\mathbb {C} \to \mathbb {C} }$が与えられたとする。このとき${\displaystyle f(z)}$がどのような関数であれば${\displaystyle f(A)}$に行列としての意味を持たせられるかを考える。自然に思いつくのは多項式の場合：

${\displaystyle f(z)=c_{0}+c_{1}z+\cdots +c_{m}z^{m}}$

このときは当然ながら、

${\displaystyle f(A)=c_{0}I+c_{1}A+\cdots +c_{m}A^{m}}$

と定義するのが合理的である。この考えを発展させることで

${\displaystyle f(z):=\sum _{k=0}^{\infty }c_{k}z^{k}}$

と定義されているときには

${\displaystyle f(A):=\sum _{k=0}^{\infty }c_{k}A^{k}}$

と定義すればよいということが言える (もちろん行列からなる無限列の収束を適切に定義することも必要不可欠である)^[1][2]。例えば行列指数関数などの初等関数は次のように定められる^[1][2]:

${\displaystyle \exp A:=\sum _{k=0}^{\infty }{\frac {1}{k!}}A^{k},}$

${\displaystyle \sin A:=\sum _{k=0}^{\infty }{\frac {(-1)^{k}}{(2k+1)!}}A^{2k+1},\quad \cos A:=\sum _{k=0}^{\infty }{\frac {(-1)^{k}}{(2k)!}}A^{2k}.}$

もしも${\displaystyle f(z)}$がベキ級数表示を持たない場合はLagrange-Sylvester 多項式という道具を使って${\displaystyle f(A)}$を定めることができる^[2]。

特殊関数

代表的な特殊関数、具体的には

• ガンマ関数^[3]
• エアリー関数^[4]
• ベッセル関数^[5]
• 直交多項式^[6]
• 超幾何級数^[7]

などの関数^[8][9]、もしくはそのq類似についても行列バージョンを考えることができる^{[Q 1][Q 2][Q 3][Q 4][Q 5][Q 6]}。例えば、行列からなる無限乗積の収束を適切に定義したうえで^[10][11]、qポッホハマー記号の行列バージョンは次のように定義できる^{[Q 1][Q 2]}。

${\displaystyle (A;q)_{n}\!:=\!\prod _{k=0}^{n-1}(I-Aq^{k}),\quad (A;q)_{\infty }\!:=\!\lim _{n\to \infty }(A;q)_{n},\quad |q|<1,\quad A\in \mathbb {C} ^{n\times n}}$

これを使って、en:q-gamma functionの行列バージョンも導入できる^{[Q 2]}。

${\displaystyle \Gamma _{q}(A):=(q;q)_{\infty }(q^{A};q)_{\infty }^{-1}(1-q)^{I-A},\quad |q|<1}$

工学的重要性

行列指数関数はen:exponential integratorなどの常微分方程式の数値解法において必要である他^{[A 1][A 2][A 3][A 4][A 5][A 6][A 7][A 8]}、統計学などにおいて重要視されている^[1][12][13]。このような背景の下で、数値線形代数の研究者たちは行列値関数の高精度計算^{[1][14][B 1]}・精度保証付き数値計算^{[15][16][17][18]}の研究に積極的に取り組んでいる。具体的には、以下の関数が取り組まれている。

• 行列指数関数^{[B 2][B 3][B 4][B 5][B 6]}
• 行列の平方根^{[B 7][B 8][B 9][B 10]}
• 行列の三角関数^{[B 11]}
• 行列の実数乗^{[B 12][B 13]}
• 行列の対数^{[B 13][B 14]}
• 行列のガンマ関数^{[B 15]}
• 行列の超幾何級数^{[B 16][B 17]}

関連項目

関連分野

• 行列解析 (en) (線型代数学の中で行列値関数の性質を調べる分科)
• 数値線形代数

研究者

• クリーブ・モラー (en)
• ニコラス・ハイアム (en) (行列値関数の研究で多くの業績がある^{[1][B 1][B 4][B 7][B 8][B 11]})

主な行列値関数

• 行列指数関数
• 行列の対数
• 行列の平方根