Уравнения Эйнштейна
Уравнения Эйнштейна – основные уравнения общей теории относительности. Неизвестной величиной в уравнениях Эйнштейна является метрический тензор g i k
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/thumbs/1298208496_1c67365cc3741171a90d2ffd8560f7460.png)
где R i k – тензор Риччи, R – скалярное искажения, g i k – метрический тензор, ? – космологическая константа, T i k – тензор энергии-импульса, который определяет негравитуючу материю, энергию и силы в произвольной точке пространства-времени, ? – число пи, c – скорость света, G – гравитационная постоянная, которая появляется и в соответствующем законе всемирного тяготения Ньютона. Тензор Риччи, скалярное искажения и тензор энергии-импульса тоже зависят от метрического тензора.
В общем случае уравнения Эйнштейна содержит космологическую константу, хотя позже Эйнштейн видпмовився от ее использования. Космологическая константа была введена для того, чтобы достичь стационарности Вселенной, но открытие красного смещения заложило сомнения в стационарности.
Информация о распределении масс и полей содержится в тензора энергии-импульса. Для полного рассмотрения физической системы уравнения Эйнштейна должны быть дополненными уравнением состояния материи.
Попробуем вывести уравнения гравитации, которое согласовывалось с принципами общей теории относительности и в предельном случае малых масс и малых скоростей переходило в классический закон Всемирного тяготения Ньютона. Для вывода достаточно рассмотреть только статическую задачу, когда массы не двигаются и гравитационное поле не меняется со временем. В классическом случае ускорение свободного падения
к тяготея центра m дается формулой обратных квадратов:
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/1298208479_3b3f228ec3f99445593f3504f6281e2e4.png)
Эта сила оказывается консервативной, и аналогично электростатики мы можем рассматривать гравитационный потенциал ?:
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/1298208533_45ab30f7ed1be3614cc6eb306fc9887a0.png)
Ускорение свободного падения равен взятому со знаком минус градиента потенциала:
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/1298208469_5561294ecaf63284c4160bd3820aa1f88.png)
а из формулы (3), полностью аналогично электростатики, получаем следующее уравнение Лапласа:
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/1298208473_67e6a9cf7018f706ee67bf63b7836cbcc.png)
где ? – плотность массы. Это уравнение классической механики мы возьмем за основу и попробуем найти его релятивистский аналог.
При переходе к общей теории относительности мы должны заменить плотность массы ? релятивистски-инвариантной величиной. Такой величиной, причем примерно пропорциональным плотности ?, является тензор энергии-импульса T i j. Поскольку массы неподвижны, то потока энергии нет, и недиагональные элементы Тезора T i j равны нулю. Также мы можем пренебречь напряжениями внутри физического тела по сравнению с очень большой плотностью энергии покоя W = ? c 2. Таким образом, в нашем случае в тензора энергии-импульса отлична от нуля лишь одна временная компонента:
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/thumbs/1298208484_7b7073ae5052d9e75821759e53ffbc714.png)
Этот тензор стоять (с некоторым коэффициентом пропорциональности) в правой части искомого уравнения – он порождает гравитацию. А что мы должны написать в левой части, т.е. такое гравитация? Ответ дал Эйнштейн, сформулировав принцип эквивалентности – это искривление четырехмерного пространства-времени. Сила тяжести вычисляется по той же формуле, что и силы инерции в неинерциальных системах координат:
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/thumbs/1298208463_8e60bad3813bd16c0c39d24b4c3a87af3.png)
Согласно ковариантная координата силы тяжести в трехмерном пространстве (знак минус учитывает псевдоевклидовисть):
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/1298208459_98cc676fb5d46fb3e3f5da414d5bf9410.png)
В этой формуле производная координат берется по собственному времени ? материальной точки:
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/1298208538_1089c3d1d7a9b954c874ed167ce5ecbbab.png)
Мы возьмем для измерения силы тяжести недвижимое пробное тело массой m. Вдоль мировой линии этого тела зминюется только нулевая координата
, Поэтому:
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/thumbs/1298208452_128f2fb8b6b462afdb9fadab72ab2d1fab.png)
Приравнивая формулы (4) и (9) находим, что нулевая компонента метрического тензора связана с гравитационным потенциалом:
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/thumbs/1298208521_1352624110bbb94a7de1d7e5ed46516ad6.png)
Константу интегрирования мы можем найти, зная что на бесконечности (вдали от тяготея тел) нулевая компонента метрического тензора равна единице, а потенциал превращается в ноль согласно формуле (3). Итак:
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/1298208529_14dc7bdbb9454453038aebb1a5f3722fb7.png)
Теперь мы готовы подобрать релятивистский аналог для левой части формулы (5). Ясно, что этот аналог должен содержать вторую производную метрического тензора g i j и одновременно быть тензором, чтобы удовлетворить основное требование общей теории относительности – быть инвариантным относительно произвольной замены системы координат. Мы не можем использовать частные производные
сами по себе, поскольку они не являются тензором (при замене системы координат преобразуются не по тензорным правилам. Также мы не можем воспользоваться ковариантной производной, поскольку известно, что ковариантная производная метрического тензора
тождественно равна нулю. Но нам подходит тензор внутренней кривизны (тензор Римана):
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/thumbs/1298208515_175f3dcddd90702212d608b5637d7f4505.png)
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/thumbs/1298208503_18bbf5aa8c6f64385c16b1c33e87fc82c4.png)
Ясно, что при малом искривлении пространства-времени мы можем выбрать близкую к декартовой системе координат. В ней символы Кристоффеля будут близки к нулю, так отбросив (два последних) квадратичные слагаемые в формуле (13) мы в правой части получим сумму вторых производных от метрического тензора. В этой сумме также будут приситни вторая производная от g 00, т.е. от гравитационного потенциала (формула 11).
Тензор кривизны R p i j k имеет четыре индекса, поэтому мы не можем его непосредственно приравнивать к тензора энергии-импульса T i j с двумя индексами. Уменьшить количество индексов можно, рассматривая линейные комбинации компонент тензора Римана (12). Очевидно, эти линейные комбинации тоже содержат сумму дугих производных от гравитационного потенциала ? (так что остается надежда получить аналог левой части формулы (5)). Мы не будем вводить новых физических величин, а воспользуемся для коэффициентов этих линейных комбинаций самым метрическим тензором – то есть рассмотрим свертки тензора Римана. Однократная свертка тензора
по индексам (s j) дает тензор Риччи R_ {ik}:
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/1298208526_2090eda813fdb49ee2b374e9edae733d33.png)
Этот тензор симметричен и имеет два индекса, как и в тензора энергии-импульса T i j. Но кроме (14) мы можем образовать еще один симметричный тензор, умножив метрический тензор g i j на скалярную кривизну R, которая является сверткой тензора Риччи:
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/1298208480_21ca437c67d8d15f30238887e92f3bdedb.png)
Итак естественными кандидатами на релятивистское обобщение уравнения (5) есть такие линейные комбинации:
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/thumbs/1298208456_22b7d9fabd7bf0a0ec7d452fd070c84ecb.png)
где коэффициенты (?, ?, k) являются константами. Эти коэффициенты можно уточнить, воспользовавшись локальным законом сохранения энергии-импульса:
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/1298208486_234cec28a3420412faffb201d6a5c5b672.png)
Итак дивергенция от левой части формулы (16) должна равняться нулю. Если бы тензор Римана был совсем произвольным, то добиться нулевой дивергенции мы не смогли бы ни при каких ненулевых константах (?, ?). Но к счастью, как чисто математическая свойство, ковариантные производные тензора Римана связанные дифференциальной тождеством Бианки:
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/thumbs/1298208514_2440de1e3e1d5b8fc5220af7b7c1632ef2.png)
Свернем эту тождественность сначала по индексам (k, q), а затем по (j, p):
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/thumbs/1298208523_25aa5a317c34ed7b4456dbbf83d1d14497.png)
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/thumbs/1298208494_266df240bfd6c7dd946a64e306548201a0.png)
Из последнего равенства, переименовав индекс, по которому проходит свертка, мы можем выразить дивергенцию тензора Риччи
через градиент скалярной кривизны
:
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/1298208545_2907e407fc68adb6ea4538175cbfa4aa5c.png)
Теперь мы готовы, чтобы применить дивергенцию к уравнению (16):
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/thumbs/1298208548_302c6509f125965f21daa8999dc497fae2.png)
Это равенство (закон сохранения энергии-импульса) будет тождественно выполняется, если коэффициент ? равен:
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/1298208525_31248cc139c4e15c631b4ee93f6fa222c4.png)
Ясно, что теперь коэффициент ? не может равняться нулю (иначе с учетом (23) и (16) тензор T i j был бы тождественным нулем). Делим равенство (16) на ? и перепозначимо пока неизвестную константу k. В результате приходим к такому уравнения гравитации:
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/thumbs/1298208468_3292c081b4e634da3c42aa432e4ed5ac91.png)
Нам осталось найти константу k. Для этого надо показать, что в приближении слабого поля, левая часть уравнения (24) равна с некоторым коэффициентом лапласиана гравитационного потенциала
и вычислить этот коэффициент. Это не совсем тривиально, поскольку кроме временной компоненты g 00 метрического тензора (формула 11), остальные компонент может также меняться. Детали вычисления смотрите в статье Слабое гравитационное поле.
Выражение в левой части уравнения (24) является тензором Эйнштейна второй степени:
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/thumbs/1298208472_34b231e1fda9e843178999e02584cc723c.png)
который можно получить вариацией интеграла Гаусса:
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/thumbs/1298208485_359cda9e2b8dfea11ee8e01cac15212316.png)
при изменении метрического тензора g i j на малую величину ? g i j. Кривизна Гаусса второй степерня K [2] равна половине скалярной кривизны:
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/1298208476_365d816f7a96fa5a56dc6d3996662ebe3c.png)
Поскольку для материи (в частности для электромагнитного поля) тензор энергии-импульса тоже образуется из лагранжиана подобным образом как коэффициент при вариации метрики, например:
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/thumbs/1298208526_37d3ab02b4b1c07d3396b8224e7ad68f64.png)
то отнимая от (28) предварительно умноженное уравнения (26) (с должным множителем, обратным к коэффициенту в правой части уравнения (1)) получим совокупный лагранжиан материи и гравитационного поля:
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/thumbs/1298208500_38b39d6ba868b9adefde8f74d6efc5df75.png)
при вариации которого получается все: как уравнения Эйнштейна для гравитации, так и уравнения движения материи:
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/thumbs/1298208458_39d8170ac40432633ae0b4f2e95b654549.png)
Второе слагаемое в правой части (29) является лагранжианом гравитационного поля:
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/thumbs/1298208536_400132792d800b1b660f8cdd83e608d571.png)
Вариационный принцип встречается не только здесь, но во всех основных разделах физики: классической механике, квантовой механике, электродинамике, теории относительности. Такая распространенность наводит на мысль, что все законы физики связаны неким (еще неизвестным науке) одним универсальным уравнением. Это уравнение может образовываться вариацией "всеобщей действия" от некоторого общего лагранжиана. Сам Альберт Эйнштейн занимался поисками этого уравнения, хотя без значительных успехов. Одним из результатов Эйнштейна является поправка с космологической постоянной.
Рассмотрим вместо выражения (31) любую функцию от тензора Римана и его ковариантных производных, которая образует скаляр по тензорным правилам. Например:
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/thumbs/1298208490_41ed6e66726cccf8576673c799e09645d1.png)
Тогда при вариации этого обобщенного лагранжиана мы получим Обобщенный тензор Эйнштейна. Он подражает основные свойства тензора Эйнштейна (формула 25) второй степени: симметричный, релятивистски инвариантный, нулевая дивергенция. Единственное условие на поправки в формуле (32): они должны быть малыми в масштабах ближнего космоса (т.е. Солнечной системы), чтобы выполнялся закон тяготения Ньютона. Но в других масштабах они могут проявиться. В частности члены с
при больших масштабах – вселенских и галактических. Квадратичные члены с
могут проявиться в малых, в частности микроскопических масштабах. Подробнее это описано в статье Поправки к уравнению Эйнштейна.
Уравнения Эйнштейна нелинейные и развязки можно найти в очень ограниченном количестве случаев. Известнейший развязок – метрика Шварцшильда для сферического распределения массы.
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/thumbs/1298208496_1c67365cc3741171a90d2ffd8560f7460.png)
где R i k – тензор Риччи, R – скалярное искажения, g i k – метрический тензор, ? – космологическая константа, T i k – тензор энергии-импульса, который определяет негравитуючу материю, энергию и силы в произвольной точке пространства-времени, ? – число пи, c – скорость света, G – гравитационная постоянная, которая появляется и в соответствующем законе всемирного тяготения Ньютона. Тензор Риччи, скалярное искажения и тензор энергии-импульса тоже зависят от метрического тензора.
В общем случае уравнения Эйнштейна содержит космологическую константу, хотя позже Эйнштейн видпмовився от ее использования. Космологическая константа была введена для того, чтобы достичь стационарности Вселенной, но открытие красного смещения заложило сомнения в стационарности.
Информация о распределении масс и полей содержится в тензора энергии-импульса. Для полного рассмотрения физической системы уравнения Эйнштейна должны быть дополненными уравнением состояния материи.
Попробуем вывести уравнения гравитации, которое согласовывалось с принципами общей теории относительности и в предельном случае малых масс и малых скоростей переходило в классический закон Всемирного тяготения Ньютона. Для вывода достаточно рассмотреть только статическую задачу, когда массы не двигаются и гравитационное поле не меняется со временем. В классическом случае ускорение свободного падения
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/1298208469_2d244311c3a4861b5395d37e68ceba14a.png)
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/1298208479_3b3f228ec3f99445593f3504f6281e2e4.png)
Эта сила оказывается консервативной, и аналогично электростатики мы можем рассматривать гравитационный потенциал ?:
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/1298208533_45ab30f7ed1be3614cc6eb306fc9887a0.png)
Ускорение свободного падения равен взятому со знаком минус градиента потенциала:
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/1298208469_5561294ecaf63284c4160bd3820aa1f88.png)
а из формулы (3), полностью аналогично электростатики, получаем следующее уравнение Лапласа:
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/1298208473_67e6a9cf7018f706ee67bf63b7836cbcc.png)
где ? – плотность массы. Это уравнение классической механики мы возьмем за основу и попробуем найти его релятивистский аналог.
При переходе к общей теории относительности мы должны заменить плотность массы ? релятивистски-инвариантной величиной. Такой величиной, причем примерно пропорциональным плотности ?, является тензор энергии-импульса T i j. Поскольку массы неподвижны, то потока энергии нет, и недиагональные элементы Тезора T i j равны нулю. Также мы можем пренебречь напряжениями внутри физического тела по сравнению с очень большой плотностью энергии покоя W = ? c 2. Таким образом, в нашем случае в тензора энергии-импульса отлична от нуля лишь одна временная компонента:
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/thumbs/1298208484_7b7073ae5052d9e75821759e53ffbc714.png)
Этот тензор стоять (с некоторым коэффициентом пропорциональности) в правой части искомого уравнения – он порождает гравитацию. А что мы должны написать в левой части, т.е. такое гравитация? Ответ дал Эйнштейн, сформулировав принцип эквивалентности – это искривление четырехмерного пространства-времени. Сила тяжести вычисляется по той же формуле, что и силы инерции в неинерциальных системах координат:
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/thumbs/1298208463_8e60bad3813bd16c0c39d24b4c3a87af3.png)
Согласно ковариантная координата силы тяжести в трехмерном пространстве (знак минус учитывает псевдоевклидовисть):
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/1298208459_98cc676fb5d46fb3e3f5da414d5bf9410.png)
В этой формуле производная координат берется по собственному времени ? материальной точки:
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/1298208538_1089c3d1d7a9b954c874ed167ce5ecbbab.png)
Мы возьмем для измерения силы тяжести недвижимое пробное тело массой m. Вдоль мировой линии этого тела зминюется только нулевая координата
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/1298208510_111da35bc8f6f75973dfc61236298037f3.png)
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/thumbs/1298208452_128f2fb8b6b462afdb9fadab72ab2d1fab.png)
Приравнивая формулы (4) и (9) находим, что нулевая компонента метрического тензора связана с гравитационным потенциалом:
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/thumbs/1298208521_1352624110bbb94a7de1d7e5ed46516ad6.png)
Константу интегрирования мы можем найти, зная что на бесконечности (вдали от тяготея тел) нулевая компонента метрического тензора равна единице, а потенциал превращается в ноль согласно формуле (3). Итак:
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/1298208529_14dc7bdbb9454453038aebb1a5f3722fb7.png)
Теперь мы готовы подобрать релятивистский аналог для левой части формулы (5). Ясно, что этот аналог должен содержать вторую производную метрического тензора g i j и одновременно быть тензором, чтобы удовлетворить основное требование общей теории относительности – быть инвариантным относительно произвольной замены системы координат. Мы не можем использовать частные производные
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/1298208541_15261d84ee5e2974ece4d7ae2460bc96bb.png)
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/1298208536_16d20e7d1634ab4c647ce80cda0c7918db.png)
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/thumbs/1298208515_175f3dcddd90702212d608b5637d7f4505.png)
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/thumbs/1298208503_18bbf5aa8c6f64385c16b1c33e87fc82c4.png)
Ясно, что при малом искривлении пространства-времени мы можем выбрать близкую к декартовой системе координат. В ней символы Кристоффеля будут близки к нулю, так отбросив (два последних) квадратичные слагаемые в формуле (13) мы в правой части получим сумму вторых производных от метрического тензора. В этой сумме также будут приситни вторая производная от g 00, т.е. от гравитационного потенциала (формула 11).
Тензор кривизны R p i j k имеет четыре индекса, поэтому мы не можем его непосредственно приравнивать к тензора энергии-импульса T i j с двумя индексами. Уменьшить количество индексов можно, рассматривая линейные комбинации компонент тензора Римана (12). Очевидно, эти линейные комбинации тоже содержат сумму дугих производных от гравитационного потенциала ? (так что остается надежда получить аналог левой части формулы (5)). Мы не будем вводить новых физических величин, а воспользуемся для коэффициентов этих линейных комбинаций самым метрическим тензором – то есть рассмотрим свертки тензора Римана. Однократная свертка тензора
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/1298208549_19300d6e183e1e2e29b3fa4e7054cdde1f.png)
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/1298208526_2090eda813fdb49ee2b374e9edae733d33.png)
Этот тензор симметричен и имеет два индекса, как и в тензора энергии-импульса T i j. Но кроме (14) мы можем образовать еще один симметричный тензор, умножив метрический тензор g i j на скалярную кривизну R, которая является сверткой тензора Риччи:
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/1298208480_21ca437c67d8d15f30238887e92f3bdedb.png)
Итак естественными кандидатами на релятивистское обобщение уравнения (5) есть такие линейные комбинации:
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/thumbs/1298208456_22b7d9fabd7bf0a0ec7d452fd070c84ecb.png)
где коэффициенты (?, ?, k) являются константами. Эти коэффициенты можно уточнить, воспользовавшись локальным законом сохранения энергии-импульса:
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/1298208486_234cec28a3420412faffb201d6a5c5b672.png)
Итак дивергенция от левой части формулы (16) должна равняться нулю. Если бы тензор Римана был совсем произвольным, то добиться нулевой дивергенции мы не смогли бы ни при каких ненулевых константах (?, ?). Но к счастью, как чисто математическая свойство, ковариантные производные тензора Римана связанные дифференциальной тождеством Бианки:
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/thumbs/1298208514_2440de1e3e1d5b8fc5220af7b7c1632ef2.png)
Свернем эту тождественность сначала по индексам (k, q), а затем по (j, p):
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/thumbs/1298208523_25aa5a317c34ed7b4456dbbf83d1d14497.png)
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/thumbs/1298208494_266df240bfd6c7dd946a64e306548201a0.png)
Из последнего равенства, переименовав индекс, по которому проходит свертка, мы можем выразить дивергенцию тензора Риччи
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/1298208462_27e3cff083d41212d0d8a02f88a31492bf.png)
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/1298208454_28dea45b8337b98a44a52f0c4e8079fb79.png)
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/1298208545_2907e407fc68adb6ea4538175cbfa4aa5c.png)
Теперь мы готовы, чтобы применить дивергенцию к уравнению (16):
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/thumbs/1298208548_302c6509f125965f21daa8999dc497fae2.png)
Это равенство (закон сохранения энергии-импульса) будет тождественно выполняется, если коэффициент ? равен:
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/1298208525_31248cc139c4e15c631b4ee93f6fa222c4.png)
Ясно, что теперь коэффициент ? не может равняться нулю (иначе с учетом (23) и (16) тензор T i j был бы тождественным нулем). Делим равенство (16) на ? и перепозначимо пока неизвестную константу k. В результате приходим к такому уравнения гравитации:
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/thumbs/1298208468_3292c081b4e634da3c42aa432e4ed5ac91.png)
Нам осталось найти константу k. Для этого надо показать, что в приближении слабого поля, левая часть уравнения (24) равна с некоторым коэффициентом лапласиана гравитационного потенциала
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/1298208493_33fb9d37a5fe00515451f9cfed3f02b1fd.png)
Выражение в левой части уравнения (24) является тензором Эйнштейна второй степени:
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/thumbs/1298208472_34b231e1fda9e843178999e02584cc723c.png)
который можно получить вариацией интеграла Гаусса:
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/thumbs/1298208485_359cda9e2b8dfea11ee8e01cac15212316.png)
при изменении метрического тензора g i j на малую величину ? g i j. Кривизна Гаусса второй степерня K [2] равна половине скалярной кривизны:
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/1298208476_365d816f7a96fa5a56dc6d3996662ebe3c.png)
Поскольку для материи (в частности для электромагнитного поля) тензор энергии-импульса тоже образуется из лагранжиана подобным образом как коэффициент при вариации метрики, например:
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/thumbs/1298208526_37d3ab02b4b1c07d3396b8224e7ad68f64.png)
то отнимая от (28) предварительно умноженное уравнения (26) (с должным множителем, обратным к коэффициенту в правой части уравнения (1)) получим совокупный лагранжиан материи и гравитационного поля:
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/thumbs/1298208500_38b39d6ba868b9adefde8f74d6efc5df75.png)
при вариации которого получается все: как уравнения Эйнштейна для гравитации, так и уравнения движения материи:
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/thumbs/1298208458_39d8170ac40432633ae0b4f2e95b654549.png)
Второе слагаемое в правой части (29) является лагранжианом гравитационного поля:
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/thumbs/1298208536_400132792d800b1b660f8cdd83e608d571.png)
Вариационный принцип встречается не только здесь, но во всех основных разделах физики: классической механике, квантовой механике, электродинамике, теории относительности. Такая распространенность наводит на мысль, что все законы физики связаны неким (еще неизвестным науке) одним универсальным уравнением. Это уравнение может образовываться вариацией "всеобщей действия" от некоторого общего лагранжиана. Сам Альберт Эйнштейн занимался поисками этого уравнения, хотя без значительных успехов. Одним из результатов Эйнштейна является поправка с космологической постоянной.
Рассмотрим вместо выражения (31) любую функцию от тензора Римана и его ковариантных производных, которая образует скаляр по тензорным правилам. Например:
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/thumbs/1298208490_41ed6e66726cccf8576673c799e09645d1.png)
Тогда при вариации этого обобщенного лагранжиана мы получим Обобщенный тензор Эйнштейна. Он подражает основные свойства тензора Эйнштейна (формула 25) второй степени: симметричный, релятивистски инвариантный, нулевая дивергенция. Единственное условие на поправки в формуле (32): они должны быть малыми в масштабах ближнего космоса (т.е. Солнечной системы), чтобы выполнялся закон тяготения Ньютона. Но в других масштабах они могут проявиться. В частности члены с
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/1298208504_42fa4b398231416d4dbf25b4e290a1e29c.png)
![Уравнения Эйнштейна Уравнения Эйнштейна](/uploads/posts/2011-02/1298208547_43af0505f50022249f90217dd24b4bf068.png)
Уравнения Эйнштейна нелинейные и развязки можно найти в очень ограниченном количестве случаев. Известнейший развязок – метрика Шварцшильда для сферического распределения массы.
![](/templates/simpletape-v2-105/images/full-news-line1.png)
![](/templates/simpletape-v2-105/images/full-news-line2.png)
Теорема Нетер
Теорема Нетер – утверждение в теоретической физике, согласно которому каждой дифференцируемы симметрии соответствует интеграл движения. Например, однородности пространства соответствует закон
ПОДРОБНЕЕ
Тензор энергии-импульса
Тензор энергии-импульса – симметричный 4-тензор, определенный в пространстве-времени, который одновременно задает плотность энергии и ее потоков и определяет закон изменения этих величин при переходе
ПОДРОБНЕЕ
Метрика пространства-времени
Схематическое двумерных изображений искривления пространства-времени около массивного тела Метрика пространства-времени – 4-тензор, который определяет свойства пространства-времени в общей теории
ПОДРОБНЕЕ
Тензоры Эйнштейна и Риччи
Наряду с серией кривизн Гаусса m-й степени: естественно появляются (смотрите статью Интегралы Гаусса) следующие две серии тензоров второго ранга. Тензор Эйнштейна m-й степени: и тензоры Риччи m-й
ПОДРОБНЕЕ
Тензор кривизны
Тензор кривизны (Тензор внутренней кривизны многообразиях) появляется при рассмотрении коммутатора ковариантных производных ковариантного вектора (смотрите статью Дифференциальная геометрия) Вместо
ПОДРОБНЕЕ