Рівняння Ейнштейна — Вікіпедія
![]() | Ця стаття містить перелік джерел, але походження окремих тверджень у ній залишається незрозумілим через практично повну відсутність виносок. |
Рівняння Ейнштейна | |
![]() | |
Названо на честь | Альберт Ейнштейн |
---|---|
Формула | |
Позначення у формулі | , , , , і |
Підтримується Вікіпроєктом | Вікіпедія:Проєкт:Математика |
Рівня́ння Ейнште́йна — основні рівняння загальної теорії відносності. Невідомою величиною в рівняннях Ейнштейна є метричний тензор
де — тензор Річчі, — скалярна кривина, — метричний тензор, — космологічна константа, — тензор енергії-імпульсу, який визначає негравітуючу матерію, енергію та сили в довільній точці простору-часу, — число пі, — швидкість світла, — гравітаційна стала, яка аналогічно фігурує у відповідному законі всесвітнього тяжіння Ньютона. Тензор Річчі, скалярне викривлення та тензор енергії-імпульсу теж залежать від метричного тензора.
У загальному випадку рівняння Ейнштейна містить космологічну константу, хоча пізніше Ейнштейн відмовився від її використання. Космологічна константа була запроваджена для того, щоб досягти стаціонарності Всесвіту, але відкриття червоного зсуву заклало сумніви в стаціонарності. Космологічна константа, можливо, відповідає темній енергії.
Інформація про розподіл мас і полів міститься в тензорі енергії-імпульсу. Для повного розгляду фізичної системи рівняння Ейнштейна повинні бути доповненими рівнянням стану матерії.
Спробуємо вивести рівняння гравітації, яке б узгоджувалося з принципами загальної теорії відносності і в граничному випадку малих мас і малих швидкостей переходило в класичний закон Всесвітнього тяжіння Ньютона. Для виводу достатньо розглянути тільки статичну задачу, коли маси не рухаються і гравітаційне поле не змінюється з часом[джерело?]. В класичному випадку прискорення вільного падіння до тяжіючого центру дається формулою обернених квадратів:
Ця сила виявляється консервативною, і аналогічно до електростатики ми можемо розглядати гравітаційний потенціал :
Прискорення вільного падіння дорівнює взятому зі знаком мінус градієнту потенціалу:
а із формули (3), повністю аналогічно до електростатики, одержуємо наступне рівняння Лапласа:
де - густина маси. Це рівняння класичної механіки ми візьмемо за основу і спробуємо знайти його релятивістський аналог.
При переході до загальної теорії відносності ми повинні замінити густину маси релятивістськи-інваріантною величиною. Такою величиною, до того ж приблизно пропорційною густині , є тензор енергії-імпульсу . Оскільки маси нерухомі, то потоку енергії немає, і недіагональні елементи тезора дорівнюють нулю. Також ми можемо знехтувати напруженнями всередині фізичного тіла у порівнянні з дуже великою щільністю енергії спокою . Таким чином, в нашому випадку в тензорі енергії-імпульса відмінна від нуля лише одна часова компонента:
Цей тензор стоятиме (з деяким коефіцієнтом пропорційності) в правій частині шуканого рівняння - він породжує гравітацію. А що ми повинні написати в лівій частині, тобто що таке гравітація? Відповідь дав Ейнштейн, сформулювавши принцип еквівалентності - це викривлення чотиривимірного простору-часу. Сила тяжіння обчислюється за тією ж формулою, що й сили інерції в неінерційних системах координат:
Відповідно коваріантна координата сили тяжіння в тривимірному просторі (знак мінус враховує псевдоевклідовість):
У цій формулі похідна координат береться по власному часу матеріальної точки:
Ми візьмемо для вимірювання сили тяжіння нерухоме пробне тіло масою . Вздовж світової лінії цього тіла змінюється лише нульова координата , тому:
Прирівнюючи формули (4) і (9) знаходимо, що нульова компонента метричного тензора пов'язана з гравітаційним потенціалом:
Константу інтегрування ми можемо знайти, знаючи що на нескінченності (великій відстані від тяжіючих тіл) нульова компонента метричного тензора дорівнює одиниці, а потенціал перетворюється в нуль згідно з формулою (3). Отже:
Тепер ми готові підібрати релятивістський аналог для лівої частини формули (5). Ясно, що цей аналог повинен містити другі похідні метричного тензора і одночасно бути тензором, щоб задовольнити основну вимогу загальної теорії відносності - бути інваріантним щодо довільної заміни системи координат. Ми не можемо використати частинні похідні самі по собі, оскільки вони не є тензором (при заміні системи координат перетворюються не за тензорними правилами). Також ми не можемо скористатися коваріантною похідною, оскільки відомо, що коваріантна похідна метричного тензора тотожно дорівнює нулю. Але нам підходить тензор внутрішньої кривини (тензор Рімана):
Ясно, що при малому викривленні простору-часу ми можемо вибрати близьку до декартової систему координат. В ній символи Крістофеля будуть близькими до нуля, тому відкинувши (два останні) квадратичні доданки в формулі (13) ми в правій частині матимемо суму других похідних від метричного тензора. В цій сумі також будуть присутні другі похідні від , тобто від гравітаційного потенціалу (формула 11).
Тензор Рімана має чотири індекси, тому ми не можемо його безпосередньо прирівнювати до тензора енергії-імпульсу з двома індексами. Зменшити кількість індексів можна, розглядаючи лінійні комбінації компонент тензора Рімана (12). Очевидно, ці лінійні комбінації теж містять суму інших похідних від гравітаційного потенціалу (так що залишається надія одержати аналог лівої частини формули (5)). Ми не будемо вводити нових фізичних величин, а скористаємося для коефіцієнтів цих лінійних комбінацій самим метричним тензором - тобто розглянемо згортки тензора Рімана. Однократна згортка тензора за індексами дає тензор Річчі R_{ik}:
Цей тензор симетричний і має два індекси, як і в тензора енергії-імпульсу . Але окрім (14) ми можемо утворити ще один симетричний тензор, помноживши метричний тензор на скалярну кривину , яка є згорткою тензора Річчі:
Отже природними кандидатами на релятивістське узагальнення рівняння (5) є такі лінійні комбінації:
де коефіцієнти є константами. Ці коефіцієнти можна уточнити, скориставшись локальним законом збереження енергії-імпульсу:
Отже дивергенція від лівої частини формули (16) повинна дорівнювати нулю. Якби тензор Рімана був зовсім довільним, то добитися нульової дивергенції ми не змогли б ні при яких ненульових константах . Але на щастя, як чисто математична властивість, коваріантні похідні тензора Рімана пов'язані диференціальною тотожністю Біанкі:
Згорнемо цю тотожність спочатку за індексами , а потім за :
Із останньої рівності, перейменувавши індекс, за яким проходить згортка, ми можемо виразити дивергенцію тензора Річчі через градієнт скалярної кривини :
Тепер ми готові, щоб застосувати дивергенцію до рівняння (16):
Ця рівність (закон збереження енергії-імпульсу) буде тотожно задовольнятися, якщо коефіцієнт дорівнює:
Ясно, що тепер коефіцієнт не може дорівнювати нулю (інакше з врахуванням (23) і (16) тензор був би тотожним нулем). Поділимо рівність (16) на і перепозначимо поки що невідому константу . В результаті приходимо до такого рівняння гравітації:
Нам залишилось знайти константу . Для цього треба показати, що в наближенні слабкого поля, ліва частина рівняння (24) дорівнює з деяким коефіцієнтом лапласіану гравітаційного потенціалу і обчислити цей коефіцієнт. Це не зовсім тривіально, оскільки окрім часової компоненти метричного тензора (формула 11), решта компонент може також змінюватися. Деталі обчислення дивіться в статті Слабке гравітаційне поле.
Вираз в лівій частині рівняння (24) є тензором Ейнштейна другого степеня:
який можна одержати варіацією інтеграла Ґаусса:
при зміні метричного тензора на малу величину . Кривина Ґаусса другого степеня дорівнює половині скалярної кривини:
Оскільки для матерії (зокрема для електромагнітного поля) тензор енергії-імпульсу теж утворюється з лагранжіана подібним чином як коефіцієнт при варіації метрики[джерело?], наприклад:
то віднімаючи від (28) попередньо помножене рівняння (26) (з належним множником, оберненим до коефіцієнта в правій частині рівняння (1)) одержимо сукупний лагранжіан матерії та гравітаційного поля:
при варіації якого одержується все: як рівняння Ейнштейна для гравітації, так і рівняння руху матерії:
Другий доданок в правій частині (29) є лагранжіаном гравітаційного поля:
Варіаційний принцип зустрічається не тільки тут, але в усіх основних розділах фізики: класичній механіці, квантовій механіці, електродинаміці, теорії відносності. Така поширеність наводить на думку, що всі закони фізики пов'язані якимось (ще невідомим науці) одним універсальним рівнянням[джерело?]. Це рівняння може утворюватись варіацією "всезагальної дії" від деякого загального лагранжіана. Сам Альберт Ейнштейн займався пошуками цього рівняння, хоча без значних успіхів. Одним із результатів Ейнштейна є поправка із космологічною сталою.
Розглянемо замість виразу (31) будь-яку функцію від тензора Рімана та його коваріантних похідних, яка утворює скаляр за тензорними правилами. Наприклад:
Тоді при варіації цього узагальненого лагранжіана ми одержимо Узагальнений тензор Ейнштейна. Він наслідує основні властивості тензора Ейнштейна (формула 25) другого степеня: симетричний, релятивістськи інваріантний, нульова дивергенція. Єдина умова на поправки в формулі (32): вони мають бути малими в масштабах ближнього космосу (тобто Сонячної системи), щоб виконувався закон тяжіння Ньютона. Але в інших масштабах вони можуть проявитися. Зокрема члени з при великих масштабах - вселенських і галактичних. Квадратичні члени з можуть проявитися в малих, зокрема мікроскопічних масштабах. Докладніше це описано в статті Поправки до рівняння Ейнштейна.
Рівняння Ейнштейна нелінійні й розв'язки можна знайти в дуже обмеженій кількості випадків. Найвідоміший розв'язок — метрика Шварцшильда для сферично-симетричного розподілу маси.
- Ландау Л. Д., Лифшиц Е. М. (1967). Теория поля. Теоретическая физика, т.2. Москва: Госиздат., 460 с.
![]() | Це незавершена стаття з фізики. Ви можете допомогти проєкту, виправивши або дописавши її. |