Регулярная экстремаль
Регуля́рная экстрема́ль (неособенная экстремаль), экстремаль , во всех точках которой выполняется условие
где – подынтегральная функция, входящая в минимизируемый функционал
Как всякая экстремаль, регулярная экстремаль есть, по определению, гладкое решение уравнения Эйлера
Точки экстремали, в которых выполнено условие (1), называются регулярными точками. Доказано, что в каждой регулярной точке экстремаль имеет непрерывную 2-ю производную . На регулярной экстремали 2-я производная непрерывна. Для регулярной экстремали уравнение Эйлера
можно записать в виде, разрешённом относительно старшей производной
Свойство регулярности (1) непосредственно связано с необходимым условием Лежандра (в усиленной форме), согласно которому во всех точках экстремали должно выполняться неравенство
Регулярность существенно используется при доказательстве возможности включения экстремали в окружающее её поле экстремалей. Если хотя бы в одной точке условие (1) нарушается, то экстремаль не всегда может быть включена в поле. Условие включения экстремали в поле является одним из достаточных условий экстремума.
Приведённое определение регулярной экстремали дано для простейшей задачи вариационного исчисления, в которой рассматривается функционал, зависящий от одной неизвестной функции. Для функционалов, зависящих от неизвестных функций
регулярной экстремалью называется такая экстремаль, во всех точках которой определитель -го порядка
Для более общих задач вариационного исчисления на условный экстремум (см. в статье Задача Больца) регулярная экстремаль определяется аналогично: только вместо в (2) следует подставить функцию Лагранжа .
Экстремаль, у которой на некотором участке условие регулярности [(1) или (2)] нарушается во всех точках, называется особой экстремалью, а указанный участок называется участком особого режима. Для особых режимов выведены необходимые условия, дополняющие известные классические необходимые условия экстремума (см. в статье Особый оптимальный режим).