数学の特に線型代数学におけるロンスキー行列式(ロンスキーぎょうれつしき、)またはロンスキアン()は が導入した行列式で、 が名づけた。微分方程式の研究において用いられ、解の集合が線型独立であることを示すのに利用される。
定義 2 つの函数 のロンスキー行列式は で与えられる。より一般に、 個の実または複素数値函数 が区間 上で 階まで微分可能とするとき、それらのロンスキー行列式 とは
で定義される 上の函数を言う。ここで , また である。つまり、第 1 行は各函数、第 2 行はそれらの 1 階導函数、以下同様に第 -階導函数までを並べてできる行列従ってこれは正方行列を成す。基本行列 と呼ばれることもある。の行列式である。
考える函数族 が線型微分方程式の解であるとき、そのロンスキー行列式はアーベルの恒等式を用いて明示的に求められるこれは函数族 が陽に分かっていないときでも言える。。
ロンスキー行列式と線型独立性 函数族 が線型従属ならば、ロンスキー行列式の列もそうなるから、微分作用素の線型性によってロンスキー行列式は消えるつまり、行列式が 0 になる。。故にロンスキー行列式は、ロンスキー行列式が恒等的に消えないことを見ることによって、可微分函数の集合がある区間上で線型独立であることを示すのに利用できる。
よくある間違いに、至る所 なることから線型従属性が従うと考えることが挙げられるが、 は函数 および が連続な導函数を持ちロンスキー行列式が至る所で消えるにもかかわらず、これらが 0 の任意の近傍において線型従属でないことを指摘している。つまり、線型従属性を保証するためにはロンスキー行列式が区間上で消えるだけでは十分でなくて,なんらかの追加の条件が必要である。そのような条件の例はいくつか存在する。例えば では、函数が解析的ならばよいことが述べられる。また には他にもいくつかの条件が提示されていて、例えば 個の函数のロンスキー行列式が恒等的に消えていて、かつそれらの函数から 個を選んでできる 個のロンスキー行列式のすべてが同時に消える点がどこにもなければ、それらの函数は線型従属である。 はより一般の条件のもとで、ロンスキー行列式が消えることから線型従属性が得られることを示している。
一般化されたロンスキー行列式 個の多変数函数に対して、一般化されたロンスキー行列式 とは、各 -成分が で与えられる 行列の行列式を言う。ただし、各 は -階の適当な定数係数の線型偏微分作用素とする。与えられた函数族が線型従属ならば一般化ロンスキー行列式は全て消えるが、一変数の場合と同様に逆は一般には正しくない(つまり、全ての一般化ロンスキ行列が消えるからと言ってそれらの線型従属性は言えない)。ただし、多くの特別の場合には逆が成り立つ。例えば、考える函数族の各函数が多項式で、その全ての一般化ロンスキー行列式が消えるならば、その函数族は線型従属である。ロスは一般化ロンスキー行列式に関するこの結果をロスの定理の証明に用いた。逆が成り立つより一般の条件については を見よ。
関連項目 カゾラーティ行列式(Casoratian): 線型差分方程式に対するロンスキー行列式の類似物 : 微分を有限体上のフロベニウス準同型にとりかえて得られるロンスキー行列の類似物
注釈
参考文献