PhyslibSearch

Physlib.QuantumMechanics.OneDimension.Operators.Commutation

3 declarations

theorem

Canonical Commutation Relation [x^,p^]=i[\hat{x}, \hat{p}] = i\hbar for Schwartz functions

#positionOperatorSchwartz_commutation_momentumOperatorSchwartz

For any Schwartz function ψS(R,C)\psi \in \mathcal{S}(\mathbb{R}, \mathbb{C}), the position operator x^\hat{x} and the momentum operator p^\hat{p} satisfy the following commutation relation: x^(p^ψ)p^(x^ψ)=iψ\hat{x}(\hat{p}\psi) - \hat{p}(\hat{x}\psi) = i\hbar\psi where ii is the imaginary unit and \hbar is the reduced Planck constant. Here, the position operator x^\hat{x} acts as (x^ψ)(x)=xψ(x)(\hat{x}\psi)(x) = x\psi(x) and the momentum operator p^\hat{p} acts as (p^ψ)(x)=idψdx(x)(\hat{p}\psi)(x) = -i\hbar \frac{d\psi}{dx}(x).

theorem

x^p^ψ=p^x^ψ+iψ\hat{x}\hat{p}\psi = \hat{p}\hat{x}\psi + i\hbar\psi for Schwartz functions

#positionOperatorSchwartz_momentumOperatorSchwartz_eq

For any Schwartz function ψS(R,C)\psi \in \mathcal{S}(\mathbb{R}, \mathbb{C}), the position operator x^\hat{x} and the momentum operator p^\hat{p} satisfy the relation: x^(p^ψ)=p^(x^ψ)+iψ\hat{x}(\hat{p}\psi) = \hat{p}(\hat{x}\psi) + i\hbar\psi where ii is the imaginary unit and \hbar is the reduced Planck constant.

theorem

p^x^=x^p^i\hat{p}\hat{x} = \hat{x}\hat{p} - i\hbar for Schwartz functions

#momentumOperatorSchwartz_positionOperatorSchwartz_eq

For any Schwartz function ψS(R,C)\psi \in \mathcal{S}(\mathbb{R}, \mathbb{C}), the composition of the momentum operator p^\hat{p} and the position operator x^\hat{x} satisfies the relation: p^(x^ψ)=x^(p^ψ)iψ\hat{p}(\hat{x}\psi) = \hat{x}(\hat{p}\psi) - i\hbar\psi where ii is the imaginary unit, \hbar is the reduced Planck constant, the position operator is defined by (x^ψ)(x)=xψ(x)(\hat{x}\psi)(x) = x\psi(x), and the momentum operator is defined by (p^ψ)(x)=idψdx(\hat{p}\psi)(x) = -i\hbar \frac{d\psi}{dx}.