リンドラー座標

提供: testwiki
ナビゲーションに移動 検索に移動

テンプレート:翻訳直後 相対論的物理において、リンドラー座標チャート (Rindler coordinate chart) は平坦な時空、すなわちミンコフスキー真空を表現するために重要かつ有用なテンプレート:仮リンクである。リンドラー座標系は、ミンコフスキー空間内を一様加速度運動している基準系を記述する。特殊相対性理論によれば、一様な加速度を受ける粒子はテンプレート:仮リンクを行う。このような各粒子が静止して見えるのがリンドラー基準系である。

リンドラーチャートという名前は、この座標チャートの使用を普及させたテンプレート:仮リンクに由来する。ただし、アルバート・アインシュタインネイサン・ローゼンの1935年の論文[1]に既に使われていた概念である。

デカルトチャートとの関係

テンプレート:Math のリンドラーチャートをミンコフスキーダイアグラムにプロットしたもの。破線はリンドラー地平線を表わす。

リンドラーチャートを得るには、まず下の計量を持つデカルトチャート慣性系)から始める(ただし、テンプレート:Math とする)。

ds2=dT2+dX2+dY2+dZ2,T,X,Y,Z

0<X<,X<T<X の領域はよく「リンドラーのくさび」と呼ばれ、この領域では、固有時間がリンドラー座標時(後述)と同じに定義されたリンドラー観測者の(テンプレート:Math の双曲線に沿った)固有加速度を テンプレート:Mvar とおくと、下の座標変換により新たなチャートが得られる。

t=1garctanh(TX),x=X2T2,y=Y,z=Z

逆変換は次のとおりになる。

T=xsinh(gt),X=xcosh(gt),Y=y,Z=z

リンドラーチャートでは、ミンコフスキーテンプレート:仮リンクは次のとおりに書ける。

ds2=g2x2dt2+dx2+dy2+dz2,x>0,t,y,z

「リンドラー観測者」はリンドラー座標系において「静止」している、つまり テンプレート:Mvar を一定に保ち、時間とともに テンプレート:Mvar だけが変化する観測者として定義することができる。この世界線に留まるためには、観測者は一定のテンプレート:仮リンクで加速する必要があり、テンプレート:Mathリンドラー地平面)に近い観測者ほどより大きな固有加速度を持つ。すべてのリンドラー観測者は慣性系上において時刻 テンプレート:Math の瞬間には静止しており、この時刻には固有加速度 テンプレート:Math の観測者は テンプレート:Math (実際には テンプレート:Math だが、テンプレート:Math の単位を使うものとする)の位置にあり、それぞれリンドラー座標系上ではリンドラー地平面から等距離を保つ。すべてのリンドラー観測者が各々の時計を テンプレート:Math でゼロにあわせたとすると、リンドラー座標系の定義時に、どのリンドラー観測者の固有時をリンドラー座標系の座標時 テンプレート:Mvar として採用するかを選ぶ余地がある。そして、選んだ観測者の固有加速度が前述の テンプレート:Mvar の値となる(リンドラー地平面からの距離が違う、その他のリンドラー観測者の固有時と、リンドラー座標時との関係は定数倍となる)[2]。広く行われている慣習として、リンドラー座標系は固有加速度 テンプレート:Math のリンドラー観測者の固有時を座標時として採用する。その場合、上式の テンプレート:Mvar は消去される。

上式

t=1garctanh(TX),x=X2T2,y=Y,z=Z

テンプレート:Math の単純化を行ってある。単純化を受けていない下式のほうが、加速度を テンプレート:Mvar としたときのリンドラー地平面までの距離を出すためには便利である。

t=cgarctanh(cTX)XcTc2TgXXc2TgtTtc2g

この項のこれより下では、 テンプレート:Math および テンプレート:Math と置くこととし、 テンプレート:Mvar および テンプレート:Mvar の単位は テンプレート:Math となるように置くこととする。テンプレート:Math と置くのと テンプレート:Math とするのとでは全く異ることに注意されたい。テンプレート:Math とすることを決めても、固有加速度 テンプレート:Mvar の大きさを表わす単位には選択の余地がある。例えば、長さ (テンプレート:Mvar および テンプレート:Mvar) の単位として光年を使うものとすれば、時間 (テンプレート:Mvar および テンプレート:Mvar) の単位は年となり、テンプレート:Math となり、これはテンプレート:Val に等しいが、長さ (テンプレート:Mvar および テンプレート:Mvar) の単位として光秒を使うものとすれば、時間 (テンプレート:Mvar および テンプレート:Mvar) の単位は秒となり テンプレート:Math、すなわち テンプレート:Val に等しくなる。

リンドラー観測者

新しいチャートでは、次の余標構場テンプレート:訳語疑問点をとるのが自然である。

dσ0=xdt,dσ1=dx,dσ2=dy,dσ3=dz

この双対テンプレート:仮リンクテンプレート:訳語疑問点は以下のようになる。

e0=1xt,e1=x,e2=y,e3=z

これにより、(リンドラー座標系が覆う領域、つまりリンドラーのくさび上の)各世界点における接空間上に、「局所ローレンツ基準系」が定義される。時間的ベクトル場 e0積分曲線は、リンドラー観測者と呼ばれる一連の観測者の世界線からなる時間的テンプレート:仮リンクテンプレート:訳語疑問点を与える。リンドラーチャート上では、これらの世界線は x=x0,y=y0,z=z0 を表わす縦座標のようにみえる。上述の座標変換により、これらがもとのデカルトチャートでは双曲線に対応することがわかる。

いくつかのリンドラー観測者(紺の双曲線)をデカルトチャート上に描いたもの。45°の赤線はリンドラー地平面を表わす。リンドラー座標系は赤線よりも右にのみ定義される。

ローレンツ多様体上の一般の時間的合同と同様、この合同にも kinematic decompositionテンプレート:訳語疑問点 が存在する(レイチャウデューリ方程式を参照)。この場合、リンドラー観測者の合同の「膨張」と「渦度」は消える。膨張テンソルの消失は、「各観測者が隣の観測者と一定の距離を保つ」ということを意味する。渦度テンソルの消失は、各観測者の世界線が他の観測者の世界線に巻き付いたりしないということを意味する。これは局所的には「渦」が存在しないということである。

各観測者のテンプレート:仮リンク共変微分を用いて以下のように得られる。

e0e0=1xe1

つまり、各リンドラー観測者は x 方向に加速をしている。それぞれを見れば、各観測者は「一定の大きさの」加速度でこの方向に加速しており、その世界線は一定の曲率をもつため、ユークリッド幾何でいう円のローレンツ的な相似物になる。

リンドラー観測者は「渦無し」であるため、「超曲面直交」テンプレート:訳語疑問点 となる。直交超曲面断片は t=t0 である。これらはリンドラーチャート上には水平な半平面として現われ、デカルトチャート上には T=X=0 を通る半平面として現われる(上図参照)。テンプレート:Math の線素については、通常のユークリッド幾何 テンプレート:Math が満たされることがわかる。したがって、リンドラーチャートの空間座標はリンドラー観測者が相互に静止しているということをとても単純に反映していると言える。この、リンドラー観測者の剛体性については後述する。

「パラドックス的」性質

テンプレート:Mvar 座標がより小さな定数であるリンドラー観測者は、より大きな加速度で加速して追随していることに注意されたい。ニュートン力学的では、同じ距離を保つ観測者は同一の加速度をもっていなければならないので、この事実には驚くかもしれない。しかし、相対論的物理学では、外力により棒を(長軸に並行に)加速するとき、後端点は先端点よりも強く加速しなければ最終的には破壊されてしまう。これはテンプレート:仮リンクから言えることである。棒が加速するにつれ、速度は増加し長さは減少していく。棒は短くなっていくので、後端は先端よりも強く加速する必要がある。別の言い方をすると、後端は同じだけの速度変化をより短い時間で行わなければならないということである。この事を微分方程式にすると、ある距離で後端の加速度は発散し、リンドラー地平面が生じることがわかる。

この現象は、よく知られた「パラドックス」、テンプレート:仮リンクの基礎となっている。しかし、これは相対論的力学の単純な帰結である。このことを示す一つの方法は、加速度ベクトルとは対応する世界線のテンプレート:仮リンクであると考えることである。ここで、「リンドラー観測者の世界線はユークリッド空間でいう同心円の相似物」であるから、「内側のレーンのスピードスケーターほど外側のレーンよりも(単位弧長あたり)速く曲がる」というよく知られた事実のローレンツ幾何版だと喩えることができる。

ミンコフスキー観測者

リンドラーチャート上に描いた代表的ミンコフスキー観測者(紺色の双曲正割曲線)。赤線はリンドラー地平面である。

別の基準系を導入してみよう。ミンコフスキーチャートにおける自然な選択は、以下のようなものである。

f0=T,f1=X,f2=Y,f3=Z

これらのベクトル場を上述の変換で変換すると、(リンドラーのくさびの範囲内で)リンドラーチャート上ではこの基準系は以下のようになることがわかる。

f0=1xcosh(t)tsinh(t)xf1=1xsinh(t)t+cosh(t)xf2=y,f3=z

時間的単位ベクトル場 f0 により定義される時間的合同の力学的分解を計算すると、ここでも膨張と渦度は消失し、加えて加速度ベクトルも消失して f0f0=0 となることがわかる。換言すれば、これは「測地合同」である。すなわち、観測者は「慣性運動」状態にある。元のデカルトチャートでは、これらミンコフスキー観測者は静止状態にある。

リンドラーチャートでは、ミンコフスキー観測者の世界線は座標面 x=0 に漸近する双曲正割曲線として現われる。具体的には、リンドラー座標系では、世界点 t=t0,x=x0,y=y0,z=z0 を通過するミンコフスキー観測者の世界線は以下の曲線となる。

t=arctanh(sx0),x0<s<x0x=x02s2,x0<s<x0y=y0z=z0

ここで、s はこのミンコフスキー観測者の固有時間である。この観測者の履歴の一部しかリンドラーチャートには描かれないことに注意されたい。このことはリンドラーチャートがテンプレート:仮リンクではないことを明示している。時間的測地線は有限の固有時間のうちにリンドラーチャートの範囲外に出てしまえるのである。もちろん、我々はリンドラーチャートは測地完全である元のデカルトチャートの一部分しか覆わないので、リンドラーチャートが測地完全ではありえないことは当然のことである。

上図には、x0=1 の場合を、s{12,0,12} における(縮尺を併せかつ適切にブーストされた)光円錐と共に描いてある。

リンドラー地平面

リンドラー座標系チャートは テンプレート:Math に計量の行列式が 0 になってしまう「座標特異点」を持つ。これは テンプレート:Math の極限においてリンドラー観測者の加速度が発散してしまうために生じるものである。リンドラーのくさびを描いた図から読み取れる通り、リンドラーチャート上の位置 テンプレート:Math はデカルトチャート上の位置 テンプレート:Math に対応し、これは二つのヌル測地合同下の半平面から成る。

測地線

リンドラーチャート上における測地方程式は測地ラグランジアンからすぐに得ることができ、以下のようになる。

t¨+2xx˙t˙=0,x¨+xt˙2=0,y¨=0,z¨=0

もちろん、元のデカルトチャート上では測地線は直線として現われるから、これを座標変換してやることによってリンドラーチャート上での測地線を得ることはできる。しかし、元のチャートとは独立に測地線を得ることは有意義なので、この節ではそれを行う。

テンプレート:Math の空間的超断面に投影した、いくつか選んだリンドラー観測者のヌル測地線(黒の半円状弧)。リンドラー地平面は紫の平面として描かれている。

第一、第三、第四の式から、直ちに「一次積分」を得ることができる。

t˙=Ex2,y˙=P,z˙=Q

しかし、線素からは ϵ=x2t˙2+x˙2+y˙2+z˙2 が得られる。ここで、 ϵ{1,0,1} はそれぞれ時間的、光的、空間的測地線に対応する。これにより四つめの一次積分が以下のように得られる。

x˙2=(ϵ+E2x2)P2Q2.

これで測地方程式の完全な解が得られた。

テンプレート:仮リンクの場合、 E2x2P2Q2 から テンプレート:Mvar が非零のとき、 テンプレート:Mvar 座標は区間 0<x<EP2+Q2 を覆うことがわかる。

リンドラーのくさび上の任意の世界点を通るヌル測地線を得るのに完全な七つのパラメータは以下のようになる。

tt0=arctanh(1E[s(P2+Q2)E2(P2+Q2)x02])+arctanh(1EE2(P2+Q2)x02)x=x02+2sE2(P2+Q2)x02s2(P2+Q2)yy0=Ps;zz0=Qs

いくつか選んだある世界点を通るヌル測地線の「軌跡」をプロットすると(つまり、 テンプレート:Math の超断面に投影すると)、リンドラー地平面に直交する半円と見紛うような曲線群が得られる(図を参照)。

フェルマー計量

リンドラーチャート上では、任意の空間的超断面上に投影したヌル測地線が単純に半円状の弧になることは、上に示した一般解から直接確かめることができるが、これを示す非常に単純な方法がある。テンプレート:仮リンクとは、渦なしの時間的キリングベクトル場が存在する時空である。このとき、(慣性運動しているとは限らない)対応する定常観測者に直交する一連の(同一)空間的超断面を一意に定義することができる。このことから、これら任意の超断面上に、時空から受け継いだ元の計量に共形に関連付けられる新しい計量を、その計量(これは三次元リーマン多様体上のリーマン計量であることに注意)の測地線が時空のヌル測地線の投影と正に一致するような性質を持つように定義することができる。この新しい計量は「フェルマー計量」と呼ばれ、線素が

ds2=g00dt2+gjkdxjdxk,j,k{1,2,3}

で与えられるような座標系が付与されている定常時空では、 テンプレート:Math におけるフェルマー計量は単純に

dρ2=1g00(gjkdxjdxk)

となる(ここで、計量の係数は テンプレート:Math で評価されたものとする)。

リンドラーチャートでは、時間的並進 テンプレート:Math が上述の時間的キリングベクトルであるから、これは定常時空である(これはミンコフスキー時空がアインシュタイン方程式の自明な静的真空解であることからも驚くべきことではない)。したがって、リンドラー観測者のフェルマー計量は直ちに以下のように書ける。

dρ2=1x2(dx2+dy2+dz2),x>0,y,z

しかし、これはよく知られた「三次元双曲空間」 テンプレート:Math の上半空間チャートにおける線素である。これは、複素解析の学生が代々「共形写像問題」(とその他多くの問題)に関連して習わされる、よく知られた双曲平面 テンプレート:Math の上半平面チャートにごく似ており、多くの数学に関心のある読者にとっては テンプレート:Math の測地線が単に(実軸で表わされる無限大を中心とする円に直交する)半円になることは既知であろう。

対称性

リンドラーチャートはミンコフスキー時空の座標チャートであるから、十個の互いに線形独立なキリングベクトル場があることが予期される。実際に、デカルトチャートでは一つの時間並進、三つの空間並進、三つの空間回転、三つのローレンツブーストに対応する部分群をもつ、十個の互いに線形独立なキリングベクトル場を容易に見付けることができる。付随して、これらはミンコフスキー時空の対称性群たる(固有等時)ポアンカレ群を生成する。

しかし、キリングベクトル方程式を直接書き下して解くのが教育的によい。四つの見慣れたキリングベクトル場

t,y,z,zy+yz

(時間並進、加速方向と直交する空間並進、および加速方向と直交する空間回転)に加えて六つ、

exp(±t)(yxt±[yxxy])exp(±t)(zxt±[zxxz])exp(±t)(1xt±x)

(複号同順)が得られる。標準的生成子との関係は練習問題に残しておく。ここで、デカルトチャートにおける テンプレート:Math に相当する生成子を得ることはできるが、リンドラーのくさびはこの並進に対して明らかに不変ではない。なぜこうなるのだろうか?答えは、滑らかな多様体上の偏微分方程式系により定義されるどんなものとも同じで、キリング方程式は一般に局所解は持つが大域解があるとはかぎらないということである。つまり、パラメータが適切ならばキリングフローを局所近傍に定義することはできるが、テンプレート:仮リンクに well-definedテンプレート:訳語疑問点 なフローが得られるとは限らない。 これはローレンツ多様体そのものの問題ではなく、一般の滑らかな多様体の研究において同様な問題は発生する。

距離の定義

リンドラーチャートの研究から得られる多くの教訓の一つに、いくつかの異なる(しかし筋の通った)リンドラー観測者にとっての距離概念がありうるという事実が挙げられる。

二人のリンドラー観測者(紺の縦線)の間の「レーダー距離」の作業的意味。リンドラー地平面は左端の赤い縦線で示されている。レーダーパルスの世界線と共に、世界点 A(中央下), B(右中央), C(中央上) における(適切にスケールした)光円錐も示す。

最初の一つは、ここまでに暗黙に採用されていたもので、空間的超断面 テンプレート:Math 上における誘導リーマン計量である。これを、この誘導リーマン計量に対応するという意味で「定規距離」と呼ぼう。しかし、この距離の作業的な意味は直ちに明らかなわけではない。

物理測定の立場からいってより自然な二つの世界線の間の距離概念は、「レーダー距離」である。これはある観測者の世界線上の世界点 A からヌル測地線を小物体に向けて飛ばし、世界点 B で反射して観測者に返し、世界点 C で受けとるのにかかった往復時間を観測者の持つ理想時計で測り、割ることで計算できる。

(ミンコフスキー時空では、幸いにも二つの世界線の間に複数のヌル測地線が存在するという可能性については考えなくてもよい。しかし、これを宇宙論的モデルに適用するのはそう単純にはいかない。この二人の観測者間の距離概念は、観測者の入れ替えに対して対称な概念であることに注意が必要である。)

具体的には、座標 テンプレート:Math のリンドラー観測者と座標 テンプレート:Math(前者は後続であるから、追随するためにより強い加速度をうけていることに注意。) リンドラー線素において テンプレート:Math と置くことにより、すぐに加速度方向のヌル測地線の満す方程式を得ることができる。

tt0=log(x/x0)

したがって、これら二人の観測者の間のレーダー距離は以下で与えられる。

x0log(1+hx0)=hh22x0+O(h3)

これは定規距離より若干小さいが、近傍の観測者間では違いは無視できる。

三つめの距離概念は次のように説明される。(点ではなく)なんらかの物体の上に置かれた単位円を観測者の場所から見たときの見込み角を計測する。これを「光学直径距離」と呼ぶ。ミンコフスキー時空上におけるヌル測地線の単純な性質から、(加速方向に沿って並んだ)リンドラー観測者間の光学的距離は容易に決定できる。スケッチを書けば、光学直径距離が h+1x0+O(h3) のようにスケールすることは納得できるだろう。したがって、後続の観測者が先行する観測者までの距離を推定する(テンプレート:Math の)場合、レーダー距離よりも若干長い定規距離よりも光学距離が若干長いことになる。先行する観測者から後続の観測者までの距離は読者に考えて欲しい。

ほかにも距離概念はあるが、要点は明確である。これらの様々な概念による、あるリンドラー観測者間の距離の値は一般的に一致しないが、全ての概念で「リンドラー観測者は一定の距離を保つ」ということは一致するのである。近傍のリンドラー観測者の間が相互に定常であることは、リンドラー合同の膨張テンソルが恒等的にゼロであることの帰結である。しかし、この剛体性はより大きなスケールでも保たれることはここまで見てきた通りである。この剛体性は、相対論的物理学においては(少くとも不均一な応力をかけることなしに)棒を剛体的に加速することはできない(および円板を剛体的に回転させることはできない)というよく知られた事実に対するに、真に特筆すべき性質である。この事実を明らかにする最も簡単な方法は、ニュートン力学では剛体を「蹴った」場合、その全ての物質要素は瞬時に運動状態を変える。これは当然のごとく、光速よりも速く物理的効果のある情報を伝えることはできないとする相対性原理に反している。

この帰結として、棒の長さに沿って各所に外力を加えるときは、棒の異る箇所には異なる大きさの加速度を与えなければ、いつか棒は限界を越えて膨張し最終的には破壊されるということを示すことができる。換言すれば、破壊されずに加速され続ける棒はその長さに沿って変化する応力を感じなければならないということである。さらには、力を時間的に変化させるどんな試行実験でも、「蹴る」にしろ徐々に加速するにしろ、物体の違う部分が外力に対して光速を超えて反応を示すような、相対論とは相容れないモデルを避けなければならないという問題からは避けて通れないということが言える。

定規距離の作業的意味の問題に戻ると、観測者間で非常にゆっくりと小さな定規を片方の端からもう片方の端まで繰り返し手渡していった場合に得られる距離に他ならないことがわかる。しかし、この理解を詳細にわたって正当化するためには、なんらかの物性モデルについての考察が必要となる。

曲がった時空への一般化

ここまで説明してきたリンドラー座標は、テンプレート:仮リンクという形で曲がった時空へと一般化できる。この一般化は根本的には適切な正規直交四つ組の構築と、それらのフェルミ・ウォーカー移動による適当なトラジェクトリ上の移動に関わっている。詳しくは、テンプレート:Harvtxtを参照されたい。この一般化により、実際に地球上の研究室から慣性および重力の効果を研究したり、さらにはより興味深い慣性・重力カップリング効果を研究したりすることができる。

関連項目

脚注

テンプレート:Reflist

参照文献

背景知識として有用:

リンドラー座標系:

リンドラー地平面:

  1. テンプレート:Cite journal
  2. Koks, Don: Explorations in Mathematical Physics (2006), pp. 240-252