$\def\bm#1{{\boldsymbol{#1}}} \def\coloneqq{{:=}} \newcommand{\car}{\mathcal{R}} \newcommand{\bcar}{\bm{\mathcal{R}}} \newcommand{\hcar}{\bm{\hat{\mathcal{R}}}} \newcommand{\hbx}{\bm{\hat{x}}} \newcommand{\hby}{\bm{\hat{y}}} \newcommand{\hbz}{\bm{\hat{z}}} \newcommand{\hbr}{\bm{\hat{r}}} \newcommand{\hbtheta}{\bm{\hat{\theta}}} \newcommand{\hbphi}{\bm{\hat{\phi}}} \newcommand{\hbs}{\bm{\hat{s}}} \newcommand{\bmsa}{\bm{a}} \newcommand{\bmsb}{\bm{b}} \newcommand{\bmsc}{\bm{c}} \newcommand{\bmsd}{\bm{d}} \newcommand{\bmse}{\bm{e}} \newcommand{\bmsf}{\bm{f}} \newcommand{\bmsg}{\bm{g}} \newcommand{\bmsh}{\bm{h}} \newcommand{\bmsi}{\bm{i}} \newcommand{\bmsj}{\bm{j}} \newcommand{\bmsk}{\bm{k}} \newcommand{\bmsl}{\bm{l}} \newcommand{\bmsm}{\bm{m}} \newcommand{\bmsn}{\bm{n}} \newcommand{\bmso}{\bm{o}} \newcommand{\bmsp}{\bm{p}} \newcommand{\bmsq}{\bm{q}} \newcommand{\bmsr}{\bm{r}} \newcommand{\bmss}{\bm{s}} \newcommand{\bmst}{\bm{t}} \newcommand{\bmsu}{\bm{u}} \newcommand{\bmsv}{\bm{v}} \newcommand{\bmsw}{\bm{w}} \newcommand{\bmsx}{\bm{x}} \newcommand{\bmsy}{\bm{y}} \newcommand{\bmsz}{\bm{z}} \newcommand{\bma}{\bm{A}} \newcommand{\bmb}{\bm{B}} \newcommand{\bmc}{\bm{C}} \newcommand{\bmd}{\bm{D}} \newcommand{\bme}{\bm{E}} \newcommand{\bmf}{\bm{F}} \newcommand{\bmg}{\bm{G}} \newcommand{\bmh}{\bm{H}} \newcommand{\bmi}{\bm{I}} \newcommand{\bmj}{\bm{J}} \newcommand{\bmk}{\bm{K}} \newcommand{\bml}{\bm{L}} \newcommand{\bmm}{\bm{M}} \newcommand{\bmn}{\bm{N}} \newcommand{\bmo}{\bm{O}} \newcommand{\bmp}{\bm{P}} \newcommand{\bmq}{\bm{Q}} \newcommand{\bmr}{\bm{R}} \newcommand{\bms}{\bm{S}} \newcommand{\bmt}{\bm{T}} \newcommand{\bmu}{\bm{U}} \newcommand{\bmv}{\bm{V}} \newcommand{\bmw}{\bm{W}} \newcommand{\bmx}{\bm{X}} \newcommand{\bmy}{\bm{Y}} \newcommand{\bmz}{\bm{Z}} \newcommand{\rmd}{\mathrm{d}}$

ナブラ演算子

勾配$\nabla$はベクトルの形をしていて、次のようにスカラー$T$に作用する。

ここでの議論に限り、単位ベクトルを左側に書いた。これは、$\hbx$が定ベクトルであるが故に$\partial\hbx/\partial x=0$などと誤解されるのを防ぐためである。この式の括弧の中身はナブラ演算子と呼ばれていて、

と書く。

勿論、ナブラ演算子は通常ベクトルではない。実際、関数に作用するまでは意味を持たせることが出来ないためである。

そして、これは単なる掛け算ではなく、後ろに続くものを微分するというものである。

正確には、ナブラ演算子はただ単に$T$に掛かるベクトルなのではなく、$T$に作用するベクトル演算子（vector operator）であると言われる。但し、この条件では、作用を掛け算であると翻訳すれば、ナブラは通常のベクトルの振る舞いをほぼあらゆる点で模倣する。通常のベクトルを使って出来ることは殆ど何でもナブラでも出来る。

だから、とにかくナブラ演算子の導入を真剣に認めてほしい。ナブラの恩恵を受けずに書かれたMaxwell の電磁気学に関する最初の研究を参考にしたことがあれば分かるのだが、ナブラ演算子を導入した電磁気学は驚くほど明快に表記法の簡略化がなされているのである。

さて、通常のベクトル$\bma$には以下のような$3$通りの積があった。

1. スカラー$a$の掛け算：$\bma a$
2. ベクトル$\bmb$との内積：$\bma\cdot\bmb$
3. ベクトル$\bmb$との外積：$\bma\times\bmb$

これに対応して、ナブラ演算子$\nabla$にも以下のような$3$通りの作用がある。

1. スカラー関数$T$の掛け算への作用：$\nabla T$
   これは勾配に他ならない。
2. ベクトル関数$\bmsv$との内積による作用：$\nabla\cdot\bmsv$
   これを発散（divergence）という。
3. ベクトル関数$\bmsv$との外積による作用：$\nabla\times\bmsv$
   これを回転（rotation）という。

勾配については既に議論した通りであるから、次の講義2回で$2$つのベクトルの微分、発散と回転について考えることにする。