Эргодическая теория - Ergodic theory

Эргодическая теория ( греческая : ἔργον эргон «работа», ὁδός Ходос «путь») является филиалом математики , которая изучает статистические свойства детерминированных систем динамических ; это исследование эргодичности . В этом контексте статистические свойства означают свойства, которые выражаются через поведение средних по времени различных функций вдоль траекторий динамических систем. Понятие детерминированных динамических систем предполагает, что уравнения, определяющие динамику, не содержат никаких случайных возмущений, шума и т. Д. Таким образом, статистика, которая нас интересует, является свойствами динамики.

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

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

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

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

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

Эргодические преобразования

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

Пусть T  : XX - сохраняющее меру преобразование на пространстве с мерой ( X , Σ , μ ) с μ ( X ) = 1 . Тогда Т является эргодическим , если для каждого Е в Е с Т -1 ( E ) = E , либо μ ( E ) = 0 или μ ( E ) = 1 .

Примеры

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

Эргодические теоремы

Пусть T : XX - сохраняющее меру преобразование на пространстве с мерой ( X , Σ, μ ) и пусть ƒ - μ -интегрируемая функция, т. Е. Ƒ ∈ L 1 ( μ ). Затем мы определяем следующие средние :

Среднее по времени: оно определяется как среднее (если оно существует) по итерациям T, начиная с некоторой начальной точки x :

Среднее по пространству: если μ ( X ) конечна и отлична от нуля, мы можем рассматривать среднее по пространству или фазе :

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

Точнее, поточечная или сильная эргодическая теорема утверждает, что предел в определении среднего по времени существует почти для каждого x и что (почти всюду определенная) предельная функция ƒ̂ интегрируема:

Кроме того, является T -инвариантным, т. Е.

выполняется почти всюду, и если μ ( X ) конечно, то нормализация такая же:

В частности, если T эргодичен, то должна быть константой (почти всюду), и поэтому

почти везде. Соединяя первое с последним утверждением и предполагая, что μ ( X ) конечна и отлична от нуля, получаем, что

почти для всех x , т. е. для всех x, кроме множества нулевой меры .

Для эргодического преобразования среднее по времени почти наверняка равно среднему по пространству.

В качестве примера предположим, что пространство меры ( X , Σ, μ ) моделирует частицы газа, как указано выше, и пусть ƒ ( x ) обозначает скорость частицы в позиции x . Тогда поточечные эргодические теоремы говорят, что средняя скорость всех частиц в некоторый заданный момент времени равна средней скорости одной частицы во времени.

Обобщением теоремы Биркгофа является субаддитивная эргодическая теорема Кингмана .

Вероятностная формулировка: теорема Биркгофа – Хинчина.

Теорема Биркгофа – Хинчина . Пусть ƒ измеримо, E (| ƒ |) <∞ и T сохраняющее меру отображение. Тогда с вероятностью 1 :

где это условное математическое ожидание , учитывая σ-алгебру инвариантных множеств Т .

Следствие ( поточечная эргодическая теорема ): В частности, если T также эргодична, то является тривиальной σ-алгеброй и, следовательно, с вероятностью 1:

Средняя эргодическая теорема

Эргодическая теорема фон Неймана в среднем верна в гильбертовых пространствах.

Пусть U - унитарный оператор в гильбертовом пространстве H ; в более общем смысле, изометрический линейный оператор (то есть не обязательно сюръективный линейный оператор, удовлетворяющий ‖ Ux ‖ = ‖ x ‖ для всех x в H , или, что эквивалентно, удовлетворяющий U * U = I, но не обязательно UU * = I). Пусть P - ортогональный проектор на { ψ  ∈  H  |   = ψ} = ker ( I  -  U ).

Тогда для любого x из H имеем:

где предел по отношению к норме на H . Другими словами, последовательность средних

сходится к P в сильной операторной топологии .

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

Эта теорема специализируется на случай , в котором пространство Гильберта Н состоит из L 2 функций на пространстве с мерой , и U представляет собой оператор вида

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

В другом виде эргодической теоремы, пусть U т сильно непрерывная однопараметрическая группа унитарных операторов в H . Тогда оператор

сходится в сильной операторной топологии при T → ∞. Фактически этот результат распространяется и на случай сильно непрерывной однопараметрической полугруппы сжимающих операторов на рефлексивном пространстве.

Замечание: Некоторая интуиция для эргодической теоремы о среднем может быть развита, рассматривая случай, когда комплексные числа единичной длины рассматриваются как унитарные преобразования на комплексной плоскости (левым умножением). Если мы выберем одно комплексное число единичной длины (которое мы думаем как U ), интуитивно понятно, что его силы заполнят круг. Поскольку окружность симметрична относительно 0, имеет смысл, что средние значения степеней U будут сходиться к 0. Кроме того, 0 - единственная неподвижная точка U , и поэтому проекция на пространство неподвижных точек должна быть нулевым оператором. (что соответствует только что описанному пределу).

Сходимость эргодических средних в нормах L p

Пусть ( X , Σ, μ ) - вероятностное пространство с сохраняющим меру преобразованием T , как указано выше , и пусть 1 ≤ p ≤ ∞. Условное математическое ожидание по отношению к югу сг-алгебры Е Т из Т - инвариантных множеств представляет собой линейный проектор Е Т нормы 1 банахово пространство L р ( х , a, μ ) на его замкнутое подпространство L р ( X , Σ Т , μ ) Последнее также можно охарактеризовать как пространство всех Т -инвариантным L р -функции на X . Эргодический означает, что линейные операторы на L p ( X , Σ, µ ) также имеют единичную операторную норму; и, как простое следствие теоремы Биркгофа-Хинчина, сходятся к проектору Е Т в сильной операторной топологии в L р , если 1 ≤ р ≤ ∞ и в слабой операторной топологии , если р = ∞. Более верно, если 1 < p ≤ ∞, то теорема Винера – Йошиды – Какутани об эргодической мажорируемой сходимости утверждает, что эргодические средние для ƒ ∈ L p преобладают в L p ; однако, если ƒ ∈ L 1 , эргодические средние могут не иметь равного доминирования в L p . Наконец, если предполагается, что ƒ принадлежит классу Зигмунда, то есть | ƒ | log + (| ƒ |) интегрируемо, то эргодические средние даже доминируют в L 1 .

Время пребывания

Пусть ( X , Σ, μ ) - такое пространство с мерой, что μ ( X ) конечно и отлично от нуля. Время, проведенное в измеримом множестве A , называется временем пребывания . Непосредственным следствием эргодической теоремы является то, что в эргодической системе относительная мера A равна среднему времени пребывания :

для всех х за исключением множества меры нуль, где χ является функцией индикатора из A .

Время появления измеримого множества A определяется как множество k 1 , k 2 , k 3 , ..., таких k , что T k ( x ) находится в A , отсортированных в порядке возрастания. Различия между последовательными временами возникновения R я = K I - K I -1 называются раз рекуррентные из A . Другое следствие эргодической теоремы состоит в том, что среднее время повторения A обратно пропорционально мере A , если предположить, что начальная точка x находится в A , так что k 0 = 0.

(Смотрите почти наверняка .) То есть, чем меньше A , тем больше времени требуется, чтобы вернуться к нему.

Эргодические потоки на многообразиях

Эргодичность геодезического потока на компактных римановых поверхностях переменной отрицательной кривизны и на компактных многообразиях постоянной отрицательной кривизны любой размерности была доказана Эберхардом Хопфом в 1939 г., хотя частные случаи были изучены ранее: см., Например, биллиарды Адамара (1898 г.) и бильярд Артина (1924). Связь между геодезическими потоками на римановых поверхностях и однопараметрическими подгруппами на SL (2, R ) была описана в 1952 г. С. В. Фоминым и И. М. Гельфандом . В статье о потоках Аносова приводится пример эргодических потоков на SL (2, R ) и на римановых поверхностях отрицательной кривизны. Большая часть развития описано там обобщается гиперболических многообразий, так как они могут рассматриваться как в частных гиперболического пространства по действию в виде решетки в полупростой группе Ли SO (п, 1) . Эргодичность геодезического потока на римановых симметрических пространствах была продемонстрирована Ф. И. Маутнером в 1957 г. В 1967 г. Д. В. Аносов и Я. Г. Синай доказал эргодичность геодезического потока на компактных многообразиях переменной отрицательной секционной кривизны . Критерий простой эргодичности однородного потока на однородном пространстве в виде полупростой группы Ли дали Calvin C. Moore в 1966 г. Многие из теорем и результатов этой области исследования характерны теорий жесткости .

В 30-е годы прошлого века Г. А. Хедлунд доказал, что поток орициклов на компактной гиперболической поверхности минимален и эргодичен. Уникальный эргодичности потока был создан Гилель Фюрстенберг в 1972. теоремы Ратнер обеспечивают значительное обобщение эргодичности для унипотентных потоков на однородных пространствах вида Γ \  G , где G является группой Ли и Γ является решеткой в  G .

За последние 20 лет было много работ, в которых пытались найти теорему классификации меры, аналогичную теоремам Ратнера , но для диагонализируемых действий, мотивированных гипотезами Фюрстенберга и Маргулиса . Важный частичный результат (решение этих гипотез с дополнительным предположением о положительной энтропии) был доказан Илоном Линденштраусом , и в 2010 году он был награжден медалью Филдса за этот результат.

Смотрите также

использованная литература

Исторические ссылки

Современные ссылки

  • Д.В. Аносов (2001) [1994], "Эргодическая теория" , Энциклопедия математики , EMS Press
  • Эта статья включает материал из эргодической теоремы PlanetMath , которая находится под лицензией Creative Commons Attribution / Share-Alike License .
  • Владимир Игоревич Арнольд, Андре Авез, Эргодические проблемы классической механики . Нью-Йорк: В.А. Бенджамин. 1968 г.
  • Лео Брейман, Вероятность . Оригинальное издание, опубликованное Эддисоном-Уэсли, 1968 г .; перепечатано Обществом промышленной и прикладной математики, 1992. ISBN  0-89871-296-3 . (См. Главу 6.)
  • Уолтерс, Питер (1982), Введение в эргодическую теорию , Тексты для выпускников по математике, 79 , Springer-Verlag , ISBN 0-387-95152-0, Zbl  0475,28009
  • Тим Бедфорд; Майкл Кин; Серия Кэролайн, ред. (1991), эргодическая теория, символическая динамика и гиперболические пространства , Oxford University Press, ISBN 0-19-853390-X (Обзор вопросов эргодической теории; с упражнениями.)
  • Карл Петерсен. Эргодическая теория (Кембриджские исследования по высшей математике). Кембридж: Издательство Кембриджского университета. 1990 г.
  • Джозеф М. Розенблатт и Мате Вейрдл, Точечно-эргодические теоремы через гармонический анализ , (1993), появившиеся в « Эргодической теории и ее связи с гармоническим анализом», Труды Александрийской конференции 1993 г. , (1995) Карл Э. Петерсен и Ибрагим А. Салама, ред. . , Cambridge University Press, Кембридж, ISBN  0-521-45999-0 . (Подробный обзор эргодических свойств обобщений теоремы эквираспределения о сдвиге карта на единичном интервале . Ориентирован на методах , разработанных Бургейн.)
  • А. Н. Ширяев , Вероятность , 2-е изд., Springer, 1996, Sec. V.3. ISBN  0-387-94549-0 .
  • Джозеф Д. Зунд (2002), " Биркгоф и Джон фон Нейман: Вопрос приоритета и эргодическая теоремы, 1931-1932 ", Historia Mathematica , 29 (2): 138-156, DOI : 10,1006 / hmat.2001.2338 (Подробное обсуждение приоритета открытия и публикации эргодических теорем Биркгофом и фон Нейманом, основанное на письме последнего своему другу Говарду Перси Робертсону.)
  • Анджей Ласота, Майкл С. Макки, Хаос, фракталы и шум: стохастические аспекты динамики . Второе издание, Springer, 1994.
  • Джейн Хокинс , Эргодическая динамика: от базовой теории к приложениям , Springer, 2021. ISBN  978-3-030-59242-4

внешние ссылки