Необходимость пограничного члена Гиббонса-Хокинга-Йорка (GHY)

Фундаментальный вопрос моего вопроса заключается в том, нужен ли вообще термин GHY-граница в общей теории относительности, и если да, то почему он таков и каков его физический смысл.

Несколько моментов:

  • Несмотря на появление интеграла, вариационный принцип является локальным. Предположить, что Д является регулярной областью пространства-времени, и в интеграле действия мы интегрируем по Д . Обычно утверждается, что мы можем требовать вариации дельта грамм мю ν исчезнуть снаружи Д , но мы не можем сделать о дельта грамм мю ν исчезнуть. Однако, если дельта грамм мю ν тождественно исчезает снаружи Д , то обращаются в нуль и его производные, разве что только на границе. Но тогда мы расширяем Д к (символически) " Д + ϵ ", то теперь и производные обращаются в нуль на границе. Что-нибудь не так с этим рассуждением?

  • Существуют ли какие-либо физические приложения граничного термина GHY? Единственное, что я знаю, это то, что условия перехода Израиля могут быть получены из вариационного принципа, но этот вывод использует граничный член (см., например, https://arxiv.org/abs/gr-qc/0108048 и https:// arxiv.org/abs/1206.1258 ). Однако условия соединения могут быть получены и без этого (например, с использованием исходного члена дельта-функции).

  • Уравнения поля Эйнштейна можно получить и из формализма Палатини, однако в этом случае грамм мю ν и Г мю ν о являются отдельными переменными конфигурации, поэтому исчезновение обоих дельта грамм и дельта Г можно задать на границе. Но тогда нет граничного термина для добавления действия.

С учетом этих моментов необходим ли термин GHY? Если да, то есть ли в этом какой-то физический смысл? Почему тогда формализм Палатини этого не требует?

Если нет, то зачем вообще с этим заморачиваться?

Вас может заинтересовать мой собственный вопрос на эту тему: physics.stackexchange.com/q/218060

Ответы (2)

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

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

Наиболее детальное обсуждение этих вопросов, которое я знаю, содержится в статье

https://arxiv.org/abs/0809.4033

Также упоминаются некоторые приложения. Их обсуждение находится в метрической формулировке. Насколько я помню, они не комментируют дело Палатини.