How can I prove that $i\hbar\frac{\partial}{\partial \mathbf{p}}$ is the operator of $\mathbf{x}$ in momentum space?
Answer
Actually your result doesn't quite follow. Something slightly more general does.
Everything begins and ends with the canonical commutation relationship (CCR):
$$[\hat{\mathbf{X}},\,\hat{\mathbf{P}}]=\hat{\mathbf{X}}\,\hat{\mathbf{P}} - \hat{\mathbf{P}}\,\hat{\mathbf{X}} = i\,\hbar\,\mathbf{I}\quad\quad\quad\quad(1)$$
where $\hat{\mathbf{X}}$ and $\hat{\mathbf{P}}$ are respectively the position and momentum observables. Suppose our quantum state space is labeled by co-ordinates wherein $\hat{\mathbf{X}}$ is the multiplication operator $f(x) \mapsto x\,f(x)$. Then the CCR doesn't quite imply that the momentum observable $\hat{\mathbf{P}}$ is $-i\,\hbar\,\nabla$, it implies it is of the form $-i\hbar\,\mathbf{Q}^{-1} \nabla \mathbf{Q}$ where $\mathbf{Q}$ is a diagonal $3\times 3$ matrix multiplication operator. But then of course we can always choose co-ordinates wherein $\hat{\mathbf{X}}$ is a multiplication operator and $\hat{\mathbf{P}} = -i\,\hbar\,\nabla$. I'll prove this result below.
Once we have this result, we simply swap the roles of $\hat{\mathbf{P}}$ and $\hat{\mathbf{X}}$, noting that we have to switch the sign of $\hbar$ to compensate for the reversal of the Lie bracket. So, the result above can be applied with $\hbar\mapsto -\hbar$ to show that we can always find co-ordinates wherein $\hat{\mathbf{P}} f(p) = p f(p)$ and $\hat{\mathbf{X}} f(p) = i\,\hbar\,\nabla\,f(p)$. QED
Afternote: Once you have the expressions $\hat{\mathbf{X}} f(x) = x\,f(x);\;\hat{\mathbf{P}} f(x) = -i\,\hbar\,\mathrm{d}_x f(x)$ it follows that the co-ordinates wherein $\mathbf{P}$ is the simple multiplication operator $\hat{\mathbf{P}} f(p) = p\,f(p)$ and the co-ordinates wherein $\hat{\mathbf{X}} f(p) = p\,f(p)$ must be related by a Fourier transform. This is because the eigenfunctions of $-i\,\hbar\,\mathrm{d}_x$ with real eigenvalues (i.e. so that $-i\,\hbar\,\mathrm{d}_x$ is Hermitian) are the functions $\exp(i\,k\,x)$ for real $k$. So this observation brings us to a second method of deriving your result, which I also give at the end.
Let's go back to what we can actually derive from the CCR. Let's simplify this to a one-dimensional particle - it should be easy to see that this generalizes with 1D multiplication operators replaced by $3\times 3$ diagonal matrix multiplication operators. It can be shown that, given the CCR, $\hat{\mathbf{X}}$ and $\hat{\mathbf{P}}$ must have continuous spectrums - see my answer here and especially the link therein for more information. The eigenvalues of $\hat{\mathbf{X}}$ and $\hat{\mathbf{P}}$ can be any real values, so let's assume firstly that our co-ordinates in quantum state space have been chosen so that $\hat{\mathbf{X}}$ is a simple multiplication operator $\hat{\mathbf{X}} f(x) = x\,f(x)$ and we write the quantum state as a wavefunction $\psi(x)\in\mathbf{L}^2(\mathbb{R})$ of the position observable's eigenvalue $x$, so that now $|\psi(x)|^2$ is the probability density of the position eigenvalue given the quantum state $\psi(x)$. So now let's think of $\hat{\mathbf{X}}$ and $\hat{\mathbf{P}}$ as operators belonging to some linear space $\mathcal{L}$ of suitably well behaved operators on $\mathbf{L}^2(\mathbb{R})$. We need to assume that $\mathcal{L}$ is a space of diagonalizable (i.e. spectrally factorisable) operators with continuous spectrums. Then we can think of the Lie bracket $\hat{\mathbf{P}}\mapsto[\hat{\mathbf{X}},\,\hat{\mathbf{P}}]$ as linear operator $\operatorname{ad}_{\hat{\mathbf{X}}}:\mathcal{L}\to\mathcal{L}$ on the space $\mathcal{L}$ of our operators. This mapping's kernel is the linear space of operators mapped to nought by $\operatorname{ad}_{\hat{\mathbf{X}}}$; these are precisely the linear space of generalised multiplication operators $f(x)\mapsto g(x) f(x)$ for some fixed $g(x) \in \mathbf{L}^2(\mathbb{R})$ defining each such operator. The reason we know this is the whole kernel is that operators commute if and only if those operators have the same eigenvectors and those commuting with $\hat{\mathbf{X}}$ are the kernel members we seek. So a kernel member must be a multiplication operator. Now a particular solution to the CCR can readily be verified to be $f(x)\mapsto -i\,\hbar\,\mathrm{d}_x\,f(x)$, and the coset of all operators $\mathbf{P}$ fulfilling the CCR is the kernel displaced by any particular solution, so the most general $\hat{\mathbf{P}}$ we can have in this particular co-ordinate system is:
$$f(x) \mapsto (-i\,\hbar\,\mathrm{d}_x + g(x))\,f(x) = -i\,\hbar\,\mathbf{Q}^{-1} \mathbf{D} \mathbf{Q} f(x)\quad\quad\quad\quad(2)$$
where $\mathbf{D} f(x) = \mathrm{d}_x f(x)$ and $\mathbf{Q} f(x) = \exp\left(\frac{i}{\hbar} h(x) \right) f(x)$ where $h(x) = \int g(x)\mathrm{d}x$. So now we can rotate our state space co-ordinates so that $f(x) \mapsto \mathbf{Q} f(x)$ and the $\hat{\mathbf{X}}$ and $\hat{\mathbf{P}}$ observables transform in this space as $\hat{\mathbf{X}}\mapsto \mathbf{Q}\hat{\mathbf{X}}\mathbf{Q}^{-1} = \hat{\mathbf{X}}$ and $\hat{\mathbf{P}}\mapsto \mathbf{Q}\hat{\mathbf{P}}\mathbf{Q}^{-1} = -i\,\hbar\,\mathbf{D}$. Therefore:
The CCR alone implies there is an orthogonal co-ordinate system for the quantum state space wherein:
$$\begin{array}{lcl}\hat{\mathbf{X}} f(x) &=& x\,f(x)\\ \hat{\mathbf{P}} f(x) &=& -i\,\hbar\,\mathrm{d}_x\,f(x)\end{array}\quad\quad\quad\quad(3)$$
or, with a swap of roles of $\mathbf{X}$ and $\mathbf{P}$ together with a sign change of $\hbar$:
$$\begin{array}{lcl}\hat{\mathbf{P}} f(p) &=& p\,f(p)\\ \hat{\mathbf{X}} f(p) &=& i\,\hbar\,\mathrm{d}_p\,f(p)\end{array}\quad\quad\quad\quad(4)$$
We might begin with de Broglie's hypohthesis that momentum eigenstates are plane waves (i.e. with functional form $\exp(i\,k\,x)$ in position co-ordinates with momentum $\hbar k$ as our "fundamental" axiom. To factorise a state $\psi(x)$ into a superposition of such waves, we of course use the Fourier transform. De Broglie's hypothesis is then equivalent to the statement that momentum co-ordinates are the position co-ordinates Fourier transformed and rhe momentum operator, by our de Broglie hypothesis momentum formula, multiplies these by $\hbar\,k$, then we transform back to position co-ordinates. So our momentum operator in position co-ordinates must be:
$$\psi(x) \to \frac{\hbar}{2\,\pi}\int_{-\infty}^\infty\exp(i\,k\,x)\,k\,\int_{-\infty}^\infty\exp(-i\,k\,u)\psi(u)\,\mathrm{d}u\,\mathrm{d}k=\\-i\,\hbar\,\mathrm{d}_x\,\left(\frac{1}{2\,\pi}\int_{-\infty}^\infty\exp(i\,k\,x)\,\int_{-\infty}^\infty\exp(-i\,k\,u)\psi(u)\,\mathrm{d}u\,\mathrm{d}k\right) = -i\,\hbar\,\mathrm{d}_x\,\psi(x)\quad\quad\quad\quad(5)$$
So, if we now Fourier transform our co-ordinates so that:
$$\Psi(p) = \frac{1}{\sqrt{2\,\pi}}\int_{-\infty}^\infty\exp\left(i\,\frac{p}{\hbar}\,x\right)\psi(x)\mathrm{d} x\quad\quad\quad\quad(6)$$
then we see that (e.g. by integration by parts)
$$p\,\Psi(p) = \frac{1}{\sqrt{2\,\pi}}\int_{-\infty}^\infty\exp\left(i\,\frac{p}{\hbar}\,x\right)\left(-i\,\hbar\,\mathrm{d}_x \psi(x)\right)\,\mathrm{d} x\quad\quad\quad\quad(7)$$
and also (by simply differentiating under the integral)
$$i\,\hbar\,\mathrm{d}_p \Psi(p) = \frac{1}{\sqrt{2\,\pi}}\int_{-\infty}^\infty\exp\left(i\,\frac{p}{\hbar}\,x\right)\, x \,\psi(x)\,\mathrm{d} x\quad\quad\quad\quad(8)$$
and so (7) and (8) are the momentum and position operators, respectively, in momentum co-ordinates, hence we have a second way to understand your result.
No comments:
Post a Comment