УДК 517.987.5 Вестник СПбГУ. Математика. Механика. Астрономия. 2024. Т. 11 (69). Вып. 1 МБС 37Е05, 37Е10
Леммы о замыкании
для отображений сдвигов отрезков
А. Д. Кривовичева
Санкт-Петербургский государственный университет,
Российская Федерация, 199034, Санкт-Петербург, Университетская наб., 7—9
Для цитирования: Кривовичева А. Д. Леммы о замыкании для отображений сдвигов отрезков // Вестник Санкт-Петербургского университета. Математика. Механика. Астрономия. 2024. Т. 11 (69). Вып. 1. С. 108-114. https://doi.org/10.21638/spbu01.2024.106
Изучаются отображения сдвига отрезков (дуг окружности), которые можно представить как отображения перекладывания отрезков с перекрытием. Известно, что для любого отображения такого вида существует борелевская вероятностная инвариантная безатомная мера, которая строится как слабый предел инвариантных мер отображений с периодическими параметрами. В последнем случае это просто нормированная мера Лебега на некотором семействе подотрезков. Для таких предельных мер в случае сдвига дуг окружности показывается, что любая точка носителя этой меры может быть сделана периодической сколь угодно малым изменением параметров системы без изменения числа отрезков. Для произвольной инвариантной меры при помощи теоремы Пуанкаре о возвращении показывается, что любая точка может быть сделана периодической при малом изменении параметров системы, причем количество интервалов для отображения увеличивается не более чем на два.
Ключевые слова: отображения сдвига отрезков, инвариантные меры, лемма Пью о замыкании, теорема Пуанкаре о возвращении.
1. Введение. Отображения сдвигов отрезков (interval translation mappings) являются естественным обобщением отображений перекладывания отрезков (interval exchange transformations). Они играют важную роль в теории динамических систем, в частности используются в изучении биллиардов в рациональных многоугольниках [1]. Впервые сдвиги отрезков были рассмотрены в работе М. Бошерницана и И. Корнфельда в 1995 г. [2]. С тех пор опубликовано множество работ по данной теме (обзор последних результатов см. [3-6]).
Пусть окружность S1 = R1/Z разбита на дуги {Ij}n=0,Ij = [tj,tj+1),to = tn. Отображение сдвига отрезков с параметрами {tj}, {cj} С R — это отображение f : S1 ^ S1, определяемое равенством
f (t) = t + cj mod 1, t £ Ij.
Иногда это определение формулируют в терминах отрезка, а не окружности. Если отображение сдвига отрезков f биективно, оно называется отображением перекладывания отрезков. Очевидно, мера Лебега является инвариантной относительно такого отображения. Существование инвариантной борелевской вероятностной меры для всякого отображения сдвига отрезков доказано в [7].
Напомним также, что мера называется безатомной, если ее значение на всех одноточечных подмножествах равно нулю.
© Санкт-Петербургский государственный университет, 2024
Основным результатом этой статьи является своего рода аналог леммы Пью о замыкании [8]: любое отображение сдвига имеет инвариантную борелевскую вероятностную безатомную меру такую, что каждая точка носителя этой меры может быть сделана периодической сколь угодно малыми изменениями параметров системы. Также было доказано, что если допустить увеличение количества отрезков не более чем на два, то подобным свойством обладает любая инвариантная мера.
2. Основные результаты. Теорема 1. Пусть T — отображение едвига дуг окружности. Тогда существует борелевская вероятностная безатомная мера ¡, инвариантная относительно T и обладающая следующим свойством: для всякой точки x € supp л и всякого е > 0 найдется отображение сдвига T' с тем же количеством дуг, для которого точка x является периодической, причем для параметров {tk}, {ck} и {t'k}, {c'k} отображений T и T' соответственно верно \tk — t'k\ < е, \си — c'k \ < е, к = 1,...,n.
Доказательство. В качестве искомой инвариантной меры возьмем меру, построенную в работе [7]. Напомним вкратце идею построения этой меры, она понадобится для дальнейших рассуждений.
Сперва параметры {tk}, {си} приближаются рациональными последовательностями {tm}, {cm} так, что если линейная комбинация {tu}, {си} с целочисленными коэффициентами равна нулю, то и линейная комбинация {tL}, {cL} с теми же коэффициентами равна нулю. Затем рассматриваются соответствующие параметрам {t-k}, {c'k1} отображения Tm. Инвариантная мера ¡¡m определяется как мера Лебега на множестве
Jm = П TL (S1), j=l
нормированная до вероятностной. Поскольку Tm периодично, это пересечение конечно, так что Jm имеет ненулевую меру Лебега и мера ¡m не вырождена, а ее инвариантность очевидна.
По теореме Банаха — Алаоглу множество борелевских вероятностных мер компактно в пространстве мер со *-слабой топологией. Значит, последовательность ¡m содержит подпоследовательность, сходящуюся к некоторой борелевской вероятностной мере ¡ . Несложная проверка инвариантности показывает, что ¡ — искомая мера (см. [7]). Проверим тот факт, что мера является безатомной, отдельно.
Лемма 1. Построенная мера ¡л может быть выбрана безатомной.
Доказательство. Если ¡, построенная по указанному выше алгоритму, не является безатомной, то верно одно из двух утверждений. Либо представляет собой не более чем счетную сумму мер Дирака с положительными коэффициентами, т. е.
N
л = ^2 auS(xk), (1)
u=i
где au > 0; xu — различные точки окружности S1; 5(xu)-соответствующие 5 — меры, а N € NU то. Либо она представима в виде суммы взаимно сингулярных мер л = ¡1 + ¡2, где ¡1 имеет вид (1), а ¡2 безатомная, причем обе меры ¡i инвариантны.
Отметим также, что наличие инвариантной меры типа (1) означает, что все точки xu периодические (что следует из конечности меры ¡л и того факта, что ¡({T(x)}) > ¡({x}) для любого x € S1).
В случае же наличия периодических точек, как отмечено в [7] (по аналогии с результатом для отображений перекладывания отрезков [1]), имеется целый отрезок, состоящий из периодических точек одного периода — периодический отрезок. Тогда рассматриваемое отображение так или иначе имеет безатомную инвариантную
Для простоты обозначений будем считать, что слабая сходимость к мере ¡л имеет место для всей последовательности ¡т (исходную последовательность надо «проредить» и переобозначить).
Приступим к доказательству теоремы. Пусть х € вирр ¡л и е > 0. Пусть ^ : Б1 ^ К — непрерывная неотрицательная функция, отличная от тождественного нуля, носитель которой содержится в Бе/^(х). Ясно, что ее интеграл по мере положителен, так как х лежит в носителе меры. Сходимость мер ¡т к ¡л в ^-слабой топологии, в частности, означает, что
Выберем натуральное число М таким, что параметры отображения Тм отличаются от параметров Т меньше чем на е/2 и верно ^¿¡лм > 0. Тогда на дуге Бе/2 (х) есть точка X, лежащая в носителе меры ¡м. По построению Тм точка X будет периодической для Тм.
Положим Т' = К-а о Тм о Иа, где Ка — поворот окружности на угол а = X — х < е/2. Это отображение — искомое. Действительно, точка х является периодической для отображения Т', так как для всякого ] верно (Т') = К-а о Тм о Иа. Также ясно, что параметры отображения Т' получаются сдвигом параметров отображения Т на ±а. Таким образом, \Ьк — г'к | < е/2 + е/2 = е. Аналогичная формула справедлива для параметров ск и с'к. □
Для отображений сдвига отрезков справедлив следующий аналог теоремы 1.
Теорема 1'. Пусть Т — отображение сдвига отрезков. Тогда существует бо-релевская вероятностная безатомная мера ¡л, инвариантная относительно Т и обладающая следующим свойством: для всякой точки х носителя меры ц и всякого е > 0 найдется отображение сдвига Т' с тем же количеством отрезков, для которого существует периодическая точка х', такая, что \х — х'\ < е, причем для параметров {гк}, [ск}, {г'к} и {с'к} отображений Т и Т' соответственно верно
Вопрос о том, верно ли свойство, сформулированное в теореме 1, для произвольной инвариантной меры, остается открытым. Тем не менее несложно получить следующий результат.
Теорема 2. Пусть Т — отображение сдвига п дуг окружности, ц — борелев-ская вероятностная инвариантная мера, х € эирр ц и е > 0. Тогда существует отображение Т'' сдвига не более чем п + 2 дуг окружности, имеющее периодическую точку у такую, что \у — х\ < е. При этом верно
меру — сужение меры Лебега на траекторию этого периодического отрезка. □
\Ък — г'к\ <е, \ск — с'к\ <е, ,к =!,...,п.
вир \Т(г) — Т''(г)\ < е.
гея1
Доказательство. Сначала напомним одно из классических определений эр-годической теории (см., например, [1, теорема 4.1.19]).
Теорема Пуанкаре о возвращении. Пусть Т — сохраняющее вероятностную меру л преобразование пространства (X, ¡) и пусть А С X — измеримое подмножество. Тогда для любого N € N имеем
¡({х € А\{Тп(х)}п>к С X \ А}) = 0.
В частности, из этого вытекает следующее утверждение.
Предложение. Пусть X в утверждении теоремы Пуанкаре о возвращении — метрическое пространство. Для любой точки х носителя л и для любого е > 0 для почти каждого у € Бе(х) существует такое N € N1, что Т■м(у) € Бе(х). В частности, такие у и N существуют.
Итак, пусть е < 1/2 и х € вирр ¡. По предложению выше имеем точку у € Бе/1 (х) и натуральное N такие, что Т-м(у) € Бе/2(х). Обозначим
2 = {Т (у),Т\у),...,Тм (у)}.
Выберем из 2 точку х = Тк(у), ближайшую к у. Тогда, очевидно, наименьшая из дуг (у, х) и (х, у) не содержит точек множества 2. Обозначим р = Тк-1(у) и выберем 6 > 0 такое, что дуга (р,р + 6) не пересекается с 2.
Определим отображение Т" следующим образом:
Т"(1) = \Т(г) + у— z, t € [р,р +6);
( ) уТ(г) иначе.
Докажем, что Т" — искомое отображение, т. е. что оно равномерно близко к Т, сдвигает не более п + 2 дуг окружности и имеет периодическую точку, достаточно близкую к х.
Так как точки у и Т(у) лежат в Бе/1 (х), расстояние между ними не больше е. Значит, расстояние между точками у и х также не превосходит е, откуда следует равномерная близость отображений, а именно, что вир4е51 \Т(г) — Т"(¿)| < е.
Несложно проверить, что у — периодическая точка для Т:
(Т")к(у) = Т" о Тк-1(у) = Т"(р) = Т(р) + у — х = у.
Также Т" сдвигает не более п + 2 дуг окружности, что видно из определения.
□
Замечание 1. В этом доказательстве уже не получится использовать сопряжение с поворотом, чтобы обеспечить периодичность исходной точки х, так как это может нарушить равномерную близость отображений.
Замечание 2. Утверждения, аналогичные теоремам 1 и 2, справедливы также и для отображений, меняющих ориентацию некоторых дуг (или отрезков).
Замечание 3. Утверждение, полностью аналогичное теореме 2, справедливо и для отображений сдвигов отрезков.
Ниже приводится пример системы, сводящейся к отображению сдвига отрезков. Данная модель описывает поведение осторожного биржевого игрока, а именно моделируется следующая стратегия поведения: при умеренных колебаниях стоимости актива поведение игрока (покупка или продажа актива) линейно зависит от динамики цены актива. Однако же, если изменения превышают некоторый порог, игрок выводит часть средств в ожидании волатильности рынка. Такая динамика может быть приближенно описана следующими уравнениями, в которых переменная в имеет смысл изменения количества актива на руках у игрока (покупки и продажи), а переменная х — стоимость актива по отношению к некоторому нулевому уровню.
Пусть дана пара чисел (хо, во), где во € [—1,1], хо € К. Рассмотрим динамическую систему, состояния которой задаются уравнениями
{хП+1 Лхп + авn, (2)
в„+1 = Ф(вп + хп+1 — хп), где Л € ( — 1,1), а € К, п € N и {0}, а Ф — срезающая функция для отрезка [—1,1]:
Ф(т) = (^ еСЛИ |Т| > 1' (3)
I т, если \тI < 1.
Для удобства систему (2) будем записывать в виде
хп+1 \ _ / ( хп
чвп+1у \вп
Очевидно, что вп € [—1,1] для всякого п € N и {0}, так что полоса
С = {(х, в) : х € К, в € [—1,1]} С К2
является фазовым пространством системы (2). К тому же легко видеть, что неподвижные точки / составляют отрезок в С с концами в точках
Мт^л'1; ^п-т^л'-1;-
Оказывается, что если а € (—1, 1) и а + Л € (—1, 1), то траектория системы (2)
совпадает с траекторией линейного отображения с матрицей
( л а
А ^ Л — 1 а + 1
и сходится к некоторой неподвижной точке на ЕБ (см. [11]). Но при Л + а > 1 для всякой точки (хо, во) вне ЕБ найдется число к € N такое, что |вк + хк+1 — хк\ > 1 (т.е. траектория «почувствует» разрывность отображения /). Для этого случая в работе [11] доказано следующее.
Теорема. Пусть Л € ( —1,0), а + Л > 1. Тогда:
1) для всякой точки (х0,в0) € ЕБ существует натуральное число к такое, что /к(хо, во) € {(х, 0)};
2) для / существует инвариантная мера ц такая, что эирр ц П ЕБ = 0;
3) множество неблуждающих точек f, не лежащих на отрезке EF, несчетно.
В процессе доказательства данной теоремы показано, что динамика системы (2) определяется динамикой одномерного отображения T : [0, ^ [0, которое
задается как модуль отображения Пуанкаре для f на прямую {s = 0}. При этом T оказывается топологически сопряженным отображению сдвига отрезков, параметры которого определяются параметрами системы (2). В частности, по инвариантной мере для данного сдвига строится инвариантная мера для f с носителем, не пересекающим отрезок EF. К тому же для f оказывается справедлив аналог теоремы 1': для всякой точки из L малым изменением параметров системы (2) можно добиться существования периодической точки, сколь угодно близкой к данной.
Моделирование подобных разрывных систем на компьютере позволяет фактически получить точки, приближаемые периодическими точками близких отображений. Результаты, изложенные в статье, показывают, что таким образом может быть получен весь носитель инвариантной меры. Здесь имеет смысл заметить, что более широкие множества неблуждающих и цепно-рекуррентных точек хотя и могут быть определены для разрывных систем, не играют столь важной роли в их динамике. По сути вместо них, как правило, рассматриваются инвариантные меры и их носители.
Литература/References
1. Katok A., Hasselblatt B. Introduction to the Modern Theory of Dynamical Systems. Cambridge University Press (1997).
2. Boshernitzan M., Kornfeld I. Interval translation maps. Ergod. Theory Dyn. Syst. 15, 821—832 (1995). https://doi.org/10.1017/S0143385700009652
3. Schmeling J., Troubetzkoy S. Interval Translation maps. In: Dynamical Systems (Luminy-Marseille, 1998), 291-302. World Sci. Publ., River Edge, NJ (2000). https://doi.org/10.1142 /97898127938290027
4. Artigiani, M., Fougeron C., Hubert P., Skripchenko A. A note on double rotations of infinite type. Transactions of the Moscow Mathematical Society 82, 157-172 (2021). https://doi.org/10.48550/arXiv.2102.11803
5. Bruin H., Troubetzkoy S. The Gauss map on a class of interval translation mappings. Israel Journal of Mathematics 137 (1), 125-148 (2007). https://doi.org/10.48550/arXiv.math/0211351
6. Volk D. Almost every Interval Translation Map of three intervals is finite type. Discrete and Continuous Dynamical Systems 34 (5) 2307-2314 (2014). https://doi.org/10.48550/arXiv.1203.3405
7. Kryzhevich S. G. Invariant measures for some piecewise continuous maps. Math. Model. Nat. Phenom. 15, 14 (2020). https://doi.org/10.1051/mmnp/2019041
8. Pugh C.C. An Improved Closing Lemma and a General Density Theorem. American Journal of Mathematics 89 (4), 956-1009 (1967). https://doi.org/10.2307/2373414
9. Buzzi J. Piecewise isometries have zero topological entropy. Ergod. Th. and Dynam. Syst. 21, 1371-1377 (2001). https://doi.org/10.1017/S0143385701001651
10. Buzzi J., Hubert P. Piecewise monotone maps without periodic points: Rigidity, measures and complexity. Ergod. Theory Dyn. Syst. 24, 383-405 (2004). https://doi.org/10.1017/S0143385703000488
11. Kryzhevich S, Avrutin V., Begun N., Rachinskii D., Tajbakhsh K. Dynamics of Systems with a Discontinuous Hysteresis Operator and Interval Translation Maps. Axioms 10, 80 (2021). https://doi.org/10.3390/axioms10020080
Статья поступила в редакцию 7 января 2023 г.;
доработана 14 мая 2023 г.; рекомендована к печати 31 августа 2023 г.
Контактная информация:
Кривовичева Анна Дмитриевна — студент; sedovaannad@yandex.ru
Closing lemmas for interval translation maps
A. D. Krivovicheva
St. Petersburg State University, 7—9, Universitetskaya nab., St. Petersburg, 199034, Russian Federation
For citation: Krivovicheva A. D. Closing lemmas for interval translation maps. Vestnik of Saint Petersburg University. Mathematics. Mechanics. Astronomy, 2024, vol. 11 (69), issue 1, pp. 108114. https://doi.org/10.21638/spbu01.2024.106 (In Russian)
A interval translation mapping (or a circle translation mapping) is studied. Such maps can be regarded as interval exchange maps with overlaps. It is known that for any mapping of that type admits a Borel probability invariant non-atomic measure. This measure can be constructed as a weak limit of invariant measures of maps with periodic parameters. Those measures, are just normalized Lebesgue ones on a family of sub-sectors. For such limit measures, in the case of a shift of the arcs of the circle, it is shown that any point of their supports can be made periodic by arbitrarily small change of the parameters of the system without changing the number of segments. For any invariant measure, it is deduced from Poincares Recurrence Theorem shows every point can be made periodic by a small change in the parameters of the system, with the number of intervals increasing by two at most.
Keywords: interval translation maps, invariant measures, Pugh lemma, Poincare recurrence theorem.
Received: January 7, 2023 Revised: May 14, 2023 Accepted: August 31, 2023
Author's information:
Anna D. Krivovicheva — sedovaannad@yandex.ru