Глава X

Итерации преобразований отрезка

[79/94%]
Показать
LaTeX
§
Задача X.1.1

Пусть для функции f:N→Nf: \mathbb {N} \rightarrow \mathbb {N} при любом n∈Nn \in \mathbb {N} выполняется неравенство f(n+1)>f(f(n))f(n+1)>f(f(n)). Докажите, что f(n)=nf(n)=n при любом n∈Nn \in \mathbb {N}.

?
Задача X.1.2

Существует ли непрерывная функция f:R→Rf: \mathbb {R} \rightarrow \mathbb {R}, удовлетворяющая уравнению f∘f=Ff \circ f=F, в следующих случаях:

?
(а)

F(x)=−xF(x)=-x;

(б)

F(x)=exF(x)=e^{x};

(в)

F(x)=x2−2F(x)=x^{2}-2 ?

Обозначим символом IdX\mathrm{Id}_{X} (или просто Id) тождественное отображение множества XX в себя (т.е. Id⁡(x)=x\operatorname {Id}(x)=x для любого xx из XX). Отображение h:X→Xh: X \rightarrow X назовём инволюцией, если h∘h=IdXh \circ h=\mathrm{Id}_{X}.

Задача X.1.3

Пусть f(x)=x+1,g(x)=x−1(x∈R)f(x)=x+1, g(x)=x-1(x \in \mathbb {R}). Подберите две инволюции hh и kk таким образом, чтобы выполнялись соотношения h∘k=f,k∘h=gh \circ k=f, k \circ h=g.

?
Задача X.1.4

Докажите, что каждая биекция множества на себя есть композиция двух инволюций.

Неподвижной точкой отображения ff называется такая точка xx из области его задания, что f(x)=xf(x)=x.

?
Задача X.1.5

Докажите, что непрерывное отображение f:Δ→Rf: \Delta \rightarrow \mathbb {R}, где Δ\Delta некоторый промежуток, обладает неподвижной точкой в каждом из следующих случаев:

?
(а)

Δ=[a,b],f(Δ)⊂Δ\Delta =\left[a, b\right], f(\Delta ) \subset \Delta;

(б)

Δ=[a,b],f(Δ)⊃Δ\Delta =\left[a, b\right], f(\Delta ) \supset \Delta;

(в)

Δ=⟨a,b⟩,f\Delta =\langle a, b\rangle , f - инволюция.

Задача X.1.6

Пусть функция f∈C([a,b])f \in C(\left[a, b\right]) возрастает, f([a,b])⊂[a,b]f(\left[a, b\right]) \subset [a, b]. Докажите, что для каждого x0∈[a,b]x_{0} \in [a, b] последовательность xn=f(xn−1)x_{n}=f\left(x_{n-1}\right) (n∈Nn \in \mathbb {N}) сходится к неподвижной точке. Верно ли это, если ff — убывающая функция?

?
Задача X.1.7

Пусть f∈C(R)f \in C(\mathbb {R}). Для x0∈Rx_{0} \in \mathbb {R} положим x1=f(x0),xk=f(xk−1)(k∈N)x_{1}=f\left(x_{0}\right), x_{k}=f\left(x_{k-1}\right) (k \in \mathbb {N}). Докажите, что если для некоторого x0∈Rx_{0} \in \mathbb {R} последовательность {1n∑0⩽k<nf(xk)}\left\{ \frac{1}{n} \sum_{0 \leqslant k<n} f\left(x_{k}\right)\right\} ограничена, то ff обладает неподвижной точкой. Верно ли это для непрерывных отображений f:C→Cf: \mathbb {C} \rightarrow \mathbb {C} ?

?
Задача X.1.8

Докажите, что конечная группа аффинных преобразований пло скости обладает неподвижной точкой (общей для всех преобразований группы).

Отображения f:Δ1→Δ1f: \Delta_{1} \rightarrow \Delta_{1} и g:Δ2→Δ2(Δ1,Δ2g: \Delta_{2} \rightarrow \Delta_{2}\left(\Delta_{1}, \Delta_{2}\right. — интервалы на прямой) называются топологически сопряжёнными, если существует такая непрерывная биекция (гомеоморфизм) h:Δ2→Δ1h: \Delta_{2} \rightarrow \Delta_{1}, что f=h∘g∘h−1f=h \circ g \circ h^{-1} (т.е. h∘g=f∘hh \circ g=f \circ h). В этом случае будем употреблять обозначение f∼gf \sim g, а отображение hh будем называть сопрягающим.

В задачах 1.9-1.12 предполагастся, что отображения непрерывны, заданы на интервалах и переводят их в себя.

?
Задача X.1.9

Докажите, что отношение топологической сопряжённости есть отношение эквивалентности, т. е.

?
(а)

f∼ff \sim f;

(б)

f∼gf \sim g тогда и только тогда, когда g∼fg \sim f;

(в)

если f1∼f2,f2∼f3f_{1} \sim f_{2}, f_{2} \sim f_{3}, то f1∼f3f_{1} \sim f_{3}.

Задача X.1.10

Докажите, что топологически сопряжённые отображения одновременно обладают или нет следующими свойствами:

?
(а)

взаимная однозначность;

(б)

монотонность определённого типа;

(в)

односторонняя ограниченность (без уточнения её типа);

(г)

ограниченность.

Задача X.1.11

Докажите, что топологически сопряжённые отображсния имеют

?
(а)

одинаковое количество промежутков монотонности;

(б)

одинаковое количество неподвижных точек.

Задача X.1.12

Докажите, что если f∼gf \sim g, то промежутки, на которых выполняется неравенство f(x)>xf(x)>x, переводятся сопрягающим отображением hh в промежутки, на которых (в зависимости от характера монотонности h)h) выполняется такое же или противоположное строгое неравенство для отображения gg. Докажите, что если отображения ff и gg заданы на R\mathbb {R} и одно из них нечётно, то сопрягающую биекцию hh можно выбрать возрастающей.

?
Задача X.1.13

Выясните, будут ли определённые на R\mathbb {R} отображения ff и gg топологически сопряжены в следующих случаях:

?
(а)

f(x)=x2−af(x)=x^{2}-a, g(x)=1−ax2(a≠0);g(x)=1-a x^{2} \quad (a \neq 0) ;

(б)

f(x)=cos⁡xf(x)=\cos x, g(x)=sin⁡xg(x)=\sin x;

(в)

f(x)=cos⁡xf(x)=\cos x, g(x)=−cos⁡xg(x)=-\cos x;

(г)

f(x)=sin⁡xf(x)=\sin x, g(x)=−sin⁡xg(x)=-\sin x;

(д)

f(x)=x+sin⁡xf(x)=x+\sin x, g(x)=x+cos⁡xg(x)=x+\cos x.

Задача X.1.14

Пусть α>0,α≠1,fα(x)=xα,gα(x)=x−α(x>0)\alpha >0, \alpha \neq 1, f_{\alpha }(x)=x^{\alpha }, g_{\alpha }(x)=x^{-\alpha }(x>0). При каких α\alpha и β\beta топологически сопряжены функции

?
(а)

fαf_{\alpha } и fβf_{\beta };

(б)

gαg_{\alpha } и gβg_{\beta };

(в)

fαf_{\alpha } и gβg_{\beta } ?

Задача X.1.15
?
(а)

Пусть f(x)=x2,g(x)=x2+ax+b(x∈R)f(x)=x^{2}, g(x)=x^{2}+a x+b(x \in \mathbb {R}). Опишите множество тех пар (a,b)(a, b), для которых f∼gf \sim g.

(б)

Для каких a∈Ra \in \mathbb {R} можно указать такое b∈Rb \in \mathbb {R}, что отображения f(x)=1−ax2f(x)=1-a x^{2} и g(x)=bx(1−x)(x∈R)g(x)=b x(1-x)(x \in \mathbb {R}) топологически сопряжены? Опишите множество BB всех возникающих при этом чисел bb.

(в)

Докажите, что отображения gg и g~:[0,1]→[0,1],g(x)=2g~(x)==3x(1−x)\widetilde{g}:\left[0,1\right] \rightarrow [0,1], g(x)=2 \widetilde{g}(x)= =3 x(1-x), не являются топологически сопряжёнными.

(г)

Для какого a∈Ra \in \mathbb {R} и для какого промежутка Δ=[p,q]⊂R\Delta =\left[p, q\right] \subset \mathbb {R} отображение f:Δ→Δ,f(x)=1−ax2f: \Delta \rightarrow \Delta , f(x)=1-a x^{2}, топологически сопряжено с отображением g:[0,1]→[0,1]g:\left[0,1\right] \rightarrow [0,1] вида g(x)=bx(1−x)g(x)=b x(1-x) ?

Задача X.1.16

Докажите топологическую сопряжённость непрерывных отображений f,g:[−1,1]→[−1,1]f, g:\left[-1,1\right] \rightarrow [-1,1], задаваемых следующим образом:

?
(а)

f(x)=1−2∣x∣,g(x)=1−2x2(x∈[−1,1])f(x)=1-2\left|x\right|, g(x)=1-2 x^{2} \quad (x \in [-1,1]);

(б)

f=fn(n∈N)f=f_{n}(n \in \mathbb {N}) - «пилообразное» отображение, принимающее значения (−1)k+n(-1)^{k+n} в точках −1+2kn,0⩽k⩽n-1+\frac{2 k}{n}, 0 \leqslant k \leqslant n, и линейное в промежутках между ними (рис. 14), а g=Tng=T_{n} - nn-й многочлен Чебышёва, определяемый равенством Tn(x)=cos⁡(narccos⁡x)T_{n}(x)=\cos (n \arccos x) (см. задачу I.2.20 и рис. 15);

Рис. 14Рис. 14

Рис. 15Рис. 15

(в)

докажите, что функции из п. а) сопряжены как отображения из R\mathbb {R} в R\mathbb {R}.

Задача X.1.17

Пусть f:[a1,b1]→[a1,b1],g:[a2,b2]→[a2,b2]f:\left[a_{1}, b_{1}\right] \rightarrow \left[a_{1}, b_{1}\right], g:\left[a_{2}, b_{2}\right] \rightarrow \left[a_{2}, b_{2}\right] — гомеоморфизмы отрезков, не имеющие неподвижных внутренних точек. Докажите, что f∼gf \sim g. Проверьте, что утверждение остаётся в силе, если отрезки заменить открытыми интервалами.

?
Задача X.1.18

Расклассифицируйте, с точностью до топологической сопряжённости, гомеоморфизмы отрезка на себя, имеющие конечное множество неподвижных точек, в число которых входят концы отрезка.

Пусть ff — отображение промежутка Δ⊂R\Delta \subset \mathbb {R} в себя,

f0(x)=x,f1(x)=f(x),fn(x)=f(fn−1(x)) при n>1. f^{0}(x)=x, \quad f^{1}(x)=f(x), \quad f^{n}(x)=f\left(f^{n-1}(x)\right) \quad \text{ при } \quad n>1 .

Будем говорить, что метод последовательных приближений с начальной точкой x0∈Δx_{0} \in \Delta сходится, если существует предел lim⁡xn\lim x_{n}, где xn=fn(x0)x_{n}=f^{n}\left(x_{0}\right).

?
Задача X.1.19

Пусть функция f∈C([a,b])f \in C(\left[a, b\right]) возрастает. Докажите, что метод последовательных приближений сходится для любой начальной точки x0∈[a,b]x_{0} \in [a, b], если

?
(а)

f(x)<xf(x)<x при x>a,f(a)=ax>a, f(a)=a;

(б)

f(x)>xf(x)>x при x<b,f(b)=bx<b, f(b)=b.

Задача X.1.20

Докажите сходимость метода последовательных приближений при любой начальной точке x0∈Δx_{0} \in \Delta и найдите lim⁡xn\lim x_{n} для следующих отображений ff :

?
(а)

f(x)=arctg⁡x,Δ=Rf(x)=\operatorname {arctg} x, \quad \Delta =\mathbb {R};

(б)

f(x)=x+2,Δ=[−2,+∞)f(x)=\sqrt{x+2}, \quad \Delta =[-2,+\infty );

(в)

f(x)=12x−1,Δ=Rf(x)=\frac{1}{2} x-1, \quad \Delta =\mathbb {R};

(г)

f(x)=x(x2+3)3x2+1,Δ=Rf(x)=\frac{x\left(x^{2}+3\right)}{3 x^{2}+1}, \quad \Delta =\mathbb {R};

(д)

f(x)=12(x+1x),Δ=(0,+∞)f(x)=\frac{1}{2}\left(x+\frac{1}{x}\right), \quad \Delta =(0,+\infty );

(е)

f(x)=2πarcsin⁡2xx2+1,Δ=(0,+∞)f(x)=\frac{2}{\pi } \arcsin \frac{2 x}{x^{2}+1}, \quad \Delta =(0,+\infty );

(ж)

f(x)=42+x,Δ=[0,+∞)f(x)=\frac{4}{2+x}, \quad \Delta =[0,+\infty ).

Задача X.1.21

Выясните, для каких начальных точек x0x_{0} из области задания отображения ff сходится метод последовательных приближений, и найдите lim⁡xn\lim x_{n}, если

?
(а)

f(x)=x+sin⁡xf(x)=x+\sin x;

(б)

f(x)=x(x−1)f(x)=x(x-1);

(в)

f(x)=1+ax2(0<a⩽14);f(x)=1+a x^{2} \left(0<a \leqslant \frac{1}{4}\right) ;

(г)

f(x)=1−ax2(0<a⩽34);f(x)=1-a x^{2} \left(0<a \leqslant \frac{3}{4}\right) ;

(д)

f(x)=x2+c(∣c∣⩽14);f(x)=x^{2}+c \left(\left|c\right| \leqslant \frac{1}{4}\right) ;

(е)

f(x)=x2+(1−2c)x+c2(c∈R)f(x)=x^{2}+(1-2 c) x+c^{2}(c \in \mathbb {R});

(ж)

f(x)={14−3x, при x≠4313, при x=43f(x)=\begin{cases} \frac{1}{4-3 x}, & \text{ при } x \neq \frac{4}{3} \\ \frac{1}{3}, & \text{ при } x=\frac{4}{3} \end{cases};

(з)

f(x)={2x33x2−1, если ∣x∣≠13,±1, если x=±13.f(x)=\begin{cases} \frac{2 x^{3}}{3 x^{2}-1}, & \text{ если }\left|x\right| \neq \frac{1}{\sqrt{3}}, \\ \pm 1, & \text{ если } x= \pm \frac{1}{\sqrt{3}} . \end{cases}

Будем называть неподвижную точку x∗x^{*} отображения ff притягивающей, если для всех x0x_{0}, взятых из некоторой окрестности точки x∗x^{*}, последовательность xn=fn(x0)x_{n}=f^{n}\left(x_{0}\right) сходится к точке x∗x^{*}. Если для некоторой окрестности UU неподвижной точки x∗x^{*} и произвольной точки x0∈U,x0≠x∗x_{0} \in U, x_{0} \neq x^{*}, найдётся такой номер nn, что xn∉Ux_{n} \notin U, то точка x∗x^{*} называется отталкивающей.

Задача X.1.22

Пусть x∗x^{*} - неподвижная то чка отображения ff, причём ff дифференцируемо в x∗x^{*}. Докажите, что

?
(а)

если ∣f′(x∗)∣<1\left|f^{\prime }\left(x^{*}\right)\right|<1, то x∗x^{*} - притягивающая;

(б)

если ∣f′(x∗)∣>1\left|f^{\prime }\left(x^{*}\right)\right|>1, то x∗x^{*} - отталкивающая;

(в)

покажите на примерах, что неподвижная точка может не быть ни притягивающей, ни отталкивающей.

Задача X.1.23

При каких значениях параметра aa и при каких x0∈Rx_{0} \in \mathbb {R} последовательность итераций xn=fn(x0)x_{n}=f^{n}\left(x_{0}\right) сходится, если

?
(а)

f(x)=1+axf(x)=1+a x;

(б)

f(x)=1−a∣x∣(a>0)f(x)=1-a\left|x\right|(a>0);

(в)

f(x)=1−ax2(a>0)f(x)=1-a x^{2}(a>0);

(г)

f(x)=ax(a>0)f(x)=a^{x}(a>0).

Пусть φ\varphi - дифференцируемая функция, заданная на промежутке Δ,Nφ\Delta , N_{\varphi } отображение, заданное в тех точках x∈Δx \in \Delta, где φ′(x)≠0\varphi^{\prime }(x) \neq 0, равенством

Nφ(x)=x−φ(x)/φ′(x). N_{\varphi }(x)=x-\varphi (x) / \varphi ^{\prime }(x) .

Легко видеть, что неподвижные точки отображения NφN_{\varphi } совпадают с корнями функции φ\varphi. Будем говорить, что итерационный процесс Ньютона с начальной точкой x0x_{0} сходится к cc, если xk=Nφk(x0)→cx_{k}=N_{\varphi }^{k}\left(x_{0}\right) \rightarrow c.

Задача X.1.24

Пусть φ∈C2(Δ),c∈Δ,φ(c)=0,∣φ′(x)∣>m>0\varphi \in C^{2}(\Delta ), c \in \Delta , \varphi (c)=0,\left|\varphi^{\prime }(x)\right|>m>0 для x∈Δx \in \Delta. Докажите, что если точка x0x_{0} достаточно близка к cc, то

?
(а)

итерационный процесс Ньютона, начатый в x0x_{0}, сходится к cc;

(б)

имеет место «сверхсходимость»: ∣xk−c∣⩽Mq2k\left|x_{k}-c\right| \leqslant M q^{2^{k}}, где M>0M>0, 0<q<1,k∈N0<q<1, k \in \mathbb {N} (ср. с задачей II.3.10).

Задача X.1.25

Докажите, что если φ∈C(n)(Δ),c∈Δ,φ(c)=φ′(c)=…==φ(n−1)(c)=0,φ(n)(c)≠0\varphi \in C^{(n)}(\Delta ), c \in \Delta , \varphi (c)=\varphi^{\prime }(c)=\ldots = =\varphi^{(n-1)}(c)=0, \varphi^{(n)}(c) \neq 0, то для начальных точек x0x_{0}, достаточно близких к cc, итерационный процесс Ньютона сходится к cc, причём ∣xk−c∣⩽Mqk(M>0,0<q<1)\left|x_{k}-c\right| \leqslant M q^{k}(M>0,0<q<1).

?
Задача X.1.26

Пусть φ∈C2([a,b])\varphi \in C^{2}(\left[a, b\right]) — такая функция, что φφ′′>0\varphi \varphi^{\prime \prime }>0 в (a,b)(a, b) и φ(a)=φ′′(b)=0\varphi (a)=\varphi^{\prime \prime }(b)=0 (или φ(b)=φ′′(a)=0\varphi (b)=\varphi^{\prime \prime }(a)=0). Проверьте, что для любой начальной точки из [a,b]\left[a, b\right] итерационный процесс Ньютона сходится к корню φ\varphi.

?
Задача X.1.27

Пусть PP — многочлен, имеющий лишь простые вещественные корни. Докажите, что если x0x_{0} — точка пере гиба P(P\left(\right. т. е. P′′(x0)=0P^{\prime \prime }\left(x_{0}\right)=0), то итерационный процесс Ньютона, начатый в точке x0x_{0}, сходится к корню PP. Подобным образом, варьируя точки перегиба, можно найти все корни, за исключением минимального и максимального.

Назовём множество {xn=fn(x0)∣n∈N}\left\{ x_{n}=f^{n}\left(x_{0}\right) \mid n \in \mathbb {N}\right\} траекторией точки x0x_{0}. Если траектория конечна, то, очевидно, существует такое n∈Nn \in \mathbb {N}, что точки x0,x1,…,xn−1x_{0}, x_{1}, \ldots , x_{n-1} попарно различны, а xn=x0,xn+1=x1,…x_{n}=x_{0}, x_{n+1}=x_{1}, \ldots В этом случае x0x_{0} называется периодической точкой, число nn — её периодом, а набор (x0,…,xn−1)\left(x_{0}, \ldots , x_{n-1}\right) — nn-ииклом. Будем говорить, что nn-иикл притягивающий, если точка x0x_{0} — притягивающая неподвижная точка для fnf^{n}, и отталкивающий, если x0x_{0} — отталкивающая неподвижная точка fnf^{n}.

?
Задача X.1.28

Пусть (x0∗,x1∗,…,xn−1∗)−n\left(x_{0}^{*}, x_{1}^{*}, \ldots , x_{n-1}^{*}\right)-n-цикл отображения ff. Докажите, что

?
(а)

если ∣(fn)′(x0∗)∣<1\left|\left(f^{n}\right)^{\prime }\left(x_{0}^{*}\right)\right|<1, то для x0x_{0}, взятых из некоторой окрестности x0∗x_{0}^{*}, выполняется соотношение

fmn+k(x0)⟶m→∞xk∗,k=0,…,n−1; f^{m n+k}\left(x_{0}\right) \underset {m \rightarrow \infty }{\longrightarrow } x_{k}^{*}, \quad k=0, \ldots , n-1 ;
(б)

если ∣(fn)′(x0∗)∣>1\left|\left(f^{n}\right)^{\prime }\left(x_{0}^{*}\right)\right|>1, то для некоторого ε>0\varepsilon >0 и любого x0∈(x0∗−ε,x0∗+ε),x0≠x0∗\quad x_{0} \in \left(x_{0}^{*}-\varepsilon , x_{0}^{*}+\varepsilon \right), \quad x_{0} \neq x_{0}^{*}, найдётся такой номер mm, что ∣fm(x0)−xk∗∣⩾ε\left|f^{m}\left(x_{0}\right)-x_{k}^{*}\right| \geqslant \varepsilon для всех k=0,…,n−1k=0, \ldots , n-1.

Задача X.1.29

Пусть ff - непрерывное отображение отрезка Δ\Delta в себя, I0,I1,…I_{0}, I_{1}, \ldots - конечная или бесконечная последовательность отрезков, причём I0⊂Δ,In+1⊂f(In)I_{0} \subset \Delta , I_{n+1} \subset f\left(I_{n}\right) при любом n⩾0n \geqslant 0. Докажите, что

?
(а)

существует такая последовательность отрезков K0⊃K1⊃K2⊃⊃K3⊃…,K0⊂I0K_{0} \supset K_{1} \supset K_{2} \supset \supset K_{3} \supset \ldots , K_{0} \subset I_{0}, что fn(Kn)=In(n⩾0)f^{n}\left(K_{n}\right)=I_{n}(n \geqslant 0);

(б)

существует такая точка x∈Δx \in \Delta, для которой xn=fn(x)∈Inx_{n}=f^{n}(x) \in I_{n} при любом nn.

Задача X.1.30

Докажите, что если непрерывное отображение отрезка в себя имеет 4 -цикл, то оно имеет также 2 -цикл.

?
Задача X.1.31

Пусть f:Δ→Δf: \Delta \rightarrow \Delta — непрерывное отображение отрезка в себя. Докажите, что следующие утверждения эквивалентны:

  1. существует такая точка a∈Δa \in \Delta, что точки b=f(a),c=f2(a)b=f(a), c=f^{2}(a), d=f3(a)d=f^{3}(a) удовлетворяют неравенствам d⩽a<b<cd \leqslant a<b<c или c<b<a⩽dc<b<a \leqslant d;

  2. в Δ\Delta существует точка, имеющая период три;

  3. для любого m∈Nm \in \mathbb {N} в Δ\Delta существует точка, имеющая период mm.

Импликация б) ⇒ в) и задача 1.30 являются частными случаями теоремы А.Н. Шарковского [Ш]. Пусть f:Δ→Δf: \Delta \rightarrow \Delta — непрерывное отображение (Δ=[a,b])(\Delta =\left[a, b\right]). Рассмотрим натуральный ряд, упорядоченный следующим образом: 1,2,4,8,…,2n,…,…,2m⋅7,2m⋅5,2m⋅3,…1,2,4,8, \ldots , 2^{n}, \ldots , \ldots , 2^{m} \cdot 7,2^{m} \cdot 5,2^{m} \cdot 3, \ldots,

…,2⋅7,2⋅5,2⋅3,…,7,5,3. \ldots , 2 \cdot 7,2 \cdot 5,2 \cdot 3, \ldots , 7,5,3 .

Если pp стоит в этом ряду левее qq и ff обладает qq-циклом, то ff обладает также pp-циклом.

?
Задача X.1.32

Докажите, что при n⩾2n \geqslant 2 многочлен Чебышёва TnT_{n} (см. задачи I.2.20 и 1.16 б)), заданный на [−1,1]\left[-1,1\right], обладает циклами произвольного порядка.

?
Задача X.1.33

Найдите значения параметра aa, при которых отображение f(x)=1−a∣x∣(x∈R)f(x)=1-a\left|x\right|(x \in \mathbb {R}) обладает

?
(а)

2-циклом;

(б)

4-циклом;

(в)

3-циклом,

и выясните, когда эти циклы являются притягивающими.

Задача X.1.34

Пусть a>0,f(x)=1−ax2(x∈R)a>0, f(x)=1-a x^{2}(x \in \mathbb {R}). Выясните, при каких значениях параметра aa существуют притягивающая неподвижная точка и притягивающий 2 -цикл. Найдите «моменты рождений» 2 -, 4 и 3 -циклов (т.е. нижние границы значений aa, при которых эти циклы существуют).

?
Задача X.1.35

Пусть f(x)=bx(1−x)(x∈[0,1]),0<b⩽4f(x)=b x(1-x)(x \in [0,1]), 0<b \leqslant 4. Найдите нижнюю границу значений параметра bb, при которых ff имеет

?
(а)

притягивающий 2-цикл;

(б)

отталкивающий 2-цикл;

(в)

4 -цикл;

(г)

3-цикл.

Задача X.1.36

Пусть x0∈(0,1)x_{0} \in (0,1) — неподвижная точка непрерывного отображения f:[0,1]→[0,1]f:\left[0,1\right] \rightarrow [0,1]. Докажите, что если односторонние производные f±′(x0)f_{ \pm }^{\prime }\left(x_{0}\right) отрицательны и f+′(x0)f−′(x0)>1f_{+}^{\prime }\left(x_{0}\right) f_{-}^{\prime }\left(x_{0}\right)>1, то ff имеет 2-цикл. В частности, 2 -цикл существует, если f′(x0)<−1f^{\prime }\left(x_{0}\right)<-1.

?
Задача X.1.37

Пусть gg — кусочно гладкое отображение отрезка [0,1]\left[0,1\right] в себя. Докажите, что если ∣g′(x)∣⩾a>1\left|g^{\prime }(x)\right| \geqslant a>1 во всех точках, где производная существует, то gg имеет 2n2^{n}-цикл при любом n∈Nn \in \mathbb {N}. Покажите на примере, что это неверно, если гладкость отображения нарушается в счётном множестве точек.

В задачах 1.38−1.401.38-1.40 мы будем рассматривать такие отображения ff отрезка Δ=[a,b]\Delta =\left[a, b\right] в себя, что f∈C3(Δ)f \in C^{3}(\Delta ) и производная Шварца SfS f (см. задачи VII.2.25, VII.2.26 и определение перед ними) отрицательна в тех точках xx, которые не являются критическими точками ff (т. е. там, где f′(x)≠0f^{\prime }(x) \neq 0). Класс таких отображений обозначим символом S(Δ)S(\Delta ).

?
Задача X.1.38

Пусть f∈S(Δ)f \in S(\Delta ) и множество критических точек ff конечно. Докажите, что для каждого n∈Nn \in \mathbb {N} преобразование ff может обладать лишь конечным числом nn-циклов.

?
Задача X.1.39

Пусть f∈S(Δ),g=fn(n⩾1),x<y<zf \in S(\Delta ), g=f^{n}(n \geqslant 1), x<y<z — последовательные неподвижные точки отображения gg. Докажите, что если отрезок [x,y]\left[x, y\right] не содержит критических точек gg, то g′(y)>1g^{\prime }(y)>1.

?
Задача X.1.40

Пусть отображение f∈S(Δ)f \in S(\Delta ) имеет единственную критическую точку c∈(a,b)c \in (a, b). Докажите, что каждый притягивающий цикл отображения ff притягивает траекторию одной из точек a,c,ba, c, b и, следовательно, ff может иметь не более трёх притягивающих циклов.

?
Задача X.1.41

Докажите, что отображение вида f(x)=1−ax2(x∈R)f(x)=1-a x^{2}(x \in \mathbb {R}) при a⩽2a \leqslant 2 не может иметь более одного притягивающего цикла, а при a=2a=2 имеет nn-цикл для любого n∈Nn \in \mathbb {N}, но ни один из них не является притягивающим.

?
Задача X.1.42

Пусть φ\varphi - непрерывное отображение окружности в себя, имеющее неподвижную точку и 3 -цикл.

?
(а)

Докажите, что φ\varphi имеет также nn-циклы при всех n>3n>3.

(б)

Обязательно ли φ\varphi имеет 2 -цикл?

Задача X.1.43

Пусть ff - непрерывная возрастающая функция на прямой, удовлетворяющая условию f(x+1)=f(x)+1f(x+1)=f(x)+1. Докажите, что

?
(а)

отображение z=e2πix↦φ(z)=e2πif(x)z=e^{2 \pi i x} \mapsto \varphi (z)=e^{2 \pi i f(x)} задаёт гомеоморфизм окружности S1={z∣∣z∣=1}S^{1}=\left\{ z \mid \left|z\right|=1\right\}, сохраняющий порядок следования любых трёх точек, и что произвольный сохраняющий ориентацию гомеоморфизм окружности может быть задан таким образом;

(б)

если предел lim⁡n→∞fn(x)n=α\lim_{n \rightarrow \infty } \frac{f^{n}(x)}{n}=\alpha существует для некоторого x0∈Rx_{0} \in \mathbb {R}, то он существует и для любого x∈Rx \in \mathbb {R};

(в)

если отображение φm\varphi^{m} имеет неподвижную точку при некотором m∈Nm \in \mathbb {N}, то предел α\alpha существует и является рациональным числом;

(г)

если никакая степень φ\varphi не имеет неподвижных точек, то предел α\alpha существует и является иррациональным числом;

(д)

если две различные функции f1f_{1} и f2f_{2} определяют один гомеоморфизм φ\varphi, то соответствующие пределы α1\alpha_{1} и α2\alpha_{2} различаются на целое число.

Определённое таким образом для произвольного сохраняющего ориентацию гомеоморфизма φ:S1→S1\varphi : S^{1} \rightarrow S^{1} число α mod 1\alpha \bmod 1 называется числом вращения этого гомеоморфизма. Это понятие введено А. Пуанкаре.

§
Задача X.2.1

Проверьте, что следующие преобразования сохраняют меру Лебега:

?
(а)

T(x)=(2x) mod 1(x∈[0,1])T(x)=(2 x) \bmod 1 \quad (x \in [0,1]);

(б)

T(z)=zn(z∈C,∣z∣=1),n∈NT(z)=z^{n} \quad (z \in \mathbb {C},\left|z\right|=1), n \in \mathbb {N};

(в)

T(x)=x−1x(x∈R\{0})T(x)=x-\frac{1}{x}(x \in \mathbb {R} \backslash \left\{ 0\right\} ).

Задача X.2.2

Проверьте, что преобразование

T(x,y)=((2x) mod 1,12(y+[2x])),(x,y)∈[0,1)×[0,1) T(x, y)=\left((2 x) \bmod 1, \frac{1}{2}(y+\left[2 x\right])\right), \quad (x, y) \in [0,1) \times [0,1)

(«преобразование пекаря») сохраняет меру Лебега λ2\lambda_{2}.

?
Задача X.2.3

Пусть X=[0,1)×[0,1),A=(abcd)X=[0,1) \times [0,1), A=\left(\begin{array}{ll}a & b \\ c & d\end{array}\right) — целочисленная матрица, причём det⁡A=±1\operatorname {det} A= \pm 1. Определим преобразование TA:X→XT_{A}: X \rightarrow X формулами TA(x1,x2)=(y1,y2)T_{A}\left(x_{1}, x_{2}\right)=\left(y_{1}, y_{2}\right) для (x1,x2)∈X\left(x_{1}, x_{2}\right) \in X, где

y1=(ax1+bx2) mod 1,y2=(cx1+dx2) mod 1. y_{1}=\left(a x_{1}+b x_{2}\right) \bmod 1, \quad y_{2}=\left(c x_{1}+d x_{2}\right) \bmod 1 .

Докажите, что

  1. TAT_{A} взаимно однозначно;

  2. TAT_{A} сохраняет меру Лебега.

Отображение (x1,x2)↦(e2πix1,e2πix2)\left(x_{1}, x_{2}\right) \mapsto \left(e^{2 \pi i x_{1}}, e^{2 \pi i x_{2}}\right) позволяет отождествить XX с тором T2=S1×S1T^{2}=S^{1} \times S^{1} и TAT_{A} с автоморфизмом T2T^{2} как группы. Это даёт право назвать преобразование TAT_{A} автоморфизмом тора.

Напомним принципиальный результат: на всякой компактной группе GG существует нетривиальная конечная борелевская мера μ\mu, инвариантная относительно сдвигов:

μ(gA)=μ(Ag)=μ(A), \mu (g A)=\mu (A g)=\mu (A),

где A⊂G,g∈G,gA={gx∣x∈A},Ag={xg∣x∈A}A \subset G, g \in G, g A=\left\{ g x \mid x \in A\right\} , A g=\left\{ x g \mid x \in A\right\}. В случае метризуемой группы эта мера определена однозначно (с точностью до постоянного множителя) и называется мерой Хаара. Её единственностью можно воспользоваться при решении следующей задачи.

?
Задача X.2.4

Пусть отображение TA:X→XT_{A}: X \rightarrow X — такое же, как в предыдущей задаче, но det⁡A∈Z,∣det⁡A∣>1\operatorname {det} A \in \mathbb {Z},\left|\operatorname {det} A\right|>1. Такое отображение (уже не взаимно однозначное) называется эндоморфизмом тора. Докажите, что оно сохраняет меру Лебега.

?
Задача X.2.5

Проверьте, что отображение T(x)=1x mod 1(x∈(0,1])T(x)=\frac{1}{x} \bmod 1(x \in (0,1]) сохраняет меру dμ=C1+xdxd \mu =\frac{C}{1+x} d x.

?
Задача X.2.6

Найдите абсолютно непрерывную инвариантную меру

?
(а)

для отображения Tn:[−1,1]→[−1,1]T_{n}:\left[-1,1\right] \rightarrow [-1,1], где TnT_{n} - многочлен Чебышёва (см. задачи I.2.20 и 1.16 б));

(б)

для отображения f:R→Rf: \mathbb {R} \rightarrow \mathbb {R}, где f(x)=1−2x2f(x)=1-2 x^{2}.

Задача X.2.7

Докажите, что преобразование TT обладает инвариантной (соответственно, конечной инвариантной, абсолютно непрерывной инвариантной) мерой тогда и только тогда, когда этим свойством обладает некоторая его степень Tn(n∈N)T^{n}(n \in \mathbb {N}).

?
Задача X.2.8

Пусть T:[a,b]→[a,b]T:\left[a, b\right] \rightarrow [a, b] — строго монотонное непрерывное преобразование. Докажите, что оно обладает абсолютно непрерывной инвариантной мерой (вообще говоря, бесконечной).

?
Задача X.2.9

Пусть преобразование T:[a,b]→[a,b]T:\left[a, b\right] \rightarrow [a, b] кусочно монотонное и гладкое. Докажите, что если оно обладает притягивающим циклом (см. §1), то TT не сохраняет никакую конечную меру, эквивалентную лебеговой.

?
Задача X.2.10

Существует ли ненулевая мера на R\mathbb {R}, инвариантная относительно всех

?
(а)

гомотетий Ha:x↦ax(a≠0)H_{a}: x \mapsto a x(a \neq 0);

(б)

аффинных преобразований Aa,b:x↦ax+b(a,b∈R,a≠0)A_{a, b}: x \mapsto a x+b(a, b \in \mathbb {R}, a \neq 0) ?

В случае утвердительного ответа приведите пример.

Задача X.2.11

Существует ли нетривиальная мера на (0,+∞)(0,+\infty ), инвариантная относительно всех преобразований вида

?
(а)

Tp:x→xp(p≠0)T_{p}: x \rightarrow x^{p}(p \neq 0);

(б)

Sb,p:x→bxp(p≠0,b>0)?S_{b, p}: x \rightarrow b x^{p}(p \neq 0, b>0) ?

В случае утвердительного ответа приведите пример. Мера μ\mu в Rn\mathbb {R}^{n} называется квазиинвариантной относительно сдвигов, если для каждого a∈Rna \in \mathbb {R}^{n} условие μ(A)=0\mu (A)=0 равносильно условию μ(A+a)=0\mu (A+a)=0.

Задача X.2.12

Докажите, что

?
(а)

если мера μ\mu в Rn\mathbb {R}^{n} эквивалентна лебеговой мере λn\lambda_{n}, то μ\mu квазиинвариантна относительно сдвигов;

(б)

если μ\mu квазиинвариантна относительно сдвигов, причём мера любого ограниченного множества конечна, то μ\mu эквивалентна λn\lambda_{n}.

Задача X.2.13

Пусть TT - такое преобразование множества X⊂RnX \subset \mathbb {R}^{n} в себя, что образ TλnT \lambda_{n} меры λn\lambda_{n} абсолютно непрерывен относительно λn\lambda_{n}, и пусть ff - произвольная суммируемая на XX функция. Докажите следующие утверждения:

?
(а)

Существует такая функция f∗∈L1(X)f^{*} \in \mathscr {L}^{1}(X), что

∫T−1(A)f(x)dx=∫Af∗(x)dx(A⊂X)(1) \int _{T^{-1}(A)} f(x) d x=\int _{A} f^{*}(x) d x \quad (A \subset X) \tag {1}

и при этом f∗f^{*} определяется однозначно с точностью до значений на множестве меры нуль.

Соответствие P:f↦f∗P: f \mapsto f^{*} называется оператором Перрона-Фробениуса, связанным с TT.

(б)

Если X⊂RnX \subset \mathbb {R}^{n} - область, TT - гладкое взаимно однозначное отображение, прич ём det⁡T′(x)≠0(x∈X)\operatorname {det} T^{\prime }(x) \neq 0(x \in X), то

Pf(Tx)=f(x)∣det⁡T′(x)∣(x∈X). P f(T x)=\frac{f(x)}{\left|\operatorname {det} T^{\prime }(x)\right|} \quad (x \in X) .
(в)

Если X=[0,1],TX=\left[0,1\right], T кусочно дифференцируемо и множество T−1(x)T^{-1}(x) конечно (x∈Xx \in X), то

Pf(y)=∑x∈T−1(y)f(x)∣T′(x)∣ P f(y)=\sum _{x \in T^{-1}(y)} \frac{f(x)}{\left|T^{\prime }(x)\right|}

во всех точках, для которых определена правая часть равенства.

(г)

Если X=[0,1],f∈C([0,1])X=\left[0,1\right], f \in C(\left[0,1\right]) и TT кусочно монотонно, то

Pf(x)=ddx∫T−1([0,x])f(t)dt P f(x)=\frac{d}{d x} \int _{T^{-1}(\left[0, x\right])} f(t) d t
(д)

Для того чтобы мера dμ=fdxd \mu =f d x была инвариантной относительно TT, необходимо и достаточно, чтобы для почти всех x∈Xx \in X выполнялось равенство Pf(x)=f(x)P f(x)=f(x).

Пусть n∈N,Δi=[i−1n,in)(i=1,…,n)n \in \mathbb {N}, \Delta_{i}=\left[\frac{i-1}{n}, \frac{i}{n}\right)(i=1, \ldots , n). Рассмотрим неотрицательные функции на [0,1)[0,1), постоянные на промежутках Δi\Delta_{i}. Каждая такая функция задаётся вектором c=(c1,…,cn)c=\left(c_{1}, \ldots , c_{n}\right) значений, которые она принимает на Δ1,…,Δn\Delta_{1}, \ldots , \Delta_{n}. Будем для наглядности такую функцию обозначать символом fcf_{c}. Множество неотрицательных векторов в Rn\mathbb {R}^{n} обозначим R+n\mathbb {R}_{+}^{n}.

Задача X.2.14

Пусть T:[0,1)→[0,1)T:[0,1) \rightarrow [0,1) - произвольное преобразование.

?
(а)

Докажите, что для каждой функции вида fc(c∈R+n)f_{c}\left(c \in \mathbb {R}_{+}^{n}\right) существует единственная функция fd(d∈R+n)f_{d}\left(d \in \mathbb {R}_{+}^{n}\right), удовлетворяющая равенствам

∫T−1(Δi)fc(x)dx=∫Δifd(x)dx,i=1,…,n \int _{T^{-1}\left(\Delta _{i}\right)} f_{c}(x) d x=\int _{\Delta _{i}} f_{d}(x) d x, \quad i=1, \ldots , n

причём вектор dd имеет вид d=πcd=\pi c, где π=(pij)i,j=1n\pi =\left(p_{i j}\right)_{i, j=1}^{n} — некоторая матрица, определяемая отображением TT.

Отображение c↦πcc \mapsto \pi c - дискретный (конечномерный) вариант оператора Перрона-Фробениуса.

(б)

Найдите матрицу π\pi и докажите, что pij⩾0p_{i j} \geqslant 0 и ∑1⩽i⩽npij=1\sum_{1 \leqslant i \leqslant n} p_{i j}=1.

(в)

Докажите, что существует такой вектор v∈R+n,v≠0v \in \mathbb {R}_{+}^{n}, v \neq 0, что πv=v\pi v=v (с этой целью рассмотрите последовательность векторов v(m)=1m∑0⩽k<mπku,u∈R+n)\left.v^{(m)}=\frac{1}{m} \sum_{0 \leqslant k<m} \pi^{k} u, u \in \mathbb {R}_{+}^{n}\right).

Задача X.2.15

Пусть T:[0,1]→[0,1]T:\left[0,1\right] \rightarrow [0,1].

?
(а)

Найдите общий вид абсолютно непрерывной инвариантной относительно TT меры, если

T(x)={2x при x⩽12,32−x при x>12. T(x)=\begin{cases} 2 x & \text{ при } x \leqslant \frac{1}{2}, \\ \frac{3}{2}-x & \text{ при } x>\frac{1}{2} . \end{cases}
(б)

Укажите какую-нибудь абсолютно непрерывную инвариантную относительно TT меру, если

T(x)={x+13 при x⩽23,2−2x при x>23. T(x)=\begin{cases} x+\frac{1}{3} & \text{ при } x \leqslant \frac{2}{3}, \\ 2-2 x & \text{ при } x>\frac{2}{3} . \end{cases}
(в)

Пусть T(x)=x2T(x)=\frac{x}{2}. Найдите неподвижную точку vnv_{n} для дискретного оператора Перрона-Фробениуса (при чётном nn) и докажите отсутствие инвариантной конечной абсолютно непрерывной меры для TT. К чему сходятся меры dμn=fvndxd \mu_{n}=f_{v_{n}} d x при n→∞n \rightarrow \infty, если их нормировать условием μn([0,1))=1\mu_{n}([0,1))=1 ?

Задача X.2.16

Пусть Ω={z∈C∣Im⁡z>0}\Omega =\left\{ z \in \mathbb {C} \mid \operatorname {Im} z>0\right\}. Найдите абсолютно непрерывную меру, инвариантную относительно всех конформных автоморфизмов Ω\Omega, т.е. прсобразований T(z)=az+bcz+dT(z)=\frac{a z+b}{c z+d}, где a,b,c,d∈Ra, b, c, d \in \mathbb {R} и det⁡(abcd)>0\operatorname {det}\left(\begin{array}{ll}a & b \\ c & d\end{array}\right)>0.

?
Задача X.2.17

Пусть P={(x,y)∈R2∣x>0}P=\left\{ (x, y) \in \mathbb {R}^{2} \mid x>0\right\}. Для каждой точки (a,b)∈P(a, b) \in P определим преобразования La,bL_{a, b} и Ra,bR_{a, b} полуплоскости PP в себя:

La,b(x,y)=(ax,ay+b),Ra,b(x,y)=(ax,bx+y). L_{a, b}(x, y)=(a x, a y+b), \quad R_{a, b}(x, y)=(a x, b x+y) .

Найдите абсолютно непрерывные меры μL\mu_{L} и μR\mu_{R} на PP, инвариантные относительно всех преобразований La,bL_{a, b} и Ra,bR_{a, b} соответственно.

Отметим, что преобразования, о которых идёт речь, отвечают преобразованиям левого и правого сдвигов на группе (по умножению) матриц

Mx,y=[xy01],(x,y)∈P, M_{x, y}=\left[\begin{smallmatrix} x & y \\ 0 & 1 \end{smallmatrix}\right],(x, y) \in P,

т.е. преобразованиям Mx,y↦Ma,bMx,y;Mx,y↦Mx,yMa,bM_{x, y} \mapsto M_{a, b} M_{x, y} ; M_{x, y} \mapsto M_{x, y} M_{a, b}. Меры μL\mu_{L} и μR\mu_{R} называются мерами Xaapa (левой и правой) для этой группы.

?
Задача X.2.18

Докажите, что если преобразование T:[a,b]→[a,b]T:\left[a, b\right] \rightarrow [a, b] сохраняет некоторую конечную абсолютно непрерывную меру, то TT топологически сопряжено с некоторым преобразованием того же промежутка, сохраняющим меру Лебега.

Существование инвариантной меры (не обязательно абсолютно непрерывной) часто устанавливается с помощью следующей теоремы Боголюбова—Крылова [КСФ]: для всякого непрерывного отображения компактного множества в себя существует конечная инвариантная мера.

?
Задача X.2.19

Докажите, что если TT — гомеоморфизм окружности S1S^{1} с иррациональным числом вращения α\alpha (см. задачу 1.43), то TT связан с поворотом TαT_{\alpha } окружности на угол α\alpha (т.е. Tα(e2πix)=e2πi(x+α))\left.T_{\alpha }\left(e^{2 \pi i x}\right)=e^{2 \pi i(x+\alpha )}\right) следующим образом: h∘T=Tα∘hh \circ T=T_{\alpha } \circ h для некоторого непрерывного отображения h:S1→S1h: S^{1} \rightarrow S^{1}.

В дальнейшем будем предполагать, что мера μ\mu конечна и удовлетворяет условию нормировки μ(X)=1\mu (X)=1 (такие меры называются вероятностными).

Пусть TT — преобразование множества XX. Множество A⊂XA \subset X называется инвариантньм, если T−1(A)=AT^{-1}(A)=A. Преобразование TT, сохраняющее меру μ\mu, называется эргодическим, если для каждого инвариантного множества A⊂XA \subset X справедливо одно из двух: либо μ(A)=0\mu (A)=0, либо μ(X\A)=0\mu (X \backslash A)=0.

?
Задача X.2.20

Измеримую функцию ff, заданную на множестве XX с мерой μ\mu, назовём инвариантной относительно преобразования T:X→XT: X \rightarrow X, если f(Tx)=f(x)f(T x)=f(x) для почти всех xx. Докажите, что для эргодичности TT необходимо и достаточно, чтобы всякая инвариантная измеримая функция совпадала с константой почти везде.

?
Задача X.2.21

Эргодичны ли следующие преобразования:

?
(а)

T(x)=(x+α) mod 1,x∈X=[0,1),μ=λT(x)=(x+\alpha ) \bmod 1, x \in X=[0,1), \mu =\lambda;

(б)

T(x)=(2x) mod 1,x∈X=[0,1),μ=λT(x)=(2 x) \bmod 1, x \in X=[0,1), \mu =\lambda;

(в)

T(z)=zn,z∈X=S1,μT(z)=z^{n}, z \in X=S^{1}, \mu - мера Лебега на окружности (n∈N)(n \in \mathbb {N});

(г)

TT - автоморфизм тора (см. задачу 2.3);

(д)

TT - эндоморфизм тора (см. задачу 2.4)?

Задача X.2.22

Пусть XX — множество в Rn\mathbb {R}^{n}, которое является замыканием множества своих внутренних точек, TT-- преобразование XX, сохраняющее меру Лебега. Докажите, что если TT эргодично, то для почти всех x∈Xx \in X траектория точки xx всюду плотна.

?
Задача X.2.23

Пусть X=[0,1)nX=[0,1)^{n} — nn-мерный тор (n∈N),S(n \in \mathbb {N}), S — сдвиг x↦y=S(x),x \mapsto y=S(x), \quad задаваемый формулой yk=(xk+αk) mod 1\quad y_{k}=\left(x_{k}+\alpha_{k}\right) \bmod 1, k=1,…,nk=1, \ldots , n. При каких значениях α1,…,αn\alpha_{1}, \ldots , \alpha_{n} сдвиг эргодичен?

?
Задача X.2.24

Докажите, что отображения отрезка [0,1]\left[0,1\right] в себя, задаваемые формулами

T(x)=(2x) mod 1,S(x)=1−∣2x−1∣, T(x)=(2 x) \bmod 1, \quad S(x)=1-\left|2 x-1\right|,

метрически сопряжены. (Отображения T:X→XT: X \rightarrow X и S:Y→YS: Y \rightarrow Y, сохраняющие меры μ\mu и vv соответственно, называются метрически сопряжёнными, если существует такое измеримое отображение h:X→Yh: X \rightarrow Y, что hμ=vh \mu =v и S∘h(x)=h∘T(x)S \circ h(x)=h \circ T(x) для почти всех x∈Xx \in X.)

?
Задача X.2.25

Докажите, что отображение TT отрезка [−1,1]\left[-1,1\right] в себя, сохраняющее меру μ\mu, эргодично, если

?
(а)

T(x)=1−2∣x∣,μ=12dxT(x)=1-2\left|x\right|, \quad \mu =\frac{1}{2} d x;

(б)

T(x)=1−2x2,μ=1π1−x2dxT(x)=1-2 x^{2}, \quad \mu =\frac{1}{\pi \sqrt{1-x^{2}}} d x;

(в)

T=TnT=T_{n} - многочлен Чебышёва, (см. 1.16б)), dμ=1π1−x2dxd \mu =\frac{1}{\pi \sqrt{1-x^{2}}} d x.

Задача X.2.26

Докажите, что если T:X→XT: X \rightarrow X — преобразование, сохраняющее вероятностную меру μ\mu, а ff — положительная функция, то ∑kf(Tk(x))=+∞\sum_{k} f\left(T^{k}(x)\right)=+\infty для почти всех (относительно μ)x∈X\left.\mu \right) x \in X.

Основной теоремой теории преобразований с инвариантной мерой (или «эргодической теории») является эргодическая теорема Биркгофа-Хинчина (см. [Би], [КСФ]): Пусть TT — сохраняющее вероятностную меру μ\mu преобразование множества X,fX, f — измеримая функция, причём

∫X∣f(x)∣dμ(x)<+∞ \int _{X}\left|f(x)\right| d \mu (x)<+\infty

Тогда для почти каждого (по мере μ\mu) x∈Xx \in X существует предел

lim⁡1n∑0⩽k<nf(Tk(x))=fˉ(x), \lim \frac{1}{n} \sum _{0 \leqslant k<n} f\left(T^{k}(x)\right)=\bar{f}(x),

который называется средним значением функции ff вдоль траектории точки xx. При этом функция fˉ\bar{f} инвариантна и

∫Xfˉ(x)dμ(x)=∫Xf(x)dμ(x). \int _{X} \bar{f}(x) d \mu (x)=\int _{X} f(x) d \mu (x) .

Если TT эргодично, то fˉ\bar{f} оказывается константой (см. задачу 2.20), равной ∫Xf(x)dμ(x)\int_{X} f(x) d \mu (x) (т. е. среднему значению ff на XX).

?
Задача X.2.27

Пусть T:X→XT: X \rightarrow X — эргодическое преобразование, сохраняющее вероятностную меру μ,A\mu , A — измеримое подмножество в XX.

Пусть εn=0\varepsilon_{n}=0, если Tn(x)∉AT^{n}(x) \notin A, и εn=1\varepsilon_{n}=1, если Tn(x)∈A(n⩾0)T^{n}(x) \in A(n \geqslant 0). Докажите, что для почти всех x∈Xx \in X существует предел lim⁡1n∑0⩽k<nεk\lim \frac{1}{n} \sum_{0 \leqslant k<n} \varepsilon_{k} (среднее число попаданий траектории в множество AA), и найдите его.

Вероятностные меры μ1,μ2\mu_{1}, \mu_{2} на XX называются взаимно сингулярными, если существует такое множество A⊂XA \subset X, что μ1(A)=1\mu_{1}(A)=1 и μ2(A)=0\mu_{2}(A)=0.

?
Задача X.2.28

Пусть μ1\mu_{1} и μ2\mu_{2}-- две вероятностные меры на X,TX, T-- преобразование, эргодическое относительно как μ1\mu_{1}, так и μ2\mu_{2}. Докажите, что меры μ1\mu_{1} и μ2\mu_{2} либо совпадают, либо взаимно сингулярны.

?
Задача X.2.29

Рассмотрим иррациональный сдвиг

S(x)=(x+α) mod 1(x∈[0,1)=X,α∈R\Q). S(x)=(x+\alpha ) \bmod 1 \quad (x \in [0,1)=X, \alpha \in \mathbb {R} \backslash \mathbb {Q}) .

Он эргодичен согласно 2.21 а). По эргодической теореме для любой суммируемой функции ff на XX и для почти всех x∈Xx \in X выполняется равенство

lim⁡1n∑0⩽k<nf(Sk(x))=∫01f(t)dt(1) \lim \frac{1}{n} \sum _{0 \leqslant k<n} f\left(S^{k}(x)\right)=\int _{0}^{1} f(t) d t \tag {1}
  1. Докажите, что если f∈C([0,1])f \in C(\left[0,1\right]), то для сдвига SS можно утверждать большее, а именно что равенство (1) справедливо для любого x∈[0,1)x \in [0,1). (Предположите вначале, что f(0)=f(1)f(0)=f(1), а затем рассмотрите общий случай.)

  2. Докажите, что если Δ=⟨a,b⟩⊂[0,1),χΔ(x)=1\Delta =\langle a, b\rangle \subset [0,1), \chi_{\Delta }(x)=1 при x∈Δx \in \Delta, χΔ(x)=0\chi_{\Delta }(x)=0 при x∉Δx \notin \Delta, то

    lim⁡1n∑0⩽k<nχΔ(Sk(x))=b−a(2) \lim \frac{1}{n} \sum _{0 \leqslant k<n} \chi _{\Delta }\left(S^{k}(x)\right)=b-a \tag {2}

    для всех x∈[0,1)x \in [0,1). Если {Sk(x)}\left\{ S^{k}(x)\right\} заменить произвольной последовательностью {xk}\left\{ x_{k}\right\}, то свойство б) называют равномерной распределённостью этой последовательности (см. [ПС], [КН]).

Для равномерного распределения последовательности {xk}\left\{ x_{k}\right\} и непрерывной на [0,1]\left[0,1\right] функции ff выполняется соотношение, аналогичное (1):

1n∑k=1nf(xk)⟶n→∞∫01f(t)dt \frac{1}{n} \sum _{k=1}^{n} f\left(x_{k}\right) \underset {n \rightarrow \infty }{\longrightarrow } \int _{0}^{1} f(t) d t

В частности,

1n∑k=1ne2πimxk⟶n→∞0 для любого целого m≠0.  \frac{1}{n} \sum _{k=1}^{n} e^{2 \pi i m x_{k}} \underset {n \rightarrow \infty }{\longrightarrow } 0 \text{ для любого целого } m \neq 0 \text{. }

Это условие не только необходимо, но и достаточно для равномерной распределенности. Последнее утверждение называется критерием Вейля (ср. с задачей I.3.9).

?
Задача X.2.30
?
(а)

По окружности движутся две точки, раз в секунду скачком перемешаясь на один и тот же угол, который не соизмерим с л. Какую часть достаточно большого промежутка времени обе точки будут одновременно находиться на некоторой (заранее фиксированной) полуокружности, если в начальный момент времени угол между точками равнялся α\alpha ?

(б)

Ответьте на тот же вопрос, если ежесекундно одна точка перемещается на угол β1\beta_{1}, а другая - на угол β2\beta_{2}, причём числа β1,β2\beta_{1}, \beta_{2}, π линейно независимы над Q\mathbb {Q} (см. определение в начале §4 гл. VII).

Задача X.2.31

Пусть x=∑xk2k,xk∈{0,1}x=\sum \frac{x_{k}}{2^{k}}, x_{k} \in \left\{ 0,1\right\} — двоичное разложение числа x∈[0,1)x \in [0,1). Используя эргодичность преобразования удвоения (см. задачу 2.21 б)), докажите, что для почти всех x∈[0,1)x \in [0,1) существует предел lim⁡1n∑0⩽k<nxk\lim \frac{1}{n} \sum_{0 \leqslant k<n} x_{k} (частота появления единицы), и найдите его. Решите аналогичную задачу для разложений в pp-ичную дробь (ср. с задачами IX.2.14, IX.2.16).

?
Задача X.2.32

Докажите, что если преобразование T:X→XT: X \rightarrow X, сохраняющее вероятностную меру μ\mu, обладает свойством

lim⁡nμ(A∩T−n(B))=μ(A)μ(B)(A,B⊂X)(*) \lim _{n} \mu \left(A \cap T^{-n}(B)\right)=\mu (A) \mu (B) \quad (A, B \subset X) \tag {*}

(свойство перемешивания относительно меры μ\mu), то TT эргодично.

?
Задача X.2.33

Докажите, что преобразование

T(x)=(2x) mod 1(x∈[0,1)) T(x)=(2 x) \bmod 1(x \in [0,1))

перемешивающее, а иррациональный сдвиг (см. задачу 2.29) — не перемешивающее относительно меры Лебега.

?
Задача X.2.34

Пусть p∈(0,1),q=1−p,μpp \in (0,1), q=1-p, \mu_{p} — мера на отрезке [0,1]\left[0,1\right], задаваемая следующим образом: если ε1,…,εn∈{0,1}\varepsilon_{1}, \ldots , \varepsilon_{n} \in \left\{ 0,1\right\} и

Δε1…εn={x∈[0,1]∣xk=εk(k=1,…,n)} \Delta _{\varepsilon _{1} \ldots \varepsilon _{n}}=\left\{ x \in [0,1] \mid x_{k}=\varepsilon _{k}(k=1, \ldots , n)\right\}

(здесь x=∑xk2kx=\sum \frac{x_{k}}{2^{k}} — двоичное разложение числа xx), то

μp(Δε1…εn)=∏1⩽k⩽np1−εkqεk \mu _{p}\left(\Delta _{\varepsilon _{1} \ldots \varepsilon _{n}}\right)=\prod _{1 \leqslant k \leqslant n} p^{1-\varepsilon _{k}} q^{\varepsilon _{k}}

а на остальные отрезки мера распространяется по аддитивности. Проверьте, что

  1. преобразование T(x)=(2x) mod 1T(x)=(2 x) \bmod 1 перемешивающее относительно меры μp\mu_{p} (см. задачу 2.32);

  2. μ1/2=λ\mu_{1 / 2}=\lambda;

  3. меры μp\mu_{p} и λ\lambda взаимно сингулярны при p≠12p \neq \frac{1}{2};

  4. μp1\mu_{p_{1}} взаимно сингулярна с μp2\mu_{p_{2}} при p1≠p2p_{1} \neq p_{2}.

?
Задача X.2.35

Пусть aka_{k} — первая цифра десятичной записи числа 2k(k=0,1,…)2^{k} (k=0,1, \ldots ), т.е. a0=1,a1=2,a2=4,a3=8,a4=1,…a_{0}=1, a_{1}=2, a_{2}=4, a_{3}=8, a_{4}=1, \ldots Какова частота появления в этой последовательности цифры p∈{1,…,9}p \in \left\{ 1, \ldots , 9\right\} ?

Как известно, всякое число xx из промежутка (0,1](0,1] можно однозначно представить в виде непрерывной (цепной) дроби

x=1a1+1a2+⋯ x=\frac{1}{a_{1}+\frac{1}{a_{2}+\cdots }}

что также записывается в виде x=[a1,a2,…]x=\left[a_{1}, a_{2}, \ldots \right], где a1=a1(x),a2=a2(x)a_{1}=a_{1}(x), a_{2}=a_{2}(x), a3=a3(x),…a_{3}=a_{3}(x), \ldots — натуральные числа. Такая дробь содержит конечное число членов лишь в том случае, когда xx рационально. Конечная цепная дробь [a1,…,an]\left[a_{1}, \ldots , a_{n}\right] однозначно записывается в виде несократимой дроби pnqn\frac{p_{n}}{q_{n}}. Под значением бесконечной цепной дроби понимается предел конечных:

[a1,a2,…]=lim⁡[a1,…,an]=lim⁡pnqn, \left[a_{1}, a_{2}, \ldots \right]=\lim \left[a_{1}, \ldots , a_{n}\right]=\lim \frac{p_{n}}{q_{n}},

число pnqn=pn(x)qn(x)\frac{p_{n}}{q_{n}}=\frac{p_{n}(x)}{q_{n}(x)} называется подходящей дробью. Несложно проверяется, что

∣x−pn(x)qn(x)∣⩽1qn(x)qn+1(x) \left|x-\frac{p_{n}(x)}{q_{n}(x)}\right| \leqslant \frac{1}{q_{n}(x) q_{n+1}(x)}

Разнообразные сведения о цепных дробях можно почерпнуть из книги [X][\mathrm{X}]. С разложением чисел в цепную дробь связано преобразование Гаусса

T(x)=1x mod 1(x∈(0,1]). T(x)=\frac{1}{x} \bmod 1(x \in (0,1]) .

Действительно, пусть x=[a1,a2,…],y=[a2,a3,…]x=\left[a_{1}, a_{2}, \ldots \right], y=\left[a_{2}, a_{3}, \ldots \right]. Тогда x=1a1+yx=\frac{1}{a_{1}+y}, откуда следует, что y=T(x)y=T(x). С помощью TT числа ana_{n} записываются так:

a1(x)=[1x],a2(x)=a1(T(x)),…,an(x)=a1(Tn−1(x)). a_{1}(x)=\left[\frac{1}{x}\right], a_{2}(x)=a_{1}(T(x)), \ldots , a_{n}(x)=a_{1}\left(T^{n-1}(x)\right) .

Преобразование Гаусса сохраняет меру dμ=c1+xdxd \mu =\frac{c}{1+x} d x (см. задачу 2.5). Мера μ\mu вероятностная при c=1ln⁡2c=\frac{1}{\ln 2}. С интересными приложениями эргодической теории к теории чисел и цепным дробям читатель может познакомиться в [Po].

?
Задача X.2.36
?
(а)

Для преобразования Гаусса TT установите справедливость при некотором C>0C>0 неравенства

1Cμ(A)μ(B)⩽μ(T−n(A)∩B)⩽Cμ(A)μ(B), \frac{1}{C} \mu (A) \mu (B) \leqslant \mu \left(T^{-n}(A) \cap B\right) \leqslant C \mu (A) \mu (B),

где A,B⊂(0,1],n∈NA, B \subset (0,1], n \in \mathbb {N}. Выведите отсюда эргодичность преобразования TT.

(б)

Докажите, что для почти всех x=[a1,a2,…]x=\left[a_{1}, a_{2}, \ldots \right] справедливы четыре утверждения:

  1. относительная частота, с которой число k∈Nk \in \mathbb {N} встречается среди чисел a1,a2,…a_{1}, a_{2}, \ldots, равна log⁡2(k+1)2k(k+2)\log_{2} \frac{(k+1)^{2}}{k(k+2)};

  2. lim⁡a1+…+ann=+∞\lim \frac{a_{1}+\ldots +a_{n}}{n}=+\infty;

  3. lim⁡a1…ann=∏(1+1k2+2k)log⁡2k\lim \sqrt[n]{a_{1} \ldots a_{n}}=\prod \left(1+\frac{1}{k^{2}+2 k}\right)^{\log_{2} k};

  4. lim⁡qnn=exp⁡(π212ln⁡2)\lim \sqrt[n]{q_{n}}=\exp \left(\frac{\pi^{2}}{12 \ln 2}\right), где qnq_{n}- знаменатель nn-й подходящей дроби.