II.2

Усреднение последовательностей

[19/95%]
Показать
LaTeX
Задача 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).

?