| Ця стаття потребує істотної переробки. Можливо, її необхідно доповнити, переписати або вікіфікувати. Пояснення причин та обговорення — на сторінці Вікіпедія: Статті, що необхідно поліпшити. Тому, хто додав шаблон: зважте на те, щоб повідомити основних авторів статті про необхідність поліпшення, додавши до їхньої сторінки обговорення такий текст: {{subst:поліпшити автору|Слабке гравітаційне поле|5 квітня 2023}} ~~~~, а також не забудьте описати причину номінації на підсторінці Вікіпедія:Статті, що необхідно поліпшити за відповідний день. (5 квітня 2023) |
Рівняння Ейнштейна, виведене із принципів загальної теорії відносності:
![{\displaystyle (1)\qquad R_{ij}-{R \over 2}g_{ij}=kT_{ij}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/21bfecf31100cc5cf7f09fa000911df875730589)
є нелінійним диференціальним рівнянням другого порядку щодо невідомих компонент метричного тензора
. Існує практичний інтерес випадок настільки слабкого гравітаційного поля, щоб нелінійностями можна було знехтувати і одержати наближене рівняння, яке близьке до класичного закону Всесвітнього тяжіння, але з релятивістськими поправками. Це наближене рівняння можна застосовувати в межах Сонячної системи і навіть при розгляді галактик — адже типові швидкості зірок в галактиках більш ніж у тисячу разів менші за швидкість світла.
Є ще одна причина розглянути лінеаризоване рівняння (1) - знайти константу
при тензорі енергії-імпульсу, яка залишилася невідомою при виводі рівняння Ейнштейна (1).
Нехай ми маємо якийсь розподіл матерії в просторі (який задано компонентами тензора енергії-імпульсу
як функціями координат). І нехай для цього (базового) розподілу рівняння (1) уже розв'язане, тобто відомий метричний тензор
, а отже і тензор Рімана
. Поряд з цим базовим розподілом матерії
розглянемо і дещо змінений розподіл
:
![{\displaystyle (2)\qquad {\tilde {T}}_{ij}=T_{ij}+\delta T_{ij}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0eb576a452cd3bff4f7f8b5d37842bd80e4942e4)
який відрізняється від базового на малу величину
. Звичайно, мализну цієї добавки ми визначаємо так, щоб в результаті розв'язку рівняння (1) з новим тензором
ми одержали малу (порівняно з одиницею) зміну метричного тензора:
![{\displaystyle (3)\qquad {\tilde {g}}_{ij}=g_{ij}+\delta g_{ij};\qquad {\big |}\delta g_{ij}{\big |}\ll 1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/92224a3a1dfe2012ea28ba1b3398c6daebc28c83)
Звичайно, за земними мірками тензор
може бути не таким вже й маленьким — наприклад планетою, зіркою, газовою туманністю, головне щоб зміна метричного тензора
була малою. Цю зміну
ми називатимемо варіацією, її ми і будемо шукати (базове рівняння вважається розв'язаним). Із варіації метричного тензора
можна досить легко одержати варіації символів Крістофеля
і тензора Рімана
(подробиці обчислень в статті Допоміжні інтеграли з варіаціями):
![{\displaystyle (4)\qquad \delta \Gamma _{ij}^{s}={1 \over 2}g^{sp}\left(\nabla _{i}\delta g_{pj}+\nabla _{j}\delta g_{ip}-\nabla _{p}\delta g_{ij}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ea09d51f53a0d408ec2e7a58454ff6cab10e7d94)
![{\displaystyle (5)\qquad \delta R_{\;ijk}^{s}=\nabla _{j}\delta \Gamma _{ki}^{s}-\nabla _{k}\delta \Gamma _{ji}^{s}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/471437c073df0d7236a2fb504031b37f21bdfa76)
Для наших цілей треба обчислити в першу чергу варіацію тензора Річчі
. Згорнемо формулу (5) за індексами
і підставимо сюди варіації символів Крістофеля
із формули (4). Зручно також домножити одержану формулу на два, щоб компенсувати коефіцієнт в правій частині (4):
![{\displaystyle (6)\qquad 2\delta R_{ik}=2\nabla _{s}\left(\delta \Gamma _{ki}^{s}\right)-2\nabla _{k}\left(\delta \Gamma _{si}^{s}\right)=g^{sp}\nabla _{s}\left(\nabla _{k}\delta g_{pi}+\nabla _{i}\delta g_{kp}-\nabla _{p}\delta g_{ki}\right)-g^{sp}\nabla _{k}\left(\nabla _{s}\delta g_{pi}+\nabla _{i}\delta g_{sp}-\nabla _{p}\delta g_{si}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d6958b787e0dea63cd6660b51874eb3830872d2c)
Звернемо увагу на перший і третій доданки в останніх дужках:
і
. Вони переходять один в другий (з відповідним знаком) при перестановці індексів
. Але вся ця дужка згортається із симетричним тензором
, в результаті згортки ці два доданки взаємо-знищуюються, і ми одержуємо наступну формулу для варіації тензора Річчі (заодно перейменуємо заради естетики індекс
на
):
![{\displaystyle (7)\qquad 2\delta R_{ij}=\nabla ^{p}\nabla _{j}\delta g_{pi}+\nabla ^{p}\nabla _{i}\delta g_{pj}-\left(g^{sp}\nabla _{s}\nabla _{p}\right)\delta g_{ij}-\nabla _{j}\nabla _{i}\left(g^{sp}\delta g_{sp}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/64bdc8c49288efc98add868b3dd4f076942cc3c8)
Оператор в третьому доданку - це просто лапласіан
(оператор Лапласа — Бельтрамі). Останній доданок є симетричним по індексах
як друга похідна скаляра:
![{\displaystyle (8)\qquad \nabla _{j}\nabla _{i}\phi =\nabla _{j}\left(\partial _{i}\phi \right)=\partial _{i}\partial _{j}\phi -\Gamma _{ij}^{s}\partial _{s}\phi }](https://wikimedia.org/api/rest_v1/media/math/render/svg/cb56f3c263ede06230eeb7efc069aa6748c57855)
а перші два доданки переходять один в другий при перестановці індексів
. Перепишемо формулу (7) ще раз:
![{\displaystyle (9)\qquad 2\delta R_{ij}=\nabla ^{p}\nabla _{j}\delta g_{pi}+\nabla ^{p}\nabla _{i}\delta g_{pj}-\nabla ^{2}\delta g_{ij}-\nabla _{i}\nabla _{j}\left(g^{sp}\delta g_{sp}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9fc893c3db59ce1fbef7821d39e9a792972c6da0)
Формула (9) лінійна щодо невідомих варіацій метричного тензора
, але надто громіздка. Сюди входять різнородні другі похідні, до того ж компоненти невідомих
перемішані. Очевидно, ця ж неприємність залишиться, якщо ми будемо обчислювати варіацію від тензора Ейнштейна:
![{\displaystyle (10)\qquad G_{ij}=R_{ij}-{R \over 2}g_{ij}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c41f9e6d1c56c5cf2cd764517a709b9f5101cc80)
Допомогти може лінійна заміна невідомих (ми діагоналізуємо лінійні рівняння). В загальному випадку ми вводимо нові невідомі - тензор
, через який виражаються варіації метричного тензора:
![{\displaystyle (11)\qquad \delta g_{ij}=a_{ij}^{kl}h_{kl}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e7f99ff6d1fe20c5934d38ca316f56904f992a17)
Що робити далі, підходи відрізняються для математика і фізика. Математик підставить (11) в лінеаризоване рівняння Ейнштейна, і шукатиме зв'язки на постійні коефіцієнти
, при яких лінеаризоване рівняння Ейнштейна спроститься. Фізик же може скористатися міркуваннями симетрії та інтуїцією, щоб відгадати вид найкращої заміни змінних. Дійсно, оскільки рівняння Ейнштейна тензорне, то і коефіцієнти (11) мають бути тензорами. Просто якийсь довільний тензор зі сторони може тільки ускладнити задачу. Тому розглянемо в першу чергу такі коефіцієнти
, які залежать тільки від метричного тензора
. І навіть конкретніше, спробуємо заміну, аналогічну тому, як в формулі (10) тензор Ейнштейна
залежить від тензора Річчі
. Отже, нехай:
![{\displaystyle (12)\qquad \delta g_{ij}=h_{ij}-{h \over 2}g_{ij};\qquad h=g^{ij}h_{ij}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2fa04cc81634b9b2c106f3fca94a5efb86f5c5dc)
Ця заміна оборотна, і ми можемо виразити
через
. Для цього знайдемо слід формули (12):
![{\displaystyle (13)\qquad g^{ij}\delta g_{ij}=g^{ij}h_{ij}-{h \over 2}g^{ij}g_{ij}=h-2h=-h}](https://wikimedia.org/api/rest_v1/media/math/render/svg/166a2bf2b337ced6cf43cf20b0a564eded1e0824)
Тут ми скористалися формулою згортки метричного тензора (дивіться Прості обчислення диференціальної геометрії):
![{\displaystyle (14)\qquad g^{ij}g_{ij}=4}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0975f8ae9352254b5a4aec74285ea6bfa1bb4953)
Із формул (12) і (13) знаходимо:
![{\displaystyle (15)\qquad h_{ij}=\delta g_{ij}-{1 \over 2}\left(g^{ps}\delta g_{ps}\right)g_{ij}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eb0ac1a234191bad5e346d006440f054d06352c5)
Підставимо заміну (12) і (13) в перший, другий і четвертий доданок формули (9). Одержуємо:
![{\displaystyle (16)\qquad 2\delta R_{ij}=\nabla ^{p}\nabla _{j}h_{pi}-{g_{pi} \over 2}\nabla ^{p}\nabla _{j}h+\nabla ^{p}\nabla _{i}h_{pj}-{g_{pj} \over 2}\nabla ^{p}\nabla _{i}h-\nabla ^{2}\delta g_{ij}+\nabla _{i}\nabla _{j}h}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bff88238205fbe3119e61783c7c97373930bf697)
Очевидно, мішана похідна
скорочується, і ми одержуємо рівняння з трьома доданками:
![{\displaystyle (17)\qquad 2\delta R_{ij}=\nabla ^{p}\nabla _{j}h_{pi}+\nabla ^{p}\nabla _{i}h_{pj}-\nabla ^{2}\delta g_{ij}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5376ea72a8790392284d8c1f985500cf50b67337)
Далі, придивимося уважніше до перших двох доданків формули (12). Ми можемо і їх обнулити, якщо дивергенція від
дорівнюватиме нулю:
![{\displaystyle (18)\qquad \nabla ^{j}h_{ij}=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/444ca136665c89b71aa47163f1104b08cca3bb63)
Але чи можемо ми сподіватися на цю рівність? Відповідь ствердна, оскільки в компонент метричного тензора є чотири степені свободи, коли сам многовид чотиривимірного простору-часу і його метрика не змінюються, а міняється тільки система координат. Дійсно, нехай нові координати
відрізняються від старих на малий вектор
:
![{\displaystyle (19)\qquad {\hat {x}}^{i}=x^{i}+v^{i};\qquad {\partial {\hat {x}}^{i} \over \partial x^{j}}=\delta _{j}^{i}+{\partial v^{i} \over \partial x^{j}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8c8eec2e4c428229dc2e4061b13f3b42018cffd4)
Деяка точка
має координати
в нових координатах і
в старих. Запишемо квадрат "відстані" від цієї точки до близької точки
в нових і старих координатах:
![{\displaystyle (20)\qquad ds^{2}={\hat {g}}_{ij}({\hat {x}})d{\hat {x}}^{i}d{\hat {x}}^{j}=g_{ij}(x+v)dx^{i}dx^{j}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/72500060194bcf6b850ad2f84c3ca0e63c68f0a1)
Тоді метричні тензори в цих системах координат відрізняються на величину:
![{\displaystyle (21)\qquad \delta g'_{ij}={\hat {g}}_{ij}({\hat {x}})-g_{ij}(x)=-\left(\nabla _{i}v_{j}+\nabla _{j}v_{i}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/45660cc59b1850c0ede9133166ee042a3c4c9537)
Якщо ми до варіації
в формулі (15) додамо неістотний доданок (21) і візьмемо дивергенцію, то матимемо рівняння для вектора
(чотири диференціальні рівняння з чотирма невідомими):
![{\displaystyle (22)\qquad 0=\nabla ^{j}h_{ij}=\nabla ^{j}\left(\delta g_{ij}-{1 \over 2}\left(g^{ps}\delta g_{ps}\right)g_{ij}\right)-\nabla ^{j}\left(\nabla _{i}v_{j}+\nabla _{j}v_{i}\right)+{1 \over 2}\nabla _{i}(2\nabla ^{s}v_{s})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0269329737d76244bfa945e9d2e396855fc711f3)
Припустмо, що ці рівняння розв'язуються, тоді при варіації метрики
ми синхронно змінюємо систему координаттаким чином, щоб лінеаризоване рівняння Ейнштейна було найпростішим.
Маючи рівність (18), обчислимо перший доданок (17), записуючи дію комутатора коваріантних похідних на тензор
через суму згорток (за кожним з двох індексів) цього тензора з тензором Рімана:
![{\displaystyle (23)\qquad \nabla ^{p}\nabla _{j}h_{pi}=\left[\nabla ^{p}\nabla _{j}\right]h_{pi}=-R_{j}^{s}h_{si}-R_{sipj}h^{sp}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b1d2f8cc71823f9e8f63734a8a9c900b9d3a4674)
тоді формула (17) запишеться так:
![{\displaystyle (24)\qquad 2\delta R_{ij}=-\nabla ^{2}g_{ij}-\left(R_{i}^{s}h_{sj}+R_{j}^{s}h_{si}\right)-2R_{sipj}h^{sp}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fc7bbe12265fcae9a346f5140df219ae2a769366)
У цій формулі ми перенесли доданки з кривиною на кінець, оскільки вони звичайно малі у порівнянні з першим доданком. Їх треба враховувати хіба що в задачі визначення траєкторії руху гравітаційні хвилі в гравітаційному полі.
Якщо ми візьмемо за базовий розв'язок плоский простір без матерії:
![{\displaystyle (25)\qquad T_{ij}=0;\qquad R_{\;ijk}^{s}=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6a7137ea1563041f914b4eff177420bb4396929e)
то одержимо досить просту формулу для варіації тензора Річчі:
![{\displaystyle (26)\qquad \delta R_{ij}=-{1 \over 2}\nabla ^{2}\delta g_{ij}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/900ef4c1001a9848b7fa54078818a913c851f8ca)
Маючи варіацію тензора Річчі (26), і умову
, знайдемо спочатку варіацію скалярної кривини:
![{\displaystyle (27)\qquad \delta R=\delta \left(g^{ij}R_{ij}\right)=g^{ij}\delta R_{ij}={1 \over 2}\nabla ^{2}h}](https://wikimedia.org/api/rest_v1/media/math/render/svg/31e6c64e189d7aeb378a3195c468cc617b456590)
Далі шукаємо варіацію тензора Ейнштейна:
![{\displaystyle (28)\qquad \delta G_{ij}=\delta R_{ij}-{1 \over 2}\delta \left(g_{ij}R\right)=-{1 \over 2}\nabla ^{2}\delta g_{ij}-{1 \over 2}g_{ij}\left({1 \over 2}\nabla ^{2}h\right)=-{1 \over 2}\nabla ^{2}\left(\delta g_{ij}+{h \over 2}g_{ij}\right)=-{1 \over 2}\nabla ^{2}h_{ij}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cf679c1997ac7a0652ad9c1517e632e8251f94d3)
Таким чином, лінеаризоване рівняння Ейнштейна має такий вигляд:
![{\displaystyle (29)\qquad -{1 \over 2}\nabla ^{2}h_{ij}=kT_{ij}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/212b1eef075353d0a9204c7728b30bec4ac8ebdd)
Порівняння з формулами для класичної теорії Всесвітнього тяжіння
[ред. | ред. код] Нехай ми маємо статичний розподіл мас у тривимірному просторі:
![{\displaystyle (30)\qquad \rho =\rho (x,y,z)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4bf8fd7751dbdee02c9447f153e6f36b930eb59c)
Тензор енергії-імпульса приблизно матиме такий вигляд:
![{\displaystyle (31)\qquad (T_{ij})={\begin{bmatrix}\rho c^{2}&0&0&0\\0&0&0&0\\0&0&0&0\\0&0&0&0\end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b9ecd3e631d9ecc5ea3378ecdac9ac7c26088536)
оскільки тензор напруг речовини
набагато менший за величиною за енергію спокою
, і ним можна знехтувати.
Система рівнянь (29) є діагональною в декартовій системі координат, і розпадається на 16 незалежних рівнянь, по одному на кожну компоненту
. Маючи на увазі (31), тільки одне з цих рівнянь має ненульову праву частину:
![{\displaystyle (32)\qquad -{1 \over 2}\nabla ^{2}h_{00}=kc^{2}\rho }](https://wikimedia.org/api/rest_v1/media/math/render/svg/4d89d35d57fbd8fed71b1475bdb58506fd8e3a10)
Решту п'ятнадцять рівнянь легко розв'язати, вибравши нульовий розв'язок:
коли індекси не дорівнюють нулю одночасно. Тепер матриця шуканого тензора
матиме вигляд, аналогічний до (31):
![{\displaystyle (33)\qquad (h_{ij})={\begin{bmatrix}h_{00}&0&0&0\\0&0&0&0\\0&0&0&0\\0&0&0&0\end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ab10c0a2e8dbb23616738cb1a496152d4d890a87)
Для рівняння (32), з огляду на (30), можна шукати статичний розв'язок:
![{\displaystyle (34)\qquad h_{00}=h_{00}(x,y,z)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/94bdd4e651e921a51f4449269a20c6ea9d96e2d7)
Для цього нам досить пересвідчитися, що система чотирьох рівнянь (18) автоматично задовольняється. Нетривіальне рівняння маємо лише одне із чотирьох, коли
:
![{\displaystyle (35)\qquad \nabla ^{j}h_{0j}=\partial _{0}h_{00}-\partial _{1}h_{01}-\partial _{2}h_{02}-\partial _{3}h_{03}=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f46a60a3e67631b3d1c751e1df10019ea65177c6)
Перший доданок перетворюється в нуль, оскільки згідно з (34)
не залежить від часу. Решта доданків дорівнюють нулю оскільки
в матриці (33). Чотиривимірний оператор Лапласа в формулі (32) в декартовій системі координат записується як даламберіан:
![{\displaystyle (36)\qquad \nabla ^{2}=\Box ={\partial ^{2} \over \left(\partial x^{0}\right)^{2}}-\Delta }](https://wikimedia.org/api/rest_v1/media/math/render/svg/cbca9aef2a9c8828266ed5d797f15a98d1daeda1)
де грецькою буквою
позначено тривимірний оператор Лапласа:
![{\displaystyle (37)\qquad \Delta ={\partial ^{2} \over \partial x^{2}}+{\partial ^{2} \over \partial y^{2}}+{\partial ^{2} \over \partial z^{2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/299a8221e83904824e82306cf616e0c685ade4e5)
Оскільки похідна по часовій змінній
від функції (34) дорівнює нулю, то формулу (32) ми можемо записати виключно в тривимірних координатах:
![{\displaystyle (38)\qquad {1 \over 2}\Delta h_{00}=kc^{2}\rho }](https://wikimedia.org/api/rest_v1/media/math/render/svg/83a5131ce7117a75589114d1f79acb3fce4c71e4)
Тепер ми можемо порівняти формулу (38) з класичною формулою для гравітаційного потенціалу
:
![{\displaystyle (39)\qquad \Delta \phi =4\pi G\rho }](https://wikimedia.org/api/rest_v1/media/math/render/svg/286f35b5e550d2b1830b13e5303f75f415e014e7)
Величина
і гравітаційний потенціал
пов'язані між собою через часову компонету метричного тензора:
![{\displaystyle (40)\qquad {\tilde {g}}_{00}=1+{2\phi \over c^{2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fbc6f64035660755ced03339bc5930611d76b6b8)
![{\displaystyle (41)\qquad {\tilde {g}}_{00}=g_{00}+h_{00}-{h \over 2}g_{00}=1+{h_{00} \over 2};\qquad \left(h=g^{ij}h_{ij}=h_{00}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/607b1ed9aff5dcfb1ea9ff69400321ca14095fce)
звідки отримуємо:
![{\displaystyle (42)\qquad {2 \over c^{2}}\phi ={1 \over 2}h_{00}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d5de78d7b315911e5d107c33617c244b0534f43f)
Взявши тривимірний лапласіан
від правої і лівої частин рівняння (42), легко знаходимо невідомий раніше коефіцієнт
рівняння Ейнштейна:
![{\displaystyle (43)\qquad {2 \over c^{2}}4\pi G\rho =kc^{2}\rho }](https://wikimedia.org/api/rest_v1/media/math/render/svg/b20ba86a6a9be476e55e2a209eb58e4e831801b7)
![{\displaystyle (44)\qquad k={8\pi G \over c^{4}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/69ec7aa31e2f9d54b5455c77a964c5b4c508593a)
Деформація метрики в слабкому гравітаційному полі
[ред. | ред. код] Формули (42) і (33) дають змогу записати тензор
через гравітаційний потенціал:
![{\displaystyle (45)\qquad h_{00}={4\phi \over c^{2}};\qquad h_{ij}=0\;{\mbox{ if }}(ij)\neq {00}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5cee11fdf0730e9a7f2151e53cae7c5b47baaef)
Із формули (12) знаходимо компоненти метричного тензора:
![{\displaystyle (46)\qquad g_{00}=g_{00}+h_{00}-{h_{00} \over 2}g_{00}=1+{h_{00} \over 2}=1+{2\phi \over c^{2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ee0cc6e1d51115d91126c29d4591662cf7ae4f6d)
![{\displaystyle \qquad {\tilde {g}}_{ii}=g_{ii}+h_{ii}-{h_{00} \over 2}g_{ii}=-1+0-{2\phi \over c^{2}}(-1)=-1+{2\phi \over c^{2}};\qquad i=\{1,2,3\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/293d979f571c788b750b709a53ab3fb74dd8a0f2)
![{\displaystyle \qquad {\tilde {g}}_{ij}=g_{ij}+h_{ij}-{h_{00} \over 2}g_{ij}=0+0-0=0;\qquad i\neq j}](https://wikimedia.org/api/rest_v1/media/math/render/svg/61118808b0ac3d20c0dc5ff6a05448f476a6e36c)
Ці формули ми можемо записати у вигляді матриці:
![{\displaystyle (47)\qquad ({\tilde {g}}_{ij})={\begin{bmatrix}1+{2\phi \over c^{2}}&0&0&0\\0&-1+{2\phi \over c^{2}}&0&0\\0&0&-1+{2\phi \over c^{2}}&0\\0&0&0&-1+{2\phi \over c^{2}}\end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/53188a6efb8fdf3eb7e3135595a7872470372573)
Оскільки гравітаційний потенціал від'ємний, то з формули (47) слідує, що під дією сили тяжіння плин часу уповільнюється:
![{\displaystyle (48)\qquad {\tilde {g}}_{00}<1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3c5282274a25dba96497f18906ca2451cfdf5b2a)
а простір в такій же пропорції розтягується:
![{\displaystyle (49)\qquad {\big |}{\tilde {g}}_{ii}{\big |}>1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c042617244d69cf50619524251edf6811448719a)
Теоретичні наслідки лінеаризованого рівняння Ейнштейна
[ред. | ред. код] Із рівняння (29) можна вивести, аналогічно запізнюючим потенціалам в електродинаміці, що гравітаційне поле поширюється не миттєво, а зі швидкістю світла. Більше того, можна одержати рівняння для гравітаційних хвиль. Є ще один цікавий ефект - породження аналога сили Коріоліса внаслідок обертання мас. Тобто, наприклад площина коливань маятника Фуко на полюсі Землі не буде фіксованою щодо віддалених зірок, а повільно обертатиметься (дивіться статтю Обертання інерційної системи відліку). Описані вище ефекти дуже малі і не підтверджені експериментально. Такі експерименти можуть підтвердити або спростувати загальну теорію відносності.
- Sean M. Carroll (2003). Spacetime and Geometry, an Introduction to General Relativity. Pearson. ISBN 978-0805387322.