グリーンの恒等式

グリーンの恒等式

数学におけるグリーンの恒等式は、ベクトル解析の分野で非常に重要な役割を果たす三つの恒等式です。この恒等式は、スカラー関数の微分に関する深い関係を示しており、特に流体力学や電磁気学などの物理学の様々な応用に活用されています。グリーンの恒等式は、ジョージ・グリーンの名にちなみ、彼の研究成果に基づいています。

グリーンの第一恒等式

グリーンの第一恒等式は、ベクトル場の定義に基づくもので、以下のように表現されます。スカラー関数 φ と ψ が、ある領域 U ⊂ R³ 上で定義されており、φ が二階連続的に微分可能であり、ψ が一階連続的に微分可能な場合、次の関係が成り立ちます。

$$
\int_{U} \left( \psi \Delta \varphi +
abla \varphi \cdot
abla \psi \right) dV = \oint_{\partial U} \psi \left(
abla \varphi \cdot n \right) dS.
$$

ここで、Δはラプラス作用素、∂Uは領域 U の境界、n は面素 dS に対する外向き法線ベクトルを示しています。この第一恒等式は、発散定理の特別なケースであり、ベクトル場の微分に関連する様々な問題に適用されます。

グリーンの第二恒等式

第二恒等式では、スカラー関数 φ と ψ が二階連続的に微分可能であり、さらに ε が一階連続的に微分可能な場合に、次の恒等式が成り立ちます。

$$
\int_{U} \left[ \psi
abla \cdot (\epsilon
abla \varphi) - \varphi
abla \cdot (\epsilon
abla \psi) \right] dV = \oint_{\partial U} \epsilon \left( \psi \frac{\partial \varphi}{\partial n} - \varphi \frac{\partial \psi}{\partial n} \right) dS.
$$

この形は、特に ε = 1 の場合、次のように簡略化できます。

$$
\int_{U} \left( \psi \Delta \varphi - \varphi \Delta \psi \right) dV = \oint_{\partial U} \left( \psi \frac{\partial \varphi}{\partial n} - \varphi \frac{\partial \psi}{\partial n} \right) dS.
$$

この恒等式は、境界上で消失する関数に対する L² 内積において、ラプラシアンが自己共役であることを意味します。

グリーンの第三恒等式

グリーンの第三恒等式は、第二恒等式を基にし、φ をグリーン関数 G と設定することで導かれます。ここで G はラプラス方程式の基本解として定義されます。具体的には、次のような関係が成り立ちます。

$$
\Delta G(x, \eta) = \delta(x - \eta).
$$

これにより、G を用いた式が成り立ち、ψ が二階連続的に微分可能な関数であるならば、以下の式が得られます。

$$
\int_{U} \left[G(y, \eta) \Delta \psi(y)\right] dV - \psi(\eta) = \oint_{\partial U} \left[G(y, \eta) \frac{\partial \psi}{\partial n}(y) - \psi(y) \frac{\partial G(y, \eta)}{\partial n} \right] dS.
$$

この形は特に、ディリクレ境界条件の問題に対する解を構成する際の有力なために利用されます。また、ノイマン境界条件の問題に扱う場合には、境界上で法線微分が消失するようなグリーン関数を用いることができます。

多様体上での恒等式

これらの恒等式はリーマン多様体上にも成り立つことが示されており、初めの二つは以下の形に表現されます。

$$
\int_{M} u \Delta v \, dV + \int_{M} \langle
abla u,
abla v \rangle \, dV = \int_{\partial M} u N v \, d\tilde{V}.
$$

ここで u と v は M 上の滑らかな実数値関数です。これらの関係式はスカラー場とベクトル場それぞれに対して成立し、特に物理学において重要な役割を果たします。

まとめ

グリーンの恒等式は、スカラー関数とベクトル関数の微分に関する恒等式群であり、多くの数学的・物理的問題に応用されています。これらの恒等式を理解することで、様々な現象の数学的な説明や解析が可能となります。

もう一度検索