歴史的(直感的)定義:ベクトル場
に対して、直交直線座標での
の 成分viの各々の調和微分
を成分とする ベクトル場を
の調和微分と呼び、
と書く。
この定義が座標変換に対して不変であることは別に証明せねばならない。 そのためには、この定義で得られるベクトル場が既に(座標変換不変であると) 知られている微分演算の組合せで表されることを示せばよい。 これがうまくいけば、求まった微分演算の組合せを「どんな座標系でも使える 新たな定義」として採用することができる。これは次のようになる。
微分演算子による定義:ベクトル場
に対して、
![]()
と書いての調和微分と呼ぶ。
直交曲線座標においてこの定義の右辺を展開して整理すると次のようになる。
注:一般に直交曲線座標では
に対して
ではないから
という表現を使うべきではないと書いてある
教科書があるのだが、賛成しかねる。むしろ、
という
表現を見て「成分毎の調和微分だ」と考えることがおかしいのであり、
それに対して注意を喚起するべきである。
は明らかに「ベクトル場に対する演算」の表現形式であって
「成分に対する演算」の表現形式ではないから、
上記の「歴史的定義」のようにある座標系で一旦定義したら、
どんな座標系を使おうとベクトルの「実体」として
それと同じものを指すと解釈するべきである。
なお、
を使うべきでないとする教科書では
その代りに
という表現を使っているが、
これはますますおかしい。
の方が
「成分別
」という意味合いのイメージを
強く残している表現だからである。
微分幾何学ではを一般化したもの(Laplace-Beltrami演算子と呼ぶ)が
定義されている。ベクトルの調和微分はこの定義に見合っている。
このことからしても、コソコソせずに堂々と
という表現を
使って良いと言える。