Consider the Harmonic oscillator.
Some considerations:
$H_{xyz}=H$ is not a C.S.C.O. in $\mathcal{E}=\mathcal{E}_{xyz}$ by itself: even if we know the eigenvalue (the energy) of $H$ , we may not not the state of the system: e.g if $E=1$
, all we know is that the state is a linear combination of $\vert100\rangle,\vert010\rangle$ and $\vert001\rangle$ .
However, $\{H_{x},H_{y},H_{z}\}$ is a C.S.C.O. This is easy to see.
Now, $[H,L_{i}]=0$ since $H$ is rotationally invariant.
One can prove that {H,L^{2},L_{z}} is a C.S.C.O.
Thus, we get two basis for $\mathcal{E}$ : $\{\vert n_{x}\,n_{y}\,n_{z}\rangle\}$
and $\{\vert n,l,m\rangle\}$, one for each of the C.S.C.O.s found.
We can of course go from one basis to the other.
A common question asked is: for a given n, what are the possible values of l?
I will try to answer this using a method which I haven't found anywhere, so I would like someone to confirm it.
For example, for $n=1$, I know that $\mathcal{E}(n=1)$ is three-dimensional, since it is spanned by $\{\vert100\rangle,\vert010\rangle,\vert001\rangle\}$. Thus, one of the following is true:
$$\mathcal{E}(n=1)=3\mathcal{E}(n=1,l=0)$$
or
$$\mathcal{E}(n=1)=\mathcal{E}(n=1,l=1)$$
So, if I find one state of $\mathcal{E}(n=1)$
with $m=1$, then that state cannot belong to $\mathcal{E}(l=0)$
and so $\mathcal{E}(n=1)=\mathcal{E}(n=1,l=1)$
holds.
Another example: $n=2$
. I know that $\mathcal{E}(n=2)$
is six-dimensional, since it is spanned by $\{\vert200\rangle,\vert020\rangle,\vert002\rangle,\vert110\rangle,\vert101\rangle,\vert011\rangle\}$
. Thus, one of the following is true:
$$\mathcal{E}(n=2)=6\mathcal{E}(n=2,l=0)$$
or
$$\mathcal{E}(n=2)=\mathcal{E}(n=2,l=0)\oplus\mathcal{E}(n=2,l=2)$$
So, if I find one state of $\mathcal{E}(n=2)$
with $m=-1$, for instance, then that state cannot belong to $\mathcal{E}(l=0)$ and so $\mathcal{E}(n=2)=\mathcal{E}(n=2,l=0)\oplus\mathcal{E}(n=2,l=2)$ holds.
Is this argument correct? The results are, but I'm not sure the reasoning is: I assumed that, if I have a state with a certain l
in $\mathcal{E}(n)$
, then all the $2l+1$
states $\vert n,l,m\rangle$
are in $\mathcal{E}(n)$. I do not know how to justify this.
If the method or the question are still unclear, please tell me and I'll try to clarify them.