In non-relativistic quantum mechanics, the angular momentum, https://www.w3.org/1998/Math/MathML"> L ^ https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003273073/d236e21f-f9f6-4e42-b186-ef1c50f0a68b/content/math18_1.tif" xmlns:xlink=" https://www.w3.org/1999/xlink "/> , is an integral of motion. The spin is added as a supplementary hypothesis. What should be the integral of motion in the Dirac theory for a particle described by the Hamiltonian, https://www.w3.org/1998/Math/MathML"> Η ^ https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003273073/d236e21f-f9f6-4e42-b186-ef1c50f0a68b/content/math18_2.tif" xmlns:xlink=" https://www.w3.org/1999/xlink "/> ?: 18.1 https://www.w3.org/1998/Math/MathML"> Η ^ = c α ^ p ^ + β m c 2 https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003273073/d236e21f-f9f6-4e42-b186-ef1c50f0a68b/content/math18_3.tif" xmlns:xlink=" https://www.w3.org/1999/xlink "/>
We re-examine the square of the Hamiltonian, https://www.w3.org/1998/Math/MathML"> Η https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003273073/d236e21f-f9f6-4e42-b186-ef1c50f0a68b/content/math16_1.tif" xmlns:xlink=" https://www.w3.org/1999/xlink "/> , in Equation 15.7 and also the Dirac approach in finding the relativistic Hamiltonian. The classical Hamiltonian for the free particle should be the positive square root of Equation 15.7 which is not a linear function of the momenta. Applying this to the problem, say for example in Equation 15.10, we have the resultant wave equation that is asymmetrical with respect to space and time derivatives and so the necessity to linearize the equation in the momentum operators. So for Equation 15.10, it is impossible to include the Pauli spin matrices without destroying the invariance of the theory since the spin matrices transform the components of a three-dimensional rather than a four-dimensional vector. In addition, the function, https://www.w3.org/1998/Math/MathML"> Ψ https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003273073/d236e21f-f9f6-4e42-b186-ef1c50f0a68b/content/math16_2.tif" xmlns:xlink=" https://www.w3.org/1999/xlink "/> , has one component rather than two components like spinors and so the Schrödinger relativistic equation represents a particle with no spin. So for a potential to be added in Equation 15.10, the Lorentz-transformation properties of such an addition should be guaranteed by matrix algebra which is the requirement for the Hamiltonian https://www.w3.org/1998/Math/MathML"> Η ^ https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003273073/d236e21f-f9f6-4e42-b186-ef1c50f0a68b/content/math16_3.tif" xmlns:xlink=" https://www.w3.org/1999/xlink "/> to be linear in the momentum operators and guarantees relativistic invariance. This matrix algebra which permits the linearization of the Hamiltonian in the momentum operator was introduced by Dirac with the help of the Pauli matrices.
Before examining the Dirac equation that gives a relativistic quantum mechanical description of the electron, we will examine the Klein-Gordon equation. Compared to the Schrödinger equation, the Dirac equation should have an appreciable modification in the quantum description of the properties of the electron. In the non-relativistic quantum mechanical formulation, we begin with the classical relation for the energy in the absence of interaction, i.e., the kinetic energy: 15.1 https://www.w3.org/1998/Math/MathML"> Η = p 2 2 m https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003273073/d236e21f-f9f6-4e42-b186-ef1c50f0a68b/content/math15_1.tif" xmlns:xlink=" https://www.w3.org/1999/xlink "/>
The infinitesimal symmetry transformation generator, https://www.w3.org/1998/Math/MathML"> D ^ ϕ https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003273073/d236e21f-f9f6-4e42-b186-ef1c50f0a68b/content/math4_1.tif" xmlns:xlink=" https://www.w3.org/1999/xlink "/> , is recognizable dynamical variable in a simple situation and so can be used to define a dynamical variable in a more complicated situation. We take an example of a particle possessing an internal degree of freedom related to an intrinsic angular momentum, the so-called spin (pseudo vector), described by the spin operator, https://www.w3.org/1998/Math/MathML"> S ^ https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003273073/d236e21f-f9f6-4e42-b186-ef1c50f0a68b/content/math4_2.tif" xmlns:xlink=" https://www.w3.org/1999/xlink "/> . So, the total wave function, considering the definition in Equation 3.314 should be 4.1 https://www.w3.org/1998/Math/MathML"> Ψ r → , σ = Ψ r → X σ https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003273073/d236e21f-f9f6-4e42-b186-ef1c50f0a68b/content/math4_3.tif" xmlns:xlink=" https://www.w3.org/1999/xlink "/>
To obtain a Lorentz invariant Schrödinger equation, we considered the square root of the Klein–Gordon equation. This had the disadvantage that the Hamiltonian https://www.w3.org/1998/Math/MathML"> H = p → 2 + m 2 https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429073601/03ca065d-1bf0-4218-811d-2f95276252a3/content/equ_603.tif" xmlns:xlink=" https://www.w3.org/1999/xlink "/> contains an infinite number of powers of https://www.w3.org/1998/Math/MathML"> p → 2 / m 2 https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429073601/03ca065d-1bf0-4218-811d-2f95276252a3/content/equ_604.tif" xmlns:xlink=" https://www.w3.org/1999/xlink "/> , the parameter in which the square root should be expanded. It would have been better to treat space and time on a more equal footing in the Schrödinger equation. This is what Dirac took as his starting point. As the Schrödinger equation is linear in https://www.w3.org/1998/Math/MathML"> p 0 = i ∂ / ∂ t https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429073601/03ca065d-1bf0-4218-811d-2f95276252a3/content/equ_605.tif" xmlns:xlink=" https://www.w3.org/1999/xlink "/> , one is looking for a Hamiltonian that is linear in the momenta https://www.w3.org/1998/Math/MathML"> p j = i ∂ / ∂ x j ( = − p j ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429073601/03ca065d-1bf0-4218-811d-2f95276252a3/content/equ_606.tif" xmlns:xlink=" https://www.w3.org/1999/xlink "/> ). ( 12.1 ) https://www.w3.org/1998/Math/MathML"> i ∂ Ψ ∂ t = H Ψ = − i α k ∂ Ψ ∂ x k + β m Ψ . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429073601/03ca065d-1bf0-4218-811d-2f95276252a3/content/equ_607.tif" xmlns:xlink=" https://www.w3.org/1999/xlink "/>
The orbital angular momentum operator has been introduced by Postulate 2 as a vector operator L → ^ = r → × p → ^ https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003078265/e77b8ce0-ccb3-48ed-9f6d-a84c8cb529c5/content/inline-eqn8_1_B.tif"/> whose Cartesian components, Eq.(2.18) , correspond to those of the classical observable for a single particle. As a consequence of Postulate 4, the components L ^ x https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003078265/e77b8ce0-ccb3-48ed-9f6d-a84c8cb529c5/content/inline-eqn8_2_B.tif"/> , L ^ y https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003078265/e77b8ce0-ccb3-48ed-9f6d-a84c8cb529c5/content/inline-eqn8_3_B.tif"/> and L ^ z https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003078265/e77b8ce0-ccb3-48ed-9f6d-a84c8cb529c5/content/inline-eqn8_4_B.tif"/> do not commute with one another, Eq.(4.47) , and all commute with L ^ 2 https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003078265/e77b8ce0-ccb3-48ed-9f6d-a84c8cb529c5/content/inline-eqn8_5_B.tif"/> , and this implies that the eigenstates of L → ^ https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003078265/e77b8ce0-ccb3-48ed-9f6d-a84c8cb529c5/content/inline-eqn8_6_B.tif"/> are simultaneous eigenfunctions of L ^ 2 https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003078265/e77b8ce0-ccb3-48ed-9f6d-a84c8cb529c5/content/inline-eqn8_7_B.tif"/> and of one component L ^ i https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003078265/e77b8ce0-ccb3-48ed-9f6d-a84c8cb529c5/content/inline-eqn8_8_B.tif"/> , at a time. Similar properties are exhibited by the angular momentum vector operator of a system of particles, which is defined as the vector sum over the individual particle operators: J → ^ = ∑ p L → ^ ( p ) , J ^ 2 = J ^ x 2 + J ^ y 2 + J ^ z 2 https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003078265/e77b8ce0-ccb3-48ed-9f6d-a84c8cb529c5/content/eqn8_108_B.tif"/> such that, because the coordinate and momentum operator for two different particles are commuting operators, we have: 8.1 [ J ^ x , J ^ y ] = [ ∑ p L ^ x ( p ) , ∑ q L ^ y ( q ) ] = ∑ p ∑ q [ L ^ x ( p ) , L ^ y ( q ) ] = ∑ p [ L ^ x ( p ) , L ^ y ( q ) ] = i h ∑ p [ L ^ z ( p ) = i h J ^ z https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003078265/e77b8ce0-ccb3-48ed-9f6d-a84c8cb529c5/content/eqn8_1_B.tif"/> and similarly: 8.2 [ J ^ y , J ^ z ] = i h J ^ x , [ J ^ z , J ^ x ] = i h J ^ y https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003078265/e77b8ce0-ccb3-48ed-9f6d-a84c8cb529c5/content/eqn8_2_B.tif"/>