 Home
 Products
 Integration
 Tutorial
 Barcode FAQ
 Purchase
 Company
THE DIRAC EQUA nON in .NET framework
THE DIRAC EQUA nON PDF 417 Scanner In VS .NET Using Barcode Control SDK for .NET framework Control to generate, create, read, scan barcode image in VS .NET applications. Drawing PDF 417 In Visual Studio .NET Using Barcode encoder for VS .NET Control to generate, create PDF417 2d barcode image in VS .NET applications. Dirac proposed that the (Xi and 13 matrices be anticommuting matrices of square equal to one: for i # k {(Xi, (Xk} = {(Xi,f3} = (Xl = 13 2 = I PDF 417 Scanner In .NET Framework Using Barcode recognizer for .NET framework Control to read, scan read, scan image in .NET applications. Barcode Printer In Visual Studio .NET Using Barcode generation for .NET framework Control to generate, create bar code image in Visual Studio .NET applications. (27) Decoding Barcode In Visual Studio .NET Using Barcode reader for Visual Studio .NET Control to read, scan read, scan image in .NET applications. Making PDF 417 In Visual C# Using Barcode generator for Visual Studio .NET Control to generate, create PDF 417 image in VS .NET applications. with the bracket {A, B} of two operators standing for the symmetric combination AB + BA, called the anticommutator. It is easy to verify that condition 1 is fulfilled: Encode PDF417 2d Barcode In .NET Framework Using Barcode creation for ASP.NET Control to generate, create PDF417 image in ASP.NET applications. PDF417 Encoder In Visual Basic .NET Using Barcode printer for Visual Studio .NET Control to generate, create PDF 417 image in .NET applications. jp  8i2l/J = i
Creating EAN13 In VS .NET Using Barcode creator for .NET framework Control to generate, create EAN13 image in .NET applications. Make ECC200 In Visual Studio .NET Using Barcode printer for Visual Studio .NET Control to generate, create ECC200 image in VS .NET applications. IX 2
Bar Code Creator In VS .NET Using Barcode generation for .NET Control to generate, create bar code image in Visual Studio .NET applications. Identcode Generator In .NET Using Barcode generation for .NET Control to generate, create Identcode image in VS .NET applications. V + 13m
EAN13 Generator In Java Using Barcode generation for Android Control to generate, create EAN13 image in Android applications. Bar Code Generation In Java Using Barcode maker for Android Control to generate, create bar code image in Android applications. )2 l/J
DataBar Encoder In Java Using Barcode generation for Java Control to generate, create GS1 DataBar image in Java applications. Bar Code Generation In Java Using Barcode creator for BIRT reports Control to generate, create barcode image in BIRT applications. = ( V
GTIN  12 Printer In None Using Barcode generator for Online Control to generate, create UPC A image in Online applications. USS Code 128 Reader In .NET Using Barcode recognizer for .NET Control to read, scan read, scan image in .NET applications. + m2 )l/J
Barcode Creator In .NET Using Barcode encoder for ASP.NET Control to generate, create barcode image in ASP.NET applications. Print USS Code 39 In None Using Barcode generator for Font Control to generate, create Code 39 Full ASCII image in Font applications. Let us introduce the notation yfl: yO =
and the Feynman "slash": 13 = f3(Xi
i = 1,2,3 (28) {yfl, yV} = 2gflV
(1= aflyfl This enables us to rewrite the Dirac equation as
(iyfl Ofl  m)l/J
= (i~  m)l/J =
(29) The KleinGordon equation is then obtained by multiplying by (i~ + m). Four is the smallest dimension in which matrices fulfilling (28) can be found. The matrices CI! and f3 have eigenvalues equal to 1; for i # j, det aiClJ = det  aia i = (_l)d det aiai ; thus their dimension d must be even. Since for d = 2 there exist only three anticommuting hermitian matrices, the Pauli matrices, we have d ;0:: 4. An explicit representation is provided by
. ( . (J' (210) in terms of the 2 x 2 unit I and Pauli (Ji matrices. This representation is useful when discussing the nonrelativistic limit of the Dirac equation. Among all possible equivalent representations, obtained by a nonsingular transformation: l' . U1'U 1 , the Majorana representation plays a special role. It is designed so as to make the Dirac equation real. This is achieved by interchanging a2 and f3 and changing the sign of al and a3 in the previous QUANTUM FIELD THEORY
representation:,xl =  (Xl>,x2 =
p, ,x3
=  (X3, /3 = (X2' Then only fJ is imaginary and the Dirac equation: (:t + a. .
+ i/3 m ) '" = 0 is real; its solutions are linear combinations of real solutions. The matrix U which performs this change of representation and the new form of the y matrices may be easily determined '(see the Appendix). In the fourdimensional representation (210), l/I may be written as a bispinor
l/I =
in terms of twocomponent spinors cp and X. For reasons that will soon
be clear, cp and X are referred to as the large and small components respectively. They satisfy
ocp i  = mcp
+ :1 or, explicitly, =  mx +
(211) v cp
It is interesting to notice the similarity between these equations and two of the four Maxwell equations: rotE +  = 0 oB at
rot B  = 0 oE 1 i  =  S ' V(iB) at i
o(iB) 1 i=S'V(E) where (Si)jk == (l/i)eijk' The spin matrices Si play for the spin 1 electromagnetic field the same role as the Pauli matrices (1 for the spin i and (E, iB) is analogous to (<p, X). The main reason for the construction of the Dirac equation was to obtain a positive probability density p = l, together with a continuity equation 01'P'" = O. Since l/I is a complex spinor, p has to be of the form l/I t[lJtl/l in order to be real and positive. Let us first derive the Dirac equation for l/I t. From (29), we deduce l/It(iytl' 01' + m) = 0 But yl't is easily expressed in terms of yl' : yOt =
yt =
(f3IX)t
1Xf3
f3(f3IX)f3
yOyyO
Thus, introducing lj/: (212) we have
l/I(i it + m) = 0 (29a) THE DIRAC EQUATION
Combining Eqs. (29) and (29a) leads to l/J( it + it)l/J oJl(l/Ji"l/J) = 0 We have, therefore, a candidate for the current ]Jl = l/JyJll/J
++
.  {l =
~ = liIyol/J = l/Jtl/J = cptcp + xtx _ j = l/Jrl/J = l/Jtrxl/J = cptUX + Xtucp
(213) The density p is positive. Small and large components contribute equally to p whereas j involves cross terms. We shall see below that jJl transforms as a Lorentz fourvector. 213 Relativistic Covariance
According to the relativity principle, we want to verify that the Dirac equation keeps its form in two frames related by a Poincare transformation. Alternatively, we require that to a system satisfying the equation with certain boundary conditions in a given frame we may associate by Poincare transformations a family of transformed states satisfying the same equation, with transformed boundary conditions. Sticking to the first point of view (independence with respect to the observer), we first remark that translation in variance is obvious. Consider now a Lorentz transformation A Let our system be described by the wave function l/J in the first frame and by l/J' in the transformed frame. Both must satisfy the Dirac equation:

