Is This State an Eigenstate of the 3D Harmonic Oscillator?

[CINA]

Homework Statement

For the three-dimensional harmonic oscillator

$$H_{xyz} = \frac{p_x^2}{2m}+\frac{p_y^2}{2m}+\frac{p_z^2}{2m}+\frac{1}{2}m \omega^2 x^2 + \frac{1}{2}m\omega^2 z^2 + \frac{1}{2}m\omega^2 z^2$$

Consider:

$$| \alpha_1 > = \frac{1}{\sqrt{2}} (|n_x = 0, n_y = 0, n_z = 0> + |n_x = 0, n_y = 0, n_z = 1> )$$

and

$$| \alpha_2 > = \frac{1}{\sqrt{2}} (|n_x = 1, n_y = 0, n_z = 0> -i |n_x = 0, n_y = 1, n_z = 0> )$$

Does it correspond to:

a) A stationary state
b) an eigenstate of [tex]l^2[\tex]<br /> c) an eigenstate of [tex]l_z[\tex]<br /> <h2>Homework Equations</h2><br /> <br /> a) $$H=(N_x +N_y + N_z +\frac{3}{2})\hbar \omega$$<br /> <br /> b) $$L^2 = L_x^2 +L_y^2 +L_y^2$$<br /> <br /> c) $$L_z=xp_y-yp_x$$<br /> <br /> <h2>The Attempt at a Solution</h2><br /> <br /> I think for a) I can just apply the operator and see whether it is a multiple of the original function of not.<br /> <br /> It seems like I should do c) before b) and I always have trouble with operator manipulation.<br /> <br /> What does $$L_z=xp_y-yp_x$$ applied to<br /> <br /> $$| \alpha_1 > = \frac{1}{\sqrt{2}} (|n_x = 0, n_y = 0, n_z = 0> + |n_x = 0, n_y = 0, n_z = 1> )$$<br /> <br /> look like? How do you apply to position and momentum operators to alpha? What are the eigenvalues you are supposed to get out look like?[/tex][/tex]

 

[Simon Bridge]

The first thing to do is step back and see what you actually have there.
i.e. how are these states constructed? i.e. what kinds of states are they made from?

$\renewcommand{\ket}[1]{\left| #1 \right\rangle}$ It's shorter to write: using $\ket{n_x,n_y,n_z}$
$\ket{\alpha_1} = \frac{1}{\sqrt{2}}\big( \ket{0,0,0} + \ket{0,0,1} \big)$
$\ket{\alpha_2} = \frac{1}{\sqrt{2}}\big( \ket{1,0,0} -i \ket{0,1,0} \big)$
... makes them easier to read.

 

[CINA]

Alright, I have trouble with terminology: The states $$|\alpha_1>$$ and $$|\alpha_2>$$ are superpositions of three-dimensional harmonic oscillator eigenstates as expressed in the the $$|n_x,n_y,n_z>$$ basis (don't know what exactly you'd call this basis.) Is that correct? An alternative basis would be the $$|n,l,m_l>$$ ("angular momentum basis?") basis, correct?

For part a) I did:

$$H = (N+\frac{3}{2})\hbar\omega$$

so,

$$H|\alpha_1>=\frac{1}{2}(N\hbar\omega|0,0,0>+\frac{3}{2}|0,0,0>+N\hbar\omega|0,0,1>+\frac{3}{2}|0,0,1>)$$
$$H|\alpha_1>=\frac{1}{2}(\frac{3}{2}|0,0,0>+\frac{5}{2}|0,0,1>)$$ So not a stationary state since $$H|\alpha_1>\neq E|\alpha_1>$$

I found $H|\alpha_2>=\frac{5}{2}|\alpha_2>$

For part b) we are allowed to simply give an argument.In class we derived something like this picture:

(Source: http://arxiv.org/pdf/0808.2289v2.pdf, Page 5) where the y-axis is the HO energy levels. So, here is my attempt at an argument for whether they are eigenstates of $l^2$...

For $|\alpha_2>$ the state will always be in energy eigenstate with $E=\frac{5}{2}\hbar\omega$ which corresponds to an inaccessible hole in the above figure, so it is NOT an eigenstate of $l^2$. It IS an eigen state of $l^2$ since both states correspond to l=1.
For $|\alpha_1>$ it is a superposition of $|0,0,0>$ (accessible,defined $l^2$) and $|0,0,1>$ (inaccessible). Since it is not strictly a superposition of accessible (and consistent) $l^2$ states, it is NOT an eigenstate.

Is there any merit to this?

EDIT: and for c) $[H,l_z]=0$ so they are compatible observables...which means that if an H eigenstate exists, an $l_z$ must as well?

 

[Simon Bridge]

The nx ny and nz label what? you have identifies |a2> as an energy eigenstate ...
It would help if you could express the nx-z basis into angular momentum basis right?
How do you change basis?

Have you done some work on commutators and simultaneous eigenstates?
[edit] off your edit: well done ... you can also do $[H,L^2]$ and check the other one as well.

Careful - the commutation means that simultaneous eigenstates are possible, but a particular eigenstate may not be simultaneous.
i.e. A linear combination of eigenstates for H may not be an eigenstate of a commuting operator.

Something in there should sound familiar with something you've done in class recently.