Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

2216

.pdf
Скачиваний:
1
Добавлен:
07.01.2021
Размер:
4.17 Mб
Скачать

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

Т е о р е м а.

 

 

Если в некотором интервале точки x a,

абсолютные величины всех производных функции

 

f x

ограничены одним и тем же числом, то функция

f x

в этом

интервале разлагается в ряд Тейлора.

 

 

 

 

 

 

 

 

 

 

 

 

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

 

 

 

и R

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

a

такие, что в интервале a R,a R

 

она разлагается

в

ряд

Тейлора или (если a 0) в ряд Маклорена.

 

 

 

 

Примеры.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1. f x sin x. Ранее мы получили формулу

 

 

 

 

 

x

3

 

 

 

x5

n 1

x2n 1

 

 

 

 

sin x x

 

 

 

 

 

 

 

1

 

 

 

 

R

x .

 

 

 

 

 

 

 

 

 

 

 

 

 

3! 5!

 

 

 

2n 1 !

2n

 

 

 

Было доказано

 

также,

что lim R

x 0,

тогда получаем

 

 

 

 

 

 

 

 

 

 

n

2n

 

 

 

 

 

 

 

разложение sin x в ряд Маклорена:

 

 

 

x2k 1

 

 

 

 

 

 

 

x3

 

 

x5

 

k 1

 

 

 

 

 

sin x x

 

 

 

 

 

1

 

 

 

 

.

3!

 

5!

2k 1 !

 

(5)

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

Этим рядом пользуются для вычисления значений sin x при различных значениях x.

Например, вычислить sin10 с точностью до

10 5.

 

 

 

 

 

 

10

 

 

0,174533, то

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

18

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

3

1

5

 

1

 

 

 

7

sin10

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

.

 

18

3!

 

 

 

 

 

7!

 

 

 

 

 

 

18

 

5! 18

 

 

18

 

 

Ограничиваясь первыми двумя членами ряда, получим

 

 

 

 

 

 

 

1

 

3

sin

 

 

 

 

 

 

 

 

 

 

 

 

 

.

18

18

0

18

 

 

 

 

 

Определим погрешность

 

1

 

 

5

 

1

 

0,2 5

4 10 6.

 

 

 

 

 

 

 

 

 

5!

 

 

 

 

 

18

 

 

120

 

В результате значение sin10

с точностью до 10 5 выразится

числом 0,173647, или

sin 0,173647. 18

2. f x ex . Формально имеем:

 

ex 1 x

 

x2

 

 

x3

 

xn

 

 

,

 

 

 

 

 

 

 

 

 

 

 

n!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2!

3!

 

 

 

 

 

 

 

 

 

 

 

 

 

(6)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim R

x 0, x, так как

 

 

ex

 

 

M . Заменить x на x, получим

 

 

 

 

 

 

n n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

xn

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e x 1 x

x2

 

 

x3

 

 

x4

1 n

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

n!

 

 

 

 

 

 

 

2!

 

 

 

 

3!

 

 

 

4!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(7)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3.

f x cosx.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x2

 

 

x4

 

 

 

 

 

 

x6

 

 

 

 

n

x2n

 

 

 

cos x 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

,

 

 

 

 

 

 

 

4!

 

 

 

6!

 

2n!

 

 

2!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(8)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

сходится при x , .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4. f x sh x

ex e x

;

 

 

f x ch x

ex e x

.

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

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

или сложения рядов (2) и (3) и деления на два:

 

 

 

 

 

 

 

 

sh x x

x3

 

 

 

 

 

x5

 

 

 

 

x7

 

x

2n 1

 

 

;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3!

 

 

 

 

 

 

7!

 

 

 

 

 

2n 1 !

 

 

 

(9)

 

 

 

 

 

2

 

 

 

 

 

 

x4

 

x6

 

 

 

2n

 

 

 

 

 

 

 

 

ch x 1

x

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4!

6!

 

 

 

 

 

2!

 

 

 

 

 

 

 

 

 

 

 

 

 

2n!

 

 

 

 

 

 

 

(10)

5. Разложим в ряд Маклорена функцию

fx 1 x m, m R.

За м е ч а н и е. xm не рассматриваем потому, что если m не целое положительное число (а только такой случай и интересен),

то производные от

xm,

начиная с некоторой в точке x 0, не

существует.

 

 

 

 

 

 

x 0 m,

Итак, f 0 1,

 

 

 

 

1 x

m 1

 

 

 

 

f 0 m

 

f 0 m m 1 1 x

m 2

x 0

m m 1 , ,

 

 

 

 

 

 

 

 

f n 0 m m 1 m n 1 1 x m n x 0 m m 1 m n 1,

,

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

1 x m 1 mx m m 1 x2 m m 1 m n 1 xn . 2! n!

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

lim

 

 

m m 1 m n 1 m n

xn 1 :

m m 1 m n 1

 

 

xn

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

n 1 !

n!

 

 

 

 

x

 

 

m n

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Согласно признаку Даламбера ряд сходится, если

 

 

1, и

 

 

расходится, если

 

 

x

 

1. Доказательство того,

что ряд сходится

 

 

именно к рассматриваемой функции, вследствие его сложности опустим.

Итак, биномиальный ряд представляет функцию 1 x m в интервале 1,1 .

1 x m 1 mx m m 1 x2 m m 1 m n 1 xn . 2! n!

(11)

За м е ч а н и е. Если m – целое положительное число, то ряд

(11)обращается в формулу бинома Ньютона, если m 0, то ряд

сходится к 1 x m на отрезке 1,1 .

Частные виды биномиального ряда

1)m 1.

11 x x2 x3 1 n xn , x 1,1

1x

геометрическая прогрессия.

2) m 1 .

2

 

1

 

1

 

 

 

1 3

 

 

 

1 3 5

 

 

 

 

 

 

 

 

 

2

 

 

3

 

 

4

 

1 x 1

x

x

 

x

 

x

 

2

2 4

 

2 4 6

 

2 4 6 8

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 n 1

1 3 5 2n 3

xn ,

x 1,1 .

 

 

 

 

 

2 4 6 8 2n

 

 

 

 

 

 

 

3) m 1.

2

1 1 1 x 1 3 x2 1 3 5 x3 1 n 1 1 3 5 2n 1 xn ,

1 x

2

2 4

2 4 6

2 4 6 2n

x 1,1 .

6.

f x ln 1 x .

 

Воспользуемся свойствами

степенных

рядов.

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 x x2 x3

1 n xn , x 1,1 .

 

 

 

 

 

(*)

1 x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 n xn .

 

 

 

 

 

 

 

 

 

 

 

 

 

1 x

 

 

 

 

 

 

 

 

 

 

 

 

 

n 0

 

 

Проинтегрируем ряд (*) в пределах от 0 до x.

 

Т.к.

 

x

dx

 

ln 1 x

 

x

ln 1 x , то

интегрируя

почленно

 

 

 

 

 

 

 

 

 

 

1 x

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

кривую часть ряда (*), получим

 

 

ln 1 x x

x2

 

x3

 

 

x4

1 n 1

xn

, x 1,1 .

 

 

 

n

(12)

 

 

 

2

3

 

4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

7. Совершенно аналогично получается разложение функции f x arctg x в ряд Маклорена.

Для этого заменив в ряде (*) x на x2, получим:

1

1 x2 x4 x6 1 n x2n , x 1,1 .

 

1 x2

(**)

 

 

 

 

 

 

 

 

 

 

 

x

 

 

Интегрируя в пределах от 0 до x и считая, что

 

 

1 имеем:

 

 

arctgx x

x3

 

x5

 

x7

1 n 1

x2n 1

 

,

 

x 1,1 .

 

 

 

2n 1

 

(13)

 

3

5

7

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

З а м е ч а н и е 1. Можно доказать, что разложение (13) верно

и при x 1. Так, arctg1

 

1

1

 

1

 

1

.

 

 

 

 

4

3

5

7

 

За м е ч а н и е 2. Разложения (5), (6), (8), (11)-(13) следует запомнить, т.к. многие другие функции могут быть разложены в ряды при помощи них (например, (7), (9),(10)).

За м е ч а н и е 3. Полезно самостоятельно найти разложение функции f x arcsin x в ряд Маклорена.

Лекция № 22. НЕКОТОРЫЕ ПРИМЕНЕНИЯ РЯДОВ ТЕЙЛОРА

I. Интегрирование функций

x

1. Допустим, что нужно найти интеграл F x f x dx,

a

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

в

ряд Тейлора, а пределы интеграла лежат внутри интервала

сходимости ряда. Тогда ряд можно интегрировать почленно.

В

результате получится ряд Тейлора для функции

F x , имеющей

тот же

радиус

сходимости, что

и ряд для подынтегральной

 

 

 

x

 

функции

f x .

Если интеграл

F x f x dx

выражается в

a

конечном виде, то F x элементарная и мы находим её разложение в ряд Тейлора. Именно так мы поступали при разложении функций ln 1 x , arctgx. Если же интервал

x

F x f x dx в элементарных функциях не выражается, то

a

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

Пример.

x sinx x dx Si x – интегральный синус.

0

Делим ряд для sin x на x, получим

 

sin x

 

 

x2

 

x4

 

 

n

 

x2n

 

, x , .

 

 

1

 

 

 

1

 

 

 

x

3!

5!

2n 1 !

Интегрирование дает

 

 

 

 

 

 

 

x 2n 1

 

 

 

x sin x

 

 

 

x2

x5

 

 

 

n 1

 

Si x

 

 

dx x

 

 

 

 

1

 

 

,

 

x

3!3

5!5

2n 1 !2n 1

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

x

конечного, а бесконечного числа операций. Функция sinx x dx

0

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

2. При изучении теории вероятностей важную роль играет

функция F x

 

1

 

x

 

x2

 

 

e

 

 

 

 

2 dx, называемая функцией Лапласа или

 

 

 

 

 

 

2

 

 

0

 

 

 

 

 

 

 

 

 

интегралом вероятностей. Вычислить интеграл в конечном виде

 

 

 

 

 

 

 

x2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

нельзя, т.к.

 

 

e

2 dx

не выражается в элементарных функциях.

Разложим

 

подынтегральную

функцию в

 

ряд,

 

 

для чего

в

разложение ex подставим взамен

 

 

 

 

 

 

 

 

x2

 

 

 

 

x величину

 

 

 

 

:

 

 

 

 

2

 

 

 

 

 

 

x2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

2

 

 

 

x

4

 

 

 

x

6

 

 

1 k

x

2k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e 2 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2k k!

 

 

 

 

 

 

 

 

 

2

22

2! 32

3!

 

 

 

 

 

 

 

Тогда F x представится бесконечным рядом

 

 

 

 

 

 

F x

 

1

 

 

 

 

x3

 

 

 

 

 

x5

 

 

 

x

7

 

 

 

 

 

 

 

 

 

x2k 1

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

2

 

 

 

 

3

 

 

 

 

k 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

2

2!5

 

2

 

3!7

2

 

 

 

 

 

 

 

 

2 1!3

 

 

 

 

 

 

 

k 1! 2k 1

,

сходящимся

 

 

 

на

всей

числовой

оси

1

 

 

k 1

 

 

x

2k 1

 

 

 

 

 

 

1

 

 

 

 

. Значения F x удобно, т.к. ряд

 

 

 

 

 

k 1

 

 

 

 

2

2

 

 

 

 

k 1

 

 

k 1! 2k 1

 

 

сходится быстро.

1 2

dx

3. Вычислим интеграл .

0 1 x4

В принципе этот интеграл можно выразить в элементарных функциях:

 

dx

 

 

1

 

ln

x2 x

2

 

1

 

 

2

arctg

x

2

 

C.

 

 

 

 

 

 

 

 

 

 

 

 

 

1 x4

4

 

 

x2 x

 

 

1

4

1 x2

 

2

 

2

Однако его выражение, как мы видим, сложно и мало удобно для вычислений.

В то же время, разложив подынтегральную функцию в ряд

1

 

 

 

 

 

 

 

 

 

 

 

 

 

x

1

 

 

 

 

x5

 

x9

 

 

1 x4 x8 x12 ,

 

 

 

x

 

 

 

 

 

,

1 x4

1 x4

5

9

мы сразу получим

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 2

dx

 

 

1

 

 

 

1 5

1

 

 

1 9

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 x4

2

2

5

 

9

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Если ограничиться двумя первыми членами ряда (при этом

 

 

 

 

 

 

1 9

 

1

 

 

 

 

 

 

 

 

1 2

dx

 

 

 

ошибка не превосходит

 

0,0002), то

 

0,4938.

 

 

 

 

 

 

 

 

 

 

2

 

9

1 x4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

II. Интегрирование дифференциальных уравнений

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

y a0 a1 x x0 a2 x x0 2 .

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

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

Пример.

1. y xy 0 при y x 0 0; y x 0 1. Решение будем искать в

виде ряда, расположенного по степеням x:

y a0 a1x a2x2 anxn .

Коэффициенты a0 и a1 находим из начальных условий:

a0 y x 0 0; a1 y x 0 1.

y a1 2a2x nanxn 1 .

Дважды дифференцируем ряд:

 

 

 

 

 

 

 

y 2a2 3 2a3x n n 1 anxn 2 .

 

 

 

 

 

 

 

 

 

 

 

Подставляя

 

в уравнение вместо y и

 

y

их разложения,

получаем тождество

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2a

2

3 2a x n n 1 a

n

xn 2 x2 a

2

x3 a

n 3

xn 2

 

 

 

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Сравнивая коэффициенты при одинаковых степенях x,

находим:

a2 0,

a3

0, ,n n 1 an an 3

.

Поэтому

a4

 

1

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

3 4

a

 

0, a

 

0, a

7

 

 

 

 

 

 

, a 0, a 0, a

 

 

 

 

 

 

 

 

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5

 

 

 

6

 

 

 

 

 

3 4 6 7

8

9

 

10

 

3 4 6 7 9 10

вообще a3m 1 a3m 0; a3m 1

 

1

 

 

 

 

 

.

 

 

 

 

 

 

 

 

3 4 6 7 3m 3m 1

 

 

 

 

 

 

 

 

 

 

 

Значит,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y x

 

1

 

x

4

 

 

1

 

x

7

 

1

 

 

 

 

 

x

3m 1

 

.

3 4

 

3 4 6 7

 

 

3 4 6 7 3m 3m 1

 

 

С помощью признака Даламбера легко убедиться в том, что этот ряд сходится во всех точках числовой оси Ox и, следовательно, представляет искомое решение при всех x. Заметим, что порядок уравнения нисколько не влияет на метод решения его при помощи рядов.

2. y xy2 1 при y x 1 0. Это уравнение нелинейное, и

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

y a0 a1 x 1 a2 x 1 2

привела бы к сложным уравнениям для определения коэффициентов.

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y

 

y

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2xyy ;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y

 

4yy

 

2xy

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2xyy

;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y

v

6y

2

6yy

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

6xy y

2xyy .

 

 

 

 

 

 

 

 

Полагая в самом уравнении и во всех этих равенствах x 1 и

принимая во внимание, что y

 

x 1

 

0, последовательно найдем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

v

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y

 

 

x 1

1, y

 

 

x 1

0, y

 

 

 

x 1

 

2, y

 

x 1

6,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Так как

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

0, a3

1

y

 

 

1

,

a0 y

 

x 1 0, a1 y

 

x 1

1, a2

 

 

 

 

y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2!

 

 

x 1

 

 

 

 

3!

 

x 1 3

 

 

1

 

v

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a4

 

4!y

x 1

4

, , то

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x 1 3

 

 

 

x 1 4

 

 

 

 

 

x 1 n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y x 1

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

 

 

4

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

III. Приближенное вычисление значений функций

Допустим, нам известны значения самой функции f x и её последовательных производных в некоторой точке x0 и мы доказали, что функция f x в окрестности точки x0 разлагается в ряд Тейлора.

Тогда точное значение функции f x в любой точке этой окрестности может быть вычислено по ряду Тейлора, а приближенное – по частичной сумме этого ряда. Оценка остатка позволяет определить требуемое число слагаемых, то есть степень многочлена Pn x f x Rn x . При этом необходимо иметь в виду следующие:

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

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

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

Примеры.

1

1.m2 , получим оценку

m 1

 

 

 

 

1

 

 

 

1

 

 

 

1

 

1

 

 

1

 

 

Rn x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

n

 

 

m n 1 m2

m n 1 m m 1

m n 1 m 1

 

m

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2. 1

 

, оценка:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

m!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R x

 

1

1

 

 

1

1

 

 

 

1

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n!m n 1 n 1 m

n!m n 1 n 1 m n

 

n

 

 

 

 

 

 

 

 

 

n!n

m n 1 m!

 

 

 

 

Лекция № 23. РЯДЫ ФУРЬЕ

Определение. Постановка задачи

Определение. Функциональный ряд

a0 a1 cos x b1 sin x a2 cos2x b2 sin2x 2

вида или, более сжато, ряд вида

a20 an cosnx bn sinnx

n 1

(1)

называется тригонометрическим рядом. Постоянные числа a0, an

и

bn

n 1,2,

называются

коэффициентами

тригонометрического ряда.

 

 

 

 

 

 

 

Если ряд (1) сходится, то его сумма есть периодическая

функция f x

с периодом 2 ,

так как sinnx и cosnx

являются

периодическими

функциями

с

периодом 2 .

Таким

образом,

f x f x 2 .

 

 

 

 

 

 

f x

 

Поставим

 

следующую

 

задачу.

Дана

функция

периодическая

с

периодом

2 . При

каких условиях

для

f x

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