Граничный член Гиббонса – Хокинга – Йорка
В общей теории относительности — граничный член Гиббонса-Хокинга-Йорка это термин, который необходимо добавить к действию Эйнштейна-Гильберта , когда базовое пространственно-временное многообразие имеет границу.
Действие Эйнштейна-Гильберта является основой самого элементарного вариационного принципа, на основе которого уравнения поля общей теории относительности могут быть определены . Однако использование действия Эйнштейна–Гильберта уместно только тогда, когда основное пространственно-временное многообразие является замкнутым , т. е. многообразием, одновременно компактным и не имеющим края. В случае, если многообразие имеет границу , действие следует дополнить граничным членом, чтобы вариационный принцип был четко определен.
Необходимость такого граничного термина была впервые осознана Джеймсом У. Йорком , а затем немного уточнена Гэри Гиббонсом и Стивеном Хокингом .
Для незамкнутого многообразия подходящим действием является
где – действие Эйнштейна–Гильберта, – граничный член Гиббонса–Хокинга–Йорка, – индуцированная метрика (см. определения ниже) на границе, его определитель, является следом второй фундаментальной формы , равно где нормально пространственноподобен и где нормально является времениподобным, и — координаты на границе. Варьирование действия по метрике , при условии
дает уравнения Эйнштейна ; добавление граничного члена означает, что при выполнении вариации геометрия границы, закодированная в поперечной метрике фиксировано (см. раздел ниже). Сохраняется неоднозначность действия с точностью до произвольного функционала от индуцированной метрики .
Граничный член необходим в гравитационном случае потому, что , гравитационная плотность Лагранжа, содержит вторые производные метрического тензора. Это нетипичная особенность теорий поля, которые обычно формулируются в терминах лагранжианов, в которых варьируются только первые производные полей.
Термин GHY является желательным, поскольку он обладает рядом других ключевых особенностей. При переходе к гамильтонову формализму необходимо включить член GHY, чтобы воспроизвести правильную энергию Арновитта-Дезера-Миснера ( энергию ADM ). Этот термин необходим для того, чтобы интеграл по траекториям (а-ля Хокинг) для квантовой гравитации имел правильные свойства состава. При расчете энтропии черной дыры с использованием евклидова полуклассического подхода весь вклад вносится термином GHY. Этот термин нашел более позднее применение в петлевой квантовой гравитации при вычислении амплитуд перехода и амплитуд независимого от фона рассеяния.
Чтобы определить конечное значение действия, возможно, придется вычесть поверхностный член для плоского пространства-времени:
где — внешняя кривизна границы вложенного плоского пространства-времени. Как инвариантен относительно изменений , этот дополнительный член не влияет на уравнения поля; как таковой, это называется нединамическим термином.
Введение в гиперповерхности
[ редактировать ]Определение гиперповерхностей
[ редактировать ]В четырехмерном пространственно-временном многообразии гиперповерхность — это трехмерное подмногообразие , которое может быть времениподобным, пространственноподобным или нулевым.
Особая гиперповерхность можно выбрать либо путем наложения ограничения на координаты
или задав параметрические уравнения,
где являются координатами, присущими гиперповерхности.
Например, двухсферу в трехмерном евклидовом пространстве можно описать либо формулой
где - радиус сферы, или
где и являются внутренними координатами.
Ортогональные векторные поля гиперповерхности
[ редактировать ]Мы принимаем метрическое соглашение (-,+,...,+). Начнем с семейства гиперповерхностей, заданного формулой
где разные члены семейства соответствуют разным значениям константы . Рассмотрим две соседние точки и с координатами и соответственно, лежащие в той же гиперповерхности. Тогда нам придется сначала заказать
Вычитание из этого уравнения дает
в . Это подразумевает, что нормальна к гиперповерхности. Единица нормальная можно ввести в случае, когда гиперповерхность не равна нулю. Это определяется
и мы требуем этого указать в сторону увеличения . Тогда можно легко проверить, что дается
если гиперповерхность пространственноподобна или времениподобна.
Индуцированная и поперечная метрика
[ редактировать ]Три вектора
касательны к гиперповерхности.
Индуцированная метрика представляет собой трехтензор определяется
Это действует как метрический тензор на гиперповерхности в координаты. Для перемещений, ограниченных гиперповерхностью (так что )
Поскольку три вектора касательны к гиперповерхности,
где — единичный вектор ( ) нормально к гиперповерхности.
Введем так называемую поперечную метрику
Он изолирует часть метрики, поперечную нормали. .
Легко видеть, что этот четырехтензорный
проецирует часть четырехвекторной поперечной нормали как
У нас есть
Если мы определим быть обратным , это легко проверить
где
Заметим, что изменение зависит от условия
подразумевает, что , индуцированная метрика на , остается фиксированным во время изменения. См. также [ 1 ] для разъяснений по и и т. д.
О доказательстве основного результата
[ редактировать ]В следующих подразделах мы сначала вычислим изменение члена Эйнштейна–Гильберта, а затем изменение граничного члена и покажем, что их сумма приводит к
где - это тензор Эйнштейна , который дает правильную левую часть уравнений поля Эйнштейна , без космологического члена , который, однако, тривиально включить, заменив с
где — космологическая постоянная .
В третьем подразделе мы уточняем значение нединамического термина.
Вариант термина Эйнштейна – Гильберта
[ редактировать ]Мы будем использовать личность
оба они получены в статье Действие Эйнштейна – Гильберта .
Рассмотрим вариацию члена Эйнштейна–Гильберта:
Первый член дает нам то, что нам нужно для левой части уравнений поля Эйнштейна. Мы должны учитывать второй член.
По тождеству Палатини
Нам понадобится теорема Стокса в виде:
где является ли единица нормальной для и , и являются координатами на границе. И где где , — инвариантный элемент трехмерного объема на гиперповерхности. В нашем конкретном случае мы берем .
Теперь мы оцениваем на границе , имея в виду, что на . Учитывая это, мы имеем
Полезно отметить, что
где во второй строке мы поменялись местами и и использовал, что метрика симметрична. тогда не сложно разобраться .
Итак, теперь
где во второй строке мы использовали тождество , а в третьей строке мы использовали антисимметрию в и . Как исчезает всюду на границе его тангенциальные производные также должны обращаться в нуль: . Отсюда следует, что . Итак, наконец-то у нас есть
Собрав результаты, мы получаем
Далее мы покажем, что указанный выше граничный член будет сокращен из-за изменения .
Изменение граничного члена
[ редактировать ]Теперь обратимся к вариациям срок. Поскольку индуцированная метрика фиксирована на единственная величина, которую следует варьировать, это является следом внешней кривизны .
У нас есть
где мы это использовали подразумевает Итак, вариация является
где мы воспользовались тем фактом, что тангенциальные производные исчезнуть Мы получили
что отменяет второй интеграл в правой части уравнения. 1. Полная вариация гравитационного воздействия равна:
Это дает правильную левую часть уравнений Эйнштейна. Это доказывает основной результат.
Этот результат был обобщен на теории гравитации четвертого порядка на многообразиях с границами в 1983 году. [ 2 ] и опубликовано в 1985 г. [ 3 ]
Нединамический термин
[ редактировать ]Мы подробно остановимся на роли
в гравитационном действии. Как уже говорилось выше, поскольку этот срок зависит только от , ее изменение относительно дает ноль и поэтому не влияет на уравнения поля, его цель - изменить числовое значение действия. Поэтому мы будем называть его нединамическим термином.
Предположим, что является решением уравнений вакуумного поля, и в этом случае скаляр Риччи исчезает. Тогда численное значение гравитационного воздействия равно
где мы на данный момент игнорируем нединамический термин. Давайте оценим это для плоского пространства-времени. Выберите границу состоять из двух гиперповерхностей с постоянным значением времени и большой трехцилиндровый двигатель (т. е. произведение конечного интервала и трехсферы радиуса ). У нас есть на гиперповерхностях постоянного времени. На трехцилиндрах в координатах, присущих гиперповерхности, линейный элемент равен
означает, что индуцированная метрика равна
так что . Нормальная единица измерения , так . Затем
и расходится как , то есть когда пространственная граница отодвинута до бесконечности, даже если ограничено двумя гиперповерхностями постоянного времени. Можно было бы ожидать, что та же проблема возникнет и в искривленном пространстве-времени, которое асимптотически плоское (проблемы нет, если пространство-время компактно). Эту проблему решает нединамический член. Разница будет четко определен в пределе .
Изменение терминов модифицированной гравитации
[ редактировать ]Существует множество теорий, которые пытаются модифицировать общую теорию относительности разными способами, например, гравитация f(R) заменяет R, скаляр Риччи в действии Эйнштейна-Гильберта, на функцию f(R). Гуарнизо и др. нашел граничный член общей теории f(R). [ 4 ] Они обнаружили, что «модифицированное действие в метрическом формализме гравитации f (R) плюс граничный член, подобный Гиббонсу – Йорку – Хокингу, должно быть записано как:»
где .
Используя разложение ADM и вводя дополнительные вспомогательные поля, в 2009 г. Deruelle et al. нашел метод нахождения граничного члена для «теорий гравитации, лагранжиан которых является произвольной функцией тензора Римана». [ 5 ] Этот метод можно использовать для нахождения граничных членов GHY для бесконечной производной гравитации . [ 6 ]
Интегральный по путям подход к квантовой гравитации
[ редактировать ]Как упоминалось вначале, член GHY необходим для обеспечения правильного состава интеграла по путям (а-ля Хокинг и др.) для квантовой гравитации.
Этот старый подход к квантовой гравитации с интегралом по траекториям имел ряд трудностей и нерешенных проблем. Отправной точкой этого подхода является идея Фейнмана о том, что можно представить амплитуду
выйти из состояния с метрикой и поля материи на поверхности в состояние с метрикой и поля материи на поверхности , как сумма по всем конфигурациям полей и которые принимают граничные значения полей на поверхностях и . Мы пишем
где является мерой в пространстве всех конфигураций поля и , — действие полей, а интеграл берется по всем полям, имеющим заданные значения на и .
Утверждается, что достаточно указать только трехмерную индуцированную метрику на границе.
Теперь рассмотрим ситуацию, когда осуществляется переход от метрики , на поверхности , к метрике , на поверхности а затем переходим к метрике на более поздней поверхности
Хотелось бы иметь обычное правило композиции
выражающее, что амплитуда перехода от начального к конечному состоянию должна быть получена путем суммирования по всем состояниям на промежуточной поверхности .
Позволять быть метрикой между и и быть метрикой между и . Хотя индуцированная метрика и согласится на , нормальная производная в вообще говоря, не будет равен значению в . Принимая во внимание последствия этого, можно затем показать, что правило композиции будет выполняться тогда и только тогда, когда мы включим граничный член GHY. [ 7 ]
В следующем разделе будет продемонстрировано, как этот подход к квантовой гравитации с использованием интеграла по траекториям приводит к концепции температуры черной дыры и собственной квантовомеханической энтропии.
Расчет энтропии черной дыры с использованием евклидова полуклассического подхода
[ редактировать ]![]() | Этот раздел пуст. Вы можете помочь, добавив к нему . ( ноябрь 2015 г. ) |
Применение в петлевой квантовой гравитации
[ редактировать ]Амплитуды перехода и главная функция Гамильтона
[ редактировать ]В квантовой теории объектом, соответствующим главной функции Гамильтона, является амплитуда перехода . Рассмотрим гравитацию, определенную в компактной области пространства-времени с топологией четырехмерного шара. Границей этой области является трехмерное пространство с топологией трехсферы, которую мы называем . В чистой гравитации без космологической постоянной, поскольку скаляр Риччи обращается в нуль при решениях уравнений Эйнштейна, объемное действие исчезает, и главная функция Гамильтона полностью задается через граничный член:
где - внешняя кривизна границы, – трехметрика, индуцированная на границе, а являются координатами на границе.
Функционал является весьма нетривиальным для вычисления функционалом; это потому, что внешняя кривизна определяется объемным решением, выделяемым внутренней геометрией границы. Как таковой является нелокальным. Зная общую зависимость от эквивалентно знанию общего решения уравнений Эйнштейна.
Независимые от фона амплитуды рассеяния
[ редактировать ]Петлевая квантовая гравитация сформулирована на независимом от фона языке. Никакое пространство-время не предполагается априори, а, скорее, создается самими состояниями теории – однако амплитуды рассеяния выводятся из -точечные функции ( Корреляционная функция (квантовая теория поля) ) и они, сформулированные в традиционной квантовой теории поля, являются функциями точек фонового пространства-времени. Связь между независимым от фона формализмом и традиционным формализмом квантовой теории поля в данном пространстве-времени далеко не очевидна, и далеко не очевидно, как восстановить низкоэнергетические величины из полностью независимой от фона теории. Хотелось бы вывести -точечные функции теории из независимого от фона формализма, чтобы сравнить их со стандартным пертурбативным расширением квантовой общей теории относительности и, следовательно, проверить, что петлевая квантовая гравитация дает правильный низкоэнергетический предел.
Была предложена стратегия решения этой проблемы; [ 8 ] идея состоит в том, чтобы изучить граничную амплитуду или амплитуду перехода компактной области пространства-времени, а именно интеграл по траектории по конечной области пространства-времени, рассматриваемый как функция граничного значения поля. [ 9 ] [ 10 ] В традиционной квантовой теории поля эта граничная амплитуда четко определена. [ 11 ] [ 12 ] и кодирует физическую информацию теории; то же самое происходит и в квантовой гравитации, но полностью независимо от фона. [ 13 ] Общековариантное определение -точечные функции могут тогда быть основаны на идее, что расстояние между физическими точками – аргументами -точечная функция определяется состоянием гравитационного поля на границе рассматриваемой области пространства-времени.
Ключевое наблюдение заключается в том, что в гравитации данные о границах включают гравитационное поле, следовательно, геометрию границы и, следовательно, все соответствующие относительные расстояния и временные различия. Другими словами, формулировка границы очень элегантно реализует в квантовом контексте полную идентификацию геометрии пространства-времени и динамических полей.
См. также
[ редактировать ]Примечания
[ редактировать ]- ^ Фенг, Дж. К., Мацнер Р. А. Вейсовская вариация гравитационного действия. Теоретическая группа факультета физики Техасского университета в Остине. arXiv:1708.04489v3 [gr-qc]. 24 июля 2018 г. https://arxiv.org/pdf/1708.04489
- ^ «Гравитационные воздействия второго и четвертого порядков на многообразия с границами» . Исследовательские ворота . Проверено 8 мая 2017 г.
- ^ Барт, Нью-Хэмпшир (1 июля 1985 г.). «Гравитационное действие четвертого порядка для многообразий с границами» . Классическая и квантовая гравитация . 2 (4). Издательство ИОП: 497–513. Бибкод : 1985CQGra...2..497B . дои : 10.1088/0264-9381/2/4/015 . ISSN 0264-9381 . S2CID 250893849 .
- ^ Гуарнисо, Алехандро; Кастанеда, Леонардо; Техейро, Хуан М. (2010). «Граничный член в метрической f (R) гравитации: уравнения поля в метрическом формализме». Общая теория относительности и гравитация . 42 (11): 2713–2728. arXiv : 1002.0617 . Бибкод : 2010GReGr..42.2713G . дои : 10.1007/s10714-010-1012-6 . S2CID 119099298 .
- ^ Деруэль, Натали ; Сасаки, Мисао; Сендуда, Юити; Ямаути, Дайсуке (2010). «Гамильтонова формулировка f (римановых) теорий гравитации». Успехи теоретической физики . 123 (1): 169–185. arXiv : 0908.0679 . Бибкод : 2010PThPh.123..169D . дои : 10.1143/PTP.123.169 . S2CID 118570242 .
- ^ Теймури, Али; Талаганис, Спиридон; Эдхольм, Джеймс; Мазумдар, Анупам (2016). «Обобщенные граничные члены для теорий гравитации с высшими производными». Журнал физики высоких энергий . 2016 (8): 144. arXiv : 1606.01911 . Бибкод : 2016JHEP...08..144T . дои : 10.1007/JHEP08(2016)144 . S2CID 55220918 .
- ^ Например, см. книгу Стивена Хокинга «Хокинг о большом взрыве и черных дырах», глава 15.
- ^ Модесто, Леонардо; Ровелли, Карло (1 ноября 2005 г.). «Рассеяние частиц в петлевой квантовой гравитации». Письма о физических отзывах . 95 (19): 191301. arXiv : gr-qc/0502036 . Бибкод : 2005PhRvL..95s1301M . дои : 10.1103/physrevlett.95.191301 . ISSN 0031-9007 . ПМИД 16383970 . S2CID 46705469 .
- ^ Окл, Роберт (2003). «Формулировка «общей границы» для квантовой механики и квантовой гравитации» . Буквы по физике Б. 575 (3–4). Эльзевир Б.В.: 318–324. arXiv : hep-th/0306025 . Бибкод : 2003PhLB..575..318O . дои : 10.1016/j.physletb.2003.08.043 . ISSN 0370-2693 .
- ^ Окл, Роберт (3 ноября 2003 г.). «Кот Шредингера и часы: уроки квантовой гравитации». Классическая и квантовая гравитация . 20 (24): 5371–5380. arXiv : gr-qc/0306007 . Бибкод : 2003CQGra..20.5371O . дои : 10.1088/0264-9381/20/24/009 . ISSN 0264-9381 . S2CID 118978523 .
- ^ Конради, Флориан; Ровелли, Карло (30 сентября 2004 г.). «Обобщенное уравнение Шрёдингера в евклидовой теории поля». Международный журнал современной физики А. 19 (24). World Scientific Pub Co Pte Lt: 4037–4068. arXiv : hep-th/0310246 . Бибкод : 2004IJMPA..19.4037C . дои : 10.1142/s0217751x04019445 . ISSN 0217-751X . S2CID 18048123 .
- ^ Допличер, Луиза (24 сентября 2004 г.). «Обобщенное уравнение Томонаги-Швингера из формулы Адамара». Физический обзор D . 70 (6). Американское физическое общество (APS): 064037. arXiv : gr-qc/0405006 . Бибкод : 2004PhRvD..70f4037D . дои : 10.1103/physrevd.70.064037 . ISSN 1550-7998 . S2CID 14402915 .
- ^ Конради, Флориан; Доплишер, Луиза; Окл, Роберт; Ровелли, Карло; Теста, Массимо (18 марта 2004 г.). «Вакуум Минковского в фоновой независимой квантовой гравитации». Физический обзор D . 69 (6). Американское физическое общество (APS): 064019. arXiv : gr-qc/0307118 . Бибкод : 2004PhRvD..69f4019C . дои : 10.1103/physrevd.69.064019 . ISSN 1550-7998 . S2CID 30190407 .
Ссылки
[ редактировать ]- Йорк, JW (1972). «Роль конформной трехгеометрии в динамике гравитации». Письма о физических отзывах . 28 (16): 1082. Бибкод : 1972PhRvL..28.1082Y . doi : 10.1103/PhysRevLett.28.1082 .
- Гиббонс, Джорджия ; Хокинг, Юго-Запад (1977). «Интегралы действия и статистические суммы в квантовой гравитации». Физический обзор D . 15 (10): 2752. Бибкод : 1977PhRvD..15.2752G . дои : 10.1103/PhysRevD.15.2752 .
- Хокинг, Юго-Запад; Горовиц, Гэри Т (1 июня 1996 г.). «Гравитационный гамильтониан, действие, энтропия и поверхностные члены». Классическая и квантовая гравитация . 13 (6): 1487–1498. arXiv : gr-qc/9501014 . Бибкод : 1996CQGra..13.1487H . дои : 10.1088/0264-9381/13/6/017 . ISSN 0264-9381 . S2CID 12720010 .
- Браун, Дж. Дэвид; Йорк, Джеймс В. (15 февраля 1993 г.). «Микроканонический функциональный интеграл гравитационного поля». Физический обзор D . 47 (4). Американское физическое общество (APS): 1420–1431. arXiv : gr-qc/9209014 . Бибкод : 1993PhRvD..47.1420B . дои : 10.1103/physrevd.47.1420 . ISSN 0556-2821 . ПМИД 10015718 . S2CID 25039417 .
Внешние ссылки
[ редактировать ]- «Почему эта Вселенная? Новые расчеты показывают, что наш космос типичен» . Журнал Кванта . 17.11.2022.