English

On normal operator logarithms

Functional Analysis 2013-01-07 v1

Abstract

Let X,YX,Y be normal bounded operators on a Hilbert space such that eX=eYe^X=e^Y. If the spectra of XX and YY are contained in the strip \s\s of the complex plane defined by (z)π|\Im(z)|\leq \pi, we show that X=Y|X|=|Y|. If YY is only assumed to be bounded, then XY=YX|X|Y=Y|X|. We give a formula for XYX-Y in terms of spectral projections of XX and YY provided that X,YX,Y are normal and eX=eYe^X=e^Y. If XX is an unbounded self-adjoint operator, which does not have (2k+1)π(2k+1) \pi, k\ZZk \in \ZZ, as eigenvalues, and YY is normal with spectrum in \s\s satisfying eiX=eYe^{iX}=e^Y, then Y{eiX}"Y \in \{\, e^{iX} \, \}". We give alternative proofs and generalizations of results on normal operator exponentials proved by Ch. Schmoeger.

Keywords

Cite

@article{arxiv.1301.0797,
  title  = {On normal operator logarithms},
  author = {Eduardo Chiumiento},
  journal= {arXiv preprint arXiv:1301.0797},
  year   = {2013}
}
R2 v1 2026-06-21T23:04:07.690Z