リンドラー座標

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

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

1. デカルトチャートとの関係
---------------

リンドラーチャートを得るには、まず下の計量を持つデカルトチャートから始める。

の領域はよく「リンドラーのくさび」と呼ばれ、この領域では、固有時間がリンドラー座標時と同じに定義されたリンドラー観測者の固有加速度を g}} とおくと、下の座標変換により新たなチャートが得られる。

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

リンドラーチャートでは、ミンコフスキー線素は次のとおりに書ける。

「リンドラー観測者」はリンドラー座標系において「静止」している、つまり x, y, z}} を一定に保ち、時間とともに t}} だけが変化する観測者として定義することができる。この世界線に留まるためには、観測者は一定の固有加速度で加速する必要があり、1=//x//=0}} に近い観測者ほどより大きな固有加速度を持つ。すべてのリンドラー観測者は慣性系上において時刻 1=//T//=0}} の瞬間には静止しており、この時刻には固有加速度 1=//g//i}} の観測者は 1=//X// = 1///g//i}} の位置にあり、それぞれリンドラー座標系上ではリンドラー地平面から等距離を保つ。すべてのリンドラー観測者が各々の時計を 1=//T//=0}} でゼロにあわせたとすると、リンドラー座標系の定義時に、どのリンドラー観測者の固有時をリンドラー座標系の座標時 t}} として採用するかを選ぶ余地がある。そして、選んだ観測者の固有加速度が前述の g}} の値となる。広く行われている慣習として、リンドラー座標系は固有加速度 1=//g//=1}} のリンドラー観測者の固有時を座標時として採用する。その場合、上式の g}} は消去される。

上式

は 1=//c//=1}} の単純化を行ってある。単純化を受けていない下式のほうが、加速度を g}} としたときのリンドラー地平面までの距離を出すためには便利である。

この項のこれより下では、 1=//g//=1}} および 1=//c//=1}} と置くこととし、 X}} および x}} の単位は 1=//c//^2///g// = 1}} となるように置くこととする。1=//g//=Val と置くのと 1=//g//=val とするのとでは全く異ることに注意されたい。1=//c//=1}} とすることを決めても、固有加速度 g}} の大きさを表わす単位には選択の余地がある。例えば、長さ  の単位として光年を使うものとすれば、時間  の単位は年となり、1=//g// = Val となり、これはp=約 に等しいが、長さ  の単位として光秒を使うものとすれば、時間  の単位は秒となり 1=//g// = Val、すなわち 299792458 に等しくなる。

2. リンドラー観測者
-----------

新しいチャートでは、次の余標構場date=2016年10月をとるのが自然である。

この双対一般相対論における標構場date=2016年10月は以下のようになる。

これにより、各世界点における接空間上に、「局所ローレンツ基準系」が定義される。時間的ベクトル場 の積分曲線は、リンドラー観測者と呼ばれる一連の観測者の世界線からなる時間的合同 date=2016年10月を与える。リンドラーチャート上では、これらの世界線は を表わす縦座標のようにみえる。上述の座標変換により、これらがもとのデカルトチャートでは双曲線に対応することがわかる。 ローレンツ多様体上の一般の時間的合同と同様、この合同にも// kinematic decomposition//date=2016年6月}} が存在する。この場合、リンドラー観測者の合同の「膨張」と「渦度」は消える。膨張テンソルの消失は、「各観測者が隣の観測者と一定の距離を保つ」ということを意味する。渦度テンソルの消失は、各観測者の世界線が他の観測者の世界線に巻き付いたりしないということを意味する。これは局所的には「渦」が存在しないということである。

各観測者のlabel=加速ベクトルは共変微分を用いて以下のように得られる。

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

リンドラー観測者は「渦無し」であるため、「超曲面直交」date=2016年10月 となる。直交超曲面断片は である。これらはリンドラーチャート上には水平な半平面として現われ、デカルトチャート上には を通る半平面として現われる。1=d//t// = 0}} の線素については、通常のユークリッド幾何 1=d//σ//2 = d//x//2 + d//y//2 + d//z//2; ∀//x// > 0, ∀//y//, //z//}} が満たされることがわかる。したがって、リンドラーチャートの空間座標はリンドラー観測者が相互に静止しているということをとても単純に反映していると言える。この、リンドラー観測者の剛体性については後述する。

3. 「パラドックス的」性質
--------------

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

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

4. ミンコフスキー観測者
-------------

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

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

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

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

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

上図には、 の場合を、 における光円錐と共に描いてある。

5. リンドラー地平面
-----------

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

6. 測地線
------

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

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

しかし、線素からは  が得られる。ここで、 はそれぞれ時間的、光的、空間的測地線に対応する。これにより四つめの一次積分が以下のように得られる。

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

ヌル測地線の場合、 から E}} が非零のとき、 x}} 座標は区間 を覆うことがわかる。

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

いくつか選んだある世界点を通るヌル測地線の「軌跡」をプロットすると、リンドラー地平面に直交する半円と見紛うような曲線群が得られる。

7. フェルマー計量
----------

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

で与えられるような座標系が付与されている定常時空では、 1=//t// = 0}} におけるフェルマー計量は単純に

となる。

リンドラーチャートでは、時間的並進 //∂t//}} が上述の時間的キリングベクトルであるから、これは定常時空である。したがって、リンドラー観測者のフェルマー計量は直ちに以下のように書ける。

しかし、これはよく知られた「三次元双曲空間」 H3}} の上半空間チャートにおける線素である。これは、複素解析の学生が代々「共形写像問題」に関連して習わされる、よく知られた双曲平面 H2}} の上半平面チャートにごく似ており、多くの数学に関心のある読者にとっては H2}} の測地線が単に半円になることは既知であろう。

8. 対称性
------

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

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

に加えて六つ、

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

9. 距離の定義
--------

リンドラーチャートの研究から得られる多くの教訓の一つに、いくつかの異なるリンドラー観測者にとっての距離概念がありうるという事実が挙げられる。 最初の一つは、ここまでに暗黙に採用されていたもので、空間的超断面 1=//t// = //t//0}} 上における誘導リーマン計量である。これを、この誘導リーマン計量に対応するという意味で「定規距離」と呼ぼう。しかし、この距離の作業的な意味は直ちに明らかなわけではない。

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

具体的には、座標 1=//x// = //x//0, //y// = 0, //z// = 0}} のリンドラー観測者と座標 1=//x// = //x//0 + //h// , //y// = 0, //z// = 0}} リンドラー線素において 1=d//y// = 0, d//z// = 0}} と置くことにより、すぐに加速度方向のヌル測地線の満す方程式を得ることができる。

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

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

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

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

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

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

10. 曲がった時空への一般化
---------------

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

11. 関連項目
--------

ベルの宇宙船パラドックス: ときたま議論になる主題。リンドラー座標系を用いて考えることができる。
ボルン座標: ミンコフスキー時空における加速する観測者の運動に適用される、もう一つの重要な座標系
エーレンフェストのパラドックス: ときたま議論になる主題。しばしばボルン座標を用いて考えられる。
一般相対性理論
レイチャウデューリ方程式
ウンルー効果

12. 脚注
------

13. 参照文献
--------

背景知識として有用:

author=Boothby, William M. See //Chapter 4// for background concerning vector fields on smooth manifolds.
author=Frankel, Theodore See //Chapter 8// for a derivation of the Fermat metric.リンドラー座標系:

title=Gravitation See //Section 6.6//.
リンドラー地平面:

year=2003 [1]