Лагранжева механика

Лагранжева механика является переформулировкой классической механики, введённой Лагранжем в 1788 году. В лагранжевой механике траектория объекта получается при помощи отыскания пути, который минимизирует действие — интеграл от функции Лагранжа по времени. Функция Лагранжа для классической механики вводится в виде разности между кинетической энергией и потенциальной энергией.

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

Сущность Лагранжевой механики

Лагранжиан и принцип наименьшего действия

Механическая система характеризуется обобщёнными координатами [math]\displaystyle{ q }[/math] и обобщёнными скоростями [math]\displaystyle{ \dot{q} }[/math]. Механической системе ставится в соответствие функция Лагранжа — лагранжиан, зависящая от обобщённых координат и скоростей, и, возможно, непосредственно от времени — [math]\displaystyle{ L(q,\dot{q},t) }[/math]. Интеграл по времени от лагранжиана при заданной траектории называют действием [math]\displaystyle{ S }[/math]:

[math]\displaystyle{ S=\int^{t_1}_{t_0} L(q,\dot{q},t) dt }[/math]

Уравнения движения в лагранжевой механике основаны на принципе наименьшего (стационарного) действия (принцип Гамильтона) — система движется по траектории, которая соответствует минимальному действию (хотя бы в некоторой малой окрестности множества возможных траекторий). Под стационарностью подразумевается, что действие не меняется в первом порядке малости при бесконечно малом изменении траектории, с закреплёнными начальной [math]\displaystyle{ (q_0,\;t_0) }[/math] и конечной [math]\displaystyle{ (q_1,\;t_1) }[/math] точками. Принцип Гамильтона запишется в виде

[math]\displaystyle{ \delta S=0. }[/math]

Любая такая траектория называется прямым путём между двумя точками. Все остальные пути называются окольными.

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

Точка [math]\displaystyle{ M_2 }[/math] называется сопряжённым кинетическим фокусом для точки [math]\displaystyle{ M_1 }[/math], если через [math]\displaystyle{ M_1 }[/math] и [math]\displaystyle{ M_2 }[/math] проходят несколько прямых путей.

В буквальном смысле принцип наименьшего действия справедлив лишь локально. А именно, имеет место

• Теорема Бобылёва: действие вдоль прямого пути [math]\displaystyle{ M_1 M_2 }[/math] имеет наименьшее значение по сравнению с окольными путями, если на дуге [math]\displaystyle{ M_1 M_2 }[/math] нет сопряжённого для [math]\displaystyle{ M_1 }[/math] кинетического фокуса.

Из принципа Гамильтона исходя в соответствии с вариационным исчислением получаются уравнения Эйлера-Лагранжа:

[math]\displaystyle{ \frac {d}{dt}\frac {\partial L} {\partial \dot {q}}-\frac {\partial L}{\partial q}=0 }[/math]

Если ввести следующие обозначения

[math]\displaystyle{ p=\frac {\partial L} {\partial \dot {q}} }[/math] — обобщённые импульсы

[math]\displaystyle{ F=\frac {\partial L}{\partial q} }[/math] — обобщённые силы

то уравнения Эйлера-Лагранжа примут вид

[math]\displaystyle{ \frac {dp}{dt}=F }[/math]

То есть в форме обобщённого второго закона Ньютона.

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

Лагранжиан в инерциальных системах отсчёта

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

В частности, для свободно движущейся системы (материальной точки) в инерциальной системе из принципов однородности пространства и времени следует, что лагранжиан должен быть функцией только скорости. Изотропность пространства означает, что лагранжиан зависит только от абсолютной величины скорости, а не от направления, то есть фактически [math]\displaystyle{ L=L(v^2) }[/math]. Далее воспользуемся принципом относительности. Вариация лагранжиана равна [math]\displaystyle{ \delta L =\frac {\partial L}{\partial v^2}2v \delta v }[/math]. Эта вариация будет полной производной по времени только если [math]\displaystyle{ \frac {\partial L}{\partial v^2}=const }[/math], откуда получаем, что лагранжиан прямо пропорционален квадрату скорости

[math]\displaystyle{ L=\frac {m}{2} v^2 }[/math]

Параметр [math]\displaystyle{ m }[/math] — это, как можно показать из уравнений движения, — это масса частицы, а лагранжиан по сути равен кинетической энергии.

Из уравнений движения следует тогда, что производная лагранжиана по скорости является постоянной величиной. Но эта производная равна [math]\displaystyle{ mv }[/math] исходя из вида лагранжиана. Следовательно вектор скорости свободно движущейся частицы в инерциальной системе является постоянным (первый закон Ньютона)

Из аддитивности лагранжиана следует, что для системы невзаимодействующих частиц лагранжиан будет равен

[math]\displaystyle{ L=\sum^n_i \frac {m_i}{2} v^2_i }[/math]

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

[math]\displaystyle{ L=\sum_i \frac {m_i}{2} v^2_i-U(r_1,r_2, ..., r_n) }[/math]

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

Для одной частицы во внешнем поле лагранжиан будет равен

[math]\displaystyle{ L=mv^2/2-U(r,t) }[/math]

Отсюда нетрудно вывести уравнения движения

[math]\displaystyle{ m\dot v=-\frac {\partial U}{\partial r}=F }[/math]

Это второй закон Ньютона

Законы сохранения (интегралы движения)

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

Закон сохранения энергии

Из однородности времени следует, что лагранжиан не зависит от времени непосредственно, следовательно

[math]\displaystyle{ \frac {dL}{dt}=\sum_i \frac {\partial L}{\partial q_i}\dot{q_i}+\sum_i \frac {\partial L}{\partial \dot{q_i}}\ddot{q_i} }[/math]

Используя уравнения Эйлера-Лагранжа отсюда получаем

[math]\displaystyle{ \frac {dL}{dt}=\sum_i\left(\frac {d}{dt} \frac {\partial L}{\partial \dot q_i}\right)\dot{q_i}+\sum_i \frac {\partial L}{\partial \dot{q_i}}\ddot{q_i}=\sum_i \frac {d}{dt}\left(\frac {\partial L}{\partial \dot q_i}\dot{q_i}\right) }[/math]

Отсюда

[math]\displaystyle{ \frac {d}{dt} \left(\sum_i \frac {\partial L}{\partial \dot q_i}\dot{q_i}-L\right)=0 }[/math]

Таким образом, величина

[math]\displaystyle{ E=\sum_i \frac {\partial L}{\partial \dot q_i}\dot{q_i}-L=\sum_i p_i\dot{q_i}-L }[/math]

называемая энергией системы не изменяется со временем. Это закон сохранения энергии.

Учитывая вид лагранжиана для замкнутой или находящейся во внешнем поле системы равна

[math]\displaystyle{ L=T(q,\dot q)-U(q) }[/math]

где [math]\displaystyle{ T(q,\dot q) }[/math] — однородная квадратическая функция скоростей, то, исходя из теоремы Эйлера об однородных функциях, получаем

[math]\displaystyle{ E=2T-(T-U)=T+U }[/math]

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

Закон сохранения импульса

Однородность пространства означает инвариантность лагранжиана относительно параллельных переносов. Имеем для вариации лагранжиана

[math]\displaystyle{ \delta L= \sum_i \frac {\partial L}{\partial \mathbf{r}_i} \delta \mathbf{r}_i=\left(\sum_i \frac {\partial L}{\partial \mathbf{r}_i}\right) \delta \mathbf{r}=0 }[/math]

Поскольку [math]\displaystyle{ \delta \mathbf{r} }[/math] — произвольна, то имеем

[math]\displaystyle{ \sum_i \frac {\partial L}{\partial \mathbf{r}_i}=0 }[/math]

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

Подставляя данное равенство в уравнения Эйлера-Лагранжа, получим

[math]\displaystyle{ \frac {d}{dt} \left(\sum_i \frac {\partial L}{\partial \dot \mathbf{r_i}}\right)=0 }[/math]

Следовательно, выражение в скобках

[math]\displaystyle{ P=\sum_i \frac {\partial L}{\partial \mathbf{v}_i}=\sum_i m_i \mathbf{v}_i }[/math]

являющееся векторной величиной, называемой импульсом, сохраняется во времени. Это закон сохранения импульса.

Закон сохранения импульса системы частиц может быть сформулирован как равномерность и прямолинейность движения центра тяжести системы.

Закон сохранения момента импульса

Изотропность пространства означает инвариантность лагранжиана замкнутой механической системы относительно поворотов. Если определить по правилу винта вектор бесконечно малого поворота [math]\displaystyle{ \delta \mathbf{\phi} }[/math], то изменения радиус-вектора и вектора скорости будут равны векторным произведения вектора поворота на радиус вектор или вектор скорости соответственно:

[math]\displaystyle{ \delta \mathbf{r}=[\delta \mathbf{\phi},\mathbf{r}] }[/math], [math]\displaystyle{ \delta \mathbf{v}=[\delta \mathbf{\phi},\mathbf{v}] }[/math]

Неизменность лагранжиана означает, что

[math]\displaystyle{ \delta L=\sum_i \left(\frac {\partial L}{\partial\mathbf{r}_i}\delta \mathbf{r}_i+\frac {\partial L}{\partial\mathbf{v}_i}\delta \mathbf{v}_i\right)=\sum_i \left(\mathbf{\dot{p}}_i \delta \mathbf{r}_i+\mathbf{p}_i \delta \mathbf{v}_i\right)=0 }[/math]

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

[math]\displaystyle{ \sum_i \left(\dot{\mathbf{p}}_i[\delta \mathbf{\phi},\mathbf{r}_i]+\mathbf{p}_i[\delta \mathbf{\phi},\mathbf{v}_i]\right)=\delta \phi \sum_i \left([\mathbf{r}_i,\dot{\mathbf{p}}_i]+[\mathbf{v}_i,\mathbf{p}_i]\right)=\delta \phi \sum_i \frac{d[\mathbf{r}_i,\mathbf{p}_i]}{dt}=0 }[/math]

Учитывая произвольность вектора поворота окончательно можно записать

[math]\displaystyle{ \frac{d}{dt}\sum_i[\mathbf{r}_i,\mathbf{p}_i]=0 }[/math]

Это означает, что векторная величина

[math]\displaystyle{ \mathbf{M}=\sum_i[\mathbf{r}_i,\mathbf{p}_i] }[/math]

сохраняется. Эта величина и называется моментом импульса или просто моментом.

Вывод уравнений Лагранжа из ньютоновской механики

Рассмотрим единственную частицу с массой [math]\displaystyle{ m }[/math] и радиус-вектором [math]\displaystyle{ \mathbf{r} }[/math]. Предполагаем, что силовое поле [math]\displaystyle{ \mathbf{F} }[/math], в котором и под действием которого она совершает своё движение, может быть выражено как градиент скалярной функции — потенциальной энергии [math]\displaystyle{ V(\mathbf{r},\;t) }[/math] (этому условию удовлетворяют, например, гравитационное и электрическое поле, и не удовлетворяют магнитные поля):

[math]\displaystyle{ \mathbf{F}=-\nabla V. }[/math]

Такая сила не зависит от производных [math]\displaystyle{ \mathbf{r} }[/math], поэтому второй закон Ньютона формирует 3 обыкновенных дифференциальных уравнения второго порядка. Движение частицы может быть полностью описано тремя независимыми переменными, называемых степенями свободы. Очевидный набор переменных — [math]\displaystyle{ \{r_j,\;r'_j \mid j=1,\;2,\;3\} }[/math] (декартовы компоненты [math]\displaystyle{ \mathbf{r} }[/math] в данный момент времени).

Обобщая, мы можем работать с обобщёнными координатами, [math]\displaystyle{ q_j }[/math], и их производными, обобщёнными скоростями [math]\displaystyle{ q'_j }[/math]. Радиус-вектор [math]\displaystyle{ \mathbf{r} }[/math] связан с обобщёнными координатами некоторым уравнением преобразования:

[math]\displaystyle{ \mathbf{r}=\mathbf{r}(q_i,\;t),\quad i=1,\;\ldots,\;N, }[/math]

где [math]\displaystyle{ N }[/math] — число степеней свободы системы.

Например, для плоского движения математического маятника длиной [math]\displaystyle{ l }[/math] логичным выбором обобщённой координаты будет угол отклонения [math]\displaystyle{ \theta }[/math] от вертикали подвеса, для которого уравнения преобразования имеют вид

[math]\displaystyle{ \mathbf{r}(\theta,\;\theta',\;t)=(l\sin\theta,\;l\cos\theta). }[/math]

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

Рассмотрим произвольное смещение [math]\displaystyle{ \delta\mathbf{r} }[/math] частицы. Работа, совершаемая приложенной силой [math]\displaystyle{ \mathbf{F} }[/math], равна [math]\displaystyle{ \delta W =\mathbf{F}\cdot\delta\mathbf{r} }[/math]. Используя второй закон Ньютона, запишем:

[math]\displaystyle{ m\mathbf{\ddot r}\cdot\delta\mathbf{r}=\mathbf{F}\cdot\delta\mathbf{r}. }[/math]

Перепишем это уравнение в терминах обобщённых координат и скоростей. С правой стороны равенства,

[math]\displaystyle{ \begin{matrix} \mathbf{F}\cdot\delta\mathbf{r} & = & -\mathrm{grad}\,V\cdot\sum\limits_i\displaystyle{\partial\mathbf{r}\over\partial q_i}\delta q_i \\ \\ & = & -\sum\limits_{i,\;j}\displaystyle{\partial V\over\partial r_j}\displaystyle{\partial r_j\over\partial q_i}\delta q_i \\ \\ & = & -\sum\limits_i\displaystyle{\partial V\over\partial q_i}\delta q_i. \\ \end{matrix} }[/math]

Левая сторона равенства более сложна, но после некоторых перестановок мы получим:

[math]\displaystyle{ m\mathbf{\ddot r}\cdot\delta\mathbf{r}=\sum_i\left[{d\over dt}{\partial T\over\partial q'_i}-{\partial T\over\partial q_i}\right]\delta q_i, }[/math]

где [math]\displaystyle{ T=\frac{m}{2}{\dot{\mathbf{r}}}^2 }[/math] — кинетическая энергия частицы. Уравнение для работы запишется в виде

[math]\displaystyle{ \sum_i\left[{d\over dt}{\partial{T}\over\partial{\dot q_i}}-{\partial{(T-V)}\over\partial q_i}\right]\delta q_i=0. }[/math]

Это выражение должно быть верно для любых изменений [math]\displaystyle{ \delta q_i }[/math], поэтому

[math]\displaystyle{ \left[{d\over dt}{\partial{T}\over\partial{\dot q_i}}-{\partial{(T-V)}\over\partial q_i}\right]=0 }[/math]

для каждой обобщённой координаты [math]\displaystyle{ \delta q_i }[/math]. Можно и дальше упростить это выражение, если заметить, что [math]\displaystyle{ V }[/math] — функция только [math]\displaystyle{ \mathbf{r} }[/math] и [math]\displaystyle{ t }[/math], и [math]\displaystyle{ \mathbf{r} }[/math] — функция обобщённых координат и [math]\displaystyle{ t }[/math]. Тогда [math]\displaystyle{ V }[/math] не зависит от обобщённых скоростей:

[math]\displaystyle{ {d\over dt}{\partial{V}\over\partial{\dot q_i}}=0. }[/math]

Вставляя это в предыдущее уравнение и заменяя [math]\displaystyle{ L=T-V }[/math], получим уравнения Лагранжа:

[math]\displaystyle{ {\partial{L}\over\partial q_i}={d\over dt}{\partial{L}\over\partial{\dot q_i}}. }[/math]

Так же, как и уравнения Ньютона, уравнения Лагранжа являются уравнениями второго порядка, что следует из их вывода. Для каждой обобщённой координаты [math]\displaystyle{ q_i }[/math] есть одно уравнение Лагранжа. Когда [math]\displaystyle{ q_i=r_i }[/math] (то есть обобщённые координаты — просто декартовы координаты), можно легко проверить, что уравнения Лагранжа сводятся ко второму закону Ньютона.

Вышеприведённый вывод может быть обобщён на систему из [math]\displaystyle{ N }[/math] частиц. Тогда будет [math]\displaystyle{ 3N }[/math] обобщённых координат, связанных с координатами положения [math]\displaystyle{ 3N }[/math] уравнениями преобразования. В каждом из [math]\displaystyle{ 3N }[/math] уравнений Лагранжа, [math]\displaystyle{ T }[/math] — полная кинетическая энергия системы, и [math]\displaystyle{ V }[/math] полная потенциальная энергия.

Практически, часто легче решить проблему, используя уравнения Эйлера — Лагранжа, а не законы Ньютона, потому что соответствующие обобщённые координаты [math]\displaystyle{ q_i }[/math] могут быть выбраны с учётом симметрий задачи.

Примеры задач

Задача 1. Рассмотрим точечную бусинку массы [math]\displaystyle{ m }[/math], движущуюся без трения по неподвижному вертикальному кольцу. Система имеет одну степень свободы. Выберем в качестве координаты угол [math]\displaystyle{ \varphi }[/math] отклонения радиуса, направленного к бусинке, от вектора силы тяжести [math]\displaystyle{ m\vec{g} }[/math]. Кинетическая энергия запишется в виде

[math]\displaystyle{ T=\frac{mr^2\dot\varphi^2}{2}, }[/math]

а потенциальная энергия равна

[math]\displaystyle{ U=-mgr\cos\varphi. }[/math]

Функция Лагранжа для этой системы

[math]\displaystyle{ L=T-U=\frac{mr^2\dot\varphi^2}{2}+mgr\cos\varphi. }[/math]

Уравнения Лагранжа примут вид:

[math]\displaystyle{ \frac{d}{dt}\frac{\partial L}{\partial\dot\varphi}-\frac{\partial L}{\partial\varphi}=\frac{d}{dt}(mr^2\dot\varphi)+mgr\sin\varphi=mr^2\ddot\varphi+mgr\sin\varphi=0. }[/math]

Это уравнение можно также получить, продифференцировав по времени закон сохранения механической энергии. Для маленьких углов [math]\displaystyle{ \varphi }[/math] синус угла равен самому углу: [math]\displaystyle{ \sin\varphi\approx\varphi }[/math]. В этом случае получим

[math]\displaystyle{ mr^2\ddot\varphi=-mgr\,\varphi }[/math] то есть

[math]\displaystyle{ \ddot\varphi=-\frac{g}{r}\,\varphi }[/math]

Это дифференциальное уравнение известно из уравнений движения Ньютона и имеет решение

[math]\displaystyle{ \varphi(t) = A\cos\omega t+ B\sin\omega t }[/math]

где константы [math]\displaystyle{ A }[/math] и [math]\displaystyle{ B }[/math] зависят от начальных условий, а [math]\displaystyle{ \omega = \sqrt{\frac{g}{r}} }[/math]

Задача 2. Рассмотрим точечную бусинку массы [math]\displaystyle{ m }[/math], движущуюся без трения по вертикальному кольцу, вращающемуся вокруг своей вертикальной оси с постоянной угловой скоростью [math]\displaystyle{ \omega }[/math]. Система имеет одну степень свободы. Выберем в качестве координаты угол [math]\displaystyle{ \varphi }[/math] отклонения радиуса, направленного к бусинке, от вектора силы тяжести [math]\displaystyle{ m\vec{g} }[/math]. Кинетическая энергия запишется в виде

[math]\displaystyle{ T=\frac{m}{2}(r^2\dot\varphi^2+r^2\sin^2\varphi\,\dot\theta^2), }[/math]

где [math]\displaystyle{ \theta }[/math] — угол поворота кольца. Потенциальная энергия равна

[math]\displaystyle{ U=-mgr\cos\varphi. }[/math]

Функция Лагранжа для этой системы

[math]\displaystyle{ L=T-U=\frac{m}{2}(r^2\dot\varphi^2+r^2\sin^2\varphi\,\dot\theta^2)+mgr\cos\varphi. }[/math]

Уравнения Лагранжа примут вид

[math]\displaystyle{ \frac{d}{dt}\frac{\partial L}{\partial\dot\varphi}-\frac{\partial L}{\partial\varphi}=\frac{d}{dt}(mr^2\dot\varphi)-mr^2\sin\varphi\cos\varphi\,\dot\theta^2+mgr\sin\varphi=mr^2\ddot\varphi-\frac{mr^2\omega^2}{2}\sin 2\varphi+mgr\sin\varphi=0, }[/math]

так как [math]\displaystyle{ \theta=\theta_0+\omega t }[/math] — заданная функция времени (не обобщённая координата).

Задача 3. Если бы скорость вращения кольца не была бы нам задана, а определялась бы движением системы (скажем, вращающееся без трения лёгкое кольцо), то вместо одного уравнения Лагранжа мы получили бы два (уравнения для [math]\displaystyle{ \varphi }[/math] и для [math]\displaystyle{ \theta }[/math]):

[math]\displaystyle{ \frac{d}{dt}\frac{\partial L}{\partial\dot\varphi}-\frac{\partial L}{\partial\varphi}=0,\quad\frac{d}{dt}\frac{\partial L}{\partial\dot\theta}-\frac{\partial L}{\partial\theta}= 0, }[/math]

[math]\displaystyle{ mr^2\ddot\varphi-\frac{mr^2\dot\theta^2}{2}\sin 2\varphi+mgr\sin\varphi=0,\quad\frac{d}{dt}(mr^2\sin^2\varphi\,\dot\theta)= 0. }[/math]

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

Релятивистская лагранжева механика

Базовый постулат теории относительности — постоянство скорости света во всех инерциальных системах приводит к инвариантной величине, называемой интервалом s, являющимся специфической метрикой в четырёхмерном пространстве-времени:

[math]\displaystyle{ s^2=c^2t^2-\mathbf{x}^2 }[/math]

Для произвольно (то есть не обязательно равномерно и прямолинейно) движущейся системы можно рассмотреть бесконечно малые промежутки времени, в течение которых движение можно считать равномерным. Пусть за промежуток времени [math]\displaystyle{ dt }[/math] по неподвижным часам движущийся объект проходит расстояние dx. Тогда для интервала имеем выражение

[math]\displaystyle{ ds^2=c^2dt^2-dx^2=c^2dt^2(1-dx^2/c^2dt^2)=c^2dt^2(1-v^2/c^2) }[/math]

Следовательно,

[math]\displaystyle{ ds=cdt\sqrt{1-v^2/c^2} }[/math]

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

[math]\displaystyle{ S=\int^{t_2}_{t_1}cdt\sqrt{1-v^2/c^2} }[/math]

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

Из соображений совпадения с классической механикой при малых скоростях лагранжиан свободной релятивистской частицы в инерциальной системе в конечном итоге равен

[math]\displaystyle{ L=-mc^2 \sqrt {1-v^2/c^2} }[/math]

Соответственно, релятивистский импульс равен

[math]\displaystyle{ \mathbf {p}=\frac {\partial L}{\partial \mathbf{v}}=\frac {m \mathbf{v}}{\sqrt{1-v^2/c^2}} }[/math]

релятивистская энергия равна

[math]\displaystyle{ E=\mathbf{pv}-L=\frac {mc^2} {\sqrt {1-v^2/c^2} } }[/math]

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

Отсюда несложно получить релятивистское соотношение между энергией и импульсом

[math]\displaystyle{ E^2=p^2c^2+m^2c^4 }[/math]

Лагранжев формализм в теории поля

В теории поля сумма лагранжианов частиц механической системы заменяется интегралом по некоторому объёму пространства от так называемой лагранжевой плотности (в теории поля лагранжеву плотность иногда и называют лагранжианом):

[math]\displaystyle{ L=\int_V \mathcal{L} d^3 r }[/math]

Соответственно действие равно

[math]\displaystyle{ S=\int^{t}_{t_0}\int_V \mathcal{L} d^3 r dt=\int_X \mathcal{L} d^4 x }[/math]

где в последней формуле предполагается интегрирование по четырёхмерному пространству-времени.

Предполагается, что лагранжева плотность не зависит непосредственно от координат, а зависит от полевой функции и её первых производных. Уравнения Эйлера-Лагранжа в данном случае имеют вид:

[math]\displaystyle{ \frac{\partial \mathcal{L}}{\partial u_a(x)}-\partial_{\nu}\left (\frac{\partial \mathcal{L}}{\partial (\partial_{\nu}u_a(x))}\right )=0 }[/math]

Расширения лагранжевой механики

Гамильтониан, обозначаемый [math]\displaystyle{ \mathbf{H} }[/math], получается при выполнении преобразований Лежандра над функцией Лагранжа. Гамильтониан — основание для альтернативной формулировки классической механики, известной как гамильтонова механика. Эта функция особенно распространена в квантовой механике (см. Гамильтониан (квантовая механика)).

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

Классические работы

• Лагранж Ж. Аналитическая механика, том 1. — М.-Л.: ГИТТЛ, 1950.
• Лагранж Ж. Аналитическая механика, том 2. — М.-Л.: ГИТТЛ, 1950.
• Вариационные принципы механики. Сборник статей классиков науки. Под редакцией Полак Л. С. — М.: Физматгиз, 1959.

См. также

• Гамильтонова механика
• Аналитическая механика
• Функциональная производная
• Степени свободы (физика)
• Машина Атвуда

Литература

• Гантмахер Ф. Р. Лекции по аналитической механике: Учебное пособие для вузов / Под ред. Е. С. Пятницкого. — 3-е изд. — М.: Физматлит, 2005. — 264 с. — ISBN 5-9221-0067-X.
• Goldstein H. Classical Mechanics. — 2nd edition. — Addison-Wesley, 1980. — pp. 16.
• Moon F. C. Applied Dynamics With Applications to Multibody and Mechatronic Systems. — Wiley, 1998. — pp. 103—168.

Ссылки

• Rychlik, Marek. «Lagrangian and Hamiltonian mechanics — A short introduction»
• Tong, David. Classical Dynamics Лекции из университета Кембриджа
• Асланов В. С., Тимбай И. А. Движение твердого тела в обобщенном случае Лагранжа