1
$\begingroup$

If $\hat{p}$ acts on position eigenstate, it is $$\tag{1}\hat{p}\left|x\right\rangle=+i\hbar\frac{\partial }{\partial x}\left|x\right\rangle .$$

But in general $$\tag{2}\hat{p} = -i\hbar \frac{\partial }{\partial x}.$$

Where does the sign difference come from?

$\endgroup$
  • 6
    $\begingroup$ Pretty sure the first equation is not correct. $\endgroup$ – DanielSank Feb 4 '16 at 6:42
  • $\begingroup$ Be aware that (v6)+(v7) displayed the wrong sign in eq. (1). $\endgroup$ – Qmechanic Feb 4 '16 at 20:26
4
$\begingroup$

OP's ket first equation$^1$

$$\tag{1} \hat{p}|x\rangle ~=~+i\hbar\frac{\partial |x\rangle}{\partial x}$$

is explained in eq. (7) of my Phys.SE answer here. In short, eq. (1) is consistent with the corresponding bra equation

$$\langle x |\hat{p} ~=~-i\hbar \frac{\partial \langle x |}{\partial x} $$

via Hermitian conjugation. The bra equation in turn is related to OP's second equation

$$ \tag{2}\hat{p} ~=~ -i\hbar \frac{\partial }{\partial x} $$

via the standard convention

$$\psi(x)~=~\langle x | \psi \rangle$$

for the wave function.

--

$^1$ Both sides of the ket equation (1) are kets in an appropriate infinite-dimensional vector space. (Warning: not a Hilbert space, cf. e.g. this Phys.SE post and links therein.). One can multiply eq. (1) from left with a bra $\langle \psi |$ [belonging to an appropriate (possibly different) infinite-dimensional vector space] to achieve an equation

$$\hat{p}\psi(x)^{\ast} ~=~\langle \psi |\hat{p}|x\rangle ~\stackrel{(1)}{=}~+i\hbar\langle \psi |\frac{\partial }{\partial x}|x\rangle ~=~+i\hbar\frac{\partial \langle \psi |x\rangle}{\partial x}~=~+i\hbar\frac{\partial \psi(x)^{\ast}}{\partial x},$$

where both sides are complex numbers.

$\endgroup$
  • $\begingroup$ Operator $\frac{\partial}{\partial x}$ is not defined in the vector space where $| x \rangle $ belongs to. As you noticed it is not even a Hilbert space, so how can you define differentiation there? Right side of your eq. 1 does not make sense, unless you rigorously define differentiation in your vector space. $\endgroup$ – Veritas Feb 5 '16 at 1:09
  • $\begingroup$ Correction to the answer (v4): The first line OP's ket first equation should be OP's first ket equation. $\endgroup$ – Qmechanic Mar 8 '16 at 21:28
4
$\begingroup$

The point is that your equation (1) does not make any sense. On the left side, you have operator acting on a vector in some abstract vector space. On the right side you have the position representation of momentum operator acting again on the same abstract vector. Those objects live in different spaces, you cannot just multiply them (actually you can if you define what is a derivative in a infinite dimensional space). What you really have is $$\hat{p}|x\rangle = \int dx' |x'\rangle \langle x' |\hat{p} |x \rangle= -i\hbar\int dx' |x'\rangle \frac{\partial}{\partial x} \delta(x'-x).$$
At this point you can not simplify this equation any further. If you multiply this equation by some vector $|\psi \rangle$ and then integrate by parts you will see that the sign is different.

When you see equations like $$\hat{p}= -i\hbar \frac{\partial}{\partial x}$$ they do not mean that operator $\hat{p}$ is equal to $ -i\hbar\frac{\partial}{\partial x}$, but rather that the operator $\hat{p}$ in position representation is equal to $ -i\hbar\frac{\partial}{\partial x}$. To be more precise $$\langle x' |\hat{p} |x \rangle= -i\hbar \frac{\partial}{\partial x} \delta(x'-x).$$ In your equations you mix up abstract notation with specific representation. This often leads to confusion.

$\endgroup$
-2
$\begingroup$

may be you can think this way.

The wavefunction $|x\rangle=e^{i(kx-\omega t)}$

How do we extract the momentum $\hbar k$ out of it by some operator ?

$$ \frac{\partial}{\partial x}|x\rangle=ik|x\rangle $$

to get $\hbar k$, you need to either multiply the operator with $-i\hbar$ or with $\frac{\hbar}{i}$.

So the momentum operator is $$ \hat{p}=-i\hbar\frac{\partial}{\partial x}=\frac{\hbar}{i}\frac{\partial}{\partial x} $$

The equation is $$ \hat{p}|x\rangle=-i\hbar\frac{\partial}{\partial x}|x\rangle=\frac{\hbar}{i}\frac{\partial}{\partial x}|x\rangle $$

$\endgroup$
  • $\begingroup$ i'd appreciate if one could comment on to it b4 down voting it. it is not the actual answer to the problem, but i think it gives an insight into what the user asked in the original post. $\endgroup$ – ss1729 Mar 20 '16 at 19:17

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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