IV.3

Различные утверждения о рядах

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

Существует ли такая последовательность {an},an≠0\left\{ a_{n}\right\} , a_{n} \neq 0, что ряды ∑an\sum a_{n} и ∑1n2an\sum \frac{1}{n^{2} a_{n}} сходятся? Можно ли подобрать положительную последовательность {an}\left\{ a_{n}\right\} ?

?
Задача IV.3.2
?
(а)

Укажите такой сходящийся ряд ∑an\sum a_{n}, что ряд ∑an3\sum a_{n}^{3} расходится.

(б)

Существует ли такой сходящийся ряд ∑an\sum a_{n}, что для любого p∈N,p>1p \in \mathbb {N}, p>1, ряд ∑anp\sum a_{n}^{p} расходится?

Задача IV.3.3

Пусть f∈C1([1,+∞))f \in C^{1}([1,+\infty )) и ∫1∞∣f′(x)∣dx<+∞\int_{1}^{\infty }\left|f^{\prime }(x)\right| d x<+\infty. Докажите, что сходимость ряда ∑f(n)\sum f(n) равносильна сходимости интеграла ∫1∞f(x)dx\int_{1}^{\infty } f(x) d x.

?
Задача IV.3.4

Пусть an>0a_{n}>0 и ∑an<+∞\sum a_{n}<+\infty. Докажите, что

?
(а)

∑(an)1−1n<+∞\sum \left(a_{n}\right)^{1-\frac{1}{n}}<+\infty;

(б)

∑anln⁡(1+n)ln⁡1an<+∞\sum \frac{a_{n}}{\ln (1+n)} \ln \frac{1}{a_{n}}<+\infty.

Задача IV.3.5

Пусть 0<an<10<a_{n}<1. Докажите, что из сходимости ряда ∑anln⁡an\sum \frac{a_{n}}{\ln a_{n}} следует сходимость ряда ∑anln⁡(1+n)\sum \frac{a_{n}}{\ln (1+n)}. Верно ли обратное утверждение, если an↓0a_{n} \downarrow 0 ? Можно ли отказаться от монотонности?

?
Задача IV.3.6

Пусть an⩾0a_{n} \geqslant 0 и ∑ann<+∞\sum \frac{a_{n}}{n}<+\infty. Докажите, что существует такая последовательность номеров {nk}\left\{ n_{k}\right\} плотности 1 (см. задачу II.2.14), что ank→0a_{n_{k}} \rightarrow 0.

?
Задача IV.3.7

Докажите эквивалентность двух утверждсний:

  1. ∑∣an∣<+∞\sum \left|a_{n}\right|<+\infty;

  2. для любой последовательности номеров {nk}\left\{ n_{k}\right\} плотности 0 (см. задачу II.2.14) ряд ∑ank\sum a_{n_{k}} сходится.

?
Задача IV.3.8

Пусть ряд ∑an\sum a_{n} абсолютно сходится и ∑akn=0\sum a_{k n}=0 для любого k∈Nk \in \mathbb {N}. Докажите, что an=0a_{n}=0 для любого nn. Верно ли это утверждение для рядов, сходящихся не абсолютно?

?
Задача IV.3.9

Докажите, что если ряд ∑anxn\sum a_{n} x_{n} сходится для любой последовательности {xn}\left\{ x_{n}\right\}, стремящейся к нулю, то ∑∣an∣<+∞\sum \left|a_{n}\right|<+\infty.

?
Задача IV.3.10

Докажите, что следующие два свойства последовательности {cn}\left\{ c_{n}\right\} эквивалентны:

  1. ∑∣cn−cn+1∣<+∞\sum \left|c_{n}-c_{n+1}\right|<+\infty;

  2. если ряд ∑an\sum a_{n} сходится, то и ряд ∑cnan\sum c_{n} a_{n} сходится.

?
Задача IV.3.11

Пусть функция φ\varphi монотонна и ограничена на промежутке [0,+∞)[0,+\infty ). Докажите, что для любого сходящегося ряда ∑an\sum a_{n}

∑φ(εn)an⟶φ(+0)∑an при ε→+0. \sum \varphi (\varepsilon n) a_{n} \longrightarrow \varphi (+0) \sum a_{n} \quad \text{ при } \quad \varepsilon \rightarrow +0 .
?
Задача IV.3.12

Постройте положительную последовательность {an}\left\{ a_{n}\right\} со свойствами:

  1. an→0a_{n} \rightarrow 0;

  2. ∑an=+∞\sum a_{n}=+\infty;

  3. если ank↓0a_{n_{k}} \downarrow 0, где {nk}\left\{ n_{k}\right\}- строго возрастающая последовательность номеров, то ∑ank⩽2\sum a_{n_{k}} \leqslant 2.

?
Задача IV.3.13

Постройте положительную последовательность {an}\left\{ a_{n}\right\} со свойствами:

  1. an→0a_{n} \rightarrow 0;

  2. ∑an=+∞\sum a_{n}=+\infty;

  3. если строго возрастающая последовательность номеров {nk}\left\{ n_{k}\right\} такова, что sup⁡{ank/anj∣k,j∈N,k⩾j}<+∞\sup \left\{ a_{n_{k}} / a_{n_{j}} \mid k, j \in \mathbb {N}, k \geqslant j\right\} <+\infty, то ряд ∑ank\sum a_{n_{k}} сходится.

?
Задача IV.3.14

Пусть {an}\left\{ a_{n}\right\} - последовательность положительных чисел. Положим An=a1+…+an,αn=1an+1an+1+…A_{n}=a_{1}+\ldots +a_{n}, \alpha_{n}=\frac{1}{a_{n}}+\frac{1}{a_{n+1}}+\ldots Докажите, что следующие шесть утверждений эквивалентны:

  1. An=O(an)A_{n}=O\left(a_{n}\right);

  2. αn=O(1an)\alpha_{n}=O\left(\frac{1}{a_{n}}\right);

  3. AnAn+1⩽q1<1\frac{A_{n}}{A_{n+1}} \leqslant q_{1}<1 для всех n∈Nn \in \mathbb {N};

  4. α1<+∞\alpha_{1}<+\infty и αn+1αn⩽q2<1\frac{\alpha_{n+1}}{\alpha_{n}} \leqslant q_{2}<1 для всех n∈Nn \in \mathbb {N};

  5. a1p+…+anp=O(anp)a_{1}^{p}+\ldots +a_{n}^{p}=O\left(a_{n}^{p}\right), если p>0p>0;

  6. 1anp+1an+1p+…=O(1anp)\frac{1}{a_{n}^{p}}+\frac{1}{a_{n+1}^{p}}+\ldots =O\left(\frac{1}{a_{n}^{p}}\right), если p>0p>0.

Из утверждений а)-е) следует утверждение ж) для любого Q>1Q>1 существует такой номер L=LQL=L_{Q}, что an+L⩾Qana_{n+L} \geqslant Q a_{n} для всех n∈Nn \in \mathbb {N}, т.е. последовательность {an}\left\{ a_{n}\right\} распадается на LL подпоследовательностей {an(l)}={anL+l}n⩾1(l=0,1,…,L−1)\left\{ a_{n}^{(l)}\right\} =\left\{ a_{n L+l}\right\}_{n \geqslant 1}(l=0,1, \ldots , L-1), каждая из которых растёт не медленнее геометрической прогрессии: an+1(l)⩾Qan(l)a_{n+1}^{(l)} \geqslant Q a_{n}^{(l)}. Докажите, что если последовательность {an}\left\{ a_{n}\right\} монотонна, то ж) ⇒ а). Верно ли это утверждение для немонотонных последовательностей?

?
Задача IV.3.15

Пусть {an}\left\{ a_{n}\right\} - последовательность положительных чисел. Положим An=a1+…+an,αn=1an+1an+1+…A_{n}=a_{1}+\ldots +a_{n}, \alpha_{n}=\frac{1}{a_{n}}+\frac{1}{a_{n+1}}+\ldots Докажите, что следующие семь утверждений эквивалентны:

?
(а)

An−1=o(an)A_{n-1}=o\left(a_{n}\right);

(б)

αn+1=o(1an)\alpha_{n+1}=o\left(\frac{1}{a_{n}}\right);

(в)

An−1=o(An)A_{n-1}=o\left(A_{n}\right);

(г)

α1<+∞\alpha_{1}<+\infty и αn+1=o(αn)\alpha_{n+1}=o\left(\alpha_{n}\right);

(д)

a1p+…+an−1p=o(anp)a_{1}^{p}+\ldots +a_{n-1}^{p}=o\left(a_{n}^{p}\right), если p>0p>0;

(е)

1an+1p+1an+1p+…=o(1anp)\frac{1}{a_{n+1}^{p}}+\frac{1}{a_{n+1}^{p}}+\ldots =o\left(\frac{1}{a_{n}^{p}}\right), если p>0p>0;

(ж)

an−1=o(an)a_{n-1}=o\left(a_{n}\right).

Из утверждений а)-ж) следует утверждение 3) ann→+∞\sqrt[n]{a_{n}} \rightarrow +\infty.

Покажите на примерах, что з) ⟹а) даже для монотонных последовательностей; однако з) ⇒ а), если ann↑+∞\sqrt[n]{a_{n}} \uparrow +\infty.

Задача IV.3.16

Пусть p>1,an⩾0p>1, a_{n} \geqslant 0 и An=1n(a1+…+an)(n∈N)A_{n}=\frac{1}{n}\left(a_{1}+\ldots +a_{n}\right)(n \in \mathbb {N}). Докажите, что

?
(а)

∑Anp⩽pp−1∑anAnp−1\sum A_{n}^{p} \leqslant \frac{p}{p-1} \sum a_{n} A_{n}^{p-1};

(б)

∑Anp⩽(pp−1)p∑anp\sum A_{n}^{p} \leqslant \left(\frac{p}{p-1}\right)^{p} \sum a_{n}^{p}.

Задача IV.3.17

Пусть an>0a_{n}>0 для всех n∈Nn \in \mathbb {N} и ряд ∑an\sum a_{n} сходится. Докажите, что ряд ∑a1a2…ann\sum \sqrt[n]{a_{1} a_{2} \ldots a_{n}} сходится (заметим, что ряд ∑1n(a1+…+an)\sum \frac{1}{n}\left(a_{1}+\ldots +a_{n}\right), очевидно, расходится).

?
Задача IV.3.18

Пусть функция ff определена на R\mathbb {R}. Докажите, что следующие свойства функции ff эквивалентны:

  1. f(x)=O(x)f(x)=O(x) при x→0x \rightarrow 0;

  2. для любого абсолютно сходящегося ряда ∑an\sum a_{n} ряд ∑f(an)\sum f\left(a_{n}\right) абсолютно сходится;

  3. для любого абсолютно сходящегося ряда ∑an\sum a_{n} ряд ∑f(an)\sum f\left(a_{n}\right) сходится.

?
Задача IV.3.19

Пусть функция ff определена на R\mathbb {R}. Докажите, что если для любого сходящегося ряда ∑an\sum a_{n} ряд ∑f(an)\sum f\left(a_{n}\right) сходится, то f(x)=Cxf(x)=C x в некоторой окрестности нуля.

?
Задача IV.3.20

Пусть счётное множество QQ содержится в интервале (0,1)(0,1), inf⁡Q=0,sup⁡Q=1\inf Q=0, \sup Q=1. Докажите, что для любого числа x∈(0,1)x \in (0,1) можно так занумеровать множество Q={q1,q2,…}Q=\left\{ q_{1}, q_{2}, \ldots \right\}, что x=∑qn2nx=\sum \frac{q_{n}}{2^{n}}.

?