Шрифт:
Эйнштейн обнаружил (хотя и после долгих лет блужданий, колебаний и сомнений), что в выборе этих четырех координат имеется полная математическая свобода или, другими словами, что никакой конкретный способ фиксации точек пространства-времени не является заведомо предпочтительным. Исходя из этого он пришел к следующему выводу: законы физики должны иметь одинаковый вид в любой системе координат. Эйнштейн назвал этот постулат принципом общей относительности, так как изначально думал, что он является обобщением принципа относительности 1905 г., который ограничивался рассмотрением систем координат, используемых наблюдателями при равномерном относительном движении {70} . Введение этого постулата позволило очень сильно ограничить допустимую форму законов «релятивистской гравитации» и, таким образом, приблизило Эйнштейна к его самому замечательному открытию, которое Дж. Томсон, Дирак и многие другие физики считали «величайшим достижением в истории человеческой мысли», а именно к созданию общей теории относительности или теории гравитации Эйнштейна.
70
На самом деле, впоследствии было выяснено, что «принцип общей теории относительности» не имеет физического смысла обобщения «принципа специальной теории относительности». Принцип специальной теории относительности – это принцип симметрии структуры пространства-времени, который гласит, что физика для определенного класса систем отсчета одна и та же, и, таким образом, определенные «соответствующие» явления происходят одинаковым образом в разных системах отсчета (связанных «активными» преобразованиями). В то же время принцип общей теории относительности является принципом безразличия: явления не разворачиваются (в общем случае) одинаковым образом в различных системах координат, но ни одна из (глобальных) систем координат не имеет привилегированного статуса по отношению к другим.
Итак, первый этап создания общей теории относительности привел к утверждению, что хроногеометрия деформированного пространства-времени задается структурой, представленной на рис. 8: набор событий, удаленных от заданного на бесконечно малый (положительный) квадрат интервала ^2, суть деформированные песочные часы (или на математическом языке – обобщенный гиперболоид). Для явного описания этой структуры необходимо в каждой точке пространства-времени определить математический объект, обозначаемый g и называемый хроногеометрическим или метрическим тензором. Этот тензор представляет собой набор из 10 коэффициентов, которые определяют форму теоремы Пифагора – Эйнштейна в произвольной системе координат {71} . Отметим, что по счастливому стечению обстоятельств символ g может одинаково подразумевать как геометрию пространства-времени, так и гравитацию.
71
В свете того, что уже было сказано, теорема Пифагора – Эйнштейна в деформированном пространстве-времени, «заданном» четырьмя произвольными координатами x0, x1, x2, x3, утверждает, что квадрат интервала между двумя бесконечно близкими друг к другу точками (с координатами x0, x1, x2, x3 и x0 + dx0, x1 + dx1, x2 + dx2, x3 + dx3) равен сумме слагаемых, пропорциональных квадратам и двойным произведениям (бесконечно малых) координатных дифференциалов: dx0, dx1, dx2, dx3. В этой сумме содержатся десять слагаемых, поскольку имеются четыре квадрата dx0^2, dx1^2, dx2^2, dx3^2 и шесть двойных произведений 2dx0dx1, 2dx0dx2, 2dx0dx3, 2dx1dx2, 2dx1dx3 и 2dx2dx3. Коэффициенты при четырех квадратах обозначаются, соответственно, как g00, g11, g22 и g33, в то время как коэффициенты при двойных произведениях обозначены через g01, g02, g03, g12, g13 и g23. Если мы назовем ds^2 бесконечно малым квадратом интервала между двумя рассматриваемыми точками, то можем записать теорему Пифагора – Эйнштейна в виде ds^2 = gµdxµdx, где каждый индекс µ или принимает четыре значения 0, 1, 2 и 3, а знак указывает на то, что суммирование производится независимо по двум индексам µ и . Эйнштейн упростил эти обозначения (введенные Риманом), заметив, что нет необходимости писать символ , поскольку достаточно лишь неявно подразумевать суммирование по повторяющимся индексам (в данном случае µ и ). Эйнштейн всегда писал индексы µ и как нижние индексы у координат x. Сегодня они пишутся как верхние индексы (хотя в результате этого их иногда можно спутать с показателями). Таким образом, в конечном итоге мы пишем: ds^2 = gµ (x) dxµdx, где отмечено, что 10 метрических коэффициентов gµ являются функциями четырех координат x.
Закон упругости пространства-времени Эйнштейна
Чтобы более наглядно понять смысл теории гравитации Эйнштейна, вспомним теорию упругости, созданную британским ученым Робертом Гуком. Гук был одним из самых плодотворных научных деятелей XVII в. Он внес существенный вклад во впечатляющее количество научных областей и, кроме того, в течение долгого времени был секретарем Лондонского королевского общества. Его работы предвосхитили некоторые открытия Ньютона (касательно общих законов динамики и поведения 1 / r^2 закона тяготения). К сожалению для него, Ньютон, который был гением, но отличался весьма подозрительным и вспыльчивым нравом, игнорировал его достижения и делал все, чтобы принизить важность его работ. Наверное, Ньютон был бы в ярости, увидев такую интерпретацию теории гравитации Эйнштейна (вытеснившую его собственную), которую мы собираемся сделать, используя обобщение закона упругости Гука!
Отправная точка теории Гука довольно проста для понимания. Рассмотрим произвольную упругую структуру, т. е. такую, которая возвращается к своей первоначальной форме после деформирования воздействующей на нее силой. Простой пример упругой структуры – пружина. Рассмотрим пружину, верхний конец которой прикреплен к жесткому массивному телу, а нижний – свободен. Если потянуть вниз за нижний конец пружины или прикрепить к нему груз, то пружина деформируется и растянется. Если прикрепить не слишком тяжелый груз, то можно заметить, что растяжение пружины прямо пропорционально его весу: в два раза больший вес будет давать в два раза большее растяжение. Другими словами, деформация упругой структуры пропорциональна напряжению, действующему на эту структуру. Если обозначить «деформацию» буквой D, а «напряжение» буквой T, то закон упругости Гука сводится к простому утверждению D = T, где – коэффициент пропорциональности, характеризующий «упругость» рассматриваемой структуры. Чем больше , тем более упругой является структура, т. е. тем больше она деформируется под действием заданного напряжения. Можно также сказать, что обратная коэффициенту величина 1 / измеряет жесткость рассматриваемой структуры. Чем меньше , тем больше жесткость (и тем меньше упругость). Этот универсальный закон упругости справедлив только в ограниченном диапазоне прикладываемого напряжения (не сильно отличным от нуля). Обратите внимание, что напряжения и соответствующие деформации могут прикладываться как в одном, так и в другом направлении, т. е. могут быть положительными или отрицательными. Независимо от знака приложенного напряжения, деформация будет возвращаться к нулю, если напряжение постепенно уменьшается до нуля. Это и есть основное свойство упругой структуры – стремление возвращаться в исходное «недеформированное» состояние, когда деформирующая сила перестает действовать.
В то же время если перейти определенный порог (так называемый «предел упругости»), другими словами, если приложить слишком большое напряжение, то в общем случае мы покинем область упругости для данной структуры. И тогда мы переходим в область «пластичности», где структура приобретает постоянную деформацию, остающуюся после того, как напряжение перестает действовать, и затем в область «разрыва», где структура рвется.
Чтобы немного развить интуицию, а также приблизиться к нашей модели «пространственно-временного желе», рассмотрим в качестве упругой структуры трехмерную среду, имеющую место в случае заливной телятины. То, что мы собираемся сказать, в равной степени относится и к более жесткой среде, такой как металл, однако жесткость металла настолько велика, что интуитивно сложно представить его в качестве упругой структуры. Поэтому мы рассматриваем кусок (однородного) желе. Деформируем этот блок, прикладывая давление, или напряжение, к его краям. Это создает напряженное состояние внутри куска. Такое напряженное состояние описывается (в механике сплошных сред) математическим объектом, называемым тензором напряжений. Этот тензор, который мы обозначим через T (от английского слова tension) {72} , позволяет вычислять силы внешнего воздействия, действующие на поверхность выделенного элемента объема внутри среды. В газообразной среде T определяется давлением газа.
72
На самом деле математический термин «тензор» (англ. tensor) изначально возник как физический объект, используемый для описания «напряжений» (англ. tensions) в сплошной среде.
Нам остается описать, как определяется деформация блока желе D. Когда деформация D мала, она определяется как разница между геометрической структурой деформированного и исходного недеформированного блока. Каким же образом можно измерить геометрическую структуру сплошной среды? Точно так же, как мы поступали выше, анализируя геометрическую структуру пространства при помощи визуализации. Опишем сначала визуализацию геометрии недеформированного блока желе (рассматриваемого в обычном евклидовом пространстве), представляя вокруг каждой точки блока геометрическое место точек, расположенных от данной на единичном расстоянии. Это дает регулярную сеть сфер внутри блока. Теперь мы деформируем блок, т. е. заставляем желе двигаться произвольным, но непрерывным образом (так же как деформируется содержимое тюбика зубной пасты, когда его сжимают). Это непрерывное перемещение деформации желе будет деформировать сеть сфер. Сначала центр каждой сферы смещается. Однако такой эффект сам по себе не связан с напряжением в среде, так как можно было бы, например, переместить весь блок желе вправо на один сантиметр, двигая его целиком и не создавая никакой нагрузки внутри блока. С точки зрения упругости важно, таким образом, измерить, как деформируется каждая сфера, когда она следует за движением желатина вокруг себя. Если рассматривать, как мы делаем здесь, небольшие смещения, то можно обнаружить, что сфера деформируется в «эллипсоид», т. е. в своего рода мяч для регби. Поэтому мы будем называть деформацией D математический объект, который измеряет разницу между эллипсоидом и сферой. Видно, что этот объект имеет ту же математическую природу, что и объект, описывающий наличие напряжений в среде, и, таким образом, является тензором, который называют тензором деформации {73} . Наконец, закон упругости для однородной и изотропной сплошной среды, такой как блок желе, можно получить, если записать наиболее общее линейное соотношение, которое может существовать между двумя математическими объектами одного и того же типа (тензором деформации D и тензором напряжений T) {74} : D = T.
73
Можно показать, что «тензор деформации» математически строится из различных пространственных производных «вектора» смещения желе. В свою очередь, вектор смещения представляет собой набор маленьких стрелок, соединяющих начальные невозмущенные положения материальных точек в желе с их конечными возмущенными положениями.
74
Оказывается, что для однородной и изотропной среды объект лишь немного сложнее, чем простой численный коэффициент пропорциональности. Он состоит из двух численных коэффициентов, называемых коэффициентами упругости Ламе.
Немного расширив понимание упругости непрерывной среды (в смысле обычной механики), мы можем вернуться к главной цели этой главы: попытке понять общую теорию относительности как теорию упругости пространства-времени. Для этого необходимо обсудить два вопроса: (i) что является аналогом D, т. е. какой математический объект описывает «деформацию» пространства-времени по отношению к «однородному» пространству-времени Минковского; и (ii) что является аналогом T или, другими словами, какой математический объект описывает причину (или источник) пространственно-временной деформации, т. е. то, без чего пространство-время оставалось бы пространством-временем Минковского. Ответ на вопрос (ii) довольно быстро был получен Эйнштейном путем следующего рассуждения.
Во-первых, Эйнштейн предложил идентифицировать метрический тензор g, описывающий пространственно-временную хроногеометрию, с гравитационным полем. Этот вывод следовал из анализа принципа эквивалентности, открытого Эйнштейном в ноябре 1907 г. Рассмотрим, например, простой случай пространства-времени Минковского. Если наблюдатель исследует пространство-время Минковского, оставаясь при этом в «инерционной» системе отсчета, т. е. в системе, движущейся без ускорения, он не будет наблюдать гравитационное поле (свободные частицы не будут «падать», но будут оставаться в покое или же двигаться с постоянной скоростью), и метрический тензор g, описывающий пространственно-временную хроногеометрию будет тривиальным (т. е. будет задаваться постоянными коэффициентами) {75} . В то же время наблюдатель, находящийся в ускоряющемся лифте, т. е. использующий координаты, нелинейно связанные с обычными координатами специальной теории относительности, наблюдает два взаимосвязанных явления: (i) метрический тензор g приобретает более сложное выражение с коэффициентами, которые изменяются от одной точки к другой, и (ii) в ускоряющемся лифте возникает кажущееся гравитационное поле, т. е. частицы в нем как будто падают с ускорением. Это ускорение кажущегося притяжения напрямую связано с тем, что коэффициенты g меняются от одной точки к другой.
75
Компоненты gµ принимают значение +1, когда индексы µ и равны друг другу и соответствуют квадрату разности пространственных координат, т. е. когда µ = = 1, или 2, или 3. Если использовать в качестве временной координаты x0 = ct, то компонента g00, отвечающая квадрату временной разности, принимает значение -1 (если же в качестве временной координаты использовать непосредственно t, то gtt = -c^2). Наконец, остальные шесть компонент, отвечающие двойным произведениям, т. е. компоненты gµ, в которых µ отличен от , будут равны нулю.