Lagranżjan w mechanice kwantowej

Niniejsze opracowanie stanowi kompleksowy przegląd roli i zastosowania formalizmu lagranżowskiego w mechanice kwantowej, zaczynając od fundamentów klasycznych i przechodząc do zaawansowanych teorii pola. W początkowych sekcjach tekst wyjaśnia przejście od mechaniki punktowej do opisu polowego, gdzie kluczowe znaczenie ma gęstość lagranżjanu jako funkcja pól i ich pochodnych. Autor opisuje zasadę najmniejszego działania, wskazując na proces wariacyjny, który prowadzi do równań Eulera-Lagrange’a, stanowiących fundament dynamiki każdego układu kwantowego. Kolejne fragmenty koncentrują się na konkretnych polach, takich jak pole skalarne opisane równaniem Kleina-Gordona oraz pole fermionowe oparte na równaniu Diraca. Wyjaśniono tam znaczenie macierzy gamma oraz spinorów, które pozwalają na jednoczesny opis materii i antymaterii przy zachowaniu pełnej zgodności z postulatami szczególnej teorii względności.

Dalsza część pracy poświęcona jest głębokim związkom między matematyczną strukturą lagranżjanu a fizycznymi prawami zachowania. Rozdział dotyczący symetrii i twierdzenia Noether szczegółowo omawia sposób, w jaki niezmienniczość działania względem przesunięć w czasie czy przestrzeni generuje zachowanie energii i pędu. Szczególną uwagę poświęcono mechanizmowi cechowania, który wymusza istnienie oddziaływań elektromagnetycznych oraz silnych. Tekst tłumaczy, jak wprowadzenie pochodnej kowariantnej do lagranżjanu pozwala na opisanie sił przyrody jako niezbędnych elementów zachowujących lokalną symetrię układu. W sekcji o chromodynamice kwantowej podkreślono unikalną cechę teorii Yang-Millsa, czyli samooddziaływanie gluonów, które bezpośrednio wynika z nieliniowej struktury tensora natężenia pola w grupach nieabelowych.

W końcowych rozdziałach opracowanie skupia się na technikach obliczeniowych oraz mechanizmach nadawania masy. Omówiono sformułowanie całek po trajektoriach Feynmana, gdzie lagranżjan służy do obliczania amplitud prawdopodobieństwa poprzez sumowanie wszystkich możliwych historii układu. Autor analizuje również mechanizm Higgsa, opisując proces spontanicznego łamania symetrii, w którym pole skalarne o specyficznym potencjale nadaje masę bozonom cechowania i fermionom. Praca kończy się rozważaniami na temat kwantowania kanonicznego, które łączy opis lagranżowski z hamiltonowskim poprzez definicję pędów sprzężonych i narzucenie komutatorów. Całość tekstu pokazuje, że formalizm ten nie jest jedynie narzędziem technicznym, ale centralnym punktem nowoczesnej fizyki, pozwalającym na jednolity opis wszystkich znanych cząstek i ich wzajemnych oddziaływań.

Słowniczek pojęć kluczowych

Lagranżjan Jest to matematyczna funkcja, która zbiera wszystkie informacje o energii układu fizycznego, czyli jego ruchu i oddziaływaniach. Na jej podstawie naukowcy mogą przewidzieć, jak dany obiekt lub pole będzie się zachowywać w przyszłości.
Zasada najmniejszego działania Reguła ta mówi, że natura zawsze wybiera taką drogę, która jest najbardziej efektywna pod względem pewnej wielkości fizycznej zwanej działaniem. Można to porównać do światła, które zawsze wybiera najszybszą trasę między dwoma punktami.
Pole kwantowe To niewidzialna tkanina wypełniająca cały wszechświat, która w każdym punkcie ma określoną wartość. Cząstki, takie jak elektrony czy fotony, są w tej teorii traktowane jedynie jako lokalne wzbudzenia lub „fale” na tym polu.
Spin Jest to wewnętrzna cecha cząstek elementarnych, którą najprościej można wyobrazić sobie jako rodzaj ich własnego obrotu. Decyduje on o tym, jak cząstki zachowują się w polu magnetycznym oraz jak układają się w strukturze materii.
Fermiony Są to cząstki tworzące materię, takie jak elektrony czy kwarki, które charakteryzują się tym, że nie mogą zajmować dokładnie tego samego miejsca w tym samym stanie. Dzięki temu materia posiada swoją objętość i nie zapada się do jednego punktu.
Bozony To cząstki odpowiedzialne za przenoszenie oddziaływań między innymi obiektami, czego przykładem jest foton przenoszący światło. W przeciwieństwie do fermionów wiele bozonów może przebywać w tym samym stanie jednocześnie.
Symetria W fizyce oznacza to sytuację, w której zmiana pewnej cechy układu nie wpływa na prawa nim rządzące. Symetrie są kluczowe, ponieważ z każdej z nich wynika istnienie konkretnego prawa zachowania, na przykład energii.
Twierdzenie Noether Jest to genialne odkrycie matematyczne wiążące symetrie natury z trwałymi wielkościami fizycznymi. Mówi ono, że jeśli prawa fizyki nie zmieniają się w czasie, to energia musi być zachowana.
Teoria cechowania To rodzaj opisu fizycznego, w którym pewne wewnętrzne zmiany parametrów nie zmieniają mierzalnych wyników eksperymentów. Wymóg zachowania tej niezmienności zmusza naturę do istnienia sił, takich jak elektromagnetyzm.
Mechanizm Higgsa Jest to proces, dzięki któremu bezmasowe wcześniej cząstki nabierają masy poprzez oddziaływanie ze specjalnym polem wypełniającym przestrzeń. Bez tego mechanizmu cząstki poruszałyby się z prędkością światła i nigdy nie utworzyłyby atomów.
Całka po trajektoriach Podejście to zakłada, że cząstka kwantowa nie porusza się jedną drogą, lecz testuje wszystkie możliwe ścieżki jednocześnie. Ostateczny wynik obserwacji jest sumą wpływów z tych wszystkich potencjalnych tras.
Antymateria Składa się ona z cząstek, które mają taką samą masę jak zwykła materia, ale posiadają przeciwne ładunki elektryczne. Gdy cząstka spotka swoją antycząstkę, obie ulegają anihilacji, zamieniając się w czystą energię.
Chromodynamika kwantowa Jest to teoria opisująca oddziaływania silne, które trzymają kwarki wewnątrz protonów i neutronów. Nazwa nawiązuje do „koloru”, który jest specyficznym rodzajem ładunku posiadany przez te cząstki.
Hamiltonian To funkcja matematyczna ściśle powiązana z lagranżjanem, która reprezentuje całkowitą energię układu. Jest ona szczególnie użyteczna przy obliczaniu, jak stany kwantowe zmieniają się krok po kroku w czasie.
Kwantowanie To procedura matematyczna zamiany klasycznego opisu świata na opis kwantowy, w którym wielkości mogą przyjmować tylko określone, porcjowane wartości. Pozwala to na przejście od przewidywania toru lotu piłki do opisu zachowania atomów.

1. Wstęp do sformułowania lagranżowskiego

Formalizm lagranżowski stanowi fundament nowoczesnej fizyki teoretycznej, przenosząc środek ciężkości z wektorowych sił Newtona na skalarne funkcje energii, co jest kluczowe w opisie układów kwantowych. W mechanice klasycznej punktowej stan układu opisujemy przez współrzędne uogólnione $q_i$ oraz ich prędkości $\dot{q}_i$ , definiując lagranżjan jako różnicę energii kinetycznej i potencjalnej $L(q_i, \dot{q}i, t) = T - V$ . Przejście do mechaniki kwantowej, a w szczególności do kwantowej teorii pola, wymaga zastąpienia skończonej liczby stopni swobody przez ciągłe pola $\phi(x)$ , gdzie $x$ oznacza czterowektor położenia w czasoprzestrzeni Minkowskiego. W tym ujęciu operujemy gęstością lagranżjanu $\mathcal{L}$ , która zależy od wartości pola oraz jego gradientów czasoprzestrzennych, co zapisujemy jako funkcjonał $\mathcal{L}(\phi, \partial{\mu} \phi)$ .

Dynamika układu kwantowego jest wyznaczana przez zasadę stacjonarnego działania, gdzie działanie $S$ jest zdefiniowane jako całka czterowymiarowa $S = \int d^4x \mathcal{L}$ . Zgodnie z tą zasadą, trajektoria pola realizowana w przyrodzie to taka, dla której wariacja działania znika $\delta S = 0$ . Prowadzi to do fundamentalnych równań ruchu pola, znanych jako równania Eulera-Lagrange’a, mających postać operatorową $\partial_{\mu} ( \frac{\partial \mathcal{L}}{\partial (\partial_{\mu} \phi)} ) - \frac{\partial \mathcal{L}}{\partial \phi} = 0$ . Warto zauważyć, że w przeciwieństwie do hamiltonianu, lagranżjan jest jawnym niezmiennikiem Lorentza, co oznacza, że jego postać matematyczna nie ulega zmianie przy transformacjach współrzędnych $x'^{\mu} = \Lambda^{\mu}_{\nu} x^{\nu}$ , co jest absolutnie niezbędne dla spójności teorii z postulatami Einsteina.

Kolejnym istotnym aspektem jest rola lagranżjanu w definicji pędów kanonicznie sprzężonych, które w mechanice kwantowej stają się operatorami w przestrzeni Hilberta. Pęd sprzężony do pola $\phi$ definiujemy jako pochodną funkcjonalną $\pi(x) = \frac{\partial \mathcal{L}}{\partial \dot{\phi}(x)}$ , co pozwala na przeprowadzenie procedury kwantowania kanonicznego poprzez narzucenie komutatorów $[\phi(\mathbf{x}, t), \pi(\mathbf{y}, t)] = i \hbar \delta^{(3)}(\mathbf{x}-\mathbf{y})$ . Bez gęstości lagranżjanu niemożliwe byłoby precyzyjne sformułowanie gęstości hamiltonianu $\mathcal{H} = \pi \dot{\phi} - \mathcal{L}$ , która determinuje ewolucję czasową stanów kwantowych poprzez równanie Schrödingera lub Heisenberga. W ujęciu relatywistycznym lagranżjan pozwala również na łatwe wprowadzenie oddziaływań poprzez dodanie członów interakcji $\mathcal{L}{int}$ , które w najprostszym przypadku pola skalarnego mogą przyjąć formę $\mathcal{L}{int} = -\frac{\lambda}{4!} \phi^4$ .

Współczesne teorie cechowania, takie jak chromodynamika kwantowa czy elektrodynamika, opierają się na symetriach lagranżjanu względem lokalnych transformacji grupowych. Jeśli lagranżjan pozostaje niezmienniczy pod wpływem transformacji $\phi \rightarrow e^{i \alpha(x)} \phi$ , wymusza to istnienie pól kompensacyjnych, czyli bozonów cechowania. Całkowita energia układu kwantowego, wyrażona przez tensor energii-pędu $T^{\mu \nu} = \frac{\partial \mathcal{L}}{\partial (\partial_{\mu} \phi)} \partial^{\nu} \phi - g^{\mu \nu} \mathcal{L}$ , jest bezpośrednią konsekwencją struktury lagranżjanu i jego niezmienniczości względem translacji w czasoprzestrzeni. Dzięki temu formalizm ten nie jest tylko narzędziem obliczeniowym, ale głęboką strukturą logiczną, która pozwala przewidywać istnienie nowych cząstek i sił na podstawie samych zasad symetrii matematycznej.

2. Zasada najmniejszego działania w ujęciu polowym

Zasada najmniejszego działania, znana również jako zasada Hamiltona, w ujęciu polowym stanowi fundamentalny postulat, z którego wynikają wszystkie klasyczne i kwantowe równania ruchu. W przeciwieństwie do mechaniki punktów materialnych, gdzie operujemy na trajektoriach, w teorii pola zajmujemy się konfiguracjami pól rozpostartych w całej czasoprzestrzeni. Definiujemy działanie $S$ jako funkcjonał pola $\phi(x)$ będący całką z gęstości lagranżjanu $\mathcal{L}$ po czterowymiarowym obszarze czasoprzestrzennym $\Omega$ , co matematycznie wyrażamy wzorem $S[\phi] = \int_{\Omega} d^4x \mathcal{L}(\phi, \partial_{\mu} \phi)$ . Zasada ta głosi, że spośród wszystkich możliwych konfiguracji pól łączących zadane stany początkowe i końcowe, realizowana jest ta, dla której działanie przyjmuje wartość stacjonarną, czyli $\delta S = 0$ .

Aby wyprowadzić konkretne równania dynamiki, musimy rozważyć nieskończenie małą wariację pola $\phi(x) \rightarrow \phi(x) + \delta \phi(x)$ , przy czym zakładamy, że wariacja $\delta \phi$ znika na brzegach obszaru całkowania $\partial \Omega$ . Zmiana działania wywołana taką wariacją wynosi $\delta S = \int d^4x [ \frac{\partial \mathcal{L}}{\partial \phi} \delta \phi + \frac{\partial \mathcal{L}}{\partial (\partial_{\mu} \phi)} \delta (\partial_{\mu} \phi) ]$ . Kluczowym krokiem jest zauważenie, że operacja wariacji i różniczkowania cząstkowego komutują, co pozwala zapisać $\delta (\partial_{\mu} \phi) = \partial_{\mu} (\delta \phi)$ . Wykorzystując regułę Leibniz’a dla pochodnej iloczynu, możemy przekształcić drugi człon pod całką do postaci $\frac{\partial \mathcal{L}}{\partial (\partial_{\mu} \phi)} \partial_{\mu} (\delta \phi) = \partial_{\mu} [ \frac{\partial \mathcal{L}}{\partial (\partial_{\mu} \phi)} \delta \phi ] - \partial_{\mu} [ \frac{\partial \mathcal{L}}{\partial (\partial_{\mu} \phi)} ] \delta \phi$ . Jest to operacja niezbędna do wyizolowania czynnika $\delta \phi$ przed nawias.

Następnie stosujemy twierdzenie Gaussa-Ostrogradskiego w czterech wymiarach, aby zamienić całkę z pełnej pochodnej $\int d^4x \partial_{\mu} [ \frac{\partial \mathcal{L}}{\partial (\partial_{\mu} \phi)} \delta \phi ]$ na całkę powierzchniową po brzegu $\oint_{\partial \Omega} d\Sigma_{\mu} [ \frac{\partial \mathcal{L}}{\partial (\partial_{\mu} \phi)} \delta \phi ]$ . Ponieważ przyjęliśmy założenie, że wariacja pola $\delta \phi$ wynosi zero na hiperpowierzchniach ograniczających czasoprzestrzeń, człon brzegowy całkowicie znika. W rezultacie wariacja działania upraszcza się do formy $\delta S = \int d^4x [ \frac{\partial \mathcal{L}}{\partial \phi} - \partial_{\mu} ( \frac{\partial \mathcal{L}}{\partial (\partial_{\mu} \phi)} ) ] \delta \phi$ . Aby całka ta była równa zero dla dowolnej, niezależnej wariacji $\delta \phi$ , wyrażenie w nawiasie kwadratowym musi znikać w każdym punkcie czasoprzestrzeni, co daje nam równania Eulera-Lagrange’a $\partial_{\mu} ( \frac{\partial \mathcal{L}}{\partial (\partial_{\mu} \phi)} ) - \frac{\partial \mathcal{L}}{\partial \phi} = 0$ .

W kontekście kwantowym zasada ta ulega reinterpretacji w ramach sformułowania całek po trajektoriach. Zamiast jednej, klasycznej ścieżki minimalizującej działanie, rozważamy sumę po wszystkich możliwych konfiguracjach pól, gdzie każda konfiguracja ma przypisaną amplitudę prawdopodobieństwa $\exp(i S / \hbar)$ . W granicy klasycznej, gdy $\hbar \rightarrow 0$ , fazy dla konfiguracji oddalonych od ekstremum działania oscylują bardzo szybko i znoszą się wzajemnie, pozostawiając jedynie wkład od trajektorii spełniającej klasyczne równania Eulera-Lagrange’a. Zatem gęstość lagranżjanu $\mathcal{L}$ nie tylko determinuje klasyczne równania ruchu, ale również definiuje strukturę wag statystycznych w procesach kwantowych, takich jak rozpraszanie cząstek opisywane przez macierz $S_{fi} = \langle f | \hat{S} | i \rangle$ .

Należy podkreślić, że postać $\mathcal{L}$ musi być ściśle ograniczona przez zasady symetrii, aby zasada najmniejszego działania prowadziła do fizycznie sensownych wyników. Jeśli pole posiada składowe, jak w przypadku pola wektorowego $A_{\mu}$ , równania przybierają postać $\partial_{\mu} ( \frac{\partial \mathcal{L}}{\partial (\partial_{\mu} A_{\nu})} ) - \frac{\partial \mathcal{L}}{\partial A_{\nu}} = 0$ . Dla swobodnego pola elektromagnetycznego, gdzie $\mathcal{L} = -\frac{1}{4} F_{\mu \nu} F^{\mu \nu}$ , zasada ta prowadzi bezpośrednio do równań Maxwella w próżni. W ten sposób zasada stacjonarnego działania staje się najbardziej zwartym i potężnym sformułowaniem praw natury, pozwalającym na wyprowadzenie skomplikowanych oddziaływań z prostych założeń o niezmienniczości gęstości lagranżjanu względem transformacji grupy Poincarégo oraz wewnętrznych symetrii cechowania.

3. Lagranżjan dla pola skalarnego i równanie Kleina-Gordona

Pole skalarne stanowi najprostszy matematyczny model cząstek w kwantowej teorii pola, opisując obiekty o spinie równym zero, takie jak bozon Higgsa czy mezony pi w ujęciu efektywnym. Konstrukcję lagranżjanu dla takiego pola rozpoczynamy od wymogu, aby gęstość lagranżjanu $\mathcal{L}$ była skalarem względem transformacji Lorentza, co zapewnia niezmienniczość praw ruchu w każdym inercjalnym układzie odniesienia. Dla rzeczywistego pola skalarnego $\phi(x)$ , najprostsza gęstość lagranżjanu uwzględniająca energię kinetyczną oraz masę spoczynkową cząstki przyjmuje postać $\mathcal{L} = \frac{1}{2} \partial_{\mu} \phi \partial^{\mu} \phi - \frac{1}{2} m^2 \phi^2$ . Pierwszy człon, zawierający pochodne pola, reprezentuje dynamikę i energię związaną ze zmianami pola w czasie i przestrzeni, natomiast drugi człon odpowiada za energię potencjalną związaną z masą $m$ , gdzie w jednostkach naturalnych przyjmujemy $c = 1$ oraz $\hbar = 1$ .

Aby wyprowadzić równania ruchu, musimy zastosować do powyższego wyrażenia ogólne równania Eulera-Lagrange’a, które dla pola skalarnego mają formę $\partial_{\mu} ( \frac{\partial \mathcal{L}}{\partial (\partial_{\mu} \phi)} ) - \frac{\partial \mathcal{L}}{\partial \phi} = 0$ . Obliczając poszczególne pochodne cząstkowe dla naszego lagranżjanu, otrzymujemy w pierwszym kroku $\frac{\partial \mathcal{L}}{\partial (\partial_{\mu} \phi)} = \partial^{\mu} \phi$ . Następnie obliczamy pochodną po samym polu, co daje wynik $\frac{\partial \mathcal{L}}{\partial \phi} = -m^2 \phi$ . Podstawiając te wyniki do równania Eulera-Lagrange’a, dochodzimy do relatywistycznego równania falowego $\partial_{\mu} \partial^{\mu} \phi + m^2 \phi = 0$ . Wykorzystując operator d’Alemberta zdefiniowany jako $\square = \partial_{\mu} \partial^{\mu} = \frac{\partial^2}{\partial t^2} - \nabla^2$ , możemy zapisać to równanie w standardowej postaci równania Kleina-Gordona $(\square + m^2) \phi = 0$ .

W przypadku pola zespolonego $\phi(x)$ , które opisuje cząstki posiadające ładunek elektryczny, lagranżjan musi być konstruowany w sposób zapewniający jego rzeczywistość, co osiągamy przez wprowadzenie pola sprzężonego $\phi^{\dagger}$ . Gęstość lagranżjanu dla swobodnego, zespolonego pola skalarnego wynosi $\mathcal{L} = \partial_{\mu} \phi^{\dagger} \partial^{\mu} \phi - m^2 \phi^{\dagger} \phi$ . Traktując $\phi$ oraz $\phi^{\dagger}$ jako zmienne niezależne, otrzymujemy dwa sprzężone równania ruchu $(\square + m^2) \phi = 0$ oraz $(\square + m^2) \phi^{\dagger} = 0$ . Taka struktura lagranżjanu posiada globalną symetrię $U(1)$ postaci $\phi \rightarrow e^{i\alpha} \phi$ , co zgodnie z twierdzeniem Noether prowadzi do zachowania prądu $j^{\mu} = i ( \phi^{\dagger} \partial^{\mu} \phi - \phi \partial^{\mu} \phi^{\dagger} )$ , interpretowanego jako prąd prawdopodobieństwa lub prąd elektryczny.

Kwantowanie takiego układu polega na potraktowaniu $\phi(x)$ jako operatora i rozkładzie go na mody w przestrzeni pędów za pomocą transformaty Fouriera. Pole skalarne zapisujemy wówczas jako $\phi(x) = \int \frac{d^3 k}{(2\pi)^3 \sqrt{2\omega_k}} [ a(\mathbf{k}) e^{-ikx} + a^{\dagger}(\mathbf{k}) e^{ikx} ]$ , gdzie $\omega_k = \sqrt{\mathbf{k}^2 + m^2}$ jest energią cząstki o pędzie $\mathbf{k}$ . Operatory $a(\mathbf{k})$ oraz $a^{\dagger}(\mathbf{k})$ pełnią rolę operatorów anihilacji i kreacji, spełniając relacje komutacyjne $[a(\mathbf{k}), a^{\dagger}(\mathbf{k'})] = (2\pi)^3 \delta^{(3)}(\mathbf{k}-\mathbf{k'})$ . Dzięki postaci lagranżjanu, hamiltonian układu $H = \int d^3 x ( \pi \dot{\phi} - \mathcal{L} )$ po podstawieniu rozkładu na mody przyjmuje postać sumy energii oscylatorów harmonicznych $H = \int \frac{d^3 k}{(2\pi)^3} \omega_k ( a^{\dagger}(\mathbf{k}) a(\mathbf{k}) + \frac{1}{2} [a(\mathbf{k}), a^{\dagger}(\mathbf{k})] )$ , co stanowi podstawę do budowy przestrzeni Focka stanów wielocząstkowych.

Warto zauważyć, że równanie Kleina-Gordona wynikające z lagranżjanu skalarnego rozwiązuje problemy, z którymi borykało się pierwotne równanie Schrödingera w kontekście relatywistycznym. Chociaż początkowo odrzucono je z powodu pojawiania się ujemnych gęstości prawdopodobieństwa w interpretacji jednocząstkowej, to w ramach kwantowej teorii pola, gdzie lagranżjan opisuje kreację i anihilację par, trudność ta znika. Ujemne rozwiązania energetyczne $E = -\sqrt{\mathbf{k}^2 + m^2}$ są interpretowane jako stany antycząstek, a gęstość hamiltonianu wyprowadzona z lagranżjanu pozostaje dodatnio określona dla stanów fizycznych. Tym samym lagranżjan pola skalarnego staje się nie tylko narzędziem matematycznym, ale fizycznym opisem stabilnej materii o spinie zerowym, zgodnym z zasadami mechaniki kwantowej i szczególnej teorii względności.

4. Formalizm Diraca i lagranżjan dla fermionów

Formalizm Diraca wprowadza do mechaniki kwantowej opis cząstek o spinie $1/2$ , takich jak elektrony czy kwarki, łącząc zasady mechaniki kwantowej z wymogami szczególnej teorii względności w sposób liniowy względem pochodnych czasowych i przestrzennych. Podstawowym obiektem matematycznym jest tutaj spinor Diraca $\psi(x)$ , który posiada cztery składowe zespolone, co pozwala na jednoczesny opis stanów o dodatniej i ujemnej energii, a tym samym cząstek i antycząstek. Gęstość lagranżjanu dla swobodnego pola fermionowego o masie $m$ musi być konstruowana przy użyciu macierzy gamma Diraca $\gamma^{\mu}$ , które spełniają relację antykomutacji algebry Clifforda ${\gamma^{\mu}, \gamma^{\nu}} = 2g^{\mu \nu}$ . Najbardziej zwięzła i fizycznie poprawna postać tego lagranżjanu to $\mathcal{L} = \bar{\psi} (i \gamma^{\mu} \partial_{\mu} - m) \psi$ , gdzie $\bar{\psi} = \psi^{\dagger} \gamma^0$ jest spinorem sprzężonym Diraca, co zapewnia niezmienniczość wyrażenia względem transformacji Lorentza.

Zastosowanie zasady najmniejszego działania do lagranżjanu Diraca wymaga potraktowania $\psi$ oraz $\bar{\psi}$ jako niezależnych zmiennych polowych w równaniach Eulera-Lagrange’a. Wariacja działania względem spinora sprzężonego $\bar{\psi}$ prowadzi bezpośrednio do słynnego równania Diraca $(i \gamma^{\mu} \partial_{\mu} - m) \psi = 0$ , które opisuje ewolucję czasoprzestrzenną pola fermionowego. Z kolei wariacja względem spinora $\psi$ daje równanie sprzężone $i \partial_{\mu} \bar{\psi} \gamma^{\mu} + m \bar{\psi} = 0$ . Warto zauważyć, że operator działający na pole jest liniowy względem czteropędu $p_{\mu} \rightarrow i \partial_{\mu}$ , co było zamierzonym celem Diraca, aby uniknąć problemów z ujemną gęstością prawdopodobieństwa występującą w relatywistycznym równaniu Kleina-Gordona. Dzięki strukturze macierzowej, prąd prawdopodobieństwa zdefiniowany jako $j^{\mu} = \bar{\psi} \gamma^{\mu} \psi$ jest zawsze zachowany i jego zerowa składowa $j^0 = \psi^{\dagger} \psi$ jest dodatnio określona, co pozwala na spójną interpretację statystyczną.

W ujęciu kwantowej teorii pola, pole fermionowe musi być kwantowane przy użyciu antykomutatorów, co odzwierciedla statystykę Fermiego-Diraca i zakaz Pauliego. Operatory pola rozkładamy na mody w przestrzeni pędów jako $\psi(x) = \int \frac{d^3 p}{(2\pi)^3 \sqrt{2E_p}} \sum_s [ b_p^s u^s(p) e^{-ipx} + d_p^{s\dagger} v^s(p) e^{ipx} ]$ , gdzie $b_p^s$ jest operatorem anihilacji fermionu, a $d_p^{s\dagger}$ operatorem kreacji antyfermionu o spinie $s$ . Relacje antykomutacyjne przyjmują postać ${b_p^s, b_{p'}^{r\dagger}} = (2\pi)^3 \delta^{sr} \delta^{(3)}(\mathbf{p}-\mathbf{p'})$ , co gwarantuje, że dwa identyczne fermiony nie mogą zajmować tego samego stanu kwantowego. Lagranżjan Diraca po podstawieniu tych operatorów prowadzi do hamiltonianu $H = \int \frac{d^3 p}{(2\pi)^3} \sum_s E_p ( b_p^{s\dagger} b_p^s + d_p^{s\dagger} d_p^s )$ , gdzie energia próżni została usunięta poprzez uporządkowanie normalne, co czyni energię układu zawsze nieujemną.

Istotnym elementem formalizmu jest również wprowadzenie oddziaływań poprzez modyfikację lagranżjanu swobodnego. Najważniejszym przykładem jest oddziaływanie z polem elektromagnetycznym $A_{\mu}$ , które realizuje się poprzez zasadę minimalnego podstawienia i wprowadzenie pochodnej kowariantnej $D_{\mu} = \partial_{\mu} + ieA_{\mu}$ . Pełny lagranżjan przyjmuje wtedy postać $\mathcal{L} = \bar{\psi} (i \gamma^{\mu} D_{\mu} - m) \psi$ , co po rozpisaniu daje człon swobodny oraz człon oddziaływania $\mathcal{L}{int} = -e \bar{\psi} \gamma^{\mu} \psi A{\mu}$ . Ten dodatkowy wyraz w lagranżjanie jest podstawą elektrodynamiki kwantowej (QED) i opisuje procesy takie jak emisja lub absorpcja fotonu przez elektron. Dzięki takiemu sformułowaniu, lagranżjan Diraca staje się kompletnym narzędziem do opisu dynamiki materii w mikroświecie, uwzględniającym zarówno efekty relatywistyczne, jak i wewnętrzną strukturę spinową cząstek.

Podsumowując, lagranżjan dla fermionów w ujęciu Diraca jest fundamentalnym elementem Modelu Standardowego, pozwalającym na opis wszystkich znanych leptonów i kwarków. Jego struktura matematyczna, oparta na spinorach i macierzach gamma, zapewnia nie tylko zgodność z symetrią Lorentza, ale także naturalnie wyjaśnia pochodzenie momentu magnetycznego elektronu oraz strukturę subtelną poziomów energetycznych w atomach. Bez formalizmu lagranżowskiego i zasady wariacyjnej zastosowanej do pól fermionowych, niemożliwe byłoby precyzyjne sformułowanie teorii oddziaływań słabych i silnych, w których fermiony odgrywają rolę nośników ładunków podlegających skomplikowanym transformacjom symetrii cechowania.

5. Symetrie i twierdzenie Noether

Związek między symetriami fizycznymi a prawami zachowania stanowi jeden z najgłębszych fundamentów mechaniki kwantowej i klasycznej teorii pola, a jego matematycznym sformułowaniem jest twierdzenie Noether. Twierdzenie to głosi, że każdej ciągłej symetrii działania odpowiada ściśle określony prąd zachowany, a co za tym idzie, stały w czasie ładunek fizyczny. Rozważmy infinitezymalną transformację pola $\phi \rightarrow \phi + \delta \phi$ oraz współrzędnych $x^{\mu} \rightarrow x^{\mu} + \delta x^{\mu}$ , która pozostawia równania ruchu niezmienniczymi. Jeśli wariacja gęstości lagranżjanu pod wpływem takiej transformacji sprowadza się do pełnej dywergencji pewnego wektora $\delta \mathcal{L} = \partial_{\mu} K^{\mu}$ , to działanie $S$ pozostaje niezmienione, co definiuje symetrię układu.

Kluczowym elementem wyprowadzenia jest analiza zmiany lagranżjanu $\delta \mathcal{L}$ wyrażonej przez wariacje polowe i ich pochodne, co zapisujemy jako $\delta \mathcal{L} = \frac{\partial \mathcal{L}}{\partial \phi} \delta \phi + \frac{\partial \mathcal{L}}{\partial (\partial_{\mu} \phi)} \delta (\partial_{\mu} \phi)$ . Wykorzystując równania Eulera-Lagrange’a, możemy zastąpić pierwszy człon pochodną czasoprzestrzenną, co po przegrupowaniu wyrazów prowadzi do tożsamości $\partial_{\mu} ( \frac{\partial \mathcal{L}}{\partial (\partial_{\mu} \phi)} \delta \phi ) = \partial_{\mu} K^{\mu}$ . Definiujemy wówczas prąd Noether jako $J^{\mu} = \frac{\partial \mathcal{L}}{\partial (\partial_{\mu} \phi)} \delta \phi - K^{\mu}$ , który na mocy równań ruchu spełnia równanie ciągłości $\partial_{\mu} J^{\mu} = 0$ . To różniczkowe prawo zachowania gwarantuje, że całkowity ładunek $Q = \int d^3x J^0$ jest stałą ruchu, ponieważ jego pochodna po czasie $\frac{dQ}{dt} = \int d^3x \partial_0 J^0 = -\int d^3x \nabla \cdot \mathbf{J}$ znika przy założeniu szybkiego zanikania pól w nieskończoności.

Najważniejszym przykładem symetrii czasoprzestrzennej jest niezmienniczość względem translacji $x^{\mu} \rightarrow x^{\mu} + a^{\mu}$ . W tym przypadku wariacja pola wynosi $\delta \phi = a^{\nu} \partial_{\nu} \phi$ , a zmiana lagranżjanu to $\delta \mathcal{L} = a^{\nu} \partial_{\nu} \mathcal{L}$ , co pozwala zidentyfikować $K^{\mu} = a^{\mu} \mathcal{L}$ . Prąd Noether odpowiadający tej symetrii to tensor energii-pędu $T^{\mu \nu} = \frac{\partial \mathcal{L}}{\partial (\partial_{\mu} \phi)} \partial^{\nu} \phi - g^{\mu \nu} \mathcal{L}$ . Zachowanie tego tensora $\partial_{\mu} T^{\mu \nu} = 0$ implikuje zachowanie całkowitej energii układu $E = \int T^{00} d^3x$ oraz pędu $P^i = \int T^{0i} d^3x$ . Jest to uniwersalna konsekwencja jednorodności czasu i przestrzeni, która musi być spełniona przez każdy poprawny fizycznie lagranżjan kwantowy.

W mechanice kwantowej równie istotne są symetrie wewnętrzne, które nie zmieniają współrzędnych, lecz operują na składowych pól. Dla zespolonego pola skalarnego lub pola Diraca, globalna transformacja fazy $\psi \rightarrow e^{i\alpha} \psi$ przy stałym $\alpha$ jest symetrią lagranżjanu, o ile nie występują w nim człony jawnie łamiące tę niezmienniczość. Odpowiadający jej prąd zachowany dla fermionów ma postać $J^{\mu} = \bar{\psi} \gamma^{\mu} \psi$ , co interpretujemy jako zachowanie liczby cząstek lub ładunku elektrycznego. Wariacja pola wynosi w tym przypadku $\delta \psi = i \alpha \psi$ , a ponieważ lagranżjan jest ściśle niezmienniczy, $K^{\mu} = 0$ . Dzięki twierdzeniu Noether wiemy, że stabilność cząstek elementarnych, takich jak proton, wynika bezpośrednio z takich symetrii, które w lagranżjanach Modelu Standardowego są traktowane jako fundamentalne aksjomaty konstrukcyjne.

Twierdzenie Noether znajduje również zastosowanie w analizie symetrii cechowania, choć tam sytuacja jest bardziej złożona ze względu na lokalny charakter transformacji $\alpha(x)$ . Niemniej jednak, to właśnie dzięki powiązaniu symetrii z wielkościami zachowanymi, formalizm lagranżowski pozwala na głębokie zrozumienie natury oddziaływań. Każda stała fizyczna, od energii po izospin, znajduje swoje uzasadnienie w strukturze geometrycznej lagranżjanu. W kwantowej teorii pola operatory ładunku $\hat{Q}$ stają się generatorami odpowiednich transformacji symetrii w przestrzeni Hilberta, co domyka związek między klasycznym ujęciem wariacyjnym a kwantową mechaniką operatorową poprzez relację $\delta \hat{\phi} = i [\hat{Q}, \hat{\phi}]$ .

6. Cechowanie i oddziaływania elektromagnetyczne

Wprowadzenie oddziaływań elektromagnetycznych do mechaniki kwantowej w ramach formalizmu lagranżowskiego opiera się na genialnej koncepcji lokalnej niezmienniczości względem grupy cechowania $U(1)$ . W klasycznej elektrodynamice potencjały nie są mierzalne bezpośrednio, a fizyka układu pozostaje niezmieniona przy transformacji $A_{\mu} \rightarrow A_{\mu} - \partial_{\mu} \lambda$ . W ujęciu kwantowym zasada ta zostaje rozszerzona na pole materii, na przykład na pole elektronowe opisane spinorem $\psi$ . Jeśli założymy, że globalna faza pola $\psi \rightarrow e^{iq \alpha} \psi$ jest symetrią, to naturalnym krokiem jest postulat, aby teoria była niezmiennicza również wtedy, gdy faza $\alpha(x)$ zależy od punktu w czasoprzestrzeni. Jednakże zwykła pochodna $\partial_{\mu} \psi$ nie transformuje się kowariantnie przy lokalnej zmianie fazy, co psuje niezmienniczość swobodnego lagranżjanu Diraca.

Aby przywrócić niezmienniczość cechowania, musimy zmodyfikować operator różniczkowy, wprowadzając pochodną kowariantną $D_{\mu} = \partial_{\mu} + iq A_{\mu}$ . Tutaj $A_{\mu}$ jest polem wektorowym, które musi transformować się w ściśle określony sposób $A_{\mu} \rightarrow A_{\mu} - \partial_{\mu} \alpha(x)$ , aby skompensować niepożądane człony wynikające z różniczkowania lokalnej fazy. Dzięki temu zabiegowi, wyrażenie $D_{\mu} \psi$ transformuje się identycznie jak samo pole $\psi$ , czyli $D_{\mu} \psi \rightarrow e^{iq \alpha(x)} D_{\mu} \psi$ . W ten sposób zasada cechowania nie tylko pozwala na opis oddziaływań, ale wręcz wymusza istnienie pola elektromagnetycznego jako niezbędnego składnika teorii, który zapewnia spójność matematyczną układu przy lokalnych transformacjach jednostkowych.

Pełny lagranżjan elektrodynamiki kwantowej (QED) składa się z trzech części: członu opisującego materię, członu oddziaływania oraz członu kinetycznego dla samego pola elektromagnetycznego. Zapisujemy go w postaci $\mathcal{L} = \bar{\psi} (i \gamma^{\mu} D_{\mu} - m) \psi - \frac{1}{4} F_{\mu \nu} F^{\mu \nu}$ . Pierwszy człon po rozpisaniu pochodnej kowariantnej zawiera interakcję o formie $\mathcal{L}{int} = -q \bar{\psi} \gamma^{\mu} \psi A{\mu}$ , co odpowiada sprzężeniu prądu Diraca z potencjałem wektorowym. Ostatni człon, $-\frac{1}{4} F_{\mu \nu} F^{\mu \nu}$ , gdzie tensor natężenia pola to $F_{\mu \nu} = \partial_{\mu} A_{\nu} - \partial_{\nu} A_{\mu}$ , opisuje dynamikę swobodnych fotonów. Jest on jawnym niezmiennikiem cechowania, ponieważ $F_{\mu \nu}$ nie ulega zmianie przy transformacji potencjałów, co gwarantuje, że foton pozostaje cząstką bezmasową, gdyż człon masy $\frac{1}{2} m_A^2 A_{\mu} A^{\mu}$ naruszałby tę symetrię.

Zastosowanie równań Eulera-Lagrange’a do tak sformułowanego lagranżjanu względem pola $A_{\nu}$ prowadzi do uzyskania niejednorodnych równań Maxwella w formie relatywistycznej $\partial_{\mu} F^{\mu \nu} = q \bar{\psi} \gamma^{\nu} \psi$ . Po prawej stronie równania pojawia się prąd Noether $j^{\nu} = q \bar{\psi} \gamma^{\nu} \psi$ , który jest źródłem pola elektromagnetycznego. Z kolei wariacja względem spinora $\bar{\psi}$ daje równanie Diraca w obecności pola zewnętrznego $(i \gamma^{\mu} \partial_{\mu} - q \gamma^{\mu} A_{\mu} - m) \psi = 0$ . To wzajemne sprzężenie pól materii i promieniowania, wynikające bezpośrednio z gęstości lagranżjanu, pozwala na precyzyjne obliczenia przekrojów czynnych w procesach takich jak rozpraszanie Comptona czy anihilacja par elektron-pozyton.

Należy również wspomnieć o procedurze ustalania cechowania (gauge fixing), która jest konieczna do poprawnego kwantowania lagranżjanu elektromagnetycznego. Ponieważ lagranżjan swobodny pola wektorowego jest osobliwy z powodu niezmienniczości cechowania, pędy kanoniczne $\pi^0 = \frac{\partial \mathcal{L}}{\partial \dot{A}0}$ znikają tożsamościowo. Aby temu zaradzić, do lagranżjanu dodaje się człon ustalający cechowanie, na przykład w cechowaniu Lorenza $\mathcal{L}{gf} = -\frac{1}{2\xi} (\partial_{\mu} A^{\mu})^2$ . Tak zmodyfikowany lagranżjan pozwala na zdefiniowanie propagatora fotonu i przeprowadzenie rachunku zaburzeń. Cała struktura oddziaływań w Modelu Standardowym, w tym siły silne i słabe, jest jedynie uogólnieniem tego mechanizmu na bardziej złożone, nieabelowe grupy symetrii, co podkreśla uniwersalność podejścia opartego na lagranżjanie i lokalnym cechowaniu.

7. Całki po trajektoriach Feynmana

Sformułowanie całek po trajektoriach, wprowadzone przez Richarda Feynmana, stanowi trzecie, obok ujęcia Schrödingera i Heisenberga, równoważne podejście do mechaniki kwantowej, które w sposób najbardziej bezpośredni wykorzystuje lagranżjan. W tym ujęciu amplituda przejścia układu ze stanu początkowego $|q_a, t_a\rangle$ do stanu końcowego $|q_b, t_b\rangle$ nie jest wyznaczana przez rozwiązanie cząstkowego równania różniczkowego, lecz przez sumowanie wkładów od wszystkich możliwych dróg łączących te dwa punkty w czasoprzestrzeni. Matematycznie amplitudę tę, zwaną propagatorem, zapisujemy jako $K(q_b, t_b; q_a, t_a) = \int \mathcal{D}q(t) \exp(\frac{i}{\hbar} S[q(t)])$ , gdzie $S[q(t)] = \int_{t_a}^{t_b} L(q, \dot{q}, t) dt$ jest klasycznym działaniem obliczonym wzdłuż danej trajektorii $q(t)$ .

Kluczowym elementem tego formalizmu jest miara całkowa $\mathcal{D}q(t)$ , która reprezentuje sumowanie po nieskończenie wymiarowej przestrzeni konfiguracji. Aby nadać temu wyrażeniu ścisły sens, czas dzielimy na $N$ małych przedziałów o długości $\epsilon = (t_b - t_a)/N$ , co pozwala zapisać całkę jako granicę wielokrotnego całkowania $\lim_{N \to \infty} \frac{1}{A} \int \frac{dq_1}{A} \dots \frac{dq_{N-1}}{A} \exp(\frac{i}{\hbar} \sum_{j=1}^N S_j)$ , gdzie $A$ jest czynnikiem normalizacyjnym zależnym od masy i kroku czasowego. W każdym małym kroku czasowym lagranżjan aproksymujemy wartościami dyskretnymi, co pozwala powiązać ewolucję kwantową z klasyczną funkcją energii. Taka konstrukcja pokazuje, że w świecie kwantowym cząstka „testuje” wszystkie drogi, nawet te, które drastycznie łamią klasyczne równania ruchu, a ich wkład jest ważony fazą zespoloną o module równym jedności.

Przejście do kwantowej teorii pola odbywa się poprzez zastąpienie współrzędnych $q(t)$ polami $\phi(x)$ , co prowadzi do definicji funkcjonału generującego $Z[J] = \int \mathcal{D}\phi \exp(i \int d^4x [\mathcal{L} + J\phi])$ . Tutaj $J(x)$ pełni rolę zewnętrznego źródła, a funkcjonał $Z[J]$ pozwala na obliczanie n-punktowych funkcji Greena poprzez branie pochodnych funkcjonalnych $\langle 0 | T \phi(x_1) \dots \phi(x_n) | 0 \rangle = \frac{1}{Z[0]} \frac{\delta^n Z[J]}{i^n \delta J(x_1) \dots \delta J(x_n)} |_{J=0}$ . To podejście jest niezwykle potężne, ponieważ pozwala na jawną manifestację niezmienniczości Lorentza w każdym kroku obliczeń, co w formalizmie kanonicznym z wyróżnionym czasem jest często utrudnione. Lagranżjan wewnątrz wykładnika całki feynmanowskiej bezpośrednio determinuje strukturę perturbacyjną teorii i reguły Feynmana.

W granicy klasycznej, gdy stała Plancka $\hbar$ dąży do zera, faza $S/\hbar$ staje się bardzo duża, co powoduje, że wkład od trajektorii leżących daleko od ekstremum działania znosi się na skutek gwałtownych oscylacji. Dominujący wkład pochodzi wówczas jedynie z obszaru bliskiego drodze, dla której $\delta S = 0$ , co w sposób naturalny wyprowadza klasyczną zasadę najmniejszego działania z mechaniki kwantowej. Dla swobodnego pola skalarnego całka ma charakter gaussowski i może być obliczona dokładnie, dając wynik w postaci $Z_0[J] = \exp(-\frac{i}{2} \int d^4x d^4y J(x) \Delta_F(x-y) J(y))$ , gdzie $\Delta_F$ jest propagatorem Feynmana będącym funkcją Greena operatora Kleina-Gordona, czyli $(\square + m^2) \Delta_F(x-y) = -\delta^{(4)}(x-y)$ .

Formalizm całek po trajektoriach jest również niezbędny w teoriach z więzami i teoriach cechowania, gdzie stosuje się metodę Faddeeva-Popova. Wymaga ona wprowadzenia do lagranżjanu dodatkowych pól duchów $c, \bar{c}$ oraz członów ustalających cechowanie, aby poprawnie ograniczyć całkowanie funkcjonalne do fizycznych, nieizomorficznych konfiguracji pól. Całkowity efektywny lagranżjan przyjmuje wtedy postać $\mathcal{L}{eff} = \mathcal{L}{gauge} + \mathcal{L}{gf} + \mathcal{L}{ghost}$ . Bez ujęcia feynmanowskiego i bezpośredniego operowania na lagranżjanie wewnątrz całki funkcjonalnej, sformułowanie współczesnych teorii unifikacji oddziaływań byłoby niemal niemożliwe ze względu na ogromną złożoność transformacji unitarnych w przestrzeni stanów.

8. Lagranżjan pola Yang-Millsa i chromodynamika

Rozszerzenie koncepcji niezmienniczości cechowania na nieabelowe grupy symetrii, takie jak $SU(N)$ , stanowi fundament współczesnego opisu oddziaływań silnych i słabych. W przypadku chromodynamiki kwantowej (QCD) bazujemy na grupie $SU(3)$ , która opisuje symetrię ładunku kolorowego kwarków. W przeciwieństwie do abelowej grupy $U(1)$ znanej z elektrodynamiki, generatory grupy $T^a$ nie komutują ze sobą, co matematycznie wyrażamy poprzez relację $[T^a, T^b] = i f^{abc} T^c$ , gdzie $f^{abc}$ są stałymi strukturalnymi grupy. Aby zachować lokalną niezmienniczość lagranżjanu fermionowego względem transformacji $\psi \rightarrow \exp(i g \alpha^a(x) T^a) \psi$ , konieczne jest wprowadzenie ośmiu pól wektorowych $A_{\mu}^a$ , zwanych gluonami, oraz zdefiniowanie nieabelowej pochodnej kowariantnej w postaci $D_{\mu} = \partial_{\mu} - i g T^a A_{\mu}^a$ .

Kluczową różnicą w stosunku do teorii Maxwella jest postać tensora natężenia pola, który w teoriach Yang-Millsa musi uwzględniać niekomutatywność generatorów. Tensor ten definiujemy jako $G_{\mu \nu}^a = \partial_{\mu} A_{\nu}^a - \partial_{\nu} A_{\mu}^a + g f^{abc} A_{\mu}^b A_{\nu}^c$ . Obecność ostatniego członu, proporcjonalnego do stałej sprzężenia $g$ oraz stałych strukturalnych, ma kolosalne znaczenie fizyczne, ponieważ oznacza, że bozony cechowania posiadają ładunek kolorowy i mogą oddziaływać same ze sobą. Gęstość lagranżjanu dla swobodnych pól Yang-Millsa przyjmuje postać $\mathcal{L}{YM} = -\frac{1}{4} G{\mu \nu}^a G^{a \mu \nu}$ , co po rozpisaniu prowadzi do występowania wierzchołków oddziaływania trzech i czterech gluonów w rachunku zaburzeń. To właśnie to samooddziaływanie gluonów jest odpowiedzialne za zjawisko asymptotycznej swobody, w którym siła oddziaływania maleje na małych odległościach.

Pełny lagranżjan chromodynamiki kwantowej, opisujący dynamikę kwarków i gluonów, zapisujemy jako sumę członów kinetycznych i interakcji w formie $\mathcal{L}{QCD} = \sum_f \bar{\psi}f (i \gamma^{\mu} D{\mu} - m_f) \psi_f - \frac{1}{4} G{\mu \nu}^a G^{a \mu \nu}$ , gdzie suma przebiega po wszystkich zapachach kwarków $f$ . Człon oddziaływania kwark-gluon $g \bar{\psi} \gamma^{\mu} T^a A_{\mu}^a \psi$ wskazuje, że wymiana gluonu może zmieniać kolor kwarka, ale nie jego zapach. Złożoność tego lagranżjanu wynika z faktu, że pola gluonowe $A_{\mu}^a$ wchodzą do tensora $G_{\mu \nu}^a$ w sposób nieliniowy, co sprawia, że próżnia w QCD ma bardzo skomplikowaną strukturę topologiczną, a same równania ruchu są nieliniowymi równaniami różniczkowymi cząstkowymi, znacznie trudniejszymi do rozwiązania niż klasyczne równania Maxwella.

W procesie kwantowania lagranżjanu Yang-Millsa przy użyciu całek po trajektoriach pojawia się problem nadmiarowości konfiguracji pól związany z niezmienniczością cechowania. Aby wyeliminować niefizyczne stopnie swobody, stosuje się procedurę Faddeeva-Popova, wprowadzając człon ustalający cechowanie $\mathcal{L}{gf} = -\frac{1}{2\xi} (\partial^{\mu} A{\mu}^a)^2$ oraz dodatkowe pola duchów $\mathcal{L}{ghost} = \partial{\mu} \bar{c}^a D^{\mu ab} c^b$ , gdzie $D^{\mu ab} = \delta^{ab} \partial^{\mu} - g f^{abc} A^{\mu c}$ . Duchy te są polami skalarnymi, które spełniają statystykę Fermiego-Diraca i występują jedynie w pętlach diagramów Feynmana, zapewniając unitarność macierzy $S$ . Chociaż pola te nie są cząstkami fizycznymi, ich obecność w lagranżjanie jest niezbędna do poprawnego opisu procesów zachodzących w akceleratorach cząstek.

Lagranżjan Yang-Millsa stanowi serce Modelu Standardowego nie tylko w kontekście oddziaływań silnych, ale także w teorii elektrosłabej opartej na grupie $SU(2) \times U(1)$ . Dynamika wynikająca z tak skonstruowanego lagranżjanu pozwala wyjaśnić, dlaczego na dużych odległościach kwarki są uwięzione wewnątrz hadronów (confinement), a na krótkich zachowują się jak cząstki niemal swobodne. Matematyczna elegancja tego sformułowania polega na tym, że cała bogata fenomenologia świata subatomowego zostaje wyprowadzona z jednej, zwartej zasady geometrycznej, jaką jest niezmienniczość gęstości lagranżjanu względem lokalnych obrotów w przestrzeni barwnej.

9. Mechanizm Higgsa i łamanie symetrii

Mechanizm Higgsa stanowi kluczowe rozwiązanie problemu pochodzenia masy cząstek elementarnych w ramach teorii cechowania, które ze swej natury wymagają bezmasowych bozonów pośredniczących. Problem ten wynika z faktu, że bezpośrednie wprowadzenie członu masy $\frac{1}{2} m^2 A_{\mu} A^{\mu}$ do lagranżjanu narusza lokalną niezmienniczość cechowania, co prowadzi do teorii nierenormalizowalnych i niespójnych matematycznie. Rozwiązaniem jest wprowadzenie do lagranżjanu dodatkowego zespolonego pola skalarnego $\phi$ , zwanego polem Higgsa, które oddziałuje z polami cechowania poprzez pochodną kowariantną $D_{\mu} \phi = (\partial_{\mu} + ig T^a A_{\mu}^a) \phi$ . Gęstość lagranżjanu dla sektora skalara zapisujemy jako $\mathcal{L}H = (D{\mu} \phi)^{\dagger} (D^{\mu} \phi) - V(\phi)$ , gdzie kluczową rolę odgrywa postać potencjału samosprzężenia.

Potencjał Higgsa, często nazywany potencjałem w kształcie kapelusza meksykańskiego, ma postać $V(\phi) = \mu^2 \phi^{\dagger} \phi + \lambda (\phi^{\dagger} \phi)^2$ . W przypadku, gdy parametr $\mu^2$ jest ujemny, a $\lambda$ dodatni, stan o najniższej energii, czyli próżnia, nie znajduje się w punkcie $\phi = 0$ . Zamiast tego, istnieje całe kontinuum stanów o minimalnej energii tworzących okrąg w przestrzeni pól o promieniu $v = \sqrt{-\mu^2 / \lambda}$ , gdzie $v$ jest znaną wartością próżniową. Proces wyboru konkretnego stanu próżni przez naturę nazywamy spontanicznym złamaniem symetrii, ponieważ choć sam lagranżjan pozostaje niezmienniczy względem transformacji grupy symetrii, stan podstawowy układu tę symetrię traci.

Aby zbadać spektrum cząstek po złamaniu symetrii, dokonujemy parametryzacji pola wokół nowej próżni w postaci $\phi(x) = \frac{1}{\sqrt{2}} (v + h(x)) \exp(i \theta(x) / v)$ , gdzie $h(x)$ reprezentuje fizyczny bozon Higgsa, a $\theta(x)$ to bezmasowe bozony Goldstone’a. Dzięki swobodzie cechowania możemy dokonać transformacji do tak zwanego cechowania unitarnego, w którym niefizyczne pole $\theta(x)$ zostaje wyeliminowane, a jego stopnie swobody zostają „pochłonięte” przez bozony cechowania $A_{\mu}$ . W wyniku tej operacji w lagranżjanie pojawia się człon $\frac{1}{2} g^2 v^2 A_{\mu} A^{\mu}$ , który ma dokładnie taką samą strukturę jak człon masowy, co oznacza, że bozony cechowania nabyły masę $M_A = g v$ . Jest to mechanizm, który pozwala bozonom $W$ i $Z$ na posiadanie dużych mas przy jednoczesnym zachowaniu bezmasowości fotonu w grupie $SU(2) \times U(1)$ .

Mechanizm ten odpowiada również za generowanie mas fermionów poprzez oddziaływania Yukawy, które wprowadzamy do lagranżjanu jako dodatkowy człon interakcji pola Higgsa ze spinorami Diraca $\mathcal{L}_Y = -g_f (\bar{\psi}_L \phi \psi_R + \bar{\psi}_R \phi^{\dagger} \psi_L)$ . Po spontanicznym złamaniu symetrii i podstawieniu $\phi = (v + h)/\sqrt{2}$ , wyraz ten generuje człon masowy dla fermionów o postaci $m_f = \frac{g_f v}{\sqrt{2}}$ . Oznacza to, że masa każdego kwarka i leptonu jest proporcjonalna do siły jego sprzężenia z polem Higgsa, co wyjaśnia, dlaczego cząstki o różnych masach mogą być opisane w ramach jednej, spójnej teorii pola. W ten sposób lagranżjan Higgsa staje się mechanizmem spinającym całą strukturę Modelu Standardowego, nadając realną masę obiektom fizycznym.

Ostatecznie, pełny lagranżjan po złamaniu symetrii zawiera również człon opisujący dynamikę samego bozonu Higgsa $\mathcal{L}h = \frac{1}{2} \partial{\mu} h \partial^{\mu} h - \frac{1}{2} m_h^2 h^2$ , gdzie masa Higgsa wynosi $m_h = \sqrt{2 \lambda v^2}$ . Odkrycie tej cząstki w eksperymentach LHC potwierdziło, że matematyczna struktura lagranżjanu z ujemnym parametrem $\mu^2$ poprawnie opisuje fizyczną rzeczywistość. Bez formalizmu lagranżowskiego, który pozwala na jednoczesne operowanie polami cechowania i polami skalarnymi w sposób jawnie relatywistyczny, zrozumienie subtelnego przejścia fazowego wczesnego wszechświata, które nadało masę materii, byłoby niemożliwe do sformułowania w sposób ilościowy.

10. Kwantowanie kanoniczne a lagranżjan

Proces kwantowania kanonicznego stanowi systematyczną procedurę przejścia od klasycznego opisu polowego, opartego na gęstości lagranżjanu, do operatorowego sformułowania mechaniki kwantowej w przestrzeni Hilberta. Punktem wyjścia jest identyfikacja zmiennych dynamicznych układu, którymi w teorii pola są wartości pola $\phi(x)$ w każdym punkcie przestrzeni. Lagranżjan $L = \int d^3x \mathcal{L}$ pozwala na zdefiniowanie pędu kanonicznie sprzężonego $\pi(\mathbf{x}, t)$ , który jest wyznaczany jako pochodna funkcjonalna gęstości lagranżjanu względem pochodnej czasowej pola, co zapisujemy wzorem $\pi(\mathbf{x}, t) = \frac{\partial \mathcal{L}}{\partial \dot{\phi}(\mathbf{x}, t)}$ . To przejście od prędkości polowych do pędów jest kluczowe dla sformułowania hamiltonowskiego, które z kolei umożliwia narzucenie kwantowych reguł komutacji.

W ujęciu kwantowym pola $\phi$ oraz $\pi$ przestają być funkcjami liczbowymi i stają się operatorami działającymi w przestrzeni stanów Focka. Fundamentalnym aksjomatem kwantowania kanonicznego jest narzucenie równoczasowych relacji komutacyjnych, które stanowią bezpośrednie uogólnienie relacji Heisenberga dla układów o nieskończonej liczbie stopni swobody. Relacje te mają postać $[\phi(\mathbf{x}, t), \pi(\mathbf{y}, t)] = i \delta^{(3)}(\mathbf{x}-\mathbf{y})$ , podczas gdy komutatory dwóch pól lub dwóch pędów znikają, co zapisujemy jako $[\phi(\mathbf{x}, t), \phi(\mathbf{y}, t)] = 0$ oraz $[\pi(\mathbf{x}, t), \pi(\mathbf{y}, t)] = 0$ . Stała Plancka $\hbar$ jest tu przyjmowana jako jedność w jednostkach naturalnych. Te relacje komutacyjne zapewniają, że zasada nieoznaczoności jest wbudowana w samą strukturę pola, co uniemożliwia jednoczesne precyzyjne określenie wartości pola i jego szybkości zmian w tym samym punkcie przestrzeni.

Po zdefiniowaniu operatorów i ich komutatorów, konstruujemy operator energii układu, czyli hamiltonian $H$ , wykorzystując transformację Legendre’a gęstości lagranżjanu. Gęstość hamiltonianu przyjmuje postać $\mathcal{H} = \pi \dot{\phi} - \mathcal{L}$ , a całkowity hamiltonian to całka przestrzenna $H = \int d^3x \mathcal{H}(\phi, \pi)$ . Ewolucja czasowa dowolnego operatora $\hat{O}$ w obrazie Heisenberga jest wówczas rządzona równaniem $i \frac{d\hat{O}}{dt} = [\hat{O}, H]$ . Jeśli podstawimy w miejsce operatora $\hat{O}$ samo pole $\phi$ lub pęd $\pi$ , otrzymamy operatoryjne odpowiedniki klasycznych równań ruchu. Przykładowo, dla lagranżjanu swobodnego pola skalarnego, procedura ta prowadzi do odtworzenia równania Kleina-Gordona na poziomie operatorowym $(\square + m^2) \hat{\phi} = 0$ , co dowodzi spójności sformułowania lagranżowskiego i hamiltonowskiego.

Kolejnym krokiem w kwantowaniu kanonicznym jest rozkład operatorów pola na mody Fouriera, co pozwala na interpretację polową w kategoriach cząstek. Pole skalarne rozkładamy jako $\phi(x) = \int \frac{d^3k}{(2\pi)^3 \sqrt{2\omega_k}} [ a_{\mathbf{k}} e^{-ikx} + a_{\mathbf{k}}^{\dagger} e^{ikx} ]$ , gdzie $\omega_k = \sqrt{\mathbf{k}^2 + m^2}$ . Dzięki narzuconym wcześniej komutatorom polowym, współczynniki $a_{\mathbf{k}}$ i $a_{\mathbf{k}}^{\dagger}$ muszą spełniać relacje $[a_{\mathbf{k}}, a_{\mathbf{k'}}^{\dagger}] = (2\pi)^3 \delta^{(3)}(\mathbf{k}-\mathbf{k'})$ . Pozwala to na interpretację $a_{\mathbf{k}}^{\dagger}$ jako operatora kreacji cząstki o pędzie $\mathbf{k}$ , a $a_{\mathbf{k}}$ jako operatora jej anihilacji. W ten sposób lagranżjan, poprzez procedurę kwantowania kanonicznego, determinuje nie tylko dynamikę falową, ale i statystykę oraz strukturę cząsteczkową stanów kwantowych.

Warto zauważyć, że dla pól fermionowych procedura ta ulega modyfikacji wynikającej z zakazu Pauliego. Dla lagranżjanu Diraca pęd kanoniczny wynosi $\pi = \frac{\partial \mathcal{L}}{\partial \dot{\psi}} = i \bar{\psi} \gamma^0 = i \psi^{\dagger}$ . Zamiast komutatorów, wymuszamy relacje antykomutacyjne ${\psi_a(\mathbf{x}, t), \pi_b(\mathbf{y}, t)} = i \delta_{ab} \delta^{(3)}(\mathbf{x}-\mathbf{y})$ . Mimo tej różnicy technicznej, rola lagranżjanu pozostaje niezmienna – służy on jako źródło definicji pędów i hamiltonianu, stanowiąc most między klasyczną zasadą najmniejszego działania a kwantową strukturą materii. Bezpośrednie powiązanie gęstości lagranżjanu z operatorami pędu i energii pozwala na zachowanie jawnej przyczynowości i lokalności w relatywistycznych procesach kwantowych, co czyni ten formalizm niezbędnym w badaniu zderzeń cząstek elementarnych.

11. Podsumowanie

Formalizm lagranżowski w mechanice kwantowej stanowi najbardziej spójny i uniwersalny sposób opisu fundamentalnych praw natury, łącząc w jedną całość zasady dynamiki, symetrii oraz kwantowania. Przejście od klasycznego ujęcia punktowego do kwantowej teorii pola, opartej na gęstości lagranżjanu $\mathcal{L}$ , umożliwiło sformułowanie teorii, które są jednocześnie zgodne z mechaniką kwantową i szczególną teorią względności. Jak wykazano w poprzednich sekcjach, każda kluczowa własność cząstek elementarnych, od masy po ładunek kolorowy, jest zakodowana w strukturze matematycznej odpowiednich członów lagranżjanu, takich jak człon kinetyczny $\frac{1}{2} \partial_{\mu} \phi \partial^{\mu} \phi$ czy człon masowy $\frac{1}{2} m^2 \phi^2$ . Dzięki temu, zamiast operować na skomplikowanych siłach, fizycy mogą projektować modele wszechświata, wychodząc od prostych zasad niezmienniczości skalarnych funkcji działania.

Niezwykła potęga tego sformułowania przejawia się w fakcie, że wszystkie znane oddziaływania fundamentalne wynikają z jednej zasady, jaką jest lokalna symetria cechowania. Wymóg, aby lagranżjan był niezmienniczy względem transformacji fazy $\psi \rightarrow e^{i \alpha(x)} \psi$ , doprowadził do odkrycia struktury elektrodynamiki kwantowej, a uogólnienie tej zasady na grupy nieabelowe, jak $SU(3)$ , pozwoliło na zrozumienie oddziaływań silnych poprzez tensor natężenia pola $G_{\mu \nu}^a$ . Cała dynamika Modelu Standardowego jest więc zawarta w jednym, choć złożonym wyrażeniu, które poprzez zasadę najmniejszego działania $\delta \int d^4x \mathcal{L} = 0$ determinuje ewolucję wszystkich znanych pól materii i bozonów pośredniczących. Lagranżjan stał się zatem językiem, w którym zapisane są najbardziej elementarne procesy, od rozpadu mionu po produkcję bozonów Higgsa w akceleratorach.

Współczesna fizyka nie mogłaby istnieć bez ujęcia feynmanowskiego, które kładzie nacisk na wagę statystyczną trajektorii wyrażoną przez czynnik fazowy $\exp(i S / \hbar)$ . To podejście pokazało, że klasyczne równania ruchu są jedynie punktem stacjonarnym w sumowaniu po wszystkich możliwych historiach układu kwantowego. Dzięki całkom funkcjonalnym, lagranżjan stał się narzędziem nie tylko do opisu dynamiki, ale i do obliczania amplitud prawdopodobieństwa w procesach rozpraszania, co matematycznie sprowadza się do obliczania pochodnych funkcjonalnych z funkcjonału generującego $Z[J]$ . Pozwala to na systematyczne badanie poprawek radiacyjnych i renormalizację teorii, co jest niezbędne do uzyskania wyników doświadczalnych o wysokiej precyzji, takich jak anomalny moment magnetyczny elektronu.

Warto również podkreślić rolę mechanizmu Higgsa i spontanicznego łamania symetrii, które pokazują, że postać lagranżjanu może ukrywać rzeczywiste własności fizyczne próżni. Wprowadzenie potencjału $V(\phi) = \mu^2 \phi^{\dagger} \phi + \lambda (\phi^{\dagger} \phi)^2$ pozwoliło na nadanie mas cząstkom bez naruszania fundamentalnych symetrii cechowania, co jest triumfem matematycznego rygoru formalizmu lagranżowskiego. Każdy aspekt współczesnej fizyki cząstek, od chiralności fermionów po mieszanie kwarków opisane macierzą CKM, znajduje swoje precyzyjne sformułowanie właśnie w członach interakcji Yukawy $-g_f \bar{\psi} \phi \psi$ zawartych w lagranżjanach. Systematyczne podejście oparte na operatorach energii i pędu, wynikających z tensora $T^{\mu \nu}$ , domyka ten obraz, czyniąc teorię spójną i kompletną.

Na zakończenie należy stwierdzić, że lagranżjan w mechanice kwantowej nie jest jedynie wygodnym zapisem matematycznym, lecz głęboką strukturą ontologiczną, która definiuje dynamikę bytu w skali subatomowej. Ewolucja od równania Kleina-Gordona, poprzez równanie Diraca, aż po zaawansowane teorie Yang-Millsa, pokazuje stałą tendencję do unifikacji opisu przyrody za pomocą coraz bardziej eleganckich gęstości lagranżjanu. W dobie poszukiwań teorii wszystkiego, podejście oparte na funkcjonalne działania pozostaje najbardziej obiecującym kierunkiem, pozwalającym na łączenie grawitacji kwantowej z pozostałymi oddziałaniami w ramach spójnego schematu wariacyjnego. Bez głębokiego zrozumienia formalizmu lagranżowskiego niemożliwe byłoby nie tylko uprawianie nowoczesnej fizyki, ale nawet poprawne sformułowanie pytań o naturę czasu, przestrzeni i materii.

12. ZADANIA

1. Wyprowadzenie równania ruchu dla swobodnego rzeczywistego pola skalarnego

Punktem wyjścia do opisu dynamiki swobodnego, rzeczywistego pola skalarnego $\phi(x)$ jest zdefiniowanie gęstości lagranżjanu, która musi być niezmiennikiem Lorentza. Dla pola o masie $m$ przyjmujemy standardową postać $\mathcal{L} = \frac{1}{2} \partial_{\mu} \phi \partial^{\mu} \phi - \frac{1}{2} m^2 \phi^2$ , gdzie pierwszy człon reprezentuje energię kinetyczną (pochodne pola), a drugi człon energię potencjalną związaną z masą spoczynkową cząstki. Zgodnie z zasadą Hamiltona, ewolucja pola realizowana jest dla trajektorii, która minimalizuje funkcjonał działania $S = \int d^4x \mathcal{L}$ , co matematycznie sprowadza się do rozwiązania równań Eulera-Lagrange’a dla gęstości pól ciągłych $\partial_{\mu} ( \frac{\partial \mathcal{L}}{\partial (\partial_{\mu} \phi)} ) - \frac{\partial \mathcal{L}}{\partial \phi} = 0$ .

Aby wyznaczyć konkretną postać równania różniczkowego, obliczamy najpierw pochodną cząstkową gęstości lagranżjanu względem samego pola $\phi$ , traktując gradienty jako zmienne niezależne, co daje nam wynik $\frac{\partial \mathcal{L}}{\partial \phi} = -m^2 \phi$ . W kolejnym kroku obliczamy pochodną względem czterogradientu pola $\partial_{\mu} \phi$ . Korzystając z własności różniczkowania form kwadratowych i faktu, że $\partial_{\mu} \phi \partial^{\mu} \phi = g^{\alpha \beta} \partial_{\alpha} \phi \partial_{\beta} \phi$ , otrzymujemy $\frac{\partial \mathcal{L}}{\partial (\partial_{\mu} \phi)} = \partial^{\mu} \phi$ . Wynik ten reprezentuje pęd kanoniczny stowarzyszony z polem w ujęciu relatywistycznym.

Podstawiając uzyskane wyrażenia do struktury równania Eulera-Lagrange’a, otrzymujemy równanie w postaci $\partial_{\mu} ( \partial^{\mu} \phi ) - (-m^2 \phi) = 0$ . Po uproszczeniu znaków i zastosowaniu definicji operatora d’Alemberta, który w czasoprzestrzeni Minkowskiego zapisujemy jako $\square = \partial_{\mu} \partial^{\mu} = \frac{\partial^2}{\partial t^2} - \nabla^2$ , dochodzimy do ostatecznej formy znanej jako równanie Kleina-Gordona $(\square + m^2) \phi = 0$ . Jest to liniowe równanie falowe drugiego rzędu, które stanowi fundament kwantowej teorii pola dla cząstek o spinie zero, a postać lagranżjanu, z którego zostało wyprowadzone, gwarantuje, że opis jest w pełni zgodny ze szczególną teorią względności.

2. Wyznaczenie prądu Noether dla globalnej symetrii fazowej $U(1)$

Rozważamy układ opisany przez zespolone pole skalarne $\phi(x)$ , którego gęstość lagranżjanu ma postać $\mathcal{L} = \partial_{\mu} \phi^{\dagger} \partial^{\mu} \phi - m^2 \phi^{\dagger} \phi$ . Taka postać lagranżjanu posiada globalną symetrię względem grupy transformacji $U(1)$ , co oznacza, że pozostaje on niezmienniczy przy transformacji fazy pola $\phi \rightarrow \phi' = e^{i\alpha} \phi$ oraz pola sprzężonego $\phi^{\dagger} \rightarrow \phi'^{\dagger} = e^{-i\alpha} \phi^{\dagger}$ , gdzie $\alpha$ jest stałym parametrem rzeczywistym. Aby wyznaczyć zachowany prąd, analizujemy wariacje pól dla nieskończenie małego parametru $\alpha$ , co daje nam przybliżenia $\delta \phi = i \alpha \phi$ oraz $\delta \phi^{\dagger} = -i \alpha \phi^{\dagger}$ .

Zgodnie z twierdzeniem Noether, każdej ciągłej symetrii odpowiada prąd zachowany $j^{\mu}$ , który dla układu wielu pól definiujemy wzorem $j^{\mu} = \sum_n \frac{\partial \mathcal{L}}{\partial (\partial_{\mu} \phi_n)} \delta \phi_n$ . W naszym przypadku mamy dwa niezależne pola $\phi$ oraz $\phi^{\dagger}$ , zatem prąd przyjmuje formę $j^{\mu} = \frac{\partial \mathcal{L}}{\partial (\partial_{\mu} \phi)} \delta \phi + \frac{\partial \mathcal{L}}{\partial (\partial_{\mu} \phi^{\dagger})} \delta \phi^{\dagger}$ . Obliczamy pędy kanoniczne dla obu pól: pochodna lagranżjanu względem $\partial_{\mu} \phi$ wynosi $\partial^{\mu} \phi^{\dagger}$ , natomiast pochodna względem $\partial_{\mu} \phi^{\dagger}$ daje $\partial^{\mu} \phi$ .

Podstawiając obliczone pochodne oraz wariacje pól do wzoru na prąd, otrzymujemy wyrażenie $j^{\mu} = (\partial^{\mu} \phi^{\dagger}) (i \alpha \phi) + (\partial^{\mu} \phi) (-i \alpha \phi^{\dagger})$ . Ponieważ parametr $\alpha$ jest dowolny, możemy go pominąć w definicji gęstości prądu, co po wyciągnięciu jednostki urojonej $i$ przed nawias prowadzi do ostatecznej postaci prądu Noether $j^{\mu} = i ( \phi^{\dagger} \partial^{\mu} \phi - \phi \partial^{\mu} \phi^{\dagger} )$ . Na mocy równań ruchu prąd ten spełnia równanie ciągłości $\partial_{\mu} j^{\mu} = 0$ , co fizycznie interpretujemy jako zachowanie ładunku elektrycznego lub liczby cząstek w układzie kwantowym.

3. Konstrukcja gęstości hamiltonianu dla pola Kleina-Gordona

Przejście od formalizmu lagranżowskiego do hamiltonowskiego w kwantowej teorii pola wymaga przeprowadzenia transformacji Legendre’a, która zamienia zależności od pochodnych czasowych pola na zależności od pędów kanonicznie sprzężonych. Rozpoczynamy od gęstości lagranżjanu swobodnego rzeczywistego pola skalarnego zapisanej w jawnej formie czasowo-przestrzennej $\mathcal{L} = \frac{1}{2} (\dot{\phi}^2 - (\nabla \phi)^2 - m^2 \phi^2)$ , gdzie kropka nad symbolem pola oznacza pochodną po czasie $\partial_0 \phi$ . Pierwszym krokiem w budowie formalizmu hamiltonowskiego jest zdefiniowanie pędu kanonicznego $\pi(\mathbf{x}, t)$ , który wyznaczamy jako pochodną cząstkową gęstości lagranżjanu względem prędkości pola $\pi = \frac{\partial \mathcal{L}}{\partial \dot{\phi}}$ . Dla pola Kleina-Gordona operacja ta daje prostą relację $\pi = \dot{\phi}$ , co oznacza, że w tym konkretnym przypadku pęd polowy jest tożsamy z jego szybkością zmian w czasie.

Gęstość hamiltonianu $\mathcal{H}$ definiujemy jako funkcję zależną wyłącznie od pola $\phi$ , jego gradientów przestrzennych $\nabla \phi$ oraz pędu sprzężonego $\pi$ , eliminując całkowicie pochodne czasowe $\dot{\phi}$ . Korzystamy z ogólnej definicji transformacji Legendre’a dla pól ciągłych $\mathcal{H} = \pi \dot{\phi} - \mathcal{L}$ . Podstawiając do tego wzoru naszą definicję pędu oraz jawną postać lagranżjanu, otrzymujemy wyrażenie $\mathcal{H} = \pi (\pi) - [ \frac{1}{2} \pi^2 - \frac{1}{2} (\nabla \phi)^2 - \frac{1}{2} m^2 \phi^2 ]$ . Kluczowe jest tutaj zastąpienie każdego wystąpienia $\dot{\phi}$ przez operator pędu $\pi$ , co jest niezbędne do poprawnego sformułowania relacji komutacyjnych w dalszym procesie kwantowania.

Po wykonaniu odejmowania i uporządkowaniu składników, otrzymujemy ostateczną postać gęstości hamiltonianu $\mathcal{H} = \frac{1}{2} \pi^2 + \frac{1}{2} (\nabla \phi)^2 + \frac{1}{2} m^2 \phi^2$ . Każdy z trzech członów tego wyrażenia posiada jasną interpretację fizyczną: człon $\frac{1}{2} \pi^2$ reprezentuje gęstość energii kinetycznej pola, człon $\frac{1}{2} (\nabla \phi)^2$ odpowiada za energię sprężystości pola (zależną od jego zmienności w przestrzeni), natomiast człon $\frac{1}{2} m^2 \phi^2$ stanowi gęstość energii potencjalnej wynikającej z masy pola. Tak skonstruowany hamiltonian jest zawsze nieujemny, co gwarantuje stabilność stanu próżni w teorii kwantowej i pozwala na zdefiniowanie całkowitej energii układu jako całki przestrzennej $H = \int d^3x \mathcal{H}$ .

4. Wyprowadzenie równania Diraca z lagranżjanu fermionowego

Opis dynamiki fermionów, czyli cząstek o spinie $1/2$ , opiera się na gęstości lagranżjanu Diraca, która musi uwzględniać strukturę spinorową pola oraz relatywistyczną niezmienniczość Lorentza. Lagranżjan ten definiujemy jako $\mathcal{L} = \bar{\psi} (i \gamma^{\mu} \partial_{\mu} - m) \psi$ , gdzie $\psi$ jest czteroskładnikowym spinorem Diraca, a $\bar{\psi} = \psi^{\dagger} \gamma^0$ jest spinorem sprzężonym Diraca. Macierze $\gamma^{\mu}$ są macierzami Diraca spełniającymi algebrę Clifforda, a parametr $m$ reprezentuje masę spoczynkową fermionu. W tym sformułowaniu pola $\psi$ oraz $\bar{\psi}$ traktujemy jako matematycznie niezależne zmienne polowe, co pozwala na zastosowanie zasady wariacyjnej oddzielnie dla każdej z nich.

Aby wyprowadzić równanie ruchu dla pola $\psi$ , stosujemy równania Eulera-Lagrange’a względem pola sprzężonego $\bar{\psi}$ , co technicznie upraszcza obliczenia, gdyż $\bar{\psi}$ występuje w lagranżjanie jedynie liniowo i bez pochodnych. Ogólna postać równania Eulera-Lagrange’a dla tego przypadku to $\partial_{\mu} ( \frac{\partial \mathcal{L}}{\partial (\partial_{\mu} \bar{\psi})} ) - \frac{\partial \mathcal{L}}{\partial \bar{\psi}} = 0$ . Ponieważ gęstość lagranżjanu Diraca nie zawiera pochodnych spinora sprzężonego $\partial_{\mu} \bar{\psi}$ , pierwszy człon powyższego równania, czyli pochodna kanoniczna $\frac{\partial \mathcal{L}}{\partial (\partial_{\mu} \bar{\psi})}$ , jest tożsamościowo równy zeru.

W kolejnym kroku obliczamy pochodną cząstkową lagranżjanu względem samego pola $\bar{\psi}$ . Z postaci $\mathcal{L} = \bar{\psi} i \gamma^{\mu} \partial_{\mu} \psi - m \bar{\psi} \psi$ wynika bezpośrednio, że $\frac{\partial \mathcal{L}}{\partial \bar{\psi}} = i \gamma^{\mu} \partial_{\mu} \psi - m \psi$ . Podstawiając uzyskane wyniki do równania Eulera-Lagrange’a, otrzymujemy relację $0 - (i \gamma^{\mu} \partial_{\mu} \psi - m \psi) = 0$ , co po przemnożeniu przez $-1$ daje nam słynne równanie Diraca w postaci $(i \gamma^{\mu} \partial_{\mu} - m) \psi = 0$ . To liniowe równanie różniczkowe pierwszego rzędu poprawnie opisuje ewolucję czasoprzestrzenną elektronów i innych fermionów, przewidując istnienie antymaterii oraz wyjaśniając pochodzenie spinu w sposób naturalnie wynikający z formalizmu lagranżowskiego.

5. Transformacja cechowania i pochodna kowariantna w QED

Fundamentalną ideą elektrodynamiki kwantowej jest wymóg, aby lagranżjan opisujący materię był niezmienniczy względem lokalnych transformacji fazy, co prowadzi do konieczności wprowadzenia pola elektromagnetycznego. Rozważamy swobodny lagranżjan Diraca $\mathcal{L}0 = \bar{\psi} (i \gamma^{\mu} \partial{\mu} - m) \psi$ , który jest jawnie niezmienniczy względem globalnej transformacji $\psi \rightarrow e^{iq \alpha} \psi$ , gdzie $\alpha$ jest stałą. Jednak w przypadku transformacji lokalnej, w której parametr $\alpha(x)$ zależy od położenia w czasoprzestrzeni, zwykła pochodna pola transformuje się w sposób niejednorodny $\partial_{\mu} (e^{iq \alpha(x)} \psi) = e^{iq \alpha(x)} \partial_{\mu} \psi + iq (\partial_{\mu} \alpha) e^{iq \alpha(x)} \psi$ . Pojawienie się dodatkowego członu z pochodną parametru $\partial_{\mu} \alpha$ sprawia, że swobodny lagranżjan zmienia swoją postać, co narusza lokalną symetrię cechowania $U(1)$ .

Aby przywrócić niezmienniczość układu, musimy zastąpić pochodną cząstkową $\partial_{\mu}$ nowym operatorem różniczkowym, zwanym pochodną kowariantną $D_{\mu}$ , który z definicji musi transformować się tak samo jak samo pole, czyli $D_{\mu} \psi \rightarrow e^{iq \alpha(x)} D_{\mu} \psi$ . Wymóg ten narzuca konieczność wprowadzenia wektorowego pola cechowania $A_{\mu}$ (identyfikowanego z potencjałem elektromagnetycznym), a pochodna kowariantna przyjmuje postać $D_{\mu} = \partial_{\mu} + iq A_{\mu}$ . Aby zachować spójność teorii, pole wektorowe $A_{\mu}$ musi podgać jednoczesnej transformacji cechowania o postaci $A_{\mu} \rightarrow A_{\mu} - \partial_{\mu} \alpha(x)$ . Dzięki takiemu zdefiniowaniu operatorów, niepożądany człon wynikający z różniczkowania fazy zostaje precyzyjnie skasowany przez zmianę wartości pola cechowania.

Podstawiając pochodną kowariantną do lagranżjanu w miejsce pochodnej zwykłej, otrzymujemy pełną postać gęstości lagranżjanu oddziaływania $\mathcal{L} = \bar{\psi} (i \gamma^{\mu} D_{\mu} - m) \psi$ . Po rozpisaniu operatora $D_{\mu}$ , lagranżjan ten przyjmuje formę $\mathcal{L} = \bar{\psi} (i \gamma^{\mu} \partial_{\mu} - m) \psi - q \bar{\psi} \gamma^{\mu} \psi A_{\mu}$ . Widzimy zatem, że zasada lokalnej niezmienniczości cechowania w sposób naturalny generuje człon oddziaływania materii z polem elektromagnetycznym, gdzie wyrażenie $j^{\mu} = q \bar{\psi} \gamma^{\mu} \psi$ interpretujemy jako prąd elektryczny Diraca sprzężony z potencjałem $A_{\mu}$ . Ostatecznie, dodając niezmienniczy człon kinetyczny dla pola fotonowego $-\frac{1}{4} F_{\mu \nu} F^{\mu \nu}$ , otrzymujemy kompletny lagranżjan QED, który jest fundamentem współczesnego opisu sił elektromagnetycznych w mikroświecie.

6. Obliczenie tensora energii-pędu dla pola skalarnego

Tensor energii-pędu $T^{\mu \nu}$ jest kluczowym wielowektorem zachowanym, który wynika z niezmienniczości gęstości lagranżjanu względem translacji w czasoprzestrzeni $x^{\mu} \rightarrow x^{\mu} + a^{\mu}$ , zgodnie z twierdzeniem Noether. Dla ogólnego pola $\phi$ , tensor ten definiujemy przy użyciu gęstości lagranżjanu $\mathcal{L}$ wzorem $T^{\mu \nu} = \frac{\partial \mathcal{L}}{\partial (\partial_{\mu} \phi)} \partial^{\nu} \phi - g^{\mu \nu} \mathcal{L}$ , gdzie $g^{\mu \nu}$ jest tensorem metrycznym czasoprzestrzeni Minkowskiego. W przypadku swobodnego, rzeczywistego pola skalarnego, gęstość lagranżjanu przyjmuje postać $\mathcal{L} = \frac{1}{2} (\partial_{\alpha} \phi \partial^{\alpha} \phi - m^2 \phi^2)$ , co stanowi punkt wyjścia do obliczeń składowych tensora.

Pierwszym krokiem jest wyznaczenie pochodnej funkcjonalnej lagranżjanu względem czterogradientu pola $\partial_{\mu} \phi$ . Obliczając tę pochodną dla członu kinetycznego, otrzymujemy relację $\frac{\partial \mathcal{L}}{\partial (\partial_{\mu} \phi)} = \partial^{\mu} \phi$ , co reprezentuje pęd kanonicznie sprzężony w ujęciu relatywistycznym. Podstawiając ten wynik oraz jawną postać lagranżjanu do definicji tensora energii-pędu, uzyskujemy wyrażenie $T^{\mu \nu} = \partial^{\mu} \phi \partial^{\nu} \phi - g^{\mu \nu} [ \frac{1}{2} (\partial_{\alpha} \phi \partial^{\alpha} \phi - m^2 \phi^2) ]$ . Warto zauważyć, że tak zdefiniowany tensor jest jawnie symetryczny względem zamiany wskaźników $\mu$ oraz $\nu$ , co jest cechą charakterystyczną dla pól skalarnego stopnia swobody.

Analiza poszczególnych składowych tensora pozwala na ich bezpośrednią interpretację fizyczną. Składowa czasowa $T^{00}$ , po uwzględnieniu sygnatury metryki, przyjmuje postać $T^{00} = \dot{\phi}^2 - \frac{1}{2} (\dot{\phi}^2 - (\nabla \phi)^2 - m^2 \phi^2)$ , co po uproszczeniu daje gęstość energii układu $\mathcal{H} = \frac{1}{2} (\dot{\phi}^2 + (\nabla \phi)^2 + m^2 \phi^2)$ . Z kolei składowe $T^{0i} = \dot{\phi} \partial^i \phi$ reprezentują gęstość pędu pola w kierunku $i$ , natomiast składowe przestrzenne $T^{ij}$ opisują gęstość strumienia pędu, czyli naprężenia wewnątrz pola. Dzięki strukturze wyprowadzonej z lagranżjanu, tensor ten spełnia różniczkowe prawo zachowania $\partial_{\mu} T^{\mu \nu} = 0$ , co gwarantuje, że całkowita energia i pęd układu kwantowego pozostają stałe podczas ewolucji czasowej.

7. Lagranżjan oddziaływania $\phi^4$ i całka po trajektoriach

Teoria $\phi^4$ jest jednym z najważniejszych modeli w kwantowej teorii pola, służącym jako poligon doświadczalny dla procesów samooddziaływania pól skalarnych oraz mechanizmu spontanicznego łamania symetrii. Gęstość lagranżjanu w tej teorii składa się z części swobodnej oraz członu interakcji, co zapisujemy jako $\mathcal{L} = \frac{1}{2} (\partial_{\mu} \phi \partial^{\mu} \phi - m^2 \phi^2) - \frac{\lambda}{4!} \phi^4$ , gdzie $\lambda$ jest bezwymiarową stałą sprzężenia, a czynnik $4! = 24$ w mianowniku jest wprowadzany dla uproszczenia reguł kombinatorycznych przy wyprowadzaniu diagramów Feynmana. W sformułowaniu feynmanowskim wszystkie własności kwantowe układu są zawarte w funkcjonale generującym $Z[J]$ , który definiujemy jako całkę funkcjonalną po wszystkich możliwych konfiguracjach pola $Z[J] = \int \mathcal{D}\phi \exp(i \int d^4x [\mathcal{L} + J\phi])$ , gdzie $J(x)$ jest zewnętrznym źródłem pomocniczym.

Aby obliczyć tę całkę w sposób perturbacyjny, co jest konieczne ze względu na nieliniowy charakter członu $\phi^4$ , rozdzielamy działanie na część swobodną $S_0$ i część oddziałującą $S_{int}$ . Funkcjonał generujący można wówczas zapisać w postaci operatorowej jako $Z[J] = \exp(-i \int d^4x \frac{\lambda}{4!} (\frac{\delta}{i \delta J(x)})^4) Z_0[J]$ , gdzie $Z_0[J]$ jest funkcjonałem dla pola swobodnego o znanym rozwiązaniu gaussowskim $Z_0[J] = \exp(-\frac{i}{2} \int d^4x d^4y J(x) \Delta_F(x-y) J(y))$ . W tym ujęciu propagator Feynmana $\Delta_F(x-y)$ pełni rolę jądra całkowego, opisującego rozprzestrzenianie się wzbudzeń pola między punktami czasoprzestrzeni, a n-krotne różniczkowanie funkcjonalne względem źródła $J$ pozwala na wyznaczenie korelacji kwantowych.

Rozwinięcie operatora eksponencjalnego zawierającego pochodne czwartego rzędu w szereg Taylora względem stałej $\lambda$ prowadzi do powstania szeregu perturbacyjnego, którego poszczególne wyrazy odpowiadają poprawkom do amplitud prawdopodobieństwa. Pierwsza poprawka rzędu $\lambda$ do funkcji dwupunktowej $\langle 0 | T \phi(x_1) \phi(x_2) | 0 \rangle$ wynika z działania operatora oddziaływania na propagator swobodny, co matematycznie prowadzi do wyrażenia zawierającego całkę z pętli $\Delta_F(0)$ , znaną jako diagram typu tadpole. Taka struktura całki po trajektoriach, oparta bezpośrednio na lagranżjanie, umożliwia systematyczne stosowanie twierdzenia Wicka i stanowi podstawę do przeprowadzenia procedury renormalizacji, niezbędnej do usunięcia rozbieżności ultrafioletowych pojawiających się w wyższych rzędach rachunku zaburzeń teorii $\phi^4$ .

13. Bibliografia

Quantum Field Theory, Claude Itzykson and Jean-Bernard Zuber
The Quantum Theory of Fields, Steven Weinberg
An Introduction to Quantum Field Theory, Michael Peskin and Daniel Schroeder
Quantum Mechanics and Path Integrals, Richard Feynman and Albert Hibbs
Field Theory: A Modern Primer, Pierre Ramond
Gauge Theory of Elementary Particle Physics, Ta-Pei Cheng and Ling-Fong Li
Modern Quantum Mechanics, J.J. Sakurai and Jim Napolitano
Quantum Field Theory in a Nutshell, Anthony Zee
Advanced Quantum Mechanics, Freeman Dyson
Relativistic Quantum Mechanics, James Bjorken and Sidney Drell
Introduction to Elementary Particles, David Griffiths
Quantum Field Theory, Lewis Ryder
Concepts in Theoretical Physics, Malcolm Longair

Otagowanocałki po trajektoriach, cechowanie, chromodynamika, fermiony, Feynman, formalizm Diraca, kwantowanie kanoniczne, lagranżjan, mechanizm Higgsa, oddziaływanie elektromagnetyczne, pole skalarne, pole Yanga-Millsa, równanie Kleina-Gordona, symetrie, tweirdzenie noether, ujęcie polowe, zasada najmniejszego działania, łamanie symetrii

Lagranżjan w mechanice kwantowej

Słowniczek pojęć kluczowych

Dodaj komentarz Anuluj pisanie odpowiedzi