微分方程式の基本解、グリーン関数
📂偏微分方程式微分方程式の基本解、グリーン関数
定義
非同次項がfの非同次微分方程式の解uがΦとfに関する関数として表現される場合、Φを微分方程式の基本解fundamental solutionと言う。
u=u(Φ,f)
説明
厳密な定義ではないことに注意。
グリーン関数Green’s functionとも呼ばれる。同じ概念を指す言葉だが、グリーン関数と言う時は境界条件が与えられた場合を意味することが多い。例えば、初期条件y(a)=0=y′(a)が与えられた初期値問題での場合(一方向の境界条件が与えられたように見えるので)one-sided Green’s functionと呼ぶ。境界条件y(a)=0=y(b)が与えられた境界値問題での場合には、グリーン関数と呼ぶ。
通常、以下の例で示されるように、非同次項がディラックのデルタ関数δの場合の解を基本解と言う。つまり、微分演算子Lに対して以下の式
LΦ=δ
を満たすΦを微分方程式Lu=fの基本解と呼ぶことになる。これにより、微分方程式のソリューションは
u(x)=Φ∗f(x)
として表現される。ここで、∗は畳み込みである。
ラプラス方程式
ラプラス方程式−ΔΦ=δの解をラプラス方程式の基本解という。
Φ(x):=⎩⎨⎧−2π1log∣x∣n(n−2)α(n)1∣x∣n−21n=2n≥3
すると、任意の非同次ラプラス方程式−Δu=fの解は次のような形で表現される。
u(x)=Φ∗f(x)=∫Φ(x−y)f(y)dy
これが実際に解となることは、以下のように示すことができる。
−Δu(x)==== −ΔΦ∗f(x)=−Δ∫Φ(x−y)f(y)dy ∫−ΔΦ(x−y)f(y)dy ∫δ(x−y)f(y)dy f(x)
簡単にできるように見えるが、実際はx=0でΦが発散するため、厳密な証明が必要だ。
ヘルムホルツ方程式
ヘルムホルツ方程式−(Δ+k2)Φ=δの解をヘルムホルツ方程式の基本解という。すると、任意の非同次ヘルムホルツ方程式
−(Δ+k2)u=f
の解は次のようになる。
u(x)=Φ∗f(x)=∫Φ(x−y)f(y)dy
次の過程で、これが実際に解となることがわかる。
−(Δ+k2)u(x)==== −(Δ+k2)Φ∗f(x)=−(Δ+k2)∫Φ(x−y)f(y)dy ∫−(Δ+k2)Φ(x−y)f(y)dy ∫δ(x−y)f(y)dy f(x)