グリーンのベクトル恒等式
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2019/12/29 02:16 UTC 版)
「グリーンの恒等式」の記事における「グリーンのベクトル恒等式」の解説
グリーンの第二恒等式は、二つのスカラー函数の二階微分と一階微分（の発散）との関係を表すものである。微分形式では、 p m Δ q m − q m Δ p m = ∇ ⋅ ( p m ∇ q m − q m ∇ p m ) {\displaystyle p_{m}\Delta q_{m}-q_{m}\Delta p_{m}=\nabla \cdot \left(p_{m}\nabla q_{m}-q_{m}\nabla p_{m}\right)} となる。ここで pm と qm は二つの任意の二階連続的微分可能なスカラー場である。この恒等式は、質量やエネルギーのようなスカラー場に対して連続の方程式が成立する担保となるため、物理学において非常に重要なものとなっている。グリーンの第二恒等式はベクトル解析においてよく示されているが、多くの教科書ではスカラーの場合のみが扱われている。専門書においても、ベクトルの場合を見つけるのは容易ではない。ベクトル回折理論において、そのようなグリーンの第二恒等式の二つの場合が導入されている。一方は、クロス積の発散によるもので、場における回転と回転に関する関係を表している： P ⋅ ( ∇ × ∇ × Q ) − Q ⋅ ( ∇ × ∇ × P ) = ∇ ⋅ ( Q × ∇ × P − P × ∇ × Q ) . {\displaystyle \mathbf {P} \cdot \left(\nabla \times \nabla \times \mathbf {Q} \right)-\mathbf {Q} \cdot \left(\nabla \times \nabla \times \mathbf {P} \right)=\nabla \cdot \left(\mathbf {Q} \times \nabla \times \mathbf {P} -\mathbf {P} \times \nabla \times \mathbf {Q} \right).} この方程式はラプラシアンを使って次のように書くことが出来る： P ⋅ Δ Q − Q ⋅ Δ P + Q ⋅ [ ∇ ( ∇ ⋅ P ) ] − P ⋅ [ ∇ ( ∇ ⋅ Q ) ] = ∇ ⋅ ( P × ∇ × Q − Q × ∇ × P ) . {\displaystyle \mathbf {P} \cdot \Delta \mathbf {Q} -\mathbf {Q} \cdot \Delta \mathbf {P} +\mathbf {Q} \cdot \left[\nabla \left(\nabla \cdot \mathbf {P} \right)\right]-\mathbf {P} \cdot \left[\nabla \left(\nabla \cdot \mathbf {Q} \right)\right]=\nabla \cdot \left(\mathbf {P} \times \nabla \times \mathbf {Q} -\mathbf {Q} \times \nabla \times \mathbf {P} \right).} しかし、項 Q ⋅ [ ∇ ( ∇ ⋅ P ) ] − P ⋅ [ ∇ ( ∇ ⋅ Q ) ] , {\displaystyle \mathbf {Q} \cdot \left[\nabla \left(\nabla \cdot \mathbf {P} \right)\right]-\mathbf {P} \cdot \left[\nabla \left(\nabla \cdot \mathbf {Q} \right)\right],} は発散によって書くことは出来ない。もう一方の場合は、二重ベクトルを導入する手法で、二価グリーン函数が必要となる。ここで示すものはそれらの問題を避けるものである。 グリーンの第二恒等式におけるスカラー場は、ベクトル場のデカルト成分であると考える。すなわち P = ∑ m p m e ^ m , Q = ∑ m q m e ^ m {\displaystyle \mathbf {P} =\sum _{m}p_{m}{\hat {\mathbf {e} }}_{m},\qquad \mathbf {Q} =\sum _{m}q_{m}{\hat {\mathbf {e} }}_{m}} とする。各成分に対する方程式を足し上げることで、次が得られる。 ∑ m [ p m Δ q m − q m Δ p m ] = ∑ m ∇ ⋅ ( p m ∇ q m − q m ∇ p m ) . {\displaystyle \sum _{m}\left[p_{m}\Delta q_{m}-q_{m}\Delta p_{m}\right]=\sum _{m}\nabla \cdot \left(p_{m}\nabla q_{m}-q_{m}\nabla p_{m}\right).} この左辺は、ドット積の定義により、次のようなベクトル形式で書くことが出来る。 ∑ m [ p m Δ q m − q m Δ p m ] = P ⋅ Δ Q − Q ⋅ Δ P . {\displaystyle \sum _{m}\left[p_{m}\Delta q_{m}-q_{m}\Delta p_{m}\right]=\mathbf {P} \cdot \Delta \mathbf {Q} -\mathbf {Q} \cdot \Delta \mathbf {P} .} 右辺は、ベクトル作用素によって表現するにはやや複雑なものとなっている。発散作用素の加法についての分配性より、発散の和は和の発散に等しい。すなわち、 ∑ m ∇ ⋅ ( p m ∇ q m − q m ∇ p m ) = ∇ ⋅ ( ∑ m p m ∇ q m − ∑ m q m ∇ p m ) {\displaystyle \sum _{m}\nabla \cdot \left(p_{m}\nabla q_{m}-q_{m}\nabla p_{m}\right)=\nabla \cdot \left(\sum _{m}p_{m}\nabla q_{m}-\sum _{m}q_{m}\nabla p_{m}\right)} である。ドット積の勾配に対する次のベクトル恒等式を考える。 ∇ ( P ⋅ Q ) = ( P ⋅ ∇ ) Q + ( Q ⋅ ∇ ) P + P × ∇ × Q + Q × ∇ × P , {\displaystyle \nabla \left(\mathbf {P} \cdot \mathbf {Q} \right)=\left(\mathbf {P} \cdot \nabla \right)\mathbf {Q} +\left(\mathbf {Q} \cdot \nabla \right)\mathbf {P} +\mathbf {P} \times \nabla \times \mathbf {Q} +\mathbf {Q} \times \nabla \times \mathbf {P} ,} これは、ベクトル成分について書くと次のようになる。 ∇ ( P ⋅ Q ) = ∇ ∑ m p m q m = ∑ m p m ∇ q m + ∑ m q m ∇ p m . {\displaystyle \nabla \left(\mathbf {P} \cdot \mathbf {Q} \right)=\nabla \sum _{m}p_{m}q_{m}=\sum _{m}p_{m}\nabla q_{m}+\sum _{m}q_{m}\nabla p_{m}.} この結果は、負の符号を除いて、ベクトル形式で表すことを所望していたものと似たものである。各項の微分作用素は、あるベクトル（ p m {\displaystyle p_{m}} ）あるいはもう一方（ q m {\displaystyle q_{m}} ）のいずれかに対して作用するため、各項は次のように表される： ∑ m p m ∇ q m = ( P ⋅ ∇ ) Q + P × ∇ × Q , {\displaystyle \sum _{m}p_{m}\nabla q_{m}=\left(\mathbf {P} \cdot \nabla \right)\mathbf {Q} +\mathbf {P} \times \nabla \times \mathbf {Q} ,} ∑ m q m ∇ p m = ( Q ⋅ ∇ ) P + Q × ∇ × P . {\displaystyle \sum _{m}q_{m}\nabla p_{m}=\left(\mathbf {Q} \cdot \nabla \right)\mathbf {P} +\mathbf {Q} \times \nabla \times \mathbf {P} .} これらの結果は、ベクトル成分の評価を介して厳密に証明することも出来る。以上より、右辺は次のようなベクトル形式で表される。 ∑ m p m ∇ q m − ∑ m q m ∇ p m = ( P ⋅ ∇ ) Q + P × ∇ × Q − ( Q ⋅ ∇ ) P − Q × ∇ × P . {\displaystyle \sum _{m}p_{m}\nabla q_{m}-\sum _{m}q_{m}\nabla p_{m}=\left(\mathbf {P} \cdot \nabla \right)\mathbf {Q} +\mathbf {P} \times \nabla \times \mathbf {Q} -\left(\mathbf {Q} \cdot \nabla \right)\mathbf {P} -\mathbf {Q} \times \nabla \times \mathbf {P} .} これら二つの結果を合わせることで、スカラー場に対するグリーンの定理と同様の結果が得られる： ベクトル場に対する定理 P ⋅ Δ Q − Q ⋅ Δ P = ∇ ⋅ [ ( P ⋅ ∇ ) Q + P × ∇ × Q − ( Q ⋅ ∇ ) P − Q × ∇ × P ] . {\displaystyle \color {OliveGreen}\mathbf {P} \cdot \Delta \mathbf {Q} -\mathbf {Q} \cdot \Delta \mathbf {P} =\nabla \cdot \left[\left(\mathbf {P} \cdot \nabla \right)\mathbf {Q} +\mathbf {P} \times \nabla \times \mathbf {Q} -\left(\mathbf {Q} \cdot \nabla \right)\mathbf {P} -\mathbf {Q} \times \nabla \times \mathbf {P} \right].} クロス積の回転は次のように書くことが出来る。 ∇ × ( P × Q ) = ( Q ⋅ ∇ ) P − ( P ⋅ ∇ ) Q + P ( ∇ ⋅ Q ) − Q ( ∇ ⋅ P ) ; {\displaystyle \nabla \times \left(\mathbf {P} \times \mathbf {Q} \right)=\left(\mathbf {Q} \cdot \nabla \right)\mathbf {P} -\left(\mathbf {P} \cdot \nabla \right)\mathbf {Q} +\mathbf {P} \left(\nabla \cdot \mathbf {Q} \right)-\mathbf {Q} \left(\nabla \cdot \mathbf {P} \right);} グリーンのベクトル恒等式は、次のように書くことが出来る： P ⋅ Δ Q − Q ⋅ Δ P = ∇ ⋅ [ P ( ∇ ⋅ Q ) − Q ( ∇ ⋅ P ) − ∇ × ( P × Q ) + P × ∇ × Q − Q × ∇ × P ] . {\displaystyle \mathbf {P} \cdot \Delta \mathbf {Q} -\mathbf {Q} \cdot \Delta \mathbf {P} =\nabla \cdot \left[\mathbf {P} \left(\nabla \cdot \mathbf {Q} \right)-\mathbf {Q} \left(\nabla \cdot \mathbf {P} \right)-\nabla \times \left(\mathbf {P} \times \mathbf {Q} \right)+\mathbf {P} \times \nabla \times \mathbf {Q} -\mathbf {Q} \times \nabla \times \mathbf {P} \right].} 回転の発散はゼロであるため、この第三項は消去され、次が得られる： グリーンのベクトル恒等式 P ⋅ Δ Q − Q ⋅ Δ P = ∇ ⋅ [ P ( ∇ ⋅ Q ) − Q ( ∇ ⋅ P ) + P × ∇ × Q − Q × ∇ × P ] . {\displaystyle \color {OliveGreen}\mathbf {P} \cdot \Delta \mathbf {Q} -\mathbf {Q} \cdot \Delta \mathbf {P} =\nabla \cdot \left[\mathbf {P} \left(\nabla \cdot \mathbf {Q} \right)-\mathbf {Q} \left(\nabla \cdot \mathbf {P} \right)+\mathbf {P} \times \nabla \times \mathbf {Q} -\mathbf {Q} \times \nabla \times \mathbf {P} \right].} 同様の手順で、ドット積のラプラシアンはラプラシアンに関して次のように表すことが出来る： Δ ( P ⋅ Q ) = P ⋅ Δ Q − Q ⋅ Δ P + 2 ∇ ⋅ [ ( Q ⋅ ∇ ) P + Q × ∇ × P ] . {\displaystyle \Delta \left(\mathbf {P} \cdot \mathbf {Q} \right)=\mathbf {P} \cdot \Delta \mathbf {Q} -\mathbf {Q} \cdot \Delta \mathbf {P} +2\nabla \cdot \left[\left(\mathbf {Q} \cdot \nabla \right)\mathbf {P} +\mathbf {Q} \times \nabla \times \mathbf {P} \right].} この系として、整理されていない項はベクトルグリーン函数との比較によって発散に関して書くことが出来る： P ⋅ [ ∇ ( ∇ ⋅ Q ) ] − Q ⋅ [ ∇ ( ∇ ⋅ P ) ] = ∇ ⋅ [ P ( ∇ ⋅ Q ) − Q ( ∇ ⋅ P ) ] . {\displaystyle \mathbf {P} \cdot \left[\nabla \left(\nabla \cdot \mathbf {Q} \right)\right]-\mathbf {Q} \cdot \left[\nabla \left(\nabla \cdot \mathbf {P} \right)\right]=\nabla \cdot \left[\mathbf {P} \left(\nabla \cdot \mathbf {Q} \right)-\mathbf {Q} \left(\nabla \cdot \mathbf {P} \right)\right].} この結果は、右辺のベクトルのスカラー倍の発散を拡張することで確かめることが出来る。
※この「グリーンのベクトル恒等式」の解説は、「グリーンの恒等式」の解説の一部です。
「グリーンのベクトル恒等式」を含む「グリーンの恒等式」の記事については、「グリーンの恒等式」の概要を参照ください。
- グリーンのベクトル恒等式のページへのリンク
