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

MathAn / !Лекция_II(4)-№5(2014-15)_St

.pdf
Скачиваний:
17
Добавлен:
26.03.2016
Размер:
565.74 Кб
Скачать

Математический анализ. Модуль-4 (2014-15)

Лекция №5 Тригонометрический ряд. Ряды Фурье

1. Тригонометрический ряд и его свойства

В степенных рядах используются простейшие степенные функции

1, x, x2 , , xn , .

? … ? …

 

1

 

 

 

систему функций

 

, cos x,sin x, cos2x,sin 2x, , cosnx,sin nx,

,

(1)

 

2

 

 

 

Def 1. Тригонометрическим рядом называется ф.р.

a20 a1 cos x b1 sin x a2 cos2x b2 sin 2x an cosnx bn sin nx , (2)

где a0 , a1, a2 ,b2 , , an ,bn - коэффициенты тригонометрического ряда.

Важные свойства

1.Периодичность функций системы (1) и суммы тригонометрического ряда.

2.Ортогональность функций системы (1).

S1. ! Все члены ряда - периодические функции с общим периодом T 2 .

Если все члены ряда

 

a0

 

 

f x

 

an cosnx bn sin nx (3)

 

2

n 1

 

 

не изменяются в результате замены

x на x 2 , то и сумма его не изменяется от

этой замены.

 

 

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

1

Математический анализ. Модуль-4 (2014-15)

! Тригонометрические ряды можно использовать в качестве моделей при

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

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

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

 

 

1

 

 

 

 

1

 

 

 

 

 

0 ;

 

1

 

1

 

 

0 (S2.1)

 

 

coskx dx

 

 

 

sin kx dx

coskx

 

 

sin kx

 

 

 

2

2

2

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

cos k n x cos k n x dx

 

 

coskx cosnx dx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 sin k n x

 

 

sin k n x

 

 

0, k n,

 

 

 

 

 

 

 

 

 

 

(S2.2)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

k n

 

 

 

k n

 

 

, k n

 

 

 

 

Аналогично

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0, k n,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

при k n , (S2.3)

 

 

 

 

sin kx sin nx dx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

, k n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

sin kx cosnx dx 0 . (S2.4)

 

 

 

 

 

 

1

 

 

 

 

 

1

 

1

 

 

 

cos2 kx dx

 

 

 

 

 

1 cos2kx dx

 

 

 

x

 

 

 

sin 2kx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

2

 

 

2k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

1

 

 

1

 

 

sin 2 kx dx

 

 

 

 

 

1 cos2kx dx

 

 

 

x

 

 

 

sin 2kx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

2

 

 

2k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

2

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

4

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

Математический анализ. Модуль-4 (2014-15)

Теорема 0

 

 

 

 

 

 

 

 

 

 

 

 

a0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Если сходится ряд

 

 

 

 

 

 

an

 

 

 

bn

 

(*), то тригонометрический ряд является

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Т.к. для n N и x ,

 

 

cosnx

 

1,

 

sin nx

 

1

 

 

 

 

 

 

an cosnx

 

 

 

an

 

,

 

bn sin nx

 

 

 

bn

 

 

ряд (*) мажорирующий по отношению к

 

 

 

 

 

 

 

 

тригонометрическому ряду ряд (*) - абсолютно сходящийся (см. признак Вейерштрасса). #

2. Ряд Фурье

Теорема 1

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

 

a0

 

f x

an cosnx bn sin nx ,

 

2

n 1

 

 

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

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

Интегрируя ряд (3), получим

 

f x dx

a0

 

 

 

 

 

 

 

 

 

 

 

dx

a

n

cosnx dx b

 

sin nx dx

,

 

 

 

2

 

 

n

 

 

 

 

 

 

 

 

 

n 1

 

 

 

 

откуда с учетом свойства ортогональности, находим

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

a0

 

f x dx .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Для определения ak

умножим (3) на coskx (ограниченная функция, k N) и

проинтегрируем по

x на , . С учетом свойства ортогональности,

получим

3

Математический анализ. Модуль-4 (2014-15)

 

 

 

 

a0

 

 

 

 

 

f x coskx dx

coskx dx

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

an

coskx cosnx dx bn

coskx sin nx dx

ak

cos2 kx dx ak

 

 

 

 

 

 

 

n 1

 

 

 

 

1

 

 

 

 

 

 

 

ak

 

f x coskx dx .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Аналогично для определения bk

умножим (3) на sin kx и проинтегрируем по

x на ,

 

 

 

 

 

f x sin kx dx bk

 

 

 

 

 

1

 

 

bk

 

 

f x sin kx dx .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Таким образом, формулы

 

 

 

1

 

x dx , (Ф.1)

a0

 

f

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

x coskx dx , (Ф.2)

ak

 

f

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

x sin kx dx (Ф.3)

bk

 

 

f

 

 

 

 

 

 

 

 

 

 

 

 

определяются единственным образом. #

Числа a0 , ak , bk

- коэффициенты Фурье, соответствующий ряд называется рядом

Фурье (р.Ф.).

4

Математический анализ. Модуль-4 (2014-15)

Def 2. Функция f x называется удовлетворяющей условиям Дирихле на a, b , если она

непрерывна на a, b или имеет конечное число точек разрыва I-го рода;

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

Пусть периодическая функция f x удовлетворяет условиям Дирихле на любом

отрезке из R, тогда по формулам (Ф.1-Ф.3) можно найти коэффициенты Фурье и построить ряд Фурье.

Теорема 2 (Дирихле)

Если периодическая функция f x с периодом 2 удовлетворяет на любом отрезке из R условиям Дирихле, то р.Ф. для функции f x сходится x R . При этом в каждой точке непрерывности функции f x сумма ряда

S x f x , а в каждой точке разрыва x сумма S f 0 f 0 . 2

Пример 1

f x x, x определена как периодическая функция с периодом 2 . Разложить f x в р.Ф.

Решение

f x удовлетворяет условиям Дирихле (рис.1)

Рис.1

5

Математический анализ. Модуль-4 (2014-15)

3. Ряд Фурье для четных и нечетных функций

Напоминание

произведение двух четных и двух нечетных функций – четная функция;

произведение четной и нечетной функции – нечетная функция.

Теорема 3

Пусть

 

 

f x :

x , и

f x f x (четная функция)

g x : x , и g x g x (нечетная функция), тогда

коэффициенты Фурье:

 

 

 

 

 

 

 

2

 

 

 

 

2

 

 

 

 

 

 

для

f x : a0

f

x dx, ak

f x coskx dx, bk

0 ;

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

0

 

 

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

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

1

 

0

 

 

 

 

 

bk

 

 

 

f x sin kx dx

 

 

f x sin kx dx f

x sin kx dx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Положим x t dx dt, x

t ; x 0 t 0

 

 

 

0

 

 

 

0

 

 

 

 

 

 

 

bk

 

f

x sin kx dx f t sin k t dt f t sin kt dt

 

 

 

 

 

 

 

 

 

 

0

 

 

(! учли, что

1 bk n 0

sin x - нечетная)

 

 

 

f t sin kt dt

f x sin kx dx

0 .

0

 

 

 

 

Аналогично, учитывая четность

f x и cos x , получаем a0 , ak .

для g x : a0 0, ak 0, bk

 

2

 

 

f x sin kx dx (доказательство аналогично). #

 

 

 

0

6

Математический анализ. Модуль-4 (2014-15)

Вывод

Если функция f x - четная, то ряд Фурье содержит только косинусы;

если f x - нечетная, то только синусы.

Пример 2

f x x , x определена как периодическая функция с периодом 2 . Разложить f x в р.Ф.

Решение

f x - четная и удовлетворяет условиям Дирихле (рис.2)

Рис.2

7