Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску

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

Лагранжева формулировка в специальной теории относительности [ править ]

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

Формулировка координат [ править ]

Если система описывается лагранжианом L , уравнения Эйлера – Лагранжа

сохраняют свою форму в специальной теории относительности при условии, что лагранжиан генерирует уравнения движения, согласующиеся со специальной теорией относительности. Здесь r = ( x , y , z ) - вектор положения частицы, измеренный в некоторой лабораторной системе отсчета, где для простоты используются декартовы координаты , и

- координатная скорость, производная положения r по координатному времени t . (В этой статье чрезмерные точки относятся к координированному времени, а не к собственному времени). Координаты положения можно преобразовать в обобщенные координаты точно так же, как в нерелятивистской механике, r = r ( q , t ). Принимая полный дифференциал из г получает преобразование скорости V для обобщенных координат, обобщенные скорости и координаты времени

остается такой же. Однако энергия движущейся частицы отличается от нерелятивистской механики. Поучительно посмотреть на полную релятивистскую энергию свободной пробной частицы. Наблюдатель в лабораторной системе отсчета определяет события по координатам r и координатному времени t и измеряет, чтобы частица имела координатную скорость v = d r / dt . В отличие от этого , наблюдатель , движущийся с частицей будет записывать разное время, это подходящее время , τ . Первый член в степенном ряду представляет собой энергию покоя частицы.плюс его нерелятивистская кинетическая энергия , за которой следуют релятивистские поправки более высокого порядка;

где c - скорость света в вакууме. В дифференциалы в т и т связаны фактор Лоренца Г , [NB 1]

где · - скалярное произведение . Релятивистская кинетическая энергия для незаряженной частицы с массой покоя m 0 равна

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

Определение обобщенного импульса может быть сохранено, и выгодная связь между циклическими координатами и сохраняющимися величинами будет по-прежнему применяться. Импульсы можно использовать для «обратного проектирования» лагранжиана. Для случая свободной массивной частицы в декартовых координатах x- компонента релятивистского импульса равна

и аналогично для компонентов y и z . Интегрирование этого уравнения относительно dx / dt дает

где X - произвольная функция dy / dt и dz / dt из интегрирования. Интегрируя p y и p z, получаем аналогично

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

где X = Y = Z = 0.

В качестве альтернативы, поскольку мы хотим построить лагранжиан из релятивистски инвариантных величин, возьмем действие пропорционально интегралу лоренц-инвариантного элемента линии в пространстве-времени , длине мировой линии частицы между собственными временами τ 1 и τ 2 , [nb 1]

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

что требует ε = - m 0 c 2 , что согласуется с ранее полученным лагранжианом.

В любом случае вектор положения r отсутствует в лагранжиане и, следовательно, цикличен, поэтому уравнения Эйлера – Лагранжа согласуются с постоянством релятивистского импульса,

что должно быть в случае свободной частицы. Кроме того, расширяя релятивистский лагранжиан свободных частиц в ряд по степеням до первого порядка по ( v / c ) 2 ,

в нерелятивистском пределе, когда v мало, члены высшего порядка, которые не показаны, пренебрежимо малы, а лагранжиан - это нерелятивистская кинетическая энергия, какой она должна быть. Остающийся член - это отрицательный член энергии покоя частицы, постоянный член, которым можно пренебречь в лагранжиане.

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

а уравнения Эйлера – Лагранжа приводят к релятивистской версии второго закона Ньютона , производная по координате от релятивистского импульса по времени - это сила, действующая на частицу;

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

Верно также и то, что если лагранжиан явно не зависит от времени, а потенциал V ( r ) - от скоростей, то полная релятивистская энергия

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

Распространение на N частиц несложно, релятивистский лагранжиан - это просто сумма членов «свободных частиц» за вычетом потенциальной энергии их взаимодействия;

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

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

На первый взгляд другая, но полностью эквивалентная форма лагранжиана для свободной массивной частицы, которую легко распространить на общую теорию относительности, как показано ниже, может быть получена путем вставки [nb 1]

в действие инварианта Лоренца так, чтобы

где ε = - m 0 c 2 сохранено для простоты. Хотя линейный элемент и действие лоренц-инвариантны, лагранжиан нет , потому что он явно зависит от времени лабораторной координаты. Тем не менее, уравнения движения следуют из принципа Гамильтона

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

В случае взаимодействующей частицы в потенциале V лагранжиан по-прежнему имеет вид

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

Ковариантная формулировка [ править ]

В ковариантной формулировке время ставится наравне с пространством, поэтому координатное время, измеренное в некотором кадре, является частью конфигурационного пространства наряду с пространственными координатами (и другими обобщенными координатами). [1] Для частицы, безмассовой или массивной, лоренц-инвариантное действие имеет вид (злоупотребление обозначениями) [2]

где нижний и верхний индексы используются в соответствии с ковариантностью и контравариантностью векторов , σ - аффинный параметр , а u μ = dx μ / - четырехскоростная скорость частицы.

Для массивных частиц σ может быть длиной дуги s или собственным временем τ вдоль мировой линии частицы,

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

Для свободной частицы лагранжиан имеет вид [3] [4]

где нерелевантный множитель 1/2 может быть уменьшен масштабирующим свойством лагранжианов. Включение массы не требуется, поскольку это также относится к безмассовым частицам. Уравнения Эйлера – Лагранжа в пространственно-временных координатах имеют вид

которое является уравнением геодезических для геодезических с аффинными параметрами в пространстве-времени. Другими словами, свободная частица следует геодезическим. Геодезические для безмассовых частиц называются «нулевыми геодезическими», поскольку они лежат в « световом конусе » или «нулевом конусе» пространства-времени (нулевое значение возникает, потому что их внутренний продукт через метрику равен 0), массивные частицы следуют «подобно времени. геодезические », а гипотетические частицы, которые движутся быстрее света, известные как тахионы, следуют« пространственно-подобным геодезическим ».

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

Примеры в специальной теории относительности [ править ]

Специальный релятивистский 1-й гармонический осциллятор [ править ]

Для 1d релятивистского простого гармонического осциллятора лагранжиан равен [5] [6]

где k - жесткость пружины.

Специальная релятивистская постоянная сила [ править ]

Для частицы, находящейся под действием постоянной силы, лагранжиан равен [7]

где а - сила на единицу массы.

Специальная релятивистская пробная частица в электромагнитном поле [ править ]

В специальной теории относительности лагранжиан массивной заряженной пробной частицы в электромагнитном поле изменяется на [8]

Уравнения Лагранжа относительно r приводят к закону силы Лоренца в терминах релятивистского импульса

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

где u μ = dx μ / - четырехскоростная пробная частица, а A μ - четырехкомпонентный электромагнитный потенциал .

Уравнения Эйлера – Лагранжа (обратите внимание на полную производную по собственному времени, а не по координатному времени )

получает

Под полной производной по собственному времени первый член - это релятивистский импульс, второй член -

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

Лагранжева формулировка в общей теории относительности [ править ]

Лагранжиан - это лагранжиан отдельной частицы плюс член взаимодействия L I

Варьируя это относительно положения частицы r α как функции времени t, получаем

Это дает уравнение движения

куда

- негравитационная сила, действующая на частицу. (Чтобы m не зависело от времени, мы должны иметь .)

Перестановка дает уравнение силы

где Γ - символ Кристоффеля, который представляет собой поле силы тяжести.

Если мы позволим

- (кинетический) импульс для частицы с массой, то

и

справедливо даже для безмассовой частицы.

Примеры в общей теории относительности [ править ]

Общая релятивистская пробная частица в электромагнитном поле [ править ]

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

Если четыре координаты пространства-времени x µ заданы в произвольных единицах (т.е. без единиц измерения), то g µν в m 2 является симметричным метрическим тензором 2 -го ранга, который также является гравитационным потенциалом. Кроме того, A µ в В · с - это четырехвекторный электромагнитный потенциал.

См. Также [ править ]

  • Релятивистская механика
  • Основная лемма вариационного исчисления
  • Канонические координаты
  • Функциональная производная
  • Обобщенные координаты
  • Гамильтонова механика
  • Гамильтонова оптика
  • Лагранжев анализ (приложения лагранжевой механики)
  • Точка лагранжиана
  • Лагранжева система
  • Неавтономная механика
  • Ограниченная задача трех тел
  • Проблема плато

Сноски [ править ]

  1. ^ Б с The строчного элемента в квадрате является инвариантом Лоренца
    который принимает одинаковые значения во всех инерциальных системах отсчета. Здесь η αβ - компоненты метрического тензора Минковского , dx α = ( cdt , d r ) = ( cdt , dx , dy , dz ) - компоненты дифференциального вектора положения четыре , соглашение о суммировании по ковариантному и контравариантному пространству-времени индексы α и β , каждый индекс принимает значение 0 для времениподобных компонентов и 1, 2, 3 для пространственноподобных компонентов, и
    является сокращением для квадратного дифференциала координат положения частицы. Деление на c 2 dt 2 позволяет преобразовать время в лабораторные координаты следующим образом:
    так что

Заметки [ править ]

  1. Перейти ↑ Goldstein 1980 , p. 328
  2. ^ Хобсон, Efstathiou & Lasenby 2006 , стр. 79–80
  3. Перейти ↑ Foster & Nightingale, 1995 , p. 62–63
  4. ^ Хобсон, Efstathiou & Lasenby 2006 , стр. 79–80
  5. Перейти ↑ Goldstein 1980 , p. 324
  6. Перейти ↑ Hand & Finch 2008 , p. 551
  7. Перейти ↑ Goldstein 1980 , p. 323
  8. Перейти ↑ Hand & Finch 2008 , p. 534

Ссылки [ править ]

  • Пенроуз, Роджер (2007). Дорога в реальность . Винтажные книги. ISBN 978-0-679-77631-4.
  • Ландау, ЛД ; Лифшиц Е.М. (15 января 1976 г.). Механика (3-е изд.). Баттерворт Хайнеманн. п. 134 . ISBN 9780750628969.
  • Ландау, Лев ; Лифшиц, Евгений (1975). Классическая теория поля . ISBN Elsevier Ltd. 978-0-7506-2768-9.
  • Рука, LN; Финч, JD (13 ноября 1998 г.). Аналитическая механика (2-е изд.). Издательство Кембриджского университета . п. 23 . ISBN 9780521575720.
  • Луи Н. Хэнд; Джанет Д. Финч (1998). Аналитическая механика . Издательство Кембриджского университета. С. 140–141. ISBN 0-521-57572-9.
  • Гольдштейн, Герберт (1980). Классическая механика (2-е изд.). Сан-Франциско, Калифорния: Эддисон Уэсли. стр.  352 -353. ISBN 0201029189.
  • Гольдштейн, Герберт ; Пул, Чарльз П., младший; Сафко, Джон Л. (2002). Классическая механика (3-е изд.). Сан-Франциско, Калифорния: Эддисон Уэсли. С. 347–349. ISBN 0-201-65702-3.
  • Ланцош, Корнелиус (1986). «II § 5 Вспомогательные условия: лагранжев λ-метод» . Вариационные принципы механики (Перепечатка Университета Торонто, 1970, 4-е изд.). Курьер Дувр. п. 43. ISBN 0-486-65067-7.
  • Фейнман, Р.П . ; Лейтон, РБ ; Сэндс, М. (1977) [1964]. Лекции Фейнмана по физике . 2 . Эддисон Уэсли. ISBN 0-201-02117-X.CS1 maint: ref=harv (link)
  • Фостер, Дж; Соловей, JD (1995). Краткий курс общей теории относительности (2-е изд.). Springer. ISBN 0-03-063366-4.
  • М. П. Хобсон; GP Efstathiou; А. Н. Ласенби (2006). Общая теория относительности: введение для физиков . Издательство Кембриджского университета. С. 79–80. ISBN 9780521829519.