Sylabus
Otázka éteru a Michelsonův-Morleyův experiment. Výchozí principy speciální teorie relativity, Lorentzova transformace. Minkowského prostoročas, světelný kužel. Relativistická pohybová rovnice, ekvivalence hmotnosti a energie. Maxwellovy rovnice ve čtyřrozměrném tvaru
Státní závěrečná zkouška
Otázka éteru a Michelsonův-Morleyův experiment
V druhé polovině 19. století se fyzika potýkala se zajímavým problémem. V klasické Newtonovské mechanice, která velice dobře fungovala, se používala Galileova transformace daná jednoduchými vzorečky
t′=t t'=t \ t′=t
x′=x−vt \mathbf{x}'=\mathbf{x}-\mathbf{v}t x′=x−vt
a platilo v ní sčítání rychlostí. Na druhé straně byla Maxwellova teorie elektromagnetismu, která byla také s velkou přesností prověřená. Z řešení Maxwellových rovnic ale vycházelo, že rychlost světla je konstantní. Ale konstantní vůči čemu?
Jako řešení tohoto problému byl navržen tzv. éter, což byl jakýsi absolutní prostor, vůči němuž se světlo pohybovalo rychlostí světla.
Přirozeně vyvstala otázka, jak rychle se pohybujeme vůči éteru. Nejjednodušším způsobem jak to změřit se zdá změřit rychost světla v jednom směru a pak v opačném. Časy za které svělo uletí dráhu délky L L\ L jsou:
ParseError: KaTeX parse error: Undefined control sequence: \mbox at position 24: …c{L}{c-v}\quad \̲m̲b̲o̲x̲{a}\quad t_2=\f…
a jejich rozdíl je přibližně
t1−t2=˙2Lcvct_1-t_2\dot= \frac{2L}{c}\frac{v}{c}t1−t2=˙c2Lcv
Tento experiment je prvního řádu ve vc\frac{v}{c}cv, nicméně v době, kdy byla měření prováděna, nebylo možné synchronizovat hodiny dostatečně přesně, aby bylo možné získat nějaké výsledky. Postupně se ukázalo, že není možné realizovat ani žádný další experiment 1. řádu s dostatečnou přesností.
Pak v roce 1881 přišli pánové Michelson a Morley s jiným experimentem. Jejich experiment je zobrazen na obrázku. Celá aparatura se pohybuje ve směru L1 L_1\ L1 rychlostí v v\ v . Světlo ze zdroje dopadá na polopropustné zrcátko Z Z\ Z a rozdělí se na dva svazky, které se odrazí od zrcadel Z1 Z_1\ Z1 a Z2 Z_2\ Z2 , zase se na zrcátku spojí a na stínítku vytvoří interferenční obrazec. Za předpokladu, že pro světlo platí skládání rychlostí, se dá jednoduše vypočítat, že dráhu L1 L_1\ L1 světlo urazí za t1=2L1c11−v2c2t_1=\frac{2L_1}{c}\frac{1}{1-\frac{v^2}{c^2}}t1=c2L11−c2v21, zatímco dráhu L2 L_2\ L2 za t2=2L2c11−v2c2t_2=\frac{2L_2}{c}\frac{1}{\sqrt{1-\frac{v^2}{c^2}}}t2=c2L21−c2v21. Rozdíl mezi těmito dvěma časy, který se projeví v interferenčních proužcích je:
image:Mitchelson-Morley.jpg
Δt=t2−t1=2c(L21−v2c2−L11−v2c2)\Delta t =t_2-t_1=\frac{2}{c}\left(\frac{L_2}{\sqrt{1-\frac{v^2}{c^2}}}-\frac{L_1}{1-\frac{v^2}{c^2}}\right)Δt=t2−t1=c2(1−c2v2L2−1−c2v2L1)
Pokud se celá aparatura pootočí o 90°, tak je rozdíl časů:
Δtˉ=tˉ2−tˉ1=2c(L21−v2c2−L11−v2c2)\Delta \bar{t} =\bar{t}_2-\bar{t}_1=\frac{2}{c}\left(\frac{L_2}{1-\frac{v^2}{c^2}}-\frac{L_1}{\sqrt{1-\frac{v^2}{c^2}}}\right)Δtˉ=tˉ2−tˉ1=c2(1−c2v2L2−1−c2v2L1)
Rozdíl mezi těmito dvěma hodnotami je (v přiblížení Taylorova rozvoje):
Δtˉ−Δt=˙L1+L2cv2c2\Delta\bar{t}-\Delta t\dot=\frac{L_1+L_2}{c}\frac{v^2}{c^2}Δtˉ−Δt=˙cL1+L2c2v2
Experiment je tedy sice až druhého řádu v mocnině vc\frac{v}{c}cv, ale s tehdejší technikou měli být Michelson a Morley schopni změřit rychlost vůči éteru s dostatečnou přesností na to, aby byla vidět už např. rychlost pohybu Země okolo Slunce. Nicméně ať měřili, jak měřili, tak Země zůstávala zatvrzele vůči éteru nehybná a světlo se tedy pohybovalo po obou drahách s konstantní rychlostí.
Postupně bylo navrženo několik teorií ve smyslu, že látka nějak strhává éter s sebou, ale všechny byly nakonec vyvráceny.
Jako vysvětlení tohoto experimentu navrhl Lorentz (a nezávisle na něm i Fitzgeral a Larmold) kontrakční hypotézu - hypotézu, že se předměty zkracují ve směru pohybu oproti klidové délce poměrem L=Lklid1−v2c2L=L^{klid}\sqrt{1-\frac{v^2}{c^2}}L=Lklid1−c2v2. Tím se vzorec pro rozdíl časů průchodu paprsků aparaturou zlepšil na:
Δt=2c1−v2c2(L2klid−L1klid)\Delta t=\frac{2}{c\sqrt{1-\frac{v^2}{c^2}}}\left(L_2^{klid}-L_1^{klid}\right)Δt=c1−c2v22(L2klid−L1klid)
Nakonec Lorentz ještě přidal dilatační hypotézu, podle které je změřený čas Δt0 \Delta t_0\ Δt0 roven:
Δt0=Δt1−v2c2=2c(L2klid−L1klid)\Delta t_{0}=\Delta t\sqrt{1-\frac{v^2}{c^2}}=\frac{2}{c} \left( L_2^{klid}-L_1^{klid} \right)Δt0=Δt1−c2v2=c2(L2klid−L1klid)
Tím se odstranila závislost na rychlosti v v\ v a existence éteru se stala de facto nezměřitelná. Lorentz a Poincaré, který rozvinul Lorentzovu teorii, tak dospěli k Lorentzově transformaci, vůči níž jsou invariantní Maxwellovy rovnice, ale vše brali jen jako matematický trik, díky kterému vše náhodou vycházelo. Skutečným tvůrcem speciální teorie relativity se tedy stal Albert Einstein, který opustil koncept éteru, vzal konstantní rychlost světla jako základní přírodní princip a Lorentzovu transformaci z něj odvodil.
Výchozí principy
Speciální relativita má tři výchozí principy:
Newtonův zákon (existence inerciálního systému): Existuje kartézský vztažný systém (který se nazývá inerciální systém), vůči němuž se každý volný hmotný bod pohybuje rovnoměrně přímočaře.
Princip speciální relativity: Všechny inerciální systémy jsou rovnocenné.
Princip konstantní rychlosti světla: Rychlost světla je konstantní ve všech inerciálních soustavách, nezávisle na rychlosti zdroje.
První princip je více méně jen přeformulovaný Newtonův zákon, ale klade větší důraz na existenci inerciální soustavy.
Druhý princip říká, že fyzikální zákony musí mít ve všech inerciálních soustavách stejný tvar, a tedy že není možné provést žádný fyzikální experiment, kterým by se dal zjistit absolutní pohyb soustavy, protože ani žádný absolutní pohyb neexistuje. Tento princip je také v souladu s klasickou mechnikou, ale tam se nikdo rovnoprávností soustav příliš nezabývá.
Třetí princip je jediný, který se liší od klasické mechaniky, ale jeho důsledky jsou mnohem závažnější, než by se mohlo zdát, protože z něj vlastně vyplývá celá speciální relativita.
Z výchozích principů je nyní možné odvodit transformační vztahy mezi souřadnými soustavami, které se nazývají Lorentzova transformace. Její důležitou vlastností je, že inverzní (zpětná) transformace musí mít přesně stejný tvar jako dopředná s tím, že v v\ v se nahradí za −v\ -v −v. Vzhledem k tomu, že použití dopředné a zpětné transformace můsí být identita nezávisle na místě a čase provedení, transformace musí být lineární s koeficienty závislými jen na rychlosti v\ v v. Nadále budu navíc uvažovat jen pohyb ve směru osy x\ x x, protože ho vždy jde dosáhnout vhodným otočením souřadnic.
Dále se dá ukázat, že transformace souřadnice y y\ y závisí jen na velikosti rychlosti, protože pohyb ve směru x x\ x a −x -x\ −x je z hlediska osy y y\ y jen otočením, vůči němuž musí být invariantní. Nyní se ale s využitím dopředné a zpětné transformace dá ukázat, že:
y′=y .y'=y\ .y′=y .
To samé platí pro osu z\ z z:
z′=z .z'=z\ .z′=z .
Vzhledem k invarianci souřadnic vůči posunu ve směru y y\ y a z z\ z nemůže transformace času a x x\ x záviset na těchto proměnných, a tedy
x′=Ax+Bt ,x'=Ax+Bt\ ,x′=Ax+Bt ,
t′=Cx+Dt .t'=Cx+Dt\ .t′=Cx+Dt .
Pro počátek čárkované soustavy platí x′=0 x'=0\ x′=0 v čárkované soustavě a x=vt x=vt\ x=vt v nečárkované soustavě. Po dosazení do vztahu pro x′ x'\ x′ dostaneme B=−Av B=-Av\ B=−Av a tedy platí:
x′=A(x−vt) .x'=A(x-vt)\ .x′=A(x−vt) .
Platit musí i inverzní transformace z čárkované do nečárkované soustavy
x=A(x′+vt) .x=A(x'+vt)\ .x=A(x′+vt) .
Nyní se využije konstantní rychlost světla: pro záblesk vyslaný z bodu x=0 x=0\ x=0 v čase t=0 t=0\ t=0 musí platit x=ct x=ct\ x=ct a x′=ct′\ x'=ct' x′=ct′. Po dosazení do přímého a inverzního transformačního vztahu vychází
ct′=A(ct−vt),ct=A(ct′+vt′)⇒c2tt′=A2(c2+v2)tt′⇒A2=c2c2+v2.ct' = A(ct - vt) , ct = A(ct' + vt') \Rightarrow c^2tt'=A^2(c^2 + v^2)tt' \Rightarrow A^2 = \frac{c^2}{c^2 + v^2}. ct′=A(ct−vt),ct=A(ct′+vt′)⇒c2tt′=A2(c2+v2)tt′⇒A2=c2+v2c2.
Konstantu A A\ A označíme jako γ\ \gamma γ
γ=11−v2c2.\gamma=\frac{1}{\sqrt{1-\frac{v^2}{c^2}}}.γ=1−c2v21.
Když nyní sečteme transformaci pro x x\ x a transformaci pro x′ x'\ x′ přenásobenou γ \gamma\ γ , tak znovu po troše algebry dostaneme transformaci pro t t\ t . Celá Lorentzova transformace má nakonec tvar:
x′=γ(x−vt),x'=\gamma(x-vt),x′=γ(x−vt),
y′=y,y'=y, y′=y,
z′=z,z'=z, z′=z,
t′=γ(t−vc2x).t'=\gamma(t-\frac{v}{c^2}x). t′=γ(t−c2vx).
Můžeme zavést β=vc\beta = \frac{v}{c}β=cv a brát jako čtvrtou souřadnici ctctct místo ttt. Dostáváme pak možná přehlednější vztahy
x′=γ(x−βct),x'=\gamma(x-\beta ct),x′=γ(x−βct),
y′=y,y'=y, y′=y,
z′=z,z'=z, z′=z,
ct′=γ(ct−βx).ct'=\gamma(ct-\beta x). ct′=γ(ct−βx).
Této Lorentzově transformaci se říká speciální, protože je jen ve směru osy x\ x x. Zájemci o obecnou transformaci, která je výrazně složitější, se mohou podívat do některé učebnice speciální relativity. Způsob odvození, který je zde použit, vychází ze Semerákovy přednášky, v různých učebnicích si mohou zájemci najít několik dalších.
Dilatace času
Když porovnáme čas, který je spojen se stojícím pozorovatelem, a čas spojený s pozorovatelem (v čárkované soustavě), který se vůči němu pohybuje nenulovou rychlostí, tak z Lorentzovy transformace dostaneme:
Δt=γ(Δt′+vc2Δx′) \Delta t=\gamma\left(\Delta t'+\frac{v}{c^2}\Delta x'\right)\ Δt=γ(Δt′+c2vΔx′)
Δx′ \Delta x'\ Δx′ je ale rovno nule, protože čárkovaný pozorovatel se sám vůči sobě nehýbe. Čas spojený s pohybující se soustavou se nazývá vlastní čas a obvykle se značí τ \tau\ τ . Jeho vztah vůči času, který je měřený vnějším pozorovatelem je, jak je vidět předchozí rovnice:
Δt=γΔτ \Delta t=\gamma\Delta\tau\ Δt=γΔτ
Vzhledem k tomu, že γ≥1\gamma\geq 1γ≥1, z této rovnice vyplývá, že pro pohybující se předmět plyne čas pomaleji.
Kontrakce délek
Pokud naopak provedeme porovnání délky předmětu l\ l l, provedené ve vnější soustavě a v soustavě s ním spojené (čárkované), zjistíme, že:
l′=γ(l−vΔt) l'=\gamma(l-v\Delta t)\ l′=γ(l−vΔt)
Δt \Delta t\ Δt můžeme položit nule, protože vnější pozorovatel musí provést měření ve stejném okamžiku. Délka měřená v soustavě spojené s předmětem se nazývá klidová, značí se l0 l_0\ l0 a je rovna:
l0=γl l_0=\gamma l\ l0=γl
Odsud vyplývá, že pohybující se předmět se zkracuje ve směru pohybu.
Relativita současnosti a soumístnosti
Když si napíšeme vzorec pro transformaci prostorového intervalu
Δx′=γ(Δx−vΔt) \Delta x'=\gamma\left(\Delta x-v\Delta t\right)\ Δx′=γ(Δx−vΔt)
zjistíme, že události, které se pro jednoho pozorovatele udály na jednom místě (Δx=0 \Delta x=0\ Δx=0 ), se pro druhého pozorovatele udály jinde, pokud Δt≠0\Delta t\neq 0Δt=0. Podobný vztah platí i pro čas. Ze vzorce
Δt′=γ(Δt−vc2Δx) \Delta t'=\gamma\left(\Delta t-\frac{v}{c^2}\Delta x\right)\ Δt′=γ(Δt−c2vΔx)
je vidět, že události současné pro jednoho pozorovatele, nejsou současné pro jiného, který se vůči němu pohybuje.
Skládání rychlostí
Ve speciální relativitě se rychlosti neskládají pouhým sečtením, ale pro rychlost předmětu v soustavě II\ II II, která se vůči soustavě I\ I I pohybuje rychlostí v\ v v, platí:
vIIx=vIx−v1−vvIxc2v_{II}^x=\frac{v_I^x-v}{1-\frac{vv_I^x}{c^2}}vIIx=1−c2vvIxvIx−v
vIIy=vIyγ(1−vvIxc2)v_{II}^y=\frac{v_I^y}{\gamma\left(1-\frac{vv_I^x}{c^2}\right)}vIIy=γ(1−c2vvIx)vIy
Zájemci si mohou najít důkaz v zápiscích ze Semerákovy přednášky nebo v některé učebnici.
Minkowského prostoročas, světelný kužel
Nalezené provázání času a prostoru má hlubší formu, než jen formální transformační vztahy. Ve skutečnosti už čas a prostor nelze zcela oddělit, protože existuje jediný objekt zvaný prostoročas. Jeho konkrétní forma, která je používaná ve speciální relativitě, se nazývá Minkowskiho a je kartézským součenem euklidovské roviny E3\mathbb{E}^3E3 a času reprezentovaného R\mathbb{R}R. Jeho prvky již nejsou body v prostoru, ale události.
Formálně jsou události popsané vektory se čtyřmi složkami, z nichž první popisuje čas, kdy k události došlo, ale místo t t\ t se používá ct ct\ ct , aby měla souřadnice správný rozměr, a tři zbývající složky popisují, kde k události došlo. V této symbolice má Lorentzova transformace tvar:
$
\begin{pmatrix} ct' \x' \y' \z' \end{pmatrix}=
\begin{pmatrix} \gamma & -\gamma\beta&0&0\
-\gamma\beta&\gamma &0&0\
0&0&1&0\
0&0&0&1 \end{pmatrix}
\begin{pmatrix} ct\ x \ y \ z \end{pmatrix}
$
Matematická vložka
Když jsou vektorem popsány souřadnice v prostoru, je vhodné zapsat v podobném tvaru všechny fyzikální veličiny. Nevystačíme si však jen s vektory, ale je obecně nutné použít tenzory různých řádů. Tenzor je zcela obecně definován jako veličina, která se transformuje jako tenzor. A to ve speciální relativitě znamená pomocí Lorentzovy transformace. Když transformační matici Λ νμ\Lambda^{\mu}_{\ \nu} Λ νμ a její inverzi Λμ ν\Lambda_{\mu}^{\ \nu} Λμ ν definujeme vztahy:
$\Lambda^{\mu}_{\ \nu} =
\begin{pmatrix} \gamma & -\gamma\beta&0&0\
-\gamma\beta&\gamma &0&0\
0&0&1&0\
0&0&0&1 \end{pmatrix} \quad
\Lambda_{\mu}^{\ \nu}=\left(\Lambda^{\mu}_{\ \nu}\right)^{-1}=
\begin{pmatrix} \gamma & +\gamma\beta&0&0\
+\gamma\beta&\gamma &0&0\
0&0&1&0\
0&0&0&1 \end{pmatrix}
$
tak musejí jenotlivé tenzory splňovat:
*Skaláry: Φ′(x′)=Φ(x) \Phi'(x')=\Phi(x)\ Φ′(x′)=Φ(x)
*Kontravariantní vektory: A′μ(x′)=Λ νμAν(x)A'^{\mu}(x')=\Lambda^{\mu}_{\ \nu}A^{\nu}(x)A′μ(x′)=Λ νμAν(x)
*Kovariantní vektory (formy):αμ′(x′)=Λμ ναν(x)\alpha'_{\mu}(x')=\Lambda_{\mu}^{\ \nu}\alpha_{\nu}(x)αμ′(x′)=Λμ ναν(x)
*Obecné tenzory: T′ρ…μ…(x′)=Λ νμ…Λρ σ…Tσ…ν…(x){T'}^{\mu\dots}_{\rho\dots}(x')=\Lambda^{\mu}_{\ \nu}\dots\Lambda_{\rho}^{\ \sigma}\dots T_{\sigma\dots}^{\nu\dots}(x)T′ρ…μ…(x′)=Λ νμ…Λρ σ…Tσ…ν…(x)
Již několikrát uváděná Lorentzova transformace má tedy tvar:
x′μ=Λ νμxνx'^{\mu}=\Lambda^{\mu}_{\ \nu}x^{\nu}x′μ=Λ νμxν
K tomu, aby bylo možné s těmito objekty pracovat, je nutné umět zdvihat a spouštět indexy a také zadefinovat skalární součin. K tomu se používá Minkowského metrika ημν\ \eta_{\mu\nu} ημν:
$\eta_{\mu\nu}=\begin{pmatrix}
-1&0&0&0\0&1&0&0\0&0&1&0\0&0&0&1 \end{pmatrix}$
Metrika s horními indexy se definuje jako inverzní matice, tj. platí ημνηνρ=δμρ\eta_{\mu\nu}\eta^{\nu\rho}=\delta_{\mu}^{\rho}ημνηνρ=δμρ, a má přesně stejné složky. Zdvihání a spouštění indexů pak vypadá např. takto:
Aμ=ημνAν A^{\mu}=\eta^{\mu\nu}A_{\nu}\ Aμ=ημνAν nebo Vμ=ημνVν V_{\mu}=\eta_{\mu\nu}V^{\nu}\ Vμ=ημνVν
Skalární součin je pak dán libovolným z následujících výrazů:
A.B=AμημνBν=AμημνBν=AμBν=AμBν\mathbf{A.B}=A_{\mu}\eta^{\mu\nu}B_{\nu}=A^{\mu}\eta_{\mu\nu}B^{\nu}=A_{\mu}B^{\nu}=A^{\mu}B_{\nu}A.B=AμημνBν=AμημνBν=AμBν=AμBν
Minkowského prostoročas
Nyní když máme určitou matematickou výbavu se můžeme pustit do analýzy Minkowského prostoročasu. Nejprve si zadefinujeme prostoročasový interval:
Δs2=ημνΔxμΔxν=−c2Δt2+Δx2+Δy2+Δz2 \Delta s^2=\eta_{\mu\nu}\Delta x^{\mu}\Delta x^{\nu}=-c^2\Delta t^2+\Delta x^2+\Delta y^2+\Delta z^2\ Δs2=ημνΔxμΔxν=−c2Δt2+Δx2+Δy2+Δz2
Když nyní zkusíte za Δxμ \Delta x^{\mu}\ Δxμ dosadit Δx′μ \Delta x'^{\mu}\ Δx′μ podle Lorentzovy transformace, tak zjistíte, že prostoročasový interval zůstal stejný, tj. Δs2=Δs′2 \Delta s^2=\Delta s'^2\ Δs2=Δs′2 . Prostoročasový interval je tedy invariant. Protože skalární součin definovaný pomocí Minkowského metriky je indefinitní, tak prostoročasový interval může být kladný i záporný, a nazývá se:
*časupodobný, pokud Δs2<0 \Delta s^2<0\ Δs2<0
*nulový, pokud Δs2=0 \Delta s^2=0\ Δs2=0
*prostorupodobný, pokud Δs2>0 \Delta s^2>0\ Δs2>0
Toto rozdělení na časupodobné, prostorupodobné a nulové lze použít i pro vektory a křivky. U vektorů spočítáme "normu" ημνVμVν \eta_{\mu\nu}V^{\mu}V^{\nu}\ ημνVμVν a podle toho, zda je tato norma větší či menší než nula určíme času- či prostorupodobnost. U křivek určíme normu tečného vektoru a rozdělení provedeme podle ní. Nicméně u křivek se může stát, že část bude prostorupodobná, část nulová a část časupodobná.
Velikost prostočasového intervalu pro reálné pozorovatele je Δs2=−c2Δτ2 \Delta s^2=-c^2\Delta\tau^2\ Δs2=−c2Δτ2 , protože v soustavě spojené s pozorovatelem se pozorovatel pohybuje jen ve směru času, a tento čas je zároveň i jeho vlastním časem.
Prostoročas se tedy rozdělí na dvě části podle toho, zda je poloha bodu vůči počátku prostorupodobná či časupodobná, přičemž hranici mezi nimi je tvořena body nulovými. Tato nulová hranice tvoří kužel, kterému se říká světelný, a který je obecné popsán rovnicí ct=x2+y2+z2ct=\sqrt{x^2+y^2+z^2}ct=x2+y2+z2. V případě, že pracujeme jen v rovině t xt\ xt x, je světelný kužel tvořen dvěma přímkami, které procházejí počátkem a svírají s osami úhel 45°. Na obrázku je světelný kužel nakreslen čárkovaně. Časupodobné body leží uvnitř kužele (tedy okolo osy ct ct\ ct ) a prostorupodobné body vně kužele (tedy poblíž osy x x\ x ).
Při provedení Lorentzovy transformace zůstane struktura časoprostoru stejná, ale osy se sklopí (viz obrázek) směrem k jedné části světelného kužele (jejich rovnice v původních souřadnicích jsou ct=cvxct=\frac{c}{v}xct=vcx a ct=βxct=\beta xct=βx. Samotný světelný kužel zůstává na místě, protože rychlost světla je konstantní.
image:Kužel1.jpg
Upozornil bych ještě, že křivky Δs2=konst \Delta s^2=konst\ Δs2=konst nejsou přímky, ale rovnoosé hyperboly dané rovnicí −c2t2+x2=konst -c^2t^2+x^2=konst\ −c2t2+x2=konst , ilustrace viz obrázek.
image:Kužel2.jpg
Pozorovatel nebo jakýkoliv reálný objekt se v časoprostorovém diagramu musí pohybovat po křivce, která je v každém bodě časupodobná (nebo nulová pro fotony), a samozřejmě se pohybuje ve směru času. Pokud se podíváme na pozorovatele v jednom časovém okamžiku, tak věci, které může nějak ovlivnit, se nacházejí uvnitř budoucího světelného kužele, a proto se této oblasti říká absolutní budoucnost. Naopak, události, které mohly ovlivnit jeho, se nacházejí uvnitř minulého světelného kužele, této oblasti se říká absolutní minulost. Oblast mimo světelný kužel se nazává relativní současnost, protože pro každý bod existuje inerciální soustava, ve které má daný bod stejný čas jako pozorovatel.
Relativistická pohybová rovnice, ekvivalence hmotnosti a energie
Čtyřrychlost a čtyřhybnost
Nyní zaměřme svou pozornost na pohyb v prostoročase. Běžná rychlost není vhodná pro popis pohybu, protože má jen tři složky a není tenzorová. Proto se zavádí 4rychlost výrazem:
uμ=dxμdτu^{\mu}=\frac{dx^{\mu}}{d\tau}uμ=dτdxμ
Takto definovaná rychlost je tenzorový objekt, protože dxμ dx^{\mu}\ dxμ se transformuje Lozentzovou transformací a dτ d\tau\ dτ je invariant. Vyjádření 4rychlosti pomocí běžné rychlosti má tvar:
uμ=dxμdtdtdτ=γ(c,v)u^{\mu}=\frac{dx^{\mu}}{dt}\frac{dt}{d\tau}=\gamma(c,\mathbf{v})uμ=dtdxμdτdt=γ(c,v)
protože dtdτ=γ\frac{dt}{d\tau}=\gammadτdt=γ (viz dilatace času). Velikost 4rychlosti je vždy:
ημνuμuν=ημνdxμdxνdτ2=ds2dτ2=−c2\eta_{\mu\nu}u^{\mu}u^{\nu}=\frac{\eta_{\mu\nu}dx^{\mu}dx^{\nu}}{d\tau^2}=\frac{ds^2}{d\tau^2}=-c^2ημνuμuν=dτ2ημνdxμdxν=dτ2ds2=−c2
Ze 4rychlosti zadefinujeme 4hybnost výrazem:
pμ=m0uμ=m0γ(c,v)=(mc,p)p^{\mu}=m_0u^{\mu}=m_0\gamma(c,\mathbf{v})=(mc,\mathbf{p)}pμ=m0uμ=m0γ(c,v)=(mc,p)
m0 m_0\ m0 je klidová hmotnost, tj. hmotnost měřená v soustavě spojené s předmětem, a dá se ukázat, že je invariantní vůči Lorentzově transformaci. Neklidová hmotnost m=γm0 m=\gamma m_0\ m=γm0 se ovšem při pohybu mění, což naznačuje, že kinetická energie přispívá do hmotnosti. Velikost 4hybnosti je:
ημνpμpν=−m02c2\eta_{\mu\nu}p^{\mu}p^{\nu}=-m_0^2c^2ημνpμpν=−m02c2
Klidová hmotnost se při fyzikálních dějích nemusí zachovávat. Jednoduchým příkladem je nepružná srážka dvou stejných těles, která proti sobě letí stejnou rychlostí. Při srážce se tělesa zastaví a spojí se v jeden objekt, jehož hmotnost je:
M=γ1m0(1)+γ2m0(2)=2γm0≥2m0M=\gamma_1m_0^{(1)}+\gamma_2m_0^{(2)}=2\gamma m_0\geq 2m_0M=γ1m0(1)+γ2m0(2)=2γm0≥2m0
A protože zbylé těleso se nehýbe, je jeho hmotnost současně klidovou hmotností, která se ovšem oproti součtu klidových hmotností obou původních předmětů zvětšila.
Pohybová rovnice
Relativistická pohybová rovnice má tvar:
dpμdτ=Fμ\frac{dp^{\mu}}{d\tau}=F^{\mu}dτdpμ=Fμ
kde Fμ F^{\mu}\ Fμ je čtyřsíla. Pokud se podíváme na časovou složku rovnice (tj. μ=0 \mu=0\ μ=0 ), tak zjistíme, že F0=d(cm)dτ=γcdm0dtF^0=\frac{d(cm)}{d\tau}=\gamma c\frac{dm_0}{dt}F0=dτd(cm)=γcdtdm0. Pro prostorové složky (μ=1,2,3 \mu=1,2,3\ μ=1,2,3 ) platí:
dpdτ=dpdtdtdτ=γdpdt=γf\frac{d\mathbf{p}}{d\tau}=\frac{d\mathbf{p}}{dt}\frac{dt}{d\tau}=\gamma\frac{d\mathbf{p}}{dt}=\gamma \mathbf{f}dτdp=dtdpdτdt=γdtdp=γf
kde f\mathbf{f}f klasická síla. Při rozpisu dpdt\frac{d\mathbf{p}}{dt}dtdp dostaneme:
dpdt=ddt(m0γv)=dm0dtγv+m0dγdtv+m0γa=dm0dtγv+mγ2v.ac2v+ma=f\frac{d\mathbf{p}}{dt}=\frac{d}{dt}(m_0\gamma\mathbf{v})=\frac{dm_0}{dt}\gamma\mathbf{v}+m_0\frac{d\gamma}{dt}\mathbf{v}+m_0\gamma\mathbf{a}=\frac{dm_0}{dt}\gamma\mathbf{v}+m\gamma^2\frac{\mathbf{v.a}}{c^2}\mathbf{v}+m\mathbf{a}=\mathbf{f}dtdp=dtd(m0γv)=dtdm0γv+m0dtdγv+m0γa=dtdm0γv+mγ2c2v.av+ma=f
Všimněte si, že ze třech členů je klasický jen ten poslední.Pokud promítneme tuto rovnici na směr kolmý k rychlosti, tak dostaneme:
ma⊥=f⊥m\mathbf{a}_{\perp}=\mathbf{f}_{\perp}ma⊥=f⊥
Pokud naopak provedeme průmět na na směr rychlosti, tak po troše úprav získáme:
mγ2a∣∣=f∣∣m\gamma^2\mathbf{a}_{||}=\mathbf{f}_{||}mγ2a∣∣=f∣∣
Při urychování ve směru rychlosti tedy klade těleso větší odpor, než ve směru kolmém. To je způsobeno tím, že je nutné dodat energii na zvýšení hmotnosti.
Ekvivalence hmotnosti a energie
Předpokládejme nyní, že práce vykonaná při urychlení je dána klasickým výrazem dW=f.dr dW=\mathbf{f}.d\mathbf{r}\ dW=f.dr a že veškerá dodané energie přejde na kinetickou. Přírůstek kinetické energie je tedy dán výrazem:
dT=f.dr=f∣∣.vdt=mγ2dvdtvdt=m0v1−v2c23dv=c2m0dγ=d(mc2)dT=\mathbf{f}.d\mathbf{r}=\mathbf{f}_{||}.\mathbf{v}dt=m\gamma^2\frac{dv}{dt}v dt=m_0\frac{v}{\sqrt{1-\frac{v^2}{c^2}}^3}dv=c^2m_0d\gamma=d(mc^2)dT=f.dr=f∣∣.vdt=mγ2dtdvvdt=m01−c2v23vdv=c2m0dγ=d(mc2)
Když nyní tento výraz zintegrujeme, tak dostaneme:
T=mc2−m0c2 T=mc^2-m_0c^2\ T=mc2−m0c2
Výraz m0c2 m_0c^2\ m0c2 můžeme interpretovat jako klidovou energii tělesa a mc2 mc^2\ mc2 jako celkovou energii, čímž dospíváme k slavnému Einsteinovu vzorci:
E=mc2 E=mc^2\ E=mc2
Když nyní máme vztah mezi energií a hmotností, tak můžeme interpretovat nultou složku 4hybnosti cm cm\ cm jako Ec\frac{E}{c}cE a můžeme odvodit vztah mezi energií a hybností. Nejdříve spočítáme velikost 4hybnosti:
ημνpμpν=−m02c2=−E2c2+p2\eta_{\mu\nu}p^{\mu}p^{\nu}=-m_0^2c^2=-\frac{E^2}{c^2}+p^2ημνpμpν=−m02c2=−c2E2+p2
a odtud je vidět, že:
E2=m02c4+p2c2 E^2=m_0^2c^4+p^2c^2\ E2=m02c4+p2c2
E=cm02c2+p2E=c\sqrt{m_0^2c^2+p^2}E=cm02c2+p2
V limitě malých rychlostí platí:
E≈m0c2(1+p22m02c2)=m0c2+p22m0E\approx m_0c^2\left(1+\frac{p^2}{2m_0^2c^2}\right)=m_0c^2+\frac{p^2}{2m_0}E≈m0c2(1+2m02c2p2)=m0c2+2m0p2
čímž dostáváme klasický výraz pro kinetickou energii.
Pro nehmotné částice je m0=0 m_0=0\ m0=0 a proto E=cp E=cp\ E=cp .
Tenzor energie a hybnosti
Vhodným způsobem, jak popsat hmotu je tenzor energie a hybnosti Tμν T^{\mu\nu}\ Tμν . Pokud máme uzavřený systém, tak potom se dají pohybové rovnice zapsat ve tvaru:
T ,νμν=0T^{\mu\nu}_{\ \ ,\nu}=0T ,νμν=0
Pro nejjednodušší systém, který lze vytvořit, - hmotný prach - má tvar:
Tμν=ρ00uμuν T^{\mu\nu}=\rho_{00} u^{\mu}u^{\nu}\ Tμν=ρ00uμuν
kde ρ00 \rho_{00}\ ρ00 je klidová hustota klidové hmotnosti. Jeho složky jsou rovny:
T00=ρ00γ2c2=ρc2 T^{00}= \rho_{00} \gamma^2 c^2=\rho c^2\ T00=ρ00γ2c2=ρc2
což je hustota energie
T0i=ρ00cγ2vi=ρcvi T^{0i}=\rho_{00} c \gamma^2 v^i = \rho c v^i\ T0i=ρ00cγ2vi=ρcvi
což je až na c c\ c hustota hybnosti a
Tij=ρ00γ2vivj=ρvivj T^{ij}=\rho_{00}\gamma^2v^iv^j=\rho v^iv^j\ Tij=ρ00γ2vivj=ρvivj
což je tok i-té složky hustoty hybnosti je směru j-té souřadnice.
Z pohybových rovnic dostaneme
T ,νμν=(ρ00uν),νuμ+ρ00aμ=0T^{\mu\nu}_{\ \ ,\nu}=(\rho_{00}u^{\nu})_{,\nu}u^{\mu}+\rho_{00}a^{\mu}=0T ,νμν=(ρ00uν),νuμ+ρ00aμ=0
(ρ00uν),ν=0 (\rho_{00}u^{\nu})_{,\nu}=0\ (ρ00uν),ν=0 je rovnice kontinuity a aμ=0 a^{\mu}=0\ aμ=0 nám říká, že volná hmota se pohybuje rovnoměrně přímočaře.
Větší význam má tenzor energie a hybnosti v OTR, kde je možné zahrnou gravitaci.
Maxwellovy rovnice ve čtyřrozměrném tvaru
Čtyřproud a čtyřpotenciál
Maxwellovy rovnice v tradičním tvaru tu rozebírat nebudu, to si přečtěte v elektrodynamice, a pustím rovnou do relativistických veličin.
Jako první definujeme 4proud (respektive jeho hustotu) jako:
jμ=ρ0uμ=ργuμ=(cρ,j)j^{\mu}=\rho_0 u^{\mu}=\frac{\rho}{\gamma}u^{\mu}=(c\rho,\mathbf{j}) jμ=ρ0uμ=γρuμ=(cρ,j)
kde ρ \rho\ ρ a j\mathbf{j}j jsou hustota náboje a proudu a ρ0 \rho_0\ ρ0 klidová hustota náboje. Rovnice kontinuity pak má elegentní tvar:
j, μμ=0=dρdt+divjj^{\mu}_{,\ \mu}=0=\frac{d\rho}{dt}+\operatorname{div}\mathbf{j}j, μμ=0=dtdρ+divj
Místo skalárního potenciálu φ \varphi\ φ a vektorového potenciálu A \mathbf{A}\ A se používá 4potenciál Aμ A^{\mu}\ Aμ :
Aμ=(φc,A)A^{\mu}=(\frac{\varphi}{c},\mathbf{A})Aμ=(cφ,A)
Lorenzova kalibrace 1c2∂φ∂t+divA=0\frac{1}{c^2}\frac{\partial \varphi}{\partial t}+\operatorname{div}\mathbf{A}=0c21∂t∂φ+divA=0 lze zapsat ve tvaru:
A ,μμ=0A^{\mu}_{\ ,\mu}=0A ,μμ=0
Když definujeme Dalambertův operátor vzorcem:
□=ημν∂∂xμ∂∂xν=−1c2∂2∂t2+Δ\Box=\eta^{\mu\nu}\frac{\partial}{\partial x^{\mu}}\frac{\partial}{\partial x^{\nu}}=-\frac{1}{c^2}\frac{\partial^2}{\partial t^2}+\Delta□=ημν∂xμ∂∂xν∂=−c21∂t2∂2+Δ
pak lze zapsat vlnové rovnice pro potenciály takto:
□Aμ=−μjμ\Box A^{\mu}=-\mu j^{\mu}□Aμ=−μjμ
Rozpisem se můžete přesvědčit, že jsou stejné jako ty, které dostaneme z Maxwellových rovnic.
Tenzor elektromagnetického pole
Elektrické a magnetické pole se ve speciální relativitě reprezentuje tenzorem elektromagnetického pole, který je definovaný:
Fμν=Aν,μ−Aμ,ν F_{\mu\nu}=A_{\nu,\mu}-A_{\mu,\nu}\ Fμν=Aν,μ−Aμ,ν
Tenzor je antisymetrický a rozpisem složek se můžete přesvědčit, že platí:
Ei=−cF0i E_i=-cF_{0i}\ Ei=−cF0i
Bi=12ϵi jkFjkB_i=\frac{1}{2}\epsilon_i^{\,\, jk}F_{jk}Bi=21ϵijkFjk
Tenzor má tedy celkově tvar:
$F_{\mu\nu}=\begin{pmatrix}
0&-\frac{E_1}{c}&-\frac{E_2}{c}&-\frac{E_3}{c}\
\frac{E_1}{c}&0&B_3&-B_2\
\frac{E_2}{c}&-B_3&0&B_1\
\frac{E_3}{c}&B_2&-B_1&0
\end{pmatrix}$
U kontravariantního tenzoru se jen prohodí znaménko u E\mathbf{E}E:
$F^{\mu\nu}=\begin{pmatrix}
0&\frac{E_1}{c}&\frac{E_2}{c}&\frac{E_3}{c}\
-\frac{E_1}{c}&0&B_3&-B_2\
-\frac{E_2}{c}&-B_3&0&B_1\
-\frac{E_3}{c}&B_2&-B_1&0
\end{pmatrix}$
Ještě bych poznamenal, že stopa tenzoru je nulová a že tenzor vysčítaný sám se sebou je důležitý invariant:
F μμ=0F^{\mu}_{\ \mu}=0F μμ=0
FμνFμν=2B2−2E2c2F_{\mu\nu}F^{\mu\nu}=2\mathbf{B}^2-2\frac{\mathbf{E}^2}{c^2}FμνFμν=2B2−2c2E2
Maxwellovy rovnice
Maxwellovy rovnice mají tvar:
F ,νμν=μjμF^{\mu\nu}_{\ \ ,\nu}=\mu j^{\mu}F ,νμν=μjμ
ParseError: KaTeX parse error: Undefined control sequence: \[ at position 4: F_{\̲[̲\mu\nu,\rho]cyk…
První z rovnic je ekvivalentní:
ParseError: KaTeX parse error: Undefined control sequence: \mbox at position 41: …{D}=\rho \quad \̲m̲b̲o̲x̲{a}
rotH=∂D∂t+j\operatorname{rot}\mathbf{H}=\frac{\partial \mathbf{D}}{\partial t}+\mathbf{j}rotH=∂t∂D+j
a druhá z nich:
ParseError: KaTeX parse error: Undefined control sequence: \mbox at position 36: …athbf{B}=0\quad\̲m̲b̲o̲x̲{a}
rotE=−∂B∂t\operatorname{rot}\mathbf{E}=-\frac{\partial\mathbf{B}}{\partial t}rotE=−∂t∂B
Zájemci si mohou dokázat rozpisem do složek.
Lorentzova 4síla působící na nabité částice je:
Fμ=qFμνuν F^{\mu}=qF^{\mu\nu}u_{\nu}\ Fμ=qFμνuν
Její složky jsou:
Fi=qγ(E+v×B)F^i=q\gamma(\mathbf{E}+\mathbf{v}\times\mathbf{B})Fi=qγ(E+v×B)
F0=γqcE.vF^0=\frac{\gamma q}{c}\mathbf{E.v}F0=cγqE.v
a reprezentují tedy klasickou sílu a výkon. Relativistický výkon daný:
Fμuμ=qFμνuμuν=0 F^{\mu}u_{\mu}=qF^{\mu\nu}u_{\mu}u_{\nu}=0\ Fμuμ=qFμνuμuν=0
je roven nule a tedy Lozentzova 4síla nemění klidovou hmotnost tělesa
Tenzor energie a hybnosti
Vakuové Maxwellovy rovnice také velice hezky vyplývají z tenzoru energie a hybnosti, který je pro elektromagnetické pole definovaný:
Tμν=1μ(F σμFνσ−14ημνFρσFρσ)T^{\mu\nu}=\frac{1}{\mu}\left(F^{\mu}_{\,\, \sigma}F^{\nu\sigma}-\frac{1}{4}\eta^{\mu\nu}F^{\rho\sigma}F_{\rho\sigma}\right)Tμν=μ1(FσμFνσ−41ημνFρσFρσ)
Jeho složky jsou rovny:
T00=12(E.D+B.H)=wT^{00}=\frac{1}{2}\left(\mathbf{E.D}+\mathbf{B.H}\right)=wT00=21(E.D+B.H)=w
T0j=1cE×H=1cST^{0j}=\frac{1}{c}\mathbf{E}\times\mathbf{H}=\frac{1}{c}\mathbf{S}T0j=c1E×H=c1S
Tij=δijw−EiDj−HiBj T^{ij}=\delta^{ij}w-E^iD^j-H^iB^j\ Tij=δijw−EiDj−HiBj
a tedy postopně reprezentují hustotu energie, Poyntingův vektor toku energie a Maxwellův tenzor napětí. Odvození tvaru tenzoru je velmi hezké v obecné relativitě, ale to zde nemohu rozebírat, takže se smiřte s tím, že je udělán tak aby jeho složky odpovídamy výše uvedeným veličinám. Pohybové rovnice jsou rovny:
$\mu T^{\mu\nu}{\ \ ,\nu}=0=F^{\mu}{\ \sigma}F^{\nu\sigma}{\ \ ,\nu}+F^{\mu\sigma}{\ \ ,\nu}F^{\nu}{\ \sigma}-\frac{1}{2}\eta^{\mu\nu}F^{\rho\sigma}{\ \ ,\nu}F_{\rho\sigma}
=F^{\mu}{\ \sigma}F^{\nu\sigma}{\ \ ,\nu}-\frac{1}{2} F^{\rho\sigma,\mu} F_{\rho\sigma}+\frac{1}{2}\left( F^{\mu\sigma,\rho} F_{\rho\sigma}+F^{\mu\rho,\sigma} F_{\rho\sigma}\right)+\frac{1}{2}\left( F^{\mu\sigma,\rho} F_{\rho\sigma}-F^{\mu\rho,\sigma} F_{\rho\sigma}\right)
=F^{\mu}{\ \sigma}F^{\nu\sigma}{\ \ ,\nu}-\frac{1}{2}\left( F^{\rho\sigma,\mu}+F^{\mu\rho,\sigma}+F^{\sigma\mu,\rho}\right)F_{\rho\sigma}=0
$
Položením obou částí výrazu rovno nule dostaneme vakuové Maxwellovy rovnice rovnice. Za přítomnosti nábojů a proudu je vše komplikovanější a nebudu to zde rozebítat.
Státní závěrečná zkouška