一般相対性理論を一歩一歩数式で理解する(第3章 テンソルと直線座標のテンソル場)§ 7~12
石井俊全「一般相対性理論を一歩一歩数式で理解する」ベレ出版 の読後行間補充メモ
(→ 正誤表)
(→ 事項索引)
(→ 第1章 数学の準備)
(→ 第2章 物理の準備)
§7 物理流のテンソルの定義
p252 テンソル(物理流)
基底を明示しないが、座標系 には何らかの基底が存在しており、ベクトル について、成分 による表現が可能である。
同様に、座標系 にも何らかの基底が存在しており、同じベクトル について、成分 による表現が可能である。
両者間の関係を、縮約記法で、 と表している。
これは、展開すると、 との内容を現している。
p253
について、行列 と行列 とが逆行列であることを示している(p121)。
p253 下付き添え字の場合
基底は明示されていないが、相対基底は存在しており、相対基底の成分 による表現が可能である。
この相対基底の別座標系表示(ダッシュ付き)を考えると、元の座標系と別座標系間の成分の関係は、縮約記法で、 となる。
通常の基底の場合 とあわせて表現すると、 と表される。
p253 数の組
例えば、2次元配列として、 を考えると、 は、縮約表記であり、行列形式で表現すると、 を示しており、例えば、1行2列目の要素についてみると、 を示している。
p255 末尾9行目
§8 テンソルの添え字の上げ下げ
p258 6行目
題意の は、その基底 のうち、 となる基底( )の係数が1で、その他の基底( )の係数は0であるため、その成分 は、 と表すことができる。
p259 問題3.36 赤色の
題意は、両基底のテンソル積を求め、そのうえで、赤色の について縮約を採れ、との趣旨である。
p259 赤字注 「最後の を一番前に置くと」
成分添え字に対応する基底であることが基底添え字の表記から分かれば、基底の表記順序は固定されず、どこに置いても良いという表記ルール(p214)に従った。
p261 元 の縮合
先ず、元 のテンソル積を求めると(ベクトルの上矢印を省略)、 この縮約(各項の最初の の添え字と末尾2つめの の添え字について)を採ると、(1) 部分(最初の の添え字と末尾2つめの の添え字が一致しない項)は消え、(2)残った項の最初の と末尾2つめの も消えるので、 となる。
ここで、問題文の指示に従い、元 にあった基底 で縮合後もなお残っているもの(=各項右端の )を、元 に初めあった の箇所(=各項左端)に置きなおすと(基底順序を拘束しない表記ルール=p214 のため場所変更可)、 が得られる。
p261 単位テンソル
この と との縮合は、 に等しい。
この単位テンソル と との縮合は、 に等しい。
p262
( )成分が である行列 と( )成分が である行列 の積は、 と縮約表記できる( は止まった添え字[分割]、 は走る添え字[和])。
上記2つの行列が互いに逆行列であるとき、その積は、 と縮約表記できる( は止まった添え字[分割]であり、任意の添え字に変更できる)。
従って、 が成立する。
p262
p262 対象テンソル
例えば、
の場合、 の右添え字 列(例:3列目= )との縮合をとることは、左添え字 行(例:3行目= )との縮合をとることと同じ結果となる。
p263 転置行列
例えば、 の転置行列は、 この場合の行列と転置行列とは等しくない。
例えば、
の転置行列
は、元の行列と等しい(対称行列)。
p263 逆行列
例えば、対称行列 の逆行列は、 である。
この 行 列目の要素は、 行 列目の要素に等しい(対称行列)。
p263 3行目
公式(積の転置は、順番を交換した転置の積) を用いた。
(参考:転置行列の基本的な4つの性質と証明[高校数学の美しい物語])
p263 の次元が 次元
の次元は 次元 の基底は 個 の元 の成分 は 次元配列
p263 縮合と情報量保存
縮合は、テンソル積を特定の添え字で縮約する演算なので、当然に情報量が保存されているわけではない。 と が逆行列であるため、結果的に、 に戻るに過ぎない。
p264 テンソル の表し方
図表のどれを用いてもかまわない( で変換できるため)
p265 7~8行目
p265 9行目
§9 テンソル場のことはじめ
p267 位置 での 応力テンソル
3行3列の行列たる応力テンソル (p137)は、以下のとおり。
テンソル場は、テンソルの成分が座標 の関数となっている。
p267 は、(1, 1) テンソルと (1, 0) テンソルの縮合
応力テンソル は、行と列の2つの次元を有する。これを の2つの基底に対応させると、(1, 1) テンソルとみなせる。
p271
p271
小問(1)ダッシュ付き成分表示への変換則は、行列で与えられているので、 これに、 を代入して、
p272 スカラー場は、(0, 0)テンソル場
線形空間 での座標変換後も、スカラー場は同一点であれば同じ値となる。テンソル場 は、基底のない成分のみの多次元配列であり、これをスカラーとみなす(p225参照)。テンソル場 の元 の成分の書換則は、
これは、定義3.38によれば、 が0個( )、 が0個( )の、(0, 0)テンソル場と言える。
p273
括弧の外の2は、2乗の趣旨か。
p274 ベクトル場は、(1, 0)テンソル場
線形空間 での座標変換により、テンソル場 の元 の成分の書換則は、
これは、定義3.38によれば、 が0個( )、 が1個( )の、(1, 0)テンソル場と言える。
p274 表現行列
図左下から左上への基底変換 の取替行列を とすると、
- 図左下から左上への成分変換
の取替行列は - 図左上から左下への成分変換
の取替行列は - 図右下から右上への成分変換
の取替行列は
である。
図左上から出発して、右上へ遷移する成分変換ルートは2つあり、
ルート … 図左上→右上 ルート … 図左上→左下→右下→右上
の2つである。
両者について、 が成立している。
同取替行列はいずれも左側方向から成分 に掛ける。右辺の場合、 の順に掛ける。
p275 各点を1次変換する行列 は、(1, 1)テンソル場
座標の1次変換の表現行列 とダッシュ付き座標での1次変換の行列 との書換則は、
これは、定義3.38によれば、 が1個( )、 が1個( )の、(1, 1)テンソル場と言える。
§10 スカラー場の微分
p276 2次元以上になると近づき方は無数
例えば、2次元(面)の場合、面上のある点に近づく方法は、当該点をとおる曲線や直線ごとに2つあり、そのような曲線等は無数に想定できる。
p276 スカラー場
例えば、 のスカラー場の場合、立体グラフは、 を赤色軸、 を緑色軸、 を青色軸として、以下のように描画できる。
各座標にスカラー値が貼りついているイメージでは、以下のようになる。
曲線 上の各点にある値がスカラー場の値である。
パラメータ により、曲線 上の座標 ( ) が定められ、同座標にあるスカラー値 が一意に定まる。
p277 曲線 に沿ったスカラー場 の微分係数
パラメータ を微小変化させたときのスカラー量 の変化量のこと。
2行目で、 が ( ) の2変数関数であることを明示。 につき を へ置き換え 。
3行目で、 が パラメータ の関数であることを明示。
p277 曲線 と曲線
曲線 のパラメータ における点 の座標は、 である。
また、曲線 のパラメータ における点 の座標は、 である。
両曲線がともに点 を通る場合、 点 の座標は一致するので、 が成立する。
また、点 における曲線 の接線ベクトルは、点 での微分係数として、 となる(ベクトル場 の傾きではなく、曲線 の傾き)。
また、曲線 の接線ベクトルは、点 での微分係数として、 である。
これら接線ベクトルが一致するので、 が成立する。
p278 スカラー場 の点 での 方向の方向微分
スカラー場 の での微分(位置 微小変化に伴うスカラー場 の変化量)は、 である。
他方で、曲線上の点 での接線ベクトルを、以下のように置くと(パラメータ 微小変化に伴う位置の変化量)、 スカラー場 の点 での 方向の方向微分は、以下のように、両者の内積として表現される。
p279 方向ベクトルの付与範囲(曲線上 平面全体)
点 での方向ベクトル を、ベクトル場 を用いて平面全体で与える。
2行目・3行目の は、 軸方向の大きさを示す。
3行目は、 が位置の関数 ( の2変数関数)であることを示す。
p280 スカラー場 のベクトル場 に沿った微分係数
ベクトル場 を用いることで、以下のように、ベクトル場 上の微小変化に伴うスカラー場 の変化量が得られる。
p281 の偏微分の変換則
ダッシュ付き成分から通常成分への変換 の取替行列は なので(p274)、 この1行目の要素を比較すると、 であり、この両辺を で偏微分すると、右辺の の項は、定数扱いとなるので、 他の場合も同様に計算して、以下の4式が得られる。 これらの式を用いて、 の偏微分を考える。
スカラー場 は、座標(通常、ダッシュ付き)の採り方によらず、平面上のある点に対しては同じスカラー値を示すので(p272)、 である。
そうすると、2変数の連鎖律(p29)を用いて、 と変形できる。
同様に、 も成立する。
両式をひとつの行列としてまとめると、 これを縮約表記を用いて簡略化すると、 の添え字について、反変を上付き・共変を下付きのルールで表示すると、 となる。
これは、定義3.38(p270)によれば、 が1個、 が0個の、(0, 1)テンソル場と言える。
p282 スカラー場 の に沿った微分( 座標と 座標)
座標を設定する以前から、スカラー場 は実体として存在している。
よって、座標をどのように採っても、曲線 に沿った の変化度合いは、同じ。
問題3.41の式変形では、 を前提に、2変数関数の連鎖律(p29)を用いている。
また、 での微分を と表記している(p280末尾3行目の表記ルール)。
p282 末尾4~3行目
p283 1行目
座標の変換則(p280の式3.07)を縮約記法で表わしたもの、
p283 4行目
は、 の走る添え字 を、 の止まった添え字 に入れ替えた(p121)。
p283 ベクトル場
ベクトル場では、位置 によって、ベクトルの矢印の向きと強度が異なる。
イメージ図は、p273 の赤色矢印群。そのうちの1つの矢印を取り出し(以下の図の緑色矢印)、 方向と 方向とに分解したときの係数(スカラー値)が、 や 。
すなわち、係数 や は、 の2変数関数。
緑色矢印は、座標を設定する以前から、実体として存在している。
よって、基底 をどのように定めても(ダッシュ付き基底に変更しても)、同じベクトルを指していることになる。 係数 や が、 の2変数関数であることを明記すると、 のような表記になる(p283 末尾から6行目の式)。
p284 は、(0,0)テンソル場
スカラー場 の微分の変換則(p281) とベクトル場 の変換則 の縮合(テンソル積 で縮約)をとると、 となる。
これは、定義3.38(p270)によれば、 が0個、 が0個の(0, 0)テンソル場である(p231の 増減法則にも合致)。
すなわち、スカラー場 のベクトル場 に沿った微分は、スカラー場になることが計算式上も示された。
§11 テンソル場の変換則
p285 問題3.42
無印4つが 、ダッシュ付き4つが と、p286 で定義されている。
p286 行列のトレース
正方行列 について、 そのトレース は、
p286
トレース内において、行列 と 行列 とを交換している。
p286 成分計算
p287 スカラー場 の2階偏微分の変換則
2行目の
の部分は、p281 の中程の計算を用いている。
2行目から3行目の部分は、2変数の連鎖律(p29)を用いて、式変形をしている。
赤字注の 等は、p281 の中程の計算を用いている。
その結果、 の下付き添え字が、 の形の項からなる計算式に整理されたので、縮約記法を用い( は走る添え字[和])、
他の場合も、同様に計算すると、
となる。
これら4式を、縮約記法で表現すると( は止まった添え字[分割])、 となり、 の2階微分どおしの変換則が得られた。
p288 ベクトル場の曲線に沿った微分
p288 曲線 に沿った微分
1行目は、二変数の連鎖律(定理1.07)を用いた。
2行目は、 を用いた。
3行目は、p280 の表記法を用いた。
p289 ベクトル場に沿った微分
各点での方向が与えられれば、ベクトル場 の方向微分が計算できるところ、各点 での方向ベクトルをベクトル場 と与えれば、ベクトル場 の 成分について、 方向の微分係数は、p279~280 と同様に、以下のように表現できる。 同様に、ベクトル場 の 成分についても、 と表現できる。
この2つをまとめると、ベクトル場 に沿ったベクトル場 の微分は、 と表される。
p289~290 ベクトル場 の微分(ただの微分)の変換則
- 物理的な意味は?
- 「
はベクトル場」… 方向に向きが限定されたベクトル? は、p281参照。
p290 ベクトル場 をベクトル場 に沿って微分した式
止まった添え字 で分割し、走る添え字 で和をとると、 となるので、確かに、p289 のベクトル場 に沿った微分の式を表している。
p290 問題3.44
前提 は、p283 の結果(縮約記法で赤色注)を用いている。
p290 縮合
- ベクトル場
…変換則の が1個(p283赤字注) (1,0)テンソル場 - ベクトル場
の微分…変換則の と が各1個(p290の4行目) (1,1)テンソル場 - ベクトル場
のベクトル場 に沿った微分…変換則の が1個(p290) (1,0)テンソル場
§12 テンソル場の変換則 まとめ
p291 (’有り)と(’無し)との間の変換則
変換則の右辺にある の個数により、定義3.28(p252)により、どの テンソル場かが定まる。
(ア)…p272
(イ)…p283 赤注記
(ウ)…p281 式3.08
(エ)…p286~288
(オ)…p290
(カ)…p285 式3.09
(キ)…p299 問題3.44
p292 テンソル演算と階数
テンソル場のテンソル積、縮約、縮合に伴う の変化は、p231 のとおり。
p292 微分すると共変次数 が1増える
p292
(ア)と(ウ)と(カ)の特殊形態( )を比較。
(カ)で( )とすると、p284 の計算と同様に、 となる。
これは、定義3.38(p270)によれば、 が0個、 が0個の(0, 0)テンソル場である。
p293
(イ)と(オ)と(キ)を比較。
p293 定理3.45
p293 (1,0)テンソル場の発散 は、スカラー場
これは、発散 の定義であるから(p41)、 である。
左辺 は、変換則(オ)(p291)で、 とした場合に得られる式を用いて、以下のように、 も も含まない変換則を導けるから、(0,0)テンソル場、すなわちスカラー場である。 よって、(1,0)テンソル場 の発散 は、スカラー場である。
p294 (0,1)テンソル場
共変ベクトル場 の成分 を想定。
p294 が(1,0)テンソル場のとき、 は(1,1)テンソル場
p294 は、(1,0)テンソル場の変換則を持つ。
要確認。
p294 が座標に拠らないことの証明
p295 ラプラシアン
中央辺の の は、代数であり、1から まで入力された各項を合計するとの趣旨。
右辺の の は、縮約記法の走る添え字であり、 の各項を合計するとの趣旨。
p295 正規直交基底なので、 は直交行列になり、
未証明(p248 でも未証明)。むしろ、p249 では、本書では直交基底でない場合の変換則を考えるとしていた。