Physlib.QuantumMechanics.OneDimension.Operators.Momentum
Momentum operator
In this module we define: - The momentum operator on functions `ℝ → ℂ` - The momentum operator on Schwartz maps as an unbounded operator on the Hilbert space.
We show that plane waves are generalized eigenvectors of the momentum operator.
The momentum operator on functions `ℝ → ℂ`
The momentum operator on Schwartz maps
Generalized eigenvectors of the momentum operator
The momentum operator is self adjoint
10 declarations
One-dimensional momentum operator
The one-dimensional momentum operator is a transformation that maps a function to another function defined by the expression where is the imaginary unit, is the reduced Planck constant, and denotes the derivative of .
The one-dimensional momentum operator equals
For any function , the one-dimensional momentum operator applied to is the function mapping to the product of the constant and the derivative , where is the imaginary unit and is the reduced Planck constant. That is,
If is , then is continuous
For any function that is continuously differentiable (of class ), the function resulting from the application of the one-dimensional momentum operator , defined by , is a continuous function. Here, is the imaginary unit and is the reduced Planck constant.
The one-dimensional momentum operator satisfies
For any differentiable function and any complex scalar , the one-dimensional momentum operator satisfies the homogeneity property , where is defined as .
The one-dimensional momentum operator satisfies
For any differentiable functions , the one-dimensional momentum operator satisfies the additivity property: where is defined by , with being the imaginary unit and being the reduced Planck constant.
Momentum operator on Schwartz maps
The momentum operator on the space of Schwartz functions is defined as the continuous linear map that maps a function to , where is the imaginary unit, is the reduced Planck constant, and denotes the derivative of .
Pointwise evaluation of the momentum operator
For any Schwartz function and any real number , the momentum operator on Schwartz maps satisfies: where is the imaginary unit, is the reduced Planck constant, and is the derivative of evaluated at .
Unbounded momentum operator on
The momentum operator is defined as an unbounded operator on the Hilbert space with its domain consisting of the space of Schwartz functions . It is constructed from the continuous linear map on the Schwartz space that sends a function to , where is the imaginary unit and is the reduced Planck constant.
Plane Waves are Generalized Eigenvectors of the Momentum Operator with Eigenvalue
For any real number , the plane wave functional associated with is a generalized eigenvector of the unbounded momentum operator with corresponding eigenvalue . Here, is defined as the unbounded operator on the Hilbert space whose domain is the space of Schwartz functions and which acts as , where is the imaginary unit and is the reduced Planck constant.
The Momentum Operator is Self-Adjoint
The momentum operator , defined as an unbounded operator on the Hilbert space with the domain of Schwartz functions , is self-adjoint. The operator is given by , where is the imaginary unit and is the reduced Planck constant.
