Необходимое и достаточное условие возвратности марковских систем в терминах функций Ляпунова

Доказывается факт существования вспомогательной функции для возвратной, однородной по времени цепи Маркова со счетным числом состояний. Эта функция находится как математическое ожидание определенной функции от траектории процесса.