Глава II

Последовательности

[64/95%]
Показать
LaTeX
§
Задача II.1.1

Пусть xn=1n∣∑1⩽k⩽n(−1)kk∣x_{n}=\frac{1}{\sqrt{n}}\left|\sum_{1 \leqslant k \leqslant n}(-1)^{k} \sqrt{k}\right|. Найдите lim⁡xn\lim x_{n}.

?
Задача II.1.2

Найдите пределы

?
(а)

lim⁡n→∞∑0⩽k⩽2n2−kcos⁡kn\lim_{n \rightarrow \infty } \sum_{0 \leqslant k \leqslant 2 n} 2^{-k} \cos \sqrt{\frac{k}{n}};

(б)

lim⁡n→∞∑0⩽k⩽2n2−nk/(n+k)\lim_{n \rightarrow \infty } \sum_{0 \leqslant k \leqslant 2 n} 2^{-n k /(n+k)}.

Задача II.1.3

Пусть Wn=∫0π/2sin⁡nxdx(n∈N)W_{n}=\int_{0}^{\pi / 2} \sin^{n} x d x(n \in \mathbb {N}).

?
(а)

С помощью интегрирования по частям докажите, что

Wn=(n−1)!!n!!×{1 при нечётном n,π2 при чётном n. W_{n}=\frac{(n-1)!!}{n!!} \times \begin{cases} 1 & \text{ при нечётном } n, \\ \frac{\pi }{2} & \text{ при чётном } n . \end{cases}
(б)

Используя неравенства W2k+1<W2k<W2k−1W_{2 k+1}<W_{2 k}<W_{2 k-1}, получите формулу Валлиса

π=lim⁡1n((2n)!!(2n−1)!!)2. \pi =\lim \frac{1}{n}\left(\frac{(2 n)!!}{(2 n-1)!!}\right)^{2} .
Задача II.1.4

Пусть xn=n(n−1)!!n!!x_{n}=\sqrt{n} \frac{(n-1)!!}{n!!}. Найдите sup⁡xn,inf⁡xn,lim⁡‾xn,lim⁡‾xn\sup x_{n}, \inf x_{n}, \overline{\lim } x_{n}, \underline{\lim } x_{n}.

?
Задача II.1.5

Пусть a∈Ra \in \mathbb {R} и xn=∑1⩽k⩽n(a+kn)nx_{n}=\sum_{1 \leqslant k \leqslant n}\left(\frac{a+k}{n}\right)^{n}. Найдите lim⁡xn\lim x_{n}.

?
Задача II.1.6

Пусть Sn=∑1⩽k⩽n(kn)kS_{n}=\sum_{1 \leqslant k \leqslant n}\left(\frac{k}{n}\right)^{k}.

?
(а)

Найдите предел lim⁡Sn\lim S_{n}.

(б)

Каков характер монотонности последовательности {Sn}\left\{ S_{n}\right\} ?

(в)

Верно ли, что Sn⩽2S_{n} \leqslant 2 при любом n∈Nn \in \mathbb {N} ?

Задача II.1.7

Вычислите предел

lim⁡1n(n+1)(n+2)…(n+n)n \lim \frac{1}{n} \sqrt[n]{(n+1)(n+2) \ldots (n+n)}
?
Задача II.1.8

Пусть последовательность натуральных чисел {kn}\left\{ k_{n}\right\} такова, что knn→p,kn⩽n\frac{k_{n}}{n} \rightarrow p, k_{n} \leqslant n. Вычислите предел lim⁡1nln⁡Cnkn\lim \frac{1}{n} \ln C_{n}^{k_{n}}.

?
Задача II.1.9

Найдите пределы

?
(а)

lim⁡∑0⩽k⩽2nkk2+n2\lim \sum_{0 \leqslant k \leqslant 2 n} \frac{k}{k^{2}+n^{2}};

(б)

lim⁡1n2∑0⩽k⩽nk(n−k)\lim \frac{1}{n^{2}} \sum_{0 \leqslant k \leqslant n} \sqrt{k(n-k)};

(в)

lim⁡∑0⩽k⩽2nkk+n2\lim \sum_{0 \leqslant k \leqslant 2 n} \frac{k}{k+n^{2}};

(г)

lim⁡∑n⩽k⩽2nsin⁡πk\lim \sum_{n \leqslant k \leqslant 2 n} \sin \frac{\pi }{k};

(д)

lim⁡∑1⩽k<n1k(n−k)\lim \sum_{1 \leqslant k<n} \frac{1}{\sqrt{k(n-k)}};

(е)

lim⁡∑1<k<n1(n−k)ln⁡k\lim \sum_{1<k<n} \frac{1}{(n-k) \ln k}.

Задача II.1.10

Пусть f∈C1([0,1])f \in C^{1}(\left[0,1\right]). Докажите, что

∑1⩽k⩽nf(kn)−n∫01f(x)dx⟶n→∞f(1)−f(0)2 \sum _{1 \leqslant k \leqslant n} f\left(\frac{k}{n}\right)-n \int _{0}^{1} f(x) d x \underset {n \rightarrow \infty }{\longrightarrow } \frac{f(1)-f(0)}{2}
?
Задача II.1.11

Вычислите пределы последовательностей {xn}\left\{ x_{n}\right\} в следующих случаях:

?
(а)

xn=n3n/2n!∏1⩽k⩽nsin⁡kn3/2x_{n}=\frac{n^{3 n / 2}}{n!} \prod_{1 \leqslant k \leqslant n} \sin \frac{k}{n^{3 / 2}};

(б)

xn=2nn∏1⩽k⩽nsin⁡πk2nx_{n}=\frac{2^{n}}{\sqrt{n}} \prod_{1 \leqslant k \leqslant n} \sin \frac{\pi k}{2 n}.

Задача II.1.12

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

∏n⩾0(1−a2(n+b)2)=Γ2(b)Γ(b+a)Γ(b−a) \prod _{n \geqslant 0}\left(1-\frac{a^{2}}{(n+b)^{2}}\right)=\frac{\Gamma ^{2}(b)}{\Gamma (b+a) \Gamma (b-a)}

(a,b∈R,b≠0,b±a≠0,−1,−2,−3,…)(a, b \in \mathbb {R}, b \neq 0, b \pm a \neq 0,-1,-2,-3, \ldots ). Выведите отсюда, что дробь Γ(x+12)xΓ(x)\frac{\Gamma \left(x+\frac{1}{2}\right)}{\sqrt{x} \Gamma (x)} возрастает на промежутке (0, +∞+\infty).

?
Задача II.1.13

Найдите пределы

?
(а)

lim⁡sin⁡(2πen!)\lim \sin (2 \pi e n!);

(б)

lim⁡nsin⁡(2πen!)\lim n \sin (2 \pi e n!);

(в)

lim⁡n2sin⁡(2πen!)\lim n^{2} \sin (2 \pi e n!);

(г)

lim⁡npsin⁡(π(2+1)n)\lim n^{p} \sin \left(\pi (\sqrt{2}+1)^{n}\right).

Задача II.1.14

Пусть неубывающая положительная последовательность {xn}\left\{ x_{n}\right\} имеет конечный предел aa. Докажите, что сходимость ряда ∑(a−xn)\sum \left(a-x_{n}\right) равносильна соотношению x1⋅x2…xn∼Canx_{1} \cdot x_{2} \ldots x_{n} \sim C a^{n} при некотором C>0C>0.

?
Задача II.1.15

См. также [Д]. Пусть a>0a>0 и xn=a+a+…+ax_{n}=\sqrt{a+\sqrt{a+\ldots +\sqrt{a}}} (nn корней). Докажите, что

?
(а)

xn→la=12(1+1+4a)x_{n} \rightarrow l_{a}=\frac{1}{2}(1+\sqrt{1+4 a});

(б)

la−xn∼Ca(2la)nl_{a}-x_{n} \sim \frac{C_{a}}{\left(2 l_{a}\right)^{n}} при некотором Ca>0C_{a}>0. Чему равно C2C_{2} ?

Задача II.1.16

Пусть xn=6+6+…+6333x_{n}=\sqrt[3]{6+\sqrt[3]{6+\ldots +\sqrt[3]{6}}} (п корней). Докажите, что 2−xn∼C(12)n2-x_{n} \sim \frac{C}{(12)^{n}} при некотором C>0C>0.

?
Задача II.1.17

Пусть p>1p>1 и xn=1+1+…+1pppx_{n}=\sqrt[p]{1+\sqrt[p]{1+\ldots +\sqrt[p]{1}}} (nn корней). Докажите, что последовательность {xn}\left\{ x_{n}\right\} сходится к положительному корню уравнения xp−x−1=0x^{p}-x-1=0.

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

Пусть p>1p>1 и {cn}\left\{ c_{n}\right\} - неотрицательная последовательность. Положим αn=c1+c2+…+cnppp\alpha_{n}=\sqrt[p]{c_{1}+\sqrt[p]{c_{2}+\ldots +\sqrt[p]{c_{n}}}}. Докажите, что сходимость последовательности {αn}\left\{ \alpha_{n}\right\} равносильна ограниченности сверху послеловательности {1pnln⁡cn}\left\{ \frac{1}{p^{n}} \ln c_{n}\right\}.

(б)

Для каках неотрицательных последовательностей {cn}\left\{ c_{n}\right\} сходится последовательность {βn}\left\{ \beta_{n}\right\}, где βn=c1+c2+c3+…+cnn3\beta_{n}=c_{1}+\sqrt{c_{2}+\sqrt[3]{c_{3}+\ldots +\sqrt[n]{c_{n}}}} ?

(в)

Пусть c>0,{pn}c>0,\left\{ p_{n}\right\} - последовательность чисел, больших единицы. Положим γn=c+c+…+cpnp2p1\gamma_{n}=\sqrt[p_{1}]{c+\sqrt[p_{2}]{c+\ldots +\sqrt[p_{n}]{c}}}. Докажите, что сходимость последовательности {γn}\left\{ \gamma_{n}\right\} равносильна ограниченности сверху последовательности {ln⁡np1⋅p2⋯pn}\left\{ \frac{\ln n}{p_{1} \cdot p_{2} \cdots p_{n}}\right\}.

Задача II.1.19

Пусть αn=1+1+1+…n+2n+1n\alpha_{n}=\sqrt[n]{1+\sqrt[n+1]{1+\sqrt[n+2]{1+\ldots }}} (бесконечное число корней). Конечны ли эти величины? Чему равен lim⁡αn\lim \alpha_{n} ?

?
Задача II.1.20

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

?
(а)

3=1+21+31+41+…3=\sqrt{1+2 \sqrt{1+3 \sqrt{1+4 \sqrt{1+\ldots }}}};

(б)

3=5+6+27+38+49+…3=\sqrt{5+\sqrt{6+2 \sqrt{7+3 \sqrt{8+4 \sqrt{9+\ldots }}}}};

(в)

cos⁡x=sin⁡2x2+cos⁡3x2sin⁡2x4+cos⁡3x4sin⁡2x8+…\cos x=\sqrt{\sin^{2} \frac{x}{2}+\cos \frac{3 x}{2} \sqrt{\sin^{2} \frac{x}{4}+\cos \frac{3 x}{4} \sqrt{\sin^{2} \frac{x}{8}+\ldots }}} при x∈[−π2,π2]x \in \left[-\frac{\pi }{2}, \frac{\pi }{2}\right];

(г)

9=3u2u4+u43u4u6+u63u6u8+…9=\sqrt{3 u_{2} u_{4}+u_{4} \sqrt{3 u_{4} u_{6}+u_{6} \sqrt{3 u_{6} u_{8}+\ldots }}}, где {un}\left\{ u_{n}\right\} - последовательность чисел Фибоначчи, т.е. u1=u2=1u_{1}=u_{2}=1 и un+1=un+un−1u_{n+1}=u_{n}+u_{n-1} при n⩾2n \geqslant 2;

(д)

2x2=2xT0T1+T12xT1T2+T22xT2T3+…2 x^{2}=\sqrt{2 x T_{0} T_{1}+T_{1} \sqrt{2 x T_{1} T_{2}+T_{2} \sqrt{2 x T_{2} T_{3}+\ldots }}} при x⩾1x \geqslant 1; здесь {Tn}\left\{ T_{n}\right\} - последовательность значений многочленов Чебышёва в точке xx (см. задачу I.2.20);

(е)

2=2+1⋅23+2⋅34+3⋅45+…33332=\sqrt[3]{2+1 \cdot 2 \sqrt[3]{3+2 \cdot 3 \sqrt[3]{4+3 \cdot 4 \sqrt[3]{5+\ldots }}}}.

Задача II.1.21

Пусть xn=1+2+…+nx_{n}=\sqrt{1+\sqrt{2+\ldots +\sqrt{n}}}. Докажите, что xn→a∈Rx_{n} \rightarrow a \in \mathbb {R} и a−xnn∼12en\sqrt[n]{a-x_{n}} \sim \frac{1}{2} \sqrt{\frac{e}{n}}.

?
(а)
(б)
(в)
Задача II.1.22

Докажите, что xn→0x_{n} \rightarrow 0, если xn+1−12xn→0x_{n+1}-\frac{1}{2} x_{n} \rightarrow 0.

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

Докажите, что lim⁡‾(x1+xn+1xn)n⩾e\overline{\lim }\left(\frac{x_{1}+x_{n+1}}{x_{n}}\right)^{n} \geqslant e для любой положительной юследовательности {xn}\left\{ x_{n}\right\}.

(б)

Для любого числа x⩾ex \geqslant e укажите такую положительную последовательность {xn}\left\{ x_{n}\right\}, что (x1+xn+1xn)n→x\left(\frac{x_{1}+x_{n+1}}{x_{n}}\right)^{n} \rightarrow x.

Задача II.1.24

Докажите, что для любой положительной стремящейся к нулю последовательности можно построить мажорирующую её выпуклую носледовательность, стремящуюся к нулю (последовательность {xn}\left\{ x_{n}\right\} пазывается выпуклой, если xn⩽12(xn−1+xn+1)x_{n} \leqslant \frac{1}{2}\left(x_{n-1}+x_{n+1}\right) при n=2,3,…n=2,3, \ldots).

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

Пусть последовательность вещественных чисел {xn}\left\{ x_{n}\right\} такова, что xn+m⩽xn+xmx_{n+m} \leqslant x_{n}+x_{m} для всех n,m∈Nn, m \in \mathbb {N}. Докажите, что xnn→inf⁡xmm\frac{x_{n}}{n} \rightarrow \inf \frac{x_{m}}{m}.

(б)

Пусть последовательность комплексных чисел {xn}\left\{ x_{n}\right\} такова, что ∣xn+m−xn−xm∣⩽A\left|x_{n+m}-x_{n}-x_{m}\right| \leqslant A для всех n,m∈Nn, m \in \mathbb {N}. Докажите, что существует конечный предел C=lim⁡xnnC=\lim \frac{x_{n}}{n}. и ∣xnn−C∣⩽An\left|\frac{x_{n}}{n}-C\right| \leqslant \frac{A}{n}.

(в)

Опишите все последовательности комплексных чисел {xn}\left\{ x_{n}\right\}, удовлетворяющие неравенству ∣xn+m−xn−xm∣⩽1n+m\left|x_{n+m}-x_{n}-x_{m}\right| \leqslant \frac{1}{n+m} для всех n,m∈Nn, m \in \mathbb {N}.

Задача II.1.26

Пусть последовательность вещественных чисел {xn}\left\{ x_{n}\right\} такова, что xn+1−xn→0x_{n+1}-x_{n} \rightarrow 0. Докажите, что множеством её частичных пределов является промежуток с концами lim⁡‾xn\overline{\lim } x_{n} и lim⁡‾xn\underline{\lim } x_{n}.

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

Пусть последовательность вещественных чисел {xn}\left\{ x_{n}\right\} такова, что xn+1+xn→0x_{n+1}+x_{n} \rightarrow 0. Докажите, что множество её частичных пределов либо бесконечно, либо содержит не более двух точек.

(б)

Докажите, что в случае сходимости последовательности {xn++xn+1+…+xn+100}\left\{ x_{n}+ +x_{n+1}+\ldots +x_{n+100}\right\} множество частичных пределов последовательности {xn}\left\{ x_{n}\right\} можно представить в виде объединения Δ1∪…∪Δ101\Delta_{1} \cup \ldots \cup \Delta_{101}, где Δj\Delta_{j} - замкнутые промежутки (возможно, вырожденные или пустые) в R‾\overline{\mathbb {R}}.

Задача II.1.28

Пусть {xn}\left\{ x_{n}\right\} - такая последовательность вещественных чисел, что при любом C>1C>1 существует предел lim⁡n→+∞x[Cn]\lim_{n \rightarrow +\infty } x_{\left[C^{n}\right]}. Докажите, что последовательность {xn}\left\{ x_{n}\right\} имеет предел.

?
§
Задача II.2.1

Пусть {xn}\left\{ x_{n}\right\} - последовательность вещественных чисел. Докажите, что 1n(x1+…+xn)→L\frac{1}{n}\left(x_{1}+\ldots +x_{n}\right) \rightarrow L, если xn→Lx_{n} \rightarrow L. Для конечного LL обратное утверждение справедливо лишь при условии

∑1<k⩽nk(xk−xk−1)=o(n). \sum _{1<k \leqslant n} k\left(x_{k}-x_{k-1}\right)=o(n) .
?
Задача II.2.2

Пусть an⩾0a_{n} \geqslant 0 и An=a1+…+an→+∞A_{n}=a_{1}+\ldots +a_{n} \rightarrow +\infty. Для произвольной последовательности {xn}\left\{ x_{n}\right\} вещественных чисел положим x~n=1An(a1x1++a2x2+…+anxn)\tilde{x}_{n}=\frac{1}{A_{n}}\left(a_{1} x_{1}+ +a_{2} x_{2}+\ldots +a_{n} x_{n}\right). Докажите, что

lim⁡‾xn⩽lim⁡‾x~n⩽lim⁡‾x~n⩽lim⁡‾xn. \underline{\lim } x_{n} \leqslant \underline{\lim } \tilde{x}_{n} \leqslant \overline{\lim } \tilde{x}_{n} \leqslant \overline{\lim } x_{n} .

В частности, x~n→a\tilde{x}_{n} \rightarrow a, если xn→ax_{n} \rightarrow a (при an≡1a_{n} \equiv 1 отсюда следует первое утверждение задачи 2.1).

?
Задача II.2.3

Пусть yn−1<yny_{n-1}<y_{n} и lim⁡yn=+∞\lim y_{n}=+\infty. Если последовательность вещественных чисел {xn}\left\{ x_{n}\right\} такова, что существует предел lim⁡xn−xn−1yn−yn−1==l∈R‾\lim \frac{x_{n}-x_{n-1}}{y_{n}-y_{n-1}}= =l \in \overline{\mathbb {R}}, то xnyn→l\frac{x_{n}}{y_{n}} \rightarrow l теорема Штольца - дискретный аналог правила Лопиталя). Сформулируйте и докажите подобное утверждение для неопределённостей типа 00\frac{0}{0}.

?
Задача II.2.4

Пусть последовательность вещественных чисел {xn}\left\{ x_{n}\right\} такова, что xn−xn−2→0x_{n}-x_{n-2} \rightarrow 0. Докажите, что 1nxn→0\frac{1}{n} x_{n} \rightarrow 0.

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

Приведите пример такой ограниченной расходящейся последовательности {xn}\left\{ x_{n}\right\}, что xn+1−xn→0x_{n+1}-x_{n} \rightarrow 0.

(б)

Существует ли такая ограниченная последовательность {xn}\left\{ x_{n}\right\}, что xn+1−xn→0x_{n+1}-x_{n} \rightarrow 0, но последовательность {1n(x1+…+xn)}\left\{ \frac{1}{n}\left(x_{1}+\ldots +x_{n}\right)\right\} не имеет предела?

Задача II.2.6

Пусть α>0\alpha >0. Докажите, что

?
(а)

∑1⩽k⩽n1k∼ln⁡n\sum_{1 \leqslant k \leqslant n} \frac{1}{k} \sim \ln n;

(б)

∑1⩽k⩽nkα−1∼nαα\sum_{1 \leqslant k \leqslant n} k^{\alpha -1} \sim \frac{n^{\alpha }}{\alpha };

(в)

∑k⩾n1kα+1∼1αnα\sum_{k \geqslant n} \frac{1}{k^{\alpha +1}} \sim \frac{1}{\alpha n^{\alpha }};

(г)

∑1⩽k⩽nkα−1ln⁡k∼nααln⁡n\sum_{1 \leqslant k \leqslant n} k^{\alpha -1} \ln k \sim \frac{n^{\alpha }}{\alpha } \ln n;

(д)

∑k⩾nln⁡kkα+1∼ln⁡nαnα\sum_{k \geqslant n} \frac{\ln k}{k^{\alpha +1}} \sim \frac{\ln n}{\alpha n^{\alpha }}.

Задача II.2.7

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

?
(а)

∑1⩽k⩽nkαk∼nαn(α>0)\sum_{1 \leqslant k \leqslant n} k^{\alpha k} \sim n^{\alpha n} \quad (\alpha >0);

(б)

∑k⩾nkαk∼nαn(α<0)\sum_{k \geqslant n} k^{\alpha k} \sim n^{\alpha n} \quad (\alpha <0);

(в)

∑1⩽k⩽nakk!∼ann!(a>0)\sum_{1 \leqslant k \leqslant n} a^{k} k!\sim a^{n} n!\quad (a>0);

(г)

∑1⩽k⩽n(k!)−α/k∼eα1−αn1−α(α<1)\sum_{1 \leqslant k \leqslant n}(k!)^{-\alpha / k} \sim \frac{e^{\alpha }}{1-\alpha } n^{1-\alpha } \quad (\alpha <1);

(д)

∑k⩾n(k!)−α/k∼eαα−1n1−α(α>1)\sum_{k \geqslant n}(k!)^{-\alpha / k} \sim \frac{e^{\alpha }}{\alpha -1} n^{1-\alpha } \quad (\alpha >1).

Результаты задач 2.8 и 2.9 играют большую роль в математическом анализе. Они будут использоваться при решении многих последующих задач.

Задача II.2.8

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

∑1⩽k⩽n1k=ln⁡n+γ+o(1). \sum _{1 \leqslant k \leqslant n} \frac{1}{k}=\ln n+\gamma +o(1) .

Число γ=0,5772…\gamma =0,5772 \ldots называется постоянной Эйлера.

?
Задача II.2.9

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

ln⁡n!=∑1⩽k⩽nln⁡k=(n+12)ln⁡n−n+C+o(1). \ln n!=\sum _{1 \leqslant k \leqslant n} \ln k=\left(n+\frac{1}{2}\right) \ln n-n+C+o(1) .

С помощью формулы Валлиса (см.1.3 б)) докажите, что C=12ln⁡(2π)C=\frac{1}{2} \ln (2 \pi ). Выведите отсюда формулу Стирлинга

n!∼2πn(ne)n. n!\sim \sqrt{2 \pi n}\left(\frac{n}{e}\right)^{n} .
?
Задача II.2.10

Уточните результаты двух предыдущих задач, доказав, что для всех n∈Nn \in \mathbb {N} выполняются неравенства:

?
(а)

ln⁡(n+12)+γ<1+12+…+1n<ln⁡(n+12)+γ+16(2n+1)2\ln \left(n+\frac{1}{2}\right)+\gamma <1+\frac{1}{2}+\ldots +\frac{1}{n}<\ln \left(n+\frac{1}{2}\right)+\gamma +\frac{1}{6(2 n+1)^{2}};

(б)

2πn(ne)ne112n+1<n!<2πn(ne)ne112n\sqrt{2 \pi n}\left(\frac{n}{e}\right)^{n} e^{\frac{1}{12 n+1}}<n!<\sqrt{2 \pi n}\left(\frac{n}{e}\right)^{n} e^{\frac{1}{12 n}}.

(в)

Следующее неравенство даёт для nn ! ещё более тесные границы:

2πn(ne)n(1+112n)<n!<2πn(ne)n(1+112n+1288n2). \sqrt{2 \pi n}\left(\frac{n}{e}\right)^{n}\left(1+\frac{1}{12 n}\right)<n!<\sqrt{2 \pi n}\left(\frac{n}{e}\right)^{n}\left(1+\frac{1}{12 n}+\frac{1}{288 n^{2}}\right) .
Задача II.2.11

Докажите, что при n→+∞n \rightarrow +\infty

?
(а)

∑1⩽k⩽nkp=np+1p+1+αp+o(1)\sum_{1 \leqslant k \leqslant n} k^{p}=\frac{n^{p+1}}{p+1}+\alpha_{p}+o(1) (p∈(−1,0]);(p \in (-1,0]) ;

(б)

∑1⩽k⩽nkp=np+1p+1+np2+βp+o(1)\sum_{1 \leqslant k \leqslant n} k^{p}=\frac{n^{p+1}}{p+1}+\frac{n^{p}}{2}+\beta_{p}+o(1) (p∈(0,1]);(p \in (0,1]) ;

(в)

∑1⩽k⩽nkp=np+1p+1+np2+p12np−1+γp+o(1)\sum_{1 \leqslant k \leqslant n} k^{p}=\frac{n^{p+1}}{p+1}+\frac{n^{p}}{2}+\frac{p}{12} n^{p-1}+\gamma_{p}+o(1) (p∈(1,2])(p \in (1,2]).

Задача II.2.12

Докажите, что при n→+∞n \rightarrow +\infty

?
(а)

∑1<k⩽n1kln⁡pk=1p+1ln⁡p+1n+Cp+o(1)(p>−1)\sum_{1<k \leqslant n} \frac{1}{k} \ln^{p} k=\frac{1}{p+1} \ln^{p+1} n+C_{p}+o(1) \quad (p>-1);

(б)

∑1<k⩽n1kln⁡k=ln⁡(ln⁡n)+C+o(1)\sum_{1<k \leqslant n} \frac{1}{k \ln k}=\ln (\ln n)+C+o(1);

(в)

∑1⩽k⩽n1k!k=eln⁡n+C′+o(1)\sum_{1 \leqslant k \leqslant n} \frac{1}{\sqrt[k]{k!}}=e \ln n+C^{\prime }+o(1).

Задача II.2.13

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

∑1⩽k⩽nkln⁡k=(n2+n+16)ln⁡n2−14n2+C1+o(1),∑1⩽k⩽nln⁡k!=(n2+2n+12)ln⁡n2−3n24+(ln⁡2π2−1)n+C2+o(1). \begin{gathered} \sum _{1 \leqslant k \leqslant n} k \ln k=\left(n^{2}+n+\frac{1}{6}\right) \frac{\ln n}{2}-\frac{1}{4} n^{2}+C_{1}+o(1), \\ \sum _{1 \leqslant k \leqslant n} \ln k!=\left(n^{2}+2 n+\frac{1}{2}\right) \frac{\ln n}{2}-\frac{3 n^{2}}{4}+\left(\frac{\ln 2 \pi }{2}-1\right) n+C_{2}+o(1) . \end{gathered}
?
Задача II.2.14

Пусть E={n1,n2,…}E=\left\{ n_{1}, n_{2}, \ldots \right\}, где n1<n2<…n_{1}<n_{2}<\ldots, - бесконечное подмножество N\mathbb {N} и Em={n∈E∣n⩽m}E_{m}=\left\{ n \in E \mid n \leqslant m\right\}. Если существует предел θ(E)=lim⁡1mcard⁡(Em)\theta (E)=\lim \frac{1}{m} \operatorname {card}\left(E_{m}\right), то он называется плотностью множества EE (или плотностью последовательности {nk}\left\{ n_{k}\right\}). Докажите, что

?
(а)

θ(E)=lim⁡knk\theta (E)=\lim \frac{k}{n_{k}};

(б)

для любого числа α∈[0,1]\alpha \in [0,1] существует такое множество E⊂NE \subset \mathbb {N}, что θ(E)=α\theta (E)=\alpha.

Задача II.2.15

Пусть {xn}\left\{ x_{n}\right\} - последовательность вещественных чисел. Докажите, что

?
(а)

если xn→a∈Rx_{n} \rightarrow a \in \mathbb {R}, то 1n∑k=1n∣xk−a∣→0\frac{1}{n} \sum_{k=1}^{n}\left|x_{k}-a\right| \rightarrow 0;

(б)

если соотношение 1n∑k=1n∣xk−a∣→0\frac{1}{n} \sum_{k=1}^{n}\left|x_{k}-a\right| \rightarrow 0 справедливо при некотором a∈Ra \in \mathbb {R}, то существует такая последовательность {nk}\left\{ n_{k}\right\} плотности 1 (см. задачу 2.14), что xnk→ax_{n_{k}} \rightarrow a;

(в)

если последовательность {xn}\left\{ x_{n}\right\} ограничена и xnk→ax_{n_{k}} \rightarrow a для некоторой последовательности {nk}\left\{ n_{k}\right\} плотности 1 , то 1n∑k=1n∣xk−a∣→0\frac{1}{n} \sum_{k=1}^{n}\left|x_{k}-a\right| \rightarrow 0.

Задача II.2.16

Пусть 0<an<10<a_{n}<1 при n∈Nn \in \mathbb {N}.

?
(а)

Покажите на примерах, что существование одного из пределов lim⁡1n(a1+…+an)\lim \frac{1}{n}\left(a_{1}+\ldots +a_{n}\right) и lim⁡1n(a12+…+an2)\lim \frac{1}{n}\left(a_{1}^{2}+\ldots +a_{n}^{2}\right) не связано с существованием другого.

(б)

Пусть 1n(a1+…+an)→a\frac{1}{n}\left(a_{1}+\ldots +a_{n}\right) \rightarrow a и 1n(a12+…+an2)→b\frac{1}{n}\left(a_{1}^{2}+\ldots +a_{n}^{2}\right) \rightarrow b. Докажите, что a2⩽b⩽aa^{2} \leqslant b \leqslant a и что bb может принимать любые значения между a2a^{2} и aa.

Задача II.2.17

Периодической плотностью множества E⊂NE \subset \mathbb {N} будем называть число lim⁡‾1mcard⁡(E~m)\underline{\lim } \frac{1}{m} \operatorname {card}\left(\widetilde{E}_{m}\right), где

E~m={n mod m∣n∈E} \widetilde{E}_{m}=\left\{ n \bmod m \mid n \in E\right\}
  • множество всевозможных остатков от деления на mm чисел из EE.
?
(а)

Докажите, что если множество EE имеет плотность, то она не превосходит его периодической плотности.

(б)

Докажите, что множество с нулевой периодической плотностью имеет нулевую плотность.

(в)

Приведите пример множества с нулевой плотностью, периодическая плотность которого равна единице.

(г)

Чему равна периодическая плотность множества всех натуральных чисел, представимых в виде суммы различных слагаемых вида ±4k,k∈Z+\pm 4^{k}, k \in \mathbb {Z}_{+}?

Задача II.2.18

Докажите, что периодическая плотность множества простых чисел равна нулю, и, следовательно (см. 2.17 б)), для π(n)\pi (n) (количество простых чисел, не превосходящих nn) справедлива оценка π(n)=o(n)\pi (n)=o(n) (более точный результат содержится в задаче I.2.13).

?
Задача II.2.19

Пусть E⊂RE \subset \mathbb {R},

n+(r)=sup⁡x∈Rcard⁡(E∩[x,x+r]),n−(r)=inf⁡x∈Rcard⁡(E∩[x,x+r])(r>0). \begin{aligned} & n_{+}(r)=\sup _{x \in \mathbb {R}} \operatorname {card}(E \cap [x, x+r]), \\ & n_{-}(r)=\inf _{x \in \mathbb {R}} \operatorname {card}(E \cap [x, x+r])(r>0) . \end{aligned}

Докажите, что если n+(r0)<∞n_{+}\left(r_{0}\right)<\infty при некотором r0>0r_{0}>0, то существуют конечные пределы d±=lim⁡r→+∞n±(r)rd_{ \pm }=\lim_{r \rightarrow +\infty } \frac{n_{ \pm }(r)}{r} (верхняя и нижняя плотности множества EE).

?
§
Задача 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 }.

?