On commuting operator exponentials

Abstract

Let A A , B B be bounded operators on a Banach space with 2 π i 2\pi i -congruence-free spectra such that e A e B = e B e A e^Ae^B=e^Be^A . E. M. E. Wermuth has shown that A B = B A AB=BA . Ch. Schmoeger later established this result, using inner derivations and, in a second paper, has shown that: for a , b a,b in a complex unital Banach algebra, if the spectrum of a + b a+b is 2 π i 2\pi i -congruence-free and e a e b = e a + b = e b e a e^ae^b=e^{a+b}=e^be^a , then a b = b a ab=ba (and thus, answering an open problem raised by E. M. E. Wermuth). In this paper we use the holomorphic functional calculus to give alternative simple proofs of both of these results. Moreover, we use the Borel functional calculus to give new proofs of recent results of Ch. Schmoeger concerning normal operator exponentials on a complex Hilbert space, under a weaker hypothesis on the spectra.