Dirac operator: Difference between revisions
Appearance
Content deleted Content added
No edit summary |
No edit summary |
||
Line 1: | Line 1: | ||
[[Image:Helloasdf.jpg]] |
|||
In [[mathematics]] and [[quantum mechanics]], a '''Dirac operator''' is a [[differential operator]] that is a formal square root, or [[half-iterate]], of a second-order operator such as a [[Laplacian]]. The original case which concerned [[Dirac]] was to factorise formally an operator for [[Minkowski space]], to get a form of quantum theory compatible with [[special relativity]]; to get the relevant Laplacian as a product of first-order operators he introduced [[spinor]]s. |
|||
In general, let <math>D</math> be a first-order differential operator acting on a |
|||
[[vector bundle]] <math>V</math> over a [[Riemannian manifold]] <math>M</math>. |
|||
If |
|||
:<math>D^2=\triangle,</math> |
|||
<math>\triangle</math> being the Laplacian of <math>V</math>, <math>D</math> is |
|||
called a '''Dirac operator'''. |
|||
In [[high-energy physics]], this requirement is often relaxed: only the second-order part |
|||
of <math>D^2</math> must equal the Laplacian. |
|||
==Examples== |
|||
1: <math>-i\partial_x</math> is a Dirac operator on the tangential bundle over a line. |
|||
2: We now consider a simple bundle of importance in physics: The configuration space of a particle |
|||
with spin <math>\begin{matrix}\frac{1}{2}\end{matrix}</math> confined to a plane, which is also the base manifold. |
|||
Physicists generally think of wavefunctions <math>\psi:\mathbb{R}^2\to\mathbb{C}^2</math> |
|||
which they write |
|||
:<math>\begin{bmatrix}\chi(x,y) \\ \eta(x,y)\end{bmatrix}.</math> |
|||
<math>x</math> and <math>y</math> are the usual coordinate functions on <math>\mathbb{R}^2</math>. |
|||
<math>\chi</math> specifies the [[probability amplitude]] for the particle to be in the |
|||
spin-up state, similarly for <math>\eta</math>. The so-called [[spin-Dirac operator]] |
|||
can then be written |
|||
:<math>D=-i\sigma_x\partial_x-i\sigma_y\partial_y,</math> |
|||
where <math>\sigma_i</math> are the [[Pauli matrices]]. Note that the anticommutation relations |
|||
for the Pauli matrices make the proof of the above defining property trivial. Those |
|||
relations define the notion of a [[Clifford algebra]]. |
|||
3: The most famous Dirac operator describes the propagation of a free electron in |
|||
three dimensions and is elegantly written |
|||
:<math>D=\gamma^\mu\partial_\mu</math> |
|||
using [[Einstein's summation convention]] and even more elegantly as |
|||
:<math>D=\partial\!\!\!/</math> |
|||
using the [[Feynman slash notation]]. |
|||
==See also== |
|||
*[[Clifford algebra]] |
|||
*[[connection (mathematics)|Connection]] |
|||
*[[Dolbeault operator]] |
|||
*[[Heat kernel]]. |
|||
[[Category:Differential operators]] |
|||
[[Category:Quantum mechanics]] |
|||
[[Category:Quantum field theory]] |