相対性理論では、時間的世界線に沿った固有時間は、その世界線に沿って時計が計測する時間として定義されます。世界線上の 2 つのイベント間の固有時間間隔は、座標に依存しない固有時間の変化であり、ローレンツ スカラーです。[ 1 ]固有時間自体は、世界線上の何らかのイベントで時計を設定するという任意の加算定数を除いてのみ固定されているため、この間隔が関心のある量です。
2 つのイベント間の適切な時間間隔は、イベント自体だけでなく、それらを結ぶ世界線、ひいてはイベント間の時計の動きにも依存します。これは世界線上の積分として表されます(ユークリッド空間における弧長に相当)。加速時計は、同じ 2 つのイベント間で加速しない(慣性)時計が測定するよりも短い経過時間を測定します。双子のパラドックスはこの効果の一例です。[ 2 ]

慣例として、固有時間はギリシャ文字τ(タウ)で表され、座標時間tと区別されます。座標時間とは、観測者が事象に時間を割り当てる独自の方法を用いて測定した、2つの事象間の時間です。特殊相対性理論における慣性系観測者の特殊な場合、時間は観測者の時計と観測者による同時性の定義を用いて測定されます。
固有時間の概念は1908年にヘルマン・ミンコフスキーによって導入され、[ 3 ]ミンコフスキー図の重要な特徴となっている。
固有時間の正式な定義には、時計、観測者、または試験粒子を表す時空内の経路と、その時空の計量構造を記述することが含まれます。固有時間は、4次元時空における世界線の擬リーマン弧長です。数学的な観点からは、座標時間はあらかじめ定義されていると仮定され、座標時間の関数としての固有時間の式が必要となります。一方、固有時間は実験的に測定され、座標時間は慣性時計の固有時間から計算されます。
固有時間は、付随する一連の物理的な定規と時計の構築を可能にする時空を通る時間的経路に対してのみ定義できます。空間的経路に対する同じ形式論は、固有時間ではなく固有距離の測定につながります。光のような経路の場合、固有時間の概念は存在せず、時空間隔がゼロであるため定義されません。代わりに、時間とは無関係な、任意で物理的に無関係なアフィンパラメータを導入する必要があります。[ 4 ] [ 5 ] [ 6 ] [ 7 ] [ 8 ] [ 9 ]
計量符号の時間的慣例により、ミンコフスキー計量は次のように定義される。 そして座標は 任意のローレンツ座標系に対して。
このようなフレームでは、2 つのイベント間の微小な間隔 (ここでは時間的であると仮定) は次のように表されます。
そして、粒子の軌跡上の点を区切ります(時計を考えてみてください)。同じ間隔は、各瞬間に粒子が静止しているような座標で表すことができます。このような座標系は瞬間静止系と呼ばれ、ここでは座標で表されます。各瞬間について。間隔の不変性(異なる時刻に取得された瞬間静止系はローレンツ変換によって関連付けられる)により、次のように書ける。 瞬間静止系では、粒子または系自体が静止しているため、. 区間は時間的であると仮定されるため (つまり、)、上記の平方根を取ると[ 10 ]が得られる。 または τ の微分表現を考慮すると、適切な時間間隔は次のように定義されます。
(2)
ここでPは、ある初期事象からある最終事象までの世界線であり、事象の順序は、最終事象が初期事象よりも時計の時刻で後に発生するという条件によって固定されている。
(1)と再び区間の不変性を用いると、 [ 11 ]と書くことができる。
(3)
どこ は、世界線Pの任意の全単射パラメータ化で あり、 P の端点と a < b を与え、v ( t )は座標時刻tにおける座標速度、x ( t )、y ( t )、z ( t )は空間座標です。最初の式は明らかにローレンツ不変です。固有時間と固有時間間隔は定義により座標に依存しないため、これらはすべてローレンツ不変です。
t、x、y、zがパラメータλによってパラメータ化されている場合、これは次のように記述できます。
粒子の運動が一定であれば、式は次のように簡略化されます。 ここで、Δは初期事象と最終事象間の座標の変化を表す。特殊相対性理論における定義は、以下のように一般相対性理論にそのまま一般化できる。
一般相対性理論では、固有時間は次のように定義されます。局所座標x μを持ち、計量テンソルg μνを備えた擬リーマン多様体の場合、時間的経路Pに沿った 2 つのイベント間の固有時間間隔Δ τ は、線積分[ 12 ]によって与えられます。
この式は、当然のことながら、座標変換に対して不変である。適切な座標系を用いると、平坦な時空における特殊相対性理論の式に帰着する。
特殊相対性理論においてx 1、x 2、x 3 = constとなるように座標を選択できるのと同様に、一般相対性理論においても同様のことが可能です。そして、これらの座標では、[ 13 ]
この式は定義(2)を一般化したものであり、定義として扱うことができる。次に、区間の不変性を用いると、式(4)は、式(3)が式(2)から導かれるのと同様に、式(4)から導かれる。ただし、ここでは任意の座標変換が許容される。
双子のパラドックスのシナリオでは、慣性的にA座標(0,0,0,0)と(10年, 0, 0, 0)の間を移動する観測者Aがいるとします。これは、AがA座標時間で10年間。2つのイベント間の Aの適切な時間間隔は次のようになります。
特殊相対性理論の座標系において「静止状態」にあるということは、固有時間と座標時間が等しいことを意味する。
ここで、別の観測者Bが (0,0,0,0) からx方向に5 年間A座標時間で 0.866 cの速度で移動し、(5 年、4.33 光年、0、0) に到達するとします。Bはそこで加速し、反対の空間方向にさらに 5 年間A座標時間で移動し、(10 年、0、0、0) に到達します。各行程について、適切な時間間隔はA座標を使用して計算でき、次のように与えられます。
したがって、観測者B が(0,0,0,0) から (5 年、4.33 光年、0, 0) へ、そして (10 年、0, 0, 0) へ移動するの に必要な合計時間は
このように、固有時間方程式には時間の遅れ効果が組み込まれていることが示される。実際、特殊相対性理論(SR)時空で速度で移動する物体の場合、しばらくの間適切な時間間隔は これはSR時間膨張の公式です。
別の慣性観測者の周りを回転する観測者は、加速座標系にいる。そのような観測者にとって、増分(適切な時間方程式の形式と、以下に示すような、たどる経路のパラメータ化された記述が必要です。
xy平面内で座標角速度で回転する円盤上に観測者Cがいるとする。そして、円盤の中心から距離rにある観測者Cの経路は、円盤の中心がx = y = z = 0にあるとする。、 どこ現在の座標時刻です。rと定数である、そして増分固有時間の公式は次のようになる。
つまり、座標時間の間に一定の角速度ωで時空の特定の点から一定の距離rで回転する観測者にとってはそして適切な経験時間は として回転する観測者の場合。この結果は直線運動の例と同じであり、固有時間公式の積分形式の一般的な適用例を示している。
特殊相対性理論(SR)と一般相対性理論(GR)の違いは、GRではミンコフスキー計量だけでなく、アインシュタイン場の方程式の解となる任意の計量を用いることができる点にある。曲がった時空における慣性運動は、SRにおけるような単純な表現を持たないため、固有時間方程式の線積分形式を常に用いる必要がある。
ミンコフスキー計量に対して適切な座標変換を行うと、回転円盤上の物体が同じ空間座標位置にとどまるような座標が生成されます。新しい座標は次のとおりです。 そして
t座標とz座標は変更されません。この新しい座標系では、増分固有時間方程式は次のようになります。
r、θ、zが時間を通じて一定である 場合、これは次のように簡略化されます。 これは例2と同じです。
ここで、回転円盤から離れた、円盤の中心に対して慣性的に静止し、円盤から距離Rにある物体を考えます。この物体の座標運動はdθ = − ω dtで表され、これは回転する観測者から見て慣性的に静止している物体が逆回転している様子を表しています。すると、固有時間の方程式は次のようになります。
したがって、慣性静止観測者にとっては、座標時間と固有時間は再び同じ速度で経過することがわかった。これは、相対性理論の内部自己整合性のために予想され、必要とされることである。[ 14 ]
シュワルツシルト解は、増分固有時間方程式を持つ。 どこ
適切な時間関係の用法を示すために、ここでは地球に関するいくつかの具体例を用いる。
地球の場合、M =5.9742 × 10 24 kg、つまりm =4.4354 × 10 −3 m。北極に立っているときは、(つまり、地球の表面に沿って上下に移動していないということ)。この場合、シュワルツシルト解の固有時間方程式は次のようになります。地球の極半径を動径座標として使用します(または)、我々は次のことを発見した。
赤道における地球の半径はr =6 378 137 m。さらに、地球の自転も考慮に入れる必要があります。これにより、観測者には角速度が与えられます。2πを地球の自転周期である恒星周期86162.4秒で割った値です。適切な時間方程式は次のようになる。
非相対論的な観点からすれば、これは以前の結果と同じであるはずです。この例は、地球が自転しているため、シュワルツシルト解で仮定されているような球対称ではない場合でも、固有時間方程式がどのように使用されるかを示しています。自転の影響をより正確に記述するには、カー計量を使用できます。
{{citation}}: CS1メンテナンス: アーカイブサービスは非推奨になりました (リンク)