Proving e^Ae^B=e^{A+B} for Commuting Matrices

Click For Summary
SUMMARY

The discussion centers on proving the equation e^Ae^B = e^{A+B} for commuting matrices A and B. It establishes that when A and B do not commute, the equation does not hold, as demonstrated through series expansion. The key insight is that the term [A, B] (the commutator) becomes zero when A and B commute, validating the equation. Conversely, if A and B do not commute, the presence of the [A, B] term leads to the conclusion that e^{A+B} ≠ e^Ae^B.

PREREQUISITES
  • Matrix algebra, specifically understanding matrix commutation
  • Series expansion techniques in the context of matrix exponentiation
  • Knowledge of commutators and their significance in linear algebra
  • Familiarity with the properties of exponential functions applied to matrices
NEXT STEPS
  • Study the properties of matrix exponentials in detail
  • Explore the implications of the Baker-Campbell-Hausdorff formula
  • Learn about applications of commutators in quantum mechanics
  • Investigate further examples of non-commuting matrices and their behaviors
USEFUL FOR

Mathematicians, physicists, and students studying linear algebra or quantum mechanics, particularly those interested in the properties of matrix exponentiation and commutation.

kreil
Science Advisor
Insights Author
Messages
665
Reaction score
68

Homework Statement


Show, by series expansion, that if A and B are two matrices which do not commute, then [itex]e^{A+B} \ne e^Ae^B[/itex], but if they do commute then the relation holds.


Homework Equations


[tex]e^A=1+A[/tex]
[tex]e^B=1+B[/tex]
[tex]e^{A+B}=1+(A+B)[/tex]


The Attempt at a Solution


Assuming that the first 2 terms in the expansion is sufficient to use here (is it?), I got the following:

[tex]e^Ae^B=(1+A)(1+B)=1+A+B+AB[/tex]

This would be equal if the AB term were not tacked on the end...does this term somehow become zero when the two matrices commute? If I'm on the wrong track please let me know.

Josh
 
Physics news on Phys.org
I think I figured it out after a little thought...

[tex]e^Ae^B=(1+A)(1+B)=1+A+B+AB-BA=1+A+B+[A,B][/tex]

So if A and B commute, [A,B]=0 and the relation holds, else [A,B] does not equal zero and [itex]e^{A+B} \ne e^Ae^B[/itex]
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 21 ·
Replies
21
Views
2K
Replies
9
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 4 ·
Replies
4
Views
2K
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K