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
Annihilation operator of a harmonic oscillator
For a -dimensional quantum harmonic oscillator , the annihilation operator for the -th mode, denoted as , is a continuous linear map on the Schwartz space . It is defined by the following expression: where is the -th component of the position operator, is the -th component of the momentum operator, is the reduced Planck constant, and is the characteristic length of the -th mode of the harmonic oscillator.
Action of the annihilation operator on a Schwartz function
For a -dimensional quantum harmonic oscillator and a mode index , let be a Schwartz function. The action of the annihilation operator on is given by the formula: where is the -th position operator, is the -th momentum operator, is the characteristic length of the -th mode of the oscillator, and is the reduced Planck constant.
Creation operator for mode
For a -dimensional quantum harmonic oscillator and a mode index , the creation operator is a continuous linear map on the Schwartz space defined by: where is the -th position operator, is the -th momentum operator, is the characteristic length of the oscillator for the -th mode, and is the reduced Planck constant.
Action of the creation operator on a Schwartz function
For a -dimensional quantum harmonic oscillator , a mode index , and a Schwartz function , the action of the creation operator on is given by: where is the -th position operator, is the -th momentum operator, is the characteristic length of the oscillator for the -th mode, and is the reduced Planck constant.
for annihilation operators of the harmonic oscillator
For a -dimensional quantum harmonic oscillator and any two mode indices , the commutator of the annihilation operators and acting on the Schwartz space is zero:
For a -dimensional quantum harmonic oscillator and any modes , the commutator of the creation operators and , acting as continuous linear maps on the Schwartz space , is zero: where is the creation operator for the -th mode.
Canonical Commutation Relation
For a -dimensional quantum harmonic oscillator and any mode indices , the commutator of the annihilation operator and the creation operator acting on the Schwartz space satisfies the canonical commutation relation: where is the Kronecker delta and is the identity operator on .
Ladder system of a -dimensional quantum harmonic oscillator
For a -dimensional quantum harmonic oscillator , the annihilation operators and creation operators (for ) acting on the Schwartz space are bundled together into a `LadderSystem` structure. This structure defines the ladder operators as continuous linear maps: where is the position operator, is the momentum operator, is the reduced Planck constant, and is the characteristic length of the -th mode. The structure also formally establishes that these operators satisfy the canonical commutation relations:
Number operator of a harmonic oscillator
For a -dimensional quantum harmonic oscillator , the number operator for the -th mode, denoted as , is a continuous linear map on the Schwartz space . It is defined as the composition of the creation operator and the annihilation operator :
The -th number operator of the ladder system equals the linear map of
For a -dimensional quantum harmonic oscillator and any mode , the number operator defined via the abstract ladder system structure associated with is equal to the linear map underlying the continuous linear number operator (defined as `numberCLM i`) acting on the Schwartz space .
For a -dimensional quantum harmonic oscillator , let be the number operator for the -th mode and be the annihilation operator for the -th mode. These operators are continuous linear maps acting on the Schwartz space . The commutator of these operators satisfies the relation: where is the Kronecker delta.
Commutation Relation
For a -dimensional quantum harmonic oscillator , let be the number operator for the -th mode and be the creation operator for the -th mode, both acting as continuous linear maps on the Schwartz space . The commutator of these operators satisfies: where is the Kronecker delta.
for harmonic oscillators
For a -dimensional quantum harmonic oscillator , the number operators and for any two modes commute. That is, their Lie bracket (commutator) acting on the Schwartz space is zero:
