Physlib

PhyslibAlpha.QuantumMechanics.HarmonicOscillator.LadderOperators

Ladder operators

i. Overview

The raising/lowering (creation/annihilation) operators of the `d`-dimensional quantum harmonic oscillator, and the number operators built from them, at the level of Schwartz maps `𝓢(Space d, ℂ)` -- the same level `Position.lean`/`Momentum.lean`/`AngularMomentum.lean` define `𝐱`, `𝐩`, `𝐋` at.

Not `†`: the creation operator is named `creationCLM`, not notated with `†`, since `†` is reserved elsewhere (`Operators/Unbounded.lean`) for a *proved* formal adjoint, and `annihilationCLM`/ `creationCLM` being mutually adjoint is exactly the TODO left open below -- these operators are defined only at the Schwartz level (as `𝐱`, `𝐩`, `𝐋` are in `Operators/`), not yet promoted to (partial) operators on `Q.HS` itself.

The canonical commutation relations in section A define the `LadderSystem` instance `toLadderSystem`. Section B obtains the number operator and its commutation relations from the general `LadderSystem` API.

ii. Key results

Definitions: - `annihilationCLM` : the annihilation operator for mode `i`, `𝐚ᵢ ≔ (√2)⁻¹(ξᵢ⁻¹𝐱ᵢ + i(ξᵢ/ℏ)𝐩ᵢ)`. - `creationCLM` : the creation operator for mode `i`, `𝐚ᵢ⁺ ≔ (√2)⁻¹(ξᵢ⁻¹𝐱ᵢ - i(ξᵢ/ℏ)𝐩ᵢ)`. - `toLadderSystem` : `annihilationCLM`/`creationCLM` bundled as a genuine `Physlib.Mathematics.LadderSystem` instance. - `numberCLM` : the number operator for mode `i`, `𝐍ᵢ ≔ 𝐚ᵢ⁺∘𝐚ᵢ`, via `toLadderSystem.N`.

Theorems: - `annihilationCLM_comm_creationCLM` : the canonical commutation relations, `[𝐚ᵢ, 𝐚ⱼ⁺] = δᵢⱼ`. - `numberCLM_comm_numberCLM` : the number operators commute among themselves, `[𝐍ᵢ, 𝐍ⱼ] = 0`. - `numberCLM_comm_annihilationCLM`, `numberCLM_comm_creationCLM` : `[𝐍ᵢ, 𝐚ⱼ] = -δᵢⱼ𝐚ᵢ` and `[𝐍ᵢ, 𝐚ⱼ⁺] = δᵢⱼ𝐚ᵢ⁺`.

iii. Table of contents

- A. Ladder operators - A.1. Canonical commutation relations - B. Number operators - B.1. Commutation relations - C. Hamiltonian

iv. References

A. Ladder operators

A.1. Canonical commutation relations

B. Number operators

B.1. Commutation relations

13 declarations

definition

Annihilation operator a^i\hat{a}_i of a harmonic oscillator

For a dd-dimensional quantum harmonic oscillator QQ, the annihilation operator for the ii-th mode, denoted as a^i\hat{a}_i, is a continuous linear map on the Schwartz space S(Rd,C)\mathcal{S}(\mathbb{R}^d, \mathbb{C}). It is defined by the following expression: a^i=12(1ξix^i+iξip^i)\hat{a}_i = \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 component of the position operator, p^i\hat{p}_i is the ii-th component of the momentum operator, \hbar is the reduced Planck constant, and ξi\xi_i is the characteristic length of the ii-th mode of the harmonic oscillator.

theorem

Action of the annihilation operator a^i\hat{a}_i on a Schwartz function ψ\psi

For a dd-dimensional quantum harmonic oscillator QQ and a mode index i{0,,d1}i \in \{0, \dots, d-1\}, let ψS(Rd,C)\psi \in \mathcal{S}(\mathbb{R}^d, \mathbb{C}) be a Schwartz function. The action of the annihilation operator a^i\hat{a}_i on ψ\psi is given by the formula: a^iψ=12(1ξix^iψ+iξip^iψ) \hat{a}_i \psi = \frac{1}{\sqrt{2}} \left( \frac{1}{\xi_i} \hat{x}_i \psi + \frac{i \xi_i}{\hbar} \hat{p}_i \psi \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 ii-th mode of the oscillator, and \hbar is the reduced Planck constant.

definition

Creation operator a^i\hat{a}_i^\dagger for mode ii

For a dd-dimensional quantum harmonic oscillator QQ and a mode index i{0,1,,d1}i \in \{0, 1, \dots, d-1\}, the creation operator a^i\hat{a}_i^\dagger is a continuous linear map on the Schwartz space S(Space d,C)\mathcal{S}(\text{Space } d, \mathbb{C}) defined by: a^i=12(1ξix^iiξip^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 for the ii-th mode, and \hbar is the reduced Planck constant.

theorem

Action of the creation operator a^i\hat{a}_i^\dagger on a Schwartz function ψ\psi

For a dd-dimensional quantum harmonic oscillator QQ, a mode index i{0,1,,d1}i \in \{0, 1, \dots, d-1\}, and a Schwartz function ψS(Space d,C)\psi \in \mathcal{S}(\text{Space } d, \mathbb{C}), the action of the creation operator a^i\hat{a}_i^\dagger on ψ\psi is given by: a^iψ=12(1ξix^iψiξip^iψ)\hat{a}_i^\dagger \psi = \frac{1}{\sqrt{2}} \left( \frac{1}{\xi_i} \hat{x}_i \psi - \frac{i \xi_i}{\hbar} \hat{p}_i \psi \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 for the ii-th mode, and \hbar is the reduced Planck constant.

theorem

[a^i,a^j]=0[\hat{a}_i, \hat{a}_j] = 0 for annihilation operators of the harmonic oscillator

For a dd-dimensional quantum harmonic oscillator QQ and any two mode indices i,j{0,,d1}i, j \in \{0, \dots, d-1\}, the commutator of the annihilation operators a^i\hat{a}_i and a^j\hat{a}_j acting on the Schwartz space S(Rd,C)\mathcal{S}(\mathbb{R}^d, \mathbb{C}) is zero: [a^i,a^j]=0[\hat{a}_i, \hat{a}_j] = 0

theorem

[a^i,a^j]=0[\hat{a}_i^\dagger, \hat{a}_j^\dagger] = 0

For a dd-dimensional quantum harmonic oscillator QQ and any modes i,j{0,1,,d1}i, j \in \{0, 1, \dots, d-1\}, the commutator of the creation operators a^i\hat{a}_i^\dagger and a^j\hat{a}_j^\dagger, acting as continuous linear maps on the Schwartz space S(Rd,C)\mathcal{S}(\mathbb{R}^d, \mathbb{C}), is zero: [a^i,a^j]=0[\hat{a}_i^\dagger, \hat{a}_j^\dagger] = 0 where a^i\hat{a}_i^\dagger is the creation operator for the ii-th mode.

theorem

Canonical Commutation Relation [a^i,a^j]=δij[\hat{a}_i, \hat{a}_j^\dagger] = \delta_{ij}

For a dd-dimensional quantum harmonic oscillator QQ and any mode indices i,j{0,,d1}i, j \in \{0, \dots, d-1\}, the commutator of the annihilation operator a^i\hat{a}_i and the creation operator a^j\hat{a}_j^\dagger acting on the Schwartz space S(Rd,C)\mathcal{S}(\mathbb{R}^d, \mathbb{C}) satisfies the canonical commutation relation: [a^i,a^j]=δijI^[\hat{a}_i, \hat{a}_j^\dagger] = \delta_{ij} \hat{I} where δij\delta_{ij} is the Kronecker delta and I^\hat{I} is the identity operator on S(Rd,C)\mathcal{S}(\mathbb{R}^d, \mathbb{C}).

definition

Ladder system of a dd-dimensional quantum harmonic oscillator

For a dd-dimensional quantum harmonic oscillator QQ, the annihilation operators a^i\hat{a}_i and creation operators a^i\hat{a}_i^\dagger (for i=0,,d1i = 0, \dots, d-1) acting on the Schwartz space S(Rd,C)\mathcal{S}(\mathbb{R}^d, \mathbb{C}) are bundled together into a `LadderSystem` structure. This structure defines the ladder operators as continuous linear maps: a^i=12(1ξix^i+iξip^i),a^i=12(1ξix^iiξip^i)\hat{a}_i = \frac{1}{\sqrt{2}} \left( \frac{1}{\xi_i} \hat{x}_i + \frac{i \xi_i}{\hbar} \hat{p}_i \right), \quad \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 position operator, p^i\hat{p}_i is the momentum operator, \hbar is the reduced Planck constant, and ξi\xi_i is the characteristic length of the ii-th mode. The structure also formally establishes that these operators satisfy the canonical commutation relations: [a^i,a^j]=δij,[a^i,a^j]=0,[a^i,a^j]=0[\hat{a}_i, \hat{a}_j^\dagger] = \delta_{ij}, \quad [\hat{a}_i, \hat{a}_j] = 0, \quad [\hat{a}_i^\dagger, \hat{a}_j^\dagger] = 0

definition

Number operator N^i\hat{N}_i of a harmonic oscillator

For a dd-dimensional quantum harmonic oscillator QQ, the number operator for the ii-th mode, denoted as N^i\hat{N}_i, is a continuous linear map on the Schwartz space S(Space d,C)\mathcal{S}(\text{Space } d, \mathbb{C}). It is defined as the composition of the creation operator a^i\hat{a}_i^\dagger and the annihilation operator a^i\hat{a}_i: N^i=a^ia^i\hat{N}_i = \hat{a}_i^\dagger \hat{a}_i

theorem

The ii-th number operator of the ladder system equals the linear map of N^i\hat{N}_i

For a dd-dimensional quantum harmonic oscillator QQ and any mode i{0,,d1}i \in \{0, \dots, d-1\}, the number operator NiN_i defined via the abstract ladder system structure associated with QQ is equal to the linear map underlying the continuous linear number operator N^i\hat{N}_i (defined as `numberCLM i`) acting on the Schwartz space S(Rd,C)\mathcal{S}(\mathbb{R}^d, \mathbb{C}).

theorem

[N^i,a^j]=δija^i[\hat{N}_i, \hat{a}_j] = -\delta_{ij} \hat{a}_i

For a dd-dimensional quantum harmonic oscillator QQ, let N^i\hat{N}_i be the number operator for the ii-th mode and a^j\hat{a}_j be the annihilation operator for the jj-th mode. These operators are continuous linear maps acting on the Schwartz space S(Rd,C)\mathcal{S}(\mathbb{R}^d, \mathbb{C}). The commutator of these operators satisfies the relation: [N^i,a^j]=δija^i[\hat{N}_i, \hat{a}_j] = -\delta_{ij} \hat{a}_i where δij\delta_{ij} is the Kronecker delta.

theorem

Commutation Relation [N^i,a^j]=δija^i[\hat{N}_i, \hat{a}_j^\dagger] = \delta_{ij} \hat{a}_i^\dagger

For a dd-dimensional quantum harmonic oscillator QQ, let N^i\hat{N}_i be the number operator for the ii-th mode and a^j\hat{a}_j^\dagger be the creation operator for the jj-th mode, both acting as continuous linear maps on the Schwartz space S(Space d,C)\mathcal{S}(\text{Space } d, \mathbb{C}). The commutator of these operators satisfies: [N^i,a^j]=δija^i[\hat{N}_i, \hat{a}_j^\dagger] = \delta_{ij} \hat{a}_i^\dagger where δij\delta_{ij} is the Kronecker delta.

theorem

[N^i,N^j]=0[\hat{N}_i, \hat{N}_j] = 0 for harmonic oscillators

For a dd-dimensional quantum harmonic oscillator QQ, the number operators N^i\hat{N}_i and N^j\hat{N}_j for any two modes i,j{0,,d1}i, j \in \{0, \dots, d-1\} commute. That is, their Lie bracket (commutator) acting on the Schwartz space S(Space d,C)\mathcal{S}(\text{Space } d, \mathbb{C}) is zero: [N^i,N^j]=0[\hat{N}_i, \hat{N}_j] = 0