一般相対性理論を一歩一歩数式で理解する(第4章 特殊相対性理論)§1~6
石井俊全「一般相対性理論を一歩一歩数式で理解する」ベレ出版 の読後行間補充メモ
(→ 正誤表)
(→ 事項索引)
(→ 第1章 数学の準備)
(→ 第2章 物理の準備)
Table of Contents[hide]
- §1 方程式の共変性
- p297 速度、加速度は(1,0)テンソル場。電場・磁場は(2,0)テンソル場
- p299 10行目
- p300 電場・磁場は、(2,0)テンソル
- p305 ニュートンの運動方程式は、ガリレイ変換に関して共変性あり
- p306 ニュートンの重力場方程式は、ガリレイ変換に関して共変性あり
- p306 4~5行目
- p306 マックスウェルの波動方程式は、ガリレイ変換に関して共変ではない
- p307 ダランベルシアン
- p308 異なる慣性形であっても、電磁波である光の速度は一定 c
- p308 現実の世界
- p309 ローレンツ変換
- p309 ct
- p309 V が c に対して十分小さい場合(ガリレイ変換近似)
- p310 問題4.01
- p310 ダランベルシアンは x 軸方向のローレンツ変換で共変
- p311 ニュートンの運動方程式(拡張版)はローレンツ変換で共変
- p311 重力場方程式は、ローレンツ変換では共変性がない
- p311 各種座標変換と共変性
- p314 1行目 S で見た棒の長さ
- p316 l_4 の式
- p317 1行目 x 座標の値と x' 座標の値は一致すると限らない
- p317 慣性系 S で観察される点 A への光の到達
- p318 慣性系 S で観察される点 B への光の到達
- p320 観測される物の長さ=同時刻に存在するイベントの距離
- p321 収縮率 a(V)
- p322 ct=x
- p323 t 軸、t' 軸
- p323 x と ct の目盛の間隔と x' と ct' の目盛の間隔が同じ。
- p323 観測される時間の長さ=同地点に存在するイベントの縦軸上の距離÷光速
- p323 t' 軸上のイベント E,~F
- p323 a(V)T=T'
- p323 いわゆる「時間が遅れて見える論」
- p323 いわゆる「時間がゆっくり進む論」
- p323 イベント A の座標変換
- p323 位置座標の変換
- p324 時間距離座標の変換
- p326 S,~S'
- p326 12行目
- p326 末尾9行目
- p327 時計の進み具合を比べるために突き合わせることはできない
- p328 双子のパラドックス
- p329 一般の速度
- p330 正射影ベクトル
- p330 ベクトルの分解
- p331
- p331 8行目
- p331 末尾4~3行目
- p331 末尾1行目
- p332 一般のローレンツ変換(座標軸が平行である場合)
- §2 特殊相対論の課題
- §3 ローレンツ変換とダランベルシアン
- §4 ローレンツ変換の導出
- §5 ローレンツ収縮の対等性
- §6 一般の速度のローレンツ変換
§1 方程式の共変性
p297 速度、加速度は(1,0)テンソル場。電場・磁場は(2,0)テンソル場
p298
中央図は、 を で分解したもの。
右図は、 を で分解したもの。 が と逆方向なので、マイナスがついている。
p299 10行目
「観測者によらず同じ物理法則に観測されるためには、成分が(1,0)テンソルの変換則を満たすことがポイント」…p305~307の検討結果より。
p300 電場・磁場は、(2,0)テンソル
電磁場のマックスウェル方程式は、2 階の反変テンソルの形になることにつき、電磁場のテンソル表現(EMANの物理学)。
§2 特殊相対論の課題
p305 ニュートンの運動方程式は、ガリレイ変換に関して共変性あり
p305 式4.02
加速度 は、速度 の時間微分なので、
p305 座標は、 軸と座標が平行
設例上の定義(p303)。
p306 ニュートンの重力場方程式は、ガリレイ変換に関して共変性あり
本書p127 の
p306 4~5行目
p306 マックスウェルの波動方程式は、ガリレイ変換に関して共変ではない
末尾4~3行目第1項は、 第2項は、 等としている。
末尾2行目は、 等としている。
p307 ダランベルシアン
ダランベルシアンの記号:
1行目は、ダランベルシアンの定義(p203)より。
§3 ローレンツ変換とダランベルシアン
p308 異なる慣性形であっても、電磁波である光の速度は一定 c
マックスウェルの電磁方程式で、 を求めるには、ダランベルシアン を含む式で、 を求める必要がある(p205)。このため、異なる慣性系でマックスウェルの電磁方程式が同じ形となるには、異なる慣性系でダランベルシアン が同じ形となる必要がある。ダランベルシアン は、 であり、これが異なる慣性系でも同じ形、 であるとき、同式の中の光速 が同じものであること(すなわち、 が一定)を意味する( が、 へと変わるのでは同じ形と言えない)。
p308 現実の世界
- 現実の世界(非慣性系)では、光の速度
は、一定ではない。 - 相対性理論で扱う光の速度は、真空中の光の速度を前提としている。媒質(ガラス、電線)中の光(電磁波)の伝播速度は、媒質内の原子によって散乱された2次波の干渉により、減少し、光の屈折率として観察される(大津元一「イラストレイテッド 光の科学」朝倉書店p34, 42~43, 54)。
p309 ローレンツ変換
このうち第3式・第4式の単位は、距離[ ]。
また、 は光速であり、 は時間であるから、 の単位は、 であり、 はいずれも定数なので、結局、第1式・第2式の単位も、距離[ ]である。
p309 ct
時間 の単位を秒 ではなく年 とすると、 は、光年(1年間で光が進む距離)となる。
p309 V が c に対して十分小さい場合(ガリレイ変換近似)
すなわち、ガリレイ変換は、ローレンツ変換の特殊な場合( )と位置づけられる。
p310 問題4.01
より、 を微小変化させると、 が変化することが分かる。
よって、 による微分は、定理1.07(p29)のように、 と による偏微分の和として表すことができる。 これに、上記2式を代入すると、 となる。
同様に、 を微小変化させると、 が変化するので、 となる。
よって、これらを2乗した
p310 ダランベルシアンは x 軸方向のローレンツ変換で共変
これは、ダランベルシアン を演算要素として含むマックスウェルの電磁場の波動方程式が、ローレンツ変換で共変であることを示している。
p311 ニュートンの運動方程式(拡張版)はローレンツ変換で共変
4元力、4元加速度(p370)を用いた表現形式 へと変更する必要あり。
p311 重力場方程式は、ローレンツ変換では共変性がない
ラプラシアン (p61) に別要素 を加えたダランベルシアン には、ローレンツ変換に対する共変性がある(問題4.01)。
よって、これら別要素を両辺から控除してしまったラプラシアン 単独では、ローレンツ変換に対する共変性があるとは限らない。 これは、ラプラシアン を演算要素として含む重力場方程式が、ローレンツ変換で共変とはならないことを示している。
p311 各種座標変換と共変性
一般相対性理論では、重力場方程式も共変となる。
§4 ローレンツ変換の導出
p314 1行目 S で見た棒の長さ
p316 l_4 の式
p317 1行目 x 座標の値と x' 座標の値は一致すると限らない
座標の目盛りの大きさは一致している前提(p306, p323)。
p317 慣性系 S で観察される点 A への光の到達
時間 で、棒左端の点 は右側に 進み、点 からの光は左側に 進む。両者が同じ地点に達したときが、点 への光の到達時なので、 として、時刻 が求められる。
よって、点 の 座標は、 に、 を代入して、 となる。
p318 慣性系 S で観察される点 B への光の到達
時間 で、棒右端の点 は右側に 進み、点 からの光は右側に 進む。両者が同じ地点に達したときが、点 への光の到達時なので、 として、時刻 が求められる。
p320 観測される物の長さ=同時刻に存在するイベントの距離
p321 収縮率 a(V)
収縮率 は、 の関数なので、 と表現している。
p322 系で静止、 系で観測
p322 ct=x
縦軸 、横軸 のグラフでは、原点をとおる右上45度直線。p323 グラフでは、 を含む直線。
p323 t 軸、t' 軸
各々、 軸、 軸の趣旨。
p323 x と ct の目盛の間隔と x' と ct' の目盛の間隔が同じ。
このとき、 である。
p323 観測される時間の長さ=同地点に存在するイベントの縦軸上の距離÷光速
座標では、 が時間の長さ 座標では、 が時間の長さ
p323 t' 軸上のイベント E,~F
- 1行目右辺は、目盛間隔の比率が同じこと(p323 の2~3行目)による(p322図表の右ボックス[
系で静止している点( 系で等速運動する点)]の関係を用いたものではない)。 - 2行目は、p322図表の左ボックス[
系で静止している点( 系で等速運動する点)]の関係 を用いた。 - 3行目は、
を比の両項に乗じた。 - 4行目は、p322 の
を代入した。
p323 a(V)T=T'
例えば、速度 を光速 の3分の1とした場合は、 となるので、 となる。これは、 系で 秒が経過したと観察される事象が、 系では約 秒しか経過していないと観察されることを意味している。
p323 いわゆる「時間が遅れて見える論」
- 慣性系
からは、慣性系 の時間が遅れて見える
等と表現することが日本語として適切か否かは、言葉の表現の問題である。
- 慣性系
からは、慣性系 の時間基準ではより早い時間で事象が生じているように見える - 慣性系
からは、慣性系 において測定に用いられる単位時間の幅が間延びして大きくなっているように見える
との日本語表現もあり得る。
p323 いわゆる「時間がゆっくり進む論」
- 慣性系
に対して慣性系 の時間はゆっくり進む
との表現は、 系からみた片面的表現である。
実際は、 系どちらであっても、観測される側の系の単位時間が、観測する側の系から見ると間延びしているように見える(p326~327参照)。
すなわち、同じ設例であっても、観測する側の系を とすると、 系は 系に対して、速度 で等速運動しているので、 系で静止している点( 系で等速運動する点)を想定すれば(棒 の例[p321~322]の時間版)、時間に関して、逆の等式、 が成立している。
これは、 系で1秒が経過したと観察される事象が、 系では 秒(例:0.943秒)しか経過していないと観察されることを意味している。
p323 イベント A の座標変換
軸上の 軸上の 軸上の 軸上の
へと変換する。
ではない。 ではない。
変換元線分の長さを変換後座標軸の第1象限に限定する理由は、本書では説明がない。
p323 位置座標の変換
観測される物の長さは同時刻に存在するイベントの距離であることを踏まえると(p320)、 座標におけるイベントの位置を求める場合、 座標との関係で同時刻 ( ) の2点からなる線分の長さを考えることになる。よって、 座標との関係で静止した長さと等速運動している 座標における長さとの間の変換則(p322の図表左欄)を用いる。
p324 時間距離座標の変換
観測される側の時間間隔 は、観測する側の時間間隔 の 倍に観測される(p323 設例[観測側が 、被観測側が ]の逆パターン)。
§5 ローレンツ収縮の対等性
p326 S,~S'
- 6行目の
は、そのままでよい。 - 8行目の「
での座標」は、正しくは、「 での座標」。 - 9行目の各式は、ローレンツ変換(p324)の第1式に、設例情報を代入したもの。
- 10行目の各式は、ローレンツ変換の第2式に、設例情報を代入したもの。
- ローレンツ変換の第3式・第4式は、省略されている。
- 10行目左式を変形した
を9行目左式に代入したものが12行目左式。
p326 12行目
p326 末尾9行目
直前で求めた2つの式 を引き算すると、
p327 時計の進み具合を比べるために突き合わせることはできない
p328 双子のパラドックス
パラドックス(逆説)の対象が、論者により異なっている設例。
§6 一般の速度のローレンツ変換
p329 一般の速度
慣性系 の慣性系 に対する速度
空間中の任意のベクトル
p330 正射影ベクトル
- 単位ベクトルが、
- 正射影の大きさが、
この積で、大きさを持った方向(ベクトル)が表記できる。
p330 ベクトルの分解
ベクトル を2方向(速度 方向と )に分解すると、 この垂直方向のベクトルは、 軸の双方の要素が含まれている。
p331
p331 8行目
p331 末尾4~3行目
式(4.07)の第1成分、すなわち、 の 成分は、
この式に、 及び を代入すると、p331 の末尾3行目の式が得られる。