WikiDer > Эргодическая теория

Ergodic theory

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

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

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

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

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

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

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

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

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

Примеры

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

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

Позволять Т: ИксИкс быть преобразование с сохранением меры на измерить пространство (Икс, Σ, μ) и предположим, что - μ-интегрируемая функция, т.е. ƒ ∈ L1(μ). Затем мы определяем следующие средние:

Среднее время: Это определяется как среднее значение (если оно существует) по итерациям Т начиная с некоторой начальной точки Икс:

Средняя площадь: Если μ(Икс) конечна и отлична от нуля, можно рассмотреть Космос или же фаза в среднем ƒ:

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

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

Более того, является Т-инвариантный, то есть

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

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

почти всюду. Присоединение первого к последнему требованию и предположение, что μ(Икс) конечна и отлична от нуля, имеем

за почти все Икс, т.е. для всех Икс кроме набора мера нуль.

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

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

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

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

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

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

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

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

Средняя эргодическая теорема фон Неймана, выполняется в гильбертовых пространствах.[1]

Позволять U быть унитарный оператор на Гильбертово пространство ЧАС; в более общем смысле, изометрический линейный оператор (то есть не обязательно сюръективный линейный оператор, удовлетворяющий ‖Ux‖ = ‖Икс‖ для всех Икс в ЧАС, или, что то же самое, удовлетворение U*U = I, но не обязательно UU* = I). Позволять п быть ортогональная проекция на {ψ ∈ ЧАС |  = ψ} = ker (я − U).

Тогда для любого Икс в ЧАС, у нас есть:

где предел по норме на ЧАС. Другими словами, последовательность средних

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

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

Эта теорема специализируется на случае, когда гильбертово пространство ЧАС состоит из L2 функции на пространстве с мерой и U является оператором вида

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

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

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

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

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

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

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

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

для всех Икс кроме набора мера нуль, где χА это индикаторная функция из А.

В время появления измеримого множества А определяется как множество k1, k2, k3, ..., раз k такой, что Тk(Икс) в А, отсортированные в порядке возрастания. Различия между последовательными временами появления ря = kяkя−1 называются время повторения из А. Еще одно следствие эргодической теоремы состоит в том, что среднее время возврата А обратно пропорциональна мере А, предполагая[требуется разъяснение] что начальная точка Икс в А, так что k0 = 0.

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

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

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

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

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

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

Рекомендации

  1. ^ Рид, Майкл; Саймон, Барри (1980). Функциональный анализ. Методы современной математической физики. 1 (Ред. Ред.). Академическая пресса. ISBN 0-12-585050-6.
  2. ^ (Уолтерс 1982)

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

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

  • Д.В. Аносов (2001) [1994], «Эргодическая теория», Энциклопедия математики, EMS Press
  • В этой статье использован материал из эргодической теоремы о PlanetMath, который находится под лицензией Лицензия Creative Commons Attribution / Share-Alike.
  • Владимир Игоревич Арнольд и Андре Авез, Эргодические задачи классической механики.. Нью-Йорк: В.А.Бенджамин. 1968 г.
  • Лео Брейман, Вероятность. Оригинальное издание, опубликованное Эддисоном-Уэсли, 1968 г .; перепечатано Обществом промышленной и прикладной математики, 1992. ISBN 0-89871-296-3. (См. Главу 6.)
  • Уолтерс, Питер (1982), Введение в эргодическую теорию, Тексты для выпускников по математике, 79, Springer-Verlag, ISBN 0-387-95152-0, Zbl 0475.28009
  • Тим Бедфорд; Майкл Кин; Кэролайн Серии, ред. (1991), Эргодическая теория, символическая динамика и гиперболические пространства, Издательство Оксфордского университета, ISBN 0-19-853390-X (Обзор тем по эргодической теории; с упражнениями.)
  • Карл Петерсен. Эргодическая теория (Кембриджские исследования по высшей математике). Кембридж: Издательство Кембриджского университета. 1990 г.
  • Джозеф М. Розенблатт и Мате Вейрдл, Поточечно-эргодические теоремы через гармонический анализ, (1993) появляясь в Эргодическая теория и ее связи с гармоническим анализом, Труды Александрийской конференции 1993 г., (1995) Карл Э. Петерсен и Ибрагим А. Салама, ред., Издательство Кембриджского университета, Кембридж, 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, Дои:10.1006 / hmat.2001.2338 (Подробное обсуждение приоритета открытия и публикации эргодических теорем Биркгофом и фон Нейманом, основанное на письме последнего своему другу Говарду Перси Робертсону.)
  • Анджей Ласота, Майкл С. Макки, Хаос, фракталы и шум: стохастические аспекты динамики. Второе издание, Springer, 1994.

внешняя ссылка