[Math] BCH (Baker-Campbell-Hausdorff) formula for $[X,Y]=xY-yX$

closed-formlie-algebraslie-groupsnoncommutative-algebra

If some $X$ and $Y$ satisfy the commutation relation $[X,Y]=XY-YX=xY-yX$, where $x$ and $y$ are numbers (or commute mutually and with $X$ and $Y$), then what is the closed form of $\ln(\exp X \exp Y)$?

Quick calcualtion shows that $[X[X,Y]]=x[X,Y]$ and $[Y[X,Y]]=y[X,Y]$, from which follows that $\mathrm{ad}_X^n\mathrm{ad}_Y^m[X,Y] =x^ny^m[X,Y]$, so the result should be something like:
\begin{equation}
\ln(\exp X \exp Y)=X+Y+f(x,y)[X,Y]
\end{equation}

Next step would be using this result in BCH formula, but it's rather complicated and readily available resources were useless because they mostly focus only on the first terms in expansion and examples with vanishing commutators after some order, so this is where I've got stuck.

Thanks for reply.

Best Answer

It turns out that a paper that answers this question has been uploaded recently on arXiv. The answer is immediately visible in abstract:

If \begin{equation} [X,Y]=xY-yX \end{equation} then \begin{equation} \ln(e^Xe^Y)=X+Y+ \frac {(ye^{-y}+xe^x)-(x+y)e^{x-y}} {xy(e^x-e^{-y})} (xY-yX) \end{equation} (if I didn't miss some sign while applying the formula from the abstract)

It seems that those kinds of identities are most easily obtained by finding some nice simple matrices with the same commutation relations and the result for a particular matrix representation will also hold generally for anything with the same commutation relations.

Related Question