等方座標

テンプレート:翻訳直後 テンプレート:複数の問題 ローレンツ多様体理論において、テンプレート:仮リンクには一連の入れ子球面構造テンプレート:訳語疑問点 (family of nested round spheres) を見出すことができる。この一連の入れ子球面にどのような座標チャートを適用するかにはいくつかの異る型が存在する。最も知られているのはテンプレート:仮リンクであるが、等方チャートが便利であることも多い。等方チャートの決定的な特徴は、その動径座標（シュワルツシルトチャートにおける動径座標とは異なる）が光円錐が「丸まる」ように定義されていることである。このことは、（自明な局所的に平坦な場合を除いて）等方座標の角度座標は入れ子球面上の距離を忠実に表わしているわけではなく、動径座標も動径距離を忠実に表わしているわけではないことを意味する。一方で、一定座標時における超断面上の角度は歪みなく表現されており、名前の由来となっている。

等方座標は、一般相対性理論などの計量重力理論においてテンプレート:仮リンク球対称時空に対して用いられることが多いが、脈動する流体球のモデリングなどに利用することもできる。孤立したアインシュタイン方程式の球対称解の場合、中心から十分離れれば等方チャートとシュワルツシルトチャートとはいずれもミンコフスキー時空における通常の極座標に漸近する。

定義

（静的球対称時空の）等方チャートにおいて、テンプレート:仮リンクは次のような表式で表わされる。

$\mathrm{d}{s}^2=-f(r{)}^2\mathrm{d}{t}^2+g(r{)}^2\{\mathrm{d}{r}^2+r^2(\mathrm{d}{\theta }^2+{\sin }^2\theta \mathrm{d}{\varphi }^2)\}$

$-\mathrm{\infty }<t<\mathrm{\infty },r_0<r<r_1,0<\theta <\pi ,-\pi <\varphi <\pi$

文脈によって、テンプレート:Math は動径座標 テンプレート:Mvar の不定関数と見做すことが適切である場合がある。（たとえばアインシュタイン方程式から球対称な厳密解を導くような場合）。また、（適当なパラメータに依存してもよい）特定関数を代入して特定のローレンツ時空を表現する等方チャートを得ることもできる。

キリングベクトル場

球対称静的時空のキリングベクトル場のリー代数は、シュワルツシルトチャートと等方チャートで同じ形式をとる。すなわち、この代数は時間的「テンプレート:仮リンク」キリングベクトル場

${\partial }_t$

と空間的キリングベクトル場

${\partial }_{\varphi }$

$\sin \varphi {\partial }_{\theta }+\cot \theta \cos \varphi {\partial }_{\varphi }$

$\cos \varphi {\partial }_{\theta }-\cot \theta \sin \varphi {\partial }_{\varphi }$

から生成される。ここで、 テンプレート:Math が渦無しであるというのはt対応する時間的テンプレート:仮リンクテンプレート:訳語疑問点のテンプレート:仮リンクが恒等的に零になるという意味である。したがって、このキリングベクトル場はテンプレート:仮リンクテンプレート:訳語疑問点する。時空に時間的渦無しキリングベクトル場が存在するという事実は、実はテンプレート:仮リンクの決定的特徴である。 この事実から直ちに次のことが帰結する。「定数座標時曲面」 テンプレート:Math は、一連の（等長）「空間的超断面」（空間的超曲面）を形成する。

シュワルツシルトチャートとは異なり、等方チャートはこれらの超断面の埋め込みダイアグラムを構成するのにはあまり適していない。

一群の静的入れ子球面

曲面 テンプレート:Math は（その軌跡を球面極座標的に描けば）丸い球面に見え、線素の形式からそれらの曲面のうちいずれかの内に制限された計量は次のように書ける。

$\mathrm{d}{\sigma }^2=g(r_0{)}^2{r}_0^2(\mathrm{d}{\theta }^2+{\sin }^2\theta \mathrm{d}{\varphi }^2),0<\theta <\pi ,-\pi <\varphi <\pi$

すなわち、これらの「入れ子座標球面」は本当に幾何学的球面を表わしているが、 テンプレート:Math が テンプレート:Mvar の代わりに現われていることは動径座標が通常のユークリッド空間におけるような形で面積に対応しはしないことを表わしている。シュワルツシルト座標においては動径座標がこれら入れ子球面の自然な解釈を持っていることとは対照的である。

座標特異点

二つの軌跡 $\varphi =-\pi ,\pi$ は等方チャートの境界を区切っており、シュワルツシルトチャートにおけるのと同様、暗黙のうちにこれら二つの軌跡は同一のものと仮定して上述の曲面が実際に位相幾何学的球面であるとする。

シュワルツシルトチャートの場合と全く同様に、動径座標の範囲は計量もしくはその逆数が一部の座標値において発散することにより制限されることがある。

仮設計量

テンプレート:Mvar を等方座標 テンプレート:Mvar の不定関数としたときの上述の線素は、一般相対性理論（または他のテンプレート:仮リンク）において静的球対称解を導く際の仮設テンプレート:Enlink計量としてしばしば用いられる。

例示として、カルタンの外微分法を用いて接続とテンプレート:仮リンクを計算する方法を挙げてみよう。まず、線素からテンプレート:仮リンクテンプレート:訳語疑問点

${\sigma }^0=-f(r)\mathrm{d}t$

${\sigma }^1=g(r)\mathrm{d}r$

${\sigma }^2=g(r)r\mathrm{d}\theta$

${\sigma }^3=g(r)r\sin (\theta )\mathrm{d}\varphi$

が読み取れる。ここで、テンプレート:Math は テンプレート:Mvar の滑らかな不定関数とする（この時空がこのような特定の三角関数形式を許すという事実は、静的球対称ローレンツ多様体上の等方チャートの記法のもう一つの等価な表現である）。外微分をとってカルタン第一構造方程式を用いると、次の非零の「接続 1-形式」が得られる。

${{\omega }^0}_1=\frac{f^{\prime }\mathrm{d}t}{g}$

${{\omega }^1}_2=-(1+\frac{r{g}^{\prime }}{g})\mathrm{d}\theta$

${{\omega }^1}_3=-(1+\frac{r{g}^{\prime }}{g})\sin (\theta )\mathrm{d}\varphi$

${{\omega }^2}_3=-\cos (\theta )\mathrm{d}\varphi$

再度外微分をとってカルタン第二構造方程式を用いれば、「曲率 2-形式」が得られる。

関連項目

• テンプレート:仮リンク
• テンプレート:仮リンク
• テンプレート:仮リンク
• テンプレート:仮リンク - 静的球対称時空に用いられる別の有名なチャート
• テンプレート:仮リンク - 標構場テンプレート:訳語疑問点と余標構場テンプレート:訳語疑問点についての詳細

出典

• テンプレート:Cite book