Геометрический подход к лагранжеву и гамильтонову формализмам электродинамики

Полный текст

1. Введение Лагранжев и гамильтонов формализмы востребованы в механике и теории по- ля. Однако для работы с ними обычно используют классический математический аппарат, который не позволяет в полной мере использовать возможности данных фор- мализмов. Более того, данный аппарат зачастую используется механически, что не позволяет осознать сильные и слабые стороны используемых формализмов, а также применить их к нестандартной ситуации. Например, вызывает затруднение приме- нение гамильтонового подхода к полевым задачам. Автор предлагает пользоваться более современным математическим аппаратом, а именно теорией расслоений [1, 2]. Этот аппарат помогает глубже понять лагранжев и гамильтонов подходы [3], позво- ляет использовать их в новых областях. Например, более эффективно применять гамильтонов формализм в задачах теории поля [4, 5]. Данная работа рассматрива- ется авторами как краткий конспект методов теории расслоенных пространств. В качестве иллюстрации к этим методам используется электродинамика. 2. Лагранжев формализм Будем рассматривать расслоение: : → (1) с координатами (, ). Статья поступила в редакцию 10 октября 2016 г. Работа частично поддержана грантами РФФИ № 14-01-00628, 15-07-08795, 16-07-00556. Также публи- кация выполнена при финансовой поддержке Минобрнауки России (Соглашение № 02.a03.21.0008). Тогда лагранжева плотность (лагранжиан первого порядка) будет определяться как где := d1 ∧ · · · ∧ d. = ( , , ), (2) При этом лагранжева плотность рассматривается как горизонтальная плотность на расслоении струй первого порядка: : 1 → ∧ *, (3) а многообразие струй 1 играет роль конфигурационного пространства. Для лагранжиана можно записать дифференциальный оператор второго по- рядка (оператор Эйлера-Лагранжа): +1 +1 : 2 → *. (4) ∧ Также определим оператор Эйлера-Лагранжа первого порядка: ′ = [︀∂ - (︀∂ + ∂ + �� )︀∂]︀ d ∧ . (5) Он представляет собой дифференциальный оператор первого порядка на расслое- нии струй 1 → : +1 +1 → → ′ : 2 1 ∧ *. (6) Можно выделить три типа уравнений, получаемых в лагранжевом формализме (уравнения Эйлера-Лагранжа): o алгебраические уравнения Эйлера-Лагранжа. Эти уравнения записываются для сечения повторного расслоения струй: 1 1 → 1 ; (7) o уравнения Эйлера-Лагранжа первого порядка. Уравнения записываются для сечение расслоения струй: 1 → ; (8) o уравнения Эйлера-Лагранжа второго порядка. Уравнения записываются для сечение расслоения: → . (9) Зададим на расслоении 1 → лагранжеву связность Γ¯ ¯ = Γ = Γ (, , ): Γ¯ = d ⊗ (︀∂ + ∂ + Γ¯ ∂)︀. (10) Лагранжева связность принимает значения в ядре оператора Эйлера-Лагранжа первого порядка (5): ′ ∘ Γ¯ = 0. (11) Тогда алгебраические уравнения Эйлера-Лагранжа будут иметь вид: ∂ - (︁∂ + ∂ + Γ¯ ∂)︁∂ = 0. (12) Это уравнения на компоненты лагранжевой связности. 1 1 Пусть ¯ есть интегральное сечение расслоения связности (10) ( 1 → ). Оно принимает значение в ядре оператора (5) ker ′ : ′ ∘ ¯ = 0. (13) Тогда получим дифференциальные уравнения Эйлера-Лагранжа первого порядка: ∂ - (︁∂ + ¯ ∂ + ∂¯ ∂)︁∂ = 0, (14) где ¯ := ∂¯. Уравнения (14) записаны для ¯ = ¯( , ). Рассмотрим вместо ¯ сечение расслоения → . Пусть его второе струйное продолжение 2 принимает значения в ядре оператора (4) ker : 2 2 ∘ = 0. (15) Тогда дифференциальные уравнения Эйлера-Лагранжа второго порядка будут иметь вид: ∂ - (︀∂ + ∂ ∂ + ∂∂∂)︀∂ = 0. (16) Уравнения (16) записаны для = ( ). Уравнения (14) и (16) эквивалентны. 3. Гамильтонов формализм Можно выделить несколько вариантов гамильтонова формализма: · стандартный симплектический гамильтонов формализм (при применении к полевым задачам стандартный формализм переходит в формализм Дирака для систем со связями); · гамильтонов формализм де Дондера; · многоимпульсный гамильтонов формализм (данный формализм является поли- симплектическим вариантом стандартного гамильтонова формализма). Для теории поля наиболее удобным представляется использование многоимпульс- ного гамильтонова формализма. Для перехода к гамильтоновому формализму используют не лагранжиан, а его лепажев эквивалент. В формализме де Дондера и многоимпульсном формализме используют форму Пуанкаре-Картана: Ξ = d ∧ - + , (17) где := ∂, := ∂_j. (, , ): (, , ): Для расслоения → введём расслоение Лежандра с атласом координат Π = ∧ * ⊗ ⊗ *. (18) Лагранжиан задаёт послойный морфизм: ˆ = 1 → Π, ∘ ˆ = . (19) Многообразие Лежандра Π является фазовым пространством многоимпульсного гамильтонова формализма. На расслоении Лежандра Π → вводится обобщённая форма Лиувилля: = - d ∧ ⊗ ∂. (20) Ей соответствует полисимплектическая форма: Ω = d ∧ d ∧ ⊗ ∂. (21) В случае многообразия = R эти формы переходят в стандартную форму Лиувилля и стандартную симплектическую форму. Многоимпульсный гамильтониан может быть представлен как внешняя форма: d = _jΩ, (22) где - гамильтонова связность, то есть такая связность, для которой внешняя форма _jΩ - точная. Многоимпульсный гамильтониан может быть представлен в форме = d ∧ - Γ - ˜Γ = d ∧ - , (23) → → где Γ - связность на расслоении . Тогда можно записать систему уравнений: ∂() = ∂ , ∂() = -∂. Здесь - сечение расслоения Π → . (24) 1. Калибровочный подход → → Калибровочный подход используется для описания физических полей в рамках геометрической теории поля. Физические поля рассматриваются как сечениями рас- слоения . На этом расслоении вводят связности и ковариантные производные . На расслоении струй строят лагранжиан (3). Будем рассматривать главное расслоение со структурной группой внутренних симметрий : : → . (25) Калибровочные потенциалы соответствуют группе внутренних симметрий . Будем отождествлять их со связностями на главном расслоении . Калибровочные потенциалы представляются глобальными сечениями расслоения связностей = 1/ → : := (︀ ∘ )︀(). (26) На задаются координаты = (, ). Многообразие струй 1 главного расслоения связностей называется конфигурационным пространством калибровочных потенциалов с координатами (, , ). Для 1 существует расщепление: Здесь 1 = + . (27) ⊕ - ⊕ - где := /. 2 - × ∧ * ⊗ (28) - × ∧ * ⊗ (28) = , → → Расслоение + есть аффинное расслоение, моделируемое над векторным расслоением: ¯ ∨ * ⊗ (29) ¯ ∨ * ⊗ (29) 2 + = . 1 (︀ 1 (︀ Координаты на этом расщеплении имеют следующий вид: = + + )︀ + 1 (︀�� - - )︀, (30) 2 2 2 2 где {}. суть структурные константы алгебры Ли группы относительно базиса Запишем каноническую сюрьекцию = 1 : 1 → +: = + + . (31) Запишем каноническую сюрьекцию = 2 : 1 → - : 1 = 2 d ∧ d ⊗ , = - - . (32) Введём величину := ∘ 1. Тогда для неё получим: = ∂ - ∂ - . (33) На конфигурационном пространстве 1 задаётся лагранжиан Янга-Миллса. Для простоты рассмотрим свободный лагранжиан Янга-Миллса (при отсутствии источников): 42 42 = 1 √︀||, (34) где - невырожденная ��-инвариантная метрика на алгбре Ли , - константа взаимодействия, и - метрика в касательном ( ) и кокасательном ( * ) расслоениях над , := det{}. 2. Электромагнитное поле Опишем структуру калибровочного подхода для электромагнитного поля. Будем рассматривать электромагнитное поле на многообразии 4. Группой внутренних симметрий является группа (1). Главное расслоение: : → 4. (35) Сопряжённое расслоение изоморфно тривиальному расслоению: = 4 × R. (36) Расслоение связностей изоморфно аффинному кокасательному расслоению: ∼= * 4. (37) Из (33) запишем напряжённость электромагнитного поля: = ∘ 1 = ∂ - ∂. (38) - - - - - - Для пространства Минковского ( 4 = 4) с метрикой = diag(1, 1, 1, 1) из (34) получим лагранжиан свободного электромагнитного поля: 1 16 16 = - . (39) Фазовым пространством будет являться расслоение Лежандра с координатами (, , ): ∧ ∧ Π = (︂ 4 * ⊗ ⊗ )︂ × . (40) Ассоциированный с лагранжианом лежандров морфизм запишется следующим образом: () ∘ ˆ = 0; (41) 1 1 [] ∘ ˆ = - . (42) 4 Многоимпульсный гамильтониан принимает вид: 1 1 = d ∧ - - ˜ , (43) = 2 (∂ - ∂), (44) ˜ = -[]. (45) Этому гамильтониану соответствуют следующие уравнения Гамильтона: ∂ = 0, (46) ∂ + ∂ = ∂ + ∂. (47) 3. Заключение Автором сделана выжимка материалов по геометрическому подходу к лагранже- ву и гамильтонову формализмам на основе расслоенных пространств. Применение данного подхода продемонстрировано на примере электромагнитного поля в пред- ставлении поля Янга-Миллса. References 1. D. J. Saunders, The Geometry of Jet Bundles, Cambridge University Press, 1989. doi:10.1017/CBO9780511526411. 2. J. G. Vargas, Differential Geometry for Physicists and Mathematicians, World Scientific Publishing Company, 2014. 3. G. Giachetta, L. Mangiarotti, G. Sardanashvily, Advanced Classical field theory, World Scientific Publishing Company, Singapore, 2009. 4. G. Sardanashvily, Generalized Hamiltonian Formalism for Field Theory, World Scientific Publishing Company, Singapore, 1995. 5. G. Giachetta, L. Mangiarotti, G. Sardanashvily, Covariant Hamilton Equations for Field Theory, Journal of Physics A: Mathematical and General 32 (38) (1999) 6629-6642. doi:10.1088/0305-4470/32/38/302. © Кулябов Д. С., 2016

Об авторах

Дмитрий Сергеевич Кулябов

Российский университет дружбы народов

Email: ds@sci.pfu.edu.ru
Объединённый институт ядерных исследований, Дубна, Московская область, Россия Москва, Россия

Список литературы