Math 2.0

Quantum theory Definition

Momentum operator

Builds on Lp spaceFourier transformObservableSelf-adjoint operatorSchwartz spacePosition operator

Definition

Let ℏ>0\hbar > 0, and let ℱ\mathcal{F} be the unitary Fourier transform on L2(ℝ)L^2(\R), given for integrable ψ\psi by (ℱψ)(k)=ψ^(k)=12π∫ℝψ(x)e−ikx dx.(\mathcal{F}\psi)(k) = \hat\psi(k) = \frac{1}{\sqrt{2\pi}} \int_\R \psi(x) e^{-ikx}\, dx. The momentum operator PP is the operator with domain D(P)={ψ∈L2(ℝ):∫ℝk2∣ψ^(k)∣2 dk<∞}D(P) = \set{\psi \in L^2(\R) : \int_\R k^2 \abs{\hat\psi(k)}^2 \, dk < \infty} given by Pψ=ℱ−1(ℏk ψ^(k))P\psi = \mathcal{F}^{-1}\big(\hbar k\, \hat\psi(k)\big).

Remarks

For ψ\psi in the Schwartz space 𝒮(ℝ)\mathcal{S}(\R), ψ′^(k)=ikψ^(k)\widehat{\psi'}(k) = ik\hat\psi(k), so Pψ=−iℏ ψ′P\psi = -i\hbar\, \psi'. More generally D(P)D(P) is the Sobolev space H1(ℝ)H^1(\R) and Pψ=−iℏ ψ′P\psi = -i\hbar\, \psi' with the weak derivative. Since ℱ\mathcal{F} is unitary, P=ℱ−1(ℏX^)ℱP = \mathcal{F}^{-1} (\hbar \hat X) \mathcal{F}, where X^\hat X is the position operator in the variable kk. So PP is self-adjoint, an observable, with spectrum ℝ\R and no eigenvalues. In ℝn\R^n, Pj=−iℏ ∂/∂xjP_j = -i\hbar\, \partial/\partial x_j is defined in the same way with kjk_j.

Example: ψ(x)=π−1/4e−x2/2\psi(x) = \pi^{-1/4} e^{-x^2/2} is a Schwartz function, and Pψ=−iℏψ′=iℏxψP\psi = -i\hbar \psi' = i\hbar x\psi. So ⟨ψ,Pψ⟩=iℏ∫xπ−1/2e−x2 dx=0\ip{\psi}{P\psi} = i\hbar \int x \pi^{-1/2} e^{-x^2}\, dx = 0.

Non-example: the indicator ψ=𝟏[0,1]\psi = \mathbf{1}_{[0, 1]} is in L2(ℝ)L^2(\R), with ψ^(k)=(1−e−ik)/(ik2π)\hat\psi(k) = (1 - e^{-ik})/(ik\sqrt{2\pi}) for k≠0k \ne 0. Then k2∣ψ^(k)∣2=∣1−e−ik∣2/(2π)=(1−cos⁡k)/πk^2 \abs{\hat\psi(k)}^2 = \abs{1 - e^{-ik}}^2/(2\pi) = (1 - \cos k)/\pi, which is not integrable over ℝ\R, so ψ∉D(P)\psi \notin D(P).

Reading path

To understand this page from the ground up, read these 7 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Fourier transform concept
  2. Lp space concept
  3. Observable concept
  4. Position operator concept
  5. Schwartz space concept
  6. Self-adjoint operator concept
  7. Momentum operator definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Momentum_operator
About this page
TagA8G3WRSMMZ
URIm2://A8G3WRSMMZ
Kinddefinition
WritingW0 stub
MSC81Q10, 47B25
DefinesMomentum operator
UsesLp space, Fourier transform, Observable, Self-adjoint operator, Schwartz space, Position operator
Changed3 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.