Explicit Baker-Campbell-Hausdorff expansions (Q1634398)

Summary: The Baker-Campbell-Hausdorff (BCH) expansion is a general purpose tool of use in many branches of mathematics and theoretical physics. Only in some special cases can the expansion be evaluated in closed form. In an earlier article we demonstrated that whenever \([X, Y] = u X + v Y + c I\), BCH expansion reduces to the tractable closed-form expression \[ Z(X, Y) = \ln(e^X e^Y) = X + Y + f(u, v) [X, Y], \] where \(f(u, v) = f(v, u)\) is explicitly given by the the function \[ f(u, v) = \frac{(u - v) e^{u + v} -(u e^u - v e^v)}{u v(e^u - e^v)} = \frac{(u - v) -(u e^{- v} - v e^{- u})}{u v(e^{- v} - e^{- u})} . \] This result is much more general than those usually presented for either the Heisenberg commutator, \([P, Q] = - i \hbar I\), or the creation-destruction commutator, \([a, a^\dagger] = I\). In the current article, we provide an explicit and pedagogical exposition and further generalize and extend this result, primarily by relaxing the input assumptions. Under suitable conditions, to be discussed more fully in the text, and taking \(L_A B = [A, B]\) as usual, we obtain the explicit result \[ \ln(e^X e^Y) = X + Y + \frac{I}{e^{- L_X} - e^{+ L_Y}} \left(\frac{I - e^{- L_X}}{L_X}+\frac{I - e^{+ L_Y}}{L_Y}\right) [X, Y] . \] We then indicate some potential applications.