グリーン関数

グリーン関数 () とは、微分方程式や偏微分方程式の解法の一つであるグリーン関数法に現れる関数である。グリーン関数法は、英国の数学者ジョージ・グリーンによって考案された。
物理学、数学、工学各分野において非常に重要な関数であり、広い用途で使用される。物理学におけるグリーン関数はプロパゲーター（伝播関数）とも呼ばれる。
J. A. Green により導入された組合せ論的関数のことをグリーン関数と呼ぶこともある。これはグリーン多項式とも呼ばれる。有限シュバレー群（オリジナルは有限体上の一般線型群）の既約表現を記述する数学的対象である。
微分方程式.
下の偏微分方程式の（初期値）境界値問題を例に考える。
ここで、 formula_2は微分作用素、formula_3は領域であり、領域の境界formula_4は、formula_5 が規定されている境界 formula_6と、formula_7 が規定されている境界 formula_8 からなり、 formula_9、formula_10 であるものとする。また、formula_11 は境界での外向き法線方向を示す。
上記の問題に対するグリーン関数 formula_12 とは次の条件を満たす関数のことである。
ここに、"x′" はソース点の位置を表す。
無限領域におけるグリーン関数を基本解という。
境界が単純（無限領域、半無限領域、無限平板領域など）でない場合にはグリーン関数を解析的に求めるのは大変困難である。
物理学におけるグリーン関数.
グリーン関数はもともと微分方程式の境界値問題に現れる関数である。物理学においても微分方程式を解くためにグリーン関数を用いることも多いが、量子物理学ではこれを拡張して使っている。つまり物理学においてグリーン関数は2通りの意味で扱われている。
ポアソン方程式.
電磁気学におけるポアソン方程式formula_14の解formula_15を求めたい。この方程式の解として積分方程式formula_16を仮定し、ポアソン方程式に代入するとグリーン関数formula_17の満たすべき式が得られる。
これを解くために両辺をフーリエ変換すると、formula_17のフーリエ変換formula_20が得られる
これを逆フーリエ変換するとグリーン関数formula_17が求まる。
よってポアソン方程式の解は次のように求まる。
以上のことから、位置formula_24の点電荷が別の位置formula_25に作る静電ポテンシャルを表したものがグリーン関数であり、これを重ね合わせたものが電荷分布formula_26の作る静電ポテンシャルformula_15であることがわかる。
グリーン演算子と形式論.
微分演算子を線型演算子 と見て、微分方程式 を解きたいとき、一種の逆演算子 を求めることができれば、 というように微分方程式を解くことができる。これは線型代数における連立方程式において、係数行列の逆行列を求めることができれば連立方程式を解くことができることと対応している。このような をグリーン演算子 という。グリーン演算子を行列表示したときの行列要素をグリーン関数という。
このようにグリーン関数を抽象的な演算子と考えて取り扱うことには次のような利点がある。
シュレディンガー方程式.
例えば、方程式
のグリーン演算子 が満たすべき方程式は
である。これを形式的に解くと
である。このグリーン演算子を具体的に計算するには の固有ベクトルを用いて
のように展開する。ただし となるときは発散してしまう。それを避けるため分母をわずかに虚数軸方向にずらすことでこの問題は解消される
たとえば の場合のグリーン演算子の行列要素は、固有値を として、次のように書ける。
ここで formula_34 は外向き、formula_35 は内向きの球面波で、波が から へ伝播する様子を示すものである。
散乱理論.
散乱理論の形式論では、グリーン関数が用いられる。その基本方程式にもグリーン関数が含まれ、リップマン‐シュウィンガー方程式と呼ばれる。
摂動論.
シュレーディンガー方程式を厳密に解く事は一般的に非常に困難な場合が多いが、近似に解く手法の一つとして摂動論がある。以下では摂動論におけるグリーン関数の形式理論について解説する。
系のハミルトニアン が無摂動項 と摂動項 の和で与えられた () とする。無摂動ハミルトニアン に対して固有値方程式
が成り立つ（例：ハートリー-フォック近似など）。
 を微分作用素として考えると非摂動グリーン関数 は
以下のように定義される（ここでデルタ関数 は形式的に とした）。
次に摂動ハミルトニアン で展開すると、
この式の両辺に を作用させ変形すると、摂動グリーン関数は次の関係を満たしていることがわかる。
また、この摂動グリーン関数が満たす関係式は
に対応している。
場の量子論・物性論.
場の量子論や物性論においては、シュレーディンガー方程式に対するグリーン関数ではなくて、むしろ場の演算子に対する方程式に関連したものをグリーン関数と名付けて有効に用いている。それらの方程式は相互作用がない場合は、例えばスカラー場に対してクライン-ゴルドン方程式となるように、既に知られた方程式と同形のものになり、グリーン関数としても同じものとなる。しかし相互作用がある場合は方程式が非線形となり、摂動論的な扱いを除いて、古典的なグリーン関数の理論との対応を失う。