Путаница в отношении принципа наименьшего действия в «Классической теории поля» Ландау и Лифшица.

Редактировать: предыдущий заголовок на самом деле не задавал то же самое, что и вопрос (извините за это), поэтому я изменил его. Чтобы уточнить, я понимаю, что действие не всегда является минимальным. Мои вопросы в пунктах 1. и 2. ниже.


Я понимаю, что термин «принцип наименьшего действия» является несколько неправильным, поскольку мы обнаруживаем, что для определения пути, по которому движется система, нам нужно только наложить условие стационарности действия, т. е. дельта С должны обращаться в нуль в первом порядке при малых вариациях пути, и это приводит к уравнениям Эйлера-Лагранжа.

В «Классической теории поля » Ландау и Лифшиц обсуждают релятивистское действие свободной частицы:

Значит, для свободной частицы действие должно иметь вид

С знак равно α а б г с

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

Также есть сноска, рассмотренная парой абзацев ранее, но имеющая отношение к делу:

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

У меня два вопроса по этому поводу:

  1. Как формулируется условие «действие должно быть минимальным при бесконечно малых перемещениях»? Я никогда не слышал об этом, кроме книг Ландау и Лифшица, и в « Механике » они тоже упоминают об этом, но не вдаются в подробности. Где-то это обсуждается подробнее?

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

Также можно привести примеры, когда истинный путь минимального расстояния не решает проблему Эйлера-Лагранжа. Возьмем, например, р 2 с удаленным единичным кругом и его внутренностью, и попытаться экстремировать путь от ( 2 , 0 ) к ( 2 , 0 )
Для потомков я оставляю здесь ссылку на числовую демонстрацию двух лучших ответов ниже (от Qmechanic и auxsvr). Я решаю движение простого гармонического осциллятора двумя способами: интегрируя ОДУ Эйлера-Лагранжа (типично) и дискретизируя сам функционал действия, чтобы его можно было численно минимизировать (подумайте о градиентном спуске, хотя я использовал SQP).
^ Они дают идентичные результаты, когда продолжительность моделирования меньше «характерного времени», которое объяснил Qmechanic. Кроме того, подход минимизации дает бессмыслицу, указывая на то, что физическое решение всегда имеет стационарное действие, но не всегда минимальное действие, даже для очень простых/фундаментальных систем. (Сопряженная) точка, в которой минимизация прерывается, - это именно та точка, которая теоретически рассчитана в ответе auxsvr.

Ответы (4)

Возможно, уместно привести простой пример. Рассмотрим простой гармонический осциллятор (SHO) .

(1) С   знак равно   т я т ф г т   л , л   знак равно   м 2 Икс ˙ 2 к 2 Икс 2 ,

с характерной частотой

(2) 2 π Т   знак равно   ю   знак равно   к м ,

и граничные условия Дирихле

(3) Икс ( т я )   знак равно   Икс я а также Икс ( т ф )   знак равно   Икс ф .

Можно показать , что классический путь является минимумом для действия (1) только в том случае, если период времени

(4) Δ т   знак равно   т ф т я     Т 2

меньше характерного масштаба времени Т 2 проблемы. (Если Δ т знак равно Т 2 существует нулевая мода.) Для Δ т > Т 2 классический путь уже не является минимумом для действия (1), а лишь седловой точкой. Если рассматривать все больше и больше Δ т , каждый раз развивается/появляется новый негативный модус/направление Δ т пересекает несколько Т 2 .

Именно такие примеры исх. 1. имеет в виду, когда говорит, что принцип наименьшего действия на самом деле является принципом стационарного действия. Вышеупомянутое явление является довольно общим и связано с сопряженными точками /поворотными точками и теорией Морса . В квазиклассическом расширении квантовой механики такое поведение влияет на метаплектическую поправку / индекс Маслова . См., например, ссылку. 2 для получения дополнительной информации.

Аналогичное явление имеет место в геометрической оптике , где легко построить примеры световых путей, которые не минимизируют время, ср. Принцип наименьшего времени Ферма .

Использованная литература:

  1. Ландау и Лифшиц, Том 2, Классическая теория поля, с. 24.

  2. В. Дитрих и М. Рейтер, Классическая и квантовая динамика , 1992, глава 3.

Относительно второго вопроса ОП (v2): в квантовой механике общий знак действия С в интеграле по траекториям связано с унитарностью , т. е. с тем, что гамильтониан должен быть ограничен снизу. Чтобы узнать о нестандартных знаках, см., например, этот пост Phys.SE.
См. также соответствующий пост Phys.SE.

Ответы на ваши вопросы даны в Вариационное исчисление , Гельфанд, 2000, раздел 36.2. Сначала нам понадобится теорема:

Функционал С [ Икс ] знак равно а б л ( т , Икс , Икс ˙ ) г т , Икс ( а ) знак равно А , Икс ( б ) знак равно Б должны удовлетворять следующим условиям, чтобы иметь слабый минимум для Икс знак равно Икс ( т ) :

  1. Кривая Икс ( т ) удовлетворяет уравнению Эйлера-Лагранжа, а именно является экстремалью,
  2. Икс ˙ Икс ˙ л | Икс ( т ) > 0 ,
  3. Интервал [ а , б ] не содержит точек, сопряженных с а .

Определение сопряженных точек находится на стр.114.

  1. Примером, иллюстрирующим это, является гармонический осциллятор,
    м Икс ¨ + к Икс знак равно 0 , Икс ( 0 ) знак равно 0 , Икс ˙ ( 0 ) знак равно 1
    с раствором Икс ( т ) знак равно 1 ю грех ( ю т ) , ю к м и действие
    С [ Икс ] знак равно 1 2 а б м Икс ˙ 2 к Икс 2 г т .
    Точки ( т знак равно π / ю , Икс знак равно 0 ) а также ( т знак равно 0 , Икс знак равно 0 ) сопряжены, так как каждая экстремаль, начиная с Икс ( 0 ) знак равно 0 пересекает упомянутое решение в точке ( π / ю , 0 ) . Условия предыдущей теоремы для минимума выполняются при 0 а т < π / ю а не для увеличенных интервалов.
  2. На стр. 161 Гельфанд показывает, что для колеблющейся струны с закрепленными концами не существует интервала времени без пары сопряженных точек, поэтому мы не можем гарантировать, что решение волнового уравнения вообще минимизирует действие. Затем он заявляет, что именно по этой причине мы заменяем принцип наименьшего действия принципом стационарного действия для механических систем.

Я думаю, что это может быть какое-то дурацкое соглашение о знаках Ландау, потому что в принципе мы можем установить:

а б г с знак равно а б г с г п г п знак равно а б ± ± η мю ν г Икс мю г п г Икс ν г п г п

Поскольку мы вмешиваемся со знаком внутри квадратного корня в зависимости от того, исследуем ли пространственно-подобные/временноподобные кривые Икс мю ( п ) , мы также можем поставить минус впереди, чтобы обозначить, что мы работаем с другим типом «длины», чем в обычном пространстве. В этом случае мы действительно получили бы минимум с множителем α .

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

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

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

Я знаю, что этот вопрос был задан в 2014 году, поэтому вполне вероятно, что за прошедшие годы вы нашли на него ответ.

Но на всякий случай я все равно отправляю этот ответ.

Предыстория ответа, который я здесь представляю, — это описание стационарного действия Гамильтона, которое я представил на physics.SE в октябре 2021 года.

В этом ответе я буду обсуждать, в каких случаях истинная траектория соответствует минимуму действия Гамильтона, а в каких случаях истинная траектория соответствует максимуму действия Гамильтона. Я также обсужу, какой случай является критическим и находится на пороге перехода от минимума к максимуму.


Я буду обсуждать упрощенный случай движения в одном пространственном измерении; обобщение до 3 пространственных измерений является прямым.

Я последовательно рассмотрю следующие три случая:

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

Изменение пробной траектории является изменением координаты положения.

При изменении пробной траектории оценка сравнивает отклик кинетической энергии с откликом потенциальной энергии.

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


Потенциал увеличивается линейно с перемещением

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

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


Потенциал увеличивается квадратично с перемещением

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

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

Стационарное действие Гамильтона воспроизводит указанное выше свойство амплитуды.

Оценить квадратичный потенциал за интервал времени, равный половине периода полного колебания. Итак: если период колебаний 2 π секунд, затем оцените из т знак равно 0 к т знак равно π В этом случае при интервале времени, равном половине периода, установка координаты начального положения на ноль означает, что координата конечного положения будет равна нулю.

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

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

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


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

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


Потенциал возрастает пропорционально кубу водоизмещения

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

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

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

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

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


Обратите внимание, например, что уравнение Эйлера-Лагранжа не зависит от того, соответствует ли идентифицируемая им траектория минимуму или максимуму действия Гамильтона. Является ли действие Гамильтона минимальным или максимальным, не имеет значения. Единственное релевантное свойство состоит в том, что вы определяете точку, в которой действие Гамильтона является стационарным .



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

Чтобы понять почему, нарисуйте на той же диаграмме квадратичную функцию ф ( Икс ) знак равно Икс 2 и кубическая функция грамм ( Икс ) знак равно Икс 3 . При достаточном расстоянии по горизонтальной оси кубическая функция всегда будет опережать квадратичную функцию, но кубическая функция вначале медленнее.

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

Из-за этой проблемы масштабирования: при сужении до достаточно узкого определенного интервала времени действие Гамильтона будет минимальным даже при потенциале выше квадратичного.

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



«Стационарное действие» против «наименьшего действия»

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

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

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

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