微分演算子をベクトルに組み合わせたナブラというベクトル演算子を定義しました.ナブラは次のように書けます.
ナブラをスカラーに作用させたものを grad とも書くのでした.(ナブラをベクトルに作用させるときは と書きます. はまた後で勉強します.)この記事では, について考察してみます.
[*] | ナブラはハミルトンの演算子と呼ばれることもありますが,最初にこの記号を考案し,数学的に発展させたのはハミルトンの弟子のテイト( )です.(一番最初は横向きに と書いたようです.)電磁気学のマックスウェルは,はっきりとテイトの業績を讃えていますが,現代でもいまいちテイトの名前はハミルトンの陰に隠れています.もっとも,最初期の には,まだ四元数の理論の影響が強く,人によって符号などが統一されていませんでした.テイトは非常に広汎な研究を進めたにも関わらず,四元数を離れてベクトルだけ使うという思考の変換が果たせず,ナブラを電磁気学に本格的に用いはじめたギブス( )やヘヴィサイド( )を批判して激論を繰り広げています.しかし,その後のベクトル解析分野は,電磁気学の進歩に伴い,ギブスやヘヴィサイドなどの電磁気学者によって大きく発展させられていきます.この記号をデル,アトレッドまたはエイトレッドなどと呼ぶ人もいるようです.これは が逆三角形なので,記号 を逆から読んでのことだそうです.しゃれた名前ですが,アトレッドと呼んでいる人を見たことはありません. |
方向微分は, と方向ベクトル を使って次のように定義されました.
方向微係数は, と が同じ方向を向いている時に最大値を取ります.
[†] | スカラー場の勾配のイメージは, ベクトル解析奮闘記1 を参照下さい.方向微係数が最大値となる向きとは,同記事の挿絵で,汗を流して人が登っている,傾斜が最大の向きです. |
スカラー場 に対し,等位面 を考え,その任意の一点を とするとき,ベクトル は, における接平面に含まれます.
すんなりと が法線ベクトルになっていることが分かる人は,それでいいです.パッと分からない人は,以下のように考えて確認してみましょう.等位面 と,点 の接平面に含まれるベクトル を考えます.このとき, より ですが,一般には のはずです.そこで定義 より, が要請されるわけです.そこで, は等位面に直交する向き,つまり法線方向を向いていることが分かります.
この結果を次のように応用することも出来ます.等位面 の単位法線ベクトルを とすると,次のような式変形が可能です.
もしくはベクトル形で と表現できます.これが,法線ベクトルを使った勾配の表現となります.『曲面 の単位法線 を求めよ』という問題に対しては,逆に を用いて を表現することが出来ます.
[‡] | を表現するのに,ガウスの積分定理という定理を用いる方法もあります. gradの積分形による定義 で紹介します. |
前セクションの結果を用いると,スカラー関数の等位面 の接平面を を用いて表わすことができます.幾何学の問題に御利用ください.一般に,陰関数 の形で曲面の方程式が与えられているとき,ある点 における法線ベクトルは で与えられます.この点における接平面の方程式は, 法線ベクトルに直交し, を通るベクトルとして表現されますので,ベクトルの内積を用いて次のように書けるでしょう.
関数の勾配を取る場合,次のような演算法則がなりたちます.普通の微分演算でなりたつ算法と同じですね.( 等は関数, 等はスカラーとします.)
[§] | 一番目の性質は,ナブラが線形性を持つことを示しています.このような演算子を線形演算子と呼びます.線形演算子の性質は線形ですから,線形演算子の性質を考える際には線形代数の成果を応用することができます.この先,色々な線形演算子が出て来ると思いますが,線形代数の知識(具体的にはベクトルや行列)を応用するような場合もあるでしょう.いずれ,行列の固有値のように,線形演算子の固有値や固有ベクトルといった問題も出て来ると思います.微積分の計算と線形代数は,最初は別々に勉強しますが,そろそろ融合してきます.楽しみですね. |