Jump to content

Динамическая система, сохраняющая меру

(Перенаправлено из Метрической энтропии )

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

Определение

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

Динамическая система, сохраняющая меру, определяется как вероятностное пространство и сохраняющее меру преобразование на нем. Если говорить более подробно, то это система.

со следующей структурой:

  • это набор,
  • является σ-алгеброй над ,
  • является вероятностной мерой , так что , и ,
  • измеримое преобразование, сохраняющее меру , то есть, .

Обсуждение

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

Можно спросить, почему преобразование, сохраняющее меру, определяется в терминах обратного вместо прямого преобразования . Это можно понять интуитивно.

Рассмотрим типичную меру на единичном интервале и карта . Это карта Бернулли . Теперь распределите ровный слой краски на единичном интервале. , а затем нанесите краску вперед. Краска на половина разбросана тонким слоем по всему , и краска на половина тоже. Два слоя тонкой краски, наложенные друг на друга, воссоздают одинаковую толщину краски.

В более общем смысле, краска, которая попадет в подмножество происходит из подмножества . Чтобы толщина краски оставалась неизменной (с сохранением меры), масса поступающей краски должна быть одинаковой: .

Рассмотрим отображение наборов силовых :

Рассмотрим теперь частный случай отображений которые сохраняют пересечения, объединения и дополнения (так что это отображение борелевских множеств ), а также отправляет к (потому что мы хотим, чтобы он был консервативным ). Каждое такое консервативное, сохраняющее Бореля отображение может быть задано некоторым сюръективным отображением. написав . Конечно, можно также определить , но этого недостаточно, чтобы указать все такие возможные карты . То есть консервативные, сохраняющие Бореля отображения. вообще нельзя записать в виде .

имеет форму выталкивания вперед , тогда как обычно называется откатом . Почти все свойства и поведение динамических систем определяются с точки зрения продвижения вперед. Например, оператор передачи определяется в терминах продвижения карты преобразования. ; мера теперь можно понимать как инвариантную меру ; это просто собственный вектор Фробениуса–Перрона трансфер-оператора (напомним, что собственный вектор FP — это наибольший собственный вектор матрицы; в данном случае это собственный вектор, который имеет собственное значение: инвариантную меру.)

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

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

Неофициальный пример

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

Микроканонический ансамбль физики представляет собой неформальный пример. Рассмотрим, например, жидкость, газ или плазму в ящике шириной, длиной и высотой состоящий из атомы. Один атом в этом ящике может находиться где угодно и иметь произвольную скорость; оно будет представлено одной точкой в Данная коллекция тогда атомы были бы одной точкой где-то в пространстве. «Ансамбль» — это совокупность всех таких точек, то есть совокупность всех таких возможных ящиков (которых несчетно-бесконечное число). Этот ансамбль всех возможных коробок и есть пространство выше.

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

Единственная причина, по которой это «неформальный пример», заключается в том, что запись функции перехода сложна, и, даже если она записана, с ней трудно производить практические вычисления. Трудности усугубляются, если взаимодействие не является взаимодействием типа бильярдного шара идеального газа, а представляет собой взаимодействие Ван-дер-Ваальса или какое-либо другое взаимодействие, подходящее для жидкости или плазмы; в таких случаях инвариантной мерой больше не является распределение Максвелла – Больцмана. Искусство физики находит разумные приближения.

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

Пример сохраняющего отображение ( мера Лебега ): T : [0,1) → [0,1),

В отличие от неформального примера, приведенного выше, приведенные ниже примеры достаточно четко определены и понятны, что позволяет выполнять явные формальные вычисления.

Обобщение на группы и моноиды

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

Определение динамической системы, сохраняющей меру, можно обобщить на случай, когда T не является единственным преобразованием, которое повторяется для получения динамики системы, а представляет собой моноид (или даже группу , и в этом случае мы имеем действие группы на заданное вероятностное пространство) преобразований T s : X X, параметризованных s Z (или R , или N ∪ {0}, или [0, +∞)), где каждое преобразование T s удовлетворяет условию те же требования, что и T выше. [1] В частности, преобразования подчиняются правилам:

Более ранний, более простой случай вписывается в эту структуру, определяя T s = T с для s N.

Гомоморфизмы

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

понятия гомоморфизма и изоморфизма Можно определить .

Рассмотрим две динамические системы и . Тогда отображение

является гомоморфизмом динамических систем , если он удовлетворяет следующим трем свойствам:

  1. Карта измеримо .
  2. Для каждого , у одного есть .
  3. Для -почти все , у одного есть .

Система называется фактором тогда .

Карта является изоморфизмом динамических систем , если, кроме того, существует еще одно отображение

это также гомоморфизм, который удовлетворяет условию

  1. для -почти все , у одного есть ;
  2. для -почти все , у одного есть .

Следовательно, можно образовать категорию динамических систем и их гомоморфизмов.

Общие точки

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

Точка 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]

Они противоречат классификационным теоремам. К ним относятся:

Теорема Кригера о конечном генераторе [14]  (Кригер 1970) Дана динамическая система в пространстве Лебега меры 1, где обратима, сохраняет меру и эргодична.

Если для некоторого целого числа , то система имеет размер- генератор.

Если энтропия в точности равна , то такой генератор существует тогда и только тогда, когда система изоморфна сдвигу Бернулли на символы с равными размерами.

См. также

[ редактировать ]
  1. ^ Перейти обратно: а б Уолтерс, Питер (2000). Введение в эргодическую теорию . Спрингер. ISBN  0-387-95152-0 .
  2. ^ Синай, Я. Г. (1959). «О понятии энтропии динамической системы». Доклады Академии наук СССР . 124 : 768–771.
  3. ^ Синай, Я. Г. (2007). «Метрическая энтропия динамической системы» (PDF) .
  4. ^ Теорема Шеннона-Макмиллана-Бреймана
  5. ^ Полликотт, Марк; Юрий, Мичико (1998). Динамические системы и эргодическая теория . Тексты студентов Лондонского математического общества. Кембридж: Издательство Кембриджского университета. ISBN  978-0-521-57294-1 .
  6. ^ Форман, Мэтью; Вайс, Бенджамин (2019). «От одометров к круговым системам: теорема о глобальной структуре». Журнал современной динамики . 15 : 345–423. arXiv : 1703.07093 . дои : 10.3934/jmd.2019024 . S2CID   119128525 .
  7. ^ Форман, Мэтью; Вайс, Бенджамин (2022). «Сохраняющие меру диффеоморфизмы тора неклассифицируются» . Журнал Европейского математического общества . 24 (8): 2605–2690. arXiv : 1705.04414 . дои : 10.4171/JEMS/1151 .
  8. ^ Хьёрт, Г. (2001). «Об инвариантах сохраняющих меру преобразований» . Фонд. Математика . 169 (1): 51–84. дои : 10.4064/FM169-1-2 . S2CID   55619325 .
  9. ^ Орнштейн, Д .; Рудольф, Д.; Вайс, Б. (1982). Эквивалентность преобразований, сохраняющих меру . Память Американское математическое соц. Том. 37. ИСБН  0-8218-2262-4 .
  10. ^ Халмос, П.; фон Нейман, Дж. (1942). «Операторные методы в классической механике. II». Анналы математики . (2). 43 (2): 332–350. дои : 10.2307/1968872 . JSTOR   1968872 .
  11. ^ Синай, Я. (1962). «Слабый изоморфизм преобразований с инвариантной мерой». Доклады Академии наук СССР . 147 : 797–800.
  12. ^ Орнштейн, Д. (1970). «Сдвиги Бернулли с одинаковой энтропией изоморфны» . Достижения в математике . 4 (3): 337–352. дои : 10.1016/0001-8708(70)90029-0 .
  13. ^ Каток, А.; Хассельблатт, Б. (1995). «Введение в современную теорию динамических систем». Энциклопедия математики и ее приложений . Том. 54. Издательство Кембриджского университета.
  14. ^ Даунарович, Томаш (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-документ (дает более сложный пример динамической системы, сохраняющей меру).
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 2964c36977a77103922451ac8c3fc7e2__1705462320
URL1:https://arc.ask3.ru/arc/aa/29/e2/2964c36977a77103922451ac8c3fc7e2.html
Заголовок, (Title) документа по адресу, URL1:
Measure-preserving dynamical system - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)