Редактировать: предыдущий заголовок на самом деле не задавал то же самое, что и вопрос (извините за это), поэтому я изменил его. Чтобы уточнить, я понимаю, что действие не всегда является минимальным. Мои вопросы в пунктах 1. и 2. ниже.
Я понимаю, что термин «принцип наименьшего действия» является несколько неправильным, поскольку мы обнаруживаем, что для определения пути, по которому движется система, нам нужно только наложить условие стационарности действия, т. е. должны обращаться в нуль в первом порядке при малых вариациях пути, и это приводит к уравнениям Эйлера-Лагранжа.
В «Классической теории поля » Ландау и Лифшиц обсуждают релятивистское действие свободной частицы:
Значит, для свободной частицы действие должно иметь вид
(...) Легко видеть, что должна быть положительной величиной для всех частиц. На самом деле, как мы видели [ранее], имеет максимальное значение вдоль прямой мировой линии; интегрируя вдоль кривой мировой линии, мы можем сделать интеграл сколь угодно малым. Таким образом, интеграл со знаком плюс не может иметь минимума; с обратным знаком явно имеет минимум вдоль мировой прямой.
Также есть сноска, рассмотренная парой абзацев ранее, но имеющая отношение к делу:
Строго говоря, принцип наименьшего действия утверждает, что интеграл должна быть минимальной только для бесконечно малых длин пути интегрирования. Для путей произвольной длины мы можем сказать только, что должен быть экстремум, а не обязательно минимум.
У меня два вопроса по этому поводу:
Как формулируется условие «действие должно быть минимальным при бесконечно малых перемещениях»? Я никогда не слышал об этом, кроме книг Ландау и Лифшица, и в « Механике » они тоже упоминают об этом, но не вдаются в подробности. Где-то это обсуждается подробнее?
Если для всего пути действие должно быть только стационарным, как мы можем привести аргумент в пользу отрицательного знака? Если бы действие должно было быть минимальным, тогда это имело бы смысл, но, конечно же, тот факт, что = 0 не зависит от общего знака?
Возможно, уместно привести простой пример. Рассмотрим простой гармонический осциллятор (SHO) .
с характерной частотой
и граничные условия Дирихле
Можно показать , что классический путь является минимумом для действия (1) только в том случае, если период времени
меньше характерного масштаба времени проблемы. (Если существует нулевая мода.) Для классический путь уже не является минимумом для действия (1), а лишь седловой точкой. Если рассматривать все больше и больше , каждый раз развивается/появляется новый негативный модус/направление пересекает несколько .
Именно такие примеры исх. 1. имеет в виду, когда говорит, что принцип наименьшего действия на самом деле является принципом стационарного действия. Вышеупомянутое явление является довольно общим и связано с сопряженными точками /поворотными точками и теорией Морса . В квазиклассическом расширении квантовой механики такое поведение влияет на метаплектическую поправку / индекс Маслова . См., например, ссылку. 2 для получения дополнительной информации.
Аналогичное явление имеет место в геометрической оптике , где легко построить примеры световых путей, которые не минимизируют время, ср. Принцип наименьшего времени Ферма .
Использованная литература:
Ландау и Лифшиц, Том 2, Классическая теория поля, с. 24.
В. Дитрих и М. Рейтер, Классическая и квантовая динамика , 1992, глава 3.
Ответы на ваши вопросы даны в Вариационное исчисление , Гельфанд, 2000, раздел 36.2. Сначала нам понадобится теорема:
Функционал , , должны удовлетворять следующим условиям, чтобы иметь слабый минимум для :
- Кривая удовлетворяет уравнению Эйлера-Лагранжа, а именно является экстремалью,
- ,
- Интервал не содержит точек, сопряженных с .
Определение сопряженных точек находится на стр.114.
Я думаю, что это может быть какое-то дурацкое соглашение о знаках Ландау, потому что в принципе мы можем установить:
Поскольку мы вмешиваемся со знаком внутри квадратного корня в зависимости от того, исследуем ли пространственно-подобные/временноподобные кривые , мы также можем поставить минус впереди, чтобы обозначить, что мы работаем с другим типом «длины», чем в обычном пространстве. В этом случае мы действительно получили бы минимум с множителем .
Вся эта штука с "минимумом действия" является скорее историческим реликтом из натурфилософии и верна только для специальных лагранжианов. Например, при гравитационном линзировании (то есть нуль-геодезических в теории относительности) несколько изображений получаются несколькими экстремальными путями, из которых по крайней мере один является максимальным (в случае нескольких изображений для одного изображения он является минимальным).
Однако для практического исследования минимума можно разложить лагранжиан , как при обычном выводе уравнений Эйлера-Лагранжа, но до второго порядка по вариации траектории . В первом порядке вы получаете уравнения Эйлера-Лагранжа, которые вы должны решить в общем случае. Затем решение подставляется в разложение второго порядка, которое приводит к исчезновению первого порядка, и затем вы должны исследовать знак полученного выражения.
Я знаю, что этот вопрос был задан в 2014 году, поэтому вполне вероятно, что за прошедшие годы вы нашли на него ответ.
Но на всякий случай я все равно отправляю этот ответ.
Предыстория ответа, который я здесь представляю, — это описание стационарного действия Гамильтона, которое я представил на physics.SE в октябре 2021 года.
В этом ответе я буду обсуждать, в каких случаях истинная траектория соответствует минимуму действия Гамильтона, а в каких случаях истинная траектория соответствует максимуму действия Гамильтона. Я также обсужу, какой случай является критическим и находится на пороге перехода от минимума к максимуму.
Я буду обсуждать упрощенный случай движения в одном пространственном измерении; обобщение до 3 пространственных измерений является прямым.
Я последовательно рассмотрю следующие три случая:
Изменение пробной траектории является изменением координаты положения.
При изменении пробной траектории оценка сравнивает отклик кинетической энергии с откликом потенциальной энергии.
Скорость изменения пробной траектории распространяется на скорость вдоль пробной траектории. Как известно: выражение кинетической энергии пропорционально квадрату скорости. Поэтому реакция кинетической энергии на вариацию во всех случаях является квадратичной функцией.
Потенциал увеличивается линейно с перемещением
Когда потенциальная энергия увеличивается линейно со смещением, мы имеем, что реакция потенциальной энергии на изменение пробной траектории является линейной .
По этой причине: когда потенциальная энергия возрастает линейно со смещением, истинная траектория соответствует минимуму действия Гамильтона.
Потенциал увеличивается квадратично с перемещением
Как известно: в идеализированном случае силы, возрастающей точно пропорционально перемещению (совершенный закон Гука), решением уравнения движения являются гармонические колебания.
Как известно: идеализированные гармонические колебания обладают следующим свойством: период колебаний не зависит от амплитуды. Другими словами: при заданном квадратичном потенциале каждая амплитуда колебаний имеет один и тот же период колебаний .
Стационарное действие Гамильтона воспроизводит указанное выше свойство амплитуды.
Оценить квадратичный потенциал за интервал времени, равный половине периода полного колебания. Итак: если период колебаний секунд, затем оцените из к В этом случае при интервале времени, равном половине периода, установка координаты начального положения на ноль означает, что координата конечного положения будет равна нулю.
Тогда оценка получается следующей: для каждой амплитуды колебаний действие Гамильтона равно нулю .
Действие Гамильтона равно нулю, потому что в случае гармонических колебаний и кинетическая энергия, и потенциальная энергия квадратично реагируют на изменение пробной траектории; ответы равны.
Суммирование:
в случае закона Гука, оцененного для временного интервала, который составляет половину периода колебаний (или любого целого числа, кратного этому), мы имеем, что действие Гамильтона оценивается как ноль для каждой амплитуды колебаний.
Фундаментальным свойством идеализированных гармонических колебаний является то, что период колебаний не зависит от амплитуды. Действие Гамильтона соответствует этому: для каждой амплитуды колебаний действие Гамильтона равно нулю
Следовательно:
Чтобы рассчитать реальную амплитуду колебаний для какого-то конкретного случая, необходимо задать дополнительное начальное условие . Только с граничными условиями проблема недоопределена.
Потенциал возрастает пропорционально кубу водоизмещения
Позвольте мне сделать сравнение. В физике демпфирования есть естественное подразделение на недостаточное демпфирование, критическое демпфирование и избыточное демпфирование. Случаи линейного потенциала, квадратичного потенциала и потенциала, пропорционального кубу смещения, подпадают под аналогичное подразделение.
Критический случай: и
кинетическая , и потенциальная энергии квадратично реагируют на изменение пробной траектории.
Подкритический:
всякий раз, когда реакция потенциальной энергии на изменение пробной траектории имеет более низкий порядок, чем квадратичный, истинная траектория соответствует минимуму действия Гамильтона.
Сверхкритический:
всякий раз, когда реакция потенциальной энергии на изменение пробной траектории имеет порядок более высокого порядка, чем квадратичный, истинная траектория соответствует максимуму действия Гамильтона.
Для акцента позвольте мне повторить:
существуют классы случаев, когда истинная траектория соответствует максимуму действия Гамильтона.
Обратите внимание, например, что уравнение Эйлера-Лагранжа не зависит от того, соответствует ли идентифицируемая им траектория минимуму или максимуму действия Гамильтона. Является ли действие Гамильтона минимальным или максимальным, не имеет значения. Единственное релевантное свойство состоит в том, что вы определяете точку, в которой действие Гамильтона является стационарным .
Однако в сверхкритическом случае есть поворот.
Если потенциальная энергия как функция положения пропорциональна кубу (или выше), то оценка действия Гамильтона должна производиться на достаточно большом интервале времени .
Чтобы понять почему, нарисуйте на той же диаграмме квадратичную функцию и кубическая функция . При достаточном расстоянии по горизонтальной оси кубическая функция всегда будет опережать квадратичную функцию, но кубическая функция вначале медленнее.
Таким образом, существует проблема масштабирования . Ниже некоторого масштаба квадратичная функция круче кубической; чтобы кубическая функция победила, оценка должна распространяться на достаточно длинный масштаб.
Из-за этой проблемы масштабирования: при сужении до достаточно узкого определенного интервала времени действие Гамильтона будет минимальным даже при потенциале выше квадратичного.
По моей оценке, Ландау заметил такое поведение в математике и впоследствии решил утверждать его как свойство, пусть и без объяснения причин. Я предполагаю, что если бы Ландау знал объяснение, он дал бы объяснение.
«Стационарное действие» против «наименьшего действия»
Как известно, в подавляющем большинстве практических случаев отклик потенциальной энергии на изменение пробной траектории имеет меньший порядок, чем квадратичный. Две важные вещи, гравитация и сила Кулона, являются законами силы обратных квадратов.
Критический случай, гармоническое колебание, конечно, тоже вездесущ. (С другой стороны, критическим является идеализированный случай, и я не уверен, есть ли в классической механике случаи, когда колебание физически является идеализированным гармоническим колебанием.)
Случаи, когда потенциал возрастает с кубом смещения (или более высоким порядком), редки, но они есть.
Переход от минимума к максимуму при движении от недокритического к сверхкритическому демонстрирует, что в основе своей критерием является определение точки стационарного действия .
Джерри Ширмер
jnez71
jnez71