# Дирак тигезләмәсе

Дирак тигезләмәсе — электрон һәм бүтән фермион кырлары өчен релятивистик-инвариант хәрәкәт тигезләмәсе. Кырның квант теориясенең төп тигезләмәсе, квант физикасының нигезе булып санала.
Квант механикасында Шрөдингер тигезләмәсенең спинлы һәм релятивистик гомумиләштерүе.
Квант механикасында
* Релятивистик булмаган (әкрен тизлекле) һәм спинсыз кисәкчек өчен Шрөдингер тигезләмәсе кулланыла
* Релятивистик һәм спинсыз яки нуль спинлы кисәкчек, скаляр кыр өчен Кляйн—Гордон тигезләмәсе кулланыла
* Релятивистик һәм ярым бөтен спинлы - фермион кисәкчек (электрон, протон, нейтрон һ.б.) өчен Дирак тигезләмәсе кулланыла.

# Дирак тигезләмәсе
## Тасвир

Дирак тигезләмәсе болай күренә:
    $\left(mc^{2}\alpha _{0}+c\sum _{j=1}^{3}\alpha _{j}p_{j}\right)\psi (\mathbf {x} ,t)=i\hbar {\frac {\partial \psi }{\partial t}}(\mathbf {x} ,t)$
биредә
* $m\$ — электрон (яки бүтән фермион) массасы,
* $c\$ — яктылык тизлеге,
* $p_{j}=-i\hbar \partial _{j}$ — импульс операторының өч компоненты (x, y, z буенча),
* $\hbar ={h \over 2\pi }$, $h$ — Планк даимие,
* $\psi (\mathbf {x} ,t)$ — дурт компонентлы комплекс дулкынча функция (биспинор).
$\alpha _{0},\alpha _{1},\alpha _{2},\alpha _{3}\$ — биспинор фәзасы өстеннән сызыкча операторлар, алар дулкынча функциягә тәэсир итәләр (Паули матрицалары). Әлеге операторлар антикомммуталаша:
    $\alpha _{i}\alpha _{j}=-\alpha _{j}\alpha _{i}\$, биредә $i\neq j$ һәм $i,j\$ 0 - 3,
    $\alpha _{i}^{2}=1$ $i\$ 0 - 3 өчен.
Әлеге операторлар 4×4 зурлыгы матрицалары булып тора, алар Дирак матрицалары дип атала.

# Дирак тигезләмәсе
## Тасвир
### Реятивистик ковариант күренеше

Ирекле кисәкчек өчен Дирак тигезләмәсенең ковариант формасы болай күренә:
$\left(i\hbar c\,\sum _{\mu =0}^{3}\;\gamma ^{\mu }\,\partial _{\mu }-mc^{2}\right)\psi =0,$
яки Эйнштейн килешүе кулланып болай бирелә:
$\left(i\hbar c\,\gamma ^{\mu }\,\partial _{\mu }-mc^{2}\right)\psi =0.$
Әлеге тигезләмәне чыгару:
Импульс операторы
    $\mathbf {p} \psi (\mathbf {x} ,t)=-i\hbar \nabla \psi (\mathbf {x} ,t).$
Дирак тигезләмәсен α₀ га тапкырлап ( α₀²=I) чыгарабыз:
    $\left[i\hbar c\left(\alpha _{0}{\frac {\partial }{c\partial t}}+\sum _{j=1}^{3}\alpha _{0}\alpha _{j}{\frac {\partial }{\partial x_{j}}}\right)-mc^{2}\right]\psi =0.$
шуннан Дирак матрицалары билгеләнә:
    $\gamma ^{0}\ {\stackrel {\mathrm {def} }{=}}\ \alpha _{0}\,,\quad \gamma ^{j}\ {\stackrel {\mathrm {def} }{=}}\ \alpha _{0}\alpha _{j}.$
    ${\begin{array}{c c}\gamma ^{0}={\begin{pmatrix}1&&&\\&1&&\\&&-1&\\&&&-1\end{pmatrix}}\,,&\gamma ^{1}={\begin{pmatrix}&&&1\\&&1&\\&-1&&\\-1&&&\end{pmatrix}}\,,\\\,&\,\\\gamma ^{2}={\begin{pmatrix}&&&-\mathrm {i} \\&&\mathrm {i} &\\&\mathrm {i} &&\\-\mathrm {i} &&&\end{pmatrix}}\,,&\gamma ^{3}={\begin{pmatrix}&&1&\\&&&-1\\-1&&&\\&1&&\end{pmatrix}}\,.\end{array}}$
Аларның үзлекләре:
    $\left\{\gamma ^{\mu },\gamma ^{\nu }\right\}=2\eta ^{\mu \nu }\cdot I\,,\quad \mu ,\nu =0,1,2,3$
Әлеге нисбәтләр Дирак алгебрасы дип атала..
Дирак тигезләмәсен 4-вектор x = (ct,x) ярдәмендә язап була:
$\left(i\hbar c\,\sum _{\mu =0}^{3}\;\gamma ^{\mu }\,\partial _{\mu }-mc^{2}\right)\psi =0.$
Әлеге тигезләмәне шулай ук Тәэсирнең экстремумы ярдәмендә чыгарып була:
    ${\mathcal {S}}=\int {\bar {\psi }}(i\hbar c\,\sum _{\mu }\gamma ^{\mu }\partial _{\mu }-mc^{2})\psi \,d^{4}x$
биредә
    ${\bar {\psi }}\ {\stackrel {\mathrm {def} }{=}}\ \psi ^{\dagger }\gamma _{0}$
- Дирак иярешле матрицасы дип атала. Ул кырның квант теориясендә киң кулланыла.
Әлеге формада өлешчә чыгарылманы киңәйтеп электромагнит тәэсир итешүе өстәлә:
    $\partial _{\mu }\rightarrow D_{\mu }=\partial _{\mu }-ieA_{\mu }.$

# Дирак тигезләмәсе
## Дирак тигезләмәсен чыгару

Дирак тигезләмәсе — Шрөдингер тигезләмәсенең гомумиләштерүе:
    $H\left|\psi (t)\right\rangle =i\hbar {d \over dt}\left|\psi (t)\right\rangle .$
яки
    $H\psi (\mathbf {x} ,t)=i\hbar {\frac {\partial \psi (\mathbf {x} ,t)}{\partial t}},$
биредә гамильтониан H дулкынча функциягә тәэсир итә.
Релятивистик булмаган ирекле электрон өчен гамильтониан классик механикада кебек кинетик энергия белән билгеләнә:
    $H=\sum _{j=1}^{3}{\frac {p_{j}^{2}}{2m}},$
биредә pⱼ — импульс проекцияләре операторлары, һәр оператор фәзадан чыгарылма кебек тәэсир итә:
    $p_{j}\psi (\mathbf {x} ,t)\ {\stackrel {\mathrm {def} }{=}}\ -i\hbar \,{\frac {\partial \psi (\mathbf {x} ,t)}{\partial x_{j}}}.$
Ләкин релятивистик кисәкчек өчен гамильтониан башкача тасвирлана. Релятивистик нисбәт буенча системаның гомуми энергиясе болай тасвирлана (Махсус чагыштырмалылык теориясе):
    $E={\sqrt {(mc^{2})^{2}+\sum _{j=1}^{3}(p_{j}c)^{2}}}.$
Шуннан:
    ${\sqrt {(mc^{2})^{2}+\sum _{j=1}^{3}(p_{j}c)^{2}}}\ \psi =i\hbar {\frac {d\psi }{dt}}.$
Ләкин әлеге тигезләмә дә кайбер фундаменталь релятивистик мәскәкләргә туры килми: анда Лоренц ковариантлыгы юк - ягъни вакыт һәм фәза бу тигезләмәдә "тиң хокуклы" булмый, ә шушы мәсләк - Махсус чагыштырмалылык теориясенең нигезе булып тора.
Әгәр тигезләмәнең уң өлешендә вакыттан беренче чыгарылма бар икән, димәк сул өлешендә фәза координатларыннан тик беренче чыгарылма (импульс беренче дәрәҗәдә) булырга тиеш. Дирак шуны исәпкә алып, беренче чырарылмалар алдыннан махсус даими коэффицинтлар кертеп, тигезләмәне чыгарган:
       $i\hbar {\frac {d\psi }{dt}}=\left[c\sum _{i=1}^{3}\alpha _{i}p_{i}+\alpha _{0}mc^{2}\right]\psi$
— ирекле кисәкчек өчен Дирак тигезләмәсе.
Дирак тәкъдиме буенча:
    $(mc^{2})^{2}+\sum _{j=1}^{3}(p_{j}c)^{2}$
ягъни
    $\left(mc^{2}\alpha _{0}+c\sum _{j=1}^{3}\alpha _{j}p_{j}\,\right)^{2}=(mc^{2})^{2}+\sum _{j=1}^{3}(p_{j}c)^{2}.$
Шуннан:
    $\alpha _{i}\alpha _{j}+\alpha _{j}\alpha _{i}=0\,,$ барлык $i,j=0,1,2,3(i\neq j),$
    $\alpha _{i}^{2}=1\,,$ барлык $i=0,1,2,3.\$
бергә язап:
    $\alpha _{i}\alpha _{j}+\alpha _{j}\alpha _{i}=2\delta _{ij}\$ для $\ i,j=0,1,2,3,$
антикоммутатор ярдәмендә болай языла:
    $\left\{\alpha _{i},\alpha _{j}\right\}=2\delta _{ij}\$ для $\ i,j=0,1,2,3.$
биредә {,} — антикоммутатор
* δᵢⱼ — Кронекер символы
Дулкынча функцияләр дүрт компонентлы булып чыга.
α —сызыкча операторлар яки матрицалар.
    $\alpha _{0}={\begin{bmatrix}I&0\\0&-I\end{bmatrix}}\quad \alpha _{j}={\begin{bmatrix}0&\sigma _{j}\\\sigma _{j}&0\end{bmatrix}}$
биредә 0 и I — 2×2 нульле һәм берәмлекле матрицалар
* σⱼ (j = 1, 2, 3) — Паули матрицалары
Гамильтониан тигезләмәдә:
    $H=\,mc^{2}\alpha _{0}+c\sum _{j=1}^{3}\alpha _{j}p_{j}$
Дирак гамильтонианы дип атала.

# Дирак тигезләмәсе
## Тигезләмәнең чишелеше

Дулкынча функция ψ 4-компонент объекты була, ул ике ирек дәрәҗәсеннән тора, беренчесе уңай энергиягә, икенчесе тискәре энергиягә (антикисәкчек) туры килә, һәрберсе ике ирек дәрәҗәсеннән тора - спин өскә һәм спин аска халәтенә туры килә.
Дулкынча функция болай языла:
    $\psi (\mathbf {x} ,t)\ {\stackrel {\mathrm {def} }{=}}\ {\begin{bmatrix}\psi _{1}(\mathbf {x} ,t)\\\psi _{2}(\mathbf {x} ,t)\\\psi _{3}(\mathbf {x} ,t)\\\psi _{4}(\mathbf {x} ,t)\end{bmatrix}}.$
Дирак иярешле функциясе::
    ${\bar {\psi }}\ {\stackrel {\mathrm {def} }{=}}{\bar {\psi }}(\mathbf {x} ,t)\ {\stackrel {\mathrm {def} }{=}}\ \psi ^{\dagger }\alpha ^{0},$
биредә
    $\psi ^{\dagger }={\begin{bmatrix}\psi _{1}^{*}(\mathbf {x} ,t)&\psi _{2}^{*}(\mathbf {x} ,t)&\psi _{3}^{*}(\mathbf {x} ,t)&\psi _{4}^{*}(\mathbf {x} ,t)\end{bmatrix}}$
* - комплекс иярешү.
Үзлекләр:
    ${\bar {\psi }}\psi ={\bar {\psi }}(\mathbf {x} ,t)\psi \,(\mathbf {x} ,t)=\sum _{a,b=1}^{4}\psi _{a}^{*}(\mathbf {x} ,t)(\alpha ^{0})_{ab}\psi _{b}(\mathbf {x} ,t).$
Ихтималлык саклана:
    $\int {\bar {\psi }}\psi \;d^{3}x=1.$
Ихтималлык агымы:
    ${\frac {\partial }{\partial t}}{\bar {\psi }}\psi \,(\mathbf {x} ,t)=-\nabla \cdot \mathbf {J} .$
Ихтималлык агымы J:
    $J_{j}=c{\bar {\psi }}\alpha _{j}\psi .$
eJ - электр агымы тыгызлыгы
Дирак тигезләмәсен чишү өчен спинор $\chi$ кулланыла:
       $\chi ^{(1)}={\begin{bmatrix}1\\0\end{bmatrix}},\quad \quad \chi ^{(2)}={\begin{bmatrix}0\\1\end{bmatrix}},$
биредә $\chi ^{(1)}$ спин өскә халәтенә туры килә,
* $\chi ^{(2)}$ спин аска халәтенә туры килә.
Антикисәкчекләр өчен:
       $\chi ^{*(1)}={\begin{bmatrix}0\\1\end{bmatrix}},\quad \quad \chi ^{*(2)}={\begin{bmatrix}1\\0\end{bmatrix}}.$
Паули матрицалары:
    $\sigma _{1}={\begin{pmatrix}0&1\\1&0\end{pmatrix}},\quad \quad \sigma _{2}={\begin{pmatrix}0&-i\\i&0\end{pmatrix}},\quad \quad \sigma _{3}={\begin{pmatrix}1&0\\0&-1\end{pmatrix}}.$

# Дирак тигезләмәсе
## Тигезләмәнең чишелеше
### Кисәкчекләр өчен

Ирекле кисәкчекләр өчен Дирак тигезләмәсенең чишелеше болай языла:
       $\psi =u(\mathbf {p} )e^{ip\cdot x}$
    биредә
       $\mathbf {p}$ — 3-үлчәмле вектор,
       p һәм x — 4-вектор.
Биспинор u моментка һәм спинга бәйле,
       $u^{(s)}(\mathbf {p} )={\sqrt {E+m}}{\begin{bmatrix}\chi ^{(s)}\\{\frac {\mathbf {\sigma } \cdot \mathbf {p} }{E+m}}\chi ^{(s)}\end{bmatrix}}$

# Дирак тигезләмәсе
## Тигезләмәнең чишелеше
### Антикисәкчекләр өчен

       $\psi =v(\mathbf {p} )e^{ip\cdot x}$
һәм
       $v^{(s)}(\mathbf {p} )={\sqrt {|E|+m}}{\begin{bmatrix}{\frac {-\mathbf {\sigma } \cdot \mathbf {p} }{|E|+m}}\chi ^{*(s)}\\\chi ^{*(s)}\end{bmatrix}}$