Динамическая система, сохраняющая меру
В математике является сохраняющая меру динамическая система объектом исследования в абстрактной формулировке динамических систем и эргодической теории в частности. Системы, сохраняющие меру, подчиняются теореме возврата Пуанкаре и являются частным случаем консервативных систем . Они обеспечивают формальную математическую основу для широкого круга физических систем и, в частности, многих систем классической механики (в частности, большинства недиссипативных систем), а также систем, находящихся в термодинамическом равновесии .
Определение
[ редактировать ]Динамическая система, сохраняющая меру, определяется как вероятностное пространство и сохраняющее меру преобразование на нем. Если говорить более подробно, то это система.
со следующей структурой:
- это набор,
- является σ-алгеброй над ,
- является вероятностной мерой , так что , и ,
- — измеримое преобразование, сохраняющее меру , то есть, .
Обсуждение
[ редактировать ]Можно спросить, почему преобразование, сохраняющее меру, определяется в терминах обратного вместо прямого преобразования . Это можно понять интуитивно.
Рассмотрим типичную меру на единичном интервале и карта . Это карта Бернулли . Теперь распределите ровный слой краски на единичном интервале. , а затем нанесите краску вперед. Краска на половина разбросана тонким слоем по всему , и краска на половина тоже. Два слоя тонкой краски, наложенные друг на друга, воссоздают одинаковую толщину краски.
В более общем смысле, краска, которая попадет в подмножество происходит из подмножества . Чтобы толщина краски оставалась неизменной (с сохранением меры), масса поступающей краски должна быть одинаковой: .
Рассмотрим отображение наборов силовых :
Рассмотрим теперь частный случай отображений которые сохраняют пересечения, объединения и дополнения (так что это отображение борелевских множеств ), а также отправляет к (потому что мы хотим, чтобы он был консервативным ). Каждое такое консервативное, сохраняющее Бореля отображение может быть задано некоторым сюръективным отображением. написав . Конечно, можно также определить , но этого недостаточно, чтобы указать все такие возможные карты . То есть консервативные, сохраняющие Бореля отображения. вообще нельзя записать в виде .
имеет форму выталкивания вперед , тогда как обычно называется откатом . Почти все свойства и поведение динамических систем определяются с точки зрения продвижения вперед. Например, оператор передачи определяется в терминах продвижения карты преобразования. ; мера теперь можно понимать как инвариантную меру ; это просто собственный вектор Фробениуса–Перрона трансфер-оператора (напомним, что собственный вектор FP — это наибольший собственный вектор матрицы; в данном случае это собственный вектор, который имеет собственное значение: инвариантную меру.)
Представляют интерес две проблемы классификации. Один, обсуждаемый ниже, исправляет и спрашивает о классах изоморфизма карты преобразования . Другой, обсуждаемый в операторе передачи , исправляет и и спрашивает про карты которые подобны мере. Подобные мерам, поскольку они сохраняют борелевские свойства, но больше не являются инвариантными; они, как правило, диссипативны и поэтому дают представление о диссипативных системах и пути к равновесию.
С точки зрения физики, динамическая система, сохраняющая меру часто описывает физическую систему, находящуюся в равновесии, например, термодинамическое равновесие . Можно спросить: как это получилось? Часто ответом является перемешивание, смешивание , турбулентность , термализация или другие подобные процессы. Если карта трансформации описывает это перемешивание, смешивание и т. д., то система это все, что осталось после того, как все переходные режимы затухли. Переходные режимы — это именно те собственные векторы передаточного оператора, собственное значение которых меньше единицы; инвариантная мера это единственная мода, которая не затухает. Скорость затухания переходных режимов определяется (логарифмом) их собственных значений; собственное значение соответствует бесконечному периоду полураспада.
Неофициальный пример
[ редактировать ]Микроканонический ансамбль физики представляет собой неформальный пример. Рассмотрим, например, жидкость, газ или плазму в ящике шириной, длиной и высотой состоящий из атомы. Один атом в этом ящике может находиться где угодно и иметь произвольную скорость; оно будет представлено одной точкой в Данная коллекция тогда атомы были бы одной точкой где-то в пространстве. «Ансамбль» — это совокупность всех таких точек, то есть совокупность всех таких возможных ящиков (которых несчетно-бесконечное число). Этот ансамбль всех возможных коробок и есть пространство выше.
В случае идеального газа мера задается распределением Максвелла – Больцмана . Это мера продукта , в том смысле, что если это вероятность атома имея положение и скорость , тогда для атомов, вероятность есть произведение из них. Предполагается, что эта мера применима к ансамблю. Так, например, в одном из возможных ящиков ансамбля все атомы находятся на одной стороне ящика. Вероятность этого можно вычислить по мере Максвелла – Больцмана. Это будет чрезвычайно крошечный, порядок Из всех возможных коробочек ансамбля это смехотворно малая доля.
Единственная причина, по которой это «неформальный пример», заключается в том, что запись функции перехода сложна, и, даже если она записана, с ней трудно производить практические вычисления. Трудности усугубляются, если взаимодействие не является взаимодействием типа бильярдного шара идеального газа, а представляет собой взаимодействие Ван-дер-Ваальса или какое-либо другое взаимодействие, подходящее для жидкости или плазмы; в таких случаях инвариантной мерой больше не является распределение Максвелла – Больцмана. Искусство физики находит разумные приближения.
Эта система действительно демонстрирует одну ключевую идею классификации динамических систем, сохраняющих меру: два ансамбля, имеющие разные температуры, неэквивалентны. Энтропия данного канонического ансамбля зависит от его температуры; как физические системы, «очевидно», что когда температуры различаются, то и системы меняются. В общем случае это справедливо: системы с различной энтропией не изоморфны.
Примеры
[ редактировать ]В отличие от неформального примера, приведенного выше, приведенные ниже примеры достаточно четко определены и понятны, что позволяет выполнять явные формальные вычисления.
- μ может быть нормализованной мерой угла dθ/2π на единичной окружности , а T — вращением. См. теорему о равнораспределении ;
- схема Бернулли ;
- преобразование интервального обмена ;
- с определением подходящей меры — подсдвиг конечного типа ;
- основной поток случайной динамической системы ;
- поток гамильтонова векторного поля на касательном расслоении замкнутого связного гладкого многообразия сохраняет меру (с использованием меры, индуцированной на борелевских множествах симплектической формой объема ) по теореме Лиувилля (гамильтониан) ; [1]
- для некоторых отображений и марковских процессов теорема Крылова–Боголюбова устанавливает существование подходящей меры для формирования сохраняющей меру динамической системы.
Обобщение на группы и моноиды
[ редактировать ]Определение динамической системы, сохраняющей меру, можно обобщить на случай, когда T не является единственным преобразованием, которое повторяется для получения динамики системы, а представляет собой моноид (или даже группу , и в этом случае мы имеем действие группы на заданное вероятностное пространство) преобразований T s : X → X, параметризованных s ∈ Z (или R , или N ∪ {0}, или [0, +∞)), где каждое преобразование T s удовлетворяет условию те же требования, что и T выше. [1] В частности, преобразования подчиняются правилам:
- , тождественная функция на X ;
- , когда все термины четко определены ;
- , когда все термины четко определены.
Более ранний, более простой случай вписывается в эту структуру, определяя T s = T с для s ∈ N.
Гомоморфизмы
[ редактировать ]понятия гомоморфизма и изоморфизма Можно определить .
Рассмотрим две динамические системы и . Тогда отображение
является гомоморфизмом динамических систем , если он удовлетворяет следующим трем свойствам:
- Карта измеримо .
- Для каждого , у одного есть .
- Для -почти все , у одного есть .
Система называется фактором тогда .
Карта является изоморфизмом динамических систем , если, кроме того, существует еще одно отображение
это также гомоморфизм, который удовлетворяет условию
- для -почти все , у одного есть ;
- для -почти все , у одного есть .
Следовательно, можно образовать категорию динамических систем и их гомоморфизмов.
Общие точки
[ редактировать ]Точка x ∈ X называется точкой общего положения , если орбита точки распределена равномерно по мере.
Символические имена и генераторы
[ редактировать ]Рассмотрим динамическую систему , и пусть = { Q 1 , ..., Q k } — разбиение X на Q k измеримые попарно непересекающиеся множества. Учитывая точку x ∈ X , очевидно, что x принадлежит только одному из Q i . Аналогично, итерированная точка T н x также может принадлежать только одной из частей. Символическое имя x что относительно раздела Q — это последовательность целых чисел { an } такая,
Набор символических имен относительно разбиения называется символической динамикой динамической системы. Разбиение Q называется образующим или порождающим разбиением, если µ-почти каждая точка x имеет уникальное символическое имя.
Операции над разделами
[ редактировать ]Учитывая разбиение Q = { Q 1 , ..., Q k } и динамическую систему , определим T -обратный образ Q как
Далее, учитывая два разбиения Q = { Q 1 , ..., Q k } и R = { R 1 , ..., R m }, определим их уточнение как
С помощью этих двух конструкций уточнение повторного отката определяется как
которая играет решающую роль в построении теоретико-мерной энтропии динамической системы.
Теоретико-мерная энтропия
[ редактировать ]Энтропия раздела определяется как [2] [3]
Теоретико-мерная энтропия динамической системы относительно разбиения Q = { Q 1 , ..., Q k } тогда определяется как
Наконец, метрика Колмогорова – Синая или теоретико-мерная энтропия динамической системы. определяется как
где верхняя грань берется по всем конечным измеримым разбиениям. Теорема Якова Синая 1959 года показывает, что верхняя грань фактически получается на разбиениях, которые являются образующими. Так, например, энтропия процесса Бернулли равна log 2, поскольку почти каждое действительное число имеет уникальное двоичное разложение . То есть можно разбить единичный интервал на интервалы [0, 1/2) и [1/2, 1]. Каждое действительное число x либо меньше 1/2, либо нет; а также дробная часть числа 2 н х .
Если пространство X компактно и наделено топологией или является метрическим пространством, то топологическая энтропия также может быть определена.
Если является эргодическим, кусочно расширяющимся, а Марков на , и абсолютно непрерывен относительно меры Лебега, то имеем формулу Рохлина [4] (раздел 4.3 и раздел 12.3 [5] ): Это позволяет рассчитывать энтропию многих карт интервалов, таких как логистическая карта .
Эргодический означает, что подразумевает имеет полную меру или нулевую меру. Кусочное расширение и Марков означает, что существует разбиение на конечное число открытых интервалов, таких, что для некоторого , на каждом открытом интервале. Марков имеет в виду, что для каждого из этих открытых интервалов, либо или .
Классификационные и антиклассификационные теоремы
[ редактировать ]Одним из основных направлений деятельности при изучении систем, сохраняющих меру, является их классификация по свойствам. То есть пусть — пространство с мерой, и пусть — множество всех систем, сохраняющих меру . Изоморфизм двух преобразований определяет отношение эквивалентности Цель состоит в том, чтобы описать отношение . Получен ряд классификационных теорем; но что весьма интересно, был также найден ряд антиклассификационных теорем. Теоремы об антиклассификации утверждают, что существует более чем счетное число классов изоморфизмов и что счетного количества информации недостаточно для классификации изоморфизмов. [6] [7]
Первая антиклассификационная теорема Хьорта гласит, что если наделено слабой топологией , то множество не является множеством Бореля . [8] Существует множество других антиклассификационных результатов. Например, заменив изоморфизм эквивалентностью Какутани , можно показать, что существует несчетное множество не-Какутани эквивалентных эргодических преобразований, сохраняющих меру каждого типа энтропии. [9]
Они противоречат классификационным теоремам. К ним относятся:
- Классифицированы эргодические преобразования, сохраняющие меру, с чисто точечным спектром. [10]
- Сдвиги Бернулли классифицируются по их метрической энтропии. [11] [12] [13] см . в теории Орнштейна . Дополнительную информацию
Теорема Кригера о конечном генераторе [14] (Кригер 1970) — Дана динамическая система в пространстве Лебега меры 1, где обратима, сохраняет меру и эргодична.
Если для некоторого целого числа , то система имеет размер- генератор.
Если энтропия в точности равна , то такой генератор существует тогда и только тогда, когда система изоморфна сдвигу Бернулли на символы с равными размерами.
См. также
[ редактировать ]- Krylov–Bogolyubov theorem on the existence of invariant measures
- Теорема Пуанкаре о возврате . Некоторые динамические системы в конечном итоге вернутся к своему исходному состоянию (или приблизится к нему).
Ссылки
[ редактировать ]- ^ Перейти обратно: а б Уолтерс, Питер (2000). Введение в эргодическую теорию . Спрингер. ISBN 0-387-95152-0 .
- ^ Синай, Я. Г. (1959). «О понятии энтропии динамической системы». Доклады Академии наук СССР . 124 : 768–771.
- ^ Синай, Я. Г. (2007). «Метрическая энтропия динамической системы» (PDF) .
- ^ Теорема Шеннона-Макмиллана-Бреймана
- ^ Полликотт, Марк; Юрий, Мичико (1998). Динамические системы и эргодическая теория . Тексты студентов Лондонского математического общества. Кембридж: Издательство Кембриджского университета. ISBN 978-0-521-57294-1 .
- ^ Форман, Мэтью; Вайс, Бенджамин (2019). «От одометров к круговым системам: теорема о глобальной структуре». Журнал современной динамики . 15 : 345–423. arXiv : 1703.07093 . дои : 10.3934/jmd.2019024 . S2CID 119128525 .
- ^ Форман, Мэтью; Вайс, Бенджамин (2022). «Сохраняющие меру диффеоморфизмы тора неклассифицируются» . Журнал Европейского математического общества . 24 (8): 2605–2690. arXiv : 1705.04414 . дои : 10.4171/JEMS/1151 .
- ^ Хьёрт, Г. (2001). «Об инвариантах сохраняющих меру преобразований» . Фонд. Математика . 169 (1): 51–84. дои : 10.4064/FM169-1-2 . S2CID 55619325 .
- ^ Орнштейн, Д .; Рудольф, Д.; Вайс, Б. (1982). Эквивалентность преобразований, сохраняющих меру . Память Американское математическое соц. Том. 37. ИСБН 0-8218-2262-4 .
- ^ Халмос, П.; фон Нейман, Дж. (1942). «Операторные методы в классической механике. II». Анналы математики . (2). 43 (2): 332–350. дои : 10.2307/1968872 . JSTOR 1968872 .
- ^ Синай, Я. (1962). «Слабый изоморфизм преобразований с инвариантной мерой». Доклады Академии наук СССР . 147 : 797–800.
- ^ Орнштейн, Д. (1970). «Сдвиги Бернулли с одинаковой энтропией изоморфны» . Достижения в математике . 4 (3): 337–352. дои : 10.1016/0001-8708(70)90029-0 .
- ^ Каток, А.; Хассельблатт, Б. (1995). «Введение в современную теорию динамических систем». Энциклопедия математики и ее приложений . Том. 54. Издательство Кембриджского университета.
- ^ Даунарович, Томаш (2011). Энтропия в динамических системах . Новые математические монографии. Кембридж: Издательство Кембриджского университета. п. 106. ИСБН 978-0-521-88885-1 .
Дальнейшее чтение
[ редактировать ]- Майкл С. Кин, «Эргодическая теория и сдвиги конечного типа», (1991), появляется в главе 2 в книге «Эргодическая теория, символическая динамика и гиперболические пространства» , Тим Бедфорд, Майкл Кин и Кэролайн Ряд, ред. Издательство Оксфордского университета, Оксфорд (1991). ISBN 0-19-853390-X (содержит пояснительное введение, упражнения и обширные ссылки.)
- Лай-Санг Янг , «Энтропия в динамических системах» ( pdf ; ps ), появляется в главе 16 в «Энтропии» , Андреас Гревен, Герхард Келлер и Джеральд Варнеке, ред. Издательство Принстонского университета, Принстон, Нью-Джерси (2003). ISBN 0-691-11338-6
- Т. Шюрманн и И. Хоффманн. Энтропия странных биллиардов внутри n-симплексов. Дж. Физ. A 28(17), стр. 5033, 1995. PDF-документ (дает более сложный пример динамической системы, сохраняющей меру).