1
$\begingroup$

Given $\psi_{\lambda}=e^{\lambda a_{+}}\psi_{0}$, show that $a_{-}\psi_{\lambda}$ is an eigenfunction of $\psi_{\lambda}$ with eigenvalue $\lambda$.

In this case $a_{\pm}=\frac{1}{\sqrt{2\hbar m \omega}}(\mp ip+m\omega x)$ are the ladder operator and $\psi_{0}=(\frac{m\omega}{\pi\hbar})^{\frac{1}{4}}e^{\frac{m\omega}{2\hbar}x^2}$ is the ground state of the harmonic oscillator.

Now, my real problem is that i don't know how to interpret (and manipulate) the operator in the exponential function. I've tried to use different identities (Hamiltonian, momentum in terms of ladder op.) but i get more and more confused.

$\endgroup$
0

1 Answer 1

1
$\begingroup$

First of all, the functions of operators are always to be understood as a Taylor expansion. In your case: \begin{equation} e^{\lambda a_+} = \sum_{n=0}^{+\infty} \frac{(\lambda a_+)^n}{n!}. \end{equation}

Let is now consider operators $A$ and $B$ whose commutator is a complex number (i.e. not an operator): $[A, B] = c$. And let us take an infinitely differentiable function $f(x)$. Then we can study the following commutator: \begin{equation} [A, f(B)] = \sum_{n=0}^{+\infty}\frac{f^{(n)}}{n!}[A, B^n] \end{equation} Using the commutator of $A$ and $B$ we can derive: \begin{equation} AB^n = (AB - BA + BA)B^{n-1} = cB^{n-1} + BAB^{n-1} = 2cB^{n-1} + B^2AB^{n-2} = ... = ncB^{n-1} + B^nA, \end{equation} that is \begin{equation} [A, B^n] = ncB^{n-1}. \end{equation} Substituting this into the expansion above we have \begin{equation} [A, f(B)] = \sum_{n=1}^{+\infty}\frac{f^{(n)}}{n!}ncB^{n-1} = c\sum_{n=1}^{+\infty}\frac{f^{(n)}}{(n-1)!}B^{n-1} = c\frac{\partial}{\partial B}f(B). \end{equation} (I took into account that $[A,1]=0$.) This is a very useful formula, which btw is a particular case of more general Baker-Campbell-Hausdorff formula.

Going back to your problem, since $[a_-, a_+] = 1$, we have \begin{equation} [a_-, e^{\lambda a_+}] = \lambda e^{\lambda a_+} \Longrightarrow a_-e^{\lambda a_+} = e^{\lambda a_+}(\lambda + a_-). \end{equation} We now can prove that $\psi_\lambda$ is an eigenfunction of $a_-$ in a straightforward way: \begin{equation} a_-\psi_\lambda = a_-e^{\lambda a_+}\psi_0 = e^{\lambda a_+}(\lambda + a_-)\psi_0 = \lambda e^{\lambda a_+}\psi_0 = \lambda \psi_\lambda, \end{equation} since $a_-\psi_0 = 0$.

$\endgroup$
1
  • $\begingroup$ Thanks! The part of the conmutator [A,f(B)] took me a while to understand but was really helpfull. Then I have proved it using just knowledge from the first 2 chapters of Griffits (cause is all QM i've learned) and the Taylor series made almost all the work. $\endgroup$ Commented Mar 15, 2020 at 3:36

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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