3次元極座標の完全攻略|ヤコビアンと体積要素の導出を徹底解明
大学の微積分や物理学(電磁気学・量子力学)を学ぶ過程で、誰もが一度は直面する大きな壁が「3次元極座標(球面座標系)」の扱いです。直交座標から極座標への変換公式自体は教科書に載っていても、「なぜ微小体積要素に $r^2 \sin\theta$ が現れるのか」「ヤコビアンの計算過程で符号を見失う」「ラプラシアンの展開式が複雑すぎて頭に入らない」といった悩みを抱える学習者は後を絶ちません。
多重積分や場の古典論において、3次元極座標を単なる暗記ではなく本質的な幾何構造として把握できるかどうかは、その後の計算力と理解の深さを決定づける極めて重要な分岐点です。本稿では、直交座標との変換公式から体積要素の直感的・厳密な導出、ヤコビ行列の計算、ナブラおよびラプラシアンの扱いまで、つまずきやすい急所を体系的に解き明かします。
📌 【この記事の重要ポイントまとめ】
- 要点1:3次元極座標の微小体積が $r^2 \sin\theta \, dr d\theta d\phi$ となる理由は、幾何学的な微小直方体の3辺の長さの積およびヤコビアン行列式の値から完全に説明できる。
- 要点2:天頂角 $\theta$($0 \le \theta \le \pi$)と方位角 $\phi$($0 \le \phi < 2\pi$)の範囲設定と、物理学と数学における記号の慣例差(逆転現象)が計算ミスの最大要因である。
- 要点3:ラプラシアンの極座標表示は、球対称問題における偏微分方程式(中心力場・電位・シュレーディンガー方程式)を劇的に単純化するための必須ツールである。
【基礎から整理】3次元極座標(球面座標系)の定義と変換公式
空間内の任意の一点 $P$ を表す際、基準となる原点からの距離と2つの回転角を用いる表現形式が「3次元極座標(球面座標系)」です。直交座標系 $(x, y, z)$ と3次元極座標 $(r, \theta, \phi)$ の間には、三角比に基づく明確な幾何学的対応関係が存在します。
物理学(電磁気学・力学・量子力学)で最も広く用いられている標準的な定義では、各変数を以下のように定めます。
- $r$(動径):原点 $O$ から点 $P$ までの距離($0 \le r < \infty$)
- $\theta$(天頂角 / 極角):正の $z$ 軸から線分 $OP$ がなす角度($0 \le \theta \le \pi$)
- $\phi$(方位角 / 偏角):正の $x$ 軸から、点 $P$ を $xy$ 平面に正射影した線分がなす角度($0 \le \phi < 2\pi$)
この幾何学的配置から、直交座標から極座標への変換公式は次のように導かれます。
$$x = r \sin\theta \cos\phi$$
$$y = r \sin\theta \sin\phi$$
$$z = r \cos\theta$$
点 $P$ を $xy$ 平面に下ろした影の長さが $r \sin\theta$ となる点に着目すると、その影を $x$ 軸方向と $y$ 軸方向に分解したものがそれぞれ $x = (r \sin\theta)\cos\phi$、$y = (r \sin\theta)\sin\phi$ となり、高さ成分が $z = r \cos\theta$ であることが直感的に理解できます。逆変換は $r = \sqrt{x^2 + y^2 + z^2}$、$\theta = \arccos(z / r)$、$\phi = \arctan(y / x)$ で表されます。
ここで極めて注意すべきは、極座標の角度範囲です。$\theta$ の範囲は $0$ から $2\pi$ ではなく、$0 \le \theta \le \pi$(半周)です。北極($z$ 軸正方向)から南極($z$ 軸負方向)までを $\theta$ でカバーし、それを $\phi$ で $360$ 度ぐるりと一周回転させることで、重複なく全空間を過不足なく網羅する設計になっています。
【疑問を完全解消】なぜ体積要素は $r^2 \sin\theta \, dr d\theta d\phi$ になるのか?
重積分において直交座標の微小体積 $dx dy dz$ を3次元極座標に変換するとき、単に $dr d\theta d\phi$ と置き換えることはできません。必ず「$r^2 \sin\theta$」という重み因子(スケールファクター)が付着します。この体積要素の導出には、幾何学的なアプローチと代数学的なアプローチ(ヤコビアン)の2通りが存在します。
1. 幾何学的な微小直方体による直感的導出
パラメータが $r \to r+dr$、$\theta \to \theta+d\theta$、$\phi \to \phi+d\phi$ と微小変化したときに切り取られる空間領域(微小体積 $dV$)を考えます。この領域は極限において直方体とみなすことができ、その3辺の長さは以下の通りです。
- 動径方向の微小長さ:$dr$
- 天頂角方向の微小弧長:半径 $r$ の円弧の一部なので $r \, d\theta$
- 方位角方向の微小弧長:回転半径が $r \sin\theta$ である円弧の一部なので $(r \sin\theta) \, d\phi$
互いに直交するこれら3辺の長さを掛け合わせることで、微小体積要素が導かれます。
$$dV = (dr) \times (r \, d\theta) \times (r \sin\theta \, d\phi) = r^2 \sin\theta \, dr d\theta d\phi$$
2. ヤコビアン(Jacobian)を用いた厳密な導出
多変数関数の変数変換において、体積拡大率を担うのがヤコビ行列の行列式(ヤコビアン)です。3次元極座標変換のヤコビ行列 $J$ は、偏微分を並べた3×3の行列となります。
$$J = \frac{\partial(x, y, z)}{\partial(r, \theta, \phi)} = \begin{pmatrix} \frac{\partial x}{\partial r} & \frac{\partial x}{\partial \theta} & \frac{\partial x}{\partial \phi} \\ \frac{\partial y}{\partial r} & \frac{\partial y}{\partial \theta} & \frac{\partial y}{\partial \phi} \\ \frac{\partial z}{\partial r} & \frac{\partial z}{\partial \theta} & \frac{\partial z}{\partial \phi} \end{pmatrix} = \begin{pmatrix} \sin\theta \cos\phi & r \cos\theta \cos\phi & -r \sin\theta \sin\phi \\ \sin\theta \sin\phi & r \cos\theta \sin\phi & r \sin\theta \cos\phi \\ \cos\theta & -r \sin\theta & 0 \end{pmatrix}$$
この行列式を第3行に沿って余因子展開して計算します。 (出典: 極座標 3 次元(Yahoo!ニュース))
$$\det(J) = \cos\theta \begin{vmatrix} r \cos\theta \cos\phi & -r \sin\theta \sin\phi \\ r \cos\theta \sin\phi & r \sin\theta \cos\phi \end{vmatrix} - (-r \sin\theta) \begin{vmatrix} \sin\theta \cos\phi & -