Physics Asked on February 22, 2021
Following my book I came to know the following expressions for the position and momentum operators ($hat{x},hat{p}$):
begin{align}&langle x|hat{x}|psirangle=xpsi(x) &(1)\[1.5ex]
&langle x|hat{p}|psi rangle=-ihbarfrac{d}{dx}psi(x) &(2)\[1.5ex]
&langle p|hat{x}|psirangle=ihbarfrac{d}{dp}psi(p) &(3)\[1.5ex]
&langle p|hat{p}|psirangle=ppsi(p) &(4)end{align}
To prevent misunderstandings: $|xrangle,|prangle$ are the eigenvectors of position and momentum respectively, $|psirangle$ is a general state, $x,p$ are the values of position and momentum (that can be seen as eigenvalues of the respective operators) and $psi(x)=langle x|psirangle,psi(p)=langle p | psirangle$ are simply the wavefunctions of the state $psi$.
However we also know that the following is true:
begin{align}
&hat{x}|xrangle=x|xrangle &(5)\[1.5ex]
&hat{p}|prangle=p|prangle &(6)
end{align}
My question is: is there a way to write down explicitly the action of the position operator on the eigenvectors of momentum and the action of the momentum operator on the eigenvector of position, similarly to what we do in equations (5) and (6)? So in practice what I am asking is:
$$hat{x}|prangle=?$$
$$hat{p}|xrangle=?$$
Trying to answer my own question I came up with the following brutal line of reasoning: we can use equations (2) and (3):
$$langle x|hat{p}|psi rangle=-ihbarfrac{d}{dx}langle x|psirangle$$
$$langle p|hat{x}|psirangle=ihbarfrac{d}{dp}langle p |psirangle$$
and using the fact that $hat{x},hat{p}$ are both hermitian operators we can think to write:
$$hat{x}|prangle=ihbarfrac{d}{dp}|prangle (7)$$
$$hat{p}|xrangle=-ihbarfrac{d}{dx}|xrangle (8)$$
however I really don’t trust my own reasoning here, firstly because it is not mathematically formal at all; and secondly because deriving a vector representing a state just like it was a function make no sense in my mind ($d/dp|prangle=???$).
What is going on? Is my reasoning at least partially correct? Can we find an explicit form for $hat{x}|prangle,hat{p}|xrangle$?
Notice that I have edited my question to correct a mistake present into equation (3), that had nothing to do with the question itself. Some of the answers may refer to this mistake edited out.
Here's a more abstract derivation of the action of the momentum operator on position eigenstates. To start, we note that momentum is the generator of spacial translation in classical mechanics. Therefore, it stands to reason that we should identify momentum in quantum mechanics as the generator of spacial translations. Let $U(x)$ be defined so that $$U(x)|x'rangle=|x'+xrangle.$$ Then $U(x)$ is the translation operator (I'm working in one dimension for simplicity). We require that $U(0)=1$ (translation by zero doesn't change anything). We also want $U(x)$ to be unitary ($U^dagger=U^{-1}$) so that it doesn't mess up normalization of the vectors it acts on. These requirements means that, for small $epsilon$, we can expand (think Taylor expansion) $U(x)$ as $$U(epsilon)=U(0)+epsilon Kequiv 1-frac{iepsilon}{hbar}P,$$ where $K$ is anti-Hermitian (and so $P$ is Hermitian). The anti-Hermitian requirement on $K$ comes from the fact that $U(epsilon)$ needs to be unitary to order $epsilon$. Then we define $P=ihbar K$ (the factor of $i$ makes $P$ Hermitian, and the factor of $hbar$ is necessary for dimensional analysis if we identify $P$ as momentum). $P$ is the generator of spacial translations. Any finite translation can be performed by simply performing a bunch of infinitesimal ones using $P$. Then we have $$left(1-frac{iepsilon}{hbar}Pright)|xrangle=|x+epsilonrangleimplies P|xrangle=ihbarfrac{|{x+epsilon}rangle-|xrangle}{epsilon}.$$ Taking the limit as $epsilonxrightarrow{}0$, we get $$P|xrangle=ihbarfrac{partial}{partial x}|xrangle.$$
Answered by JoshuaTS on February 22, 2021
The key results to remember are begin{align} langle xvert prangle &= frac{1}{sqrt{2pihbar}}e^{i p x/hbar}, \ hat plangle xvert prangle &=-ihbarfrac{d}{dx}langle xvert prangle , ,\ psi(x)&=langle xvertpsirangle, ,\ psi(p)&=langle pvertpsirangle. end{align} Thus, begin{align} hat x langle pvert xrangle : =langle pvert hat xvert xrangle = x frac{1}{sqrt{2pihbar}}e^{-i p x/hbar}=+ihbar frac{d}{dp}langle hat pvert xrangle end{align} and thus begin{align} hat xpsi(p)&=langle pverthat xvertpsirangle, ,\ &=int dx langle pvert hat xvert xrangle langle xvert psirangle, ,\ &= int dx ihbarfrac{d}{dp} langle pvert xranglelangle xvert psirangle, ,\ &= ihbarfrac{d}{dp}int dx langle pvert xranglelangle xvert psirangle = ihbarfrac{d}{dp}psi(p), . end{align} The other cases are done in a similar way, remembering that $langle pvert xrangle = langle xvert prangle^*$. Note that derivatives must act on functions, not on kets.
The change of sign in the derivative is similar to the change in sign of $x$ and $p$ when one makes a canonical transformation $xto P,pto -Q$.
Answered by ZeroTheHero on February 22, 2021
You should be able to confirm all the given expressions, but not your derived ones, (7), (8), by the formal representations, (setting $hbar=1$, i.e. nondimensionalizing, to avoid predictable mistakes; think of it as absorbing $hbar$ into all derivative operators, or else its inverse square root into x and p), $$ bbox[yellow,5px]{hat p = int! dp~ |prangle plangle p|= int! dx~ |xrangle (-ipartial_x) langle x| \ hat x = int! dp~ |prangle ipartial_p langle p|= int! dx~ |xrangle x langle x| } ~ . $$ That should allow you to catch your sign errors in your last two equations, (7) and (8).
Your curiosity objective, (7) and (8) with their signs corrected, $$hat p|xrangle= ipartial_x |xrangle, quad hat x |prangle= -ipartial_p|prangle,$$ is not as useful as operators acting on bras, as you ought to find out. Try complex conjugating (2) and (3).
Do you now at last see $$ langle phi| hat p| psi rangle= -i int ! dx ~ langle phi| xrangle partial_x langle x| psi rangle\ = -i int ! dx ~ phi(x)^* partial_x psi(x) = i int ! dx ~ partial_x phi(x)^* ~ psi(x) ~~? $$
Answered by Cosmas Zachos on February 22, 2021
Get help from others!
Recent Questions
Recent Answers
© 2024 TransWikia.com. All rights reserved. Sites we Love: PCI Database, UKBizDB, Menu Kuliner, Sharing RPP