Nuclear Fusion Physics and Technology/Atomic Physics summary
Definition: Linear Harmonic Oscillator Hamiltonian
Linear Harmonic Oscillator Hamiltonian
of a particle
is defined as
where operators 
Definition: Anihilation Operator
Anihilation Operator
is defined as
Definition: Creation Operator
Creation Operator
is defined as
Theorem: a, a+ compound expressions
Lets assume Linear Harmonic Oscillator Hamiltonian. Then
![\hat{a} [ \hat{a}^+ (|n>) ] = \frac{\hat{H}(|n>)}{\hbar \omega} + \frac{\hat{1}(|n>)}{2}, \qquad \hat{a}^+ [ \hat{a} (|n>) ] = \frac{\hat{H}(|n>)}{\hbar \omega} - \frac{\hat{1}(|n>)}{2},](http://upload.wikimedia.org/math/7/e/e/7eeb5b400a015d524bec22bdd80b393f.png)
Proof:
Directly form a, a+ definitions with respect to LHO Hamiltonian definition and [x,p] commutator
![a [a^+ (|n>)] \overset{def \, a,a^+}{=} \left( \sqrt{\frac{m \omega}{2 \hbar}} \hat{x} + i \sqrt{\frac{1}{2 \hbar m \omega}} \hat{p} \right) \left( \sqrt{\frac{m \omega}{2 \hbar}} \hat{x} - i \sqrt{\frac{1}{2 \hbar m \omega}} \hat{p} \right)=](http://upload.wikimedia.org/math/1/d/9/1d9b9553b1712540964003661a766471.png)
![= \frac{m \omega}{2 \hbar} \hat{x}^2(|n>) - i^2 \frac{1}{2 \hbar m \omega} \hat{p}^2(|n>) - i \sqrt{\frac{m \omega}{2 \hbar}} \sqrt{\frac{1}{2 \hbar m \omega}} \hat{x} [\hat{p} (|n>)] + i \sqrt{\frac{m \omega}{2 \hbar}} \sqrt{\frac{1}{2 \hbar m \omega}} \hat{p} [ \hat{x} (|n>) ] =](http://upload.wikimedia.org/math/9/7/6/97683f71ce8f067708eb476019e5cc65.png)

![= \frac{\hat{H}}{2 \hbar \omega} - \frac{i}{2 \hbar} [\hat{x},\hat{p}] |n> = \frac{\hat{H}}{2 \hbar \omega} - \frac{i}{2 \hbar} (i \hbar \hat{1}) |n> = \frac{\hat{H}|n>}{2 \hbar \omega} + \frac{\hat{1}|n>}{2}](http://upload.wikimedia.org/math/1/8/9/18939c9506838fbde1b20649477c4ddf.png)
Theorem: H,a,a+ commutators
Lets assume Linear Harmonic Oscillator Hamiltonian. Then
![[\hat{a},\hat{a}^+] (|n>) = \hat{1}(|n>), \qquad [\hat{H},\hat{a}^+](|n>) = \hbar \omega \hat{a}^+ (|n>) \qquad [\hat{H},\hat{a}] (|n>) = - \hbar \omega \hat{a}(|n>)](http://upload.wikimedia.org/math/2/e/9/2e9fc84e0aaa316a8debada0c1d87f7a.png)
Proof:
The first expression may be evaluated from commutator definition directly from a, a+ compound expression theorem
![[\hat{a},\hat{a}^+] = \hat{a} \hat{a}^+ - \hat{a}^+ \hat{a} \overset{theorem}{=} \frac{\hat{H}|n>}{2 \hbar \omega} + \frac{\hat{1}|n>}{2} - \frac{\hat{H}|n>}{2 \hbar \omega} - \frac{\hat{1}|n>}{2} = \hat{1}|n>](http://upload.wikimedia.org/math/5/8/9/589526b4bd14eac648cfa538cde19c87.png)
The second and the third expressions needs
first, which can be obtained from a,a+ compound expression theorem again: