Положительные ряды — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
(Добавлена статья)
(нет различий)

Версия 03:00, 29 декабря 2010


Определение

Определение:
Если [math]a_n \geq 0[/math], то ряд [math]\sum\limits_{k = 1}^\infty[/math] называют положительным.


Например, [math]\sum\limits_{n = 1}^\infty \frac1n[/math] — положительный ряд. Он называется гармоническим.

Так как [math]S_{n + 1} = S_n + a_{n + 1}[/math], [math]a_{n + 1} \geq 0[/math], то [math]S_n[/math] возрастает. Отсюда вытекает вся прелесть положительных рядов, ибо вопрос сходимости решается теоремой Вейерштрасса о существовании предела монотонной последовательности: «Положительный ряд сходится [math]\iff[/math] [math]S_n[/math] ограничены сверху».

Принцип сравнения рядов

Применением этого критерия является так называемый принцип сравнения рядов.

Утверждение:
Пусть [math]\sum\limits_{k = 1}^\infty a_k[/math] и [math]\sum\limits_{k = 1}^\infty b_k[/math] — положительные ряды. Тогда:
  1. [math]a_n \leq b_n[/math], [math]\sum\limits_{k = 1}^\infty[/math] сходится [math]\Rightarrow[/math] [math]\sum\limits_{k = 1}^\infty a_k[/math] сходится.
  2. [math]\frac{b_n}{a_n} \to q[/math], [math]q \ne 0[/math], [math]q \ne \infty[/math] [math]\Rightarrow[/math] [math]\sum\limits_{k = 1}^\infty a_k \equiv \sum\limits_{k=1}^\infty b_k[/math].
[math]\triangleright[/math]

1. [math]a_n \leq b_n \Rightarrow \sum\limits_{k = 1}^\infty a_k \leq \sum\limits_{k = 1}^\infty b_k[/math].

Так как ряд [math]\sum b_n[/math] сходится, то, по теореме Вейерштрасса, сумма [math]b_k[/math] ограничена каким-то числом [math]B[/math]. А тогда,

[math]\sum\limits_{k = 1}^\infty a_k \leq \sum\limits_{k = 1}^\infty a_k \leq B[/math].

Значит, [math]\sum\limits_{k = 1}^\infty a_k[/math] сходится.

2. [math]q \ne 0[/math], [math]q \ne \infty[/math], [math]a_n \geq 0[/math], [math]b_n \geq 0[/math] [math]Rightarrow[/math] [math]q \gt 0[/math].

Подставим в определение предела [math]\varepsilon = \frac q2[/math]: [math]\exists N\ \forall n \gt N: \ q - \varepsilon \lt \frac{b_n}{a_n} \lt q + \varepsilon[/math]

Домножим на большее нуля [math]a_n[/math]:

[math]\frac q2 a_n \lt b_n \lt \frac{3q}2 a_n[/math].

Ряды мажорируют друг друга. Значит, по пункту 1, они равносходятся.
[math]\triangleleft[/math]

Критерий Коши

Важный случай возникает, если в положительном ряде слагаемые убывают: [math]a_n \geq a_{n + 1}[/math]. В этой ситуации можно высказать более тонкий критерий сходимости ряда (критерий Коши):

Утверждение:
Пусть дан положительный убывающий ряд [math]\sum\limits_{k = 1}^\infty a_k[/math]. Тогда [math]\sum\limits_{k = 1}^\infty a_k \equiv \sum\limits_{k = 1}^\infty 2^k a_{2^k}[/math]
[math]\triangleright[/math]

[math]S_{2^n} = (a_1 + a_2) + (a_3 + a_4) + (a_5 + a_6 + a_7 + a_8) + \ldots + (a_{2^{n - 1} + 1} + \ldots + a_{2^n})[/math]

В силу убывания последовательности [math]a[/math], внутри скобки самым большим является первое слагаемое, а самым маленьким — последнее.

Тогда [math]S_{2^n} \geq 2a_2 + 2a_4 + 4a_8 + \ldots + 2^{n - 1}a_{2^n}[/math].

Если сумму справа домножить на [math]2[/math], получим исследуемую сумму. Значит, из сходимости [math]\sum\limits_{k = 1}^\infty 2^k a_{2^k}[/math] следует сходимость [math]\sum\limits_{k = 1}^\infty a_k[/math].

Теперь оценим [math]S_{2^n}[/math] сверху. Если оставлять первые слагаемые, и ещё больше увеличить сумму, брав предыдущее к ним, получим:

[math]S_{2^n} \leq 2a_1 + 2a_2 + 4a_4 + \ldots + 2^{n - 1}a_{2^{n - 1}}[/math]

Из этого получаем обратное следствие
[math]\triangleleft[/math]

Применим этот критерий для исследования ряда [math]\sum\limits_{k = 1}^\infty \frac1{n_p}[/math], [math]p \gt 0[/math].

При [math]p = 1[/math] получаем гармонический ряд.

[math]a_n = \frac1{n_p}[/math] убывает.

[math]2^na_{2^n} = 2^n \frac1{2^{np}} = \left(\frac1{2^p - 1}\right)^n[/math].

[math]\sum\limits_{k = 1}^\infty 2^n a_{2^n} =[/math] [math]\sum\limits_{k = 1}^\infty \left(\frac1{2^{p-1}}\right)^n =[/math] [math]\sum\limits_{k = 1}^\infty q^n[/math]

По формуле суммы геометрицеской прогрессии, [math]S_n = \frac{1 - q^{n + 1}}{1 - q}[/math]

Значит, ([math]S_n[/math] сходится [math]\iff[/math] [math]q^{n + 1} \to 0[/math]) [math]\Rightarrow[/math] [math]q \in (0; 1)[/math].

В частности, гармончиеский ряд расходится.

Сравнение ряда с геометрической прогрессией

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

Теорема:
Пусть [math]\sum\limits_{k = 1}^\infty a_k[/math] — положительный ряд.
  1. Если [math]\frac{a_{n + 1}}{a_n} \xrightarrow[n \to \infty]{} q[/math], то при [math]q \lt 1[/math] ряд сходится, при [math]q \gt 1[/math] ряд расходится, при [math]q = 1[/math] возможны оба варианта.(признак Даламера)
  2. Пусть [math]\sqrt[n]{a_n} \xrightarrow[n \to \infty] q[/math]. Тогда выполняются такие же соотношения, что и в пункте 1.(Радикальный признак Коши)
Доказательство:
[math]\triangleright[/math]

Будем руководствоваться тем, что поведение конечного числа слагаемых не влияет на сходимость ряда.

1.1. [math]q \gt 1[/math]. [math]\exists \varepsilon_0:\ q + \varepsilon_0 \lt 1[/math]

По определению предела [math]\exists N\ \forall n \gt N:\ \frac{a_{n + 1}{a_n}} \lt q + \varepsilon_0[/math]

Випишем эти неравенства с [math]n \in [N; m][/math] и перемножим их:

[math]\frac{a_{m + 1}}{a_N} \lt (q + \varepsilon_0)^{m - N + 1}[/math].

[math]a_m \lt a_N (q + \varepsilon_0)^{-N} (q + \varepsilon_0)^m[/math]

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

1.2. [math]q \gt 1[/math]. [math]\exists \varepsilon_0:\ q - \varepsilon_0 \gt 1[/math].

[math]\exists N\ \forall n \gt N:\ \frac{a_{n + 1}}{a_n} \gt q - \varepsilon_0 \gt 1[/math] [math]\Rightarrow[/math] [math]a_{n + 1} \gt a_n)[/math]

Последовательность возрастает. Ряд расходится.

2. Полностью копирует пункт 1.

[math]q \lt 1:\ \exists N\ \forall n\gt N:\ \sqrt[n]{a_n} \lt q + \varepsilon_0 \lt 1[/math] [math]\Rightarrow[/math] [math]a_n \lt (q + \varepsilon_0)^n[/math].

Ряд мажорируется бесконечной убывающей прогресией.
[math]\triangleleft[/math]

Интегральный признак Коши

Утверждение:
Пусть при [math]x \geq 1[/math] определена функция [math]y = f(x)[/math], [math]y[/math] убывает, [math]y \geq 0[/math]. Тогда [math]\int\limits_1^{+\infty} f(x) dx \equiv \sum\limits_{k = 1}^\infty f(k)[/math].
[math]\triangleright[/math]

Пусть [math]x \in [n; n + 1][/math]. Тогда, в силу убывания функции, [math]f(n) \geq f(x) \geq f(n + 1)[/math]. Так как функция убывает, определённый интеграл существует. Проинтегрируем и воспользуемся тем, что [math]\Delta x_k = 1[/math]:

[math]f(n) \geq \int\limits_n^{n+1}f(x) dx \geq f(n + 1)[/math].

Просуммируем начиная с [math]n = 1[/math].

[math]\sum\limits_{k = 1}^n f(k) \geq \int\limits_1^{n + 1} f(x) dx \geq \sum\limits_{k = 2}^{n + 1} f(k)[/math]

Сходимость несобственного интеграла с полоэительной функцией определяется теоремой Вейерштрасса о монотонности функции, всё сводится к ограниченности [math]\int\limits_1^A f(x) dx[/math], но по [math]A[/math] они возрастают [math]\Rightarrow[/math] всё сводится к ограниченности [math]\int\limits_1^{n + 1}[/math]. Но установленное неравенство показывает, что их ограниченность равносильна ограниченности частичных сумм [math]f(k)[/math]. Значит, ряд и интеграл равносходятся.
[math]\triangleleft[/math]

Рассмотрим ряд [math]\sum\limits_{k = 1}^\infty \frac1{n \ln n}[/math]. [math]f(x) = \frac1{n \ln n}[/math]

[math]\int f(x) - \int \frac1{\ln n} d \ln x = \ln \ln x[/math]

Значит, по интегральному признаку Коши, даже добавление логарифма в знаменатель не помогло гармоническому ряду стать расходящимся. И ничто ему не поможет!