Taking A to be diagonal [[a,0],[0,b] and B to be arbitrary [[x,y],[z,w]], Maple finds four families of matrices A,B: [[4*I*Pi+b, 0], [0, b]], [[x, y], [0, x+2*I*Pi]] [[-4*I*Pi+b, 0], [0, b]], [[x, y], [0, x-2*I*Pi]] [[4*I*Pi+b, 0], [0, b]], [[x, 0], [z, x+2*I*Pi]] [[-4*I*Pi+b, 0], [0, b]], [[x, 0], [z, x-2*I*Pi]] satisfying exp(A)exp(B) = exp(A+B) = exp(B)exp(A) with AB != BA. When I try the Jordan matrix A:=[[a,1],[0,b]] with arbitrary B = [[x,y],[z,w]] I get an error message when I try to solve the equations. On Tue, Aug 5, 2014 at 10:48 AM, Charles Greathouse < charles.greathouse@case.edu> wrote:
Well, if you believe Mathematica, there are no such 2x2 real matrices:
A = {{a11, a12}, {a21, a22}}; B = {{b11, b12}, {b21, b22}}; Solve[MatrixExp[A].MatrixExp[B](*==MatrixExp[A+B]*)== MatrixExp[B].MatrixExp[A] && A.B != B.A, {a11, a12, a21, a22, b11, b12, b21, b22}, Reals] // Timing
{17.191310, {}}
Charles Greathouse Analyst/Programmer Case Western Reserve University
On Mon, Aug 4, 2014 at 9:17 PM, Dan Asimov <dasimov@earthlink.net> wrote:
It's well known and easy to prove that if NxN matrices A and B commute, then
(*) exp(A)exp(B) = exp(A+B) = exp(B)exp(A)
.
But AB = BA is not a necessary condition for (*), as googling will readily reveal.
Does anyone know necessary and sufficient conditions on A and B for (*) to hold?
If not, how about a large class of A and B for which (*) holds despite AB and BA being unequal ?
I think such examples of complex matrices are easier to come by than of real ones, so I'm particularly interested in the case where A and B are real.
--Dan _______________________________________________ math-fun mailing list math-fun@mailman.xmission.com https://mailman.xmission.com/cgi-bin/mailman/listinfo/math-fun
_______________________________________________ math-fun mailing list math-fun@mailman.xmission.com https://mailman.xmission.com/cgi-bin/mailman/listinfo/math-fun