logo
шпоры матем 2

6.6.Разложение некоторых елементарных ф-ций в степенные ряды

Если ф-ция f(x) явл. суммой степенного ряда в каком-либо промежутке,то говорят,что f(x) в этом промежутке разлагается в степенной ряд.

Практически важное достаточное условие разложения ф-ции в ряд Тейлора выражается следующей теоремой: если производные любого порядка ф-ции f(x) ограничены в окрестности U(x0) точки x0 одним и тем же числом С,т.е. |f(n) (x)| ≤C (n=1,2,3,…),то ряд Тейлора этой ф-ции сходится к f(x) для любого xиз этой окрестности.

Если ф-ция f(x) разложима в ряд Тейлора,то это разложение единственное.

Приведем разложения в степенной ряд (ряд Маклорена)некоторых элементарных ф-ций:

ex=1+x/1!+x2/2!+…+xⁿ/n!+… (-∞<x<∞),

sinx=x/1!-x³/3!+x5/5! –x77! +...+(-1)ⁿ x2n+1/(2n+1)!+...

(-∞<x<+∞),

cosx=1 - x²/2!+x4/4! – x6/6!+...+(-1)ⁿ x2n/(2n)!+…

(-∞<x<+∞),

ln(1+x)=x – x²/2+x³/3 – x4/4+...+(- 1)n-1 xⁿ/n+...

(-1<x≤1),

(1+x)m=1+mx/1!+m(m-1)x²/2!+m(m-1)(m-2)x³/3!+...+

+m(m-1)...(m-n+1)xⁿ/n!

Последнее разложение имеет место при любом действительном числе m,если -1<x<1 5.3 Необходимый признак сходимости.

Если ряд аn сходится, an=0

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

Sn = a1+a2+…+an , Sn-1 = a1+a2+…+an-1, следовательно an = Sn-Sn-1 = an = Sn – Sn-1 = S-S=0, ч.т.д.

Следствие:

Если an не равно нулю, то ряд расходится. Доказательство:

Если предположить в этом случае, что ряд сходится, то из необходимого признака следует, что an = 0, что противоречит условию.Гармонический ряд.

1+1/2+1/3+…+1/n+…

Докажем, что гармонический ряд расходится: предположим, что он сходится и имеет сумму S. Тогда (S2n-Sn) = S-S =0,

1+1/2+1/3+1/4+…+1/n+…, (S2n-Sn) = 0,

5.4 Признак Д’Аламбера и признак Коши.

Признак Д’Аламбера: Пусть дан ряд с положительными членами и существует предел (1). Тогада: при l<1 ряд сходится; при l>1 ряд расходится; при l=1 вопрос остается открытым.

Д-во. По определению предела последовательности рав-во (1) означает, что для люб. ε>0 найдется такой номер N, что при n≥N выполняется нерав-во или (2). Пусть l<1. Возьмем ε таким, чтобы число q=l+ ε<1. Из нер-ва (2) следует, что или an+1<qan (n≥N). Отсюда, полагая n=N, n=N+1, n=N+2, …, получаем: aN+1<qaN,

aN+2<qaN+1<q2aN,

………………………

aN+p<qpaN , .

След-но, начиная с номера N+1, все члены данного ряда не превосходят членов геометрического ряда. Т.к. этот геометр. ряд aNq+aNq2+…+aNqp+… сходится и ряд aN+1+aN+2+…+aN+p+… Поскольку конечное число членов не влияет на характер сходимости ряда, заключаем, что сходится и исходный ряд .

Пусть l>1. Выберем ε>0 таким, чтобы q=l- ε>1. Из соотношения (2) следует, что q<an+1/an, an+1>anq (n=N,N+1,N+2,…). Это означает, что, начиная с номера N, члены ряда возрастают. В этом случае не выполняется необходимый признак сходимости и ряд расходится.

Признак Коши: Пусть дан ряд с положительными членами и существует предел . Тогда при l<1 ряд расходится; при l>1 ряд расходится; при l=1 вопрос остается открытым.

Док-во: аналогично доказательству признака Д’Аламбера.

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

Интегральный прзнак Коши-Маклорена: Пусть дан ряд , члены к-рого положит-ны и не возрастают: a1≥a2≥ …≥an≥…Тогда для сходимости ряда необходимо и достаточно, чтобы сходился несобственный интеграл .

Док-во: Рассмотрим ряд (1). Его частичными суммами будут также интегралы . Сходимость ряда (1) означает существование предела последовательности его частичных сумм: , т.е. сходимость (существование) несобственного интеграла (2). Из свойств функции f(x) следует, что (3)

Интегрируя нер-ва (3) на отрезке [n,n+1], получаем или (4).

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

Пусть теперь ряд расходится. Тогда расходится и ряд a2+a3+…+an+…, полученный из данного ряда отбрасыванием его первого члена. Т.к. (см. нер-ва (4)), по признаку сравнения должен расходиться ряд интегралов (1), т.е. несобственный интеграл (2).