0
$\begingroup$

In the Ernest Abers Quantum mechanic's book (p.107-p.108) he proved:

$D(\vec{J}\cdot\hat{n})=\sum_{i}n_iD(J_i)=\hat{n}\cdot D(\vec{J})$ by using:

$$ \hat{R}=e^{-i\theta\vec{J}\cdot\hat{n}}=\exp{(-i\theta\ n_x J_x)}\exp{(-i\theta\ n_y J_y)}\exp{(-i\theta n_z J_z)}. $$

$\vec{J}=(J_x,J_y,J_z)$ means the generators of rotation matrices along x, y, z axes. And in p.12 he wrote: $$[J_i,J_j]=i\sum_{k}\epsilon_{ijk}J_k$$

So it means three components of $\vec{J}$ are not commutative. Why can he split $\hat{R}$ as a product of three exponent term directly?

Note: $\hat{R}$ is a rotation operator with axis $\hat{n}$. The representation of $\hat{R}$ is denoted as $D(\hat{R}(\hat{n},\theta))$.

$$ D(\hat{R})=e^{-i\theta D\big(\vec{J}\cdot \hat{n}\big)} $$

$\endgroup$
0

1 Answer 1

5
$\begingroup$

You dramatically misunderstood and misquoted Ernie's formula (4.17)!

The whole point of his formula is the term you skipped, $𝑂(𝜃^2)$ on the right-hand side, $$e^{-i\theta\vec{J}\cdot\hat{n}}=\exp{(-i\theta\ n_x J_x)}\exp{(-i\theta\ n_y J_y)}\exp{(-i\theta n_z J_z)} +𝑂(𝜃^2), $$ which is to say his rotations only compose like this for infinitesimally small rotations, a point he stresses in (4.28)! This is the essence of Lie groups, namely that the non commutativity first emerges at $𝑂(𝜃^2)$.

You may see this by two sequential applications of the CBH composition of exponentials of noncommuting operators, (4.25), namely $$ \exp{(-i\theta\ n_x J_x)}\exp{(-i\theta\ n_y J_y)}\exp{(-i\theta n_z J_z)} \\ = \exp \bigl( -i\theta ~\hat n\cdot \vec J -i (\theta^2 /2)(n_xn_y J_z- n_x n_zJ_y + n_y n_z J_x )+ O(\theta^3)\bigr) \\ = \exp(-i\theta ~\hat n\cdot \vec J ) + O(\theta^2). $$ cf. (4.29).

As far as non commutativity goes, he threw out the baby with the bathwater, but he is illustrating mappings of sums of matrices, not their noncommutative multiplication...

$\endgroup$
1
  • 1
    $\begingroup$ Oh...I did not understand the content correctly. Thank you for indicating it clearly. I am also learning group theory and Lie algebra. $\endgroup$
    – Hsu Bill
    Commented Jan 4, 2022 at 0:58

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.