Итерации преобразований отрезка
[79/94%]Пусть для функции при любом выполняется неравенство . Докажите, что при любом .
Существует ли непрерывная функция , удовлетворяющая уравнению , в следующих случаях:
;
;
?
Обозначим символом (или просто Id) тождественное отображение множества в себя (т.е. для любого из ). Отображение назовём инволюцией, если .
Пусть . Подберите две инволюции и таким образом, чтобы выполнялись соотношения .
Докажите, что каждая биекция множества на себя есть композиция двух инволюций.
Неподвижной точкой отображения называется такая точка из области его задания, что .
Докажите, что непрерывное отображение , где некоторый промежуток, обладает неподвижной точкой в каждом из следующих случаев:
;
;
- инволюция.
Пусть функция возрастает, . Докажите, что для каждого последовательность () сходится к неподвижной точке. Верно ли это, если — убывающая функция?
Пусть . Для положим . Докажите, что если для некоторого последовательность ограничена, то обладает неподвижной точкой. Верно ли это для непрерывных отображений ?
Докажите, что конечная группа аффинных преобразований пло скости обладает неподвижной точкой (общей для всех преобразований группы).
Отображения и — интервалы на прямой) называются топологически сопряжёнными, если существует такая непрерывная биекция (гомеоморфизм) , что (т.е. ). В этом случае будем употреблять обозначение , а отображение будем называть сопрягающим.
В задачах 1.9-1.12 предполагастся, что отображения непрерывны, заданы на интервалах и переводят их в себя.
Докажите, что отношение топологической сопряжённости есть отношение эквивалентности, т. е.
;
тогда и только тогда, когда ;
если , то .
Докажите, что топологически сопряжённые отображения одновременно обладают или нет следующими свойствами:
взаимная однозначность;
монотонность определённого типа;
односторонняя ограниченность (без уточнения её типа);
ограниченность.
Докажите, что топологически сопряжённые отображсния имеют
одинаковое количество промежутков монотонности;
одинаковое количество неподвижных точек.
Докажите, что если , то промежутки, на которых выполняется неравенство , переводятся сопрягающим отображением в промежутки, на которых (в зависимости от характера монотонности выполняется такое же или противоположное строгое неравенство для отображения . Докажите, что если отображения и заданы на и одно из них нечётно, то сопрягающую биекцию можно выбрать возрастающей.
Выясните, будут ли определённые на отображения и топологически сопряжены в следующих случаях:
,
, ;
, ;
, ;
, .
Пусть . При каких и топологически сопряжены функции
и ;
и ;
и ?
Пусть . Опишите множество тех пар , для которых .
Для каких можно указать такое , что отображения и топологически сопряжены? Опишите множество всех возникающих при этом чисел .
Докажите, что отображения и , не являются топологически сопряжёнными.
Для какого и для какого промежутка отображение , топологически сопряжено с отображением вида ?
Докажите топологическую сопряжённость непрерывных отображений , задаваемых следующим образом:
;
- «пилообразное» отображение, принимающее значения в точках , и линейное в промежутках между ними (рис. 14), а - -й многочлен Чебышёва, определяемый равенством (см. задачу I.2.20 и рис. 15);
Рис. 14
Рис. 15
докажите, что функции из п. а) сопряжены как отображения из в .
Пусть — гомеоморфизмы отрезков, не имеющие неподвижных внутренних точек. Докажите, что . Проверьте, что утверждение остаётся в силе, если отрезки заменить открытыми интервалами.
Расклассифицируйте, с точностью до топологической сопряжённости, гомеоморфизмы отрезка на себя, имеющие конечное множество неподвижных точек, в число которых входят концы отрезка.
Пусть — отображение промежутка в себя,
Будем говорить, что метод последовательных приближений с начальной точкой сходится, если существует предел , где .
Пусть функция возрастает. Докажите, что метод последовательных приближений сходится для любой начальной точки , если
при ;
при .
Докажите сходимость метода последовательных приближений при любой начальной точке и найдите для следующих отображений :
;
;
;
;
;
;
.
Выясните, для каких начальных точек из области задания отображения сходится метод последовательных приближений, и найдите , если
;
;
;
;
Будем называть неподвижную точку отображения притягивающей, если для всех , взятых из некоторой окрестности точки , последовательность сходится к точке . Если для некоторой окрестности неподвижной точки и произвольной точки , найдётся такой номер , что , то точка называется отталкивающей.
Пусть - неподвижная то чка отображения , причём дифференцируемо в . Докажите, что
если , то - притягивающая;
если , то - отталкивающая;
покажите на примерах, что неподвижная точка может не быть ни притягивающей, ни отталкивающей.
При каких значениях параметра и при каких последовательность итераций сходится, если
;
;
;
.
Пусть - дифференцируемая функция, заданная на промежутке отображение, заданное в тех точках , где , равенством
Легко видеть, что неподвижные точки отображения совпадают с корнями функции . Будем говорить, что итерационный процесс Ньютона с начальной точкой сходится к , если .
Пусть для . Докажите, что если точка достаточно близка к , то
итерационный процесс Ньютона, начатый в , сходится к ;
имеет место «сверхсходимость»: , где , (ср. с задачей II.3.10).
Докажите, что если , то для начальных точек , достаточно близких к , итерационный процесс Ньютона сходится к , причём .
Пусть — такая функция, что в и (или ). Проверьте, что для любой начальной точки из итерационный процесс Ньютона сходится к корню .
Пусть — многочлен, имеющий лишь простые вещественные корни. Докажите, что если — точка пере гиба т. е. ), то итерационный процесс Ньютона, начатый в точке , сходится к корню . Подобным образом, варьируя точки перегиба, можно найти все корни, за исключением минимального и максимального.
Назовём множество траекторией точки . Если траектория конечна, то, очевидно, существует такое , что точки попарно различны, а В этом случае называется периодической точкой, число — её периодом, а набор — -ииклом. Будем говорить, что -иикл притягивающий, если точка — притягивающая неподвижная точка для , и отталкивающий, если — отталкивающая неподвижная точка .
Пусть -цикл отображения . Докажите, что
если , то для , взятых из некоторой окрестности , выполняется соотношение
если , то для некоторого и любого , найдётся такой номер , что для всех .
Пусть - непрерывное отображение отрезка в себя, - конечная или бесконечная последовательность отрезков, причём при любом . Докажите, что
существует такая последовательность отрезков , что ;
существует такая точка , для которой при любом .
Докажите, что если непрерывное отображение отрезка в себя имеет 4 -цикл, то оно имеет также 2 -цикл.
Пусть — непрерывное отображение отрезка в себя. Докажите, что следующие утверждения эквивалентны:
-
существует такая точка , что точки , удовлетворяют неравенствам или ;
-
в существует точка, имеющая период три;
-
для любого в существует точка, имеющая период .
Импликация б) ⇒ в) и задача 1.30 являются частными случаями теоремы А.Н. Шарковского [Ш]. Пусть — непрерывное отображение . Рассмотрим натуральный ряд, упорядоченный следующим образом: ,
Если стоит в этом ряду левее и обладает -циклом, то обладает также -циклом.
Докажите, что при многочлен Чебышёва (см. задачи I.2.20 и 1.16 б)), заданный на , обладает циклами произвольного порядка.
Найдите значения параметра , при которых отображение обладает
2-циклом;
4-циклом;
3-циклом,
и выясните, когда эти циклы являются притягивающими.
Пусть . Выясните, при каких значениях параметра существуют притягивающая неподвижная точка и притягивающий 2 -цикл. Найдите «моменты рождений» 2 -, 4 и 3 -циклов (т.е. нижние границы значений , при которых эти циклы существуют).
Пусть . Найдите нижнюю границу значений параметра , при которых имеет
притягивающий 2-цикл;
отталкивающий 2-цикл;
4 -цикл;
3-цикл.
Пусть — неподвижная точка непрерывного отображения . Докажите, что если односторонние производные отрицательны и , то имеет 2-цикл. В частности, 2 -цикл существует, если .
Пусть — кусочно гладкое отображение отрезка в себя. Докажите, что если во всех точках, где производная существует, то имеет -цикл при любом . Покажите на примере, что это неверно, если гладкость отображения нарушается в счётном множестве точек.
В задачах мы будем рассматривать такие отображения отрезка в себя, что и производная Шварца (см. задачи VII.2.25, VII.2.26 и определение перед ними) отрицательна в тех точках , которые не являются критическими точками (т. е. там, где ). Класс таких отображений обозначим символом .
Пусть и множество критических точек конечно. Докажите, что для каждого преобразование может обладать лишь конечным числом -циклов.
Пусть — последовательные неподвижные точки отображения . Докажите, что если отрезок не содержит критических точек , то .
Пусть отображение имеет единственную критическую точку . Докажите, что каждый притягивающий цикл отображения притягивает траекторию одной из точек и, следовательно, может иметь не более трёх притягивающих циклов.
Докажите, что отображение вида при не может иметь более одного притягивающего цикла, а при имеет -цикл для любого , но ни один из них не является притягивающим.
Пусть - непрерывное отображение окружности в себя, имеющее неподвижную точку и 3 -цикл.
Докажите, что имеет также -циклы при всех .
Обязательно ли имеет 2 -цикл?
Пусть - непрерывная возрастающая функция на прямой, удовлетворяющая условию . Докажите, что
отображение задаёт гомеоморфизм окружности , сохраняющий порядок следования любых трёх точек, и что произвольный сохраняющий ориентацию гомеоморфизм окружности может быть задан таким образом;
если предел существует для некоторого , то он существует и для любого ;
если отображение имеет неподвижную точку при некотором , то предел существует и является рациональным числом;
если никакая степень не имеет неподвижных точек, то предел существует и является иррациональным числом;
если две различные функции и определяют один гомеоморфизм , то соответствующие пределы и различаются на целое число.
Определённое таким образом для произвольного сохраняющего ориентацию гомеоморфизма число называется числом вращения этого гомеоморфизма. Это понятие введено А. Пуанкаре.
Проверьте, что следующие преобразования сохраняют меру Лебега:
;
;
.
Проверьте, что преобразование
(«преобразование пекаря») сохраняет меру Лебега .
Пусть — целочисленная матрица, причём . Определим преобразование формулами для , где
Докажите, что
-
взаимно однозначно;
-
сохраняет меру Лебега.
Отображение позволяет отождествить с тором и с автоморфизмом как группы. Это даёт право назвать преобразование автоморфизмом тора.
Напомним принципиальный результат: на всякой компактной группе существует нетривиальная конечная борелевская мера , инвариантная относительно сдвигов:
где . В случае метризуемой группы эта мера определена однозначно (с точностью до постоянного множителя) и называется мерой Хаара. Её единственностью можно воспользоваться при решении следующей задачи.
Пусть отображение — такое же, как в предыдущей задаче, но . Такое отображение (уже не взаимно однозначное) называется эндоморфизмом тора. Докажите, что оно сохраняет меру Лебега.
Проверьте, что отображение сохраняет меру .
Найдите абсолютно непрерывную инвариантную меру
для отображения , где - многочлен Чебышёва (см. задачи I.2.20 и 1.16 б));
для отображения , где .
Докажите, что преобразование обладает инвариантной (соответственно, конечной инвариантной, абсолютно непрерывной инвариантной) мерой тогда и только тогда, когда этим свойством обладает некоторая его степень .
Пусть — строго монотонное непрерывное преобразование. Докажите, что оно обладает абсолютно непрерывной инвариантной мерой (вообще говоря, бесконечной).
Пусть преобразование кусочно монотонное и гладкое. Докажите, что если оно обладает притягивающим циклом (см. §1), то не сохраняет никакую конечную меру, эквивалентную лебеговой.
Существует ли ненулевая мера на , инвариантная относительно всех
гомотетий ;
аффинных преобразований ?
В случае утвердительного ответа приведите пример.
Существует ли нетривиальная мера на , инвариантная относительно всех преобразований вида
;
В случае утвердительного ответа приведите пример. Мера в называется квазиинвариантной относительно сдвигов, если для каждого условие равносильно условию .
Докажите, что
если мера в эквивалентна лебеговой мере , то квазиинвариантна относительно сдвигов;
если квазиинвариантна относительно сдвигов, причём мера любого ограниченного множества конечна, то эквивалентна .
Пусть - такое преобразование множества в себя, что образ меры абсолютно непрерывен относительно , и пусть - произвольная суммируемая на функция. Докажите следующие утверждения:
Существует такая функция , что
и при этом определяется однозначно с точностью до значений на множестве меры нуль.
Соответствие называется оператором Перрона-Фробениуса, связанным с .
Если - область, - гладкое взаимно однозначное отображение, прич ём , то
Если кусочно дифференцируемо и множество конечно (), то
во всех точках, для которых определена правая часть равенства.
Если и кусочно монотонно, то
Для того чтобы мера была инвариантной относительно , необходимо и достаточно, чтобы для почти всех выполнялось равенство .
Пусть . Рассмотрим неотрицательные функции на , постоянные на промежутках . Каждая такая функция задаётся вектором значений, которые она принимает на . Будем для наглядности такую функцию обозначать символом . Множество неотрицательных векторов в обозначим .
Пусть - произвольное преобразование.
Докажите, что для каждой функции вида существует единственная функция , удовлетворяющая равенствам
причём вектор имеет вид , где — некоторая матрица, определяемая отображением .
Отображение - дискретный (конечномерный) вариант оператора Перрона-Фробениуса.
Найдите матрицу и докажите, что и .
Докажите, что существует такой вектор , что (с этой целью рассмотрите последовательность векторов .
Пусть .
Найдите общий вид абсолютно непрерывной инвариантной относительно меры, если
Укажите какую-нибудь абсолютно непрерывную инвариантную относительно меру, если
Пусть . Найдите неподвижную точку для дискретного оператора Перрона-Фробениуса (при чётном ) и докажите отсутствие инвариантной конечной абсолютно непрерывной меры для . К чему сходятся меры при , если их нормировать условием ?
Пусть . Найдите абсолютно непрерывную меру, инвариантную относительно всех конформных автоморфизмов , т.е. прсобразований , где и .
Пусть . Для каждой точки определим преобразования и полуплоскости в себя:
Найдите абсолютно непрерывные меры и на , инвариантные относительно всех преобразований и соответственно.
Отметим, что преобразования, о которых идёт речь, отвечают преобразованиям левого и правого сдвигов на группе (по умножению) матриц
т.е. преобразованиям . Меры и называются мерами Xaapa (левой и правой) для этой группы.
Докажите, что если преобразование сохраняет некоторую конечную абсолютно непрерывную меру, то топологически сопряжено с некоторым преобразованием того же промежутка, сохраняющим меру Лебега.
Существование инвариантной меры (не обязательно абсолютно непрерывной) часто устанавливается с помощью следующей теоремы Боголюбова—Крылова [КСФ]: для всякого непрерывного отображения компактного множества в себя существует конечная инвариантная мера.
Докажите, что если — гомеоморфизм окружности с иррациональным числом вращения (см. задачу 1.43), то связан с поворотом окружности на угол (т.е. следующим образом: для некоторого непрерывного отображения .
В дальнейшем будем предполагать, что мера конечна и удовлетворяет условию нормировки (такие меры называются вероятностными).
Пусть — преобразование множества . Множество называется инвариантньм, если . Преобразование , сохраняющее меру , называется эргодическим, если для каждого инвариантного множества справедливо одно из двух: либо , либо .
Измеримую функцию , заданную на множестве с мерой , назовём инвариантной относительно преобразования , если для почти всех . Докажите, что для эргодичности необходимо и достаточно, чтобы всякая инвариантная измеримая функция совпадала с константой почти везде.
Эргодичны ли следующие преобразования:
;
;
- мера Лебега на окружности ;
- автоморфизм тора (см. задачу 2.3);
- эндоморфизм тора (см. задачу 2.4)?
Пусть — множество в , которое является замыканием множества своих внутренних точек, -- преобразование , сохраняющее меру Лебега. Докажите, что если эргодично, то для почти всех траектория точки всюду плотна.
Пусть — -мерный тор — сдвиг задаваемый формулой , . При каких значениях сдвиг эргодичен?
Докажите, что отображения отрезка в себя, задаваемые формулами
метрически сопряжены. (Отображения и , сохраняющие меры и соответственно, называются метрически сопряжёнными, если существует такое измеримое отображение , что и для почти всех .)
Докажите, что отображение отрезка в себя, сохраняющее меру , эргодично, если
;
;
- многочлен Чебышёва, (см. 1.16б)), .
Докажите, что если — преобразование, сохраняющее вероятностную меру , а — положительная функция, то для почти всех (относительно .
Основной теоремой теории преобразований с инвариантной мерой (или «эргодической теории») является эргодическая теорема Биркгофа-Хинчина (см. [Би], [КСФ]): Пусть — сохраняющее вероятностную меру преобразование множества — измеримая функция, причём
Тогда для почти каждого (по мере ) существует предел
который называется средним значением функции вдоль траектории точки . При этом функция инвариантна и
Если эргодично, то оказывается константой (см. задачу 2.20), равной (т. е. среднему значению на ).
Пусть — эргодическое преобразование, сохраняющее вероятностную меру — измеримое подмножество в .
Пусть , если , и , если . Докажите, что для почти всех существует предел (среднее число попаданий траектории в множество ), и найдите его.
Вероятностные меры на называются взаимно сингулярными, если существует такое множество , что и .
Пусть и -- две вероятностные меры на -- преобразование, эргодическое относительно как , так и . Докажите, что меры и либо совпадают, либо взаимно сингулярны.
Рассмотрим иррациональный сдвиг
Он эргодичен согласно 2.21 а). По эргодической теореме для любой суммируемой функции на и для почти всех выполняется равенство
-
Докажите, что если , то для сдвига можно утверждать большее, а именно что равенство (1) справедливо для любого . (Предположите вначале, что , а затем рассмотрите общий случай.)
-
Докажите, что если при , при , то
для всех . Если заменить произвольной последовательностью , то свойство б) называют равномерной распределённостью этой последовательности (см. [ПС], [КН]).
Для равномерного распределения последовательности и непрерывной на функции выполняется соотношение, аналогичное (1):
В частности,
Это условие не только необходимо, но и достаточно для равномерной распределенности. Последнее утверждение называется критерием Вейля (ср. с задачей I.3.9).
По окружности движутся две точки, раз в секунду скачком перемешаясь на один и тот же угол, который не соизмерим с л. Какую часть достаточно большого промежутка времени обе точки будут одновременно находиться на некоторой (заранее фиксированной) полуокружности, если в начальный момент времени угол между точками равнялся ?
Ответьте на тот же вопрос, если ежесекундно одна точка перемещается на угол , а другая - на угол , причём числа , π линейно независимы над (см. определение в начале §4 гл. VII).
Пусть — двоичное разложение числа . Используя эргодичность преобразования удвоения (см. задачу 2.21 б)), докажите, что для почти всех существует предел (частота появления единицы), и найдите его. Решите аналогичную задачу для разложений в -ичную дробь (ср. с задачами IX.2.14, IX.2.16).
Докажите, что если преобразование , сохраняющее вероятностную меру , обладает свойством
(свойство перемешивания относительно меры ), то эргодично.
Докажите, что преобразование
перемешивающее, а иррациональный сдвиг (см. задачу 2.29) — не перемешивающее относительно меры Лебега.
Пусть — мера на отрезке , задаваемая следующим образом: если и
(здесь — двоичное разложение числа ), то
а на остальные отрезки мера распространяется по аддитивности. Проверьте, что
-
преобразование перемешивающее относительно меры (см. задачу 2.32);
-
;
-
меры и взаимно сингулярны при ;
-
взаимно сингулярна с при .
Пусть — первая цифра десятичной записи числа , т.е. Какова частота появления в этой последовательности цифры ?
Как известно, всякое число из промежутка можно однозначно представить в виде непрерывной (цепной) дроби
что также записывается в виде , где , — натуральные числа. Такая дробь содержит конечное число членов лишь в том случае, когда рационально. Конечная цепная дробь однозначно записывается в виде несократимой дроби . Под значением бесконечной цепной дроби понимается предел конечных:
число называется подходящей дробью. Несложно проверяется, что
Разнообразные сведения о цепных дробях можно почерпнуть из книги . С разложением чисел в цепную дробь связано преобразование Гаусса
Действительно, пусть . Тогда , откуда следует, что . С помощью числа записываются так:
Преобразование Гаусса сохраняет меру (см. задачу 2.5). Мера вероятностная при . С интересными приложениями эргодической теории к теории чисел и цепным дробям читатель может познакомиться в [Po].
Для преобразования Гаусса установите справедливость при некотором неравенства
где . Выведите отсюда эргодичность преобразования .
Докажите, что для почти всех справедливы четыре утверждения:
-
относительная частота, с которой число встречается среди чисел , равна ;
-
;
-
;
-
, где - знаменатель -й подходящей дроби.