線型微分方程式

**線形微分方程式**（せんけいびぶんほうていしき、）は、微分を用いた線形作用素（線型微分作用素） と未知関数  と既知関数  を用いて
: 
の形に書かれる微分方程式のこと。

## 概要
線型微分方程式
:Ly = b
は、 の場合、2 つの解  を任意に取り、その差  を考えると、 が線型作用素であることから
: \begin{align}
Ld &= L\left(s_1 - s_2\right)\\
&=Ls_1 - Ls_2\\
&=b - b\\
&=0
\end{align}
となり、 の場合に帰着する。この  の場合の線型微分方程式は（もとの方程式に属する）**斉次**あるいは**同次**な 方程式と呼ばれる。 であることを考えれば線型微分方程式  のすべての解は  の特殊解と、元の方程式に対応する斉次方程式
:Ly = 0
の解の和となる。したがって、線型微分方程式を解くことは特殊解を見つける問題と、斉次方程式を解く問題に分けることができる。また、 が線型作用素であることから、斉次方程式の解は線型性を持ち、解同士の和や、解の定数倍も解になる。

関数の代わりに数列を（同時に、微分の代わりに差分を）考えると、類似の概念として漸化式（差分方程式）を捉えることができる（離散化）。線型差分方程式と線型微分方程式の間で、特性方程式を用いる解法など、いくつかの手法を共通に用いることができる。

## 定義
### 高階単独型
 の関数  の高階微分  および、可微分関数  により
:\frac{d^n y}{dx^n} + a_{n-1}(x)\frac{d^{n-1}y}{dx^{n-1}} + \cdots + a_1(x)y = b(x)
で表される微分方程式を**単独高階型の線型微分方程式**という。 であるとき**斉次**あるといい、
:\frac{d^n y}{dx^n} + a_{n-1}(x)\frac{d^{n-1}y}{dx^{n-1}} + \cdots + a_1(x)y = 0
を元の方程式に**属する斉次方程式**という。

微分作用素  を
:L\left(\frac{d}{dx}\right) = \frac{d^n}{dx^n} + a_{n-1}(x)\frac{d^{n-1}}{dx^{n-1}} + \cdots + a_1(x)
で定めると、未知関数  への作用  は  に関して線型性を持つ。
:\begin{align}
&L\left(\frac{d}{dx}\right)\left(y_1(x) + y_2(x)\right) = L\left(\frac{d}{dx}\right)y_1(x) + L\left(\frac{d}{dx}\right)y_2(x),\\
&L\left(\frac{d}{dx}\right)\lambda y(x) = \lambda L\left(\frac{d}{dx}\right)y(x).
\end{align}

### 1 階連立型
各成分が変数  の（適当な階数の）可微分関数である  次元縦ベクトル ,  次元縦ベクトル  および  行列  に対し、
:\frac{d\mathbf{y}}{dx} = A(x)\mathbf{y} + \mathbf{b}
で定義される微分方程式系を、 を**[[係数行列]]**  とする** 1 階連立型線型微分方程式**などと呼ぶ。
 である場合、方程式は**斉次**であるといい、 
:\frac{d\mathbf{y}}{dx} = A(x)\mathbf{y}
を元の方程式に**属する斉次方程式**という。右辺の  は  に関して線型性を持つ。
:\begin{align}
&A(x)\left(\mathbf{y}_1(x) + \mathbf{y}_2(x)\right) = A(x)\mathbf{y}_1(x) + A(x)\mathbf{y}_2(x),\\
&A(x)\lambda \mathbf{y}(x) = \lambda A(x)\mathbf{y}(x).
\end{align}

高階単独型線型微分方程式は、変換
:y_i := \frac{d^{i-1}y}{dx^{i-1}}, \qquad i = 1, 2,\dots, n.
により 1 階連立型の線型微分方程式に変形できる。従って、1 階連立型の線型微分方程式について成り立つ性質は、そのまま高階単独型の線型微分方程式にも適用できる。

## 解と解空間
### 基本解
斉次な線型微分方程式に対し、関数の集合 } がその微分方程式の解空間の基底となるならば、 に属する関数  のことを、その微分方程式の**基本解**という。つまり、斉次な線型微分方程式の**一般解**はすべて基本解の線型結合として得られる。また、一般の線型微分方程式では、その方程式の 1 つの特殊解と、その方程式に属する斉次方程式の一般解の線型結合が一般解を与える。

### ロンスキー行列式

斉次方程式の解としていくつかの関数が得られたとき、特に係数行列の形が  成分の正方行列で、 個の解  が得られたとき、それが基本解であるかどうかは次の行列式
: W(x) = \begin{vmatrix}
  y_{11}(x) & y_{12}(x) & \cdots & y_{1n}(x) \\
  y_{21}(x) & y_{22}(x) & \cdots & y_{2n}(x) \\
   \vdots   &  \vdots   & \ddots &  \vdots   \\ 
  y_{n1}(x) & y_{n2}(x) & \cdots & y_{nn}(x) 
\end{vmatrix}\quad 
(\mathbf{y}_j(x) = \begin{pmatrix}
  y_{1j}(x) \\ y_{2j}(x) \\ \vdots \\ y_{nj}(x)
\end{pmatrix})

が常に 0 でないことを確認することによって判定できる（実際には任意の 1 点で 0 でないといえば十分である）。

また、単独高階型の場合には、既に述べた方法でこれを 1 階連立型に帰着すると、解は  の形で出てくるから、上の行列式は次のように書き換えられる:
: W(x) = \begin{vmatrix}
  y_1 & y_2 & \cdots & y_n \\[5pt]
  \cfrac{dy_1}{dx} & \cfrac{dy_2}{dx} & \cdots & \cfrac{dy_n}{dx} \\[5pt]
   \vdots   &  \vdots   & \ddots &  \vdots   \\[3pt] 
  \cfrac{d^{n-1} y_1}{dx^{n-1}} & \cfrac{d^{n-1} y_2}{dx^{n-1}} & \cdots & \cfrac{d^{n-1} y_n}{dx^{n-1}} 
\end{vmatrix}.
これを**ロンスキー行列式**  または**ロンスキアン**  という。

## 定数係数の斉次常微分方程式の解法
 を既知の定数とする斉次線型常微分方程式
:\frac{d^n y}{dx^n} + a_{n-1}\frac{d^{n-1}y}{dx^{n-1}} + \cdots + a_0y = 0
の左辺に対し、各  を  に置き換えて得られる多項式

: F(t) = \sum_{k=0}^n a_k t^k = t^n + a_{n-1}t^{n-1} + \dots + a_0

をこの常微分方程式の**特性多項式** 、更に  の代数方程式  をこの常微分方程式の**[[特性方程式]]**  という。

 を代数方程式  の根とすれば、指数関数  は  を満たすから、
:
  F\left(\frac{d}{dx}\right){\rm exp}(\omega x) 
  = F(\omega){\rm exp}(\omega x) = 0

となり、 は元の常微分方程式の解である。ただし、 は、多項式  の  を  に置き換えた微分作用素である。

特性多項式  が重根を持たなければ、線型代数学でよく知られた事実により集合 } は元の常微分方程式の解を生成する。重根を持つならば  などがさらに必要となる。

## 関数係数の斉次常微分方程式の解法
1960年以降の研究で，定数係数ではない関数係数の斉次常微分方程式の解法が報告されている。

主に，求積法による解法が多く、2 階線型常微分方程式をはじめ、多くの非線型常微分方程式がある。
これらの中に、一般の陰関数型の常微分方程式があるので、この陰関数型の関数に線型の関数型を与えれば、線型の常微分方程式が得られる。

## 脚注

### 注釈

### 出典

## 関連項目
* 関数解析学
* 微分方程式
** 常微分方程式
** 偏微分方程式
* ロンスキー行列式
* 求積法
* 変数分離
* 線形代数学
** 線形性
** 線形方程式