- •1.1. Основные понятия
- •1.2. Свойства числовых рядов
- •1.3. Ряды с положительными членами
- •1.3.1. Достаточные признаки сравнения знакоположительных рядов. Эталонные ряды
- •1.3.2. Достаточные признаки Даламбера и Коши сходимости знакоположительных рядов
- •1.4. Ряды с произвольными членами
- •1.5. Знакочередующиеся ряды
- •2. ФУНКЦИОНАЛЬНЫЕ РЯДЫ
- •2.1. Определение, область сходимости
- •2.2. Равномерная сходимость функционального ряда.
- •2.3. Степенные ряды
- •2.4. Разложение функций в степенные ряды
- •2.5. Приложения рядов к приближённым вычислениям
- •2.6. Решение задачи Коши с помощью степенных рядов
- •3. РЯДЫ ФУРЬЕ
- •3.1. Ряды и коэффициенты Фурье
- •3.2. Условия и теорема Дирихле
- •3.3. Разложение в ряд Фурье чётных и нечётных функций
- •3.5. Сдвиг сегмента разложения
- •3.6. Изменение длины сегмента разложения
- •3.7. Интеграл Фурье (как предельный случай ряда Фурье)
y′(0) = e0 − 0 = 1.
Дифференцируем уравнение и вычисляем последующие коэффициенты: y′′ = −ex − y′ x =0 = −1 − 1 = −2,
y′′′ = e−x − y′′ x =0 = 1 + 2 = 3,
y IV = −e−x − y′′′ x = 0 = −1 − 3 = −4,
yV = e−x − y IV |
= 1 + 4 = 5. |
|
x =0 |
|
На этом остановимся, поскольку по условию необходимо найти только пять ненулевых членов ряда.
Итак, решение имеет вид
y = x − |
2 |
x 2 |
+ |
3 |
x 3 − |
4 |
x 4 + |
5 |
x 5 + , |
|
2 ! |
3 ! |
4 ! |
5 ! |
|||||||
|
|
|
|
|
|
или
y = x − x |
2 |
+ |
x 3 |
− |
x 4 |
+ |
x 5 |
+ . |
|
2 ! |
3 ! |
4 ! |
|||||
|
|
|
|
|
|
17.2. y′ = 2x cosx + y 2 |
|
= 1, где у(0) = 1 по условию; |
||||||||||||
|
|
|
|
|
x =0 |
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
||||
y ′′ = 2(cos x − x sin x + y y ′) |
|
x = 0 = 4; |
|
|||||||||||
|
|
|||||||||||||
y ′′′ = 2(− sin x − sin x − x cos x + (y ′)2 |
+ y y ′′) |
|
x = 0 |
= 10; |
||||||||||
|
||||||||||||||
y IV = 2(− 3 cos x + x sin x + 3y ′ y ′′ + y y ′′′) |
|
|
|
= 38. |
||||||||||
|
x = 0 |
|||||||||||||
|
||||||||||||||
|
|
|||||||||||||
Итак, |
|
|
|
|
|
|
|
|
|
|
|
|
||
y(x ) = 1 + x + |
4 |
x 2 |
+ 10 |
x 3 + 38 x 4 |
+ , |
|
|
|
|
|
||||
|
|
|
|
|
|
|||||||||
2 ! |
|
3 ! |
4 ! |
|
|
|
|
|
|
|||||
или |
|
|
|
|
|
|
|
|
|
|
|
|
||
y(x ) = 1 + x + 2x 2 + |
5 |
x 3 |
+ 19 x 4 + . |
|
|
|
|
|
|
|||||
3 |
|
|
|
|
|
|
||||||||
|
|
|
|
|
12 |
|
|
|
|
|
|
|
|
3. РЯДЫ ФУРЬЕ
3.1. Ряды и коэффициенты Фурье
Определение 1. Разложение функции f(x) в ряд по тригонометрической системе функций cos0x, cosx, sinx, … называется тригонометрическим рядом Фурье.
Это разложение имеет вид
∞
f (x ) = ∑ (an cosnx + bn sin nx ) ,
n = 0
где an, bn называются коэффициентами Фурье для функции f(x) и являются функциями дискретного аргумента п = 0, 1, 2, 3, ….
Найдём формулы для вычисления этих коэффициентов.
∞
1. Умножим обе части равенства f (x ) = ∑ (an cosnx + bn sin nx ) на cos0x и проинтегрируем на
n = 0
отрезке [−π, π]. В силу ортогональности системы все слагаемые суммы обратятся в ноль, кроме одного, при n = 0:
28
π |
|
|
π |
|
|
|
|
π |
|
∫ f (x )cos 0xdx |
|
2 |
|
1 |
|
∫ f (x )dx. |
|||
= a0 ∫ cos 0xdx , |
a0 |
= |
|
|
|||||
2π |
|
||||||||
− π |
|
|
− π |
|
|
|
|
− π |
|
|
|
|
∞ |
|
|
|
|
|
|
2. Умножим f (x ) = ∑ (an cosnx + bn sin nx ) |
на cosnx и проинтегрируем на [−π, π]. Опять же в |
||||||||
|
|
|
n = 0 |
|
|
|
|
|
|
силу ортогональности получим |
|
|
|
|
|
|
|||
π∫ f (x )cos nxdx |
= an |
π∫ cos2 nxdx , |
an |
= π1 |
|
π∫ f (x )cos nxdx . |
|||
− π |
|
|
− π |
|
|
|
− π |
|
|
|
|
|
∞ |
|
|
|
|
|
|
3. Умножив f (x ) = ∑ (an cosnx + bn sin nx ) |
(на sinnx и проинтегрировав, получим |
||||||||
|
|
|
n = 0 |
|
|
|
|
|
|
bn = π1 |
π∫ f (x )sin nxdx . |
|
|
|
|
|
|
||
|
− π |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∞ |
|
|
Получаем: f (x ) = ∑ (an cosnx + bn sin nx ) , |
||||||||
|
|
|
|
|
|
n = 0 |
|
|
|
|
|
π |
|
|
|
|
|
1 |
|
∫ f (x )dx, |
|
|
|
|||
a0 = |
|
|
|
|
|
|||
2π |
|
|
|
|
||||
|
|
|
− π |
|
|
|
|
|
an = π1 |
|
π∫ f (x )cos nxdx , |
|
|||||
|
|
− π |
|
|
|
|
|
|
|
|
π |
|
|
|
|
|
|
bn = π1 |
∫ f (x )sin nxdx . |
|
||||||
|
− π |
|
|
|
|
|
||
Другая форма записи: |
|
|||||||
|
|
|
|
|
a0 |
∞ |
|
|
|
|
|
f (x ) = |
+ ∑ (an cosnx + bn sin nx ), |
||||
|
|
|
2 |
|||||
|
|
|
|
|
|
|
n = 1 |
|
|
|
|
an |
= π1 |
π∫ f (x )cos nxdx , |
n = 0, 1, 2, …, |
||
|
|
|
|
|
|
− π |
|
|
|
|
|
bn |
= π1 |
π∫ f (x )sin nxdx , |
n = 1, 2 . |
||
|
|
|
|
|
|
− π |
|
Найти ряд Фурье для функции – значит: найти коэффициенты Фурье этой функции по формулам и записать тригонометрический ряд с этими коэффициентами.
Пример 1. Разложить в ряд Фурье функцию f(x) = |х| на [−π, π].
Решение. По определению модуля |
|
x |
|
= |
x , |
если x |
≥ 0, |
|||||
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
− x , |
если x |
< 0. |
|
|
|
|
|
|
|
|
|
|
||||
Следовательно, f (x ) = |
|
x |
|
= |
x, x [0, π ], |
|
|
|
||||
|
|
|
|
|
||||||||
|
|
|
|
|
− x, x [− π , 0 |
]. |
|
|
||||
|
|
|
|
|
|
|
Воспользовавшись свойством аддитивности определённого интеграла, найдём коэффициенты разложения
|
1 |
0 |
π |
|
1 |
|
x2 |
|
0 |
|
x2 |
|
π |
1 |
|
π 2 |
|
π 2 |
|
||||
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
||||||||||||||||
a0 = |
π |
− |
∫ xdx |
+ ∫ xdx |
= |
π |
− |
2 |
|
|
+ |
2 |
|
|
|
= |
π |
|
2 |
+ |
2 |
|
= π , |
|
|
|
− π |
0 |
|
|
|
|
|
− π |
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
29
|
1 |
|
0 |
|
|
|
|
|
|
π |
|
|
|
|
|
|
|
интегрируем по |
|
|
|
|
||||||||||||
|
|
∫ x cosnxdx |
+ ∫ x cosnxdx |
частям: |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
an = π |
− |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
− π |
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
∫ udv = uv − ∫ vdu; |
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
u = x , du = dx , |
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
dv = cosnxdx , |
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
v = |
|
1 |
sin nx |
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
π |
|
|
|
|
|
|
|
= π1 − |
x |
sin nx |
|
0− π |
+ |
1 |
|
∫ sin nxdx |
+ |
x |
sin nx |
|
π0 |
− |
1 |
∫ sin nxdx = |
|
|||||||||||||||||
|
|
|
|
|||||||||||||||||||||||||||||||
n |
n |
|
n |
n |
|
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
− π |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
(− 2 |
|
|
|
) = |
|
|
sin nπ = 0 |
|
|
|
|
|
|
1 |
|
|
|
|
0 |
|
|
|
|
|
|
|
π |
|
|
1 |
|
|
|
n |
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
= |
|
|
|
|
|
|
n |
= − |
|
|
cosnx |
|
|
|
|
− cosnx |
|
= |
|
|
+ |
2(− 1) |
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
cosnπ |
= (− |
1) |
|
|
|
πn |
2 |
|
|
|
− π |
|
|
|
|
|
|
0 |
|
|
πn |
2 |
|
|
|
|
|
= |
2 ((− 1)n − 1) = − πn 2 , |
|||
|
|
|
4 |
|
|
|
|
|
|
|
πn 2 |
0, |
|
|
|
|
|
|
если n = 2k − 1,
если n = 2k;
|
|
|
|
1 |
|
0 |
|
|
|
|
|
|
|
π |
|
|
|
|
|
|
интегрируем по |
|
|
||||||||||||
bn |
= |
|
− ∫ x sin nxdx |
|
|
|
|
|
|
|
частям: |
|
|
|
|
|
|
|
|
||||||||||||||||
π |
|
+ ∫ x sin nxdx |
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
−π |
|
|
|
|
|
0 |
|
|
|
|
|
|
|
u = x , |
du |
= dx, |
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
dv = sin nxdx , |
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
v = − |
1 |
cosnx |
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
π |
|
|
|
|
|
|
|
1 |
x |
|
|
0 |
|
|
|
|
1 |
|
|
|
|
|
|
x |
|
π |
|
1 |
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
= |
|
π |
|
n |
|
cosnx |
|
− π |
− |
n |
∫ cosnxdx |
− |
n |
cosnx |
0 |
+ |
|
n |
∫ cosnxdx |
= |
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
− π |
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
||||
|
|
1 |
π |
|
|
|
|
1 |
|
|
|
|
|
0 |
|
π |
|
|
|
|
1 |
|
|
|
|
π |
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
= |
|
π |
|
|
|
cosnπ − |
|
|
|
sin nx |
|
− |
|
cosnπ + |
|
|
|
sin nx |
|
= 0. |
|
|
|||||||||||||
|
|
|
n |
|
|
|
|
n2 |
|
|
|
− π |
|
n |
|
|
|
|
n2 |
|
|
|
|
0 |
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
В итоге |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
∞ |
|
|
|
|
n |
|
|
|
|
|
|
|
|
∞ |
|
|
|
|
|
|
|
|
|
|
|
||
|
x |
|
= |
π |
|
|
+ π2 ∑ |
(− 1) |
− 1 |
cosnx = |
π |
|
− π4 ∑ |
cos(2n − 1)x |
, x [−π , π ]. |
||||||||||||||||||||
|
|
|
|
|
|||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
2 |
|
|
n = 1 |
|
|
n 2 |
|
|
|
|
|
2 |
|
|
n = 1 |
|
|
(2n − 1)2 |
|
|
|
3.2. Условия и теорема Дирихле
Выясним вопрос о том, в каких случаях ряд Фурье функции f(x) сходится к этой функции.
Теорема Дирихле. Пусть на отрезке [−π, π] задана ограниченная функция f(x), удовлетворяющая на этом отрезке следующим двум условиям:
1.Функция f(x) непрерывна или кусочно-непрерывна, т. е. имеет на этом отрезке лишь конечное число точек разрыва, причём только первого рода.
2.Функция f(x) монотонна или кусочно-монотонна, т. е. этот отрезок можно разбить на конечное число отрезков, на каждом из которых функция f(x) монотонно возрастает, или убывает, либо остаётся постоянной.
Тогда такая функция f(x) разлагается в соответствующий ей тригонометрический ряд Фурье, который сходится на этом отрезке, причём:
1) в каждой точке х = х0 непрерывности функции f(x) сумма ряда S(x) равна значению функции f(x) в этой точке: S(x 0 ) = f (x 0 );
2) в каждой точке х = х1 разрыва функции f(x) сумма ряда равна среднему арифметическому |
|||
односторонних пределов функции в этой точке: S(x1 ) = |
f (x1 − 0) + f (x1 |
+ 0) |
; |
2 |
|
30
3) в точках х = − π и х = π (на границах отрезка) сумма ряда равна среднему арифметическому правого предела f(x) в точке х = − π и левого предела f(x) в точке х = π :
S(− π ) = S(π ) = f (− π + 0)2+ f (π − 0) ;
4) на всяком конечном отрезке, свободном от точек разрыва функции f(x), ряд равномерно сходится к f(x).
Теорема Дирихле даёт достаточные условия разложимости функции f(x) в тригонометрический ряд. Условия 1 и 2 теоремы называются условиями Дирихле.
Замечание. Сумма ряда
∞
S(x ) = ∑ (an cosnx + bn sin nx )
n = 0
есть периодическая функция с периодом Т = 2π. Она определена на всей числовой оси, но описывает разлагаемую функцию f(x) только на сегменте [−π, π], поскольку за его пределами сумма ряда повторяет свои значения как периодическая функция, а значения функции f(x) не подчинены такому закону.
Вернёмся к примеру 1 и проверим выполнение условий теоремы Дирихле для функции у = | х | на сегменте [−π, π].
y |
1. Построим график и убедимся, что функция непрерывна и кусочно- |
πмонотонна (см. рис. 1).
2.Вычислим значения суммы ряда в конечных точках отрезка [−π, π]:
−π |
0 |
π |
x |
f (− π |
+ 0) + f (π − 0) |
|
|
|
Рис. 1 |
S(± π ) = |
|
= π = f (± π ), |
|||
|
|
2 |
|
||||
|
|
|
|
|
|
|
т. е. на концах отрезка значения суммы ряда и функции одинаковы. 3. В точках непрерывности функции сумма ряда и значения функции должны совпадать.
Проверим это утверждение например для точки x = π2 (− π , π ) :
f (π ) = π , |
S(π ) = π |
∞ |
cos[(2n − 1) |
π |
] |
= π |
∞ |
||
− π4 ∑ |
2 |
|
− π4 ∑ 0, |
||||||
2 |
2 |
2 |
2 |
n = 1 |
(2n − 1)2 |
2 |
n = 1 |
т. е. утверждение теоремы действительно выполняется:
f (π2 ) = S(π2 ).
4. Построим частичные суммы ряда (см. рис. 1):
S0 (x ) = a20 = π2 , S1 (x ) = π2 − π4 cosx;
последнюю сумму строим методом суперпозиций:
y1 = cosx, y2 = − π4 y1 = − π4 cosx, y3 = y1 + y2 = π2 − π4 cosx,
S1 (± π ) = π2 + π4 — ориентировочные точки.
y
π
π/2
1
−π |
0 |
π |
−1 2
y= x
S0
у2
πx
у1 = cosx
Как видим, уже S1(x) довольно хорошо заменяет (апроксимирует) функцию у = | х |. Безусловно, взяв большее
число слагаемых, построив S2(x), S3(x), …, мы получим более точную апроксимацию нашей функции тригонометрическим рядом.
5. Используем ещё раз утверждение теоремы Дирихле: S(x0) = f(x0), если х0 — точка непрерывности функции, подсчитаем значение функции и суммы ряда в точке х = 0; в
силу их равенства получаем
31