Тензор Ейнштейна

Те́нзор Ейнште́йна () тензорна величина, що являє собою варіаційну похідну скалярної кривини зв'язності Леві-Чивіти за метричним тензором. У цій якості стоїть в лівій частині рівняння Ейнштейна. Тензор Ейнштейна — симетричний тензор другого рангу в n-вимірному просторі, тобто містить незалежних компонент, що являють собою складні комбінації компонент метричного тензора та його перших і других похідних.

Означення тензора Ейнштейна у випадку гіперповерхні

Тензор Ейнштейна -го степеня:

Найпростіші властивості тензора Ейнштейна

Із формул (2) і (3) легко бачити, що неповна згортка тензора Ейнштейна з тензором повної кривини гіперповерхні дорівнює тензору Річчі на одиницю більшого степеня:

Дещо складніше обчислювати слід тензора Ейнштейна. Для цього треба скористатися наступною властивістю тензора метричної матрьошки:

В результаті маємо:

Дивергенція тензора Ейнштейна

Оскільки тензор метричної матрьошки перестановочний з коваріантною похідною, то ми можемо записати:

Перший доданок в сумі симетричний по індексах внаслідок рівняння Петерсона-Кодацці (дивіться статтю Гіперповерхня):

Оскільки тензор метричної матрьошки антисиметричний по цих самих індексах, то результатом їхньої згортки буде нуль. Аналогічно дорівнює нулю згортка тензора метричної матрьошки з усіма наступними доданками суми в правій частині рівняння (8). Отже одержуємо такий результат: дивергенція тензора Ейнштейна дорівнює нулю.

Розклад тензора метричної матрьошки

Для виводу наступних формул, що пов'язують тензори Ейнштейна та Річчі, треба вивести формулу, як тензор метричної матрьошки (що за означенням дорівнює визначнику матриці, складеної з дельта-символів) розкладається по першому рядку матриці.

Нехай ми маємо тензор метричної матрьошки рангу, який записується у вигляді визначника матриці розміром . Запишемо його розклад по першому рядку:

В правій частині цієї формули матриці визначників доданків утворюються в результаті викреслення з матриці розкладу першого рядка і відповідно першого, другого, третього ... стовпців. Знаки доданків чергуються. Формулу (10) можна записати також в позначенні тензора метричної матрьошки:

Подивимось більш прискіпливо на перші три доданки, звертаючи увагу на відповідність верхніх та нижніх індексів тензора метричної матрьошки. Перші два доданки в цьому розумінні задовільні. Що ж до третього доданка, то формула стане в деякому розумінні симетричнішою, якщо в тензорі метричої матрьошки ми переставимо місцями (з відповідною зміною знаку доданка) нижні індекси . Зробимо аналогічні зміни і для решти доданків. В результаті маємо таку формулу:

В цій формулі перший доданок стоїть зі знаком "плюс", а решта доданків зі знаком "мінус". Принагідно зазначимо, що із формули (11) легко слідує формула згортки (6).

Можна одержати ще одну формулу, аналогічну (11), якщо розкладати визначник не по рядку, а по стовпцю:

Основний зв'язок тензора Ейнштейна з тензором Річчі

Підставимо розклад (12) в формулу (2). Одержуємо:

При розкриванні дужок перший доданок дає в результаті згортки

а решта доданків, внаслідок симетрії тензора метричної матрьошки щодо перестановки "вертикальних" пар індексів, кожен дає однаковий результат:

Оскільки кількість доданків (14) у правій частині формули (13) дорівнює , то маємо:

Симетрія тензорів Ейнштейна та Річчі

Оскільки згідно з формулою (15) тензор Річчі відрізняється від тензора Ейнштейна додаванням симетричного тензора , то нам достатньо довести симетрію тільки одного, наприклад тензора Ейнштейна. Жонглюючи індексами (піднімаючи та опускаючи) у формулі (2), знаходимо для коваіантних координат тензора Ейнштейна:

Оскільки тензор симетричний, то ми можемо в тензорі метричної матрьошки в формулі (16) переставити кожен індекс з відповідним йому індексом :

Далі, тензор метричної матрьошки симетричний відносно груп індексів. Переставляючи групи індексів в тезорі метричної матрьошки формули (17), ми прийдемо до правої частини формули (16) з переставленими індексами . Отже

Запис тензорів Ейнштейна та Річчі парного степеня через тензор Рімана

Аналогічно до того, як це ми обчислювали для кривин Ґаусса, знаходимо:

Отже для парних степенів тензори Ейнштейна та Річчі є об'єктами внутрішньої геометрії, а тому визначені для всіх многовидів, а не лише для гіперповерхонь.

Цікаво, що всі основні властивості тензорів Ейнштейна та Річчі (нульова дивергенція тензора Ейнштейна, основний зв'язок між тензором Ейнштейна та тензором Річчі, їхня симетрія) зберігаються для всіх многовидів, якщо для їх виводу користуватися формулами (19), (20). Наприклад обчислимо дивергенцію тензора Ейнштейна:

Тут виписано тільки перший доданок від похідної добутку, решта доданків (з похідними наступних співмножників) аналогічні. В цьому доданку звернемо увагу на три індекси , за якими ведеться згортка. Ці три індекси попарно різні, оскільки вони входять в одну антисиметричну групу індексів метричної матрьошки, і в ході згортки перебираються усі перестановки (в тому числі циклічні) цих індексів. Але для тензора Рімана сума циклічних перестановок дорівнює нулю внаслідок диференціальної тотожності Біанкі:

тому перший доданок у правій частині формули (21) дорівнює нулю. Для решти доданків аналогічно.

Скалярне поле, складене з тензорів внутрішньої геометрії

До тензорів внутрішньої геометрії віднесемо прямий () та обернений () метричні тензори, тензор Рімана і його коваріантні похідні ().
Із вищезгаданих тензорів можна утворювати різноманітні первинні скаляри, користуючись множенням і згорткою тензорів, наприклад:

Далі, із цих первинних скалярів можна скласти будь-яку скалярну функцію:

Ця функція є скалярним полем на многовиді. Очевидно, значення скалярного поля в будь-якій точці многовиду не залежить від вибору системи координат. Те саме стосується інтегралу від об'єму многовида:

Інтеграл не зміниться, якщо його обчислювати в іншій системі координат.

Узагальнений тензор Ейнштейна як коефіцієнт при варіації метрики

Якщо змінювати сам метричний тензор , наприклад на малу величину варіації :

то будуть змінюватися також скалярне поле і інтеграл . Варіацію інтеграла можна записати так:

Коефіцієнти в цій формулі становлять симетричний тензор, його ми і назвемо узагальненим тензором Ейнштейна.

Ясно, що узагальнений тензор Ейнштейна можна обчислити виходячи з формули (4) - він залежить від скаляра . Цей факт можна відобразити індексом в квадратних дужках вгорі:

Дивергенція узагальненого тензора Ейнштейна

В загальному випадку варіація в формулі (4) не дорівнює нулю. Але є один спеціальний випадок, коли ми можемо стверджувати що . Це перехід в іншу систему координат. Нехай координати в новій системі відрізняються від старих координат на малий вектор :

Тоді варіація метричного тензора дорівнює:

І з формули (4) знаходимо:

Два останні доданки в формулі (8) однакові, зважаючи на симетрію . Продовжимо перетворення:

Перший інтеграл в (9) є інтегралом від дивергенції вектора а тому може за теоремою Остроградського-Ґаусса перетворитися в поверхневий інтеграл довкола області інтегрування. Цей інтеграл можна зробити нулем, якщо розглядати лише локальні варіації системи координат, а на межі вважати . Отже з формули (9) одержуємо:

Ця рівність виконується при будь-якому виборі вектора варіації . Звідси робимо висновок, що коефіцієнт при варіації повинен дорівнювати нулю:

Тобто дивергенція узагальненого тензора Ейнштейна дорівнює нулю.

Перший крок обчислення, загальний випадок

Помітимо, що під інтегралом в правій частині формули (2) стоять два множника, залежні від метрики: власне функція і корінь із визначника метричного тензора . В статті Прості обчислення диференціальної геометрії було знайдено варіацію другого множника:

Тому варіація функціонала дорівнює:

Порівнюючи формули (4) і (13) можна прийти до поняття узагальненого тензора Річчі :

де перший доданок походить від варіації :

а другий - від варіації .

Корисною э також наступна формула зв'язку між варіаціями прямого та оберненого метричних тензорів (див. Прості обчислення диференціальної геометрії):

звідки для довільного тензора маємо таке перетворення інтегралів (для спрощення запису в цій та деяких наступних формулах елемент об'єму опускаємо):

Випадок функціональної залежності, без похідних від тензора Рімана

Нехай функція залежить лише від метричного тензора та тензора Рімана:

тоді варіація цієї функції виглядає так:

де коефіцієнт , враховуючи (16), дорівнює:

Для знаходження інтеграла від останнього доданка в формулі (19) скористаємося результатами статті Допоміжні інтеграли з варіаціями:

де ведено позначення:

Перший інтеграл в правій частині формули (21) береться по межі області, де ми можемо вважати варіацію метричного тензора (а отже і варіацію всіх залежних величин) рівною нулю. Тобто цей (та інші!) поверхневий інтеграл можна опустити. Останній інтеграл у правій частині (21) теж обчислюється за результатами статті Допоміжні інтеграли з варіаціями. Для цього спочатку розглядаємо допоміжний тензор із трьома індексами:

тоді із врахуванням формули (16) маємо:

де введено ще одне позначення:

або, те саме після жонглювання індексами:

Збираючи формули (19-26) і порівнюючи з формулою (15), маємо для узагальненого тензора Річчі:

Розглянемо випадок, коли функція залежить від згорнутого тензора Рімана (тобто від тензора Річчі другого степеня ). Тоді в формулі (19) можна покласти:

виділивши множник символу Кронекера, що відповідає за згортку і одержуючи таку формулу:

Тензор c^{ik} очевидно буде симетричним. Тоді із формули (27) маємо:

Поглянемо на вираз в дужках. Четвертий і шостий доданки взаємно знищуються. Із решти чотирьох доданків два мають додатній знак (з врахуванням мінуса перед дужками). Це другий доданок , і п'ятий в якому згортка метричного тензора з наблами утворює лапласіан: . Два інші доданки (перший і третій) мають знак "мінус", в них метричний тензор опускає індекс у другій наблі. Таким чином формула (30) дещо спрощується:

Як бачимо, вираз вийшов симетричним, якщо враховувати симетрію по індексах тензора Враховуючи (14), запишемо формулу для узагальненого тензора Ейнштейна:

Приклад 1: обчислення узагальненого тензора Ейнштейна для

Загальна формула

Нехай буде скалярною функцією від скалярної кривини многовида:

Знаходимо її варіацію:

Порівнюючи (34) з (29), маємо:

Для обчислення узагальненого тензора Ейнштейна, нам достатньо підставити тензори (35) в формулу (31). Після зведення однакових доданків одержуємо:

Частинні випадки

Застосуємо цю формулу до деяких степеневих функцій.

тобто ми одержали добре відомий вираз із рівняння Ейнштейна. Тепер спробуємо квадратичну функцію:

І функцію квадратного кореня:

Очевидно, підкореневий вираз має бути додатнім, тому вищенаведену формулу можна використовувати в тих областях многовида, де скалярна кривина додатня. В тих областях, де від'ємна, можна записати аналогічну формулу з квадратним коренем:

Контрольна перевірка дивергенції

Формулу (11) ми вивели для довільного узагальненого тензора Ейнштейна, в тому числі вона має бути дійсною і для тензора (36). Тож перевіримо, що дивергенція (36) дорівнює нулю. Ця перевірка додасть впевненості, що при виводі формули (36) ми нічого не наплутали (особливо в знаках доданків).

Розглянемо окремо дві складові в дивергенції формули (36):

Вектор є дивергенцією від перших двох (алгебраїчних) доданків:

Вираз в останніх дужках дорівнює нулю внаслідок подвійної згортки диференціальної тотожності Біанкі:

Отже

Другий доданок у формулі (41) є дивергенцією двох останніх доданків (36), які містять коваріантні похідні:

В правій частині цієї формули стоїть комутатор коваріантних похідних , що діє на вектор . Він, за означенням, дорівнює згортці вектора з тензором Рімана:

Порівнюючи вирази (45) і (47) бачимо що дійсно, дивергенція узагальненого тензора Ейнштейна (формули 36,41) дорівнює нулю.

Приклад 2: узагальнений тензор Ейнштейна для згортки тензорів Річчі

Нехай функція є згорткою добутку двох тезорів Річчі (другого степеня):

тоді

Порівнюючи (49) і (29), знаходимо коефіцієнти:

які підставимо в формулу (32) для знаходження узагальненого тензора Ейнштейна:

Можна перевірити, аналогічно до попереднього пункту, що дивергенція тензора теж дорівнює нулю.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.