行列値関数

行列値関数（ぎょうれつちかんすう、）とは行列を変数に持つ特殊関数の総称である。
定義.
通常の特殊関数はガンマ関数などを除いて、微分方程式の解 (可積分系の厳密解) として定義されることが多い。しかし行列値関数の場合は異なる。
初等関数.
formula_1が与えられたとする。このときformula_2がどのような関数であればformula_3に行列としての意味を持たせられるかを考える。自然に思いつくのは多項式の場合：
このときは当然ながら、
と定義するのが合理的である。この考えを発展させることで
と定義されているときには
と定義すればよいということが言える (もちろん行列からなる無限列の収束を適切に定義することも必要不可欠である)。例えば行列指数関数などの初等関数は次のように定められる:
もしもformula_2がベキ級数表示を持たない場合はLagrange-Sylvester 多項式という道具を使ってformula_3を定めることができる。
特殊関数.
代表的な特殊関数、具体的には
などの関数、もしくはそのq類似についても行列バージョンを考えることができる。例えば、行列からなる無限乗積の収束を適切に定義したうえで、qポッホハマー記号の行列バージョンは次のように定義できる。
これを使って、の行列バージョンも導入できる。
工学的重要性.
行列指数関数はなどの常微分方程式の数値解法において必要である他、統計学などにおいて重要視されている。このような背景の下で、数値線形代数の研究者たちは行列値関数の高精度計算・精度保証付き数値計算の研究に積極的に取り組んでいる。具体的には、以下の関数が取り組まれている。