Relativistic Quantum Mechanics Dipankar Chakrabarti Department of Physics, Indian Institute of Technology Kanpur, Kanpur 208016, India (Dated: August 6, 2020) 1 I. INTRODUCTION Till now we have dealt with non-relativistic quantum mechanics. A free particle satisfying Schrodinger equation has the non-relatistic energy E = p ~2 . 2m Non-relativistc QM is applicable for particles with velocity much smaller than the velocity of light(v << c). But for relativistic particles, i.e. particles with velocity comparable to the velocity of light(e.g., electrons in atomic orbits), we need to use relativistic QM. For relativistic QM, we need to formulate a wave equation which is consistent with relativistic transformations(Lorentz transformations) of special theory of relativity. A characteristic feature of relativistic wave equations is that the spin of the particle is built into the theory from the beginning and cannot be added afterwards. (Schrodinger equation does not have any spin information, we need to separately add spin wave function.) it makes a particular relativistic equation applicable to a particular kind of particle (with a specific spin) i.e, a relativistic equation which describes scalar particle(spin=0) cannot be applied for a fermion(spin=1/2) or vector particle(spin=1). Before discussion relativistic QM, let us briefly summarise some features of special theory of relativity here. Specification of an instant of time t and a point ~r = (x, y, z) of ordinary space defines a point in the space-time. We’ll use the notation xµ = (x0 , x1 , x2 , x3 ) ⇒ xµ = (x0 , xi ), x0 = ct, µ = 0, 1, 2, 3 and i = 1, 2, 3 x ≡ xµ is called a 4-vector, whereas ~r ≡ xi is a 3-vector(for 4-vector we don’t put the vector sign(→) on top of x. Consider two events in space-time (x0 , x1 , x2 , x3 ) and (x0 + dx0 , x1 + dx1 , x2 + dx2 , x3 + dx3 ) where x0 = ct so dx0 = cdt as c =velocity of light and is a constant. In three dimensional space we define the distance between two points. We generalize the notion of the distance between two points in space to the interval between two points in the space-time, say, ds. For ds to be same for all observer(ie, in all inertial frames), it must be invariant under Lorentz transformations and rotations. The interval is defined as ds2 = gµν dxµ dxν 2 (1) where gµν is the metric of the space-time. In Minkowski space 1 0 gµν = 0 0 0 −1 0 0 0 0 −1 0 0 0 0 −1 . (2) So, ~ 2 ds2 = (cdt)2 − ((dx1 )2 + (dx2 )2 + (dx3 )2 ) = (cdt)2 − (dr) (3) Under Lorentz transformation xµ transforms as x0 µ = Λµν xν where Λµ ν is a 4 × 4 matrix representing the Lorentz transformation operator. For example, the operator for boost along x1 axis Λµν = γ −γβ 0 0 −γβ 0 0 γ 0 0 0 0 (4) 1 0 0 1 q where β = v/c and γ = 1/ 1 − (v/c)2 . So, the transformed coordinates under the boost along x1 : v v ct0 = γ(ct − x1 ), x01 = γ(x1 − ct), x02 = x2 , x03 = x3 . c c (5) Check that ds02 = (cdt0 )2 − ((dx01 )2 + (dx02 )2 + (dx03 )2 ) = γ 2 (cdt − βdx01 )2 − γ 2 (dx1 − βcdt)2 − (dx2 )2 − (dx3 )2 = ds2 (6) ~ 2 i.e., ds2 is Lorentz invariant. ds2 can be both positive or negative unlike spatial distance (dr) which is always positive. If ~ 2 , the interval is called "time-like" ds2 > 0 i.e., (cdt)2 > (dr) ~ 2 , the interval is called "space-like" ds2 < 0 i.e., (cdt)2 < (dr) ~ 2 , the interval is called "light-like". ds2 = 0 i.e., (cdt)2 = (dr) 3 covariant & contravariant vectors: Any quantity which transforms like xµ under Lorentz transformation is called a contravariant vector while anything which transforms like ∂ ∂xµ is called covariant vector. General convention for contravariant vector is aµ (i.e.,µ is in the superscript) and for covariant vector aµ (i.e, µ is in the subscript) i.e, ∂ ∂xµ = ∂µ . The inner product of a covariant vector and a contravariant vector is a Lorentz invariant(i.e., scalar). The contra and covariant vectors are related by xµ = X gµν xν . (7) ν Using the convention of summation over repeated indices we can write the above eqn as xµ = gµν xν where ν in gµν is repeated again in xν and hence is summed over. Similarly, xµ = g µν xν . In Minkowski space, gµν = g µν . So, we have x0 = g0ν xν = g00 x0 + g01 x1 + g02 x2 + g03 x3 = g00 x0 = x0 (8) x1 = g1ν xν = g10 x0 + g11 x1 + g12 x2 + g13 x3 = g11 x1 = −x1 . (9) Similarly x2 = −x2 and x3 = −x3 . Inner product or scalar product of two 4-vectors is defined as A · B = Aµ Bµ = (A0 B0 + A1 B1 + A2 B2 + A3 B3 ) = (A0 B 0 − A1 B 1 − A2 B 2 − A3 B 3 ) (10) ~·B ~ = gµν Aµ B ν = g µν Aµ Bν . = A0 B 0 − A (11) Differential operators: 1∂ ∂ ∂ ∂ ∂ =( , 1, 2, 3) µ ∂x c ∂t ∂x ∂x ∂x 1∂ ~ = (∂0 , ∂1 , ∂2 , ∂3 ) = ( , ∇) c ∂t 1∂ ~ = g µν ∂ν = ( , −∇) c ∂t ∂µ = ∂µ (12) (13) (14) The Lorentz invariant second order differential operator or the d’Alembertian operator is = ∂ µ ∂µ = ( 1 ∂2 ∂2 ∂2 ∂2 1 ∂2 , −( + + )) = ( , −∇2 ). c2 ∂t2 ∂x2 ∂y 2 ∂z 2 c2 ∂t2 (15) We know the relativistic mass mr = γm and energy E = mr c2 = γmc2 . The energy-momentum 4-vector is pµ = (E/c, p~) where p~ = γm~v . So, E (γmc2 )2 p2 = gµν pµ pν = pµ pµ = ( )2 − (~p)2 = − (γm~v )2 = m2 c2 c c2 4 (16) (in the natural unit ~ = c = 1, p2 = m2 ). So, the relativistic energy momentum relation is given by E 2 = (~p)2 c2 + m2 c4 . Another useful quantity is p · x = pµ xµ = Et − p~ · ~x. (17) For non-relativistic particle (v << c), we can write E = q p~2 1/2 ) m2 c2 (18) p~2 (~p)4 p~2 2 − ··· − + · · · ) = mc + 2m2 c2 8m4 c4 2m (19) p~2 c2 + m2 c4 = mc2 (1 + = mc2 (1 + Negelecting the higher oredr terms, the kinetic energy of a non-relativistic particle is p ~2 2m = E − mc2 . A. Klein-Gordon Equation Schrodinger proposed a relavistic form of his non-relativistic equation (at the same time when he developed his non-relativistic(NR) equation). Klein and Gordon developed this equation at a later time and is knaown as Klein-Gordon(KG) equation. Schrodinger used the NR energymomentum dispersion relation E = p2 . 2m Using the correspondence principle E → Ê = i~ in Eφ(~r, t) = p2 φ(~r, t), 2m ∂ , ∂t ~ p~ → p~ˆ = −i~∇ (20) we arrive at the Schrodinger equation for free particle. Now extend the same algorithm for relativistic particle with energy-momentum relation E 2 = p~2 c2 + m2 c4 . So we get the relativistic wave equation E 2 φ(x) ∂2 ⇒ −~2 2 φ(x) ∂t 2 1 ∂ 2 ~ ⇒ 2 2 − ∇ φ(x) c ∂t m2 c2 ⇒ ( + 2 )φ(x) ~ = (~p2 c2 + m2 c4 )φ(x) (21) ~ 2 + m2 c4 )φ(x) = (−~2 c2 ∇ (22) = − = 0. m2 c2 φ(x) ~2 (23) (24) This equation is known as Klein-Gordon equation. Note that = ∂µ ∂ µ is a Lorentz invariant quantity, so the KG equation is Lorentz invariant only if φ is Lorentz invariant or Lorentz 5 scalar. Thus KG equation describes the relativistic dynamics of a scalar particle. The plane wave solution of the KG eqn is φ(x) = N e−i(Et−~p·~x) (25) √ where N is the normalization constant and energy E = ± p~2 c2 + m2 c4 i.e., energy can be both positive and negative. Continuity Equation: Pre-multiply Eq.(23) by φ∗ (x) to get φ∗ (x) 2 2 1 ∂2 ~ 2 φ(x) = − m c φ∗ (x)φ(x) − ∇ c2 ∂t2 ~2 (26) Now take the complex conjugate of Eq.(23) and post-multiply with φ(x), which gives ( 2 2 1 ∂2 ∗ ~ 2 φ∗ )φ = − m c φ∗ (x)φ(x) φ )φ − ( ∇ c2 ∂t2 ~2 (27) Eq(26)-Eq(27) gives: 1 ∂ 2 φ∗ 1 ∂ 2φ − φ − (φ∗ ∇2 φ − φ∇2 φ∗ ) = 0 c2∂t2 c2 ∂t2 1 ∂ i~ ∂φ∗ ~ ∗ ∂φ ∗~ ∗ ~ ~ φ − φ +∇· φ ∇φ − (∇φ )φ = 0 c ∂t 2mc ∂t ∂t 2im 1∂ ~ · ~j = 0 ρ+∇ c ∂t ∂µ j µ = 0 φ∗ ⇒ ⇒ ⇒ (28) (29) (30) (31) This is the continuity equation for the KG eqn, where i~ ∂φ ∂φ∗ j =ρ = − φ φ∗ 2mc ∂t ∂t ~ − (∇φ ~ ∗ )φ . ~j = ~ φ∗ ∇φ 2im 0 (32) (33) Recall the continuity eqn for Schrodinger equation, ρ is the probability density and ~j is the probability current. Continuity equation has the interpretation of conservation of probability. It tells that if the probability of finding a particle in some region decreases, the probability of finding it out side that region increases, i.e., there is a flow of probability current so that the total probability remains conserved. Since the KG eqn also satisfies the same continuity eqn, it is natural to interpret ρ as the probability density and ~j as the probability current. [Note: Density 6 transforms like the 0th component of a 4−vector (j µ ) under Lorentz transformation. Since φ is a Lorentz invariant quantity, φ2 does not transform like a density, but ρ defined in Eq.(32) does.] The probability density corresponding to the plane wave solution reads ρ = 2|N |2 E. There are two major problems with the KG equation. (1) The eqn has both positive and negative energy solutions. The negative energy solution poses a problem! For large |~p| we can have large negative energy, i.e., the system become unbounded from below. So, we can extract any arbitrary large amount of energy from the system by pushing it into more and more negative energy states. One may say, we truncate √ the physical space to be the positive energy states only i.e, only E = + p~2 c2 + m2 c4 are physical. But then (a) the eigenstates don’t form a complete basis states, (both +ve and -ve energy states are Fourier modes of φ); if we don’t have completeness relation, we cannot have superposition principle too ie., we cannot expand a state χ in the basis of φ ( i.e., χ = P i ci φi is no longer valid) and (b) a perturbation may cause the system to jump to a negative energy states. Since -ve energy states are valid solutions of the KG equation, we can not stop that. So, just interpreting negative energy states as unphysical does not work. (2) The second problem is associated with the probability density. As we have seen ρ = 2|N |2 E, i.e, ρ is negative if E is negative. But to interpret ρ as the probability density, it must be positive definite. [Though in QM, KG equation looks awkward at this moment, but in QFT this is a valid equation for scalar (spin=0)particles. Feynman and Stückelberg interpreted the positive energy states as particles propagating forward in time and negative energy states are propagating backward in time and thus represent antiparticles propagating forward in time. But we’ll not discuss those developments here.] 7 B. Dirac Equation: The probability density in KG eqn depends on energy and becomes negative for negative energy. The energy in the expression of ρ appears due to the time derivative in Eq.(32). Dirac realised that this is due to the fact that KG eqn involves second order time derivative. Notice that Schrodinger equation invoves first order time derivative, and ρ does not involve any time derivative.. So, if we want to write a relativistic wave equation with positive definite probability density, the equation should be first order in time derivative. To be consistent with the Lorentz transformations in special theory of relativity, the wave equation with first order time derivative must also be first order in space derivatives. So, Dirac wrote the Hamiltonian as H = α1 p1 c + α2 p2 c + α3 p3 c + βmc2 . (34) Writing the momentum in differential operator form in the position space, we must have the wave equation ∂ ∂ ∂ ∂ψ(x) = − i~c(α1 1 + α2 2 + α3 3 ) + +βmc2 ψ(x) ∂t ∂x ∂x ∂x 2 ~ = (−i~c~ α · ∇ + βmc )ψ(x) i~ (35) Since the above Hamiltonian has to describe a free particle, αi and β cannot depend on space and time, since such terms would have the properties of space-time dependent energies and give rise to forces. Also αi and β cannot have space or time derivatives, the derivatives should appear only in pi and E , since the equation is to be linear in all these derivatives. Thus αi , β are some constants. For relativistic particle, it must satisfy the relativistic energy momentum relation E 2 = p~2 c2 + m2 c4 i.e., it must satisfy the KG equation. 8 Squaring both sides of Eq.(35), we get ∂ ∂ ∂ − i~c(α1 1 + α2 2 + α3 3 ) + +βmc2 ∂x ∂x ∂x ∂ ∂ ∂ − i~c(α1 1 + α2 2 + α3 3 ) + +βmc2 ψ ∂x ∂x ∂x 2 2 2 2 ∂ 2 2 2 ∂ 2 ∂ = − ~ c α1 1 2 + α2 2 2 + α3 3 2 + β 2 m2 c4 ∂x ∂x ∂x ∂ ∂ ∂ ∂ ∂ ∂ −~2 c2 (α1 α2 + α2 α1 ) 1 2 + (α1 α3 + α3 α1 ) 1 3 + (α2 α3 + α3 α2 ) 2 3 ∂x ∂x ∂x ∂x ∂x ∂x ∂ ∂ ∂ −imc3 ~ (α1 β + βα1 ) 1 + (α2 β + βα2 ) 2 + (α3 β + βα3 ) 3 ψ (36) ∂x ∂x ∂x ∂ (i~ )2 ψ = ∂t To satisfy E 2 = p~2 c2 + m2 c4 , the above equation must satisfy ∂2 ∂2 ∂2 ∂ + + ψ + m2 c4 ψ −~ ( )2 ψ = −~2 c2 ∂t ∂x1 2 ∂x2 2 ∂x3 2 2 (37) Now if Eq.(36) has to satisfy Eq.(37), then αi (i = 1, 2, 3) and β must satisfy αi αj + αj αi = 0, (i 6= j) αi β + βαi = 0 αi2 = 1, β2 = 1 (38) (39) (40) Clearly, αi and β cannot be ordinary classical numbers, rather they anticommute with each other. So, Dirac propopsed that they are matrices. The above anticommutation relations can be writen in the short forms as {αi , αj } = 0 (i 6= j), {αi , β} = 0 (41) (The notation { , } is called the anticommutator.) Combining with the fact that αi2 = 1 we can write {αi , αj } = 2δij I. (42) If αi and β are matrices, ψ cannot be a single component wave function, it must have more than one components that can be written as a vector on which the matrices should operate. For Dirac equation, we need four linearly independent matrices satisfying the anticommutation relations. Since the Hamiltonian is hermitian, each of the four matrices αi , β must be 9 hermitian and hence they are square matrices(n × n). Since squares of all four matrices are unity, their eigenvalues are +1 and −1. If we choose β to be diagonal, then αi cannot be diagonal as they anticommute with β. In 2 dimensions, we have three Pauli matrices which anticommute with each other but the fourth linearly independent matrix that we can have in 2D is the identity matrix which commutes with all other matrices. So, we cannot find a linearly independent fourth matrix to anticommute with the Pauli matrices. Similarly, we fail to find four 3 × 3 matrices to satisfy all the above conditions. The smallest possible dimension to have four such matrices is 4 × 4. One such set of matrices are: 0 σi I 0 αi = , β = σi 0 0 −I (43) where σi are the Pauli matrices and I is 2 × 2 identity matrix. 0 1 0 −i 1 0 σ1 = , σ 2 = , σ3 = , 1 0 i 0 0 −1 (44) αi and β are not unique. All matrices related to these matrices by any unitary 4 × 4 matrix are equally valid i.e., αi0 = U αi U −1 , β 0 = U βU −1 (45) will also satisfy the Dirac equation and all the anticommutation relations. Since αi and β are 4 × 4 matrices, ψ is a 4-component column vector. As U U −1 = I, you can show that for Lorentz invariance of the Dirac equation, ψ then transforms as ψ 0 = U ψ. Free particle solution: Like KG equation, we look for the solution in which the space-time behaviour is of plane wave form: ψ(x) = ωe−i p·x ~ Et = ωe−i ~ +i p ~·~ x ~ . (46) where ω is a 4-component vector, indepndent of x and is called the Dirac spinor. Let us write ω in 2-component notation φ ω= χ 10 (47) where φ and χ are 2 -component spinors. Putting the solution in the Dirac equation (Eq.35), we get φ E = c~ α · p~ + βmc2 χ χ χ φ φ = 0 c~σ · p~ 2 mc I = c~σ · p~ c~σ · p~ φ 0 0 φ χ 0 −I I 2 + mc χ c~σ · p~ φ . − mc2 I χ (48) The matrix equation can be written as two coupled equations: Eφ = mc2 φ + c~σ · p~χ ⇒ (E − mc2 )φ = c~σ · p~χ, (49) and Eχ = −mc2 χ + c~σ · p~φ ⇒ (E + mc2 )χ = c~σ · p~φ c~σ · p~ ⇒χ = φ. E + mc2 (50) Putting Eq.(50) in Eq.(49) we have c~σ · p~ φ E + mc2 p~2 c2 c2 (~σ · p~)2 φ = φ = E + mc2 E + mc2 (E − mc2 )φ = c~σ · p~ (51) ~ σ · B) ~ =A ~ · BI ~ + i~σ · (A ~ × B) ~ ⇒ (~σ · p~)2 = (~p)2 . So finally we get, where we have used (~σ · A)(~ (E − mc2 )(E + mc2 )φ = p~2 c2 φ ⇒ E 2 = p~2 c2 + m2 c4 (52) √ i.e, E = ± p~2 c2 + m2 c4 , which means negative energy solutions are still admitted. Dirac’s prescription cannot get rid of the negative energy solutions. Let us postpone the discussion on negative energy now. We’ll come back to the issue of negative energy solution at the end. Let us first check what happens to the probability density. To derive the continuity equation, first premultiply the Dirac equation by ψ † : ψ † i~ ∂ψ ~ + βmc2 )ψ = ψ † (−i~c~ α·∇ ∂t 11 (53) Take hermitian conjugate of the Dirac equation and post multiply with ψ : −i~( ← ∂ψ † )ψ = ψ † (i~c~ α· ∇ +βmc2 )ψ ∂t (54) ← Note that the spatial derivative ∇ acts on the left i.e.,on the ψ † and αi† = αi and β † = β. Now subtracting Eq.54 from Eq.53, we get i~ ← ∂ † ~ +α ~ · (ψ † α (ψ ψ) = −i~c ψ † (~ α·∇ ~ · ∇)ψ = −i~c∇ ~ ψ). ∂t (55) Thus we get the continuity equation( in the covariant form) 1∂ † ~ · (ψ † α (ψ ψ) + ∇ ~ ψ) = 0 c ∂t 1∂ ~ · ~j = 0 ⇒ ρ+∇ c ∂t ⇒ ∂µ j µ = 0 (56) (57) (58) where ρ = j 0 = ψ † ψ and ~j = ψ † α ~ ψ. Since ψ is a 4-component vector, let us write ψ1 ψ= ψ2 . ψ3 (59) ψ4 Now the probability density ρ = ψ†ψ = ψ1 ψ2 ψ1∗ ψ2∗ ψ3∗ ψ4∗ ψ3 = |ψ1 |2 + |ψ2 |2 + |ψ3 |2 + |ψ4 |2 ≥ 0 (60) ψ4 ⇒ ρ is positive definite. Thus it can be interpreted as probability density. But now we need to interpret ψ which is a four component vector. What is the significance or physical meaning of these components? Note that the α matrices involve Pauli matrices σi . ~ = ~ ~σ . So, one obvious question arises: Do We know that the spin operator are written as S 2 the different components in the Dirac spinor represent different spin components? 12 let us consider the positive energy solution only. From Eqs. (47 and 50), we can write ω= φ (61) . c~ σ ·~ p φ E+mc2 The 2-component spinor φ is completely arbitrary. We may choose two linearly independent forms 1 0 φ↑ = , φ↓ = 0 1 (62) These are the eigenstates of Sz = ~2 σz . The most general form can be expanded in terms of these two basis vectors a φ = aφ↑ + bφ↓ = . b (63) We have two linearly independent solution for any energy E. So, for a given 4-momentum, there are just two linearly independent solutions ie, 2-fold degenerate solutions for ω, just as expected for a quantum system with j = 1/2 (multiplicity (2j + 1) = 2). To give the spin interpretation let us consider the rest frame of the particle, i.e., p~ = 0. Then E = mc2 (we are considering positive energy only). Two linearly independent solutions in the rest frame can be written as ψ1 = 1 0 −imc2 t/~ e , 0 ψ2 = 0 1 −imc2 t/~ e , 0 (64) 0 0 These are eigenfunctions of the operator Σz = ~ σz 0 2 0 σz (65) with eigenvalues ± ~2 . Both solutions have same energy, but eigenvalues of Σz distinguishes them. Similarly for negative energy solutions (E = −mc2 ), we can have two solutions ψ3 and ψ4 with 1 in the place third and fourth element in the column matrix respectively and 13 corresponding sign change in the exponential. Generalizing the definition of the operator Σz for all three components, we write ~σ 0 ~ = ~ Σ . 2 0 ~σ (66) They satisfy the standard commutation relation for spin operators [Σx , Σy ] = i~Σz . Thus Σ is the appropriate for the spin 1 2 operator to our rest frame solution and we may conclude that atleast in the rest frame Dirac solution represents spin-1/2 particles. We know that spin is a fundamental property of a particle, spin of a particle does not change if we boost the system. So a spin-half particle in rest frame is a spin-half particle in all frames. Thus Diarc equation describes the dynamics of spin-half particles or fermions. But for p~ 6= 0, Σ is no longer a suitable operator to describe spin, as it does not commute withH = c~ α · p~ + βmc2 . We need to find an operator that commutes with H and whose eigenvalues distinguish the two states with same energy. One of such operator is the helicity operator h(p) = ~ σ ·~ p |~p| ~ 2 0 0 ~ σ ·~ p |~ p| (67) . Physically the helicity operator h(~p) gives the projection of spin(Σ) along the direction of p~. Eigen values of h(p) are called helicity of the particle. h(p) has the eigenvalues of h = ± ~2 i.e., ~ σ ·~ p ~ |~p| ⇒ 2 0 0 ~ h(p)ω = ± ω 2 φ ~ φ = ± . c~ σ ·~ p c~ σ ·~ p ~ σ ·~ p 2 φ φ |~ p| E+mc2 E+mc2 (68) For positive helicity, we must have ~σ · p~ φ+ = φ+ , |~p| (69) ~σ · p~ φ− = −φ− , |~p| (70) and for negative helicity, φ+ and φ− are linearly independent helicity spinors. 14 Lorentz transformaion properties of Dirac spinor: Rotation: For simplicity consider the particle is moving along z-direction i.e., p~ = (0, 0, p). Then we can simply choose 1 φ+ = , 0 0 φ− = 1 (71) Now rotate the coordinate system about x axis by an angle θ. Since p~ is a vector, it transforms just the same way as ~r. p0x = px = 0, (72) p0y = cos θ py + sin θ pz = sin θ p (73) p0z = − sin θpy + cos θ pz = cos θ p (74) Let under rotation φ+ → φ0+ , so we must have ~σ · p~0 0 φ+ = φ0+ 0 ~ |p | (75) since it must represent a positive helicity state, the state is merely being described in a different coordinate system. Writing the above equation in explicit form, σx p0x + σy p0y + σz p0z 0 φ+ = φ0+ |p0 | (76) 0 0 1 0 −i sin θ cos θ 0 p φ+ = φ+ + p p 0 − cos θ i sin θ 0 or, or, cos θ (77) −i sin θ i sin θ − cos θ 0 φ+ = φ0+ . (78) a let φ0+ = , so we can write the above equation as b a cos θ − ib sin θ = a (79) ia sin θ − b cos θ = b. (80) Solving the above two coupled equations, we get a = cos(θ/2) and b = i sin(θ/2), i.e., cos(θ/2) cos(θ/2) i sin(θ/2) φ0+ = = φ+ . i sin(θ/2) i sin(θ/2) cos(θ/2) 15 (81) Similarly we can write the solution for negative helicity state as i sin(θ/2) φ0− = cos(θ/2) cos(θ/2) i sin(θ/2) = φ− . i sin(θ/2) cos(θ/2) (82) Thus, the wavefunctions in the rotated coordinate system are linear combinations. of the corresponding components in the original coordinate system. The transformation is given by a 2 × 2 matrix as the spinors(φ± ) are 2-component vectors. The matrix elements of the rotation operator depends on the rotation angle but in the spinor case it is the half-angle θ/2 that enters. (Note: In case of vector, the rotation angle θ appears in the rotation matrix). We can write the above rotation in a compact form as φ0 = eiσx θ/2 φ. (83) For rotation about an arbitrary direction n̂, the transformation rule can be generalized to φ0 = ei~σ·n̂θ/2 φ = U φ. (84) So, spinors have a well-defined transformation rule under rotation. But it is different from vector, tensor or scalar. Since the rotation operator U is unitary , the norm of the state is preserved: φ0† φ0 = φ† φ. Boost: Let in the S-frame the system is at rest i.e., p~ = 0 and energy E = mc2 and in S 0 frame, it has momentum p~0 = (p0x , 0, 0) and energy E 0 . That is, we are considering a Lorentz transformation where S 0 frame has velocity (−vx , 0, 0) with respect to S frame where vx = p0x /E 0 . pµ = (E/c, p~) transforms like a 4-vector. For a boost along x-axis E0 E = cosh ξ + sinh ξpx c c E p0x = sinh ξ + cosh ξpx c where tan ξ = p0x /E 0 . (85) (86) 1 In the rest frame (S-frame), we choose φ = ie., ω = 0 1 0 . 0 0 16 In S 0 frame the spinor is ω0 = N 1 0 cσx p0x 1 E 0 +mc2 =N 0 1 0 cp0x 0 E 0 +mc2 (87) 1 where N is the normalization constant. Lorentz transformation can be considered as a rotation by an imaginary angle ξ = iθ. But φ and χ transform differently under the boost transformation due to the fact that E and p~ enter differently in φ and χ. So, we expect , compared to rotation, a pure imaginary angle and a matrix that couples φ and χ. It can be written as ω 0 = eαx ξ/2 ω (88) 0 σx where αx = , so σx 0 eαx ξ/2 cosh ξ/2 σx sinh ξ/2 = cosh ξ/2 + αx sinh ξ/2 = σx sinh ξ/2 cosh ξ/2 (89) as αx2 = 1. For a boost in any arbitrary direction the general transformation rule is: α ~ · ~v ξ ω = exp ω. |v| 2 0 (90) Thus the Lorentz transformation rules of ω or ψ is different from a vector. So, ψ is not a vector under Lorentz transformation, it is called a spinor. Any object which transforms like ψ under Lorentz transformation is called a spinor. √ Positive and negative energy spinors: Write E = + p~2 c2 + m2 c4 . As time derivative in Dirac equation gives E = p0 c, we can write the Dirac equation as 2 σ · p~ φ φ mc I c~ p0 c = . χ c~σ · p~ −mc2 I χ (91) For positive energy solution E = p0 c > 0 and the Dirac spinor is written as ωs = N s φ c~ σ ·~ p φs E+mc2 17 (92) where s = 1, 2 corresponds to different spin states. Choosing the normalization condition ω † ω = 2E, we can write the positive energy spinor u(p, s) = √ E + mc2 s φ c~ σ ·~ p φs E+mc2 , (93) and the complete plane wave positive energy solution is ψ s = u(p, s)exp−ip.x/~ (94) where pµ = (+E/c, p~). √ For negative energy states, p0 c = − p~2 c2 + m2 c4 = −E < 0. To construct the spinor for -ve energy, let us first consider the solution at rest frame: p0 c = −E = −mc2 , p~ = 0(we assume E is a positive quantity). Then the Dirac equation simplifies to 2 0 φ mc I φ −mc2 = 0 −mc2 I χ χ (95) which gives φ = 0, 0 ⇒ ω = . For finite momentum, we have from the Dirac eqn χ 2 φ mc I −E = χ c~σ · p~ c~σ · p~ φ . − mc2 I χ (96) Which gives, φ=− c~σ · p~ χ E + mc2 (97) c~ σ ·~ p s − E+mc2 χ ⇒ ω(−E, p~, s) = χs (98) Let us now change the sign of p~, i.e, consider the solution for negative 4-momentum pµ− = (−E/c, −~p) = −pµ , c~ σ ·~ p s E+mc2 χ ω(−E, −~p, s) = N 18 χs (99) Again using the same normalization condition ω † ω = 2E, we write the negative energy spinor as v(p, s) = √ E+ c~ σ ·~ p s E+mc2 χ 2 mc s (100) χ s = 1, 2 and the complete plane wave solution reads ψ s = v(p, s)e−ip− ·x/~ = v(p, s)eip·x/~ (101) where pµ = (E/c, p~). Dirac’s interpretation of the negative energy solutions: The physical interpretation of positive energy solutions is straight forward. They describe spin- 21 particles with 4-momentum pm u = (E/c, p~). The probability density ρ and the probability current ~j both are positive definite. But since the negative energy solutions are also allowed, like KG equation, a particle with +ve energy can cascade down through the -ve energy levels without limit. Hence +ve energy states cannot be stable! To make any sense of Dirac equation, one then needs to make the +ve energy states stable, preventing them to make transition to -ve energy states. Here comes the masterclass of Dirac! Dirac postulated that the normal empty or vacuum state corresponds to the state with no positive energy particle and all the negative energy states are completely filled up! The state with completely filled up negative energy levels is called the Dirac sea. Since Dirac eqn describes fermions, according to Pauli exclusion principle only two electrons(one spin up and one spin down) can occupy an energy level and once they are occupied any +ve energy particle is forbidden to fall in the -ve energy levels. Let us assume that the spin 1/2 particle we are talking about is an electron. So, the vacuum is the state where all negative energy levels are filled up by electrons i.e., has infinite negative charge and energy! But since all observations represent finite fluctuations of charge and energy with respect to the vacuum, it leads to an acceptable theory and we rescale the vacuum to be without any charge and energy (charge of the vacuum=0, energy of the vacuum=0, spin of the vacuum=0). Assume an electron with energy −E and spin up is removed from the Dirac sea. It will create a "hole" relative to the normal vacuum: energy of the "hole" = −(−E) = +E → positive charge of the "hole" = −(−e) = e → positive charge. 19 FIG. 1: Energy levels of Dirac equations.The blobs represent electrons occupying the energy levels in Dirac sea. Each level can have two electrons(spin up and spin down) according to Puali exclusion principle. The open circle represents the absence of an electron i.e., presence of a "hole". spin of the "hole"=-(up)= down. Thus the absence of a negative energy electron with spin up is equivalent to the presence of a positive energy and positively charged "hole" with spin down. So, "hole" represents the antiparticle of the electron(i.e, positron). So, the unfilled negative energy states according to Dirac, represent positive energy antiparticles. Thus in order to give stability to the +ve energy states, Dirac predicted the existence of positron!(Actually, when Dirac wrote this equation, positron was not known and he thought proton which is a positively charged particle might be the antiparticle of electron!). Anderson discovered positron in 1932 to win the Nobel prize. DIrac required to consider infinite number of electrons filling up the negative energy states to describe a stabe "single" electron with positive energy! So, in that sense, it is no-longer a "single-particle" theory! Exciting a negative energy electron to a positive energy state, ie. creating a physical electron from the vacuum also creates a "hole" in the Dirac sea or a positive energy positron, which corresponds to the process of creating an e− e+ pair! Appropriate theory to describe the particle creations or destruction is the Quantum Field Theory! Dirac’s theory thus suggests to move to quantum field theory. 20 Here we have discussed only free relativistic equations. If we consider Dirac equation in for hydrogen atom( i.e., Dirac equation in central potential), the fine structures are observed in the energy eigenvalues. One can also include interaction with radiations by introducing the gauge fields as we have discussed before for Schrödinger eqn. But we’ll not discuss them here. [1] Gauge Theories in Particle Physics, Volume -1, From Relativistic Quantum Mechanics to QED., by Aitchison and Hey. [2] Quantum Mechanics, by L.I. Schiff 21