# Quantum Harmonic oscillator

1. Sep 18, 2011

### Kalidor

Consider the usual 1D quantum harmonic oscillator with the typical hamiltonian in P and X and with the usual ladder operators defined.
i) I have to prove that given a generic wave function $\psi$, $\partial_t < \psi (t) |a| \psi (t)>$ is proportional to $< \psi (t) | a | \psi (t) >$ and determine their ratio.

Here I tried to express $\psi(t)$ as an infinite sum of the eigenstates with time evolution operator applied to it but I think there must definitely be some less clumsy way.

ii) Construct an operator $Q_k$ such that it only allows transitions between the states $|n>$ and $|n \pm k >$ ($|n>$ being the nth eigenstate of the N operator).

In this question I really did not get why the answer couldn't just be $a$ or $a^_\dagger$.

2. Sep 18, 2011

### Ken G

In (i), I think you want to use the time-dependent Schroedinger equation to replace the time derivative, after noticing that the time derivative can be applied to the bra or the ket, so you get two terms there. The action of H means the the two terms always differ by the energy difference between a level and the next higher level, so that stays fixed even as n varies. That's why it ends up a proportionality, no matter how many n's are involved in the eigenvalue expansion.

For part (ii), a single raising or lowering operator only connects to either +1 or -1, not to both +1 and -1, let alone both +k and -k. It seems like you need a net raising by k, or a net lowering by k, in whatever operator you use. Is it as simple as ak+(adag)k?

3. Sep 18, 2011

### Kalidor

Of course this is what I meant, sorry. So I turn the question back to you. Could the answer be so trivial?

4. Sep 18, 2011

### olgranpappy

yeah sure, that is an operator that connects those states. If they just want an operator in particular then that answer the question. Here's something to think about, though. For example, suppose k=1. Then your operator is

a + a^\dagger

but how about the operator

a + a^\dagger + a^2a^\dagger + a^5 (a^\dagger)^6

these also work, right? And in general can have arbitrary complex coefficients in front of each term.

5. Sep 19, 2011

### Kalidor

For the sake of completeness. I have to say there was one last question and it asked to prove that this operator $Q_k$ commutes with the parity operator whenever k is even. How should I go about proving this even supposing my $Q_k$ is simply $a^k$ or $(a^\dagger)^k$. And would it be true?