グリーン関数

テンプレート:出典の明記 グリーン関数（グリーンかんすう、テンプレート:Lang-en-short）とは、微分方程式や偏微分方程式の解法の一つであるグリーン関数法に現れる関数である。グリーン関数法は、英国の数学者ジョージ・グリーンによって考案された。

物理学、数学、工学各分野において非常に重要な関数であり、広い用途で使用される。物理学におけるグリーン関数はプロパゲーター（伝播関数）とも呼ばれる。

J. A. Green により導入された組合せ論的関数のことをグリーン関数と呼ぶこともある。これはグリーン多項式とも呼ばれる。有限シュバレー群（オリジナルは有限体上の一般線型群）の既約表現を記述する数学的対象である。

微分方程式

下の偏微分方程式の（初期値）境界値問題を例に考える。

$\begin{array}{cccc}\mathrm{L}y(𝒙)& =-f(𝒙)& 𝒙& \in \mathrm{\Omega }\\ y(𝒙)& =\overline{y_1}& 𝒙& \in {\mathrm{\Gamma }}_1\\ \frac{\partial y(𝒙)}{\partial n}& =\overline{y_2}& 𝒙& \in {\mathrm{\Gamma }}_2\end{array}$

ここで、 $\mathrm{L}$は微分作用素、$\mathrm{\Omega }$は領域であり、領域の境界$\mathrm{\Gamma }$は、$\overline{y_1}$ が規定されている境界 ${\mathrm{\Gamma }}_1$と、$\partial y/\partial n$ が規定されている境界 ${\mathrm{\Gamma }}_2$ からなり、 ${\mathrm{\Gamma }}_1\cup {\mathrm{\Gamma }}_2=\mathrm{\Gamma }$、${\mathrm{\Gamma }}_1\cap {\mathrm{\Gamma }}_2=\varphi$ であるものとする。また、$n$ は境界での外向き法線方向を示す。

上記の問題に対するグリーン関数 $G(𝒙,{𝒙}^{\prime })$ とは次の条件を満たす関数のことである。

$\begin{array}{cccc}\mathrm{L}G(𝒙,{𝒙}^{\prime })& =-\delta (𝒙-{𝒙}^{\prime })& 𝒙& \in \mathrm{\Omega }\\ G(𝒙,{𝒙}^{\prime })& =0& 𝒙& \in {\mathrm{\Gamma }}_1\\ \frac{\partial G(𝒙,{𝒙}^{\prime })}{\partial n}& =0& 𝒙& \in {\mathrm{\Gamma }}_2\end{array}$

ここに、x′ はソース点の位置を表す。

無限領域におけるグリーン関数を基本解という。

境界が単純（無限領域、半無限領域、無限平板領域など）でない場合にはグリーン関数を解析的に求めるのは大変困難である。

物理学におけるグリーン関数

グリーン関数はもともと微分方程式の境界値問題に現れる関数である。物理学においても微分方程式を解くためにグリーン関数を用いることも多いが、量子物理学ではこれを拡張して使っている。つまり物理学においてグリーン関数は2通りの意味で扱われている。

• 境界値問題における微分方程式の主要解を意味し、与えられた全ての境界条件・初期条件を満足する。物理学では、微分方程式を直接解く代わりに、まず単純な点源問題の解であるグリーン関数を求めた後、重ね合わせの原理によって微分方程式の解をグリーン関数を用いて表す。
• ある物理系を構成する個々の状態間の相関関数を与える関数として使われ、位置や時間などで指定されたある状態から他の状態への伝達(伝播)の特性を表す。詳細はプロパゲーターやグリーン関数 (多体理論)を参照。

ポアソン方程式

電磁気学におけるポアソン方程式$\mathrm{\Delta }\phi (𝒓)=-\rho (𝒓)$の解$\phi (𝒓)$を求めたい。この方程式の解として積分方程式$\phi (𝒓)=\int G(𝒓,{𝒓}^{\prime })\rho ({𝒓}^{\prime })d{𝒓}^{\prime }$を仮定し、ポアソン方程式に代入するとグリーン関数$G(𝒓,{𝒓}^{\prime })$の満たすべき式が得られる。

$\mathrm{\Delta }G(𝒓,{𝒓}^{\prime })=-\delta (𝒓-{𝒓}^{\prime })$

これを解くために両辺をフーリエ変換すると、$G(𝒓,{𝒓}^{\prime })$のフーリエ変換$g(𝒌,{𝒓}^{\prime })=\frac{e^{-i𝒌\mathit{\cdot }{𝒓}^{\prime }}}{{𝒌}^2}$が得られる 。 これを逆フーリエ変換するとグリーン関数$G(𝒓,{𝒓}^{\prime })$が求まる。

$G(𝒓,{𝒓}^{\prime })=\frac{1}{4\pi |𝒓-{𝒓}^{\prime }|}$

よってポアソン方程式の解は次のように求まる。

$\phi (𝒓)=\int \frac{\rho ({𝒓}^{\prime })}{4\pi |𝒓-{𝒓}^{\prime }|}d{𝒓}^{\prime }$

以上のことから、位置$𝒓$の点電荷が別の位置${𝒓}^{\prime }$に作る静電ポテンシャルを表したものがグリーン関数であり、これを重ね合わせたものが電荷分布$\rho (𝒓)$の作る静電ポテンシャル$\phi (𝒓)$であることがわかる。

グリーン演算子と形式論

微分演算子を線型演算子 テンプレート:Mvar と見て、微分方程式 テンプレート:Math を解きたいとき、一種の逆演算子 テンプレート:Math を求めることができれば、テンプレート:Math というように微分方程式を解くことができる。これは線型代数における連立方程式において、係数行列の逆行列を求めることができれば連立方程式を解くことができることと対応している。このような テンプレート:Math をグリーン演算子 テンプレート:En という。グリーン演算子を行列表示したときの行列要素をグリーン関数という。

このようにグリーン関数を抽象的な演算子と考えて取り扱うことには次のような利点がある。

• 微分演算子や積分演算子だけでなく、第二量子化のような抽象的な演算子を用いた理論に対してもそのまま用いられる。それは定常状態のシュレーディンガー方程式においてハミルトニアンを第二量子化における演算子で書かれていると考えるだけである。
• 複雑な関係式を簡潔に見通しよく書ける場合があり、一般的な性質の議論を見通し良く行える

シュレディンガー方程式

例えば、方程式

$(-{\hat{H}}_0+E)|\varphi ⟩=0$

のグリーン演算子 テンプレート:Math が満たすべき方程式は

$(-{\hat{H}}_0+E){\hat{G}}^0=-1$

である。これを形式的に解くと

${\hat{G}}^0=-\frac{1}{E-{\hat{H}}_0}$

である。このグリーン演算子を具体的に計算するには テンプレート:Math の固有ベクトルを用いて

${\hat{G}}^0=-\sum _n\frac{1}{E-{\hat{H}}_0}|{\varphi }_n⟩⟨{\varphi }_n|=-\sum _n\frac{1}{E-E_0}|{\varphi }_n⟩⟨{\varphi }_n|$

のように展開する。ただし テンプレート:Math となるときは発散してしまう。それを避けるため分母をわずかに虚数軸方向にずらすことでこの問題は解消される

${\hat{G}}_{\pm }^0=\sum _n\frac{1}{E_0-E\pm iϵ}|{\varphi }_n⟩⟨{\varphi }_n|$

たとえば テンプレート:Math の場合のグリーン演算子の行列要素は、固有値を テンプレート:Math として、次のように書ける。

$G_{\pm }^0(𝒓,{𝒓}^{\prime })=⟨𝒓|{\hat{G}}_{\pm }^0|{𝒓}^{\prime }⟩=\frac{1}{4\pi |𝒓-{𝒓}^{\prime }|}{e}^{\pm ik|𝒓-{𝒓}^{\prime }|}$

ここで $G_{+}^0$ は外向き、$G_{-}^0$ は内向きの球面波で、波が テンプレート:Math から テンプレート:Math へ伝播する様子を示すものである。

散乱理論

テンプレート:Main 散乱理論の形式論では、グリーン関数が用いられる。その基本方程式にもグリーン関数が含まれ、リップマン‐シュウィンガー方程式と呼ばれる。

$|{\psi }^{(\pm )}⟩=|\varphi ⟩+{\widehat{G_0}}^{\pm }\hat{V}|{\psi }^{(\pm )}⟩$

摂動論

シュレーディンガー方程式を厳密に解く事は一般的に非常に困難な場合が多いが、近似に解く手法の一つとして摂動論がある。以下では摂動論におけるグリーン関数の形式理論について解説する。

系のハミルトニアン テンプレート:Math が無摂動項 テンプレート:Math と摂動項 テンプレート:Math の和で与えられた (テンプレート:Math) とする。無摂動ハミルトニアン テンプレート:Math に対して固有値方程式

${\hat{H}}_0{\varphi }_i^{(0)}=E_i^{(0)}{\varphi }_i^{(0)}$

が成り立つ（例：ハートリー-フォック近似など）。

テンプレート:Math を微分作用素として考えると非摂動グリーン関数 テンプレート:Mathは 以下のように定義される（ここでデルタ関数 テンプレート:Math は形式的に テンプレート:Math とした）。

$(\omega -{\hat{H}}_0)G^{(0)}(\omega )=-1$

次に摂動ハミルトニアン テンプレート:Math で展開すると、

$\begin{array}{cc}G(\omega )& =G^{(0)}(\omega )+G^{(0)}(\omega )\hat{V}{G}^{(0)}(\omega )+G^{(0)}(\omega )\hat{V}{G}^{(0)}(\omega )\hat{V}{G}^{(0)}(\omega )+\cdots \\ & =G^{(0)}(\omega )+G^{(0)}(\omega )\hat{V}G(\omega )\end{array}$

この式の両辺に テンプレート:Math を作用させ変形すると、摂動グリーン関数は次の関係を満たしていることがわかる。

$(\omega -{\hat{H}}_0-\hat{V})G(\omega )=-1$

また、この摂動グリーン関数が満たす関係式は

$({\hat{H}}_0+\hat{V}){\psi }_i=E_i{\psi }_i$

に対応している。

場の量子論・物性論

テンプレート:Main 場の量子論や物性論においては、シュレーディンガー方程式に対するグリーン関数ではなくて、むしろ場の演算子に対する方程式に関連したものをグリーン関数と名付けて有効に用いている。それらの方程式は相互作用がない場合は、例えばスカラー場に対してクライン-ゴルドン方程式となるように、既に知られた方程式と同形のものになり、グリーン関数としても同じものとなる。しかし相互作用がある場合は方程式が非線形となり、摂動論的な扱いを除いて、古典的なグリーン関数の理論との対応を失う。

関連記事

• ヘルムホルツ方程式
• ラプラス方程式
• 境界要素法
• インパルス応答

参考文献

• 寺沢寛一:「自然科学者のための数学概論 増訂版」、岩波書店、ISBN 978-4000054805（1983年5月18日）# 第14章「境界値問題」。
• 小泉義晴：「現代工学のための量子物理学とグリーン関数 : 講義・演習ノート」，現代工学社， ISBN 978-4874721308（1987年1月25日）。
• 篠崎寿夫：「現代工学のための偏微分方程式とグリーン関数」，現代工学社，ISBN 978-4874721254 (1987年2月1日）。
• 篠崎寿夫：「現代工学のための常微分方程式とグリーン関数」，現代工学社，ISBN 978-4874721247 (1996年8月1日)。
• 今村勤: 「物理とグリーン関数」，岩波書店，ISBN 978-4000077194 (2016年2月18日)。
• V.D. Seremet: ”Handbook of Green's Functions and Matrices”, WIT Press, ISBN 978-1-85312-933-9 (2002).
• 小泉義晴：「微分方程式と量子統計力学のグリーン関数―講義・演習」，東海大学出版会，ISBN 978-4486018872 (2010年11月)。
• 村上雅人:「なるほどグリーン関数」，海鳴社，ISBN 978-4875253549（2021年5月20日）。
• 亀高惟倫, 永井敦, 山岸弘幸:「グリーン関数」， 裳華房，ISBN 978-4785315979 (2022年11月25日)。
• 小形正男：「物性物理のための場の理論・グリーン関数[第2版]」、サイエンス社、(SGCライブラリ193), ISBN 978-4-7819-1613-2 (2024年9月25日)。