Dirac equations: Difference between revisions

From DispersiveWiki
Jump to navigationJump to search
(Changed "Lorentz gauge" to "Lorenz gauge" as this is named after the danish physicist Ludvig Lorenz)
(→‎Dirac-Klein-Gordon equation: These equations can be reduced to a single non-linear Dirac equation)
 
(8 intermediate revisions by the same user not shown)
Line 1: Line 1:
This article describes several equations named after [http://en.wikipedia.org/wiki/Paul_Dirac Paul Dirac].  
This article describes several equations named after [http://en.wikipedia.org/wiki/Paul_Dirac Paul Dirac].  
__TOC__
__TOC__
==The Maxwell-Dirac equation==
==Dirac operator==
 
Given a Clifford algebra <math>\,C\ell_{p,q}({\mathbb C}) \!</math> spanned by Dirac matrices <math>\,\gamma_i\!</math> such that
 
<center><math>\, \gamma_i\gamma_j+\gamma_j\gamma_i=2\eta_{ij}\!</math></center>
 
being <math>\, \eta_{ij}\!</math> the matrix of a quadratic form with signature (p,q), Dirac operator is given by
 
<center><math>\, D=i\eta_{ij}\gamma_i\nabla_j. \!</math></center>
 
With a gauge connection <math>\,A\!</math>this becomes
 
<center><math>\, D_A=i\eta_{ij}\gamma_i(\nabla_j+iA_j). \!</math></center>
 
==Maxwell-Dirac equation==


[More info on this equation would be greatly appreciated. - Ed.]
[More info on this equation would be greatly appreciated. - Ed.]
Line 7: Line 21:
This equation essentially reads
This equation essentially reads


<center><math>D_A  y  =  - y </math></center>
<center><math>\,D_A  y  =  - y \! </math></center>
 
<center><math>\Box A +  \nabla (\nabla_{x,t} A)= \underline{y} y </math></center>
<center><math>\Box A +  \nabla (\nabla_{x,t} A)= \underline{y} y </math></center>


where  <math>y</math>  is a spinor field (solving a coupled massive Dirac equation), and <math>D</math> is the Dirac operator with connection A. We put  <math>y</math>  in <math>H^{s_1}</math> and <math>A</math> in <math>H^{s_2} \times H^{s_2 - 1}</math>.
where  <math>\, y\!</math>  is a spinor field (solving a coupled massive Dirac equation), and <math>\, D\!</math> is the Dirac operator with connection A. We put  <math>y</math>  in <math>H^{s_1}</math> and <math>A</math> in <math>H^{s_2} \times H^{s_2 - 1}</math>.


* Scaling is <math>(s_1, s_2) = (n/2-3/2, n/2-1)</math>.
* Scaling is <math>(s_1, s_2) = (n/2-3/2, n/2-1)</math>.
Line 20: Line 35:
** GWP for small smooth data was obtained in [[Ge1991]]
** GWP for small smooth data was obtained in [[Ge1991]]
* When <math>n=4</math>, GWP for small smooth data is known (Psarelli?)
* When <math>n=4</math>, GWP for small smooth data is known (Psarelli?)
There are no exact solutions known for this equation. Small perturbation theory is the only approach to solve them used so far.


In the nonrelativistic limit this equation converges to a Maxwell-Poisson system for data in the energy space [[BecMauSb-p2]]; furthermore one has a local well-posedness result which grows logarithmically in the asymptotic parameter. Earlier work appears in [[MasNa2003]].
In the nonrelativistic limit this equation converges to a Maxwell-Poisson system for data in the energy space [[BecMauSb-p2]]; furthermore one has a local well-posedness result which grows logarithmically in the asymptotic parameter. Earlier work appears in [[MasNa2003]].
 
==Dirac-Klein-Gordon equation==
==Dirac-Klein-Gordon equation==


Line 29: Line 46:
This equation essentially reads
This equation essentially reads


<center><math>D \psi = \phi \psi - \psi </math></center>
$$\, D \psi = \phi \psi - \psi\!$$
<center><math>\Box  \phi  = \overline{\psi} \psi </math></center>
$$\Box  \phi  = \overline{\psi} \psi +m^2\phi$$
 
where  $\psi$  is a spinor field (solving a coupled massive Dirac equation), $D$ is the Dirac operator and  $\phi$  is a scalar (real) field. We put $\psi$  in $H^{s_1}$ and $( \phi,  \phi_t)$ in $H^{s_2} \times H^{s_2 - 1}$.
 
The energy class is essentially $(s_1,s_2) = (1/2,1)$, but the energy density is not positive. However, the $L^2$ norm of  $y$  is also positive and conserved..
 
* Scaling is $(s_1, s_2) = (d/2-3/2, d/2-1)$.
* When $n=1$ there is GWP for $(s_1,s_2) = (1,1)$ [[Chd1973]], [[Bou2000]] and LWP for $(s_1, s_2) = (0, 1/2)$ [[Bou2000]].
* When $n=2$ there are some LWP results in [[Bou2001]]
 
===Dirac-Klein-Gordon equation and non-linear Dirac equation===
 
It is interesting to show how the set of equations of the Dirac-Klein-Gordon system can be reduced to a single non-linear Dirac equation in a proper limit. This is easily accomplished by noting that the equation
 
$$\Box  \phi  = \overline{\psi} \psi+m^2\phi$$
 
can be immediately integrated giving
 
$$\phi = \int d^Dy\Delta(x-y)\overline{\psi}(y) \psi(y)$$
 
being $\Delta(x-y)$ the Green function for the Klein-Gordon equation. Then, one has the integro-differential equation for the Dirac spinor


where  <math>\psi</math>  is a spinor field (solving a coupled massive Dirac equation), <math>D</math> is the Dirac operator and  <math>\phi</math>  is a scalar (real) field. We put <math>\psi</math>  in <math>H^{s_1}</math> and <math>( \phi,  \phi_t)</math> in <math>H^{s_2} \times H^{s_2 - 1}</math>.
$$D \psi = \int d^Dy\Delta(x-y)\overline{\psi}(y) \psi(y) \psi - \psi.$$


The energy class is essentially <math>(s_1,s_2) = (1/2,1)</math>, but the energy density is not positive. However, the <math>L^2</math> norm of  <math>y</math>  is also positive and conserved..
For distances large enough one can substitute $\Delta(x-y)$ with $\delta^D(x-y)$ multiplied by a constant reducing the starting set of equations to a non-linear Dirac equation. In physics this non-linear equation is named as Nambu-Jona-Lasinio model and has the property to generate a mass gap equation. This means that one can start with a massless Dirac equation and ends with a massive solution.


* Scaling is <math>(s_1, s_2) = (d/2-3/2, d/2-1)</math>.
* When <math>n=1</math> there is GWP for <math>(s_1,s_2) = (1,1)</math> [[Chd1973]], [[Bou2000]] and LWP for <math>(s_1, s_2) = (0, 1/2)</math> [[Bou2000]].
* When <math>n=2</math> there are some LWP results in [[Bou2001]]
==Nonlinear Dirac equation==
==Nonlinear Dirac equation==


This equation essentially reads
This equation essentially reads


<center><math>D \psi -  m \psi = \lambda (\gamma \psi, \psi) \psi</math></center>
<center><math>\, D \psi -  m \psi = \lambda (\gamma \psi, \psi) \psi\!</math></center>


where  <math>\psi</math>  is a spinor field, <math>m > 0</math> is the mass, <math>\lambda</math> is a complex parameter,  <math>\gamma</math> is the zeroth Pauli matrix, and <math>(,)</math> is the spinor inner product.
where  <math>\psi</math>  is a spinor field, <math>m > 0</math> is the mass, <math>\lambda</math> is a complex parameter,  <math>\gamma</math> is the zeroth Pauli matrix, and <math>(,)</math> is the spinor inner product.

Latest revision as of 11:32, 26 March 2011

This article describes several equations named after Paul Dirac.

Dirac operator

Given a Clifford algebra spanned by Dirac matrices such that

being the matrix of a quadratic form with signature (p,q), Dirac operator is given by

With a gauge connection this becomes

Maxwell-Dirac equation

[More info on this equation would be greatly appreciated. - Ed.]

This equation essentially reads

where is a spinor field (solving a coupled massive Dirac equation), and is the Dirac operator with connection A. We put in and in .

  • Scaling is .
  • When , there is GWP for small smooth data Chd1973
  • When there is LWP for in the Coulomb gauge Bou1999, and for in the Lorenz gauge Bou1996
    • For in the Coulomb gauge this is in Bou1996
    • This has recently been improved by Selberg to . Note that for technical reasons, lower-regularity results do not automatically imply higher ones when the regularity of one field (e.g. ) is kept fixed.
    • LWP for smooth data was obtained in Grs1966
    • GWP for small smooth data was obtained in Ge1991
  • When , GWP for small smooth data is known (Psarelli?)

There are no exact solutions known for this equation. Small perturbation theory is the only approach to solve them used so far.

In the nonrelativistic limit this equation converges to a Maxwell-Poisson system for data in the energy space BecMauSb-p2; furthermore one has a local well-posedness result which grows logarithmically in the asymptotic parameter. Earlier work appears in MasNa2003.

Dirac-Klein-Gordon equation

[More info on this equation would be greatly appreciated. - Ed.]

This equation essentially reads

$$\, D \psi = \phi \psi - \psi\!$$ $$\Box \phi = \overline{\psi} \psi +m^2\phi$$

where $\psi$ is a spinor field (solving a coupled massive Dirac equation), $D$ is the Dirac operator and $\phi$ is a scalar (real) field. We put $\psi$ in $H^{s_1}$ and $( \phi, \phi_t)$ in $H^{s_2} \times H^{s_2 - 1}$.

The energy class is essentially $(s_1,s_2) = (1/2,1)$, but the energy density is not positive. However, the $L^2$ norm of $y$ is also positive and conserved..

  • Scaling is $(s_1, s_2) = (d/2-3/2, d/2-1)$.
  • When $n=1$ there is GWP for $(s_1,s_2) = (1,1)$ Chd1973, Bou2000 and LWP for $(s_1, s_2) = (0, 1/2)$ Bou2000.
  • When $n=2$ there are some LWP results in Bou2001

Dirac-Klein-Gordon equation and non-linear Dirac equation

It is interesting to show how the set of equations of the Dirac-Klein-Gordon system can be reduced to a single non-linear Dirac equation in a proper limit. This is easily accomplished by noting that the equation

$$\Box \phi = \overline{\psi} \psi+m^2\phi$$

can be immediately integrated giving

$$\phi = \int d^Dy\Delta(x-y)\overline{\psi}(y) \psi(y)$$

being $\Delta(x-y)$ the Green function for the Klein-Gordon equation. Then, one has the integro-differential equation for the Dirac spinor

$$D \psi = \int d^Dy\Delta(x-y)\overline{\psi}(y) \psi(y) \psi - \psi.$$

For distances large enough one can substitute $\Delta(x-y)$ with $\delta^D(x-y)$ multiplied by a constant reducing the starting set of equations to a non-linear Dirac equation. In physics this non-linear equation is named as Nambu-Jona-Lasinio model and has the property to generate a mass gap equation. This means that one can start with a massless Dirac equation and ends with a massive solution.

Nonlinear Dirac equation

This equation essentially reads

where is a spinor field, is the mass, is a complex parameter, is the zeroth Pauli matrix, and is the spinor inner product.

  • Scaling is (at least in the massless case ).
  • In , LWP is known for when EscVe1997
    • This can be improved to LWP in (and GWP for small data) if an epsilon of additional regularity as assumed in the radial variable MacNkrNaOz-p; in particular one has GWP for radial data.
  • In , GWP is known for small data when MacNaOz-p2. Some results on the nonrelativistic limit of this equation are also obtained in that paper.