Jump to content

Интегрируемая система

(Перенаправлено с Интегрируемого )

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

Три особенности часто называют характеризующими интегрируемые системы: [1]

  • существование максимального набора сохраняющихся величин (обычное определяющее свойство полной интегрируемости )
  • существование алгебраических инвариантов, имеющих основу в алгебраической геометрии (свойство, иногда называемое алгебраической интегрируемостью )
  • явное определение решений в явной функциональной форме (не внутреннее свойство, а то, что часто называют разрешимостью )

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

Многие системы, изучаемые в физике, полностью интегрируемы, в частности, в гамильтоновом смысле, ключевым примером являются многомерные гармонические осцилляторы. Другой стандартный пример — движение планет вокруг одного фиксированного центра (например, Солнца) или двух. Другие элементарные примеры включают движение твердого тела вокруг его центра масс ( волчок Эйлера ) и движение осесимметричного твердого тела вокруг точки на его оси симметрии ( волчок Лагранжа ).

В конце 1960-х годов стало понятно, что в физике существуют полностью интегрируемые системы, имеющие бесконечное число степеней свободы, такие как некоторые модели волн на мелкой воде ( уравнение Кортевега-де Фриза ), эффект Керра в оптических волокнах, описываемый уравнением нелинейное уравнение Шрёдингера и некоторые интегрируемые системы многих тел, такие как решётка Тоды . Современная теория интегрируемых систем была возрождена с численным открытием солитонов Мартином Крускалом и Норманом Забуски в 1965 году, что привело к созданию метода обратного преобразования рассеяния в 1967 году.

В частном случае гамильтоновых систем, если имеется достаточное количество независимых коммутирующих по Пуассону первых интегралов, чтобы параметры потока могли служить системой координат на инвариантных множествах уровня (листья лагранжева слоения ) , и если потоки полны и множество уровней энергии компактно, отсюда следует теорема Лиувилля-Арнольда ; т.е. существование переменных действие-угол . Общие динамические системы не имеют таких сохраняющихся величин; в случае автономных гамильтоновых систем энергия, как правило, единственная, и на множествах уровней энергии течения обычно хаотичны.

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

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

Общие динамические системы

[ редактировать ]

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

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

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

Гамильтоновы системы и интегрируемость по Лиувиллю

[ редактировать ]

В специальном случае гамильтоновых систем у нас есть понятие интегрируемости в смысле Лиувилля . (См. теорему Лиувилля – Арнольда .) Интегрируемость Лиувилля означает, что существует регулярное слоение фазового пространства на инвариантные многообразия, такое что гамильтоновы векторные поля, связанные с инвариантами слоения, охватывают касательное распределение. Другой способ сформулировать это состоит в том, что существует максимальный набор функционально независимых пуассоновских коммутирующих инвариантов (т. е. независимых функций в фазовом пространстве, чьи скобки Пуассона с гамильтонианом системы и друг с другом равны нулю).

В конечных размерностях, если фазовое пространство симплектично . (т. е. центр алгебры Пуассона состоит только из констант), оно должно иметь четную размерность а максимальное число независимых пуассоновских коммутирующих инвариантов (включая сам гамильтониан) равно . Листы слоения вполне изотропны относительно симплектической формы, и такое максимальное изотропное слоение называется лагранжианом . Все автономные гамильтоновы системы (т.е. те, для которых гамильтониан и скобки Пуассона не зависят явно от времени) имеют по крайней мере один инвариант; а именно, сам гамильтониан, значением которого вдоль потока является энергия. Если множества уровней энергии компактны, листья лагранжева слоения являются торами , а естественные линейные координаты на них называются «угловыми» переменными. Циклы канонического -form называются переменными действия, а результирующие канонические координаты называются переменными действия-угла (см. ниже).

Существует также различие между полной интегрируемостью в смысле Лиувилля и частичной интегрируемостью, а также понятием суперинтегрируемости и максимальной суперинтегрируемости. По существу эти различия соответствуют размерам листьев слоения. Когда число независимых пуассоновских коммутирующих инвариантов меньше максимального (но в случае автономных систем больше одного), мы говорим, что система частично интегрируема. Когда существуют дополнительные функционально независимые инварианты, помимо максимального числа, которое может быть коммутирующим по Пуассону, и, следовательно, размерность слоев инвариантного слоения меньше n, мы говорим, что система суперинтегрируема . Если существует правильное слоение с одномерными слоями (кривыми), то оно называется максимально суперинтегрируемым.

Переменные угла действия

[ редактировать ]

Когда конечномерная гамильтонова система вполне интегрируема в смысле Лиувилля,множества уровней энергии компактны, потоки полны, а листья инвариантного слоения являются торами . Тогда существуют, как упоминалось выше, специальные наборы канонических координат в фазовом пространстве, известные как переменные действие-угол ,такие, что инвариантные торы представляют собой совокупные множества уровней переменных действия . Таким образом, они обеспечивают полный набор инвариантов гамильтонова потока (константы движения), а угловые переменные являются естественными периодическими координатами на торах. Движение по инвариантным торам, выраженное через эти канонические координаты, линейно по угловым переменным.

Подход Гамильтона – Якоби

[ редактировать ]

В теории канонических преобразований существует метод Гамильтона–Якоби , в котором решения уравнений Гамильтона ищутся путем нахождения полного решения соответствующего уравнения Гамильтона–Якоби . В классической терминологии это описывается как определение преобразования к каноническому набору координат, состоящему из полностью игнорируемых переменных; т. е. те, в которых гамильтониан не зависит от полного набора канонических «позиционных» координат и, следовательно, все соответствующие канонически сопряженные импульсы являются сохраняющимися величинами. В случае компактных наборов уровней энергии это первый шаг к определению переменных действие-угол . В общей теории уравнений в частных производных типа Гамильтона–Якоби полное решение (т. е. зависящее от n независимых констант интегрирования, где n — размерность конфигурационного пространства) существует в очень общих случаях, но только в местный смысл. Следовательно, существование полного решения задачи Уравнение Гамильтона–Якоби ни в коем случае не является характеристикой полной интегрируемости в смысле Лиувилля. Большинство случаев, которые могут быть «явно интегрированы», включают полное разделение переменных , при котором константы разделения предоставляют полный набор необходимых констант интегрирования. Только когда эти константы можно переинтерпретировать в рамках полного фазового пространства как значения полного набора коммутирующих функций Пуассона, ограниченных слоями лагранжева слоения, систему можно считать полностью интегрируемой в смысле Лиувилля.

Солитоны и обратные спектральные методы

[ редактировать ]

Возрождение интереса к классическим интегрируемым системам произошло с открытием в конце 1960-х годов того, что солитоны , которые являются сильно стабильными, локализованными решениями уравнений в частных производных, таких как уравнение Кортевега – де Фриза (которое описывает одномерную недиссипативную гидродинамику). в мелких бассейнах), можно понять, рассматривая эти уравнения как бесконечномерные интегрируемые гамильтоновы системы. Их исследование приводит к очень плодотворному подходу к «интегрированию» таких систем, преобразованию обратного рассеяния и более общим обратным спектральным методам (часто сводящимся к задачам Римана – Гильберта ),которые обобщают локальные линейные методы, такие как анализ Фурье, на нелокальную линеаризацию, посредством решения связанных интегральных уравнений.

Основная идея этого метода состоит во введении линейного оператора, который определяется положением в фазовом пространстве и который развивается под действием динамики рассматриваемой системы таким образом, что его «спектр» (в подходящем обобщенном смысле) инвариантен. в процессе эволюции, ср. Слабая пара . В некоторых случаях это обеспечивает достаточное количество инвариантов или «интегралов движения», чтобы сделать систему полностью интегрируемой. В случае систем, имеющих бесконечное число степеней свободы, таких как уравнение КдФ, этого недостаточно для уточнения свойства интегрируемости по Лиувиллю. Однако для правильно определенных граничных условий спектральное преобразование фактически можно интерпретировать как преобразование к полностью игнорируемым координатам , в которых сохраняющиеся величины образуют половину дважды бесконечного набора канонических координат, и поток в них линеаризуется. В некоторых случаях это можно даже рассматривать как преобразование к переменным действия-угла, хотя обычно только конечное число переменных «положения» на самом деле являются угловыми координатами, а остальные некомпактны.

Билинейные уравнения Хироты и τ-функции

[ редактировать ]

Другая точка зрения, возникшая в современной теории интегрируемых систем, возникла ввычислительный подход, впервые предложенный Рёго Хиротой , [2] что подразумевало заменуисходная нелинейная динамическая система с билинейной системой постоянного коэффициентауравнения для вспомогательной величины, которая позже стала известна как τ-функция . Теперь они называются уравнениями Хироты . Хотя первоначально он появлялся просто как вычислительное устройство, без какой-либо четкой связи.подходу обратного рассеяния важные классы решений, такие как солитоны или гамильтоновой структуре, это, тем не менее, дало очень прямой метод, из которого можно было вывести .

Впоследствии это интерпретировал Микио Сато. [3] и его ученики, [4] [5] сначала для случая интегрируемые иерархии УЧП, такие как иерархия Кадомцева – Петвиашвили , но тогда для гораздо более общих классов интегрируемых иерархий - как своего рода подход к универсальному фазовому пространству , в котором, как правило, коммутирующая динамика рассматривалась просто как определяемая фиксированным (конечным или бесконечным) абелевым групповым действием на (конечном или бесконечном) грассмановом многообразие . τ-функция рассматривалась как определитель оператора проектирования элементов групповой орбиты в некоторое начало в пределах грассманиана,и уравнения Хироты как выражающие соотношения Плюкера , характеризующие Плюккеровое вложение грассманиана в проективизацию подходящего определенное (бесконечное) внешнее пространство , рассматриваемое как фермионное пространство Фока .

Квантовые интегрируемые системы

[ редактировать ]

Существует также понятие квантовых интегрируемых систем.

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

Чтобы объяснить квантовую интегрируемость, полезно рассмотреть ситуацию со свободными частицами. Здесь вся динамика сводима к одному телу. Квантовая система называется интегрируемой, если ее динамика сводима к двум телам. Уравнение Янга-Бакстера является следствием этой сводимости и приводит к тождествам следов, которые обеспечивают бесконечный набор сохраняющихся величин. Все эти идеи включены в квантовый метод обратной задачи рассеяния , где алгебраический анзац Бете можно использовать для получения явных решений. Примерами квантовых интегрируемых моделей являются модель Либа-Линигера , модель Хаббарда и несколько вариаций модели Гейзенберга . [7] Некоторые другие типы квантовой интегрируемости известны в явно зависящих от времени квантовых задачах, таких как управляемая модель Тэвиса-Каммингса. [8]

Точно решаемые модели

[ редактировать ]

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

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

Иногда также используется неточное понятие «точной разрешимости», означающее: «Решения могут быть явно выражены через некоторые ранее известные функции», как если бы это было внутренним свойством самой системы, а не чисто вычислительной особенностью, которая у нас есть некоторые «известные» функции, через которые можно выразить решения. Это понятие не имеет внутреннего смысла, поскольку под «известными» функциями очень часто понимается именно то, что они удовлетворяют некоторым заданным уравнениям, и список таких «известных функций» постоянно растет. Хотя такая характеристика «интегрируемости» не имеет внутренней обоснованности, она часто подразумевает тот тип регулярности, которого следует ожидать в интегрируемых системах. [ нужна ссылка ]

Список некоторых известных интегрируемых систем

[ редактировать ]
Классические механические системы
Интегрируемые решетчатые модели
Интегрируемые системы в измерениях 1 + 1
Интегрируемые УЧП в измерениях 2 + 1
Интегрируемые УЧП в измерениях 3 + 1
Точно решаемые статистические решеточные модели

См. также

[ редактировать ]
[ редактировать ]

Некоторые ключевые участники (с 1965 г.)

[ редактировать ]

Дальнейшее чтение

[ редактировать ]
[ редактировать ]

Примечания

[ редактировать ]
  1. ^ Хитчин, Нью-Джерси; Сигал, Великобритания; Уорд, RS (2013) [1999]. Интегрируемые системы: твисторы, группы петель и римановы поверхности . Издательство Оксфордского университета. ISBN  978-0-19-967677-4 .
  2. ^ Хирота, Р. (1986). «Приведение солитонных уравнений к билинейной форме». Физика D: Нелинейные явления . 18 (1–3): 161–170. Бибкод : 1986PhyD...18..161H . дои : 10.1016/0167-2789(86)90173-9 .
  3. ^ Сато, М. (1981). «Солитонные уравнения как динамические системы на бесконечномерных многообразиях Грассмана» (PDF) . Кокюроку, RIMS, Киотский университет . 439 : 30–46. HDL : 2433/102800 .
  4. ^ Дата, Э.; Джимбо, М.; Кашивара, М.; Мива, Т. (1981). «Операторный подход к уравнению Кадомцева-Петвиашвили III». Журнал Физического общества Японии . 50 (11): 3806–12. дои : 10.1143/JPSJ.50.3806 .
  5. ^ Джимбо, М.; Мива, Т. (1983). «Солитоны и бесконечномерные алгебры Ли» . Опубл. Рез. Инст. Математика. Наука . 19 (3): 943–1001. дои : 10.2977/prims/1195182017 .
  6. ^ Калабрезе, Паскуале; Эсслер, Фабиан Х.Л.; Муссардо, Джузеппе (27 июня 2016 г.). «Введение в квантовую интегрируемость в неравновесных системах » . Журнал статистической механики: теория и эксперимент . 2016 (6). Издание IOP: 064001. Бибкод : 2016JSMTE..06.4001C . дои : 10.1088/1742-5468/2016/06/064001 . ISSN   1742-5468 . S2CID   124170507 .
  7. ^ Корепин, В.Е. ; Боголюбов, Н.М.; Изергин, А.Г. (1997). Квантовый метод обратной задачи рассеяния и корреляционные функции . Издательство Кембриджского университета. ISBN  978-0-521-58646-7 .
  8. ^ Синицын Н.А.; Ли, Ф. (2016). «Разрешимая многосостоятельная модель переходов Ландау-Зинера в резонаторной КЭД». Физ. Преподобный А. 93 (6): 063859. arXiv : 1602.03136 . Бибкод : 2016PhRvA..93f3859S . дои : 10.1103/PhysRevA.93.063859 . S2CID   119331736 .
  9. ^ Калоджеро, Ф. (2008). «Система Калоджеро-Мозера» . Схоларпедия . 3 (8): 7216. Бибкод : 2008SchpJ...3.7216C . doi : 10.4249/scholarpedia.7216 .
  10. ^ Кларксон, Питер А.; Найхофф, Фрэнк В. (1999). Симметрии и интегрируемость разностных уравнений . Лондонское математическое общество. Том. 255. Издательство Кембриджского университета. ISBN  978-0-521-59699-2 .
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 59246c686520c7d827e59a10dad77db9__1718213280
URL1:https://arc.ask3.ru/arc/aa/59/b9/59246c686520c7d827e59a10dad77db9.html
Заголовок, (Title) документа по адресу, URL1:
Integrable system - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)