Copyright ОАО «ЦКБ «БИБКОМ» & ООО «Aгентство Kнига-Cервис»
1)имеет не более, чем конечное число точек разрыва, и все они первого рода (т. е. существуют оба односторонних предела);
2)имеет не более, чем конечное число точек строгого локального экстремума.
Конечно, функций, интегрируемых с квадратом, значительно больше, чем тех, которые удовлетворяют условию Дирихле. Вместе с тем это довольно широкий класс, к которому принадлежат
многие функции, встречающиеся на практике.
Теорема 3. Если функция f(x) удовлетворяет условию Дирихле на отрезке [−l,l], то ее тригонометрический ряд Фурье сходится в каждой точке x [−l,l]. Более того, сумма ряда Фурье S(x) совпадает с f(x) в любой точке непрерывности функции f(x). В точках, где функция f(x) терпит разрыв, сумма ряда Фурье S(x) равна полусумме односторонних пределов f(x), т. е.
12 f(x+0)+f(x−0) .
Наконец, в граничных точках
S(±l) = 12 f(l−0)+f(−l+0) .
Сумма тригонометрического ряда (6), периодична с периодом 2l. Поэтому из теоремы 3 следует, что ряд Фурье функции, удовлетворяющей условию Дирихле на [−l,l], сходится на всей числовой оси к периодичной функции S(x). Будем говорить, что
S(x) является разложением функции f(x) в ряд Фурье. Замечание. Тригонометрическим рядом Фурье функции f(x)
L2[a,a+2l] называется ряд вида (9) с коэффициентами
a+2l
1
a0 = l f(x)dx;
a
a+2l
f(x)cos nlπxdx;
11
Copyright ОАО «ЦКБ «БИБКОМ» & ООО «Aгентство Kнига-Cервис»
4. РЯД ФУРЬЕ ДЛЯ ЧЕТНЫХ И НЕЧЕТНЫХ ФУНКЦИЙ
Пусть функция f(x) L2[−l,l] нечетна, т. е. f(−x) = −f(x). |
|||||
Тогда функции f(x)cos |
nπ |
x нечетны, а функции f(x)sin |
nπ |
x чет- |
|
|
|
||||
|
l |
|
l |
||
ны. Используя свойства интегралов |
от четных и нечетных функций |
||||
по симметричному промежутку, из |
формул (8) получим |
||||
l
1 a0 = l
−l
l
1 an = l
−l
l
1 bn = l
−l
f(x)dx = 0;
f(x)cos nlπxdx = 0;
l
f(x)sin nlπxdx = 2l f(x)sin nlπxdx.
0
Итак, тригонометрический ряд Фурье нечетной функции на
отрезке [−l,l] имеет вид |
|
|
|
l |
||||
∞ |
|
|
|
|
nπ |
|
||
f(x) n=1 bn sin |
nπ |
x; |
bn = |
2 |
|
f(x)sin |
xdx; n = 1,2,... |
|
l |
l |
l |
||||||
|
|
|
0 |
|
|
|
||
Пусть функция f(x) L2[−l,l] четна, т. е. f(−x) = f(x). Тогда функции f(x)cos nlπx четны, а функции f(x)sin nlπx нечетны.
Используя свойства интегралов от четных и нечетных функций по симметричному промежутку, из формул (8) получим
ll
a0 = |
1 |
f(x)dx = |
2 |
0 |
f(x)dx; |
l |
l |
||||
|
|
−l |
|
||
l
1 an = l
−l
l
f(x)cos nlπxdx = 2l f(x)cos nlπxdx;
|
|
|
0 |
|||
|
1 |
l |
|
nπ |
|
|
bn = |
|
f(x)sin |
xdx = 0. |
|||
l |
l |
|||||
|
|
−l |
|
|
|
|
12
Copyright ОАО «ЦКБ «БИБКОМ» & ООО «Aгентство Kнига-Cервис»
Итак, тригонометрический ряд Фурье четной функции на отрезке [−l,l] имеет вид
|
|
|
|
a0 |
|
∞ |
|
nπ |
|||
|
f(x) |
|
|
|
|
|
|||||
|
2 |
+n=1 an cos |
|
l |
x; |
||||||
|
2 |
0 |
l |
|
nπ |
|
|
|
|
||
an = |
f(x)sin |
xdx; |
n = 0,1,... |
||||||||
l |
l |
||||||||||
Рассмотрим следующую задачу. Разложить функцию f(x), заданную на отрезке [0,l], в ряд Фурье, не содержащий синусов. Для этого мы доопределяем функцию так, чтобы она была четной на отрезке [−l,l]. Тогда, согласно свойству ряда Фурье четной функции, коэффициенты при синусах будут равны нулю.
Аналогично можно поставить задачу о разложении в ряд Фурье, не содержащий косинусов. В этом случае надо доопределять функцию так, чтобы она была нечетной на отрезке [−l,l].
Такие ряды называются неполными рядами Фурье или рядами соответственно по косинусам и синусам.
5. ТИПОВЫЕ И ТЕОРЕТИЧЕСКИЕ ЗАДАЧИ
Задача 2. Функцию
f(x) = 2, −π < x < 0; 1, 0 < x < π
разложить в ряд Фурье и вычислить его сумму при всех x [−l,l]. Р е ш е н и е. Найдем коэффициенты Фурье из формул (8):
|
|
|
|
2 |
0 |
|
1 |
|
|
|
π |
|
|
a0 = |
|
dx+ |
|
|
dx = 3; |
||||||
|
|
|
|
|||||||||
|
π |
π |
||||||||||
|
|
|
0 |
|
−π |
|
|
0 |
|
π |
||
|
2 |
|
|
|
|
1 |
|
|
||||
an = |
|
cosnxdx+ |
|
|
cosnxdx = |
|||||||
|
|
|
|
|||||||||
|
π |
π |
||||||||||
|
|
|
−π |
|
|
|
|
|
|
|
0 |
|
13
Copyright ОАО «ЦКБ «БИБКОМ» & ООО «Aгентство Kнига-Cервис»
|
|
|
= π2n sinnx |
0 |
π |
|
|
|
|
|
π |
= 0; |
|
|
|
|
|
|||||||||||
|
|
|
|
|
+ π1n sinnx 0 |
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
− |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
2 |
0 |
|
|
|
1 |
|
|
|
π |
|
|
|
|
|
|
|
|
|
|
|
|
1 |
( |
|
n |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
cos πn |
|
|
1) |
|||||||
bn = |
|
|
sinnxdx+ |
|
|
sinnxdx = |
πn |
− |
|
= |
|
− |
πn− |
. |
||||||||||||||
π |
π |
|
||||||||||||||||||||||||||
|
|
−π |
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Итак, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
3 |
|
1 |
|
∞ |
1 |
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
f(x) S(x) = |
2 |
+ |
π |
|
n=1 |
n |
(−1)n −1 |
sinnx. |
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
2
Наконец, заметим, что bn = 0 при четных n, и bn = −πn при нечетных n. Поэтому
3 2 |
|
∞ |
1 |
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
(10) |
|||
|
|
|
|
|
|
− |
1 sin(2m−1)x. |
||||||
S(x) = 2 − π m=1 2m |
|
|
|||||||||||
Из теоремы 3 следует, что |
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
3 |
, x = −π; |
|
|||||
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
2 |
|
|||||||
|
|
|
|
|
2, |
− |
π < x < 0; |
|
|||||
|
|
|
|
|
|
3 |
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
S(x) = |
|
, |
x |
|
|
|
|
|
|||||
|
= 0; |
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
13, |
0 < x < π; |
|
||||||
|
|
|
|
|
|
, |
x = π. |
|
|||||
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
S(x) |
= |
S(x+2π). |
(11) |
||||||||
Упражнение 4. Построить графики частичных сумм ряда Фурье из задачи 2: S1(x),S3(x),S5(x). Сравнить их с графиком функ-
Задача 3. Подставить x = 2π в ряд Фурье S(x) из задачи 2 и
найти сумму этого числового ряда.
π
Р е ш е н и е. Если в (10) взять x = 2, то получим
S |
π |
= |
3 |
− |
2 ∞ |
1 |
|
sin(2m |
− |
1) |
π |
= |
3 |
− |
2 |
∞ |
(−1)m+1 |
. |
||
|
|
|
|
|
|
|
|
|
|
|||||||||||
2 |
2 |
π m=1 |
2m−1 |
2 |
2 |
|
||||||||||||||
|
|
|
|
|
π m=1 2m−1 |
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
14 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Copyright ОАО «ЦКБ «БИБКОМ» & ООО «Aгентство Kнига-Cервис»
Однако из определения функции |
S(x) (cм. (11)) следует, что |
|||||||
S( |
π |
) = 1. Тогда |
|
|
|
|
|
|
2 |
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
∞ |
(−1)m+1 |
= |
π |
. |
||
|
|
4 |
||||||
|
|
m=1 |
2m |
− |
1 |
|
|
|
|
|
|
|
|
|
|
||
Итак, доказано следующее соотношение:
π |
= 1− |
1 |
+ |
1 |
− |
1 |
+... |
(12) |
|
|
|
|
|
|
|||||
4 |
3 |
5 |
7 |
||||||
Замечание. К сожалению, соотношение (12) непригодно для вычисления числа π из-за чрезвычайно медленной сходимости. Например, чтобы получить чило π с абсолютной погрешностью 0,01, потребуется взять около 200 слагаемых ряда из правой части соотношения (12).
Задача 4. Функцию
f(x) = x, −3 < x < 0; 0, 0 ≤ x < 3.
разложить в тригонометрический ряд Фурье и вычислить его сумму при всех x [−l,l].
Р е ш е н и е. |
Найдем коэффициенты Фурье из формул (8), |
|||||||||||||||||||||||||||||
используя интегрирование по частям: |
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
1 |
0 |
|
|
|
|
|
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
xdx = |
− |
; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
a0 = |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
3 |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
−3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
an = 3 |
0 |
xcos π3 |
|
|
dx = π1n |
0 |
xdsin π3 |
= |
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
1 |
|
|
|
|
|
nx |
|
|
|
|
|
|
|
|
|
|
nx |
|
|
|
|
|
||||||||
|
|
|
|
−3 |
|
|
|
|
|
|
|
|
0 |
|
|
|
−3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
= π1n |
xsin |
π3 |
|
0 |
3 |
|
sin |
π3 |
|
dx = |
π23n2 cos |
π3 |
|
0 |
3 |
= |
||||||||||||||
− |
|
|||||||||||||||||||||||||||||
|
|
|
nx |
|
|
|
|
3 |
|
|
|
nx |
|
|
|
|
|
nx |
|
|
|
|||||||||
|
|
|
|
− |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
− |
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
− |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3 |
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
= |
|
1−(−1) |
; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
π2n2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
15 |