Лагранжиан

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

где действие — функционал

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

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

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

Содержание 1 Пример из классической механики 2 Классический лагранжиан быстрой частицы 3 Лагранжианы и плотности лагранжианов в теории поля 4 Электромагнитный лагранжиан [2] 4.1 Электростатика 4.2 Электродинамика 4.2.1 Трехмерная формулировка 4.2.2 Четырехмерная формулировка 5 Лагранжиан квантовой теории поля 5.1 Лагранжиан квантовой электродинамики 5.2 Лагранжиан Дирака 5.3 Лагранжиан квантовой хромодинамики 6 Примечания 7 Ссылки

Пример из классической механики

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

Пусть размерность пространства равна трём и функция Лагранжа записана в виде

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

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

Для трёхмерной системы со сферическими координатами r, , с лагранжианом

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

Классический лагранжиан быстрой частицы

Классический (не квантовый, кроме прочего, игнорирующий спин) лагранжиан быстрой (релятивистской) частицы с точностью до множителя — минус массы частицы, умноженной на универсальную константу — совпадает со скоростью роста длины ее мировой линии в пространстве Минковского — или собственного времени:

где v — обычная трехмерная скорость частицы, c — скорость света, m — масса частицы.

Из этого лагранжиана следует классическая динамика релятивистских частиц (релятивистская динамика).

Лагранжианы и плотности лагранжианов в теории поля

• В теории поля делают различие между лагранжианом L, через который действие выражается как интеграл только по времени

и плотностью лагранжиана , которую нужно интегрировать по всему четырехмерному^[1] пространству-времени:

Тогда лагранжиан — это интеграл по пространственным переменным от плотности лагранжиана.

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

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

Электромагнитный лагранжиан ^[2]

Электростатика

Электростатика (физика статических — то есть достаточно медленно меняющихся) электрических полей, которые можно (приближенно или точно) описать скалярным^[3] потенциалом и достаточно медленно движущегося заряженного вещества, подчиняющегося таким образом Ньютоновской механике, может быть в целом описана практически в рамках классической механики.

В классической механике лагранжиан есть

где T — кинетическая энергия и V — потенциальная энергия.

Для заряженной частицы массой m и зарядом q, находящейся в электрическом (электростатическом) поле со скалярным потенциалом , кинетическая энергия задаётся выражением

 — для одной частицы (для многих берется сумма).

Энергия взаимодействия поля с заряженным веществом выглядит как

для одного точечного заряда (для многих суммируется),

или

 — в виде для непрерывного распределения заряда.

(Тот и другой вид оказывается полезно выписать отдельно, хотя, конечно, они друг к другу сводятся, если использовать дельта-функцию). Энергия поля входит в член кинетической энергии наряду с кинетической энергией частиц^[4], записываясь как:

где  — «силовая константа», входящая в конечном итоге в закон Кулона.

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

(каждый член его выписан выше).

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

Проварьировав действие с описанным в этом параграфе лагранжианом^[5], легко получить уравнение поля для электростатики (уравнение Пуассона):

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

Электродинамика

Трехмерная формулировка

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

или

где c — скорость света, v — скорость частицы, j — вектор плотности тока.

Энергия электромагнитного поля также должна включать по сравнению со случаем электростатики еще и энергию магнитного поля^[6]:

где E и H следует считать выраженными через электрический потенциал ф и векторный потенциал А:

.

Тогда электромагнитный лагранжиан запишется в виде

или

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

.

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

При варьировании действия с этим лагранжианом по ф и по A_x,A_y,A_z (независимо по каждому, используя вторую форму записи лагранжиана), получаются уравнения Максвелла, а при варьировании по координатам заряженных частиц — используя первую форму записи — уравнения движения зараженных частиц в поле, сводящемуся к:

,

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

Однако проще и короче всего такой вывод получается в четырехмерной формулировке (см.далее).

Четырехмерная формулировка

В четырехмерной формулировке плотность лагранжиана электромагнитного поля, его взаимодействия с заряженным веществом и (для полноты картины) самого вещества выглядит так (используя систему единиц c=1):

Второй член (описывающий взаимодействие) можно переписать так, что соответствующее действие будет:

(Член L_s — обычная плотность лагранжиана быстрой — в общем случае — частицы; явно ее можно не выписывать, поскольку для классической теории она не нужна, так как для нее нужен лагранжиан такой частицы, выписанный как обычно — см. выше — а не его плотность).

Здесь c — скорость света, F^ik — тензор электромагнитного поля (в лагранжиан входит его свёртка — квадрат), A_i — 4-потенциал, jⁱ — четырехмерная плотность тока, dxⁱ — 4-перемещение; подразумевается правило Эйнштейна суммирования по повторяющемуся индексу.

Варьированием по A_i легко получаются уравнения Максвелла в четырехмерной форме:

,

а варьированием по xⁱ — уравнение движения для чаcтицы:

где p_i = mu_i — 4-импульс, u^k — 4-скорость.

Лагранжиан квантовой теории поля

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

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

Лагранжиан квантовой электродинамики

Плотность лагранжиана для КЭД

где  — биспинор,  — его дираковское сопряжение,  — тензор электромагнитного поля, D — калибровочная ковариантная производная, и  — обозначение Фейнмана для .

Лагранжиан Дирака

Плотность лагранжиана для дираковского поля

.

Лагранжиан квантовой хромодинамики

Плотность лагранжиана для квантовой хромодинамики [1] [2] [3]

где  — калибровочная ковариантная производная КХД, и  — тензор напряжённости глюонного поля.

Примечания

Ссылки

• Christoph Schiller (2005), Global descriptions of motion: the simplicity of complexity, Motion Mountain
• David Tong Classical Dynamics (Cambridge lecture notes)