Интегрируемая система
В математике интегрируемость — это свойство некоторых динамических систем . Хотя существует несколько различных формальных определений, неформально говоря, интегрируемая система — это динамическая система с достаточным количеством сохраняющихся величин или первых интегралов , так что ее движение ограничивается подмногообразием. имеет гораздо меньшую размерность, чем размерность его фазового пространства .
Три особенности часто называют характеризующими интегрируемые системы: [1]
- существование максимального набора сохраняющихся величин (обычное определяющее свойство полной интегрируемости )
- существование алгебраических инвариантов, имеющих основу в алгебраической геометрии (свойство, иногда называемое алгебраической интегрируемостью )
- явное определение решений в явной функциональной форме (не внутреннее свойство, а то, что часто называют разрешимостью )
Интегрируемые системы можно рассматривать как качественно отличающиеся от более общих динамических систем.которые являются более типичными хаотическими системами . Последние, вообще говоря, не имеют сохраняющихся величин и асимптотически трудноразрешимы, поскольку сколь угодно малое возмущение начальных условий может привести к сколь угодно большим отклонениям их траекторий за достаточно большое время.
Многие системы, изучаемые в физике, полностью интегрируемы, в частности, в гамильтоновом смысле, ключевым примером являются многомерные гармонические осцилляторы. Другой стандартный пример — движение планет вокруг одного фиксированного центра (например, Солнца) или двух. Другие элементарные примеры включают движение твердого тела вокруг его центра масс ( волчок Эйлера ) и движение осесимметричного твердого тела вокруг точки на его оси симметрии ( волчок Лагранжа ).
В конце 1960-х годов стало понятно, что в физике существуют полностью интегрируемые системы, имеющие бесконечное число степеней свободы, такие как некоторые модели волн на мелкой воде ( уравнение Кортевега-де Фриза ), эффект Керра в оптических волокнах, описываемый уравнением нелинейное уравнение Шрёдингера и некоторые интегрируемые системы многих тел, такие как решётка Тоды . Современная теория интегрируемых систем была возрождена с численным открытием солитонов Мартином Крускалом и Норманом Забуски в 1965 году, что привело к созданию метода обратного преобразования рассеяния в 1967 году.
В частном случае гамильтоновых систем, если имеется достаточное количество независимых коммутирующих по Пуассону первых интегралов, чтобы параметры потока могли служить системой координат на инвариантных множествах уровня (листья лагранжева слоения ) , и если потоки полны и множество уровней энергии компактно, отсюда следует теорема Лиувилля-Арнольда ; т.е. существование переменных действие-угол . Общие динамические системы не имеют таких сохраняющихся величин; в случае автономных гамильтоновых систем энергия, как правило, единственная, и на множествах уровней энергии течения обычно хаотичны.
Ключевым моментом в характеристике интегрируемых систем является теорема Фробениуса , которая утверждает, что система является интегрируемой по Фробениусу (т. е. порождается интегрируемым распределением), если локально она имеет слоение на максимальные целочисленные многообразия. Но интегрируемость в смысле динамических систем является глобальным свойством, а не локальным, поскольку она требует, чтобы слоение было регулярным, с вложенными в листья подмногообразиями.
Интегрируемость не обязательно означает, что общие решения могут быть явно выражены через некоторый известный набор специальных функций ; это внутреннее свойство геометрии и топологии системы, а также природы динамики.
Общие динамические системы
[ редактировать ]В контексте дифференцируемых динамических систем понятие интегрируемости относится к существованию инвариантных регулярных слоений ; т. е. те, чьи листья представляют собой вложенные подмногообразия наименьшей возможной размерности, инвариантные относительно потока . Таким образом, существует различное представление о степени интегрируемости, зависящее от размерности слоев инвариантного слоения. Эта концепция имеет уточнение в случае гамильтоновых систем , известное как полная интегрируемость в смысле Лиувилля (см. ниже), о чем чаще всего говорят в этом контексте.
Расширение понятия интегрируемости также применимо к дискретным системам, таким как решетки. Это определение может быть адаптировано для описания эволюционных уравнений, которые либо являются системами дифференциальных уравнений , либо конечно-разностными уравнениями .
Различие между интегрируемыми и неинтегрируемыми динамическими системами имеет качественное значение регулярного движения и хаотического движения и, следовательно, является внутренним свойством, а не просто вопросом того, может ли система быть явно интегрирована в точной форме.
Гамильтоновы системы и интегрируемость по Лиувиллю
[ редактировать ]В специальном случае гамильтоновых систем у нас есть понятие интегрируемости в смысле Лиувилля . (См. теорему Лиувилля – Арнольда .) Интегрируемость Лиувилля означает, что существует регулярное слоение фазового пространства на инвариантные многообразия, такое что гамильтоновы векторные поля, связанные с инвариантами слоения, охватывают касательное распределение. Другой способ сформулировать это состоит в том, что существует максимальный набор функционально независимых пуассоновских коммутирующих инвариантов (т. е. независимых функций в фазовом пространстве, чьи скобки Пуассона с гамильтонианом системы и друг с другом равны нулю).
В конечных размерностях, если фазовое пространство симплектично . (т. е. центр алгебры Пуассона состоит только из констант), оно должно иметь четную размерность а максимальное число независимых пуассоновских коммутирующих инвариантов (включая сам гамильтониан) равно . Листы слоения вполне изотропны относительно симплектической формы, и такое максимальное изотропное слоение называется лагранжианом . Все автономные гамильтоновы системы (т.е. те, для которых гамильтониан и скобки Пуассона не зависят явно от времени) имеют по крайней мере один инвариант; а именно, сам гамильтониан, значением которого вдоль потока является энергия. Если множества уровней энергии компактны, листья лагранжева слоения являются торами , а естественные линейные координаты на них называются «угловыми» переменными. Циклы канонического -form называются переменными действия, а результирующие канонические координаты называются переменными действия-угла (см. ниже).
Существует также различие между полной интегрируемостью в смысле Лиувилля и частичной интегрируемостью, а также понятием суперинтегрируемости и максимальной суперинтегрируемости. По существу эти различия соответствуют размерам листьев слоения. Когда число независимых пуассоновских коммутирующих инвариантов меньше максимального (но в случае автономных систем больше одного), мы говорим, что система частично интегрируема. Когда существуют дополнительные функционально независимые инварианты, помимо максимального числа, которое может быть коммутирующим по Пуассону, и, следовательно, размерность слоев инвариантного слоения меньше n, мы говорим, что система суперинтегрируема . Если существует правильное слоение с одномерными слоями (кривыми), то оно называется максимально суперинтегрируемым.
Переменные угла действия
[ редактировать ]Когда конечномерная гамильтонова система вполне интегрируема в смысле Лиувилля,множества уровней энергии компактны, потоки полны, а листья инвариантного слоения являются торами . Тогда существуют, как упоминалось выше, специальные наборы канонических координат в фазовом пространстве, известные как переменные действие-угол ,такие, что инвариантные торы представляют собой совокупные множества уровней переменных действия . Таким образом, они обеспечивают полный набор инвариантов гамильтонова потока (константы движения), а угловые переменные являются естественными периодическими координатами на торах. Движение по инвариантным торам, выраженное через эти канонические координаты, линейно по угловым переменным.
Подход Гамильтона – Якоби
[ редактировать ]В теории канонических преобразований существует метод Гамильтона–Якоби , в котором решения уравнений Гамильтона ищутся путем нахождения полного решения соответствующего уравнения Гамильтона–Якоби . В классической терминологии это описывается как определение преобразования к каноническому набору координат, состоящему из полностью игнорируемых переменных; т. е. те, в которых гамильтониан не зависит от полного набора канонических «позиционных» координат и, следовательно, все соответствующие канонически сопряженные импульсы являются сохраняющимися величинами. В случае компактных наборов уровней энергии это первый шаг к определению переменных действие-угол . В общей теории уравнений в частных производных типа Гамильтона–Якоби полное решение (т. е. зависящее от n независимых констант интегрирования, где n — размерность конфигурационного пространства) существует в очень общих случаях, но только в местный смысл. Следовательно, существование полного решения задачи Уравнение Гамильтона–Якоби ни в коем случае не является характеристикой полной интегрируемости в смысле Лиувилля. Большинство случаев, которые могут быть «явно интегрированы», включают полное разделение переменных , при котором константы разделения предоставляют полный набор необходимых констант интегрирования. Только когда эти константы можно переинтерпретировать в рамках полного фазового пространства как значения полного набора коммутирующих функций Пуассона, ограниченных слоями лагранжева слоения, систему можно считать полностью интегрируемой в смысле Лиувилля.
Солитоны и обратные спектральные методы
[ редактировать ]Возрождение интереса к классическим интегрируемым системам произошло с открытием в конце 1960-х годов того, что солитоны , которые являются сильно стабильными, локализованными решениями уравнений в частных производных, таких как уравнение Кортевега – де Фриза (которое описывает одномерную недиссипативную гидродинамику). в мелких бассейнах), можно понять, рассматривая эти уравнения как бесконечномерные интегрируемые гамильтоновы системы. Их исследование приводит к очень плодотворному подходу к «интегрированию» таких систем, преобразованию обратного рассеяния и более общим обратным спектральным методам (часто сводящимся к задачам Римана – Гильберта ),которые обобщают локальные линейные методы, такие как анализ Фурье, на нелокальную линеаризацию, посредством решения связанных интегральных уравнений.
Основная идея этого метода состоит во введении линейного оператора, который определяется положением в фазовом пространстве и который развивается под действием динамики рассматриваемой системы таким образом, что его «спектр» (в подходящем обобщенном смысле) инвариантен. в процессе эволюции, ср. Слабая пара . В некоторых случаях это обеспечивает достаточное количество инвариантов или «интегралов движения», чтобы сделать систему полностью интегрируемой. В случае систем, имеющих бесконечное число степеней свободы, таких как уравнение КдФ, этого недостаточно для уточнения свойства интегрируемости по Лиувиллю. Однако для правильно определенных граничных условий спектральное преобразование фактически можно интерпретировать как преобразование к полностью игнорируемым координатам , в которых сохраняющиеся величины образуют половину дважды бесконечного набора канонических координат, и поток в них линеаризуется. В некоторых случаях это можно даже рассматривать как преобразование к переменным действия-угла, хотя обычно только конечное число переменных «положения» на самом деле являются угловыми координатами, а остальные некомпактны.
Билинейные уравнения Хироты и τ-функции
[ редактировать ]Другая точка зрения, возникшая в современной теории интегрируемых систем, возникла ввычислительный подход, впервые предложенный Рёго Хиротой , [2] что подразумевало заменуисходная нелинейная динамическая система с билинейной системой постоянного коэффициентауравнения для вспомогательной величины, которая позже стала известна как τ-функция . Теперь они называются уравнениями Хироты . Хотя первоначально он появлялся просто как вычислительное устройство, без какой-либо четкой связи.подходу обратного рассеяния важные классы решений, такие как солитоны или гамильтоновой структуре, это, тем не менее, дало очень прямой метод, из которого можно было вывести .
Впоследствии это интерпретировал Микио Сато. [3] и его ученики, [4] [5] сначала для случая интегрируемые иерархии УЧП, такие как иерархия Кадомцева – Петвиашвили , но тогда для гораздо более общих классов интегрируемых иерархий - как своего рода подход к универсальному фазовому пространству , в котором, как правило, коммутирующая динамика рассматривалась просто как определяемая фиксированным (конечным или бесконечным) абелевым групповым действием на (конечном или бесконечном) грассмановом многообразие . τ-функция рассматривалась как определитель оператора проектирования элементов групповой орбиты в некоторое начало в пределах грассманиана,и уравнения Хироты как выражающие соотношения Плюкера , характеризующие Плюккеровое вложение грассманиана в проективизацию подходящего определенное (бесконечное) внешнее пространство , рассматриваемое как фермионное пространство Фока .
Квантовые интегрируемые системы
[ редактировать ]Существует также понятие квантовых интегрируемых систем.
В квантовой ситуации функции в фазовом пространстве должны быть заменены самосопряженными операторами в гильбертовом пространстве , а понятие коммутирующих по Пуассону функций заменено коммутирующими операторами. Понятие законов сохранения должно быть специализировано к локальным законам сохранения. [6] Каждый гамильтониан имеет бесконечное множество сохраняющихся величин, заданных проекторами на его собственные состояния энергии . Однако это не предполагает какой-либо особой динамической структуры.
Чтобы объяснить квантовую интегрируемость, полезно рассмотреть ситуацию со свободными частицами. Здесь вся динамика сводима к одному телу. Квантовая система называется интегрируемой, если ее динамика сводима к двум телам. Уравнение Янга-Бакстера является следствием этой сводимости и приводит к тождествам следов, которые обеспечивают бесконечный набор сохраняющихся величин. Все эти идеи включены в квантовый метод обратной задачи рассеяния , где алгебраический анзац Бете можно использовать для получения явных решений. Примерами квантовых интегрируемых моделей являются модель Либа-Линигера , модель Хаббарда и несколько вариаций модели Гейзенберга . [7] Некоторые другие типы квантовой интегрируемости известны в явно зависящих от времени квантовых задачах, таких как управляемая модель Тэвиса-Каммингса. [8]
Точно решаемые модели
[ редактировать ]В физике вполне интегрируемые системы, особенно в бесконечномерной ситуации, часто называют точно решаемыми моделями. Это стирает различие между интегрируемостью в гамильтоновом смысле и более общим смыслом динамических систем.
В статистической механике существуют также точно решаемые модели, которые более тесно связаны с квантовыми интегрируемыми системами, чем с классическими. Два тесно связанных метода: анзац-подход Бете в его современном понимании, основанный на уравнениях Янга-Бакстера и квантовый метод обратной задачи рассеяния , предоставляют квантовые аналоги обратных спектральных методов. Они не менее важны при изучении разрешимых моделей статистической механики.
Иногда также используется неточное понятие «точной разрешимости», означающее: «Решения могут быть явно выражены через некоторые ранее известные функции», как если бы это было внутренним свойством самой системы, а не чисто вычислительной особенностью, которая у нас есть некоторые «известные» функции, через которые можно выразить решения. Это понятие не имеет внутреннего смысла, поскольку под «известными» функциями очень часто понимается именно то, что они удовлетворяют некоторым заданным уравнениям, и список таких «известных функций» постоянно растет. Хотя такая характеристика «интегрируемости» не имеет внутренней обоснованности, она часто подразумевает тот тип регулярности, которого следует ожидать в интегрируемых системах. [ нужна ссылка ]
Список некоторых известных интегрируемых систем
[ редактировать ]- Классические механические системы
- Модель Калоджеро – Мозера – Сазерленда [9]
- Движение центральной силы ( точные решения классических задач центральной силы )
- Геодезическое движение по эллипсоидам
- Гармонический осциллятор
- Интегрируемые системы Клебша и Стеклова в жидкостях.
- Вершины Лагранжа, Эйлера и Ковалевской
- Осциллятор Неймана
- Двухцентровое ньютоновское гравитационное движение
- Интегрируемые решетчатые модели
- Решетка Абловица – Ладика
- Все решетки
- Вольтерра латекс
- Интегрируемые системы в измерениях 1 + 1
- Система АКНС
- Уравнение Бенджамина–Оно
- Уравнение Буссинеска (волны на воде)
- Уравнение Камассы – Холма
- Классическая модель ферромагнетика Гейзенберга (спиновая цепочка)
- Уравнение Дегасперса – Процесси
- Уравнение Дыма
- Интегрируемая система Гарнье
- Уравнение Каупа – Купершмидта
- Уравнение Кричевера–Новикова
- Уравнение Кортевега – де Фриза
- Уравнение Ландау–Лифшица (непрерывное спиновое поле)
- Нелинейное уравнение Шрёдингера
- Нелинейные сигма-модели
- Уравнение Синус – Гордон
- Модель Тирринга
- Трехволновое уравнение
- Интегрируемые УЧП в измерениях 2 + 1
- Уравнение Дэйви – Стюартсона
- уравнение Ишимори
- Уравнение Кадомцева–Петвиашвили.
- Novikov–Veselov equation
- Интегрируемые УЧП в измерениях 3 + 1
- Преобразование Белинского -Захарова порождает пару Лакса для уравнений поля Эйнштейна ; общие решения называются гравитационными солитонами , примерами которых являются метрика Шварцшильда , метрика Керра и некоторые гравитационно-волновые решения.
- Точно решаемые статистические решеточные модели
- 8-вершинная модель
- Модели Годена
- Модель Изинга в 1- и 2-мерном измерениях
- ледового типа Модель Либа
- Квантовая модель Гейзенберга
См. также
[ редактировать ]Связанные области
[ редактировать ]- Математическая физика
- Солитон
- Трансцендентный Пенлеве
- Статистическая механика
- Интегрируемый алгоритм
Некоторые ключевые участники (с 1965 г.)
[ редактировать ]- Марк Абловиц
- Родни Бакстер
- Перси Дип
- Леонид Дики
- Владимир Дринфельд
- Борис Дубровин
- Людвиг Фаддеев
- Герман Флашка
- Израиль Гельфанд
- Александр Итс
- Мичио Джимбо
- Игорь Михайлович Кричевер
- Мартин Краскал
- Питер Лакс
- Vladimir Matveev
- Генри МакКин
- Роберт Миура
- Тецудзи Мива
- Алан Ньюэлл
- Николай Решетихин
- Алексей Шабат
- Evgeny Sklyanin
- Микио Сато
- Эллиот Х. Либ
- Грэм Сигал
- Джордж Уилсон
- Владимир Евгеньевич Захаров
Ссылки
[ редактировать ]- Арнольд, VI (1997). Математические методы классической механики (2-е изд.). Спрингер. ISBN 978-0-387-96890-2 .
- Один, М. (1996). Волчки: курс интегрируемых систем . Кембриджские исследования по высшей математике. Том. 51. Издательство Кембриджского университета . ISBN 978-0521779197 .
- Бабелон, О.; Бернард, Д.; Тэлон, М. (2003). Введение в классические интегрируемые системы . Издательство Кембриджского университета . дои : 10.1017/CBO9780511535024 . ISBN 0-521-82267-Х .
- Бакстер, Р.Дж. (1982). Точно решенные модели статистической механики . Академическая пресса. ISBN 978-0-12-083180-7 .
- Дунайский, М. (2009). Солитоны, инстантоны и твисторы . Издательство Оксфордского университета . ISBN 978-0-19-857063-9 .
- Фаддеев, Л.Д. ; Тахтаджан, Луизиана (1987). Гамильтоновы методы в теории солитонов . Аддисон-Уэсли. ISBN 978-0-387-15579-1 .
- Фоменко А.Т. (1995). Симплектическая геометрия. Методы и приложения (2-е изд.). Гордон и Брич. ISBN 978-2-88124-901-3 .
- Фоменко А.Т. ; Болсинов А.В. (2003). Интегрируемые гамильтоновы системы: геометрия, топология, классификация . Тейлор и Фрэнсис. ISBN 978-0-415-29805-6 .
- Гольдштейн, Х. (1980). Классическая механика (2-е изд.). Аддисон-Уэсли. ISBN 0-201-02918-9 .
- Харнад, Дж . ; Винтерниц, П. ; Сабидусси, Г. , ред. (2000). Интегрируемые системы: от классических к квантовым . Американское математическое общество . ISBN 0-8218-2093-1 .
- Харнад, Дж . ; Балог, Ф. (2021). Тау-функции и их приложения . Кембриджские монографии по математической физике. Издательство Кембриджского университета . дои : 10.1017/9781108610902 . ISBN 9781108492683 . S2CID 222379146 .
- Хиетаринта, Дж.; Джоши, Н .; Найхофф, Ф. (2016). Дискретные системы и интегрируемость . Издательство Кембриджского университета . Бибкод : 2016dsi..книга.....H . дои : 10.1017/CBO9781107337411 . ISBN 978-1-107-04272-8 .
- Корепин, В.Е. ; Боголюбов, Н.М.; Изергин, А.Г. (1997). Квантовый метод обратной задачи рассеяния и корреляционные функции . Издательство Кембриджского университета . ISBN 978-0-521-58646-7 .
- Afrajmovich, V.S. ; Arnold, V.I. ; Il'yashenko, Yu. S. ; Shil'nikov, L.P. Dynamical Systems V . Springer. ISBN 3-540-18173-3 .
- Муссардо, Джузеппе (2010). Статистическая теория поля. Введение в точно решаемые модели статистической физики . Издательство Оксфордского университета . ISBN 978-0-19-954758-6 .
- Сарданашвили, Г. (2015). Справочник по интегрируемым гамильтоновым системам . УРСС. ISBN 978-5-396-00687-4 .
Дальнейшее чтение
[ редактировать ]- Бейлинсон, А. ; Дринфельд, В. «Квантование интегрируемой системы Хитчина и собственные пучки Гекке» (PDF) .
- Донаги, Р. ; Маркман, Э. (1996). «Спектральные накрытия, алгебраически вполне интегрируемые, гамильтоновы системы и модули расслоений». Интегрируемые системы и квантовые группы . Конспект лекций по математике. Том. 1620. Спрингер. стр. 1–119. дои : 10.1007/BFb0094792 . ISBN 978-3-540-60542-3 .
- Соннад, Киран Г.; Кэри, Джон Р. (2004). «Нахождение нелинейной решетки с улучшенной интегрируемостью с помощью теории возмущений с преобразованием Ли». Физический обзор E . 69 (5): 056501. Бибкод : 2004PhRvE..69e6501S . дои : 10.1103/PhysRevE.69.056501 . ПМИД 15244955 .
Внешние ссылки
[ редактировать ]- «Интегрируемая система» , Математическая энциклопедия , EMS Press , 2001 [1994]
- «SIDE — Симметрии и интегрируемость разностных уравнений» — конференция, посвященная исследованию интегрируемых разностных уравнений и смежным темам. [10]
Примечания
[ редактировать ]- ^ Хитчин, Нью-Джерси; Сигал, Великобритания; Уорд, RS (2013) [1999]. Интегрируемые системы: твисторы, группы петель и римановы поверхности . Издательство Оксфордского университета. ISBN 978-0-19-967677-4 .
- ^ Хирота, Р. (1986). «Приведение солитонных уравнений к билинейной форме». Физика D: Нелинейные явления . 18 (1–3): 161–170. Бибкод : 1986PhyD...18..161H . дои : 10.1016/0167-2789(86)90173-9 .
- ^ Сато, М. (1981). «Солитонные уравнения как динамические системы на бесконечномерных многообразиях Грассмана» (PDF) . Кокюроку, RIMS, Киотский университет . 439 : 30–46. HDL : 2433/102800 .
- ^ Дата, Э.; Джимбо, М.; Кашивара, М.; Мива, Т. (1981). «Операторный подход к уравнению Кадомцева-Петвиашвили III». Журнал Физического общества Японии . 50 (11): 3806–12. дои : 10.1143/JPSJ.50.3806 .
- ^ Джимбо, М.; Мива, Т. (1983). «Солитоны и бесконечномерные алгебры Ли» . Опубл. Рез. Инст. Математика. Наука . 19 (3): 943–1001. дои : 10.2977/prims/1195182017 .
- ^ Калабрезе, Паскуале; Эсслер, Фабиан Х.Л.; Муссардо, Джузеппе (27 июня 2016 г.). «Введение в квантовую интегрируемость в неравновесных системах » . Журнал статистической механики: теория и эксперимент . 2016 (6). Издание IOP: 064001. Бибкод : 2016JSMTE..06.4001C . дои : 10.1088/1742-5468/2016/06/064001 . ISSN 1742-5468 . S2CID 124170507 .
- ^ Корепин, В.Е. ; Боголюбов, Н.М.; Изергин, А.Г. (1997). Квантовый метод обратной задачи рассеяния и корреляционные функции . Издательство Кембриджского университета. ISBN 978-0-521-58646-7 .
- ^ Синицын Н.А.; Ли, Ф. (2016). «Разрешимая многосостоятельная модель переходов Ландау-Зинера в резонаторной КЭД». Физ. Преподобный А. 93 (6): 063859. arXiv : 1602.03136 . Бибкод : 2016PhRvA..93f3859S . дои : 10.1103/PhysRevA.93.063859 . S2CID 119331736 .
- ^ Калоджеро, Ф. (2008). «Система Калоджеро-Мозера» . Схоларпедия . 3 (8): 7216. Бибкод : 2008SchpJ...3.7216C . doi : 10.4249/scholarpedia.7216 .
- ^ Кларксон, Питер А.; Найхофф, Фрэнк В. (1999). Симметрии и интегрируемость разностных уравнений . Лондонское математическое общество. Том. 255. Издательство Кембриджского университета. ISBN 978-0-521-59699-2 .