PhyslibSearch

Physlib.QuantumMechanics.OneDimension.Operators.Momentum

10 declarations

definition

One-dimensional momentum operator

#momentumOperator

The one-dimensional momentum operator is a transformation that maps a function ψ:RC\psi: \mathbb{R} \to \mathbb{C} to another function RC\mathbb{R} \to \mathbb{C} defined by the expression \[ x \mapsto -i \hbar \frac{d\psi}{dx}(x) \] where ii is the imaginary unit, \hbar is the reduced Planck constant, and dψdx\frac{d\psi}{dx} denotes the derivative of ψ\psi.

theorem

The one-dimensional momentum operator p^\hat{p} equals iddx-i\hbar \frac{d}{dx}

#momentumOperator_eq_smul

For any function ψ:RC\psi: \mathbb{R} \to \mathbb{C}, the one-dimensional momentum operator applied to ψ\psi is the function mapping xx to the product of the constant i-i\hbar and the derivative ψ(x)\psi'(x), where ii is the imaginary unit and \hbar is the reduced Planck constant. That is, \[ (\hat{p}\psi)(x) = -i\hbar \frac{d\psi}{dx}(x). \]

theorem

If ψ\psi is C1C^1, then p^ψ\hat{p}\psi is continuous

#continuous_momentumOperator

For any function ψ:RC\psi: \mathbb{R} \to \mathbb{C} that is continuously differentiable (of class C1C^1), the function resulting from the application of the one-dimensional momentum operator p^\hat{p}, defined by (p^ψ)(x)=idψdx(x)(\hat{p}\psi)(x) = -i \hbar \frac{d\psi}{dx}(x), is a continuous function. Here, ii is the imaginary unit and \hbar is the reduced Planck constant.

theorem

The one-dimensional momentum operator p^\hat{p} satisfies p^(cψ)=cp^ψ\hat{p}(c\psi) = c\hat{p}\psi

#momentumOperator_smul

For any differentiable function ψ:RC\psi: \mathbb{R} \to \mathbb{C} and any complex scalar cCc \in \mathbb{C}, the one-dimensional momentum operator p^\hat{p} satisfies the homogeneity property p^(cψ)=cp^ψ\hat{p}(c \psi) = c \hat{p}\psi, where p^\hat{p} is defined as iddx-i\hbar \frac{d}{dx}.

theorem

The one-dimensional momentum operator p^\hat{p} satisfies p^(ψ1+ψ2)=p^ψ1+p^ψ2\hat{p}(\psi_1 + \psi_2) = \hat{p}\psi_1 + \hat{p}\psi_2

#momentumOperator_add

For any differentiable functions ψ1,ψ2:RC\psi_1, \psi_2: \mathbb{R} \to \mathbb{C}, the one-dimensional momentum operator p^\hat{p} satisfies the additivity property: \[ \hat{p}(\psi_1 + \psi_2) = \hat{p}\psi_1 + \hat{p}\psi_2 \] where p^\hat{p} is defined by (p^ψ)(x)=idψdx(x)(\hat{p}\psi)(x) = -i\hbar \frac{d\psi}{dx}(x), with ii being the imaginary unit and \hbar being the reduced Planck constant.

definition

Momentum operator on Schwartz maps S(R,C)\mathcal{S}(\mathbb{R}, \mathbb{C})

#momentumOperatorSchwartz

The momentum operator on the space of Schwartz functions S(R,C)\mathcal{S}(\mathbb{R}, \mathbb{C}) is defined as the continuous linear map p^:S(R,C)S(R,C)\hat{p}: \mathcal{S}(\mathbb{R}, \mathbb{C}) \to \mathcal{S}(\mathbb{R}, \mathbb{C}) that maps a function ψ\psi to idψdx-i \hbar \frac{d\psi}{dx}, where ii is the imaginary unit, \hbar is the reduced Planck constant, and dψdx\frac{d\psi}{dx} denotes the derivative of ψ\psi.

theorem

Pointwise evaluation of the momentum operator (p^ψ)(x)=idψdx(x)(\hat{p}\psi)(x) = -i\hbar \frac{d\psi}{dx}(x)

#momentumOperatorSchwartz_apply

For any Schwartz function ψS(R,C)\psi \in \mathcal{S}(\mathbb{R}, \mathbb{C}) and any real number xx, the momentum operator on Schwartz maps p^\hat{p} satisfies: (p^ψ)(x)=idψdx(x)(\hat{p}\psi)(x) = -i\hbar \frac{d\psi}{dx}(x) where ii is the imaginary unit, \hbar is the reduced Planck constant, and dψdx(x)\frac{d\psi}{dx}(x) is the derivative of ψ\psi evaluated at xx.

definition

Unbounded momentum operator p^\hat{p} on L2(R,C)L^2(\mathbb{R}, \mathbb{C})

#momentumOperatorUnbounded

The momentum operator p^\hat{p} is defined as an unbounded operator on the Hilbert space L2(R,C)L^2(\mathbb{R}, \mathbb{C}) with its domain consisting of the space of Schwartz functions S(R,C)\mathcal{S}(\mathbb{R}, \mathbb{C}). It is constructed from the continuous linear map on the Schwartz space that sends a function ψ\psi to idψdx-i \hbar \frac{d\psi}{dx}, where ii is the imaginary unit and \hbar is the reduced Planck constant.

theorem

Plane Waves are Generalized Eigenvectors of the Momentum Operator p^\hat{p} with Eigenvalue 2πk2\pi\hbar k

#planeWaveFunctional_generalized_eigenvector_momentumOperatorUnbounded

For any real number kRk \in \mathbb{R}, the plane wave functional associated with kk is a generalized eigenvector of the unbounded momentum operator p^\hat{p} with corresponding eigenvalue 2πk2\pi\hbar k. Here, p^\hat{p} is defined as the unbounded operator on the Hilbert space L2(R,C)L^2(\mathbb{R}, \mathbb{C}) whose domain is the space of Schwartz functions S(R,C)\mathcal{S}(\mathbb{R}, \mathbb{C}) and which acts as iddx-i\hbar \frac{d}{dx}, where ii is the imaginary unit and \hbar is the reduced Planck constant.

theorem

The Momentum Operator p^\hat{p} is Self-Adjoint

#momentumOperatorUnbounded_isSelfAdjoint

The momentum operator p^\hat{p}, defined as an unbounded operator on the Hilbert space L2(R,C)L^2(\mathbb{R}, \mathbb{C}) with the domain of Schwartz functions S(R,C)\mathcal{S}(\mathbb{R}, \mathbb{C}), is self-adjoint. The operator is given by (p^ψ)(x)=idψdx(x)(\hat{p}\psi)(x) = -i\hbar \frac{d\psi}{dx}(x), where ii is the imaginary unit and \hbar is the reduced Planck constant.