How does the momentum operator act on state kets?

Question

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 1

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.)

Answer 2

There are many good answers already. This answer is basically an expanded version of Emilio Pisanty's answer.

1. Let us start by recalling the standard convention to write the position wavefunction $$ \psi(x)~=~\langle x | \psi \rangle \tag{1}$$ as an overlap with a position bra state $\langle x |$.

2. The CCR $$ [\hat{x},\hat{p}]~=~i\hbar{\bf 1}\tag{2}$$ is the first principle of canonical quantization.

3. The position Schrödinger representation $$\begin{align}\hat{x}~=~&x , \cr \hat{p}~=~&\frac{\hbar}{i}\frac{\partial}{\partial x},\end{align}\tag{3}$$ is the most common representation of the CCR (2), although it is far from being unique, cf. e.g. this Phys.SE post. However, see also the Stone-von Neumann theorem.

4. It's important to realize that it's implicitly understood that the operators (3) act on bras [as opposed to kets]. [For acting on a wavefunction, see eq. (6) below.] Hence it is more proper to write (3) as $$\begin{align}\langle x |\hat{x}~=~&x\langle x | , \cr \langle x |\hat{p} ~=~&\frac{\hbar}{i}\frac{\partial \langle x |}{\partial x} ~=~\lim_{\varepsilon\to 0}\frac{\hbar}{i}\frac{ \langle x+\varepsilon |- \langle x |}{\varepsilon}.\end{align}\tag{4}$$

5. Note that the position Schrödinger representation (4) on bras realizes the CCR (2) $$\begin{align}\langle x| & [\hat{x},\hat{p}]\cr ~=~&\langle x|\hat{x} \hat{p}- \langle x| \hat{p}\hat{x}\cr ~=~&x\langle x| \hat{p}- \langle x| \hat{p}\hat{x}\cr ~\stackrel{(4)}{=}~& \lim_{\varepsilon\to 0}\frac{\hbar}{i}\left\{ x\frac{ \langle x+\varepsilon |- \langle x |}{\varepsilon} -\frac{ \langle x+\varepsilon |- \langle x |}{\varepsilon}\hat{x}\right\}\cr ~\stackrel{(4)}{=}~& \lim_{\varepsilon\to 0}\frac{\hbar}{i}\left\{ x\frac{ \langle x+\varepsilon |- \langle x |}{\varepsilon} -\frac{ ( x+\varepsilon)\langle x+\varepsilon |- x\langle x |}{\varepsilon}\right\}\cr ~=~&i\hbar \lim_{\varepsilon\to 0}\langle x+\varepsilon |\cr ~=~&i\hbar \langle x | ~, \tag{5}\end{align}$$ with the correct sign, as it should.

6. Note that the position Schrödinger representation (4) on bras and the convention (1) implies the standard formulas $$\begin{align}\hat{x}\psi(x)~=~&x\psi(x) , \cr \hat{p}\psi(x) ~=~&\frac{\hbar}{i}\frac{\partial\psi(x)}{\partial x} \end{align}\tag{6} $$ for a position wavefunction.

7. Note in particular that if one insists to act on kets [as opposed to bras], then the position Schrödinger representation comes with the opposite sign: $$\begin{align}\hat{x}|x\rangle ~=~&|x\rangle x , \cr \hat{p}|x\rangle ~=~&i\hbar\frac{\partial |x\rangle}{\partial x} ~=~\lim_{\varepsilon\to 0}i\hbar \frac{ |x+\varepsilon \rangle- | x\rangle }{\varepsilon}.\end{align}\tag{7}$$ Eq. (7) follows via hermitian conjugation of eq. (4).

Answer 3

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.

Answer 4

Consider the commutation relation $[\hat x,\hat p_x]=i\hbar$. Its matrix element between states $\langle x|$ and $|x'\rangle$, \begin{equation} \langle x|\hat x \,\hat p_x - \hat p_x\hat x|x'\rangle =i\hbar \langle x|x'\rangle , \end{equation} gives \begin{equation} (x-x')\langle x|\hat p_x |x'\rangle =i\hbar \delta (x-x'), \end{equation} so that \begin{equation} \langle x|\hat p_x |x'\rangle =i\hbar \frac{\delta (x-x')}{x-x'}. \end{equation} Substituting this into $\langle x|\hat p_x|\psi \rangle $, where $|\psi \rangle $ is an arbitrary ket state with the wavefunction $\psi (x)\equiv \langle x|\psi \rangle $, we have \begin{eqnarray} \langle x|\hat p_x|\psi \rangle &=&\int \langle x|\hat p_x|x'\rangle \langle x'|\psi \rangle dx'\\ &=&i\hbar \int \frac{\delta (x-x')}{x-x'}\psi (x') dx'. \end{eqnarray} The only contribution to the integral comes from $x'$ very close to $x$, so we can expand the wavefunction in Taylor's series to first order, $\psi (x')\simeq \psi (x)+\psi '(x)(x'-x)$. This gives \begin{eqnarray} \langle x|\hat p_x|\psi \rangle =i\hbar \int \frac{\delta (x-x')}{x-x'}\psi (x) dx'-i\hbar \int \delta (x-x')\psi '(x)dx'=-i\hbar \frac{\partial \psi(x)}{\partial x}, \end{eqnarray} where the first integral vanishes because $\delta (x-x')$ is an even function and $1/(x-x')$ is odd.

Answer 5

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.

Answer 6

Note that $\hat{p}=-i\hbar\frac{\partial}{\partial x}$.

Put this in given formula:

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

which gives:

$$\langle p\rangle = \int\limits_{-\infty}^{+\infty}\langle\alpha|x\rangle\hat{p}\langle x|\alpha\rangle dx.$$

Now it's a well-known result in quantum mechanics (completeness relation) that:

$$\int\limits_{-\infty}^{+\infty}|x\rangle \langle x|dx=1,$$

So when we put this in the expression for $\langle p\rangle$ we get:

$$\langle p\rangle =\langle\alpha|\hat p|\rangle\alpha,$$

which we had to prove.

You can also start with

$$\langle p\rangle =\langle\alpha|\hat p|\rangle\alpha,$$

place the completeness relation

$$\int\limits_{-\infty}^{+\infty}|x\rangle \langle x|dx=1$$

in it and replace $\hat{p}$ by $-i\hbar\frac{\partial}{\partial x}$.

Answer 7

I would say that one part of the question is still unanswered. That would be, how the operator $\hat{p}$ acts on a state that is not a trivial linear combination of the position eigenstates.

Let's say we are trying to calculate $$\hat{\frac{\partial}{\partial x}}|n\rangle=\hat{\frac{\partial}{\partial x}} \int dx' \langle x'|n\rangle |x'\rangle, $$ where $|n\rangle$ is some state that can be represented as a linear combination of states $|x\rangle$. To grasp the intuition we can check the case of $$\hat{x}|n\rangle=\hat{x} \int dx' \langle x'|n\rangle |x'\rangle, $$ where the answer is very simple, as the $|x\rangle$ is eigenstate of the $\hat{x}$ operator with eigenvalue $x$ $$\hat{x}|n\rangle=\int dx' \langle x'|n\rangle \hat{x}|x'\rangle = \int dx' \langle x'|n\rangle x'|x'\rangle. $$ Applying the same reasoning to the initial case, we get $$\hat{\frac{\partial}{\partial x}} \int dx' \langle x'|n\rangle |x'\rangle=\int dx' \langle x'|n\rangle \hat{\frac{\partial}{\partial x}}|x'\rangle=\int dx' \langle x'|n\rangle \lim_{h\rightarrow 0}\frac{1}{h}\Big(|x'+h\rangle - |x'\rangle\Big), $$ where I simply used the definition of the derivative on a vector. Then we simply separate the integral on two parts, and redefine the integration variables so that we can extract the state $$=\lim_{h\rightarrow 0}\frac{1}{h}\Big(\int dx' \langle x'|n\rangle|x'+h\rangle - \int dx' \langle x'|n\rangle|x'\rangle\Big), $$ $$=\lim_{h\rightarrow 0}\frac{1}{h}\Big(\int dx'' \langle x''-h|n\rangle|x''\rangle - \int dx' \langle x'|n\rangle|x'\rangle\Big), $$ $$=\lim_{h\rightarrow 0}\frac{1}{h}\int dx' \Big(\langle x'-h|n\rangle - \langle x'|n\rangle\Big)|x'\rangle, $$ but this is the derivative of the coefficients $$=-\int dx' \Big(\frac{\partial\langle x|n\rangle}{\partial x}\Big)\Bigg|_{x = x'}|x'\rangle, $$ or in a more familiar form with the wave function defined as $\langle x|n\rangle = \psi_{n}(x)$ $$\hat{\frac{\partial}{\partial x}}|n\rangle=\hat{\frac{\partial}{\partial x}} \int dx' \psi_{n}(x') |x'\rangle = -\int dx' \psi'_{n}(x') |x'\rangle. $$ Therefore acting with the spatial derivative on a state gives you the derivative of a wave function, or in other words, the derivative of the coefficient that gives you the mapping from a state you are differentiating to the position basis.