Первое ограничение класса является динамической величиной в стесненной гамильтонова системе, скобка Пуассона со всеми другими ограничениями обращается в нуле на поверхности связей в фазовом пространстве (поверхность неявно определяется одновременным исчезновением всех ограничений). Чтобы вычислить ограничение первого класса, предполагается, что нет ограничений второго класса или что они были вычислены ранее, и их скобки Дирака сгенерированы. [1]
Ограничения первого и второго класса были введены Дираком ( 1950 , стр.136, 1964 , стр.17) как способ квантования механических систем, таких как калибровочные теории, в которых симплектическая форма вырождена. [2] [3]
Терминология ограничений первого и второго класса до степени смешения похожа на терминологию первичных и вторичных ограничений , что отражает способ их создания. Эти подразделения независимы: ограничения как первого, так и второго класса могут быть либо первичными, либо вторичными, так что в целом это дает четыре различных класса ограничений.
Скобки Пуассона
Рассмотрим пуассоново многообразие M с гладким гамильтонианом над ним (для теорий поля M было бы бесконечномерным).
Предположим, у нас есть ограничения
для n гладких функций
Они будут определены только в общих чертах. Предположим, что всюду на ограниченном множестве все n производных n функций линейно независимы, а также что скобки Пуассона
а также
все обращаются в нуль на ограниченном подпространстве.
Это означает, что мы можем написать
для некоторых гладких функций −− есть теорема, показывающая это; а также
для некоторых гладких функций .
Это можно сделать глобально, используя разделение единицы . Затем мы говорим, что у нас есть неприводимое ограничение первого класса ( неприводимое здесь имеет смысл, отличный от того, который используется в теории представлений ).
Геометрическая теория
Для более элегантного способа предположим, что дано векторное расслоение над, с участием -мерное волокно . Одет этот вектор сверток с связью . Предположим также, что у нас есть гладкое сечение f этого пучка.
Тогда ковариантная производная функции f по связности является гладким линейным отображением из касательного пучка к , который сохраняет базовую точку . Предположим, что это линейное отображение обратимо справа (т. Е. Существует линейное отображение такой, что - тождественное отображение ) для всех слоев в нулях f . Тогда согласно теореме о неявной функции подпространство нулей f является подмногообразием .
Обычная скобка Пуассона определена только над, Пространство гладких функций над M . Однако, используя соединение, мы можем распространить его на пространство гладких сечений F , если мы будем работать с алгеброй расслоением с градуированной алгеброй из V тензоров как волокна.
Предположим также, что под этой скобкой Пуассона (обратите внимание, что это неправда, что в общем для этой «расширенной скобки Пуассона» больше) и на подмногообразии нулей f (если эти скобки также оказываются равными нулю всюду, то мы говорим, что ограничения замыкают оболочку ). Оказывается, правильное условие обратимости и условия коммутативности потоков не зависят от выбора соединения. Итак, мы можем разорвать соединение при условии, что мы работаем исключительно с ограниченным подпространством.
Интуитивное значение
Что все это значит интуитивно? Это означает, что гамильтониан и поток ограничений коммутируют друг с другом на подпространстве со связями; или, в качестве альтернативы, если мы начнем с точки подпространства с ограничениями, то гамильтониан и потоки ограничений приведут точку к другой точке подпространства с ограничениями.
Поскольку мы хотим ограничиться только ограниченным подпространством, это предполагает, что гамильтониан или любая другая физическая наблюдаемая должна быть определена только на этом подпространстве. Эквивалентно, мы можем посмотреть на класс эквивалентности гладких функций над симплектическим многообразием, которые согласовывают подпространство со связями ( другими словами, фактор-алгебру по идеалу, порожденному f ).
Загвоздка в том, что гамильтоновы потоки в ограниченном подпространстве зависят от градиента гамильтониана в нем, а не от его значения. Но из этого есть простой выход.
Посмотрите на орбиты подпространства со связями под действием симплектических потоков, порожденных f . Это дает локальное слоение подпространства, поскольку оно удовлетворяет условиям интегрируемости ( теорема Фробениуса ). Оказывается, если мы начнем с двух разных точек на одной и той же орбите на ограниченном подпространстве и эволюционируем обе из них под двумя разными гамильтонианами, соответственно, которые согласуются с ограниченным подпространством, то временная эволюция обеих точек под соответствующими гамильтоновыми потоками будет всегда находиться на одной и той же орбите в равное время. Это также оказывается, если у нас есть две гладкие функции A 1 и B 1 , которые постоянны на орбитах, по крайней мере, на ограниченном подпространстве (т.е. физических наблюдаемых) (т.е. {A 1 , f} = {B 1 , f} = 0 на ограниченное подпространство) и еще два A 2 и B 2 , которые также постоянны на орбитах, так что A 1 и B 1 согласованы с A 2 и B 2 соответственно по ограниченному подпространству, то их скобки Пуассона {A 1 , B 1 } и {A 2 , B 2 } также постоянны по орбитам и согласованы по ограниченному подпространству.
В общем, нельзя исключить « эргодические » потоки (что в основном означает, что орбита плотна в некотором открытом множестве) или «субергодические» потоки (которые представляют собой плотную орбиту в некотором подмногообразии размерности, превышающей размерность орбиты). У нас не может быть самопересекающихся орбит.
Для большинства «практических» приложений ограничений первого класса мы не видим таких сложностей: фактор-пространство ограниченного подпространства по f-потокам (другими словами, пространство орбит) достаточно хорошо ведет себя, чтобы действовать как дифференцируемое многообразие. , которое можно превратить в симплектическое многообразие , проецируя на него симплектическую форму M (можно показать, что это корректно определено ). В свете наблюдения о физических наблюдаемых, упомянутых ранее, мы можем работать с этим более «физическим» меньшим симплектическим многообразием, но с 2n меньшими измерениями.
В общем, с факторным пространством немного сложно работать при выполнении конкретных вычислений (не говоря уже о нелокальности при работе с ограничениями диффеоморфизма ), поэтому вместо этого обычно делается нечто подобное. Заметим, что ограниченное подмногообразие является расслоением (но не расслоением вообще) над фактормногообразием. Таким образом, вместо того, чтобы работать с фактор-многообразием, мы можем работать с частью пакета. Это называется фиксацией калибра .
Главная проблема в том , это расслоение может не иметь глобальный раздел в целом. Вот здесь-то и возникает, например, «проблема» глобальных аномалий . Глобальная аномалия отличается от неоднозначности Грибова , когда фиксация калибровки не работает для однозначной фиксации калибровки, в глобальной аномалии нет согласованного определения калибровочного поля. Глобальная аномалия является препятствием для определения квантовой калибровочной теории, открытой Виттеном в 1980 году.
Описанные неприводимые ограничения первого класса. Еще одна сложность состоит в том, что Δf может не быть обратимым справа на подпространствах ограниченного подмногообразия коразмерности 1 или больше (что нарушает более сильное предположение, сформулированное ранее в этой статье). Это происходит, например, в формулировке котетрада общей теории относительности в подпространстве конфигураций, где поле котетрада и форма связи оказываются равными нулю над некоторым открытым подмножеством пространства. Здесь ограничения являются ограничениями диффеоморфизма.
Один из способов обойти это: для приводимых ограничений мы ослабляем условие правой обратимости Δ f до следующего: любая гладкая функция, которая обращается в нуль в нулях f, является послойным сжатием f с (неединственным ) гладкий участок-векторный пучок, где это двойное векторное пространство с ограничением векторного пространства V . Это называется условием регулярности .
Ограниченная гамильтонова динамика из лагранжевой калибровочной теории
Прежде всего, мы предположим, что действие является интегралом локального лагранжиана, который зависит только с точностью до первой производной полей. Разбор более общих случаев, пока возможный, более сложен. При переходе к гамильтонову формализму мы обнаруживаем, что существуют ограничения. Напомним, что в формализме действий есть конфигурации как в оболочке, так и вне ее . Ограничения, удерживающие оболочку, называются первичными ограничениями, а ограничения, которые удерживаются только оболочкой, называются вторичными ограничениями.
Примеры
Рассмотрим динамику единственной точечной частицы массы m без внутренних степеней свободы, движущейся в псевдоримановом пространственно - временном многообразии S с метрикой g . Предположим также, что параметр τ, описывающий траекторию частицы, произвольный (т.е. мы настаиваем на инвариантности репараметризации ). Тогда его симплектическое пространство - кокасательное расслоение T * S с канонической симплектической формой ω .
Если мы координируем T * S его положением x в базовом многообразии S и его положением в кокасательном пространстве p , то у нас будет ограничение
- е = м 2 - g ( х ) -1 ( р , р ) = 0.
Гамильтониан H , как ни странно, H = 0. В свете наблюдения, что гамильтониан определен только с точностью до класса эквивалентности гладких функций, согласованных с подпространством со связями, мы можем вместо этого использовать новый гамильтониан H '= f . Тогда у нас есть интересный случай, когда гамильтониан совпадает с ограничением! Подробнее см. Гамильтоново ограничение .
Теперь рассмотрим случай теории Янга – Миллса для реальной простой алгебры Ли L (с отрицательно определенной формой Киллинга η ), минимально связанной с вещественным скалярным полем σ , которое преобразуется как ортогональное представление ρ с лежащим в основе векторным пространством V под действием L в ( d - 1) + 1 пространстве-времени Минковского . Для l в L пишем
- ρ (l) [σ]
в виде
- l [σ]
для простоты. Пусть A - L -значная связная форма теории. Обратите внимание, что A здесь отличается от A, используемого физиками, в i и g раз . Это согласуется с соглашением математиков.
Действие S задается формулой
где g - метрика Минковского, F - форма кривизны
(нет i s или g s!), где второй член является формальным сокращением для притворства, что скобка Ли является коммутатором, D - ковариантная производная
- Dσ = dσ - A [σ]
а α - ортогональная форма для ρ .
Какова гамильтонова версия этой модели? Итак, во-первых, мы должны нековариантно разделить A на временную составляющую φ и пространственную часть A → . Тогда в результирующем симплектическом пространстве есть сопряженные переменные σ , π σ (принимающие значения в нижележащем векторном пространстве, двойственная реплика ρ ), A → , π → A , φ и π φ . Для каждой пространственной точки у нас есть ограничения π φ = 0 и ограничение Гаусса
где, поскольку ρ - сплетник
- ,
ρ '- дуализированный сплетник
( L самодуальна через η ). Гамильтониан,
Последние два члена представляют собой линейную комбинацию гауссовских ограничений, и у нас есть целое семейство (калибровочно эквивалентных) гамильтонианов, параметризованных f . Фактически, поскольку последние три члена исчезают для состояний со связями, мы можем их отбросить.
Ограничения второго класса
В гамильтоновой системе со связями динамическая величина является второстепенной, если ее скобка Пуассона хотя бы с одним ограничением не равна нулю. Таким образом, ограничение, имеющее ненулевую скобку Пуассона хотя бы с одним другим ограничением, является ограничением второго класса .
См. Различные иллюстрации в скобках Дирака .
Пример: частица, ограниченная сферой.
Прежде чем перейти к общей теории, рассмотрим шаг за шагом конкретный пример, чтобы мотивировать общий анализ.
Начнем с действия, описывающего ньютоновскую частицу массы m, привязанную к сферической поверхности радиуса R в однородном гравитационном поле g . Когда кто-то работает в механике Лагранжа, есть несколько способов реализовать ограничение: можно переключиться на обобщенные координаты, которые явно решают ограничение, или можно использовать множитель Лагранжа, сохраняя таким образом ограниченные избыточные координаты.
В этом случае частица привязана к сфере, поэтому естественным решением было бы использовать угловые координаты для описания положения частицы вместо декартовых координат и решить (автоматически устранить) ограничение таким образом (первый выбор). Вместо этого из педагогических соображений рассмотрите проблему в (избыточных) декартовых координатах с множителем Лагранжа, обеспечивающим соблюдение ограничения.
Действие дано
где последний член - член множителя Лагранжа, обеспечивающий ограничение.
Конечно, как указано, мы могли бы просто использовать другие, неизбыточные сферические координаты и записать их как
вместо этого без дополнительных ограничений; но мы рассматриваем предыдущую координацию, чтобы проиллюстрировать ограничения.
В сопряженных импульсах определяются
- , , , .
Обратите внимание, что мы не можем определить с момента.
Гамильтониан задается
- .
Мы не можем исключить на данном этапе еще нет. Мы здесь лечимкак сокращение для функции симплектического пространства, которое нам еще предстоит определить, а не как независимую переменную. Для согласованности обозначений положим u 1 = впредь. Вышеупомянутый гамильтониан с членом p λ является «наивным гамильтонианом». Обратите внимание, что, поскольку ограничение на оболочке должно быть выполнено, на оболочке невозможно отличить наивный гамильтониан от указанного выше гамильтониана с неопределенным коэффициентом, = u 1 .
У нас есть основное ограничение
- р λ = 0 .
Из соображений согласованности мы требуем, чтобы скобка Пуассона всех ограничений с гамильтонианом обращалась в нуль на подпространстве со связями. Другими словами, ограничения не должны развиваться во времени, если они собираются тождественно равняться нулю согласно уравнениям движения.
Из этого условия согласованности сразу получаем вторичное ограничение
Это ограничение следует добавить в гамильтониан с неопределенным (не обязательно постоянным) коэффициентом u 2, расширив гамильтониан до
Точно так же из этого вторичного ограничения мы находим третичное ограничение
Опять же, нужно добавить это ограничение в гамильтониан, поскольку на оболочке никто не может отличить. Поэтому пока гамильтониан выглядит как
где u 1 , u 2 и u 3 еще полностью не определены.
Обратите внимание, что часто все ограничения, найденные из условий согласованности, называются вторичными ограничениями, а вторичные, третичные, четвертичные и т. Д. Ограничения не различаются.
Мы продолжаем крутить рукоятку, требуя, чтобы у этого нового ограничения была исчезающая скобка Пуассона.
Мы можем отчаиваться и думать, что этому нет конца, но поскольку появился один из новых множителей Лагранжа, это не новое ограничение, а условие, которое фиксирует множитель Лагранжа:
Включение этого в наш гамильтониан дает нам (после небольшой алгебры)
Теперь, когда в гамильтониане появились новые члены, следует вернуться и проверить условия согласованности для первичных и вторичных ограничений. Условие согласованности вторичного ограничения дает
Опять же, это не новое ограничение; это только определяет, что
На этом этапе больше нет ограничений или условий согласованности, которые нужно проверять !
Собирая все вместе,
- .
При нахождении уравнений движения следует использовать вышеуказанный гамильтониан, и, если вы будете осторожны, чтобы никогда не использовать ограничения перед взятием производных в скобке Пуассона, тогда вы получите правильные уравнения движения. То есть уравнения движения задаются формулами
Прежде чем анализировать гамильтониан, рассмотрим три ограничения:
Обратите внимание на нетривиальную структуру скобок Пуассона ограничений. В частности,
Вышеупомянутая скобка Пуассона не просто не может исчезнуть вне оболочки, что можно было бы ожидать, но даже в оболочке она не равна нулю . Следовательно, φ 2 и φ 3 являются ограничениями второго класса, а φ 1 - ограничениями первого класса. Обратите внимание, что эти ограничения удовлетворяют условию регулярности.
Здесь у нас есть симплектическое пространство, в котором скобка Пуассона не имеет «хороших свойств» на подпространстве со связями. Однако, Дирак заметил , что мы можем превратить лежащее в основе дифференциального многообразия в симплектическом пространстве в многообразии Пуассона с помощью его одноименной модифицированной скобки, называемого Дирак кронштейн , такой , что этот функции Дирака скобка любого (гладкий) с любым всегда второго родом исчезает .
Фактически, эти скобки (проиллюстрированные для этой сферической поверхности в статье о скобках Дирака ) проецируют систему обратно на поверхность ограничений. Если затем кто-то желает канонически квантовать эту систему, то необходимо преобразовать канонические скобки Дирака [4], а не канонические скобки Пуассона в коммутационные соотношения.
Исследование указанного гамильтониана показывает, что происходит ряд интересных вещей. Следует отметить, что при выполнении ограничений на оболочке расширенный гамильтониан, как и требуется, идентичен наивному гамильтониану. Также отметим, что λ выпала из расширенного гамильтониана. Поскольку φ 1 является первичным ограничением первого класса, его следует интерпретировать как генератор калибровочного преобразования. Калибровочная свобода - это свобода выбора λ , которая перестала влиять на динамику частицы. Следовательно, то, что λ выпало из гамильтониана, что u 1 не определено, и что φ 1 = p λ является первым классом, все они тесно взаимосвязаны.
Обратите внимание, что было бы более естественным не начинать с лагранжиана с множителем Лагранжа, а вместо этого взять r ² - R ² в качестве основного ограничения и продолжить через формализм: результатом будет исключение посторонней динамической величины λ . Однако в нынешней форме этот пример более поучительный.
Пример: действие Proca
Другой пример, который мы будем использовать, - это действие Proca . Поля и действие
где
а также
- .
а также являются каноническими переменными . Ограничения второго класса:
а также
- .
Гамильтониан задается формулой
- .
Смотрите также
- Кронштейн Дирака
- Голономное ограничение
- Анализ потоков
Рекомендации
- ^ Ингемар Бенгтссон, Стокгольмский университет. «Гамильтоновы системы с ограничениями» (PDF) . Стокгольмский университет . Проверено 29 мая 2018 .
Мы начинаем с лагранжиана L (q, ̇ q), выводим канонические импульсы, постулируем наивные скобки Пуассона и вычисляем гамильтониан. Для простоты предполагается, что ограничений второго класса не существует, или, если они есть, что они уже были рассмотрены и наивные скобки заменены скобками Дирака. Остается набор ограничений [...]
- ^ Дирак, Поль AM (1950), "Обобщенная гамильтонова динамика", Canadian Journal математики , 2 : 129-148, DOI : 10,4153 / CJM-1950-012-1 , ISSN 0008-414X , MR 0043724
- ^ Дирак, Пол AM (1964), Лекции по квантовой механике , Серия монографий Белферской высшей школы естественных наук, 2 , Белферская высшая школа естественных наук, Нью-Йорк, MR 2220894. Полная копия оригинала, Dover Publications, New York, NY, 2001.
- ^ Corrigan, E .; Захос, СК (1979). «Нелокальные заряды для суперсимметричной σ-модели». Физика Письма Б . 88 (3-4): 273. Bibcode : 1979PhLB ... 88..273C . DOI : 10.1016 / 0370-2693 (79) 90465-9 .
дальнейшее чтение
- Falck, NK; Хиршфельд, AC (1983). "Квантование Дирака-скобки нелинейной системы со связями: жесткий ротатор". Европейский журнал физики . 4 : 5. Bibcode : 1983EJPh .... 4 .... 5F . DOI : 10.1088 / 0143-0807 / 4/1/003 .
- Homma, T .; Inamoto, T .; Миядзаки, Т. (1990). «Уравнение Шредингера для нерелятивистской частицы, связанной с гиперповерхностью в искривленном пространстве». Physical Review D . 42 (6): 2049. Bibcode : 1990PhRvD..42.2049H . DOI : 10.1103 / PhysRevD.42.2049 .