Динамические системы
Эргодическая теория
Как компании Netflix рекомендует фильмы? Они предполагают, что если собрать достаточно данных о вкусах пользователя, то «среднее по времени» (история просмотров) предсказывает «среднее по пространству» (все возможные вкусы). Это - прикладная эргодичность.
- **Статистическая физика:** второй закон термодинамики и приближение к равновесию обосновываются через эргодичность молекулярных систем
- **Финансы:** «гипотеза эффективного рынка» предполагает, что ценовые ряды эргодичны - прошлые данные не предсказывают будущее. Споры об этом не утихают.
- **Теория чисел:** эргодические методы Фурстенберга дали первое доказательство теоремы Сарковского и теоремы Грина-Тао о прогрессиях в простых числах
Предварительные знания
Ergodic
**Молекула газа мечется в сосуде.** Статистическая механика утверждает: за долгое время молекула побывает во всех доступных состояниях. Среднее по времени равно среднему по пространству. Это - эргодическая гипотеза. Больцман предложил её в 1871 году. Строго доказать оказалось невозможным для общего случая - и этому посвящены 150 лет математики.
**Эргодическая система** - динамическая система (X, T, μ), где μ - T-инвариантная мера, обладающая свойством: **μ(A) ∈ {0, 1}** для всех T-инвариантных множеств A. Эквивалентно: единственные измеримые T-инвариантные множества имеют меру 0 или 1. Физически: система «не распадается» на независимые части.
| Система | Эргодична? | Замечание |
|---|---|---|
| Вращение окружности на угол 2πα, α ∈ ℚ | Нет | Орбиты периодические, не плотные |
| Вращение окружности на угол 2πα, α ∉ ℚ | Да | Орбиты всюду плотные (Weyl) |
| Логистическое отображение r = 4 | Да | Мера Сина: dμ = dx/(π√(x(1-x))) |
| Система Лоренца | Да (для аттрактора) | Эргодична относительно меры СРБ |
Гиббс, Больцман и эргодическая гипотеза
Людвиг Больцман в 1871 году выдвинул «эргодическую гипотезу» для обоснования статистической механики. Сам термин «эргодический» происходит от греческих ἔργον (работа) и ὁδός (путь). Строгое математическое определение и первые теоремы появились лишь в 1931 году - Биркгофф и фон Нейман независимо доказали эргодическую теорему.
Вращение окружности на угол 2π·(√2) является эргодическим. Что это означает практически?
Mixing
**Капля краски в воде перемешивается и равномерно распределяется - это перемешивание.** Математически: любые два «куска» фазового пространства в конечном итоге перекрываются. Перемешивание - более сильное свойство, чем эргодичность: каждая перемешивающая система эргодична, но не наоборот.
**Перемешивание (mixing)** - система (X, T, μ) является перемешивающей, если для любых измеримых A, B: **μ(T^{-n}A ∩ B) → μ(A)·μ(B) при n → ∞**. Смысл: множества A и B становятся «независимыми» при больших временах. Слабое перемешивание: предел по Цезаро. Сильное перемешивание: обычный предел.
| Свойство | Определение | Пример |
|---|---|---|
| Эргодичность | Временное = пространственному среднему | Вращение окружности (α ∉ ℚ) |
| Слабое перемешивание | μ(T^{-n}A ∩ B) → μ(A)μ(B) по Цезаро | Некоторые вращения тора |
| Сильное перемешивание | μ(T^{-n}A ∩ B) → μ(A)μ(B) обычно | Пекарское отображение |
| K-система | Перемешивание за конечное время | Автоморфизмы Бернулли |
**Декорреляция и K-системы:** для перемешивающей системы корреляционная функция **C(n) = ∫ f(T^n x)·g(x) dμ − (∫f dμ)(∫g dμ) → 0** при n → ∞. Это означает, что «память» о прошлом теряется. K-системы (по Колмогорову) - перемешивают «за конечное время», что связано с положительной энтропией Колмогорова-Синая.
Каждая перемешивающая система эргодична. Верно ли обратное?
Birkhoff
**Теорема Биркгофа - математическое основание статистической механики.** Если молекула «достаточно перемешивается», то её среднее по времени равно среднему по пространству. Это позволяет физикам вычислять термодинамические средние, не следя за каждой молекулой - достаточно знать инвариантную меру.
**Эргодическая теорема Биркгофа (1931):** Пусть (X, T, μ) - сохраняющая меру система, f ∈ L¹(μ). Тогда временное среднее сходится: **f̄(x) = lim_{N→∞} (1/N) Σ_{n=0}^{N-1} f(T^n x)** существует μ-почти для всех x, f̄ ∈ L¹, f̄(Tx) = f̄(x). Если система эргодична, то **f̄(x) = ∫f dμ** для почти всех x.
| Теорема | Год | Утверждение |
|---|---|---|
| Фон Нейман (средняя) | 1931 | Сходимость в L²: ||N⁻¹Σf∘Tⁿ − ∫f||₂ → 0 |
| Биркгофф (поточечная) | 1931 | Сходимость μ-п.в.: f̄(x) = ∫f dμ при эргодичности |
| Субаддитивная (Кингман) | 1968 | Обобщение на субаддитивные функционалы |
| Multiplicative (Осселедец) | 1968 | Основа для показателей Ляпунова |
Теорема Биркгофа утверждает, что временное среднее сходится. Для эргодической системы это среднее равно:
Invariant Measure
**Какую «весовую функцию» использует система?** Логистическое отображение при r=4 не посещает все точки [0,1] равновероятно - оно предпочитает края. Распределение посещений описывается инвариантной мерой - той самой мерой μ, которая не меняется под действием T.
**T-инвариантная мера** - вероятностная мера μ такая, что **μ(T⁻¹(A)) = μ(A)** для всех измеримых A. Эквивалентно: μ(T(A)) = μ(A). Физически: если начать с распределения μ, то после применения T получим то же распределение μ. **СРБ-меры** (Синай-Рюэль-Бовен) - особый класс физически релевантных инвариантных мер для хаотических систем.
| Система | Инвариантная мера μ | Тип |
|---|---|---|
| Вращение окружности | Равномерная мера Лебега | Консервативная |
| Логистическое r=4 | dμ=dx/(π√(x(1-x))) (Синай) | Абсолютно непрерывная |
| Аттрактор Лоренца | СРБ-мера (фрактальная) | Сингулярная |
| Гамильтонова система | Мера Лиувилля dpdq | Консервативная |
СРБ-меры: Синай, Рюэль, Бовен
В 1970-е годы Яков Синай, Давид Рюэль и Рюэлл Бовен разработали теорию «физически наблюдаемых» инвариантных мер для систем Аксиома A. СРБ-меры описывают то, что реально «видит» наблюдатель в эксперименте. Для системы Лоренца СРБ-мера имеет фрактальную поперечную структуру - именно её мы наблюдаем, рисуя аттрактор.
Эргодическая теория - это просто теорема о том, что среднее по времени равно среднему по пространству
Эргодическая теория - богатая математическая дисциплина, изучающая инвариантные меры, энтропию, спектральные свойства и связи с теорией чисел, теорией вероятностей и статистической механикой.
Теорема Биркгофа - лишь точка входа. Глубокие результаты: теорема Осселедца о показателях Ляпунова, теорема Орнштейна (все бернуллиевские сдвиги одной энтропии изоморфны), теорема Фурстенберга о простых числах. Эргодическая теория - один из самых активных разделов современной математики.
Мера μ является T-инвариантной, если:
Ключевые идеи
- **Эргодическая система** - временное среднее = пространственному; T-инвариантные множества имеют меру 0 или 1
- **Перемешивание** - более сильное свойство: любые два множества становятся «независимыми» при больших временах
- **Теорема Биркгофа** - временное среднее сходится почти всюду; для эргодической системы равно ∫f dμ
- **Инвариантная мера** μ - «вес» фазового пространства, сохраняемый системой; СРБ-меры описывают физически наблюдаемые аттракторы
Связанные темы
Эргодическая теория - мост между динамикой и статистикой:
- Хаос и странные аттракторы — Хаотические системы часто эргодичны; СРБ-меры описывают их статистику
- Гамильтоновы системы — Теорема Лиувилля - канонический пример инвариантности меры
- Популяционная динамика — Инвариантные меры описывают долгосрочное распределение популяций
Вопросы для размышления
- Гипотеза эффективного рынка предполагает эргодичность цен. Но фондовый рынок явно имеет «память» (тренды). Что это говорит об эргодичности финансовых систем?
- Если система перемешивает, то корреляции убывают. Как это связано с понятием «памяти» в системе?
- Можно ли измерить инвариантную меру экспериментально, не зная уравнений движения? Каким образом?