How do wavenumber and position eigenstates relate in quantum mechanics?

Click For Summary
SUMMARY

The relationship between wavenumber eigenstates |k> and position eigenstates |x> in quantum mechanics is established through the expression |k>=∫-∞∞ek(x)|x>dx, where ek(x)=eikx/√(2π). This formulation leads to the wave function of a free particle in position space, ψ_k(x), which satisfies the Schrödinger equation with energy E=ℏ²k²/2m. The normalization of these states is defined by the Dirac delta function, ensuring that the scalar product ⟨ψ_k|ψ_{k'}⟩ results in δ(k-k'). The discussion also highlights the use of generalized position eigenstates and the momentum operator's role in transforming between position and momentum representations.

PREREQUISITES
  • Understanding of quantum mechanics principles, specifically wave functions and eigenstates.
  • Familiarity with the Schrödinger equation and its implications for free particles.
  • Knowledge of Dirac delta functions and their role in normalization of states.
  • Concept of generalized eigenstates and rigged Hilbert spaces in quantum theory.
NEXT STEPS
  • Study the derivation of the Schrödinger equation for free particles in detail.
  • Explore the concept of rigged Hilbert spaces and their application in quantum mechanics.
  • Learn about the Fourier transform and its significance in transitioning between position and momentum representations.
  • Investigate the implications of the Heisenberg algebra on quantum state transformations.
USEFUL FOR

Quantum mechanics students, physicists, and researchers interested in the mathematical foundations of quantum theory, particularly those focusing on wave-particle duality and state normalization techniques.

albega
Messages
74
Reaction score
0
If the wavenumber eigenstates are |k> and the position eigenstates are |x>, then my notes say we can write
|k>=∫-∞ek(x)|x>dx
i.e express a wavenumber eigenstate in terms of a superposition of position eigenstates. Now they state that ek(x)=eikx/√(2π). I don't understand how we can say that the ek(x) has this form... Can anyone explain? Thanks :)
 
Last edited:
Physics news on Phys.org
I am sure there are a thousand different ways of proving it. This is just the one that came to my mind first. The scalar product \langle x|k\rangle=\psi_k(x) is by the definition the wave function of a free particle in position space. You know that this wave function obeys Schrödinger equation with an energy given by E=\hbar^2k^2/2m. Therefore you have:
$$
-\frac{\hbar^2}{2m}\frac{d^2\psi_k(x)}{dx^2}=\frac{\hbar^2k^2}{2m}\psi_k(x)\Rightarrow\frac{d^2\psi_k(x)}{dx^2}=-k^2\psi_k(x),
$$
whose solution is given by \psi_k(x)=Ne^{\pm ikx}, N being a normalization constant. To fix the normalization you must require that the scalar product between two of these functions (one with wave number k and the other with wave number k') is given by a delta function of k-k'. This is true because k has a continuous spectrum and hence instead of having the usual Kroeneker delta you end up if a Dirac delta. It straightforward to see that if you choose N=1/\sqrt{2\pi} then:
$$
\langle \psi_k|\psi_{k'}\rangle=\int_{-\infty}^\infty \frac{dx}{2\pi}e^{-i(k-k')x}=\delta(k-k').
$$
 
It's even simpler. Let's work in the position representation, i.e., using the generalized position eigenbasis. It's "generalized", because the spectrum of the position operator is continuous (the entire real axis) und thus there don't exist true eigenvectors but only generalized ones, i.e., they are not Hilbert-space vectors but distributions on a larger dual space; look for the concept of "rigged Hilbert spaces" as the modern way to formalize this mathematically. As physicists we just use the whole thing very naively as follows: For this first approach let's assume that we already know that the momentum operator in the position space reads
$$\hat{p}=-\mathrm{i} \partial_x,$$
where I've set ##\hbar=1## ("natural units") to simplify the notation as much as possible. Then the generalized momentum eigenstates ##u_p(x)=\langle x|p \rangle## are defined by the eigenvalue problem
$$\hat{p} u_p(x)=-\mathrm{i} \partial_x u_p(x) \stackrel{!}{=} p u_p(x).$$
The general solution for the equation is
$$u_p(x)=n_p \exp(\mathrm{i} p x).$$
Of course, ##p## should be real, and only then the formalism makes sense because it just describes the transformation from the position to the momentum representation as a Fourier transform which is extendible to a unitary transformation on the entire Hilbert space of squareintegrable wave functions.

Now we just need to find the normalization constant, but the state obviously is not normalizable, because it's not a square integrable function (for no value of ##p##), but we can "normalize it to a ##\delta## distribution" (sloppy phycisists' slang again), i.e., we want to normalize the momentum eigenstates as
$$\langle p|p' \rangle=\delta(p-p')$$
Now we translate this into the position picture by inserting a completeness relation,
$$\int_{\mathbb{R}} \mathrm{d} x \; |x \rangle \langle x|=\hat{1}.$$
This gives
$$\langle p | p' \rangle = \int_{\mathbb{R}} \mathrm{d} x \; \langle p|x \rangle \langle x|p' \rangle=\int_{\mathbb{R}} \mathrm{d} x \; u_p^*(x) u_{p'}(x) = n_p^* n_{p'} \int_{\mathbb{R}} \mathrm{d} x \; \exp[\mathrm{i} x(p'-p)]=2 \pi n_p^* n_{p'} \delta(p-p')=2 \pi |n_p|^2 \delta(p-p').$$
Thus, up to an unimportant phase we have
$$n_p=\frac{1}{\sqrt{2 \pi}} \; \Rightarrow \; u_p(x)=\frac{1}{\sqrt{2 \pi}}.$$
An arbitrary square-integrable wave function in position representation, ##\psi(x)=\langle x|\psi \rangle##, can thus be transformed to the momentum representation via
$$\tilde{\psi}(p)=\langle p|\psi \rangle = \int_{\mathbb{R}} \mathrm{d} x \langle p | x \rangle \langle x|\psi \rangle=\frac{1}{\sqrt{2 \pi}} \int_{\mathbb{R}} \mathrm{d} x \exp(-\mathrm{i} p x) \psi(x)$$
or in the other direction
$$\psi(x)=\langle x|\psi \rangle = \int_{\mathbb{R}} \mathrm{d} p \langle x|p \rangle \langle p|x \rangle=\frac{1}{\sqrt{2 \pi}} \int_{\mathbb{R}} \mathrm{d} p \exp(\mathrm{i} p x) \tilde{\psi}(p).$$
The remaining problem is to derive this result without using the position representation, i.e., in the representation-free Hilbert-space formalism. This only uses the Hilbert-space structure of quantum theory and the Heisenberg algebra for position and momentum,
$$[\hat{x},\hat{p}]=\mathrm{i} \hat{1}.$$
To this end we can use group theory to get an idea for the ansatz, how to solve this problem. The Heisenberg algebra implies that momentum generates translations in space. We don't really need this, however. So just take the following as a clever trick. The idea is to consider the operator
$$\hat{T}(\xi)=\exp(-\mathrm{i} \xi \hat{p})$$
and assume that there exists a (generalized) position eigenvector ##|x \rangle## for some ##x \in \mathbb{R}##. Now we like to show that also
$$|x' \rangle = \hat{T}(\xi) |x \rangle$$
is a position eigenvector. At the same time we like to figure out what the spectral value ##x'## might be. To that end we let the position operator act on this vector. Then it would be great to know, what's the commutator of ##\hat{x}## with ##\hat{T}(\xi)##, because then we could bring ##\hat{x}## to act on the ##|x \rangle##. So we first calculate this commutator. To that end we need the commutator of ##\hat{x}## with any integer power of ##\hat{p}##, because the operator exponential is defined by the corresponding Taylor series,
$$\hat{T}(\xi)=\sum_{k=0}^{\infty} \frac{1}{k!} (-\mathrm{i} \xi \hat{p})^k.$$
Thus for the commutator we need
$$\hat{C}_k=[\hat{x},p^k]=\hat{p}[\hat{x},\hat{p}^{k-1}]+[\hat{x},\hat{p}] \hat{p}^{k-1} = \hat{p} \hat{C}_{k-1} + \mathrm{i} \hat{p}^{k-1}.$$
This is a recursion relation for ##\hat{C}_k##. Starting from ##k=1## and the trivial relation ##\hat{C}_0=[\hat{x},\hat{1}]=0## leads to
$$\hat{C}_1=\mathrm{i}, \quad \hat{C}_2=\hat{p} \hat{C}_0+\mathrm{i} \hat{p}=2 \mathrm{i} \hat{p}, \quad \hat{C}_3 = \hat{p} \hat{C}_2+\mathrm{i} \hat{p}^2 = 3 \mathrm{i} \hat{p}^2,\ldots, \hat{C}_k=\mathrm{i} k \hat{p}^{k-1}.$$
This leads to
$$[\hat{x},\hat{T}(\xi)]=\sum_{k=1}^{\infty} \mathrm{i} k \frac{1}{k!} (-\mathrm{i} \xi)^k \hat{p}^{k-1}=\xi \sum_{k=1}^{\infty} \frac{1}{(k-1)!} (-\mathrm{i} \xi \hat{p})^{k-1}= \xi \hat{T}(\xi).$$
Thus we finally get
$$\hat{x} |x' \rangle=\hat{x} \hat{T}(\xi) |x \rangle=\left ([\hat{x},\hat{T}(\xi)]+\hat{T}(\xi) \hat{x} \right ) |x \rangle = (\xi+x) \hat{T}(\xi) |x \rangle.$$
This means that ##|x' \rangle## is eigenvector of ##\hat{x}## with the eigenvalue ##x'=x+\xi##. Thus, if the position operator has one real spectral value entire ##\mathbb{R}## is its spectrum. We thus can use the following generalized position eigenbasis
$$|x \rangle=\hat{T}(x) |x=0 \rangle.$$
From this you get
$$\langle p|x \rangle=\langle p|\hat{T}(x)|x=0 \rangle=\langle \hat{T}^{\dagger}(x) p|x=0 \rangle=\exp(\mathrm{i} x p) \langle p|x=0 \rangle=n_p \exp(\mathrm{i} x p).$$
Normalizing again to a ##\delta## distribution for the position eigenstates leads to ##n_p=1/\sqrt{2 \pi}## and leads again (up to an unimportant phase) back to
$$u_p^*(x)=\langle p|x \rangle=\frac{1}{\sqrt{2 \pi}} \exp(\mathrm{i} p x).$$
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 20 ·
Replies
20
Views
5K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 22 ·
Replies
22
Views
4K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 2 ·
Replies
2
Views
1K