・・・ちょっとだけ共変微分（´～｀）
今日、ちょっとだけ変な微分を勉強してみましょう。
こういうベクトル場で、縦方向（y方向）や横方向（x方向）にどんな感じでベクトルが変化しているのか？を調べます。あなたならどうしますか？
あるベクトル場ｖが
と、あらわされているとします（注１）。
このベクトル場で、縦方向（y方向）や横方向（x方向）にどんな感じでベクトルが変化しているのか？を知るために
このベクトル場ｖを、x方向とy方向に微分します。
すると、以下のような結果を得ます。
上段がベクトル場ｖのｘ方向への変化（ｘ方向への微分）
下段がベクトル場ｖのｙ方向への変化（ｙ方向への微分）
です。
基底ベクトルを使ってあらわすと次のようになります。
まとめると・・・
です。
これが、いわゆるふつうのベクトル場の微分です（注１）。
縦方向（y方向）や横方向（x方向）にどんな感じでベクトル場が変化しているのか？をあらわすテクニックです。
では、共変微分とはどんな微分でしょう？
共変微分をひとことで言うと、ベクトル場の微分を「どんな座標軸でも使える」ように工夫したものです。
前述した、ふつうのベクトル場の微分は、正規直交座標でなければ使えません。
座標軸が曲がっていると、ふつうのベクトル場の微分では、縦方向（y方向）や横方向（x方向）にどんな感じでベクトルが変化しているのか？はわからないのです。
座標軸の変化（計量テンソルの変化）を取り除く（または加味する）必要があります。
・・・なんて言われても意味がわかりませんよね？
共変微分を理解する近道は、具体的な手順を知ることです。
それを、わかりやすく以下に示します。
まず、先ほどのベクトル場ｖ
を基底ベクトルを使ってあらわします。
ここが最も大事なステップです。
このときの基底ベクトル（ex, ey）は、複雑な式になっていたりします（斜交座標とか極座標とか・・・）。正規直交基底（（１，０）と（０，１））のように省略できるとは限りません。
この式
を基底ベクトルも含めて "まるごと微分する" のが共変微分です。
具体的には、以下のように微分します。
上段がベクトル場ｖのｘ方向への微分
下段がベクトル場ｖのｙ方向への微分
です。
連鎖律（合成関数の微分）によって、成分（vx、vy）だけではなく、基底ベクトル（ex, ey）も微分されているのがわかりますか？
共変微分の手順は、本質的にはこれでおわりです。
結果だけを書くと・・・
ベクトル場ｖの共変微分は
です。
式を整理して次を得ます。
おしまい・・・
と言いたいところですが、専門家は、ここからすごいことをします。
ある「魔法の式」を使って、式の後半にある「∂ex」と「∂ey」（基底ベクトルの微分）を消してしまいます。
その「魔法の式」とは以下のようなものです。
式の中にある見慣れない記号 Γ をクリストッフェル記号と言います。
詳細は省きますが、別途（比較的カンタンに）算出できる、ただの数字（係数）と思ってください（注２）。
この「魔法の式」を先ほどの共変微分の結果に代入し、式を整理すると以下を得ます。
逆にわかりにくくなったと思うかもしれませんが、よ～く見てください。
と、見事、きれいなベクトル形式になっていることがわかります。
なんと、基底ベクトルの微分（「∂ex」と「∂ey」）が消えてしまいました！
つまり、この魔法の式を使うと、複雑な基底ベクトルの微分（「∂ex」と「∂ey」）をすっ飛ばすことができるのです。
カッコの中身は全部同じ形なので、下記のように書き変えます（これが流儀です。共変微分としてよく教科書に紹介されている式はこれですが、これは専門家がみつけた共変微分の驚くべき工夫であって、共変微分の本質ではないと思います）。
最終的にベクトル場 v の共変微分は次のようにあらわされます。
おしまい！！！
なお、本記事で紹介したクリストッフェル記号（Γ）はすごいです。なんと、曲面上に描かれたベクトル場でさえ共変微分を可能にします。クリストッフェル記号（Γ）は平面世界を突破します。ほんとびっくりします。
おすすめ記事
（注１）
たとえば、vx = 2、 vy = 1であれば
です。
正規直交座標に描かれたベクトル場
をふつうに微分すると、以下のようになります。
すなわち、
です。
x方向へもy方向へもゼロになります。
x方向にもy方向にもベクトルの変化がみられないという意味です。
このベクトル場
を図示してみると、以下のようになります。
このベクトル場、x方向にもy方向にも変化がみられません。
こういうベクトル場をふつうに微分すると、x方向であれ、y方向であれ、全方向でゼロになるのは直感的に納得できると思います。
くり返しますが、微分がゼロ、すなわち、
というのは、x方向にもy方向にもベクトルの変化がみられないことを意味します。
しかし、ベクトル場
ではどうでしょう？このベクトル場を図示すると、次のようになります。
こんなベクトル場では、ふつうの微分がx方向にもy方向にもゼロにはならないことが予想できます。
実際、このベクトル場をふつうに微分してみると、
すなわち、
です。
予想通り、x方向へもy方向にもゼロにはなりませんでした。
では、次のようなベクトル場はどうでしょう？
ベクトル場は一様でないようにみえます。
なので、ふつうの微分もx方向、y方向、ともにゼロにならないでしょうか・・・？
座標軸が曲がっているため、計算が難しそう・・・？
いえ、わざわざ計算するまでもありません。結果は、
です。ｘ方向へもｙ方向へも変化していません。
なぜなら、図示したベクトル場の上に定義されているように、このベクトル場ではどのベクトルもすべて
だからです。
もしも、この座標の内部世界に入り込むことができたら、そこからみたベクトル場はこんな感じです。
一様です。ｘ方向へもｙ方向へも変化していません。
一見、一様ではないようにみえたのは、単に座標軸のゆがみの影響を受けていただけです。
座標の内側の、内部世界の住人は、まさか自分たちの座標が外からみると歪んでいるなんて思っていないのではないでしょうか。
この例のように内部世界の座標軸が外部世界からみて歪んでいる場合、ふつうの微分と共変微分の結果が一致しません。
共変微分とは、誤解を恐れずに言えば、内部世界から飛び出して、外の視点を使ってこのベクトル場を微分することです。
外部世界からみると、基底そのものの変化（座標軸の曲がり）が検出されます。
逆に、ふつうの微分とは、内部世界からみた微分です。
つまり、この例の場合、ふつうの微分はx方向にもｙ方向にもゼロですが、共変微分の結果はx方向にもｙ方向にもゼロになりません（計算略）。
もう一つだけ、例をみておきましょう。
あるベクトル場を外部世界から観察した様子です。
このベクトル場のふつうの微分は以下のようになります。
x方向にもy方向にもゼロにはなりません。
ふつうの微分とは内部世界からみた微分です。
この内部世界に入り込むと、このベクトル場はこうみえています。
外部世界からみた場合と同じです。
このように、内部世界の座標軸が外部世界の座標と一致している場合、つまり、内部世界の座標軸が正規直交座標の場合、共変微分の結果が、ふつうの微分の結果と一致します。
基底の変化（＝座標軸の曲がり）がないからです。
くどくどと説明しましたが、共変微分とは、まぁ、そういう微分です。
（注２）
クリストッフェル記号（Γ）の値は計量テンソルｇから求めます。ｇxxは計量テンソルの第一成分、ｇxyは第二成分、ｇyxは第三成分、ｇyyは第四成分です。
計量テンソルには添字が上付きのモノと下つきのものがあります。
計量テンソルからクリストッフェル記号（Γ）の値を求める式を記しておきます。二次元では８つあります。超めんどくさそうにみえますが、計量テンソルｇの値さえわかればすべての値を一発で計算できます。
ためしに、極座標基底におけるクリストッフェル記号（Γ）の値をひとつだけ計算してみましょう。極座標の計量テンソル（第一成分、第二成分、第三成分、第四成分）は以下の通りです。ただし、極座標ですから（ｘ，ｙ）を（ｒ，θ）に書き換えています。
この計量テンソルの情報から次のようなことがわかります。
これらの情報を利用して、クリストッフェル記号（Γ）の値を計算します。ここでは一つだけ計算しますが、他の記号も簡単に計算できます。
（補足）
ベクトル場
を正規直交基底で図示すると以下のようになります。
しかし、同じベクトル場
を極座標基底で表示すると、
のように渦を巻きます。
同じベクトル
でも、用いる基底ベクトルによって、あらわれるベクトル場はこんなにも違います。
正規直交座標では、座標全体を通して基底ベクトルに変化が生じません。
したがって基底ベクトルの微分「∂e」は必ずゼロ（Γ = 0）になり消失します。
その結果、共変微分は、成分のみを微分したふつうの微分に一致します。
ところが、極座標の場合、基底ベクトルの大きさや方向が場所から場所で変化します。
したがって基底ベクトルの微分がゼロになりません（Γ ≠ 0）。
つまり、極座標基底であらわされたベクトル場 v
を共変微分した結果は、
とはなりません。
実際に極座標基底であらわされたベクトル場 v の共変微分を計算してみましょう。
本文中でやったようにベクトル場 v をr方向とθ方向に、基底も含めて、微分します。
次の式を得ます。
基底ベクトルの微分をクリストッフェル記号（Γ）で置き換えます。
次の式を得ます。
目的のベクトルは次のように表されます。
ただし、真ん中の行列の成分は以下の公式から求めます。
クリストッフェル記号（Γ）を計算し、以下を得ます。
最終的に以下を得ます。
これが、極座標基底であらわされたベクトル場 v の共変微分です。
展開すると、
こうなります。これがベクトル場ｖを共変微分した結果です。
（補足）
極座標基底で表示されたベクトル場
で、ふつうの微分と共変微分を比べてしてみましょう。
極座標基底であらわされたベクトル場
を図示すると以下のようになります。
まず、ふつうの微分をしてみます。
すなわち、結果は
と、r方向もθ方向もゼロになりました。
これはどういう意味でしょう？
もし、この極座標の中に入り込むことができれば、内部世界の住人にはこのベクトル場はこうみえているのです。
そもそも、すべてのベクトルは
なのですからあたりまえと言えば、あたりまえです。
このベクトル場のベクトルは各々の基底からみるとすべて同じなんです。
渦を巻いてみえるのは、実は基底の影響をうけて大きさや方向が違ってみえるだけ、ということです。
次に、共変微分をしてみましょう・・・
すなわち、
となります。r方向もθ方向もゼロにはなりません。
ふつうの微分がゼロなのに、共変微分がゼロでないというのは、基底そのものが場所から場所で変化していることを意味します。
共変微分は、外の視点（外にある正規直交座標系）を使ったベクトル場の微分です。
繰り返しになりますが、このベクトル場は、外の視点からみるとこう見えています。
（補足）
正規直交基底であらわされたベクトル場
の共変微分はふつうの微分に一致し、
です。
しかし、極座標基底であらわされたベクトル場の共変微分は、クリストッフェル記号（Γ）にゼロ以外の値がはいるため、ふつうの微分
とは一致しません。
自分用メモ
正規直交座標におけるベクトル場（A，B）を考える。A、Bは定数とする。
これを極座標基底であらわすと以下のようになる。
たとえば、外部世界に設定されている正規直交座標におけるベクトル場
があるとする。ここから座標軸を取り除き、ベクトル場だけをとりだしてみる・・・
これを、そっと極座標基底に重ね合わせてみる。
このベクトル場を、極座標基底をつかって再現するにはどうすればいいだろう？
ベクトル成分を
としたままでは
のようにベクトルが渦を巻いてしまう。
ここで先ほどのベクトルの変換公式
が役に立つ。
ベクトル
を公式にしたがって
と変換してやる。するとこうなる。
みごと、極座標の上にベクトル場
を再現できた！
ベクトルの成分は
から
に変換されているが、
ベクトル場の "みため" は、正規直交座標におけるベクトル場
と同じベクトル場だ。
では、あらためてこのベクトル場
を、ふつうに偏微分してみようと思う。
ベクトルは一様にみえるのでゼロになるだろうか？
確かめてみよう。
極座標基底であらわされているベクトル場をふつうに微分するのだから、このベクトル場を、r方向とθ方向に偏微分することになる。すると、
すなわち、
となる。
ゼロにはならなかった。
この意味するところは何だろう？
極座標基底からみると、このベクトル場は一様ではない、ということである。
実際、この極座標世界の「内部」に入り込むと、このベクトル場はこんな風にみえている・・・
横軸が ｒ、縦軸が θ だ。
これが、極座標の内部からみた、先ほどのベクトル場の様子である。
なるほど、まったく一様ではない。
ほんとうに同じベクトル場なのかと疑いたくなるほど違う。
そもそも極座標世界に住んでいる住人は、自分たちの世界を極座標世界だとは思っていない。彼らは自分たちは正規直交世界に住んでいると思っている。だから、こういうことがおこるのだ。
では、この一様でないベクトル場を、共変微分するとどうなるか。やってみると・・・
このように、みごと全部ゼロになる。つまり、
である。
r方向とθ方向に共変微分した結果がゼロ・・・
何度も前述しているが、極座標基底そのもの（基底ベクトルの）の微分（Γ）はゼロではない。
にもかかわらず、ベクトル場
の共変微分の結果はそれを打ち消すようにゼロになった。
このベクトル場の r 方向と θ 方向への共変微分がゼロになることを一瞬でわかる人はそうそういないであろう。
この意味するところは、このベクトル場を外部世界からみると一様であるということだ。
このように極座標を抜け出して、外部からみるのが共変微分だ。
r方向であろうがθ方向であろうが、全方向にベクトルの変化はみられない。
内部世界を無視すれば、このベクトル場はこういうことである。
もともと、正規直交座標上に描かれたベクトル場（２, １）を元にした話だから、あたりまえか・・・
というか、共変微分の目的はそういうことなのだ。
共変微分とは、座標系を飛び出し、外の視点（外部世界に設定されている正規直交座標系）からベクトル場を観察することだ。
そう考えると、
あるベクトル場の共変微分がゼロならば、そのベクトル場は、他のどんな座標系で表示されていても、その共変微分はゼロになる
というのもあたりまえにきこえる。
共変微分をすれば、どんな曲がった座標系からも抜け出してしまうのだ。
共変微分とは、そういう微分だ。
おすすめ記事
« 【図解】計量テンソルと格子定数・・・ちょっとだけ共変微分（´～｀） | トップページ | 線型性とは？ »
コメント