logo

微分方程式の基本解、グリーン関数 📂偏微分方程式

微分方程式の基本解、グリーン関数

定義

非同次項が$f$の非同次微分方程式の解$u$が$\Phi$と$f$に関する関数として表現される場合、$\Phi$を微分方程式の基本解fundamental solutionと言う。

$$ u = u\left( \Phi, f \right) $$

説明

厳密な定義ではないことに注意。

グリーン関数Green’s functionとも呼ばれる。同じ概念を指す言葉だが、グリーン関数と言う時は境界条件が与えられた場合を意味することが多い。例えば、初期条件$y(a) = 0 = y^{\prime}(a)$が与えられた初期値問題での場合(一方向の境界条件が与えられたように見えるので)one-sided Green’s functionと呼ぶ。境界条件$y(a) = 0 = y(b)$が与えられた境界値問題での場合には、グリーン関数と呼ぶ。1 2

通常、以下の例で示されるように、非同次項がディラックのデルタ関数$\delta$の場合の解を基本解と言う。つまり、微分演算子$L$に対して以下の式

$$ L\Phi = \delta $$

を満たす$\Phi$を微分方程式$Lu = f$の基本解と呼ぶことになる。これにより、微分方程式のソリューションは

$$ u(x) = \Phi \ast f (x) $$

として表現される。ここで、$\ast$は畳み込みである。

ラプラス方程式

ラプラス方程式$-\Delta \Phi = \delta$の解をラプラス方程式の基本解という。

$$ \Phi (x) := \begin{cases} -\dfrac{1}{2\pi}\log |x| & n=2 \\ \dfrac{1}{n(n-2)\alpha (n)} \dfrac{1}{|x|^{n-2}} & n \ge 3 \end{cases} $$

すると、任意の非同次ラプラス方程式$-\Delta u = f$の解は次のような形で表現される。

$$ u(x) = \Phi \ast f (x) = \int \Phi (x-y)f(y) dy $$

これが実際に解となることは、以下のように示すことができる。

$$ \begin{align*} -\Delta u(x) =&\ - \Delta \Phi \ast f (x) = - \Delta \int \Phi (x-y)f(y) dy \\ =&\ \int - \Delta \Phi (x-y)f(y) dy \\ =&\ \int \delta (x-y)f(y) dy \\ =&\ f(x) \end{align*} $$

簡単にできるように見えるが、実際は$x=0$で$\Phi$が発散するため、厳密な証明が必要だ。

ヘルムホルツ方程式

ヘルムホルツ方程式$-(\Delta + k^{2} )\Phi = \delta$の解をヘルムホルツ方程式の基本解という。すると、任意の非同次ヘルムホルツ方程式

$$ -(\Delta + k^{2} )u = f $$

の解は次のようになる。

$$ u(x) = \Phi \ast f (x) = \int \Phi (x-y)f(y) dy $$

次の過程で、これが実際に解となることがわかる。

$$ \begin{align*} -(\Delta + k^{2}) u(x) =&\ -(\Delta + k^{2}) \Phi \ast f (x) = -(\Delta + k^{2}) \int \Phi (x-y)f(y) dy \\ =&\ \int -(\Delta + k^{2}) \Phi (x-y)f(y) dy \\ =&\ \int \delta (x-y)f(y) dy \\ =&\ f(x) \end{align*} $$


  1. two-sided Green’s function이라는 말도 찾아볼 수 있지만 거의 쓰이지 않는다. ↩︎

  2. https://boundaryvalueproblems.springeropen.com/articles/10.1186/1687-2770-2013-45 ↩︎