Does a Wave Function with l=0 Satisfy L\varphi=0?

[noblegas]

Homework Statement

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

Homework 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. ?

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?

 

[noblegas]

People having a hard time reading the problem?

 

[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.

 

[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.

 

[noblegas]

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.

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

 

[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.

 

[noblegas]

<br /> [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 <br /> 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

 

[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?

 

[noblegas]

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?

I will separate my commutators into separate 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,
atl=0, l(l+1)\varphi=0

 

[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]?

 

[noblegas]

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]?

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

 

[gabbagabbahey]

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

 

[noblegas]

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

 

[gabbagabbahey]

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

 

[noblegas]

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

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

 

[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 ____?

 

[noblegas]

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 ____?

yes that's 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

 

[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

 

[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?

 

[noblegas]

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?

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