# Orbital angular momentum problem

1. Oct 18, 2009

### noblegas

1. The problem statement, all variables and given/known data

Consider a particle that moves in three dimensions with wave function $$\varphi$$ . Use operator methods to show that if $$\varphi$$ has total angular momentm quantum number l=0 , then $$\varphi$$ satifies

$$L\varphi=0$$

for all three components $$L_\alpha$$ of the total angular momentum L
2. Relevant equations

$$[L^2,L_\alpha]$$?

$$L^2=L_x^2+L_y^2+L_z^2$$?

$$L^2=\hbar*l(l+1)$$ , l=0,1/2,1,3/2,... ?

$$L_z=m\hbar$$ , m=-l, -l+1,...,l-1,l. ?
3. The attempt at a solution

$$[L^2,L_\alpha]=[L_x^2+L_y^2+L_z^2,L_\alpha]=[L_x^2,L_\alpha]+[L_y^2,L_\alpha]+[L_z^2,L_\alpha]$$. $$[AB,C]=A[B,C]+[A,C]B$$; Therefore,$$[L_x^2,L_\alpha]+[L_y^2,L_\alpha]+[L_z^2,L_\alpha]=L_x[L_x,L_\alpha]+[L_x,L_\alpha]L_x+L_y[L_y,L_\alpha]+[L_y,L_\alpha]L_y+L_z[L_z,L_\alpha]+[L_z,L_\alpha]L_z$$. Now what?

2. Oct 19, 2009

### noblegas

People having a hard time reading the problem?

3. Oct 19, 2009

### gabbagabbahey

Do you not already know $[L^2,L_x]$, $[L^2,L_y]$ and $[L^2,L_z]$?

If so, just calculate $[L^2,L_x]\varphi$, $[L^2,L_y]\varphi$ and $[L^2,L_z]\varphi$ and use the fact that $L^2\varphi=l(l+1)\varphi=0$ for $l=0$.

4. Oct 19, 2009

### Avodyne

I don't understand gabbagabbahey's method. I would (using bra-ket notation) define three states $|\psi_i\rangle = L_i|\phi\rangle$, $i=x,y,z$, and then compute $\sum_{i}\langle\psi_i|\psi_i\rangle$.

5. Oct 19, 2009

### noblegas

Yes I calculated those commutators $$[L^2,L_x]\varphi=(L_y*i\hbar*L_z)+(i*\hbar*L_z)(L_y)+L_z(i*\hbar*L_y)+(i*\hbar*L_y)L_z,[L^2,L_y]= L_x(i*\hbar*L_z)+(i*\hbar*L_z)L_y+L_z(i*\hbar*L_x)+(i*\hbar*L_x) +(i*\hbar*L_x)L_z, [L^2,L_z]=L_x(i*\hbar*L_y)+(i*\hbar*L_y)(L_x)+L_y(i*\hbar*L_x)+(i*\hbar*L_x)L_y$$, The comutators simply expand more and do not simplify . at $$l=0, l(l+1)\varphi=0$$

Please look at my latex for the expression $$[L^2,L_z]$$ PF is not completely showing the solution to this expression for some reason. Now is it readable

Last edited: Oct 19, 2009
6. Oct 19, 2009

### gabbagabbahey

What you've just written is completely unreadable....How do you expect others to be able to help you, if you don't take the time to make sure they can read what you are posting?

Begin by calculating the commutator $[L^2,L_x]$....use the "go advanced" and "preview post" buttons to make sure whatever you write is actually readable, before submitting your post.

7. Oct 19, 2009

### noblegas

$$[L^2,L_x]\varphi=(L_y*i\hbar*L_z)+(i*\hbar*L_z)(L_y)+L_z(i* \hbar*L_y)+(i*\hbar*L_y)L_z,[L^2,L_y]= L_x(i*\hbar*L_z)+(i*\hbar*L_z)L_y+L_z(i*\hbar*L_x) +(i*\hbar*L_x) +(i*\hbar*L_x)L_z, [L^2,L_z]=L_x(i*\hbar*L_y)+(i*\hbar*L_y)(L_x)+L_y(i*\hbar*L _x)+(i*\hbar*L_x)L_y$$ Now is it readable? $$[L^2,L_z]=L_x(i*\hbar*L_y)+(i*\hbar*L_y)(L_x)+L_y(i*\hbar*L _x)+(i*\hbar*L_x)L_y$$

8. Oct 19, 2009

### gabbagabbahey

I still can't make heads or tails of what you've written....When you read a textbook or article, or even someone else's posts here....do they lay things out in a jumbled mess like that?

9. Oct 19, 2009

### noblegas

I will seperate my commutators into seperate latex code and aligned the commutators vertically. Maybe it should then be easier for you to read:

$$[L^2,L_x]\varphi=(L_y*i\hbar*L_z)+(i*\hbar*L_z)(L_y)+L_z(i* \hbar*L_y)+(i*\hbar*L_y)L_z$$
$$[L^2,L_y]\varphi= L_x(i*\hbar*L_z)+(i*\hbar*L_z)L_y+L_z(i*\hbar*L_x) +(i*\hbar*L_x) +(i*\hbar*L_x)L_z$$
$$[L^2,L_z]\varphi=L_x(i*\hbar*L_y)+(i*\hbar*L_y)(L_x)+L_y(i*\hbar*L _x)+(i*\hbar*L_x)L_y$$,
at$$l=0, l(l+1)\varphi=0$$

10. Oct 19, 2009

### gabbagabbahey

That's a little easier to read (Although I really wish you'd stop using that ugly $*$ symbol for multiplication). Why do you have a $\varphi$ on the LHS of each equation? And, you are missing some negative signs on the RHS....why don't you show me your steps for calculating $[L^2,L_x]$?

11. Oct 19, 2009

### noblegas

okay.$$[L^2,L_x]=[L_x^2+L_y^2+L_z^2,L_x]=[L_x^2,L_x]+[L_y^2,L_x]+[L_z^2,L_z]$$

$$[L_x^2,L_x]+[L_y^2,L_x]+[L_z^2,L_x]=[L_y^2,L_x]+[L_z^2,L_x]$$

$$[L_y^2,L_x]+[L_z^2,L_z]=L_y[L_y,L_x]+[L_y,L_x]L_y+L_z[L_z,L_x]+[L_z,L_x][L_z]$$

$$[L_y,L_x]=i*\hbar*L_z, [L_z,L_x]=i*\hbar*L_y$$, therefore

$$L_y[L_y,L_x]+[L_y,L_x]L_y+L_z[L_z,L_x]+[L_z,L_x][L_z]=i*L_y(\hbar*L_z),+i*\hbar*L_z*L_y+i*L_z*(\hbar*L_y)+i(\hbar*L_y)*L_z$$ .How did you get a negative term? (Sorry, if I don't used the $$*$$ symbol, latex will read the i's and L's as a subscript rather than a coeffcient

Last edited: Oct 19, 2009
12. Oct 20, 2009

### gabbagabbahey

$[L_y,L_x]=-[L_x,L_y]=-i\hbar L_z$

13. Oct 20, 2009

### noblegas

My calculations showed that $$[L^2,L_z]=0,[L^2,L_y]=0,[L^2,L_x]=0$$, now what?

14. Oct 20, 2009

### gabbagabbahey

Now, by definition what is $[L^2,L_x]\varphi$?...compare that to what you've just calculated....

15. Oct 20, 2009

### noblegas

since$$[L^2,L_x]=0$$,then$$[L^2,L_x]\varphi=0\varphi=0$$?

16. Oct 20, 2009

### gabbagabbahey

If I asked you the definition of $[A,B]\varphi$, you would say $(AB-BA)\varphi$, right?

So, when I say "by definition what is $[L^2,L_x]\varphi$?", you say ____?

17. Oct 20, 2009

### noblegas

yes thats right. $$[L^2,L_x]=(L^2L_x-L_xL^2)\varphi$$, should I let $$L_x=(\hbar/i)*d/dx$$ and $$L=(\hbar/i)*d/dx+(\hbar/i)*d/dy+(\hbar/i)*d/dz$$ and let $$(-\hbar/i)*d/dx+(-\hbar/i)*d/dy+(-\hbar/i)*d/dz$$

18. Oct 20, 2009

### gabbagabbahey

No need for all that, by definition you have $[L^2,L_x]\varphi=(L^2L_x-L_xL^2)\varphi$, and you also just calculated that this was equal to zero, so

$$[L^2,L_x]\varphi=(L^2L_x-L_xL^2)\varphi=L^2L_x\varphi-L_xL^2\varphi=0$$

Now, express $\varphi$ as a linear combination of the eigenfunctions $\psi_l$ of $L^2$, and use the fact that $L^2\psi_l=l(l+1)\psi_l=0$ for $l=0$ to show that $L_xL^2\varphi=0$

19. Oct 20, 2009

### Avodyne

I still don't think this works. We now have $L^2L_x\varphi=0$, but how do we go from there to prove that $L_x\varphi=0$?

20. Oct 20, 2009

### noblegas

$$L^2L_x\varphi=0$$ why not this expression? Can't I assume $$L^2=0$$ or $$L_x\varphi=0$$