TransWikia.com

Building eigenfunctions from eigenkets

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?

2 Answers

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

Note:

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

Add your own answers!

Ask a Question

Get help from others!

© 2024 TransWikia.com. All rights reserved. Sites we Love: PCI Database, UKBizDB, Menu Kuliner, Sharing RPP