Harmonic Oscillator, Ladder Operators, and Dirac notation

[MaximumTaco]

Defining the state | \alpha > such that:
| \alpha > = Ce^{\alpha {\hat{a}}^{\dagger}} | 0 >\ ,\ C \in \mathbf{R};\ \alpha \in \mathbf{C};

Now, | \alpha > is an eigenstate of the lowering operator \hat{a}, isn't it?

In other words, the statement that \hat{a} | \alpha >\ =\ \alpha | \alpha > is true, right?
(for the eigenvalue \alpha?)

Is that the correct use of the Dirac notation?

How might one go about proving the above?

 

[MaximumTaco]

Anybody? I'd really appreciate some advice here.

Cheers.

 

[jostpuur]

I got the same result. Was there step where you had

<br /> a (a^\dagger)^k = k (a^\dagger)^{k-1} + (a^\dagger)^k a<br />

It looks like it's an eigenstate of lowering operation then. Pathological state...

I'm not sure about what is precisly correct notation, looked fine to me, but at least the latex symbols \langle and \rangle look better than < and >

Adding with edit:

Hups, I didn't notice your last question. I thougth you had calculated that, and were wondering how such strange state could exist. Steps to prove it are these. Use series expansion of the exponential. Prove the commutation rule of a and (a^\dagger)^k with induction (or with some other technique). Calculate.

 

[StatMechGuy]

I wouldn't call coherent states "pathological states".

The way you would go about proving it would probably be by construction. Start by declaring a state |\alpha \rangle to be an eigenstate of the lowering operator, then expand that state in the basis of the harmonic oscillator and see what comes out. Then you can equate it to the exponential of the raising operator by looking at what comes out and saying "AH HA!".

That's probably the least algebraically intensive method of solving the problem, unless you really like wrestling with commutators.

 

[jostpuur]

I didn't know anything about coherent states, but the calculation wasn't too difficult so I replied. I'll take the pathological comment back.