изменения во времени были бы равны нулю; здесь та же самая история. Под «минимумом» мы на самом деле подразумеваем, что в первом порядке малости изменения величины S при отклонениях от пути должны быть равны нулю. И это не обязательно «минимум».
Теперь я хочу перейти к некоторым обобщениям. В первую очередь всю эту историю можно было бы проделать и в трех измерениях. Вместо простого x я тогда имел бы x, у и z как функции t, и действие выглядело бы посложнее. При трехмерном движении вы должны использовать полную кинетическую энергию: (m/2), умноженное на квадрат всей скорости. Иначе говоря
Кроме того, потенциальная энергия теперь является функцией x, у и z. А что можно сказать о пути? Путь есть некоторая кривая общего вида в пространстве; ее не так легко начертить, но идея остается прежней. А как обстоит дело с η? Что ж, и η имеет три компоненты. Путь можно сдвигать и по x, и по у, и по z, или во всех трех направлениях одновременно. Так что η теперь вектор. От этого сильных усложнений не получается. Раз нулю должны быть равны лишь вариации первого порядка, то можно провести расчет последовательно с тремя сдвигами. Сперва можно сдвинуть η только в направлении x и сказать, что коэффициент должен обратиться в нуль. Получится одно уравнение. Потом мы сдвинем η в направлении у и получим второе. Затем сдвинем в направлении z и получим третье. Можно все, если угодно, проделать в другом порядке. Как бы то ни было, возникает тройка уравнений. Но ведь закон Ньютона — это тоже три уравнения в трех измерениях, по одному для каждой компоненты. Вам предоставляется самим убедиться, что это все действует и в трех измерениях (работы здесь не так много). Между прочим, можно взять какую угодно систему координат, полярную, любую, и сразу получить законы Ньютона применительно к этой системе, рассматривая, что получится, когда произойдет сдвиг η вдоль радиуса или по углу, и т. д.
Метод может быть обобщен и на произвольное число частиц. Если, скажем, у вас есть две частицы и между ними действуют какие-то силы и имеется взаимная потенциальная энергия, то вы просто складываете их кинетические энергии и вычитаете из суммы потенциальную энергию взаимодействия. А что вы варьируете? Пути обеих частиц. Тогда для двух частиц, движущихся в трех измерениях, возникает шесть уравнений. Вы можете варьировать положение частицы 1 в направлении x, в направлении у и в направлении z, и то же самое проделать с частицей 2, так что существует шесть уравнений. И так и должно быть. Три уравнения определяют ускорение частицы 1 через силу, действующую на нее, а три других — ускорение частицы 2 из-за силы, действующей на нее. Следуйте всегда тем же правилам игры, и вы получите закон Ньютона для произвольного числа частиц.
Я сказал, что мы получим закон Ньютона. Это не совсем верно, потому что в закон Ньютона входят и неконсервативные силы, например трение. Ньютон утверждал, что та равно всякой F. Принцип же наименьшего действия справедлив только для консервативных систем, таких, где все силы могут быть получены из потенциальной функции. Но ведь вы знаете, что на микроскопическом уровне, т. е. на самом глубинном физическом уровне, неконсервативных сил не существует. Неконсервативные силы (такие, как трение) появляются только от того, что мы пренебрегаем микроскопическими сложными эффектами: просто слишком много частиц приходится анализировать. Фундаментальные же законы могут быть выражены в виде принципа наименьшего действия.
Позвольте перейти к дальнейшим обобщениям. Положим, нас интересует, что будет, когда частица движется релятивистски. Пока мы не получили правильного релятивистского уравнения движения; F=ma верно только в нерелятивистских движениях. Встает вопрос: существует ли в релятивистском случае соответствующий принцип наименьшего действия? Да, существует. Формула в релятивистском случае такова:
Первая часть интеграла действия — это произведение массы покоя m0 на с2 и на интеграл от функции скорости √(1-v2/c2). Затем вместо того, чтобы вычитать потенциальную энергию, мы имеем интегралы от скалярного потенциала φ и от векторного потенциала А, умноженного на v. Конечно, здесь приняты во внимание только электромагнитные силы. Все электрические и магнитные поля выражены в терминах φ и А. Такая функция действия дает полную теорию релятивистского движения отдельной частицы в электромагнитном поле.
Конечно, вы должны понимать, что всюду, где я написал v, прежде чем делать выкладки, следует подставить dx/dt вместо vx и т. д. Кроме того, там, где я писал просто х, у, z, вы должны представить себе точки в момент t: x(t), y(t), z(t). Собственно, только после таких подстановок и замен v у вас получится формула для действия релятивистской частицы. Пусть самые умелые из вас попытаются доказать, что эта формула для действия действительно дает правильные уравнения движения теории относительности. Позвольте лишь посоветовать для начала отбросить А, т. е. обойтись пока без магнитных полей. Тогда вы должны будете получить компоненты уравнения движения dp/dt=-q∇φ, где, как вы, вероятно, помните, p=mv/√(1-v2/с2).
Включить в рассмотрение векторный потенциал А намного труднее. Вариации тогда становятся несравненно более сложными. Но в конце сила оказывается равной тому, чему следует: q(E+v×B). Но позабавьтесь с этим сами.
Мне хотелось бы подчеркнуть, что в общем случае (к примеру, в релятивистской формуле) под интегралом в действии уже не стоит разность кинетической и потенциальной энергий. Это годилось только в нерелятивистском приближении. Например, член m0c2√(1-v2/с2) — это не то, что называют кинетической энергией. Вопрос о том, каким должно быть действие для произвольного частного случая, может быть решен после некоторого числа проб и ошибок. Это задача того же типа, что и определение, каковы должны быть уравнения движения. Вы просто должны поиграть с известными вам уравнениями и посмотреть, можно ли их написать в виде принципа наименьшего действия.
Еще одно замечание по поводу терминологии. Ту функцию, которую интегрируют по времени, чтобы получить действие S, называют лагранжианом ℒ. Это функция, зависящая только от скоростей и положений частиц. Так что принцип наименьшего действия записывается также в виде
где под xi и vi подразумеваются все компоненты координат и скоростей. Если вы когда-нибудь услышите, что кто-то говорит о «лагранжиане», знайте, что речь идет о функции, применяемой для получения S. Для релятивистского движения в электромагнитном поле
Кроме того, я должен отметить, что самые дотошные и педантичные люди не называют S действием. Его именуют «первой главной функцией Гамильтона». Но читать лекцию о «принципе наименьшей первой главной функции Гамильтона» было свыше моих сил. Я назвал это «действием». Да к тому же все больше и больше людей называют это «действием». Видите ли, исторически действием было названо нечто другое, не столь полезное для науки, но я думаю, что разумнее изменить определение. Теперь и вы начнете именовать новую функцию действием, а вскоре и все вообще станут называть ее этим простым именем.
Теперь я хочу сообщить вам по поводу нашей темы кое-что, похожее на те рассуждения, которые я вел по поводу принципа кратчайшего времени. Существует разница в самом существе закона, утверждающего, что некоторый интеграл, взятый от одной точки до другой, имеет минимум,— закона, который сообщает нам что-то обо всем пути сразу, и закона, который говорит, что когда вы двигаетесь, то, значит, есть сила, приводящая к ускорению. Второй подход докладывает вам о каждом вашем шаге, он прослеживает ваш путь пядь за пядью, а первый выдает сразу какое-то общее утверждение обо всем пройденном пути. Толкуя о свете, мы говорили о связи этих двух подходов. Теперь я хочу объяснить вам, отчего должны существовать дифференциальные законы, если имеется такой принцип — принцип наименьшего действия. Причина вот в чем: рассмотрим действительно пройденный в пространстве и времени путь. Как и прежде, обойдемся одним измерением, так что можно будет начертить график зависимости x от t. Вдоль истинного пути S достигает минимума. Положим, что у нас есть этот путь и что он проходит через некоторую точку а пространства и времени и через другую соседнюю точку b.
Теперь, если весь интеграл от t1 до t2 достиг минимума, необходимо, чтобы интеграл вдоль маленького участочка от а до b тоже был минимальным. Не может быть, чтобы часть от а до b хоть чуточку превосходила минимум. Иначе вы могли бы подвигать туда-сюда кривую на этом участочке и снизить немного значение всего интеграла.
Значит, любая часть пути тоже должна давать минимум. И это справедливо для каких угодно маленьких долек пути. Поэтому тот принцип, что весь путь должен давать минимум, можно сформулировать, сказав, что бесконечно малая долька пути — это тоже такая кривая, на которой действие минимально. И если мы возьмем достаточно короткий отрезок пути — между очень близкими друг к другу точками а и b,— то уже неважно, как меняется потенциал от точки к точке вдали от этого места, потому что, проходя весь ваш коротенький отрезочек, вы почти не сходите с места. Единственное, что вам нужно учитывать,— это изменение первого порядка малости в потенциале. Ответ может зависеть только от производной потенциала, а не от потенциала в других местах. Так, утверждение о свойстве всего пути в целом становится утверждением о том, что происходит на коротком участке пути, т. е. дифференциальным утверждением. И эта дифференциальная формулировка включает производные от потенциала, т. е. силу в данной точке. Таково качественное объяснение связи между законом в целом и дифференциальным законом.