0
$\begingroup$

For harmonic oscillator in quantum mechanics we have a lowering operator ($\hat a$) which it's action on state ket is:

$$\hat a\;|n\rangle=\sqrt n \;|n-1\rangle$$

Is following relation true for it's action on state bra?

$$\langle n|\;\hat a=\sqrt n \;\langle n-1|$$

$\endgroup$

2 Answers 2

7
$\begingroup$

No, that relationship is incorrect. If you start with $$ \hat{a}|n\rangle = \sqrt{n}|n-1\rangle $$ and take the conjugate, what you get is $$ \langle n|\hat a^\dagger = \sqrt{n}\langle n-1|. $$ To get $\langle n|\hat a$, you need to start instead with an annihilation operator, $$ \hat{a}^\dagger|n\rangle = \sqrt{n+1}|n+1\rangle, $$ so that when you take the conjugate you get $$ \langle n|\hat a = \sqrt{n+1}\langle n+1|. $$

$\endgroup$
3
  • $\begingroup$ here we have $\langle 0|\hat a\neq0$ isn't this a contradiction? $\endgroup$
    – Masa
    Commented Mar 13, 2017 at 13:26
  • $\begingroup$ No, it's not a contradiction; why would it be? $\hat a$ is not hermitian so the action of its adjoint does not need to coincide with its action. $\endgroup$ Commented Mar 13, 2017 at 13:44
  • 2
    $\begingroup$ Right, $\hat a$ does not annihilate on both its left and right hand side, otherwise $\langle 0|(a a^\dagger - a^\dagger a)|0\rangle$ would have to be simultaneously $0$ (because the first term annihilates the vaccuum on the left, the second term annihilates the vacuum on the right) and $1$ (because $[a, a^\dagger] = 1$). Instead $\langle 0|a = \langle 1|$ and $a^\dagger |0\rangle = |1\rangle$ and we get $1=1,$ much better than $0=1.$ $\endgroup$
    – CR Drost
    Commented Mar 13, 2017 at 16:18
0
$\begingroup$

So if we actually write the relation you wrote as a sum of basis matrix elements we get $$a = \sum_k ~\sqrt{k} ~~|k-1\rangle\langle k|~.$$From this you rediscover your relation, for example, by operating on the state $|n\rangle$ to create a Kronecker delta:$$a|n\rangle = \sum_k ~ \sqrt{k} ~~|k-1\rangle\langle k|n\rangle = \sum_k ~ \delta_{kn}~\sqrt{k} |k-1\rangle = \sqrt{n}~|n-1\rangle.$$ Recall that $\delta_{ab}$ is 0 if $a \ne b$ or else 1 when $a = b.$

Practices: show that its conjugate $a^\dagger$ has $|k\rangle\langle k-1|$ in the sum in place of $|k - 1\rangle\langle k|,$ and then use the fact that $\langle \ell - 1|k - 1\rangle = \delta_{(\ell-1)(k-1)} = \delta_{\ell k}$ to prove that $a^\dagger a = \sum_k k~|k\rangle\langle k|,$ the number operator $\hat n$. Then prove similarly that $a a^\dagger = \hat n + 1$ and therefore that $[a, a^\dagger] = 1.$

If you can successfully complete those practice exercises you should also be able to follow the following calculation: $$\langle n|a = \sum_k \sqrt{k} \langle n|k-1\rangle\langle k| = \sum_k \delta_{n(k-1)} \sqrt{k}\langle k|=\sum_k \delta_{(n+1)k} \sqrt{k}\langle k|=\sqrt{n+1}~\langle n+1|.$$

$\endgroup$

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.