Введение в теорию вариаций (первый курс)

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

1. Постановка вариационных задач и необходимые понятия

Постановка вариационных задач и необходимые понятия

Зачем нужна теория вариаций

Теория вариаций (вариационное исчисление) изучает задачи, где требуется выбрать функцию, чтобы некоторый критерий был наименьшим или наибольшим. В обычной математике мы оптимизируем число (например, минимум функции по ). В теории вариаций мы оптимизируем функционал (объект, который каждой функции ставит в соответствие число).

Классические источники таких задач:

  • геометрия (кратчайшие пути, минимальные поверхности)
  • механика (принцип наименьшего действия)
  • физика и инженерия (оптимальные профили, формы, траектории)
  • экономика (оптимизация во времени)

    • !Иллюстрация идеи: выбираем не число, а кривую, минимизирующую критерий

    Полезные справочные страницы:

  • Вариационное исчисление
  • Функционал

    • Что такое вариационная задача

    Вариационная задача в самом общем виде выглядит так:

  • дан класс допустимых функций (или кривых)
  • дан функционал , который каждой функции сопоставляет число
  • требуется найти функцию , на которой принимает минимум или максимум (обычно локальный)

    • Важно различать:

  • переменная — здесь это не число, а функция
  • значение критерия — число

    • Функционал: базовый объект

    Чаще всего в первом курсе рассматривают функционалы интегрального вида:

    Расшифровка записи:

  • — искомая функция (например, задаёт кривую)
  • — независимая переменная
  • — производная по (характеризует наклон/скорость изменения)
  • — заданная функция (часто её называют лагранжианом), куда вместо подставляют
  • и — фиксированные границы по
  • — элемент интегрирования

    • Интуиция: описывает локальный вклад в критерий (на каждом маленьком участке), а интеграл суммирует вклад по всему отрезку.

    Как читать квадратные скобки

    Запись означает: взять функционал и подставить в него функцию . Это похоже на , но аргументом является функция.

    Допустимые функции и ограничения

    Функцию нельзя выбирать совсем произвольно: задаётся класс допустимых функций . Обычно ограничения включают:

  • гладкость (например, непрерывна и имеет непрерывную производную)
  • граничные условия (значения на концах отрезка)
  • иногда дополнительные условия (интегральные, неравенства, связи)

    • Типичные граничные условия

  • Фиксированные концы (задача Дирихле):

    • Здесь и — заданные числа (фиксируют точки на концах).

  • Свободный конец или условие на производную — такие случаи приводят к дополнительным условиям на оптимальную функцию (их часто называют естественными граничными условиями). В этом курсе мы подойдём к ним после вывода основных уравнений.

    • Пример задания множества

    Можно задать допустимые функции так:

    Пояснение:

  • — множество функций, которые на непрерывны вместе с первой производной
  • вертикальная черта читается как таких, что

    • Смысл: ищем среди достаточно гладких функций, проходящих через заданные точки.

    В чём отличие от обычной оптимизации

    В обычной оптимизации мы исследуем, как меняется при малом изменении числа .

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

  • что значит малое изменение функции
  • что значит минимум/максимум среди функций

    • Норма и “близость” функций

    Чтобы говорить про локальный минимум, нужно уметь сравнивать функции: какие “ближе”, какие “дальше”. Для этого выбирают норму .

    Пример простой нормы (супремум-норма) для непрерывных функций:

    Пояснение:

  • — модуль значения функции
  • по — максимальное значение на отрезке

    • Тогда “ мало отличается от ” означает: мало.

    Справка:

  • Норма (математика))

    • Вариация и семейство возмущённых функций

    Ключевой приём: взять кандидат и сравнивать его с близкими функциями вида

    Здесь:

  • — вариация (или допустимое возмущение)
  • — малый параметр (число), показывающий “силу” возмущения

    • Какие возмущения считаются допустимыми

    Если концы фиксированы (, ), то возмущение должно сохранять эти значения. Для этого обычно требуют:

    Тогда у возмущённой функции автоматически остаются те же граничные значения, потому что добавка на концах равна нулю.

    Локальный минимум и максимум функционала

    Пусть задана норма .

    Функция даёт локальный минимум функционала на множестве , если существует число такое, что для всех допустимых , удовлетворяющих , выполнено

    Пояснение:

  • — радиус “окрестности” вокруг в смысле выбранной нормы
  • неравенство означает: среди достаточно близких допустимых функций значение не меньше

    • Аналогично определяется локальный максимум (неравенство меняется на ).

    Первая вариация: аналог производной

    Чтобы вывести условия оптимальности, вводят идею первой вариации — это аналог производной в бесконечномерной задаче.

    Берём семейство и рассматриваем функцию одной переменной:

    Если даёт экстремум, то обычно выполняется условие стационарности по параметру при :

    Пояснение каждого элемента:

  • — производная по числу (обычная производная)
  • вертикальная черта означает: подставить после дифференцирования
  • равенство нулю означает: малое “движение” от в направлении не даёт изменения в первом приближении

    • Эта величина и называется первой вариацией (часто обозначают ). В следующей теме курса на основе этого условия будет получено уравнение Эйлера—Лагранжа.

    Справка:

  • Уравнение Эйлера — Лагранжа

    • Типовая структура вариационной задачи первого курса

    Ниже — “шаблон”, который будет регулярно встречаться.

    | Элемент постановки | Как обычно выглядит | Что означает | |---|---|---| | Неизвестное | | функция, которую нужно подобрать | | Область по | | отрезок, где рассматривается функция | | Функционал | | число, которое нужно минимизировать/максимизировать | | Граничные условия | , | фиксируют допустимые функции | | Вариация | | допустимое возмущение при фиксированных концах |

    Примеры формулировок (без вывода решения)

    Кратчайшая кривая между двумя точками в плоскости

  • неизвестная: кривая , соединяющая и
  • критерий: длина дуги (её можно записать как интеграл)
  • результат (интуитивно): прямая линия

    • Принцип наименьшего действия в механике

  • неизвестная: траектория во времени
  • критерий: интеграл от лагранжиана по времени
  • результат: уравнения движения (уравнения Эйлера—Лагранжа в механике)

    • Что важно запомнить из этой темы

  • Вариационная задача оптимизирует функционал , а не обычную функцию.
  • Нужно чётко фиксировать класс допустимых функций : гладкость и ограничения.
  • Локальность (минимум “среди близких функций”) задаётся через норму и окрестность.
  • Основной инструмент — сравнение с и условие стационарности при .

    • В следующей статье мы научимся вычислять первую вариацию для интегральных функционалов и получим основное необходимое условие экстремума — уравнение Эйлера—Лагранжа.

    2. Вариации и уравнение Эйлера—Лагранжа

    Вариации и уравнение Эйлера—Лагранжа

    Как эта тема связана с предыдущей

    В предыдущей статье мы:

  • ввели функционал и класс допустимых функций
  • договорились, что «малое изменение функции» задаётся семейством
  • сформулировали условие стационарности:

    • Теперь сделаем следующий шаг: научимся вычислять эту производную (первую вариацию) для важнейшего класса функционалов и получим основное необходимое условие экстремума — уравнение Эйлера—Лагранжа.

    !Идея вариации: сравнение функции с близкими, но с теми же граничными значениями

    Типовая задача, которую мы решаем

    Рассматриваем функционал интегрального вида

    Здесь:

  • — независимая переменная на отрезке
  • — искомая функция
  • — производная по
  • — заданная функция трёх аргументов (часто говорят лагранжиан)
  • — элемент интегрирования

    • Чаще всего в первом курсе рассматривают фиксированные концы:

    Тогда допустимые вариации (возмущения) должны сохранять эти значения, то есть

    Первая вариация как производная по параметру

    Берём семейство возмущённых функций

    и рассматриваем обычную функцию одной переменной

    Если даёт экстремум (минимум или максимум) среди допустимых функций, то для любой допустимой должно выполняться условие стационарности:

    Эту величину принято называть первой вариацией и обозначать как .

    Вычисление первой вариации для интегрального функционала

    Подставим в функционал:

    Здесь:

  • — производная вариации по
  • появляется потому, что производная линейна:

    • Чтобы найти , дифференцируем подынтегральную функцию по и затем подставляем . Для этого используются частные производные функции :

  • — как меняется , если менять второй аргумент , фиксируя остальные
  • — как меняется , если менять третий аргумент , фиксируя остальные

    • В результате получаем формулу первой вариации:

    Пояснение к каждому слагаемому под интегралом:

  • и вычисляются в точке
  • множители и показывают, что изменение в первом приближении линейно зависит от формы возмущения

    • Интегрирование по частям и исчезновение производной у вариации

    Формула выше содержит , а нам удобно получить выражение только через (без производной). Для этого применяем интегрирование по частям к слагаемому

    Правило интегрирования по частям (см. Интегрирование по частям) даёт:

    Разберём элементы этой формулы:

  • означает «значение при минус значение при »
  • — обычная производная по (с учётом того, что внутри стоит функция от , и )

    • При фиксированных концах мы требуем и , поэтому граничный член исчезает:

    Тогда первая вариация принимает вид

    Фундаментальная лемма и вывод уравнения Эйлера—Лагранжа

    Мы пришли к факту: если — экстремаль, то для любой допустимой вариации (гладкой и с нулём на концах) должно выполняться

    где

    Здесь используется ключевой результат, известный как фундаментальная лемма вариационного исчисления: если интеграл равен нулю для всех гладких функций с , то обязательно на . См. Fundamental lemma of the calculus of variations.

    Следовательно, необходимое условие экстремума:

    Это и есть уравнение Эйлера—Лагранжа (см. Уравнение Эйлера — Лагранжа).

    Важно понимать смысл каждого символа:

  • — частная производная по аргументу , затем подстановка и
  • — частная производная по аргументу , затем подстановка и
  • — производная по получившейся функции

    • Алгоритм применения уравнения Эйлера—Лагранжа

    Ниже — практический шаблон, который будет повторяться в задачах.

    | Шаг | Что сделать | Что получится | |---|---|---| | Выбрать | Выписать подынтегральную функцию | Конкретный лагранжиан | | Найти частные производные | Посчитать и | Две формулы | | Взять производную по | Посчитать | Ещё одна формула | | Записать Эйлера—Лагранжа | Приравнять к нулю | Дифференциальное уравнение для | | Учесть граничные условия | Использовать , | Конкретное решение |

    Пример: минимизация «энергии» кривой

    Рассмотрим функционал

    при условиях

    Здесь лагранжиан

    Теперь по шагам:

  • Частная производная по равна нулю, потому что не зависит от :

  • Частная производная по :

  • Производная по :

  • Уравнение Эйлера—Лагранжа:

  • Решение имеет вид . Из условий получаем , а из получаем . Значит,

    • Смысл результата: среди всех кривых, соединяющих точки и , минимизирует линейная функция (прямая).

    Что меняется, если концы не фиксированы (идея естественных граничных условий)

    В этом уроке мы строго использовали , чтобы граничный член

    исчез.

    Если же, например, значение не фиксировано, то требование уже нельзя навязать для всех вариаций. Тогда из условия стационарности появляется дополнительное граничное условие (его часто называют естественным). На концептуальном уровне это означает:

  • уравнение Эйлера—Лагранжа отвечает за поведение на промежутке
  • граничные условия (заданные или естественные) отвечают за поведение на концах

    • К таким случаям мы вернёмся, когда будем системно разбирать задачи со свободными границами.

    Что важно запомнить

  • Первая вариация для равна .
  • Интегрирование по частям переносит производную с на .
  • При фиксированных концах () граничный член исчезает.
  • Из фундаментальной леммы следует уравнение Эйлера—Лагранжа:

    • Дальше в курсе на базе этого уравнения обычно изучают типовые упрощения (когда не зависит от или от ), первые интегралы и задачи с ограничениями.

    3. Граничные условия и условия трансверсальности

    Граничные условия и условия трансверсальности

    Как эта тема продолжает уравнение Эйлера—Лагранжа

    В предыдущей статье мы вывели уравнение Эйлера—Лагранжа для функционала

    Здесь:

  • — искомая функция
  • — производная по
  • — заданная функция (лагранжиан)
  • и — границы интегрирования

    • Ключевой момент в выводе был такой: после интегрирования по частям появляется граничный член. Раньше он исчезал из-за фиксированных концов, но если концы свободны (полностью или частично), то этот член уже нельзя просто отбросить. Тогда из условия экстремума возникают дополнительные требования на концах — естественные граничные условия и, в более геометричных задачах, условия трансверсальности.

    !Геометрический смысл трансверсальности: как свобода движения конца по границе рождает дополнительное условие

    Откуда берутся граничные условия в вариационном исчислении

    Рассмотрим возмущение

    где:

  • — малое число
  • — вариация (допустимое возмущение)

    • Первая вариация для интегрального функционала имеет вид

    Здесь:

  • — частная производная по аргументу
  • — частная производная по аргументу
  • — производная вариации

    • Интегрируя по частям слагаемое с , получаем

    Обозначение означает “значение при минус значение при ”.

    Тогда

    Если — экстремаль, то для всех допустимых . Это распадается на две части:

  • условие внутри отрезка даёт уравнение Эйлера—Лагранжа
  • граничный член даёт условия на концах, зависящие от того, что именно “разрешено” на границе

    • Ссылки для справки:

  • Уравнение Эйлера — Лагранжа
  • Интегрирование по частям

    • Фиксированные концы: почему всё было просто

    Если заданы условия

    то вариации обязаны удовлетворять

    Тогда граничный член

    равен нулю автоматически, и остаётся только уравнение Эйлера—Лагранжа:

    Свободное значение функции на конце: естественное граничное условие

    Теперь допустим, что левый конец фиксирован, а правый — по значению функции свободен:

    Тогда:

  • мы всё ещё считаем фиксированным
  • вариации должны удовлетворять
  • но уже не обязана быть нулём

    • Условие стационарности требует, чтобы граничный член на правом конце не давал вклада при произвольном . Граничный член равен

    Так как , остаётся

    Поскольку можно выбирать произвольно, необходимо

    Это и есть естественное граничное условие на правом конце при свободном .

    Аналогично, если свободен , то получится

    Сводная таблица: фиксированное или свободное значение на конце

    | Что задано на конце | Что можно сказать про вариацию | Какое условие возникает | |---|---|---| | фиксировано | | Никакого нового условия (граничный член исчезает) | | свободно | произвольно | |

    Подвижный конец по оси x: почему появляются условия трансверсальности

    Иногда конечная точка по тоже не фиксирована. То есть мы не задаём заранее: правая граница может сдвигаться.

    Чтобы описать это корректно, нужно учитывать, что меняется не только функция , но и сама конечная точка

    Её малое изменение удобно описывать как пару чисел:

  • — малое смещение конца по оси
  • — малое смещение конца по оси

    • На правом конце возникает общий граничный вклад вида

    Здесь:

  • берётся в точке и затем подставляется
  • — это , затем также подстановка
  • и описывают допустимое движение конечной точки

    • Важно: это выражение — не “ещё одно уравнение Эйлера—Лагранжа”. Это условие на границе, которое зависит от того, какие движения конца разрешены.

    Для справки по термину:

  • Transversality condition

    • Частные случаи трансверсальности

    Полностью свободный правый конец

    Если правый конец полностью свободен, то и можно менять независимо. Тогда единственный способ, чтобы

    выполнялось при любых и , — это занулить оба коэффициента:

    Так как первое равенство даёт , второе упрощается до

    Итого, при полностью свободном правом конце обычно получают две границы: - -

    Правый конец движется по заданной кривой

    Пусть правый конец обязан лежать на кривой

    где — заранее заданная функция.

    Тогда допустимые малые смещения конца не произвольны: они должны оставаться на этой кривой. Значит, при малом смещении вдоль кривой выполняется

    Здесь — производная по , взятая при .

    Подставим это в граничное условие трансверсальности:

    Получаем

    Так как движение вдоль кривой обычно допускает произвольный малый , остаётся условие

    Его часто переписывают так:

    Смысл записи:

  • — значение лагранжиана в конечной точке экстремали
  • — наклон экстремали на конце
  • — наклон заданной граничной кривой
  • связывает “цену” изменения производной с геометрией конца

    • Это и есть условие трансверсальности для конца, движущегося по заданной кривой.

    Как применять на практике: рабочий алгоритм

    Когда в задаче встречаются свободные концы, удобно действовать так.

  • Выписать функционал и определить, что фиксировано, а что свободно на концах: значение , положение по , принадлежность границе .
  • Внутри отрезка всегда записать уравнение Эйлера—Лагранжа:
  • На каждом конце отдельно проверить граничный вклад:
    • - если фиксировано, то и соответствующая часть пропадает - если свободно при фиксированном , то добавить условие - если конец подвижен по , то использовать трансверсальность
  • Решить получившуюся систему: дифференциальное уравнение плюс граничные условия.

    • Что важно запомнить

  • Уравнение Эйлера—Лагранжа описывает экстремаль внутри интервала, а поведение на концах задают граничные условия.
  • Если значение на конце не фиксировано (при фиксированном ), возникает естественное граничное условие .
  • Если конечная точка может двигаться (например, по заданной кривой), из граничного члена получается условие трансверсальности, связывающее , и допустимое направление движения конца.

    • 4. Задачи с ограничениями и множители Лагранжа

    Задачи с ограничениями и множители Лагранжа

    Зачем нужны ограничения в вариационных задачах

    В предыдущих темах мы искали экстремаль функционала вида

    при заданных граничных условиях (фиксированных или со свободными концами), и получали уравнение Эйлера—Лагранжа.

    На практике часто бывает, что допустимые функции дополнительно должны удовлетворять некоторому условию, например:

  • задано значение ещё одного интеграла (ресурс, масса, среднее значение);
  • движение должно удовлетворять связи (в механике: траектория не может выходить с поверхности);
  • требуется оптимизировать форму, но при фиксированной площади, объёме, длине.

    • Такие постановки называются задачами с ограничениями. Основной инструмент первого курса для них — метод множителей Лагранжа.

    Полезные справочные страницы:

  • Метод множителей Лагранжа
  • Изопериметрическая задача

    • !Геометрическая идея: экстремум ищется не среди всех функций, а среди тех, что удовлетворяют ограничению

    Как выглядят вариационные ограничения

    Чаще всего в первом курсе встречаются два типа.

    Интегральное ограничение (изопериметрический тип)

    Задаётся дополнительный функционал

    и требуется, чтобы

    Пояснение символов:

  • — заданная функция (как и лагранжиан );
  • — заданное число (фиксированное значение ресурса/нормы/площади и т.п.);
  • требование означает, что мы ищем экстремум не среди всех , а только среди тех, для которых интеграл равен .

    • Точечная (локальная) связь

    Ограничение может быть задано в каждой точке , например

    Пояснение:

  • — заданная функция;
  • это уже не «один интеграл равен числу», а «в каждой точке выполняется связь».

    • Для такого типа ограничения множитель Лагранжа обычно становится функцией от .

    Идея множителя Лагранжа в вариационном исчислении

    В обычной оптимизации по числам метод множителей Лагранжа говорит: если мы минимизируем при условии , то на оптимуме градиент связан с градиентом .

    В вариационном исчислении идея аналогична:

  • есть основной функционал ;
  • есть ограничение (функциональное или точечное);
  • вместо «градиента» работает условие стационарности первой вариации.

    • Главный практический результат: задачу с ограничением можно свести к задаче без ограничения, но для изменённого лагранжиана.

    Один интегральный ограничитель: постоянный множитель

    Рассмотрим постановку:

  • минимизировать (или максимизировать)
  • при условии
  • и при заданных граничных условиях (например, фиксированные концы , ).

    • Правило Лагранжа для изопериметрической задачи

    Если даёт экстремум среди функций, удовлетворяющих , то существует число (его и называют     множителем Лагранжа), такое что является экстремалью функционала

    где

    Пояснение, что означает каждое обозначение:

  • — одно число, одинаковое для всех ;
  • — «новый лагранжиан» (исходный плюс ограничение с весом );
  • экстремаль для должна удовлетворять уравнению Эйлера—Лагранжа, но уже для .

    • Итого алгоритм:

  • Составить .
  • Записать уравнение Эйлера—Лагранжа для :
    • Здесь: - — частная производная по аргументу ; - — частная производная по аргументу ; - — производная по от получившегося выражения.
  • Решить это дифференциальное уравнение с граничными условиями.
  • Найти из условия ограничения .

    • Важно: в отличие от задач без ограничений, здесь «константа» появляется как дополнительный неизвестный параметр, который определяется из ограничения.

    Пример с интегральным ограничением

    Рассмотрим задачу:

  • минимизировать
  • при граничных условиях
  • и при ограничении на «площадь под графиком»:

    • Здесь:

  • лагранжиан ;
  • функция ограничения ;
  • число .

    • Шаг 1. Строим новый лагранжиан

    Пояснение: мы добавили к исходному лагранжиану вклад ограничения, умноженный на неизвестный коэффициент .

    Шаг 2. Пишем Эйлера—Лагранжа для

    Найдём нужные производные:

  • , потому что не зависит от , а производная по равна ;
  • , потому что производная по равна .

    • Тогда

    Так как , получаем

    Пояснение: — вторая производная по .

    Шаг 3. Решаем уравнение с граничными условиями

    Из следует

    Интегрируя по дважды, получаем общий вид решения:

    Используем граничные условия:

  • из следует ;
  • из следует , то есть .

    • Значит

    Шаг 4. Находим из ограничения

    Подставляем в условие

    Считаем интеграл:

    Тогда

    И окончательно экстремаль:

    Что важно заметить по смыслу:

  • без ограничения минимум у при достигается на ;
  • ограничение запрещает и «вынуждает» функцию подняться;
  • оптимальная форма оказалась параболой.

    • Несколько интегральных ограничений

    Если ограничений несколько, например

    то добавляют несколько множителей:

    Здесь:

  • и — числа (постоянные множители);
  • затем решают задачу Эйлера—Лагранжа для ;
  • после этого определяют из двух условий ограничений.

    • Точечные связи: множитель как функция

    Теперь рассмотрим ограничение, которое должно выполняться при каждом :

    В этом случае коэффициент «штрафа» обычно зависит от , потому что связь действует локально на всём отрезке. Вводят функцию-множитель и рассматривают лагранжиан

    Пояснение:

  • — неизвестная функция (а не число);
  • решения ищутся из системы:
    • 1. уравнение Эйлера—Лагранжа для по ; 2. само ограничение .

    На практике это даёт систему уравнений для двух неизвестных функций: и .

    Как ограничения сочетаются со свободными концами

    Идеи из темы про граничные условия сохраняются:

  • внутри интервала экстремаль всё так же удовлетворяет уравнению Эйлера—Лагранжа, но для изменённого лагранжиана ;
  • на концах могут возникать естественные граничные условия и условия трансверсальности, и их тоже нужно применять к .

    • То есть, если на свободном конце раньше появлялось условие вида , то в задаче с ограничением оно превращается в

    Пояснение: меняется только то, что вместо исходного лагранжиана используется «расширенный» лагранжиан.

    Типовой алгоритм решения задач с ограничениями

    Ниже — рабочая схема, которая покрывает большинство задач первого курса.

  • Выписать функционал и все граничные условия.
  • Выписать ограничения:
    • - если это интегральные ограничения, записать их в виде ; - если это точечные связи, записать .
  • Составить расширенный лагранжиан:
    • - для интегральных ограничений; - для точечных связей.
  • Записать уравнение Эйлера—Лагранжа для и добавить ограничения.
  • Решить получившуюся систему, используя граничные условия.
  • Найти множители ( или ) из ограничений и/или граничных условий.

    • Что важно запомнить

  • Ограничения в вариационных задачах задают, среди каких функций можно искать экстремум.
  • При одном интегральном ограничении появляется постоянный множитель , и экстремаль удовлетворяет Эйлера—Лагранжа для .
  • При точечной связи множитель обычно становится функцией .
  • Граничные условия и трансверсальность применяются к расширенному лагранжиану так же, как в задачах без ограничений.

    • 5. Классические примеры и приложения

    Классические примеры и приложения

    Зачем нужны классические примеры

    В предыдущих статьях курса мы построили основной инструментарий вариационного исчисления:

  • постановка задачи через функционал и допустимые вариации ;
  • вычисление первой вариации и вывод уравнения Эйлера—Лагранжа;
  • понимание роли граничных членов: фиксированные концы, естественные граничные условия и условия трансверсальности;
  • метод множителей Лагранжа для ограничений.

    • Теперь соберём всё это в наборе задач, которые исторически и прикладно считаются визитной карточкой теории вариаций. Цель этой статьи — научиться узнавать тип задачи, быстро составлять лагранжиан (или расширенный лагранжиан ) и понимать, какие уравнения и условия нужно выписывать.

    Карта соответствий: «сюжет задачи» → «математический инструмент»

    | Сюжет | Что минимизируем | Типичный вид функционала | Главный инструмент | |---|---|---|---| | Кратчайший путь | длину дуги | | Эйлер—Лагранж, часто есть первый интеграл | | Цепная линия (цепь) | потенциальную энергию при фиксированной длине | при ограничении | множитель Лагранжа + Эйлер—Лагранж | | Брахистохрона | время спуска | | Эйлер—Лагранж + первый интеграл | | Луч света / принцип Ферма | время прохождения | | первый интеграл, закон Снеллиуса | | Свободный конец | критерий + свобода в конце | как обычно, но не обязано быть | естественные граничные условия |

    Здесь — элемент длины дуги (он будет определён ниже), — скорость, — показатель преломления.

    !Четыре классических сюжета, которые приводят к вариационным задачам

    Пример: кратчайшая кривая между двумя точками

    Как устроена постановка

    Пусть нужно соединить точки и графиком функции и сделать путь самым коротким.

    Длина кривой на отрезке выражается через элемент длины дуги

    Здесь:

  • — малое изменение по оси ,
  • — малое изменение по оси .

    • Так как , то

    В этой формуле:

  • — производная по (наклон касательной),
  • выражение — локальный коэффициент растяжения длины.

    • Значит функционал длины

    Здесь лагранжиан

    Он зависит от и не зависит от .

    Что даёт уравнение Эйлера—Лагранжа

    Уравнение Эйлера—Лагранжа:

    Так как не зависит от , то , и остаётся

    Смысл этого равенства: величина должна быть постоянной по .

    Вычислим производную:

    Если эта дробь постоянна, то постоянен и , а значит — линейная функция. Геометрически это означает: кратчайший путь между двумя точками — прямая.

    Что важно вынести

  • Первый шаг почти всегда один и тот же: записать функционал, выделив .
  • Если не зависит от , уравнение Эйлера—Лагранжа упрощается.
  • Решение получается простым: экстремаль — прямая.

    • Пример: естественные граничные условия на простом функционале

    Рассмотрим функционал

    Здесь:

  • — скорость изменения функции,
  • — «штраф» за большой наклон,
  • интеграл суммирует штраф на всём отрезке.

    • Пусть условие слева фиксировано: , а справа значение свободно: не задано.

    Тогда:

  • внутри отрезка действует Эйлер—Лагранж;
  • на правом конце возникает естественное граничное условие.

    • Здесь , поэтому

    Эйлер—Лагранж даёт , то есть .

    Естественное граничное условие при свободном (и фиксированном ) имеет вид

    Подставляя , получаем . Для линейной функции это означает . С учётом получаем .

    Смысл: если правый конец по высоте свободен, то минимизация «энергии наклона» выпрямляет график до горизонтали.

    Пример: цепная линия (катенария) как задача с ограничением

    Физический сюжет

    Однородная цепь висит под действием тяжести, концы закреплены. Реальная форма минимизирует потенциальную энергию при условии, что длина цепи фиксирована.

    Как записать функционалы

    Пусть — вертикальная координата (например, вверх), тогда потенциальная энергия пропорциональна высоте. Малый кусочек цепи имеет длину , значит вклад энергии пропорционален .

    Элемент дуги:

    Тогда (с точностью до постоянного коэффициента) функционал энергии:

    Ограничение фиксированной длины цепи:

    Здесь:

  • — заданная длина,
  • подынтегральное выражение — та же локальная длина на единицу .

    • Множитель Лагранжа

    Вводим постоянный множитель и расширенный лагранжиан

    Смысл : он подбирается так, чтобы итоговая экстремаль удовлетворяла ограничению длины .

    Далее нужно:

  • Решить уравнение Эйлера—Лагранжа для .
  • Подобрать параметры (включая ) из граничных условий и из условия .

    • Как выглядит ответ

    После решения получается катенария:

    Здесь:

  • — гиперболический косинус,
  • параметры определяются из закрепления концов и длины.

    • Главный практический вывод: задача «минимум энергии при фиксированной длине» — это типовая изопериметрическая задача, которая решается через добавку к лагранжиану.

    Пример: брахистохрона (кривая наискорейшего спуска)

    Сюжет

    Нужно провести кривую между двумя точками так, чтобы материальная точка без трения (под действием тяжести) дошла из первой точки во вторую за минимальное время.

    Как получается функционал времени

    Время движения можно записать как

    где:

  • — элемент длины дуги траектории,
  • — скорость.

    • Для графика элемент дуги:

    Если отсчитывать вниз от стартовой высоты, то при падении в поле тяжести скорость выражается (из закона сохранения энергии) как

    Здесь:

  • — ускорение свободного падения,
  • — вертикальный «провал» вниз (поэтому важно, что на участке движения).

    • Тогда функционал времени:

    Постоянный множитель на минимум не влияет, и часто рассматривают эквивалентный лагранжиан

    Как выглядит решение

    Итоговая кривая — циклоида. Её удобно задавать параметрически:

    Здесь:

  • — параметр,
  • — масштаб (радиус порождающей окружности),
  • задают сдвиг.

    • Практический смысл: кратчайшая по времени траектория не совпадает с прямой и не совпадает с дугой окружности; оптимум достигается на циклоиде.

    Пример: принцип Ферма и закон Снеллиуса как вариационная задача

    Сюжет

    Свет в геометрической оптике выбирает путь, минимизирующий время прохождения. Если среда неоднородна, скорость зависит от положения.

    Обычно время (с точностью до константы) записывают через показатель преломления :

    Здесь:

  • — показатель преломления как функция координаты (например, слоистая среда),
  • .

    • Значит лагранжиан

    К чему приводит минимизация

    Важный факт: не зависит от явно. Во многих задачах это означает наличие сохраняющейся величины (первого интеграла), и в итоге получается аналог закона Снеллиуса:

  • если — угол луча с осью , то ;
  • тогда .

    • Из уравнений вариационного исчисления следует, что величина

    остаётся постоянной вдоль луча. Это и есть форма закона преломления для плавно меняющегося : луч изгибается так, чтобы сохранять эту комбинацию.

    Смысловой вывод: многие «законы» (как в механике, так и в оптике) можно понимать как следствия минимизации подходящего функционала.

    Как узнавать типовые задачи на практике

  • Если сказано кратчайший или минимальная длина, почти всегда появляется .
  • Если сказано минимальное время и скорость известна как функция координат, обычно берут .
  • Если сказано фиксирована длина/площадь/масса, ждите ограничение вида и множитель Лагранжа.
  • Если один из концов свободен, проверьте граничный член и добавьте естественное условие (например, ).

    • Куда ведут эти примеры дальше

    Классические сюжеты важны не только исторически. Они являются шаблонами для современных приложений:

  • в механике и робототехнике функционалы действия приводят к уравнениям движения (вариационная формулировка динамики, см. Принцип наименьшего действия);
  • в оптике минимизация времени даёт законы распространения лучей (см. Принцип Ферма);
  • в геометрии и анализе вариационные принципы формируют язык для задач про геодезические и минимальные поверхности (см. Вариационное исчисление).

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