Теорема Оселедца - Oseledets theorem

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

В математика, то мультипликативная эргодическая теорема, или же Теорема Оселедца обеспечивает теоретическую основу для расчета Показатели Ляпунова из нелинейный динамическая система. Это было доказано Валерий Оселедец (также пишется "Oseledec") в 1965 году и сообщил на Международный математический конгресс в Москве в 1966 году. Концептуально иное доказательство мультипликативной эргодическая теорема был найден М. С. Рагхунатан.^{[нужна цитата ]} Теорема распространена на полупростые группы Ли В.А.Каймановича и далее обобщенные в работах Дэвид Рюэлль, Григорий Маргулис, Андерс Карлссон, и Франсуа Ледрапье.^{[нужна цитата ]}

Коциклы

Мультипликативная эргодическая теорема формулируется в терминах матричных коциклов динамической системы. Теорема формулирует условия существования определяющих пределов и описывает показатели Ляпунова. Он не касается скорости сходимости.

А коцикл автономной динамической системы Икс это карта C : Х × Т → р^{п × п} удовлетворение

${\displaystyle C(x,0)=I_{n}{\rm {~for~all~}}x\in X}$

${\displaystyle C(x,t+s)=C(x(t),s)\,C(x,t){\rm {~for~all~}}x\in X{\rm {~and~}}t,s\in T}$

куда Икс и Т (с Т = Z⁺ или же Т = R⁺) - фазовое пространство и временной диапазон динамической системы соответственно, а я_п это п-мерная единичная матрица. п матриц C не имеет отношения к фазовому пространству Икс.

Примеры

• Ярким примером коцикла является матрица J^т в теории показателей Ляпунова. В этом частном случае размерность п матриц такая же, как размерность многообразия Икс.
• Для любого коцикла C, то детерминант DetC(Икс, т) - одномерный коцикл.

Формулировка теоремы

Позволять μ - эргодическая инвариантная мера на Икс и C коцикл динамической системы такой, что для каждого т ∈ Т, карты ${\displaystyle x\rightarrow \log \|C(x,t)\|}$ и ${\displaystyle x\rightarrow \log \|C(x,t)^{-1}\|}$ находятся L¹-интегрируемый относительноμ. Тогда для μ-почти все Икс и каждый ненулевой вектор ты ∈ р^п Лимит

${\displaystyle \lambda =\lim _{t\to \infty }{1 \over t}\log {\|C(x,t)u\| \over \|u\|}}$

существует и предполагает, в зависимости от ты но не на Икс, вплоть до п разные значения - это показатели Ляпунова.

Далее, если λ₁ > ... > λ_м - разные пределы, то есть подпространства р^п = р₁ ⊃ ... ⊃ р_м ⊃ р_м+1 = {0} такой, что предел λ_я за ты ∈ р_я \ р_я+1 ия = 1, ..., м.

Значения показателей Ляпунова инвариантны относительно широкого диапазона преобразований координат. Предположим, что грамм : Икс → Икс взаимно однозначное отображение такое, что ${\displaystyle \partial g/\partial x}$ и его обратное существует; то значения показателей Ляпунова не меняются.

Аддитивные против мультипликативных эргодических теорем

На словах эргодичность означает, что средние по времени и пространству формально равны:

${\displaystyle \lim _{t\to \infty }{1 \over t}\int _{0}^{t}f(x(s))\,ds={1 \over \mu (X)}\int _{X}f(x)\,\mu (dx)}$

где существуют интегралы и предел. Среднее по пространству (правая часть, μ - эргодическая мера на Икс) - это накопление ж(Икс) значения, взвешенные по μ (dx). Поскольку сложение коммутативно, накопление ж(Икс) μ (dx) значения могут быть выполнены в произвольном порядке. Напротив, среднее значение по времени (слева) предполагает конкретный порядок следования ж(Икс(s)) значения вдоль траектории.

Поскольку матричное умножение, как правило, не является коммутативным, накопление умноженных значений коцикла (и их пределов) в соответствии с C(Икс(т₀),т_k) = C(Икс(т_k−1),т_k − т_k−1) ... C(Икс(т₀),т₁ − т₀) - за т_k большой и ступеньки т_я − т_я−1 small - имеет смысл только при установленном заказе. Таким образом, среднее по времени может существовать (и теорема утверждает, что оно действительно существует), но не существует аналога для среднего пространственного значения. Другими словами, теорема Оселедца отличается от аддитивных эргодических теорем (таких как Г. Д. Биркгоф 'песок Дж. Фон Нейман s) в том смысле, что он гарантирует существование среднего по времени, но не делает никаких заявлений о среднем по пространству.

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

• Оселедец, В. И. (1968). "Мультипликативная эргодическая теорема. Характеристики Ляпунова динамических систем" [Мультипликативная эргодическая теорема: Характеристические показатели Ляпунова динамических систем]. Труды ММО (на русском). 19: 179–210.
• Рюэль, Д. (1979). «Эргодическая теория дифференцируемых динамических систем» (PDF). IHES Publ. Математика. 50 (1): 27–58. Дои:10.1007 / BF02684768.

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

• Оселедец В.И., Теорема Оселедца в Scholarpedia