Ряд геометрической прогрессии

Числовые ряды

Основные понятия

 

Числовым рядом называется выражение вида

где – действительные или комплексные числа, называемые членами ряда, - общим членом ряда.

Ряд считается заданным, если известен общий член ряда , выраженный как функция его номера n: .

Сумма первых n членов ряда называется n -й частичной суммой ряда и обозначается через , т.е.

Если существует конечный предел последовательности частичных сумм ряда , то этот предел называют суммой ряда и говорят, что ряд сходится. Записывают:

Если не существует или = , то ряд называют расходящимся. Такой ряд суммы не имеет.

 

Рассмотрим некоторые важные свойства рядов:

 

Свойство 1. Если ряд сходится и его сумма равна S, то ряд

где с – произвольное число, также сходится и его сумма равна cS. Если же ряд расходится и , то и ряд расходится.

 

Обозначим n -ю частичную сумму ряда через . Тогда

Следовательно,

,

т.е. ряд сходится и имеет сумму cS.

Покажем теперь, что если ряд расходится, , то и ряд расходится. Допустим противное: ряд сходится и имеет сумму .

Тогда

Отсюда получаем:

т.е. ряд сходится, что противоречит условию о расходимости ряда.

 

Свойство 2. Если сходится ряд и сходится ряд

А их суммы равны и соответственно, то сходятся и ряды

,

причем сумма каждого равна соответственно .

 

Обозначим n -е частичные суммы рядов , и через , и соответственно. Тогда

т.е. каждый из рядов сходится, и сумма его равна соответственно.

Из свойства 2 вытекает, что сумма (разность) сходящегося и расходящегося рядов есть расходящийся ряд.

 

Свойство 3. Если к ряду прибавить (или отбросить) конечное число членов, то полученный ряд и ряд сходятся или расходятся одновременно.

 

Обозначим через S сумму отброшенных членов, через k – наибольший из номеров этих членов. Чтобы не менять нумерацию оставшихся членов ряда, будем считать, что на месте отброшенных членов поставили нули. Тогда при n>k будет выполняться равенство , где – это n -я частичная сумма ряда, полученного из ряда путем отбрасывания конечного числа членов. Поэтому

+ . Отсюда следует, что пределы в левой и правой частях одновременно существуют или не существуют, т.е. ряд сходится (расходится) тогда и только тогда, когда сходятся (расходятся) ряды без конечного числа его членов.

Аналогично рассуждаем в случае приписывания к ряду конечного числа членов.

Ряд

=

называется n -м остатком ряда . Он получается из ряда отбрасыванием n первых его членов. Ряд получается из остатка добавлением конечного числа членов. Поэтому, согласно свойству 3, ряд и его остаток =

одновременно сходятся или расходятся.

Из свойства 3 также следует, что если ряд сходится, то его остаток стремится к нулю при , т.е.

 

Ряд геометрической прогрессии

 

Исследуем сходимость ряда

,

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

Как известно, сумма первых n членов прогрессии находится по формуле . Найдем предел этой суммы:

.

Рассмотрим следующие случаи в зависимости от величины q:

1. Если , то при . Поэтому , ряд сходится, его сумма равна ;
2. Если , то при . Поэтому , ряд расходится;
3. Если , то при q=1 ряд принимает вид

a+a+a+…+a+…, для него и , т.е. ряд

расходится; при q=-1 ряд принимает вид

а – а + а – а +...- в этом случае при четном n и при нечетном n. Следовательно, не существует, ряд расходится.

Необходимый признак сходимости числового ряда.

Гармонический ряд.

Нахождение n -й частичной суммы и ее предела для произвольного ряда во многих случаях является непростой задачей. Поэтому для выяснения сходимости ряда устанавливают специальные признаки сходимости. Первым из них, как правило, является необходимый признак сходимости.

 

Теорема.

Если ряд сходится, то его общий член стремится к нулю, т.е. .

 

Пусть ряд сходится и . Тогда и . Учитывая, что при n>1, получаем:

.

 

Следствие (достаточное условие расходимости ряда)

Если или этот предел не существует, то ряд расходится.

 

Действительно, если бы ряд сходился, то (по теореме) . Но это противоречит условию. Значит, ряд расходится.

 

Теорема о сходимости дает необходимое условие сходимости ряда, но не достаточное: из условия не следует, что ряд сходится. Это означает, что существуют расходящиеся ряды, для которых .

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

Очевидно, что . Однако ряд расходится.

Как известно, . Отсюда следует, что при любом имеет место неравенство . Логарифмируя это неравенство по основанию е, получим:

,

т.е. ,

Подставляя в полученное неравенство поочередно n=1, 2, …, n – 1, n, получим:

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

 

 

Признаки сравнения рядов.

 

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

 

Теорема1.

Пусть даны два знакоположительных ряда

и

Если для всех n выполняется неравенство

,

то из сходимости ряда следует сходимость ряда , из расходимости ряда следует расходимость ряда .

 

Обозначим n -е частичные суммы рядов и соответственно через и . Из неравенства следует, что

Пусть ряд сходится и его сумма равна . Тогда . Члены ряда положительны, поэтому и, следовательно, с учетом неравенства . таким образом, последовательность () монотонно возрастает () и ограничена сверху числом . По признаку существования предела последовательность имеет предел , т.е. ряд сходится.

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

 

Теорема2 (предельный признак сравнения)

Пусть даны два знакоположительных ряда и . Если существует конечный, отличный от 0, предел , то ряды сходятся или расходятся одновременно.

 

По определению предела последовательности для всех n, кроме, возможно, конечного числа их, для любого выполняется неравенство , или .

Если ряд сходится, то из левого неравенства и теоремы1 вытекает, что ряд также сходится. Но тогда, согласно свойству1 числовых рядов, ряд сходится.

Если ряд расходится, то из правого неравенства , теоремы1, свойства 1 вытекает, что ряд расходится.

Аналогично, если ряд сходится (расходится), то сходящимся (расходящимся) будет и ряд .

 

Признак Даламбера

 

В отличии от признаков сравнения признак Даламбера позволяет часто решить вопрос о сходимости ряда, проделав лишь некоторые операции над самим рядом.

 

Теорема

Пусть дан ряд с положительными членами и существует конечный или бесконечный предел .

Тогда ряд сходится при l<1 и расходится при l>1.

 

Так как , то по определению предела для любого найдется натуральное число N такое, что при n>N выполняется неравенство

или .

Пусть l<1. Можно подобрать так, что число , . Обозначим , . Тогда из правой части неравенства получаем , или . В силу свойства 3 числовых рядов можно считать, что для всех n=1, 2, 3,… Давая номеру n эти значения, получим серию неравенств:

т.е. члены ряда меньше соответствующих членов ряда , который сходится как ряд геометрической прогрессии со знаменателем 0<q<1. Но тогда, на основании признака сравнения, сходится ряд , следовательно, сходится и исходный ряд .

Пусть l>1. В этом случае . Отсюда следует, что начиная с некоторого номера N, выполняется неравенство , или , т.е. члены ряда возрастают с увеличением номера n. Поэтому . На основании следствия из необходимого признака ряд расходится.

Если l=1, то ряд может быть как сходящимся, так и расходящимся.

 

Радикальный признак Коши

 

Теорема.

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

 

Как и для признака Даламбера, в случае, когда l=1, вопрос о сходимости ряда остается открытым. Доказательство теоремы аналогично доказательству признака Даламбера.

 

 

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

Знакочередующиеся ряды

 

Знакочередующимся рядом называется ряд вида

,

где для всех .

 

Теорема (достаточный признак Лейбница сходимости знакочередующегося ряда).

 

Знакочередующийся ряд сходится, если:

1. Последовательность абсолютных величин членов ряда монотонно убывает, т.е.
2. Общий член ряда стремится к нулю:

 

При этом сумма S ряда удовлетворяет неравенствам

 

Рассмотрим сначала частичную сумму четного числа (2m) членов ряда. Имеем

Выражение в каждой скобке, согласно первому условию теоремы, положительно. Следовательно, сумма и возрастает с возрастанием номера 2m.

С другой стороны, можно переписать так:

Легко видеть, что . Таким образом, последовательность возрастает и ограничена сверху. Следовательно, она имеет предел , причем .

Рассмотрим теперь частичные суммы нечетного числа (2m+1) членов ряда. Очевидно, что . Отсюда следует, что , т.к. в силу второго условия теоремы. Итак, как при четном n, так и при нечетном n. Следовательно, ряд сходится, причем .

 

 

Теорема.

Пусть дан знакопеременный ряд

Если сходится ряд ,

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

Рассмотрим вспомогательный ряд, составленный из членов рядов и :

Очевидно, что для всех . Но ряд сходится в силу условия теоремы и свойства 1 числовых рядов. Следовательно, на основании признака сравнения сходится и ряд . Поскольку данный знакопеременный ряд представляет собой разность двух сходящихся рядов

то, на основании свойства 2 числовых рядов, он сходится.

Обратное утверждение неверно.

 

Степенные ряды

Функциональные ряды

Основные понятия

Ряд, членами которого являются функции от х, называется функциональным:

Придавая х определенное значение , мы получим числовой ряд

,

который может быть как сходящимся, так и расходящимся.

Если полученный числовой ряд сходится, то точка называется точкой сходимости ряда ; если же ряд расходится – точкой расходимости функционального ряда.

Совокупность числовых значений аргумента х, при которых функциональный ряд сходится, называются его областью сходимости.

В области сходимости функционального ряда его сумма является некоторой функцией от х: S=S(x). Определяется она в области сходимости равенством ,где – частичная сумма ряда.

 

Среди функциональных рядов особую роль играет ряд, членами которого являются степенные функции аргумента х, т.е. так называемый степенной ряд:

Действительные (или комплексные) числа называются коэффициентами ряда, - действительная переменная.

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

 

Сходимость степенных рядов.

 

Область сходимости степенного ряда содержит по крайней мере одну точку: х=0 (ряд сходится в точке)

 

Теорема Н. Абеля

 

Теорема

Если степенной ряд сходится при , то он абсолютно сходится при всех значениях х, удовлетворяющих неравенству

 

По условию ряд сходится. Следовательно, по необходимому признаку сходимости . Отсюда следует, что величина ограничена, т.е. найдется такое число М>0, что для всех n выполняется неравенство , n=1, 2,..

Пусть , тогда величина и, следовательно, , т.е. модуль каждого члена ряда не превосходит соответствующего члена сходящегося (q<1) ряда геометрической прогрессии. Поэтому по признаку сравнения при ряд абсолютно сходящийся.

 

Следствие

Если ряд расходится при , то он расходится и при всех х, удовлетворяющих неравенству

 

Действительно, если допустить сходимость ряда в точке , для которой , то по теореме Абеля ряд сходится при всех х, для которых , и, в частности, в точке , что противоречит условию.

 

 

Свойства степенных рядов

 

1. Сумма S(x) степенного ряда является непрерывной функцией в интервале сходимости (-R;R).

2. Степенные ряды и , имеющие радиусы сходимости соответственно и , можно почленно складывать, вычитать и умножать. Радиус сходимости произведения, суммы и разности рядов не меньше, чем меньшее из чисел и .

3. Степенной ряд внутри интервала сходимости можно почленно дифференцировать; при этом для ряда

при –R<x<R выполняется равенство

1. Степенной ряд можно почленно интегрировать на каждом отрезке, расположенном внутри интервала сходимости; при этом для ряда при –R<a<x<R выполняется равенство

Ряды и имеют тот же радиус сходимости, что и исходный степенной ряд.

 

 

Ряды Тейлора и Маклорена

 

Как известно, для любой функции определенной в окрестности точки и имеющей в ней производные до (n+1)- го порядка включительно, справедлива формула Тейлора:

где – остаточный член в форме Лагранжа. Число с можно записать в виде , где . Формулу кратко можно записать в виде , где – многочлен Тейлора.

 

Если функция имеет производные любых порядков в окрестности точки и остаточный член стремится к нулю при , то из формулы Тейлора получается разложение функции по степеням , называемое рядом Тейлора:

Если в ряде Тейлора положить , то получим разложение функции по степеням х в так называемый ряд Маклорена:

Отметим, что ряд Тейлора можно формально построить для любой бесконечно дифференцируемой функции в окрестности точки . Но отсюда еще не следует, что он будет сходиться к данной функции ; он может оказаться расходящимся или сходиться, но не к функции .

 

Теорема1

Для того чтобы ряд Тейлора функции сходился к в точке х, необходимо и достаточно, чтобы в этой точке остаточный член формулы Тейлора стремился к нулю при , т.е. чтобы 0.

 

Пусть ряд Тейлора сходится к функции в некоторой окрестности точки , т.е. . Так как n -я частичная сумма ряда совпадает с многочленом Тейлора , т.е. находим:

Обратно, пусть 0. Тогда

 

Теорема2

Если модули всех производных функций ограничены в окрестности точки одним и тем же числом М>0, то для любого х из этой окрестности ряд Тейлора функции сходится к функции , т.е. имеет место разложение .

 

Согласно теореме1, достаточно показать, что 0. По условию теоремы2 для любого n имеет место неравенство . Тогда имеем:

Осталось показать, что . Для этого рассмотрим ряд

Так как , то по признаку Даламбера этот ряд сходится на всей числовой оси. Но тогда, в силу необходимого признака сходимости,

Следовательно, 0

 

Разложение некоторых элементарных функций в ряд Тейлора (Маклорена)

 

Для разложения функции в ряд Маклорена нужно:

А) найти производные , ,…, ,..;

Б) вычислить значения производных в точке ;

В) написать ряд для заданной функции и найти его интервал сходимости;

Ґ) найти интервал (-R;R), в котором остаточный член ряда Маклорена при . Если такой интервал существует, то в нем функция и сумма ряда Маклорена совпадают.

 

Приведем таблицу, содержащую разложения в ряд Маклорена некоторых элементарных функций:

 

 

Докажем формулу.

 

Пусть

 

Имеем:

А)

Б)

В) , т.е. ряд сходится в интервале ;

Ґ) для всех имеем , т.е. все производные в этом интервале ограничены одним и тем же числом . Следовательно, . Таким образом, .

 

Докажем формулу.

 

Пусть f(x)=sin x

 

Имеем:

А)

Б)

В) Легко проверить, что полученный ряд сходится на всей числовой оси, т.е. при всех

Ґ) любая производная функция f(x)=sin x по модулю не превосходит единицы, . Следовательно, имеет место разложение f(x)=sin x.

 

Докажем формулу

 

Пусть f(x)=cos x

 

Формулу f(x)=cos x можно доказать так же, как и формулу f(x)=sin x. Однако проще получить разложение функции cos x, воспользовавшись свойством 3 степенных рядов. Продифференцировав почленно ряд f(x)=sin x, получим:

 

Докажем формулу

 

Пусть ,

 

Имеем:

А)

 

Б)

В)

Ґ) , т.е. составленный для функции ряд сходится в интервале (-1;1), остаточный член стремится к нулю при .

 

Ряд называется биномиальным. Если , то все члены ряда с (n+1)- го номера равны 0, так как содержат множитель . В этом случае ряд представляет собой известную формулу бинома Ньютона:

 

Докажем формулу

 

Пусть

 

Формула может быть получена разными способами:

1)пользуясь правилом разложения функции в ряд;

2)рассматривая ряд как ряд геометрической прогрессии, первый член которой равен 1 и знаменатель q=x; известно, что данный ряд сходится при и его сумма равна

3)воспользовавшись формулой