Hamiltonian and momentum operator acting on a momentum eigenstate

[amjad-sh]

suppose that the momentum operator \hat p is acting on a momentum eigenstate | p \rangle such that we have the eigenvalue equation \hat p | p \rangle = p| p \rangle
Now let's project \langle x | on the equation above and use the completeness relation \int | x\rangle \langle x | dx =\hat I
we get that \psi_{p}(x)=Ae^{ipx/\hbar} where \psi_{p}(x)=\langle x | p \rangle

Now let the operator \hat H act on the eigenstate | p\rangle,such that\hat H | p \rangle=E | p \rangle
but the two operators \hat p and \hat H have the same eigenstate | p\rangle,since\hat H | p\rangle=\hat p^{2}/2m | p \rangle = p/2m\hat p |p\rangle =p^{2}/2m| p \rangle
Now let's solve the eigenvalue equation \hat H | p \rangle=p^{2}/2m | p \rangle in the X basis, what we will certainly get is \psi_{p}(x)=\alpha e^{ipx/\hbar}+ \beta e^{-ipx/\hbar} which is different from \psi_p(x) above.
This is what confuses me, why when use different operators( that have same eigenstates like the energy and momentum operator)in the eigenvalue problem, mathematics gives different \psi_p(x)?
As | p\rangle is the same why we get different \langle x |p \rangles?

 

[blue_leaf77]

As |p⟩|p⟩ | p\rangle is the same why we get different ⟨x|p⟩⟨x|p⟩\langle x |p \rangle s?

The spectrum of a free space Hamiltonian is degenerate in $p$ - all eigenstates with equal magnitude of the momenta share the same energy.

 

[amjad-sh]

The spectrum of a free space Hamiltonian is degenerate in ppp - all eigenstates with equal magnitude of the momenta share the same energy.

what confuses me is that the | p \rangle for both eigenvalue equations( \hat H | p \rangle=p^{2}/2m | p \rangle and \hat p =p | p \rangle) is the same, so why we get different \langle x | p \rangles?
Frankly,I couldn't relate your "answer" to my "question" maybe because the picture is not clear to me yet.

 

[stevendaryl]

what confuses me is that the | p \rangle for both eigenvalue equations( \hat H | p \rangle=p^{2}/2m | p \rangle and \hat p =p | p \rangle) is the same, so why we get different \langle x | p \rangles?
Frankly,I couldn't relate your "answer" to my "question" maybe because the picture is not clear to me yet.

I'm not sure I understand the question, but if you let |p\rangle be the state where \hat{p}|p\rangle = p |p\rangle, then:

\hat{H} |p\rangle = \frac{p^2}{2m} |p \rangle, and also \hat{H} |-p\rangle = \frac{p^2}{2m} |-p\rangle. So knowing \hat{H} |\psi\rangle = E |\psi\rangle doesn't uniquely determine |\psi\rangle. It could be any state of the form \alpha |p_E\rangle + \beta |-p_E\rangle, where p_E = \sqrt{2m E}

 

[blue_leaf77]

what confuses me is that the | p \rangle for both eigenvalue equations( \hat H | p \rangle=p^{2}/2m | p \rangle and \hat p =p | p \rangle) is the same, so why we get different \langle x | p \rangles?

When you solve $\langle x|\hat H | p \rangle=p^{2}/2m \langle x| p \rangle$, there are three solutions you can get: $Ae^{ipx/\hbar}$, $Be^{-ipx/\hbar}$, or a linear combination of the previous two, which is the one you have computed. The first two solutions are also the eigenfunctions of the momentum operator, the last one however is not.

 

[amjad-sh]

@blue_leaf77
@stevendaryl

suppose we have the eigenvalue equation \hat p |p \rangle=p |p\rangle then let's operate \hat p /2m on p | p \rangle so we will get \hat p^{2}/2m | p \rangle=p^{2}/2m | p \rangle so we are still now dealing with the same | p \rangle! Name what I did here "step 1".

suppose that the solution of the second eigenvalue equation,which is after acting on the next operator \hat p /2mis \psi_{p}(x)=Ae^{ipx/\hbar}+Be^{-ipx/\hbar},the solution to the first eigenvalue equation is certainly not the same it will be\psi_{p}(x)=Ae^{ipx/\hbar} or \psi_{p}(x)=Be^{-ipx/\hbar}(therfore we get different eigenfunctions while |p> is the same !)

I know that |p>s are not unique,as you said in your replies,but in "step 1" the operations didn't affect | p>. So why is this happening?I'm still not convinced yet.
What is going wrong?where is my mistake here?

 

[blue_leaf77]

What is going wrong?where is my mistake here?

The point where you go wrong in this case is that you assume $\langle x|p \rangle$ in
$$
-\hbar^2 \frac{d^2}{dx^2} \langle x|p \rangle = p^2 \langle x|p \rangle
$$
and
$$
-i\hbar \frac{d}{dx} \langle x|p \rangle = p \langle x|p \rangle
$$
to be the same in all cases. The fact that the $\langle x|p \rangle$'s satisfy different equations means that they are generally different functions. It's just a math problem, to give another illustration, consider the equation
$$
-\frac{1}{\alpha} \frac{d}{dx}e^{-\alpha x} = e^{-\alpha x}
$$
and then you apply $d/dx$ to both sides to get
$$
\frac{1}{\alpha^2} \frac{d^2}{dx^2}e^{-\alpha x} = e^{-\alpha x}
$$
This particular function $e^{-\alpha x}$ certainly satisfies the last equation, but is it the only solution of this equation? Definitely no, the last equation is a homogenous linear second order differential equation, so it must have one more solution, which is $e^{\alpha x}$.

suppose we have the eigenvalue equation ^p=p|p⟩\hat p=p |p\rangle then let's operate ^p/2m\hat p /2m on p|p⟩ p | p \rangle so we will get ^p2/2m|p⟩=p2/2m|p⟩\hat p^{2}/2m | p \rangle=p^{2}/2m | p \rangle so we are still now dealing with the same |p⟩| p \rangle! Name what I did here "step 1".

Be careful with the math:
1. It should be $\hat{p} = p|p\rangle$, not $\hat{p}|p\rangle = p|p\rangle$.
2. When you apply $\hat p /2m$ to $p|p\rangle$, you will get $\frac{p^3}{2m}|p\rangle$.

 

[stevendaryl]

@blue_leaf77
@stevendaryl

suppose we have the eigenvalue equation \hat p |p \rangle=p |p\rangle then let's operate \hat p /2m on p | p \rangle so we will get \hat p^{2}/2m | p \rangle=p^{2}/2m | p \rangle so we are still now dealing with the same | p \rangle! Name what I did here "step 1".

suppose that the solution of the second eigenvalue equation,which is after acting on the next operator \hat p /2mis \psi_{p}(x)=Ae^{ipx/\hbar}+Be^{-ipx/\hbar},the solution to the first eigenvalue equation is certainly not the same it will be\psi_{p}(x)=Ae^{ipx/\hbar} or \psi_{p}(x)=Be^{-ipx/\hbar}(therfore we get different eigenfunctions while |p> is the same !)

I know that |p>s are not unique,as you said in your replies,but in "step 1" the operations didn't affect | p>. So why is this happening?I'm still not convinced yet.
What is going wrong?where is my mistake here?

I don't understand why you think there is a mistake. All the following statements are true:

1. \hat{p} e^\frac{ipx}{\hbar} = p e^\frac{ipx}{\hbar}
   
2. \frac{\hat{p}^2}{2m} e^\frac{ipx}{\hbar} = \frac{p^2}{2m} e^\frac{ipx}{\hbar}
3. \hat{p} e^\frac{-ipx}{\hbar} = -p e^\frac{-ipx}{\hbar}
4. \frac{\hat{p}^2}{2m} e^\frac{-ipx}{\hbar} = \frac{p^2}{2m} e^\frac{-ipx}{\hbar}

 

[amjad-sh]

@blue_leaf77
@stevendaryl

I'm convinced with all the math and I know that math gives the different eigenfunctions you have written.
My problem is that I see that the math is not consistent here, because let's forget about the differential equations and look at |p> by itself,by looking at "step 1" above we see that |p> didn't change. project <x| on |p> as |p> is same in both cases then <x|p> is the same.
but I guess I know where I'm wrong, I think because in dealing with infinite-dimensional spaces focusing in |p> is somehow meaningless in solving the eigenvalue equation we should focus on <x|p>, to get the <x|p> there is no way to get it unless by solving the differential equation,to get the differential equation we should insert the identity relation ∫|x><x|dx=I,so the identity relation is the reason behind all of this.
So I conclude that the answer of my question is to understand the identity relation and its derivation,and this is beyond my level.
Is this right?

 

[stevendaryl]

@blue_leaf77
@stevendaryl

I'm convinced with all the math and I know that math gives the different eigenfunctions you have written.
My problem is that I see that the math is not consistent here, because let's forget about the differential equations and look at |p> by itself,by looking at "step 1" above we see that |p> didn't change. project <x| on |p> as |p> is same in both cases then <x|p> is the same.
but I guess I know where I'm wrong, I think because in dealing with infinite-dimensional spaces focusing in |p> is somehow meaningless in solving the eigenvalue equation we should focus on <x|p>, to get the <x|p> there is no way to get it unless by solving the differential equation,to get the differential equation we should insert the identity relation ∫|x><x|dx=I,so the identity relation is the reason behind all of this.
So I conclude that the answer of my question is to understand the identity relation and its derivation,and this is beyond my level.
Is this right?

I really don't understand why you think there is anything inconsistent going on. And I don't think that it being infinite-dimensonal has anything to do with it. What is it that you think is inconsistent?

 

[blue_leaf77]

but I guess I know where I'm wrong, I think because in dealing with infinite-dimensional spaces focusing in |p> is somehow meaningless in solving the eigenvalue equation we should focus on <x|p>,

It has nothing to do with the dimensionality, what you are encountering is a ubiquitous problem in QM: degeneracy. Another example of such problem is found in the angular momentum operators - the operator $L^2$ is degenerate in the eigenstate of the operator $L_z$.
I think the problem is all about the line of reasoning. First you have the equation
$$
-i\hbar \frac{d}{dx} \langle x|p \rangle = p \langle x|p \rangle,
$$
this equation is satisfied only by $\langle x|p \rangle$ corresponding to positive $p$. Now, you apply another derivative to this equation to get
$$
-\hbar^2 \frac{d^2}{dx^2} \langle x|p \rangle = p^2 \langle x|p \rangle
$$
this last equation is also satisfied by $\langle x|p \rangle$ corresponding to positive $p$. The point I would like to stress here is that, the function $\langle x|p \rangle$ appearing in the last equation is 100% known to be that corresponding to the positive momentum. If you ask why, the answer is because the last equation was obtained by differentiating the first equation, which is satisfied by $\langle x|p \rangle$ with positive momentum. Knowing this, don't solve the last equation again because you know how $\langle x|p \rangle$ looks like. You were being inconsistent (instead of the math) when doing:

Now let's solve the eigenvalue equation \hat H | p \rangle=p^{2}/2m | p \rangle in the X basis, what we will certainly get is \psi_{p}(x)=\alpha e^{ipx/\hbar}+ \beta e^{-ipx/\hbar} which is different from \psi_p(x) above.

because $|p\rangle$ in your equation \hat H | p \rangle=p^{2}/2m | p \rangle is the $|p\rangle$ which satisfies $\hat p|p\rangle = p|p\rangle$. By writing \psi_{p}(x)=\alpha e^{ipx/\hbar}+ \beta e^{-ipx/\hbar}, you are going against your own mathematical chronology in which you started with the equation $\hat p | p \rangle = p| p \rangle$.

 

[amjad-sh]

because |p⟩|p⟩|p\rangle in your equation ^H|p⟩=p2/2m|p⟩H^|p⟩=p2/2m|p⟩\hat H | p \rangle=p^{2}/2m | p \rangle is the |p⟩|p⟩|p\rangle which satisfies ^p|p⟩=p|p⟩p^|p⟩=p|p⟩\hat p|p\rangle = p|p\rangle. By writing ψp(x)=αeipx/ℏ+βe−ipx/ℏψp(x)=αeipx/ℏ+βe−ipx/ℏ\psi_{p}(x)=\alpha e^{ipx/\hbar}+ \beta e^{-ipx/\hbar}, you are going against your own mathematical chronology in which you started with the equation ^p|p⟩=p|p⟩p^|p⟩=p|p⟩\hat p | p \rangle = p| p \rangle.

I think your last two lines convinced me.If we started with the equation \hat p | p \rangle=p | p\rangle to end up with \hat H | p \rangle=p^{2}/2m |p\rangle we must have the same \psi_{p}(x) because we are talking about the same p.

What is it that you think is inconsistent?

suppose we are dealing in the case of finite-dimensional case, \hat A|1 \rangle=a| 1\rangle(1) now Let \hat A act another time in this equation what we will get is \hat A^{2}| 1 \rangle=a^{2}| 1\rangle(2).In (1) and (2) | 1\rangle didn't change,it is the same.
lets project a vector named | L\rangle on |1\rangle,<L|1> in (1) and<L|1> in (2) are the same.
In infinite dimensional space:

suppose we have the eigenvalue equation \hat p |p \rangle=p |p\rangle then let's operate \hat p /2m on p | p \rangle so we will get\hat p^{2}/2m|p⟩=p^{2}/2m|p⟩

here I guess |p> didn't change too,so if we want to project <x| in the first |p>(before acting \hat p again) and <x| in the second |p>(after acting \hat p again) we will get the same result <x|p> unless we insert the identity relation∫|x><x|dx=I because this will lead to the differential equations that will give us the <x|p>s in each case,and what I saw is inconsistent is that <x|p> in first case will be different from <x|p> of second case not like what intuition told me above.Thats why I talked about dimensionality in the previous reply, I hope you get my point!
But I think blue leaf77 convinced me by his last two lines.