How to Prove the Commutator Relationship for Angular Momentum Operators?

Click For Summary
The discussion focuses on proving the commutator relationship for angular momentum operators, specifically showing that [L · a, L · b] = iħ L · (a × b). Participants explore two approaches to the proof, both starting from the expression [L_i a_i, L_j b_j] and applying the known commutation relation [L_i, L_j] = iħ ε_ijk L_k. There is uncertainty about the validity of taking the vectors a_i and b_j out of the commutator, but it is confirmed that the commutator is linear in both arguments. Ultimately, both methods appear to lead to the same conclusion, reinforcing the relationship between the operators. The discussion emphasizes the importance of understanding the linearity of commutators in quantum mechanics.
WendysRules
Messages
35
Reaction score
3

Homework Statement


Show that ##[\hat{L} \cdot \vec{a}, \hat{L} \cdot \vec{b}] = i \hbar \hat{L} \cdot (\vec{a} \times \vec{b})##

Homework Equations


##[\hat{L}_i, \hat{L}_j]= i \hbar \epsilon_{ijk} \hat{L}_k ##

The Attempt at a Solution


[/B]
Maybe a naive attempt, but it has been a while. I have two ways I think this can work, but both I'm not sure. they "work", but without a more trained eye, I'm not sure if they're valid.

Start with ##[\hat{L} \cdot \vec{a}, \hat{L} \cdot \vec{b}] \rightarrow [\hat{L}_ia_i, \hat{L}_jb_j] =i \hbar \epsilon_{ijk} \hat{L}_k a_ib_i \rightarrow i \hbar\hat{L}_k \epsilon_{ijk} a_i b_i = i \hbar \hat{L} \cdot (\vec{a} \times \vec{b}) ##

The other one starts similarly, but once we put it in the ##[\hat{L}_ia_i, \hat{L}_jb_j]## form, we can take out the ##a_i## and ##b_j## giving us ##a_ib_j[\hat{L}_i,\hat{L}_j]## which from here the rest follows as above, but not sure if either approach is "valid".
 
Physics news on Phys.org
How are these different ways? They look identical to me.
 
Orodruin said:
How are these different ways? They look identical to me.
Yes, i believe they are. Is it true that I am allowed to take out the ##a_i## from the brackets? I think that is what i conclude from above.
 
WendysRules said:
Is it true that I am allowed to take out the aiaia_i from the brackets?
Yes, the commutator is linear in both arguments.
 
  • Like
Likes WendysRules
I want to find the solution to the integral ##\theta = \int_0^{\theta}\frac{du}{\sqrt{(c-u^2 +2u^3)}}## I can see that ##\frac{d^2u}{d\theta^2} = A +Bu+Cu^2## is a Weierstrass elliptic function, which can be generated from ##\Large(\normalsize\frac{du}{d\theta}\Large)\normalsize^2 = c-u^2 +2u^3## (A = 0, B=-1, C=3) So does this make my integral an elliptic integral? I haven't been able to find a table of integrals anywhere which contains an integral of this form so I'm a bit stuck. TerryW

Similar threads

  • · Replies 20 ·
Replies
20
Views
4K
Replies
11
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 6 ·
Replies
6
Views
3K
Replies
1
Views
4K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 7 ·
Replies
7
Views
2K
Replies
5
Views
2K