1. Not finding help here? Sign up for a free 30min tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Proof of exp(a)exp(b) = exp(a+b)exp(1/2 [a,b])

  1. Oct 17, 2012 #1
    1. The problem statement, all variables and given/known data

    a, b are operators that commute with their commutator

    (1) Show that f(x) = exaexb satisfies df/dx = (a + b + x[a,b])f

    (2) use (1) to show that eaeb = ea+be(1/2)[a,b]

    2. Relevant equations

    [a,[b,a]] = [b,[b,a]] = 0

    3. The attempt at a solution

    I tried a Taylor expansion but just got a mess.
     
    Last edited: Oct 17, 2012
  2. jcsd
  3. Oct 18, 2012 #2
    Did you get part (1)?

    If so, the strategy is to slip an x into the exponent of the object in (2) and then differentiate it with respect to x. You should find that the object in (2) satisfies the same differential equation, with the same boundary condition, as the object in (1). It's therefore the same object. Then at the end you just set x=1 to get the answer.

    Btw this is an example of a "BCH" relation (Baker-Campbell-Hausdorff) and if you search around for that you should find loads of stuff.
     
  4. Oct 18, 2012 #3

    dextercioby

    User Avatar
    Science Advisor
    Homework Helper

    This is not an exercise about Taylor series, it's simply a neat trick to get a useful relation between exponentials of particular bounded operators.
     
  5. Oct 19, 2012 #4
    Thanks, knowing the name of this sort of equation helped me find a proof.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook