偏微分方程式の解(Solutions of partial differential equations)

この章では偏導関数を含んだ方程式の初等的な解法について学びます．偏微分方程式は独立変数 $x,y,z,\ldots$ ，これらの変数の関数 $u$

，偏導関数 $u_{x},u_{y},u_{xx},u_{yy},u_{xz}, \ldots$ を含んだ方程式のことです．この方程式の次数は偏導関数の最高次数で与えられます．

最も一般的な2変数の2階線形偏微分方程式は次の形で与えられます．

$\displaystyle au_{xx} + bu_{xy} + cu_{yy} + du_{x} + eu_{y} + fu + g = 0 .$

ただし，

は

の既知の関数とします．また独立変数 $x, y$

が定義されている平面上の領域で上の式を満たす $u$

をこの偏微分方程式の解といいます．

線形偏微分方程式は比較的簡単な理論で説明でき，また多くの実用問題での数学的モデルはこの形で与えられるので，しっかり学んで下さい．

次の演算記号は偏微分方程式を扱う上で欠かせないものです．

$\displaystyle \Delta_{n}$	$\displaystyle =$	$\displaystyle \frac{\partial^{2}}{\partial x_{1}^{2}} + \cdots + \frac{\partial^{2}}{\partial x_{n}^{2}}$ Laplace or potential operator
$\displaystyle \Delta_{n-1}$	$\displaystyle -$	$\displaystyle k\frac{\partial}{\partial t}$ Heat または diffusion operator
$\displaystyle \Delta_{n-1}$	$\displaystyle -$	$\displaystyle \frac{1}{c^{2}}\frac{\partial^{2}}{\partial t^{2}}$ D'Alembert or wave operator

これらの式で，

は時間変数，

は物質の熱伝導率/熱拡散率に反比例する定数， $c$

は波動の速度を表わします．

定数係数の場合，2次曲線

$\displaystyle ax^{2} + bxy + cy^{2} + dx + ey + f = 0$

に対比させて， $b^{2} - 4ac$ が負，零，正にしたがって，楕円型(elliptic)，放物線型(parabolic)，双曲線型(hyperbolic)とよばれます．また適当な変数変換により $b^{2} - 4ac$ が負，零，正にしたがって，potential operator，diffusion operator，wave operatorを用いることができます．

例題 7..1

$3u_{xx} + 2u_{xy} + 5u_{yy} + xu_{y} = 0$ は楕円型であることを示せ．また， $u_{xx} + yu_{yy} = 0$ は何型か調べよ．

解

$\displaystyle b^{2} - 4ac = 2^{2} - 4(3)(5) = -56 < 0$

より，楕円型．

一方， $u_{xx} + yu_{yy} = 0$ は

$\displaystyle b^{2} - 4ac = 0^{2} - 4(1)y = -4y$

したがって，

のとき楕円型，

のとき放物線型，

のとき双曲線型となる． $\blacksquare$

例題 7..2

$u(x,y) = x^{2} - y^{2}, v(x,y) = e^{x}\cos{y}$ は二次元Laplace方程式

$\displaystyle \Delta_{2}u = u_{xx} + u_{yy} = 0, \Delta_{2}v = 0$

の解であることを示せ．二次元ラプラス方程式を満たす2回微分可能の関数を調和関数(harmonic function)という．

解

$\displaystyle u_{x} = 2x, u_{xx} = 2, u_{y} = -2y, u_{yy} = -2,$

$\displaystyle v_{x} = e^{x}\cos{y}, v_{xx} = e^{x}\cos{y}, v_{y} = - e^{x}\sin{y}, v_{yy} = - e^{x}\cos{y}.$

したがって， $u_{xx} + u_{yy} = 0, v_{xx} + v_{yy} = 0$ . $\blacksquare$

偏微分方程式の解全体の集合は解集合(solution set)といいます．ただ解集合は非常に大きな集合であったり，やっかいな集合であったりするので，私たちはすべての解が導けるような基本的な解の集合を考えます．このような解の集合を完全解(complete solution)または一般解(general solution)といいます．また特殊解は一般解から導けます．

簡単な偏微分方程式は次の例が示すように直接積分することにより解くことができます．

例題 7..3

$u_{x} = y\sin{x}$ を解け．

解

$\displaystyle u(x,y) = \int u_{x}dx = \int y\sin{x}dx = - y\cos{x} + f(y),$

ただし

は

の任意の関数． $\blacksquare$

例題 7..4

$u_{xx}(x,y,z) = x$ を解け．

解

$\displaystyle u_{x}(x,y,z) = \int u_{xx}dx = \int x dx = \frac{x^{2}}{2} + f(y,z),$

$\displaystyle u(x,y,z) = \int u_{x} dx$	$\displaystyle =$	$\displaystyle \int (\frac{x^2}{2} + f(y,z))dx$
	$\displaystyle =$	$\displaystyle \frac{x^3}{6} + xf(y,z) + g(y,z). \ensuremath{ \blacksquare}$

残念ながら一般に，偏微分方程式は上で行なったように直接積分して解けることはほとんどありません．そこで次の節では他の方法を考えてみます．その前に，もう少し偏微分方程式の解について考えます．

同次常微分方程式で解の一次結合が，また解であったように，同次偏微分方程式でも $u_{1}(x,y),u_{2}(x,y),\ldots,u_{n}(x,y)$ が，同次偏微分方程式の解ならば，その一次結合 $\sum_{i=1}^{n}c_{i}u_{i}(x,y)$ もまた解になります．とくに，偏微分方程式では $\sum_{i=1}^{\infty}c_{i}u_{i}(x,y)$ が収束し，この級数の項別微分が可能であれば， $\sum_{i=1}^{\infty}c_{i}u_{i}(x,y)$ も同次偏微分方程式の解になります．これを重ね合わせの原理(principle of superposition)といいよく用います．

Subsections

演習問題7.1