Является ли общая теория относительности голономной?

Имеет ли смысл спрашивать, является ли общая теория относительности голономной или неголономной, и если да, то какой? Если нет, то становится ли вопрос осмысленным, если вместо полной динамики самого пространства-времени мы будем рассматривать только динамику пробных частиц в фиксированном глобально гиперболическом пространстве-времени?

Что касается полной проблемы, мое непосредственное концептуальное препятствие состоит в том, что не очевидно, что такое фазовое пространство. В обычной механике мы думаем о фазовом пространстве как о сетке на миллиметровой бумаге, наложенной на фиксированное пространство Галилея.

Определения голономных и неголономных систем, которые я видел, как будто предполагают, что время играет какую-то особую роль и является абсолютным. В ГР такого нет.

Существует гамильтонова формулировка ОТО, которая, казалось бы, предполагает ее голономность.

В классической ОТО информация может быть скрыта за горизонтом, но не потеряна. Это предполагает, что некоторая форма теоремы Лиувилля может быть справедливой.

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

Что такое понятие голономности в случае системы с бесконечным числом степеней свободы? Фазовое пространство должно быть бесконечномерным, и определить меры (трансляционно-инвариантные) на таких пространствах всегда проблематично.
@MBN: Хороший вопрос. Это предполагает, что ограниченная задача о пробных частицах будет единственной значимой.
И хотя существует гамильтонова формулировка теории, вам действительно нужно беспокоиться обо всей той ерунде, которая происходит, когда гамильтониан всегда тождественно равен нулю из-за ограничения. EOM GR, например, не являются гиперболическими (хотя их можно сделать такими, добавив к ним линейные комбинации ограничений. Я не знаю, имеет ли эта «гиперболизированная» версия самой EOM лагранжеву формулировку)
Для алгебры поверхностных деформаций, описывающей ограничения ОТО, ответ «нет, ОТО не является голономным (в некотором теоретико-полевом аналогичном смысле)». См. книгу Тейтельбойма «Как коммутаторы ограничений отражают структуру пространства-времени» Ann. физ. 79 (1973) 542--557 doi:10.1016/0003-4916(73)90096-1 для обсуждения природы алгебры ограничений...
Не могли бы вы уточнить, что вы подразумеваете под голономией? Я прочитал свой вопрос, и он как бы бродит вокруг в надежде наткнуться на осмысленный вывод. Приведение примеров голономных и неголономных теорий поля или понятий, которые вы ожидаете от таких теорий, может помочь пересмотреть мой ответ (или привести кого-то еще к лучшему).
Может быть уместно указать, относится ли «голономный» к голономным координатам или к голономным ограничениям. В контексте вопроса это больше похоже на «холономические ограничения». Хотя в контексте ОТО нет ничего необычного в обсуждении голономных координат или предположении об использовании координатного базиса.

Ответы (1)

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

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

Что касается фазового пространства. Я буду использовать лагранжев пример после сравнения его со знакомым пространством. Взгляни на р н за н знак равно 2 . Это двумерное пространство действительных чисел. Мы можем геометрически представить это с помощью графика, состоящего из двух осей. Мы можем пометить каждую ось и назвать ее координатой. Если р н с его координатами, давайте использовать Икс а также у , удовлетворяют некоторым условиям, то можно сказать, что Икс а также у охватывать пространство, р н . Условие, которое мы имеем для охвата пространства, состоит в том, что Икс а также у оси линейно независимы, т.е. нет компонента Икс ось против у оси и наоборот. Более строго: если я н α н Икс н знак равно 0 для скаляров α н не все равно 0, где Икс 1 знак равно Икс а также Икс 2 знак равно у . Эти координаты генерируют пространство. Это чисто математический аспект фазового пространства.

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

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

Например, возьмем гармонический осциллятор. Как выглядит фазовое пространство для этого? Посмотрим!

л знак равно Т U
Кинетическая энергия, Т , мы принимаем за 1 2 м д ˙ 2 , где координата д просто представляет положение на одномерной линии. потенциал, U мы принимаем, чтобы быть к д 2 2 .
л знак равно 1 2 м д ˙ 2 к д 2 2
Это переходит прямо в уравнение Эйлера-Лагранжа:
г г т л д ˙ л д знак равно 0
Теперь голономное или неголономное ограничение, которое мы здесь применяем, имеет вид д знак равно { д : д ( т ) } . Это, конечно, означает, что любые производные по времени от д также являются функциями некоторого параметра, а именно т . Мы принимаем т быть пора. Теперь независимо от того, является ли единственное ограничение и, следовательно, система голономной или нет, зависит от того, можно ли дифференциальное уравнение, порожденное уравнением Эйлера-Лагранжа, интегрировать в функцию, зависящую от времени, или нет. д ( т ) . Если бы у нас было больше измерений или пространственных координат, у нас было бы больше дифференциальных уравнений, по одному для движения в каждом направлении, заданном ограничениями.

В этом случае мы получаем

д ¨ + к м д знак равно 0
Дифференциальные уравнения вида
д ¨ + α 2 д знак равно 0
есть решения
д знак равно А потому что α т + Б грех α т
Где А , Б знак равно с о н с . — произвольные константы, вытекающие из начальных условий. Это уравнение верно для любой массивной частицы при заданном потенциале, поэтому, скажем, решение наших задач с начальными значениями доставлено А знак равно 1 , Б знак равно 0 . Тогда одно точное решение
д знак равно потому что ю т , ю знак равно к м
Итак, поскольку мы смогли определить д как явная функция т , мы показали, что наши ограничения и, следовательно, наша система голономны. Поскольку это уравнение движения воплощает в себе всю динамику системы, мы можем заглянуть в фазовое пространство. Каковы координаты этого конкретного фазового пространства? Независимо от того, от чего лагранжиан является явной функцией. Это параметры, которые описывают нашу систему, поскольку лагранжиан является функционалом этих параметров, предназначенным для определения этой системы.

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

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

< п ( т ) , д ( т ) >
(Параметрические графики, состоящие из n функций 1 параметра, создают кривую в n-мерном пространстве)

Рассчитав уравнение движения для д , нам просто нужно решить

п знак равно м д ˙ знак равно м ю грех ю т
Предоставление
< м ю грех ю т , потому что ю т >
Какие сюжеты

Фазовое пространство

за м знак равно ю знак равно 1 . Это должно выглядеть и чувствовать себя немного интуитивно, колебательная система создает круг в фазовом пространстве. Теперь, поскольку время является нашим параметром, варьируя т просто меняется, где точка находится на окружности. Если вы заметили, существует величина, которая остается неизменной для всех т : радиус окружности. Точнее, квадрат радиуса круга, который оказывается пропорциональным энергии системы! Разные радиусы, разные полные энергии. Это, конечно, переходит в концепцию гамильтониана.

Один лагранжиан, который может вас заинтересовать, это

л знак равно м с 2 1 д ˙ 2 с 2
Это соответствует свободной релятивистской пробной частице. Выберите и выберите свои ограничения (т.е. функции, которые нужно подключить для д ˙ или его (анти)производные. ) И вы можете найти наиболее конкретный ответ, который вы ищете. Удачи, товарищ ученый!

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