更新情報
　[2011/07/24] 一部修正
　[2010/10/29] 一部追加
　
　ベクトルの微分・積分は、それぞれ全く今まで触れたことのない新しい演算が多数登場しますが、ここではそのうち "微分" の新しい演算子である、∇ (ナブラ) について、どのように計算すべきか紹介します。なお、ここでは物理的意味などはあえて記載せず、どのように計算したらよいか、そして覚えるべき公式は何か (本当に覚えることはそれほど多くない) だけに焦点を当てていきます。

微分演算子 ∇ (ナブラ) の定義

　演算子 ∇ を、次のように定義します。

これはベクトルの微分演算子といい、単体では意味を持ちません。この右に何らかの関数を持ってくることではじめて意味を持つものです。微分方程式では d/dt を D などと置き換えたりしましたが、そのようなものです。上で定義した演算子 ∇ には名前がついており、ナブラ (nabla) といいます。昔、このような形をしたナブラという楽器があったとかないとかでついたらしいのですが詳しいことは分かりません。
　いきなりこんなものを持ってこられても、これを定義したところで何が得なのか疑問なのですが、道具の存在意義を疑う前にまずはどうやって使うのかだけ目をやりましょう。さて、実際に種々の計算を開始する前に注目しておきたいのが、これは形式的にはベクトルですから、今まで考えてきたベクトル演算をこれにも適用することができる、という点です。具体的には、これとスカラー関数 Φ(x, y, z) とのスカラー積 (のようなもの) である ∇Φ、そしてベクトル関数 f (x,. y, z) との内積 (のようなもの) である ∇・f、外積 (のようなもの) の ∇×f、合計 3 種類を考えることができます。なお、ナブラは左には作用しません。常に右にあるものにしか作用しないという決まりがあるのでしつこいようですが勘違いしないようにしましょう。それは、たとえば df(x) / dt だって、 f(x) d/dt では何も意味を持ってないのと一緒です。微分の演算子と同じく、ナブラは順序に敏感です。∇・f には意味があっても、f・∇ にはそれだけでは何も意味がありません。これらのことに注意しながら、その三つの演算はどういうふうに計算するのか、見ていきます。

勾配・発散・回転

　では、早速その三種類を見てみます。∇ を、形式的にスカラー積のようにして作用させたものは勾配 (gradient) といいます。すなわち、スカラー関数 φ(x,y,z)　について、

と定義します。見て分かるように、これによって、スカラー関数からベクトルが作り出されます。もちろん微分から作られたベクトルなので、向きは場所によって変動していくものです。スカラー場 (空間のいろんな点にいろんな値が連続的に分布する場) を微分して得るベクトルなので、その場の変化の急さをどうにかしてベクトル化しているとは思いますが、具体的にどういう意味があるかは後回しにします (一言で言えば、 "その点から最も値が変化するのはどの向きか" を表すのが勾配ですが、詳細は [4] に記載してあります)。
　次に、形式的に内積のようにして作用させたものを 発散 (divergence) といいます。形式的に内積なので、勾配はスカラー関数に作用したのに対し、発散はベクトル関数にのみ作用させることが可能です。

そして、忘れてはならないのが、発散はこのようにスカラー量になっているということです。発散で得られるものはベクトルではありません。慣れないうちは、これらがベクトルかスカラーか混同する可能性が非常に高いため、この点については常に気を配る必要があります。
　もう一つ、形式的に外積のようにして作用させたものは回転またはカール (rotation, curl)といいます。これもベクトル関数にしか作用させることができません。外積ですからね。

外国の本には回転よりもカールという記述の方が多く見られます。もちろんこれは外積なので、ベクトルができあがります。
　繰り返し、初学者として気をつけておくべき点を書いておきますと、勾配と回転からできるものはベクトル、発散からできるものはスカラーです。応用として回転の回転だとか勾配の回転なども考えることになりますが、上のことを強く意識していれば、たとえば "回転の回転" は存在するが、"発散の発散" や、"勾配の勾配" などは存在しないことには気づくでしょう。別に、ナブラ自体が "ベクトル (のようなもの)" であることさえ分かっていれば、例えば発散はスカラーだのそういうことは改めて覚えるほどのことでもありません。上の 3 式は全部公式のようなものとして暗記する必要はないのです。∇ 自体はまあ新しいものだから定義を暗記するとして、それはベクトルみたいなものだからスカラー積、内積、外積を考えてみました、というだけのことです。

勾配・発散・回転の諸公式

　基本的に ∇ は微分演算子であるため、各 x, y, z 成分で分けて考えれば、合成関数の微分、積の微分といった公式がほとんどそのまま成り立ちます。また、∇ はベクトルの一種でもあるので、やはり今まで見てきたようなベクトルの公式もほとんどそのまま成り立ちます。勾配・発散・回転の諸公式は、全ての成分について個別に計算すれば証明は容易ですが、以上の考えに基づいて計算すると、あまり成分を出すことなく、記号のままで議論することが出来てすっきりします。また、その利益とはそれだけにとどまらず、暗記することが減るというのも非常に大きいでしょう。先に書いておきますが、ナブラは微分演算子のように順序に敏感ということさえ気にとどめておけば、これから出てくるいくつもの公式は、ほとんど暗記する必要がありません。
　そのような概論的なことばかり述べていても仕方が無いので、実際に覚える必要がないというのはどういうことか、見てみます。たとえば、

というような公式は、見ているだけでは覚えられる気がいっこうにしてきませんが、∇ は微分演算子なので、d/dt のようなものだとして見れば、合成関数の微分と見ることもできるでしょう。そこで、

という風にしてやります。右式における ∇ の下付文字は、∇ が作用するのはそちらの方だけだ、ということを示しています。普通の微分と一緒ですね。ただこの方法も成分を出さなくてよくて見通しがいい議論が出来る代わりに、ただの微分よりも注意が必要で、まず第一項は Φ に作用するとのことですが、当然スカラー関数 Φ に ∇ が作用できるのは grad としてだけですから、∇Φ という風にくっつきます。その結果、余った内積のドットは f と ∇Φ でとられていることになります。
　右の項は、f に作用しますが内積の形式になっているのが分かるとおり、ベクトルに作用する場合は div か curl でないと作用できないのでここでは内積の形式ですから div として ∇・f とします。余った Φ はスカラーですから係数のように前に出します。何度も書いているとおり、ナブラは右にあるものに作用しますから、右に置いて ∇・fΦ とすると誤解を与えます。以上のようにして、

という公式を得ます。成分計算しても当然同じ結果となります。それは、各成分ともに合成関数の微分になるからですね。
　この調子でいけば、他にも

といった公式は、上と全く同じような考えで容易に示すことができます。他のパターンとしては、

このようなものもあります・・が、一行目と二行目の間で何をしたかよくわかりません。これは、f にだけどのように作用させたらよいかというと、まず ∇ は自分自身の順序に敏感なのでできるだけ順序自体は変えずにうまくやりたいところです (例 : ∇・f ≠ f・∇)。そこで、この式は形式的にスカラー 3 重積になっているので、"メリーゴーラウンド式" の移動法を試します。∇ の作用する順序自体は変わっていないので、この法則はそのまま成り立ちます。要するに、イコールの範囲内でうまく ∇ のすぐ右に作用する相手を持ってきたいんですね。隣にドットがあるかクロスがあるかは大した問題ではないのです。最初の項は 1 個全部ずらしてやると、最後の式のように変形可能です。右の項は f と g のクロスを入れ替えてマイナスにしたあと、メリーゴーラウンド式に移動させて最終的な結果を得ます。このように、ナブラはベクトルでも微分演算子的な側面を持ち合わせているために、順序に関して若干の制約がつきまとうのには注意が必要です。
　他、勾配、発散、回転など、色々組み合わせることも可能ですが、特に押さえておかなければならないのは 0 になる組み合わせです。たとえば、勾配の回転は 0 になります。つまり

です。これは形式的に Φ をスカラー (関数ではなくただの係数という意味)、∇ をただのベクトルと見なすことで、A×A というのは 0 ですから、形式的に 0 になるのがわかります。数学的に正しい証明かどうかは置いておいて、このように考えれば覚えることは結構少なくて済みます。このことから、rot を取ると 0 になるようなベクトルつまり ∇×A=0 である場合、A は -∇Φ (別にマイナスはなくてもいいですが、物理的な意味でつけておきます) と表してもよいことになります。このような Φ をスカラーポテンシャルといいます。
　もう一つ 0 になる組み合わせに、回転の発散があります。つまり、

です。これも、形式的にスカラー 3 重積であり、∇ をただのベクトルとして見れば、そもそもこれが何らかの大きさを示すのかとかそういう野暮なことはおいておいて、この形は同じベクトルが 2 つある、つまり "潰れた平行六面体の体積" ですから、0 になるのがわかります。
　もう一つ組み合わせ系で押さえておかないといけないのは、回転の回転と勾配の発散です。これらは 0 になりません。

これは形式的にベクトル 3 重積なので、やはり公式のとおり進めていきます。注意すべきは、まず間違いなく ∇ は f に作用しているので、わざと f に作用するよううまく f を右に置き換えることですね。そうすると必ずこのように出せると思います。成分で計算すると地獄なので思い出すときはこちらのベクトル 3 重積の公式で覚えるといいと思います。
　ここで出てきた △ なるものはラプラシアンといい、スカラー関数に作用するラプラシアン △Φ においては勾配の発散 ∇・∇Φ (div gradΦ) を意味します。要するに各成分 2 回微分の和です。ラプラシアンは △ と表記するのが普通のようですが ∇ の 2 乗という見た目でも表記されることがあります。ちなみに、△Φ = 0 (ラプラスの方程式) を満たす関数は調和関数というようです。右辺が 0 でない非同次の偏微分方程式はポアソン方程式という名前になっています。当然 ∇・∇ は内積のようなもので、それにスカラー Φ がかかっているのでこれはスカラーです。

位置ベクトルと勾配

　位置ベクトル関数の勾配・発散・回転各種は物理とも密接に関わっているため非常に重要です。位置ベクトル関数の勾配・発散・回転を考えるだけですでに物理学に応用できそうないくつかの性質を見つけることができます。ベクトル解析を学ばずに力学や電磁気学を学ぶのは、肉のない牛丼を食べるようなものなんですね。
　位置ベクトルの勾配は、位置ベクトルの単位ベクトルとなります。これは残念ながらうまい公式もなにもないので、正直に微分して確かめます。

ナブラを使って効率よく計算したい場合覚えておいた方がいい公式がもう一つあって、それは位置ベクトルの大きさ r の関数 f(r) の微分です。各成分ばらせば分かりますが、ナブラにも合成関数の微分が成りたっているのです。すなわち、

です。これもナブラを d/dx と思ったら合成関数の微分そのままなので覚えやすいですよね。これさえ理解しておけばこれ以上勾配の公式は覚えなくても大丈夫です。例えば、r の n 乗の勾配は公式としてよく出てきますが、上のことさえ知っていれば覚える必要は全くありません。実際、

ですからね。こんなもの文字だけ見たって覚えられないでしょう。我々がよく知っている "合成関数の微分" がナブラでも成立する・・・だから、どんな関数にナブラを適用したとしても、合成関数の法則を用いるだけ、というわけです。

位置ベクトルと発散

　位置ベクトルの発散は 3 になります。定義さえ知っていれば、これは別に覚えるほどのことでもありません。

位置ベクトルと回転

　位置ベクトルの回転は 0 ベクトルになります。回転は計算がめんどくさいので、覚えておくといいかもしれません。

まとめ

1. ナブラの定義

2. 勾配・発散・回転の定義

3. ナブラの積の微分法則

↓と比べてみよう

4. 0 になる組み合わせ

5. 位置ベクトル、あるいはその大きさに対する勾配・発散・回転

6. 合成関数の微分法則

　下の方は上の方さえ知っていればすぐ出せるから覚えなくてもいい！なお、上の方は位置ベクトル r でなくても一般の関数 u に対して成り立ちます。

計算練習 1. 逆二乗則に従うベクトル場の発散

　これまでの応用としてやや重要な例を見てみます。

を見てみましょう。これは逆二乗則に従うベクトル場です。r の上に ^ がついているのは r ハットと読み、その方向を向いている単位ベクトルであることを表しています。k₀は任意の定数ですね。ですから、これの値によっては万有引力ですし、クーロンの法則の式そのものになるわけです。この二つに共通する面白い性質として、発散を取ると 0 になるという性質があります。答えから書いてしまったらあまり面白くないですが、これまでに見てきた計算規則をうまく適用しながら、0 になることを確認してみましょう。

二行目は、発散の積の法則で二つの項にバラしています。そして左の項はすぐ上でみた合成関数の微分、右は r ベクトルの発散 = 3 であることをそのまま用いていますね。そのあとはまあとんとん病死ですが、最後に r・r が出てきます。これは自分自身の内積ですから r の二乗になることを注意しておけば、最終的に左、右とも項が異符号となるだけで、合わせると 0 になることが確認できます。
　すごく丁寧に書けばこういう感じですが、実際はもっと短くて済むでしょう。こんなのいちいち成分ごとにやってたら地獄ですので、ちゃんとナブラの計算規則は身につけておきましょう。この結果は電磁気学ではガウスの法則を導出するときに使うことになります。

計算練習 2. グリーンの第二恒等式

　奇妙な式ではありますがこれはグリーンの第二恒等式と呼ばれる積分定理の一つで出てくる式です。本当は左辺に面積分、右辺に体積分という演算がかかっているのですがここではそういうのはナシにして、その中身だけ注目することにしましょう。これも大して難しくないので確認してみましょう。

ここまで来るとただの記号遊びにしか見えませんが、こういうのも迷わず計算できるようになれば、それなりにナブラの使い方は身についたと思ってもよいと思います。