Об аппроксимации квантовых операторных функций с помощью теоремы Чернова

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