- •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. Интеграл Фурье (как предельный случай ряда Фурье)
|
|
∞ |
cos0 |
|
|
∞ |
1 |
|
|
0 = |
π |
− π4 ∑ |
|
π |
= π4 ∑ |
. |
|||
(2n − 1)2 |
(2n − 1)2 |
||||||||
|
2 |
n = 1 |
|
2 |
n = 1 |
|
Поскольку числовой ряд в правой части равенства — сходящийся (проверьте самостоятельно), его сумма конечна и мы сейчас её вычислим:
∞ |
1 |
2 |
|
|
n∑= 1 |
|
|||
|
= |
π |
. |
|
(2n − 1)2 |
8 |
Таким образом, используя разложение какой-либо функции в ряд Фурье, можно вычислять точные суммы сходящихся числовых рядов. Для этого достаточно выбрать точку х0 непрерывности функции в интервале разложимости функции в ряд Фурье, затем использовать условие f(x0) = S(x0).
3.3. Разложение в ряд Фурье чётных и нечётных функций
Пусть функция y = f(x) задана на сегменте [−π, π] и удовлетворяет условиям Дирихле. Рассмотрим предварительно поведение чётной и нечётной функций на симметричном
промежутке [−а, а].
1. Пусть y = f(x) — чётная функция, т. е. f(x) = f(−xВычислим определённый интеграл
a |
0 |
a |
I 1 = ∫ f (x )dx = |
∫ f (x )dx + ∫ f (x )dx . |
|
− a |
− a |
0 |
Геометрически каждый из интегралов в правой части равенства выражает величину площади (между осью ох и графиком функции) S1 и S2, причём, в силу симметрии, S1 = S2. Выполним в первом из интегралов замену: x = −t, dx = −dt, тогда (учитывая f(x) = f(−x))
a |
0 |
a |
a |
I 1 = ∫ f (x )dx = −∫ f (t )dt + ∫ f (x )dx = 2∫ f (x )dx = 2S1 . |
|||
− a |
a |
0 |
0 |
2. Пусть f(x) — нечётная функция, т. е. f(−x) = − f(x)) Вычислим
a |
0 |
a |
I 2 = ∫ f (x )dx = |
∫ f (x )dx + ∫ f (x )dx . |
|
− a |
− a |
0 |
Выполняя в первом слагаемом замену x = −t и учитывая равенство f(−x) = − f(x), получим
0 |
a |
I 2 = ∫ f (− t )(− dt ) + ∫ f (x )dx = 0 . |
|
a |
0 |
Итак, на симметричном интервале [−а, а] определённый интеграл от чётной функции равен удвоенному интегралу на [0, а], интеграл от нечётной функции на промежутке [−а, а] равен нулю.
3. Пусть теперь f(x) — чётная функция, удовлетворяющая условиям Дирихле на [−π, π]. Найдём коэффициенты Фурье:
π |
π |
a0 = π1 ∫ f (x )dx = π2 ∫ f (x )dx; |
|
− π |
0 |
32
an = π1 |
π∫ f (x )cosnxdx |
= π2 |
π∫ f (x )cosnxdx |
|
− π |
|
0 |
(в последнем равенстве подынтегральная функция — чётная, поскольку равна произведению
чётных функций); bn = π1 |
π∫ f (x )sin nxdx = 0 |
|
− π |
(подынтегральная функция — нечётная, поскольку является произведением чётной и нечётной функций).
Ряд Фурье для чётной функции (разложение только по косинусам) примет вид
|
a0 |
|
∞ |
|
|
|
|
π |
|
|
S(x ) = |
+ |
∑ |
an cosnx, |
где an |
= |
2 |
∫ |
f (x )cosnxdx , n = 0, 1, 2, …. |
||
2 |
||||||||||
|
|
|
|
|
π |
|
||||
|
|
|
n = 1 |
|
|
|
|
0 |
|
4. Пусть f(x) — нечётная функция, удовлетворяющая условиям Дирихле на [−π, π]. Найдём её ряд Фурье:
an |
= π1 |
π∫ f (x )cosnxdx |
= 0 (здесь подынтегральная функция нечётная), n = 0, 1, 2, ѕ, |
|
|
|
− π |
|
|
bn |
= π1 |
π∫ f (x )sin nxdx |
= π2 |
π∫ f (x )sin nxdx (подынтегральная функция — чётная как |
|
|
− π |
|
0 |
произведение двух нечётных функций).
Итак, ряд Фурье для нечётной функции (разложение только по синусам) имеет вид
∞ |
|
S(x ) = ∑ bn sin nx , |
|
n = 1 |
|
где bn = π2 |
π∫ f (x )sin nxdx . |
|
0 |
Формулы носят общее название: неполные тригонометрические ряды.
3.4. Разложение в ряд Фурье функций на сегменте [0, π]
Пусть функция y = f(x) задана на сегменте [0, π] и удовлетворяет там условиям Дирихле. Чтобы разложить такую функцию в ряд Фурье, нужно её доопределить на сегменте [−π, 0]. Тогда будем иметь возможность разложить f(x) в ряд Фурье. Так как реально заданной является только часть функции на сегменте [0, π], то полученный ряд следует рассматривать лишь для переменной х, заданной в промежутке [0, π].
Очевидно, получившийся ряд будет зависеть от того, как именно мы произведём доопределение нашей первоначально заданной функции на [0, π].
Как доопределить функцию? Рассмотрим два варианта.
1. Продолжим функцию f(x) на промежуток [−π, 0] чётным образом т. е. построим новую функцию, обладающую свойством чётности (симметрия графика относительно оси оу) ϕ(x) = ϕ(−x), −π ≤ х ≤ π, которая на отрезке [0, π] совпадает с функцией f(x). Тогда
|
a0 |
|
∞ |
|
|
|
|
π |
|
|
π |
|
|
|
π |
|
|
S(x ) = |
+ |
∑ |
an cosnx, |
где a0 |
= |
2 |
∫ |
ϕ (x )dx = |
2 |
∫ |
f (x )dx, an |
= |
2 |
∫ |
f (x )cosnxdx . |
||
2 |
|||||||||||||||||
|
|
|
|
|
π |
|
π |
|
|
π |
|
||||||
|
|
|
n = 1 |
|
|
|
|
0 |
|
|
0 |
|
|
|
0 |
|
Если х — точка непрерывности, то S(x) = f(x) для x (0, π).
Вточках конечного разрыва S(x) вычисляем соответственно теореме Дирихле.
2.Доопределим функцию f(x), продолжив её на отрезок [−π, 0] нечётным образом, т. е. построим новую функцию, обладающую свойством нечётности ϕ(−x) = −ϕ(x) (симметрия
33
графика относительно начала координат) которая на отрезке [0, π] совпадает с функцией f(x), а
именно: f(x) = ϕ(x), 0 ≤ х ≤ π.
Тогда S(x ) |
∞ |
|
= ∑ bn sin nx , |
|
|
|
n =1 |
|
π |
|
π |
где bn = π2 ∫ ϕ (x )sin nxdx |
= π2 ∫ f (x )sin nxdx . |
|
0 |
|
0 |
В этом случае S(x) = f(x) во всех точках непрерывности функции отрезка [0, π].
Пример 2. Разложить функцию f(x) = 2х −2, [0, π] в ряд Фурье, продолжив её чётным образом; нечётным образом.
Решение. Продолжим функцию f(x) на интервал [−π, 0] чётным |
y |
|
образом построив чётную функцию |
||
|
ϕ (x ) = 2x − 2, |
|
|
− 2x − 2, |
y |
|
−π −1 |
0 1 π x |
|
−2 |
0≤ x ≤ π ,
−π ≤ x < 0.
Ряд Фурье для чётной функции имеет вид
|
a0 |
∞ |
|
S(x ) = |
+ ∑ an cosnx. |
||
2 |
|||
|
n =1 |
||
|
|
−π −1 0 1 π x
−2
Рис. 11
Рис.
Ищем коэффициенты Фурье для функции ϕ(x):
π π
a0 = π2 ∫ ϕ (x )dx = π2 ∫ (2x − 2)dx = π2 (x 2 − 2x )π0 = 2π − 4;
0 0
an = π2 |
π∫ ϕ (x )cosnxdx |
= π2 |
π∫ (2x − 2)cosnxdx = |
|
0 |
|
0 |
|
|
x |
|
|
|
|
|
|
π |
|
|
|
|
|
8 |
|
||
|
|
− 1 |
|
π |
|
cos nx |
|
|
4 |
|
− |
|
|
, |
||||
= |
π4 |
|
|
|
sin nx |
0 |
+ |
|
2 |
|
|
= |
|
|
(cosnπ − 1) = |
|
πn2 |
|
|
n |
|
|
πn |
2 |
|
||||||||||||
|
|
|
|
|
|
|
n |
|
0 |
|
|
|
|
0, |
|
|||
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
интегрируем по частям
х − 1 = и, dx = du,
v = ∫ cosnxdx =
= sin nx n
n = 2k − 1,
n = 2k.
Коэффициенты найдены. Составляем ряд:
S(x ) = π − 2 − |
4 |
∞ |
(1 − cosnπ ) |
|
|
|
8 |
|
∞ |
cos(2n − 1)x |
|
|||||||
|
|
∑ |
|
|
|
|
|
cosnx = π − |
2 − |
|
|
∑ |
|
; |
||||
π |
|
n |
2 |
|
|
π |
2 |
|||||||||||
|
|
n =1 |
|
|
|
|
|
|
|
n =1 |
(2n − 1) |
|
||||||
S(0) = |
ϕ (− 0) + ϕ (+ 0) |
|
= |
− 2 −2 |
= −2 = f (0); |
|
|
|
|
|
|
|||||||
2 |
|
|
|
|
2 |
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
S(π ) = S(− π ) = |
ϕ (−π + 0) + ϕ (π − 0) |
= 2π − 2 + 2π − 2 |
= 2π − 2 = f (π ). |
|||||||||||||||
|
||||||||||||||||||
|
|
|
|
|
|
|
2 |
|
|
|
2 |
|
|
|
|
|
|
Таким образом, полученный ряд сходится к функции f(x) для всех x [0, π], т. е. S(x) = f(x) = 2х − 2, если 0 ≤ х ≤ π.
34
б) Продолжим функцию f(x) на интервал [−π, 0] нечётным образом построив нечётную функцию
ϕ (x ) = 2x − 2, |
|
|
|
0 ≤ x ≤ π , |
|
|
|
|
|
|
||||||||||||
|
|
|
2x + 2, |
|
− π ≤ x < 0. |
|
|
|
|
|
|
|||||||||||
Ряд Фурье для нечётной функции имеет вид |
|
|||||||||||||||||||||
|
|
|
∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
S(x ) = ∑ bn sin nx ; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
n =1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
bn |
= π2 |
π∫ ϕ (x )sin nxdx |
= π2 |
π∫ (2x − 2)sin nxdx |
= |
|
|
|||||||||||||||
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
4 |
|
x − 1 |
|
|
|
|
sin nx π |
4 |
|
1 − π |
|
1 |
|
||||||||
= |
π |
− |
|
|
|
cosnx |
+ |
|
|
2 |
|
|
|
= π |
|
n |
cosnπ |
− |
|
. |
||
|
n |
|
n |
|
n |
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
Составляем ряд: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
∞ |
|
1 − π |
|
(− 1)n |
− 1 |
|
|
|
|
|
|
|||||||
|
|
|
4 |
( |
) |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
S(x ) = |
∑ |
|
|
|
|
|
|
|
|
|
|
sin nx ; |
|
|
|
|
||||||
π |
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
n =1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3.5. Сдвиг сегмента разложения
Рассмотрим разложение функции f(x) в тригонометрический ряд Фурье на произвольном отрезке [a, b] длиной 2π : [a, a + 2π].
Переход от [−π, π] к [a, a + 2π] можно осуществить сдвигом первоначального сегмента вдоль оси ох на π + а.
Лемма. Если функция ψ(х) — периодическая с периодом Т, т. е. ψ(х) = ψ(х + Т), то при любых а и λ
a +T |
a +T + λ |
∫ψ (x )dx = |
∫ψ (x )dx . (11.16) |
a |
a + λ |
Вывод: Если функция f(x):
1)задана на отрезке [0, 2π] или [a, a + 2π], где а — произ-вольное число;
2)удовлетворяет условиям Дирихле на этом отрезке,
то разложение такой функции в тригонометрический ряд Фурье имеет тот же вид, что и в случае функции, заданной на отрезке [−π, π], лишь в формулах для коэффициентов следует заменить пределы интегрирования −π, π соответственно на 0, 2π или a, a + 2π.
Так, если функция f(x) задана на отрезке [a, a + 2π], тригонометрический ряд имеет вид
|
a0 |
|
∞ |
|
|
|
|
f (x ) = |
+ ∑ (an cosnx + bn sin nx ), |
|
|
||||
2 |
|
|
|||||
|
|
|
n =1 |
|
|
|
|
|
a + 2π |
(x )dx, an = π1 |
a + 2π |
(x )cos nxdx , |
a + 2π |
(x )sin nxdx , |
|
a0 = π1 |
∫ f |
∫ f |
bn = π1 ∫ f |
||||
|
|
a |
|
a |
|
a |
|
где следует взять а = 0, если функция задана на отрезке [0, 2π] или а = const ≠ 0, если функция задана на отрезке [a, a + 2π].
Замечание 3. При вычислении коэффициентов Фурье 2π-периодичной функции на сегменте [−π, π] мы можем для удобства интегрировать не по этому сегменту, а по любому другому сегменту вида [a, a + 2π], выбрав значения а так, чтобы вычисления стали более простыми.
Пример 4. Разложить в ряд Фурье функцию
35