Physlib.QuantumMechanics.HarmonicOscillator.NumberOperator
Number operators
i. Overview
The number operators `Nᵢ = aᵢ† aᵢ` of the `d`-dimensional quantum harmonic oscillator, built from the ladder operators of `LadderOperators.lean` and acting on Schwartz maps: their commutation relations with the ladder operators and with each other, and the Hamiltonian of `Basic.lean`, which on Schwartz maps acts as `H_N = ∑ᵢ ℏ ωᵢ (Nᵢ + ½)`, commutes with the number operators and lowers and raises energies by `ℏ ωᵢ`. The number operators are then lifted to unbounded operators on the Hilbert space with the Schwartz submodule as domain (like `momentumOperator`), where they are symmetric, as is the Hamiltonian.
ii. Key results
- `number_commutation_number`: `[Nᵢ, Nⱼ] = 0`; `number_commutation_lowering`, `number_commutation_raising`: `[Nᵢ, aⱼ] = -δᵢⱼ aⱼ`, `[Nᵢ, aⱼ†] = δᵢⱼ aⱼ†`. - `lowering_comp_raising`: `aᵢ aᵢ† = Nᵢ + 𝟙`; `numberCLM_inner`: `⟪ Nᵢ f, g⟫ = ⟪ f, Nᵢ g⟫` for Schwartz maps. - `sum_number_commutation_lowering`, `sum_number_commutation_raising`, `sum_number_commutation_number`: with `H_N = ∑ⱼ ℏ ωⱼ (Nⱼ + ½)`, `[H_N, aᵢ] = -ℏ ωᵢ aᵢ`, `[H_N, aᵢ†] = ℏ ωᵢ aᵢ†`, `[H_N, Nᵢ] = 0`. - `sum_number_apply`: `H_N ψ = (1/2m) ∑ᵢ pᵢ (pᵢ ψ) + V ψ` on Schwartz maps; `hamiltonian_apply_schwartz`: the Hamiltonian of `Basic.lean` acts on Schwartz maps as `H_N`; `hamiltonian_inner_schwartz`: it is symmetric on the Schwartz submodule. - `numberOperator_isSymmetric`: the number operators are symmetric.
iii. Table of contents
- A. Number operators - A.1. Definition - A.2. Commutation relations - A.3. Inner products - B. Hamiltonian - B.1. Commutation relations with the ladder and number operators - B.2. The Hamiltonian on Schwartz maps - C. The number operators as unbounded operators - D. Symmetry
iv. References
* None.
A. Number operators
A.1. Definition
A.2. Commutation relations
A.3. Inner products
B. Hamiltonian
On Schwartz maps the Hamiltonian of `Basic.lean` acts as `H_N = ∑ⱼ ℏ ωⱼ (Nⱼ + ½)` (`hamiltonian_apply_schwartz`); the lemmas below are stated for this sum.
B.1. Commutation relations with the ladder and number operators
B.2. The Hamiltonian on Schwartz maps
C. The number operators as unbounded operators
D. Symmetry
11 declarations
for the Number Operator on Schwartz Space
For a -dimensional quantum harmonic oscillator and an index , let be the number operator of the -th mode acting on the Schwartz space . For any two Schwartz functions , the inner product satisfies: where the functions are viewed as elements of the Hilbert space .
for the Quantum Harmonic Oscillator Hamiltonian
For a -dimensional quantum harmonic oscillator , let be the reduced Planck constant and be the angular frequency of the -th mode. Let be the -th number operator and be the -th annihilation (lowering) operator, both acting as continuous linear maps on the Schwartz space . The commutator of the Hamiltonian with the -th annihilation operator is given by:
In a -dimensional quantum harmonic oscillator, let be the number operator for the -th mode, be the -th raising operator, be the reduced Planck constant, and be the frequency of the -th mode. On the Schwartz space , the Hamiltonian operator is given by where is the identity operator. The commutator of the Hamiltonian and the -th raising operator satisfies:
The Hamiltonian of the harmonic oscillator commutes with the number operators:
For a -dimensional quantum harmonic oscillator with angular frequencies , let be the number operator for the -th mode acting on the Schwartz space . The Hamiltonian operator, defined as the sum , commutes with each individual number operator . That is, where is the reduced Planck constant and is the identity operator.
on Schwartz functions
For a -dimensional quantum harmonic oscillator with mass and natural frequencies (), let be a function in the Schwartz space and be a position vector. The action of the Hamiltonian operator, expressed in terms of the number operators , on the function at point satisfies: where is the reduced Planck constant, is the identity operator, is the -th component of the momentum operator, and is the potential function of the oscillator.
For a -dimensional quantum harmonic oscillator , the Schwartz submodule , which consists of the space of rapidly decreasing smooth functions, is contained within the domain of the Hamiltonian operator : where denotes the set of states in the Hilbert space upon which the Hamiltonian operator is well-defined.
on Schwartz Maps
Let be a -dimensional quantum harmonic oscillator with angular frequencies for . For any Schwartz function , let denote its corresponding element in the Hilbert space . If belongs to the domain of the Hamiltonian operator , then the action of on is given by where is the reduced Planck constant, is the -th mode number operator acting on the Schwartz space, and is the identity operator.
for Schwartz functions
Let be a -dimensional quantum harmonic oscillator with Hamiltonian operator and Hilbert space . For any two Schwartz functions whose corresponding elements in are in the domain of , the inner product satisfies: This property shows that the Hamiltonian operator is symmetric when restricted to the Schwartz submodule.
Number operator as an unbounded operator
For a -dimensional quantum harmonic oscillator and an index , the number operator is defined as an unbounded linear operator on the Hilbert space . Its domain is the Schwartz submodule . For any state in this domain, the operator acts by applying the -th mode's ladder operators, .
Action of the number operator on the Schwartz submodule
For a -dimensional quantum harmonic oscillator and a mode index , let be the number operator defined as an unbounded linear operator on the Hilbert space . For any state in the Schwartz submodule (the subspace of the Hilbert space consisting of Schwartz functions), the action of the operator is given by: where is the linear isomorphism between the Schwartz space and the Schwartz submodule of the Hilbert space, and is the number operator acting as a continuous linear map on the Schwartz space .
The number operator is symmetric
For a -dimensional quantum harmonic oscillator and an index , the number operator , acting as an unbounded operator on the Hilbert space with the Schwartz submodule as its domain, is symmetric. This means that for any two states and in the Schwartz submodule, the inner product satisfies:
