常微分方程式⑧ロンスキアン(Wronskian)
ロンスキアンの微分方程式への応用・その意味とは 行列$W(x)$を \begin{align*} W(x)= \begin{pmatrix} \psi_1(x) & \psi_2 & \cdots & \psi_n(x)\\ \psi_1^\prime & \psi_2^\prime &\cdots & \psi_n^\prime(x)\\ \vdots & \vdots &\cdots &\vdots\\ \psi_1^{(n)}(x) & \psi_2^{(n)}(x) & \cdots & \psi_n^{(n)}(x) \end{pmatrix} \end{align*} とおいて、この行列式$\det{W(x)}$を ロンスキアン といいます。 線形微分方程式について、あまり線形独立(一次独立)の話については言及しませんでしたが、たとえば定係数の斉次形の一階線形微分方程式であれば、1つの線形独立の関数が答えになったわけです。 同様に、二階定係数線形微分方程式であれば二つの線形独立解が得られます。 つまり、裏を返せば、定係数の$n$階の線形微分方程式では、$n$個の線形独立解を得られれば、その定数倍の和が解となります。 この判別するための道具がロンスキアンなわけです。 関数系$\{\psi_1(x),\psi(x),\cdots ,\psi_n(x)\}$を考えましょう。このロンスキー行列$W(x)$は、 \begin{align*} W(x)= \begin{pmatrix} \psi_1(x) & \psi_2 & \cdots & \psi_n(x)\\ \psi_1^\prime & \psi_2^\prime &\cdots & \psi_n^\prime(x)\\ \vdots & \vdots &\cdots &\vdots\\ \psi_1^{(n)}(x) & \psi_2^{(n)}(x) & \cdots & \psi_n^{(n)}(x) \end{pmatrix} \end{align*} という最