#hr
CENTER:←[[第３回>相対論2007年度第３回]] [[目次に戻る>相対論2007年度]]
#hr
#contents
#br
&color(Red){今日の授業の前に、まずは先週の復習をかねて[[電磁波の進行のアニメーション>http://www.phys.u-ryukyu.ac.jp/~maeno/rel2007/denjiha.html]]を見せた。これでまず、「進行しない電磁波」が（マックスウェル方程式を尊重するならば）存在できない、ということを感じて欲しい。};
**3.2 電磁誘導の疑問 [#x97d1e94]
#ref(jishaku.png)
第１章で概要だけ述べた、電磁誘導に関する疑問について、ここでくわしく考えておこう。図のように、二つの現象を考える。左の図では、コイルが磁石に近づき、右の図では、磁石がコイルに近づく。二つの現象は、見る立場を変えれば同じ現象であり、結果として「コイルに時計まわりの電流が流れる」という点でも同じである。しかし、その記述は同じではない。
右図の場合であれば、それはコイル内の磁束密度が時間変化するということからくると解釈される。すなわちMaxwell方程式の&mimetex({\rm rot} \vec E = -{\partial \vec B\over \partial t}); にしたがって、磁束密度が変化している場所には電場の渦が発生していて、その電場によってコイル中の電子が力を受け、電流となる。よく知られているように、この時に発生する電位差は、ファラデーの電磁誘導の法則&mimetex(V=-{d\Phi\over dt});によって求められる。ここでΦは回路内をつらぬく磁束であり、Vの符号はΦに対して右ネジの向きに電流を流そうとする時にプラスと定義される((角運動量&mimetex(\vec L=\vec x\times \vec p);など、回転に対応するベクトルの向きはこのように決めるのが普通である。高校物理の参考書などで、「この式のマイナスは``磁場の変化を妨げる向き''であることを示す」などと書いてあるのがあるが、あの書き方は厳密性を欠き、よくない。))。
この時に起こっていることはあくまで「磁束密度の変化→電場の発生」という現象である。
では左図はどう解釈されるか。この場合は各点各点の磁束密度は変化していないので、電場などは発生していない。&mimetex({\rm rot}\vec E=-{\partial\vec B\over \partial t});の右辺はまじめに書くと&mimetex(-{\partial\over \partial t}\vec B(x,y,z,t));であり、ある一点(x,y,z)にある磁束密度の時刻tでの値の時間微分×(-1)である。コイルの方が動く時、これは０である。「コイルを通る磁束は時間的に変化しているのではないか」と疑問に思う人がいるかもしれない。確かに変化しているが、この式の&mimetex(\vec B);は「ある点(x,y,z)の時刻tでの磁束密度」という意味なのであって、「コイルを通る磁束の磁束密度」という意味はないのである。
&color(Red){このあたりの説明のため、電磁誘導が起こっている状態を3D映像で見るための[[アプレット>http://www.phys.u-ryukyu.ac.jp/~maeno/rel2007/rotEdBdt3D.html]]を作った。動かすにはjava3Dが必要。};
#ref(jishaku01.png);
&color(Red){おまけに、電磁誘導とは逆に、電荷が動いて電場が変化することで磁場が発生するところを説明する[[アプレット>http://www.phys.u-ryukyu.ac.jp/~maeno/rel2007/rotHdDdt3D.html]]も作った。ついでにこっちでも遊んで欲しい。};
#ref(rotE.png,,60%)
ではコイルが動く場合にも電流が発生するのはなぜか。磁場中を電荷qが速度&mimetex(\vec v);で運動すると磁場とも運動方向とも垂直な方向にローレンツ力&mimetex(q\vec v\times \vec B);を受ける。この力は電子がコイルをぐるぐるとまわすような方向に働くので、電流が流れる。つまりこの場合、電場などは発生していないが、磁場によって電子が力を受けることによって、電位差が発生したのと同じ効果があらわれて電流が流れていることになる。
----''[問い3-1]''
#ref(dPhidt.png)
この考え方で、電子に働く力を計算し、電子が回路を一周する間にこの力がする仕事を計算せよ。この仕事を単位電気量あたりに直したものが、&mimetex(V=-{d\Phi\over dt});と等しいことを導け。
ヒント：磁場&mimetex(\vec B);は真上を向いていないので、上向き成分&mimetex(B_上);と外向き成分&mimitex(B_外);に分けてみよ。電子に働く力に貢献するのは&mimetex(B_外);の方であるから、&mimetex(B_{外});を使って仕事を計算せよ。
一方、コイルが動いたことによってコイル内から出る磁束（=磁束密度×面積）がどうなるかを、図から計算してみよ。
このように、マックスウェル方程式を使った計算では、どちらの立場にたっても同じ答が出てくる。これはたまたまうまく行っているなのか、それとも必然的にそうなっているのか？
もちろん、「たまたま」などではなくこうなることには意味がある、というのが相対論の立場である。それはつまり「マックスウェル方程式はどの慣性系でも正しい物理法則である」ということに他ならない。今ではその立場が広く認められているわけだが、相対論ができあがる前には「マックスウェル方程式ではない方程式が必要だ」という考え方もされた。次の節でその方程式について説明しよう。
&aname(movingcoil);
**3.3 マックスウェル方程式をガリレイ変換すると？ [#v655cf88]
''(【注意！】この節の話は現代物理からすると「間違った考え方」です。最終的には「ガリレイ変換は使えない」ということが明らかになるからです。そのことを説明するためにここであえて現代の視点からみると間違っていた考え方を説明しています。)''
&aname(hertzdoushutu);
電磁波の発見者としても名高いヘルツ(Hertz)は、動いている人から見たらマックスウェル方程式はどのように変化するのか、ということを考えて、マックスウェル方程式をガリレイ変換した方程式を導いている。
#ref(bibun.png)
３次元のガリレイ変換を
#mimetex( x^{\prime i}= x^i -v^i t {\rm or} x^i = x^{\prime i}+ v^i t', ~~~~ t'=t)
と置く。そして、この(x',t')座標系では普通のマックスウェル方程式が成立するとしよう。では(x,t)座標系ではどんな方程式が成立するだろう？
これは座標変換&mimetex((x^i,t)\to (x^{\prime i},t'));であるが、この時微分&mimetex({\partial\over \partial x^i},{\partial \over \partial t});はどのように変化しなくてはいけないかを考えてみる。一般的な微分の公式から
#mimetex(\begin{array}{rl} {\partial \over \partial x^{\prime i} }=& {\partial x^{1}\over \partial x^{\prime i}}{\partial \over \partial x^{1}}+{\partial x^{2}\over \partial x^{\prime i}}{\partial \over \partial x^{2}}+{\partial x^{3}\over \partial x^{\prime i}}{\partial \over \partial x^{3}}+{\partial t\over \partial x^{\prime i}}{\partial \over \partial t}\\=& {\partial x^{j}\over \partial x^{\prime i}}{\partial \over \partial x^{j}}+{\partial t\over \partial x^{\prime i}}{\partial \over \partial t}={\partial \over \partial x^{i}}\end{array})
#mimetex(\begin{array}{rl} {\partial \over \partial t'}=&{\partial t\over \partial t'}{\partial \over \partial t}+{\partial x^{1}\over \partial t'}{\partial \over \partial x^{1}}+{\partial x^{2}\over \partial t'}{\partial \over \partial x^{2}}+{\partial x^{3}\over \partial t'}{\partial \over \partial x^{3}}\\=&{\partial t\over \partial t'}{\partial \over \partial t}+{\partial x^{j}\over \partial t'}{\partial \over \partial x^{j}}={\partial \over \partial t} + v^i {\partial \over \partial x^{i}}\end{array} )
がわかる（アインシュタインの規約をつかって簡略化して書いた）。
つまり、xによる微分とx'による微分は同じもので、tによる微分とt'による微分が変化する。座標はxが変化してtは変化していないのだから、奇妙に思えるかもしれない。しかし&mimetex({\partial \over \partial t}\neq {\partial \over \partial t'});であることは、&mimetex({\partial\over \partial t});が「xを一定としてtで微分」であり、&mimetex({\partial\over \partial t'});が「x'を一定としてt'で微分」であることを考えれば、納得がいくだろう。上図からわかるように、「x一定としてtが変化する」場合と「x'一定としてt'が変化」する場合では移動方向が違うのである。
逆に、&mimetex({\partial\over \partial x});が「tを一定としてxで微分」であり、&mimetex({\partial\over \partial x'});が「t'を一定としてx'で微分」であることを考えれば、この二つは同じものであることも納得できる。
では方程式を作っていく。ここで、電場や磁場の値は運動しながら見ても変化しない（どちらの座標系でも同じ値を取る）と仮定する。空間微分は変化しないから、&mimetex({\rm div} \vec B=0);や&mimetex({\rm div} \vec E=0);はx'系でもx系でも同じ式である。時間微分を含む方程式である&mimetex({\rm rot} \vec E =-{\partial \vec B\over \partial t} );などを考えていこう。
(x',t')座標系を「マックスウェル方程式が成立する座標系」と考えたので、たとえばz成分の式として、
#mimetex({ \partial E_y \over \partial x'} - {\partial E_x\over \partial y'} = -{\partial B_z \over \partial t'})
が成立している。これをガリレイ変換すれば、
#mimetex(\begin{array}{rl}{ \partial E_y \over \partial x} - {\partial E_x\over \partial y} &= -{\partial B_z \over \partial t}- v_x {\partial B_z \over \partial x}- v_y {\partial B_z \over \partial y}- v_z {\partial B_z \over \partial z}\\&= -{\partial B_z \over \partial t}- v_x {\partial B_z \over \partial x}- v_y {\partial B_z \over \partial y}+ v_z {\partial B_x \over \partial x}+ v_z {\partial B_y \over \partial y}\\&= -{\partial B_z \over \partial t}- v_x {\partial B_z \over \partial x}+ v_z {\partial B_x \over \partial x}- v_y {\partial B_z \over \partial y}+ v_z {\partial B_y \over \partial y}\\\end{array})
ここで、１行めから２行目では&mimetex({\partial B_z \over \partial z}= -{\partial B_x \over \partial x} -{\partial B_y \over \partial y}({\rm div}\vec B=0));を使った。
&mimetex(\vec v\times \vec B);というベクトルを考えると、これのy成分が&mimetex(v_z B_x-v_x B_z );であり、x成分が&mimetex(v_y B_z - v_z B_y);である。ゆえに上の式は
#mimetex({ \partial E_y \over \partial x} - {\partial E_x\over \partial y} = -{\partial B_z \over \partial t} +{\partial \over \partial x}(\vec v\times \vec B)_y-{\partial \over \partial y}(\vec v\times \vec B)_x)
となる。
x,y成分に関しても同様の計算をすれば、この３つの式が
#mimetex( {\rm rot} \vec E = -{\partial \over \partial t}\vec B + {\rm rot}(\vec v\times \vec B))
RIGHT:（ヘルツの方程式rotE）
&aname(hertzrotE);
とまとめることができることがわかる。ここで、計算の途中で&mimetex(\vec v);と微分の位置を取り替えていることに注意。これは&mimetex(\vec v);が定数で、微分したら零だからできることである。&mimetex(\vec B);と微分との順番は安易に取り替えてはならない。
----
&color(Red){この部分は授業では話さない可能性もあるが、その場合は読んでおいてください。};~
ベクトル解析を使って計算するならば、
#mimetex( \begin{array}{rl} \vec\nabla\times \vec E&=-{\partial \over \partial t}\vec B - \vec v\cdot\vec\nabla \vec B \\&=-{\partial \over \partial t}\vec B - \vec v\cdot\vec\nabla \vec B +(\underbrace{\vec\nabla\cdot\vec B}_{=0})\vec v\\ \end{array})
と、０になる項を付け加えた後で、公式
#mimetex( \vec P \times(\vec Q\times \vec R)= \vec Q(\vec P\cdot\vec R)-(\vec P\cdot \vec Q)\vec R)
を使えばすぐに([[ヘルツの方程式rotE>#hertzrotE]])を出すことができる。ただし今の場合は&mimetex(\vec P=\vec\nabla,\vec Q=\vec v,\vec R=\vec B);であるが、&mimetex(\vec\nabla);によって微分されるのは&mimetex(\vec B);だけだという点に注意しよう。
同じ計算をテンソルを使ってやることもできる。ただし、そのためには外積をテンソルで書くと、外積&mimetex(\vec A=\vec B\times\vec C);が&mimetex(A_i=\epsilon_{ijk}B_jC_k);となることを知っていなくてはいけない。
ここで&mimetex(\epsilon_{ijk});はi,j,kについて完全反対称（&mimetex(\epsilon_{ijk}=-\epsilon_{jik}=-\epsilon_{ikj}=-\epsilon_{kji});）で、かつ&mimetex(\epsilon_{123}=1);であるようなテンソルである。つまり、&mimetex(\epsilon_{123}=\epsilon_{231}=\epsilon_{312}=1);（添え字が123の偶置換）で、&mimetex(\epsilon_{213}=\epsilon_{132}=\epsilon_{321}=-1);（添え字が123の奇置換）であり、それ以外は0である。
この記号を使うと、
#mimetex(\begin{array}{rll} \epsilon_{ijk}{\partial\over \partial x^j}E_k&=-{\partial\over \partial t}B_i -v_j {\partial\over \partial x^j}B_i\\&=-{\partial\over \partial t}B_i -v_j {\partial\over \partial x^j}B_i +v_i {\partial\over \partial x^j}B_j\\\end{array})
&mimetex(\begin{array}{rll} \epsilon_{ijk}{\partial\over \partial x^j}E_k&=-{\partial\over \partial t}B_i -v_j {\partial\over \partial x^j}B_i\\&=-{\partial\over \partial t}B_i -v_j {\partial\over \partial x^j}B_i +v_i {\partial\over \partial x^j}B_j\\\end{array});
のように書くことができる。&mimetex({\rm div}\vec B={\partial\over \partial x^j}B_j=0);であることを使って最後に0を足している。この最後の２項は、添え字を適当につけかえることで、
#mimetex(\begin{array}{rl} -v_j {\partial\over \partial x^j}B_i +v_i {\partial\over \partial x^j}B_j=\left(\delta_{km}\delta_{il}-\delta_{kl}\delta_{im}\right){\partial\over \partial x^k}v_l B_m\end{array})
のように書ける（右辺から左辺への変形は容易なので、確認すればよい）。
ここで、&mimetex(\epsilon_{ijk}\epsilon_{ilm}=\delta_{jl}\delta_{km}-\delta_{jm}\delta_{kl});という公式を使う。この式の意味することは、「&mimetex(\epsilon_{ijk}\epsilon_{ilm});は、j=lでk=mの時は1になり、j=mでk=lの時は-1になる（ただし、j=k=l=mの時は0）」ということである（これは式の意味を考えると納得できる）。
これによって、
#mimetex(\begin{array}{rl} -v_j {\partial\over \partial x^j}B_i +v_i {\partial\over \partial x^j}B_j=\epsilon_{pki}\epsilon_{pml}{\partial\over \partial x^k}v_l B_m=\epsilon_{ikp}{\partial\over \partial x^k}\left(\epsilon_{plm}v_l B_m\right)\end{array})
という式が作れる。これは&mimetex(\vec\nabla\times(\vec v\times \vec B));のi成分である。
----
&mimetex({\rm rot} \vec H = {\partial \vec D\over \partial t}+\vec j);の方は、
#mimetex(\begin{array}{rl} {\rm rot} \vec H &= {\partial \vec D \over \partial t}-{\rm rot} (\vec v\times \vec D)+\vec j + \rho \vec v\end{array})
RIGHT:（ヘルツの方程式rotH）
&aname(hertzrotB);
となる。この計算は([[ヘルツの方程式rotE>#hertzrotE]])を出したのとほぼ同様である。違いは符号と、&mimetex({\rm div} \vec D);が0ではなくρになるために最後の項がついてくることである。
よって、x系で成立する方程式は
#mimetex(\begin{array}{cc} {\rm div} {\vec B}=0 &~~~~ {\rm rot}{\vec E}=-{\partial {\vec B}\over \partial t}+{\rm rot}(\vec v\times\vec B )\\ & \\ {\rm div} {\vec D}=\rho &~~~~ {\rm rot}{\vec H}={\partial{\vec D}\over \partial t}-{\rm rot}(\vec v\times \vec D)+\vec j + \rho\vec v \\\end{array})
&aname(hertz);
となる。これをヘルツの方程式と呼ぶ。ここで、x'座標系での電場や磁場の値は、x座標系での値と全く同じであると考えて方程式を出していることに注意せよ。実際にこうなのかどうかは、実験的に検証する必要がある。
この章の最初の疑問に対して、ヘルツの考え方はどのような答えを出すだろうか。[[3.1>相対論2007年度第３回#denjihanogimon]]節では、(x,t)系がマックスウェル方程式が成立する座標系で、(X,T)系がその系に対して速度cで動いているとして、座標変換をX=x-ct（この逆変換はx=X+cT）と考えた。ヘルツの方程式の導出ではx'=x-vtとして、x'系がマックスウェル方程式の成立する座標系（エーテルの静止系）であったから、対応（&mimetex((x,X)\leftrightarrow(x'x));）を考えると、ヘルツの方程式にあらわれる&mimetex(\vec v);が&mimetex(\vec v = (-c,0,0));であることがわかる。[[3.1>相対論2007年度第３回#denjihanogimon]]ではエーテル静止系はとまっていて、観測者が速さcで右側に動いていた。逆に考えると、観測者から見てエーテル静止系が速さcで左側に動いている。一方、[[3.3>#hertzdoushutu]]では、観測者に対してエーテル静止系が右に速さvで動いている、と考えればわかりやすい。
よって、(X,T)座標系での電磁場
#mimetex( \vec E=(0,E_0 \sin kX,0),~~~~ \vec B=(0,0,{E_0\over c}\sin kX))
の満たすべき方程式は、ヘルツの式で&mimetex(\vec v=(-c,0,0));とした方程式である。
&mimetex(\vec v\times \vec B);を計算すると、
#mimetex( (\vec v\times \vec B)_X =0,~~ (\vec v\times \vec B)_Y = E_0 \sin kX,~~ (\vec v\times \vec B)_Z =0)
となって、&mimetex(\vec E);と&mimetex(\vec v\times \vec B);が等しいということになる。$\vec
B$は時間によらないのだから、この電磁場は([[ヘルツの方程式rotE>#hertzrotE]])を満たしている。
([[ヘルツの方程式rotH>#hertzrotB]])も同様である。したがって、ヘルツの方程式が等しいとすれば、「止まっている電磁波」は存在することになる。
**3.4 エーテル---絶対静止系の存在 [#i05443a7]
&aname(etherwind);
#ref(etherwind.png,,60%)
&color(Red){クリックするとフルサイズで見れます。};
こうして、マックスウェルの方程式とヘルツの方程式という、二つの方程式が出てきた。どのようにしてヘルツの方程式が出てきたかを思い出そう。互いにガリレイ変換x'=x-vtで移り変わる二つの座標系を用意し、x'系ではマックスウェル方程式が成立すると考えて、x系で成立する方程式を求めた。これがヘルツの方程式である。つまり、宇宙には特別な「マックスウェル方程式が成立する座標系」x'があり、その特別な座標系に対して運動している座標系ではヘルツの方程式が成立する。そして、それぞれの座標系から見てマックスウェル方程式が成立するx'系がどう運動しているのかを示すのが&mimetex(\vec v);である。
ここで、光同様に波である、音の場合を考えてみよう。音は「空気の静止系」では周囲に均等な速度で伝播する。しかし、「空気の静止系が速度&mimetex(\vec v);で動いているように見える座標系」つまり「風が速度&mimetex(\vec v);で吹いている座標系 」では、風に流される。つまり、音の伝播は「空気の静止系」とそれ以外の座標系では、違う法則にしたがうのである。それと同様に、「マックスウェル方程式が成立する特別な座標系」がどこかにあり、それ以外の座標系では&mimetex(\vec v\ne0);のヘルツの方程式を使わねばならない。
音に対する空気のように、光に対して「エーテル」と言う媒質を考えると、「エーテルの静止系」（今の場合x'座標系）でのみマックスウェル方程式が成立するということになる。
空間はエーテルに満たされている。このエーテルの振動が光であり、エーテルの静止系ではマックスウェル方程式が成立する。音が空気の振動であるように、光はエーテルの振動だと考えたのである。そして、ヘルツの方程式にあらわれる&mimetex(\vec v);は、エーテルの運動速度である。エーテルが動いていれば、光はエーテルの運動方向には速く、逆方向には遅く伝わる。
これがほんとうだとすると、マッハによってニュートン力学から追放されたはずの、「絶対空間」が電磁気学の世界で復活してきたことになる。と同時に我々は電磁気の問題を解く時常に「エーテルの風は吹いているのか？」と問いかけなくてはいけないことになる。エーテルの風の速さ&mimetex(\vec v);がわからないと式がたてられないのである。とはいえ、当時考えられていたことは、この``''(エーテルの風)''''がたとえ吹いていたとしても、せいぜい地球の公転速度である秒速3キロ（光速の１万分の１）のオーダーであり、精密な実験をしない限り観測にはかからないと考えられた。
最終的にはここで考えられたようなエーテルは存在しないことが明らかになったわけだが、当時わかっていたことだけを考えても、このような物質の存在は考えがたい。周期表で有名なメンデレーエフはエーテルに原子番号「０」を与えたという。エーテルがもし存在するとしても普通の物質とは全く違う性質を持ったものであることは間違いない。まず光は横波であるから、エーテルは固体のように変形に対して元に戻ろうとする性質（弾性）を持っていなくてはいけない((地震波には横波と縦波があるが、液体中（地球の中心殻など）は横波は伝わらない。))。横波というのは「進行方向に対して直角な方向への変位に対して、元に戻ろうとする復元力」が存在している時に発生する（これに対して縦波は「進行方向に平行な方向への変位に対する復元力」によって起こる）。
光が秒速３０万キロという速いスピードで進むことは、エーテルが復元力の強い、非常に固い物質であることを示している。しかし、すぐ後に示すように、エーテルが満ちていると考えられる「真空」中を、物体は抵抗なく進むことができる。固いのに抵抗がないとはいったいいかなる``物質''なのであろうか？
このように考えていくと、「光も波なのだから媒質となる物体が存在しているだろう」という素朴な考え方が、むしろ非常識な結果を生むことがわかる。では実際にはこの非常識なエーテルなるものは存在するのか、それともないのか？
それを決めるのは実験である。そのための実験としてもっとも有名なのがマイケルソン・モーレーの実験の実験なのだが、これについては次章で述べるので、この章の残りの部分ではそれ以外の実験においてもヘルツの方程式を採用すべきか否かについてある程度の情報が得られることを示そう。
**3.5 ヘルツの方程式の実験との比較 [#lbb21961]
&aname(isHertzOK);
&color(Red){時間が足りなかったので、以下の実験についてはフィゾーの実験についてのみ解説した。他については読んでおいてください。};
#ref(Rontgen.png)
ヘルツの方程式が正しいかどうかを判定できる実験として、レントゲン(R\"ontgen)とアイフェンヴァルト(Eichenward)による、回転する誘電体の実験がある。図のように誘電体を半径Rの円筒形にして、軸方向に磁場をかけておいて回転させる。
エーテルがこの回転する誘電体と一緒に運動しているとすれば、ヘルツの方程式の中の&mimetex(\vec v);には、各点各点の回転速度を代入すればよい(これで本当にいいのかは再考が必要)。磁場が一定だとしてヘルツの方程式([[ヘルツの方程式rotH>#hertzrotB]])はこの場合、
#mimetex( {\rm rot} \vec H = -{\rm rot} \left(\vec v \times \vec D\right))
となるから、
#mimetex( \vec H = -\vec v\times \vec D)
が一つの解である。この式には&mimetex({\rm rot});をかけて0になる量を足すだけの自由度があるが、そんな項がついていたとしたら、&mimetex(\vec H=-{\rm grad} \phi);で表すことができる静磁場が重ね合わされるということである。静磁場がない状況を考えているならばこの項はない。
これにより、円筒が角速度ωで回っているとするならば、表面には大きさ&mimetex(R\omega D);の磁場が発生することになる。ところが実際に測定された磁場は&mimetex({\epsilon-\epsilon_0\over \epsilon }R\omega D);であった(εは誘電体の誘電率、&mimetex(\epsilon_0);は真空の誘電率)。ここではまだ書かないが、もちろん相対論を使った計算ではこの結果に一致する答えが出る。
#ref(Wilson.png)
上で電場中で物体を回転させて磁場を作ったことの逆で、物体を磁場中で回転させて分極を作る実験がある。この現象については、アインシュタインとラウプがローレンツ変換を使って磁場中で動く磁性体の分極を計算している(1908年)。W.ウィルソンとH.A.ウィルソンが実験で確認した(1913年)。この実験結果も、素朴にヘルツの方程式を適用した計算とは合わないが、相対論的計算ならば合う。
ここでは「誘電体が回転している速度をヘルツの方程式の&mimetex(\vec v);に代入する」という計算をやっているが、物体が動いてもその場所のエーテルは動かないのかもしれない。実は「物体が動くとその周りのエーテルは一緒に動くのか？」ということを定めるための実験は、すでに1851年にフィゾー(Fizeau)によってなされている。
#ref(fizeau.png)
彼は水中の光速度が、水が流れている時にはどのように変化するかを間接的に測定した。流れる水の中を水と同じ方向に通した光と逆方向に通した光で干渉を起こさせて、流速を変化させた時の干渉縞の変化から水中での光速度を推測している((このあたりの実験のやり方は後で出てくるマイケルソン・モーレーと似ている。))。フィゾーの実験の結果、静止している水中の光速をuとすると、光の進む方向に水が速さvで流れているときは
#mimetex( u+\left(1-{1\over n^2}\right)v)
という速度で光が伝播することがわかった((後で「光速度は不変である」ということを口が酸っぱくなるほど言うので、ここで光速が変化するという結果が出ていることに、後々違和感を覚えるかもしれない。しかしここで述べているのは物質が満ちている空間における光速であり、「光速度が不変である」と言っている時の光速は真空中のものである。))。もしエーテルが完全に引き摺られるのであればこの式はu+vになっただろう。まったく引き摺られないのならばuとなっただろう。
この実験の結果から、エーテルは(もし存在するのなら)水の流速の&mimetex(1-{1\over n^2}); 倍で引き摺られることになる。この&mimetex(1-{1\over n^2});をフレンネル(Fresnel)の随伴係数と言う。しかし屈折率nは通常、光の振動数によって違うので、光の振動数ごとに別々のエーテルが別々の速度で動く、ということになる。これは音にたとえれば、ドの音を伝える空気と、ソの音を伝える空気が違う速度で運動していることである。この「エーテルの引き摺り」現象はエーテルというものを実在のものと考えることを非常に困難にする実験事実であると言えるだろう。
----
&color(Red){この部分は授業では話さない可能性もあるが、その場合は読んでおいてください。};~
もう一つ、相対論登場以前の電磁気では解けなかった問題を述べよう((実はこれ以外にもたくさんある！))。サールが1896年に提案した思考実験である。
#ref(searld.png,,50%)
&color(Red){クリックするとフルサイズで見れます。};
コンデンサーに電圧を加えると、両極板は正負に帯電し、極板は互いに引っ張り合う。極板を何かが支えておけば、もちろんこの状態で静止する。さてこのコンデンサーを極板と斜めになる方向に等速直線運動させよう。すると極板の電荷の移動は電流となり、周りに磁場が発生する。その磁場による力の向きは図のような偶力((正反対で同じ大きさだが、一直線上に乗っていない二つの力をこう呼ぶ。回転を起こそうとする力になる。))となり、運動方向とコンデンサーの向きが同じになるようにしようとする力になる。
この偶力を作る力は、極板間に働くクーロン力に比べて&mimetex(\left({v\over c}\right)^2);倍（vは等速直線運動の速度）に比例する量となるので、非常に精密な実験でないと測定できない。1901年から1903年にかけて、トルートンとノーブルはこの力が測定可能な装置を作り上げて実験を行った。しかし、彼等の苦労にもかかわらず、このような偶力は全く観測されなかった。
「電磁気にも絶対静止系など存在しない」という立場に立てば、この力は観測されないのが当然である（等速運動している慣性系では、静止系と同じ物理現象が起こるはずだ！）。ではいったい、何がどうなってつりあいが保たれているのだろう？？---この疑問もまた、相対論の登場によって解決されることになる((実際にこの謎を解いたのは次の節にあるローレンツで、この段階ではまだ相対論として完成してはいなかった。))。
**学生の感想・コメントから [#y27d7f12]
&color(Green){電子や陽子を光速近くまで加速する時は、どれだけのエネルギーを使っているのですか？};
&color(Red){最新の加速器では、&mimtex(10^12);ボルトの電圧で加速してます。つまり持っているエネルギーは&mimetex(10^12);eVです。ジュールに直すと&mimetex(1.6\times 10^{-7});Jとなって、あまりたいしたことない数字ですが、電子一粒にこれだけのエネルギーをたたき込むというのはすごいことですよ。ちなみに、水素原子の周りを回っている時に電子がもっているエネルギーは、10eV程度です。};
&color(Green){人間が出せる速度はせいぜい10km/sと言ってましたが、どんだけがんばればその速さが出るんですか？};
&color(Red){宇宙飛行士になってロケットに乗りましょう。};
&color(Green){では、光の媒質って何なんですか？（ものすごく多数）};
&color(Red){電場と磁場そのものが光の媒質です。エーテルのような物質的なものを媒質として考えてはいけません（電場や磁場も物質のうちだと考えてもいいかもしれませんが）。};
&color(Green){アインシュタインが間違っていたことはないんですか？};
&color(Red){そりゃもちろんありますよ。量子力学に最後まで反対したこととか、相対論で宇宙は膨張しないという式を作ってしまったとか。};
&color(Green){水中で光速が遅くなる理由は何ですか？音は速くなるのに。（複数）};
&color(Red){光にとって水は「邪魔物（障害物）」。音にとって水は「媒質」です。媒質が密だから速く伝わる。邪魔が多いと遅くなる。};
&color(Green){具体的にマックスウェル方程式から光速を求めるのは難しい計算なのですか？};
&color(Red){いえ。がんばればすぐにできます。};
&color(Green){エーテルがないのは残念だ（多数）};
&color(Red){直観には反しますが、ないのだから仕方ないです。};
&color(Green){エーテルがないとしても他の何か違うものがあるんではないですか？};
&color(Red){それは「絶対空間があるはずだ」ということでしょうか。今のところ、実験的には「ない」という結果です。};
&color(Green){マックスウェル方程式は確かにすっきりしていますが、ヘルツの方程式の方がしっくりきます。};
&color(Red){気持ちはそうかもしれません。でもねぇ。大事なことは人間がしっくりくるかどうかじゃなくて、実験に合うかどうかなんですよ。残念ながらヘルツの方程式は実験に合いません。};
&color(Green){マックスウェル方程式が成立する座標系が一つある、ということですが、この座標系は相対的でわからないのですよね？};
&color(Red){今日の話の段階では「力学には絶対空間がないけど、電磁気にはあるのかもしれない」と疑っているわけです。つまり、電磁気学には絶対空間があるのかもしれない、という考えです。実際には電磁気にも絶対空間はなかったので、特定の「マックスウェル方程式が成立する座標系」などというものはありません。};
&color(Green){マックスウェル方程式が正しいとして計算すると光の速度はいつもcになります。どんな座標系に乗ってもそれは変わらないのですか？不思議です。};
&color(Red){その不思議さを解明するのが相対論、というわけです。};
&color(Green){光から光を見たらやっぱり３０万km/sだと聞いたことがあるんですが、だとするとアインシュタインが光の速度で光を追いかけても止まって見えない、ということですか？};
&color(Red){まず、「光から光を見る」というのは無茶だし（光に目はない！）、物体は光速で走れないので「光速に限りなく近い速度で走りながら光を見たら、やっぱり３０万km/s」というふうに考えてください。それは相対論の帰結としてそうなります（実験的にも、そうです）。今日の話は「相対論ができる前の（間違っていると今ではわかった）考え方で考えるとこうなる」という話です。};
&color(Green){エーテルという言葉はゲームに出てくるので馴染みがありました（複数）};
&color(Red){そうかぁ、今時のゲームは進んでいる・・・いや、100年遅れているのか？？？};
&color(Green){流れる水の中の光が速く進んだり遅く進んだりするのは何故ですか？};
&color(Red){詳しい説明はまた後日。};
&color(Green){光はどうして水中では真空中より遅くなるんですか？};
&color(Red){上にも書きましたが光の進行が水に邪魔されるからということになります。実際にはどう邪魔されるのかというと、光すなわち電磁波なので、電気を持っている水分子を振動させます。すると水分子からも電磁波が出ます。その電磁波が元の電磁波に重ね合わされることによって、元々の電磁波の位相を遅らせるのです。};
&color(Green){アニメーションはわかりやすかった。rotの意味がやっとわかった。};
&color(Red){わかりやすかったのはありがたいですが、rotの意味ぐらいは２年のうちにわかっておきましょう。};
&color(Green){エーテルが存在していると思わせるような実験結果はなかったんですか？};
&color(Red){いくつかありましたが、精密に再実験してみると間違いでした。今のところ、エーテルの存在は実験的に否定されています。};
&color(Green){もしもエーテルが存在して、もしもエーテルを自在に操れたら、透明人間になることができる？？};
&color(Red){そりゃできるでしょうが、「もしも」が２個も重なっているので望み薄ですね。};
&color(Green){マックスウェル方程式には座標変換が含まれていると言う話がありましたら、それはどういうことですか？};
&color(Red){「座標変換が含まれている」というよりは「どんな座標で考えてもマックスウェル方程式さえ使えば正しい答えが出る」ということです。つまり、マックスウェル方程式がうまくいくということは、絶対静止系のようなものはなく、どんな座標系も同等だということを示していることになります。};
![[PukiWiki]](image/pukiwiki.png "[PukiWiki]")
