Historical behavior of skew products and arcsine laws
Barrientos, Chavez
We study the occurrence of historical behavior for almost every point in the setting of skew products with one-dimensional fiber dynamics. Under suitable ergodic conditions, we establish that a weak form of the arcsine law leads to the non-convergence of Birkhoff averages along almost every orbit. As an application, we show that this phenomenon occurs for one-step skew product maps over a Bernoulli shift, where the stochastic process induced by the iterates of the fiber maps is conjugate to a random walk.
Furthermore, we revisit known examples of skew products that exhibit historical behavior almost everywhere, verifying that they fulfill the required ergodic and probabilistic conditions. Consequently, our results provide a unified and generalized framework that connects such behaviors to the arcsine distribution of the orbits.
academic
Историческое поведение косых произведений и законы арксинуса
В данной работе исследуются явления исторического поведения почти каждой точки в косых произведениях одномерной послойной динамики. При надлежащих эргодических условиях авторы устанавливают результат о том, что слабая форма закона арксинуса приводит к несходимости средних Биркгофа почти на каждой орбите. В качестве приложения доказано, что такое явление возникает в одношаговых косых произведениях над сдвигом Бернулли, где случайный процесс, индуцированный итерациями послойного отображения, сопряжён со случайным блужданием. Кроме того, авторы переосмысляют известные примеры косых произведений, демонстрирующих историческое поведение почти всюду, и проверяют, что они удовлетворяют требуемым эргодическим и вероятностным условиям, предоставляя тем самым единую обобщённую схему, связывающую эти явления с распределением арксинуса орбит.
Основная проблема, которую решает данная работа, — это последняя проблема Такенса: существуют ли устойчивые классы динамических систем, множество нерегулярных точек которых имеет положительную меру Лебега? Здесь нерегулярные точки — это точки, демонстрирующие историческое поведение, то есть точки, для которых существует непрерывная функция такая, что временное среднее (среднее Биркгофа) не сходится.
Теорема A: для одношаговых косых произведений доказано историческое поведение при выполнении слабого закона арксинуса и эргодических условий
Теорема B: для общих косых произведений доказано историческое поведение при эргодичности опорной меры и слабом законе арксинуса
Предоставлена единая схема: известные примеры исторического поведения объединены в рамках закона арксинуса
Установлена связь со случайными блужданиями: доказано, что косые произведения, сопряжённые со случайными блужданиями, демонстрируют историческое поведение
Охарактеризованы предельные точки эмпирических мер: описано асимптотическое поведение последовательности эмпирических мер в системах с историческим поведением
Определение исторического поведения: для косого произведения F:Ω×M→Ω×M, если для (P×Leb)-почти каждой точки (ω,x) существует непрерывная функция ϕ:M→R такая, что предел
limn→∞n1∑j=0n−1ϕ(fωj(x))
не существует, то говорят, что F демонстрирует историческое поведение в этой точке.
Послойный слабый закон арксинуса: существуют x0,x1,γ0,γ1∈(0,1) такие, что
liminfn→∞P(n1∑j=0n−11Ii(γi)(fωj(xi))≤α)<1
для всех α∈(0,1) и i=0,1.
Слабый закон арксинуса: существуют константы γ0,γ1∈(0,1) такие, что
liminfn→∞(P×Leb)(∑j=0n−11Ii(γi)(fωj(x))≤α)<1
Для одношаговых косых произведений требуется тривиальность хвостовой σ-алгебры:
(H0) Для каждого x∈(0,1) хвостовая σ-алгебра последовательности {Xnx}n≥1 (где Xnx(ω)=fωn(x)) тривиальна.
Для общих косых произведений требуется эргодичность опорной меры:
P×Leb эргодична относительно F.
Ключевая лемма: при условии (H0) функции верхнего и нижнего пределов
Uϕ(ω,x)=limsupn→∞n1∑j=0n−1ϕ(fωj(x))Lϕ(ω,x)=liminfn→∞n1∑j=0n−1ϕ(fωj(x))
являются константами для P-почти каждого ω.
Предложение I: для одношаговых косых произведений, сопряжённых со случайным блужданием, имеет место
limn→∞P(n1∑j=0n−11Ji(x)(fωj(x))≤α)=π2arcsinα
Для систем, удовлетворяющих условиям, множество предельных точек последовательности эмпирических мер имеет специальную структуру:
L(ω,x)={λδ0+(1−λ)δ1:λ∈[0,1]}
Это показывает, что эмпирические меры систем с историческим поведением колеблются между двумя мерами Дирака.