グリーンの恒等式

数学においてグリーンの恒等式（グリーンのこうとうしき、）とは、ベクトル解析に現れる三つの恒等式のことを言う。グリーンの定理を発見した数学者のジョージ・グリーンの名にちなむ。

グリーンの第一恒等式 

この恒等式は、ベクトル場  に対して発散定理を適用することで次のように得られる： と  をある領域  上で定義されるスカラー函数とし、 は二階連続的微分可能、 は一階連続的微分可能とする。このとき次が成り立つ。

 

ここで  はラプラス作用素、 は領域  の境界、 は面素  に対する外向き法線ベクトル、 は向き付けられた面素である。この定理は発散定理の特別な場合であり、 と  の勾配をそれぞれ  と  で置き換えた部分積分の高次元版と本質的に同値である。

上述のグリーンの第一恒等式は、発散定理において  とすることで得られる次のより一般の恒等式の特別な場合である：

グリーンの第二恒等式 

 と  のいずれもが  上で二階連続的微分可能であり、 が一階連続的微分可能であるなら、 とすることで次が得られる：

 

 上すべてで  であるような特別な場合は、次が得られる：

 

上式において  は  の、面素  に対する外向き法線ベクトル  の方向での方向微分である。すなわち

 

である。このことは特に、境界上で消失する函数に対する L2 内積において、ラプラシアンは自己共役であることを意味する。

グリーンの第三恒等式 

グリーンの第三恒等式は、第二恒等式において  とすることで得られる。ここで  はラプラス作用素の基本解として定められるグリーン函数である。すなわち、次が成り立つ：

例えば  において、ある解は次の形を取る：

グリーンの第三恒等式は、 が  上で二階連続的微分可能な函数である場合に、次式で与えられる：

 

 それ自身が調和函数、すなわちラプラス方程式の解であるなら、 よりこの式は次のように簡易化される：

この積分の中の第二項は、問題が適切であるような領域  の境界に対するグリーン函数として  が選ばれる（ディリクレ境界条件）とき、消える。すなわち

となる。この形式はディリクレ境界条件の問題に対する解を構成する際に用いられる。ノイマン境界条件の問題に対する解を見つけるためには、境界上で法線微分が消失するようなグリーン函数を代わりに用いればよい。

さらに上述の恒等式は、  がヘルムホルツ方程式あるいは波動方程式の解で、 が適切なグリーン函数の解である場合にも適用される。そのような文脈において、この恒等式はホイヘンス＝フレネルの原理の数学的表現となる。

多様体上での恒等式 

グリーンの恒等式はリーマン多様体上で成立する。この場合、初めの二つの恒等式は次のようになる。

ここで  と  は  上の滑らかな実数値函数、 は計量と両立する体積形式、 は  の境界上で誘起された体積形式、 は境界上での向き付けられた単位法ベクトル場、 はラプラシアンである。

グリーンのベクトル恒等式 

グリーンの第二恒等式は、二つのスカラー函数の二階微分と一階微分（の発散）との関係を表すものである。微分形式では、

となる。ここで  と  は二つの任意の二階連続的微分可能なスカラー場である。この恒等式は、質量やエネルギーのようなスカラー場に対して連続の方程式が成立する担保となるため、物理学において非常に重要なものとなっている。グリーンの第二恒等式はベクトル解析においてよく示されているが、多くの教科書ではスカラーの場合のみが扱われている。専門書においても、ベクトルの場合を見つけるのは容易ではない。ベクトル回折理論において、そのようなグリーンの第二恒等式の二つの場合が導入されている。一方は、クロス積の発散によるもので、場における回転と回転に関する関係を表している：

この方程式はラプラシアンを使って次のように書くことが出来る：

しかし、項

は発散によって書くことは出来ない。もう一方の場合は、二重ベクトルを導入する手法で、二価グリーン函数が必要となる。ここで示すものはそれらの問題を避けるものである。

グリーンの第二恒等式におけるスカラー場は、ベクトル場のデカルト成分であると考える。すなわち

とする。各成分に対する方程式を足し上げることで、次が得られる。

この左辺は、ドット積の定義により、次のようなベクトル形式で書くことが出来る。

右辺は、ベクトル作用素によって表現するにはやや複雑なものとなっている。発散作用素の加法についての分配性より、発散の和は和の発散に等しい。すなわち、

である。ドット積の勾配に対する次のベクトル恒等式を考える。

これは、ベクトル成分について書くと次のようになる。

 

この結果は、負の符号を除いて、ベクトル形式で表すことを所望していたものと似たものである。各項の微分作用素は、あるベクトル（）あるいはもう一方（）のいずれかに対して作用するため、各項は次のように表される：

これらの結果は、ベクトル成分の評価を介して厳密に証明することも出来る。以上より、右辺は次のようなベクトル形式で表される。

これら二つの結果を合わせることで、スカラー場に対するグリーンの定理と同様の結果が得られる：

ベクトル場に対する定理 

クロス積の回転は次のように書くことが出来る。

 

グリーンのベクトル恒等式は、次のように書くことが出来る：

回転の発散はゼロであるため、この第三項は消去され、次が得られる：

グリーンのベクトル恒等式 

同様の手順で、ドット積のラプラシアンはラプラシアンに関して次のように表すことが出来る：

この系として、整理されていない項はベクトルグリーン函数との比較によって発散に関して書くことが出来る：

この結果は、右辺のベクトルのスカラー倍の発散を拡張することで確かめることが出来る。

関連項目 
 グリーン函数

参考文献

外部リンク 
 
 Green's Identities at Wolfram MathWorld

ベクトル解析
恒等式
数学に関する記事
数学のエポニム