Развивается каноническая теория необходимых и достаточных условий глобальной оптимальности, которая основана на использовании множеств негладких решений дифференциальных неравенств Гамильтона-Якоби для двух классов функций типа Ляпунова - слабо и сильно монотонных.
