Take the 2-minute tour ×
Physics Stack Exchange is a question and answer site for active researchers, academics and students of physics. It's 100% free, no registration required.

I have been going through some problems in Sakurai's Modern QM and at one point have to calculate $\langle \alpha|\hat{p}|\alpha\rangle$ where all we know about the state $|\alpha\rangle$ is that $\langle x|\alpha\rangle=f(x)$ for some known function $f$. ($|\alpha\rangle$ is a Gaussian wave packet.) Sakurai says that this is given by:

$$\langle p\rangle = \int\limits_{-\infty}^{+\infty}\langle\alpha|x\rangle\left(-i\hbar\frac{\partial}{\partial x}\right)\langle x|\alpha\rangle dx.$$

I am wondering how we get to this expression. I know that we can express

$$|\alpha\rangle =\int dx|x\rangle\langle x|\alpha\rangle$$

and

$$\langle\alpha|=\int dx\langle\alpha|x\rangle\langle x|,$$

so my thinking is that we have:

$$\langle\alpha|\hat{p}|\alpha\rangle =\iint dx dx'\langle\alpha|x\rangle\langle x|\hat{p}|x'\rangle \langle x'|\alpha\rangle, $$

and if we can 'commute' $|x\rangle$ and $\hat{p}$ this would become: $$\iint dxdx'\langle\alpha |x\rangle\hat{p}\langle x|x'\rangle \langle x'|\alpha\rangle,$$ which is the desired result as $\langle x|x'\rangle=\delta(x-x')$. Is this approach valid?

I think my question boils down to: Does the operator $\hat{p}$ act on the basis kets $|x\rangle$ or on their coefficients? In the latter case, if we had some state $|\psi\rangle = |x_0\rangle$ for some position $x_0$, then would we say that for this state $\langle p\rangle =\langle x_0|\left(-i\hbar\frac{\partial}{\partial x}\right)|x_0\rangle = 0$ as the single coefficient is $1$ and the derivative of $1$ is $0$?

share|improve this question

3 Answers 3

up vote 3 down vote accepted

Looking at the question

I think my question boils down to: does $\hat p$ act on the basis kets $|x\rangle $ or on their coefficients?

one can safely identify that you're confused about something but it's harder to figure out what the question really is. So let me repeat some basic things here – I am confident that you must be confused about one of them, despite their basic character.

The symbol $\hat p$ is an operator. It means an object that acts on any ket vector and gives you another (or the same) ket vector. The map must be linear and so on. So $\hat p$ surely acts on vectors, not on "coefficients".

On the other hand, when it acts on a basis vector such as $|x\rangle$, the result may be expressed as a linear combination of the basis vectors in the same basis, $$\hat p |x\rangle = \int dx' f_x(x') |x'\rangle$$ with some coefficients $f_x(x')$. Every ket vector, and $\hat p | x \rangle$ is a ket vector, may be expressed using a basis in a way.

So while you may identify $|x\rangle$ with the "wave function" equal to $\psi(x'') = \delta (x''-x)$ where $x$ is a fixed value of the position, the acted-upon ket vector $\hat p|x\rangle$ is given in terms of the function $f_x(x')$ which encodes the coefficients in front of $|x'\rangle$. This function (storing the coefficients) is fully given by the meaning of the operator $\hat p$ and by the value of $x$ and it replaces the delta-function encoding $|x\rangle$ itself, so in this sense, operators also act on coefficients. One must just know the basic rules how they act on a basis etc. and then he knows everything!

Another thing you may be confused by is even more elementary, what a derivative is. A derivative is not an operator acting on the Hilbert space. A derivative is an operation that takes a function of a real variable and maps it to another function of the real variable $$ \frac{\partial}{\partial x} : f(x)\mapsto f'(x) = \lim_{\varepsilon\to 0}\frac{f(x+\varepsilon)-f(x)}{\epsilon} $$ You must be confused about this definition of a derivative, otherwise you wouldn't write the meaningless derivatives in the last sentence. Something should generally depend on the variable with respect to which we are differentiating, and then we differentiate it as a function using the general definition above.

The kernel (or "matrix elements") of $\hat p$ is $$\langle x | \hat p | x'\rangle = -i\hbar \delta'(x-x')=f_{x'}(x)$$ which is the derivative of the delta-function. It's a delta-function whose argument is the difference of the two values $x,x'$ that specify the bra vector and the ket vector between which $\hat p$ was sandwiched. The delta-function is equal to the inner product of the bra vector $\langle x |$ and the vector $\hat p |x\rangle$ which results from the action of $\hat p$ on $|x\rangle$.

The kernel is enough to calculate anything involving $\hat p$ and bra and ket vectors in the $x$-basis. For example, you may multiply my equation for the kernel above by $|x\rangle$ from the left and integrate over $x$. Then one gets (after noticing that $1$ was constructed on LHS via the completeness relation) $$\hat p |x'\rangle = \int dx (-i\hbar) \delta(x-x') |x\rangle = -i\hbar\frac{\partial}{\partial x}|x\rangle_{x= x'} $$ Sorry if there's a sign error anywhere. It makes sense to differentiate with respect to $x$ because the object actually is a function of $x$. If a general wave function is rewritten as a combination of such $|x'\rangle$ vectors from the LHS of the equation above, via an integral and with the coefficients called $\psi(x')$, the equation above becomes the usual $$\hat p:\psi(x')\to -i\hbar \psi'(x')$$ in terms of the coefficients. This doesn't mean that a linear operator is the same thing as a derivative of functions. It just says that in the $x$-basis, when acting on a general combination of these basis vectors, the coefficients transform in this derivative-like way. But that's a special property of this particular operator. Other operators, like $\hat x$, act differently.

share|improve this answer
    
Thanks a lot for writing this. Silly as it is I think I actually was confused about the derivative, and how it acts on functions, not on the elements of the Hilbert space. I understand the problem a lot better now. –  Andrew Ledesma Sep 6 '13 at 9:01

In my opinion, manipulations involving $\hat p$ and position bras and kets are most easily done by considering the action of $\hat p$ on the position bras, which is simply $$ \boxed{ \vphantom{\begin{array}{}make\\the box\\taller\end{array}} \quad\,\,\, \langle x|\hat p=-i\hbar\frac{\text d}{\text dx}\langle x|. \quad\,\,\,} \tag 1 $$

You can get this easily by seeing that for any state $|\psi\rangle$ with position-representation wavefunction $\psi(x)=\langle x|\psi\rangle$, the action of the momentum operator on the state gives a derivative on the wavefunction. That is, $$\langle x|\hat p|\psi\rangle =-i\hbar\frac{\text d}{\text dx}\langle x|\psi\rangle.$$ Since this equation holds for all states $|\psi\rangle\in\mathcal H$, you can "cancel $|\psi\rangle$ out". (More technically, since the action of the bras $\langle x|\hat p$ and $-i\hbar\frac{\text d}{\text dx}\langle x|$ is the same for all vectors, they must be equal as linear functionals.)

share|improve this answer
    
Thanks for that, I haven't seen it looked at that way before. It was helpful to see this done a different way. –  Andrew Ledesma Sep 6 '13 at 9:12
    
@AndrewLedesma you're welcome! If you found this or other answers useful, consider upvoting them. –  Emilio Pisanty Sep 6 '13 at 10:48
    
Sorry, I tried but as of yet I do not have enough reputation to upvote answers. Thus, all I could do was write my thanks :) –  Andrew Ledesma Sep 7 '13 at 5:30

States are vectors, $|\alpha\rangle$ and the basis $|x\rangle$ are vectors.

The notation $\langle x|\alpha\rangle$ is equivalent to $\alpha(x)$, this is the coordinate of the state $|\alpha\rangle$ on the basis $|x\rangle$, $\alpha(x)$ is the probability amplitude or wavefunction .

The operator $\hat p$, applying to a state or a function dependent of $x$, has the representation $-i \frac{\partial}{\partial x}$ (we choose here the unit $\hbar = 1$ for simplicity).

So, for instance, we have : $\langle x|\hat p|x'\rangle= -i \langle x|\frac{\partial}{\partial x'}|x'\rangle = = -i\frac{\partial}{\partial x'}\langle x|x'\rangle =+i(\frac{\partial}{\partial x'}\delta)(x-x')\tag{1}$

You have :

$$\langle\alpha|\hat{p}|\alpha\rangle=\iint dx dx'\langle\alpha|x\rangle\langle x|\hat{p}|x'\rangle\langle x'|\alpha\rangle$$

$$=\iint dx dx'~~\alpha^*(x)~~i(\frac{\partial}{\partial x'}\delta)(x-x') ~~\alpha(x')$$

$$=\iint dx dx'~~\alpha^*(x)~~-i\delta(x-x') ~~\frac{\partial}{\partial x'}\alpha(x')\tag{2}$$

$$=\int dx~~ \alpha^*(x)~~(-i\frac{\partial}{\partial x})~~\alpha(x)$$ In $(2)$, we have used an integration by parts, supposing that the wavefunction is decreasing sufficiently quickly at the boudary.

The equation $\hat p|x\rangle = (-i\frac{\partial}{\partial x})|x\rangle$, is correct, but not useful, because we have no expression for $\frac{\partial}{\partial x}|x\rangle$. A more useful equation is about translation operations, and is : $e^{-i\hat p.a}|x\rangle = |x+a\rangle$ or $\langle x |e^{i\hat p.a}=\langle x+a| $

Finally, looking at the state $|\psi\rangle =|x_0\rangle$, the associated wavefunction is $\langle x|x_0\rangle = \delta(x-x_0)$, so the mean value of the momentum in this state is :

$$ \langle\psi|\hat p|\psi\rangle\tag{3}=\int dx \delta(x-x_0) (-i\frac{\partial}{\partial x})\delta(x-x_0) = -i \delta'(0)=0$$

This can be understood easily, because if you fix the position ($x=x_0$), the uncertainty of the momentum is infinite, so all momenta are authorized with the same propability, so the momenta mean is zero.

share|improve this answer
    
Thanks for writing this, it helped me to better understand what was going on. –  Andrew Ledesma Sep 6 '13 at 9:11

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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