Physlib

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

definition

One-dimensional momentum operator

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 xidψdx(x) 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}

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, (p^ψ)(x)=idψdx(x). (\hat{p}\psi)(x) = -i\hbar \frac{d\psi}{dx}(x).

theorem

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

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

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

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: p^(ψ1+ψ2)=p^ψ1+p^ψ2 \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})

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)

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})

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

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

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.