0
$\begingroup$

I have to prove the formula: $$e^{a\partial/ \partial\lambda +b \partial / \partial\mu}=e^{a\partial/ \partial\lambda}e^{b\partial/ \partial\mu}$$ if $\partial/ \partial\lambda$ and $\partial/ \partial\mu$ commute This is I think is a result of the Baker-Campbell-Hausdorff formula. But how can I prove this? I thought of doing this with the taylor expansion of the exponential. I worked it out till second order, but isn't there a more elegant way? Is it possible to do this by using the binomial coefficient? The problem when using that is that the operators don't commute in general and the order matters.

$\endgroup$

1 Answer 1

1
$\begingroup$

BCH is overkill here. Since $\partial_\lambda$ commutes with $\partial_\mu$, any arbitrary product of $\partial_\lambda$s and $\partial_\mu$s can be rearranged to place the former on the left, and$$\begin{align}e^{a\partial_\lambda+b\partial_\mu}&=\sum_{n\ge0}\frac{1}{n!}(a\partial_\lambda+b\partial_\mu)^n\\&=\sum_n\frac{1}{n!}\sum_{k=0}^n\binom{n}{k}(a\partial_\lambda)^k(b\partial_\mu)^{n-l}\\&=\sum_{k,\,\ell\ge0}\frac{(a\partial_\lambda)^k(b\partial_\mu)^\ell}{k!\ell!}\\&=\sum_k\frac{(a\partial_\lambda)^k}{k!}\sum_\ell\frac{(b\partial_\mu)^\ell}{\ell!}\\&=e^{a\partial_\lambda}e^{b\partial_\mu}.\end{align}$$

$\endgroup$
3
  • $\begingroup$ You showed that if the partial derivatives commute then so does the commutator of the exponentiations, but how can I use this to show the first equation I wrote in my question? $\endgroup$
    – eeqesri
    Commented Oct 17, 2021 at 11:44
  • $\begingroup$ @eeqesri See edit. $\endgroup$
    – J.G.
    Commented Oct 17, 2021 at 12:47
  • $\begingroup$ of course that makes total sense. I should have been able to do that myself. $\endgroup$
    – eeqesri
    Commented Oct 17, 2021 at 12:57

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.