ロンスキー行列式のソースを表示

[[数学]]の特に[[線型代数学]]における'''ロンスキー行列式'''（ロンスキーぎょうれつしき、{{lang-en-short|''Wronski determinant''}}）または'''ロンスキアン'''（{{lang-en-short|''Wronskian''}}）は {{harvs|txt|authorlink=ユゼフ・マリア・ハーネー＝ウロンスキー|first=Józef|last=Hoene-Wronski|year=1812}} が導入した行列式で、{{harvs|txt|authorlink=トーマス・ミューア (数学者)|first=Thomas|last=Muir|year=1882|loc=Chapter XVIII}} が名づけた。[[微分方程式]]の研究において用いられ、解の集合が[[線型独立]]であることを示すのに利用される。

== 定義 ==
2 つの[[関数 (数学)|函数]] {{math|''f'', ''g''}} のロンスキー行列式は {{math|''W''(''f'', ''g'') {{=}} ''fg{{'}}'' &minus; ''gf{{'}}''}} で与えられる。より一般に、{{mvar|n}} 個の[[実数|実]]または[[複素数]]値函数 {{math|''f''<sub>1</sub>, ..., ''f<sub>n</sub>''}} が[[区間 (数学)|区間]] {{mvar|I}} 上で {{math|''n'' &minus; 1}} 階まで[[微分可能]]とするとき、それらのロンスキー行列式 {{math|''W''(''f''<sub>1</sub>, ..., ''f<sub>n</sub>'')}} とは
:<math>
W(f_1, \ldots, f_n) (x)=
\left|\boldsymbol{f}_1(x)\boldsymbol{f}_2(x)\dots\boldsymbol{f}_n(x)\right|
=
\begin{vmatrix} 
f_1(x) & f_2(x) & \cdots & f_n(x) \\
f_1'(x) & f_2'(x) & \cdots & f_n' (x)\\
\vdots & \vdots & \ddots & \vdots \\
f_1^{(n-1)}(x)& f_2^{(n-1)}(x) & \cdots & f_n^{(n-1)}(x)
\end{vmatrix},\qquad x\in I
</math>
で定義される {{mvar|I}} 上の函数を言う。ここで {{math|''f<sub>i</sub>''<sup>(''j'')</sup>(''x'') {{coloneqq}} {{sfrac|d&thinsp;''<sup>j</sup>f''|d''x&thinsp;<sup>j</sup>''}}(''x'')}}, また {{math|'''''f'''<sub>i</sub>'' {{=}} (''f<sub>i</sub>''<sup>(0)</sup>,..., ''f<sub>i</sub>''<sup>(''n'' &minus; 1)</sup>)<sup>t</sup>}} である。つまり、第 1 行は各函数、第 2 行はそれらの 1 階導函数、以下同様に第 {{math|(''n'' &minus; 1)}}-階導函数までを並べてできる[[行列]]<ref group="注">従ってこれは[[正方行列]]を成す。'''基本行列''' {{en|(''fundamental matrix'')}} と呼ばれることもある。</ref>の[[行列式]]である。

考える函数族 {{mvar|f<sub>i</sub>}} が[[線型微分方程式]]の解であるとき、そのロンスキー行列式は[[アーベルの恒等式]]を用いて明示的に求められる<ref group="注">これは函数族 {{mvar|f<sub>i</sub>}} が陽に分かっていないときでも言える。</ref>。

== ロンスキー行列式と線型独立性 ==
函数族 {{mvar|f<sub>i</sub>}} が[[線型従属]]ならば、ロンスキー行列式の列もそうなるから、微分作用素の線型性によってロンスキー行列式は消える<ref group="注">つまり、行列式が 0 になる。</ref>。故にロンスキー行列式は、ロンスキー行列式が恒等的に消えないことを見ることによって、可微分函数の集合がある区間上で[[線型独立]]であることを示すのに利用できる。

よくある間違いに、至る所 {{math|''W'' {{=}} 0}} なることから線型従属性が従うと考えることが挙げられるが、{{harvtxt|Peano|1889}} は函数 {{math|''x''<sup>2</sup>}} および {{math|{{mabs|''x''}}''x''}} が連続な導函数を持ちロンスキー行列式が至る所で消えるにもかかわらず、これらが 0 の任意の近傍において線型従属でないことを指摘している。つまり、線型従属性を保証するためにはロンスキー行列式が区間上で消えるだけでは十分でなくて，なんらかの追加の条件が必要である。そのような条件の例はいくつか存在する。例えば {{harvtxt|Peano|1889}} では、函数が[[解析関数|解析的]]ならばよいことが述べられる。また {{harvtxt|Bochner|1901}} には他にもいくつかの条件が提示されていて、例えば {{mvar|n}} 個の函数のロンスキー行列式が恒等的に消えていて、かつそれらの函数から {{math|''n'' &minus; 1}} 個を選んでできる {{mvar|n}} 個のロンスキー行列式のすべてが同時に消える点がどこにもなければ、それらの函数は線型従属である。{{harvtxt|Wolsson|1989a}} はより一般の条件のもとで、ロンスキー行列式が消えることから線型従属性が得られることを示している。

== 一般化されたロンスキー行列式 ==
{{mvar|n}} 個の多変数函数に対して、'''一般化されたロンスキー行列式''' {{en|(''generalized Wronskian'')}} とは、各 {{math|(''i'', ''j'')}}-成分が  {{math|''D<sub>i</sub>''(''f<sub>j</sub>'') (0 ≤ ''i'' &lt; ''n'')}} で与えられる {{math|''n''&thinsp;&times;&thinsp;''n''}} 行列の行列式を言う。ただし、各 {{mvar|D<sub>i</sub>}} は {{mvar|i}}-階の適当な定数係数の線型偏微分作用素とする。与えられた函数族が線型従属ならば一般化ロンスキー行列式は全て消えるが、一変数の場合と同様に逆は一般には正しくない（つまり、全ての一般化ロンスキ行列が消えるからと言ってそれらの線型従属性は言えない）。ただし、多くの特別の場合には逆が成り立つ。例えば、考える函数族の各函数が多項式で、その全ての一般化ロンスキー行列式が消えるならば、その函数族は線型従属である。ロスは一般化ロンスキー行列式に関するこの結果を[[ロスの定理]]の証明に用いた。逆が成り立つより一般の条件については {{harvtxt|Wolsson|1989b}} を見よ。

== 関連項目 ==
* [[フェリーチェ・カゾラーティ|カゾラーティ]]行列式（Casoratian）: 線型[[差分方程式]]に対するロンスキー行列式の類似物
* {{ill|ムーア行列|en|Moore matrix}}: 微分を有限体上の[[フロベニウス準同型]]にとりかえて得られるロンスキー行列の類似物

== 注釈 ==
{{reflist|group="注"}}

== 参考文献 ==
{{参照方法|date=2023年10月}}
*{{Citation | last1=Bocher | first1=Maxime | title=Certain Cases in Which the Vanishing of the Wronskian is a Sufficient Condition for Linear Dependence | jstor=1986214 | publisher=[[American Mathematical Society]] | location=Providence, R.I. | year=1901 | journal=[[Transactions of the American Mathematical Society]] | issn=0002-9947 | volume=2 | issue=2 | pages=139–149}}
*{{Citation | last1=Hartman | first1=Philip | title=Ordinary differential equations | url=https://books.google.co.jp/books?id=CENAPMUEpfoC&redir_esc=y&hl=ja | publisher=[[John Wiley & Sons]] | location=New York | isbn=978-0-89871-510-1 | mr=0171038 | year=1964}}
*{{citation|first=J. |last=Hoene-Wronski|title=Réfutation de la théorie des fonctions analytiques de Lagrange|place= Paris  |year=1812}}
*{{Citation | last1=Muir | first1=Thomas | title=A treatise on the theorie of determinants. | url=https://archive.org/details/atreatiseontheo00muirgoog | publisher= Macmillan  | year=1882}}
*{{Citation | last1=Peano | first1=Giuseppe | author1-link=ジュゼッペ・ペアノ | title=Sur le déterminant wronskien. | language=French | jfm=21.0153.01 | year=1889 | journal=[[Mathesis (journal)|Mathesis]] | volume=IX | pages=75–76, 110–112}}
*{{SpringerEOM|title=Wronskian|last=Rozov|first=N. Kh. |urlname=Wronskian}}
*{{Citation | last1=Wolsson | first1=Kenneth | title=A condition equivalent to linear dependence for functions with vanishing Wronskian | doi=10.1016/0024-3795(89)90393-5 | mr=989712 | year=1989a | journal=Linear Algebra and its Applications | issn=0024-3795 | volume=116 | pages=1–8}}
*{{Citation | last1=Wolsson | first1=Kenneth | title=Linear dependence of a function set of m variables with vanishing generalized Wronskians | doi=10.1016/0024-3795(89)90548-X | mr=993032 | year=1989b | journal=Linear Algebra and its Applications | issn=0024-3795 | volume=117 | pages=73–80}}

{{DEFAULTSORT:ろんすきいきようれつしき}}
[[Category:微分方程式]]
[[Category:常微分方程式]]
[[Category:行列式]]
[[Category:解析学]]
[[Category:数学に関する記事]]
[[Category:数学のエポニム]]