От вида с горного перевала захватывает дух, и ты застываешь, наслаждаясь бесконечными изгибами гор и манящими долинами, раскинувшимися под бескрайним небом.
То есть дух бы наверняка захватывало, если бы ты мог нормально дышать… Ты немедленно начинаешь корить себя за то, что наслаждаться было бы гораздо легче, если бы твоя лошадь не сбежала, или повозка, в которую погружен весь твой скарб (и которую ты так легкомысленно отцепил от лошади), могла бы передвигаться сама по себе, или хотя бы дорога, по которой ты вынужден ее тащить, была бы сухой, а не размокшей из-за недавнего ливня.
Ниже по склону ты видишь паутину троп, оставленных многочисленными спускающимися с перевала караванами. Ты слишком устал, чтобы как следует обдумать, какой путь самый лучший, и начинаешь спускаться по первой попавшейся тропе. Но очень скоро ты осознаешь, что ошибся, и приходишь к двум важным заключениям.
Во-первых, повозка слишком тяжела, чтобы ты смог протащить ее по поднимающейся вверх тропе на заметное расстояние. Если же уклон становится слишком пологим, повозка увязает и ее очень трудно сдвинуть – и значит, существует минимальная крутизна тропинки, при которой ты с твоей повозкой можешь передвигаться.
Во-вторых, пользоваться крутыми спусками гораздо легче и приятнее. Но если выбирать только их, то часть времени неизбежно придется либо перемещаться по слишком пологим участкам, либо подниматься в гору. Соответственно, ты должен найти баланс между крутыми участками пути и участками более пологими, которых на твоем пути больше. Наконец ты видишь вдалеке свою цель – все тропинки сходятся там у реки, которая разливается по равнине. Но вот вопрос: по какой тропе ты можешь попасть туда с наименьшими усилиями?
Твои ноги гудят от усталости. Ты вспоминаешь, что вся еда осталась в тюках, навьюченных на лошадь, и что ты уже давно не ел. Руки и спина ноют от тяжелой ноши.
Сложная сеть скрещивающихся троп протянулась на многие мили вниз по склону горы. Но как выбрать свою тропу?
Так выбери же ту, что подходит именно тебе!
Поэт мог бы сказать, что вода течет с горы вниз из-за того, что ее притягивает море, но физик и обычный смертный скажет, что она течет так, как течет в каждой точке из-за того, что так устроена земная поверхность в данной точке, независимо от того, что лежит впереди.
Бертран Рассел «Азбука относительности»
Проблема спуска с горы с затратой наименьшего усилия – это очень распространенный тип задачи о том, как выбрать путь в пространстве, когда какой-то параметр минимизируется. Например, мы часто ищем путь наименьшей длины, то есть хотим попасть к месту назначения самым быстрым из всех возможных способом. Эта задача предполагает, что вы – в уме или на бумаге – перечислите возможные пути, измерите их длину и найдете кратчайший. Но вскоре вы можете обнаружить, что кратчайший и быстрейший пути – это не одно и то же: иногда по более длинной автостраде вы доедете гораздо быстрее, чем по короткой проселочной дороге. Чтобы найти самый быстрый путь, вы должны каждый из возможных путей разбить на сегменты длиной A d и в каждом сегменте оценить скорость v, с которой вы можете преодолеть этот сегмент. Время, за которое вы преодолеваете данный сегмент, равно ∆t = ∆d/v, а суммируя время по всем сегментам, вы получаете общее время, которое затрачивается при движении по этому пути. Сравнивая времена, относящиеся ко всем возможным путям, вы находите самый быстрый.
Задача нахождения легчайшего пути при спуске с горы немного другая. Ваша цель – не побыстрее спуститься с горы, а затратить при этом как можно меньше усилий. Сложность состоит в том, что после того как вы спуститесь с определенной высоты, вам придется преодолеть горизонтальный участок (чтобы попасть к выходу реки на равнину). Вы можете выбрать пологие участки, по которым спускаться тяжелее, но которые зато покрывают большую часть пути, а можете выбрать крутые участки, где спускаться хотя и легче, но высота теряется слишком быстро. Мы можем написать выражение для усилия в виде:
Здесь сложность определяется тем, с каким напряжением вам придется спуститься с данной высоты. И мы знаем, что сложность тем больше, чем более плоска на данном участке тропа.
Мы, как и в случае сложения интервалов времени при движении между двумя точками пространства, должны суммировать усилия при спуске от начальной точки до конечной, разделив весь путь на маленькие отрезки. Затем для каждого такого маленького отрезка мы умножим потерю высоты на этом отрезке на сложность его преодоления и в результате найдем усилие, затраченное на спуск на этом сегменте пути. Суммируя все эти небольшие усилия, мы получим полное усилие, затраченное на весь спуск с горы.
Процедура расчета проста: и для вычисления времени, затраченного на путь, и для вычисления усилий, затраченных на спуск, мы должны сначала разделить весь путь на сегменты, затем умножить каждый интервал на некую величину – назовем ее, скажем, L, и наконец просуммировать все произведения. Величина L может зависеть от различных особенностей пути, например, от скорости или от того, насколько тяжело приходится работать, спускаясь со склона с заданной крутизной. Нахождение оптимального пути сводится к тому, чтобы просуммировать L по каждому пути, получить для него значение суммы – назовем ее S, – а затем выбрать путь с минимальным S. И этим способом находится как путь с минимальным временем, так и путь с минимальным затраченным усилием.
Это похоже на решаемую нами проблему, а значит, нужно рассмотреть все возможные пути, ведущие вниз с горы, разбить каждый из них на сегменты, найти крутизну каждого сегмента, определить, насколько сложно будет тащить повозку по склону с данной крутизной (имея в виду, что крутизна не может быть ниже критической величины, так как при меньшей крутизне повозка двигаться не будет), умножить сложность преодоления этого участка на его высоту и просуммировать результаты по всем сегментам. Повторить эту процедуру для всех троп и в конце концов найти ту, для которой суммарное усилие окажется наименьшим.
Что-то слишком уж трудоемко, правда? И как же вы поступите на практике? Разумеется, не так – следовать правилам слишком сложно. Вместо этого вы скорее всего выберете путь с разумным перепадом высоты при разумной длине пути – то есть самую подходящую тропу. Для начала вы хорошенько осмотритесь, наметите еще сверху, с перевала, соответствующее направление – так, чтобы не застрять где-то, а затем справитесь со спуском и вдобавок получите удовольствие от окружающего пейзажа.
И разве не удивительно, что, спустившись по выбранной тропе, вы обнаружите, что выбрали в точности самый простой из всех возможных путей, ни разу не сделав неправильного поворота?
И это как раз то самое, что делают физические частицы! Через 150 лет после Галилея Джозеф Луи Лагранж вывел замечательную систему уравнений, в которых лагранжиан (мы ввели обозначение L не случайно) связывается с силой, действующей на частицу, перемещающуюся в пространстве-времени между двумя событиями. Эти уравнения позволяют нам взглянуть на ту же физику, то есть на законы, которые определяют то, как объекты перемещаются в пространстве и времени, с двух разных, но эквивалентных точек зрения.
С одной точки зрения (с которой мы уже познакомились), объект в каждый момент подвергается действию силы, принуждающей его изменить скорость определенным образом. Действие этой силы во времени определяет траекторию частицы.
С другой точки зрения, данный путь в целом «отбирается» природой из всех возможных путей, поскольку на нем достигается минимум или максимум (экстремум) суммарной величины L. Этот метод, у которого есть и другие приложения, часто называют принципом наименьшего действия (хотя, как мы вскоре увидим, это название слегка сбивает с толку, поскольку иногда это на самом деле принцип наибольшего действия). Данный метод и метод сил и скоростей приводят в точности к одним и тем же результатам. Замечательно!
Но как быть с частицей, на которую не действует никакая сила? Мы вместе с Галилеем видели, что она должна двигаться по прямой, а это значит, что ее скорость не должна меняться. Но мы также можем идентифицировать прямой путь как путь, при котором расстояние в пространстве минимально. Для расчета пространственного расстояния мы разбиваем путь на маленькие кусочки и суммируем их физические длины. В этом смысле, если не приложены силы, суммарный лагранжиан L есть просто физическое расстояние.
Мы с вами можем предпринять еще кое-что. Для Галилея говорить только о пространстве – это нормально. Но если мы хотим следовать Эйнштейну, то должны рассматривать пространство и время совместно. Вспомним: обсуждая БАШНЮ, мы поняли, что объект, на который не действуют силы, движется по прямой в пространстве-времени. Можем ли мы определить эту траекторию с помощью минимизации (максимизации) какой-либо величины? Да, но с осторожностью – эта величина должна иметь физический смысл и быть однозначно определенной, а не чем-то вроде проходимого в пространстве расстояния или затраченного на него времени. Действительно в коане «ВЕНЕЦИАНСКИЕ СНЫ» мы видели, что и то, и другое – величины относительные, то есть зависящие от системы отсчета.
Предположим, что к нашему объекту, движущемуся в пространстве-времени, приделаны часы; если же это человек, то у него есть внутренние часы – сердце (будем называть отсчитанное им время собственным временем). Поскольку между двумя событиями в пространстве-времени объект движется по некоторому пути, часы должны зафиксировать количество прошедших между событиями секунд. Обозначим эту величину ∆T. Эта величина – факт безусловный, оспорить ее не могут даже те, кто находится в других системах отсчета, с другими ощущениями одновременности и пройденных расстояний в этих системах. Однако существует соотношение между ∆T и этими зависящими от системы отсчета расстояниями и длительностями. Эйнштейн (и Герман Минковский) показал, что для маленьких отрезков пути время ∆T, зарегистрированное внутренними часами объекта, можно выразить через пространственное расстояние ∆d и временной интервал ∆t в других системах, – почти так же, как в коане «ИДЕАЛЬНАЯ КАРТА» мы смогли рассчитать пространственное расстояние ∆d по расстояниям в направлении запад-восток и север-юг. Но здесь есть два ключевых отличия. Во-первых, мы должны превратить ∆d во временной интервал, разделив его на скорость света с. Во-вторых, мы должны этот найденный временной интервал не складывать с временным интервалом At, а вычитать из него. В результате получаем
Что замечательно в этом соотношении, так это то, что оно справедливо для всех систем отсчета, независимо от того, в какой из них вычисляется ∆t и ∆d. (В действительности мы можем взглянуть на это с другой точки зрения: это уравнение в каком-то смысле определяет соотношение между инерциальными системами отсчета в специальной теории относительности Эйнштейна.) Эта величина теперь может играть роль лагранжиана L или пространственного расстояния d: разделим путь, по которому может двигаться частица, на сегменты, вычислим ΔT на каждом сегменте, потом сложим их и получим T, отвечающее всему пути. Посмотрим на этот подход на примере трех различных путей в пространстве-времени (рис. ниже).
Три траектории в пространстве-времени с одним и тем же временем начала и окончания движения.
Первый – левый путь – прямой. Второй состоит из двух отрезков прямых, и посередине, в точке их пересечения, меняется скорость. Временная протяженность обоих путей одинакова и равна Δt, но в первом случае нет пройденного пространственного расстояния Δd, которое нужно было бы вычитать. Таким образом, собственное время ΔT, которое отсчитали наши наручные часы, больше для первого пути, чем для второго. Аналогично, для третьего пути, когда объект движется взад-вперед, время ΔT меньше, чем для первого пути.
Вывод очевиден: любое изменение направления движения ведет к уменьшению времени, отмеряемого внутренними часами, поэтому прямой путь – это путь с максимальным временем по нашим наручным часам.
Просуммируем сказанное: путь частицы через пространство-время можно определить путем нахождения максимума сумм S величин L вдоль каждого пути. Эта величина L включает в себя и время ∆Т, измеряемое внутренними часами, и другие составляющие, связанные с приложенными силами.
Все это хорошо, но если серьезно подумать, здесь кроется загадка, а именно: частица подчиняется силам, которые она ощущает в данный конкретный момент, и движется с некоей скоростью, которую она имеет в данный момент. Но при этом частица полностью уверена, что в течение следующего года пройдет путь, который по прошествии этого года в ретроспективе окажется путем с наибольшим действием S, отобранным из всех возможных путей, которыми она могла пройти в течение этого года. По пути она могла провзаимодействовать с разными объектами весьма сложным образом. Но в конце путь окажется в точности таким, каким нужно. Как это может быть?
Вы сделаны из частиц. Вы и составляющие вас частицы прямо сейчас выбирают направление движения. Оглянувшись назад, сможете ли вы вспомнить, какой путь вы всегда выбирали?