KTP1:Kapitola4: Porovnání verzí
Z WikiSkripta FJFI ČVUT v Praze
(Založena nová stránka: %\wikiskriptum{KTP1} \chapter{Lagrangeovský formalismus klasické teorie pole} \section{Klasické částice} Začneme Lagrangeovým formalismem pro částice a následn...) |
|||
Řádka 349: | Řádka 349: | ||
\begin{figure} | \begin{figure} | ||
\centering | \centering | ||
− | \includegraphics[scale=.7]{ | + | \includegraphics[scale=.7]{poznamky_1.jpg} |
\end{figure} | \end{figure} | ||
\begin{figure} | \begin{figure} | ||
\centering | \centering | ||
− | \includegraphics[scale=.7]{ | + | \includegraphics[scale=.7]{poznamky_2.jpg} |
\end{figure} | \end{figure} | ||
\begin{figure} | \begin{figure} | ||
\centering | \centering | ||
− | \includegraphics[scale=.7]{ | + | \includegraphics[scale=.7]{poznamky_3.jpg} |
\end{figure} | \end{figure} | ||
\begin{figure} | \begin{figure} | ||
\centering | \centering | ||
− | \includegraphics[scale=.7]{ | + | \includegraphics[scale=.7]{poznamky_4.jpg} |
\end{figure} | \end{figure} |
Aktuální verze z 19. 2. 2013, 20:39
[ znovu generovat, | výstup z překladu ] | Kompletní WikiSkriptum včetně všech podkapitol. | |
PDF Této kapitoly | [ znovu generovat, | výstup z překladu ] | Přeložení pouze této kaptioly. |
ZIP | Kompletní zdrojový kód včetně obrázků. |
Součásti dokumentu KTP1
součást | akce | popis | poslední editace | soubor | |||
---|---|---|---|---|---|---|---|
Hlavní dokument | editovat | Hlavní stránka dokumentu KTP1 | Maresj23 | 18. 2. 2013 | 15:56 | ||
Řídící stránka | editovat | Definiční stránka dokumentu a vložených obrázků | Maresj23 | 3. 6. 2014 | 20:42 | ||
Header | editovat | Hlavičkový soubor | Admin | 19. 2. 2013 | 10:24 | header.tex | |
Kapitola0 | editovat | Úvod | Maresj23 | 3. 6. 2014 | 20:43 | kapitola0.tex | |
Kapitola1 | editovat | Klein-Gordonova rovnice | Maresj23 | 18. 2. 2013 | 15:50 | kapitola1.tex | |
Kapitola2 | editovat | Diracova rovnice | Maresj23 | 18. 2. 2013 | 15:50 | kapitola2.tex | |
Kapitola3 | editovat | Prokova rovnice | Maresj23 | 18. 2. 2013 | 15:50 | kapitola3.tex | |
Kapitola4 | editovat | Lagrangeovský formalismus klasické teorie pole | Maresj23 | 19. 2. 2013 | 20:39 | kapitola4.tex | |
Kapitola5 | editovat | Kvantování volných polí a částicová interpretace | Maresj23 | 18. 2. 2013 | 15:51 | kapitola5.tex | |
Kapitola6 | editovat | Interakce kvantových polí | Maresj23 | 18. 2. 2013 | 15:51 | kapitola6.tex | |
KapitolaA | editovat | Literatura | Maresj23 | 18. 2. 2013 | 15:55 | literatura.tex |
Vložené soubory
soubor | název souboru pro LaTeX |
---|---|
Soubor:ktp1_feynman1.png | feynman1.png |
Soubor:ktp1_feynman2.png | feynman2.png |
Soubor:ktp1_poznamky_1.jpg | poznamky_1.jpg |
Soubor:ktp1_poznamky_2.jpg | poznamky_2.jpg |
Soubor:ktp1_poznamky_3.jpg | poznamky_3.jpg |
Soubor:ktp1_poznamky_4.jpg | poznamky_4.jpg |
Soubor:musite.png | musite.png |
Zdrojový kód
%\wikiskriptum{KTP1} \chapter{Lagrangeovský formalismus klasické teorie pole} \section{Klasické částice} Začneme Lagrangeovým formalismem pro částice a následně přejdeme k popisu pole. Základním objektem je Lagrangeova funkce \begin{equation*} L=L(q_\alpha(t),\dot{q_\alpha}(t)), \end{equation*} kde $\alpha$ probíhá přes všechny obecné souřadnice (stupně volnosti). Fyzikální pohyb se řídí principem stacionární akce. Tedy se děje po takových trajektoriích, na kterých funkcionál \begin{equation*} S=\int_{t_1}^{t_2} \dif t L(q_\alpha(t),\dot{q_\alpha}(t)) \end{equation*} nabývá extremální hodnoty, tedy $\delta S=0$. Tento princip pak vede na Lagrangeovy rovnice: \begin{equation*} \frac{\dif}{\dif t} \frac{\parc L}{\parc \dot{q_\alpha}} - \frac{\parc L}{\parc q_\alpha} =0. \end{equation*} K odvození těchto rovnic se používá integrace per-partes a předpoklad, že variace na koncích časového intervalu jsou nulové. \section{Klasické pole} Při přechodu k teorii pole "zrovnoprávníme" čas s prostorovými souřadnicemi a akci budeme nyní psát ve tvaru \begin{equation*} S=\int \dif t \int \dif^3 x \mathcal{L}(\varphi(x),\parc_\mu \varphi(x)) = \int \dif^4 x\mathcal{L}(\varphi(x),\parc_\mu \varphi(x)). \end{equation*} Zde $\mathcal{L}$ je \textbf{hustota Lagrangeovy funkce} nebo krátce \textbf{Lagrangián} a $\varphi$ je souřadnice pole. Jelikož $\varphi(x)$ je funkcí souřadnic, máme systém o nekonečném počtu stupňů volnosti. (Hodnota pole v každém bodě je nezávislý stupeň volnosti.) Poznamenejme, že v jednotkách $c=\hbar=1$ je akce $S$ bezrozměrná. Nyní použijeme stejný variační princip $\delta S=0$ a obdobnou podmínku, že "povrchový člen" (viz níže) v integraci per-partes je nulový. Máme tedy: \begin{align*} 0=\delta S= \int \dif^4 x\mathcal{L} = \int \dif^4 x \left[ \frac{\parc \mathcal{L}}{\parc \varphi} \delta \varphi + \frac{\parc \mathcal{L}}{\parc (\parc_\mu \varphi)} \delta (\parc_\mu \varphi) \right] = \\ \int \dif^4 x \left[ \frac{\parc \mathcal{L}}{\parc \varphi} \delta \varphi + \parc_\mu \left( \frac{\parc \mathcal{L}}{\parc (\parc_\mu \varphi)} \delta \varphi \right) - \parc_\mu \left( \frac{\parc \mathcal{L}}{\parc (\parc_\mu \varphi)}\right) \delta \varphi \right] = \\ \int \dif^4 x \left[ \frac{\parc \mathcal{L}}{\parc \varphi} - \parc_\mu \left( \frac{\parc \mathcal{L}}{\parc (\parc_\mu \varphi)}\right) \right] \delta \varphi , \end{align*} kde jsme využili jednak toho, že $\delta (\parc_\mu \varphi) = \parc_\mu (\delta \varphi)$, jednak nulovosti prostředního "povrchového" členu. To odpovídá předpokladu, že všechna pole dostatečně rychle ubývají do nekonečna, a tedy jsou na dostatečně vzdálené hranici nulová. Jelikož rovnice musí platit pro všechna $\delta \varphi$ (přesněji ze základní věty variačního počtu) dostáváme rovnice: \begin{equation*} \parc_\mu \frac{\parc \mathcal{L}}{\parc (\parc_\mu \varphi)} - \frac{\parc \mathcal{L}}{\parc \varphi} = 0. \end{equation*} Opakováním stejného postupu pro případné další složky pole bychom dostali zobecnění \textbf{Euler-Lagrangeových rovnic} v podobě: \begin{equation*} \parc_\mu \frac{\parc \mathcal{L}}{\parc (\parc_\mu \varphi_r)} - \frac{\parc \mathcal{L}}{\parc \varphi_r} = 0 \quad r=1, 2, \ldots , n. \end{equation*} Zde ještě poznamenáme, že dimenze $\mathcal{L}$ je $M^4$. Je to vidět z toho, že $\dif^4 x$ má rozměr $L^4=M^{-4}$ a výsledná akce je bezrozměrná. \section{Příklady} Nyní uvedeme několik příkladů Hamiltoniánů vedoucích na rovnice, které se vyskytly dříve v přednášce. \subsection{Reálné Klein-Gordonovo pole} V tomto případě máme reálnou skalární funkci $\varphi$ a chceme dostat rovnici \begin{equation} \label{eq:KG} (\square + m^2)\varphi = 0. \end{equation} Je nám nabídnuto použít Hamiltonián ve tvaru \begin{equation*} \mathcal{L} = \frac{1}{2}\parc_\mu \varphi \parc^\mu \varphi - \frac{1}{2}m^2\varphi^2 , \end{equation*} který do jisté míry připomíná Hamiltonián harmonického oscilátoru (kinetický a potenciální člen). Jelikož vynásobení akce konstantou vede na stejný variační princip, nemuseli bychom zde mít faktor $\frac{1}{2}$. Ten se nám však bude hodit později pro jednodušší vztah pro určení energie z Lagrangiánu. Při odvození budeme postupovat "foolproof" metodou, tedy vše do mrtě rozepíšeme. \begin{align*} \frac{\parc \mathcal{L}}{\parc (\parc_\mu \varphi)} &= \frac{\parc }{\parc (\parc_\mu \varphi)} \left( \frac{1}{2} g^{\alpha \beta} \parc_\alpha \varphi \parc_\beta \varphi \right) = \frac{1}{2} g^{\alpha \beta} \left( \frac{\parc (\parc_\alpha \varphi)}{\parc (\parc_\mu \varphi)}\parc_\beta \varphi + \parc_\alpha \varphi \frac{\parc (\parc_\beta \varphi)}{\parc (\parc_\mu \varphi)} \right) = \\ &= \frac{1}{2} g^{\alpha \beta} \left( g_\alpha^\mu \parc_\beta \varphi + \parc_\alpha \varphi g_\beta^\mu \right) = \frac{1}{2} \left( \parc^\mu \varphi + \parc^\mu \varphi \right) = \parc^\mu \varphi. \end{align*} Dále zřejmě $\pd{\lagr}{\varphi} = -m^2 \varphi$, a tedy dostáváme Euler-Lagrangeovu rovnici: \begin{equation*} \parc^\mu \varphi \parc_\mu \varphi + m^2\varphi^2=0, \end{equation*} což je přesně Klein-Gordonova rovnice. \subsection{Komplexní Klein-Gordonovo pole} Tento příklad je obdobou předchozího, kde místo reálné funkce $\varphi$ uvažujeme $\varphi = \varphi_1 + i\varphi_2$. Rovnice bude opět \ref{eq:KG} a reálná a imaginární část $\varphi$ nyní odpovídá dvěma komponentám pole. Použijeme obdobný Lagrangián a upravíme ho na výraz: \begin{equation*} \mathcal{L} = \parc_\mu \varphi \parc^\mu \varphi^* - m^2\varphi\varphi^* = \parc_\mu \varphi_1 \parc^\mu \varphi_1 + \parc_\mu \varphi_2 \parc^\mu \varphi_2 - \frac{1}{2}m^2(\varphi_1^2 + \varphi_2^2). \end{equation*} Tedy máme Euler-Lagrangeovy rovnice: \begin{equation*} \parc_\mu \frac{\parc \mathcal{L}}{\parc (\parc_\mu \varphi_i)} - \frac{\parc \mathcal{L}}{\parc \varphi_i} = 0 \quad i=1, 2, \end{equation*} ze kterých plyne Klein-Gordonova rovnice pro $\varphi_1$ a $\varphi_2$. Jelikož samotná rovnice je reálná, dostáváme i Klein-Gordonovu rovnici pro celé $\varphi$. Místo dvou komponent $\varphi_1$ a $\varphi_2$ jsme mohli za složky pole vzít i $\varphi$ a $\varphi^*$. \subsection{Procovo respektive Maxwellovo pole} Zde máme Lagrangián: \begin{equation*} \mathcal{L}_{Proca} = -\frac{1}{4} F_{\mu\nu}F^{\mu\nu} + \frac{1}{2}m^2A_\mu A^\mu , \end{equation*} kde $F_{\mu\nu} = \parc_\mu A_\nu -\parc_\nu A_\mu $ a zlomky jsou zde opět kvůli normalizaci energie. Komponenty $\varphi_r$ odpovídají složkám čtyřvektoru $A_\rho$, $\rho=0, 1, 2, 3$. Nyní provedeme derivaci obdobně jako v předchozích příkladech a dostaneme správný tvar rovnice: \begin{equation*} \parc_\mu F^{\mu\nu} + m^2 A^\nu = 0. \end{equation*} \subsection{Diracovo pole} Diracova rovnice (normální a sdružená) má tvar \begin{align*} &i\gamma^\mu \parc_\mu \psi - m \psi = 0, \quad &i\parc_\mu \bpsi \gamma^\mu + m \bpsi = 0 \end{align*} pro čtyřkomponentní funkci $\psi=(\psi_1, \psi_2, \psi_3, \psi_4)^T$. Zde $\psi$ a $\bar{\psi}$ můžeme opět chápat jako nezávislé proměnné a máme tedy celkem 8 složek. Lagrangián vedoucí na tyto rovnice má tvar: \begin{equation*} \mathcal{L}_{Dirac} = \frac{i}{2} \bar{\psi} \gamma^\mu \stackrel{\leftrightarrow}{\partial_\mu}\psi - m\bar{\psi}\psi , \end{equation*} kde $f\stackrel{\leftrightarrow}{\parc}g=f(\parc g)-(\parc f)g$. Při výpočtu se dá "derivovat podle matice", což znamená, že nebudeme psát index u $\psi$ ani dva indexy a $\gamma$ matic. Pak máme: \begin{align*} \frac{\parc \mathcal{L}}{\parc(\parc_\mu \psi)} = \frac{i}{2} \bar{\psi} \gamma^\mu , \quad \frac{\parc \mathcal{L}}{\parc(\parc_\mu \bar{\psi)}} = \frac{i}{2} \gamma^\mu \psi . \end{align*} Dostáváme (nezapomeneme derivovat i první člen Lagrangiánu podle $\psi$) Eulerovy-Lagrangeovy rovnice jako Diracovy rovnice symetricky pro $\psi$ a $\bar{\psi}$. Zde se často využívá toho, že k Lagrangiánu můžeme přičíst libovolnou čtyřdivergenci, čímž opět nezměníme pohybové rovnice (přidaný člen dá nulu díky nulovosti polí na hranici). Konkrétně přičteme výraz $\parc_\mu \left( \frac{i}{2}\bar{\psi} \gamma^\mu \psi \right)$ a získáme tak nový Hamiltonián (který již není symetrický v $\psi$ a $\bar{\psi}$): \begin{equation*} \tilde{\mathcal{L}}_{Dirac} = i \bar{\psi} \gamma^\mu \partial_\mu \psi - m\bar{\psi}\psi . \end{equation*} I odvození Euler-Lagrangeových rovnic je s tímto Hamiltoniánem jednodušší a navíc je v něm v podstatě přímo vidět Diracova rovnice. \section{Zákony zachování (integrály pohybu) v klasické teorii pole} \subsection{Klasická mechanika} Vezmeme jako příklad harmonický oscilátor a z jeho pohybové rovnice odvodíme zachování energie: \begin{align*} \ddot{x} + \omega^2 x &= 0 \quad |\cdot \dot{x} \\ \frac{1}{2} \frac{\dif}{\dif t}(\dot{x}^2) + \frac{1}{2}\frac{\dif}{\dif t}(x^2)\omega^2&=0 \\ \frac{\dif}{\dif t}\left( \frac{1}{2}\dot{x}^2 + \frac{1}{2}x^2\omega^2 \right)&=0 \\ \frac{1}{2}\dot{x}^2 + \frac{1}{2}x^2\omega^2 &= konst. \end{align*} \subsection{Klasické Klein-Gordonovo pole} Analogický postup můžeme zopakovat i pro Klasické Klein-Gordonovo pole: \begin{align*} \parc_\mu \parc^\mu \varphi + m^2\varphi &= 0 \quad |\cdot \parc^\nu \varphi \\ \parc_\mu \parc^\mu \varphi \parc^\nu \varphi + m^2\varphi \parc^\nu \varphi &= 0 \\ \parc_\mu (\parc^\mu \varphi \parc^\nu \varphi) - \parc^\mu \varphi \parc_\mu \parc^\nu \varphi + \frac{1}{2}m^2\parc^\nu(\varphi^2) &= 0 \\ \parc_\mu (\parc^\mu \varphi \parc^\nu \varphi) - \frac{1}{2}\parc^\nu(\parc^\mu \varphi \parc_\mu \varphi) + \frac{1}{2}m^2\parc^\nu(\varphi^2) &=0 \\ \parc_\mu (\parc^\mu \varphi \parc^\nu \varphi) - \parc^\nu \left( \frac{1}{2} \parc^\alpha \varphi \parc_\alpha \varphi) + \frac{1}{2}m^2\varphi^2 \right) &=0 \\ \parc_\mu \left[ \parc^\mu \varphi \parc^\nu \varphi - g^{\nu\mu} \left( \frac{1}{2} \parc_\alpha \varphi \parc^\alpha \varphi - \frac{1}{2}m^2\varphi^2 \right)\right] &=0 \\ \parc_\mu \left[ \parc^\mu \varphi \parc^\nu \varphi - g^{\nu\mu} \mathcal{L} \right] &=0 \\. \end{align*} Dostali jsme tedy vztah \begin{equation} \label{eq:tei} \parc_\mu \mathcal{T}^{\mu\nu} = 0, \end{equation} kde jsme označili \textbf{tenzor energie a impulsu} (tenzor energie a hybnosti): \begin{equation*} \mathcal{T}^{\mu\nu} = \parc^\mu \varphi \parc^\nu \varphi - g^{\nu\mu} \mathcal{L} . \end{equation*} Pro další výklad je důležité, že rovnice \ref{eq:tei} má pro každou složku $\nu$ tvar rovnice kontinuity: \begin{equation*} \parc_\mu J^{\mu} = 0. \end{equation*} Název tenzor energie a hybnosti pro $\mathcal{T}^{\mu\nu}$ je oprávněný. Například složka $\mathcal{T}^{00}$ představuje přirozenou analogii hustoty energie. To je vidět z následujícího srovnání s klasickou mechanikou. V klasické mechanice získáme Hamiltonián $H$ (tedy energii) z Lagrangeovy funkce $L$ pomocí vztahu: \begin{equation*} H=\frac{\parc L}{\parc \dot{q}}\dot{q}-L. \end{equation*} Nyní máme hustotu Lagrangeovy funkce $\mathcal{L}$ a pro $\mathcal{T}^{00}$ platí: \begin{equation*} \mathcal{T}^{00}=\parc_0 \varphi \parc_0 \varphi - \mathcal{L} = \frac{\parc \mathcal{L}}{\parc (\parc_0 \varphi)}\parc_0 \varphi - \mathcal{L}, \end{equation*} kde jsme využili toho, že $\parc_0 \varphi = \frac{\parc \mathcal{L}}{\parc \dot{\varphi}} = \frac{\parc \mathcal{L}}{\parc (\parc_0 \varphi)}$. Explicitním rozepsáním $\mathcal{T}^{00}$ dostaneme \begin{align*} \mathcal{T}^{00} = \parc_0 \varphi \parc_0 \varphi - \frac{1}{2} \parc_\mu \varphi \parc^\mu \varphi + \frac{1}{2}m^2\varphi^2 &= \\ \parc_0 \varphi \parc_0 \varphi - \frac{1}{2} (\parc_0 \varphi \parc_0 \varphi - \vec{\nabla}\varphi \vec{\nabla}\varphi ) + \frac{1}{2}m^2\varphi^2 &= \\ \frac{1}{2} \parc_0 \varphi \parc_0 \varphi + \frac{1}{2} \vec{\nabla}\varphi \vec{\nabla}\varphi + \frac{1}{2}m^2\varphi^2 . \end{align*} Vidíme, že pro reálnou funkci $\varphi$ je hustota energie vždy kladná (jsou zde jen kvadráty reálných funkcí). To je dobré znamení ve srovnání s některými výsledky relativistické kvantové mechaniky. Přesto, že jsme zatím stále v klasické fyzice, absence záporných energií nám naštěstí vydrží (jak uvidíme) i v kvantové teorii pole. \subsection{Rovnice kontinuity a zákony zachování} Vycházíme z toho, že máme nějaký čtyřproud $J^\mu$ (název vychází z podobnosti s elektrickým čtyřproudem), tedy čtyřvektor, pro který platí rovnice kontinuity \begin{equation*} \parc_\mu J^\mu = \parc_0 J^0 + \vec{\nabla}\cdot \vec{J} = \parc_0 J^0 + \mathrm{div}\vec{J} = 0. \end{equation*} Nyní můžeme využít rovnici kontinuity a Gaussovu větu a psát \begin{equation*} \frac{\dif}{\dif t} \int J^0 \dif^3 x = -\int \mathrm{div}\vec{J} \dif^3 x = \int \vec{J} \dif \vec{S} = 0. \end{equation*} To, že je poslední výraz roven nule je opět důsledkem hraničních podmínek. (Snad se to dá chápat tak, že si vezmeme tak velký objem, že veškeré toky proudu $\vec{J}$ zůstávají uvnitř, a tedy přes hranici nic neproudí.) Tím jsme tedy odvodili, že pro čtyřproud s nulovou čtyřdivergencí se zachovává integrál jeho nulté složky. Pro tenzor energie a impulsu máme \begin{equation*} \int \mathcal{T}^{0\nu} \dif^3 x = p^\nu = konst, \end{equation*} tedy zachování čtyřhybnosti. \subsection{Symetrie a zákony zachování (à la teorém Noetherové)} Výchozím bodem pro nalezení integrálu pohybu je invariance Lagrangiánu $\mathcal{L}$ vůči určité transformaci. (Obecněji stačí invariance akce, která plyne z invariance $\mathcal{L}$.) Mějme transformaci souřadnic: \begin{align*} x^\mu &\rightarrow x'^\mu \\ \varphi_r(x) &\rightarrow \varphi_r '(x') \end{align*} a předpokládejme invarianci Lagrangiánu vůči této transformaci: \begin{align*} \mathcal{L}\left(\varphi_r(x), \frac{\parc \varphi_r(x)}{\parc x^\mu} \right) = \mathcal{L}\left(\varphi_r '(x'), \frac{\parc \varphi_r '(x')}{\parc x'^\mu} \right). \end{align*} Přesněji hovoříme o invarianci formy $\mathcal{L}$. Například podmínka invariance pro Klein-Gordanovo pole je \begin{align*} \frac{\parc \varphi(x)}{\parc x^\mu}\frac{\parc \varphi(x)}{\parc x_\mu} - m^2\varphi^2(x) = \frac{\parc \varphi'(x')}{\parc x'^\mu}\frac{\parc \varphi'(x')}{\parc x'_\mu} - m^2\varphi'^2(x'), \end{align*} která je splněna právě když se $\varphi$ transformuje jako skalár, tedy $\varphi'(x')=\varphi(x)$. Označíme si nyní $\lagr' = \lagr\left(\varphi'_r(x),\frac{\parc \varphi'_r(x)}{\parc x^\mu} \right)$ a $\delta x = x'^\mu - x^\mu$. V tomto značení můžeme přepsat podmínku invariance do tvaru \begin{align*} \lagr'(x')=\lagr(x) \quad (=\lagr(x'-\delta x)). \end{align*} Nyní přejdeme k infinitesimální transformaci $\delta x$. Můžeme vyjádřit jednak \begin{align*} \lagr'(x') - \lagr(x'-\delta x) = -\delta x^\mu \frac{\parc \lagr}{\parc x^\mu}, \end{align*} což je první člen Taylorova rozvoje. (Ten je jediný relevantní pro infinitesimální transformaci.) Stejný výraz však můžeme upravit také pomocí Euler-Lagrangeových rovnic ($\varphi_r$ je jejich řešením): \begin{align*} \lagr'(x') - \lagr(x'-\delta x) = \delta \lagr(x') = \frac{\parc \lagr}{\parc \varphi_r} + \frac{\parc \lagr}{\parc (\parc_\mu \varphi_r)}(\parc_\mu \varphi_r) = \parc_\mu \frac{\parc \lagr}{\parc (\parc_\mu \varphi_r)} + \frac{\parc \lagr}{\parc (\parc_\mu \varphi_r)}(\parc_\mu \varphi_r). \end{align*} Spojením obou vztahů a sečtením přes $r$ dostáváme rovnici \begin{align} \label{invariance} \parc_\mu \sum_r \left( \frac{\parc \lagr}{\parc (\parc_\mu \varphi_r)} \delta \varphi_r \right) + \delta x^\mu \frac{\parc \lagr}{\parc x^\mu} = 0. \end{align} \subsubsection{Prostoročasová translace} Jako příklad použití rozebereme prostoročasovou translaci. Zde je transformace souřadnic dána vztahem \begin{align*} x'^\mu = x^\mu + \epsilon^\mu \mbox{, tedy}\quad \delta x^\mu = \epsilon^\mu . \end{align*} Dále máme $\varphi'_r(x') = \varphi'_r(x + \epsilon) = \varphi_r(x)$, odkud \begin{align*} \varphi'_r(x) = \varphi_r(x - \epsilon) = \varphi_r(x)-\epsilon^\nu \frac{\parc \varphi_r}{\parc x^\nu} \mbox{, tedy} \quad \delta \varphi_r(x) = -\epsilon^\nu \frac{\parc \varphi_r}{\parc x^\nu}. \end{align*} Dosazením do (\ref{invariance}) dostaneme \begin{align*} \parc_\mu \sum_r \left( \frac{\parc \lagr}{\parc (\parc_\mu \varphi_r)} \left( -\epsilon^\nu \frac{\parc \varphi_r}{\parc x^\nu} \right) \right) + \epsilon^\nu \frac{\parc \lagr}{\parc x^\mu} &= 0 \\ \epsilon_\nu \left[ \parc_\mu \left(\frac{\parc \lagr}{\parc (\parc_\mu \varphi_r)} \parc^\nu \varphi_r \right) - \parc_\mu g^{\mu \nu} \lagr \right] &= 0 \\ \parc_\mu \mathcal{T}^{\mu \nu} &= 0. \end{align*} \subsubsection{Lorentzovy transformace} Zde je transformace souřadnic dána vztahem \begin{align*} x'^\mu = {\Lambda^\mu}_\nu x^\nu \mbox{, kde }\quad \Lambda = \exp\left(-\frac{i}{2}\omega^{\alpha \beta}I_{\alpha \beta}\right), \quad \omega^{\alpha \beta} = -\omega^{\beta \alpha } . \end{align*} \textcolor{red}{Dál je to potřeba dopsat... (Na tu fázovou invarianci se mě ptal u zkoušky.)} \begin{figure} \centering \includegraphics[scale=.7]{poznamky_1.jpg} \end{figure} \begin{figure} \centering \includegraphics[scale=.7]{poznamky_2.jpg} \end{figure} \begin{figure} \centering \includegraphics[scale=.7]{poznamky_3.jpg} \end{figure} \begin{figure} \centering \includegraphics[scale=.7]{poznamky_4.jpg} \end{figure}