User:Maschen/Spin wave function

In physics, specifically quantum mechanics and relativistic quantum mechanics, a spin wave function is a wave function for a particle with spin. This article concentrates on the position and spin degrees of freedom a particle has, other variables can also be accounted for.

The concept of a wave function is a fundamental postulate of quantum mechanics, which can be formulated very generally in any suitable set of observable quantities. This article concentrates on wave functions for particles of any spin, in non relativistic and non relativistic quantum mechanics.

Elementary particles have the property of a "built-in" angular momentum, called spin. The wave function for a particle with spin can be expressed as a single complex number with dependence on space, time, and spin, or an array of complex numbers with dependence on space and time only. The space in either case may be referred to as "position-spin space".

The wave function has a different dependence on spin than it does for space and time. For one thing, all three position coordinates of the particle r = (x, y, z) can be known simultaneously, but not all the components of the particle's spin vector S = (Sx, Sy, Sz) can be known simultaneously, only one component and the square of its magnitude |S|2 can. (These facts follows from the commutation relations of the position and spin operators). This means all three position coordinates can be placed as variables in the wave function, but only one spin direction can be a variable. For the case of spin, we choose a direction and project the spin along that direction. A conventional, but arbitrary, choice is the z-direction, which will be considered in detail first. Other directions can be obtained from the z-component of spin if the wave function is transformed appropriately.

For another thing, unlike r and t which are continuous variables, spin is a discrete variable, for a particle of spin s there are 2s + 1 values along any direction. (The exception is in 2d space, where particles called anyons can have continuous spin, but these are not considered here).

Spin-1/2

edit

The spin projection quantum number along the z axis is denoted sz, and for a particle with spin s the allowed values are only s, s − 1, ... , −s + 1, −s, and no other values. For example, for a spin-1/2 particle, sz can only be the two values +1/2 or −1/2. The case of spin-1/2 will be exemplified below for simplicity, concreteness, and practical interest - all the leptons and quarks which constitute matter are elementary particles with spin-1/2.

As a single complex number, it is a linear combination of space functions and basis spin functions:

 

The space functions corresponding to individual, definite values of sz are ψ−1/2z and ψ1/2z, which take in space coordinates and time and return a complex number. The basis spin functions ξ−1/2z and ξ1/2z take in the spin number and return a complex number.

Often, the complex values of the wave function for all the spin numbers are arranged into a column vector, in which there are as many entries in the column vector as there are allowed values of sz. In this case, the spin dependence is placed in indexing the entries and the wave function is a complex vector-valued function of space and time only:

 

The connection between the "scalar-valued" and "vector-valued" wave functions is the following. As with all discrete observables in quantum mechanics, the eigenstate Ψ(r, t) of the z-component spin operator can be expanded as a linear combination of the eigenvectors χszz of the operator, in other words the χszz form a basis and the functions Ψ(r, t, sz) are the complex components of the vector:

 

where the eigenvectors have entries given by the spin basis functions above,

 

in full

 
 

so for the case of the z-projection, the spin functions can be defined simply by the Kronecker delta,

 

Substitution of any allowed spin number yields the particular component of the entire wave function for that spin number. This motivates the notation:

 

which may be misleading since the spin number is a variable, not just an index.

Shall we include the x and y directions? Probably not...

The basis spin functions for the x and y directions can be found in a similar procedure to the above. For the x-direction the eigenvectors of the x-component spin operator are

 
 

and spin functions can be taken to be

 

For the y-direction the eigenvectors of the y-component of the spin operator are

 
 

and spin functions can be taken to be

 

The basis spin functions are different if the spin is projected along a different direction. In the direction of the spatial unit vector, using spherical coordinates θ for the polar angle from the z-axis and φ for the azimuthal angle in the xy-plane from the x-axis:

 

the wave function in scalar form reads

 

or arranging the components into the column vector form,

 

expanding this as a linear combination of the eigenvectors of the n-component spin operator:

 

where

 
 

and the spin functions depend on the angles,

 

The relation from the z-projection basis χszz to the n-projection basis χsnn is a change of basis.

Higher spin

edit

The extension to the general case of a particle with higher spin is straightforward in principle, but finding the basis spin functions, for arbitrary spin, is nontrivial for directions other than the z-axis.

Spin operator (for reference)

edit

To determine the spin functions and components of the spin operator for any s, first neglect the spatial dependence of the wave function (the dependence on position can be introduced later), so that the wave function depends on the spin only. Write the action of the spin operator on the wave function generally as

 

where φ is the new function obtained from the action of the spin operator on ψ, and Sσσ′ are constant complex numbers which make up the spin operator. The indices σ,σ′ each take the allowed spin values (s, −s + 1, ..., s − 1, s). This is a general way to write an operator on a function of a discrete variable, and is easily put into a matrix form

 

Using the common convention, taking the z direction to be the direction of measuring the spin along, and introducing the spin ladder operators which are defined to obtain the spin states with higher or lower spin quantum numbers,

 

the nonzero elements for the Cartesian components of the spin operator are

 
 
 

or explicitly as (2s + 1)×(2s + 1) matrices

 
 
 

Then the spin operator for an arbitrary direction is easily constructed out of these and the unit direction vector n in spherical coordinates

 

Eigenvectors and spin functions

edit

For the z-direction, as for the spin-1/2 case, the 2s + 1 components of the wave function can be expressed as a single complex number as a function of position, time, and spin

 

where the spin functions ξ are functions of spin only.

Each Ψ(r, t, σ) can be arranged into a column vector, and the spin dependence is placed in indexing the entries and the wave function is a complex vector-valued function of space and time only,

 

Expanding as a linear combination of the eigenvectors of the z-component spin operator,

 

where the eigenvectors are explicitly

 

The action of the z-component spin operator on these eigenvectors χσz yields the corresponding eigenvalues ħσ. By inspection, the entries (spin basis functions) of the column χσ′z are just Kronecker deltas,

 

The process can be repeated for spin operator components along the x, y, or n directions, although the spin eigenvectors and basis spin functions are less trivial to determine in the general case for any spin.

Factorization

edit

In some situations, the wave function factors into a product of a space function and a spin function, and the time dependence could be placed in either function:

 

The dynamics of each factor can be studied in isolation. This factorization is always possible for potentials or interactions which do not depend on the spin of the particle, the simplest case is the free particle. This is not possible for certain interactions, when an external field or any space-dependent quantity couples to the spin. Mathematically, this may appear as the dot product of the field or quantity with the spin operator in the Hamiltonian operator of the Schrödinger equation. For example, a particle in a magnetic field B is influenced by the field because of the magnetic moment corresponding to the spin, the interaction term is B · S. Another example is spin-orbit coupling, the orbital angular momentum L couples to the spin in the term L · S. These terms prevent factorization because the position coordinates are mixed into the spin operators, which are matrices that multiply the column matrix wave functions above.

Spinor formulation

edit

Spin-1/2 particle

edit

A wave function for one spin-1/2 particle above

 

is a spinor, where ψ corresponds to spin +1/2 along some direction (for concreteness the z-direction as standard), and ψ to spin −1/2 along the same direction. The complex numbers ψ and ψ are the components of the spinor.

The wavefunction transforms according to

 

where U is the transformation matrix, containing parameters of the transformation (for concreteness, they may be the Euler angles of a rotation of coordinate axes, in relativistic quantum mechanics not considered here, the transformation may be a Lorentz boost).

For any spin-1/2 wave functions, tensor index notation including the summation convention carries over to spinor index notation. For example, ψα corresponds to the two components. Actually, the index should take numerical values and we should denote α = 1, 2 or α = 0, 1, but to account for either convention and make the link between spin and index clear, here we denote α = ↑, ↓. Notational conventions in summary are

Example of usage Spin up index Spin down index
Example
Example 1 2
Example 1 0
Example 1/2 −1/2

The tensor product of two spinors ψ and φ has components ψαφβ, and two indices can be contracted ψαφα (sum over α). As in tensor algebra, lower indices are covariant, upper indices are contravariant, and raising and lowering indices is done via the metric spinor, e.g.

 

but the components of the metric spinor g are different to a metric tensor.

Spin-n/2 particle

edit

A system of n spin-1/2 distinguishable particles[1] is equivalent to a spin n/2 particle, because the maximum possible total spin of the system, along any direction, will be n/2.

The wavefunction of the spin n/2 particle is the tensor product of n = 2s spin-1/2 wave functions,

 

There appears to be 2(2s) = 4s components, since there are 2s indices and each index takes just two values. However, many will coincide because of symmetry in the indices.

The component for any value of spin projection can be found by looking at the indices. In the general case, the component

 

corresponds to the spin projection number σ taking any of the allowed spin values s, −s + 1, ..., s − 1, s, because each ↑ index corresponds to +1/2, and each ↓ index corresponds to −1/2, so the total spin is

 

The extreme cases are σ = −s (no indices are ↑ while all 2s indices are ↓) and σ = +s (all 2s indices are ↑ while no indices are ↓).

The spinor Ψ is symmetric in all indices. Out of 2s indices, the number of ways of choosing s + σ indices to be ↑ (the remaining s − σ indices will be ↓) is the binomial coefficient

 

In other words, this is the number of components that correspond to the same spin projection number σ, which are all equal. The number of values of σ is 2s + 1, so the number of independent components the wave function Ψ has is also 2s + 1.

The connection between a wave function for a given spin projection, and the spinor components, are found from the probability density of finding the particle at position r and time t,

 

which must be a scalar. The general result is

 

for each value of σ.

Many particle systems

edit

The wave function of a system of N particles is a single function of all their position coordinates, spins, and time;

 

If all the particles are distinguishable, then there are no requirements on the arguments of the wave function. However, for identical particles there are symmetry requirements; antisymmetry for identical bosons, and symmetry for identical bosons.

Wave functions for particles with spin and orbital angular momentum

edit

Relativistic formulation

edit

See also

edit

Footnotes

edit

Notes

edit
  1. ^ ... n copies of the same spin-1/2 particle, then take tensor product, or n distinguishable spin-1/2 particles all in the same system? L&L QM p.208 just says "an assembly of spin-1/2 particles". L&L presumably mean "distinguishable", because their tensor product expression uses different symbols for each spin-1/2 wavefunction, and if not distinguishable symmetry requirements would be too strong.

References

edit
  • Atkins, P. W. (1974). Quanta: A Handbook of Concepts. ISBN 0-19-855494-X.
  • Dirac, P. A. M. (1982). The principles of quantum mechanics. The international series on monographs on physics (4th ed.). Oxford University Press. ISBN 0-19-852011-5.
  • Eisberg, R.; Resnick, R. (1985). Quantum Physics of Atoms, Molecules, Solids, Nuclei and Particles (2nd ed.). John Wiley & Sons. ISBN 978-0-471-87373-0.
  • Griffiths, D. J. (2004). Introduction to Quantum Mechanics (2nd ed.). Essex England: Pearson Education Ltd. ISBN 978-0131118928.
  • Lerner, R.G.; Trigg, G.L. (1991). Encyclopaedia of Physics (2nd ed.). VHC Publishers. ISBN 0-89573-752-3.
  • Peleg, Y.; Pnini, R.; Zaarur, E.; Hecht, E. (2010). Quantum mechanics. Schaum's outlines (2nd ed.). McGraw Hill. ISBN 978-0-07-162358-2.
  • Shankar, R. (1994). Principles of Quantum Mechanics (2nd ed.). ISBN 0306447908.
  • Martin, B.R.; Shaw, G. (2008). Particle Physics. Manchester Physics Series (3rd ed.). John Wiley & Sons. ISBN 978-0-470-03294-7.
  • Tipler, P. A.; Mosca, G.; Freeman (2008). Physics for Scientists and Engineers – with Modern Physics (6th ed.). ISBN 978-0-7167-8964-2.
  • Weinberg, S. (2002), The Quantum Theory of Fields, vol. 1, Cambridge University Press, ISBN 0-521-55001-7
edit