Redigerer Dirac-ligning

[[Fil:Paul Dirac, 1933, head and shoulders portrait, bw.jpg|thumb|240px|Paul Dirac i 1933.]]
'''Dirac-ligningen''' er en [[Kvantemekanikk|kvantemekanisk]] [[bølgeligning]] for en [[spesiell relativitetsteori|relativistisk]] partikkel med [[spinn]] ''s'' = 1/2. Den ble utledet av den engelske [[fysiker]] [[Paul Dirac]] i 1928. Ligningen er av grunnleggende betydning i [[kvantemekanikk]]en og gjelder for alle [[fermion]]er som [[elektron]]er og [[kvark]]er i [[standardmodellen]] for [[elementærpartikkel|elementærpartiklene]]. 

Etter etableringen av den ikke-relativistiske [[Schrödinger-ligning]]en i 1926 ville Dirac finne en ny bølgeligning som både var i overenstemmelse med [[Kvantemekanikk#Kvantemekanikkens postulater|kvantemekanikkens prinsipper]] og [[Einstein]]s [[spesielle relativitetsteori]]. På den tiden var [[Klein-Gordon-ligning]]en kjent for relativistiske partikler, men denne ga ingen positiv [[Schrödinger-ligning#Sannsynlighetstetthet|sannsynlighetstetthet]] da den inneholdt [[Derivasjon|andrederiverte]] med hensyn på tiden. Derfor ville Dirac finne en relativistisk ligning som kun inneholdt en slik førstederivert på samme måte som den vanlige Schrödinger-ligningen.

Den kompakte ligningen Dirac kom frem til, hadde flere egenskaper enn han hadde forventet. I tillegg til at den automatisk ga en forklaring på hvorfor elektronet har spinn-1/2, forenklet ligningen seg til [[Pauli-ligning]]en når det beveger seg ikke-relativistisk. Dermed forklarte den også hvorfor elektronet har et [[Magnetisk moment#Elementærpartikler|gyromagnetisk forhold]] som er ''g'' = 2. På samme måte ga den automatisk riktig [[Finstruktur#Spinn-banekobling|spinn-banekobling]] for elektroner i atomer. En eksakt løsning av ligningen for [[Hydrogenatom#Dirac-ligningen|hydrogenatomet]] som forklarte alle aspekt av dets [[finstruktur]], ble funnet i 1928 av [[Walter Gordon]]. 

Selv om Dirac i begynnelsen ikke forsto betydningen av at ligningen også gir løsninger med negativ energi, innså han likevel etter hvert at disse tilsvarer [[antipartikkel|antipartikler]]. På samme måte som  den relativistiske [[Klein-Gordon-ligning]]en beskriver partikler og deres antipartikler med spinn ''s'' = 0, er Dirac-ligningen også en bølgeligning for et tilsvarende [[Kvantefeltteori|Dirac-felt]] for elementære partikler med spinn ''s'' = 1/2. Sammen med [[Maxwells ligninger|Maxwell-feltet]] ble det snart forent i moderne [[kvanteelektrodynamikk]]. I ettertid er det blitt sagt at ligningen var mer intelligent enn Dirac selv.<ref name = VW> V. Weisskopf, ''The development of field theory in the last 50 years'', Physics Today '''34''' (11), 69–85 (1981).</ref>

==Fri partikkel==

Den ikke-relativistiske [[Schrödinger-ligning]]en inneholder den tidsderiverte &part;/&part;''t'' til første orden og er direkte forbundet med energien til partikkelen. Ifølge den [[spesielle relativitetsteori]] er tiden bare én av fire retninger i [[tidrom]]met som kan transformeres over i hverandre. En relativistisk invariant [[bølgeligning]] må være uavhengig av slike transformasjoner. Dirac ville derfor komme frem til en kvantemekanisk bølgeligning som også er lineær i de romlige deriverte &part;/&part;''x'', &part;/&part;''y''  og &part;/&part;''z''. På samme måte som for Schrödinger-ligningen, betyr det at den må inneholde [[Schrödinger-ligning#Bølgefunksjoner og operatorer|impulsoperatoren]] <math> \hat\mathbf{p} = -i\hbar\boldsymbol{\nabla} </math> til første orden der ''ħ&thinsp;'' er den reduserte [[Plancks konstant|Planck-konstanten]]. Denne argumentasjonen førte Dirac til ligningen

: <math> i\hbar\frac{\partial\psi}{\partial t} = \left(\boldsymbol{\alpha}\cdot\hat\mathbf{p}c + \beta mc^2\right)\! \psi </math>

der ''c'' er [[lyshastighet]]en og <math> \boldsymbol{\alpha} = (\alpha_x,\alpha_y,\alpha_z) </math> samt <math> \beta \,</math> er fire 4&times;4 [[Matrise#Konjungert transponering|hermitiske matriser]]. De må oppfylle kravene

: <math>\begin{align} \alpha_i\alpha_j + \alpha_j\alpha_i &= 2\delta_{ij} \\ \alpha_i\beta + \beta\alpha_i &= 0 \end{align} </math>

der <math> \delta_{ij} </math> er [[Kronecker-delta]] med verdiene 1 eller 0 avhengig av om indeksene er like eller forskjellige. I tillegg må <math> \beta^2 =1 </math> som også er verdien av kvadratene til de tre <math> \alpha </math>-matrisene. Bølgefunksjonen <math> \psi = \psi(\mathbf{x}, t)</math> er her en 4-komponent [[Matrise#Dimensjon|kolonnevektor]] da disse matrisene alle har dimensjon 4&times;4. Den kalles vanligvis for en «Dirac-spinor».<ref name = Dirac>P.A.M. Dirac, [https://web.archive.org/web/20150102071809/http://www.math.ucsd.edu/~nwallach/Dirac1928.pdf ''The Quantum Theory of the Electron''], Proc. Roy. Soc. '''A117''' (778), 610-624 (1928).</ref>

===Utledning===

Formen til Dirac-ligningen er bestemt av at den skal bekskrive en relativistisk partikkel. Har den en masse ''m'', må dens energi ''E&thinsp;'' og impuls '''p''' være forbundet med hverandre ved relasjonen

: <math> E^2 =  \mathbf{p}^2c^2 + m^2c^4 </math>

Den ønskede bølgeligningen tilsvarer nå å kunne uttrykke denne energien på den lineære formen

: <math> E = \boldsymbol{\alpha}\cdot\mathbf{p}c + \beta mc^2 </math>

hvor <math> \boldsymbol{\alpha} = (\alpha_x,\alpha_y,\alpha_z) </math> og <math> \beta \,</math> i utgangspunktet er ukjente størrelser. De kan ikke være reelle eller komplekse tall, men muligens [[matrise]]r. For eksempel har [[Pauli-matrise]]ne <math> \boldsymbol{\sigma} = (\sigma_x,\sigma_y,\sigma_z) </math> 
egenskapen at

: <math> (\boldsymbol{\sigma}\cdot\mathbf{p})^2 = p^2 </math>

Ved å ta kvadratroten av denne sammenhengen, har man dermed at <math> \boldsymbol{\sigma}\cdot\mathbf{p} = p </math>. Da en partikkel med masse ''m'' = 0 har energi ''E = pc'', kan dette benyttes til å gi en relativistisk bølgeligning som er lineær både i &part;/&part;''t&thinsp;'' og '''&nabla;'''. Det er [[Weyl-ligning]]en for et masseløst [[fermion]] med spinn-1/2.<ref name = PS> M.E. Peskin and D.V. Schroeder, ''An Introduction to Quantum Field Theory'', Addison-Wesley, Reading Massachusetts (1995). ISBN 0-201-50397-2.</ref>

For en massiv partikkel finner man på tilsvarende vis ved å betrakte <math> \boldsymbol{\alpha} </math> og <math> \beta \,</math> som ikke-kommuterende matriser, at

: <math>\begin{align} E^2 &= (\alpha_ip_i c +  \beta mc^2)(\alpha_jp_j c +  \beta mc^2)\\  &= \alpha_i\alpha_j  p_i p_jc^2 +  (\alpha_i\beta + \beta \alpha_i) p_imc^3 + \beta^2m^2c^4 \end{align} </math>

når man gjør bruk av [[Einsteins summekonvensjon]] og summerer over par med like indekser. Ved å benytte at <math> \alpha_i\alpha_j  p_i p_j = \alpha_j\alpha_i  p_i p_j </math> da ''p<sub>i</sub>'' og  ''p<sub>j</sub>''  kommuterer med hverandre, gir dette betingelsene de fire Dirac-matrisene må oppfylle. De skrives vanligvis på formen

: <math> \boldsymbol{\alpha} = \begin{pmatrix} 0 & \boldsymbol{\sigma}  \\ \boldsymbol{\sigma}  & 0 \end{pmatrix}, \quad \beta=\begin{pmatrix} I & 0 \\ 0 & -I \end{pmatrix} </math>

hvor ''I&thinsp;'' i ''&beta;''-matrisen står for en 2&times;2 [[Matrise#Matrisetyper|enhetsmatrise]]. Slike enhetsmatriser blir vanligvis ganske enkelt skrevet som 1 så lenge det ikke kan oppstå misforståelser.<ref name = BD>J.D. Bjorken and S.D. Drell, ''Relativistic Quantum Mechanics'', McGraw-Hill Book Company, New York (1964).</ref>

===Spinn-1/2===

Dirac-ligningen kan skrives på samme form som den tidsavhengige [[Schrödinger-ligning]]en

: <math> i\hbar{\partial\psi\over\partial t} = \hat{H} \psi </math>

hvor nå 

: <math> \hat{H} = \boldsymbol{\alpha}\cdot\hat\mathbf{p}c + \beta mc^2 </math> 

er [[Hamilton-operator]]en for den relativistiske partikkelen. Posisjonen er gitt ved en vektoroperator <math> \hat\mathbf{x} </math> med komponenter som har en fundamental kommutator med komponentene til den konjugerte impulsoperatoren <math> \hat\mathbf{p}. </math> Den har den [[Kvantemekanikk#Tre dimensjoner|kanoniske formen]]

: <math> [\hat{x}_i ,\hat{p}_j] = i\hbar\,\delta_{ij} </math>

Da Hamilton-operatoren er uavhengig av posisjonen '''x''', er derfor impulsen til partikkelen konstant. Derimot sier  [[Matrisemekanikk#Kvantedynamikk|Heisenbergs bevegelsesligning]] at

: <math> i\hbar {d\over dt} \hat{x}_k = [\hat{x}_k ,\hat{H}] </math>

ikke er null slik at partikkelens posisjon forandrer seg med tiden. Uavhengig av dens impuls har den en bevegelse gitt ved <math> d\hat\mathbf{x}/dt = c\boldsymbol{\alpha}. </math> Dette kan bare tolkes som at en Dirac-partikkel alltid har en hastighet som i størrelse er gitt ved lyshastigheten. Fenomenet kalles for «sitterbevegelse» og har vært mye diskutert. En Klein-Gordon-partikkel har en mer normal sammenheng mellom impuls og hastighet.<ref name = Bethe> H.A. Bethe, ''Intermediate Quantum Mechanics'', W.A. Benjamin, New York (1964).</ref>

En fri Dirac-partikkel har heller ikke en konstant [[dreieimpuls]] <math>\mathbf{L} = \mathbf{x}\times \mathbf{p}.</math> Skriver man dens komponenter ved hjelp av [[Levi-Civita-symbol]]et som <math> L_k = \varepsilon_{kij} x_i p_j, </math> følger det på samme vis fra

: <math>  i\hbar {d\over dt} \hat{L}_k =  [\hat{L}_k ,\hat{H}] = i\hbar\, \varepsilon_{kij} \alpha_i \hat{p}_j c </math>
 
som mer kompakt betyr at <math> d\hat\mathbf{L}/dt = \boldsymbol{\alpha}\times\hat\mathbf{p}c. </math> Formen på dette resultatet tilsier å innføre de utvidete Pauli-matrisene

: <math> \boldsymbol{\Sigma} = \begin{pmatrix}  \boldsymbol{\sigma}  & 0 \\  0 & \boldsymbol{\sigma}  \end{pmatrix} </math>

som har dimensjon 4&times;4. I dette [[Kvantemekanikk#Tidsutvikling og Heisenberg-bilde|Heisenberg-bildet]] vil de variere ifølge 

: <math>\begin{align}  i\hbar {d\over dt} \Sigma_k &=  [\Sigma_k ,\hat{H}] =  [\Sigma_k ,\alpha_i \hat{p}_i c ] \\ &=  [\Sigma_k ,\alpha_i] \,\hat{p}_i c  = 2i\varepsilon_{kij} \alpha_j \hat{p}_i c \end{align}</math>

når man benytter [[Pauli-matrise#Algebraiske egenskaper|kommutatoren]] <math> \left[\sigma_k,\sigma_i\right] = 2i\varepsilon_{kij} \sigma_j  </math> mellom de vanlige Pauli-matrisene. Det betyr at den tidsderiverte av operatoren  <math> \hat{L}_k + (\hbar/2) \Sigma_k </math> er null. Derfor er den totale dreieimpulsen

: <math> \hat\mathbf{J} = \hat\mathbf{L} + {\hbar\over 2}\boldsymbol{\Sigma} </math>

bevart for en fri Dirac-partikkel. Av denne grunn har den  [[spinn]] ''s'' = 1/2 hvor den indre dreieimpulsen (''ħ''/2)'''&Sigma;''' har samme årsak som partikkelens  sitterbevegelse.<ref name = BD/>

==Adjungert ligning==

Dirac-spinoren <math> \psi </math> er en kolonnevektor med fire komponenter som alle kan være [[komplekst tall|komplekse]]. Den adjungerte spinoren blir dermed  radvektoren <math> \psi^\dagger = (\psi_1^*,\psi_2^*,\psi_3^*,\psi_4^* ). </math>  Da Hamilton-operatoren skal være hermitisk, må også matrisene <math> \boldsymbol{\alpha}  </math> og <math> \beta \,</math> være det. Den [[Matrise#Konjungert transponering|kompleks-transponerte]] av Dirac-ligningen blir dermed

: <math> -i\hbar\frac{\partial\psi^\dagger}{\partial t} =  ci\hbar\boldsymbol{\nabla}\psi^\dagger\cdot\boldsymbol{\alpha} +   mc^2\beta\psi^\dagger </math>

om omtales vanligvis som den «hermetisk adjungerte» ligningen. 

===Bevart strøm===

Multipliseres denne med <math> \psi </math> fra høyre og trekkes så fra den opprinnelige Dirac-ligningen multiplisert med <math> \psi ^\dagger </math> fra venstre, fremkommer

: <math> i\hbar\left(\psi^\dagger \frac{\partial\psi}{\partial t} + \frac{\partial\psi^\dagger}{\partial t} \psi \right) = - i\hbar c[\psi^\dagger\boldsymbol{\alpha}\cdot\boldsymbol{\nabla}\psi + (\boldsymbol{\nabla}\psi^\dagger)\cdot\boldsymbol{\alpha}\psi ] </math>

Ved å definere den skalare størrelsen <math> \rho = \psi^\dagger\psi \;</math> og vektoren <math> \mathbf{J}= c\psi^\dagger\boldsymbol{\alpha}\psi \, </math> kan denne sammenhengen skrives mer kompakt som en [[kontinuitetsligning]]en

: <math> \frac {\partial \rho}{\partial t} + \boldsymbol{\nabla}\cdot\mathbf{J} = 0</math>

Den viser at <math> \rho \;</math> kan betraktes som en positiv [[Schrödinger-ligning#Sannsynlighetstetthet|sannsynlighetstetthet]] for bølgefunksjonen <math> \psi </math> på samme måte som for Schrödinger-ligningen. Da er <math> \mathbf{J} \;</math> den tilsvarende [[Schrödinger-ligning#Sannsynlighetsstrøm|sannsynlighetsstrømmen]] som formelt inneholder hastigheten <math> \mathbf{v} = c\boldsymbol{\alpha}\, </math> til partikkelen.<ref name = Bethe/>

==Elektromagnetisk vekselvirkning==

Når Dirac-partikkelen har en [[elektrisk ladning]] ''q'', kan den koble til både et [[elektrisk potensial]] ''V&thinsp;'' og et  [[Magnetfelt#Vektorpotensialet|magnetiske potensialet]] '''A'''. Dette må gjøres på en slik måte at vekselvirkningen blir invariant under [[gaugetransformasjon]]er. I praksis betyr det å gjøre bruk av de minimale substitusjonene

: <math> \hat{H} \rightarrow \hat{H} - qV, \quad  \hat\mathbf{p} \rightarrow \hat\mathbf{p} - q\mathbf{A}  </math>

som også benyttes for en [[Klein-Gordon-ligning#Elektromagnetisk kobling|Klein-Gordon-partikkel]]. Det gir Hamilton-operatoren 

: <math> \hat{H} = c\boldsymbol{\alpha}\cdot(\hat\mathbf{p} - q\mathbf{A}) + qV + \beta mc^2 </math> 

for en Dirac-partikkel  i et generelt, [[elektromagnetisk felt]].<ref name = BD/>

For en partikkel med med en viss energi ''E'', kan Dirac-spinoren skrives som

: <math> \psi(\mathbf{r},t) = \psi(\mathbf{r}) e^{-iEt/\hbar}  </math>

hvor den tidsuavhengige delen er en løsning av egenverdiproblemet <math> \hat{H}\psi = E\psi .</math> Dette kan løses ved å foreta opp oppsplittingen

: <math> \psi(\mathbf{r}) = \begin{pmatrix} \phi \\ \chi \end{pmatrix} </math>

som gir de to koblede ligningene

: <math> \begin{align}(E - qV - mc^2) \phi & = c\boldsymbol{\sigma}\cdot(\hat\mathbf{p} - q\mathbf{A}) \chi \\ (E - qV + mc^2) \chi & = c\boldsymbol{\sigma}\cdot(\hat\mathbf{p} - q\mathbf{A}) \phi  \end{align} </math>

som er generelt gyldige.

===Ikke-relativistisk grense===

Når partikkelen beveger seg mye langsommere enn lyshastigheten, er dens totale energi ''E'' = ''mc''<sup>&thinsp;2</sup> + ''E<sub>NR</sub>&thinsp;''  hvor ''E<sub>NR</sub>'' << ''mc''<sup>&thinsp;2</sup> er den ikke-relativistiske delen. Den nedre komponenten <math> \chi </math> av Dirac-spinoren  er da mye mindre enn den øvre komponenten <math> \phi </math> og kan beregnes fra denne. I denne grensen har man da tilnærmet at

: <math> {1\over E - qV + mc^2} =  {1\over 2mc^2} - {E_{NR} - qV \over 4m^2c^4} + \cdots </math>

Ved kun å beholde det første leddet i denne ekspansjonen, har man dermed

: <math> \chi = {1\over 2mc} \boldsymbol{\sigma}\cdot(\hat\mathbf{p} - q\mathbf{A}) \phi 
</math>

Innsatt i den øvre ligningen, finner man da at den største delen av Dirac-spinoren  må tilfredsstille

: <math>  \left[{1\over 2m} [\boldsymbol{\sigma}\cdot(\hat\mathbf{p} - q\mathbf{A})]^2  + qV \right]\! \phi(\mathbf{r}) = E_{NR}\phi(\mathbf{r}) </math>

Dette er den tidsuavhengige [[Pauli-ligning]]en for en spinn-1/2 partikkel. Den viser at Dirac-partikkelen har et [[Magnetisk moment#Elementærpartikler|gyromagnetisk forhold]] ''g'' = 2. Hvis man hadde tatt med neste ledd i denne ikke-relativistiske rekkeutviklingen, ville også [[spinn-banekobling]]en fremkomme i den effektive Hamilton-operatoren.<ref name = Sakurai>J.J. Sakurai, ''Advanced Quantum Mechanics'', Addison-Wesley Publishing Company, Reading, Massachusetts (1967).</ref>

==Kovariant formulering==
[[Fil:Dirac's commemorative marker.jpg|thumb|300px|Plakett i [[Westminster Abbey]] til minne om [[Paul Dirac]] og hans ligning.]]

Hvis man multipliserer Dirac-ligningen med <math> \beta </math> fra venstre, kan den omformes til

: <math> i\hbar \left(\beta\frac{\partial}{\partial t} + c \beta\boldsymbol{\alpha}\cdot\boldsymbol{\nabla}\right)\! \psi(\mathbf{r},t) =  mc^2\psi(\mathbf{r},t)  </math>

Den kan nå skrives på [[kovariant relativitetsteori|kovariant]] form i det firedimensjonale [[tidrom]]met. Benytter man den [[metrisk tensor|metriske tensor]] {{nowrap|''&eta;<sub>&mu;&nu;</sub>''}} med diagonale komponenter {{nowrap|(1,-1,-1,-1)}} og koordinater {{nowrap|''x<sup>&mu;</sup>'' {{=}} (''ct'', '''r'''),}}  blir da

: <math> (i\hbar \gamma^\mu\partial_\mu - mc)\psi(x) = 0 </math>

når man gjør bruk av [[Einsteins summekonvensjon]]. Her er <math> \partial_\mu = \partial/\partial{x^\mu} =  (\partial/\partial{ct}, \boldsymbol{\nabla}) </math> den kovariante [[gradient]]operatoren og <math> \gamma^\mu = ( \beta, \beta\boldsymbol{\alpha}) </math> er modifiserte Dirac-matriser. De oppfyller nå

: <math>  \gamma_\mu \gamma_\nu  +  \gamma_\nu \gamma_\mu = 2\eta_{\mu\nu} </math>

med hermitisk adjungerte <math>  \gamma_\mu^\dagger =  \gamma_0 \gamma_\mu \gamma_0. </math> Fra de opprinnelige <math> \boldsymbol{\alpha} </math>- og <math> \beta</math>-matrisene er da

: <math> \gamma_0 = \begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix}, \quad  \boldsymbol{\gamma} =  \begin{pmatrix} 0 & \boldsymbol{\sigma}  \\ - \boldsymbol{\sigma}  & 0 \end{pmatrix}  </math>

Ved å definere den '''Dirac-adjungerte''' spinoren som

: <math> \bar\psi(x) = \psi^\dagger(x)\gamma_0, </math>

kan sannsynlighetsstrømmen utvides til en firevektor <math> J^\mu = c\bar\psi\gamma^\mu\psi = (c\rho, \mathbf{J}) </math> med en kovariant [[divergens]] <math> \partial_\mu J^\mu = 0. </math>

===Frie spinorer===
Beskrivelsen av relativistiske partikler er litt enklere når man benytter [[måleenhet]]er hvor [[lyshastighet]]en ''c'' = 1. En fri partikkel har da en [[Kovariant relativitetsteori#Fireimpuls|4-impuls]] <math> p^\mu = (p_0, \mathbf{p}) </math> der dens energi <math> p_0 = \pm E</math> er gitt ved [[Kovariant relativitetsteori#Fireimpuls|massebetinelsen]] 

: <math> p^\mu p_\mu = \eta_{\mu\nu}p^\mu p^\nu = p^2 = p_0^2 - \mathbf{p}^2 = m^2 </math>

og kan være både positiv og negativ. Dirac-spinoren for en fri partikkel med positiv energi har da form som en  [[Bølge#Plane bølger|plan bølge]]

: <math> \psi(x) = u(p) e^{-ip\cdot x/\hbar} </math>

der formen til impulsspinoren ''u''&thinsp;(''p'') er bestemt av Dirac-ligningen. Den gir nå

: <math> (p\!\!\!/ - m) u(p) = 0 </math>

når man benytter [[Richard Feynman|Feynmans]] slashnotasjon <math> p\!\!\!/ :=  p^\mu\gamma_\mu </math> som gir mer kompakte formler.<ref name = QED> R.P. Feynman, ''Quantum Electrodynamics'', Frontiers in Physics, W.A. Benjamin Inc, New York (1961), online [https://archive.org/details/ost-physics-feynman-quantumelectrodynamics/mode/2up?view=theater archive.org]</ref> Ved å splitte spinoren opp i store og små komponenter, er nå disse bestemt ved matriseligningen

: <math>  \begin{pmatrix} p_0 - m & -\boldsymbol{\sigma}\cdot\mathbf{p}  \\ \boldsymbol{\sigma}\cdot\mathbf{p}   & - p_0 - m \end{pmatrix} \begin{pmatrix} \phi \\ \chi \end{pmatrix} = 0 </math>

Da nå <math> p_0 = + E, </math> kan de små komponentene finnes fra

: <math> \chi = {\boldsymbol{\sigma}\cdot\mathbf{p}\over E + m} \phi </math>

Dermed tar den fulle impulsspinoren formen

: <math> u(+E, \mathbf{p}) = A\begin{pmatrix} 1 \\  {\boldsymbol{\sigma}\cdot\mathbf{p}\over E + m}  \end{pmatrix} \phi </math>

hvor ''A&thinsp;'' er en normeringskonstant og den nøyaktige formen til 2-komponentspinoren <math> \phi </math> er bestemt av spinnretningen til partikkelen.<ref name = Sakurai/>

Når både partikkelens energi <math> p_0 = - E </math> og  3-impuls er negative, er den tilsvarende løsningen

: <math> u(-E, - \mathbf{p}) = B \begin{pmatrix}  {\boldsymbol{\sigma}\cdot\mathbf{p}\over E + m}  \\ 1 \end{pmatrix} \chi </math>

der ''B&thinsp;'' igjen er en normeringskonstant. Denne impulsspinoren for negative energier betegnes vanligvis <math> v(p) </math> og kan også finne fra matriseligningen 

: <math> (p\!\!\!/ + m) v(p) = 0 </math>

der nå <math> p^\mu = (E, \mathbf{p}). </math> Ved å la Dirac-spinoren <math> \psi(x) </math> ikke lenger betegne en èn-partikkel bølgefunksjon, men et relativistisk [[kvantefeltteori|kvantefelt]], vil disse spinorløsningene med negativ energi beskrive [[antipartikkel|antipartikler]].<ref name = PS/>

===Normering===

Bølgefunksjonen <math> \psi(x) = u(p) e^{-ip\cdot x/\hbar} </math> for en fri Dirac-partikkel kan normeres på flere forskjellige vis. Mest hensiktsmessig er at dette blir gjort på den samme, kovariante måten som for relativistiske [[Klein-Gordon-ligning#Normering|Klein-Gordon-partikler]]. Da definerer man et indreprodukt mellom to slike funksjoner basert på integralet over ladningstettheten <math> J_0 = \psi^\dagger\psi .</math> Det gir normeringen

: <math>\begin{align} (\psi,\psi') &=  \int\! d^3 x \,\psi^\dagger(x)\psi'(x) \\ &= u^\dagger(p) u(p) \int\! d^3 x\, e^{i(\mathbf{p} - \mathbf{p}')\cdot\mathbf{x}/\hbar} \end{align} </math>

som man da vil skal ha verdien

: <math> (\psi,\psi') = 2E (2\pi\hbar)^3 \delta({\mathbf{p} - \mathbf{p}'}) </math>

Det betyr at Dirac-spinorene må være normert slik at

: <math> u^\dagger(p)u(p) = v^\dagger(p)v(p) = 2E </math>

En direkte utregning gir nå normeringskonstantene <math> A = B = \sqrt{E + m} </math> når 2-komponentspinorene som angir spinnretningen, er normert som <math> \phi^\dagger\phi = \chi^\dagger\chi = 1. </math> De relativistiske spinorene tar dermed den endelige formen

: <math> u_s(p) =  \sqrt{E + m} \begin{pmatrix} 1 \\  {\boldsymbol{\sigma}\cdot\mathbf{p}\over E + m}  \end{pmatrix} \phi_s </math>

: <math> v_s(p) =  \sqrt{E + m} \begin{pmatrix}  {\boldsymbol{\sigma}\cdot\mathbf{p}\over E + m}  \\ 1 \end{pmatrix} \chi_s </math>

hvor indeksen ''s'' = 1,2 avhengig av om partikkelen har spinn opp eller ned. Denne normeringen betyr også at indreproduktet 

: <math> \bar{u}(p)u(p) = -  \bar{v}(p)v(p) = 2m </math> 

er som forventet en Lorentz-skalar.<ref name = Tony> I.J.R. Aitchison and A.J.G. Hey, ''Gauge Theories in Particle Physics'', Institute of Physics Publishing, Bristol (1989). ISBN 0-85274-328-9.</ref>

For beregning av [[Feynman-diagram]] med Dirac-partikler opptrer også ofte produktene

: <math> \begin{align} & \sum_s u_s(p) \bar{u}_s(p) = p\!\!\!/ + m  \\ & \sum_s v_s(p) \bar{v}_s(p) = p\!\!\!/ - m  \end{align} </math>

Begge sidene av disse ligningene er nå 4&times;4 matriser.

===Utvidete Dirac-matriser===

Den fundamentale antikommutatoren 

: <math> \{ \gamma_\mu, \gamma_\nu\} := \gamma_\mu \gamma_\nu  +  \gamma_\nu \gamma_\mu = 2\eta_{\mu\nu} </math>

mellom de elementære Dirac-matrisene betyr at deres kvadrat er enten +1 eller -1. I tillegg skifter produktet av to av dem fortegn ved at  faktorene ombyttes. Det betyr at man maksimalt kan multiplisere sammen fire forskjellige slike matriser. Dette spesielle produktet er

: <math> \gamma_5 = i\gamma^0\gamma^1\gamma^2\gamma^3 =  i\gamma_0\gamma_x\gamma_y\gamma_z </math>

hvor ''i'' = &radic;-1 er tatt med for å gjøre denne matrisen [[Matrise#Kvadratiske matriser|selvadjungert]], <math> \gamma_5 = \gamma_5^\dagger.</math> I tillegg er da <math> \gamma_5\gamma_\mu +  \gamma_\mu\gamma_5 = 0 </math> og <math> \gamma_5^2 = 1.</math> Med den representasjonen av gammamatrisene som tidligere er brukt, er

: <math> \gamma_5 = \begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix} </math>

Her inngår matriseelementene 1 som i virkeligheten er 2&times;2 [[Identitetsmatrise|enhetsmatriser]].

Matrisen <math> \gamma_5 </math> består av et produkt av fire elementære matriser og er et eksempel på en «utvidet Dirac-matrise». Alle har dimensjon 4&times;4 og det kan derfor maksimalt finnes 2&sdot;4<sup>2</sup> = 32 slike matriser da de kan inneholde komplekse element. Men den fundamentale antikommutatoren utgjør 4<sup>2</sup> = 16 reelle betingelser. Det finnes derfor i alt 32 - 16 = 16 utvidete Dirac-matriser.<ref name = PS/>

Enhetsmatrisen og <math> \gamma_5 </math> utgjør sammen med de fire elementære Dirac-matrisene til sammen 2 + 4 = 6 matriser. Mens 
<math> \gamma_5 </math> består av et produkt med fire elementære matriser, kan man lage fire forskjellige produkt med tre  elementære matriser. Tilsammen kan disse fire matrisene grupperes som <math> \gamma_5\gamma_\mu. </math> 

Produktet av to elementære matriser kan splittes opp som 

: <math> \gamma_\mu \gamma_\nu = {1\over 2}(\gamma_\mu \gamma_\nu - \gamma_\nu \gamma_\mu) + {1\over 2}(\gamma_\mu \gamma_\nu + \gamma_\nu \gamma_\mu) </math>

Her er det siste leddet proporsjonalt med en 4&times;4 enhetsmatrise, mens det første kan uttrykkes ved den antisymmetriske kombinasjonen

: <math> \sigma_{\mu\nu} = {i\over 2} [\gamma_\mu, \gamma_\nu] :=  {i\over 2} (\gamma_\mu\gamma_\nu - \gamma_\nu\gamma_\mu)</math>

Det er i alt 4&sdot;3/2 = 6 slike matriser. Dermed har man funnet alle de 1 + 4 + 6 + 4 + 1 = 16 utvidete Dirac-matrisene.

==Diracs partikkelsjø==

[[Fil:Dirac sea.svg|thumb|360px|Tilstander med energier ''E'' < - ''mc''<sup>&thinsp;2</sup> utgjør den blå <span style="color:blue"> Dirac-sjøen</span>. Et '''hull''' oppstår når ett av elektronene i denne eksiteres opp til positiv energi  ''E'' > ''mc''<sup>&thinsp;2</sup>.  Dirac tolket hullet som et [[antipartikkel|anti-elektron]].]]

En løsning av Dirac-ligningen med negativ energi er vanskelig å forstå. Da ville for eksempel en partikkel med positiv energi kunne gå over til en med negativ energi under utsendelse av et foton med. Desto mer negativ energien er, desto større energi ville fotonet få. Man kunne på dette vise skape en uendelig stor energikilde. Man kunne alternativt definere slike løsninger som ikke-fysiske og se bort fra dem. Da ville man unngå dette energiproblemet, men ville i stedet ha en ligning som ikke lenger var matematisk konsistent.
 
Ved å gjøre bruk av [[Paulis eksklusjonsprinsipp]] som gjelder for elektroner, foreslo Dirac i 1930 at vi befinner oss i en '''sjø''' av elektroner hvor alle kvantetilstander med negativ energi er besatt. Selv om den virker veldig lite intuitiv og ville fylle verden med negativ ladning, ville den løse energiproblemet ved at et elektron med positiv energi ikke lenger kan gå over til en tilstand med negativ energi da alle disse tilstandene er okkuperte.

Men med dette bildet av det kvantemekaniske [[vakuum]]et, kan nye prosesser opptre. Et foton med energi større enn 2''mc''<sup>&thinsp;2</sup> kan eksitere et elektron  i sjøen  med negativ energi til å bli et vanlig elektron med positiv energi. Dermed dannes det et '''hull''' i sjøen. Da fraværet av noe negativt er positivt, vil et slikt hull opptre som en ny type partikkel med positiv energi og positiv elektrisk ladning. Et slikt hull ville vekselvirke med andre elektroner i sjøen og dermed få en større masse enn det vanlige elektronet. Dirac mente at han dermed også hadde en teori som forklarte eksistensen av [[proton]]et.<ref name = Dirac-proton>P.A.M. Dirac,  [https://royalsocietypublishing.org/doi/10.1098/rspa.1930.0013 ''A Theory of Electrons and Protons''],  Proc. Roy. Soc. '''A126'''  (801), 360–365 (1930). </ref>

Allerede samme år påpekte [[Robert Oppenheimer]] at dette forslaget ikke kunne være riktig. Det ville bety at elektronet i et [[hydrogenatom]] kunne [[annihilasjon|annihilere]] protonet ved at elektronet faller ned i den tilsvarende tilstanden med negativ energi ved utsendelse av to [[foton]]er, ''e'' + ''p'' &rarr; ''&gamma;'' + ''&gamma;''. Dette ville skje så raskt at atomet ville bli ustabilt. Dirac måtte akseptere at den eneste logiske konsekvens var at det måtte eksistere en annen partikkel med positiv ladning, men ellers med de samme egenskapene som elektronet. Dirac kalte den for et anti-elektron. Akkurat en slik partikkel ble oppdaget av [[Carl David Anderson]] i 1932. Han ga den navnet [[positron]] da den var et positivt elektron.<ref name = Pais>A. Pais, ''Inward Bound'', Oxford University Press, England (1986). ISBN 0-19-851971-0.</ref>

Moderne [[kvantefeltteori]] ble etablert omtrent på samme tid. Der finner løsninger med negativ energi en naturlig plass som [[antipartikkel|antipartikler]] uten at det må begrunnes med en Dirac-sjø. Dette ble spesielt klart ved kvantisering av [[Klein-Gordon-ligning|Klein-Gordon-feltet]] som beskriver spinn-0 partikler og ikke oppfyller noen form for eksklusjonsprinsipp. Likevel beskriver denne teorien også antipartikler. [[Wolfgang Pauli]] kunne derfor spøke med at dette var en «anti-Dirac teori».<ref name = VW/>

Dirac-sjøen fikk en gjenoppstandelse i forbindelse med utviklingen av [[halvleder]]e. De inneholder forskjellige ledningsbånd med tilllatte elektrontilstander. Her kan oppstå vakanser eller hull som opptrer som positive ladningsbærere.<ref name = AM >N.W. Ashcroft and N.D. Mermin, ''Solid State Physics'', Holt, Reinhart and Winston, New York (1976). ISBN 978-0-030-83993-1.</ref>

==Kvantefeltteori==

Da Dirac-ligningen beskriver både partikler og deres antipartikler, kan den vanligvis ikke betraktes som en kvantemekanisk bølgeligning for en enkelt partikkel. Derimot må den betraktes som '''feltligningen''' for Dirac-feltet <math> \psi(x) </math> som beskriver spinn-1/2 [[fermion]]er. Det tilsvarer at [[Klein-Gordon-ligning]]en for skalarfeltet  <math> \phi(x) </math> er feltligningen for spinn-0 [[boson]]er.

På samme måte som feltteorien for [[Andrekvantisering#Lagrange-formulering|ikke-relativistiske fermioner]], må [[Hamiltons virkningsprinsipp#Kontinuerlig system|Lagrange-tettheten]] for et fritt Dirac-felt være

: <math> {\cal{L}} = i\hbar\psi^\dagger\dot{\psi} + i\hbar\psi^\dagger\boldsymbol{\alpha}\cdot\boldsymbol{\nabla}\psi -m\psi^\dagger\beta\psi </math>

der <math> \dot{\psi} = \partial\psi/\partial t .</math> Her er spinoren <math> \psi </math> en kolonnematrise med fire komponenter <math> \psi_\alpha . </math> Tilsvarende er den adjungerte spinoren <math> \psi ^\dagger </math> en rekkematrise med fire komponenter <math> \psi^*_\alpha. </math>  Da er for eksempel <math>  \psi ^\dagger\psi = \psi^*_\alpha \psi_\alpha </math> der man bruker [[Einsteins summekonvensjon]] og summerer over de to like indeksene på høyre side.

Den resulterende [[Hamiltons virkningsprinsipp#Kontinuerlig felt i tre dimensjoner|Euler-Lagrange-ligningen]] for <math> \psi ^\dagger </math> gir nå Dirac-ligningen

: <math> i\hbar\frac{\partial\psi}{\partial t} = -i\hbar\boldsymbol{\alpha}\cdot\boldsymbol{\nabla}\psi + \beta m\psi </math>

Ved bruk av den kovariante formalismen for en slik relativistisk teori der [[gradient]]en er <math> \partial_\mu = (\partial/\partial t,\boldsymbol{\nabla}),</math>  tar ligningen den mer kompakte formen <math> (i\hbar \partial\!\!\!/ -m)\psi = 0. </math> På samme måte blir da Lagrange-tettheten 

: <math>  {\cal{L}} = \bar{\psi}(i\hbar \partial\!\!\!/ -m)\psi </math>

som viser tydelig at den er en Lorentz-skalar.<ref name = Tony/>

Feltet har også en konjugert impuls som er

: <math>  \Pi_\alpha =  {\partial\mathcal{L}\over\partial \dot{\psi}_\alpha} = i\hbar\psi^*_\alpha </math> 

Den behøves for å beregne energien i feltet og kan finnes fra Hamilton-tettheten

: <math> \begin{align}{\cal{H}} &= \dot{\psi}\Pi  -  {\cal{L}} \\ &=  -i\hbar\psi^\dagger\boldsymbol{\alpha}\cdot\boldsymbol{\nabla}\psi + m\psi^\dagger\beta\psi \end{align}</math>

Etter kvantisering av feltet vil den gi dets [[Hamilton-operator]].

===Kvantisering===

Relativistiske fermioner må oppfylle [[Paulis eksklusjonsprinsipp]]. Det betyr at når Dirac-feltet kvantiseres og blir en feltoperator <math> \psi \rightarrow \hat\psi </math>, må det gjøres ved bruk av antikommutatorer på samme måte som for [[Andrekvantisering#Kvantisering|ikke-relativistiske fermioner]]. Da må

: <math>  \left\{\hat\psi(\mathbf{x},t),\hat\Pi(\mathbf{x'},t)\right\} = i\hbar\delta(\mathbf{x} - \mathbf{x'}) </math>

som betyr at komponentene av feltoperatoren oppfyller den fundamentale antikommutatoren

: <math>  \left\{\hat\psi_\alpha(\mathbf{x},t),\hat\psi_\beta^\dagger(\mathbf{x'},t)\right\} = \delta(\mathbf{x} - \mathbf{x'})\delta_{\alpha\beta}  </math>

Det kan gjøres ved å innføre kreasjon og annihilasjonsoperatorer for Dirac-partiklene og deres antipartikler på samme måte som for [[Klein-Gordon-ligning#Kvantisering|Klein-Gordon-feltet]]. Først blir derfor det klassiske feltet uttrykt ved løsninger av den frie Dirac-ligningen ved en firedimensjonal  [[Fourier-transformasjon]],

: <math> \psi(x) = \int\! {d^4p\over (2\pi\hbar)^4} \sum_{s=1,2} 2\pi\hbar\delta(p^2 - m^2) c_s(p) u_s(p)\,e^{-ip\cdot x/\hbar} </math>

hvor firevektoren <math> p^\mu = (p_0, \mathbf{p}) </math> slik at <math> p\cdot x = p_0t - \mathbf{p}\cdot\mathbf{x} </math> og deltafunksjonen opptrer fordi feltet skal beskrive partikler med masse ''m''. Den kan splittes opp som

: <math>\begin{align} \delta(p^2 - m^2) &= \delta(p_0^2 - E^2) \\ &= {1\over 2E_\mathbf{p}} \left[\delta(p_0 - E) + \delta(p_0 + E) \right] \end{align}</math>

hvor <math> E = \sqrt{\mathbf{p}^2 + m^2c^2} </math> er den relativistiske energien til en partikkel med impuls '''p'''. Den firedimensjonale Fourier-transformasjonen splittes dermed opp i to tredimensjonale transformasjoner. Feltoperatoren tar formen

: <math>  \hat{\psi}(x) = \int\! {d^3p\over 2E (2\pi\hbar)^3}\sum_{s=1,2} \left[ \hat{c}_s(p) u_s(p)\, e^{-ip\cdot x/\hbar} +  \hat{d}_s^\dagger(p) v_s(p)\, e^{ip\cdot x/\hbar} \right] </math>

etter man i det siste leddet har latt <math> \mathbf{p} \rightarrow - \mathbf{p}. </math>  og latt  Fourier-komponentene bli antikommuterende operatorer bortsett fra 

: <math>  \left\{\hat{c}_s(p), \hat{c}^\dagger_{s'}(p')\right\} =  \left\{\hat{d}_s(p), \hat{d}^\dagger_{s'}(p')\right\}  =2E (2\pi\hbar)^3 \delta(\mathbf{p} - \mathbf{p}')\delta_{ss'}  </math>

Her vil nå <math> \hat{c}^\dagger_{s}(p) </math> skape en partikkel, mens <math> \hat{c}_{s}(p) </math> vil fjerne den. Det samme gjelder for antipartikler med <math> \hat{d}^\dagger_{s}(p) </math> og <math> \hat{d}_{s}(p). </math> I denne fremstillingen er det en konsekvens  av definisjonen <math> \hat{c}(-p) = \hat{d}^\dagger(p) .</math> Den er i overensstemmelse med Diracs innføring av en uendelig stor «Dirac-sjø» der man ved å fjerne en partikkel med negativ energi, skaper en antipartikkel med positiv energi.<ref name = Tony/>

Ved hjelp av disse feltoperatorene kan Hamilton-operatoren for Dirac-feltet finnes. På samme måte som for Klein-Gordon-partikler vil den da uttrykkes ved de sammensatte operatorene <math> \hat{c}^\dagger_{s}\hat{c}_{s} </math> og <math> \hat{d}^\dagger_{s}\hat{d}_{s} </math> som teller opp antall partikler og antipartikler som finnes i forskjellige tilstander. Det kommer spesielt tydelig frem når man beregninger operatoren for total, elektrisk ladning i feltet. Den blir

: <math>\begin{align} \hat{Q} &= e\! \int\!d^3x \,\hat{\psi}^\dagger(x)\hat{\psi}(x) \\ &=  e\!  \int\! {d^3p\over 2E_\mathbf{p} (2\pi\hbar)^3}\sum_{s=1,2} \left(\hat{c}^\dagger_{s}(p)\hat{c}_{s}(p)  -  \hat{d}^\dagger_{s}(p)\hat{d}_{s}(p) \right) \end{align}</math>

som viser at partikler og deres antipartikler opptrer med motsatt ladning.

==Referanser==
<references />

==Eksterne lenker==

* P.A.M. Dirac, [https://www.nobelprize.org/uploads/2018/06/dirac-lecture.pdf ''Theory of electrons and positrons''], Nobel prize lecture (1933).
* P.A.M. Dirac, [https://lamediateca.infn.it/mediateca/view.php?v=227 ''The history of the positron''], video lecture given by Dirac (1975).
* B. Simons, [http://www.tcm.phy.cam.ac.uk/~bds10/aqp/handout_relqu.pdf ''Relativistic Quantum Mechanics''], lecture at [[Cambridge University]] (2009).
* University of Alberta, [https://sites.ualberta.ca/~gingrich/courses/phys512/node41.html ''Dirac equation''], web pages

{{Autoritetsdata}}

[[Kategori:Kvantemekanikk]]
[[Kategori:Partielle differensialligninger]]
[[Kategori:Fysiske ligninger]]