Physlib

Physlib.QuantumMechanics.HarmonicOscillator.LadderOperators

Ladder operators

This is currently a stub, intended to house the ladder operators of the quantum harmonic oscillator.

A. Ladder operators

B. Number operators

C. Hamiltonian

18 declarations

definition

ii-th lowering operator aia_i on the Schwartz space S(Space d,C)\mathcal{S}(\text{Space } d, \mathbb{C})

For a quantum harmonic oscillator in dd dimensions, the ii-th lowering (or annihilation) operator aia_i is a continuous linear map on the Schwartz space S(Space d,C)\mathcal{S}(\text{Space } d, \mathbb{C}). It is defined by the relation: ai=12(x^iξi+iξiℏp^i) a_i = \frac{1}{\sqrt{2}} \left( \frac{\hat{x}_i}{\xi_i} + i \frac{\xi_i}{\hbar} \hat{p}_i \right) where x^i\hat{x}_i is the ii-th position operator, p^i\hat{p}_i is the ii-th momentum operator, ξi\xi_i is the characteristic length scale of the oscillator in the ii-th dimension, and ℏ\hbar is the reduced Planck constant.

definition

Raising operator a^i†\hat{a}_i^\dagger of the quantum harmonic oscillator

For a quantum harmonic oscillator in dd dimensions, the ii-th raising (or creation) operator a^i†\hat{a}_i^\dagger is defined as a continuous linear map on the Schwartz space S(Space d,C)\mathcal{S}(\text{Space } d, \mathbb{C}). Given the characteristic length ξi\xi_i, the position operator x^i\hat{x}_i, and the momentum operator p^i\hat{p}_i, the raising operator is given by: a^i†=12(1ξix^i−iξiℏp^i)\hat{a}_i^\dagger = \frac{1}{\sqrt{2}} \left( \frac{1}{\xi_i} \hat{x}_i - \frac{i \xi_i}{\hbar} \hat{p}_i \right) where ℏ\hbar is the reduced Planck constant and ii is the imaginary unit.

theorem

ai=12(1ξix^i+iξiℏp^i)a_i = \frac{1}{\sqrt{2}} \left( \frac{1}{\xi_i} \hat{x}_i + \frac{i \xi_i}{\hbar} \hat{p}_i \right)

For a quantum harmonic oscillator in dd dimensions, the ii-th lowering operator aia_i is expressed in terms of the ii-th position operator x^i\hat{x}_i and the ii-th momentum operator p^i\hat{p}_i as: ai=12(1ξix^i+iξiℏp^i) a_i = \frac{1}{\sqrt{2}} \left( \frac{1}{\xi_i} \hat{x}_i + \frac{i \xi_i}{\hbar} \hat{p}_i \right) where ξi\xi_i is the characteristic length of the oscillator in the ii-th dimension, ℏ\hbar is the reduced Planck constant, and ii in the numerator is the imaginary unit.

theorem

Definition of the raising operator a^i†\hat{a}_i^\dagger in terms of x^i\hat{x}_i and p^i\hat{p}_i

For a quantum harmonic oscillator in dd dimensions, the ii-th raising (or creation) operator a^i†\hat{a}_i^\dagger acting on the Schwartz space S(Rd,C)\mathcal{S}(\mathbb{R}^d, \mathbb{C}) is given by the expression: a^i†=12(1ξix^i−iξiℏp^i)\hat{a}_i^\dagger = \frac{1}{\sqrt{2}} \left( \frac{1}{\xi_i} \hat{x}_i - \frac{i \xi_i}{\hbar} \hat{p}_i \right) where x^i\hat{x}_i is the ii-th position operator, p^i\hat{p}_i is the ii-th momentum operator, ξi\xi_i is the characteristic length of the oscillator in the ii-th dimension, and ℏ\hbar is the reduced Planck constant.

theorem

(2)2=2(\sqrt{2})^2 = 2 in C\mathbb{C}

In the field of complex numbers C\mathbb{C}, the square of the real square root of 22 is equal to 22. That is, (2)2=2(\sqrt{2})^2 = 2.

theorem

[ai,aj†]=δij1[a_i, a_j^\dagger] = \delta_{ij} \mathbb{1}

For a quantum harmonic oscillator in dd dimensions, the commutator of the ii-th lowering operator aia_i and the jj-th raising operator aj†a_j^\dagger acting on the Schwartz space S(Space d,C)\mathcal{S}(\text{Space } d, \mathbb{C}) is equal to the Kronecker delta δij\delta_{ij} times the identity operator 1\mathbb{1}. That is, [ai,aj†]=δij1 [a_i, a_j^\dagger] = \delta_{ij} \mathbb{1}

theorem

[ai,aj]=0[a_i, a_j] = 0 for Lowering Operators

For a dd-dimensional quantum harmonic oscillator, let aia_i and aja_j be the ii-th and jj-th lowering (annihilation) operators acting on the Schwartz space S(Rd,C)\mathcal{S}(\mathbb{R}^d, \mathbb{C}). The commutator of these operators is zero, denoted as [ai,aj]=0[a_i, a_j] = 0.

theorem

Commutation of Raising Operators [a^i†,a^j†]=0[\hat{a}_i^\dagger, \hat{a}_j^\dagger] = 0

For a quantum harmonic oscillator in dd dimensions, the commutator of the ii-th and jj-th raising (creation) operators a^i†\hat{a}_i^\dagger and a^j†\hat{a}_j^\dagger acting on the Schwartz space S(Space d,C)\mathcal{S}(\text{Space } d, \mathbb{C}) is zero: [a^i†,a^j†]=0[\hat{a}_i^\dagger, \hat{a}_j^\dagger] = 0

theorem

[ai†,aj]=−δij1[a_i^\dagger, a_j] = -\delta_{ij} \mathbb{1}

For a quantum harmonic oscillator in dd dimensions, the commutator of the ii-th raising operator ai†a_i^\dagger and the jj-th lowering operator aja_j, acting on the Schwartz space S(Rd,C)\mathcal{S}(\mathbb{R}^d, \mathbb{C}), is given by [ai†,aj]=−δij1, [a_i^\dagger, a_j] = -\delta_{ij} \mathbb{1}, where δij\delta_{ij} is the Kronecker delta and 1\mathbb{1} is the identity operator.

theorem

x^i=ξi2(ai+ai†)\hat{x}_i = \frac{\xi_i}{\sqrt{2}} (a_i + a_i^\dagger)

For a quantum harmonic oscillator in dd dimensions, the ii-th position operator x^i\hat{x}_i acting on the Schwartz space S(Space d,C)\mathcal{S}(\text{Space } d, \mathbb{C}) can be expressed in terms of the ii-th lowering operator aia_i and the ii-th raising operator ai†a_i^\dagger as: x^i=ξi2(ai+ai†)\hat{x}_i = \frac{\xi_i}{\sqrt{2}} (a_i + a_i^\dagger) where ξi\xi_i is the characteristic length scale of the oscillator in the ii-th dimension.

theorem

Momentum operator p^i\hat{p}_i equals iℏ2ξi(ai†−ai)\frac{i \hbar}{\sqrt{2} \xi_i} (a_i^\dagger - a_i)

For a quantum harmonic oscillator in dd dimensions, the ii-th momentum operator p^i\hat{p}_i is given by the expression: p^i=iℏ2ξi(ai†−ai) \hat{p}_i = \frac{i \hbar}{\sqrt{2} \xi_i} (a_i^\dagger - a_i) where ii is the imaginary unit, ℏ\hbar is the reduced Planck constant, ξi\xi_i is the characteristic length scale for the ii-th dimension, ai†a_i^\dagger is the ii-th raising (creation) operator, and aia_i is the ii-th lowering (annihilation) operator.

definition

ii-th lowering operator aia_i as an unbounded operator with Schwartz domain

For a dd-dimensional quantum harmonic oscillator QQ, the ii-th lowering (annihilation) operator aia_i is an unbounded linear operator on the Hilbert space H=L2(Space d,C)\mathcal{H} = L^2(\text{Space } d, \mathbb{C}). The domain of this operator is the Schwartz submodule S(Space d,C)⊆H\mathcal{S}(\text{Space } d, \mathbb{C}) \subseteq \mathcal{H}.

theorem

N^i=a^i†a^i\hat{N}_i = \hat{a}_i^\dagger \hat{a}_i

For a quantum harmonic oscillator QQ in dd dimensions, the number operator N^i\hat{N}_i for the ii-th mode is equal to the composition of the raising operator a^i†\hat{a}_i^\dagger and the lowering operator a^i\hat{a}_i: N^i=a^i†a^i \hat{N}_i = \hat{a}_i^\dagger \hat{a}_i

theorem

Commutation Relation [N^i,aj]=−δijaj[\hat{N}_i, a_j] = -\delta_{ij} a_j

For a dd-dimensional quantum harmonic oscillator QQ, let N^i\hat{N}_i be the number operator for the ii-th mode and aja_j be the jj-th lowering operator. Their commutator satisfies the following relation: [N^i,aj]=−δijaj[\hat{N}_i, a_j] = -\delta_{ij} a_j where δij\delta_{ij} is the Kronecker delta, which is 11 if i=ji = j and 00 otherwise.

theorem

Commutator of Number and Raising Operators: [N^i,a^j†]=δija^j†[\hat{N}_i, \hat{a}_j^\dagger] = \delta_{ij} \hat{a}_j^\dagger

For a dd-dimensional quantum harmonic oscillator, let N^i\hat{N}_i be the number operator for the ii-th mode and a^j†\hat{a}_j^\dagger be the raising (creation) operator for the jj-th mode. The commutator of these operators satisfies the relation: [N^i,a^j†]=δija^j†[\hat{N}_i, \hat{a}_j^\dagger] = \delta_{ij} \hat{a}_j^\dagger where δij\delta_{ij} is the Kronecker delta, which is 11 if i=ji = j and 00 otherwise.

theorem

Commutation of Number Operators [N^i,N^j]=0[\hat{N}_i, \hat{N}_j] = 0

For a dd-dimensional quantum harmonic oscillator QQ, let N^i\hat{N}_i and N^j\hat{N}_j be the number operators for the ii-th and jj-th modes respectively, acting as continuous linear maps on the Schwartz space S(Space d,C)\mathcal{S}(\text{Space } d, \mathbb{C}). Then the commutator of these two operators is zero: [N^i,N^j]=0[\hat{N}_i, \hat{N}_j] = 0

theorem

aiai†=Ni+1a_i a_i^\dagger = N_i + \mathbb{1}

For a dd-dimensional quantum harmonic oscillator, let aia_i and ai†a_i^\dagger denote the ii-th lowering (annihilation) and raising (creation) operators, respectively, and let NiN_i be the ii-th number operator. These operators act as continuous linear maps on the Schwartz space S(Space d,C)\mathcal{S}(\text{Space } d, \mathbb{C}). The composition of the lowering operator with the raising operator for the same mode ii satisfies the relation: aiai†=Ni+1 a_i a_i^\dagger = N_i + \mathbb{1} where 1\mathbb{1} is the identity operator on the Schwartz space.

theorem

ai†a_i^\dagger is the Formal Adjoint of aia_i

For a dd-dimensional quantum harmonic oscillator QQ, let aia_i be the ii-th lowering (annihilation) operator and ai†a_i^\dagger be the ii-th raising (creation) operator, both acting on the Schwartz space S(Space d,C)\mathcal{S}(\text{Space } d, \mathbb{C}). The lowering operator aia_i is the formal adjoint of the raising operator ai†a_i^\dagger, meaning that for all ψ,ϕ∈S(Space d,C)\psi, \phi \in \mathcal{S}(\text{Space } d, \mathbb{C}), the following inner product relation holds: ⟨aiψ,ϕ⟩=⟨ψ,ai†ϕ⟩ \langle a_i \psi, \phi \rangle = \langle \psi, a_i^\dagger \phi \rangle where ⟨⋅,⋅⟩\langle \cdot, \cdot \rangle denotes the standard L2L^2 inner product on the space of complex-valued functions over Rd\mathbb{R}^d.