Dirac operator

Template:Short description In mathematics and in quantum mechanics, a Dirac operator is a first-order differential operator that is a formal square root, or half-iterate, of a second-order differential operator such as a Laplacian. It was introduced in 1847 by William Hamilton<ref name="Hamilton1847" /> and in 1928 by Paul Dirac.<ref name="Dirac1928">Template:Cite journal </ref> The question which concerned Dirac was to factorise formally the Laplace operator of the Minkowski space, to get an equation for the wave function which would be compatible with special relativity.

Formal definitionEdit

In general, let D be a first-order differential operator acting on a vector bundle V over a Riemannian manifold M. If

<math>D^2=\Delta, \,</math>

where ∆ is the (positive, or geometric) Laplacian of V, then D is called a Dirac operator.

Note that there are two different conventions as to how the Laplace operator is defined: the "analytic" Laplacian, which could be characterized in <math>\R^n</math> as <math>\Delta=\nabla^2=\sum_{j=1}^n\Big(\frac{\partial}{\partial x_j}\Big)^2</math> (which is negative-definite, in the sense that <math>\int_{\R^n}\overline{\varphi(x)}\Delta\varphi(x)\,dx=-\int_{\R^n}|\nabla\varphi(x)|^2\,dx<0</math> for any smooth compactly supported function <math>\varphi(x)</math> which is not identically zero), and the "geometric", positive-definite Laplacian defined by <math>\Delta=-\nabla^2=-\sum_{j=1}^n\Big(\frac{\partial}{\partial x_j}\Big)^2</math>.

HistoryEdit

W.R. Hamilton defined "the square root of the Laplacian" in 1847<ref name="Hamilton1847">Template:Cite journal </ref> in his series of articles about quaternions:

<...> if we introduce a new characteristic of operation, <math>\triangleleft</math>, defined with relation to these three symbols <math>ijk,</math> and to the known operation of partial differentiation, performed with respect to three independent but real variables <math>xyz,</math> as follows: <math display="block"> \triangleleft=\frac{i\mathrm{d}}{\mathrm{d}x}+\frac{j\mathrm{d}}{\mathrm{d}y}+\frac{k\mathrm{d}}{\mathrm{d}z}; </math> this new characteristic <math>\triangleleft</math> will have the negative of its symbolic square expressed by the following formula : <math display="block"> -\triangleleft^2=\Big(\frac{\mathrm{d}}{\mathrm{d}x}\Big)^2+\Big(\frac{\mathrm{d}}{\mathrm{d}y}\Big)^2+\Big(\frac{\mathrm{d}}{\mathrm{d}z}\Big)^2; </math> of which it is clear that the applications to analytical physics must be extensive in a high degree.

ExamplesEdit

Example 1Edit

D = −i ∂_x is a Dirac operator on the tangent bundle over a line.

Example 2Edit

Consider a simple bundle of notable importance in physics: the configuration space of a particle with spin Template:Sfrac confined to a plane, which is also the base manifold. It is represented by a wavefunction Template:Nowrap

<math>\psi(x,y) = \begin{bmatrix}\chi(x,y) \\ \eta(x,y)\end{bmatrix}</math>

where x and y are the usual coordinate functions on R². χ specifies the probability amplitude for the particle to be in the spin-up state, and similarly for η. The so-called spin-Dirac operator can then be written

<math>D=-i\sigma_x\partial_x-i\sigma_y\partial_y ,</math>

where σ_i 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.

Solutions to the Dirac equation for spinor fields are often called harmonic spinors.<ref>Template:SpringerEOM</ref>

Example 3Edit

Feynman's Dirac operator describes the propagation of a free fermion in three dimensions and is elegantly written

<math>D=\gamma^\mu\partial_\mu\ \equiv \partial\!\!\!/,</math>

using the Feynman slash notation. In introductory textbooks to quantum field theory, this will appear in the form

<math>D = c\vec\alpha \cdot (-i\hbar\nabla_x) + mc^2\beta</math>

where <math>\vec\alpha = (\alpha_1, \alpha_2, \alpha_3)</math> are the off-diagonal Dirac matrices <math>\alpha_i=\beta\gamma_i</math>, with <math>\beta=\gamma_0</math> and the remaining constants are <math>c</math> the speed of light, <math>\hbar</math> being the Planck constant, and <math>m</math> the mass of a fermion (for example, an electron). It acts on a four-component wave function <math>\psi(x) \in L^2(\mathbb{R}^3, \mathbb{C}^4)</math>, the Sobolev space of smooth, square-integrable functions. It can be extended to a self-adjoint operator on that domain. The square, in this case, is not the Laplacian, but instead <math>D^2=\Delta+m^2</math> (after setting <math>\hbar=c=1.</math>)

Example 4Edit

Another Dirac operator arises in Clifford analysis. In euclidean n-space this is

<math>D=\sum_{j=1}^{n}e_{j}\frac{\partial}{\partial x_{j}}</math>

where {e_j: j = 1, ..., n} is an orthonormal basis for euclidean n-space, and Rⁿ is considered to be embedded in a Clifford algebra.

This is a special case of the Atiyah–Singer–Dirac operator acting on sections of a spinor bundle.

Example 5Edit

For a spin manifold, M, the Atiyah–Singer–Dirac operator is locally defined as follows: For Template:Nowrap and e₁(x), ..., e_j(x) a local orthonormal basis for the tangent space of M at x, the Atiyah–Singer–Dirac operator is

<math>D=\sum_{j=1}^{n}e_{j}(x)\tilde{\Gamma}_{e_{j}(x)} ,</math>

where <math>\tilde{\Gamma}</math> is the spin connection, a lifting of the Levi-Civita connection on M to the spinor bundle over M. The square in this case is not the Laplacian, but instead <math>D^2=\Delta+R/4</math> where <math>R</math> is the scalar curvature of the connection.<ref> Jurgen Jost, (2002) "Riemannian Geometry ang Geometric Analysis (3rd edition)", Springer. See section 3.4 pages 142 ff.</ref>

Example 6Edit

On Riemannian manifold <math>(M, g)</math> of dimension <math>n=dim(M)</math> with Levi-Civita connection <math>\nabla</math>and an orthonormal basis <math>\{e_{a}\}_{a=1}^{n}</math>, we can define exterior derivative <math>d</math> and coderivative <math>\delta</math> as

<math>d= e^{a}\wedge \nabla_{e_{a}}, \quad \delta =e^{a} \lrcorner \nabla_{e_{a}}</math>.

Then we can define a Dirac-Kähler operator<ref name=":0">Template:Cite journal</ref><ref name=":1">Template:Cite book</ref><ref name=":2">Template:Cite journal</ref> <math>D</math>, as follows

<math>D = e^{a}\nabla_{e_{a}}=d-\delta</math>.

The operator acts on sections of Clifford bundle in general, and it can be restricted to spinor bundle, an ideal of Clifford bundle, only if the projection operator on the ideal is parallel.<ref name=":0" /><ref name=":1" /><ref name=":2" />

GeneralisationsEdit

In Clifford analysis, the operator Template:Nowrap acting on spinor valued functions defined by

<math>f(x_1,\ldots,x_k)\mapsto

\begin{pmatrix} \partial_{\underline{x_1}}f\\ \partial_{\underline{x_2}}f\\ \ldots\\ \partial_{\underline{x_k}}f\\ \end{pmatrix}</math> is sometimes called Dirac operator in k Clifford variables. In the notation, S is the space of spinors, <math>x_i=(x_{i1},x_{i2},\ldots,x_{in})</math> are n-dimensional variables and <math>\partial_{\underline{x_i}}=\sum_j e_j\cdot \partial_{x_{ij}}</math> is the Dirac operator in the i-th variable. This is a common generalization of the Dirac operator (Template:Nowrap) and the Dolbeault operator (Template:Nowrap, k arbitrary). It is an invariant differential operator, invariant under the action of the group Template:Nowrap. The resolution of D is known only in some special cases.

ReferencesEdit

Template:Reflist Template:Refbegin

Template:Refend