#hr
CENTER:←[[第11回>相対論2007年度第11回]] [[目次に戻る>相対論2007年度]]
#hr
#contents
&color(Red){今日はまず前回の復習をして、次に反変ベクトルのローレンツ変換則を説明した。};
**7.4 ４元ベクトル（続き） [#uf2d66e2]
このように４元ベクトルどうしの「内積」を取る時には&mimetex(\eta_{\mu\nu}W^\nu);という組み合わせがよく出てくるので、
#mimetex( W_\mu = \eta_{\mu\nu}W^\nu)
という量を定義する。上付きの添字を持つベクトルを「反変ベクトル」、下付きの添字を持つベクトルを「共変ベクトル」という。&mimetex(\eta_{\mu\nu});の内容を考えれば、&mimetex(W_0=-W^0, W_1 = W^1, W_2=W^2,W_3=W^3);ということである。つまり、&mimetex(W^\mu);と&mimetex(W_\mu);の違いは第０成分（時間成分）の符号だけである。このようにミンコフスキー空間の直線座標系では反変ベクトルと共変ベクトルの差は時間成分の符号だけで、大きな差はないが、曲線座標系などではそうではなくなるし、特に一般相対論では大きな差になる。この講義ではそこには触れない。
&mimetex(\eta_{\mu\nu});の逆行列を&mimetex(\eta^{\mu\nu});と書くことにする。つまり、
&mimetex( \eta_{\mu\nu}\eta^{\nu\rho}=\delta_\mu^{\nu}); (&mimetex(\delta_\mu^\nu); はμ=νの時1でそれ以外0という記号)
ということである（注：&mimetex(\eta_{\mu\nu});と&mimetex(\eta^{\mu\nu});の中身は同じ）。この時、
#mimetex( W^\mu = \eta^{\mu\nu}W_\nu)
も成立する。つまり添字はηを使って上げたり下げたりできる。そういう意味でも、共変ベクトルと反変ベクトルは中身は同じであって、表現が違うだけである。
共変ベクトルのローレンツ変換は、
&math(W'_\mu = \eta_{\mu\nu} (W')^{\nu}=);&math(\eta_{\mu\nu}\alpha^{\nu}_{~\rho}W^\rho =\eta_{\mu\nu}\alpha^{\nu}_{~\rho}\eta^{\rho\lambda} W_\lambda);
&mimetex(W'_\mu = \eta_{\mu\nu} (W')^{\nu}=);&mimetex(\eta_{\mu\nu}\alpha^{\nu}_{~\rho}W^\rho =\eta_{\mu\nu}\alpha^{\nu}_{~\rho}\eta^{\rho\lambda} W_\lambda);
となるので、その変換行列は&math(\eta_{\mu\nu} \alpha^{\nu}_{~\rho}\eta^{\rho\lambda});である。よくみるとこれは&math(\alpha^\nu_{~\rho});の添字をηを使って上げたりさげたりしていることになるので、
#math( \eta_{\mu\nu} \alpha^{\nu}_{~\rho}\eta^{\rho\lambda} = \alpha_\mu^{~\lambda})
となるので、その変換行列は&mimetex(\eta_{\mu\nu} \alpha^{\nu}_{~\rho}\eta^{\rho\lambda});である。よくみるとこれは&mimetex(\alpha^\nu_{~\rho});の添字をηを使って上げたりさげたりしていることになるので、
#mimetex( \eta_{\mu\nu} \alpha^{\nu}_{~\rho}\eta^{\rho\lambda} = \alpha_\mu^{~\lambda})
と書く。この記号を使えば、共変ベクトルのローレンツ変換は&math(B'_\mu = \alpha_\mu^{~\nu}B_\nu); となる。
共変ベクトルも反変ベクトルも、「αの後ろの添字とベクトルの添字をそろえて和を取る。この添字は一方が上付きならもう一方は下付きである」と考えれば変換ルールを覚えやすい。
また、
&math(\eta_{\mu\nu}\alpha^\mu_{~\rho}\alpha^\nu_{~\lambda}=\eta_{\rho\lambda});から、
#math( \alpha^\mu_{~\rho}\alpha_\mu^{~\lambda}= \delta_\rho^\lambda)
RIGHT:(ααδの式)&aname(alphaalphadelta);
ということもわかる。
座標と同じ変換をする方が''「反」''変で、少し違う変換をする方が''「共」''変なのは気持が悪いが、数学では微分演算子の方が基本的な量なので、こういう命名になっている。つまり微分演算子&mimetex({\partial \over \partial x^\mu});は共変ベクトルなのである。以下でそれを示そう。
まず、微分のchain ruleを使って計算すると、
#mimetex( {\partial\over \partial x^{\prime\mu}}={\partial x^\nu\over \partial x^{\prime\mu}}{\partial\over \partial x^\nu})
のように微分演算子が変換することがわかる。
&color(Red){この辺の微分がちょっとたいへんだった模様。くどく説明したら時間が足りなくなった。。。};
一方、ここで現れた&mimetex({\partial x^\nu\over \partial x^{\prime\mu}});という行列は、
&math( {\partial x^{\prime\mu}\over \partial x^\nu}=);
&math( {\partial \left(\alpha^\mu_{~\rho}x^\rho\right)\over \partial x^\nu}=\alpha^\mu_{~\nu});
という行列の逆行列である。つまり、
&mimetex( {\partial x^\nu\over \partial x^{\prime\mu}} {\partial x^{\prime\mu}\over \partial x^\rho}=\delta^\nu_{~\rho}); あるいは &math( {\partial x^\nu\over \partial x^{\prime\mu}}\alpha^\mu_{~\rho}=\delta^\nu_{~\rho});
である。これと([[ααδの式>#alphaalphadelta]])を見比べると、&mimetex({\partial x^\nu\over \partial x^{\prime\mu}}=\alpha_\mu^{~\nu});ということであるから、
#math( {\partial\over \partial x^{\prime\mu}}=\alpha_\mu^{~\nu}{\partial\over \partial x^\nu})
が成立するのである。これは微分演算子が共変ベクトルであるということを示している。
反変ベクトル&mimetex(A^\mu);と共変ベクトル&mimetex(B_\mu);の内積のローレンツ変換は
#mimetex( (A')^\mu(B')_\mu = A^\nu \underbrace{\alpha^\mu_{~\nu} \alpha_\mu^{~\rho}}_{=\delta_{\nu}^\rho}B_\rho =A^\mu B_\mu)
である。つまり、反変（上付き）添字と共変（下付き）添字が足し上げられていると、ローレンツ変換した結果、それぞれのローレンツ変換が消し合って、まるで最初から添字がついていないかのごとく変換を受けない。つまり添字の意味がなくなっている。それゆえこのように添字が足し合わされている状況を「つぶれている」と称するのである。
なお、&mimetex(C_{\mu\nu},A^{\rho\lambda\tau},D^\tau_{~\sigma\mu\nu});のように添字を複数個もち、上付き（反変）添字が&math(\alpha^\mu_{~\nu});で、下付き添字が&mimetex(\alpha_\mu^{~\nu});で変換されるような量を「テンソル」と言う。反変ベクトルは上付き添字が一つのテンソル、共変ベクトルは下付き添字が一つのテンソルである。
複数個の添字のあるテンソルは、その添字の一個一個にαがかかっていくように変換される。
例えば
&math( (D')^{\tau}_{\sigma\mu\nu}=);&math(\alpha^\tau_{~\tau'}\alpha_\sigma^{~\sigma'}\alpha_\mu^{~\mu'}\alpha_\nu^{~\nu'}D^{\tau'}_{\sigma'\mu'\nu'});
のように変換される。&mimetex(\eta_{\mu\nu},\eta^{\mu\nu});あるいは&mimetex(\delta^\mu_{~\nu});は添字が二つあるテンソルの例でもある。&mimetex(\eta_{\mu\nu},\eta^{\mu\nu},\delta^\mu_{~\nu});は座標変換で変化しないので、不変テンソルと呼ぶ((この他に不変テンソルとしては、完全反対称テンソル&mimetex(\epsilon^{\mu\nu\rho\lambda);がある。))。
&math(\delta^\mu_{~\nu});がローレンツ変換で不変であることを証明しよう。&math(x^\mu\to \alpha^\mu_{~\nu}x^\nu);と座標変換された時、&math(\delta^\mu_{~\nu});は
#math( \alpha^\mu_{~\rho}\alpha_\nu^{~\lambda}\delta^\rho_{~\lambda}= \alpha^\mu_{~\rho}\alpha_\nu^{~\rho})
(δααの式)&aname(deltaalphaalpha);
と座標変換される。この式を([[ααδの式>#alphaalphadelta]])の左辺と見比べるとよく似ている。違いは([[ααδの式>#alphaalphadelta]])では前の添字がダミーになっていて、([[δααの式>#deltaalphaalpha]])では後ろの添字がダミーになっていることである。ここで、行列''A''（その成分は&math(A_\rho^{~\mu}=\alpha^\mu_{~\rho});）と行列''B''（その成分は&math(B_\mu^{~\lambda}=\alpha_{\mu}^{~\lambda});）を考えると、([[ααδの式>#alphaalphadelta]])の左辺すなわち&math( \alpha^\mu_{~\rho}\alpha_\mu^{~\lambda});は行列の積''AB''の&mimetex((\rho,\lambda));成分と見ることができる。一方、([[δααの式>#deltaalphaalpha]])すなわち&math( \alpha^\mu_{~\rho}\alpha_\nu^{~\rho});は行列''BA''の&mimetex((\mu,\nu));成分とみることができる。''AB''=''I''(単位行列)であるから、''BA''=''I''となり、
#math( \alpha^\mu_{~\rho}\alpha_\nu^{~\lambda}\delta^\rho_{~\lambda}=\delta^\mu_{~\nu})
が証明される。
なお、このことからも、&mimetex({\partial\over \partial x^\mu});は共変ベクトルでなくてはならないことがわかる。なぜなら、
&mimetex({\partial \over \partial x^\mu} x^\nu=\delta_\mu^\nu);という式が成立している。
&mimetex(x^\nu);が反変ベクトルなのだから、それとかけて&math(\delta_\mu^{~\nu});というテンソルになる&mimetex({\partial\over \partial x^\mu});は共変ベクトルである。
**7.5 章末演習問題 [#n2bae9ab]
''[演習問題7-1]''
&math(\alpha^\mu_{~\nu}=);&mimetex(\left(\begin{array}{cccc} \gamma&-\beta\gamma &0 &0 \\ -\beta\gamma&\gamma &0 &0 \\ 0&0 &1 &0 \\ 0&0 &0 &1 \\ \end{array}\right));
の時、
+&math(\alpha_\mu^{~\nu});を求めよ。
+&math( \alpha^\mu_{~\rho}\alpha_\mu^{~\lambda}= \delta_\rho^\lambda);を確認せよ。
+これによって微分演算子&mimetex(\partial_\mu=\left({\partial \over \partial (ct)},{\partial\over \partial x},{\partial \over \partial y},{\partial \over \partial z}\right));はどのように変換されるか。
+ 変換の後も&mimetex({\partial_\mu}x^\nu=\delta^\nu_{~\mu});が成立していることを確認せよ。
''[演習問題7-2]''
&math(\alpha^\mu_{~\nu}=);&mimetex(\left(\begin{array}{cccc} 1&0 &0 &0 \\ 0&\cos\theta &\sin\theta &0 \\ 0&-\sin\theta &\cos\theta &0 \\ 0&0 &0 &1 \end{array}\right));の時、前問同様の計算を行え。
*第８章 相対論的力学 [#s88e958a]
**8.1 不変性と共変性 [#lbd6c07e]
すでに述べたように、物理においては「座標系によらない量」がたいへん大事である。また、「座標系によらず成立する式」も同様に大事である。逆に言えば「特定の座標系でしか計算できない量」や「特定の座標系でしか成立しない式」には意味がない。
ある物理量が「ローレンツ変換に対して不変である」ということは、ある座標系での量&mimetex(\phi(x));が、別の座標系での同じ地点での量&mimetex(\phi(x'));と
----
CENTER:スカラーの変換性
#mimetex( \phi(x)=\phi(x'))
----
という関係を持つ、つまり座標系を変えても同じ値であることを言う。このような性質を持つ量をスカラーあるいは「ローレンツ・スカラー」と呼ぶ((これまでは「スカラー」と言えば単に「１成分の量」という意味合いで使っていた人も多いかもしれない。相対論におけるスカラーの定義は「座標を変えても変化しない量」ということである。))。
不変性と同時に重要な概念が「共変性」である。ある方程式が共変であるとは、たとえば&mimetex(A^\mu=B^\mu);、あるいは&mimetex(C_{\mu\nu}=D_{\mu\nu});のように、方程式の両辺がローレンツ変換に対して同じ変換をすることを言う。たとえば&mimetex(A^\mu=B^\mu);をローレンツ変換すると、
#math( \alpha^\mu_{~\nu}A^\nu= \alpha^\mu_{~\nu}B^\nu)
のように、左辺と右辺が同じ変換をして、結局は&mimetex((A')^\mu=(B')^\nu);という、同じ形の式になる。この場合「この方程式は共変である」と言う。
たとえば、&mimetex(E^\mu=F^{\mu\nu}G_\nu);という形の方程式は共変である。座標変換すると、
#math( \alpha^\mu_{~\nu}E^\nu=\alpha^{\mu}_{~\rho}\alpha^\nu_{~\lambda}F^{\rho\lambda}\alpha_{\nu}^{~\sigma}G_\sigma)
となるが、すでに述べたように、
&math(\alpha^\nu_{~\lambda}\alpha_{\nu}^{~\sigma}=\delta_\lambda^{~\sigma});と
いう関係があるので、
#math( \alpha^\mu_{~\nu}E^\nu=\alpha^{\mu}_{~\rho}F^{\rho\lambda}G_\lambda)
となる（「つぶれている」添字であるμに関しては変換を受けない、と考えても良い）。
結局、左辺と右辺で共変ベクトル（下付き）や反変ベクトル（上付き）の添字が同じ形になっていれば、両辺が同じ変換をするので方程式は共変となる。
たとえば
#mimetex( A_\mu=B^\mu)
のような式には共変性がない。たまたまある座標系で成立していたとしても、ローレンツ変換したら成立しなくなってしまう。
物理法則は座標系によらず成立すべきであるから、当然ながらその物理法則は共変な式で書かれていなくてはならない。物理法則をテンソルで書く利点は、この共変性が明白になるということである。テンソルで共変に書かれた方程式（つまり左辺と右辺で添字の形があっている方程式）は、ある座標系で成立するならば別の座標系でも成立する。これが、相対論的に考える時にテンソルを使う大きな利点である。
実はニュートンの運動方程式&mimetex(\vec F=m{d^2 \vec x\over dt^2});はその意味では物理法則失格である。この方程式は３次元ベクトルで書かれており、４次元的な意味ではまったく共変ではない。
以下で、ニュートン力学をローレンツ変換にたいして共変になるように書き直す。これによって、力学はまったく新しいものに生まれ変わることになる。
**8.2 ニュートン力学を相対論的に再構成する [#i5e31e7b]
ここまでの流れを整理しよう。
||ガリレイ変換 |ローレンツ変換 |実験的検証|
|ニュートン力学(非相対論的) | ○|× | 19世紀まで○ |
|ヘルツの方程式(非相対論的)|○|× | ×|
|マックスウェル方程式(相対論的)| ×|○ | ○ |
|相対論的力学？|× |○ |○ |
相対性原理（絶対空間は存在しないということ）を一つの原理として考えてきた。そして、電磁気の基本法則であるマックスウェル方程式が相対性原理を満たしていないように見える（ガリレイ変換で不変でない）ことから、マックスウェル方程式を破棄するか、ガリレイ変換を破棄するかの二者択一を迫られることになった。マイケルソン・モーレーをはじめとする実験事実から、破棄されるべきなのはガリレイ変換であり、ローレンツ変換へと修正すべきであることがわかった。また、時間と空間を別物と考えるのではなく、合わせて４次元の時空を考えて、その４次元を混ぜ合わせるような変換としてローレンツ変換を捉えればよいことがわかった。
そこでもう一度元にもどって考えると、そもそも相対性原理が考えられたのは、ニュートン力学はガリレイ変換で不変であったからである。しかし電磁気に対する考察からガリレイ変換はローレンツ変換へと修正されたのだから、今度はニュートン力学をローレンツ変換で不変になるように作り直さなくてはいけない。この章で考えるのはローレンツ変換で不変になるように作り直された新しい力学、すなわち相対論的力学である。
そこで、どのようにして相対論的力学を作るか、その概要を述べる。ニュートン力学の基本である運動方程式は
#mimetex( {dp^i\over dt}=f^i)
という形をしている。&mimetex(p^i);は運動量で、具体的には&mimetex(p^i=m{dx^i\over dt});である。ニュートン力学では、ある時刻tにおいて、物体の位置&mimetex(x^i(t));を時間の関数として与え、時間がたつにつれてこれらがどのように変化していくかを運動方程式を使って追い掛ける。ニュートン力学では時間というものが特別なパラメータとなっている。しかし、時間というものを特別視していては、相対論的に不変な方程式にはならない。運動のパラメータとしては座標時間tを使うのではなく、固有時τを使うべきである。τは「その物体が静止している座標系で測った時間」という定義になっているので、物体を決めれば一意的に決まり、ローレンツ変換しても変わらない。以下で、
----
CENTER:相対論的力学を作る方針
+ 座標時間による微分&mimetex({d\over dt});は全て固有時微分&mimetex({d\over d\tau});に置き換える。
+３次元ベクトル&mimetex(x^i=(x(t),y(t),z(t)));で表されている量は４元ベクトル&mimetex(x^\mu=(ct(\tau),x(\tau),y(\tau),z(\tau)));に拡張する。
+ 方程式の両辺はローレンツ変換した時に同じように変換される(''共変性'')ように作る。
----
という方針で相対論的力学を作っていこう。
固有時τと座標時tの微分は物体が静止している時には等しい(&mimetex(d\tau=dt);)ので、このようにして作られた相対論的力学は、物体が静止している状況ではニュートン力学と同じ答を出す。あるいは、「物体の速度が光速cに比べ十分小さい状況ではニュートン力学に近似できる」と言ってもよい。それゆえ、ニュートン力学は破棄されるわけではなく、相対論的力学の近似として生き残る((というより、相対論的力学は近似としてニュートン力学を含まねばならない。新しい理論は、古い理論が説明していた物理現象も説明できるものでなくては意味がないからである。))。
**8.3 ４元速度 [#i036e794]
まず、ニュートン力学における３次元速度&mimetex({dx^i\over dt});を&mimetex(V^\mu=\left(c{dt\over d\tau},{dx\over d\tau},{dy\over d\tau},{dz\over d\tau}\right));に置き換える。固有時τはローレンツ変換で変化しないため、&mimetex(x^\mu);が&math(\alpha^\mu_{~\nu}x^\nu);とローレンツ変換される時、&math(V^\mu \to \alpha^\mu_{~\nu}V^\nu);とローレンツ変換される。すなわち&mimetex(V^\mu);は４元ベクトルであり、「４元速度」と呼ばれる。
物体の４元速度の自乗を計算すると、
#mimetex(\left(-c^2\left({dt\over d\tau}\right)^2+\left({dx\over d\tau}\right)^2+\left({dy\over d\tau}\right)^2+\left({dz\over d\tau}\right)^2\right)= -c^2)
RIGHT:(４元速度の自乗)&aname(fournorm);
となる。つまり、４元速度は常に時間的（自乗がマイナスになるベクトル）であって、４元速度の自乗は一定値なのである。３次元的に見ると物体はそれぞれ固有の速さを持って運動しているように見えるが、４次元的に見れば全て同じ速さで運動している、と考えることもできる。ただし、
(４元速度の自乗)=（空間的速度の自乗）-（時間的速度の自乗）
という形になっているので、空間的方向の速度が速くなると時間的方向の速度も速くならなくてはいけない。
「時間方向の速度」というのは変な表現だが、今考えている「速度」というのは「単位固有時あたりの変化」という意味であるから、「τ(固有時) が1変化する間にt(座標時)はどれだけ変化するか」ということである。動いているとこれが速くなる。というのはどういうことかというと、「小さいτの変化に対し、tが大きく変化する」逆に言えば「tが大きく変化しているのにτがあまり変化しない」ということである。つまり、「時間方向の速度が速くなる」というのは、「運動物体の時間は遅れる」ということの別の表現だということになる。
４元速度の第0成分である&mimetex(c{dt\over d\tau});を３次元速度&mimetex(v^i={dx^i\over dt});を使って表そう。([[４元速度の自乗>#fournorm]])より、
&math(-c^2\left({dt\over d\tau} \right)^2 + \biggl(\underbrace{{dx^i\over dt}}_{=v^i}{dt\over d\tau}\biggr)^2= -c^2 );
&math(-\left({dt\over d\tau} \right)^2\left(c^2-|\vec v|^2\right) = -c^2);
&math({d(ct)\over d\tau}= {c\over\sqrt{ 1-{|v|^2\over c^2}}} = c\gamma);
となって、ウラシyマ効果の時間遅れの因子&mimetex(\sqrt{1-{v^2\over c^2}});の逆数であるγにcをかけたものが出てくる(固有時τと座標時に光速度をかけたctの変化の割合を計算していることになる)。また、３次元速度&mimetex(v^i);と４次元速度&mimetex(V^\mu);の関係は&mimetex({dx^\mu\over d\tau}={dx^\mu\over dt}{dt\over d\tau});となることから、
#mimetex( V^0= c\gamma,~~~~ V^i = \gamma v^i)
となる。物体が静止している時、４元速度は(c,0,0,0)となる。そして、速度vがcに近づくにつれて&mimetex(V^\mu);は無限大へと発散する。
&color(Red){vがcに近づくとVが∞になる、と言うことは実は、がんばって速度を増やそうとしても、cに達するには無限のエネルギーが必要になる、ということに関連している。それはなぜかというと、、、というところでまた来週};
**学生の感想・コメントから [#qa4ec125]
&color(Green){計算がめんどくさい（多数）};
&color(Red){言うの飽きてきたけど、&size(20){「この程度でめんどくさいって言ってたら、物理はできん」};};
&color(Green){テンソル計算になれなくては！（これも多数）};
&color(Red){これからびしばし使います。};
&color(Green){添字の上付き、下付きで混乱した（これまた多数）};
&color(Red){うーん、このあたりは、いろいろ計算してルールに慣れてこないと、よさがわからないんですよねぇ。};
&color(Green){共変ベクトルが何の役に立つのか、まだわからない。};
&color(Red){やっていくうちに「便利なものを作ってくれたなぁ」という気分になってきます。特に一般相対論まで勉強すると。};
&color(Green){４次元で見ると物体は常に光速ということですが、もし時間が止まると、この世の全ての物体はctと逆向きに凄い力を受ける？？？};
&color(Red){まず「もし時間が止まると」という仮定が無茶だからなぁ(^_^;)。何が起こるか予想するのは難しい。};
&color(Green){共変ベクトルの定義は&math(V_\mu=\eta_{\mu\nu}V^\nu);ってのでいいんですか？};
&color(Red){それでもいいし、ローレンツ変換した時に&math(V_\mu \to \alpha_\mu^{~\nu}V_\nu);と変換されるもの、という考え方でもいいよ。};
&color(Green){次から面白いという話なので、期待します。};
&color(Red){いよいよ、&mimetex(E=mc^2);とかが出てきます。};
![[PukiWiki]](image/pukiwiki.png "[PukiWiki]")
