Условия второго порядка и условие Якоби

Мотивация: когда экстремаль является минимумом?

Уравнение Эйлера-Лагранжа — это условие первого порядка, аналог «производная равна нулю». Как и в обычном анализе, критическая точка может быть минимумом, максимумом или седловой точкой. Для определения типа экстремаля нужны условия второго порядка. Это особенно важно в задачах оптимального управления: нужно не просто найти экстремаль, но и убедиться, что она действительно минимизирует функционал, а не является, например, перевалом.

Вторая вариация

Рассмотрим функционал J[y] = ∫F(x, y, y') dx и его второй производную по параметру ε при возмущении y* + εη:

Вторая вариация: δ²J[y*; η] = d²/dε²|_{ε=0} J[y* + εη]

Вычисление (разложение в ряд Тейлора по ε до ε² включительно):

δ²J = ∫[F_{yy} η² + 2F_{yy'} η η' + F_{y'y'} η'²] dx

Используя интегрирование по частям: δ²J = ∫(P η'² + Q η²) dx, где:

• P = F_{y'y'} (вторая производная F по y')
• Q = F_{yy} − d/dx F_{yy'} (комбинированный член)

Необходимое условие для минимума: δ²J[y*; η] ≥ 0 для всех допустимых η.

Условие Лежандра

Условие Лежандра (необходимое): для минимума необходимо P(x) = F_{y'y'}(x, y*(x), y*'(x)) ≥ 0 на всём отрезке [x₀, x₁].

Смысл: F должна быть «выпуклой по y'» вдоль экстремали. Если P(x) < 0 хотя бы в одной точке, экстремаль не является минимумом.

Усиленное условие Лежандра (достаточное): P(x) > 0 строго на всём [x₀, x₁].

Пример: J[y] = ∫(1/2)(y'² − y²) dx (маятник). F = (1/2)(p² − y²). F_{y'y'} = 1 > 0 — условие Лежандра выполнено. Это ещё не достаточно для минимума, нужно проверить условие Якоби.

Уравнение Якоби и сопряжённые точки

Условие Лежандра проверяет знакоопределённость «в каждой точке» отдельно. Условие Якоби — глобальное условие.

Квадратичный функционал: δ²J = ∫(Pη'² + Qη²)dx — это функционал от η. Минимально при каких η?

Уравнение Штурма-Лиувилля для собственных чисел: −(Pu')' + Qu = λu.

Уравнение Якоби (нулевое собственное число): −(Pu')' + Qu = 0

с начальными условиями u(x₀) = 0, u'(x₀) = 1.

Сопряжённая точка x̄ к x₀: ближайший нуль решения уравнения Якоби u(x), то есть ближайший x̄ > x₀, при котором u(x̄) = 0.

Условие Якоби для минимума: сопряжённая точка x̄ не должна лежать в открытом интервале (x₀, x₁). Если x̄ ∈ (x₀, x₁) — экстремаль не является минимумом.

Полный разбор: маятник (задача о сопряжённых точках)

Функционал: J[y] = (1/2)∫₀ᵀ (y'² − y²) dx (малые колебания маятника, y — угол).

F = (1/2)(p² − y²). P = F_{y'y'} = 1, Q = F_{yy} − d/dx F_{yy'} = −1.

Уравнение Якоби: −u'' − u = 0 → u'' + u = 0. Это уравнение гармонического осциллятора!

Решение с u(0) = 0, u'(0) = 1: u(x) = sin(x).

Сопряжённые точки: u(x̄) = sin(x̄) = 0 → x̄ = π, 2π, 3π,...

Вывод: Если T < π, то сопряжённая точка x̄ = π > T — условие Якоби выполнено, экстремаль — минимум. Если T > π — x̄ = π ∈ (0, T) — условие Якоби нарушено, экстремаль НЕ является минимумом.

Физический смысл: при T < π маятник ещё не успел сделать четверть периода — траектория оптимальна. При T > π маятник «перекачнулся» — есть более короткий путь.

Теорема Морса и топологические следствия

Индекс Морса квадратичного функционала δ²J = число «отрицательных направлений», то есть число сопряжённых точек x₀ в (x₀, x₁).

Теорема Морса: связывает критические точки функционала (экстремали) с топологией пространства путей. Число геодезических между двумя точками на компактном многообразии ≥ суммы чисел Бетти многообразия путей. Это даёт нижние оценки на число решений вариационных задач.

Метод Ритца: приближённое решение

Часто уравнение ЭЛ трудно решить аналитически. Метод Ритца (1908): ищем решение в виде:

yₙ(x) = Σₖ₌₁ⁿ aₖ φₖ(x) + φ₀(x)

где φₖ — базисные функции (полиномы, синусы, конечные элементы), φ₀ удовлетворяет граничным условиям.

J[yₙ] = J(a₁,...,aₙ) — функция от n чисел → ∂J/∂aₖ = 0 (система из n уравнений).

Метод конечных элементов (МКЭ) — вариант Ритца с кусочно-линейными базисными функциями. Это основа ANSYS, COMSOL и других систем инженерного анализа. МКЭ сводит бесконечномерную вариационную задачу к конечномерной системе линейных уравнений KU = F.

Условия Вейерштрасса для сильного минимума

Условие Якоби гарантирует слабый минимум — оптимальность среди гладких возмущений. Для сильного минимума (среди всех допустимых функций, включая разрывные производные) нужны более сильные условия. Условие Вейерштрасса требует, чтобы Е-функция Вейерштрасса:

E(x, y, y', q) = F(x, y, q) − F(x, y, y') − (q − y') F_{y'}(x, y, y')

была неотрицательной для всех q (а не только q ≈ y'). Это означает, что отклонение производной даже на конечную величину не уменьшает функционал.

Особые экстремали

В некоторых задачах оптимальная траектория проходит через особые точки (singular arcs), где условие Лежандра вырождается: F_{y'y'} = 0. На таких участках уравнение Эйлера-Лагранжа теряет силу как уравнение второго порядка, и нужны дополнительные условия. Особые экстремали часто встречаются в задачах оптимального управления с ограничениями на управление: на одних участках управление «упирается» в границы (бэнг-бэнг), на других — внутри допустимого множества (особый режим).

Применения

• Управление ракетами: расчёт оптимальной траектории требует проверки всех условий второго порядка для гарантии минимальности
• Аэродинамика: профилирование крыла как минимизация сопротивления — необходимо проверять условие Якоби, чтобы найденный профиль действительно был минимумом, а не седлом
• Финансы: оптимальная стратегия потребления Мертона — экстремаль HJB-уравнения; условия второго порядка гарантируют максимальность полезности
• Робототехника: планирование траектории манипулятора с минимизацией энергии — проверка условий второго порядка в точках сопряжения сегментов