Ogled vira Diracova enačba

{{short description|valovna enačba iz relativistične kvantne mehanike}}
{{razlikuj|Diracova funkcija delta}}
'''Diracova enáčba''' [dirákova ~] je v [[fizika osnovnih delcev|fiziki osnovnih delcev]] [[relativistične valovne enačbe|relativistična valovna enačba]], ki jo je izpeljal [[Paul Dirac]] leta [[1928 v znanosti|1928]]. V svoji prosti obliki ali vključno z [[elektromagnetna interakcija|elektromagnetnimi interakcijami]] opisuje vse [[masivni delec|masivne delce]] s [[spin 1/2|polovičnim]] [[spin]]om, imenovane »Diracovi delci«, kot so [[elektron]]i in [[kvark]]i, za katere je [[parnost (fizika)|parnost]] [[simetrija (fizika)|simetrija]]. Skladna je tako z načeli [[kvantna mehanika|kvantne mehanike]] kot [[posebna teorija relativnosti|posebne teorije relativnosti]].{{sfnp|Atkins|1974|pp=52}} Bila je prva teorija, ki je v celoti upoštevala posebno teorijo relativnosti v kontekstu kvantne mehanike. Potrjena je bila z upoštevanjem [[fina struktura|fine strukture]] [[spekter vodikovega atoma|spektra vodikovega atoma]] na povsem strog način.

Enačba je nakazovala tudi obstoj nove oblike [[snov]]i, [[antimaterija|antimaterije]], o kateri prej niso slutili ali jo opazili, in so jo nekaj let pozneje eksperimentalno potrdili. Zagotovila je tudi teoretično utemeljitev za uvedbo več komponentnih [[valovna funkcija|valovnih funkcij]] v [[Wolfgang Ernst Pauli|Paulijevo]] [[fenomenologija (fizika)|fenomenološko]] teorijo spina. Valovne funkcije v Diracovi teoriji so [[vektor (matematika)|vektorji]] štirih [[kompleksno število|kompleksnih števil]] (znanih kot [[bispinor]]ji), od katerih sta dva podobna [[Paulijeva enačba|Paulijevi valovni funkciji]] v nerelativistični meji, v nasprotju s [[Schrödingerjeva enačba|Schrödingerjevo enačbo]], ki je opisovala valovne funkcije samo ene kompleksne vrednosti. Poleg tega se Diracova enačba v meji ničelne mase zreducira na [[Weylova enačba|Weylovo enačbo]].

Čeprav Dirac sprva ni v celoti razumel pomena svojih rezultatov, predstavlja pojasnitev spina kot posledice združitve kvantne mehanike in relativnosti – in končno odkritje [[pozitron]]a – eno od velikih zmagoslavij [[teoretična fizika|teoretične fizike]]. Ta dosežek so opisali kot popolnoma enak delu [[Isaac Newton|Newtona]], [[James Clerk Maxwell|Maxwella]] in [[Albert Einstein|Einsteina]] pred njim.{{sfnp|Hey|Walters|2009|pp=228}} Nekateri fiziki so jo označili za »pravo seme sodobne fizike«.{{sfnp|Zichichi|2000}} V kontekstu [[kvantna teorija polja|kvantne teorije polja]] se Diracova enačba na novo interpretira za opis kvantnih polj, ki ustrezajo delcem s polovičnim spinom.

Diracova enačba je zapisana na plošči na tleh [[Westminstrska opatija|Westminstrske opatije]]. Plošča, ki so jo odkrili 13. novembra 1995, spominja na življenje Paula Diraca.<ref>{{navedi splet|last1= Dirac-Wahrenburg|first1= Gisela|title= Paul Dirac|publisher= Dirac.ch|lang= en|url= http://www.dirac.ch/PaulDirac.html|accessdate= 2013-07-12}}</ref>

== Matematična formulacija ==

V svoji sodobni formulaciji za teorijo polja je Diracova enačba zapisana v smislu polja [[Diracov spinor|Diracovi spinorjev]] <math> \psi \!\,</math> ob vrednosti v kompleksnem [[vektorski prostor|vektorskem prostoru]], ki je konkretno opisan kot <math> \mathbb{C}^{4} \!\, </math>, definiran na ravnem prostor-času ([[prostor Minkovskega]]) <math> \mathbb{R}^{1,3} \!\,</math>. Njegov izraz vsebuje tudi [[matrike gama]] in parameter <math> m > 0 \!\, </math>, interpretiran kot masa, kot tudi druge fizikalne konstante. Dirac je najprej dobil svojo enačbo s faktorizacijo Einsteinove [[relacija energija-gibalna količina|ekvivalenčne relacije]] [[energija]]-[[gibalna količina]]-[[masa]] ob predpostavki [[skalarni produkt|skalarnega produkta]] vektorjev gibalne količine, določenih z [[metrični tenzor|metričnim tenzorjem]], in kvantiziral nastalo relacijo tako, da je gibalne količine povezal z njihovimi [[operator (matematika)|operatorji]].

V smislu polja <math> \psi: \mathbb{R}^{1,3}\rightarrow \mathbb{C}^{4} \!\, </math> ima Diracova enačba obliko:

{{Equation box 1
|title='''Diracova enačba'''
|indent=:
|equation = <math> (i \hbar \gamma^\mu \partial_\mu - m c) \psi(x) = 0 \!\, . </math>
|border
|border colour =#50C878
|background colour = #ECFCF4
}}

in v [[naravne enote|naravnih enotah]] s [[Feynmanov zapis s poševnicami|Feynmanovim zapisom s poševnicami]]:

{{Equation box 1
|title='''Diracova enačba (naravne enote)'''
|indent=:
|equation = <math> (i\partial \!\!\!/ - m) \psi(x) = 0 \!\, . </math>
|border
|border colour =#50C878
|background colour = #ECFCF4
}}

Matrike gama (Diracove matrike) so množica štirih kompleksnih [[matrika|matrik]] <math> 4 \times 4 \!\, </math> (elementi <math>\text{Mat}_{4\times 4}(\mathbb{C}) \!\, </math>) za katere veljajo antikomutacijske relacije po definiciji:

: <math> \{\gamma^{\mu}, \gamma^{\nu}\} = 2\eta^{\mu\nu}I_{4} \!\, , </math>

kjer je <math> \eta^{\mu\nu} \!\, </math> metrični element Minkowskega, indeksi <math>\mu, \nu</math> pa tečejo po 0, 1, 2 in 3. <math> I_{4} \!\, </math> je [[identična matrika]] <math> 4 \times 4 \!\, </math>, ki deluje na Diracovo polje <math> \psi \!\, </math>.{{sfnp|Arminjon|Reifler|2013}} Te matrike je mogoče eksplicitno realizirati z izbiro reprezentacije. Dve pogosti izbiri sta:
* Diracova reprezentacija:

:: <math>
\gamma^{0} = \begin{pmatrix} I_{2} &        0 \\         0 & - I_{2} \end{pmatrix} , \quad
\gamma^{i} = \begin{pmatrix}   0 & \sigma^{i} \\ -\sigma^{i} &    0 \end {pmatrix} \!\, , </math>

: kjer so <math> \sigma^{i} \!\, </math> [[Paulijeve matrike]], in:

* kiralna reprezentacija:

:: <math> \gamma^{0} = \begin{pmatrix} 0 &  I_{2} \\         I_{2} & 0 \end{pmatrix} , \quad 
\gamma^{i} \ \text{so enake} \!\, . </math>

Zapis s poševnicami je zgoščeni zapis za:

: <math> A\!\!\!/ := \gamma^{\mu} A_{\mu} \!\, , </math>

kjer je <math> A \!\, </math> [[vektor četverec]] (velikokrat je vektor četverec diferencialni operator <math> \partial_{\mu} \!\, </math>). Uporabljena je vsota prek indeksa <math>\mu</math>.

=== Diracov adjunkt in adjungirana enačba ===

'''Diracov adjunkt''' spinorskega polja <math> \psi(x) \!\, </math> je definiran kot:

: <math> \bar\psi(x) = \psi(x)^{\dagger} \gamma^{0} \!\, . </math>

Z uporabo značilnosti matrik gama, (ki neposredno izhajajo iz značilnosti [[hermitska matrika|hermitskosti]] <math> \gamma^{\mu} \!\, </math>), da velja:

: <math> (\gamma^{\mu})^{\dagger} = \gamma^{0}\gamma^{\mu}\gamma^{0} \!\, , </math>

se lahko izpelje adjungirana Diracova enačba s [[konjugirano transponirana matrika|hermitskim konjugiranjem]] Diracove enačbe in množenjem desne strani z <math> \gamma^{0} \!\, </math>:

: <math> \bar\psi (x)( - i\gamma^{\mu} \overleftarrow{\partial}_{\mu} - m) = 0 \!\, , </math>

kjer [[parcialni odvod]] <math>\overleftarrow{\partial}_{\mu} \!\, </math> deluje z desne na <math> \bar\psi(x) \!\, </math>: zapisano na običajni način delovanja odvoda z leve, velja:

: <math> - i\partial_{\mu}\bar\psi (x)\gamma^{\mu} - m\bar\psi (x) = 0 \!\, . </math>

=== Klein-Gordonova enačba ===

Če se na Diracovo enačbo uporabi <math>i\partial\!\!\!/ + m \!\, </math>, izhaja:

: <math> (\partial_{\mu}\partial^{\mu} + m^{2})\psi(x) = 0 \!\, . </math>

To je, za vsako komponento polja Diracovih spinorjev velja [[Klein-Gordonova enačba]].

=== Ohranjeni tok ===

[[Ohranjeni tok]] teorije je:

: <math> J^{\mu} = \bar{\psi}\gamma^{\mu}\psi \!\, . </math>

{{polje za navedke|align=right|width=98%|bgcolor=#ffffff|fontsize=100%|'''Dokaz ohranitve toka iz Diracove enačbe:'''

Če se seštejeta Diracova in adjungirana Diracova enačba, izhaja:

: <math> i((\partial_{\mu}\bar\psi)\gamma^{\mu}\psi+\bar\psi\gamma^{\mu} \partial_{\mu}\psi) = 0 \!\, , </math>

tako, da po [[Leibnizevo pravilo|Leibnizevem pravilu]] velja:

: <math> i\partial_{\mu}(\bar\psi\gamma^{\mu}\psi) = 0 \!\, . </math>}}

Drug pristop za izpeljavo tega izraza je z [[variacijski račun|variacijskimi]] metodami, z uporabo [[izrek Noetherjeve|izreka Noetherjeve]] za globalno simetrijo <math> \text{U}(1) \!\, </math> za izpeljavo ohranjenega toka <math> J^{\mu} \!\, </math>.

{{polje za navedke|align=right|width=98%|bgcolor=#ffffff|fontsize=100%|'''Dokaz ohranitve toka iz izreka Noetherjeve:'''

[[Lagrangeeva funkcija]] je enaka:

: <math> \mathcal{L} = \bar\psi(i\gamma^{\mu} \partial_{\mu} - m)\psi \!\, . </math>

Pod simetrijo <math>\text{U}(1) \!\, </math>, ki transformira:

: <math>\begin{align}
\psi &\mapsto e^{i\alpha}\psi, \\
\bar\psi &\mapsto e^{-i\alpha}\bar\psi, \end{align}</math>

se izkaže, da je Lagrangeeva funkcija invarianta.

Če se sedaj upošteva da je variacijski parameter <math> \alpha \!\, </math> infinitezimalen, se dela v prvem redu <math> \alpha \!\, </math> in zanemari člene <math> \mathcal{O}{\alpha^{2}} \!\, </math>. Iz prejšnje razprave se takoj vidi eksplicitno variacijo Lagrangeeve funkcije, saj <math> \alpha \!\, </math> izginja, to je pod variacijo:

: <math> \mathcal{L}\mapsto \mathcal{L} + \delta\mathcal{L} \!\, , </math>

kjer je <math> \delta\mathcal{L} = 0 \!\, </math>.

Kot del izreka Noetherjeve se najde implicitno variacijo Lagrangeeve funkcije zaradi variacije polj. Če [[enačba gibanja]] za <math> \psi, \bar\psi \!\, </math> velja, potem je:
{{NumBlk||<math>\delta\mathcal{L} = \partial_{\mu} \left( \frac{\partial \mathcal{L}}{\partial (\partial_{\mu} \psi)}\delta\psi + \frac{\partial \mathcal{L}}{\partial (\partial_{\mu} \bar\psi)}\delta\bar\psi \right) \!\, . </math>|{{EquationRef|<nowiki>*</nowiki>}}}}

To se takoj poenostavi, saj v Lagrangeevi funkciji ni parcialnih odvodov <math> \bar\psi \!\, </math>. <math> \delta\psi \!\,</math> je infinitezimalna variacija:

: <math> \delta\psi(x) = i\alpha\psi(x) \!\, . </math>

Izračuna se:

: <math> \frac{\partial \mathcal{L}}{\partial (\partial_{\mu} \psi)} = i\bar\psi\gamma^{\mu} \!\, . </math>

Enačba ({{EquationNote|*}}) je končno enaka:

: <math> 0 = -\alpha\partial_{\mu}(\bar\psi\gamma^{\mu}\psi) \!\, . </math>}}

=== Rešitve ===

{{glej|Diracov spinor|#Teorija lukenj}}
Ker Diracov operator deluje na [[n-terka|4-terke]] [[kvadratno integrabilna funkcija|kvadratno integrabilnih funkcij]], bi morale biti njegove rešitve elementi istega [[Hilbertov prostor|Hilbertovega prostora]]. Dejstvo, da energije rešitev nimajo spodnje meje, je nepričakovano.

==== Rešitve z ravninskim valovanjem ====

Rešitve z [[ravninsko valovanje|ravninskim valovanjem]] so tiste, ki izhajajo iz privzetka:

: <math> \psi(x) = u(\mathbf{\vec{p}})e^{-i p \cdot x} \!\, , </math>

ki modelira delec z definitno 4-gibalno količino <math>p = (E_{\mathbf{\vec{p}}}, \mathbf{\vec{p}}) \!\, </math>, kjer je <math display="inline"> E_{\mathbf{\vec{p}}} = \sqrt{m^{2} + |\mathbf{\vec{p}}|^{2}} \!\, </math>.

Za ta privzetek Diracova enačba postane enačba za <math> u(\mathbf{\vec{p}}) \!\, </math>:

: <math> \left( \gamma^{\mu} p_{\mu} - m\right) u(\mathbf{\vec{p}}) = 0 \!\, . </math>

Po izbiri reprezentacije za matrike gama <math> \gamma^{\mu} \!\, </math> je reševanje tega stvar reševanja sistema linearnih enačb. Značilnost matrik gama brez reprezentacije je, da je prostor rešitev [[dvorazsežni prostor|dvorazsežen]] (glej [[matrike gama|tukaj]]).

V kiralni reprezentaciji za <math> \gamma^{\mu} \!\, </math> je na primer prostor rešitev parametriran s <math> \mathbb{C}^2 \!\,</math>-vektorjem <math> \xi \!\, </math>, z:

: <math> u(\mathbf{\vec{p}}) = \begin{pmatrix} \sqrt{\sigma^{\mu} p_{\mu}}\xi \\ \sqrt{\bar\sigma^{\mu} p_{\mu}}\xi \end{pmatrix} \!\,  , </math>

kjer je <math>\sigma^{\mu} = (I_{2}, \sigma^{i}), \bar\sigma^{\mu} = (I_{2}, -\sigma^{i}) \!\, </math> in <math> \sqrt{\cdot} \!\, </math> kvadratni koren hermitske matrike.

Te rešitve z ravninskim valovanjem zagotavljajo začetno točko za kanonično kvantizacijo.

=== Lagrangeeva formulacija ===

Tako Diracovo enačbo kot adjungirano Diracovo enačbo se lahko dobi iz (variacije) [[akcija (fizika)|akcije]] s specifično [[Lagrangeeva funkcija (teorija polja)|Lagrangeevo gostoto]], ki je podana z:

: <math> \mathcal{L} = i\hbar c\overline{\psi}\gamma^{\mu}\partial_{\mu}\psi - mc^{2}\overline{\psi}\psi \!\, . </math>

Če se to variira glede na <math> \psi \!\, </math>, se dobi adjungirano Diracovo enačbo, če pa glede na <math> \bar\psi \!\, </math>, pa se dobi Diracovo enačbo.

V naravnih enotah in z zapisom s poševnicami je akcija enaka:

{{Equation box 1
|title='''Diracova akcija'''
|indent=:
|equation = <math> S = \int \mathrm{d}^{4}x\,\bar\psi\,(i\partial\!\!\!\big / - m)\,\psi \!\, . </math>
|border
|border colour =#50C878
|background colour = #ECFCF4
}}

Za to akcijo, ohranjeni tok <math> J^{\mu} \!\, </math> zgoraj nastane kot ohranjeni tok, ki ustreza globalni sismetriji <math> \text{U}(1) \!\, </math> prek izreka Noetherjeve za teorijo polja. Umerjanje te teorije polja s spreminjanjem simetrije v krajevno, odvisno od prostorsko-časovne točke, daje umeritveno simetrijo (pravzaprav umeritveno redundantnost). Iz tega izhaja teorija [[kvantna elektrodinamika|kvantne elektrodinamike]] ali QED. Glej spodaj za podrobnejšo razpravo.

=== Lorentzeva invariantnost ===

Diracova enačba je invariantna glede na [[Lorentzeva transformacija|Lorentzeve transformacije]], to je pod delovanjem [[Lorentzeva grupa|Lorentzeve grupe]] <math> \text{SO}(1,3) \!\, </math> ali strogo <math> \text{SO}(1,3)^{+} \!\, </math>, komponente, povezane z identiteto.

Za Diracov spinor, na katerega se konkretno gleda, da sprejema vrednosti <math> \mathbb{C}^{4} \!\, </math>, je transformacija pod Lorentzevo transformacijo <math> \Lambda \!\, </math> podana s <math> 4\times 4 \!\, </math>-kompleksno matriko <math> S[\Lambda] \!\, </math>. Pri definiciji ustrezne matrike <math> S[\Lambda] \!\, </math> je nekaj subtilnosti, pa tudi standardna zloraba zapisa.

Večina obravnavanj poteka na ravni [[Liejeva algebra|Liejeve algebre]]. Za podrobnejšo obravnavo glej [[Lorentzeva grupa|tukaj]]. Lorentzeva grupa ''realnih'' matrik <math> 4 \times 4 \!\, </math>, ki delujejo na <math> \mathbb{R}^{1,3} \!\, </math>, generira množico šestih matrik <math> \{M^{\mu\nu}\} \!\, </math> s komponentami:

: <math> (M^{\mu\nu})^{\rho}{}_{\sigma} = \eta^{\mu\rho}\delta^{\nu}{}_{\sigma} - \eta^{\nu\rho}\delta^{\mu}{}_{\sigma} \!\, . </math>

Ko sta oba indeksa <math>\rho, \sigma \!\, </math> zvišana ali znižana, so to preprosto 'standardna [[baza (linearna algebra)|baza]]' antisimetričnih matrik.

Ti zadoščajo komutacijskim relacijam Lorentzeve algebre:

: <math> [M^{\mu\nu}, M^{\rho\sigma}] = M^{\mu\sigma}\eta^{\nu\rho} - M^{\nu\sigma}\eta^{\mu\rho} + M^{\nu\rho}\eta^{\mu\sigma} - M^{\mu\rho}\eta^{\nu\sigma} \!\, . </math>

V članku o [[Diracova algebra|Diracovi algebri]] je zapisano tudi, da spinski generatorji:

: <math> S^{\mu\nu} = \frac{1}{4} [\gamma^{\mu},\gamma^{\nu}] \!\, </math>

zadoščajo komutacijskim relacijam Lorentzeve algebre.

Lorentzeva transformacija <math> \Lambda \!\, </math> se lahko zapiše kot:

: <math> \Lambda = \exp \left( \frac{1}{2}\omega_{\mu\nu}M^{\mu\nu} \right) \!\, , </math>

kjer so komponente <math> \omega_{\mu\nu} \!\, </math> antisimetrične v <math> \mu,\nu \!\, </math>.

Ogovarjajoča transformacija na spinski prostor je:

: <math> S[\Lambda] = \exp \left( \frac{1}{2}\omega_{\mu\nu}S^{\mu\nu} \right) \!\, . </math>

To je zloraba zapisa, vendar standardna. Razlog je, da <math> S[\Lambda] \!\, </math> ni dobro definirana funkcija <math> \Lambda \!\, </math>, ker obstajata dve različni množici komponent <math> \omega_{\mu\nu} \!\, </math> (do ekvivalence), ki dasta enako <math> \Lambda \!\, </math>, vendar različno <math> S[\Lambda] \!\, </math>. V praksi se implicitno izbere ena množica komponent <math> \omega_{\mu\nu} \!\, </math> in je tako <math> S[\Lambda] \!\, </math> dobro definirana v komponentah <math> \omega_{\mu\nu} \!\, </math>.

Pod Lorentzevo transformacijo Diracova enačba:

: <math> i\gamma^{\mu}\partial_{\mu} \psi(x) - m \psi(x) = 0 \!\, </math>

postane:

: <math> i\gamma^{\mu}((\Lambda^{-1})_{\mu}{}^{\nu}\partial_{\nu})S[\Lambda]\psi(\Lambda^{-1} x) - mS[\Lambda]\psi(\Lambda^{-1} x) = 0 \!\, </math>.

{{polje za navedke|align=right|width=98%|bgcolor=#ffffff|fontsize=100%|'''Preostanek dokaza Lorentzeve invariantnosti:'''

Če se obe strani pomnožita z leve z <math> S^{-1}[\Lambda] \!\, </math> in navidezna spremeljivka vrne k <math> x \!\, </math>, velja:

: <math> iS[\Lambda]^{-1}\gamma^{\mu} S[\Lambda]((\Lambda^{-1})_{\mu}{}^{\nu}\partial_{\nu})\psi(x) - m\psi(x) = 0 \!\, . </math>

Invariantnost se bo videla, če velja:

: <math> S[\Lambda]^{-1}\gamma^{\mu} S[\Lambda](\Lambda^{-1})^{\nu}{}_{\mu} = \gamma^{\nu} \!\, , </math>

ali enakovredno:

: <math> S[\Lambda]^{-1}\gamma^{\mu} S[\Lambda] = \Lambda^{\mu}{}_{\nu}\gamma^{\nu} \!\, . </math>

To ni preprosto pokazati na algebrskem nivoju. Naj so transformacije parametrizirane z infinitezimalnimi komponentami <math> \omega_{\mu\nu} \!\,</math>, potem se v prvem redu v <math> \omega \!\, </math>, na levi strani dobi:

: <math> \frac{1}{2}\omega_{\rho\sigma}(M^{\rho\sigma})^{\mu}{}_{\nu} \gamma^{\nu} \!\, , </math>

na desni strani pa:

: <math> \left[ \frac{1}{2}\omega_{\rho\sigma}S^{\rho\sigma},\gamma^{\mu} \right] = \frac{1}{2}\omega_{\rho\sigma}\left[S^{\rho\sigma},\gamma^{\mu} \right] \!\, . </math>

To je standardna vaja za izračun komutatorja na levi strani. Če se zapiše <math> M^{\rho\sigma} \!\, </math> s členi komponent, izhaja dokaz.}}

Z Lorentzevo invariantnostjo je povezan ohranjeni tok Noetherjeve ali bolje rečeno [[tenzor]] ohranjenih tokov Noetherjeve <math> (\mathcal{J}^{\rho\sigma})^{\mu} \!\, </math>. Podobno, ker je enačba invariantna glede na [[translacija|translacije]], obstaja tenzor ohranjenih tokov Noetherjeve <math> T^{\mu\nu} \!\, </math>, ki se ga lahko identificira kot [[napetostni tenzor|napetostno-energijski tenzor]] teorije. Lorentzev tok <math> (\mathcal{J}^{\rho\sigma})^{\mu} \!\, </math> je mogoče zapisati s členi napetostno-energijskega tenzorja zraven tenzorja, ki predstavlja notranjo [[vrtilna količina|vrtilno količino]].

== Zgodovinski razvoj in nadaljnje matematične podrobnosti ==

Diracova enačba se je (zgodovinsko) uporabila tudi za definicijo kvantnomehanske teorije, kjer se <math> \psi(x) \!\, </math> namesto tega interpretira kot valovna funkcija.

Diracova enačba v obliki, ki jo je prvotno predlagal [[Paul Dirac|Dirac]], je:{{sfnp|Dirac|1982|pp=255}}

: <math> \left( \beta mc^{2} + c \sum_{n = 1}^{3}\alpha_{n} p_{n} \right) \psi (x, t) = i \hbar \frac{\partial\psi(x, t) }{\partial t} \!\, , </math>

kjer je <math> \psi (x, t) \!\, </math> valovna funkcija za elektron z [[mirovna masa|mirovno maso]] <math> m \!\, </math> s prostorskočasovnimi koordinatami <math> x, t \!\, </math>. <math> p_{1}, p_{2}, p_{3} \!\, </math> so komponente gibalne količine, mišljeni kot [[operator gibalne količine]] v Schrödingerjevi enačbi. <math> c \!\, </math> je [[hitrost svetlobe]] in <math> \hbar \!\, </math> pa [[reducirana Planckova konstanta]]. Ti osnovni [[fizikalna konstanta|fizikalni konstanti]] odražata posebno teorijo relativnosti in kvantno mehaniko.

Diracov namen pri oblikovanju te enačbe je bil pojasniti obnašanje relativistično gibajočega se elektrona in tako omogočiti, da se [[atom]] obravnava na način, ki bi bil skladen z relativnostjo. Njegovo precej skromno upanje je bilo, da bi tako uvedeni popravki lahko vplivali na problem [[atomski spekter|atomskih spektrov]].

Do tedaj so poskusi, da bi staro kvantno teorijo atoma naredili združljivo s teorijo relativnosti, ki so temeljili na diskretizaciji gibalne količine, shranjene v elektronovi mogoči nekrožni orbiti [[atomsko jedro|atomskega jedra]], propadli – in nova kvantna mehanika [[Werner Karl Heisenberg|Heisenberga]], [[Wolfgang Ernst Pauli|Paulija]], [[Ernst Pascual Jordan|Jordana]], [[Erwin Schrödinger|Schrödingerja]] in samega Diraca se ni dovolj razvila, da bi obravnavala ta problem. Čeprav so bili Diracovi prvotni nameni izpolnjeni, je imela njegova enačba veliko globlje posledice za strukturo snovi in je uvedla nove matematične razrede objektov, ki so sedaj bistveni elementi osnovne fizike.

Novi elementi v tej enačbi so štiri <math> 4 \times 4 \!\, </math>-matrike <math> \alpha_{1} \!\, </math>, <math> \alpha_{2} \!\, </math>, <math> \alpha_{3} \!\, </math> in <math> \beta \!\, </math> ter štirikomponentna valovna funkcija <math> \psi \!\, </math>. V <math> \psi \!\, </math> so štiri komponente, ker je njen izračun na kateri koli dani točki konfiguracijskega prostora [[bispinor]]. Interpretira se kot [[superpozicija]] elektrona s polovičnim spinom navzgor, elektrona s spinom navzdol, pozitrona s spinom navzgor in pozitrona s spinom navzdol.

<math> 4 \times 4 \!\, </math>-matrike <math> \alpha_{k} \!\, </math> in <math> \beta \!\, </math> so vse [[hermitska matrika|hermitske]] in [[involutarna matrika|involutarne]]:

: <math> \alpha_{i}^{2} = \beta^{2} = I_{4} \!\, </math>

in med seboj [[antikomutativnost|antikomutativne]]:

: <math> \begin{align} \alpha_{i}\alpha_{j} + \alpha_{j}\alpha_{i} &= 0 \quad(i \neq j) \\
        \alpha_{i}\beta + \beta\alpha_{i} &= 0 \!\, . \end{align} </math>

Te matrike in oblika valovne funkcije imajo globok matematični pomen. Algebrsko strukturo, ki jo predstavljajo matrike gama, je približno 50 let prej ustvaril [[William Kingdon Clifford]]. Po drugi strani pa so Cliffordove zamisli izhajale iz dela [[Hermann Grassmann|Hermanna Grassmanna]] iz sredine 19. stoletja v njegovi ''Teoriji linearne razširitve'' (''Lineare Ausdehnungslehre''). Slednjega je večina njegovih sodobnikov štela za skoraj nerazumljivega. Pojav nečesa tako na videz abstraktnega, tako pozno in na tako neposreden fizikalni način, je eno najimenitnejših poglavij v zgodovini fizike. Še več, potrditev izjemnega vpogleda, ki sta ga izkazala matematika Grassmann in Clifford.

{{clear}}
Ena sama simbolna enačba se tako razplete v štiri sklopljene linearne [[parcialna diferencialna enačba|parcialne diferencialne enačbe]] prvega reda za štiri količine, ki sestavljajo valovno funkcijo. Enačbo se lahko bolj eksplicitno zapiše v [[Planckov sistem enot|Planckovih enotah]] kot:{{sfnp|Collas|Klein|2019|pp=7}}

: <math>
i   \partial_{x} \begin{bmatrix} + \psi_{4} \\ + \psi_{3} \\ - \psi_{2} \\ - \psi_{1} \end{bmatrix}
+   \partial_{y} \begin{bmatrix} + \psi_{4} \\ - \psi_{3} \\ - \psi_{2} \\ + \psi_{1} \end{bmatrix}
+ i \partial_{z} \begin{bmatrix} + \psi_{3} \\ - \psi_{4} \\ - \psi_{1} \\ + \psi_{2} \end{bmatrix}
- m              \begin{bmatrix} + \psi_{1} \\ + \psi_{2} \\ + \psi_{3} \\ + \psi_{4} \end{bmatrix} = 
i   \partial_{t} \begin{bmatrix} - \psi_{1} \\ - \psi_{2} \\ + \psi_{3} \\ + \psi_{4} \end{bmatrix} \!\, , </math>

zaradi česar je bolj jasno, da gre za niz štirih parcialnih diferencialnih enačb s štirimi neznanimi funkcijami.

=== Na poti k relativistični Schrödingerjevi enačbi ===

Diracova enačba je na videz podobna Schrödingerjevi enačbi za masivni [[prosti delec]]:

: <math> -\frac{\hbar^{2}}{2m}\nabla^{2}\phi = i\hbar\frac{\partial}{\partial t}\phi \!\, . </math>

Leva stran predstavlja kvadrat operatorja gibalne količine, deljen z dvakratno maso, ki je nerelativistična [[kinetična energija]]. Ker relativnost obravnava prostor in čas kot celoto, relativistična posplošitev te enačbe zahteva, da morajo prostorski in [[časovni odvod]]i vstopiti simetrično, kot je to v [[Maxwellove enačbe|Maxwellovih enačbah]], ki urejajo obnašanje svetlobe – enačbe morajo biti diferencialno istega reda v prostoru in času. V relativnosti sta gibalna količina in energije prostorski in časovni del prostorsko-časovnega vektorja, [[četverec gibalne količine|četverca gibalne količine]], in sta povezana z relativistično [[relacija energija-gibalna količina|invariantno relacijo]]:

: <math> E^{2} = \left(m c^{2} \right)^{2} + (p c)^{2} \!\, , </math>

ki pravi, da je dolžina tega vektorja četverca sorazmerna z mirovno maso <math> m \!\, </math>. Če se nadomesti operatorske ekvivalente energije in gibalne količine iz Schrödingerjeve teorije, se dobi Klein-Gordonovo enačbo, ki opisuje širjenje valovanja, skonstruiranega iz relativistično invariantnih objektov:

: <math> \left( -\frac{1}{c^{2}}\frac{\partial^{2}}{\partial t^{2}} + \nabla^{2} \right) \phi = \frac{m^{2}c^{2}}{\hbar^{2}}\phi \!\, , </math>

kjer je valovna funkcija <math> \phi \!\, </math> relativistični [[skalar]] – kompleksno število, ki ima enako numerično vrednost v vseh [[opazovalni sistem|opazovalnih sistemih]]. Prostorski in časovni odvodi se uvrščajo v drugi red. To ima zgovorno posledico za interpretacijo enačbe. Ker je enačba drugega reda v časovnem odvodu, je treba določiti začetne vrednosti same valovne funkcije in njenega prvega časovnega odvoda, da bi rešilo definitne probleme. Ker je oboje mogoče določiti bolj ali manj poljubno, valovna funkcija ne more ohraniti svoje nekdanje vloge določanja [[gostota verjetnosti|gostote verjetnosti]] iskanja elektrona v danem stanju gibanja. V Schrödingerjevi teoriji je gostota verjetnosti podana s pozitivno definitnim izrazom:

: <math> \rho = \phi^{*}\phi \!\, </math>

in ta gostota se prenese glede na vektor verjetnostnega toka:

: <math> J = -\frac{i\hbar}{2m}(\phi^{*}\nabla\phi - \phi\nabla\phi^{*}) \!\, </math>

z ohranitvijo verjetnostnega toka in gostote, ki izhaja iz [[kontinuitetna enačba|kontinuitetne enačbe]]:

: <math> \nabla\cdot J + \frac{\partial\rho}{\partial t} = 0 \!\, . </math>

Dejstvo, da je gostota [[pozitivno definitna funkcija|pozitivno definitna]] in prenesena v skladu s to kontinuitetno enačbo, pomeni, da je mogoče gostoto integrirati po določeni domeni in skupno vrednost nastaviti na 1, ta pogoj pa bo ohranil [[ohranitveni zakon]]. Pravilna relativistična teorija s tokom gostote verjetnosti mora imeti tudi to značilnost. Da bi se ohranil pojem prenesene gostote, je treba posplošiti Schrödingerjev izraz gostote in toka, tako da bodo prostorski in časovni odvodi spet vstopili simetrično glede na skalarno valovno funkcijo. Schrödingerjev izraz se lahko obdrži za tok, vendar je treba gostoto verjetnosti nadomestiti s simetrično oblikovanim izrazom:

: <math> \rho = \frac{i\hbar}{2mc^{2}} \left( \psi^{*}\partial_{t}\psi - \psi\partial_{t}\psi^{*} \right) \!\, , </math>

ki sedaj postane 4. komponenta prostorsko-časovnega vektorja, celotna [[verjetnostni tok|verjetnostna 4-tokovna gostota]] pa ima relativistično kovariantni izraz:

: <math> J^{\mu} = \frac{i\hbar}{2m} \left( \psi^{*}\partial^{\mu}\psi - \psi\partial^{\mu}\psi^{*} \right) \!\, . </math>

Kontinuitetna enačba je enaka kot prej. Sedaj je vse združljivo z relativnostjo, vendar izraz za gostoto ni več pozitivno definiten – začetne vrednosti obeh <math> \psi \!\, </math> in <math> \partial t \psi \!\, </math> se lahko poljubno izberejo in gostota lahko tako postane negativna, kar je za splošno priznano gostoto verjetnosti nemogoče. Tako ni mogoče dobiti preproste posplošitve Schrödingerjeve enačbe ob naivni predpostavki, da je valovna funkcija relativistični skalar in enačba, ki ji ustreza, drugega reda po času.

Čeprav ni uspešna relativistična posplošitev Schrödingerjeve enačbe, je ta enačba obujena v kontekstu kvantne teorije polja, kjer je znana kot Klein–Gordonova enačba, in opisuje polje delcev brez spina (npr. [[pion|mezon pi]] ali [[Higgsov bozon]]). Zgodovinsko gledano je Schrödinger sam prišel do te enačbe pred tisto, ki nosi njegovo ime, a jo je kmalu zavrgel. V kontekstu kvantne teorije polja se razume, da neomejena gostota ustreza gostoti ''naboja'', ki je lahko pozitiven ali negativen, in ne gostoti verjetnosti.

=== Diracova sklopitev ===

Dirac je tako pomislil, da bi poskusil enačbo prvega reda tako v prostoru kot v času. Postuliral je enačbo oblike:

: <math> E\psi = (\vec{\alpha} \cdot \vec{p} + \beta m) \psi \!\, , </math>

kjer morajo biti operatorji <math> (\vec{\alpha}, \beta) \!\, </math> neodvisni od <math> (\vec{p}, t) \!\, </math> za linearnost in neodvisni od <math> (\vec{x}, t) \!\, </math> za prostorsko-časovno homogenost. Te omejitve so pomenile dodatne dinamične spremenljivke od katerih bodo operatorji <math>(\vec{\alpha}, \beta)</math> odvisni. Iz te zahteve je Dirac sklepal, da bodo operatorji odvisni od matrik <math> 4 \times 4 \!\, </math>, povezanih s Paulijevimi matrikami.{{sfnp|Duck|Sudarshan|1998}}{{rp|205}}

Lahko bi se na primer formalno (z [[zloraba zapisa|zlorabo zapisa]]) vzelo relativistični izraz za energijo:

: <math> E = c \sqrt{p^{2} + m^{2}c^{2}} \!\, , </math>

zamenjal <math> p \!\, </math> z ekvivalentom njegovega operatorja, razširil kvadratni koren v [[neskončna vrsta|neskončni vrsti]] odvodov operatorjev, nastavil problem lastne vrednosti, nato bi se enačbo formalno rešilo z iteracijami. Večina fizikov ni verjela v tak proces, tudi če bi bil tehnično izvedljiv.

Kot pravi zgodba, je Dirac strmel v kamin v Cambridgeu in razmišljal o tem problemu, ko je naletel na zamisel, da bi vzel kvadratni koren valovnega operatorja (glej tudi [[ulomni račun|polovični odvod]]), kot sledi:

: <math> \nabla^{2} - \frac{1}{c^{2}}\frac{\partial^{2}}{\partial t^{2}} = \left( A \partial_{x} + B \partial_{y} + C \partial_{z} + \frac{i}{c}D \partial_{t} \right) \left( A \partial_{x} + B \partial_{y} + C \partial_{z} + \frac{i}{c}D \partial_{t} \right) \!\, . </math>

Če se pomnoži desno stran, je očitno, da je treba predpostaviti, da vsi navzkrižni členi, kot je <math> \partial x \partial y \!\, </math>, izginejo:

: <math> AB + BA = 0, \ldots \!\, </math>

z:

: <math> A^{2} = B^{2} = \dots = 1 \!\, . </math>

Dirac, ki se je tedaj intenzivno ukvarjal z izdelavo temeljev Heisenbergove [[matrična mehanika|matrične mehanike]], je takoj razumel, da so ti pogoji lahko izpolnjeni, če so <math> A \!\, </math>, <math> B \!\, </math>, <math> C \!\, </math> in <math> D \!\, </math> matrike, kar pomeni, da ima valovna funkcija ''več komponent''. To je takoj pojasnilo pojav dvokomponentnih valovnih funkcij v Paulijevi fenomenološki teoriji spina, nekaj, kar je do tedaj veljalo za skrivnostno, tudi samemu Pauliju. Vendar so potrebne vsaj matrike <math> 4 \times 4 \!\, </math>, da se vzpostavi sistem z zahtevanimi značilnostmi – tako da je imela valovna funkcija ''štiri'' komponente, ne dve, kot v Paulijevi teoriji, ali eno, kot v goli Schrödingerjevi teoriji. Štirikomponentna valovna funkcija predstavlja nov razred matematičnih objektov v fizikalnih teorijah, ki se tu prvič pojavlja.

Glede na faktorizacijo v smislu teh matrik se lahko sedaj takoj zapiše enačbo:

: <math> \left( A\partial_{x} + B\partial_{y} + C\partial_{z} + \frac{i}{c}D\partial_{t} \right) \psi = \kappa\psi \!\, , </math>

kjer se mora <math> \kappa \!\, </math> določiti. Z uporabo matričnega operatorja na obeh straneh sledi:

: <math> \left( \nabla^{2} - \frac{1}{c^{2}}\partial_{t}^{2} \right) \psi = \kappa^{2}\psi \!\, . </math>

Če se vzame <math> \kappa = \tfrac{mc}{\hbar} \!\, </math>, se vidi, da vse komponente valovne funkcije ''posamično'' izpolnjujejo relativistično razmerje energija-gibalna količina. Tako je iskana enačba prvega reda tako v prostoru kot v času enaka:

: <math> \left( A\partial_{x} + B\partial_{y} + C\partial_{z} + \frac{i}{c}D\partial_{t} - \frac{mc}{\hbar} \right) \psi = 0 \!\, . </math>

Če se nastavi:

: <math> A = i \beta \alpha_{1} \, , \, B = i \beta \alpha_{2} \, , \, C = i \beta \alpha_{3} \, , \, D = \beta \!\, , </math>

in, ker velja <math> D^{2} = \beta^{2} = I_{4} \!\, </math>, nastane Diracova enačba, kot je zapisano zgoraj.

=== Kovariantna oblika in relativistična invariantnost ===

Da se pokaže [[Lorentzeva kovariantnost|relativistično invariantnost]] enačbe, je koristno, da se jo pretvori v obliko, v kateri sta prostorski in časovni odvod enakovredna. Nove matrike so predstavljene na naslednji način:

: <math> \begin{align} D &=   \gamma^{0}, \\
  A &= i \gamma^{1},\quad B = i \gamma^{2}, \quad C = i \gamma^{3} \!\, , \end{align}</math>

enačba pa dobi obliko (pri tem je treba upoštevati definicijo kovariantnih komponent [[štiri-gradient|4-gradienta]] in še posebej, da velja <math> \partial_{0} = \tfrac{1}{c} \partial_{t} \!\, </math>):

{{Equation box 1
|title='''Diracova enačba'''
|indent=:
|equation = <math> (i \hbar \gamma^{\mu} \partial_{\mu} - m c) \psi = 0 \!\, , </math>
|border
|border colour =#50C878
|background colour = #ECFCF4
}}

kjer obstaja [[Einsteinov zapis|implicitna vsota]] vrednosti dvakrat ponovljenega indeksa <math> \mu = 0, 1, 2, 3 \!\, </math>, <math> \partial \mu \!\, </math> pa je 4-gradient. V praksi se pogosto zapiše matrike gama v smislu podmatrik <math> 2 \times 2 \!\, </math>, vzetih iz Paulijevih matrik in identične matrike <math> 2 \times 2 \!\, </math>. Eksplicitno je standardna reprezentacija enaka:

: <math>
\gamma^{0} = \begin{pmatrix} I_{2} &        0 \\         0 & -I_{2} \end{pmatrix}, \quad
\gamma^{1} = \begin{pmatrix}   0 & \sigma_{x} \\ -\sigma_{x} &    0 \end{pmatrix}, \quad
\gamma^{2} = \begin{pmatrix}   0 & \sigma_{y} \\ -\sigma_{y} &    0 \end{pmatrix}, \quad
\gamma^{3} = \begin{pmatrix}   0 & \sigma_{z} \\ -\sigma_{z} &    0 \end{pmatrix} \!\, . </math>

Celotni sistem se povzame z uporabo [[metrika Minkowskega|metrike Minkowskega]] za prostor-čas v obliki:

: <math> \left\{ \gamma^{\mu}, \gamma^{\nu} \right\} = 2 \eta^{\mu\nu} I_{4} \!\, , </math>

kjer izraz v oklepaju:

: <math> \{a, b\} = ab + ba \!\, </math>

označuje [[antikomutator]]. To so definicijske relacije [[Cliffordova algebra|Cliffordove algebre]] nad psevdoortogonalnim [[štirirazsežni prostor|štirirazsežnim prostorom]] z [[metrična signatura|metrično signaturo]] <math> (+ - - -) \!\, </math>. Posebna Cliffordova algebra, uporabljena v Diracovi enačbi, je sedaj znana kot [[Diracova algebra]]. Čeprav je Dirac tedaj, ko je bila formulirana enačba, ni prepoznal kot take, predstavlja uvedba te [[geometrijska algebra|geometrijske algebre]] ogromen korak naprej v razvoju kvantne teorije.

Diracovo enačbo je zdaj mogoče interpretirati kot enačbo [[lastna vrednost|lastne vrednosti]], kjer je mirovna masa sorazmerna z lastno vrednostjo [[operator gibalne količine|operatorja četverca gibalne količine]], [[razmerje|sorazmernostna]] konstanta pa je hitrost svetlobe:

: <math> P_{\text{op}}\psi = mc\psi \!\, . </math>

Če se uporabi <math> {\partial\!\!\!/} \mathrel{\stackrel{\mathrm{def}}{=}} \gamma^{\mu} \partial_{\mu} \!\, </math> (<math>{\partial\!\!\!\big /} \!\, </math> se izgovarja »d-poševnica«),{{sfnp|Pendleton|2012–2013}} glede na Feynmanov zapis s poševnicami, ima Diracova enačba obliko:

: <math> i \hbar {\partial\!\!\!\big /} \psi - m c \psi = 0 \!\, . </math>

V praksi fiziki pogosto uporabljajo merske enote, tako da je <math> \hbar = c = 1 \!\, </math>, znane kot naravne enote. Enačba ima nato preprosto obliko:

{{Equation box 1
|title='''Diracova enačba (naravne enote)'''
|indent=:
|equation = <math> (i{\partial\!\!\!\big /} - m) \psi = 0 \!\, . </math>
|border
|border colour = #50C878
|background colour = #ECFCF4
}}

Osnovni izrek pravi, da če sta podani dve različni množici matrik, ki obe izpolnjujeta Cliffordove relacije, sta med seboj povezani s [[podobna matrika|transformacijo podobnosti]]:

: <math> \gamma^{\mu\prime} = S^{-1} \gamma^{\mu} S \!\, . </math>

Če so poleg tega vse matrike [[unitarna matrika|unitarne]], tako kot je tudi Diracova množica, potem je <math> S \!\, </math> sama unitarna:

: <math> \gamma^{\mu\prime} = U^{\dagger} \gamma^{\mu} U \!\, . </math>

Transformacija <math> U \!\, </math> je edinstvena do multiplikativnega faktorja [[absolutna vrednost|absolutne vrednosti]] 1. Naj obstaja Lorentzeva transformacija, ki je bila izvedena na prostorskih in časovnih koordinatah ter na odvodih operatorjev, ki tvorijo kovariantni vektor. Da bi operator <math> \gamma^{\mu} \partial_{\mu} \!\, </math> ostal invarianten, se morajo game transformirati med seboj kot kontravariantni vektor glede na njihov prostorsko-časovni indeks. Te nove game bodo zaradi ortogonalnosti Lorentzeve transformacije same zadostile Cliffordovim relacijam. Po osnovnem izreku se lahko novo množico zamenja s staro množico, ki je predmet enotne transformacije. V novem sistemu bo Diracova enačba ob upoštevanju, da je mirovna masa relativistični skalar, dobila obliko:

: <math>\begin{align}
  \left(iU^{\dagger} \gamma^{\mu} U\partial_{\mu}^{\prime} - m \right) \psi \left( x^{\prime}, t^{\prime} \right) &= 0 \\
              U^{\dagger}(i\gamma^{\mu}\partial_{\mu}^{\prime} - m)U \psi \left( x^{\prime}, t^{\prime} \right) &= 0 \!\, .
\end{align}</math>

Če je transformirani spinor definiran kot:

: <math> \psi^{\prime} = U\psi \!\, , </math>

potem transformirana Diracova enačba nastane na način, ki dokazuje [[manifestna kovariantnost|manifestno relativistično invariantnost]]:

: <math> \left( i\gamma^{\mu}\partial_{\mu}^{\prime} - m \right) \psi^{\prime} \left( x^{\prime}, t^{\prime} \right) = 0 \!\, . </math>

Tako je odločitev o kateri koli enotni reprezentaciji gam dokončna, pod pogojem, da se spinor transformira v skladu z enotno transformacijo, ki ustreza dani Lorentzevi transformaciji.

Različne reprezentacije uporabljenih Diracovih matrik bodo izpostavile določene vidike fizikalne vsebine v Diracovi valovni funkciji. Tukaj prikazana reprezentacija je znana kot ''standardna'' reprezentacija – v njej zgornji dve komponenti valovne funkcije prehajata v Paulijevo 2-spinorsko valovno funkcijo v meji nizkih energij in majhnih hitrosti v primerjavi s svetlobo.

Zgornji premisleki razkrivajo izvor gam v ''geometriji'', pri čemer se vrača k Grassmannovi prvotni motivaciji – predstavljajo fiksno bazo [[enotski vektor|enotskih vektorjev]] v prostor-času. Podobno produkti gama, kot je <math> \gamma_{\mu} \gamma_{\nu} \!\, </math>, predstavljajo ''[[orientabilnost|usmerjene površinske elemente]]'' itd. S tem v mislih se lahko najde obliko enotskega [[prostorninski element|prostorninskega elementa]] v prostor-času v smislu gam, kot sledi. Po definiciji je:

: <math> V = \frac{1}{4!}\epsilon_{\mu\nu\alpha\beta}\gamma^{\mu}\gamma^{\nu}\gamma^{\alpha}\gamma^{\beta} \!\, . </math>

Da je to invarianta, mora biti [[Levi-Civitajev simbol|simbol epsilon]] tenzor in mora vsebovati faktor <math> \sqrt{g} \!\, </math>, kjer je <math> g \!\, </math> [[determinanta]] metričnega tenzorja. Ker je ta negativen, je ta faktor ''imaginaren''. Tako je:

: <math> V = i \gamma^{0}\gamma^{1}\gamma^{2}\gamma^{3} \!\, . </math>

Ta matrika je dobila poseben simbol <math> \gamma_{5} \!\, </math> zaradi svojega pomena, ko se obravnava nepravne transformacije prostor-časa, to je tiste, ki spremenijo usmerjenost [[bazni vektor|baznih vektorjev]]. V standardni reprezentaciji je:

: <math> \gamma_{5} = \begin{pmatrix} 0 & I_{2} \\ I_{2} & 0 \end{pmatrix} \!\, . </math>

Ta matrika tudi antikomutira z drugimi štirimi Diracovimi matrikami:

: <math> \gamma^{5} \gamma^{\mu} + \gamma^{\mu} \gamma^{5} = 0 \!\, . </math>

Prevzame vodilno vlogo, ko se pojavijo vprašanja ''parnosti'', ker prostorninski element kot usmerjena magnituda spreminja predznak pod prostorsko-časovnim odbojem. Izvzem pozitivnega kvadratnega korena zgoraj tako pomeni izbiro konvencije ročnosti glede prostor-časa.

== Primerjava s sorodnimi teorijami ==

=== Paulijeva teorija ===

{{glej tudi|Paulijeva enačba|Lévy-Leblondova enačba}}
Potreba po uvedbi polcelega spina sega eksperimentalno nazaj do rezultatov [[Stern-Gerlachov poskus|Stern-Gerlachovega poskusa]]. Curek atomov teče skozi močno [[homogenost in heterogenost|nehomogeno]] [[magnetno polje]] in se nato razdeli na <math> N \!\, </math> delov, odvisno od [[lastna vrtilna količina|lastne vrtilne količine]] atomov. Ugotovljeno je bilo, da se je curek za atome [[srebro|srebra]] razdelil na dva dela – [[osnovno stanje]] torej ne bi moglo biti [[celo število]], kajti tudi če bi bila lastna vrtilna količina atomov čim manjša (enaka 1), bi se curek razdelil na tri dele, ki ustrezajo atomom z <math> L_{z} = -1, 0, +1 \!\, </math>. Zaključek je, da imajo atomi srebra neto lastno vrtilno količino enako 1/2. [[Wolfgang Ernst Pauli|Pauli]] je postavil teorijo, ki je to razcepitev pojasnila z uvedbo dvokomponentne valovne funkcije in ustreznega korekcijskega člena v [[Hamiltonovo načelo|Hamiltonovi funkciji]], ki predstavlja polklasično sklopitev te valovne funkcije z uporabljenim magnetnim poljem, tako kot v enotah SI: (pri tem je treba opozoriti, da odebeljeni znaki pomenijo evklidske vektorje v [[trirazsežni prostor|3 razsežnostih]], [[vektor četverec]] [[prostor Minkowskega|Minkowskega]] <math>A_{\mu} \!\, </math> pa se lahko definira kot <math> A_{\mu} = (\phi/c - \mathbf{\vec{A}}) \!\, </math>.):

: <math> H = \frac{1}{2m} \left( \boldsymbol{\sigma}\cdot \left( \mathbf{\vec{p}} - e \mathbf{\vec{A}} \right) \right)^{2} + e\phi \!\, . </math>

Tu <math> \mathbf{\vec{A}} \!\, </math> in <math> \phi \!\, </math> predstavljata komponente [[elektromagnetni štiri-potencial|četverca potenciala]] v njunih standardnih enotah SI, tri sigme pa [[Paulijeve matrike]]. Pri kvadriranju prvega člena je ugotovljena preostala interakcija z magnetnim poljem, skupaj z običajno klasično Hamiltonovo funkcijo nabitega delca, ki interagira z uporabljenim poljem v enotah SI:

: <math> H = \frac{1}{2m} \left( \mathbf{\vec{p}} - e \mathbf{\vec{A}} \right)^{2} + e\phi - \frac{e\hbar}{2m} \boldsymbol{\sigma} \cdot \mathbf{\vec{B}} \!\, . </math>

Ta Hamiltonova funkcija je sedaj matrika <math> 2 \times 2 \!\, </math>, tako da mora Schrödingerjeva enačba, ki temelji na njej, uporabiti dvokomponentno valovno funkcijo. Ob uvedbi zunanjega elektromagnetnega 4-vektorskega potenciala v Diracovo enačbo na podoben način, znan kot [[minimalna sklopitev]], dobi obliko:

: <math> \left( \gamma^{\mu}(i\hbar\partial_{\mu} - eA_{\mu}) - mc \right) \psi = 0 \!\, . </math>

Druga uporaba Diracovega operatorja bo zdaj ponovila Paulijev člen točno tako kot prej, ker imajo prostorske Diracove matrike, pomnožene z <math> i \!\, </math>, enake značilnosti kvadriranja in komutacije kot Paulijeve matrike. Še več, vrednost [[žiromagnetno razmerje|žiromagnetnega razmerja]] elektrona, ki stoji pred Paulijevim novim izrazom, je pojasnjena iz prvih načel. To je bil velik dosežek Diracove enačbe in je fizikom vlil veliko vere v njeno splošno pravilnost. Vendar je še več. Paulijevo teorijo se lahko razume kot nizkoenergijsko mejo Diracove teorije na naslednji način. Najprej se enačba zapiše v obliki sklopljenih enačb za 2-spinorje z obnovljenimi enotami SI:

: <math> \begin{pmatrix}
     mc^{2} - E + e \phi &
     c\boldsymbol{\sigma} \cdot \left( \mathbf{\vec{p}} - e \mathbf{\vec{A}} \right) \\
    -c\boldsymbol{\sigma} \cdot \left( \mathbf{\vec{p}} - e \mathbf{\vec{A}} \right) &
     mc^{2} + E - e \phi
  \end{pmatrix} \begin{pmatrix} \psi_{+} \\ \psi_{-} \end{pmatrix} =
  \begin{pmatrix} 0 \\ 0 \end{pmatrix} \!\, , </math>

tako da je:

: <math> \begin{align}
   (E - e\phi) \psi_{+} - c\boldsymbol{\sigma} \cdot \left( \mathbf{\vec{p}} - e \mathbf{\vec{A}} \right) \psi_{-} &= mc^{2} \psi_{+} \\
    c\boldsymbol{\sigma} \cdot \left( \mathbf{\vec{p}} - e \mathbf{\vec{A}} \right) \psi_{+}-(E - e\phi) \psi_{-}  &= mc^{2} \psi_{-} \!\, . \end{align}</math>

Ob predpostavki, da je polje šibko in da je gibanje elektrona nerelativistično, je skupna energija elektrona približno enaka njegovi [[mirovna energija|mirovni energiji]], gibalna količina pa preide na klasično vrednost:

: <math> \begin{align}
   E - e\phi &\approx mc^{2} \\
  \mathbf{\vec{p}} &\approx m \mathbf{\vec{v}} \end{align} \!\, </math>

in se lahko druga enačba zapiše kot:

: <math> \psi_- \approx \frac{1}{2mc} \boldsymbol{\sigma} \cdot \left( \mathbf{\vec{p}} - e \mathbf{\vec{A}} \right) \psi_{+} \!\, , </math>

ki je reda <math> v / c \!\, </math> – tako so pri tipičnih energijah in hitrostih spodnje komponente Diracovega spinorja v standardni reprezentaciji precej potlačene v primerjavi z zgornjimi komponentami. Zamenjava tega izraza v prvo enačbo daje po nekaj preureditve:

: <math> \left( E - mc^{2} \right) \psi_{+} = \frac{1}{2m} \left[ \boldsymbol{\sigma} \cdot \left( \mathbf{\vec{p}} - e \mathbf{\vec{A}} \right) \right]^{2} \psi_{+} + e\phi \psi_{+} \!\, . </math>

Operator na levi predstavlja energijo delca, zmanjšano za njegovo mirovno energijo, ki je samo klasična energija, tako da se lahko obnovi Paulijevo teorijo, ko se identificira njegov 2-spinor z zgornjimi komponentami Diracovega spinorja v nerelativističnem približku. Nadaljnji približek daje Schrödingerjevo enačbo kot mejo Paulijeve teorije. Tako se lahko na Schrödingerjevo enačbo gleda kot na daleč nerelativističen približek Diracove enačbe, če se lahko zanemari spin in dela samo pri nizkih energijah in hitrostih. To je bilo tudi veliko zmagoslavje za novo enačbo, saj je skrivnostni <math> i \!\, </math>, ki se pojavi v njej, in nujnost kompleksne valovne funkcije vrnila nazaj v geometrijo prostor-časa skozi Diracovo algebro. Poudarja tudi, zakaj Schrödingerjeva enačba, čeprav na videz v obliki [[difuzijska enačba|difuzijske enačbe]], dejansko predstavlja širjenje valovanja.

Močno je treba poudariti, da je ta ločitev Diracovega spinorja na velike in majhne komponente izrecno odvisna od nizkoenergijskega približka. Celoten Diracov spinor predstavlja ''ireduktibilno'' celoto in komponente, ki so se pravkar zanemarile, da bi se prišlo do Paulijeve teorije, bodo prinesle nove pojave v relativističnem režimu – [[antimaterija|antimaterijo]] in zamisel o [[nastanek snovi|ustvarjanju]] in [[anihilacija|uničenju]] delcev.

=== Weylova teorija ===

V brezmasnem primeru <math> m = 0 \!\, </math> se Diracova enačba zreducira na [[Weylova enačba|Weylovo enačbo]], ki opisuje relativistične brezmasne delce s spinom 1/2.{{sfnp|Ohlsson|2011|pp=86}}

Teorija zahteva drugo simetrijo <math> \text{U}(1) \!\, </math>: glej spodaj.

== Fizikalna interpretacija ==

=== Identifikacija opazljivk ===

Kritično fizikalno vprašanje v kvantni teoriji je naslednje: katere so fizikalno [[opazljivka|opazljive]] količine, ki jih definira teorija? Po postulatih kvantne mehanike so takšne količine definirane s [[hermitski operator|hermitskimi operatorji]], ki delujejo na [[Hilbertov prostor]] možnih stanj sistema. Lastne vrednosti teh operatorjev so nato možni rezultati [[problem merjenja|merjenja]] ustrezne fizikalne količine. V Schrödingerjevi teoriji je najenostavnejši tak objekt celotna Hamiltonova funkcija, ki predstavlja celotno energijo sistema. Da bi se ohranila ta pojasnitev ob prehodu na Diracovo teorijo, mora imeti Hamiltonova funkcija obliko:

: <math> H = \gamma^{0} \left[ mc^{2} + c \gamma^{k} \left( p_{k} - q A_{k} \right) \right] + c q A^{0} \!\, , </math>

kjer, kot vedno, obstaja [[Einsteinov zapis|implicitna vsota]] preko dvakrat ponovljenega indeksa <math> k = 1, 2, 3 \!\, </math>. To je videti obetavno, saj se lahko s pregledom vidi mirovno energijo delca in v primeru <math> A = 0 \!\, </math>, energija naboja v električnem potencialu <math>cqA^{0} \!\, </math>. Kaj pa izraz, ki vključuje [[vektorski potencial]]? V klasični [[elektrodinamika|elektrodinamiki]] je energija [[električni naboj|električnega naboja]], ki se giblje v uporabljenem [[potencial]]u, enaka:

: <math> H = c\sqrt{ \left( \mathbf{\vec{p}} - q\mathbf{\vec{A}} \right)^{2} + m^{2}c^{2}} + qA^{0} \!\, . </math>

Tako se Diracova Hamiltonova funkcija bistveno razlikuje od njenega klasičnega dvojnika, zato je treba zelo paziti, da se pravilno identificira, kaj je v tej teoriji opazljivo. Velik del očitno paradoksnega obnašanja, ki ga implicira Diracova enačba, pomeni napačno identifikacijo teh opazljivk.

=== Teorija lukenj ===

Rešitve enačbe z negativno <math> E \!\, </math> so problematične, saj se je domnevalo, da ima delec pozitivno energijo. Z matematičnega vidika pa se zdi, da ni razloga, da bi se zavrnilo rešitve z negativno energijo. Ker obstajajo, jih ni mogoče preprosto prezreti, kajti ko je vključena interakcija med elektronom in elektromagnetnim poljem, bi vsak elektron, postavljen v pozitivno energijsko lastno stanje, razpadel v negativno energijsko lastno stanje zaporedoma nižje energije. Pravi elektroni se očitno ne obnašajo tako ali pa bi izginili z oddajanjem energije v obliki [[foton]]ov.

Da bi rešil to težavo, je Dirac uvedel domnevo, znano kot '''teorija lukenj''', da je [[vakuum]] kvantno stanje več teles, v katerem so zasedena vsa lastna stanja elektronov z negativno energijo. Ta opis vakuuma kot »morja« elektronov se imenuje [[Diracovo morje]]. Ker [[Paulijevo izključitveno načelo]] prepoveduje, da bi elektroni zasedli isto stanje, bi bil vsak dodatni elektron prisiljen zavzeti lastno stanje s pozitivno energijo, elektronom s pozitivno energijo pa bi bilo prepovedano razpadati v lastna stanja z negativno energijo.

Dirac je naprej razmišljal, da če so lastna stanja z negativno energijo nepopolno zapolnjena, bi se vsako nezasedeno lastno stanje – imenovano '''luknja''' – obnašalo kot pozitivno nabit delec. Luknja ima ''pozitivno'' energijo, ker je energija potrebna za ustvarjanje para delec-luknja iz vakuuma. Kot je navedeno zgoraj, je Dirac sprva mislil, da bi luknja lahko bila [[proton]], vendar je [[Hermann Weyl]] poudaril, da bi se morala luknja obnašati, kot da bi imela enako maso kot elektron, medtem ko je proton več kot 1800-krat težji. Luknjo so sčasoma identificirali kot [[pozitron]], ki ga je leta 1932 eksperimentalno odkril [[Carl David Anderson]].{{sfnp|Penrose|2004|pp=625}}

Ni povsem zadovoljivo opisati »vakuum« z uporabo neskončnega morja elektronov z negativno energijo. Neskončno negativne prispevke iz morja elektronov z negativno energijo je treba izničiti z neskončno pozitivno »golo« energijo, prispevek k gostoti naboja in toku, ki prihaja iz morja elektronov z negativno energijo, pa je natančno izničen z neskončno pozitivnim »[[elektronski plin|želejem]]« v ozadju, tako da je neto gostota električnega naboja vakuuma enaka nič. V kvantni teoriji polja [[transformacija Bogoljubova]] na [[operatorji ustvarjanja in anihilacije|operatorjih ustvarjanja in anihilacije]] (pretvorba zasedenega stanja elektronov z negativno energijo v nezasedeno stanje pozitronov s pozitivno energijo in nezasedanega stanja elektronov z negativno energijo v zasedeno stanje pozitronov s pozitivno energijo) omogoča obvoz Diracovega morskega formalizma, čeprav mu je formalno enakovreden.

V nekaterih aplikacijah [[fizika kondenzirane snovi|fizike kondenzirane snovi]] pa veljajo temeljni koncepti »teorije lukenj«. Morje [[valenčni in prevodni pasovi|prevodnih elektronov]] v [[električni prevodnik|električnem prevodniku]], imenovano [[Fermijevo morje]], vsebuje elektrone z energijami do [[kemični potencial|kemičnega potenciala]] sistema. Nenapolnjeno stanje v Fermijevem morju se obnaša kot pozitivno nabit elektron, in čeprav se tudi to imenuje »elektronska luknja«, se razlikuje od pozitrona. Negativni naboj Fermijevega morja je uravnotežen s pozitivno nabito ionsko mrežo materiala.

=== V kvantni teoriji polja ===

{{glej tudi|fermionsko polje}}
V kvantnih teorijah polja, kot je [[kvantna elektrodinamika]], je Diracovo polje podvrženo procesu [[druga kvantizacija|druge kvantizacije]], ki razreši nekatere paradoksalne značilnosti enačbe.

== Nadaljnja razprava o Lorentzevi kovariantnosti Diracove enačbe ==

Diracova enačba je [[Lorentzeva kovariantnost|kovariantna po Lorentzu]]. Sklepanje o tem pomaga osvetliti ne le Diracovo enačbo, ampak tudi [[Majoranov spinor]] in [[spinor ELKO]], ki imata, čeprav sta tesno povezana, komaj opazne in pomembne razlike.

Razumevanje Lorentzeve kovariantnosti je poenostavljeno z upoštevanjem geometrijskega značaja procesa.{{sfnp|Jost|2002}} Naj je <math> a \!\, </math> ena sama fiksna točka v prostorsko-časovni [[mnogoterost]]i. Njeno [[lega|lego]] se lahko izrazi v več [[atlas (topologija)|koordinatnih sistemih]]. V fizikalni literaturi so ti zapisani kot <math> x \!\, </math> in <math> x' \!\, </math>, kjer je treba vedeti, da oba <math> x \!\, </math> in <math> x' \!\, </math> opisujeta isto točko <math> a \!\, </math>, vendar v različnih [[krajevni opazovalni sistem|krajevnih opazovalni sistemih]] (opazovalni sistem nad majhnim razširjenim delčkom prostor-časa). <math> a \!\, </math> se lahko predstavlja da ima nad seboj [[vlakno (matematika)|vlakno]] različnih koordinatnih sistemov. V geometrijskem smislu se lahko reče, da se lahko prostor-čas označi kot [[sveženj vlaken]], natančneje kot [[sveženj sistema]]. Razlika med dvema točkama <math> x \!\, </math> in <math> x' \!\, </math> v istem vlaknu je kombinacija [[vrtenje|vrtenj]] in [[Lorentzev potisk|Lorentzevih potiskov]]. Izbira kooedinatnega sistema je (krajevni) [[presek (sveženj vlaken)|presek]] skozi ta sveženj.

Na sveženj sistema je povezan drugi sveženj, [[spinorski sveženj]]. Presek skozi spinorski sveženj je le polje delcev (v tem primeru Diracov spinor). Različne točke v spinorskem svežnju ustrezajo istemu fizikalnemu telesu (fermionu), vendar so izražene v različnih Lorentzevih sistemih. Jasno je, da morata biti sveženj sistema in spinorski sveženj povezana na dosleden način, da se dobi dosledne rezultate – formalno se reče, da je spinorski sveženj [[pridruženi sveženj]]; povezan je z [[glavni sveženj|glavnim svežnjem]], ki je v tem primeru sveženj sistema. Razlike med točkami na vlaknu ustrezajo simetriji sistema. Spinorski sveženj ima dva različna [[generator (matematika)|generatorja]] svojih simetrij: [[skupna vrtilna količina]] in lastna vrtilna količina. Obe ustrezata Lorentzevi transformaciji, vendar na različne načine.

Tukajšnja predstavitev sledi predstavitvi Itzyksona in Zuberja.{{sfnp|Itzykson|Zuber|1980}} Je skoraj identična predstavitvi Bjorken a in Drella.{{sfnp|Bjorken|Drell|1964|loc=§ 2}} Podobno izpeljavo v smislu [[splošna teorija relativnosti|splošne teorije relativnosti]] se lahko najde pri Weinbergu.{{sfnp|Weinberg|1972|loc= § 12.5, »Tetrad formalism« str. 367ff)}} Tukaj je privzeto, da je obravnavani prostor-čas raven, kar pomeni, da je prostor Minkowskega.

Pod Lorentzevo transformacijo <math> x \mapsto x' \!\, </math> se Diracov spinor transformira kot:

: <math> \psi'(x') = S \psi(x) \!\, . </math>

Lahko se pokaže, da je eksplicitni izraz za <math> S \!\, </math> dan z:

: <math> S = \exp \left( \frac{-i}{4} \omega^{\mu\nu} \sigma_{\mu\nu} \right) \!\, , </math>

kjer <math> \omega^{\mu\nu} \!\, </math> parametrizira Lorentzevo transformacijo, <math> \sigma_{\mu\nu} \!\, </math> pa so matrike <math> 4 \times 4 \!\, </math>, za katere velja:

: <math> \sigma^{\mu\nu} = \frac{i}{2} [\gamma^{\mu},\gamma^{\nu}] \!\, . </math>

Ta matrika se lahko interpretira kot lastna vrtilna količina Diracovega polja. Da si zasluži to interpretacijo, izhaja iz primerjave z generatorjem <math> J_{\mu\nu} \!\, </math> Lorentzeve transformacije, ki ima obliko:

: <math> J_{\mu\nu} = \frac{1}{2} \sigma_{\mu\nu} + i (x_{\mu}\partial_{\nu} - x_{\nu}\partial_{\mu}) \!\, . </math>

To se lahko interpretira kot skupna vrtilna količina. Na spinorsko polje deluje kot:

: <math> \psi^{\prime}(x) = \exp \left( \frac{-i}{2} \omega^{\mu\nu} J_{\mu\nu} \right) \psi(x) \!\, . </math>

Tu je treba upoštevati, da zgoraj <math> x \!\, </math> ''nima'' črtice: zgornji izraz se dobi s transformacijo <math> x \mapsto x' \!\, </math> kar se spremeni v <math> \psi(x)\mapsto \psi'(x') \!\, </math> in se nato vrne k izvirnemu koordinatnemu sistemu <math> x' \mapsto x \!\, </math>.

Geometrijska interpretacija zgornjega je, da je [[sistemsko polje]] [[afini prostor|afino]] in nima prednostnega izvora. Generator <math> J_{\mu\nu} \!\, </math> ustvari simetrije tega prostora: zagotavlja ponovno označevanje fiksne točke <math> x \!\, </math>. Generator <math> \sigma_{\mu\nu} \!\, </math> ustvari premik od ene točke v vlaknu do druge: premik od <math> x \mapsto x' \!\, </math> z obema <math> x \!\, </math> in <math> x' \!\, </math> še vedno ustreza isti prostorsko-časovni točki <math> a \!\, </math>. Te morda otopele pripombe je mogoče pojasniti z eksplicitno algebro.

Naj je <math> x' = \Lambda x \!\, </math> Lorentzeva transformacija. Diracova enačba je enaka:

: <math> i\gamma^{\mu} \frac{\partial}{\partial x^{\mu}} \psi(x) - m\psi(x) = 0 \!\, . </math>

Da je Diracova enačba kovariantna, mora imeti enako obliko v vseh Lorentzevih sistemih:

: <math> i\gamma^{\mu} \frac{\partial}{\partial x^{\prime\mu}} \psi^{\prime}(x^{\prime}) - m\psi^{\prime}(x^{\prime}) = 0 \!\, . </math>

Dva spinorja <math> \psi \!\, </math> in <math> \psi^{\prime} \!\, </math> morata oba opisovati isto fizikalno polje in morata biti povezana s transformacijo, ki ne spreminja nobene fizikalne opazljivke (naboja, toka, mase, itd.) Transformacija mora kodirati samo spremembo koordinatnega sistema. Lahko se pokaže, da je taka transformacija unitarna matrika <math> 4 \times 4 \!\, </math>. Tako se lahko domneva, da je odnos med obema sistemoma mogoče zapisati kot:

: <math> \psi^{\prime}(x^{\prime}) = S(\Lambda) \psi(x) \!\, . </math>

Če se to vstavi v transformirano enačbo, potem je:

: <math> i\gamma^{\mu} \frac{\partial x^{\nu}}{\partial x^{\prime\mu}} \frac{\partial}{\partial x^{\nu}} S(\Lambda)\psi(x) -mS(\Lambda)\psi(x) = 0 \!\, . </math>

Za koordinate, povezane z Lorentzevo transformacijo, velja:

: <math> \frac{\partial x^{\nu}}{\partial x^{\prime\mu}} = { \left( \Lambda^{-1} \right)^{\nu}}_{\mu} \!\, . </math>

Izvirna Diracova enačba se nato ponovno pridobi, če velja:

: <math> S(\Lambda) \gamma^{\mu} S^{-1}(\Lambda) = { \left( \Lambda^{-1} \right)^{\mu}}_{\nu} \gamma^{\nu} \!\, . </math>

Eksplicitni izraz za <math> S(\Lambda) \!\, </math> (enak izrazu, podanem zgoraj) se lahko dobi, če se upošteva Lorentzeva transformacija infinitezimalnega vrtenja blizu identične transformacije:

: <math> {\Lambda^{\mu}}_{\nu} = {g^{\mu}}_{\nu} + {\omega^{\mu}}_{\nu}\ ,\ {(\Lambda^{-1})^{\mu}}_{\nu} = {g^{\mu}}_{\nu} - {\omega^{\mu}}_{\nu} \!\, , </math>

kjer je <math> {g^\mu}_{\nu} \!\, </math> metrični tenzor : <math> {g^\mu}_{\nu}=g^{\mu\nu'}g_{\nu'\nu} = {\delta^{\mu}}_{\nu} \!\, </math> in je simetričen, <math> \omega_{\mu\nu} = {\omega^{\alpha}}_{\nu} g_{\alpha\mu} \!\, </math> pa je antisimetričen. Po daljšem računanju izhaja:

: <math> S(\Lambda) = I + \frac{-i}{4} \omega^{\mu\nu} \sigma_{\mu\nu} + \mathcal{O} \left( \Lambda^{2} \right) \!\, , </math>

kar je (infinitezimalna) oblika za <math> S \!\, </math> zgoraj in daje relacijo <math> \sigma^{\mu\nu} = \frac{i}{2} [\gamma^{\mu},\gamma^{\nu}] \!\, </math>. Za pridobitev afinega ponovnega označevanja se zapiše:

: <math> \begin{align}
\psi'(x') &= \left( I + \frac{-i}{4} \omega^{\mu\nu} \sigma_{\mu\nu} \right) \psi(x) \\
          &= \left( I + \frac{-i}{4} \omega^{\mu\nu} \sigma_{\mu\nu} \right) \psi(x' + {\omega^{\mu}}_{\nu} \,x^{\prime\,\nu}) \\
          &= \left( I + \frac{-i}{4} \omega^{\mu\nu} \sigma_{\mu\nu} - x^\prime_\mu \omega^{\mu\nu} \partial_{\nu} \right) \psi(x') \\
          &= \left( I + \frac{-i}{2} \omega^{\mu\nu} J_{\mu\nu} \right) \psi(x') \\ \end{align} \!\, . </math>

Po pravilni antisimetrizaciji se dobi generator simetrij <math> J_{\mu\nu} \!\, </math>, podan prej. Tako se lahko za oba <math> J_{\mu\nu} \!\, </math> in <math> \sigma_{\mu\nu} \!\,</math> reče, da sta »generatorja Lorentzevih transformacij«, vendar s komaj opazno razliko: prvi ustreza ponovnemu označevanju točk na afinem svežnju sistema, ki prisili translacijo vzdolž vlakna spinorja na [[spinski sveženj|spinskem svežnju]], medtem ko drugi ustreza translacijam vzdolž vlakna spinskega svežnja (vzeto kot gibanje <math> x \mapsto x' \!\, </math> vzdolž svežnja sistema, pa tudi gibanje <math> \psi \mapsto \psi' \!\, </math> vzdolž vlakna spinskega svežnja.) Weinberg ponuja dodatne argumente za fizikalno interpretacijo obeh kot skupno in lastno vrtilno količino.{{sfnp|Weinberg|1972|loc= § 2.9, »Spin« str. 46–47}}

== Druge formulacije ==

Diracova enačba se lahko formulira na več drugih načinov.

=== Ukrivljeni prostor-čas ===

Ta članek je razvil Diracovo enačbo v ravnem prostor-času v skladu s posebno teorijo relativnosti. Možno je formulirati [[Diracova enačba v ukrivljenem prostor-času|Diracovo enačbo v ukrivljenem prostor-času]].

=== Algebra fizikalnega prostora ===

Ta članek je razvil Diracovo enačbo z uporabo vektorjev četvercev in Schrödingerjevih operatorjev. [[Diracova enačba v algebri fizikalnega prostora]] uporablja Cliffordovo algebro nad realnimi števili, vrsto geometrijske algebre.

=== Sklopljeni Weylovi spinorji ===

Kot je navedeno [[Diracova enačba#Osna simetrija|zgoraj]], se ''brezmasna'' Diracova enačba takoj reducira na homogeno Weylovo enačbo. Z uporabo kiralne reprezentacije matrik gama je mogoče enačbo z neničelno maso razstaviti tudi na par ''sklopljenih'' nehomogenih Weylovih enačb, ki delujeta na prvi in zadnji par indeksov prvotnega štirikomponentnega spinorja, tj. <math> \psi = \begin{pmatrix} \psi_L \\ \psi_R \end{pmatrix} \!\, </math>, kjer sta <math> \psi_{L} \!\, </math> in <math> \psi_{R} \!\, </math> sta vsak dvokomponentna [[Weylov spinor|Weylova spinorja]]. To je zato, ker poševna bločna oblika kiralnih matrik gama pomeni, da zamenjajo <math> \psi_{L} \!\, </math> in <math> \psi_{R} \!\, </math> in za vsako uporabi Paulijeve matrike <math> 2 \times 2 \!\, </math>:

: <math> \gamma^{\mu} \begin{pmatrix}\psi_{L} \\ \psi_{R} \end{pmatrix} = \begin{pmatrix}\sigma^{\mu} \psi_{R} \\ \overline{\sigma}^{\mu} \psi_{L} \end{pmatrix} \!\, . </math>

Tako Diracova enačba:

: <math> (i\gamma^{\mu} \partial_{\mu} - m)\begin{pmatrix} \psi_{L} \\ \psi_{R} \end{pmatrix} = 0 \!\, </math>

postane:

: <math> i\begin{pmatrix} \sigma^{\mu} \partial_{\mu} \psi_{R} \\ \overline{\sigma}^{\mu} \partial_{\mu} \psi_{L} \end{pmatrix} = m\begin{pmatrix} \psi_{L} \\ \psi_{R} \end{pmatrix} \!\, , </math>

kar je enakovredno paru nehomogenih Weylovih enačb za brezmasne spinorje z levo in desno [[vijačnost]]jo, kjer je sklopitvena jakost sorazmerna z maso:

: <math> i\sigma^{\mu} \partial_{\mu} \psi_{R} = m \psi_{L} \!\, </math>

: <math> i\overline{\sigma}^{\mu} \partial_{\mu} \psi_{L} = m \psi_{R} \!\, . </math>

To je bilo predlagano kot intuitivna razlaga [[Zitterbewegung]]a, saj bi se te brezmasne komponente širile s svetlobno hitrostjo in gibale v nasprotnih smereh, saj je spiralnost projekcija spina na smer gibanja.{{sfnp|Penrose|2004|pp=628–632}} Tukaj vloga »mase« <math> m \!\, </math> ne pomeni, da je hitrost manjša od svetlobne hitrosti, ampak namesto tega nadzoruje povprečno hitrost, pri kateri pride do teh obratov – še posebej je mogoče obrate modelirati kot [[Poissonov proces]].{{sfnp|Gaveau|Jacobson|Kac|Schulman|1984}}

== Simetrija U(1) ==

V tem razdelku so uporabljene naravne enote. Sklopitvena konstantaje po dogovoru označena z <math> e \!\, </math>: ta parameter je mogoče obravnavati tudi kot modeliranje elektronskega naboja elektrona.

=== Vektorska simetrija ===

Diracova enačba in akcija dovoljujeta simetrijo <math> \text{U}(1) \!\, </math>, kjer se polji <math> \psi, \bar\psi \!\, </math> transformirata kot:

: <math> \begin{align} \psi(x) &\mapsto e^{i\alpha}\psi(x), \\
\bar\psi(x) &\mapsto e^{-i\alpha}\bar\psi(x) \end{align} \!\, . </math>

To je globalna simetrija, znana kot vektorska simetrija <math> \text{U}(1) \!\, </math> (v nasprotju z osno simetrijo <math> \text{U}(1) \!\, </math>: glej spodaj). Po izreku Noetherjeve obstaja ustrezen ohranjeni tok: to je bilo prej omenjeno kot:

: <math> J^{\mu}(x) = \bar\psi(x)\gamma^{\mu}\psi(x) \!\, . </math>

=== Umerjanje simetrije ===

{{glej tudi|kvantna elektrodinamika}}
Če se 'podpira' globalna simetrija, parametrizirana s konstanto <math> \alpha \!\, </math>, h krajevni simetriji, parametrizirani s funkcijo <math> \alpha:\mathbb{R}^{1,3} \to \mathbb{R} \!\, </math> ali enakovredno <math> e^{i\alpha}: \mathbb{R}^{1,3} \to \text{U}(1) \!\, </math>, Diracova enačba ni več invariantna – obstaja preostali odvod <math> \alpha(x) \!\, </math>.

Popravek poteka kot v [[skalarna elektrodinamika|skalarni elektrodinamiki]]: parcialni odvod se poviša v kovariantni odvod <math> D_{\mu} \!\, </math>:

: <math> D_{\mu} \psi = \partial_{\mu} \psi + i e A_{\mu}\psi \!\, , </math>
: <math> D_{\mu} \bar\psi = \partial_{\mu} \bar\psi - i e A_{\mu}\bar\psi \!\, . </math>

Kovariantni odvod je odvisen od polja, na katerega deluje. Na novo uvedeni <math> A_{\mu} \!\, </math> je četverec potenciala iz elektrodinamike, lahko pa se nanj gleda tudi kot na [[umeritveno polje]] <math> \text{U}(1) \!\, </math>, ali kot na [[povezanost (matematika)|povezanost]] <math> \text{U}(1) \!\, </math>.

Transformacijski zakon pod umeritvenimi transformacijami za <math> A_{\mu} \!\, </math> je potem običajno:

: <math> A_{\mu}(x) \mapsto A_{\mu}(x) + \frac{1}{e}\partial_{\mu}\alpha(x) \!\, , </math>

lahko pa se izpelje tudi tako, da se kovariantni odvodi transformirajo pod umeritveno transformacijo kot:

: <math> D_{\mu}\psi(x) \mapsto e^{i\alpha(x)}D_{\mu}\psi(x) \!\, , </math>
: <math> D_{\mu}\bar\psi(x) \mapsto e^{-i\alpha(x)}D_{\mu}\bar\psi(x) \!\, . </math>

Nato se dobi umeritveno-invariantno Diracovo akcijo s povišanjem parcialnega odvoda v kovariantnega:

: <math> S = \int \mathrm{d}^{4}x\,\bar\psi\,(iD\!\!\!\!\big / - m)\,\psi = \int \mathrm{d}^{4}x\,\bar\psi\,(i\gamma^{\mu} D_{\mu} - m)\,\psi \!\, . </math>

Zadnji korak, potreben za zapis umeritveno-invariantne Lagrangeeve funkcije, je dodajanje člena Maxwellove Lagrangeeve funkcije:

: <math> S_{\text{Maxwell}} = \int \mathrm{d}^{4}x\, \left[ -\frac{1}{4}F^{\mu\nu}F_{\mu\nu} \right] \!\, . </math>

Če se združi vse, izhaja:

{{Equation box 1
|title='''Akcja QED'''
|indent=:
|equation = <math> S_{\text{QED}} = \int \mathrm{d}^{4}x\, \left[ -\frac{1}{4}F^{\mu\nu}F_{\mu\nu} + \bar\psi\,(iD\!\!\!\!\big / - m)\,\psi \right] \!\, . </math>
|border
|border colour =#50C878
|background colour = #ECFCF4
}}
Razširitev kovariantnega odvoda omogoča, da se akcija zapiše v drugi uporabni obliki:

: <math> S_{\text{QED}} = \int \mathrm{d}^{4}x\, \left[ -\frac{1}{4}F^{\mu\nu}F_{\mu\nu} + \bar\psi\,(i\partial\!\!\!\big / - m)\,\psi - eJ^{\mu} A_{\mu} \right] \!\, . </math>

=== Osna simetrija ===

Brezmasni Diracovi fermioni, to je polja <math> \psi(x) \!\, </math>, za katere velja Diracova enačba z <math> m = 0 \!\, </math>, dovoljujejo drugo, enakovredno simetrijo <math> \text{U}(1) \!\, </math>.

To se najlažje vidi, če se zapiše štirikomponentni Diracov fermion <math> \psi(x) \!\, </math> kot par dvokomponentnih vektorskih polj:

: <math> \psi(x) = \begin{pmatrix} \psi_1(x) \\ \psi_2(x) \end{pmatrix} \!\, </math>

in sprejme kiralno reprezentacijo za matrike gama, tako da se lahko <math> i\gamma^{\mu}\partial_{\mu} \!\, </math> zapiše kot:

<math> i\gamma^{\mu}\partial_{\mu} = \begin{pmatrix}
0 & i\sigma^{\mu} \partial_{\mu} \\
i\bar\sigma^{\mu} \partial_{\mu}\ & 0 \end{pmatrix} \!\, , </math>

kjer ima <math> \sigma^{\mu} \!\, </math> komponente <math> (I_{2}, \sigma^{i}) \!\, </math>, <math> \bar\sigma^{\mu} \!\, </math> pa ima komponente <math>(I_{2}, -\sigma^{i}) \!\, </math>.

Diracova akcija ima potem obliko:

: <math> S = \int \mathrm{d}^{4}x\, \psi_1^{\dagger}(i\sigma^{\mu}\partial_{\mu})\psi_{1} + \psi_{2}^{\dagger}(i\bar\sigma^{\mu}\partial_{\mu}) \psi_{2} \!\, . </math>

To pomeni, da se razklopi v teorijo dveh Weylovih spinorjev ali Weylovih fermionov.

Prejšnja vektorska simetrija je še vedno prisotna, kjer se <math> \psi_{1} \!\, </math> in <math> \psi_{2} \!\, </math> vrtita identično. Ta oblika akcije naredi drugo neenakovredno simetrijo <math> \text{U}(1) \!\, </math> jasno:

: <math> \begin{align}
\psi_{1}(x) &\mapsto e^{i\beta} \psi_{1}(x), \\
\psi_{2}(x) &\mapsto e^{-i\beta}\psi_{2}(x) \end{align} \!\, . </math>

To se lahko izrazi tudi na nivoju Diracovega fermiona kot:

: <math> \psi(x) \mapsto \exp(i\beta\gamma^{5}) \psi(x) \!\, , </math>

kjer je <math> \exp \!\, </math> eksponentna preslikava za matrike.

To je edina možna simetrija <math> \text{U}(1) \!\, </math>, vendar je konvencionalna. Vsaka 'linearna kombinacija' vektorja in osnih simetrij je tudi simetrija <math> \text{U}(1) \!\, </math>.

Klasično osna simetrija dopušča dobro formulirano umeritveno teorijo. Toda na kvantni ravni obstaja [[anomalija (fizika)|anomalija]], to je ovira pri umerjanju.

=== Razširitev na barvno simetrijo ===

{{glej tudi|kvantna kromodinamika}}
Ta razprava se lahko razširi iz abelovske simetrije <math> \text{U}(1) \!\, </math> na splošno neabelovsko simetrijo pod [[umeritvena grupa|umeritveno grupo]] <math> G \!\, </math>, [[grupa|grupo]] [[barvni naboj|barvnih simetrij]] za teorijo.

Za konkretnost se popravi <math> G = \text{SU}(N)\!\, </math>, [[specialna unitarna grupa]] matrik, ki deluje na <math> \mathbb{C}^{N} \!\, </math>.

Pred tem poglavjem se je na <math> \psi(x) \!\, </math> lahko gledalo kot na spinorsko polje na prostor Minkowskega, ali z drugimi besedami funkcija <math> \psi: \mathbb{R}^{1,3}\mapsto \mathbb{C}^{4} \!\, </math>, in njene komponente v <math> \mathbb{C}^{4} \!\, </math> so označene s spinskimi indeksi, običajnimi grškimi indeksi, vzetimi iz začetka abecede <math> \alpha,\beta,\gamma,\cdots \!\, </math>.

Pri povišanju teorije v umeritveno teorijo <math> \psi \!\, </math> neuradno pridobi del, ki se transformira kot <math> \mathbb{C}^{N} \!\, </math>, ti pa so označeni z barvnimi indeksi, običajno latinskimi indeksi <math> i,j,k,\cdots \!\, </math>. Skupaj ima <math> \psi(x) \!\, </math> <math> 4N \!\, </math> komponent, podanih v indeksih po <math> \psi^{i,\alpha}(x) \!\, </math>. 'Spinor' označuje le, kako se polje transformira pod prostorsko-časovnimi transformacijami.

Formalno se <math> \psi(x) \!\, </math> izračuna v [[tenzorski produkt|tenzorskem produktu]] – je funkcija <math> \psi:\mathbb{R}^{1,3} \to \mathbb{C}^{4} \otimes \mathbb{C}^{N} \!\, </math>.

Umerjanje poteka podobno kot abelovski primer <math> \text{U}(1) \!\, </math>, z nekaj razlikami. Pod umeritveno transformacijo <math> U:\mathbb{R}^{1,3} \rightarrow \text{SU}(N) \!\, </math> se spinorsko polje transformira kot:

: <math> \psi(x) \mapsto U(x)\psi(x) \!\, , </math>
: <math> \bar\psi(x)\mapsto \bar\psi(x)U^{\dagger}(x) \!\, . </math>

Umeritveno polje z matrično vrednostjo <math> A_{\mu} \!\, </math> ali povezanostjo <math> \text{SU}(N) \!\, </math> se transformira kot:

: <math> A_{\mu}(x) \mapsto U(x)A_{\mu}(x)U(x)^{-1} + \frac{1}{g}(\partial_{\mu} U(x))U(x)^{-1} \!\, , </math>

kovariantna odvoda, definirana kot:

: <math> D_{\mu}\psi = \partial_{\mu} \psi + igA_{\mu}\psi \!\, , </math>
: <math> D_{\mu}\bar\psi = \partial_{\mu} \bar\psi - ig\bar\psi A_{\mu}^{\dagger} \!\, </math>

se transformirata kot:

: <math> D_{\mu}\psi(x) \mapsto U(x)D_{\mu}\psi(x) \!\, , </math>
: <math> D_{\mu}\bar\psi(x) \mapsto (D_{\mu}\bar\psi(x))U(x)^{\dagger} \!\, . </math>

Zapis umeritveno-invariantne akcije natanko tako kot pri primeru <math> \text{U}(1) \!\, </math>, Maxwellova Lagrangeeve funkcija se zamenja [[Yang-Millsova teorija|Yang-Millsovo]] Lagrangeevo funkcijo:

: <math> S_{\text{Y-M}} = \int \mathrm{d}^{4}x \,-\frac{1}{4}\text{Tr}(F^{\mu\nu}F_{\mu\nu}) \!\, , </math>

kjer je Yang-Millsova poljska jakost ali ukrivljenost tukaj definirana kot:

: <math> F_{\mu\nu} = \partial_{\mu} A_{\nu} - \partial_{\nu} A_{\mu} - ig \left[ A_{\mu},A_{\nu} \right] \!\, </math>
in <math> [\cdot,\cdot] \!\, </math> je matrični komutator.

Akcija je potem enaka:
{{Equation box 1
|title='''Akcija QCD'''
|indent=:
|equation = <math> S_{\text{QCD}} = \int \mathrm{d}^{4}x\,-\frac{1}{4}\text{Tr}(F^{\mu\nu}F_{\mu\nu}) + \bar\psi\,(iD\!\!\!\!\big / - m)\,\psi \!\, . </math>
|border
|border colour =#50C878
|background colour = #ECFCF4
}}

==== Fizikalne uporabe ====

Za fizikalne uporabe primer <math> N=3 \!\, </math> opisuje [[kvark]]ov sektor [[standardni model|standardnega modela]], ki modelira [[močna jedrska sila|močne interakcije]]. Kvarki so modelirani kot Diracovi spinorji, umeritveno polje pa je [[gluon]]sko polje. Primer <math> N=2 \!\, </math> opisuje del [[elektrošibka interakcija|elektrošibkega]] sektorja standardnega modela. Leptoni, kot so elektroni in [[nevtrino|nevtrini]], so Diracovi spinorji, umeritveno polje pa je [[umeritveni bozon|umeritveni]] [[bozoni W in Z|bozon]] <math> W \!\, </math>.

==== Posplošitve ====

Ta izraz se lahko posploši na poljubno [[Liejeva grupa|Liejevo grupo]] <math> G \!\, </math> s povezanostjo <math> A_{\mu} \!\, </math> in [[reprezentacija grupe|reprezentacijo]] <math> (\rho, G, V) \!\, </math>, kjer je barvni del <math> \psi \!\, </math> ovrednoten v <math> V \!\, </math>. Formalno je Diracovo polje funkcija <math> \psi:\mathbb{R}^{1,3} \to \mathbb{C}^{4} \otimes V \!\, </math>.

Potem se <math> \psi \!\, </math> transformira pod umeritveno transformacijo <math> g:\mathbb{R}^{1,3} \to G \!\, </math> kot:

: <math> \psi(x) \mapsto \rho(g(x))\psi(x) \!\, , </math>

kovariantni odvod pa je definiran kot:

: <math> D_{\mu}\psi = \partial_{\mu}\psi + \rho(A_{\mu})\psi \!\, , </math>

kjer se <math> \rho \!\, </math> obravnava kot reprezentacija [[Liejeva algebra|Liejeve algebre]] Liejeve algebre <math> \mathfrak{g} = \text{L}(G) \!\, </math>, povezane z <math> G \!\, </math>.

To teorijo je mogoče posplošiti na ukrivljeni prostor-čas, vendar obstajajo subtilnosti, ki se pojavljajo v umeritveni teoriji na splošnem prostor-času (ali bolj na splošno, mnogoterosti), ki jih je na ravnem prostor-času mogoče prezreti. To je navsezadnje posledica [[kontraktibilni prostor|kontraktibilnosti]] ravnega prostor-časa, ki omogoča ogled umeritvenega polja in umeritvenih transformacij, kot so definirane globalno na <math> \mathbb{R}^{1,3} \!\, </math>.

== Glej tudi ==

{{col-begin}}
{{col-break}}

=== Članki o Diracovi enačbi ===

* [[Diracovo polje]]
* [[Diracov spinor]]
* [[Gordonova dekomponzicija]]
* [[Kleinov paradoks]]
* [[nelinearna Diracova enačba]]
{{col-break}}

=== Druge enačbe ===

* [[Breitova enačba]]
* [[Dirac-Kählerjeva enačba]]
* [[Klein-Gordonova enačba]]
* [[Rarita-Schwingerjeva enačba]]
* [[Diracovi enačbi za dve telesi]]
* [[Weylova enačba]]
* [[Majoranova enačba]]
{{col-break}}

=== Druge teme ===

* [[fermionsko polje]]
* [[Feynmanova šahovnica]]
* [[Foldy-Wouthuysenova transformacija]]
* [[kvantna elektrodinamika]]
* [[kvantna kromodinamika]]
{{col-end}}

== Sklici ==

{{refbegin|4|normalfont=yes}}
{{sklici}}
{{refend}}

== Viri ==

=== Splošno ===

{{refbegin|1|normalfont=yes}}
* {{citat|last1= Atkins|first1= Peter William|authorlink1= Peter William Atkins|title= Quanta: A handbook of concepts|date= 1974|publisher= Oxford University Press|isbn= 978-0-19-855493-6}}
* {{citat|last1= Collas|first1= Peter|last2= Klein|first2= David|title= The Dirac Equation in Curved Spacetime: A Guide for Calculations|date= 2019|publisher= Springer|isbn= 978-3-030-14825-6|url= https://books.google.com/books?id=YymODwAAQBAJ}} [https://books.google.com/books?id=YymODwAAQBAJ&pg=PA7 Izvleček strani 7]
* {{citat|last= Dirac|first= Paul Adrien Maurice|authorlink1= Paul Dirac|title= Principles of Quantum Mechanics|orig-year= 1958|date= 1982|edition= 4.|publisher= Oxford University Press|series= (International Series of Monographs on Physics)|isbn= 978-0-19-852011-5|cobiss= 343362}}
* {{citat|last1= Duck|first1= Ian|last2= Sudarshan|first2= E. C. G.|title= Pauli and the Spin-Statistics Theorem|date= 1998|publisher= WORLD SCIENTIFIC|lang= en|isbn= 978-981-02-3114-9|doi= 10.1142/3457|url= https://www.worldscientific.com/worldscibooks/10.1142/3457}}
* {{citat|last1= Gaveau|first1= B.|last2= Jacobson|first2= T.|last3= Kac|first3= M.|last4= Schulman|first4= L. S.|title= Relativistic Extension of the Analogy between Quantum Mechanics and Brownian Motion|journal= Physical Review Letters|date= 1984-07-30|volume= 53|issue= 5|pages= 419–422|doi= 10.1103/PhysRevLett.53.419}}
* {{citat|last1= Hey|first1= Tony|authorlink1= Tony Hey|last2= Walters|first2= Patrick|title= The New Quantum Universe|date= 2009|publisher= Cambridge University Press|isbn= 978-0-521-56457-1}}
* {{citat|last1= Itzykson|first1= Claude|last2= Zuber|first2= Jean-Bernard|title= Quantum Field Theory|date= 1980|publisher= McGraw-Hill}}. (Glej § 2).
* {{citat|last1= Jost|first1= Jürgen|authorlink1= Jürgen Jost|title= Riemannian Geometry and Geometric Analysis|date= 2002|edition= 3.|publisher= Springer|location= Berlin|series= (Universitext)|isbn= 978-3-540-42627-1|oclc= 48177040|cobiss= 14147929}}
* {{citat|last1= Ohlsson|first1= Tommy|authorlink1= Tommy Ohlsson|title= Relativistic Quantum Physics: From advanced quantum mechanics to introductory quantum field theory|date= 2011-09-22|publisher= Cambridge University Press|isbn= 978-1-139-50432-4|url= https://books.google.com/books?id=hRavtAW5EFcC&pg=PA86}}
* {{citat|last1= Pendleton|first1= Brian|title= Quantum Theory|date= 2012–2013|url= http://www2.ph.ed.ac.uk/~bjp/qt/rqt.pdf|archive-url= https://ghostarchive.org/archive/20221009/http://www2.ph.ed.ac.uk/~bjp/qt/rqt.pdf|archive-date= 2022-10-09|url-status= live|at= §&nbsp;4.3 »The Dirac Equation«}}
* {{citat|last1= Penrose|first1= Roger|authorlink1= Roger Penrose|title= [[The Road to Reality]]|date= 2004|publisher= Jonathan Cape |isbn= 0-224-04447-8}}
* {{citat|last1= Weinberg|first1= Steven|authorlink1= Steven Weinberg|title= Gravitation and Cosmology: Principles and Applications of the General Theory of Relativity|date= 1972|publisher= Wiley & Sons}}
* {{citat|last1= Zichichi|first1= Antonino|authorlink1= Antonino Zichichi|title= Dirac, Einstein and physics|date= 2000-03-02|website= Physics World|lang= en-GB|accessdate= 2023-10-22|url= https://physicsworld.com/a/dirac-einstein-and-physics/}}
{{refend}}

=== Izbrani članki ===

{{refbegin|1|normalfont=yes}}
* {{citat|last1= Anderson|first1= Carl David|authorlink1= Carl David Anderson|title= The Positive Electron|journal= Physical Review|date= 1933|volume= 43|issue= 6|page= 491|doi= 10.1103/PhysRev.43.491|bibcode= 1933PhRv...43..491A|doi-access= free}}
* {{citat|last1= Arminjon|first1= Mayeul|last2= Reifler|first2= Frank|title= Equivalent forms of Dirac equations in curved spacetimes and generalized de Broglie relations|journal= Brazilian Journal of Physics|date= 2013|volume= 43|issue= 1–2|pages= 64–77|arxiv= 1103.3201|doi= 10.1007/s13538-012-0111-0 |bibcode= 2013BrJPh..43...64A|s2cid= 38235437}}
* {{citat|last1= Dirac|first1= Paul Adrien Maurice|title= The Quantum Theory of the Electron|journal= Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences|date= 1928|volume= 117|issue= 778|pages= 610–624|doi=10.1098/rspa.1928.0023|bibcode= 1928RSPSA.117..610D|url= http://www.math.ucsd.edu/~nwallach/Dirac1928.pdf|archive-url= https://web.archive.org/web/20150102071809/http://www.math.ucsd.edu/~nwallach/Dirac1928.pdf|archive-date= 2015-01-02|url-status= live|jstor= 94981|doi-access= free}}
* {{citat|last1= Dirac|first1= Paul Adrien Maurice|title= A Theory of Electrons and Protons|journal= Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences|date= 1930|volume= 126|issue= 801|pages= 360–365|doi= 10.1098/rspa.1930.0013|bibcode= 1930RSPSA.126..360D|jstor= 95359|doi-access= free|url= http://gallica.bnf.fr/ark:/12148/bpt6k56219d/f388.table}}
* {{citat|last1= Frisch|first1= R.|last2= Stern|first2= O.|title= Über die magnetische Ablenkung von Wasserstoffmolekülen und das magnetische Moment des Protons. I|journal= Zeitschrift für Physik|date= 1933|volume= 85|issue= 1–2|page= 4|doi= 10.1007/BF01330773|bibcode= 1933ZPhy...85....4F|s2cid= 120793548}}
{{refend}}

=== Učbeniki ===

{{refbegin|1|normalfont=yes}}
* {{citat|last1= Bjorken|first1= James Daniel|authorlink1= James Daniel Bjorken|last2= Drell|first2= Sidney David|authorlink2= Sidney David Drell|title= Relativistic Quantum mechanics|date= 1964|publisher= McGraw-Hill|location= New York|url= https://archive.org/details/relativisticquan0000bjor|url-access= registration}}
* {{citat|last1= Halzen|first1= Francis|authorlink1= Francis Halzen|last2= Martin|first2= Alan Douglas|authorlink2= Alan Douglas Martin|title= Quarks & Leptons: An Introductory Course in Modern Particle Physics|date= 1984|publisher= John Wiley & Sons|url= https://archive.org/details/quarksleptonsint0000halz|url-access= registration|isbn= 978-0-471-88741-6|cobiss= 13977142}}
* {{citat|last1= Griffiths|first1= David Jeffery|title= Introduction to Elementary Particles|date= 2008|edition= 2.|publisher= Wiley-VCH|isbn= 978-3-527-40601-2|cobiss= 3265636}}
* {{citat|last1= Rae|first1= Alastair I. M.|last2= Napolitano|first2= Jim|title= Quantum Mechanics|date= 2015|edition= 6.|publisher= Routledge|isbn= 978-1-482-29918-2}}
* {{citat|last1= Schiff|first1= Leonard Isaac|authorlink1= Leonard Isaac Schiff|title= Quantum Mechanics|date= 1968|edition= 3.|publisher= McGraw-Hill|url= https://archive.org/details/quantummechanics0000schi|url-access= registration}}
* {{citat|last1= Shankar|first1= Ramamurti|authorlink1= Ramamurti Shankar|title= Principles of Quantum Mechanics|date= 1994|edition= 2.|publisher= Plenum}}
* {{citat|last1= Thaller|first1= Bernd|title= The Dirac Equation|date= 1992|series= (Texts and Monographs in Physics)|publisher= Springer}}
{{refend}}

== Zunanje povezave ==

{{Wikiquote}}
* [https://lamediateca.infn.it/mediateca/view.php?v=227 The history of the positron] Diracovo predavanje leta 1975 {{v jeziku|en}}
* [http://www.mathpages.com/home/kmath654/kmath654.htm Diracova enačba] na MathPages {{v jeziku|en}}
* [http://electron6.phys.utk.edu/qm2/modules/m9/dirac.htm Diracova enačba za delec s spinom 1/2] {{v jeziku|en}}

{{normativna kontrola}}

[[Kategorija:Diracova enačba| ]]
[[Kategorija:1928 v znanosti]]
[[Kategorija:Fermioni]]
[[Kategorija:Parcialne diferencialne enaćbe]]
[[Kategorija:Paul Dirac|Enačba]]
[[Kategorija:Kvantna teorija polja]]
[[Kategorija:Spinorji]]