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$?
Answer
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.
No comments:
Post a Comment