Аннотация:
Рассматривается итерационная процедура, использующая обобщение формулы Троттера в
форме теоремы Чернова, ставящая в соответствие определенному классу
операторнозначных функций полугруппу. Эта процедура позволяет построить
последовательность конечнократных аппроксимаций решения задачи Коши, в частности,
для уравнения Шредингера, сходящуюся к полугруппе, представляющей точное решение.
Вводится понятие эквивалентности по Чернову, с помощью которого проводится
усреднение полугрупп. В качестве примера рассматривается построение равновесной
матрицы плотности и функции Вигнера для произвольного линейного квантования
гамильтоновых динамических систем.
