Physics Asked on August 1, 2021
Suppose I have a wavefunction into which I insert the completeness relation of some discrete basis as
$$ psi_alpha(x)=langle x|alpharangle=sum_k langle x|a_kranglelangle a_k|alpharangle=sum_k u_k(x) c_k~~. $$
The $u_k(x)$ are called the eigenfunctions of operator $hat A$ if
$$ hat A|a_krangle=a_k|a_krangle~~. $$
To show that the $u_k(x)$ are indeed eigenfunctions, I multiply the eigenket equation from the left with $langle x|$ to get
$$ langle x|hat A|a_krangle=langle x|a_k|a_krangle=a_klangle x|a_krangle=a_k u_k(x)~~. $$
To show that $u_k(x)$ is properly an eigenfucntion, I need to bring $langle x|$ to the right of $hat A$ in the leftmost expression as
$$langle x|hat A|a_krangle=hat A u_k(x)~~.$$
How do I know that I can do that?
You cannot do that because it is not correct!
What you can do instead is expressing the operator $hat{A}$ in the complete basis of the position variable $x$: $$langle x|hat A|a_krangle= int dx^prime langle x|hat A|x^primerangle langle x^prime|a_krangle = int dx^prime A(x,x^prime) u_k(x^prime)$$ where $A(x,x^prime) := langle x|hat A|x^primerangle$.
Combining this, with your derivation gives $$int dx^prime A(x,x^prime) u_k(x^prime) = a_k u_k(x)$$ which shows that $u_k(x)$ is an eigenfunction of the functional operator $int dx^prime A(x,x^prime)$. This is really nothing but your original assumption $hat A|a_krangle=a_k|a_krangle$ expressed in the basis of the position variable $x$.
The integration over $x^prime$ may seem unfamiliar, but it is necessary for the general case. In the special case of local operators, the integration actually disappears because of an implicit delta function in $A(x,x^prime)$. Take the case of momentum operator, for example, where $$ p(x,x^prime) := langle x|hat p|x^primerangle = -ihbar delta(x-x^prime) {frac {partial }{partial x}}$$ and so $$ int dx^prime p(x,x^prime) = ihbar {frac {partial }{partial x}}$$
Correct answer by Quantum-Collapse on August 1, 2021
Since $Â$ is an operator, $Â| a_k rangle = |(Â a_k) rangle$ is a ket, so we have $langle x| Â | a_k rangle = langle x| (Â a_k) rangle:= (Â u_k) (x) $
Answered by Lil'Gravity on August 1, 2021
Get help from others!
Recent Answers
Recent Questions
© 2024 TransWikia.com. All rights reserved. Sites we Love: PCI Database, UKBizDB, Menu Kuliner, Sharing RPP