WikiDer > Тензор Вейля

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

В общая теория относительности, кривизна Вейля - единственная часть кривизны, существующая в свободном пространстве - решение вакуумное уравнение Эйнштейна- и управляет размножением гравитационные волны через области космоса, лишенные материи.^[1] В более общем плане кривизна Вейля является единственной составляющей кривизны для Риччи-плоские многообразия и всегда управляет характеристики полевых уравнений Многообразие Эйнштейна.^[1]

В размерностях 2 и 3 тензор кривизны Вейля тождественно равен нулю. В размерностях ≥ 4 кривизна Вейля, как правило, отлична от нуля. Если тензор Вейля обращается в нуль в размерности ≥ 4, то метрика локально конформно плоский: существует местная система координат в котором метрический тензор пропорционален постоянному тензору. Этот факт был ключевым компонентом Теория гравитации Нордстрёма, который был предшественником общая теория относительности.

Определение

Тензор Вейля может быть получен из полного тензора кривизны путем вычитания различных следов. Это проще всего сделать, записав тензор Римана как тензор валентности (0,4) (сжимая метрику). Тензор Вейля валентности (0,4) тогда равен (Петерсен 2006, п. 92)

${ displaystyle C = R - { frac {1} {n-2}} left ( mathrm {Ric} - { frac {s} {n}} g right) wedge ! ! ! ! ! ! bigcirc g - { frac {s} {2n (n-1)}} g wedge ! ! ! ! ! ! bigcirc g}$

где п - размерность многообразия, г это метрика, р - тензор Римана, Ric это Тензор Риччи, s это скалярная кривизна, и ${ Displaystyle ч клин ! ! ! ! ! ! bigcirc k}$ обозначает Кулькарни – Номидзу двух симметричных (0,2) тензоров:

${ displaystyle { begin {align} (ч клин ! ! ! ! ! ! bigcirc k) left (v_ {1}, v_ {2}, v_ {3}, v_ {4 } right) = quad & h left (v_ {1}, v_ {3} right) k left (v_ {2}, v_ {4} right) + h left (v_ {2}, v_ {4} right) k left (v_ {1}, v_ {3} right) - {} & h left (v_ {1}, v_ {4} right) k left (v_ {2 }, v_ {3} right) -h left (v_ {2}, v_ {3} right) k left (v_ {1}, v_ {4} right) end {align}}}$

В обозначениях компонент тензора это можно записать как

${ displaystyle { begin {align} C_ {ik ell m} = R_ {ik ell m} + {} & { frac {1} {n-2}} left (R_ {im} g_ {k ell} -R_ {i ell} g_ {km} + R_ {k ell} g_ {im} -R_ {km} g_ {i ell} right) {} + {} & { frac {1} {(n-1) (n-2)}} R left (g_ {i ell} g_ {km} -g_ {im} g_ {k ell} right). End {выровнено }}}$

Обычный (1,3) валентный тензор Вейля затем получается путем сжатия вышеупомянутого с обратной метрикой.

Разложение (1) выражает тензор Римана как ортогональный прямая сумма, в том смысле, что

${ displaystyle | R | ^ {2} = | C | ^ {2} + left | { frac {1} {n-2}} left ( mathrm {Ric} - { frac {s} { n}} g right) wedge ! ! ! ! ! ! bigcirc g right | ^ {2} + left | { frac {s} {2n (n-1)}} g wedge ! ! ! ! ! ! bigcirc g right | ^ {2}.}$

Это разложение, известное как Разложение Риччи, выражает тензор кривизны Римана в несводимый компоненты под действием ортогональная группа (Певица и Торп 1968) ошибка harv: цель отсутствует: CITEREFSingerThorpe1968 (Помогите). В размерности 4 тензор Вейля далее разлагается на инвариантные множители для действия специальная ортогональная группа, самодуальная и антисамодуальная части C⁺ и C⁻.

Тензор Вейля также можно выразить через Тензор Схоутена, который является скорректированным по следам кратным тензору Риччи,

${ displaystyle P = { frac {1} {n-2}} left ( mathrm {Ric} - { frac {s} {2 (n-1)}} g right).}$

потом

${ Displaystyle C = R-P клин ! ! ! ! ! ! bigcirc g.}$

В индексах^[2]

${ displaystyle C_ {abcd} = R_ {abcd} - { frac {2} {n-2}} left (g_ {a [c} R_ {d] b} -g_ {b [c} R_ {d ] a} right) + { frac {2} {(n-1) (n-2)}} R ~ g_ {a [c} g_ {d] b}}$

где ${ displaystyle R_ {abcd}}$ - тензор Римана, ${ displaystyle R_ {ab}}$ - тензор Риччи, ${ displaystyle R}$ - скаляр Риччи (скалярная кривизна), а скобки вокруг индексов относятся к антисимметричная часть. Эквивалентно,

${ displaystyle {C_ {ab}} ^ {cd} = {R_ {ab}} ^ {cd} -4S _ {[a} ^ {[c} delta _ {b]} ^ {d]}}$

где S обозначает Тензор Схоутена.

Характеристики

Конформное изменение масштаба

Тензор Вейля обладает особым свойством инвариантности относительно конформный изменения в метрика. То есть, если ${ displaystyle g _ { mu nu} mapsto g '_ { mu nu} = fg _ { mu nu}}$ для некоторой положительной скалярной функции ${ displaystyle f}$ то (1,3) валентный тензор Вейля удовлетворяет ${ Displaystyle {C '} _ { bcd} ^ {a} = C _ { bcd} ^ {a}}$. По этой причине тензор Вейля также называют конформный тензор. Отсюда следует, что необходимое условие чтобы риманово многообразие было конформно плоский состоит в том, что тензор Вейля обращается в нуль. Для размеров ≥ 4 это условие достаточно также. В измерении 3 исчезновение Тензор хлопка является необходимым и достаточным условием конформно-плоского риманова многообразия. Любое двумерное (гладкое) риманово многообразие конформно плоское, что является следствием существования изотермические координаты.

Действительно, существование конформно плоской шкалы сводится к решению переопределенного уравнения в частных производных

${ displaystyle Ddf-df otimes df + left (| df | ^ {2} + { frac { Delta f} {n-2}} right) g = operatorname {Ric}.}$

В размерности ≥ 4 обращение в нуль тензора Вейля является единственным условие интегрируемости для этого уравнения; в измерении 3 это Тензор хлопка вместо.

Симметрии

Тензор Вейля обладает той же симметрией, что и тензор Римана. Это включает в себя:

${ Displaystyle { begin {align} C (u, v) & = - C (v, u) langle C (u, v) w, z rangle & = - langle C (u, v) z, w rangle C (u, v) w + C (v, w) u + C (w, u) v & = 0. end {align}}}$

К тому же, конечно, тензор Вейля бесследный:

${ Displaystyle OperatorName {tr} С (и, cdot) v = 0}$

для всех ты, v. В индексах эти четыре условия

${ displaystyle { begin {align} C_ {abcd} = - C_ {bacd} & = - C_ {abdc} C_ {abcd} + C_ {acdb} + C_ {adbc} & = 0 {C ^ {a}} _ {bac} & = 0. end {align}}}$

Бьянки идентичность

Прослеживание обычного второго тождества Бианки тензора Римана в конечном итоге показывает, что

${ Displaystyle nabla _ {a} {C ^ {a}} _ {bcd} = 2 (n-3) nabla _ {[c} S_ {d] b}}$

где S это Тензор Схоутена. Тензор валентности (0,3) в правой части - это Тензор хлопка, кроме начального фактора.

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

• Кривизна римановых многообразий
• Символы Кристоффеля дает координатное выражение для тензора Вейля.
• Тензор Ланцоша
• Теорема пилинга
• Классификация Петрова
• Тензор Плебанского
• Гипотеза кривизны Вейля
• Скаляр Вейля

использованная литература

• Хокинг, Стивен В.; Эллис, Джордж Ф. Р. (1973), Крупномасштабная структура пространства-времени, Издательство Кембриджского университета, ISBN 0-521-09906-4
• Петерсен, Питер (2006), Риманова геометрия, Тексты для выпускников по математике, 171 (2-е изд.), Берлин, Нью-Йорк: Springer-Verlag, ISBN 0387292462, Г-Н 2243772.
• Шарп, Р. В. (1997), Дифференциальная геометрия: Картановское обобщение Эрлангенской программы Клейна, Спрингер-Верлаг, Нью-Йорк, ISBN 0-387-94732-9.
• Певец И.; Торп, Дж. (1969), "Кривизна 4-мерных пространств Эйнштейна", Глобальный анализ (Статьи в честь К. Кодаира), Univ. Tokyo Press, стр. 355–365
• «Тензор Вейля», Энциклопедия математики, EMS Press, 2001 [1994]
• Грён, Эйвинд; Хервик, Сигбьёрн (2007), Общая теория относительности Эйнштейна, Нью-Йорк: Springer, ISBN 978-0-387-69199-2CS1 maint: ref = harv (ссылка на сайт)