Orbital-angular momentum

From Knowino

Jump to: navigation, search

See also angular momentum in quantum mechanics

In quantum mechanics, orbital angular momentum is a conserved property of a system of one or more particles that move in a centrally symmetric potential. An example is given by an atom: an atom consists of a number of electrons moving in the central field of a single nucleus. If the position of particle k with respect to the center of symmetry is r_k = (x_k, y_k, z_k) and if the momentum of the same particle is p_k, then the orbital angular momentum of particle k is defined by

$\boldsymbol{\ell}_k = \mathbf{r}_k\times \mathbf{p}_k ,$

where the symbol × indicates the cross product of two vectors. The total angular momentum of a system of N particles is

$\mathbf{L} = \sum_{k=1}^N \boldsymbol{\ell}_k.$

In the x-representation of quantum mechanics,^[1] the components of the vector r_k are seen as multiplicative operators and the momentum of particle k is replaced by a differential vector operator,

$\mathbf{p}_k \rightarrow - i \hbar \boldsymbol{\nabla}_k = -i\hbar \left( \frac{\partial}{\partial x_k},\; \frac{\partial}{\partial y_k},\; \frac{\partial}{\partial z_k}\right), \qquad k=1,2, \ldots, N.$

Note that the following relation, valid for the cross product of classical vectors, also holds for the corresponding quantum mechanical quantities,

$-i\hbar \mathbf{r} \times \boldsymbol{\nabla} = i\hbar\boldsymbol{\nabla} \times \mathbf{r} .$

In the p-representation of quantum mechanics r is replaced by a differentiation with respect to p (note the sign),

$r_\alpha \rightarrow i\hbar \frac{\partial}{\partial p_\alpha},\qquad \alpha=x,\,y,\,z,$

and the components of p are handled as multiplicative operators. It is uncommon to study angular momenta in the p-representation, and this approach will not be pursued further in this article.

Given two linear operators, A and B, mapping the same linear space into itself, a multiplication AB between the two is defined by applying first B and then A to an element of the space. This ordinary operator multiplication gives rise to a new product, called the Lie, or commutator, product, notated by square brackets:

$[A,B] := AB - BA \;.$

Since A and B are linear AB and BA are linear, too, and their difference is well-defined. If [A,B] = 0, the operators A and B are said to commute. Clearly, the Lie product is antisymmetric, that is, [A, B] = −[B, A]. The commutator product of linear operators plays an important role in quantum mechanics and in Lie theory, a branch of mathematics that is called after the Norwegian mathematician Sophus Lie (1842 – 1899).

The components of the orbital angular momentum (from here on in the x-representation) satisfy the following commutator (Lie) products,

$[L_x, \, L_y] = i\hbar L_z,\quad [L_z, \, L_x]= i\hbar L_y,\quad [L_y, \, L_z] = i\hbar L_x.$

The fact that L is a conserved quantity is expressed by the commutation with the Hamiltonian (energy operator)

$[H, L_\alpha] = 0, \quad \alpha=x,y,z.$

It can be shown that this condition is necessary and sufficient that the potential energy part of H be centrally symmetric.

[edit] Lie algebra

The three components $\{L_\alpha\;|\;\alpha=x,\, y,\, z\}$ of the quantum mechanical orbital-angular momentum span a Lie algebra. This statement will be explained in this section.

[edit] Definition of Lie algebra

The commutator (Lie) product mentioned above—more in particular the fact that the three orbital-angular momentum operators are closed under this product—together with the fact that a linear combination $c_1 L_x + c_2 L_y + c_3 L_z\,$ (with $c_1,\,c_2,\,c_3 \in \mathbb{C}$ ) is a well-defined linear operator, shows that the three operators span a three-dimensional linear space that is closed under the Lie product. Such a set is an algebra.

The algebra spanned by $\{L_\alpha\;|\;\alpha=x,\, y,\, z\}$ satisfies the Jacobi identity. This holds for any algebra consisting of linear operators. To show this, consider three arbitrary linear operators, A, B, and C, acting on the same space so that the ordinary operator multiplication giving AB, BC, etc., between them is defined. The following cyclic relation (the Jacobi relation) holds,

$[[A,B],C] + [[B,C],A]+[[C,A]],B] = 0 \; ,$

where the square brackets again indicate commutator products. The proof of the Jacobi identity follows directly from the following properties,

$\left. \begin{matrix} [AB, C] &= A[B,C] + [A,C]B \\ -[BA, C] &= - [B,C]A -B[A, C] \\ \end{matrix} \right\}\; \Longrightarrow\; [[A,B],C] = [A, [B,C]] + [[A,C],B].$

Using in both terms of the right-hand side the antisymmetry of the Lie product, the Jacobi identity identity follows. Note, parenthetically, that the Lie product is not associative,

$[[A,B],C] \ne [A, [B,C]] \quad\hbox{because in general}\quad [[A,C],B]\ne 0.$

An algebra satisfying the Jacobi identity and the properties that are obviously satisfied by the commutator product:

$[A,B] = -[B,A],\quad\hbox{and}\quad [c_1 A+ c_2 B, C] = c_1[A,C] + c_2[B,C]$

is a Lie algebra. It follows that the linear span of the orbital-angular momentum operators $\{L_\alpha\;|\;\alpha=x,\, y,\, z\}$ is a Lie algebra.

[edit] Lie algebra of full rotation matrix group

Usually Lie algebras are associated with Lie groups. The Lie algebra spanned by the components of the orbital-angular momentum, is associated with the full rotation group in three dimensions, often indicated by SO(3) (a Lie group). A common definition of SO(3) is as matrix group. It is the Special group consisting of real 3×3 Orthogonal matrices. The adjective "special" refers in this context to the matrices in SO(3) having unit determinant.

The Lie algebra of SO(3) consists of all possible real 3×3 antisymmetric matrices.^[2] The space of such matrices forms a Lie algebra spanned by the derivatives (at angle zero) of the following three elements of SO(3), representing rotations around the x, y, and z-axis, respectively,

$\frac{\partial}{\partial \alpha} \begin{pmatrix} 1 & 0 & 0\\ 0 & \cos\alpha & -\sin\alpha \\ 0 & \sin\alpha & \cos\alpha \\ \end{pmatrix}_{\alpha=0} = \begin{pmatrix} 0 & 0 & 0 \\ 0 & 0 & -1 \\ 0 & 1 & 0 \\ \end{pmatrix} =: \mathbf{K}_x$

$\frac{\partial}{\partial \beta} \begin{pmatrix} \cos\beta & 0 &\sin\beta \\ 0 & 1 & 0 \\ -\sin\beta & 0 & \cos\beta \\ \end{pmatrix}_{\beta=0} = \begin{pmatrix} 0 & 0 & 1 \\ 0 & 0 & 0 \\ -1 & 0 & 0 \\ \end{pmatrix} =: \mathbf{K}_y$

$\frac{\partial}{\partial \gamma} \begin{pmatrix} \cos\gamma & -\sin\gamma & 0 \\ \sin\gamma & \cos\gamma & 0 \\ 0 & 0 & 1 \\ \end{pmatrix}_{\gamma=0} = \begin{pmatrix} 0 & -1 & 0 \\ 1 & 0 & 0 \\ 0 & 0 & 0 \\ \end{pmatrix} =: \mathbf{K}_z$

Since antisymmetric matrices have zero diagonal and only the elements below the diagonal are free to choose (the elements above the diagonal follow by transposition), the three matrices K_x, K_y, and K_z form a basis for the 3-dimensional linear space of antisymmetric matrices. By ordinary matrix multiplication one verifies that [K_x, K_y] = K_xK_y - K_yK_x = K_z, etc., so that the set of antisymmetric matrices form a Lie algebra, the Lie algebra of the matrix group SO(3).

The Lie algebra of SO(3) is almost isomorphic with the Lie algebra spanned by orbital-angular momentum operators. The algebras become isomorphic when we define

$\mathbf{M}_\alpha := i \mathbf{K}_\alpha, \quad \alpha = x,\,y,\,z.$

and consider the Lie algebra spanned by the matrices M_α. While the matrices K are antisymmetric, the matrices M are Hermitian, that is M_i,j = M_j,i^∗, where ∗ stands for complex conjugation of a complex number. So, there is an algebra isomorphism (one-to-one, multiplication preserving) between the Lie algebras spanned by the operators $\{L_\alpha\;|\;\alpha=x,\, y,\, z\}$ and by the matrices $\{\mathbf{M}_\alpha\;|\;\alpha=x,\, y,\, z\}$ . However, the algebras consist of completely different objects. The former are linear operators on a space of functions (an infinite dimensional Hilbert space) and the latter are 3×3 matrices, that are—if you wish—linear operators on a three dimensional vector space.

[edit] Lie derivatives

In this section it will be shown that the three components of the one-particle orbital-angular momentum operator are (up to the factor $i\hbar$ ) equal to so-called Lie derivatives. The Lie derivatives form a Lie algebra that (apart from the factor) is isomorphic to the Lie algebra spanned by the $\{\ell_\alpha\;|\;\alpha=x,\,y,\,z\}$

[edit] Definition of full rotation group in terms of Hilbert space operators

In order to relate the orbital-angular momentum operators (that act on a Hilbert space of functions) to the full rotation group SO(3), other than by the observation that the linear operators $\{\ell_\alpha\}$ and $\{L_\alpha\}\;$ are in 1-1 correspondence with the 3×3 matrices M_α, it is necessary to redefine SO(3) from a group of matrices to a group of operators acting on the same Hilbert space as the orbital-angular momenta $\{\ell_\alpha\}$ .

This needs the following definitions. First let r = (r₁, r₂, r₃)^T be a real column vector and let R be a real 3×3 orthogonal matrix with unit determinant, a proper rotation matrix. The inverse of R is well-defined. Let ψ(r) be a real- or complex-valued function defined on all of $\;\mathbb{R}^3\;$ . A rotation operator $\;\mathcal{R}\;$ acting on ψ is defined by

$\mathcal{R} \psi(\mathbf{r}) = \psi (\mathbf{R}^{-1}\, \mathbf{r}),\quad \forall \mathbf{r}\in \mathbb{R}^3.$

The inverse rotation matrix appears here to preserve multiplication order in the map from matrix to operator:

$\mathbf{R}_1\mathbf{R}_2 \mapsto \mathcal{R}_1\mathcal{R}_2.$

The set $\{\mathcal{R}\}$ forms a group that is a homomorphic image of the matrix group SO(3). If, for instance, a function space is considered consisting of one spherically symmetric function ψ the group $\{\mathcal{R}\}$ consists of one element only: the identity. However, usually the function spaces considered are so large that there is an isomorphism, and it is common to assume this, and to denote the set of rotation operators also by SO(3).

[edit] Redefinition of Lie algebra of SO(3) in terms of Lie derivatives

As above, one passes from a Lie group to its Lie algebra by differentiating at zero angle, but this time a rotated function is differentiated. In this differentiation one needs to assume that the rotated function is differentiable for any rotation. Because a rotation is characterized by three angles α, β, γ, partial derivatives will appear. In handling partial derivatives it is convenient to avoid differentials by introducing the "time" t, and to assume that the rotation angles are functions of t: α(t), β(t), and γ(t), such that α(0) = β(0) = γ(0) = 0. The zero rotation angles parametrize the identity rotation $\mathcal{I}$ in SO(3).

Any rotation operator acting on functions ψ(r) can be written as a function of three angles,

$\mathcal{R}\big(\alpha(t), \beta(t), \gamma(t)\big)\quad\hbox{with}\quad \mathcal{R}\big(\alpha(0), \beta(0), \gamma(0)\big) = \mathcal{R}(0,0,0) = \mathcal{I}.$

The set

$\mathcal{R}(t):=\mathcal{R}\big(\alpha(t), \beta(t), \gamma(t)\big), \qquad t \in \mathbb{R},$

is a curve in the operator group SO(3). Differentiation at t = 0 gives the tangent of the curve at the identity. It will be shown that the tangent of any curve can be expressed linearly in terms of the three orbital-angular momentum operators, or in other words, the tangent space at the identity of the operator group SO(3) has as basis $\{\ell_\alpha\;|\;\alpha=x,\,y,\,z\}$ .

To prove this, it is noted that an arbitrary rotation can be factored in rotations around x, y, and z, successively (see this article for a proof). The order of factors is not unique (but different order gives different angles) and the factors do not commute because the rotations are around different axes. However, after differentiation one obtains a tangent vector of the curve that does not depend on the order, and hence we may write without loss of generality,

$\mathcal{R}(t) = \mathcal{R}_z\big(\alpha(t)\big)\; \mathcal{R}_y\big(\beta(t)\big)\; \mathcal{R}_x\big(\gamma(t)\big).$

Consider

$\left[ \frac{d \mathcal{R}(t) \psi(\mathbf{r} ) } {dt} \right]_{t=0} = \left[ \frac{d \psi(\mathbf{R}(t)^{-1}\mathbf{r} ) } {dt} \right]_{t=0}\quad\hbox{with}\quad \mathbf{R}(t) = \mathbf{R}_z\big(\alpha(t)\big)\; \mathbf{R}_y\big(\beta(t)\big)\; \mathbf{R}_x\big(\gamma(t)\big).$

By the chain rule, using the short-hand notation s(t) = R(t)⁻¹ r and noting that for t = 0, s(0) = r, one gets

$\left[ \frac{d \mathcal{R}(t) \psi(\mathbf{r} ) } {dt} \right]_{t=0} = \left[ \frac{d \psi(\mathbf{s}(t) ) } {dt} \right]_{t=0} = \sum_{i=1}^3 \frac{\partial \psi(\mathbf{r}) } {\partial r_i} \left[ \frac{d s_i(t)}{dt} \right]_{t=0} = \boldsymbol{\nabla}\psi \cdot \left[ \dot{\mathbf{s}} \right]_{t=0}, \qquad\qquad\qquad\qquad\qquad (1)$

where ∇ is the nabla operator introduced above, and a dot above a symbol stands for a time derivative of the symbol.

The differentiation of s(t) = R(t)⁻¹r at t = 0 is simple. Indeed, on the one hand,

$\frac{d\mathbf{R}(t)^{-1}\mathbf{R}(t)}{dt} = \frac{d\mathbf{I}(t)}{dt} = \mathbf{0}.$

On the other hand by the product rule of differentiation (that holds for matrix products) and using that R(0) = R(0)⁻¹= I, one finds

$\left[\frac{d\mathbf{R}(t)^{-1}\mathbf{R}(t)}{dt}\right]_{t=0} = \left[\frac{d\mathbf{R}(t)^{-1}}{dt}\right]_{t=0} +\left[\frac{d\mathbf{R}(t)}{dt}\right]_{t=0} = \mathbf{0},$

so that

$\left[\frac{d\mathbf{R}(t)^{-1}}{dt}\right]_{t=0} = - \left[\frac{d\mathbf{R}(t)}{dt}\right]_{t=0}.$

Then,

$\begin{align} \left[\dot{\mathbf{s}}\right]_{t=0} &= \left[ \frac{d \mathbf{R}^{-1}}{dt}\right]_{t=0} \; \mathbf{r} \\ &= - \left[ \frac{d\mathbf{R}_z(\alpha(t))}{dt}\mathbf{R}_y(\beta(t))\mathbf{R}_x(\gamma(t)) + \mathbf{R}_z(\alpha(t))\frac{d\mathbf{R}_y(\beta(t))}{dt}\mathbf{R}_x(\gamma(t)) + \mathbf{R}_z(\alpha(t))\mathbf{R}_y(\beta(t))\frac{d\mathbf{R}_x(\gamma(t))}{dt} \right]_{t=0}\,\mathbf{r} \\ &=- \left[\frac{d\mathbf{R}_z(\alpha(t))}{dt} + \frac{d\mathbf{R}_y(\beta(t))}{dt}+\frac{d\mathbf{R}_x(\gamma(t))}{dt}\right]_{t=0}\,\mathbf{r}\\ \end{align}$

because, again, the matrices R_z(α(t))=R_z(t), etc. are identity matrices for t = 0.

By the chain rule

$\left[\frac{d\mathbf{R}_z(\alpha(t))}{dt}\right]_{t=0} = \left[\frac{\partial \mathbf{R}_z(\alpha(t))}{\partial \alpha}\right]_{\alpha = 0} \left[\frac{d \alpha}{dt}\right]_{t=0} = \mathbf{K}_z \; \dot{\alpha}(0),$

where the matrix K_z was introduced in the previous section. Analogous expressions hold for the differentiation of the other two matrices and one obtains

$\big[ \dot{\mathbf{s}}\big]_{t=0} = - \left[\mathbf{K}_x\; \omega_x + \mathbf{K}_y\; \omega_y + \mathbf{K}_z\; \omega_z\right] \; \mathbf{r}$

where the tangent vector in the linear space spanned by K_x, K_y, K_z is given by the component vector ω,

$\boldsymbol{\omega} := \Big( \dot{\gamma}(0),\;\dot{\beta}(0),\;\dot{\alpha}(0) \Big) \quad\hbox{where}\quad \dot{\gamma}(0) :=\left(\frac{d \gamma}{dt}\right)_{t=0}, \quad \dot{\beta }(0) :=\left(\frac{d \beta }{dt}\right)_{t=0}, \quad \dot{\alpha}(0) :=\left(\frac{d \alpha}{dt}\right)_{t=0}.$

Note that matrix multiplication in the group is associated with matrix addition in the Lie algebra spanned by the matrices K_x, K_y, and K_z. This association is analogous to the multiplication of ordinary exponential functions

$\left(\frac{de^{at}\, e^{bt}}{dt}\right)_{t=0} = a+b,\qquad a,b \in \mathbf{R}.$

The analogy is no coincidence, below it will be shown that the elements of the rotation group can be written as (products of) exponential functions.

By the use of the explicit forms of the antisymmetric matrices K_α given in the previous section and by inspection:

$\big[ \dot{\mathbf{s}}\big]_{t=0} = - \begin{pmatrix} 0 & -\omega_z & \omega_y \\ \omega_z & 0 & -\omega_x \\ -\omega_y & \omega_x & 0 \\ \end{pmatrix} \begin{pmatrix} x \\ y\\ z\\ \end{pmatrix} =-\begin{pmatrix} -\omega_z y + \omega_y z \\ \omega_z x - \omega_x z\\ -\omega_y x + \omega_x z\\ \end{pmatrix} = -\boldsymbol{\omega}\times \mathbf{r},$

where × stands for a vector product, which is antisymmetric in its factors. Using Eq. (1) one obtains

$\left[ \frac{d \mathcal{R}(t) \psi(\mathbf{r} ) } {dt} \right]_{t=0} =\left[ \frac{d \psi( \mathbf{s}(t) ) }{dt}\right]_{t=0} = - \big(\boldsymbol{\omega}\times \mathbf{r}\big)\cdot \boldsymbol{\nabla}\psi = -\boldsymbol{\omega} \cdot \big(\mathbf{r}\times\boldsymbol{\nabla} \psi(\mathbf{r})\big),$

where in the last equality a well-known property of the vector triple product is applied. In group theory the operator ω⋅(r×∇) (acting on ψ) is known as the Lie derivative of ψ along the tangent ω at the identity. The Lie derivative is sometimes written as $\mathcal{L}_{\mathbf{\omega}}$ .^[3] The general definition of the Lie derivative of the Lie group SO(3) is:

$\mathcal{L}_{\boldsymbol{\omega}} \psi := \left[ \frac{d \psi(\mathbf{R}(t)^{-1} \mathbf{r} ) }{dt}\right]_{t=0}, \qquad \mathbf{R}(t) \in \mathrm{SO(3)},$

where the curve R(t) passes through the identity matrix R(0) = I with tangent ω.

Remember that

$-\mathbf{r}\times\boldsymbol{\nabla} = \frac{1}{i\hbar} \boldsymbol{\ell}$

forms a Lie algebra, and the final equation

$i\hbar\mathcal{L}_\boldsymbol{\omega}= i\hbar \left[ \frac{d \mathcal{R}_z\big(\alpha(t)\big)\;\mathcal{R}_y\big(\beta(t)\big)\;\mathcal{R}_x\big(\gamma(t)\big) } {dt} \right]_{t=0} = \Big( \omega_z \ell_z + \omega_y \ell_y + \omega_z \ell_x\Big)= \Big( \dot{\alpha}(0) \ell_z +\dot{\beta}(0) \ell_y +\dot{\gamma}(0) \ell_x\Big)$

gives the relation between the Lie algebra spanned by the orbital-angular momentum operators $\{\ell_\alpha\;|\;\alpha=x,\,y,\,z\}$ and the rotation group SO(3) consisting of operators $\mathcal{R}(\alpha, \beta, \gamma)$ . The function ψ does not play any role and is dropped from the equation. The rotation operators act on the same function space as the angular momentum operators.

[edit] One-dimensional application

Let us consider the case β = γ = 0, so that the only rotation is around the z-axis over an angle α(t). This gives from the previous result,

$i\hbar \left(\frac{d \mathcal{R}_z\big(\alpha(t)\big) } {dt}\right)_{t=0} = \dot{\alpha}(0)\; \ell_z.$

The chain rule gives

$i\hbar \left(\frac{d \mathcal{R}_z\big(\alpha(t)\big) } {dt}\right)_{t=0} = i\hbar \left(\frac{d \mathcal{R}_z\big(\alpha\big) } {d\alpha}\right)_{\alpha=0} \dot{\alpha}(0)$

Hence,

$i\hbar \left(\frac{d \mathcal{R}_z\big(\alpha\big) } {d\alpha}\right)_{\alpha=0} = \ell_z.$

Remember that

$\left(\frac{d \mathcal{R}_z\big(\alpha\big) } {d\alpha}\right)_{\alpha=0}= \lim_{\Delta \alpha \rightarrow 0} \frac{\mathcal{R}_z\big(\Delta \alpha\big) - \mathcal{R}_z\big(0)}{\Delta \alpha}$

and that for rotations around one fixed axis it holds that

$\mathcal{R}_z\big(\alpha\big)\mathcal{R}_z\big(\Delta \alpha\big)= \mathcal{R}_z\big(\alpha + \Delta \alpha\big).$

Then multiplying left and right-hand side:

$i\hbar\lim_{\Delta \alpha \rightarrow 0} \frac{\mathcal{R}_z\big(\alpha + \Delta \alpha\big) - \mathcal{R}_z\big(\alpha\big)}{\Delta \alpha} = \mathcal{R}_z\big(\alpha\big) \ell_z.$

Since the rotation around z commutes with $\ell_z$ the order of the factors on the right hand side is free. We arrive at the differential equation

$i\hbar \frac{d \mathcal{R}_z\big(\alpha\big)} {d\alpha} = \mathcal{R}_z\big(\alpha\big) \ell_z$ .

Integration gives

$\mathcal{R}_z\big(\alpha\big) = \exp\left[-i \alpha \ell_z/\hbar\right].$

This is a well-known and often used expression for a rotation operator in terms of the orbital-angular momentum operator.

Consider an infinitesimal rotation Δα, that is, (Δα)² << Δα then expansion of the exponent can be truncated after two terms

$\mathcal{R}_z\big(\Delta\alpha\big) = \mathcal{I} -i \frac{\Delta\alpha}{\hbar} \ell_z.$

This equation is the source of the often found statement that the component of an orbital-angular momentum is the generator of an infinitesimal rotation.

[edit] Notes

↑ A. Messiah, Quantum Mechanics, North Holland, Amsterdam (1967) Chapter VII
↑ A matrix M = (M_i,j) is antisymmetric if M_i,j = −M_j,i for all i and j.
↑ W. Miller, Jr. Symmetry Groups and their Applications, Academic Press, Vol. 50 in Pure and Applied Mathematics, New York (1972), p. 189

[0] A. Messiah, Quantum Mechanics, North Holland, Amsterdam (1967) Chapter VII

[1] A matrix M = (M_i,j) is antisymmetric if M_i,j = −M_j,i for all i and j.

[2] W. Miller, Jr. Symmetry Groups and their Applications, Academic Press, Vol. 50 in Pure and Applied Mathematics, New York (1972), p. 189

[1]

[2]

[3]

Orbital-angular momentum

Contents

[edit] Lie algebra

[edit] Definition of Lie algebra

[edit] Lie algebra of full rotation matrix group

[edit] Lie derivatives

[edit] Definition of full rotation group in terms of Hilbert space operators

[edit] Redefinition of Lie algebra of SO(3) in terms of Lie derivatives

[edit] One-dimensional application

[edit] Notes

Personal tools

Namespaces

Variants

Views

Actions

Search

Navigation

Community

Toolbox