グリーンの恒等式

提供: testwiki
2024年6月24日 (月) 02:34時点におけるimported>Kenlo Nasaharaによる版 (第一恒等式を導出する際にベクトル解析の恒等式を使うことに言及した。初学者にはそのほうが助かるだろう。)
(差分) ← 古い版 | 最新版 (差分) | 新しい版 → (差分)
ナビゲーションに移動 検索に移動

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

グリーンの第一恒等式

この恒等式は、ベクトル場 テンプレート:Math に対して発散定理と恒等式:

∇⋅ψ∇φ=ψΔφ+∇ψ⋅∇φ

を適用することで次のように得られる：テンプレート:Mvar と テンプレート:Mvar をある領域 テンプレート:Math 上で定義されるスカラー函数とし、テンプレート:Mvar は二階連続的微分可能、テンプレート:Mvar は一階連続的微分可能とする。このとき次が成り立つ[1]。

∫U(ψΔφ+∇φ⋅∇ψ)dV=∮∂Uψ(∇φ⋅𝐧)dS=∮∂Uψ∇φ⋅d𝐒

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

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

∫U(ψ∇⋅Γ+Γ⋅∇ψ)dV=∮∂Uψ(Γ⋅𝐧)dS=∮∂UψΓ⋅d𝐒.

グリーンの第二恒等式

テンプレート:Mvar と テンプレート:Mvar のいずれもが テンプレート:Math 上で二階連続的微分可能であり、テンプレート:Mvar が一階連続的微分可能であるなら、テンプレート:Mathとテンプレート:Math のそれぞれについて上の恒等式を立て, それらを辺々引くことで次が得られる：

∫U[ψ∇⋅(ϵ∇φ)−φ∇⋅(ϵ∇ψ)]dV=∮∂Uϵ(ψ∂φ∂𝐧−φ∂ψ∂𝐧)dS.

テンプレート:Math 上すべてで テンプレート:Math であるような特別な場合は、次が得られる：

∫U(ψΔφ−φΔψ)dV=∮∂U(ψ∂φ∂𝐧−φ∂ψ∂𝐧)dS.

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

∂φ∂𝐧=∇φ⋅𝐧=∇𝐧φ

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

グリーンの第三恒等式

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

ΔG(𝐱,η)=δ(𝐱−η).

例えば テンプレート:Math において、ある解は次の形を取る：

G(𝐱,η)=−14π‖𝐱−η‖.

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

∫U[G(𝐲,η)Δψ(𝐲)]dV𝐲−ψ(η)=∮∂U[G(𝐲,η)∂ψ∂𝐧(𝐲)−ψ(𝐲)∂G(𝐲,η)∂𝐧]dS𝐲.

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

ψ(η)=∮∂U[ψ(𝐲)∂G(𝐲,η)∂𝐧−G(𝐲,η)∂ψ∂𝐧(𝐲)]dS𝐲.

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

ψ(η)=∮∂Uψ(𝐲)∂G(𝐲,η)∂𝐧dS𝐲

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

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

多様体上での恒等式

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

∫MuΔvdV+∫M⟨grad⁡ u,grad⁡ v⟩dV=∫∂MuNvdV~∫M(uΔv−vΔu)dV=∫∂M(uNv−vNu)dV~.

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

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

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

pmΔqm−qmΔpm=∇⋅(pm∇qm−qm∇pm)

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

𝐏⋅(∇×∇×𝐐)−𝐐⋅(∇×∇×𝐏)=∇⋅(𝐐×∇×𝐏−𝐏×∇×𝐐).

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

𝐏⋅Δ𝐐−𝐐⋅Δ𝐏+𝐐⋅[∇(∇⋅𝐏)]−𝐏⋅[∇(∇⋅𝐐)]=∇⋅(𝐏×∇×𝐐−𝐐×∇×𝐏).

しかし、項

𝐐⋅[∇(∇⋅𝐏)]−𝐏⋅[∇(∇⋅𝐐)],

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

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

𝐏=∑mpm𝐞^m,𝐐=∑mqm𝐞^m

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

∑m[pmΔqm−qmΔpm]=∑m∇⋅(pm∇qm−qm∇pm).

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

∑m[pmΔqm−qmΔpm]=𝐏⋅Δ𝐐−𝐐⋅Δ𝐏.

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

∑m∇⋅(pm∇qm−qm∇pm)=∇⋅(∑mpm∇qm−∑mqm∇pm)

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

∇(𝐏⋅𝐐)=(𝐏⋅∇)𝐐+(𝐐⋅∇)𝐏+𝐏×∇×𝐐+𝐐×∇×𝐏,

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

∇(𝐏⋅𝐐)=∇∑mpmqm=∑mpm∇qm+∑mqm∇pm.

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

∑mpm∇qm=(𝐏⋅∇)𝐐+𝐏×∇×𝐐,
∑mqm∇pm=(𝐐⋅∇)𝐏+𝐐×∇×𝐏.

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

∑mpm∇qm−∑mqm∇pm=(𝐏⋅∇)𝐐+𝐏×∇×𝐐−(𝐐⋅∇)𝐏−𝐐×∇×𝐏.

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

ベクトル場に対する定理
𝐏⋅Δ𝐐−𝐐⋅Δ𝐏=∇⋅[(𝐏⋅∇)𝐐+𝐏×∇×𝐐−(𝐐⋅∇)𝐏−𝐐×∇×𝐏].

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

∇×(𝐏×𝐐)=(𝐐⋅∇)𝐏−(𝐏⋅∇)𝐐+𝐏(∇⋅𝐐)−𝐐(∇⋅𝐏);

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

𝐏⋅Δ𝐐−𝐐⋅Δ𝐏=∇⋅[𝐏(∇⋅𝐐)−𝐐(∇⋅𝐏)−∇×(𝐏×𝐐)+𝐏×∇×𝐐−𝐐×∇×𝐏].

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

グリーンのベクトル恒等式
𝐏⋅Δ𝐐−𝐐⋅Δ𝐏=∇⋅[𝐏(∇⋅𝐐)−𝐐(∇⋅𝐏)+𝐏×∇×𝐐−𝐐×∇×𝐏].

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

Δ(𝐏⋅𝐐)=𝐏⋅Δ𝐐−𝐐⋅Δ𝐏+2∇⋅[(𝐐⋅∇)𝐏+𝐐×∇×𝐏].

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

𝐏⋅[∇(∇⋅𝐐)]−𝐐⋅[∇(∇⋅𝐏)]=∇⋅[𝐏(∇⋅𝐐)−𝐐(∇⋅𝐏)].

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

関連項目

参考文献

テンプレート:Reflist

外部リンク

  1. ↑ テンプレート:Cite book
  2. ↑ M. Fernández-Guasti. Complementary fields conservation equation derived from the scalar wave equation. J. Phys. A: Math. Gen., 37:4107–4121, 2004.
  3. ↑ A. E. H. Love. The Integration of the Equations of Propagation of Electric Waves. Philosophical Transactions of the Royal Society of London. Series A, Containing Papers of a Mathematical or Physical Character, 197:pp. 1–45, 1901.
  4. ↑ J. A. Stratton and L. J. Chu. Diffraction Theory of Electromagnetic Waves. Phys. Rev., 56(1):99–107, Jul 1939.
  5. ↑ N. C. Bruce. Double scatter vector-wave Kirchhoff scattering from perfectly conducting surfaces with infinite slopes. Journal of Optics, 12(8):085701, 2010.
  6. ↑ W. Franz, On the Theory of Diffraction. Proceedings of the Physical Society. Section A, 63(9):925, 1950.
  7. ↑ Chen-To Tai. Kirchhoff theory: Scalar, vector, or dyadic? Antennas and Propagation, IEEE Transactions on, 20(1):114–115, jan 1972.
  8. ↑ M. Fernández-Guasti. Green's second identity for vector fields. ISRN Mathematical Physics, 2012:7, 2012. Article ID: 973968. [2]
「https://ja.wiki.beta.math.wmflabs.org/w/index.php?title=グリーンの恒等式&oldid=10312」から取得