Physlib.QuantumMechanics.OneDimension.Operators.Momentum
10 declarations
One-dimensional momentum operator
#momentumOperatorThe one-dimensional momentum operator is a transformation that maps a function to another function defined by the expression \[ x \mapsto -i \hbar \frac{d\psi}{dx}(x) \] where is the imaginary unit, is the reduced Planck constant, and denotes the derivative of .
The one-dimensional momentum operator equals
#momentumOperator_eq_smulFor 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, \[ (\hat{p}\psi)(x) = -i\hbar \frac{d\psi}{dx}(x). \]
If is , then is continuous
#continuous_momentumOperatorFor 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
#momentumOperator_smulFor 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
#momentumOperator_addFor any differentiable functions , the one-dimensional momentum operator satisfies the additivity property: \[ \hat{p}(\psi_1 + \psi_2) = \hat{p}\psi_1 + \hat{p}\psi_2 \] where is defined by , with being the imaginary unit and being the reduced Planck constant.
Momentum operator on Schwartz maps
#momentumOperatorSchwartzThe 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
#momentumOperatorSchwartz_applyFor 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
#momentumOperatorUnboundedThe 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
#planeWaveFunctional_generalized_eigenvector_momentumOperatorUnboundedFor 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
#momentumOperatorUnbounded_isSelfAdjointThe 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.
