Введение в математику общей теории относительности - Introduction to the mathematics of general relativity

Математики общей теории относительности является сложной. В теориях движения Ньютона длина объекта и скорость, с которой проходит время, остаются постоянными, пока объект ускоряется , а это означает, что многие проблемы в механике Ньютона могут быть решены с помощью одной только алгебры . Однако в теории относительности длина объекта и скорость, с которой проходит время, заметно меняются по мере приближения скорости объекта к скорости света , а это означает, что для расчета движения объекта требуется больше переменных и более сложная математика. В результате относительность требует использования таких понятий, как векторы , тензоры , псевдотензоры и криволинейные координаты .

Для введения, основанного на примере частиц , движущихся по круговым орбитам вокруг большой массы, нерелятивистская и релятивистская трактовки даны, соответственно, в Ньютоновской мотивации для общей теории относительности и теоретической мотивации для общей теории относительности .

Векторы и тензоры

Векторы

Иллюстрация типичного вектора.

В математике , физике и инженерии , евклидовая вектор (иногда называемая геометрическим или пространственный вектор , или - как здесь - просто вектор) представляет собой геометрический объект , который имеет как величину (или длину ) и направление. Вектор - это то, что нужно, чтобы «перенести» точку A в точку B ; латинское слово « вектор» означает «тот, кто несет». Величина вектора представляет собой расстояние между двумя точками , и направление относится к направлению перемещения от A до B . Многие алгебраические операции над действительными числами, такие как сложение , вычитание , умножение и отрицание, имеют близкие аналоги для векторов, операций, которые подчиняются знакомым алгебраическим законам коммутативности , ассоциативности и дистрибутивности .

Тензоры

Напряжение - это тензор второго порядка, который представляет реакцию материала на силу, приложенную под углом. Два направления тензора представляют «нормальную» (перпендикулярную к поверхности) силу и «поперечную» (параллельную поверхности) силу.

Тензор расширяет понятие вектора на дополнительные направления. Скаляр , то есть простое число без направления, будет показано на графике в качестве отправной точки, нульмерного объекта. Вектор, имеющий величину и направление, будет отображаться на графике в виде линии, которая является одномерным объектом. Вектор - это тензор первого порядка, так как он имеет одно направление. Тензор второго порядка имеет две величины и два направления и будет отображаться на графике в виде двух линий, похожих на стрелки часов. «Порядок» тензора - это количество направлений, содержащихся внутри, которое не зависит от размеров отдельных направлений. Тензор второго порядка в двух измерениях может быть математически представлен матрицей 2 на 2, а в трех измерениях - матрицей 3 на 3, но в обоих случаях матрица является «квадратной» для тензора второго порядка. . Тензор третьего порядка имеет три величины и направления и будет представлен кубом чисел, 3 на 3 на 3 для направлений в трех измерениях и так далее.

Приложения

Векторы имеют фундаментальное значение в физических науках. Их можно использовать для представления любой величины, имеющей как величину, так и направление, например скорости , величиной которой является скорость . Например, скорость вверх 5 метров в секунду может быть представлена ​​вектором (0, 5) (в двух измерениях с положительной осью Y как «вверх»). Другая величина, представленная вектором, - это сила , поскольку она имеет величину и направление. Векторы также описывают многие другие физические величины, такие как смещение , ускорение , импульс и угловой момент . Другие физические векторы, такие как электрическое и магнитное поле , представлены как система векторов в каждой точке физического пространства; то есть векторное поле .

Тензоры также широко применяются в физике:

Габаритные размеры

В общей теории относительности требуются четырехмерные векторы или четырехмерные векторы . Эти четыре измерения - длина, высота, ширина и время. «Точкой» в этом контексте будет событие, поскольку у нее есть и место, и время. Подобно векторам, тензоры в теории относительности требуют четырех измерений. Одним из примеров является тензор кривизны Римана .

Преобразование координат

В физике, а также в математике вектор часто идентифицируется с кортежем или списком чисел, которые зависят от некоторой вспомогательной системы координат или системы отсчета . Когда координаты преобразуются, например, вращением или растяжением системы координат, то компоненты вектора также преобразуются. Сам вектор не изменился, но опорный кадр имеет, так что компоненты вектора (или измерения , сделанные по отношению к системе отсчета) должны измениться , чтобы компенсировать.

Вектор называется ковариантным или контравариантным в зависимости от того, как преобразование компонентов вектора связано с преобразованием координат.

  • Контравариантные векторы имеют единицы расстояния (например, смещение) или расстояние, умноженное на некоторые другие единицы (например, скорость или ускорение), и преобразуются в обратном порядке, как система координат. Например, при изменении единиц измерения с метров на миллиметры единицы координат становятся меньше, но числа в векторе становятся больше: 1 м становится 1000 мм.
  • Ковариантные векторы, с другой стороны, имеют единицы измерения расстояния, равные единице (например, градиент ), и преобразуются так же, как и система координат. Например, при переходе от метров к миллиметрам единицы координат становятся меньше, и число, измеряющее градиент, также становится меньше: 1  К / м становится 0,001 К / мм.

В нотации Эйнштейна контравариантные векторы и компоненты тензоров показаны с верхними индексами, например x i , а ковариантные векторы и компоненты тензоров с нижними индексами, например x i . Индексы «повышаются» или «опускаются» путем умножения на соответствующую матрицу, часто на единичную матрицу.

Преобразование координат важно, потому что теория относительности утверждает, что во Вселенной нет одной точки отсчета (или перспективы), которая была бы более предпочтительной, чем другая. На Земле мы используем такие измерения, как север, восток и высота, которые используются по всей планете. Для космоса такой системы нет. Без четкой справочной сетки становится более точным описывать четыре измерения как «вперед / назад», «влево / вправо», вверх / вниз и прошлое / будущее. В качестве примера события предположим, что Земля - ​​неподвижный объект, и рассмотрим подписание Декларации независимости . Для современного наблюдателя на горе Рейнир, смотрящего на восток, событие впереди, справа, внизу и в прошлом. Однако для наблюдателя в средневековой Англии, смотрящего на север, событие позади, слева, ни вверх, ни вниз, и в будущем. Само мероприятие не изменилось, местоположение наблюдателя изменилось.

Наклонные оси

Наклонная система координат - это система, в которой оси не обязательно ортогональны друг другу; то есть они встречаются не под прямым углом , а под другими углами . При использовании преобразований координат, как описано выше, новая система координат часто будет иметь наклонные оси по сравнению со старой системой.

Нетензоры

Нетензор - это величина, подобная тензору, которая ведет себя как тензор при повышении и понижении индексов, но не преобразуется, как тензор, при преобразовании координат. Например, символы Кристоффеля не могут быть тензорами сами по себе, если координаты не изменяются линейным образом.

В общей теории относительности нельзя описать энергию и импульс гравитационного поля тензором энергии-импульса. Вместо этого вводятся объекты, которые ведут себя как тензоры только в отношении ограниченных преобразований координат. Строго говоря, такие объекты вовсе не тензоры. Знаменитый пример такого псевдотензора - псевдотензор Ландау – Лифшица .

Криволинейные координаты и искривленное пространство-время

Высокоточная проверка общей теории относительности космическим зондом Кассини (впечатление художника): радиосигналы, передаваемые между Землей и зондом (зеленая волна), задерживаются из-за деформации пространства и времени (синие линии) из-за массы Солнца . То есть масса Солнца вызывает искажение и кривизну системы координат регулярной сетки (выделено синим цветом). Затем радиоволна следует этой кривизне и движется к Солнцу.

Криволинейные координаты - это координаты, в которых углы между осями могут изменяться от точки к точке. Это означает, что вместо сетки прямых линий, сетка имеет кривизну.

Хороший тому пример - поверхность Земли. Хотя карты часто изображают север, юг, восток и запад в виде простой квадратной сетки, на самом деле это не так. Вместо этого линии долготы, идущие на север и юг, изогнуты и пересекаются на северном полюсе. Это потому, что Земля не плоская, а круглая.

В общей теории относительности энергия и масса влияют на кривизну четырех измерений Вселенной (= пространство-время). Эта кривизна порождает силу тяжести. Распространенная аналогия - размещение тяжелого предмета на растянутом листе резины, в результате чего лист изгибается вниз. Это изгибает систему координат вокруг объекта, так же как объект во Вселенной искривляет систему координат, в которой он находится. Математика здесь концептуально более сложна, чем на Земле, поскольку она приводит к четырем измерениям изогнутых координат вместо трех, как раньше. описывать изогнутую 2D-поверхность.

Параллельный транспорт

Пример: параллельное перемещение по окружности трехмерного шара, вложенного в два измерения. Окружность радиуса r вложена в двумерное пространство, характеризуемое координатами z 1 и z 2 . Сама окружность характеризуется координатами y 1 и y 2 в двумерном пространстве. Сама окружность одномерна и может быть охарактеризована длиной дуги x . Координата y связана с координатой x соотношением y 1 = r cos Икс / р и y 2 = r sin Икс / р . Это дает у 1 / x = −sin Икс / р а также у 2 / x = cos Икс / р В этом случае метрика является скаляром и определяется выражением g = cos 2. Икс / р + грех 2 Икс / р = 1 . Тогда интервал равен ds 2 = g dx 2 = dx 2 . Интервал как раз равен длине дуги, как и ожидалось.

Интервал в многомерном пространстве

В евклидовом пространстве расстояние между двумя точками измеряется расстоянием между двумя точками. Расстояние чисто пространственное и всегда положительное. В пространстве-времени разделение между двумя событиями измеряется инвариантным интервалом между двумя событиями, который учитывает не только пространственное разделение между событиями, но и их разделение во времени. Интервал s 2 между двумя событиями определяется как:

      (пространственно-временной интервал),

где c - скорость света, а Δ r и Δ t обозначают разности пространственных и временных координат, соответственно, между событиями. Выбор знаков для s 2 выше соответствует соглашению о пробелах (- +++) . Обозначение типа Δ r 2 означает r ) 2 . Причина, по которой s 2 называется интервалом, а не s, состоит в том, что s 2 может быть положительным, нулевым или отрицательным.

Пространственно-временные интервалы можно разделить на три различных типа в зависимости от того, больше ли временное разделение ( c 2 Δ t 2 ) или пространственное разделение ( Δ r 2 ) двух событий: временное, светоподобное или пространственное. .

Определенные типы мировых линий называются геодезическими пространства-времени - прямыми линиями в случае плоского пространства-времени Минковского и их ближайшим эквивалентом в искривленном пространстве-времени общей теории относительности. В случае чисто временных путей геодезические - это (локально) пути наибольшего разделения (пространственно-временного интервала), измеренные на пути между двумя событиями, тогда как в евклидовом пространстве и римановых многообразиях геодезические - это пути кратчайшего расстояния между двумя точками. . Концепция геодезических становится центральной в общей теории относительности , поскольку геодезическое движение можно рассматривать как «чистое движение» ( движение по инерции ) в пространстве-времени, то есть свободное от каких-либо внешних влияний.

Ковариантная производная

Ковариантная производная - это обобщение производной по направлению из векторного исчисления. Как и в случае производной по направлению, ковариантная производная - это правило, которое принимает в качестве входных данных: (1) вектор u (по которому берется производная), определенный в точке P , и (2) векторное поле v , определенная в окрестности точки Р . Выход представляет собой вектор, а также в точке P . Основное отличие от обычной производной по направлению состоит в том, что ковариантная производная должна в определенном точном смысле быть независимой от того, как она выражается в системе координат.

Параллельный транспорт

Учитывая ковариантной производной, можно определить параллельный перенос векторного V в точке Р вдоль кривой Г , начиная с P . Для каждой точки х из Г , параллельный перенос V в х будет функцией от х , и может быть записана как об ( х ) , где V (0) = v . Функция v определяется требованием, чтобы ковариантная производная v ( x ) вдоль γ была равна 0. Это похоже на тот факт, что постоянная функция - это функция, производная которой постоянно равна 0.

Символы Кристоффеля

Уравнение для ковариантной производной можно записать в терминах символов Кристоффеля. Символы Кристоффеля часто используются в общей теории относительности Эйнштейна , где пространство-время представлено изогнутым 4-мерным лоренцевым многообразием со связностью Леви-Чивиты . В уравнения поля Эйнштейна - определяющие геометрию пространства - времени в присутствии материи - содержит тензор Риччи . Поскольку тензор Риччи является производным от тензора кривизны Римана, который может быть записан в терминах символов Кристоффеля, вычисление символов Кристоффеля является важным. После определения геометрии пути частиц и световых лучей вычисляются путем решения геодезических уравнений, в которых явно присутствуют символы Кристоффеля.

Геодезические

В общей теории относительности , геодезический обобщает понятие «прямой линии» с изогнутым пространства - времени . Важно отметить, что мировая линия частицы, свободная от всех внешних негравитационных сил, является особым типом геодезических. Другими словами, свободно движущаяся или падающая частица всегда движется по геодезической.

В общей теории относительности гравитацию можно рассматривать не как силу, а как следствие искривленной геометрии пространства-времени, где источником кривизны является тензор энергии-напряжения (представляющий, например, материю). Таким образом, например, путь планеты, вращающейся вокруг звезды, является проекцией геодезической изогнутой геометрии четырехмерного пространства-времени вокруг звезды на трехмерное пространство.

Кривая является геодезической , если касательный вектор кривой в любой точке равна параллельным переносом на касательного вектора базовой точки.

Тензор кривизны

Тензор кривизны Римана математически сообщает нам, сколько кривизны существует в любой данной области пространства. Сжатие тензора дает еще 2 математических объекта:

  1. Тензор Римана кривизны : Р р σμν , который дает наиболее полную информацию о кривизне пространства и происходит от производных метрического тензора . В плоском пространстве этот тензор равен нулю.
  2. Тензор Риччи : R σν , исходит из необходимости в теории Эйнштейна для тензора кривизны только с 2 индексами. Он получается путем усреднения некоторых частей тензора кривизны Римана.
  3. Скалярная кривизна : R , самая простая мера кривизны, присваивает одно значение скалярного для каждой точки в пространстве. Он получается усреднением тензора Риччи.

Тензор кривизны Римана можно выразить через ковариантную производную.

Einstein тензор G является рангом-2 тензор определяется через псевдоримановых многообразий . В безиндексной нотации он определяется как

где R - тензор Риччи , g - метрический тензор, а R - скалярная кривизна . Он используется в уравнениях поля Эйнштейна .

Тензор напряжения-энергии

Контравариантные компоненты тензора энергии-импульса.

Тензор энергии- (иногда тензор энергии импульса или тензор энергии-импульса ) является тензорной величиной в физике , которая описывает плотность и поток от энергии и импульса в пространстве - времени , обобщающий тензор напряжений ньютоновской физики. Это атрибут материи , излучения и негравитационных силовых полей . Тензор энергии является источником гравитационного поля в полевых уравнениях Эйнштейна в общей теории относительности , так же , как плотность массы является источником такого поля в ньютоновской гравитации . Поскольку этот тензор имеет 2 индекса (см. Следующий раздел), тензор кривизны Римана должен быть сжат в тензор Риччи, также с двумя индексами.

Уравнение Эйнштейна

В поле Эйнштейна уравнение ( EFe ) или уравнения Эйнштейна представляют собой набор из 10 уравнений в Альберте Эйнштейн общей теории относительности , которая описывает фундаментальное взаимодействие с гравитацией в результате пространства - времени быть изогнуты по вопросу и энергии . Впервые опубликованный Эйнштейном в 1915 году в виде тензорного уравнения , EFE приравнивает локальную кривизну пространства-времени (выраженную тензором Эйнштейна ) с локальной энергией и импульсом внутри этого пространства-времени (выраженными тензором энергии-импульса ).

Уравнения поля Эйнштейна можно записать как

где G μν - тензор Эйнштейна, а T μν - тензор энергии-импульса .

Это означает, что кривизна пространства (представленная тензором Эйнштейна) напрямую связана с наличием материи и энергии (представленной тензором энергии-импульса).

Решение Шварцшильда и черные дыры

В Эйнштейна теории «ы из ОТО , то метрика Шварцшильда (также Шварцшильд вакуума или решение Шварцшильда ), является решением для полевых уравнений Эйнштейна которых описывает гравитационное поле снаружи сферической массы, исходя из предположения , что электрический заряд массы, угловой момент массы, и универсальный космологический равны нулю. Решение представляет собой полезное приближение для описания медленно вращающихся астрономических объектов, таких как многие звезды и планеты , включая Землю и Солнце. Решение названо в честь Карла Шварцшильда , который впервые опубликовал решение в 1916 году, незадолго до своей смерти.

Согласно теореме Биркгофа , метрика Шварцшильда является наиболее общим сферически симметричным , вакуумное решение из уравнений поля Эйнштейна . Шварцшильд черная дыра или статическая черная дыра является черной дырой , которая не имеет заряда или угловой момента . Черная дыра Шварцшильда описывается метрикой Шварцшильда, и ее нельзя отличить от любой другой черной дыры Шварцшильда, кроме ее массы.

Смотрите также

Заметки

Рекомендации