ベクトル演算子の重要な関係式に, と を重ねたら,必ず零になるというものがあります.
これは,任意の関数 , に対して成り立つ非常に重要な関係式で,この後,電磁場のポテンシャル論など,ポテンシャル関数を利用する場面でよく使われるものなので,よく覚えておいて下さい.
式 で, は任意のスカラー関数, は任意のベクトル値関数とします.実際に成分計算することで,式 を証明して下さい.
式 の意味する物理的状況をイメージしておくのを悪くないと思いますので,直観的に考えてみます.まず,式 で という流れ場を と置いてみます. 平面上で,例えば が 方向に変化するなら( なら),次図のように 平面に浮かべた物体はクルクル回り,回転があることになります.(変化率 としたのが図の様子です.)
これは の流れです.ところが, が成り立ちますので, は, の向きを右向きに変えただけのものになることが分かります.
上の二つの絵を見比べてください. と は,軸方向への変化率が全く同じですから,回転の大きさ(浮かべたものを回そうとする力)は同じです.そして,その回転の向きが逆になっていますから,ちょうど互いに回転を相殺してしまう形になっているのです. 平面, 平面も同様ですから, は,どこにも回転の無い流れ場になります.
これが, という式のイメージです.結局は,式で言っていることをバラして絵にしただけなのですが,直観的に納得できれば良いと思います.
式 の方の直観的イメージはどうなるでしょうか.まず と置き,流れの中に置いた 座標に沿った微小直方体領域で考えます.下図で手前に見えている面 上の流れを考えてみましょう.(これを, と略記します.)
ベクトル は,図に書いたように が反時計回りに回転を持つときに手前方向を向くベクトルとして定義されます.一方,この面とちょうど反対側(箱の裏側)の面 上の流れ はどのようなベクトルになるでしょうか?この直方体が非常に小さいとすれば, と はたいして離れていませんので, 上の流れは 上の流れと『ほとんど同じ』です.ほとんど向きが同じということは,この直方体領域に立った視点からは,『直方体から出て行く向きか,直方体に向かってくる向きか』が逆になります.(先ほど を,直方体から出て行く向きだと考えましたので, は直方体に入ってくる向きになるということです.)
そして, と の間隔を,極限を取って とすれば,完全に となります.
[*] | 要するに,右巻きのものも,反対側から見たら左巻きだってことです. |
直方体の他の向きの面でも同じ議論が成り立ちますので,結局,どの向きも表裏表裏で相殺して,直方体表面全体で考えれば,回転はなくなりなす.(直方体の法線は,どの面においても,直方体の外に向く方向を正としているからです.)式で書けば,次式が成り立つということになります.
右辺とガウスの定理より, を得ます. という式の,直観的理解は得られましたか?
式 は,微分形式の理論では ポアンカレの補題 とよばれる定理の表現になっています. 次微分形式を とし,これに対し 次微分形式を と表わすことにします.(つまり, は外微分の演算を表わしています.)このとき,どんな次数の微分形式に対しても次式が成り立つというのが ポアンカレの補題 です.
つまり,二回連続で外微分を取ったら,絶対 になるということです.微分形式とか外微分という言葉を初めて聞いたという人は,何のことか分からないと思いますが,気が向いたら 微分形式 を勉強してみて下さい.いますぐ勉強する予定が無い人も,『なんだかベクトル解析の先には,綺麗な理論がありそうだなぁ』と思って楽しみにしていて下さい.