II.3

Рекуррентные последовательности

[17/100%]
Показать
LaTeX
Задача II.3.1

Пусть x0,x1∈R,xn+1=13(2xn+xn−1)(n∈N)x_{0}, x_{1} \in \mathbb {R}, x_{n+1}=\frac{1}{3}\left(2 x_{n}+x_{n-1}\right)(n \in \mathbb {N}). Докажите, что существует предел lim⁡xn\lim x_{n} и найдите его.

?
Задача II.3.2

Пусть x0,x1∈Rx_{0}, x_{1} \in \mathbb {R}. Докажите, что существует предел lim⁡xn\lim x_{n} и вычислите его в следующих случаях:

?
(а)

xn+1=(1−1n)xn+1nxn−1(n∈N)x_{n+1}=\left(1-\frac{1}{n}\right) x_{n}+\frac{1}{n} x_{n-1} \quad (n \in \mathbb {N});

(б)

xn+1=(1−12n)xn+12nxn−1(n∈N)x_{n+1}=\left(1-\frac{1}{2 n}\right) x_{n}+\frac{1}{2 n} x_{n-1} \quad (n \in \mathbb {N}).

Задача II.3.3

Пусть x1∈Rx_{1} \in \mathbb {R} и xn+1=(2+2n)xn−1(n∈N)x_{n+1}=\left(2+\frac{2}{n}\right) x_{n}-1 \quad (n \in \mathbb {N}).

?
(а)

Для каких значений x1x_{1} последовательность {xn}\left\{ x_{n}\right\} расходится? Какова асимптотика {xn}\left\{ x_{n}\right\} ?

(б)

Для каких x1x_{1} последовательность {xn}\left\{ x_{n}\right\} сходится? Чему равен предел lim⁡xn\lim x_{n} ?

Задача II.3.4

Пусть b∈R,an→a∈Rb \in \mathbb {R}, a_{n} \rightarrow a \in \mathbb {R} и xn+1=an+bxnx_{n+1}=a_{n}+b x_{n}. Докажите, что при любом x1∈Rx_{1} \in \mathbb {R}

?
(а)

xn→a1−bx_{n} \rightarrow \frac{a}{1-b}, если ∣b∣<1\left|b\right|<1;

(б)

xn→a1−bx_{n} \rightarrow \frac{a}{1-b}, если ∣b∣>1\left|b\right|>1 и x1+∑akbk=0x_{1}+\sum \frac{a_{k}}{b^{k}}=0;

(в)

xn∼Sbn−1x_{n} \sim S b^{n-1}, если ∣b∣>1\left|b\right|>1 и S=x1+∑akbk≠0S=x_{1}+\sum \frac{a_{k}}{b^{k}} \neq 0.

Задача II.3.5

Пусть последовательность {xn}\left\{ x_{n}\right\} и число p∈Rp \in \mathbb {R} таковы, что xn+1⩽pxn+(1−p)xn−1x_{n+1} \leqslant p x_{n}+(1-p) x_{n-1} для любого n=2,3,…n=2,3, \ldots Докажите, что если p>0p>0, то существует предел lim⁡xn∈R‾\lim x_{n} \in \overline{\mathbb {R}}, а при p⩽0p \leqslant 0 это утверждение неверно для некоторых последовательностей.

?
Задача II.3.6

Пусть положительная последовательность {xn}\left\{ x_{n}\right\} и число p∈Rp \in \mathbb {R} таковы, что xn+1⩽xnpxn−11−px_{n+1} \leqslant x_{n}^{p} x_{n-1}^{1-p} при n=2,3,…n=2,3, \ldots Докажите, что если p∈(0,2)p \in (0,2), то последовательность {xn}\left\{ x_{n}\right\} сходится, а для p∉(0,2)p \notin (0,2) это утверждение неверно для некоторых последовательностей.

?
Задача II.3.7

Пусть x1>0,xn+1=1nπxn(n∈N)x_{1}>0, x_{n+1}=\frac{1}{n^{\pi } x_{n}}(n \in \mathbb {N}). При каком значении x1x_{1} последовательность монотонна? Каков характер монотонности?

?
Задача II.3.8

Пусть p>0p>0 и Lp=lim⁡xnL_{p}=\lim x_{n}, где {xn}\left\{ x_{n}\right\} - такая последовательность, что x1∈(0,1)x_{1} \in (0,1) и xn+1=xn+(xnn)px_{n+1}=x_{n}+\left(\frac{x_{n}}{n}\right)^{p} для всех n∈Nn \in \mathbb {N}. Докажите, что Lp<+∞L_{p}<+\infty лишь при p>1p>1. Сколь быстро растёт предел L2L_{2}, если первый член последовательности x1x_{1} приближается к единице?

?
Задача II.3.9

При решении уравнения x=1x+ax=\frac{1}{x}+a (aa - положительный параметр) методом итераций возникает рекуррентная последовательность xn=1xn−1+a,x0>0x_{n}=\frac{1}{x_{n-1}}+a, x_{0}>0. Докажите, что существует предел l=lim⁡xnl=\lim x_{n}, и найдите асимптотику разностей xn−lx_{n}-l.

?
Задача II.3.10

При решении уравнения x2−a=0x^{2}-a=0 (aa - положительный параметр) методом Ньютона возникает рекуррентная последовательность xn=12(xn−1+axn−1),x0>0x_{n}=\frac{1}{2}\left(x_{n-1}+\frac{a}{x_{n-1}}\right), x_{0}>0. Докажите, что xn→ax_{n} \rightarrow \sqrt{a} и что при этом имеет место «сверхсходимость»: xn−a∼Cq2nx_{n}-\sqrt{a} \sim C q^{2^{n}} для некоторых q∈(0,1)q \in (0,1) и C>0C>0. Чему равны CC и qq ?

?
Задача II.3.11
?
(а)

Пусть f∈C([a,b])f \in C(\left[a, b\right]), причём f(x)∈[a,b]f(x) \in [a, b] для всех x∈[a,b]x \in [a, b]. Докажите, что последовательность {xn}\left\{ x_{n}\right\}, где x1∈[a,b],xn+1=1n(f(x1)+…+f(xn))x_{1} \in [a, b], x_{n+1}= \frac{1}{n}\left(f\left(x_{1}\right)+\ldots +f\left(x_{n}\right)\right), сходится, и её предел x∗x^{*} - неподвижная точка функции ff (т.е. f(x∗)=x∗f\left(x^{*}\right)=x^{*}).

(б)

Справедливо ли аналогичное утверждение в двумерном случае, когда вместо непрерывной на отрезке функции рассматривается непрерывное отображение некоторого выпуклого компакта на плоскости (папример, круга) в себя?

Задача II.3.12

Пусть f∈C([a,b])f \in C(\left[a, b\right]), причём f(x)∈[a,b]f(x) \in [a, b] для всех x∈[a,b]x \in [a, b]. Рассмотрим такую последовательность {xn}\left\{ x_{n}\right\}, что x1∈[a,b]x_{1} \in [a, b] и xn+1=(1−cn)xn+cnf(xn),cn∈(0,1)x_{n+1}= \left(1-c_{n}\right) x_{n}+c_{n} f\left(x_{n}\right), c_{n} \in (0,1) для всех n∈Nn \in \mathbb {N}.

?
(а)

Докажите, что если cn→0c_{n} \rightarrow 0, то существует предел x∗=lim⁡xnx^{*}=\lim x_{n}. Можно ли отказаться от условия cn→0c_{n} \rightarrow 0 ?

(б)

Если cn→0c_{n} \rightarrow 0 и ∑cn=+∞\sum c_{n}=+\infty, то x∗x^{*} - неподвижная точка функции ff. Можно ли отказаться от условия ∑cn=+∞\sum c_{n}=+\infty ?

Задача II.3.13

Пусть последовательность {xn}\left\{ x_{n}\right\} неотрицательных чисел такова, что xn⩽1n2(xn−1+xn−2)x_{n} \leqslant \frac{1}{n^{2}}\left(x_{n-1}+x_{n-2}\right) для n⩾3n \geqslant 3. Докажите, что xn=O(1n!)x_{n}=O\left(\frac{1}{n!}\right).

?
Задача II.3.14

Пусть k∈N,An↑+∞k \in \mathbb {N}, A_{n} \uparrow +\infty и пусть {xn}\left\{ x_{n}\right\} - такая неотрицательная последовательность, что

xn⩽1Ank(xn−1+xn−2+…+xn−k) x_{n} \leqslant \frac{1}{A_{n}^{k}}\left(x_{n-1}+x_{n-2}+\ldots +x_{n-k}\right)

при n>kn>k. Положим Sn=1A1+…+1AnS_{n}=\frac{1}{A_{1}}+\ldots +\frac{1}{A_{n}}. Докажите, что

?
(а)

xn=O(1A1A2…Ane(1+ε)Sn)x_{n}=O\left(\frac{1}{A_{1} A_{2} \ldots A_{n}} e^{(1+\varepsilon ) S_{n}}\right), где ε\varepsilon - произвольное положительное число;

(б)

если ∑An−2<+∞\sum A_{n}^{-2}<+\infty, то xn=O(1A1A2…AneSn)x_{n}=O\left(\frac{1}{A_{1} A_{2} \ldots A_{n}} e^{S_{n}}\right).

Задача II.3.15

Пусть k∈N,An↑+∞k \in \mathbb {N}, A_{n} \uparrow +\infty и пусть {xn}\left\{ x_{n}\right\} - такая неотрицательная последовательность, что

xn⩽1Ank(xn−1+xn−2+…+xn−k) x_{n} \leqslant \frac{1}{A_{n}^{k}}\left(x_{n-1}+x_{n-2}+\ldots +x_{n-k}\right)

при n>kn>k. Предположим, что An+1−An⩾δ>0A_{n+1}-A_{n} \geqslant \delta >0. Докажите, что

?
(а)

если δ⩾2k(k−1)\delta \geqslant \frac{2}{k(k-1)}, то xn=O(1A1A2…An)x_{n}=O\left(\frac{1}{A_{1} A_{2} \ldots A_{n}}\right);

(б)

если δ<2k(k−1)\delta <\frac{2}{k(k-1)}, то xn=O(1A1A2…AnAnp)x_{n}=O\left(\frac{1}{A_{1} A_{2} \ldots A_{n}} A_{n}^{p}\right), где p=1k(1δ−k(k−1)2)>0p=\frac{1}{k}\left(\frac{1}{\delta }-\frac{k(k-1)}{2}\right)>0.

Задача II.3.16

Пусть k∈N,C>0k \in \mathbb {N}, C>0 и пусть {xn}\left\{ x_{n}\right\} - такая неотрицательная последовательность, что

xn⩽Cknk(xn−1+xn−2+…+xn−k) x_{n} \leqslant \frac{C^{k}}{n^{k}}\left(x_{n-1}+x_{n-2}+\ldots +x_{n-k}\right)

при n>kn>k. Докажите, что xn=O(Cnn!np)x_{n}=O\left(\frac{C^{n}}{n!} n^{p}\right), где p=1k(C−k(k−1)2)p=\frac{1}{k}\left(C-\frac{k(k-1)}{2}\right). Убедитесь, что эта оценка не может быть улучшена.

?
Задача II.3.17

Пусть k∈N,An↑+∞,n(1−ln⁡An−1ln⁡An)→θ⩾0k \in \mathbb {N}, A_{n} \uparrow +\infty , n\left(1-\frac{\ln A_{n-1}}{\ln A_{n}}\right) \rightarrow \theta \geqslant 0 и {xn}\left\{ x_{n}\right\} - такая неотрицательная последовательность, что

xn=O(xn−1+…+xn−kAnk) при n>k. x_{n}=O\left(\frac{x_{n-1}+\ldots +x_{n-k}}{A_{n}^{k}}\right) \quad \text{ при } \quad n>k .

Докажите, что xn=O(An−βn)x_{n}=O\left(A_{n}^{-\beta n}\right), если 0<β<11+θ0<\beta <\frac{1}{1+\theta }.

?