Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Baker-Campbell-Hausdorff formula question

  1. Feb 17, 2009 #1
  2. jcsd
  3. Feb 17, 2009 #2

    Ben Niehoff

    User Avatar
    Science Advisor
    Gold Member

    The Hadamard formula is easy to show. The full BCH formula is a ***** (I spent several hours yesterday trying to do it, but I didn't understand enough about Lie groups to get there). Anyway, start with this function:

    [tex]f(s) = e^{sA} B e^{-sA}[/tex]

    Then differentiate it a few times with respect to s:

    [tex]f'(s) = e^{sA} A B e^{-sA} - e^{sA} B A e^{-sA} = e^{sA} [A,B] e^{-sA}[/tex]

    [tex]f''(s) = e^{sA} A [A,B] e^{-sA} - e^{sA} [A,B] A e^{-sA} = e^{sA} [A, [A,B]] e^{-sA}[/tex]

    [tex]f'''(s) = e^{sA} [A, [A, [A,B]]] e^{-sA}[/tex]


    Now construct the Taylor series for f(s):

    [tex]f(s) = f(0) + s f'(0) + \frac12 s^2 f''(0) + \frac1{3!} s^3 f'''(0) + ...[/tex]

    [tex]e^{sA} B e^{-sA} = B + [A,B] s + \frac12 [A, [A, B]] s^2 + \frac1{3!} [A, [A, [A, B]]] s^3 + ...[/tex]

    Finally, evaluate the above at s=1 to get the result.
  4. Feb 17, 2009 #3

    Thanks, yes that is what I also did. The "parametric induction" term threw me off.
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook