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