Как найти центр степенного ряда

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

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

Определение

Степенным
рядом
называется функциональный ряд

, (15)

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

Точка
x₀
называется
центром
степенного ряда.

Пример
20

Ряд
– степенной ряд с центром в точке.

Ряд
– степенной ряд с центром в точке.

Ряд
– функциональный ряд.

Исследование
степенного ряда на сходимость, а именно
нахождение области сходимости степенного
ряда, является важной задачей теории
рядов. Ее решение основано на теореме
Абеля.

ТЕОРЕМА
11 (Теорема Абеля)

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

.

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

.

Доказательство

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

По
условию
числовой
ряд

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

Рассмотрим
общий член степенного ряда
.

,

,
так как
.

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

2)
Вторую часть теоремы можно доказать
аналогично. 

Геометрическая
интерпретация этой теоремы

Если
ряд (1) сходится в точке
,
то он сходится и во всех точках,
расположенных ближе к центру степенного
ряда
,
чем.
Если же ряд расходится при
,
то он расходится и во всех более удаленных
от центра ряда точках.

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

Число
называетсярадиусом
сходимости
ряда
,
а интервал
–интервалом
сходимости.

В
частном случае интервал сходимости
степенного ряда может совпадать со всей
числовой осью (в этом случае
)
или может превращаться в точку (в этом
случае).
Заметим, что интервал сходимости всегда
симметричен относительно центра
степенного ряда.

Пример
21.
Найти интервал сходимости степенного
ряда

.

Решение

Первый
способ решения

Рассмотрим
ряд, составленный из абсолютных величин
членов данного ряда:
.
Применим признак Даламбера:

.

Если
,
то ряд сходится. Итак,,–
интервал сходимости данного ряда.
Поведение данного ряда на концах
интервала сходимости, т.е. в точкахи,
исследуется отдельно.

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

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

Второй
способ решения

Если
для степенного ряда (2) существует
,
то радиус сходимости степенного ряда
можно вычислить по формуле

В
нашем случае
и,
поэтому

.

Так
как
– центр степенного ряда, то– интервал сходимости данного ряда.

Сходимость
ряда на концах интервала сходимости
исследована выше.

Итак,
данный ряд сходится абсолютно при
и условно при.

Соседние файлы в предмете Высшая математика

• #
• #
• #
• #
• #

Содержание:

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

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

Такие ряды называются степенными, а числа

Область сходимости степенного ряда

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

Пример:

Найти область сходимости степенного ряда

Решение:

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

Структура области сходимости степенного ряда устанавливается с помощью теоремы Абеля.

Теорема Абеля. 1) Если степенной ряд сходится при значении (отличном от нуля), то он сходится и, притом абсолютно, при всех значениях х таких, что . 2) Если степенной ряд расходится при то он расходится при всех значениях х таких, что .

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

Рассмотрим ряд, составленный из абсолютных величин членов ряда (14.1) который представим в виде

Члены ряда (14.3) согласно неравенству (14.2) меньше соответствующих членов ряда

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

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

Из теоремы Абеля (см. рис. 14.1) следует, что существует такое число что при ряд сходится, а при — расходится.

Число получило название радиуса сходимости, а интервал — интервала сходимости степенного ряда. На концах интервала сходимости, т.е. при ряд может как сходиться, так и расходиться (см. рис. 14.1).

Найдем выражение радиуса сходимости степенного ряда (14.1) через его коэффициенты. Рассмотрим ряд, составленный из абсолютных величин его членов

в котором все коэффициенты , по крайней мере начиная с некоторого номера , отличны от нуля. По признаку Даламбера ряд (14.4) сходится, если

будет меньше 1, т.е. Если этот предел существует, то он и является радиусом сходимости ряда (14.1), т.е.

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

Пример:

Найти область сходимости степенного ряда

Решение:

Найдем радиус сходимости ряда по формуле (14.5) т.е. интервал сходимости ряда

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

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

Итак, область сходимости данного ряда

Замечание. При исследовании сходимости на концах интервала сходимости для получающегося ряда с положительными членами применять признак Даламбера не имеет смысла, так как в этом случае всегда будем получать с нерешенным вопросом о сходимости ряда; в этом случае рекомендуется рассматривать другие признаки сходимости (например, признак сравнения, необходимый признак и т.д.).

Пример:

Найти области сходимости степенных рядов:

Решение:

а) Радиус сходимости ряда по (14.5)

т.е. область сходимости ряда

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

Итак, область сходимости ряда состоит из одной точки

Пример:

Найти область сходимости ряда

Решение:

Найти радиус сходимости по формуле (14.5) в данном случае не представляется возможным, так как коэффициенты ряда и т.д. равны нулю. Поэтому непосредственно применим признак Даламбера. Данный ряд будет абсолютно сходиться, если и расходиться, если Поэтому найдем

Следовательно, ряд сходится при или на интервале

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

Итак, область сходимости ряда

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

Кроме того, в интервале сходимости степенной ряд можно почленно дифференцировать:

При этом после интегрирования или дифференцирования полученные ряды имеют тот же радиус сходимости

Определение степенного ряда и его сходимости

Понятое функциональной зависимости является одним из важнейших в математике. Всякая функция осуществляет некоторое соответствие между объектами, составляющими область задания этой функции, и объектами, составляющими область её значений. Так можно рассматривать функции, которые ставят в соответствие числам — ряды. Эти функции называются функциональными рядами, т.е. функциональный ряд это выражение

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

является функциональным рядом.

Придавая в выражении (29.1.1) переменной х некоторые значения мы будем получать числовые ряды

которые могут оказаться, как сходящимися, так и расходящимися.

В простейших случаях для определения сходимости ряда (29.1.1) можно применять к нему известные признаки сходимости числовых рядов, считая х фиксированным.

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

где — действительные числа, независящие от переменной х, называется степенным относительно переменной х рядом. Числа называются коэффициентами этого ряда.

Если в ряде (29.1.2) сделать замену переменного, положив

, то получим ряд . В дальнейшем будем использовать букву x:

Очевидно, что исследование сходимости ряда (29.1.2) эквивалентно исследованию сходимости ряда (29.1.3). Примером степенного ряда может служить ряд

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

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

Остатком степенного ряда после n -го его члена (или n -ым остатком) называется ряд, полученный из заданного исключением n его первых членов:

Определение 29.1.3. Степенной ряд называется сходящимся на некотором множестве, если он сходится в любой точке этого множества.

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

Степенной ряд (29.1.3) при тех или иных конкретных значениях переменной x превращается в числовой ряд; так если , то получим числовой ряд:

Соответствующий числовой ряд а0 +о,л:0 +… сходится абсолютно, если сходится ряд составленный из модулей его членов.

Так как каждой точке сходимости ряда (29.1.3) ставится в соответствие определенное значение суммы (29.1.4), то сумма сходящегося на некотором множестве степенного ряда является функцией переменной x. Тогда Если обозначить сумму остатка через , то в области сходимости степенного ряда справедливо равенство:

Для сходящегося степенного ряда предел остатка равен нулю:

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

Сумма, разность и произведение заданных степенных рядов определяется формулами:

где

Например, сумма, разность и произведение степенных рядов:

имеет вид:

где

Радиус сходимости, интервал сходимости

Области сходимости степенных рядов устроены довольно просто. Они описываются следующей теоремой.

Теорема 29.2.1 (теорема Абеля). Если степенной ряд

сходится при некотором , то он сходится абсолютно при всех значениях х, для которых

Если же степенной ряд (29.2.1) расходится при , то он расходится при всех значениях х, для которых.

Доказательство. Предположим сначала, что степенной ряд (29.2.1) сходится в точке . Это значит, что сходится числовой ряд

Тогда, в силу необходимого признака сходимости, и поэтому члены этого ряда ограничены, т.е. найдется такое К, что при любом номере . В силу этого для n -го члена ряда (29.2.1) получаем следующею оценку

Если , то ряд , являясь геометрической прогрессией со знаменателем сходится. Поэтому, в силу I признака сравнения и так как , сходится и ряд А это означает абсолютную сходимость ряда (29.2.1), при

Предположим теперь, что степенной ряд (29.2.1) расходится, при , т.е. расходится числовой ряд:

Возьмём тогда некоторое значение х, для которого и предположим, что ряд в этой точке

сходится. Но тогда из сходимости этого ряда, в силу первой части доказательства теоремы, вытекает сходимость ряда (29.2.2), что противоречит предположению, о его расходимости. Полученное противоречие означает, что для всех степенной ряд (29.2.1) расходится.

Если ряд (29.2.1) имеет вещественные коэффициенты и переменная х принимает только вещественные значения, то справедливо следующее определение, вытекающее из теоремы Абеля.

Определение 29.2.1. Величина (R-число или символ)

такая, что при всех х, у которых сходится, а при всех X у которых расходится, называется радиусом сходимости степенного ряда (29.2.1).

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

Итак, из определения 29.2.1 и теоремы Абеля следует, что областью сходимости степенного ряда — является интервал сходимости. И если значение переменной х, принадлежит интервалу сходимости, то можно говорить о сумме степенного ряда (29.2.1) в точке. Таким образом, значение суммы степенного ряда зависит от значения переменной х, т.е. сумма степенного ряда сама является функцией переменной х. Эта функция ничем не отличается от обычной функции и, следовательно, можно говорить о дифференцировании, непрерывности, интегрируемости и других ее свойствах.

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

Для степенных рядов справедливы следующие свойства:

1) Степенной ряд сходится равномерно внутри интервала сходимости.

2) Внутри интервала сходимости ряда сумма его является непрерывной функцией.

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

4) Если степенной ряд

имеет радиус сходимости R , то и ряд

получаемый в результате почленного дифференцирования ряда (29.2.3) также имеет радиус сходимости R. Производная суммы ряда (29.2.3) равна сумме ряда (29.2.4), т.е.

Вычисление интервала сходимости

Как уже было сказано в и. 2 областью сходимости степенного ряда является интервал сходимости. Более того, из теоремы Абеля следует, что областью сходимости степенного ряда является интервал с центром в начале координат (рис 29.1).

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

Заметим, что на концах интервала вопрос о сходимости или расходимости решается индивидуально в каждом конкретном случае. У некоторых рядов интервал сходимости может вырождаться в точку, у других охватывать всю ось Ох.

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

Пусть задан степенной ряд Составим ряд из модулей членов данного ряда и применим признак Д’Аламбера, т.е.

вычислим предел

Если этот предел меньше единицы, то, как следует из признака Д’Аламбера, ряд, составленный из модулей членов ряда (29.2.1) сходится, т.е. ряд сходится если

Если же , то ряд (29.2.1) расходится.

А это означает, что если , то степенной ряд (29.2.1) сходится абсолютно, а при . степенной ряд расходится.

Учитывая определение радиуса сходимости степенного ряда, получим, что радиус сходимости можно вычислить по формуле:

Рассуждая аналогичным образом можно получить еще одну формулу для определения радиуса сходимости:

Если степенной ряд содержит только четные или нечетные степени х, то применяем признак Д’Аламбсра или Коши к ряду, составленному из модулей членов данного ряда.

Пример №1

Найти радиус и интервал сходимости степенного ряда:

Решение:

Выпишем вначале значения

Для определения радиуса сходимости воспользуемся формулой (29.3.1):

Итак, степенной ряд сходится для |х| 1.

Исследуем сходимость ряда на концах интервала сходимости.

Пусть х =—1. Тогда получим знакочередующийся ряд который согласно признаку Лейбница сходится. Пусть х = 1. Получим числовой ряд который расходится, так как является гармоническим рядом.

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

Пример №2

Найти радиус и интервал сходимости степенного ряда

Решение:

Выпишем вначале значения

Для определения радиуса сходимости воспользуемся формулой (29.3.2):

Так как , то исследуемый ряд сходится для всех х.

Пример №3

Найти радиус и интервал сходимости степенного ряда:

Решение:

Выпишем вначале значения

Для определения радиуса сходимости воспользуемся формулой (29.3.1):

Так как радиус сходимости равен нулю, то ряд сходится только в одной точке x= 0.

Пример №4

Найти радиус и интервал сходимости степенного ряда

Решение:

Данный ряд содержит только четные степени (а- — 5), коэффициенты при нечетных степенях равны нулю. Поэтому воспользоваться формулами (29.3.1) и (29.3.2) не представляется возможным.

Считая х фиксированным, применим признак Д’Аламбера к ряду, составленному из модулей членов данного ряда. Выпишем значения

Тогда

так как

Ряд сходится, если или

Это значит, что ряд сходится в интервале

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

который сходится, как ряд Дирихле, для которого а = 4. При получим тот же сходящийся числовой ряд. Следовательно, данный ряд сходится на отрезке

Пример №5

Найти радиус и интервал сходимости степенного ряда

Решение:

Выпишем значение и вычислим радиус сходимости данного ряда по формуле (29.3.2):

Так как , то данный ряд сходится в интервале

Исследуем его сходимость на концах интервала.

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

Предел общего члена полученного ряда не стремится к нулю:

Следовательно, данный ряд расходится. И при получим расходящийся числовой ряд: Следовательно, интервал сходимости данного ряда.

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

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

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

где заключено между и х. Формула (29.4.1) называется формулой Тейлора с оста точным членом в форме Лагранжа.

В формуле Тейлора обозначим:

пункта 27.2 (теорема 27.2.1) следует, что если

то степенной ряд

сходится и его суммой будет функция f(х), так как Следовательно,

Справедливо и обратное утверждение, что если степенной ряд (29.4.3) сходится, то выполняется (29.4.2).

Определение 29.4.1. Представление функции f в виде ряда

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

Следует заметить, что остаточный член в формуле Тейлора для функции J не обязательно является остатком ряда Тейлора для этой функции. Поэтому из сходимости ряда Тейлора для функции f , еще не следует сходимость именно к этой функции. При разложении функции в ряд Тейлора необходимо проверять условие (29.4.2). Однако сели разложение функции в какой-либо степенной ряд вообще возможно, то оно является разложением в ряд Тейлора, т.е. справедлива следующая теорема.

Теорема 29.4.1. Пусть

и стоящий справа ряд сходится в интервале к функции f . Тогда этот ряд является рядом Тейлора, т.е.

Доказательство. Так как степенной ряд в интервале сходимости можно почленно дифференцировать, то n-ую производную функции (29.4.4) можно представить в виде:

Полагая в последнем тождестве , получим (все другие слагаемые равны нулю). Откуда и следует (29.4.5).

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

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

Теорема 29.4.2. Если при любых х, удовлетворяющих неравенствупроизводные функции f(x) для любых п ограничены одним и тем же числом С > 0 т.е.

то ряд Тейлора, для этой функции, сходится в интервале и его сумма равна f(x).

Доказательство. Из условия теоремы следует, что функцию f можно представить формулой Тейлора с остаточным членом в форме Лагранжа, т.е.

Оценим остаток:

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

Воспользовавшись асимптотической формулой Стерлинга, получим:

так как стспснно-показательная функция и взрастает быстрее показательных функций

Тогда из неравенства (29.4.6) получим:. Слсдова-

сходится к функции f(х). Теорема доказана.

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

Из пункта 29.4 следует, что для того чтобы некоторая функция разлагалась в ряд Тейлора нужно, чтобы она имела производные любого порядка и чтобы либо (где С> 0 — произвольная постоянная), для любых n и . Рассмотрим разложение некоторых функций в ряд Маклорена.

1. Разложение функции.

Находим производные данной функции и их значения при х=0. Так как

и формула Маклорена для функции имеет вид:

где заключено между 0 и х.

Вычислим предел остаточного члена, для любого х:

Выражение как общий член сходящегося ряда . Множитель в выражении остаточного члена не превосходит при х > 0 , и единицы при х 0. Это означает, что остаточный член стремится к нулю при всех значениях x

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

2. Разложение функций cos х и sin х. Для функции cos x имеем:

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

и формула

Маклорена с остаточным членом в форме Лагранжа для функции cosx имеет вид:

Ясно, что для любого X

Поэтому, функция cos л- разлагается в ряд Маклорена вида:

Аналогично получается разложение в ряд Маклорена функции sinx:

3. Биномиальный ряд.

Найдем разложение в степенной ряд функции

где m -произвольное действительное число.

Дифференцируя равенство (29.5.1) n раз, получим:

Значения функции и се производных при х = 0 равны:

Следовательно, ряд Маклорена имеет вид:

Если m- целое, то выражение (29.5.2) содержит конечное число членов. Если же m- нецелое, то выражение (29.5.2)- бесконечный ряд, называемый биномиальным.

Определим вначале радиус сходимости этого ряда, для чего применим признак Д’Аламбсра к ряду, составленному из модулей его членов:

Следовательно, при |х| 1, биномиальный ряд абсолютно сходится, т.е. существует сумма S(x) этого ряда.

Покажем теперь, что ряд (29.5.2) сходится к функции ‘. Для этого продифференцируем ряд (29.5.2) , получим:

Умножим обе части (29.5.3) на и приведем подобные члены. Получим степенной ряд, в котором коэффициент при равен сумме двух слагаемых:

Эта сумма, как показано, равна произведению коэффициента при , ряда (29.5.2), на m . Следовательно, в интервале сходимости биномиального ряда, имеем равенство:

С другой стороны, вычисляя производную отношения

получим:-в силу (29.5.4).

Решая дифференциальное уравнение , последовательно получим:

Пусть x = 0, тогда S(0) = С. Из (29.5.2) следует, что S(0) = 1, тогда С = 1.

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

Итак, разложение

имеет место при всех х, удовлетворяющих условию . Придавая m конкретные значения можно получать разложения различных функций в степенные ряды. В общем случае разложение (29.5.5) даст обобщение бинома Ньютона для какого угодно показателя m.

Применение рядов в приближенных вычислениях

Разложения функций в ряд Маклорена позволяют во многих случаях вычислить с большой степенью точности значения этих функций, заменяя ее конечным числом членов разложения. Чем меньше х, тем меньше членов можно брать в этом разложении для вычисления f(х) с желаемой точностью. Если х весьма мало, то достаточно ограничится первыми двумя членами, отбросив все остальные. Например, при х близких к нулю можно пользоваться следующими приближенными формулами:

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

Имеем, Остаточный член

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

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

Например, известно, что

С другой стороны,

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

В частности, при x = 0,1, получим:

Этот ряд знакочередующийся. Поэтому, его остаток не превосходит первого «отброшенного» члена. Удерживая в разложении первых два слагаемых, получим значение arctg 0,1 = 0,09967 с пятью верными знаками.

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

Пример №6

Вычислить с точностью до 0,0001.

Решение:

Представим, этот корень в виде

и воспользуемся разложением бинома:

следующим член , поэтому точность нужная получена.

В общем случае можно записать:

где , причем, так как всегда можно подобрать целое число а так, чтобы m -ая степень а была, по возможности, ближе к А.

Кроме того, биномиальный ряд является основой многих дальнейших разложений функций в ряды. Например, можно найти разложение в ряд Маклорена функции:

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

Например, вычислим интегральный синус:

Имеем

тогда

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

При помощи разложении в степенные ряды можно приближенно интегрировать разнообразные дифференциальные уравнения.

Например, найдем решение уравнения при начальных условиях

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

Вычислим первую и вторую производные от этого ряда:

и подставив у, в заданное уравнение:

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

Получаем систему уравнений, из которой находим:

Замечаем, что отличными от нуля будут лишь те коэффициенты, у которых индекс и степень делятся на 3. Получим решение заданного дифференциального уравнения в виде:

• Заказать решение задач по высшей математике

Ряд Маклорена

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

Выразим коэффициенты ряда через . Найдем производные функции , почленно дифференцируя ряд раз:

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

Подставляя значения коэффициентов получим ряд

называемый рядом Маклорена.

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

Так же как и для числовых рядов, сумму ряда Маклорена можно представить в виде (13.9)

где — -я частичная сумма ряда; — -й остаток ряда.

Тогда на основании свойства 4 сходящихся рядов (см. §13.1) можно сформулировать теорему.

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

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

Можно доказать, что если функция разложима в ряд Маклорена, то это разложение единственное.

Замечание. Ряд Маклорена является частным случаем ряда Тейлора:

при

Ряд Тейлора тесно связан с формулой Тейлора.

где — остаточный член формулы Тейлора:

), записанный в форме Лагранжа.

Очевидно, что при выполнении условия (14.7) остаток ряда Тейлора равен остаточному члену формулы Тейлора.

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

По формуле (13.6)

Область сходимости ряда .

Очевидно, что производные четного порядка , а нечетного порядка . По формуле (14.6)

Область сходимости ряда

Рассматривая аналогично, получим

Область сходимости ряда

Интервал сходимости ряда (на концах интервала при сходимость ряда зависит от конкретных значений от).

Ряд (14.11) называется биномиальным. Если — целое положительное число, то биномиальный ряд представляет формулу бинома Ньютона, так как при -й член ряда и все последующие равны нулю, т.е. ряд. обрывается, и вместо бесконечного разложения получается конечная сумма.

Получить разложение для этой функции можно проще, не вычисляя непосредственно коэффициенты ряда (14.6) с помощью производных.

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

со знаменателем который сходится при т.е. при к функции

Интегрируя почленно равенство (14.12) в интервале где , с учетом того, что получим

Область сходимости ряда (после выяснения сходимости на концах интервала сходимости) есть

Можно доказать, что ряды, приведенные в формулах (14.8) — (14.13), сходятся к функциям, для которых они составлены.

При разложении более сложных функций используют непосредственно формулу (14.6) либо таблицу простейших разложений (14.8) — (14.13).

Пример №7

Разложить в ряд функции:

Решение:

а) Так как по (14.8)

то, заменяя получим

и, наконец,

Область сходимости ряда

б) В разложении заменим получим

Теперь

Область сходимости ряда

Применение рядов в приближенных вычислениях

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

Пример №8

Вычислить приближенно с точностью до

Решение:

а) Для вычисления запишем ряд (14.8) при принадлежащем области сходимости

Взяв первые шесть членов разложения, на основании следствия из теоремы Лейбница (см. § 13.4) для сходящегося знакочередующегося ряда мы допустим погрешность не превышающую первого отброшенного члена (по абсолютной величине), т.е.

б) Для вычисления запишем ряд (14.13) при входящем в область сходимости ряда

Если в качестве взять первые четыре члена, мы допустим погрешность

(Мы учли, что сумма сходящегося геометрического ряда в

скобках равна .) Итак, 1 -q 1-0,2

Следует отметить, что для вычисления логарифмов более удобным является ряд (14.14), который сходится быстрее ряда (14.13). Действительно, пусть тогда и согласно (14.14)

т.е. для вычисления с точностью до потребуется всего два члена. С помощью ряда (14.14) можно вычислять логарифмы любых чисел, в то время как с помощью ряда (14.13) -лишь логарифмы чисел, расположенных на промежутке

в) Представим в виде

Так как входит в область сходимости степенного ряда то при учитывая (14.11), получим

(Для обеспечения данной точности расчета необходимо взять 4 члена, так как по следствию из признака Лейбница для сходящегося знакочередующегося ряда погрешность )

г) Для вычисления запишем ряд (14.9) при принадлежащем области сходимости

(Необходимо взять два члена, так как при этом погрешность

д)«Точное» интегрирование здесь невозможно, так как интеграл «неберущийся». Заменив в разложении (14.8), получим

Умножая полученный ряд на

и почленно интегрируя в интервале принадлежащем интервалу сходимости ряда , получим

Оценка погрешности вычисления производится так же, как в примерах а), в) и г). ►

Пример №9

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

Решение:

Радиус сходимости ряда (14.15), заданного по степеням находится по той же формуле (14.5);

т.е. Интервал сходимости ряда (14.15) определяется из условия В данном примере интервал сходимости ряда есть или

Исследуем сходимость ряда (14.15) на концах этого интервала. При ряд принимает вид т.е. представляет сумму двух рядов. Первый, знакочередующийся ряд сходится (условно) (см. § 13.4), а второй ряд исследуем на сходимость с помощью признака Даламбера: т.е. ряд сходится, а следовательно, сходится и ряд (14.15) при

При ряд (14.15) имеет вид Первый из полученных рядов — гармонический — расходится, а второй — сходится на основании признака абсолютной сходимости, так как выше было показано, что ряд из абсолютных величин его членов сходится. Следовательно, ряд (14.15) при расходится. (Установить расходимость этого ряда с положительными членами при любом можно было и с помощью признака сравнения, так как его члены при превосходят члены расходящегося гармонического ряда, умноженные на

Итак, область сходимости степенного ряда (14.15)

Пример №10

Разложить в ряд Маклорена функцию

Решение:

Первый способ. Применим метод непосредственного разложения по формуле (14.6).

Вначале найдем производные до «-го порядка и вычислим их значения при

При значения функции и ее производных:

и т.д. Теперь по формуле (14.6) запишем ряд

или

Второй способ. Учитывая, что используем готовое разложение (14.10) для функции (в котором вместо берем ), умножаем обе части полученного равенства на а затем прибавляем к ним Получим

и

или

т.е. то же разложение (14.16).

Третий способ. Разложение функции может быть осуществлено с помощью правила перемножения рядов. Если в некоторой окрестности точки имеют место разложения

то произведение функций разлагается в той же окрестности в степенной ряд

В частности, при получаем следующее правило возведения в квадрат степенного ряда:

Для функции имеющей разложение в ряд (14.9), т.е.

находим по формуле (14.17)

т.е. получили то же разложение (14.16).

Область сходимости ряда, как нетрудно убедиться, есть ►

Пример №11

Вычислить с точностью до

Решение:

Выражение данного интеграла в виде числового ряда находится

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

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

ибо выражение в круглых скобках представляет сумму сходящегося геометрического ряда (13.5) при

При

(Легко вычислить, что при любых ) Итак, для обеспечения данной в условии точности вычисления интеграла необходимо взять первые 7 членов:

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

Возьмем последовательность натуральных чисел n{n} и поставим каждому n{n} в соответствие функцию fn(x)f_n (x). Если функции fn(x)f_n (x) определены на некотором множестве x∈Ex in E, E⊂RE subset R, то на множестве EE определено выражение:

f1(x)+f2(x)+f3(x)+…+fn(x)+…,f_1 (x)+f_2 (x)+f_3 (x)+ ldots +f_n (x)+ ldots,

состоящее из функций fn(x)f_n (x), которое называется функциональным рядом.

В общем виде функциональный ряд записывается как:

∑n=1∞fn(x)sumlimits_{n=1}^{infty} f_n(x)

Примеры функциональных рядов

1+cos⁡x2!+cos⁡2×3!+cos⁡3×4!+…+cos⁡nx(n+1)!+…=∑n=1∞cos⁡nx(n+1)!1+frac{cos x}{2!}+frac{cos 2x}{3!}+frac{cos 3x} {4!} +ldots +frac{cos nx}{(n+1)!}+ldots=sumlimits_{n=1}^{infty}frac{cos nx} {(n+1)!}

ex−ex+13+ex+29−ex+327+…+(−1)nex+n3n+…=∑n=0∞(−1)nex+n3ne^{x}-frac{e^{x+1}}{3}+frac{ e^{x+2}}{9}-frac{e^{x+3}}{27} +ldots +(-1)^nfrac{ e^{x+n}}{3^n}+ldots=sumlimits_{n=0}^{infty} (-1)^n frac{ e^{x+n}}{3^n}

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

a0+a1(x−x0)+a2(x−x0)2+…+an(x−x0)n+…=∑k=0∞ak(x−x0)ka_0+a_1(x-x_0)+a_2(x-x_0)^2+ldots+a_n(x-x_0)^n+ldots=sumlimits_{k=0}^{infty} a_k(x-x_0)^k

где a0,a1,…,an,…a_0, a_1, ldots, a_n, ldots – постоянные, коэффициенты ряда,

x0x_0 – центр интервала сходимости ряда ∣x−x0∣<R|x-x_0|<R,

RR – радиус сходимости степенного ряда.

Примеры степенных рядов

12+2!(x−5)4+3!(x−5)28+…+(n+1)!(x−5)n2n+1+…=∑n=0∞(n+1)!(x−5)n2n+1frac{1}{2}+frac{2!(x-5)}{4}+frac{3!(x-5)^2}{8}+ldots +frac{(n+1)!(x-5)^n}{2^{n+1}}+ldots =sum limits_{n=0} ^{infty} frac{(n+1)!(x-5)^n}{2^{n+1}}

ex−ex+13+ex+29−ex+327+…+(−1)nex+n3n+…=∑n=0∞(−1)nex+n3ne^{x}-frac{e^{x+1}}{3}+frac{ e^{x+2}}{9}-frac{e^{x+3}}{27} +ldots +(-1)^nfrac{ e^{x+n}}{3^n}+ldots=sumlimits_{n=0}^{infty} (-1)^n frac{ e^{x+n}}{3^n}

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

Сумму SnS_n первых nn членов степенного ряда называют nn–й частичной суммой:
Sn(x)=a0+a1(x−x0)+a2(x−x0)2+…+an(x−x0)nS_n(x)= a_0+a_1(x-x_0)+a_2(x-x_0)^2+ldots+a_n(x-x_0)^n

Если при определенном значении x∈Ex in E существует конечный предел:

lim⁡n→∞Sn(x)=S(x)limlimits_{n to infty } S_n (x) = S (x)

то ряд называется сходящимся, а значение S(x)S(x) называют суммой ряда. Если сходится ряд, составленный из абсолютных величин его членов, то такой ряд называется абсолютно сходящимся.
Если степенной ряд сходится в точке x=x1x=x_1, то он сходится абсолютно и при:

∣x∣<∣x1∣|x|<|x_1 |

Если степенной ряд расходится в точке x=x2x=x_2, то он расходится и при:

∣x∣>∣x2∣|x|>|x_2 |

Интервалом сходимости степенного ряда является:

(x0−R,x0+R)(x_0-R,x_0+R)

Здесь RR – радиус сходимости степенного ряда. Степенной ряд расходится при:

∣x−x0∣>R|x-x_0 |>R

Для граничных точек интервала

∣x−x0∣>R|x-x_0 |>R

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

Основные признаки сходимости

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

1-й признак сравнения

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

∑n=1∞unsum limits_{n=1} ^{infty} u_n и ∑n=1∞vnsum limits_{n=1} ^{infty} v_n

причем, un≤vnu_n le v_n для всех номеров, начиная с некоторого nn. Тогда:

1. Если ряд ∑n=1∞vnsum limits_{n=1} ^{infty} v_n сходится, то сходится и ряд ∑n=1∞unsum limits_{n=1} ^{infty} u_n

2. Если ряд ∑n=1∞unsum limits_{n=1} ^{infty} u_n расходится, то расходится и ряд ∑n=1∞vnsum limits_{n=1} ^{infty} v_n

2-й признак сравнения

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

∑n=1∞unsum limits_{n=1} ^{infty} u_n и ∑n=1∞vnsum limits_{n=1} ^{infty} v_n

и существует конечный и отличный от нуля предел:

lim⁡n→∞unvn≠0limlimits_{n to infty } dfrac{ u_n }{ v_n }ne 0

Тогда ряды

∑n=1∞unsum limits_{n=1} ^{infty} u_n и ∑n=1∞vnsum limits_{n=1} ^{infty} v_n

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

Признак Лейбница для знакочередующихся рядов

При исследовании степенных рядов на сходимость часто используется признак Лейбница для знакочередующихся рядов. Ряд, содержащий как положительные, так и отрицательные члены, называют знакопеременным.

Ряд вида:

b1−b2+b3−b4+…+(−1)n+1bn+1+…=∑k=1∞(−1)k+1bk+1b_1-b_2+b_3-b_4+ ldots +{(-1)}^{n+1}b_{n+1}+ldots=sumlimits_{k=1} ^ {infty}{(-1)}^{k+1}b_{k+1},

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

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

b1>b2>b3>b4>…>bn>…b_1>b_2>b_3>b_4> ldots >b_{n}> ldots, т.е когда члены ряда по модулю монотонно убывают

и

lim⁡n→∞an=0limlimits_{n to infty }{a_n}=0, т.е. когда общий член ряда стремится к нулю при n→∞n to infty, ряд сходится. Если, помимо этого, сходится ряд

b1+b2+b3+b4+…+bn+1+…=∑k=1∞bk+1b_1+b_2+b_3+b_4+ ldots + b_{n+1}+ldots=sumlimits_{k=1} ^ {infty} b_{k+1}

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

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

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

∑n=1∞unsum limits_{n=1} ^{infty} u_n

и существует конечный предел

lim⁡n→∞un+1un=1limlimits_{n to infty } dfrac{ u_{n+1} }{ u_n }=1

Тогда, если l<1l<1, то данный ряд сходится; если же l>1l>1, то – расходится. Если l=1l=1 , то ряд может сходиться или расходиться; в этом случае требуется исследовать ряд с помощью других методов.

Признак Коши

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

∑n=1∞unsum limits_{n=1} ^{infty} u_n

такой, что существует конечный предел

lim⁡n→∞unn=1limlimits_{n to infty } sqrt [n] { u_n }=1

Тогда, если l<1l<1, то ряд сходится. В случае, если l>1l>1, то ряд расходится. Если же l=1l=1, то вопрос о сходимости рядя требует дополнительного исследования.

Интегральный признак сходимости

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

∑n=1∞unsum limits_{n=1} ^{infty} u_n

для которого существует положительная, непрерывная и монотонно убывающая на промежутке [1,+∞)[1, +infty) функция f(x)f(x) такая, что f(n)=an,n=1,2,…f(n)=a_n, n=1,2, ldots

Тогда данный ряд и несобственный интеграл ∫0∞f(x)dxintlimits_0^infty f(x) dx сходятся или расходятся одновременно.

Примеры исследования степенных рядов

Пример 1

Найти область сходимости ряда

∑n=1∞(x−1)n+12n(n+1)sum limits_{n=1} ^{infty} dfrac{(x-1)^{n+1}}{2^n {(n+1)}}

Используем признак Даламбера. Учитывая, что

∣an+1an∣=∣(x−1)(n+1)+12n+1(n+1+1):(x−1)n+12n(n+1)∣=∣(x−1)n+2(x−1)n+1⋅2n2n+1⋅n+1n+2∣=∣x−1∣2⋅n+1n+2Bigl| dfrac{a_{n+1}}{a_n} Bigr|= Bigl| dfrac {(x-1)^{(n+1)+1}}{2^{n+1}(n+1+1)}: dfrac {(x-1)^{n+1}}{2^n(n+1)}Bigr|= Bigl| dfrac {(x-1)^{n+2}}{(x-1)^{n+1}}cdot dfrac {2^n}{2^{n+1}}cdot dfrac {n+1}{n+2}Bigr|=dfrac {|x-1|}{2} cdot dfrac{n+1}{n+2}

находим:

lim⁡n→∞∣an+1an∣=lim⁡n→∞(∣x−1∣2⋅n+1n+2)=∣x−1∣2⋅lim⁡n→∞1+1n1+2n=∣x−1∣2limlimits_{n to infty }Bigl| dfrac{a_{n+1}}{a_n} Bigr|= limlimits_{n to infty} left(dfrac {|x-1|}{2} cdot dfrac{n+1}{n+2}right)= dfrac {|x-1|}{2} cdot limlimits_{n to infty }dfrac{1+dfrac{1}{n}}{1+dfrac{2}{n}}=dfrac {|x-1|}{2}

Для определения требуемых значений xx решаем неравенство:

∣x−1∣2<1⇔−1<x−12<1⇔−2<x−1<2⇔−1<x<3dfrac{|x-1|}{2}<1 Leftrightarrow -1<dfrac{x-1}{2}<1 Leftrightarrow -2<x-1<2 Leftrightarrow -1<x<3

Таким образом, при x∈(−1,3)x in (-1,3) ряд сходится абсолютно, а при $ x notin (-1,3) $ ряд расходится. Это означает, что (−1,3)(-1,3) – интервал сходимости данного ряда.

Для полного решения задачи необходимо исследовать сходимость ряда на концах интервала, при x=−1x=-1 и x=3x=3.

При x=3x=3 получаем ряд

∑n=1∞(x−1)n+12n(n+1)=∑n=1∞(3−1)n+12n(n+1)=∑n=1∞2n+12n(n+1)=∑n=1∞2n+1sum limits_{n=1}^{infty} dfrac{(x-1)^{n+1}}{2^n(n+1)}=sum limits_{n=1} ^{infty} dfrac{(3-1)^{n+1}}{2^n (n+1)}= sum limits_{n=1} ^{infty} dfrac{2^{n+1}}{2^n (n+1)}= sum limits_{n=1} ^{infty} dfrac{2}{n+1}

Применим 2-й признак сравнения и проведем сравнение этого ряда с гармоническим:

∑n=1∞1nsum limits_{n=1} ^{infty} dfrac{1}{n}

Получаем:

lim⁡n→∞(2n+1:1n)=lim⁡n→∞(2nn+1)=lim⁡n→∞(21+1n)=2≠0limlimits_{n to infty }left( dfrac{2}{n+1}:dfrac{1}{n}right)= limlimits_{n to infty }left( dfrac{2n}{n+1}right)=limlimits_{n to infty }left( dfrac{2}{1+dfrac{1}{n}}right)=2 ne 0

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

∑n=1∞2n+1sum limits_{n=1} ^{infty} dfrac{2}{n+1} и ∑n=1∞1nsum limits_{n=1} ^{infty} dfrac{1}{n}

сходятся или расходятся одновременно. В данном случае, они расходятся, и, следовательно, исходный ряд при x=2x=2 расходится.

При x=−1x=-1 получаем ряд

∑n=1∞(x−1)n+12n(n+1)=∑n=1∞(−1−1)n+12n(n+1)=∑n=1∞(−2)n+12n(n+1)=∑n=1∞(−1)n+1⋅(2)n+12n(n+1)=∑n=1∞(−1)n+1⋅2n+1sum limits_{n=1}^{infty} dfrac{(x-1)^{n+1}}{2^n(n+1)}=sum limits_{n=1} ^{infty} dfrac{(-1-1)^{n+1}}{2^n (n+1)}= sum limits_{n=1} ^{infty} dfrac{(-2)^{n+1}}{2^n (n+1)}= sum limits_{n=1} ^{infty} dfrac{(-1)^{n+1}cdot (2)^{n+1}}{2^n (n+1)}= sum limits_{n=1} ^{infty} dfrac{ (-1)^{n+1}cdot 2}{n+1}

Как было показано, этот ряд не является абсолютно сходящимся, так как ряд, составленный из абсолютных значений:

∑n=1∞∣(−1)n+1⋅2n+1∣=∑n=1∞2n+1sum limits_{n=1} ^{infty}Bigl| dfrac{ (-1)^{n+1}cdot 2}{n+1} Bigl|=sum limits_{n=1} ^{infty} dfrac {2}{n+1}

расходится.

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

bn>bn+1⇔2n+1>2(n+1)+1⇔2n+1>2n+2b_n>b_{n+1} Leftrightarrow dfrac{2}{n+1}>dfrac{2}{(n+1)+1} Leftrightarrow dfrac{2}{n+1}>dfrac{2}{n+2}

выполнено для всех n=1,2,3,…n=1,2,3, ldots

Выполняется и второе условие:

lim⁡n→∞an=lim⁡n→∞3n+2=0limlimits_{n to infty } a_n = limlimits_{n to infty } dfrac{3}{n+2}=0

Оба условия признака Лейбница выполнены. Это означает, что знакочередующийся ряд

∑n=1∞(−1)n+13n+2sum limits_{n=1} ^{infty} (-1)^{n+1} dfrac {3}{n+2}

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

x∈[−1,3)x in [-1,3)

Пример 2

Найти область сходимости ряда

∑n=2∞(x+3)nnln⁡3nsum limits_{n=2} ^{infty} dfrac{(x+3)^n}{nln^3{n}}

Используем признак Даламбера. Учитывая, что

∣an+1an∣=∣(x+3)n+1(n+1)ln⁡3(n+1):(x+3)nnln⁡3n∣=∣(x+3)n+1(x+3)n⋅nn+1⋅ln⁡3nln⁡3(n+1)∣=∣x+3∣⋅nn+1⋅ln⁡3nln⁡3(n+1)Bigl| dfrac{a_{n+1}}{a_n} Bigr|= Bigl| dfrac {(x+3)^{n+1}}{(n+1)ln^3{(n+1)}}: dfrac {(x+3)^n}{nln^3{n}}Bigr|= Bigl| dfrac {(x+3)^{n+1}}{(x+3)^n}cdot dfrac {n}{n+1}cdot dfrac {ln^3{n}}{ln^3{(n+1)}}Bigr|=|x+3| cdot dfrac{n}{n+1} cdot dfrac{ln^3{n}}{ln^3{(n+1)}}

находим c помощью правила Лопиталя:

lim⁡n→+∞∣an+1an∣=lim⁡n→+∞(∣x+3∣⋅nn+1⋅ln⁡3nln⁡3(n+1))=∣x+3∣⋅lim⁡n→∞11+1n⋅(lim⁡n→∞ln⁡nln⁡(n+1))3=∣x+3∣⋅lim⁡n→∞1n1n+1=∣x+3∣limlimits_{n to +infty } Bigl| dfrac {a_{n+1}}{a_n}Bigr| = limlimits_{n to +infty } left( |x+3| cdot dfrac {n}{n+1}cdot dfrac{ln^3{n}}{ln^3{(n+1)}} right)=|x+3| cdot limlimits_{n to infty } dfrac {1}{1+dfrac{1}{n}} cdot {left(limlimits_{n to infty } dfrac {ln{n}}{ln{(n+1)}}right)}^3= |x+3| cdot limlimits_{n to infty } dfrac{dfrac{1}{n}}{dfrac{1}{n+1}}=|x+3|

Для определения требуемых значений x решаем неравенство:

∣x+3∣<1⇔−1<x+3<1⇔−4<x<−2|x+3|<1 Leftrightarrow -1<x+3<1 Leftrightarrow -4<x<-2

Таким образом, при x∈(−4,−2)x in (-4,-2) ряд сходится абсолютно, а при x∉(−4,−2)x notin (-4,-2) ряд расходится. Это означает, что (−4,−2)(-4,-2) – интервал сходимости данного ряда.

Для полного решения задачи необходимо исследовать сходимость ряда на концах интервала, при x=−4x=-4 и x=−2x=-2.

При x=−4x=-4 получаем ряд

∑n=2∞(x+3)nnln⁡3n=∑n=2∞(−4+3)nnln⁡3n=∑n=2∞(−1)nnln⁡3nsum limits_{n=2} ^{infty} dfrac{(x+3)^n}{nln^3{n}}=sum limits_{n=2} ^{infty} dfrac{(-4+3)^n}{nln^3{n}}=sum limits_{n=2} ^{infty} dfrac{(-1)^n}{nln^3{n}}

Воспользуемся интегральным признаком. Возьмем функцию:

f(x)=1xln⁡3xf(x)=dfrac{1}{x ln^3{x}}

Очевидно, что для любых x1>x2>2x_1>x_2>2:

1x2ln⁡3×2>1x1ln⁡3×1⇒f(x2)>f(x1)dfrac{1}{x_2 ln^3{x_2}}>dfrac{1}{x_1 ln^3{x_1}} quad Rightarrow quad f(x_2 )>f(x_1 )

Найдем неопределенный интеграл

∫dxxln⁡3x=∫d(ln⁡x)xln⁡3x=(−12)(ln⁡x)−2+C=−12ln⁡2x+Cint dfrac {dx}{x ln^3 {x}}=int dfrac {d(ln{x})}{x ln^3 {x}}=left( -dfrac{1}{2}right)(ln{x})^{-2}+C= -dfrac{1}{2 ln^2{x}}+C

Далее:

∫2∞f(x)dx=∫2∞dxxln⁡3x=lim⁡d→+∞∫2ddxxln⁡3x=lim⁡d→+∞(−12ln⁡2x∣2d)=lim⁡d→+∞(−12ln⁡2d+12ln⁡22)=12ln⁡22intlimits_2^infty f(x) dx=intlimits_2^infty dfrac {dx}{x ln^3 {x}}=limlimits_{d to +infty }intlimits_2^d dfrac{dx}{xln^3 {x}}=limlimits_{d to +infty }left( -dfrac{1}{2 ln^2{x}}Bigr|_2^d right) = limlimits_{d to +infty } left(-dfrac{1}{2 ln^2{d}}+dfrac{1}{2 ln^2{2}} right) = dfrac{1}{2 ln^2{2}}

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

∑n=2∞1nln⁡3nsum limits_{n=2} ^{infty} dfrac{1}{nln^3{n}}

также сходится, а ряд

∑n=2∞(−1)nnln⁡3nsum limits_{n=2} ^{infty} dfrac{(-1)^n}{nln^3{n}}

сходится абсолютно.

При x=−2x=-2 получим ряд

∑n=2∞(x+3)nnln⁡3n=∑n=2∞(−2+3)nnln⁡3n=∑n=2∞1nln⁡3nsum limits_{n=2} ^{infty} dfrac{(x+3)^n}{nln^3{n}}=sum limits_{n=2} ^{infty} dfrac{(-2+3)^n}{nln^3{n}}=sum limits_{n=2} ^{infty} dfrac{1}{nln^3{n}}

Как было показано, этот ряд сходится абсолютно. Следовательно, область сходимости исходного ряда – промежуток [−4,−2][-4, -2].

Тест по теме “Степенные ряды”