偏微分方程式の分類

偏微分方程式（PDE）は、複数の独立変数をもつ未知関数についての方程式です。2階線形偏微分方程式は、その係数に応じて3つのタイプに分類され、それぞれ異なる物理現象と数学的性質をもちます。

2階線形偏微分方程式の一般形

2変数 $x$ , $y$ の関数 $u (x, y)$ についての一般的な2階線形PDEは、

$A u_{xx} + 2 B u_{x y} + C u_{yy} + D u_{x} + E u_{y} + F u = G$

と書けます。ここで $A$ , $B$ , $C$ などは $x$ , $y$ の関数（または定数）です。

判別式による分類

主要部 $A u_{xx} + 2 B u_{x y} + C u_{yy}$ の係数から、判別式

$Δ = B^{2} - A C$

を計算します。この符号によって方程式のタイプが決まります。

Δ > 0

：双曲型

波動方程式が代表例。情報が有限速度で伝播します。

Δ = 0

：放物型

熱方程式が代表例。拡散現象を記述します。

Δ < 0

：楕円型

ラプラス方程式が代表例。平衡状態を記述します。

代表的な方程式

名前	方程式	タイプ
波動方程式	$u_{tt} = c^{2} u_{xx}$	双曲型
熱方程式	$u_{t} = k u_{xx}$	放物型
ラプラス方程式	$u_{xx} + u_{yy} = 0$	楕円型

物理的な意味

各タイプの方程式は、異なる物理現象のモデルになっています。

双曲型：振動・波動（弦の振動、音波、電磁波）

放物型：拡散・伝導（熱伝導、物質拡散）

楕円型：平衡・定常状態（静電場、定常熱分布）

初期条件と境界条件

方程式のタイプによって、適切な条件の与え方が異なります。

双曲型（波動方程式）では、初期時刻での $u$ と $u_{t}$ を与える初期値問題が典型的です。情報は特性曲線に沿って伝播します。

放物型（熱方程式）では、初期条件に加えて境界での温度を指定する初期境界値問題を考えます。時間の向きが本質的で、過去には戻れません。

楕円型（ラプラス方程式）では、領域の境界で値を指定する境界値問題を考えます。時間変数がないので、初期条件は必要ありません。

特性曲線

双曲型方程式では、特性曲線が重要な役割を果たします。波動方程式 $u_{tt} = c^{2} u_{xx}$ の特性曲線は $x \pm c t = const.$ で、情報がこの直線に沿って速度 $c$ で伝わることを意味します。

楕円型では実の特性曲線が存在せず、放物型では特性曲線が1本だけになります。この違いが、各タイプの解の性質の違いを生み出しています。

より高次元への拡張

3次元空間での波動方程式 $u_{tt} = c^{2} (u_{xx} + u_{yy} + u_{zz}) = c^{2} \nabla^{2} u$ も双曲型です。ラプラス方程式 $\nabla^{2} u = 0$ は楕円型で、ポアソン方程式 $\nabla^{2} u = f$ もこれに含まれます。