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

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

¶История

¶Развитие вариационного исчисления

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

¶Вклад Эйлера

Леонард Эйлер в 1744 году опубликовал работу «Метод нахождения кривых, обладающих свойствами максимума или минимума» (лат. Methodus inveniendi lineas curvas maximi minimive proprietate gaudentes), где систематически изложил основы вариационного исчисления. Он вывел уравнение, которое теперь носит его имя, используя метод конечных разностей и предельного перехода. Эйлер рассматривал функционалы вида \( J[y] = \int_{x_1}^{x_2} F(x, y, y') \, dx \) и показал, что для экстремума необходимо выполнение условия \( \frac{\partial F}{\partial y} - \frac{d}{dx}\left(\frac{\partial F}{\partial y'}\right) = 0 \).

¶Вклад Лагранжа

Жозеф-Луи Лагранж в 1755 году, в возрасте 19 лет, в письме к Эйлеру предложил более элегантный и общий метод вывода уравнения, основанный на вариационном принципе. Он ввёл понятие вариации функции \( \delta y \) и рассмотрел изменение функционала при малых возмущениях. Этот метод, известный как метод вариаций, позволил Лагранжу сформулировать уравнение в его современной форме. Эйлер высоко оценил работу Лагранжа и способствовал её публикации. Впоследствии уравнение стало называться уравнением Эйлера — Лагранжа.

¶Математическая формулировка

¶Основная форма

Рассмотрим функционал \( J[y] \), определённый на множестве функций \( y(x) \), имеющих непрерывные производные на отрезке \( [x_1, x_2] \) и удовлетворяющих граничным условиям \( y(x_1) = y_1 \), \( y(x_2) = y_2 \). Функционал имеет вид: \[ J[y] = \int_{x_1}^{x_2} F(x, y, y') \, dx, \] где \( F \) — заданная функция трёх переменных, дважды непрерывно дифференцируемая по всем аргументам. Тогда необходимым условием того, что функция \( y(x) \) является экстремумом функционала \( J[y] \), является выполнение уравнения Эйлера — Лагранжа: \[ \frac{\partial F}{\partial y} - \frac{d}{dx}\left(\frac{\partial F}{\partial y'}\right) = 0. \]

¶Вывод

Вывод основан на рассмотрении малых вариаций функции \( y(x) \). Пусть \( y(x) \) — искомая функция, дающая экстремум. Рассмотрим возмущённую функцию \( \tilde{y}(x) = y(x) + \varepsilon \eta(x) \), где \( \varepsilon \) — малый параметр, а \( \eta(x) \) — произвольная функция, удовлетворяющая граничным условиям \( \eta(x_1) = \eta(x_2) = 0 \). Подставим \( \tilde{y} \) в функционал и разложим его в ряд по \( \varepsilon \): \[ J[y + \varepsilon \eta] = J[y] + \varepsilon \int_{x_1}^{x_2} \left( \frac{\partial F}{\partial y} \eta + \frac{\partial F}{\partial y'} \eta' \right) dx + O(\varepsilon^2). \] Интегрируя второе слагаемое по частям и используя граничные условия для \( \eta \), получаем: \[ \int_{x_1}^{x_2} \frac{\partial F}{\partial y'} \eta' \, dx = \left. \frac{\partial F}{\partial y'} \eta \right|_{x_1}^{x_2} - \int_{x_1}^{x_2} \frac{d}{dx}\left(\frac{\partial F}{\partial y'}\right) \eta \, dx = - \int_{x_1}^{x_2} \frac{d}{dx}\left(\frac{\partial F}{\partial y'}\right) \eta \, dx. \] Таким образом, первая вариация функционала равна: \[ \delta J = \int_{x_1}^{x_2} \left( \frac{\partial F}{\partial y} - \frac{d}{dx}\left(\frac{\partial F}{\partial y'}\right) \right) \eta(x) \, dx. \] Для экстремума необходимо, чтобы \( \delta J = 0 \) для всех допустимых \( \eta(x) \). Это возможно только если подынтегральное выражение равно нулю, что и приводит к уравнению Эйлера — Лагранжа.

¶Обобщения

Уравнение Эйлера — Лагранжа может быть обобщено на случай нескольких независимых переменных, нескольких зависимых функций и производных высших порядков. Для функционала, зависящего от нескольких функций \( y_i(x) \) (\( i = 1, \dots, n \)), система уравнений имеет вид: \[ \frac{\partial F}{\partial y_i} - \frac{d}{dx}\left(\frac{\partial F}{\partial y_i'}\right) = 0, \quad i = 1, \dots, n. \] Для функционала, зависящего от производных второго порядка \( y'' \), уравнение принимает форму: \[ \frac{\partial F}{\partial y} - \frac{d}{dx}\left(\frac{\partial F}{\partial y'}\right) + \frac{d^2}{dx^2}\left(\frac{\partial F}{\partial y''}\right) = 0. \]

¶Применение в физике

¶Классическая механика

В классической механике уравнение Эйлера — Лагранжа является основой лагранжева формализма. Если ввести функцию Лагранжа \( L = T - V \), где \( T \) — кинетическая энергия, а \( V \) — потенциальная энергия системы, то уравнения движения для обобщённых координат \( q_i(t) \) получаются из принципа наименьшего действия (принципа Гамильтона): действие \( S = \int_{t_1}^{t_2} L \, dt \) должно быть стационарным. Это приводит к уравнениям: \[ \frac{d}{dt}\left(\frac{\partial L}{\partial \dot{q}_i}\right) - \frac{\partial L}{\partial q_i} = 0. \] Эти уравнения эквивалентны второму закону Ньютона, но имеют более общий вид и удобны для систем со связями.

¶Теория поля

В теории поля, например в электродинамике или общей теории относительности, уравнение Эйлера — Лагранжа обобщается на случай полей, зависящих от пространственно-временных координат. Для скалярного поля \( \phi(x, y, z, t) \) с плотностью лагранжиана \( \mathcal{L} \) уравнение имеет вид: \[ \frac{\partial \mathcal{L}}{\partial \phi} - \partial_\mu \left( \frac{\partial \mathcal{L}}{\partial (\partial_\mu \phi)} \right) = 0, \] где \( \partial_\mu \) обозначает частную производную по координатам пространства-времени. Это уравнение лежит в основе уравнений Клейна — Гордона, Дирака и Максвелла.

¶Оптика

В геометрической оптике принцип Ферма утверждает, что свет распространяется по пути, требующему минимального времени. Это также является вариационной задачей, и траектория луча света удовлетворяет уравнению Эйлера — Лагранжа. В изотропной среде с показателем преломления \( n(x, y) \) функционал времени имеет вид \( T = \int \frac{n}{c} \, ds \), где \( ds \) — элемент длины дуги.

¶Примеры

¶Задача о брахистохроне

Классический пример — нахождение кривой \( y(x) \), соединяющей две точки \( (0,0) \) и \( (x_1, y_1) \), по которой материальная точка скатывается под действием силы тяжести за минимальное время. Функционал времени имеет вид: \[ T[y] = \int_0^{x_1} \sqrt{\frac{1 + (y')^2}{2gy}} \, dx. \] Применение уравнения Эйлера — Лагранжа приводит к дифференциальному уравнению, решением которого является циклоида.

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

Простейший пример — нахождение кратчайшей кривой между двумя точками на плоскости. Функционал длины дуги: \( L[y] = \int_{x_1}^{x_2} \sqrt{1 + (y')^2} \, dx \). Уравнение Эйлера — Лагранжа даёт \( y'' = 0 \), то есть прямая линия.

¶Критика и ограничения

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

¶Интересные факты

• Леонард Эйлер и Жозеф-Луи Лагранж поддерживали переписку, и именно Эйлер ввёл термин «вариационное исчисление».
• Уравнение Эйлера — Лагранжа является основой для численных методов оптимизации, таких как метод конечных элементов.
• В квантовой механике принцип наименьшего действия и уравнение Эйлера — Лагранжа используются для вывода уравнений Шрёдингера через функциональные интегралы.