Harmonic oscillator ladder operators

[spaghetti3451]

The ladder operators of a simple harmonic oscillator which obey

$$[H,a^{\dagger}]=\hbar\omega\ a^{\dagger}$$.

---

I would like to see a proof of the relation

$$\exp(-iHt)\exp(a^{\dagger})\exp(iHt)|0\rangle=\exp(a^{\dagger}e^{-i\omega t})|0\rangle\exp(i\omega t/2).$$

Thoughts?

 

[DrClaude]

As always, try Taylor expansion.

 

[spaghetti3451]

I did this.

$\exp(-iHt)\exp\left( ca^{\dagger}\right)\exp(iHt)|0,0\rangle$

$= \exp\left( c[a^{\dagger},H]\right)|0,0\rangle$

$= \exp\left( ca^{\dagger}\exp(-i\omega t)\right)\exp(i\omega t)|0,0\rangle$

Where have I gone wrong?

 

[DrClaude]

$\exp(-iHt)\exp\left( ca^{\dagger}\right)\exp(iHt)|0,0\rangle$

$= \exp\left( c[a^{\dagger},H]\right)|0,0\rangle$

I don't understand how you go from the first line to the second.

 

[spaghetti3451]

I used Heisenberg's equation of motion for the ladder operator in the Heisenberg picture.

 

[vanhees71]

The Heisenberg equations of motion are a good idea, but it's perhaps easier to use the Trotter product formula,

http://theory.gsi.de/~vanhees/faq/quant/node99.html

The link is in German, but the formula density should be high enough to get what you need. Note that in your case you can resum the resulting series explicitly.

 

[spaghetti3451]

You mean the Lie product formula: https://en.wikipedia.org/wiki/Lie_product_formula?

I have no idea how to use it.

 

[stevendaryl]

The ladder operators of a simple harmonic oscillator which obey

$$[H,a^{\dagger}]=\hbar\omega\ a^{\dagger}$$.

---

I would like to see a proof of the relation

$$\exp(-iHt)\exp(a^{\dagger})\exp(iHt)|0\rangle=\exp(a^{\dagger}e^{-i\omega t})|0\rangle\exp(i\omega t/2).$$

Thoughts?

Is this a homework problem?

 

[spaghetti3451]

Is this a homework problem?

No, it's not! This is from a paper that I am reading.

 

[spaghetti3451]

Sorry, I made a mistake. This is what I am trying to prove.

$\exp(-iHt)\exp(a^{\dagger})\exp(iHt)|0\rangle=\exp(a^{\dagger}e^{-i\omega t})|0\rangle$

 

[stevendaryl]

Okay, so it might be slightly easier to work with the "number" operator $N$, which is related to $H$ via:

$H = (N+1/2) \omega$ (in units where $\hbar = 1$)

In terms of the number operator, $[N, a^\dagger] = a^\dagger$.

So we want to show that:

$e^{-i (N+1/2) \omega t} e^{a^\dagger} e^{+i (N+1/2) \omega t} |0\rangle = exp(a^\dagger e^{-i\omega t}) |0\rangle$

Since $e^{-i/2 \omega t}$ and $e^{+i/2 \omega t}$ are just numbers, not operators, they commute, and they combine to form 1. So we need to show:

$e^{-i N \omega t} e^{a^\dagger} e^{+i N \omega t} |0\rangle = exp(a^\dagger e^{-i\omega t}) |0\rangle$

Here, we can write $e^{i N \omega t} = 1 + i N\omega t + 1/2 (i N \omega t)^2 + ...$. When this acts to the right on $|0\rangle$, we just get $|0\rangle$, because $N |0\rangle = 0$. So we want to show:

$e^{-i N \omega t} e^{a^\dagger} |0\rangle = exp(a^\dagger e^{-i\omega t}) |0\rangle$

Now, we write $e^{a^\dagger}$ as $\sum_n (a^\dagger)^n/n!$

We can prove (by induction) that if $|n\rangle$ is the normalized state in which $N |n\rangle = n |n \rangle$, then $(a^\dagger)^n |0\rangle = \sqrt{n!} |n\rangle$

So we have, on the left-hand side:

$e^{-i N \omega t} \sum_n \frac{\sqrt{n!}}{n!} |n\rangle$

Now, you can bring the first exponent inside the sum to get:

$\sum_n \frac{\sqrt{n!}}{n!} e^{-i N \omega t} |n\rangle$

Since $N |n\rangle = n |n\rangle$, this just becomes:

$\sum_n \frac{\sqrt{n!}}{n!} e^{-i n \omega t} |n\rangle$
$= \sum_n \frac{\sqrt{n!}}{n!} (e^{-i \omega t})^n |n\rangle$

Now, we can undo the application of $(a^\dagger)^n$:

$\sum_n \frac{\sqrt{n!}}{n!} (e^{-i \omega t})^n |n\rangle = \sum_n (e^{-i \omega t})^n (a^\dagger)^n/n!|0\rangle$
$= \sum_n (a^\dagger e^{-i \omega t})^n/n!|0\rangle$
$= exp(a^\dagger e^{-i \omega t})|0\rangle$