- #1
Tangent87
- 148
- 0
I'm am trying to derive the relations:
[tex]a|n\rangle=\sqrt{n}|n-1\rangle[/tex]
[tex]a^{\dagger}|n\rangle=\sqrt{n+1}|n+1\rangle[/tex]
using just the facts that [a,a+]=1 and N|n>=|n> where [tex]N=a^{\dagger}a[/tex] (which implies [tex]\langle n|N|n\rangle=n\geq 0[/tex]). This is what I've done so far:
[tex][a,a^{\dagger}]=1 \Rightarrow aa^{\dagger}|n\rangle=(n+1)|n\rangle[/tex]
[tex]\Rightarrow a^{\dagger}a(a^{\dagger}|n\rangle)=(n+1)(a^{\dagger}|n\rangle)[/tex]
Therefore, [tex]a^{\dagger}|n\rangle=K|n+1\rangle[/tex] for some K (possibly complex).
Taking the conjugate and then multiplying together gives:
[tex]\langle n|aa^{\dagger}|n\rangle=\langle n|1+N|n\rangle=n+1=|K|^2[/tex]
So my question is how do we conclude from this that [tex]K=\sqrt{n+1}[/tex]?
[tex]a|n\rangle=\sqrt{n}|n-1\rangle[/tex]
[tex]a^{\dagger}|n\rangle=\sqrt{n+1}|n+1\rangle[/tex]
using just the facts that [a,a+]=1 and N|n>=|n> where [tex]N=a^{\dagger}a[/tex] (which implies [tex]\langle n|N|n\rangle=n\geq 0[/tex]). This is what I've done so far:
[tex][a,a^{\dagger}]=1 \Rightarrow aa^{\dagger}|n\rangle=(n+1)|n\rangle[/tex]
[tex]\Rightarrow a^{\dagger}a(a^{\dagger}|n\rangle)=(n+1)(a^{\dagger}|n\rangle)[/tex]
Therefore, [tex]a^{\dagger}|n\rangle=K|n+1\rangle[/tex] for some K (possibly complex).
Taking the conjugate and then multiplying together gives:
[tex]\langle n|aa^{\dagger}|n\rangle=\langle n|1+N|n\rangle=n+1=|K|^2[/tex]
So my question is how do we conclude from this that [tex]K=\sqrt{n+1}[/tex]?