О структуре оптимальной функции Ляпунова — Беллмана

Рассматривается проблема регулярного синтеза [1]. Показывается, что полное ее решение требует или последовательного решения уравнений Беллмана, составленных относительно (текущих) независимых переменных, или решения отвечающей им системы двух уравнений в частных производных первого порядка. Решения последней системы определяют конечные уравнения, выделяющие особые многообразия, а также частные решения, с помощью которых конструируется оптимальная (во всем фазовом пространстве) функция Ляпунова — Беллмана.