11

For the definition of the momentum operator $$\hat{P } = -i \hbar \nabla$$ in quantum mechanics, as I understand you can derive this by either considering a more general definition of momentum, i.e. 'canonical momentum' which is an operator and then apply this operator to wave functions. This is shown here in this wiki entry. We can alternatlively start with translations and use the face that the momentum operator is a generator of translations as is done here in this wiki entry.

What I am interested in is what is the more fundamental derivation for the position operator: $$\hat{X} = x.$$ To this point I have considered that the motivation for defining position operator is from the definition of the expectation value $$\langle x \rangle = \int dx x |\psi(x)|^2 = \langle \psi|x | \psi \rangle$$ where $| \psi \rangle$ is normalised. Is this the full extent of the motivation or the main point to consider? Is there another motivation for the position operator or is it taken from this motivation and confirmed by experiments to be acceptable?

Qmechanic
  • 201,751
Alex
  • 1,023
  • I believe this is more of a definition. Values of observables are given by the eigenvalues of their corresponding operator. Thus, this is what you would expect the position operator to do - give you the position. Equivalently, $p$ of course operates on the $\mid p \rangle$ states to give the momentum, $S_z$ gives the spin projection, etc. – Kyle Arean-Raines Aug 08 '16 at 14:29
  • You're making confusion between operators and their representations onto (some) bases. The answers below correctly address the issues. – gented Aug 08 '16 at 14:43
  • @GennaroTedesco: Because additional answers of varying quality might be added later, you might not want post a comment that commends "the answers below" without specifying which answers. – WillO Aug 08 '16 at 16:42
  • See e.g. Stone - von Neumann theorem on Wikipedia. If you like this question you may also enjoy reading this Phys.SE post. – Qmechanic Aug 08 '16 at 18:11
  • @WillO Oh yes, sure, that was silly :D. – gented Aug 08 '16 at 18:48
  • Related: http://physics.stackexchange.com/q/45248/2451 and links therein. – Qmechanic Nov 04 '16 at 16:19

3 Answers3

12

${\hat X} = x$ because we choose to work in a basis of eigenvectors of ${\hat X}$, i.e. wave-functions.

We have a Hilbert space ${\cal H}$ which is a vector space on which we can choose any basis we wish. We most often choose to work in a basis that diagonalizes the position operator ${\hat X}$. Basis states satisfy $$ {\hat X} | x \rangle = x | x \rangle $$ Once such a basis is chosen, any state $|\Psi\rangle$ in ${\cal H}$ can be expanded in it, i.e. we can write $$ | \Psi \rangle = \int dx | x \rangle \Psi(x) $$ The function $\Psi(x)$ is called the wave-function. We can invert this to find $$ \Psi(x) = \langle x | \Psi \rangle $$

Now, what is the meaning of $\big({\hat X} \Psi \big)(x)$? By definition it is the wave-function of the state ${\hat X} | \Psi \rangle$, i.e. it is $\langle x | {\hat X} | \Psi \rangle$. It is then immediately obvious that $$ \langle x | {\hat X} | \Psi \rangle = x \langle x | \Psi \rangle = x \Psi(x) $$ Thus, we find that $\big({\hat X} \Psi \big)(x) = x \Psi(x)$. For this reason, we write for convenience ${\hat X} = x$, but one must remember that this is only true in the coordinate basis.

Momentum operator in coordinate basis: You might then ask how one can derive the expression for the momentum operator ${\hat P}$ in the coordinate basis. This is done as follows.

By definition $\big( {\hat P} \Psi \big)(x) = \langle x | {\hat P} | \Psi \rangle $. Then, $$ \big( {\hat P} \Psi \big)(x) = \int \frac{dp}{2\pi \hbar} \langle x | p \rangle \langle p | {\hat P} | \Psi \rangle = \int \frac{dp}{2\pi \hbar} \langle x | p \rangle \langle p | \Psi \rangle p = \int dx' \frac{dp}{2\pi \hbar} \langle x | p \rangle \langle p | x' \rangle \langle x' |\Psi \rangle p $$ Next, using $\langle x | p \rangle = e^{\frac{i}{\hbar} p x }$, we have $$ \big( {\hat P} \Psi \big)(x) = \int dx' \frac{dp}{2\pi \hbar}e^{\frac{i}{\hbar} p (x-x') } p \Psi(x') $$ We now write $$ e^{\frac{i}{\hbar} p (x-x') } p = - i \hbar \frac{\partial}{\partial x}e^{\frac{i}{\hbar} p (x-x') } $$ Using this, we can explicitly perform the integral over $p$ and we find $$ \big( {\hat P} \Psi \big)(x) = - i \hbar \frac{\partial}{\partial x} \Psi(x) $$ Thus, in coordinate basis, we write $$ {\hat P} = - i \hbar \frac{\partial}{\partial x} $$

PS - Of course, we are free to choose any basis we want. We could for instance work in momentum basis. In this basis, we would have $$ {\hat P} = p~, \qquad {\hat X} = i \hbar \frac{\partial}{\partial p} ~. $$

Prahar
  • 25,924
  • Any chance we could discuss this in chat? The starting point of your definition is $$\hat{X}|x\rangle = x |x \rangle.$$ Is the thinking here that we start with the postulate of QM which states "any observable is an Hermitian operator which has eigenstates which are a basis for the Hilbert space". It doesn't make sense to not start from that point, since in the first two equations of yours you already assumed that $|x \rangle$ is an eigenstate of an operator that you had not yet defined, and in the second equation you assumed the eigenvectors $|x \rangle$ are complete. – Alex Aug 08 '16 at 17:07
  • What is wrong with deriving the definition of momentum (represented in the position basis) as was done in the links I provided (using the translation operator)? Is the problem just that it is limited to presentation in the position basis? – Alex Aug 08 '16 at 17:07
  • Yes to your second comment. We have already defined the Hermitian operators ${\hat X}$ and ${\hat P}$ by their commutation relation $[ {\hat X} , {\hat P} ] = i \hbar$. With this definition and the postulate of QM that you have stated, everything follows. I'm available on chat if you wish. – Prahar Aug 08 '16 at 17:09
  • Okay thanks, if we run out of comments will move it to chat. What do you mean we 'already defined the operators $\hat{X}$ and $\hat{P}$ by their commutation relation', don't you get the commutation relation from the definitions of $\hat{X}$ and $\hat{P}$? – Alex Aug 08 '16 at 17:18
  • No. We start with classical system with coordinate $X$ and canonical momentum $P$ which satisfy a Poisson bracket ${ X , P } = 1$ and a phase space ${\cal M}$. The quantum theory is then obtained by defining a Hilbert space ${\cal H}$ in which each state corresponds to a point on ${\cal M}$. $X$ and $P$ are elevated to operators ${\hat X}$ and ${\hat P}$ and Poisson brackets are elevated to commutators. The result is that we now have a quantum system described by a Hilbert space of states ${\cal H}$ and two operators ${\hat X}$ and ${\hat P}$ that satisfy $[ {\hat X} , {\hat P} ] = i \hbar$. – Prahar Aug 08 '16 at 17:22
  • We then use the postulate that the eigenvectors of Hermitian operators forms a basis on ${\cal H}$ and move forward with the discussion I presented in my answer. Any basis may be chosen and depending on the basis choice, the operators ${\hat X}$ and ${\hat P}$ have different representations. The most common one is the coordinate basis that you are familiar with. Another common one is the energy eigenbasis. – Prahar Aug 08 '16 at 17:24
  • One last question. What is the motivation for the definition $\langle x | p \rangle = e^{\frac{i}{\hbar}px}$? Where does it come from? – Alex Aug 08 '16 at 17:39
  • It is also derived from the commutation relation $[ {\hat X} , {\hat P} ] = i \hbar$. – Prahar Aug 08 '16 at 17:39
  • Okay and do we know that the eigenstates $|x \rangle$ are continuous as opposed to discrete by simply observing that the particle can be found anywhere and is not limited in position? – Alex Aug 08 '16 at 21:41
  • 1
    Yes. That is right. – Prahar Aug 08 '16 at 23:47
5

Note that $\hat{X} = x$ is strictly not correct. The left hand side is the operator acting on the Hilbert states of quantum states. The right-hand side is a real number.

The RHS is the position-representation of the LHS. As the OP recognised correctly this is a tautology to some extent, since it is the defining representation of the operator via the eigenvalue equation

$$\hat{X} |x\rangle = x |x\rangle.$$

So the a priori definition is this one with the notion that the $|x\rangle$-states are localised delta-functions, i.e.

$$\langle x'|x\rangle = \delta^{(3)}\left(x-x'\right).$$

Note that the second equation above follows from the first equation (up to a constant) under the assumption that $\hat{X}$ is hermitian and that its spectrum is continuous.

So far this was only some maths, if you would like to read about this in a more precise manner I recommend Quantum Optics in Phase Space by W. Schleich.

So far this was only maths. The important thing which determines the physics is quantisation, which consists of imposing the relation:

$$\left[\hat{X}, \hat{P} \right] = i\hbar$$

which is also how the first relation in the question (i.e. the momentum operator in position representation) is obtained.

Wolpertinger
  • 11,535
  • 2
    Does $\langle x' | x \rangle = \delta(x' - x)$ follow from the following reasoning: $\langle x'| \hat{X} | x \rangle= \langle x| \hat{X} | x' \rangle^* = x' \langle x | x' \rangle^* = x'\langle x'|x \rangle = x \langle x'| x \rangle$. This holds for any $x, x'$ hence we must have that $\langle x'| x \rangle = \delta(x-y)$? –  Aug 08 '16 at 18:51
  • 1
    @JohnDoe yep you are right. the last two equated imply that it is non-zero everywhere except when x=x'. and then to get complete states you need it to be a delta function (which is why i said "up to a constant" in the question; the just mentioned fixes that constant) – Wolpertinger Aug 08 '16 at 18:56
  • So just to confirm, the fact that the operators corresponding to observables are Hermtitian is a postulate rather than something derived? –  Aug 08 '16 at 19:09
  • 1
    @JohnDoe yes, indeed. that is actually one of the axioms of quantum mechanics. it is loosely motivated by the fact that non-hermitian operators can have complex eigenvalues, which would be unphysical for observables. – Wolpertinger Aug 08 '16 at 22:06
1

In QM you have a general postulate, that requires physical observables (momentum, angular momentum, coordinates) to be represented by Hermitian operators. Actually, in QM you have different bases as well as different notion of time evolution. Those are position and coordinate basis and Schrödinger and Heisenberg representations. Where the difference between the last two is that in the Heisenberg picture operators are time dependent. Your question is for the Schrödinger representation coordinate basis so lets concentrate on it.

In the coordinate representation, the basis is formed by an infinite set of vectors $\{| {\bf x} \rangle\}$ for which the following holds: $$ \hat{\bf X}| {\bf x} \rangle = {\bf x} | {\bf x} \rangle \,. $$
Every state vector $| \psi \rangle$ can be expressed in this basis as: $$ | \psi \rangle = \int d{\bf x} \, |{\bf x}\rangle \langle{\bf x}|\psi\rangle \,, $$ where we used the usual expression $ \int d{\bf x}|{\bf x}\rangle \langle{\bf x}|=\hat{I}$. So the position operator was easy, what about the momentum operator? Here you need more calculus. Similarly, for the momentum representation we have: $$ \hat{\bf P}| {\bf p} \rangle = {\bf p} | {\bf p} \rangle \,, $$
and $$ | \psi \rangle = \int d{\bf p} |{\bf p}\rangle \langle{\bf p}|\psi\rangle \,. $$ To relate the two we note: $$ \psi({\bf x})=\langle{\bf x}|\psi\rangle=\int d{\bf p} \langle{\bf x}|{\bf p}\rangle \langle{\bf p}|\psi\rangle=\int d{\bf p} \langle{\bf x}|{\bf p}\rangle\phi({\bf p}) \,, $$ which means that you go from one base to the other via a Fourier transformation. Where the Fourier transform is given by: $$ \psi({\bf x})=\frac{1}{(2\pi \hbar)^{\frac{2}{3}}}\int d{\bf p}\,e^{\frac{i{\bf x}\cdot{\bf p}}{\hbar}}\,\phi({\bf p}) \,. $$ In this base, for the momentum operator $\hat{\bf P}$, we have: $$ \langle {\bf x}|\hat{\bf P}|\psi\rangle = \langle{\bf x}|\hat{\bf P} \int d{\bf p}|{\bf p}\rangle \langle {\bf p} |\psi \rangle = \int d{\bf p} \langle{\bf x}|\hat{\bf P}|{\bf p}\rangle \phi({\bf p}) = \int d{\bf p} \, {\bf p}\langle{\bf x}|{\bf p}\rangle \, \phi({\bf p}) \\ = \frac{1}{(2\pi \hbar)^{\frac{2}{3}}}\int d{\bf p}\, {\bf p} \, e^{\frac{i{\bf x}\cdot{\bf p}}{\hbar}} \phi({\bf p}) \,, $$ since $$ -i\hbar {\boldsymbol \nabla} e^{\frac{i{\bf x}\cdot{\bf p}}{\hbar}} ={\bf p}\,e^{\frac{i{\bf x}\cdot{\bf p}}{\hbar}} \,, $$ we have: $$ \langle{\bf x}|\hat{\bf P}|\psi\rangle=-i\hbar {\boldsymbol \nabla} \langle {\bf x} | \psi \rangle \,. $$ Or simply, $\hat{\bf P}=-i\hbar {\boldsymbol \nabla}$, and for the other operator, $\hat{\bf X}| {\bf x} \rangle = {\bf x} | {\bf x} \rangle$, by definition, because we are working in the coordinate basis.

You can easily check that both $\hat{\bf P}$ and $\hat{\bf X}$ are hermitian and satisfy the Heisenberg relation.

P.S. You can have also the Dirac (interaction) picture where both states and operators depend on time.

koy
  • 109