ローレンツスカラーのソースを表示


[[相対性理論]]の[[物理学]]において、'''ローレンツスカラー'''とは、その理論の要素から形成され、[[ローレンツ変換]]のもとで不変な[[スカラー (物理学)|スカラー]]として評価される表現です。ローレンツスカラーは、例えばベクトルのスカラー積や、その理論のテンソルの縮約から生成されることがあります。ベクトルやテンソルの成分は一般的にローレンツ変換の下で変化しますが、ローレンツスカラー自体は変わりません。

ローレンツスカラーは、[[スカラー (数学)|数学的な意味でのスカラー]]として常に不変であるとは限りませんが、その結果として得られるスカラー値は、考慮される理論が基づくベクトル空間に適用される任意の基底変換の下で不変です。[[ミンコフスキー時空]]における単純なローレンツスカラーは、時空内の二つの固定された事象の''時空間距離''（その差の"長さ"）です。事象の4元位置ベクトルは異なる慣性系間で変わりますが、その時空間距離は対応するローレンツ変換の下で不変です。ローレンツスカラーの他の例としては、4元ベクトルの"長さ"（以下参照）、または[[一般相対性理論]]からの時空のある点における[[リッチ曲率]]があり、これはそこでの[[リーマン曲率テンソル]]の縮約です。

== 特殊相対性理論におけるシンプルなスカラー ==

=== 位置ベクトルの長さ ===
[[ファイル:Fermi_walker_1.png|左|フレーム|異なる速度の二つの粒子の世界線。]]
[[特殊相対性理論]]では、4次元の[[時空]]内の粒子の位置は、次のように与えられます：<math display="block">x^\mu = (ct, \mathbf{x})</math>ここで、<math>\mathbf{x} = \mathbf{v} t</math>は粒子の3次元空間での位置であり、<math>\mathbf{v}</math>は3次元空間での速度であり、<math> c </math>は[[光速]]です。

ベクトルの"長さ"はローレンツスカラーであり、次のように与えられます：<math display="block">x_{\mu} x^{\mu} = \eta_{\mu \nu} x^{\mu} x^{\nu} = (ct)^2 - \mathbf{x} \cdot \mathbf{x} \ \stackrel{\mathrm{def}}{=}\  (c\tau)^2</math>ここで、<math>\tau</math>は粒子の静止フレーム内の時計で測定される固有時であり、[[ミンコフスキー計量]]は次のように与えられます：<math display="block">\eta^{\mu\nu} = \eta_{\mu\nu} = \begin{pmatrix}
  1 &  0 &  0 &  0 \\
  0 & -1 &  0 &  0 \\
  0 &  0 & -1 &  0 \\
  0 &  0 &  0 & -1
\end{pmatrix}.</math>これは、時間的計量です。

しばしば、[[ミンコフスキー計量]]においては、符号の配置が異なるバージョンが使われることがあります。<math display="block">\eta^{\mu\nu} = \eta_{\mu\nu} = \begin{pmatrix}
  -1 & 0 & 0 & 0 \\
   0 & 1 & 0 & 0 \\
   0 & 0 & 1 & 0 \\
   0 & 0 & 0 & 1
\end{pmatrix}.</math>これは、空間的計量です。

ミンコフスキー計量では、空間的な間隔<nowiki><math> s </math></nowiki>は、次のように定義されます：<math display="block"> x_{\mu} x^{\mu} = \eta_{\mu \nu} x^{\mu} x^{\nu} = \mathbf{x} \cdot \mathbf{x} - (ct)^2 \ \stackrel{\mathrm{def}}{=}\  s^2.</math>以下では、空間的なミンコフスキー計量を使用します。

=== 速度ベクトルの長さ ===
[[ファイル:Fermi_walker_2.png|左|フレーム|時空内の二つの異なる速度の粒子の速度ベクトル。相対性理論では、加速は時空内の回転と同等である]]
時空内の速度は、次のように定義されます：<math display="block">v^{\mu} \ \stackrel{\mathrm{def}}{=}\  {dx^{\mu} \over d\tau} = \left( c {dt \over d\tau}, {dt \over d\tau}{d\mathbf{x} \over dt} \right) = \left( \gamma c,  \gamma { \mathbf{v} } \right) = \gamma \left( c, { \mathbf{v} } \right)</math>ここで、<math display="block">\gamma \ \stackrel{\mathrm{def}}{=}\  { 1 \over {\sqrt {1 - { {\mathbf{v} \cdot \mathbf{v}} \over c^2} } } } .</math>4元ベクトルの大きさはローレンツスカラーであり、<math display="block">v_\mu v^\mu = -c^2\,.</math>したがって、cはローレンツスカラーです。

=== 加速と速度の内積 ===
4-加速度は、次のように与えられます：<math display="block">a^{\mu} \ \stackrel{\mathrm{def}}{=}\  {dv^{\mu} \over d\tau}.</math>4元加速度は常に4元ベクトルと垂直です<math display="block">0 = {1 \over 2} {d \over d\tau} \left( v_\mu v^\mu \right) = {d v_\mu \over d\tau} v^\mu = a_\mu v^\mu.</math>したがって、時空内の加速を単に4元ベクトルの回転として考えることができます。加速と速度の内積はローレンツスカラーであり、ゼロです。この回転はエネルギーの保存の単なる表現です：<math display="block">{d E \over d\tau} = \mathbf{F} \cdot \mathbf{v}</math>ここで、<nowiki><math> E </math></nowiki>は粒子のエネルギーであり、<nowiki><math> \mathbf{F} </math></nowiki>は粒子に作用する3力です。

== 4元運動量からのエネルギー、静止質量、3元運動量、および3元速度 ==
粒子の4元運動量は、次のように与えられます：<math display="block">p^\mu = m v^\mu = \left( \gamma m c, \gamma m \mathbf{v} \right) = \left( \gamma m c, \mathbf{p} \right) = \left( \frac E c , \mathbf{p} \right)</math>
ここで、<nowiki><math> m </math></nowiki>は粒子の静止質量、<nowiki><math> \mathbf{p} </math></nowiki>は3空間内の運動量であり、<math display="block">E = \gamma m c^2 </math> は粒子のエネルギーです。

=== 粒子のエネルギーの測定 ===
<nowiki><math> u </math></nowiki>という4元ベクトルと<nowiki><math> \mathbf{u}</nowiki>''2 <nowiki></math></nowiki>という3元ベクトルを持つ第二の粒子を考えてみましょう。第二の粒子の静止フレームでは、<nowiki><math> u </math></nowiki>と<nowiki><math> p </math></nowiki>の内積は、第一の粒子のエネルギーに比例しています：''<math display="block">p_\mu u^\mu = - E_1 </math>ここで、下付きの1は第一の粒子を示しています。

この関係は、第二の粒子の静止フレームで真実であるので、任意の参照フレームでも真実です。 <nowiki><math> E_1 </math></nowiki>は、第二の粒子のフレームでの第一の粒子のエネルギーであり、ローレンツスカラーです。したがって、<math display="block">E_1 = \gamma_1 \gamma_2 m_1 c^2 - \gamma_2 \mathbf{p}_1 \cdot \mathbf{u}_2</math>任意の慣性参照フレームで、<nowiki><math>E_1</math></nowiki>は依然として第二の粒子のフレームでの第一の粒子のエネルギーです。

=== 粒子の静止質量の測定 ===
粒子の静止フレームでの運動量の内積は、次のように与えられます：<math display="block">p_\mu p^\mu = -(mc)^2 \,.</math>したがって、静止質量 ({{mvar|m}})はローレンツスカラーです。この関係は、内積が計算されるフレームに関係なく、真実であるままです。多くの場合、静止質量は<math> m_0 </math>として書かれ、相対論的質量、<math> \gamma m_0 </math>と混同しないようにします。

=== 粒子の3-運動量の測定 ===
次のことに注意してください。<math display="block">\left( \frac{p_{\mu} u^\mu}{c} \right)^2 + p_{\mu} p^{\mu} = {E_1^2 \over c^2} - (mc)^2 = \left( \gamma_1^2 - 1 \right) (mc)^2 = \gamma_1^2 {\mathbf{v}_1 \cdot \mathbf{v}_1} m^2 = \mathbf{p}_1 \cdot \mathbf{p}_1.</math>第二の粒子のフレームで測定された粒子の3元運動量の大きさの2乗は、ローレンツスカラーです。

=== 粒子の3-速度の測定 ===
第二の粒子のフレームでの3元ベクトルは、2つのローレンツスカラーから構築されます：<math display="block">v_1^2 = \mathbf{v}_1 \cdot \mathbf{v}_1 = \frac { \mathbf{p}_1 \cdot \mathbf{p}_1 } { E_1^2 } c^4.</math>

== より複雑なスカラー ==
スカラーは、テンソルやベクトル、テンソルの縮約（ <math>F_{\mu\nu}F^{\mu\nu}</math>のような）からも構築されることがあります。あるいは、テンソルやベクトルの縮約の組み合わせ（<math>g_{\mu\nu}x^{\mu}x^{\nu}</math>のような）からも構築されます。

== 参考文献 ==

* {{Cite book |last=Misner, Charles |last2=Thorne, Kip S. |last3=Wheeler, John Archibald |name-list-style=amp |title=Gravitation |location=San Francisco |publisher=W. H. Freeman |year=1973 |isbn=0-7167-0344-0}}
* {{Cite book |last=Landau, L. D. |last2=Lifshitz, E. M. |name-list-style=amp |title=Classical Theory of Fields |location=Oxford |publisher=Pergamon |year=1975 |isbn=0-08-018176-7 |edition=Fourth Revised English}}
{{Physics-footer}}
[[Category:相対性理論]]
[[Category:物理学の概念]]