MathAn / !Лекция_II(4)-№5(2014-15)_St
.pdfМатематический анализ. Модуль-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