1302
правки
Изменения
м
→Введение
== Введение ==
Напомним, что, имея последовательность суммы вещественных чисел <tex>\{a_n\}</tex>, рядом мы называли символ <tex>\sum\limits_{i = 1}^\infty a_i</tex>. Ряды можно складывать и умножать на число. Далее, мы определили <tex>\sum\limits_{i = 1}^\infty a_i = \lim\limits_{n \rightarrow \infty} \sum\limits_{i = 1}^n a_i</tex>.
Мы показали, что, исходя из этого равенства, для сходимости ряда частичных сумм необходимо условие <tex>a_n \rightarrow 0</tex>. Например, ряд <tex>\sum\limits_{n = 0}^\infty (-1)^n</tex> не сходится (не имеет суммы в представленном выше смысле), поскольку <tex>(-1)^n</tex> предела не имеет.
Для начала, докажем, что если ряд сходится по методу средних арифметических, то он сходится и по методу Абеля.
Пусть <tex> S_k = \sum\limits_{j=0}^{k}a_j, S_{-1} = 0 </tex>.
Рассмотрим суммирование ряда методом Абеля:
Первое слагаемое стремится к нулю при <tex> t \rightarrow 1 </tex>, поэтому можно подобрать такое <tex> \varepsilon </tex>, что <tex> |F(t) - S| \le 2\varepsilon </tex>, значит, сумма ряда по методу Абеля равна сумме по методу средних арифметических. Теорема доказана.
}}
== Теорема Харди ==
Оценим его при помощи формулы 2.
<tex>\sigma_{n,k} - s = (\sigma_{n+k-1} -s) + \frac{n}k(\sigma_{n+k-1} - \sigmasigma_{n-1})</tex>
По условию теоремы, <tex>\sigma_n \to S</tex>
<tex>\forall n \to \infty : \sqrt{CM\frac{k}{n - 1}} < \varepsilon</tex>,
<tex>CMk < \varepsilon^2(n - 1)</tex>, <tex>k \leq \frac{\varepsilon^2 CM}{(n - 1)}{CM}</tex>
Тогда можно взять <tex>k = \left\lfloor \frac{\varepsilon^2CM}{2 (n-1)}{CM} \right\rfloor</tex>
При этом <tex>k</tex> будет достигнуто <tex>|s_{n-1} - \sigma_{n, k}| < \varepsilon</tex>
Легко проверить, что при этом <tex>k</tex> , <tex>\frac{n}k</tex> {{---}} ограничено.
Все условия выполнены, поэтому, получаем основную оценку:
