ナブラ ∇ の物語 ― 一つの記号が世界を測る
The Story of Nabla
読み物
三角形を逆さにしたような記号、$\nabla$。ベクトル解析を開けば、勾配 $\nabla f$、発散 $\nabla\cdot\boldsymbol{A}$、回転 $\nabla\times\boldsymbol{A}$ と、あちこちで顔を出す。最初は「掛け算の点や叉の意味は？」と戸惑うが、慣れてくると、この一文字がほれぼれするほど多くの仕事をこなしていることに気づく。
この記事では、公式の暗記からいったん離れて、$\nabla$ という記号そのものの物語を追ってみたい。どこから来て、なぜこの形で、どうして三つの異なる微分を一文字で束ねられるのか ―― そこには、記号が数学を前へ進めた小さなドラマがある。
楽器の名を持つ記号
$\nabla$ という形は、逆さまの三角形だ。この形がフェニキアの竪琴に似ていることから、その楽器を指すヘレニズム期のギリシャ語 νáβλα にちなんで「ナブラ」と呼ばれるようになった。ただし名付けたのは記号の考案者ではない。1870 年、ウィリアム・ロバートソン・スミスがピーター・ガスリー・テイトへの手紙に「$\nabla$ に私が提案する名前はナブラである。……これは一種の竪琴のようなものだ」と書いたのが始まりとされる。数学の記号に楽器の名がついているというのは、なんとも洒落た由来である。
記号そのものは、それよりずっと前に、四元数の発見で知られるアイルランドの数学者ウィリアム・ローワン・ハミルトンが導入していた。当初は向きの定まらない使われ方もしたが、やがて「各方向の偏微分を成分に並べた、ベクトルのような演算子」という意味に落ち着いていく。式で書けば
$$\nabla = \left(\frac{\partial}{\partial x},\ \frac{\partial}{\partial y},\ \frac{\partial}{\partial z}\right)$$―― 中身が空っぽのベクトル、いわば「微分を待っている入れ物」だ。これに何を、どう掛けるかで、三つの異なる演算が生まれてくる。
一つの演算子、三つの掛け方
$\nabla$ を形式的にベクトルのように眺めると、スカラー場に作用させる場合、ベクトル場と内積を取る場合、外積を取る場合という三つの形から、三つの微分が統一的に立ち現れる。
- スカラー場に作用させる ―― スカラー場 $f$ に $\nabla$ を作用させると、各方向の傾きを並べた勾配 $\nabla f$。最も急に増える向きを指す。
- 内積を取る ―― ベクトル場 $\boldsymbol{A}$ と $\nabla\cdot\boldsymbol{A}$ で発散。ある点から場がどれだけ「湧き出している」かを数で表す。
- 外積を取る ―― $\nabla\times\boldsymbol{A}$ で回転。場がどれだけ「渦を巻いている」かを向き付きで表す。
勾配・発散・回転は、別々に定義すると三つの異なる概念だ。だが $\nabla$ という一つの入れ物を用意し、ベクトルの掛け方を変えるだけで、すべてが統一的に書ける。記号がうまく設計されると、概念のあいだの隠れた親戚関係まで見えてくる ―― $\nabla$ はその好例である。各演算の正確な定義と性質は勾配・発散・回転・ラプラシアンで確かめられる。
ひとくちメモ：「掛けたら消える」二つの恒等式
$\nabla$ をベクトルだと思うと、ベクトルの性質がそのまま微分の性質に翻訳される。たとえば「同じベクトルどうしの外積はゼロ」から $\nabla\times(\nabla f)=\boldsymbol{0}$ が、「外積と元のベクトルの内積はゼロ」から $\nabla\cdot(\nabla\times\boldsymbol{A})=0$ が予想できる。実際これらは正しい恒等式だ。勾配場に渦はなく、あるベクトル場の回転として得られた場に湧き出しはない ―― 物理的にも深い意味を持つこの二式が、記号操作からするりと出てくる。ただしこの類推は予想を当てるだけで、証明ではない。実際の証明が使うのはベクトルの代数則ではなく、十分に滑らかな関数について混合偏微分の順序を交換できること $\partial^2 f/\partial x\partial y=\partial^2 f/\partial y\partial x$ である。$\nabla$ はベクトルによく似ているが、本物のベクトルではない。豊富な恒等式は恒等式一覧にまとまっている。
記法をめぐる、静かな戦争
いまでこそ当たり前のベクトル解析だが、その記法が定着するまでには、ちょっとした論争があった。十九世紀、ハミルトンの四元数こそが空間を記述する正しい言語だと信じる一派がいた。一方で、四元数は実用には重すぎると考え、もっと身軽な「ベクトル」という概念を切り出した人々もいた。アメリカのウィラード・ギブズと、イギリスのオリヴァー・ヘヴィサイドである。
ギブズは講義ノートとして、ヘヴィサイドは電磁気学の論文の中で、独立に現代的なベクトル解析を整えていった。四元数派からは「数学の純粋さを損なう」と激しく批判されたが、物理の現場では、扱いやすいベクトル記法が次第に支持を広げる。今日われわれが使う $\nabla$ まわりの記号は、この実用性をめぐる綱引きを勝ち抜いて生き残ったものなのだ。記号は、ただ与えられるのではなく、使われ、選ばれて定着する。
世界を四行に畳んだ $\nabla$
$\nabla$ の威力が誰の目にも明らかになったのは、電磁気学の場面だった。ジェームズ・クラーク・マクスウェルは、電気と磁気のふるまいをまとめあげたが、彼自身の最初の記述は二十本もの方程式が並ぶ大がかりなものだった。
それを $\nabla$ を使ったベクトル解析の言葉に書き直したのは、しかしマクスウェル自身ではない。彼の死（1879 年）の後、1884 年にヘヴィサイドがこの二十本を整理し、電場と磁場の発散と回転を述べた、わずか四本の式に畳み込んだ。電気がどこから湧き出し、磁場がどう渦を巻き、変化する場がどう互いを生み出すか。宇宙の電磁現象のほとんどが、$\nabla\cdot$ と $\nabla\times$ を組み合わせた数行に収まってしまうのだ。記号の選び方一つで、法則がこれほど見通しよくなる。$\nabla$ は単なる略記ではなく、自然を理解するためのレンズだったのである。
ひとくちメモ：そして積分定理へ
$\nabla$ は微分の側だけの主役ではない。発散はガウスの発散定理で体積積分と表面積分を結び、回転はストークスの定理で面積分と線積分を結ぶ。いずれも「内側での $\nabla$ の作用は、境界での値で測れる」という、微分積分学の基本定理の高次元版だ。微分で局所を語り、積分で大域とつなぐ ―― $\nabla$ はその橋渡しの要にいる。詳しくは積分定理へ。
結び ― 一文字に宿る発想
楽器の名を借りた逆三角形は、ハミルトンの手で生まれ、ギブズとヘヴィサイドの手で磨かれ、やがてマクスウェルの電磁気学を四行に畳んでみせた。$\nabla$ がこれほど働けるのは、それが「微分を待つベクトルの入れ物」という一つの発想を、掛け算の流儀に乗せて運んでいるからだ。よい記号は、考えを節約するだけでなく、新しい考えを呼び込む。
物語を楽しんだら、いよいよ $\nabla$ を実際に手で動かしてみよう。ベクトル解析トップから各章へ進めば、座標系ごとの計算や恒等式が、この一文字を軸にすっきり整理されているのが見えてくる。
よくある質問
記号 ∇（ナブラ）はなぜこの形なのか、名前の由来は何か
∇ は逆さまにした三角形の形をしており、この形がフェニキアの竪琴に似ていることから、ヘレニズム期のギリシャ語でその楽器を指す「ナブラ」という呼び名が当てられた。ただし名付けたのはハミルトンではなく、1870 年にウィリアム・ロバートソン・スミスがテイトへの手紙で提案したのが始まりとされる。記号自体はハミルトンが導入し、物理学者たちがベクトル微分演算子として用いる中で定着した。形と名前は楽器に由来するが、中身は『各方向の偏微分を並べたベクトル状の演算子』である。
なぜ勾配・発散・回転を同じ ∇ で書けるのか
∇ を『偏微分を成分に持つベクトルのような演算子』とみなすと、ベクトルの三つの掛け方に対応して三つの演算が自然に現れるからである。スカラー場に作用させると勾配、ベクトル場と内積を取ると発散、外積を取ると回転になる。一つの演算子に対し『掛け方』を変えるだけで三つの微分が出てくるため、同じ ∇ という記号で統一的に書ける。