一般相対性理論を一歩一歩数式で理解する(第4章 特殊相対性理論)§1~6

   石井俊全「一般相対性理論を一歩一歩数式で理解する」ベレ出版 の読後行間補充メモ

(→ 正誤表
(→ 事項索引

Table of Contents[hide]



§1 方程式の共変性 



p297 速度、加速度は(1,0)テンソル場。電場・磁場は(2,0)テンソル場


p298 Fx, Fy
中央図は、FxFx, Fy で分解したもの。
右図は、FyFx, Fy で分解したもの。FxsinθFy と逆方向なので、マイナスがついている。
(FxFy)=(cosθsinθsinθcosθ)(FxFy)=(Fxcosθ+FysinθFxsinθ+Fycosθ)

p299 10行目

「観測者によらず同じ物理法則に観測されるためには、成分が(1,0)テンソルの変換則を満たすことがポイント」…p305~307の検討結果より。

p300 電場・磁場は、(2,0)テンソル

電磁場のマックスウェル方程式は、2 階の反変テンソルの形になることにつき、電磁場のテンソル表現(EMANの物理学)。


§2 特殊相対論の課題 



p305 ニュートンの運動方程式は、ガリレイ変換に関して共変性あり

t=t で微分 とは、左辺をt で、右辺をt で微分するとの趣旨。

p305 式4.02
加速度a は、速度v の時間微分なので、a=dvdt=d2 xdt2

p305 xyz 座標は、xyz 軸と座標が平行
設例上の定義(p303)。

p306 ニュートンの重力場方程式は、ガリレイ変換に関して共変性あり

本書p127 のΔΦ(x)=4πGρ(x)

p306 4~5行目

x=xxx+yxy+zxzは、p29 の定理1.07による展開。
xx=1は、目盛りの長さが同じであることを前提としている。

p306 マックスウェルの波動方程式は、ガリレイ変換に関して共変ではない

末尾4~3行目第1項は、ttt=1t=t第2項は、xtx=(xVxt)tx=Vxx等としている。
末尾2行目は、x=xxx=1x=x等としている。

p307 ダランベルシアン

ダランベルシアンの記号:
1行目は、ダランベルシアンの定義(p203)より。



§3 ローレンツ変換とダランベルシアン 



p308 異なる慣性形であっても、電磁波である光の速度は一定 c

マックスウェルの電磁方程式で、B, E を求めるには、ダランベルシアン を含む式で、ϕ, A を求める必要がある(p205)。このため、異なる慣性系でマックスウェルの電磁方程式が同じ形となるには、異なる慣性系でダランベルシアン が同じ形となる必要がある。ダランベルシアン は、=2x2+2y2+2z21c22t2 であり、これが異なる慣性系でも同じ形、=2x2+2y2+2z21c22t2 であるとき、同式の中の光速c が同じものであること(すなわち、c が一定)を意味する(c が、c へと変わるのでは同じ形と言えない)。

p308 現実の世界

  • 現実の世界(非慣性系)では、光の速度 c は、一定ではない。
  • 相対性理論で扱う光の速度は、真空中の光の速度を前提としている。媒質(ガラス、電線)中の光(電磁波)の伝播速度は、媒質内の原子によって散乱された2次波の干渉により、減少し、光の屈折率として観察される(大津元一「イラストレイテッド 光の科学」朝倉書店p34, 42~43, 54)。

p309 ローレンツ変換

x 軸方向のローレンツ変換の式は、
  • ct=γ (ctβx)
  • x=γ {β(ct)+x}
  • y=y
  • z=z
このうち第3式・第4式の単位は、距離[m]。
また、c は光速であり、t, t は時間であるから、ct, ct の単位は、[mss]=[m] であり、γ, β はいずれも定数なので、結局、第1式・第2式の単位も、距離[m]である。

p309 ct

時間 t の単位を秒[s]ではなく年[y]とすると、ct は、光年(1年間で光が進む距離)となる。 

p309 V が c に対して十分小さい場合(ガリレイ変換近似)

Vcのとき、γ1, β0 なので、ローレンツ変換の第1式は、ct=γ(ctβx)ct1(ct0x)ctctttとなり、第2式は、β=0 ではなく、βc=V を用いて、x=γ{β(ct)+x}1{Vt+x}=xVtとなり、ガリレイ変換と同様となる。
すなわち、ガリレイ変換は、ローレンツ変換の特殊な場合(Vc)と位置づけられる。

p310 問題4.01

  • ct=γ(ctβx)
  • x=γ{β(ct)+x}
より、t を微小変化させると、t, x が変化することが分かる。
よって、t による微分は、定理1.07(p29)のように、tx による偏微分の和として表すことができる。t=ttt+xtxこれに、上記2式を代入すると、={γc(ctβx)}tt+[γ{β(ct)+x}]tx=(γtγβcx)tt+(γβct+γx)tx=(γt)tt+(γβct)tx=γtγβcxとなる。
同様に、x を微小変化させると、t, x が変化するので、x=txt+xxx={γc(ctβx)}xt+[γ{β(ct)+x}]xx=(γβxc)xt+(γx)xx=γβct+γxとなる。
よって、これらを2乗した 
(t)2=(γtγcβx)2(x)2=(γβct+γx)2を、2x21c22t2に代入したのち、展開・整理すると、p310 末尾7~6行目のようになる。

p310 ダランベルシアンは x 軸方向のローレンツ変換で共変

y=yy=y2y2=2y2同様に、z=y2z2=2z2これら2式を、2x21c22t2=2x21c22t2の両辺に足すと、p310 末尾2~1行目の式=が得られる。
これは、ダランベルシアン を演算要素として含むマックスウェルの電磁場の波動方程式が、ローレンツ変換で共変であることを示している。

p311 ニュートンの運動方程式(拡張版)はローレンツ変換で共変

4元力、4元加速度(p370)を用いた表現形式Fi=maiへと変更する必要あり。

p311 重力場方程式は、ローレンツ変換では共変性がない

ラプラシアンΔ (p61)2x2+2y2+2z2に別要素1c22t2を加えたダランベルシアン には、ローレンツ変換に対する共変性がある(問題4.01)。
よって、これら別要素を両辺から控除してしまったラプラシアンΔ 単独では、ローレンツ変換に対する共変性があるとは限らない。ΔΔこれは、ラプラシアンΔ を演算要素として含む重力場方程式が、ローレンツ変換で共変とはならないことを示している。

p311 各種座標変換と共変性


一般相対性理論では、重力場方程式も共変となる。



§4 ローレンツ変換の導出 



p314 1行目 S で見た棒の長さ

p320

p316 l_4 の式

x=x6+Vtxx6=VtcV(xx6)=cVVtcVxcVx6=ct

p317 1行目 x 座標の値と x' 座標の値は一致すると限らない

座標の目盛りの大きさは一致している前提(p306, p323)。
xx=1

p317 慣性系 S で観察される点 A への光の到達

時間tA で、棒左端の点 A は右側に VtA 進み、点 M からの光は左側に ctA 進む。両者が同じ地点に達したときが、点 A への光の到達時なので、VtA+ctA=L(V+c)tA=LtA=Lc+Vとして、時刻tA が求められる。
よって、点Ex 座標は、LctAに、tA=Lc+Vを代入して、LcLc+Vとなる。

p318 慣性系 S で観察される点 B への光の到達

時間tB で、棒右端の点 B は右側に VtB 進み、点 M からの光は右側に ctB 進む。両者が同じ地点に達したときが、点 B への光の到達時なので、ctBVtB=L(cV)tB=LtB=LcVとして、時刻tB が求められる。

p320 観測される物の長さ=同時刻に存在するイベントの距離

tx 座標では、CDGH が物の長さ
tx 座標では、EF が物の長さ

p321 収縮率 a(V)

収縮率 a は、V の関数なので、a(V) と表現している。

p322 S 系で静止、S 系で観測
S 系で静止した物の長さ2c2Lc2V2が、S 系では a(V) されて 2l として観測されるので、2l=a(V)2c2Lc2(V)2l=a(V)c2Lc2V2これに、a(V)=a(V)を代入して、l=a(V)c2Lc2V2

p322 ct=x

縦軸ct、横軸x のグラフでは、原点をとおる右上45度直線。p323 グラフでは、OA を含む直線。

p323 t 軸、t' 軸

各々、ct 軸、ct 軸の趣旨。 

p323 x と ct の目盛の間隔と x' と ct' の目盛の間隔が同じ。

x:ct=x:ctとの前提に立つとの趣旨。
このとき、ctx=ctxctct=xxct:ct=x:xである。

p323 観測される時間の長さ=同地点に存在するイベントの縦軸上の距離÷光速

S 系で静止している点(S 系で等速運動する点)にかかるイベント E, F について言えば、
  • tx 座標では、EFc が時間の長さ
  • tx 座標では、GHE, Fctc が時間の長さ 

p323 t' 軸上のイベント E,~F

S 系で静止している点(S 系で等速運動する点)を想定している。cT:cT=2l:2c2Lc2V2=2l:2c2a(V)lc2V2=a(V):c2{a(V)}2c2V2=a(V):c21V2c22c2V2=a(V):c2(1V2c2)c2V2=a(V):c2V2c2V2=a(V):1a(V)cT=cTa(V)T=T
  • 1行目右辺は、目盛間隔の比率が同じこと(p323 の2~3行目)による(p322図表の右ボックス[S 系で静止している点(S 系で等速運動する点)]の関係を用いたものではない)。
  • 2行目は、p322図表の左ボックス[S 系で静止している点(S 系で等速運動する点)]の関係 2L=a(V)2l を用いた。
  • 3行目は、a(V)2l を比の両項に乗じた。
  • 4行目は、p322 の a(V)=1V2c2 を代入した。

p323 a(V)T=T'

S 系で静止している点(S 系で等速運動する点)を想定すると、a(V)T=Tが成立している。
例えば、速度 V を光速 c の3分の1とした場合は、a(V)=1(c/3)2c2=119=2230.943となるので、0.943 TTとなる。これは、S 系でT=1 秒が経過したと観察される事象が、S 系では約T=0.943 秒しか経過していないと観察されることを意味している。

p323 いわゆる「時間が遅れて見える論」

a(V)T=T を、
  • 慣性系 S からは、慣性系 S の時間が遅れて見える
等と表現することが日本語として適切か否かは、言葉の表現の問題である。
  • 慣性系 S からは、慣性系 S の時間基準ではより早い時間で事象が生じているように見える
  • 慣性系 S からは、慣性系 S において測定に用いられる単位時間の幅が間延びして大きくなっているように見える
との日本語表現もあり得る。

p323  いわゆる「時間がゆっくり進む論」

a(V)T=T を、
  • 慣性系 S に対して慣性系 S の時間はゆっくり進む
との表現は、S 系からみた片面的表現である。
実際は、S, S 系どちらであっても、観測される側の系の単位時間が、観測する側の系から見ると間延びしているように見える(p326~327参照)。

すなわち、同じ設例であっても、観測する側の系をS とすると、S 系はS 系に対して、速度 V で等速運動しているので、S 系で静止している点(S 系で等速運動する点)を想定すれば(棒IJの例[p321~322]の時間版)、時間に関して、逆の等式、T=a(V)Tが成立している。
これは、S 系で1秒が経過したと観察される事象が、S 系では a(V) 秒(例:0.943秒)しか経過していないと観察されることを意味している。

p323 イベント A の座標変換

S=tx 座標におけるイベントA=(ct, x) を、S=tx 座標で表わす場合、p323 の下図で、
  • x 軸上の BA x軸上のEA=OC 
  • ct 軸上の DA ct軸上のCA=OE
へと変換する。 
  • (0, ct) A OC ではない。 
  • (x, 0) A OE ではない。
変換元線分の長さを変換後座標軸の第1象限に限定する理由は、本書では説明がない。

p323 位置座標の変換

BAOC
観測される物の長さは同時刻に存在するイベントの距離であることを踏まえると(p320)、S 座標におけるイベントの位置を求める場合、S 座標との関係で同時刻 (ct=) の2点からなる線分の長さを考えることになる。よって、S 座標との関係で静止した長さと等速運動しているS 座標における長さとの間の変換則(p322の図表左欄)を用いる。a(V) OC=BAOC=1a(V)BAx=1a(V)(xVt)

p324 時間距離座標の変換

DAOE
観測される側の時間間隔DAは、観測する側の時間間隔OEa(V) 倍に観測される(p323 設例[観測側がS、被観測側がS]の逆パターン)。a(V) OE=DAOE=1a(V)DAct=1a(V)(ctVcx)



§5 ローレンツ収縮の対等性 



p326 S,~S'

  • 6行目のS は、そのままでよい。
  • 8行目の「S での座標」は、正しくは、「Sでの座標」。
  • 9行目の各式は、ローレンツ変換(p324)の第1式に、設例情報を代入したもの。
  • 10行目の各式は、ローレンツ変換の第2式に、設例情報を代入したもの。
  • ローレンツ変換の第3式・第4式は、省略されている。
  • 10行目左式を変形したx1=βγct1 を9行目左式に代入したものが12行目左式。

p326 12行目

γ (1β2)ct1
γ, β の定義より(p325)、γ (1β2)ct1=11V2c2(1Vc2)ct1=1V2c2ct1=1γct1


p326 末尾9行目

直前で求めた2つの式ct1=1γct1ct2=1γct2を引き算すると、c(t1t2)=1γc(t1t2)t1t2=1γ(t1t2)γ=t1t2t1t21<t1t2t1t2t1t2<t1t2

p327 時計の進み具合を比べるために突き合わせることはできない

記録した時刻を、互いに送信して照合することは可能か。

p328 双子のパラドックス

パラドックス(逆説)の対象が、論者により異なっている設例。



§6 一般の速度のローレンツ変換 



p329 一般の速度

 V
慣性系S の慣性系S に対する速度VV=(VxVyVz)

空間中の任意のベクトルx
x=(xyz)

p330 正射影ベクトル

(xe) e
  • 単位ベクトルが、e
  • 正射影の大きさが、|x|cosθ=xe
この積で、大きさを持った方向(ベクトル)が表記できる。

p330 ベクトルの分解

ベクトルx を2方向(速度V方向と)に分解すると、x=(xe)e+x(xe)e=この垂直方向のベクトルは、y, z 軸の双方の要素が含まれている。

p331

|V|e=V
Ve の方向は、軸l 方向で同じであるため(p330)。

p331 8行目

 xβe
x=(x,y,z)であり(p330)、βe=(Vxc,Vyc,Vzc)であるので、ct=γ(ct(xβe))=γ(ct(Vxcx+Vycy+Vzcz))=γ(ctVxcxVycyVzcz)=γ(1,Vxc,Vyc,Vzc)(ctxyz)=(γ, γVxc, γVyc, γVzc)(ctxyz)となり、ct(ctxyz) との間の変換式(p332 の公式4.03の1行目。第0成分 ct を求める式)が導かれる。

p331 末尾4~3行目

式(4.07)の第1成分、すなわち、x=(xyz)x 成分は、x=x+(γ1)(xe)exγβex(ct)=x+(γ1)(xyz)(exeyez)exγβex(ct)=x+(γ1)(xex+yey+zez)exγβex(ct)
この式に、e=(exeyez)=(Vx|V|Vy|V|Vz|V|)及びβ=Vcを代入すると、p331 の末尾3行目の式が得られる。

p331 末尾1行目

x=γVxc(ct)+x+(γ1)(Vx2|V|2x+VxVy|V|2y+VxVz|V|2z)=γVxc(ct)+x+(γ1)Vx2|V|2x+(γ1)VxVy|V|2y+(γ1)VxVz|V|2z=(γVxc, 1+(γ1)Vx2|V|2, (γ1)VxVy|V|2, (γ1)VxVz|V|2)(ctxyz)となり、x(ctxyz) との間の変換式(p332 の公式4.03の2行目。第1成分 x を求める式)が導かれる。

p332 一般のローレンツ変換(座標軸が平行である場合)

(ctxyz)=Λ(ctxyz)