9611

Добавил:

ivanov666 Опубликованный материал нарушает ваши авторские права? Сообщите нам.

Вуз:

Нижегородский Государственный Архитектурно-Строительный Университет

Предмет:

[НЕСОРТИРОВАННОЕ]

Файл:

сходится при x (x0

δ1 , x0 δ1 ) , где δ1

2) Если при x x2 степенной ряд (1) расходится, то он расходится при

x x0 δ2 и при x

x0 δ2 , где

(рис 59.1).

.pdf

Скачиваний:

Добавлен:

25.11.2023

Размер:

2.94 Mб

Скачать

☆

<<< < Предыдущая 1 2 3 4 5 6 7 8 9 10 11 12 13 1415 / 2115 16 17 18 19 20 21 > Следующая >>>

	1	1	1			1		1		1		1			1		1			1	1			1	1	1	1	1	1	1	1
1																							...									...
1		4	3					8		5				12			7				16		...	2	4	6	8					...
	2	4	3			6		8		5	10			12			7		14		16			2	4	6	8	10 12 14 16
				1				1	1		1		1		1	1		1				1
							1													....			S
							1													....			S
								2	3 4			5			6 7			8				2
					2			2	3 4			5			6 7			8				2

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

58.3. Функциональные ряды. Основные определения. Пусть имеется бесконечная последовательность функций

f1 (x), f2 (x),..., fn (x),...,

определенных в некоторой общей области D . Если в данной записи все запятые заменить знаками +, то полученная запись:


f (x) f	2	(x) ... fn (x) ... fn (x)	(58.5)
1	2	n 1

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

Пусть, например, имеются три последовательности функций:

sin x	,	sin 2x		,...,	sin nx		,...,	x1		x2			x3			xn
									,			,			,...,			,....
2		2	2		n	2		3		2	3		3	3		n	3
1								1

ex ,e2x ,e3x ,...,enx ,...

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

	sin nx			xn				nx
(а):			, (в):			,	(с): e		,
					3
	n	2		n
n 1			n 1				n 1

которые определены на всей числовой оси.

Пусть имеется функциональный ряд (58.5), определенный в области D . Если взять произвольное числоx0 из области D и подставить вместо x в (5), то получится числовой ряд:


f1 (x0 ) f2 (x0 ) ... fn (x0 ) ... fn (x0 ) .	(58.6)
n 1
Если ряд (58.6) сходится, то x0 называется точкой сходимости
функционального ряда (58.5), в противном случае x0	называется точкой
расходимости. Совокупность всех точек сходимости	образует область

сходимости D0	функционального ряда (58.5).
Найдем	области	сходимости приведенных	выше
функциональных рядов.

Рассмотрим

ряд

(a).

Для

произвольного числа

сравним

ряд

sin nx0

и сходящийся ряд

. Т.к.

то по признаку

n 1

n 1 n

sin nx0

сравнения

ряд

сходится,

и потому ряд

сходится

n 1

Таким образом, область сходимости ряда (а)

абсолютно при любом

x0 .

совпадает со всей числовой прямой.

Рассмотрим

ряд

(b).

Для

произвольного

числа x0рассмотрим

1 выполняется неравенство

x0n

числовой ряд

. При

n 1

и, следовательно, по признаку сравнения данный ряд абсолютно сходится. Если же x0 1, то

	\| x	\|			\| x		\|
lim √	0		= lim			0		= \| x	\| > 1
lim √	3		= lim					= \| x	\| > 1
→∞	3		→∞	(			3	0
				(		)
					√

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

отрицательных x0 , таких, что x0 1 общий член рассматриваемого ряда к

0 не стремится и поэтому он не может сходиться и условно. Таким образом, область сходимости ряда совпадает с отрезком [-1,+1].


Ряд enx при любомчисле			x0	представляет сумму членов
n 1
бесконечной геометрической прогрессии со знаменателем q ex0					.Такой
		1	. Т.к. неравенство ex0 0 выполняется
ряд сходится только, если	q	1	. Т.к. неравенство ex0 0 выполняется
при любом x , а неравенство			ex0	1 выполняется только при	x <0,
					0

то область сходимости рассматриваемого ряда совпадает с бесконечным интервалом (-∞,0). Причем в точке x0 его сумма равна

ex0

1 ex0 .

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

Пусть имеется функциональный ряд fn (x) с областью определения

n 1

D и областью сходимости D0 . Через S (x) обозначим функцию,

определенную в области D0 ,		значение которой в точке x0	равно сумме

числового	ряда fn (x0 ) .	Функция S (x) называется	суммой

n 1

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

S (x) в области D0 . Записывается это так:

fn (x) S(x)

n 1

Лекция 59. Степенные ряды.

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

59.1. Область сходимости степенного	ряда.	Теорема
Абеля.
Степенным рядом с центром в точке x0 называется ряд вида

a0 a1(x x0 ) a2 (x x0 )2 ... an (x x0 )n ... an (x x0 )n ,		(59.1)
n 0
где a1 , a2 , a3 ,..., an ,... известные числа, называемые	коэффициентами

степенного ряда.

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

следующую теорему, доказательство которой похоже на доказательство признака Даламбера.

Теорема Абеля (Нильс Абель (1802 – 1829) – норвежский математик). 1) Если при x x1 степенной ряд (59.1) сходится, то он абсолютно

Рис. 59.1

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

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

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



(x0 R, x0 R) (т.е. когда		x x0		R ) ряд абсолютно сходится, а вне этого
интервала (т.е. когда	x x0		R)	ряд расходится (рис. 59.2).
интервала (т.е. когда	x x0		R)	ряд расходится (рис. 59.2).

Рис. 59.2

Как будет видно из нижеприводимых примеров, на концах данного интервала (т.е. при x x0 R и при x x0 R ) могут встречаться

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

Отметим, что могут встретиться два частных случая, когда R 0 и когда R . Если R 0 , тоэто означает, что область сходимости степенного ряда состоит из единственной точки x x0 , а если R ,

тоэто означает, что степенной ряд сходится при всех значениях x . Признак Даламбера и радикальный признак Коши сходимости

знакоположительных рядов дают два способа нахождения радиуса сходимости степенного ряда (59.1).

Способ Даламбера. Если существует n	an		, то он равен радиусу
Способ Даламбера. Если существует n	a		, то он равен радиусу
lim
		n 1
сходимости степенного ряда, т.е.

R lim

| an |

n | a

n 1

Способ Коши. Если существует lim n

и он не равен 0,

то

R 1/ lim n

5n (x 1)n

Пример. Найти область сходимости D0

ряда

n 1

Центр данного

степенного

ряда

равен

1, an

Для

коэффициентов степенного ряда имеем:

n 5 .

n n

Таким образом, радиус сходимости R 1/ 5. Значит, ряд

сходится

абсолютно в интервале (-6/5,-4/5).

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

данного

интервала.

Пусть

x 6 / 5 . Получаем числовой ряд:

5n (x 1)n

5n ( 1/ 5)n

( 1)n

n 1

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

Пусть x 4 / 5. Получаем числовой ряд

	5n (x 1)n		5n (1/ 5)n		1
						,
	n		n		n	,
n 1	n	n 1	n	n 1	n

который является расходящимся гармоническим рядом. Таким образом, область D0 6 / 5, 4 / 5 .

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

1 x

...

n 1 n!

Находим радиус сходимости методом Даламбера:

(n 1)!

R lim

lim

lim (n 1) .

n 1

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

Пример.

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

ряда

n! x n . Проводя

n 1

рассуждения предыдущего примера, придем к выводу о том, что R 0 и,

значит, данный ряд сходится лишь при x 0 .

Пусть имеется степенной ряд (59.1) с областью сходимости D0 . Через

f (x)обозначим функцию,

к которой этот ряд сходится в области D0 . Из

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

1)Функция f (x) непрерывна в любой замкнутой области, целиком лежащей в области D0 .

2)Если пределы интегрирования α,β лежат в области D0 , то определенный интеграл от функции f (x)на участке [ α,β ] может быть вычислен

по формуле:

β	β	β
f (x)dx an (x x0 )ndx an (x x0 )ndx .
α	α n 0	n 0 α

Иначе говоря, интеграл от суммы ряда равен сумме ряда интегралов от его членов.

3) Во всех внутренних точках области D0 функция f (x)дифференцируема, и ее производная может быть найдена по формуле

	d		n		d	n		n 1 .
		an (x x0 )				an (x x0 ) nan (x x0 )

f (x)
	dx n 0			n 0 dx			n 0

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

59.2.Ряды Тейлора – Маклорена.Все рассуждения о рядах,

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

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

Пусть функция f (x) определена в некоторой окрестности точки x0 , и в окрестности этой точки она имеет производные любого порядка.

Обозначив через

(n) (x ) значение n-ой производной функции в точке x

составим ряд

f (x )

f '(x0 )

x )

f ''(x0 )

x )2

...

f (n) (x0 )

(x x )n ...

f (n) (x )

(59.2)

(x x0 )n

f (x0 )

n 1

Этот степенной ряд называется рядом

Тейлорафункции

f (x) в

окрестности точки x0 .

Если x0 0 , то ряд (59.2) принимает вид

′

(0)

′′(0)

(0)

∞

( )(0)

( )~ (0) +

+ +

+ = ∑

и называется рядом Маклорена функции f (x) .

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

e x , sinx , ln (1 x) .

Для функции y ex значения самой функции и всех ее производных в точке 0 равны 1. Поэтому ряд Маклорена для нее имеет вид :

ex: 1

...

.. 1

(59.3)

n 1 n!

Для функции y sinx имеем:

при x0 0

сама функция и все ее

производные с четными номерами равны 0; производные с номерами 1,5,9,… равны 1; производные с номерами 3,7,11,… равны (–1). Таким образом, ряд Маклорена для функции y sinx имеет вид:

sin x:

( 1)n 1 x2 n 1

...

.. (59.4)

(2n 1)!

или кратко

( 1)n 1 x2 n 1

sin x:

(2n 1)!

n 1

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

f (x) ln (1 x) .

n	f ( n) ( x)	f (n) (0)
0	ln (1 x)	0

1	(1 x)-1	1

2	(-1) (1 x)-2	(-1)

3	(-1)(-2) (1 x)-3	(-1)(-2)= (-1)2 2!

4	(-1)(-2)(-3) (1 x)-4	(-1)(-2)(-3)= (-1)3 3!


n	(-1)(-2)(-3)...(-n+1) (1 x)-n	(-1)(-2)(-3)...(-n)=(-1)n-1 (n-1)!

Таким образом,

ряд Маклорена для функции f ( x) ln (1 x) будет

иметь вид:

ln (1 x):

( 1) x2

( 1)2 2!x3

( 1)n 1(n 1)! xn

...

или

ln(1 x) : x

n xn 1

...

( 1)

... (59.5)

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

f (x) (1 x)α

Нетрудно

видеть,

что f (n) (0) α(α 1)(α 2)...(α n 1)

потому

биномиальный ряд выглядит следующим образом:

(1 x)α : 1

αx

α(α 1)x2

...

α(α 1)(α 2)...(α n 1)xn

... (59.6)

Если α есть целое положительное число m, то производные, выше

m-го порядка, равны 0 и соотношение (5) превращается в равенство

(1 x)

m = 1

m(m 1)x2

... m(m 1)...(m n 1)xn ...

, (59.7)

C m x

k 1

именуемое биномом Ньютона. Коэффициент перед

x k

обозначается C k

и называется биномиальным коэффициентом.

Он вычисляется поформуле

C mk

k!(m k )!

Ряды

Тейлора и

Маклорена являются

степенными

рядами,

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

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

порядка включительно, справедливо равенство, именуемое формулой Тейлора:

f (x ) f (x )

f '(x0 )

(x x )

f ''(x0 )

(x x )2

...

f (n) (x0 )

(x x

)n R (x ) ,

(59.8)

в котором величина Rn ( x) называется остаточным членом.

Сравнивая

ряд Тейлора

формулой

Тейлора,

получаем

следующий вывод.

Если для некоторого значения x

из области

сходимости ряда Тейлора остаточный член Rn ( x) в формуле (59.8)

стремится к	0 при n , то	ряд Тейлора для фун кции	f (x)
сходится к значению этой функции в точке x .
Но как	выяснить, верно	ли, что R (x) 0 при n ?	Для
		n

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

остаточного члена может быть записана в форме Лагранжа,

R ( x)	f ( n 1)	(c)	(x x )n 1	,	(59.9)

n	(n	1)!	0

где f (n 1) (c) есть значение (n+1)-ой производной в некоторой точке с, находящейся на интервале (x0 , x) .

Одно из достаточных условий сходимо сти ряда Тейлора для

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

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

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

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

Ранее было показано, что ряд в соотношении (59.3) сходится на всей числовой прямой и потому знак двоеточия может быть заменен на знак равенства при любых значениях x. В частности, подставив x=1, получаем

e	1 1		1		1		1		1
						...		.. 1		(59.10)
							n!
	1!	2!		3!				n 1 n!

В соотношении (59.3) знак двоеточия может быть также заменен на знак равенства при любых значениях x.

Ряд в правой части соотношения (59.5) сходится только в области (-1,1] и только в этой области знак двоеточия может быть заменен на знак равенства. В частности, если x =1, то получается равенство

ln 2 1 1	1	... ( 1)n 1	...	(59.11)
2	3	n

Что касается соотношения (59.6), то если α не равно целому положительному числу, то радиус биномиального ряда равен 1 и двоеточие может быть заменено на знак равенства в области ( -1,1).

Итак, ряды Тейлора и Маклорена позволяют вычислять значения функций в области сходимости посредством выполнения бесконечного числа арифметических операций. Естественно, что при любых вычислениях можно вып олнить только конечное число операций. Какова величина ошибки при остановке процедуры вычисления на n-ом шаге? В случае если ряд знакочередующийся, то, как уже указывалось выше, ошибка по абсолютной величине не превосходит модуля первого отбрасываемого ч лена. В общем случае оценка ошибки связана с определенными трудностями и сводится к оценке остаточного члена в формуле Тейлора (59.8).

Пример. Вычислить значение числа ес точностью до 0,0001. Из формулы Тейлора, ряда (59.10) и формулы (59.9) можно

записать, что

e	1		1	1	1	...	1	e
		1!		2!	3!		n!	(n 1)!

<<< < Предыдущая 1 2 3 4 5 6 7 8 9 10 11 12 13 1415 / 2115 16 17 18 19 20 21 > Следующая >>>

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]

#
25.11.20232.93 Mб679607.pdf
#
25.11.20232.93 Mб09608.pdf
#
25.11.20232.93 Mб09609.pdf
#
21.11.2023165.03 Кб0961.pdf
#
25.11.20232.94 Mб09610.pdf
#
25.11.20232.94 Mб09611.pdf
#
25.11.20232.94 Mб09612.pdf
#
25.11.20232.94 Mб19613.pdf
#
25.11.20232.94 Mб09614.pdf
#
25.11.20232.94 Mб09615.pdf
#
25.11.20232.94 Mб09616.pdf