微分方程式編集物理学におけるグリーン関数編集
グリーン関数はもともと微分方程式の境界値問題に現れる関数である。物理学においても微分方程式を解くためにグリーン関数を用いることも多いが、量子物理学ではこれを拡張して使っている[1]。つまり物理学においてグリーン関数は2通りの意味で扱われている。[2]
- 境界値問題における微分方程式の主要解を意味し、与えられた全ての境界条件・初期条件を満足する。物理学では、微分方程式を直接解く代わりに、まず単純な点源問題の解であるグリーン関数を求めた後、重ね合わせの原理によって微分方程式の解をグリーン関数を用いて表す。
- ある物理系を構成する個々の状態間の相関関数を与える関数として使われ、位置や時間などで指定されたある状態から他の状態への伝達(伝播)の特性を表す。詳細はプロパゲーターやグリーン関数 (多体理論)を参照。
ポアソン方程式編集
電磁気学におけるポアソン方程式 の解 を求めたい。この方程式の解として積分方程式 を仮定し、ポアソン方程式に代入するとグリーン関数 の満たすべき式が得られる。
-
これを解くために両辺をフーリエ変換すると、 のフーリエ変換 が得られる
[注釈 1]
。
これを逆フーリエ変換するとグリーン関数 が求まる。
-
よってポアソン方程式の解は次のように求まる。
-
以上のことから、位置 の点電荷が別の位置 に作る静電ポテンシャルを表したものがグリーン関数であり、これを重ね合わせたものが電荷分布 の作る静電ポテンシャル であることがわかる。
ダランベール演算子編集
グリーン演算子と形式論編集
微分演算子を線型演算子 L と見て、微分方程式 Lφ = −ρ を解きたいとき、一種の逆演算子 L−1 を求めることができれば、φ = −L−1ρ というように微分方程式を解くことができる。これは線型代数における連立方程式において、係数行列の逆行列を求めることができれば連立方程式を解くことができることと対応している。このような L−1 をグリーン演算子 (Green's operator, Green operator) という。グリーン演算子を行列表示したときの行列要素をグリーン関数という。
このようにグリーン関数を抽象的な演算子と考えて取り扱うことには次のような利点がある。
- 微分演算子や積分演算子だけでなく、第二量子化のような抽象的な演算子を用いた理論に対してもそのまま用いられる。それは定常状態のシュレーディンガー方程式においてハミルトニアンを第二量子化における演算子で書かれていると考えるだけである。
- 複雑な関係式を簡潔に見通しよく書ける場合があり、一般的な性質の議論を見通し良く行える
シュレディンガー方程式編集
例えば、方程式
-
のグリーン演算子 ^G0 が満たすべき方程式は
-
である。これを形式的に解くと
-
である。このグリーン演算子を具体的に計算するには ^H0 の固有ベクトルを用いて
-
のように展開する。ただし E = E0 となるときは発散してしまう。それを避けるため分母をわずかに虚数軸方向にずらすことでこの問題は解消される
-
たとえば ^H0 = −Δ の場合のグリーン演算子の行列要素は、固有値を E = k2 として、次のように書ける。
-
ここで は外向き、 は内向きの球面波で、波が r' から r へ伝播する様子を示すものである。
散乱理論の形式論では、グリーン関数が用いられる。その基本方程式にもグリーン関数が含まれ、リップマン‐シュウィンガー方程式と呼ばれる。
-
シュレーディンガー方程式を厳密に解く事は一般的に非常に困難な場合が多いが、近似に解く手法の一つとして摂動論がある。以下では摂動論におけるグリーン関数の形式理論について解説する。
系のハミルトニアン ^H が無摂動項 ^H0 と摂動項 ^V の和で与えられた (^H = ^H0 + ^V) とする。無摂動ハミルトニアン ^H0 に対して固有値方程式
-
が成り立つ(例:ハートリー-フォック近似など)。
ω − ^H0 を微分作用素として考えると非摂動グリーン関数 G (0)(ω)は
以下のように定義される(ここでデルタ関数 δ(x − x') は形式的に 1 とした)。
-
次に摂動ハミルトニアン ^V で展開すると、
-
この式の両辺に ω − ^H0 を作用させ変形すると、摂動グリーン関数は次の関係を満たしていることがわかる。
-
また、この摂動グリーン関数が満たす関係式は
-
に対応している。
場の量子論・物性論編集
場の量子論や物性論においては、シュレーディンガー方程式に対するグリーン関数ではなくて、むしろ場の演算子に対する方程式に関連したものをグリーン関数と名付けて有効に用いている。それらの方程式は相互作用がない場合は、例えばスカラー場に対してクライン-ゴルドン方程式となるように、既に知られた方程式と同形のものになり、グリーン関数としても同じものとなる。しかし相互作用がある場合は方程式が非線形となり、摂動論的な扱いを除いて、古典的なグリーン関数の理論との対応を失う。[3]
- ^
両辺を比較すると、
- ^ 『物理学辞典』 培風館、1984年
- ^ * 小泉義晴 『微分方程式と量子統計力学のグリーン関数<講義・演習>』東海大学出版会、2010年。ISBN 978-4-486-01887-2。
- ^ 今村勤 『物理とグリーン関数』岩波書店、1976年。