一般相対性理論に必要なテンソルを大学1年生でもわかるように書いてみた[曲線座標編]
前置き
この記事は「一般相対性理論に必要なテンソルを大学1年生でもわかるように書いてみた[直線座標編]」の続きです。
まだ読んでいない方は先にご覧ください。
一般相対性理論に必要なテンソルを大学1年生でもわかるように書いてみた[直線座標編]
さて、この記事では曲線座標上のテンソル場を扱います。
直線座標上のテンソルの扱いは慣れたと思うのでいってみましょう。
曲線座標のテンソル場
まず、極座標と球座標を復習します。
$(x,y)$を通常の直交座標としたとき、$(x,y)=(r \cos \theta,r \sin \theta)$を満たすように$0 < r$と$0 \leq \theta < 2\pi$を定める。
このとき$(r,\theta)$を極座標という。
$(x,y,z)$を通常の直交座標としたとき、$(x,y,z)=(r \sin \theta \cos \varphi,r \sin \theta \sin \varphi,r \cos \theta)$を満たすように$0 < r, 0 \leq \theta \leq \pi, 0 \leq \varphi < 2\pi$ を定める。
このとき、$(r,\theta,\varphi)$を球座標という。
さて、ここからは変数変換に必要なヤコビアンについて考察していきます。
$n$個の変数$\boldsymbol{f}=f_1,\cdots,f_n$および$\boldsymbol{x}=x_1,\cdots,x_n$がある。
このとき、ヤコビアン$J(\boldsymbol{f},\boldsymbol{x})$を$ij$成分を
\begin{eqnarray} \frac{\partial f_i}{\partial x_j} \end{eqnarray}
で定める行列$(1 \leq i,j \leq n)$とする。
たとえば$x=x^1,y=x^2, z=x^3, r=r^1, \theta=r^2, \varphi=r^3$としましょう。
$\boldsymbol{x}=x^1,x^2,x^3, \, \boldsymbol{r}=r^1,r^2,r^3$ とする。
(1) $J(\boldsymbol{x},\boldsymbol{r})$ を求めよ。
(2) $J(\boldsymbol{r},\boldsymbol{x})$ を求めよ。
(3) $J(\boldsymbol{x},\boldsymbol{r})J(\boldsymbol{r},\boldsymbol{x})$ を求めよ。
(1)
\begin{eqnarray} J(\boldsymbol{x},\boldsymbol{r})&=&\begin{pmatrix} \frac{\partial x}{\partial r} & \frac{\partial x}{\partial \theta} & \frac{\partial x}{\partial \varphi} \\ \frac{\partial y}{\partial r} & \frac{\partial y}{\partial \theta} & \frac{\partial y}{\partial \varphi} \\ \frac{\partial z}{\partial r} & \frac{\partial z}{\partial \theta} & \frac{\partial z}{\partial \varphi} \end{pmatrix} \\ &=& \begin{pmatrix} \sin \theta \cos \varphi & r \cos \theta \cos \varphi & -r \sin \theta \sin \varphi \\ \sin \theta \sin \varphi & r \cos \theta \sin \varphi & r \sin \theta \cos \varphi \\ \cos \theta & -r \sin \theta & 0 \end{pmatrix}. \end{eqnarray}
(2)
まず偏微分を計算する。$r^2=x^2+y^2+z^2$ より
\begin{eqnarray} \frac{\partial}{\partial x}(r^2)&=&2r \frac{\partial r}{\partial x} \\ &=& 2x \\ &=& 2r \sin \theta \cos \varphi. \end{eqnarray}
よって$r \ne 0$の条件のもと
\begin{eqnarray} \frac{\partial r}{\partial x}=\sin \theta \cos \varphi. \end{eqnarray}
同様に、
\begin{eqnarray} \frac{\partial}{\partial y}(r^2)&=&2r \frac{\partial r}{\partial y} \\ &=& 2y \\ &=& 2r \sin \theta \sin \varphi. \end{eqnarray}
よって
\begin{eqnarray} \frac{\partial r}{\partial y}=\sin \theta \sin \varphi. \end{eqnarray}
また、
\begin{eqnarray} \frac{\partial}{\partial z}(r^2)&=&2r \frac{\partial r}{\partial z} \\ &=& 2z \\ &=& 2r \cos \theta. \end{eqnarray}
よって
\begin{eqnarray} \frac{\partial r}{\partial z}=\cos \theta. \end{eqnarray}
次に、$\cos^2 \theta=\frac{z^2}{r^2}=\frac{z^2}{x^2+y^2+z^2}$ より
\begin{eqnarray} \frac{\partial}{\partial x}(\cos^2 \theta)&=&\frac{\partial}{\partial x}\left( \frac{z^2}{x^2+y^2+z^2} \right) \\ &=&-\frac{2xz^2}{(x^2+y^2+z^2)^2} \\ &=& 2\cos \theta \frac{\partial}{\partial x}(\cos \theta) \\ &=& -2\cos \theta \sin \theta \cdot \frac{\partial \theta}{\partial x}. \end{eqnarray}
よって
\begin{eqnarray} \frac{\partial \theta}{\partial x}&=&\frac{xz^2}{r^4 \cos \theta \sin \theta} \\ &=& \frac{r \sin \theta \cos \varphi \cdot r^2 \cos^2 \theta}{r^4 \cos \theta \sin \theta} \\ &=& \frac{\cos \theta \cos \varphi}{r}. \end{eqnarray}
同様に、
\begin{eqnarray} \frac{\partial}{\partial y}(\cos^2 \theta)&=&\frac{\partial}{\partial y}\left( \frac{z^2}{x^2+y^2+z^2} \right) \\ &=&-\frac{2yz^2}{(x^2+y^2+z^2)^2} \\ &=& 2\cos \theta \frac{\partial}{\partial y}(\cos \theta) \\ &=& -2\cos \theta \sin \theta \cdot \frac{\partial \theta}{\partial y}. \end{eqnarray}
よって
\begin{eqnarray} \frac{\partial \theta}{\partial y}&=&\frac{yz^2}{r^4 \cos \theta \sin \theta} \\ &=& \frac{r \sin \theta \sin \varphi \cdot r^2 \cos^2 \theta}{r^4 \cos \theta \sin \theta} \\ &=& \frac{\cos \theta \sin \varphi}{r}. \end{eqnarray}
また、
\begin{eqnarray} \frac{\partial}{\partial z}(\cos^2 \theta)&=&\frac{\partial}{\partial z}\left( \frac{z^2}{x^2+y^2+z^2} \right) \\ &=&\frac{2z(x^2+y^2)}{(x^2+y^2+z^2)^2} \\ &=& 2\cos \theta \frac{\partial}{\partial z}(\cos \theta) \\ &=& -2\cos \theta \sin \theta \cdot \frac{\partial \theta}{\partial z}. \end{eqnarray}
よって
\begin{eqnarray} \frac{\partial \theta}{\partial z}&=&-\frac{z(x^2+y^2)}{r^4 \cos \theta \sin \theta} \\ &=& -\frac{r \cos \theta \cdot r^2 \sin^2 \theta}{r^4 \cos \theta \sin \theta} \\ &=& -\frac{\sin \theta}{r}. \end{eqnarray}
最後に、$\tan^2 \varphi=\frac{y^2}{x^2}$ より
\begin{eqnarray} \frac{\partial}{\partial x}(\tan^2 \varphi)&=&\frac{\partial}{\partial x}\left(\frac{y^2}{x^2}\right) \\ &=& -\frac{2y^2}{x^3} \\ &=& 2\tan \varphi \frac{\partial}{\partial x}(\tan \varphi) \\ &=& \frac{2\tan \varphi}{\cos^2 \varphi} \cdot \frac{\partial \varphi}{\partial x}. \end{eqnarray}
よって
\begin{eqnarray} \frac{\partial \varphi}{\partial x}&=&-\frac{r^2 \sin^2 \theta \sin^2 \varphi \cos^2 \varphi}{r^3 \sin^3 \theta \cos^3 \varphi \tan \varphi} \\ &=& -\frac{\sin \varphi}{r \sin \theta}. \end{eqnarray}
同様に、
\begin{eqnarray} \frac{\partial}{\partial y}(\tan^2 \varphi)&=&\frac{\partial}{\partial y}\left(\frac{y^2}{x^2}\right) \\ &=& \frac{2y}{x^2} \\ &=& 2\tan \varphi \frac{\partial}{\partial y}(\tan \varphi) \\ &=& \frac{2\tan \varphi}{\cos^2 \varphi} \cdot \frac{\partial \varphi}{\partial y}. \end{eqnarray}
よって
\begin{eqnarray} \frac{\partial \varphi}{\partial y}&=&\frac{r \sin \theta \sin \varphi \cos^2 \varphi}{r^2 \sin^2 \theta \cos^2 \varphi \tan \varphi} \\ &=& \frac{\cos \varphi}{r \sin \theta}. \end{eqnarray}
また、
\begin{eqnarray} \frac{\partial}{\partial z}(\tan^2 \varphi)&=&\frac{\partial}{\partial z}\left(\frac{y^2}{x^2}\right) \\ &=& 0 \\ &=& \frac{2\tan \varphi}{\cos^2 \varphi} \cdot \frac{\partial \varphi}{\partial z}. \end{eqnarray}
よって
\begin{eqnarray} \frac{\partial \varphi}{\partial z}&=&0. \end{eqnarray}
以上より、
\begin{eqnarray} J(\boldsymbol{x},\boldsymbol{r})&=&\begin{pmatrix} \frac{\partial r}{\partial x} & \frac{\partial r}{\partial y} & \frac{\partial r}{\partial z} \\ \frac{\partial \theta}{\partial x} & \frac{\partial \theta}{\partial y} & \frac{\partial \theta}{\partial z} \\ \frac{\partial \varphi}{\partial x} & \frac{\partial \varphi}{\partial y} & \frac{\partial \varphi}{\partial z} \end{pmatrix} \\ &=& \begin{pmatrix} \sin \theta \cos \varphi & \sin \theta \sin \varphi & \cos \theta \\ \frac{\cos \theta \cos \varphi}{r} & \frac{\cos \theta \sin \varphi}{r} & -\frac{\sin \theta}{r} \\ -\frac{\sin \varphi}{r \sin \theta} & \frac{\cos \varphi}{r \sin \theta} & 0 \end{pmatrix}. \end{eqnarray}
(3)
\begin{eqnarray} J(\boldsymbol{r},\boldsymbol{x})J(\boldsymbol{x},\boldsymbol{r})&=&\begin{pmatrix} \sin \theta \cos \varphi & r \cos \theta \cos \varphi & -r \sin \theta \sin \varphi \\ \sin \theta \sin \varphi & r \cos \theta \sin \varphi & r \sin \theta \cos \varphi \\ \cos \theta & -r \sin \theta & 0 \end{pmatrix}\begin{pmatrix} \sin \theta \cos \varphi & \sin \theta \sin \varphi & \cos \theta \\ \frac{\cos \theta \cos \varphi}{r} & \frac{\cos \theta \sin \varphi}{r} & -\frac{\sin \theta}{r} \\ -\frac{\sin \varphi}{r \sin \theta} & \frac{\cos \varphi}{r \sin \theta} & 0 \end{pmatrix} \\ &=& \begin{pmatrix} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \end{pmatrix}. \end{eqnarray}
なんと単位行列になりました。
一般の場合でも成立します。
$I$を単位行列とすると、
\begin{eqnarray} J(\boldsymbol{f},\boldsymbol{x})J(\boldsymbol{x},\boldsymbol{f})=J(\boldsymbol{x},\boldsymbol{f})J(\boldsymbol{f},\boldsymbol{x})=I. \end{eqnarray}
$J(\boldsymbol{f},\boldsymbol{x})J(\boldsymbol{x},\boldsymbol{f})$の$ij$成分を$J^i_j$とおくと、合成関数の偏微分を使い
\begin{eqnarray} J^i_j&=&\frac{\partial f_i}{\partial x_k}\frac{\partial x_k}{\partial f_j} \\ &=& \frac{\partial f_i}{\partial f_j} \\ &=& \delta^i_j. \end{eqnarray}
逆の場合も同様。
よって次のことがわかります。
座標$(\boldsymbol{x})$と座標$(\boldsymbol{x}')$があるとき次が成立：
\begin{eqnarray} \frac{\partial x'^i}{\partial x^k}\frac{\partial x^k}{\partial x'^j} = \delta^i_j, \, \frac{\partial x^i}{\partial x'^k}\frac{\partial x'^k}{\partial x^j} = \delta^i_j. \end{eqnarray}
特に、
\begin{eqnarray} \frac{\partial x^i}{\partial x'^j}=b^i_j, \, \frac{\partial x'^i}{\partial x^j}=a^i_j \end{eqnarray}
とおくと $b^i_ka^k_j=\delta^i_j, \, a^i_kb^k_j=\delta^i_j.$
見覚えありますよね。
そう、基底と双対基底の変換行列が互いに逆行列であることを示す式と一緒です。
ということは、勘の鋭い方ならお気づきの通りここからテンソル場が定義できます。
座標$(\boldsymbol{x})$に対して座標$(\boldsymbol{u})$を任意に取る。
$T$の座標$(\boldsymbol{x})$での成分$T'^{i_1,\cdots,i_r}_{j_1,\cdots,j_s}(\boldsymbol{x})$と座標$(\boldsymbol{u})$での成分$T^{i_1,\cdots,i_r}_{j_1,\cdots,j_s}(\boldsymbol{u})$との間に
\begin{eqnarray} T'^{i_1,\cdots,i_r}_{j_1,\cdots,j_s}(\boldsymbol{x})=\frac{\partial x^{i_1}}{\partial u^{k_1}} \cdots \frac{\partial x^{i_r}}{\partial u^{k_r}} \frac{\partial u^{l_1}}{\partial x^{j_1}} \cdots \frac{\partial u^{l_s}}{\partial x^{j_s}} T^{k_1,\cdots,k_r}_{l_1,\cdots,l_s}(\boldsymbol{u}) \end{eqnarray}
が成立しているとき、$T$を$r$階反変$s$階共変テンソル場であるという。
これが一般的なテンソル場の定義です。
ためしに$(\boldsymbol{x})$と$\boldsymbol{u}$が線形変換で結ばれているものとするとこの前やったテンソル場と同じ定義が得られます。
この定義は曲線座標についても適用できるんですね。
これを基底をつけて表現してみましょう。
まず、関数を連鎖律で偏微分すると
\begin{eqnarray} \frac{\partial f}{\partial x^1}=\frac{\partial u^1}{\partial x^1}\frac{\partial f}{\partial u^1}+\frac{\partial u^2}{\partial x^1}\frac{\partial f}{\partial u^2}, \\ \frac{\partial f}{\partial x^2}=\frac{\partial u^1}{\partial x^2}\frac{\partial f}{\partial u^1}+\frac{\partial u^2}{\partial x^2}\frac{\partial f}{\partial u^2}. \end{eqnarray}
$f$を外して、形式的に
\begin{eqnarray} \frac{\partial}{\partial x^1}=\frac{\partial u^1}{\partial x^1}\frac{\partial}{\partial u^1}+\frac{\partial u^2}{\partial x^1}\frac{\partial}{\partial u^2}, \\ \frac{\partial}{\partial x^2}=\frac{\partial u^1}{\partial x^2}\frac{\partial}{\partial u^1}+\frac{\partial u^2}{\partial x^2}\frac{\partial}{\partial u^2}, \end{eqnarray}
つまり
\begin{eqnarray} \frac{\partial}{\partial x^i}=\frac{\partial u^j}{\partial x^i}\frac{\partial}{\partial u^j} \end{eqnarray}
とします。このとき
\begin{eqnarray} \frac{\partial}{\partial u^i} \mapsto \boldsymbol{e}_i, \, \frac{\partial}{\partial x^i} \mapsto \boldsymbol{e}'_i \end{eqnarray}
と変換すると
\begin{eqnarray} \boldsymbol{e}'_i = \frac{\partial u^j}{\partial x^i} \boldsymbol{e}_j \end{eqnarray}
となってうまく整合します。
同様に、$f$を全微分して
\begin{eqnarray} df=\frac{\partial f}{\partial u^1}\mathrm{d}u^1+\frac{\partial f}{\partial u^2}\mathrm{d}u^2. \end{eqnarray}
$f$に$x^1,x^2$を代入して
\begin{eqnarray} dx^1=\frac{\partial x^1}{\partial u^1}\mathrm{d}u^1+\frac{\partial x^1}{\partial u^2}\mathrm{d}u^2, \\ dx^2=\frac{\partial x^2}{\partial u^1}\mathrm{d}u^1+\frac{\partial x^2}{\partial u^2}\mathrm{d}u^2, \end{eqnarray}
つまり
\begin{eqnarray} dx^i=\frac{\partial x^i}{\partial u^j}\mathrm{d}u^j. \end{eqnarray}
このとき
\begin{eqnarray} \mathrm{d}u^i \mapsto \boldsymbol{f}^i, \, \mathrm{d}x^i \mapsto \boldsymbol{f}'^i \end{eqnarray}
と変換すると
\begin{eqnarray} \boldsymbol{f}'^i=\frac{\partial x^i}{\partial u^j}\boldsymbol{f}^j \end{eqnarray}
となってうまく整合します。
なので、この前学んだテンソル場で
\begin{eqnarray} \boldsymbol{e}_i \mapsto \frac{\partial}{\partial u^i}, \, \boldsymbol{e}'_i \mapsto \frac{\partial}{\partial x^i}, \, \boldsymbol{f}^i \mapsto \mathrm{d}u^i, \, \boldsymbol{f}'^i \mapsto \mathrm{d}x^i \end{eqnarray}
と変換した基底をつければよいことがわかりますね。
これらのことを念頭に置いて基底ありでのテンソル場の定義を述べます。
座標$(\boldsymbol{x})$に対して座標$(\boldsymbol{u})$を任意に取る。
このとき、
\begin{eqnarray} T'^{i_1,\cdots,i_r}_{j_1,\cdots,j_s}(\boldsymbol{x})=\frac{\partial x^{i_1}}{\partial u^{k_1}} \cdots \frac{\partial x^{i_r}}{\partial u^{k_r}} \frac{\partial u^{l_1}}{\partial x^{j_1}} \cdots \frac{\partial u^{l_s}}{\partial x^{j_s}} T^{k_1,\cdots,k_r}_{l_1,\cdots,l_s}(\boldsymbol{u}) \end{eqnarray}
が成立するならば、
\begin{eqnarray} T^{i_1 \cdots i_r}_{j_1 \cdots j_s}(\boldsymbol{u}) \frac{\partial}{\partial u^{i_1}} \otimes \cdots \otimes \frac{\partial}{\partial u^{i_r}} \otimes \mathrm{d}u^{j_1} \otimes \cdots \otimes \mathrm{d}u^{j_s}=T'^{i_1 \cdots i_r}_{j_1 \cdots j_s}(\boldsymbol{x}) \frac{\partial}{\partial x^{i_1}} \otimes \cdots \otimes \frac{\partial}{\partial x^{i_r}} \otimes \mathrm{d}x^{j_1} \otimes \cdots \otimes \mathrm{d}x^{j_s} \end{eqnarray}
もまた成立する。これを$r$階反変$s$階共変テンソル場と呼ぶ。
慣れない記法で違和感があるかもしれませんが、この記法の威力に後ほど気づくでしょう。
さて、ここで接続係数という概念を導入します。
接続係数
まずは定義から。
変数の組$\boldsymbol{u}=u^1,\cdots,u^n$および$\boldsymbol{x}=x^1,\cdots,x^n$が与えられている。
このとき、次の式を満たすように接続係数$\Gamma$を定義する：
\begin{eqnarray} \frac{\partial^2 x^l}{\partial u^j \partial u^k}=\Gamma^i_{jk}\frac{\partial x^l}{\partial u^i}. \end{eqnarray}
$\Gamma^i_{jk}$を$\boldsymbol{x}$で見た$\boldsymbol{u}$の接続係数という。
$i$は媒介変数であり消えることに注意してください。
これから何をし始めようとしているのかというと、$2$階微分を$1$階微分の線形結合で書こうという発想です。
もし$2$階微分が$1$階微分の線形結合で書けるならば、何階微分であろうが$1$階微分の線形結合で書けることになります。
そのときの係数が接続係数です。
ここで、偏微分が交換できる関数しか扱わないというルールのもとで$j,k$は交換可能です。
ゆえに$\Gamma^i_{jk}=\Gamma^i_{kj}$が成立します。
そんなことを言われても訳が分からないと思うので問題を解いてみましょう。
$(x,y)$を正規直交座標とする。
$0< r,0 \leq \theta < 2\pi$のもとで原点を除き$(x,y)=(r \cos \theta, r \sin \theta)$と一意に表せる。
このとき、$(x,y)$で見た$(r,\theta)$の接続係数$\Gamma$をすべて求めよ。
$x^1=x,x^2=y,r^1=r,r^2=\theta$とおく。
(1)満たすべき条件は
\begin{eqnarray} \frac{\partial^2 x^l}{\partial r^j \partial r^k}=\Gamma^i_{jk}\frac{\partial x^l}{\partial r^i}. \end{eqnarray}
であるから、
\begin{eqnarray} \frac{\partial^2 x^l}{\partial r^1 \partial r^1}=\Gamma^1_{11}\frac{\partial x^l}{\partial r^1}+\Gamma^2_{11}\frac{\partial x^l}{\partial r^2}. \end{eqnarray}
ここで$l=1,2$として調べると$\Gamma^1_{11}=\Gamma^2_{11}=0$がわかる。
同様に、
\begin{eqnarray} \frac{\partial^2 x^l}{\partial r^1 \partial r^2}=\Gamma^1_{12}\frac{\partial x^l}{\partial r^1}+\Gamma^2_{12}\frac{\partial x^l}{\partial r^2}. \end{eqnarray}
ここで$l=1,2$として調べると
\begin{eqnarray} \begin{dcases} -\sin r^2=\Gamma^1_{12}\cos r^2-\Gamma^2_{12}r^1\sin r^2 \\ \cos r^2=\Gamma^1_{12}\sin r^2+\Gamma^2_{12}r^1\cos r^2 \end{dcases} \end{eqnarray}
よって$\Gamma^1_{12}=0,\Gamma^2_{12}=\frac{1}{r^1}.$
下添字の対称性より、
$\Gamma^1_{21}=0,\Gamma^2_{21}=\frac{1}{r^1}$も得る。
最後に、
\begin{eqnarray} \frac{\partial^2 x^l}{\partial r^2 \partial r^2}=\Gamma^1_{22}\frac{\partial x^l}{\partial r^1}+\Gamma^2_{22}\frac{\partial x^l}{\partial r^2} \end{eqnarray}
より$l=1,2$として調べると
\begin{eqnarray} \begin{dcases} -r^1\cos r^2=\Gamma^1_{22}\cos r^2-\Gamma^2_{22}r^1\sin r^2 \\ -r^1\sin r^2=\Gamma^1_{22}\sin r^2+\Gamma^2_{22}r^1\cos r^2 \end{dcases} \end{eqnarray}
よって$\Gamma^1_{22}=-r^1,\Gamma^2_{22}=0$を得る。
$(x^1,x^2)$を正規直交座標とする。
$(u^1,u^2)=(3x^1-2x^2,x^1+x^2)$と表されているとき$(x^1,x^2)$で見た$(u^1,u^2)$をすべて求めよ。
\begin{eqnarray} (x^1,x^2)=\left(\frac{u^1+2u^2}{5},-\frac{u^1-3u^2}{5}\right) \end{eqnarray}
と表せる。満たすべき条件は
\begin{eqnarray} \frac{\partial^2 x^l}{\partial u^j \partial u^k}=\Gamma^i_{jk}\frac{\partial x^l}{\partial u^i}. \end{eqnarray}
であるが、$2$階偏微分はすべて$0$になるから接続係数もすべて$0$になる。
このように、直線座標同士の変換では接続係数はすべて$0$になります。
テンソル場の微分
さっき定義した接続係数を用いてテンソル場の微分をしてみましょう。
座標$(\boldsymbol{x})$に対して座標$(\boldsymbol{u})$を任意に取る。
$T$の座標$(\boldsymbol{x})$での成分$T'^{i_1,\cdots,i_r}_{j_1,\cdots,j_s}(\boldsymbol{x})$と座標$(\boldsymbol{u})$での成分$T^{i_1,\cdots,i_r}_{j_1,\cdots,j_s}(\boldsymbol{u})$との間に
\begin{eqnarray} T'^{i_1,\cdots,i_r}_{j_1,\cdots,j_s}(\boldsymbol{x})=\frac{\partial x^{i_1}}{\partial u^{k_1}} \cdots \frac{\partial x^{i_r}}{\partial u^{k_r}} \frac{\partial u^{l_1}}{\partial x^{j_1}} \cdots \frac{\partial u^{l_s}}{\partial x^{j_s}} T^{k_1,\cdots,k_r}_{l_1,\cdots,l_s}(\boldsymbol{u}) \end{eqnarray}
が成立しているとき、$T$を$r$階反変$s$階共変テンソル場であるという。
その前にこれから大活躍する定理を示します。
次が成立：
\begin{eqnarray} \frac{\partial^2 u^l}{\partial x^j \partial u^k} \frac{\partial x^i}{\partial u^l}=-\frac{\partial^2 x^i}{\partial u^k \partial u^l} \frac{\partial u^l}{\partial x^j}. \end{eqnarray}
定理2と積の偏微分より、
\begin{eqnarray} \frac{\partial}{\partial u^k}\left( \frac{\partial x^i}{\partial u^l}\frac{\partial u^l}{\partial x^j} \right)&=&\frac{\partial}{\partial u^k}(\delta^i_j) \\ &=& 0 \\ &=& \frac{\partial^2 x^i}{\partial u^k \partial u^l} \frac{\partial u^l}{\partial x^j}+\frac{\partial^2 u^l}{\partial x^j \partial u^k} \frac{\partial x^i}{\partial u^l}. \end{eqnarray}
これを踏まえて問題を解いてみましょう。
$\boldsymbol{x}$で見た$\boldsymbol{u}$の接続係数が与えられている。
$1$階反変$1$階共変テンソル場$T'^i_j(\boldsymbol{x})$と$T^i_j(\boldsymbol{u})$に対して、
\begin{eqnarray} \frac{\partial T'^i_j(\boldsymbol{x})}{\partial x^k},\frac{\partial T^i_j(\boldsymbol{u})}{\partial u^k} \end{eqnarray}
を結ぶ等式を示せ。
\begin{eqnarray} \frac{\partial^2 x^l}{\partial u^j \partial u^k}=\Gamma^i_{jk}\frac{\partial x^l}{\partial u^i}. \end{eqnarray}
が与えられている。これとテンソル場の定義及び積の偏微分、変数変換の定理を繰り返し使い、
\begin{eqnarray} \frac{\partial T'^i_j(\boldsymbol{x})}{\partial x^k}&=& \frac{\partial }{\partial x^k}\left(\frac{\partial x^i}{\partial u^m} \frac{\partial u^n}{\partial x^j} T^m_n(\boldsymbol{u})\right) \\ &=& \frac{\partial u^l}{\partial x^k}\frac{\partial}{\partial u^l}\left(\frac{\partial x^i}{\partial u^m} \frac{\partial u^n}{\partial x^j} T^m_n(\boldsymbol{u})\right) \\ &=& \frac{\partial u^l}{\partial x^k} \left( \frac{\partial^2 x^i}{\partial u^l \partial u^m} \frac{\partial u^n}{\partial x^j} T^m_n(\boldsymbol{u}) +\frac{\partial x^i}{\partial u^m} \frac{\partial}{\partial u^l}\left(\frac{\partial u^n}{\partial x^j} T^m_n(\boldsymbol{u})\right) \right) \\ &=& \frac{\partial u^l}{\partial x^k} \left( \Gamma^\omega_{lm}\frac{\partial x^i}{\partial u^\omega} \frac{\partial u^n}{\partial x^j} T^m_n(\boldsymbol{u})+\frac{\partial x^i}{\partial u^m} \frac{\partial^2 u^n}{\partial u^l \partial x^j}T^m_n(\boldsymbol{u})+\frac{\partial x^i}{\partial u^m} \frac{\partial u^n}{\partial x^j} \frac{\partial T^m_n(\boldsymbol{u})}{\partial u^l} \right) \\ &=& \frac{\partial u^l}{\partial x^k} \left( \Gamma^m_{l\omega}\frac{\partial x^i}{\partial u^m} \frac{\partial u^n}{\partial x^j} T^\omega_n(\boldsymbol{u})+\frac{\partial x^i}{\partial u^m} \frac{\partial^2 u^n}{\partial u^l \partial x^j}T^m_n(\boldsymbol{u})+\frac{\partial x^i}{\partial u^m} \frac{\partial u^n}{\partial x^j} \frac{\partial T^m_n(\boldsymbol{u})}{\partial u^l} \right) \\ &=& \frac{\partial u^l}{\partial x^k} \left( \Gamma^m_{l\omega}\frac{\partial x^i}{\partial u^m} \frac{\partial u^n}{\partial x^j} T^\omega_n(\boldsymbol{u})-\frac{\partial u^n}{\partial x^j}\frac{\partial x^i}{\partial u^m \partial u^n}T^m_n(\boldsymbol{u})+\frac{\partial x^i}{\partial u^m} \frac{\partial u^n}{\partial x^j} \frac{\partial T^m_n(\boldsymbol{u})}{\partial u^l} \right) \\ &=& \frac{\partial u^l}{\partial x^k} \left( \Gamma^m_{l\omega}\frac{\partial x^i}{\partial u^m} \frac{\partial u^n}{\partial x^j} T^\omega_n(\boldsymbol{u})-\Gamma^p_{mn}\frac{\partial x^i}{\partial u^p}\frac{\partial u^n}{\partial x^j}T^m_n(\boldsymbol{u})+\frac{\partial x^i}{\partial u^m} \frac{\partial u^n}{\partial x^j} \frac{\partial T^m_n(\boldsymbol{u})}{\partial u^l} \right) \\ &=& \frac{\partial u^l}{\partial x^k} \left( \Gamma^m_{l\omega}\frac{\partial x^i}{\partial u^m} \frac{\partial u^n}{\partial x^j} T^\omega_n(\boldsymbol{u})-\Gamma^m_{pn}\frac{\partial x^i}{\partial u^m}\frac{\partial u^n}{\partial x^j}T^p_n(\boldsymbol{u})+\frac{\partial x^i}{\partial u^m} \frac{\partial u^n}{\partial x^j} \frac{\partial T^m_n(\boldsymbol{u})}{\partial u^l} \right) \\ &=& \frac{\partial u^l}{\partial x^k}\frac{\partial x^i}{\partial u^m} \frac{\partial u^n}{\partial x^j}\left( \frac{\partial T^m_n(\boldsymbol{u})}{\partial u^l}+\Gamma^m_{l\omega}T^\omega_n(\boldsymbol{u})-\Gamma^m_{pn}T^p_n(\boldsymbol{u}) \right). \end{eqnarray}
なお、途中添字を入れ替えたところがある。
疲れましたね。
ですが、ここで気づいてほしかったのは次の2つのルールです。
(1)反変成分はそのまま接続係数で書き換える
(2)共変成分は変数変換してから接続係数で書き換える
これを一般化すると共変微分になります。
共変微分
まずは定義から。
テンソル場を座標$(x^i)$で偏微分してつくったテンソル場の座標$(u^i)$でのテンソル成分を$\nabla_i$で表す。
これを共変微分と呼ぶ。
たとえば、$1$階反変$1$階共変テンソルのときは
\begin{eqnarray} \nabla_k T^i_j=\frac{\partial T^i_j}{\partial u^k}+\Gamma^i_{kl}T^l_j-\Gamma^l_{kj}T^i_l \end{eqnarray}
です。
共変微分には面白い性質がいくつもありますが、その1つが積の共変微分です。
次が成立：
\begin{eqnarray} \nabla_i(AB)=(\nabla_i A)B+A(\nabla_i B). \end{eqnarray}
これは先程の計算からわかります。
これを用いると共変微分が簡単に計算できます。
というのも、任意のテンソル場は$0$階反変$0$階共変テンソル場、$1$階反変$0$階共変テンソル場、$0$階反変$1$階共変テンソル場の3つのテンソル場の積で表せるからです。
ここで$0$階反変$0$階共変、$1$階反変$0$階共変、$0$階反変$1$階共変テンソル場に対してそれぞれ共変微分を
\begin{eqnarray} \nabla_if=\frac{\partial f}{\partial u^i}, \, \nabla_jT^i=\frac{\partial T^i}{\partial u^j}+\Gamma^i_{jk}T^k, \, \nabla_jT_i=\frac{\partial T_i}{\partial u^j}-\Gamma^k_{ji}T_k \end{eqnarray}
で定め、それ以外のテンソル場の共変微分を積の共変微分で定めます。
そうするとうまく定義できるんですね。
これから共変微分を求める際にはそうしていこうと思います。
計量テンソル
この節では曲線の長さを求める方法を考えていこうと思います。
まずは正規直交座標が入っている平面上での曲線の長さを求めましょう。
座標平面上での2点$A,B$を結ぶ曲線が媒介変数$t$で
\begin{eqnarray} \boldsymbol{r}(t)=(c'^1(t),c'^2(t)) \, \, \, (\alpha \leq t \leq \beta) \end{eqnarray}
と表されているものとします。
このとき、曲線$AB$の長さ$s$は
\begin{eqnarray} s&=&\int^\beta_\alpha \left| \frac{\mathrm{d}\boldsymbol{r}}{\mathrm{d}t} \right| \mathrm{d}t \\ &=& \int^\beta_\alpha \sqrt{ \frac{\mathrm{d}\boldsymbol{r}}{\mathrm{d}t} \cdot \frac{\mathrm{d}\boldsymbol{r}}{\mathrm{d}t}} \mathrm{d}t \end{eqnarray}
となりますね。
正規直交座標$(\boldsymbol{x})$と一般の曲線座標$(\boldsymbol{u})$をとって同じことをします。
座標平面$(\boldsymbol{u})$上での2点$A,B$を結ぶ曲線$C$が媒介変数$t$で
\begin{eqnarray} C:(u^1,u^2)=(c^1(t),c^2(t)) \, \, \, (\alpha \leq t \leq \beta) \end{eqnarray}
と表されているものとします。
このとき、$C$の$(\boldsymbol{x})$上の式は
\begin{eqnarray} \boldsymbol{x}(t)&=&(x^1(u^1,u^2),x^2(u^1,u^2)) \\ &=& (x^1(c^1(t),c^2(t)),x^2(c^1(t),c^2(t))) \end{eqnarray}
で表されます。両辺$t$で微分して、合成関数の偏微分を使い
\begin{eqnarray} \frac{\mathrm{d} \boldsymbol{x}}{\mathrm{d}t}&=&\left(\frac{\mathrm{d}}{\mathrm{d}t}x^1(c^1(t),c^2(t)),\frac{\mathrm{d}}{\mathrm{d}t}x^2(c^1(t),c^2(t))\right) \\ &=&\left(\frac{\mathrm{d} c^1(t)}{\mathrm{d} t}\frac{\partial}{\partial u^1}x^1(c^1(t),c^2(t))+\frac{\mathrm{d} c^2(t)}{\mathrm{d} t}\frac{\partial}{\partial u^2}x^1(c^1(t),c^2(t)),\frac{\mathrm{d} c^1(t)}{\mathrm{d} t}\frac{\partial}{\partial u^1}x^2(c^1(t),c^2(t))+\frac{\mathrm{d} c^2(t)}{\mathrm{d} t}\frac{\partial}{\partial u^2}x^2(c^1(t),c^2(t))\right) \\ &=&\frac{\mathrm{d} c^1(t)}{\mathrm{d} t}\frac{\partial \boldsymbol{x}(t)}{\partial u^1}+\frac{\mathrm{d} c^2(t)}{\mathrm{d} t}\frac{\partial \boldsymbol{x}(t)}{\partial u^2}. \end{eqnarray}
ここで
\begin{eqnarray} g_{ij}=\frac{\partial \boldsymbol{x}}{\partial u^i} \cdot \frac{\partial \boldsymbol{x}}{\partial u^j} \end{eqnarray}
とおいて内積をとると、
\begin{eqnarray} \frac{\mathrm{d} \boldsymbol{x}}{\mathrm{d}t} \cdot \frac{\mathrm{d} \boldsymbol{x}}{\mathrm{d}t}&=&\left(\frac{\mathrm{d} c^1(t)}{\mathrm{d} t}\frac{\partial \boldsymbol{x}(t)}{\partial u^1}+\frac{\mathrm{d} c^2(t)}{\mathrm{d} t}\frac{\partial \boldsymbol{x}(t)}{\partial u^2} \right) \cdot \left(\frac{\mathrm{d} c^1(t)}{\mathrm{d} t}\frac{\partial \boldsymbol{x}(t)}{\partial u^1}+\frac{\mathrm{d} c^2(t)}{\mathrm{d} t}\frac{\partial \boldsymbol{x}(t)}{\partial u^2} \right) \\ &=& \frac{\mathrm{d} c^i(t)}{\mathrm{d} t}\frac{\partial \boldsymbol{x}(t)}{\partial u^i} \cdot \frac{\mathrm{d} c^j(t)}{\mathrm{d} t}\frac{\partial \boldsymbol{x}(t)}{\partial u^j} \\ &=& \frac{\mathrm{d} c^i(t)}{\mathrm{d} t}\frac{\mathrm{d} c^j(t)}{\mathrm{d} t}\frac{\partial \boldsymbol{x}}{\partial u^i} \cdot \frac{\partial \boldsymbol{x}}{\partial u^j} \\ &=& g_{ij}\frac{\mathrm{d} c^i(t)}{\mathrm{d} t}\frac{\mathrm{d} c^j(t)}{\mathrm{d} t}. \end{eqnarray}
よって曲線$AB$の長さ$s$は
\begin{eqnarray} s&=&\int^\beta_\alpha \left| \frac{\mathrm{d}\boldsymbol{x}}{\mathrm{d}t} \right| \mathrm{d}t \\ &=& \int^\beta_\alpha \sqrt{ \frac{\mathrm{d}\boldsymbol{x}}{\mathrm{d}t} \cdot \frac{\mathrm{d}\boldsymbol{x}}{\mathrm{d}t}} \mathrm{d}t \\ &=& \int^\beta_\alpha \sqrt{ g_{ij}\frac{\mathrm{d} c^i(t)}{\mathrm{d} t}\frac{\mathrm{d} c^j(t)}{\mathrm{d} t}} \mathrm{d}t \end{eqnarray}
となりますね。
この$g_{ij}$こそが計量テンソルです。
計量テンソルの登場により曲線の長さの公式が一般化できました。
実際、$g_{ij}=\delta_{ij}$(クロネッカーのデルタ)とすると最初に求めた直線座標での曲線の長さの公式に一致します。
計量テンソル$g$の正規直交座標$(\boldsymbol{x})$での成分を
\begin{eqnarray} g_{ij}=\frac{\partial \boldsymbol{x}}{\partial u^i} \cdot \frac{\partial \boldsymbol{x}}{\partial u^j} \end{eqnarray}
で定義する。
$g_{ij}$が$2$階共変テンソルとなることを示せ。
曲線座標$(\boldsymbol{u})$での計量$g_{ij}(\boldsymbol{u})$と曲線座標$(\boldsymbol{u}')$での計量$g'_{ij}(\boldsymbol{u}')$を考えると、
\begin{eqnarray} g_{ij}(\boldsymbol{u})&=&\frac{\partial \boldsymbol{x}}{\partial u^i} \cdot \frac{\partial \boldsymbol{x}}{\partial u^j} \\ &=& \left( \frac{\partial x^1}{\partial u^i}, \cdots, \frac{\partial x^n}{\partial u^i} \right) \cdot \left( \frac{\partial x^1}{\partial u^j}, \cdots, \frac{\partial x^n}{\partial u^j} \right) \\ &=& \sum_{k} \frac{\partial x^k}{\partial u^i} \frac{\partial x^k}{\partial u^j} \\ &=& \sum_{k} \frac{\partial u'^l}{\partial u^i} \frac{\partial x^k}{\partial u'^l} \frac{\partial u'^m}{\partial u^j} \frac{\partial x^k}{\partial u'^m} \\ &=& \frac{\partial u'^l}{\partial u^i} \frac{\partial u'^m}{\partial u^j} \sum_{k} \frac{\partial x^k}{\partial u'^l} \frac{\partial x^k}{\partial u'^m} \\ &=& \frac{\partial u'^l}{\partial u^i} \frac{\partial u'^m}{\partial u^j}g'_{lm}(\boldsymbol{u}'). \end{eqnarray}
よってテンソル場の定義より$g_{ij}$は$2$階の共変テンソルである。
ここで、基底ありのテンソル場の定義を思い出しましょう。
座標$(\boldsymbol{x})$に対して座標$(\boldsymbol{u})$を任意に取る。
このとき、
\begin{eqnarray} T'^{i_1,\cdots,i_r}_{j_1,\cdots,j_s}(\boldsymbol{x})=\frac{\partial x^{i_1}}{\partial u^{k_1}} \cdots \frac{\partial x^{i_r}}{\partial u^{k_r}} \frac{\partial u^{l_1}}{\partial x^{j_1}} \cdots \frac{\partial u^{l_s}}{\partial x^{j_s}} T^{k_1,\cdots,k_r}_{l_1,\cdots,l_s}(\boldsymbol{u}). \end{eqnarray}
が成立するならば、
\begin{eqnarray} T^{i_1 \cdots i_r}_{j_1 \cdots j_s}(\boldsymbol{u}) \frac{\partial}{\partial u^{i_1}} \otimes \cdots \otimes \frac{\partial}{\partial u^{i_r}} \otimes \mathrm{d}u^{j_1} \otimes \cdots \otimes \mathrm{d}u^{j_s}=T'^{i_1 \cdots i_r}_{j_1 \cdots j_s}(\boldsymbol{x}) \frac{\partial}{\partial x^{i_1}} \otimes \cdots \otimes \frac{\partial}{\partial x^{i_r}} \otimes \mathrm{d}x^{j_1} \otimes \cdots \otimes \mathrm{d}x^{j_s} \end{eqnarray}
もまた成立する。これを$r$階反変$s$階共変テンソル場と呼ぶ。
この記法を使うと、計量テンソルを$g=g_{ij} \mathrm{d}u^i \otimes \mathrm{d}u^j$ と表すことができます。
正規直交座標$(x,y)$を基準とし、$(x,y)=(r \cos \theta, r \sin \theta)$と極座標で表されているときの計量テンソル$g$を求めよ。
$\boldsymbol{x}=(x,y)$とする。定義通り計算すると、
\begin{eqnarray} \frac{\partial \boldsymbol{x}}{\partial r}=(\cos \theta, \sin \theta), \, \frac{\partial \boldsymbol{x}}{\partial \theta}=( -r \sin \theta, r \cos \theta) \end{eqnarray}
より
\begin{eqnarray} \frac{\partial \boldsymbol{x}}{\partial r} \cdot \frac{\partial \boldsymbol{x}}{\partial r}=1, \, \frac{\partial \boldsymbol{x}}{\partial r} \cdot \frac{\partial \boldsymbol{x}}{\partial \theta}= \frac{\partial \boldsymbol{x}}{\partial \theta} \cdot \frac{\partial \boldsymbol{x}}{\partial r}=0, \, \frac{\partial \boldsymbol{x}}{\partial \theta} \cdot \frac{\partial \boldsymbol{x}}{\partial \theta} =r^2. \end{eqnarray}
よって$g=\mathrm{d}r \otimes \mathrm{d}r+r^2 \mathrm{d}\theta \otimes \mathrm{d}\theta.$
$x=r \cos \theta, \, y=r \sin \theta$をそれぞれ全微分して$\mathrm{d}x=\cos \theta \, \mathrm{d}r-r \sin \theta \, \mathrm{d}\theta$ および $\mathrm{d}y=\sin \theta \, \mathrm{d}r+r \cos \theta \, \mathrm{d}\theta$を得る。
直交座標上の計量テンソルの式$g=\mathrm{d}x \otimes \mathrm{d}x+\mathrm{d}y \otimes \mathrm{d}y$に代入して、
\begin{eqnarray} g&=&\mathrm{d}x \otimes \mathrm{d}x+\mathrm{d}y \otimes \mathrm{d}y \\ &=& (\cos \theta \, \mathrm{d}r-r \sin \theta \, \mathrm{d}\theta) \otimes (\cos \theta \, \mathrm{d}r-r \sin \theta \, \mathrm{d}\theta)+ (\sin \theta \, \mathrm{d}r+r \cos \theta \, \mathrm{d}\theta) \otimes (\sin \theta \, \mathrm{d}r+r \cos \theta \, \mathrm{d}\theta) \\ &=& \mathrm{d}r \otimes \mathrm{d}r+r^2 \mathrm{d}\theta \otimes \mathrm{d}\theta. \end{eqnarray}
どちらの方法でも同じ答えが出せましたね。
計量テンソルの重要な役割があります。
それは添字の上げ下げです。
計量テンソルは$2$階共変テンソルかつ対称テンソルでしたね。
なので添字を上げ下げするのには非常に便利なのです。
その威力は後で体感していただくとしましょう。
計量テンソルの公式
計量テンソルと接続係数の関係式を求めます。
\begin{eqnarray} \frac{\partial g_{ij}}{\partial u^k}&=&\frac{\partial}{\partial u^k} \left( \frac{\partial \boldsymbol{x}}{\partial u^i} \cdot \frac{\partial \boldsymbol{x}}{\partial u^j} \right) \\ &=& \frac{\partial}{\partial u^k} \sum_l \frac{\partial x^l}{\partial u^i} \frac{\partial x^l}{\partial u^j} \\ &=& \sum_l \left(\frac{\partial^2 x^l}{\partial u^k u^i} \frac{\partial x^l}{\partial u^j}+\frac{\partial x^l}{\partial u^i} \frac{\partial^2 x^l}{\partial u^k u^j}\right) \\ &=& \frac{\partial^2 \boldsymbol{x}}{\partial u^k u^i} \cdot \frac{\partial \boldsymbol{x}}{\partial u^j}+\frac{\partial \boldsymbol{x}}{\partial u^i} \cdot \frac{\partial^2 \boldsymbol{x}}{\partial u^k u^j} \\ &=& \left( \Gamma^l_{ki} \frac{\partial \boldsymbol{x}}{\partial u^l} \right) \cdot \frac{\partial \boldsymbol{x}}{\partial u^j}+\frac{\partial \boldsymbol{x}}{\partial u^i} \cdot \left( \Gamma^l_{kj} \frac{\partial \boldsymbol{x}}{\partial u^l} \right) \\ &=& \Gamma^l_{ki}g_{lj}+\Gamma^l_{kj}g_{il}. \end{eqnarray}
よって
\begin{eqnarray} \frac{\partial g_{ij}}{\partial u^k}=\Gamma^l_{ki}g_{lj}+\Gamma^l_{kj}g_{il}. \end{eqnarray}
同様にして、
\begin{eqnarray} \frac{\partial g_{jk}}{\partial u^i}=\Gamma^l_{ij}g_{lk}+\Gamma^l_{ik}g_{jl}, \, \frac{\partial g_{ki}}{\partial u^j}=\Gamma^l_{jk}g_{li}+\Gamma^l_{ji}g_{kl} \end{eqnarray}
も得られます。接続係数と計量の下添字の対称性から
\begin{eqnarray} \frac{1}{2}\left( \frac{\partial g_{ij}}{\partial u^k}+\frac{\partial g_{jk}}{\partial u^i}-\frac{\partial g_{ki}}{\partial u^j} \right)&=&\frac{1}{2}\left( \Gamma^l_{ki}g_{lj}+\Gamma^l_{kj}g_{il}+\Gamma^l_{ij}g_{lk}+\Gamma^l_{ik}g_{jl}-\Gamma^l_{jk}g_{li}-\Gamma^l_{ji}g_{kl} \right) \\ &=& \Gamma^l_{ki}g_{lj}. \end{eqnarray}
ここで$g_{ik}g^{kj}=\delta^j_i$を満たす$2$階反変テンソル$g^{ij}$が存在するならば(普通は存在する)、
\begin{eqnarray} \Gamma^l_{ki}g_{lj}g^{jl'}=\Gamma^l_{ki}\delta^{l'}_l=\Gamma^{l'}_{ki}=\frac{1}{2}g^{jl'}\left( \frac{\partial g_{ij}}{\partial u^k}+\frac{\partial g_{jk}}{\partial u^i}-\frac{\partial g_{ki}}{\partial u^j} \right) \end{eqnarray}
を得ます。
次が成立：
\begin{eqnarray} \Gamma^{l}_{ki}=\frac{1}{2}g^{jl}\left( \frac{\partial g_{ij}}{\partial u^k}+\frac{\partial g_{jk}}{\partial u^i}-\frac{\partial g_{ki}}{\partial u^j} \right). \end{eqnarray}
この公式の威力は後ほど体感してください。
さらにもうひとつ計量には特徴があります。
それがこちらです。
次の4つが成立：
(i) $\nabla_k g_{ij}=0$
(ii) $\nabla_k (g_{ij}T)=g_{ij} \nabla_k(T)$
(iii) $\nabla_k g^{ij}=0$
(iv) $\nabla_k (g^{ij}T)=g^{ij} \nabla_k(T)$
(i) $A_i$と$B_j$をそれぞれ$1$階共変テンソルとすると、$T_{ij}=A_iB_j$は$2$階共変テンソルになる。
積の共変微分より
\begin{eqnarray} \nabla_k(T_{ij})&=&\nabla_k(A_iB_j) \\ &=&\nabla_k(A_i)B_j+A_i \nabla_k(B_j) \\ &=& \left( \frac{\partial A_i}{\partial u^k}-\Gamma^l_{ki}A_l \right)B_j+A_i \left( \frac{\partial B_j}{\partial u^k}-\Gamma^l_{kj}B_l \right) \\ &=& \frac{\partial A_i}{\partial u^k}B_j+A_i\frac{\partial B_j}{\partial u^k}-\Gamma^l_{ki}A_lB_j-\Gamma^l_{kj}A_iB_l \\ &=& \frac{\partial (A_iB_j)}{\partial u^k}-\Gamma^l_{ki}A_lB_j-\Gamma^l_{kj}A_iB_l \\ &=& \frac{\partial T_{ij}}{\partial u^k}-\Gamma^l_{ki}T_{lj}-\Gamma^l_{kj}T_{il}. \end{eqnarray}
これより$2$階共変テンソルに対する一般的な共変微分が得られた。
$T_{ij}=g_{ij}$とし代入すると、
\begin{eqnarray} \nabla_k(g_{ij})&=&\frac{\partial g_{ij}}{\partial u^k}-\Gamma^l_{ki}g_{lj}-\Gamma^l_{kj}g_{il} \\ &=&0. \end{eqnarray}
(ii)積の共変微分と(i)より即座に得られる。
(iii)
\begin{eqnarray} \nabla_l(g_{ik}g^{kj})&=&\nabla_l(\delta^j_i) \\ &=&0 \\ &=& \nabla_l(g_{ik})g^{kj}+g_{ik}\nabla_l(g^{kj}) \\ &=& g_{ik}\nabla_l(g^{kj}) \end{eqnarray}
より$\nabla_l(g^{kj})=0$を得る。
(iv)積の共変微分と(iii)より即座に得られる。
これにより計量は共変微分において定数と同じように扱えます。
曲面のテンソル場
ここまでは平面に埋め込まれている直線座標と曲線座標の間でのテンソル場を調べていきました。
ここからは$\mathbb{R}^3$に埋め込まれている$3$次元の曲面上のテンソル場について調べていきます。
$0< R$を定数とする。球面$\boldsymbol{E}(\theta, \varphi)=(R \sin \theta \cos \varphi, R \sin \theta \sin \varphi, R \cos \theta)$の接ベクトルを
\begin{eqnarray} \frac{\partial \boldsymbol{E}}{\partial \theta},\frac{\partial \boldsymbol{E}}{\partial \varphi} \end{eqnarray}
で与えるとき、それらの$\theta, \varphi$による微分を
\begin{eqnarray} \frac{\partial \boldsymbol{E}}{\partial \theta},\frac{\partial \boldsymbol{E}}{\partial \varphi}, \boldsymbol{n}(\theta, \varphi) \end{eqnarray}
の線形結合で表せ。ここに、$\boldsymbol{n}(\theta, \varphi)$は球面$\boldsymbol{E}$の単位法線ベクトルである。
\begin{eqnarray} \frac{\partial \boldsymbol{E}}{\partial \theta}=\begin{pmatrix} R \cos \theta \cos \varphi \\ R \cos \theta \sin \varphi \\ -R \sin \theta \end{pmatrix}, \, \frac{\partial \boldsymbol{E}}{\partial \varphi}=\begin{pmatrix} -R \sin \theta \sin \varphi \\ R \sin \theta \cos \varphi \\ 0 \end{pmatrix}, \, \boldsymbol{n}(\theta,\varphi)=\begin{pmatrix} \sin \theta \cos \varphi \\ \sin \theta \sin \varphi \\ \cos \theta \end{pmatrix} \end{eqnarray}
で与えられる。また、
\begin{eqnarray} \frac{\partial^2 \boldsymbol{E}}{\partial \theta \partial \theta}=\begin{pmatrix} -R \sin \theta \cos \varphi \\ -R \sin \theta \sin \varphi \\ -R \cos \theta \end{pmatrix}, \, \frac{\partial^2 \boldsymbol{E}}{\partial \theta \partial \varphi}=\frac{\partial^2 \boldsymbol{E}}{\partial \varphi \partial \theta}=\begin{pmatrix} -R \cos \theta \sin \varphi \\ R \cos \theta \cos \varphi \\ 0 \end{pmatrix}, \, \frac{\partial^2 \boldsymbol{E}}{\partial \varphi \partial \varphi}=\begin{pmatrix} -R \sin \theta \cos \varphi \\ -R \sin \theta \sin \varphi \\ 0 \end{pmatrix}. \end{eqnarray}
よって、
\begin{eqnarray} &&\frac{\partial^2 \boldsymbol{E}}{\partial \theta \partial \theta}=-R\boldsymbol{n}(\theta,\varphi), \\ &&\frac{\partial^2 \boldsymbol{E}}{\partial \theta \partial \varphi}=\frac{\partial^2 \boldsymbol{E}}{\partial \varphi \partial \theta}=\frac{\cos \theta}{\sin \theta} \frac{\partial \boldsymbol{E}}{\partial \varphi}, \\ &&\frac{\partial^2 \boldsymbol{E}}{\partial \varphi \partial \varphi}=-\sin \theta \cos \theta \frac{\partial \boldsymbol{E}}{\partial \theta}-R \sin^2 \theta \, \boldsymbol{n}(\theta,\varphi). \end{eqnarray}
このように、$\mathbb{R}^3$上で2つの変数で媒介変数表示されている曲面の$2$階微分は接ベクトルだけの線形結合では表すことはできません。
余計な$\boldsymbol{n}$が必要になってくるからですね。
そこで、球面$\boldsymbol{E}(\theta,\varphi)$を全世界として接ベクトルの微分を計算してみましょう。
どういう意味かというと、$\mathbb{R}^3$上の曲面を考えたから余計な法線ベクトルがでてきてしまったのです。
だから球面$\boldsymbol{E}$を$2$次元の曲線座標と見て微分を実行することにします。
そのためにどうするかというと、$\mathbb{R}^3$上での微分の結果を球面$\boldsymbol{E}$の接平面に正射影します。
たとえば、正規直交座標$(x,y,z)$で定義されたベクトル$(2,4,5)$を$xy$平面に正射影すると$(2,4)$になりますね。
一般的にベクトルを正射影すると、基底のどれかが$0$ベクトルになり次元が1つ下がります。
それを使いましょう。
さっきの問題では、接平面に正射影したベクトルは
\begin{eqnarray} &&\frac{\partial^2 \boldsymbol{E}}{\partial \theta \partial \theta} \leftrightarrow 0, \\ &&\frac{\partial^2 \boldsymbol{E}}{\partial \theta \partial \varphi}=\frac{\partial^2 \boldsymbol{E}}{\partial \varphi \partial \theta} \leftrightarrow \frac{\cos \theta}{\sin \theta} \frac{\partial \boldsymbol{E}}{\partial \varphi}, \\ &&\frac{\partial^2 \boldsymbol{E}}{\partial \varphi \partial \varphi} \leftrightarrow -\sin \theta \cos \theta \frac{\partial \boldsymbol{E}}{\partial \theta}. \end{eqnarray}
となりますね。
こうして定義したベクトル$\boldsymbol{p}_i$が次の式を満たすのは明らかですね：
\begin{eqnarray} \frac{\partial \boldsymbol{p}_j}{\partial u^k}=\Gamma^i_{jk}\boldsymbol{p}_i. \end{eqnarray}
実際、さっきの問題で$u^1=r, u^2=\theta$とし、
\begin{eqnarray} \boldsymbol{p}_1=\frac{\partial \boldsymbol{E}}{\partial \theta}, \, \boldsymbol{p}_2=\frac{\partial \boldsymbol{E}}{\partial \varphi} \end{eqnarray}
とすると
\begin{eqnarray} \Gamma^1_{11}=0, \, \Gamma^2_{11}=0, \, \Gamma^1_{12}=0, \, \Gamma^2_{12}=\frac{\cos \theta}{\sin \theta}, \, \Gamma^1_{21}=0, \Gamma^2_{21}=\frac{\cos \theta}{\sin \theta}, \, \Gamma^1_{22}=-\sin \theta \cos \theta, \, \Gamma^2_{22}=0 \end{eqnarray}
なので
\begin{eqnarray} \frac{\partial \boldsymbol{p}_1}{\partial u^1}=\Gamma^1_{11}\boldsymbol{p}_1+\Gamma^2_{11}\boldsymbol{p}_2, \, \frac{\partial \boldsymbol{p}_1}{\partial u^2}=\Gamma^1_{12}\boldsymbol{p}_1+\Gamma^2_{12}\boldsymbol{p}_2, \, \frac{\partial \boldsymbol{p}_2}{\partial u^1}=\Gamma^1_{21}\boldsymbol{p}_1+\Gamma^2_{21}\boldsymbol{p}_2 \, \frac{\partial \boldsymbol{p}_2}{\partial u^2}=\Gamma^1_{22}\boldsymbol{p}_1+\Gamma^2_{22}\boldsymbol{p}_2 \end{eqnarray}
なので成立しています。
一般的に$2$次元の曲面を$S$とします。
$R^3$上では、曲面の微分は
\begin{eqnarray} \frac{\partial^2 S}{\partial u^i \partial u^j}=\Gamma^k_{ij}\frac{\partial S}{\partial u^k}+\boldsymbol{n}_{ij} \end{eqnarray}
となります。
邪魔な法線ベクトル成分$\boldsymbol{n}_{ij}$がありテンソル場とは言えませんでした。
ですがこれを接平面に正射影すると、$S$上で
\begin{eqnarray} \frac{\partial^2 S}{\partial u^i \partial u^j}=\Gamma^k_{ij}\frac{\partial S}{\partial u^k} \end{eqnarray}
が得られました。
これは間違いなく接続係数の定義を満たしテンソル場になります。
つまり、曲面の微分は$\mathbb{R}^3$上ではテンソル場にならないけれど、$S$上ではテンソル場になるということです。
これを曲面のテンソル場とします。
状況を整理しましょう。
$\mathbb{R}^3$の世界に住んでいる人から見れば、間違いなく
\begin{eqnarray} \frac{\partial^2 S}{\partial u^i \partial u^j}=\Gamma^k_{ij}\frac{\partial S}{\partial u^k}+\boldsymbol{n}_{ij} \end{eqnarray}
です。
ですが、$S$上に住んでいる人から見れば$\boldsymbol{n}_{ij}$は認識できません。
$\boldsymbol{n}_{ij}$が$S$に正射影されて$0$ベクトルになることに対応しています。
そうすると、$S$に住んでいる人から見れば間違いなく
\begin{eqnarray} \frac{\partial^2 S}{\partial u^i \partial u^j}=\Gamma^k_{ij}\frac{\partial S}{\partial u^k} \end{eqnarray}
となります。
ここで、もう1つ問題です。
$0< R$を定数とする。球面$\boldsymbol{E}(\theta, \varphi)=(R \sin \theta \cos \varphi, R \sin \theta \sin \varphi, R \cos \theta)$が与えられている。
また、$\mathbb{R}^3$上の正規直交座標を$(\boldsymbol{x})=(x,y,z)$とする。
- $\boldsymbol{E}$を$3$次元空間$\mathbb{R}^3$上の曲面と見たとき、$\mathbb{R}^3$上での接ベクトルを計算することにより$\boldsymbol{E}$でみた$\boldsymbol{u}=\theta,\varphi$の接続係数を求めよ。
- $\boldsymbol{E}$を$2$次元の曲面と見たとき、計量テンソル
\begin{eqnarray} g_{ij}=\frac{\partial \boldsymbol{E}}{\partial u^i} \cdot \frac{\partial \boldsymbol{E}}{\partial u^j} \end{eqnarray}
および接続係数と計量を結びつける公式
\begin{eqnarray} \Gamma^{l}_{ki}=\frac{1}{2}g^{jl}\left( \frac{\partial g_{ij}}{\partial u^k}+\frac{\partial g_{jk}}{\partial u^i}-\frac{\partial g_{ki}}{\partial u^j} \right) \end{eqnarray}
を使い$\boldsymbol{E}$でみた$\boldsymbol{u}=\theta,\varphi$の接続係数を求めよ。
$u^1=\theta, \, u^2=\varphi$とする。
法線ベクトルも考えることにより
\begin{eqnarray} \Gamma^1_{11}=0, \, \Gamma^2_{11}=0, \, \Gamma^1_{12}=0, \, \Gamma^2_{12}=\frac{\cos \theta}{\sin \theta}, \, \Gamma^1_{21}=0, \Gamma^2_{21}=\frac{\cos \theta}{\sin \theta}, \, \Gamma^1_{22}=-\sin \theta \cos \theta, \, \Gamma^2_{22}=0 \end{eqnarray}
を得る。計量を求めると
\begin{eqnarray} g_{11}=R^2, \, g_{12}=g_{21}=0, \, g_{22}=R^2 \sin^2 \theta. \end{eqnarray}
よって
\begin{eqnarray} g_{22}=\frac{1}{R^2}, \, g_{12}=g_{21}=0, \, g_{22}=\frac{1}{R^2 \sin^2 \theta}. \end{eqnarray}
これらより
\begin{eqnarray} && \Gamma^1_{11}=\frac{1}{2}g^{j1}\left( \frac{\partial g_{1j}}{\partial u^1}+\frac{\partial g_{j1}}{\partial u^1}-\frac{\partial g_{11}}{\partial u^j} \right)=0, \\ && \Gamma^2_{11}=\frac{1}{2}g^{j2}\left( \frac{\partial g_{1j}}{\partial u^1}+\frac{\partial g_{j1}}{\partial u^1}-\frac{\partial g_{11}}{\partial u^j} \right)=0, \\ && \Gamma^1_{12}=\frac{1}{2}g^{j1}\left( \frac{\partial g_{2j}}{\partial u^1}+\frac{\partial g_{j1}}{\partial u^2}-\frac{\partial g_{12}}{\partial u^j} \right)=0, \\ && \Gamma^2_{12}=\frac{1}{2}g^{j2}\left( \frac{\partial g_{2j}}{\partial u^1}+\frac{\partial g_{j1}}{\partial u^2}-\frac{\partial g_{12}}{\partial u^j} \right)=\frac{\cos \theta}{\sin \theta}, \\ && \Gamma^1_{21}=\frac{1}{2}g^{j1}\left( \frac{\partial g_{1j}}{\partial u^2}+\frac{\partial g_{j2}}{\partial u^1}-\frac{\partial g_{21}}{\partial u^j} \right)=0, \\ && \Gamma^2_{21}=\frac{1}{2}g^{j2}\left( \frac{\partial g_{1j}}{\partial u^2}+\frac{\partial g_{j2}}{\partial u^1}-\frac{\partial g_{21}}{\partial u^j} \right)=\frac{\cos \theta}{\sin \theta}, \\ && \Gamma^1_{22}=\frac{1}{2}g^{j1}\left( \frac{\partial g_{2j}}{\partial u^2}+\frac{\partial g_{j2}}{\partial u^2}-\frac{\partial g_{22}}{\partial u^j} \right)=-\sin \theta \cos \theta, \\ && \Gamma^2_{22}=\frac{1}{2}g^{j2}\left( \frac{\partial g_{2j}}{\partial u^2}+\frac{\partial g_{j2}}{\partial u^2}-\frac{\partial g_{22}}{\partial u^j} \right)=0 \\ \end{eqnarray}
を得る。
ここで、$\mathbb{R}^3$と$S$上で接続係数が一致していることに注目してください。
$\mathbb{R}^3$上に住んでいる人は直接接ベクトルを計算することにより接続係数が得られます。
一方、$S$上に住んでいる人は$2$次元平面の曲線座標の計量テンソルを計算することでしか接続係数は得られません。
それらが一致するのです。驚くべきことだと思います。
ということは、接続係数さえ手に入れてしまえば曲線座標のテンソル場と同様に計算できます。
この事実は後ほど大活躍するので楽しみにしていてください。
これで曲線座標のテンソル場は終わりです。
最後に曲率に進みます。
