1 定義と基本概念
グリーン関数は、線形微分方程式に対して、外力や点源に対する系の応答を表す関数である。ある作用素に対する「単位の刺激」に対する解として定義され、一般の入力に対する解を積分で組み立てるための核となる。物理学では、場の伝播や媒質の応答を記述する道具として、数理解析では境界条件つき問題の表現手段として扱われる。
1.1 線形性と応答
線形系では、入力の和に対する出力も和になり、入力を倍にすれば応答も同じ倍率で変化する。この重ね合わせの原理が成り立つため、まず点的な刺激への応答を求め、それらを積み上げることで任意の外力に対する解を構成できる。グリーン関数は、この線形応答を局所的に切り出したものとみなせる。
1.2 点源とデルタ関数
グリーン関数は、しばしばディラックのデルタ関数を右辺にもつ方程式の解として定義される。デルタ関数は一点に集中した理想化された源を表し、その影響が空間や時間にどう広がるかを示す役割を持つ。したがって、グリーン関数は点源の「影響の伝播」を記述する標準的な記述形式である。
1.3 基本解との関係
境界条件を特に課さない場合のグリーン関数は、微分作用素の基本解と呼ばれることがある。基本解は、作用素そのものの逆作用に近い働きを持ち、自由空間での解の核として重要である。一方、境界付きの問題では、境界条件を満たすように補正されたグリーン関数が用いられる。
2 数学的定式化
数学的には、グリーン関数はある線形微分作用素に対する逆問題の核として定式化される。未知関数を直接解く代わりに、作用素の作用を積分核で表し、解を積分表示に変換する方法が取られる。この枠組みは、常微分方程式から偏微分方程式まで広く適用される。
2.1 微分方程式に対するグリーン関数
一般に、線形微分方程式を作用素方程式 \(Lu=f\) と書くと、グリーン関数 \(G\) は \(LG=\delta\) を満たすように導入される。すると、与えられた外力 \(f\) に対する解 \(u\) は、\(G\) と \(f\) の積分で表される。これにより、微分方程式は積分方程式の形へ移され、解析や計算がしやすくなる。
2.1.1 常微分方程式の場合
常微分方程式では、区間上の初期条件や境界条件を考慮してグリーン関数を構成する。特に二階線形方程式では、2つの独立な解を利用して区分的に定義されることが多い。これにより、右辺の外力に応じた解を明示的に得やすい。
2.1.2 偏微分方程式の場合
偏微分方程式では、空間変数と時間変数の両方を含むため、グリーン関数はより高次元の核として扱われる。熱方程式や波動方程式、ポアソン方程式などで代表的に用いられ、初期条件や境界条件を満たす解の構成に役立つ。対称性のある領域では、座標変換や展開法と組み合わせて求められることも多い。
2.2 境界条件の導入
実際の問題では、無限空間ではなく有限領域で解を求めることが多い。そのため、グリーン関数は境界上で所定の条件を満たすように調整される。ディリクレ条件やノイマン条件などが代表例であり、境界の性質に応じて解の形が変わる。
2.3 存在と一意性
グリーン関数が存在するかどうかは、作用素の性質や境界条件に依存する。固有値が特定の値を取る場合、逆作用が定義しにくくなり、解が一意でないこともある。したがって、存在と一意性の議論は、関数空間やスペクトル理論と密接に結びついている。
3 構成と性質
グリーン関数は単なる解の一種ではなく、対称性や因果的な構造、特異点の扱いなど、さまざまな性質を持つ。これらは対象となる方程式や領域の幾何学的条件によって決まり、解析上の振る舞いを左右する。実用上は、これらの性質を利用して計算式を簡略化したり、物理的解釈を与えたりする。
3.1 対称性
作用素が自己共役である場合、グリーン関数には交換対称性が現れることがある。これは、変数を入れ替えても同じ値になる、あるいは共役関係で結ばれるといった形で表される。対称性は、エネルギーの保存や双対関係の理解にもつながる。
3.2 因果律と遅延・先行
時間依存の問題では、グリーン関数が因果律を反映することが重要である。遅延グリーン関数は、原因より前に応答が現れないように定義され、先行グリーン関数は逆向きの時間構造を持つ。物理では通常、観測可能な過程に合わせて遅延型が採用される。
3.3 特異性と正則性
グリーン関数は点源を扱うため、源の位置で特異性を示すのが一般的である。一方、源から離れた領域では、方程式に応じて滑らかな振る舞いを持つことが多い。特異点近傍の解析は、解の局所構造や物理的な発散の有無を理解するうえで重要である。
3.4 連続スペクトルと離散スペクトル
領域や境界条件によっては、作用素のスペクトルが離散的になる場合と連続的になる場合がある。離散スペクトルでは固有関数展開が有効で、連続スペクトルでは積分表示が中心になる。グリーン関数は、これらのスペクトル成分を統一的にまとめる表現として機能する。
4 応用
グリーン関数は理論解析だけでなく、実際の物理法則や工学モデルの記述にも広く使われる。点源からの応答を足し合わせる考え方は、多くの場の理論や伝熱、波動、拡散の問題で共通している。複雑な境界をもつ系でも、核関数を通して解を組み立てられる点が大きな利点である。
4.1 電磁気学
電磁気学では、電荷や電流が作るポテンシャルや電磁場を表すためにグリーン関数が用いられる。静電場ではポアソン方程式の解法に、動的な場合には波動の伝播に関わる。媒質や境界の違いは、対応するグリーン関数の形に直接反映される。
4.2 量子力学
量子力学では、グリーン関数は粒子の伝播や散乱を記述する重要な道具である。ハミルトニアンに対する逆演算子や resolvent に対応し、状態の時間発展や応答関数の解析に利用される。特に多体系では、相互作用の取り扱いにも深く関係する。
4.2.1 伝播関数
伝播関数は、ある時刻の状態が別の時刻へどのように移るかを示す。量子論では、経路積分や演算子形式の双方で登場し、粒子が空間内を移動する振る舞いを表現する。グリーン関数と近い概念として扱われ、実質的に時間発展の核となる。
4.2.2 摂動論との関係
摂動論では、相互作用のない解を出発点にして、外部相互作用を段階的に加える。グリーン関数は、その補正項を系統的に記述するための基礎となる。ファインマン図式などの展開では、各内部線がグリーン関数に対応する場合が多い。
4.3 熱方程式
熱方程式に対するグリーン関数は、初期に与えられた熱分布が時間とともにどのように拡散するかを示す。温度のピークは時間とともに広がり、なだらかな分布へ変化する。この性質は、拡散現象全般の典型例として理解される。
4.4 流体力学
流体力学では、低レイノルズ数流れや線形化された方程式の解析にグリーン関数が使われる。点力や点源に対する流れ場の応答を表し、境界の影響も組み込める。粘性流体や音響流の理論でも、基本解として現れることがある。
4.5 境界値問題の解法
境界値問題では、グリーン関数を用いることで、内部の未知量を境界上のデータと外力から復元できる。これは、複雑な形状の領域でも解の表現を得るための強力な方法である。数値計算では、積分方程式や境界要素法の理論的基盤にもなっている。
5 関連概念
グリーン関数は単独で理解されるだけでなく、複数の変換や演算子理論と結びついている。時間・周波数領域の見方を切り替えることで、同じ内容が別の形式で表現される。これらの関連概念を押さえると、グリーン関数の位置づけがより明確になる。
5.1 ユークリッドグリーン関数
ユークリッドグリーン関数は、時間を虚数化したユークリッド形式で定義されるグリーン関数である。統計力学や量子場理論では、計算上扱いやすく、収束性の面でも有利なことがある。実時間の関数へ戻すには解析接続が用いられる。
5.2 時間発展演算子
時間発展演算子は、初期状態を後の時刻の状態へ移す演算子であり、量子力学や線形動力学の基本概念である。グリーン関数は、この演算子の核や応答形式として現れることがある。両者は、時間依存問題を異なる表現で捉える関係にある。
5.3 ラプラス変換とフーリエ変換
ラプラス変換とフーリエ変換は、微分方程式を代数的に扱いやすい形へ変換する手法である。グリーン関数は、変換後の領域で簡潔な形を取り、元の変数へ戻す際の積分表現を与える。周波数応答やスペクトル解析との結びつきも強い。
5.4 グリーン恒等式
グリーン恒等式は、微分作用素と境界項の関係を示す積分公式である。これを用いると、グリーン関数の導出や境界条件の扱いが整理される。特にポアソン型の問題では、解の表示公式を導く基礎として重要である。