How to Prove the Commutator Relationship for Angular Momentum Operators?

Click For Summary
SUMMARY

The discussion focuses on proving the commutator relationship for angular momentum operators, specifically the equation ##[\hat{L} \cdot \vec{a}, \hat{L} \cdot \vec{b}] = i \hbar \hat{L} \cdot (\vec{a} \times \vec{b})##. Participants reference the fundamental commutation relation ##[\hat{L}_i, \hat{L}_j]= i \hbar \epsilon_{ijk} \hat{L}_k## to derive the proof. Two approaches to the proof are presented, both leading to the same conclusion, with emphasis on the linearity of the commutator allowing the extraction of constants from the brackets.

PREREQUISITES
  • Understanding of angular momentum operators in quantum mechanics
  • Familiarity with commutation relations and their properties
  • Knowledge of vector calculus, specifically cross products
  • Basic proficiency in quantum mechanics notation and terminology
NEXT STEPS
  • Study the properties of commutators in quantum mechanics
  • Learn about the implications of angular momentum in quantum systems
  • Explore vector calculus applications in quantum mechanics
  • Investigate the role of linearity in operator algebra
USEFUL FOR

Students and professionals in quantum mechanics, particularly those studying angular momentum, as well as educators seeking to clarify the properties of commutators and their applications in physics.

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   Reactions: WendysRules

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
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 7 ·
Replies
7
Views
2K
Replies
5
Views
3K