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

1594

.pdf
Скачиваний:
0
Добавлен:
15.11.2022
Размер:
791.65 Кб
Скачать

cos2 3x

1 cos6x

 

1

 

1 cos6x.

 

2

 

2

 

2

Используя теперь известное разложение в ряд Маклорена функции cos x , получаем:

 

 

 

 

 

cos2 3x 1

 

1

 

 

 

(6x)

2

 

 

 

(6x)

4

 

 

 

(6x)

6

... ( 1)n

(6x)

2n

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

...

 

 

 

 

 

 

 

 

 

2

 

2

 

 

 

 

2!

 

 

 

 

 

 

 

 

4!

 

 

 

 

 

6!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(2n)!

 

 

 

 

 

 

 

 

 

 

 

 

1

 

62 x2

 

64 x4

 

 

 

66 x6

 

...

( 1)

n

 

62n x2n

 

... .

 

 

 

 

 

 

 

 

 

 

 

 

2 2!

2

4!

 

 

 

2 6!

 

2

(2n)!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Очевидно, что ряд Маклорена для функции cos2 3x сходится при всех x.

 

 

 

4. Разложить в ряд Маклорена функцию ln (2x2 5x

 

2).

 

 

 

 

 

 

 

 

 

Сделаем сначала следующие преобразования:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ln (2x

 

5x 2) ln

2

1

 

 

 

 

1 2x ln 2 ln 1

 

 

 

 

ln 1

2x .

 

 

 

 

 

 

 

2

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Воспользовавшись

 

 

теперь

 

 

 

 

известным

 

разложением

 

 

для

 

функции

ln (1 x), получим:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

1

 

x

2

 

 

 

 

 

 

3

 

 

1

 

 

4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

ln (2x2 5x 2)

ln 2

 

 

 

 

 

1

x

 

 

 

x

... ( 1)n 1 1

 

x

...

 

 

 

 

 

 

2

3

 

 

4

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2 2 2

 

 

3 2

 

 

4 2

 

 

 

 

 

 

 

 

 

 

 

 

 

n 2

 

 

 

 

 

 

 

 

 

2x

1

2

2

x

2

 

1

 

2

3

x

3

 

1

2

4

x

4

... ( 1)

n 1

 

1

 

2

n

x

n

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

3

 

 

4

 

 

 

 

 

n

 

 

 

...

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ln 2 1 22

x

1 24 x2

1 26

x3

1 28

x4 ... ( 1)n 1

1 22n

xn ....

 

 

 

 

 

 

 

 

 

2

 

 

2 22

 

 

 

 

 

3 23

 

 

 

 

4 24

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 2n

 

 

 

 

 

 

Выписанный ряд Маклорена для функции ln (2x2 5x

2)

будет схо-

диться

для

всех

 

 

| x |

1

, т.к.

 

 

 

в

 

 

 

этом

 

 

случае

 

 

одновременно

 

| x |

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1, 2 | x | 1. Таким образом,

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

 

 

2

 

 

 

1

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

2

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Отметим, что возможность почленного дифференцирования и интегрирования степенного ряда позволяет легко найти разложение функции в ряд Тейлора (Маклорена), если известно разложение в ряд Тейлора (Маклорена)

51

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

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

Степенные ряды находят многочисленные приложения. Рассмотрим применение степенных рядов для

1)вычисления значений трансцендентных функций;

2)вычисления определённых интегралов;

3)решения обыкновенных дифференциальных уравнений.

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

1. Вычисление числа Эйлера e

Оценим сначала число e сверху. Полагая в формуле

ex 1

x

 

x2

...

xn

...

 

 

n!

1!

2!

 

 

x 1, получим равенство

e 1 1!1 2!1 3!1 ... .

Заметим, что поскольку 1 2 3 ... n 1 2 2 ... 2 2n 1 , то для любого

n 1

n 2 верно неравенство n! 2n 1 . Очевидно, оно справедливо и для

n 1, т.к.

в этом случае неравенство принимает вид

1! 1 1 20 . Поэтому

 

1

 

1

для любого n N

 

. Используя это неравенство, получаем:

 

 

2n 1

 

n!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

1

 

1

 

 

 

1 1 1

 

1

 

 

 

 

 

1

 

 

 

 

 

 

e 1

 

 

 

...

 

... 1

1

 

2

 

3,

 

 

 

 

 

2!

 

 

 

 

 

1

 

 

 

 

1!

3!

 

 

 

 

 

2

22

 

 

 

1

 

 

так что e 3.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Воспользуемся теперь разложением ex

по формуле Маклорена, полагая в

ней x 1 :

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e 1

 

1

 

1

 

1

...

1

 

R (1),

 

 

(2.20)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1!

2!

3!

 

 

n!

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

52

где R (1)

e

 

, 0 1. Ясно, что 0 R

(1)

e

 

3

 

 

 

. Полагая

 

 

 

 

 

 

 

 

n

(n

1)!

 

 

 

 

 

 

n

 

 

(n 1)!

(n 1)!

 

 

 

 

 

 

 

 

 

 

 

 

теперь в формуле (2.20) n 9 , получим, что сумма

 

 

 

 

 

 

 

 

 

 

 

1

1

 

1

 

1

...

1

 

 

 

 

 

 

 

 

 

 

 

 

 

2!

 

9!

 

 

 

 

 

 

 

 

 

 

 

1!

3!

 

 

 

 

 

 

 

 

отличается от числа e на величину R (1) , не превосходящую

3

 

. Таким об-

 

 

 

 

 

 

 

 

 

 

9

 

 

 

 

 

 

10!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

разом, e 2,71828. При этом погрешность приближения не превосходит 10!3 0,0000009 , т.е. в приближённой формуле все знаки верны.

2. Вычисление логарифмов

Вычислим ln1,1. Воспользуемся разложением ln 1 x в ряд Маклорена:

ln1,1 ln 1 0,1

0,1

(0,1)2

 

 

(0,1)3

 

 

(0,1)4

 

 

(0,1)5

... ( 1)n 1

(0,1)n

 

 

 

 

 

4

5

 

 

 

2

3

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

... .

 

 

 

 

 

 

 

(2.21)

Преобразуем формулу (2.21) к виду

 

 

 

 

 

 

 

 

 

 

 

 

ln1,1 0,1

(0,1)2

 

(0,1)3

 

 

(0,1)4

 

 

(0,1)5

...

( 1)n 1

(0,1)n

n , (2.22)

 

 

4

 

n

2

3

 

 

 

 

5

 

 

 

 

 

 

 

 

где n сумма остатка ряда (2.21) после

n - го члена.

 

 

 

 

 

Ряд в формуле (2.21) является знакочередующимся. В силу признака Лейбница

| n |

( 1)n

(0,1)n 1

 

 

(0,1)n 1 .

 

 

 

 

 

n 1

 

 

 

n 1

 

 

Полагая в формуле (2.22) n 4 , получим, что сумма

 

 

0,1

 

(0,1)2

 

(0,1)3

 

 

(0,1)4

 

 

 

 

2

3

 

4

 

0,1 5

 

 

 

 

 

 

 

 

отличается от ln1,1на величину 4 0 , не превосходящую

0,000002 .

5

 

 

 

 

 

 

 

 

 

 

 

53

Поэтому ln1,1 0,0950 , причём все знаки в этой приближённой формуле

верные.

3. Вычисление числа

Исходя из разложения функции arctg x в ряд Маклорена, получаем:

4arctg1 4

 

 

1

 

1

 

1

 

 

1

3

5

7

... .

 

 

 

 

 

 

 

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

Приближённое вычисление определённых интегралов

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

 

a

sin x dx не может быть вычислен с использованием элемен-

ный интеграл

 

0

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

sin x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

 

через элементарные функции

 

x

не выражается.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

sin x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Однако подынтегральную функцию

 

можно разложить в степенной

 

ряд и проинтегрировать. Действительно,

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

sin x

 

x

 

 

 

x3

 

 

x5

 

x7

...,

x ;

 

 

 

 

 

 

 

1!

 

3!

 

5!

7!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

sin x

1

 

x2

 

 

 

x4

 

 

x6

...,

x , x 0 ; поэтому

 

 

x

3!

 

5!

 

7!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

a

 

 

x

2

 

 

 

 

x

4

 

 

 

 

x

6

 

 

 

 

 

 

 

 

a

3

 

 

 

a

5

 

 

a

7

 

 

sin xdx 1

 

 

 

 

 

 

 

 

 

 

 

... dx a

 

 

 

 

 

 

 

 

 

... .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

x

0

3!

 

 

 

 

5!

 

 

 

7!

 

 

 

 

 

 

 

3

3!

 

 

5 5!

 

7

7!

 

(Подынтегральная функция задаётся формулой

 

sin x

лишь для x (0;а]. В

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

точке 0 её можно считать доопределённой произвольным образом, т.к. если

54

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

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

Аналогичным образом можно вычислить интеграл a e x2 dx . Для его вы-

0

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

e x2

1

x2

 

x4

 

x6

+ ... .

 

 

 

 

1!

2!

3!

 

Интегрируя разложение (2.23) по отрезку [0;a], получим:

a

 

 

a

3

 

 

a

5

 

a

7

 

e x2 dt a

 

 

 

 

 

 

 

... .

1! 3

2! 5

3! 7

0

1

 

 

 

 

(2.23)

(2.24)

a

Приведённая формула позволяет вычислить интеграл e x2 dx с любой степе-

0

нью точности.

Решение обыкновенных дифференциальных уравнений

Для решения дифференциальных уравнений воспользуемся методом неопределённых коэффициентов.

П р и м е р Решить задачу Коши

y xy 0 , y 0 0 , y 0 1.

Решение будем искать в виде степенного ряда

 

 

 

y a0 a1 x a2 x2

a3 x3

... = an xn .

 

 

n 0

Воспользуемся начальными условиями:

y 0 0 a0 0 ;

y a1 2a2 x 3a3 x2 ... nan xn 1 ...,

55

y 0 1 a1 1.

Найдём остальные коэффициенты ряда. Для этого вычислим вторую производную искомой функции:

y 2a2 6a3 x ... n n 1 an xn 2 ... n(n 1)an xn 2 .

n 2

Подставив y и y в заданное уравнение, получим равенство

 

 

 

 

n(n 1)an xn 2

x an xn 0,

 

n 2

 

n 1

 

т.е.

 

 

 

 

 

 

 

n(n 1)an xn 2

an xn 1 0.

(2.25)

n 2

 

n 1

 

 

 

 

 

В степенном ряде an xn 1 введём новый индекс суммирования l

с помо-

n 1

 

 

 

щью соотношения n 1 l 2,

так что l n 3, n l 3. Поскольку n

принимает значения 1,2,3,..., то l

принимает значения 4,5,6,... . Поэтому

 

 

 

an xn

1 al 3 x l 2 .

 

n 1

l 4

 

Теперь равенство (2.25) запишется в виде

 

 

 

 

 

n(n 1)an xn 2

al 3 x l 2 0.

(2.26)

n 2

 

l 4

 

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

 

 

 

 

 

 

k(k 1)ak xk 2

ak 3 x k 2

0.

(2.27)

 

k 2

k 4

 

 

Преобразуем левую часть равенства (2.27) следующим образом:

 

 

 

 

 

 

k(k 1)ak xk 2

ak 3 x k 2 2a2 6a3 x k(k 1)ak xk 2

ak 3 xk 2

k 2

k 4

k 4

 

k 4

56

2a2 6a3 x [k(k 1)ak ak 3 ] xk 2 .

k 4

Теперь равенство (2.27) можно записать в виде

 

 

 

 

2a2 6a3 x [k(k 1)ak

ak 3 ] xk 2

0.

(2.28)

k 4

 

 

 

 

 

 

 

Напомним, что коэффициенты любого степенного ряда

bn xn

, имеющего

n 0

положительный радиус сходимости, однозначно определяются значениями суммы ряда s(x) и её производных s(n) (x), n 1,2,3,... в точке x 0 по формулам

b0 s(0), bn s(n) (0) , n 1,2,3, ... .

n!

Сумма ряда из формулы (2.28) равна нулю, т.е. s(x) 0. Поэтому все коэффициенты этого ряда равны нулю:

2a2 0, 6a3 0, k(k 1)ak ak 3 0, k 4,5,6, ... .

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ak 3

 

 

 

 

 

 

 

 

 

 

 

 

a

 

0, a

 

1, a

 

0, a

 

0, a

 

 

 

 

,

k 4,5,6, ... .

 

 

 

 

 

0

 

2

3

k

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(k 1) k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Формулу для коэффициентов ak

 

при k 4,5,6, ... удобно записать в виде

 

 

 

 

 

 

 

 

 

 

 

ak 3

 

 

 

 

 

 

ak

 

 

,

 

k 1,2,3, ... .

 

(2.29)

 

 

 

 

 

 

 

 

 

 

 

(k 2) (k

3)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

По этой формуле получаем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

a1

 

 

 

1

 

,

a

 

 

a

4

 

 

 

 

 

1

 

 

 

 

,

a

a

7

 

 

 

1

 

,

 

3 4

 

3 4

 

6 7

(3 4) (6

 

7)

 

9 10

(3 4) (6 7) (9 10)

 

4

 

 

 

 

 

 

7

 

 

 

 

10

 

 

и, вообще,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a3 p 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

,

p 1.

 

 

 

 

 

 

 

 

 

 

(3 4) (6

7) (9 10)...(3p (3p 1))

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

57

Поскольку a2 0,

то из формулы (2.29) следует, что

a5 0, a8 0, a11 0, и,

вообще,

a3 p 1 0,

p 1. Учитывая, что и

a3 0,

аналогично получаем

a6 0, a9

0, a12 0, так что все коэффициенты

a3 p 0, p 1.

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

a3 p 1

, p 0,1,2,..., при этом

 

 

 

 

 

a1

1, a3 p 1

 

1

, p 1.

 

 

(3 4)(6 7)(9 10)...(3p (3p 1))

 

 

 

 

 

 

 

Таким образом, решение изучаемой задачи даётся формулой

 

 

 

 

 

x3n 1

 

 

 

 

 

y(x) x

 

 

.

(2.30)

 

 

(3 4) (6 7) (9 10)...(3n (3n 1))

 

 

 

n 1

 

 

Легко видеть, что радиус сходимости полученного степенного ряда R .

2.3. Ряды Фурье

2.3.1.Тригонометрическая система функций и тригонометрический ряд

Рассмотрим следующую тригонометрическую систему функций:

1

, cos

x

, sin

x

, cos

2 x

, sin

2 x

, … , cos

n x

, sin

n x

, …

(2.31)

2

l

l

l

l

l

l

 

 

 

 

 

 

 

 

Здесь l любое положительное число. Все функции, входящие в систему,

достаточно простые и хорошо изучены. Из этих функций составим функцио-

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

a0

a

 

cos

x b cos

x a

2

cos 2 x b sin 2 x ...

 

 

 

2

 

1

 

 

l

1

 

l

 

 

l

2

 

l

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

an cos

n x

bn sin

n x

 

... =

a

0

 

 

 

n x

bn sin

n x

. (2.32)

 

 

l

 

 

l

 

 

an cos

l

l

 

 

 

 

 

 

 

 

 

2

n 1

 

 

 

 

 

Числа a0 ,

an ,

bn ,

n 1, 2,...

называются коэффициентами тригонометри-

ческого ряда. Ряд (2.32) будет сходиться для всех x , и притом абсолютно, ес-

58

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ли будет сходиться положительный числовой ряд

 

an

 

 

 

 

bn

 

. Докажем это.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

Фиксируем произвольный x E1

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

 

 

 

 

 

 

 

 

 

a0

 

 

 

 

 

 

 

 

 

n x

 

 

 

 

 

n x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

an

cos

bn sin

 

.

 

 

 

 

 

 

 

 

 

(2.33)

 

 

 

 

 

 

2

 

l

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

l

 

 

 

 

 

 

 

 

 

 

 

Заметим, что для n N выполняется неравенство

 

 

 

 

 

 

 

 

 

 

a

n

cos

n x

b sin

n x

 

 

 

a

n

cos

n x

 

 

 

b

sin

n x

 

 

 

| a

n

| | b

|.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

l

n

 

 

l

 

 

 

 

 

 

 

 

l

 

 

 

n

 

 

 

 

l

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Поскольку ряд с членами | an | | bn |, по предположению, сходится, то, по признаку сравнения, будет сходиться и ряд (2.33). Поэтому ряд (2.32) сходится абсолютно для всех x E1 .

2.3.2. Свойства тригонометрической системы функций

1. Все функции системы являются периодическими, наименьший общий период функций системы равен 2l .

Покажем это.

Функция 12 = const , её периодом является любое число.

Поскольку наименьший период каждой из функций вида cos x , sin x

( 0) равен

2

, то наименьший период функций cos

n x

, sin

n x

равен

 

l

l

 

 

 

 

 

 

 

 

 

T

2 :

n

2l , n 1, 2, ....

 

 

 

 

 

 

 

 

 

 

 

n

 

l

n

 

 

 

 

 

 

 

 

 

 

Наибольшее из чисел Tn , равное T1 2l , как раз и будет наименьшим

общим периодом всех функций системы.

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

59

2. Функции системы (2.31) ортогональны на отрезке l ;l в следующем

смысле: интегралы по этому отрезку от произведения любых двух различных функций этой системы равны 0, а интеграл по отрезку l ;l от квадрата лю-

бой функции отличен от нуля.

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

1

l

n x

 

1

l

n x

 

cos

dx 0 ,

sin

dx 0 .

2

l

l

2

l

l

Действительно,

1

l

n x

 

1 l

 

n x

 

l

 

 

 

cos

dx

sin

 

 

 

 

 

 

 

 

 

2

l

l

2 n

 

l

l

22nl sin n 0 ,

1

l

n x

 

1 l

 

n x

sin

dx

cos

 

 

 

 

 

2

l

l

2 n

 

l

l

l

12 nl (cos n cos n ) 0.

Покажем далее, что имеют место равенства

l

cos

n x

cos

m x

dx l

sin

n x

sin

m x

dx 0, m , n N , m n ,

 

 

 

 

l

 

l

 

l

 

l

 

l

 

l

 

 

 

 

l

sin n x cos m x dx 0, m , n N .

 

 

 

 

l

 

l

 

l

 

 

 

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

l

 

cos m x dx 0,

 

cos n x

m , n N , m n.

l

l

l

 

В самом деле,

l

n x

 

m x

 

1

l

(n m) x

 

(n m) x

cos

 

cos

 

dx

 

cos

 

cos

 

dx

l

l

2

l

l

l

 

 

l

 

 

60

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