Аннотация:
В докладе будет изложено доказательство обращения теоремы Чернова по статье А.Ю. Неклюдова. Классическая теорема Чернова утверждает, что при определенных условиях на операторнозначную функцию $F(t)$ последовательность операторов $F(t/n)^n$ аппроксимирует $С_0$-полугруппу в сильной операторной топологии. При этом обычно предполагается, что данная полугруппа существует, либо приходится проверять плотность подпространства $(\lambda-L)D(L)$, $L=F’(0)$. В обращении теоремы Чернова изящно обходятся эти предположения, выводя из сходимости подпоследовательностей итераций Чернова существование предельной $С_0$-полугруппы, генератор которой расширяет производную $F’(0)$. Также приводятся следствия из этого результата.
