5
$\begingroup$

We know that the position-momentum commutator is fundamental in quantum mechanics, but would it be possible to derive it starting from a different set of first principles, more specifically starting (in Dirac notation) from

1) Closure relations $ \int|x\rangle \, \langle x| dx $ (both momentum and position bases)

2) $ \left\langle \left.x'\right|x\right\rangle = \delta \left(x-x'\right) $ Orthonormality relations for both bases

3) $ \left\langle \left.x\right|p\right\rangle = e^{\text{ipx}} $ the assumption that momentum eigenstates are plane waves in the position representation

$\endgroup$
  • $\begingroup$ For essentially the opposite question, see e.g. this Phys.SE post. $\endgroup$ – Qmechanic Dec 12 '15 at 7:34
  • $\begingroup$ The commutator of $x$ with $p$ is the fundamental ingredient. Everything else you have mentioned can be derived from that. $\endgroup$ – Prahar Dec 12 '15 at 9:01
7
$\begingroup$

Implicit in the assumption of "position" and "momentum" bases should be the eigenvalue eqs. for the corresponding observables, $\hat x\; |x\rangle = x |x\rangle$ and $\hat p\; |p\rangle = p |p\rangle$, although the expression of $\hat p$ in the position basis is not necessary. With this understood, consider the matrix element

$$\langle x |(\hat x \hat p - \hat p \hat x | x' \rangle = (x-x')\langle x |\hat p | x' \rangle =\\ = (x-x')\int{dp_1 \int{dp_2 \langle x |p_1\rangle \langle p_1|\hat p |p_2\rangle \langle p_2 | x'\rangle }}= \\ = (x-x')\int{dp_1 \int{dp_2 e^{ip_1x}\delta(p_1-p_2)p_2e^{-ip_2x'}}} = \\ = (x-x')\int{dp_1 \;p_1 e^{i(x-x')p_1}} = -i(x-x')\frac{\partial}{\partial x}\int{dp_1 \; e^{i(x-x')p_1}}=\\ = -i(x-x')\frac{\partial}{\partial x}\delta(x-x') = i\delta(x-x') = i\langle x|x'\rangle $$ where use was made of the identity $(x-a)\delta'(x-a) = -\delta(x-a)$. Since $|x\rangle$, $|x'\rangle$ are arbitrary, $$ [\hat x, \hat p] = i $$ follows necessarily.

$\endgroup$
1
$\begingroup$

The only ingredient that one needs to prove the commutation relations back is the action of either of the two operators on the other basis; namely one must assume that $\langle x|\hat{p}| \psi\rangle = i \partial_x \psi(x)$, i. e. the momentum operator acts as derivative on the position (or viceversa). From there the commutation relations follow automatically via the Stone theorem, or, equivalently restated, the derivative is the only operator whose commutator with the position is the identity.

3) follows automatically and 1) & 2) are unnecessary.

$\endgroup$
  • $\begingroup$ I think we can derive that when we have that $ \langle x|p\rangle =e^{\text{ipx}} \text { and } \hat{p}\ |p\rangle =p |p\rangle $ $\endgroup$ – Athis Startis Dec 13 '15 at 9:03
  • $\begingroup$ $ \langle x| \hat{p}\ |p\rangle =p \langle x|p\rangle =pe^{\text{ipx}} $ And from here isn't it safe to assume that $\langle x|\hat{p}| \psi\rangle = i \partial_x \psi(x)$ (Since we can always write $\psi(x)$ as a sum over eigenfunctions of momentum) $\endgroup$ – Athis Startis Dec 13 '15 at 9:09

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.