К теореме об отображении спектров для однопараметрических групп операторов

Пусть $A$ — генератор сильно непрерывной неквазианалитической однопараметрической группы операторов $U(t)$ ($A$, вообще говоря, неограничен). В этой ситуации доказывается теорема об отображении спектров в следующей форме: $\sigma(U(t))=\overline{\exp(\sigma(A)t)}$. Доказательство основано на теории операторов с отделимым спектром. Библ. – 7 назв.