Шрифт:
В физических теориях подчас возникает такая ситуация, что хотя поправки более высокого порядка в полном разложении удручающе скучно вычислять, возможно построить теорию, в которой суммируются все поправки более высокого порядка, для того, чтобы получить ответ, который является достижимым. Таким образом, представим себе честолюбивого и самоуверенного венерианина, который решил сделать попытку вывести полное разложение для функции F=F^2+F^3+F+F+… Мы будем искать функционал F описывающий действие, которое должно быть провариировано, по следующим эмпирическим причинам: по-видимому, не существует достаточно удовлетворительной теории, которая не является выводимой с использованием вариационного принципа, первый этап применения которого заключается в выписывании функционала, связанного с лагранжианом или гамильтонианом (обе формулировки являются эквивалентными) .
В настоящее время нет определённости относительно того, отражают ли неуспехи нелагранжевых теорий некоторую фундаментальную истину о природе. Возможно, что фундаментальная истина может быть в том, что физические процессы происходят согласно принципу минимальной фазы и что действия в классической физике или квантовой физике есть выражения для этой фазы, которые верны в некотором приближении. Амбициозная попытка облечь гравитацию в нелагранжеву формулировку была сделана Бирхгоффом [Birk 43]. Он сохранил линейные уравнения для полей, но изменил уравнения движения для частиц. Полученная в результате классическая теория была совершенно удовлетворительна, но она не позволяла непротиворечивого квантования. Было показано, что волновое движение волновых пакетов не следует постулированным классическим уравнениям, но следует уравнениям Эйнштейна! Кажется вероятным, что эта попытка квантования открыла некоторую скрытую несогласованность в этих полевых уравнениях.
Следовательно, мы будем искать полный функционал F,
F
=
F^2
+
F^3
+
F
+
… ,
(6.2.1)
который определяется из требования того, что результирующее уравнение есть уравнение движения
F
h
=
T
,
(6.2.2)
которое автоматически имеет следствием условие на дивергенцию T (6.1.9). Функционал F должен, следовательно, удовлетворять следующему дифференциальному функциональному уравнению:
g
F
h
,
+
[,]
F
h
=
0,
(6.2.3)
которое мы должны решить. Это в общем случае представляет чрезвычайно трудную задачу, и нет процедуры для получения решений таких уравнений. Мы должны будем положиться на нашу изобретательность в придумывании функционалов, которые есть решения в том смысле, что они удовлетворяют уравнению (6.2.2) при подстановке в него. Нет единственного общего решения этого уравнения, даже если мы добавим, что для малого значения h мы будем выбирать такое решение, главные члены которого F^2 и F^3 выводятся нами другими методами. Тем не менее, имеется очевидное ”наипростейшее” решение (включающее наименьшее число производных метрического тензора g– только две производных). Мы выбираем это решение. Когда этот выбор сделан, мы придём к теории, которая идентична эйнштейновской. С этого места мы откажемся от венерианской точки зрения и приступим к изучению теории гравитации с земной точки зрения, которая была изложена Эйнштейном.
6.3. Построение инвариантов по отношению к инфинитезимальным преобразованиям
Для того, чтобы решить задачу построения решений, удовлетворяющих уравнению (6.2.3), мы преобразуем это уравнение в некоторое эквивалентное утверждение о свойствах функционала F. Вначале заметим, что уравнение (6.2.3) есть векторное уравнение. Если мы возьмём скалярное произведение этого уравнения с произвольным вектором A(x). и проинтегрируем по всему пространству, то мы получим уравнение, которое выглядит несколько иначе
d
A
(x)
g
(x)
F
h
,
+
A
(x)
[,]
F
h
=
0.
(6.3.1)
Если функционал F удовлетворяет уравнению (6.3.1) для произвольного вектора A, тогда этот функционал удовлетворяет уравнению (6.2.3). Теперь мы можем проинтегрировать по частям первый член в подынтегральном выражении, так что мы избавляемся от градиента по отношению к . Мы получаем, что
d
F
h
– (
A
(x)
i
(x)
)
,
+
[,]
A
(x)
=
0.
(6.3.2)
Мы поместили черту под дифференциалом d для того, чтобы он напоминал нам, что мы должны взять усреднение этого интеграла, и в соответствующем интеграле, имеющем индексы и , происходит чередование индексов, а так как тензор h– симметричен, то имеющее смысл математическое тождество получается только в том случае, если скобка также симметрична по индексам и . Мы можем проинтерпретировать это уравнение (6.3.2) другим способом. Мы замечаем, что если мы делаем замену в первом порядке в тензоре h, скажем, пусть h меняется на h+ то величина функционала F меняется следующим образом:
F[h
+
]
=
F[h
]
+
F
h
+
… .
(6.3.3)
Следовательно, наше уравнение (6.3.2) говорит нам, что для инфинитезимального и в форме, появляющейся в уравнении (6.3.2), величина F остаётся неизменным.
Пусть тензорное поле h меняется инфинитезимальным преобразованием A на тензор h'. Выражаем h' согласно правилу, подразумеваемому в соотношении (6.3.2), как показано в следующем соотношении (мы должны помнить, что надо симметризовать выражение по индексам и использовать явное выражение для [,]):