Return to 全微分

2次元の線素を極座標で表す

全微分の例として,微小変位ベクトルの大きさの二乗である「線素」を極座標で表してみる。

平面上の近接2点

平面上の近接した2点 $P(x, y)$ と $Q(\tilde{x}, \tilde{y})$ を考える。2点は極めて近いので,点 $Q$ の成分は微小変位 $dx, dy$ を使って

\begin{eqnarray}
\tilde{x} &=& x + dx \\
\tilde{y} &=& y + dy
\end{eqnarray}

のように書くことができる。

微小変位ベクトル

2点を結ぶベクトル $\overrightarrow{PQ}$ を微小変位ベクトル $d\vec{x}$ と定義すると,その成分は

$$d\vec{x} = (dx, dy)$$

線素

微小変位ベクトルの大きさの二乗を「線素」と呼ぶことにする。この呼び方は,のちに一般相対論で使われる数学的道具立ての一つとして現れる(このあたりを参照)。

$$d\ell^2 \equiv d\vec{x}\cdot d\vec{x} = dx^2 + dy^2$$

2次元極座標

2次元デカルト座標 \(x, y\) から極座標 \(r, \phi\) への座標変換(つまり元の座標 \(x, y\) を使って新しい座標 \(r, \phi\) を表す式)は

\begin{eqnarray}
r &=& \sqrt{x^2 + y^2} \\
\phi &=& \tan^{-1} \frac{y}{x}
\end{eqnarray}

その逆変換(つまり新しい座標 \(r, \phi\) を使って元の座標 \(x, y\) を表す式)は,

\begin{eqnarray}
x &=&  r \cos\phi\\
y &=&  r \sin\phi
\end{eqnarray}

1階偏微分

\begin{eqnarray}
\frac{\partial x}{\partial r} &=& \cos\phi \\
\frac{\partial x}{\partial \phi} &=& -r \sin\phi \\
\frac{\partial y}{\partial r} &=& \sin\phi \\
\frac{\partial y}{\partial \phi} &=& r \cos\phi
\end{eqnarray}

全微分

\begin{eqnarray}
dx &=& \frac{\partial x}{\partial r} dr + \frac{\partial x}{\partial \phi}  d\phi \\
&=& \cos\phi\, dr -r \sin\phi\, d\phi \\
dy &=& \frac{\partial y}{\partial r} dr + \frac{\partial y}{\partial \phi}  d\phi \\
&=& \sin\phi\, dr + r \cos\phi\, d\phi
\end{eqnarray}

極座標で表した線素

\begin{eqnarray}
\therefore\ \ d\ell^2 &=& dx^2 + dy^2 \\
&=& \left( \cos\phi\, dr -r \sin\phi\, d\phi\right)^2 + \left( \sin\phi\, dr + r \cos\phi\, d\phi\right)^2\\
&=& dr^2 + r^2 d\phi^2
\end{eqnarray}

デカルト座標では,線素は微小変位の二乗和 $d\ell^2 = dx^2 + dy^2$ であるが,極座標(およびデカルト座標以外の一般座標)ではそうはならない。

近接2点の座標を極座標で書くと $P(r, \phi), Q(r+dr, \phi + d\phi)$ であり極座標で書いた微小ベクトルの成分も

$$\overrightarrow{PQ} \equiv d\vec{x} = (dr, d\phi)$$

であるからといって,線素は $d\ell^2 = dr^2 + {\color{red}{1}}\cdot d\phi^2$ とはならない!$d\phi^2$ の前は $ {\color{red}{1}}$ ではなく,${\color{blue}{r^2}}$ がついて $d\ell^2 = dr^2 + {\color{blue}{r^2}} \,d\phi^2$ となることに注意!

このことは,のちに計量テンソルを使って説明されることになる(このへんとかこのへんを参照)。