Physlib.QuantumMechanics.DDimensions.Operators.Momentum
Momentum operators
i. Overview
In this module we introduce several momentum operators for quantum mechanics on `Space d`.
ii. Key results
Definitions: - `momentumOperator` : (components of) the momentum vector operator acting on Schwartz maps `𝓢(Space d, ℂ)` as `-iℏ∂ᵢ`. - `momentumOperatorSqr` : operator acting on Schwartz maps `𝓢(Space d, ℂ)` as `∑ᵢ 𝐩[i]∘𝐩[i]`. - `momentumUnboundedOperator` : a symmetric unbounded operator acting on the Schwartz submodule of the Hilbert space `SpaceDHilbertSpace d`.
Notation: - `𝐩` for `momentumOperator` - `𝐩²` for `momentumOperatorSqr`
iii. Table of contents
- A. Momentum vector operator
- B. Momentum-squared operator
- C. Unbounded momentum vector operator
iv. References
A. Momentum vector operator
B. Momentum-squared operator
C. Unbounded momentum vector operator
12 declarations
-th component of the momentum operator
The -th component of the momentum operator is a continuous linear map from the space of Schwartz functions to itself. It maps a function to , where (in the coefficient) is the imaginary unit, is the reduced Planck constant, and denotes the partial derivative with respect to the -th basis vector of the coordinate space.
Notation for the momentum operator
The notation represents the momentum operator acting on the space of Schwartz functions . Mathematically, this operator corresponds to (where is the reduced Planck constant and is the partial derivative with respect to the -th coordinate).
Notation for the -th component of the momentum operator
The notation denotes the -th component of the momentum operator vector. According to the definition of `momentumOperator`, this corresponds to the operator acting on the space of Schwartz functions , where is the reduced Planck constant.
For any Schwartz function , the action of the -th component of the momentum operator on is given by the identity , where is the imaginary unit, is the reduced Planck constant, and denotes the partial derivative with respect to the -th coordinate.
For any Schwartz function and any point , the -th component of the momentum operator applied to and evaluated at is given by , where is the imaginary unit, is the reduced Planck constant, and is the partial derivative with respect to the -th coordinate.
Momentum-squared operator
The momentum-squared operator is a continuous linear map from the space of Schwartz functions to itself. It is defined as the sum over the coordinate indices of the composition of the -th momentum operator with itself, expressed as .
Notation for the momentum-squared operator
The notation denotes the momentum-squared operator `momentumOperatorSqr`, which is a continuous linear operator acting on the space of Schwartz functions . It represents the sum of the squares of the momentum operator components, .
The momentum-squared operator acting on the space of Schwartz functions is equal to the sum of the compositions of the -th momentum operator components with themselves: where is the continuous linear operator defined by .
Action of the momentum-squared operator
For any Schwartz function and any point , the action of the momentum-squared operator at is given by the sum over the components of the momentum operator applied twice to : where is the -th component of the momentum operator.
-th momentum operator on the Schwartz submodule
The -th component of the momentum operator, acting as a linear map on the Schwartz submodule of the Hilbert space . For a function in this submodule, the operator maps it to , where is the imaginary unit, is the reduced Planck constant, and denotes the partial derivative with respect to the -th coordinate.
The -th momentum operator component is symmetric
The -th component of the momentum operator , acting as a linear operator on the Schwartz submodule of the Hilbert space , is symmetric. That is, for any two functions in the Schwartz submodule, the inner product satisfies: where is the imaginary unit, is the reduced Planck constant, and denotes the partial derivative with respect to the -th coordinate.
The -th component of the momentum operator as an unbounded operator
The -th component of the momentum operator is an unbounded linear operator on the Hilbert space . It is defined as the unique unbounded operator associated with the symmetric linear map acting on the dense Schwartz submodule . For a function in this domain, the operator acts as , where is the imaginary unit, is the reduced Planck constant, and denotes the partial derivative with respect to the -th coordinate.
