ПРИМЕРЫ ВЫПОЛЕНИЯ ЗАДАНИЙ
3) вычислить коэффициенты Фурье и записать ряд Фурье.
Задачи
№1. Разложить в ряд Фурье
Решение. Заметим, что f(x) задана на промежутке длины T = 4. Т.к. f(x) предполагается периодической, то именно это число и является ее периодом, тогда l = 2.


Стрелки в концах линий показывают, что функция не принимает в концах интервала значения, определяемого из выражения, заданного на интервале. При сравнении графиков f(x) и S(x) хорошо видно, что в точках разрыва f(x)¹S(x).
3) Вычислим коэффициенты Фурье. Это можно сделать по формулам (3*): ; ; . Именно: ; итак,
Разложение f(x) в ряд Фурье имеет вид:
Замечания . 1) При интегрировании на [-1;3] этот отрезок был разбит на [1;0] и [0;3], т.к. на этих отрезках f(x) задана разными значениями.
2) При вычислении коэффициентов использованы интегралы: и , где a = const.
№2 . Разложить в ряд Фурье
Решение. Здесь T = 2, l = 1.
Ряд Фурье имеет вид: , где ; ; , т.к. l = 1.
1)
График f(x):

№3. Разложить в ряд Фурье по синусам
Решение. Заметим, что в ряд Фурье по синусам раскладываются только нечетные функции. Т.к. f(x) определена только для x > 0, xÎ(0;2)È(2;3), то это означает, что на симметричный промежуток (-3;-2)È(-2;0) f(x) нужно продолжить так, чтобы выполнялось равенство f(-x) = -f(x). Поэтому длина промежутка, на котором f(x) задана как нечетная функция, равна 6. Значит T = 6, l = 3. Ряд Фурье для f(x) имеет вид: , где , n = 1, 2, 3, (по формулам (5′)).
Чтобы нарисовать график f(x) как нечетной функции, нарисуем сначала график на (0;2)È(2;3), а затем воспользуемся тем, что график нечетной функции симметричен относительно начала координат. Из этих соображений получаем график f(x) на (-3;-2)È(-2;0). Затем продолжаем f(x) на всю числовую прямую как периодическую функцию с периодом T = 6.


График S(x) отличается от графика f(x) в точках разрыва функции f(x). Например, в т. x = 2 f(x) не определена, а S(x) имеет при x = 2 значение, равное полусумме односторонних пределов функции f(x), именно: , где , .
Итак, , тогда разложение f(x) в ряд Фурье имеет вид: .
№4. Разложить в ряд Фурье по косинусам .
Решение. Заметим, что в ряд Фурье по косинусам раскладываются только четные функции. Т.к. f(x) задана только для x>0, xÎ(0;2)È(2;3], то это означает, что на симметричный промежуток [-3;-2)È(-2;0) f(x) нужно продолжить так, чтобы выполнялось равенство: f(-x) = f(x). Поэтому длина промежутка , на котором f(x) задана как четная функция, равна 6, тогда T = 6, l = 3. Ряд Фурье в этом случае имеет вид:
где ; ; n = 1,2. (по формулам (4′)).
Чтобы нарисовать график f(x) как четной функции, нарисуем сначала график f(x) на (0;2)È(2;3], а затем воспользуемся тем, что график четной функции симметричен относительно оси ординат. Из этих соображений получаем график f(x) на [-3;-2)È(-2;0). Затем продолжаем f(x) на всю числовую прямую как периодическую функцию с периодом T = 6.

Здесь график f(x) нарисован на двух полных периодах функции.

График S(x) отличается от графика f(x) в точках разрыва функции f(x). Например, в т. x = 0 f(x) не определена, а S(x) имеет значение: , поэтому график S(x) не прерывается в т. x = 0, в отличие от графика f(x).
Разложение f(x) в ряд Фурье по косинусам имеет вид: .
№5. Разложить в ряд Фурье f(x) = |x|, xÎ(-2;2)..
Решение. По условию, f(x) является четной функцией на (-2;2); т.е. ее ряд Фурье содержит только косинусы, при этом T = 4, l = 2, ,


Тогда разложение f(x) в ряд Фурье имеет вид: . Заметим, что при интегрировании выражений или применяется формула интегрирования по частям: , где u = x; dv = cos(ax)dx или dv = sin(ax)dx.
№6. Разложить функцию в ряд Фурье: а) в интервале (–?, ?); б) в интервале (0, 2?); в) в интервале (0, ?) в ряд синусов.
Решение. а) График функции с 2? — периодическим продолжением имеет вид
Функция удовлетворяет условиям теоремы Дирихле и потому ее можно разложить в ряд Фурье.
Вычислим коэффициенты Фурье. Так как функция четная, то bn = 0 (n = 0, 1, 2,…) и (n = 0, 1, 2,…).
Для вычисления этого интеграла применяют формулу интегрирования по частям в определенном интеграле. Получаем
Ряд Фурье данной функции имеет вид . В силу признака Дирихле данный ряд представляет функцию х2 в интервале (–. ).
б) Интервал (0, 2?) не симметричен относительно начала координат, а длина его 2l = 2?. Вычисляем коэффициенты Фурье по формулам:
Поэтому ряд Фурье имеет вид . В силу теоремы Дирихле ряд сходится к порождающей функции в точках х?(0,2?), а в точках 0 и 2? к значению . График суммы ряда имеет вид
в) Функция, разлагаемая в ряд по синусам, должна быть нечетной. Следовательно, доопределим заданную функцию х2 в (–π,π) нечетным образом, т.е. рассматриваем функцию . Для этой функции f(x) имеем аn = 0 (n = 0, 1, 2,…) и
Искомое разложение имеет вид .
График суммы ряда имеет вид
Отметим, что в точках х = (–π,π) ряд Фурье сходится к нулю.
№7 Разложить в ряд Фурье функцию, заданную графически:
Решение. Получим явное выражение для f(x). График функции – прямая линия, используем уравнение прямой в виде . Как видно из чертежа, , т.е. f(x) = x – 1 (–1 < x < 1) и период Т = 2.
Эта функция удовлетворяет условиям признака Дирихле, поэтому она разлагается в ряд Фурье. Вычислим коэффициенты Фурье (l = 1):
Ряд Фурье для функции f(x) имеет вид
Он представляет функцию f(x) при –1 < x < 1, а в точках х0 = –1 и х0 = 1 ряд сходится к –1.
№8. Разложить функцию в тригонометрический ряд Фурье на отрезке и указать функцию, к которой сходится полученный ряд.
Решение. Нарисовать график функции, продолжив ее периодически с периодом или на всю ось. Продолженная функция имеет период .

Проверить условия достаточных признаков сходимости ряда Фурье (Дини-Липшица, Жордана, Дирихле).
Функция кусочно-монотонна на отрезке : она возрастает на и на . В точках функция имеет разрывы первого рода.
Выяснить четность или нечетность функции: Функция не является ни четной, ни нечетной.
Вычислить коэффициенты Фурье по формулам:
а) если функция задана на
б) если функция задана на
Составить ряд Фурье функции : .
Указать функцию, к которой будет сходиться этот ряд, пользуясь поточечными признаками сходимости: Согласно признаку Дирихле ряд Фурье функции сходится к сумме:
№9. Разложить функцию , в ряд Фурье по синусам на и с помощью этого разложения найти сумму числового ряда .
Решение. Продолжить функцию четным (нечетным) образом на (–p,0) или (–l,0), а затем периодически с периодом 2p или 2l продолжить функцию на всю ось.
Продолжим функцию нечетным образом на , а затем периодически, с периодом , продолжим ее на всю ось.
Нарисовать график периодического продолжения. Мы получим функцию вида:

Проверить условия достаточных признаков сходимости ряда Фурье (Дини-Липица, Жордана, Дирихле).
Функция кусочно-постоянна в промежутке : она равна –1 на и 1 на . В точках функция имеет разрывы первого рода.
Вычислить коэффициенты Фурье:
Ее коэффициенты Фурье вычисляются по формулам:
Составить ряд Фурье функции . .
Указать функцию, к которой будет сходиться этот ряд, пользуясь поточечными признаками сходимости.
Согласно признаку Дирихле ряд Фурье функции сходится к сумме:
Подставив значения , указать сумму заданного числового ряда.
Полагая в полученном разложении , найдем ,
№10. Написать равенство Парсеваля для функции , и , исходя из этого равенства, найти сумму числового ряда .
Решение. Установить, является ли данная функция функцией с интегрируемым квадратом на .
Функция непрерывна, а, следовательно, интегрируема на . По той же причине ее квадрат интегрируем на .
Вычислить коэффициенты Фурье по формулам:
Так как нечетная функция, то ее коэффициенты Фурье вычисляются по формулам:
Написать формулу Парсеваля:
Таким образом, формула Парсеваля имеет вид
Произведя, если требуется, арифметические действия в правой и левой частях, получить сумму данного числового ряда.
Разделив обе части полученного равенства на 144, найдем: .
№11. Найти интеграл Фурье функции
и построить его график.
Решение. Построить график функции .

Проверить выполнение условий достаточных признаков сходимости интеграла Фурье (Дини, Дирихле-Жордана или следствий из них).
Функция абсолютно интегрируема в промежутке , непрерывна при и , а в точке имеет разрыв первого рода. Далее, при и функция имеет конечную производную, а в нуле существуют конечные правая и левая производные. Выяснить четность или нечетность функции. Функция не является ни четной, ни нечетной.
Вычислить коэффициенты по формулам:
Записать интеграл Фурье функции :
Указать функцию, к которой будет сходиться интеграл Фурье, пользуясь поточечными признаками сходимости.
Согласно следствию из признака Дини интеграл Фурье функции сходится всюду к функции
Построить график полученной функции

№12. Найти синус-преобразование Фурье функции
Решение. Проверить, будет ли заданная функция абсолютно интегрируемой на всей оси (в случае косинус- или синус-преобразования – на полупрямой ).
Функция абсолютно интегрируема на полупрямой , что следует из ее непрерывности на этом промежутке
Вычислить преобразование Фурье по формуле:
Ее синус-преобразование Фурье есть
№13. Разложить в ряд Фурье периодическую функцию .
Решение. Сделать чертеж, при этом если функция задана лишь на периоде [например, на (–p,p)], продолжить ее периодически на всю числовую прямую
Проверить условие теоремы Дирихле для данной функции:
б) на (0, p) – постоянна, на (–p, 0) – возрастает;
Выяснить четность и нечетность функции
Вычислить коэффициент Фурье по формулам:
Для четных функций (n = 0, 1,);
Составить ряд Фурье функции f(x), при этом в случае четной функции он должен содержать лишь косинусы, а для нечетной функции – лишь синусы
Сделать вывод о сходимости полученного ряда Фурье, используя правило: сумма ряда равна:
а) f(x) в тех внутренних точках интервала (-p, p), в которых функция непрерывна;
б) во всех точках разрыва функции f(x);
в) на концах интервала
Ряд сходится к f(x) при х Î (-p, p), в точках ±p сходится к
№14. Представить рядом Фурье в комплексной форме
Решение. Здесь T = 2p Þ l = p и ряд Фурье имеет вид: , где .


Заметим, что при вычислении ck использовано свойство: , если f(x) – периодическая функция с периодом T = 2p.
№ 15. Представить рядом Фурье в комплексной форме f(x) = 2 x , xÎ(-1;1), T = 2.
Решение. Здесь T = 2, l = 1 и ряд Фурье имеет вид: , где .
1) График f(x):
Ряд Фурье
Ряд Фурье кусочно-непрерывной, кусочно-монотонной и ограниченной на интервале (-l;l) функции сходится на всей числовой оси.
- является периодической функцией с периодом 2l. Функция u(x) называется периодической с периодом T (или T-периодической), если для всех x области R, u(x+T)=u(x).
- на интервале (-l;l) совпадает с функцией f(x), за исключением точек разрыва
- в точках разрыва (первого рода, т.к. функция ограничена) функции f(x) и на концах интервала принимает средние значения:
Если f(x) – четная функция, то в ее разложении участвуют только четные функции, то есть bn=0.
Если f(x) – нечетная функция, то в ее разложении участвуют только нечетные функции, то есть аn=0
Рядом Фурье функции f(x) на интервале (0;l) по косинусам кратных дуг называется ряд:
, где
.
Рядом Фурье функции f(x) на интервале (0;l) по синусам кратных дуг называется ряд:
, где .
Сумма ряда Фурье по косинусам кратных дуг является четной периодической функцией с периодом 2l, совпадающей с f(x) на интервале (0;l) в точках непрерывности.
Сумма ряда Фурье по синусам кратных дуг является нечетной периодической функцией с периодом 2l, совпадающей с f(x) на интервале (0;l) в точках непрерывности.
Ряд Фурье для данной функции на данном интервале обладает свойством единственности, то есть если разложение получено каким-либо иным способом, чем использование формул, например, при помощи подбора коэффициентов, то эти коэффициенты совпадают с вычисленными по формулам.
Пример №1 . Разложить функцию f(x)=1:
а) в полный ряд Фурье на интервале (-π ;π);
б) в ряд по синусам кратных дуг на интервале (0;π); построить график полученного ряда Фурье
Решение:
а) Разложение в ряд Фурье на интервале(-π;π) имеет вид:
,
причем все коэффициенты bn=0, т.к. данная функция – четная; таким образом,
Очевидно, равенство будет выполнено, если принять
а0=2, а1=а2=а3=…=0
В силу свойства единственности это и есть искомые коэффициенты. Таким образом, искомое разложение: или просто 1=1.
В таком случае, когда ряд тождественно совпадает со своей функцией, график ряда Фурье совпадает с графиком функции на всей числовой прямой.
б) Разложение на интервале (0;π) по синусам кратных дуг имеет вид:
Подобрать коэффициенты так, чтобы равенство тождественно выполнялось, очевидно, невозможно. Воспользуемся формулой для вычисления коэффициентов:
Таким образом, для четных n (n=2k) имеем bn=0, для нечетных (n=2k-1) —
Окончательно, .
Построим график полученного ряда Фурье, воспользовавшись его свойствами (см. выше).
Прежде всего, строим график данной функции на заданном интервале. Далее, воспользовавшись нечетностью суммы ряда, продолжаем график симметрично началу координат:
Продолжаем периодическим образом на всей числовой оси:
И наконец, в точках разрыва заполняем средние (между правым и левым пределом) значения:
Пример №2 . Разложить функцию на интервале (0;6) по синусам кратных дуг.
Решение: Искомое разложение имеет вид:
Поскольку и левая, и правая части равенства содержат только функции sin от различных аргументов, следует проверить, совпадают ли при каких-либо значениях n (натуральных!) аргументы синусов в левой и правой частях равенства:
или , откуда n =18. Значит, такое слагаемое содержится в правой части и коэффициент при нем должен совпадать с коэффициентом в левой части: b18=1;
или , откуда n =4. Значит, b4=-5.
Таким образом, при помощи подбора коэффициентов удалось получить искомое разложение:
Пример №3 . Разложить в ряд Фурье функцию

Решение. Сначала вычисляем T = 4 и ω =2π/4= π/2. Теперь находим



Первый интеграл находим

Второй интеграл берём по частям, выбирая u=3x , dv=cos(πnx/2) , тогда du=3dx , v=sin(πnx/2)/(πn/2) . Получаем


Итак, для n = 1, 3, 5, . . . an= 2/(π 2 n 2 ) , а для n = 2, 4, 6, . . . an= 0.
Аналогично находим

В итоге получаем разложение

Ряды Фурье в математике с примерами решения и образцами выполнения
Некоторые способы приближения функций:
При изучении функций применяются различные методы представления данной функции при помощи более простых функций, свойства которых являются известными.
Вопрос о том, какими «базовыми» функциями
,
и какими выражениями от этих функций «аппроксимировать» данную функцию
, зависит от свойств функции
и от того, каким образом мы будем оценивать характер приближения, т. е. как будем
измерять «близость» функций.
Так, например, при вычислении значений функции
бывает удобно аппроксимировать ее при помощи многочленов
т. е. разложить функцию
в степенной ряд:

Различаются три основных способа приближения (аппроксимации) функций.
Локальное приближение — это такой вид приближения функции
в окрестности некоторой точки
, при котором качество аппроксимации улучшается при переходе к точкам, близким к
. Хорошим аппаратом для локального приближения функций
(имеющих производные любого порядка) служат ряды Тейлора.
На рис. 126 представлены графики функций
и
на отрезке
. Подсчеты показывают, что для различных значений x отрезка [0; 1] погрешность незначительна вблизи точки x = 0 и возрастает при удалении от нее:

Равномерное приближение — это такой способ аппроксимации функции
с помощью другой функции
на отрезке [a; b], при котором погрешности в любых точках этого отрезка имеют примерно один и тот же порядок малости.
Например, многочлен
равномерно приближает функцию
на отрезке [0; 1]. Подсчеты
показывают, что

График многочлена
в масштабах рис. 126 практически не отличается от графика функции
.

В случаях локальной и равномерной аппроксимаций в качестве
оценки «близости» двух функций
и
берется поточечное максимальное отклонение функций, т. е. максимум модуля разности значений этих функций во всех точках рассматриваемого отрезка:

Аппроксимация такого вида называется поточечной или аппроксимацией в обычном смысле.
Приближение в среднем (приближение по среднему квадратическому отклонению). Если данная функция
имеет на отрезке [а ; b] резкие колебания, то равномерное (тем более локальное) приближение может оказаться малопригодным для представления
такой функции на отрезке. На рис. 127
изображает лучшее равномерное приближение функции
по сравнению с Q(x). Из этого рисунка видно, что функция Q(x), несмотря на то, что в некоторых точках и отличается сильно от
, может быть рассмотрена все же


как лучшее приближение для в среднем, на всем рассматриваемом отрезке для уточнения смысла приближения в среднем вводим понятие среднего квадратического отклонения функций.
Определение:

Средним квадратическим отклонением функций и Q(x) на отрезке [а ; b] называется величина

Нахождение наилучших приближений в среднем, т.е, оцененных по среднему квадратическому отклонению играет большую роль в-решении многих технических задач.
Пример:
Найти поточечное и среднее квадратиченское: отклонения функции
от функций
на отрезке 
Решение:
По формуле (1) находим поточечное отклонение

Среднее квадратическое отклонение вычислим по формуле (2):

Для среднего квадратического отклонения и потокчечного отклонения двух функций на отрезке имеет место следующее утверждение: среднее квадратическое отклонение двух функций не превосходит поточечного отклонения на том же отрезке:


Ортогональные системы функций. Обобщенные многочлены Фурье
Часто в качестве базовых функций, при помощи которых строятся приближения для рассматриваемых функций, служат так называемые ортогональные системы функций.
Определение:
Система отличных от нулей функций


называется ортогональной на отрезке [a ; b], если для любых имеет место



для всех то система (1) называется ортонормированной.

Любую ортогональную систему функций (1) можно ортонормировать. Для этого достаточно каждую функцию разделить на

т. е. взять функции

В самом деле, для функций
при
имеем:

т. е. система (5) также ортогональна. Кроме того,

Следовательно, система (5) ортонормирована.

Числа называются нормирующими множителями.
Пример:
Покажем, что система тригонометрических функций


является ортогональной системой функций на отрезке
Для этого надо показать, что интегралы


при любых и m, а также интегралы


при равны нулю. Имеем:


При помощи формул

аналогично доказывается, что остальные интегралы также равны нулю.
Пример:

Можно показать, что следующие многочлены, известные под названием многочленов Лежандра, составляют ортогональную систему на отрезке

Легко видеть, что подсистема любой ортогональной системы функции также ортогональна на том же отрезке. В самом деле, если равенства (2) выполняются для всех функций системы, то они выполняются и для всех функций некоторой ее подсистемы. Учитывая это замечание и ортогональность системы (6), можем указать новые примеры ортогональных систем функций.
Пример:


ортогональна на отрезке . Пример 4. Система функций


ортогональна на отрезке .
Определение:

где
— числовые коэффициенты, называется обобщенным многочленом n-го порядка относительно системы функций 

является обобщенным многочленом относительно системы (6).
Определение:
Пусть дана ортогональная система (1) на отрезке
[a ; b]. Величины


называются обобщенными коэффициентами Фурье для функции относительно системы ортогональных функций (1).

Если система (1) ортонормирована, то в силу
формул (4) и (3) и тогда

Определение:


взятый с соответствующими, обобщенными коэффициентами Фурье, называется обобщенным многочленом Фурье n-го порядка для функции относительно, системы ортогональных функций (1),
Пример:

Составить обобщенный многочлен Фурье второго порядка для функции относительно системы многочленов Лежандра.








Роль обобщенных многочленов Фурье в теории приближения функций выражается в следующей теореме.
Теорема:
Для каждого n среди всех обобщенных многочленов n-го порядка



— ортонормированием система функций на [а; b], наилучшее среднее квадратическое приближение функции на [а; b] дает соответствующий обобщенный многочлен Фурье п-го порядка

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

Интегрируя полученное равенство почленно и учитывая соотношения (2), (3) и (8), найдем:


В полученном выражении добавим и вычтем ; тогда

Первые два члена выражения из правой части равенства (10) не зависят от взятого обобщенного много члена
, а третий (неотрицательный) член
зависит от него. Это выражение, а следовательно, и интеграл
получит наименьшее значение тогда, когда
т. е. когда
другими словами, когда
Теорема доказана.
Аналогично доказывается эта теорема для любой ортогональной системы (1), только вместо равенства (8) надо будет использовать равенство (7).
Таким образцом, для функции
и ее обобщенного многочлена Фурье n-го порядка
относительно системы ортогональных функций имеем:


Обобщенные ряды Фурье
Пусть дана бесконечная ортогональная на отрезке [а; b] система функций

Определение:



называется обобщенным рядом Фурье для функции относительно системы (1) на отрезке [а; b].

Обращаем внимание на то, что коэффициенты в (2) — это обобщенные коэффициенты Фурье, которые вычисляются по формулам (7) § 2.

Таким образом, при заданной системе ортогональных функций каждая функция порождает вполне определенный обобщенный ряд Фурье (2). В этом смысле будем писать

Частичные суммы ряда (2) совпадают с обобщенными многочленами Фурье
y которые, как мы знаем, дают наилучшее приближение в среднем к
.

Из формулы (12) §2 видно, что при возрастании n среднее квадратическое отклонение , вообще говоря, убывает.
Определение:
Обобщенный ряд Фурье (2) называется сходящимся в среднем к функции
, если 

Из формулы (11) § 2 видно, что необходимым и достаточным условием сходимости в среднем ряда (2) к порождающей функции является выполнение условия

Это равенство известно под названием равенства Ляпунова — Парсеваля или уравнения замкнутости. Равенство Ляпунова — Парсеваля имеет место, в частности, для тригонометрических ортогональных систем из примеров 1, 3, 4 § 2 и любой ограниченной на [а; b] функции
с конечным числом точек разрыва первого
рода. В § 1 мы показали, что среднее квадратическое отклонение
не превосходит поточечного отклонения
, т. е.
. Отсюда следует, что если обобщенный ряд Фурье (2) сходится в обычном смысле (поточечно) к порождающей функции
, то он сходится к
и в среднем, т. е.


Обратное утверждение, вообще говоря, не имеет места, так как ряд (2) может сходиться в среднем к функции , но не сходиться поточечно. Следовательно, для поточечной сходимости требуется выполнение более сильных условий, чем для сходимости в среднем.
Во многих инженерно-технических приложениях основную ценность представляют именно приближения в среднем для рассматриваемых функций. Аппаратом для получения таких приближений служат обобщенные ряды Фурье и их частичные суммы — обобщенные
многочлены Фурье.
Докажем теорему об единственности представления функции в виде обобщенного ряда.
Теорема:

Если функция представляется в виде обобщенного ряда по ортогональной системе функций


то этот ряд совпадает с обобщенным рядом Фурье для функции .
Докажем теорему в предположениях, что выражение (4) можно почленно интегрировать.
Для определения коэффициента
умножим (4) на
:

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

Так как система
ортогональна, то
при 


Учитывая формулу (7) § 2, имеем
т. е. ряд (4) совпадает с обобщенным рядом Фурье. Изложенная в этом параграфе общая теория применима к любой конкретной системе ортогональных
функций. В частности, если в качестве «базовых» функций взять тригонометрическую систему из примера 1 § 2, получим разложение (на отрезке
) функции по синусам и косинусам; если взять систему функций из примера 2 § 2, получим разложение (на [—1; 1])
функции по многочленам Лежандра; если взять систему функций примеров 3 и 4 § 2, то получим соответственно разложение (на
) функции только по косинусам, или только по синусам. Понятно, что можно разлагать функции и по другим ортогональным системам.
Разложение функций в ряды Фурье по тригонометрическим системам играет большую роль как в
математике, так и в ее приложениях (особенно в электротехнике), поэтому мы остановимся на них подробнее.
Тригонометрические ряды Фурье
Разложение функций в ряд Фурье на отрезке
. Во многих технических задачах возникает необходимость представлять произвольные функции через простейшие периодические функции. Такие задачи часто возникают в электротехнике: представить ток,
изменяющийся по сложному закону
, через простые
синусоидальные токи
. Математическим
аппаратом для исследования таких задач служат ряды Фурье относительно тригонометрической системы ортогональных функций на отрезке
(пример 1 § 2):


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

Многочленом Фурье (или тригонометрическим многочленом) n-го порядка функции называется тригонометрический многочлен вида


где — коэффициенты Фурье. Вычислим коэффициенты Фурье в соответствии с формулой (7) § 2. Имеем


Следовательно, или

Для коэффициентов
обозначим соответствующий нормирующий множитель через
и по формуле (4)




Аналогично показывается, что , следовательно,

Таким образом, каждой функции
на отрезке
сопоставляется ряд Фурье


Определение:



называется рядом Фурье (или тригонометрическим рядом) для функции
на отрезке
.
Пример:
Составить ряд Фурье для функции
на отрезке 
Решение По формуле (2) имеем

По формуле (3); получаем

Далее, по формуле (4)



Ряд (5) может сходиться к функции в среднем или поточечно (в обычном смысле) Так как равными считаются функции, значения которых равны в каждой точке, то в (6) стрелка может быть заменена знаком


равенства только в том случае, если ряд сходится поточечно к функции на всем рассматриваемом промежутке.
Для формулировки условий сходимости ряда (5) к функции введем понятие кусочно-непрерывных функций.

Функция называется кусочно-непрерывной на отрезке [а; b], если она имеет лишь конечное число точек разрыва первого рода (см. рис. 128, на котором жирными точками обозначено значение функции в точках разрыва).

Функция называется кусочно-дифференцируемой или кусочно-гладкой на отрезке [а; b], если ее производная является кусочно-непрерывной функцией на [а; b] (см. рис. 129).
Приводим достаточное условие сходимости в среднем ряда Фурье к порождающей функции.
Теорема:
Ряд Фурье (5) сходится в среднем к порождающей функции
, если функция
кусочно-непрерывна на отрезке
.
Следующие теоремы Дирихле представляют собой достаточные условия поточечной сходимости ряда к порождающей функции, за исключением, быть может, точек разрыва и границ отрезка.

Теорема:
Если функция
кусочно-дифференцируема на отрезке
, то ряд Фурье функции
сходится во всех точках
, причем в точках непрерывности функции
его сумма равна
в точках разрыва функции
его сумма равна
на концах отрезка его сумма равна 

Функция называется кусочно-монотонной на отрезке [а; b] если его можно разбить на конечное число интервалов так, что на каждом из интервалов функция монотонна (см. рис. 130).
Теорема:
Если функция
кусочно-монотонна и ограничена на отрезке
, то ряд Фурье для этой функции сходится во всех точках
, причем в точках непрерывности его сумма равна
, в точках разрыва функции
его сумма равна
а на концах отрезка его сумма равна 
Сформулированные теоремы мы принимаем без доказательства.
Таким образом, если функция
кусочно-дифференцируема или ограничена и кусочно-монотонна на отрезке
, то на этом отрезке имеет место разложение

причем коэффициенты
и
вычисляются по формулам (2), (3) и (4). Равенство (7) может нарушиться только в точках разрыва функции
и на концах отрезка
.
Пример:
Так как функция
дифференцируема на отрезке
, то из примера 1 получаем разложение

Заметим, что значение полученного ряда в концах интервала равно

следовательно, сумма ряда равна значению порождающей функции
для всех точек интервала 
Заметим, что.большинство функций, которые встречаются в математике и ее приближениях, являются
кусочно-дифференцируемыми, а часто просто дифференцируемыми функциями, поэтому для них ряд Фурье сходится к порождающей функции в обычном смысле.
Скорость сходимости ряда Фурье к порождающей функции зависит от свойств данной функции. Оказывается, что чем выше «степень гладкости» данной функции, т. е. чем более высокого порядка непрерывные производные она имеет, тем больше скорость сходимости ее ряда Фурье.
Приводим, также без доказательства, следующую оценку скорости сходимости ряда Фурье.
Теорема:
Если
— непрерывная функция имеющая непрерывные производные до (т — 1)—го порядка включительно, а производная m-го порядка
кусочно-непрерывна на
, то

где
— некоторая постоянная, а
— сколько угодно малое действительное число.
Разложение функций в ряд Фурье на произвольном отрезке
Пусть функция
определена на отрезке
. Тогда подстановкой
переходим к функции
, которая определена на отрезке
. В самом деле, если
то
если
то
и при
имеем 
Предположим, например, что исходная функция
кусочно-дифференцируема на отрезке
. Тогда и полученная функция
на отрезке
будет кусочно-дифференцируемой. Разлагая функцию
в ряд Фурье на отрезке
, получим (всюду, за исключением, быть может, точек разрыва функции и
концов отрезка
):


Перейдем теперь к переменной
Имеем
, 

и при этом


Таким образом, функцию
, определенную на отрезке
, можно разложить в ряд Фурье (8), коэффициенты которого вычисляются по формулам (9), Равенство (8) может нарушиться лишь в точках разрыва функции и на концах отрезка
.
Пример:
Разложить функцию
на интервале
. в ряд Фурье. Решение. По формуле (8) при
имеем

Вычислим коэффициенты ряда по формулам (9):



для
Разложение в ряд Фурье периодических функций
Если данная функция
является периодической с периодом
, и для нее имеет место разложение (7) в ряд Фурье на отрезке
, то оно справедливо и на всей прямой
.
В самом деле; сумма тригонометрического ряда Фурье


если она существует, является периодической функцией с периодом . Это следует из того, что

Аналогично, если функция
имеет период T = 2l,
, то разложение (8) имеет место для всей прямой.
Так как для периодической функции периода T интегралы по любым отрезкам длины T равны между собой

то для вычисления коэффициентов Фурье периодической функции можно интегрировать по любому отрезку

длины T. Так, если функция имеет период
, то в формулах
(2) — (4) (в формулах (9)) вместо
можно взять интегралы по отрезку 

Пример:

Разложить в ряд Фурье периодическую функцию , определенную следующим образом:


и (рис. 131).
Решение:
Данная функция кусочно-дифференцируема, следовательно,


Отсюда
при n четном и
при n нечетном.
Аналогичными вычислениями находим



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



О том, что ряд сходится можно определить при помощи признаков сходимости числовых рядов (например, интегрального). Здесь же мы в качестве побочного результата получили сумму этого ряда.

Разложение в ряд Фурье четных и нечетных функций
Сделаем два замечания, необходимых для дальнейшего.
1) Рассмотрим нечетную на отрезке
функцию
, т. е. такую, что
.

Из геометрических соображений ясно (см., например, рис. 132), что

2) Если функция
, четная, т. е.
, то, очевидно (см., например, рис. 133),

Рассмотрим разложение в ряд Фурье нечетных функций.
Пусть
— нечетная, кусочно-дифференцируемая функция на отрезке
. Следовательно, для
имеет место разложение (7). Так как в этом случае
— нечетная функция:


а произведение является четной функцией:

то для коэффициентов ряда Фурье получим:


Отсюда следует, что разложение нечетной функция в ряд Фурье имеет вид


Аналогично, для четных функций , получаем разложение

Таким образом, если функция f(x)] нечетная, то ее ряд Фурье содержит только члены с синусами; если
четная, то ее ряд Фурье содержит свободный член и только члены с косинусами. Подобные разложения можно получить для четных и нечетных функций, определенных на отрезке 
Разложение произвольных функций в ряды Фурье
Пусть дана кусочно-дифференцируемая функция
определенная на отрезке
. Перенеся начало координат в середину отрезка
, мы получим новую систему координат, относительно которой область определения функции
имеет вид
, где
Следовательно, для функции
можно получить разложение в ряд Фурье вида (8).
Если перенести начало координат в точку
, то область определения функции
. будет иметь вид
, где
. Продолжим «нечетным образом» функцию
на отрезок
, т. е. определим функцию

Функция
является нечетной, следовательно,она разлагается в ряд Фурье только по синусам. Рассматривая разложение функции
только на отрезке
, получим разложение для данной функции
в ряд Фурье только по синусам.
Продолжая «четным образом» функцию
на отрезок
, т. е. введя в рассмотрение функцию

которая является четной, аналогично получим разложение данной функции в ряд Фурье только по косинусам.
Таким образом, любая функция
, определенная на произвольном отрезке
и удовлетворяющая на этом отрезке условиям теоремы 2 или теоремы 3, может быть разложена в ряд Фурье по синусам и косинусам, а также только по синусам, или только по косинусам.
Заметим, что возможность таких разложений была указана в § 3 из общих соображений относительно обобщенных рядов Фурье.
Практический гармонический анализ
Теория разложения функций в тригонометрические ряды Фурье называется также гармоническим анализом. Под практическим гармоническим анализом понимается представление конкретных функций, возникающих при решении практических задач, в виде ряда
Фурье, коэффициенты которого, как правило, вычисляются приближенным образом. В большинстве случаев функции, описывающие исследуемый процесс, даны в виде экспериментальных данных или графиков, которые вычерчиваются самопишущим прибором. В таких случаях коэффициенты Фурье вычисляются при помощи приближенных методов интегрирования. Для приближенного вычисления интегралов

применяется какой-либо из методов численного интегрирования. Применим, например, формулу прямоугольников (1) § 8 гл. 8. Разделим отрезок
на n равных частей с помощью точек
при этом шаг деления равен
Обозначим через
значения функции
в точках деления. Тогда

Для облегчения ручных вычислений коэффициентов Фурье разработаны различные схемы и шаблоны, в более сложных случаях вычисления проводятся на ЭВМ
Пример:
Найти тригонометрический многочлен второго порядка для функции, заданной графически на рис. 134.
Решение:
Делим отрезок
на 12 частей. Следовательно, шаг деления равен
Из графика функции непосредственным измерением ординат находим:




Тогда по формуле (1)

По формуле (2) имеем

По формуле (3) вычислим
и
:



Если функция задана аналитически, то для вычисления коэффициентов Фурье часто могут быть применены методы точного интегрирования (см. примеры 1, 2, 3,4 §4).


В электротехнике и радиотехнике нередко встречаются периодические функции, имеющие точки разрыва первого рода внутри отрезка и на его границах. Рассмотрим некоторые примеры разложения в ряд Фурье таких функций.
Пример:
Разложить в ряд Фурье кривую двухполупериодного выпрямленного синусоидального тока

Решение:
Данная функция может быть представлена в виде
Заменяем
и распространяем функцию периодически на всю прямую (рис. 135). Тогда
Так как полученная функция
четная, то
Вычислим коэффициенты
:

При
нечетном
; при
четном
Функция
разлагается в ряд Фурье

а исходная функция, следовательно, — в ряд Фурье

Пример:
Разложить в ряд Фурье кривую однополупериодного выпрямленного синусоидального тока

Решение:

Положим Тогда


Из примера 2 известно, что при
нечетном
, при
четном
Далее,


Если , то

если
, то
.

Функция разлагается в ряд Фурье:


Пример:
Разложить в ряд Фурье периодическую функцию
с периодом
, которая определена следующим образом (рис. 137):

Решение:

Функция удовлетворяет условиям теорем Дирихле и, значит, разлагается в ряд Фурье.

Вычислим ее коэффициенты Фурье. Так как
нечетна, то
для всех n. Далее,



где
Пример:
Разложить в ряд Фурье периодическую функцию
с периодом 2l, заданную на отрезке [—l;l] формулой 
(рис. 138).

Решение:

Так как рассматриваемая функция четная, то Далее,


Следовательно, на отрезке

Пример:
Разложить функцию
на отрезке
в ряд по синусам.
Решение:
Продолжая эту функцию нечетным образом на
, будем иметь 
и


Следовательно, во всех точках промежутка имеет место разложение:

В точке
равенство нарушается: значение функции равно
, а сумма ряда — 0.
Пример:
Разложить функцию
на отрезке
в ряд по косинусам.
Решение:
Продолжая эту функцию четным образом на
, получим
(см. пример 5). Имеем:


Следовательно, на отрезке

Дополнение к рядам Фурье

Решение рядов Фурье
Тригонометрические ряды
Определение:
Функция f(x), определенная на неограниченном множестве D, называется периодической, если существует число
такое, что для каждого
D выполняется условие

Наименьшее из таких чисел Т называется периодом функции f(х).
Пример:

определенная на интервале
является периодической, так как существует число
такое, что для всех
выполняется условие


Таким образом, функция sinx имеет период То же самое относится и к функции

Пример:

определенная на множестве D чисел

является периодической, так как существует число
, а именно, Т =
, такое, что для
D имеем 
Определение:
Функциональный ряд вида


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

которая называется тригонометрической системой. Так как членами этого ряда являются периодические функции с периодом 2 alt=»Решение рядов Фурье» width=»» />, то в случае сходимости ряда (1) его сумма S(х) будет периодической функцией с периодом Т = 2 alt=»Решение рядов Фурье» width=»» />:

Определение:

Разложить периодическую функцию f(x) с периодом Т = 2 в тригонометрический ряд (1) означает найти сходящийся тригонометрический ряд, сумма которого равна функции f(х).
Ортогональность тригонометрической системы
Определение:
Функции f(х) и g(х), непрерывные на отрезке [а, b], называются ортогональными на этом отрезке, если выполнено условие


Например, функции ортогональны на отрезке [-1,1], так как

Определение:
Конечная или бесконечная система функций


(n = 1, 2,…), интегрируемых на отрезке [а, b], называется ортогональной системой на отрезке [а, b], если для любых номеров тип таких, что выполняется равенство

Теорема:


ортогональна на отрезке

При любом целом имеем

С помощью известных формул тригонометрии


для любых натуральных находим:

Наконец, в силу формулы

для любых целых m и n получаем


Тригонометрический ряд Фурье

Поставим себе задачей вычислить коэффициенты тригонометрического ряда (1), зная функцию f(х).
Теорема:


имеет место для всех значений х, причем ряд в правой части равенства сходится равномерно на отрезке Тогда справедливы формулы

Из равномерной сходимости ряда (1) вытекает непрерывность, а значит, и интегрируемость функции fх). Поэтому равенства (2) имеют смысл. Более того, ряд (1) можно почленно интегрировать. Имеем

откуда и следует первая из формул (2) для n = 0.
Умножим теперь обе части равенства (1) на функцию cos mх, где m — произвольное натуральное число:

Ряд (3), как и ряд (1), сходится равномерно. Поэтому его можно интегрировать почленно,

Все интегралы в правой части, кроме одного, который получается при n = m, равны нулю в силу ортогональности тригонометрической системы. Поэтому


Аналогично, умножая обе части равенства (1) на sin mx; и интегрируя от получим

Пусть дана произвольная периодическая функция f(x) периода 2
, интегрируемая на отрезке [
]. Можно ли ее представить в виде суммы некоторого сходящегося тригонометрического ряда, заранее неизвестно. Однако по формулам (2) можно вычислить постоянные 
Определение:


коэффициенты которого определяются через функцию f(x) по формулам


называется тригонометрическим рядом Фурье функции f(x), а коэффициенты определяемые по этим формулам, называются коэффициентами Фурье функции f(x).

Каждой интегрируемой на отрезке функции f(х) можно поставить в соответствие ее ряд Фурье


т.е. тригонометрический ряд, коэффициенты которого определяются по формулам (2). Однако если от функции f(х) не требовать ничего, кроме интегрируемости на отрезке , то знак соответствия в последнем соотношении, вообще говоря, нельзя заменить знаком равенства.
Замечание:
Часто требуется разложить в тригонометрический ряд функцию f(x), определенную только на отрезке
и, следовательно, не являющуюся периодической. Так как в формулах (2) для коэффициентов Фурье интегралы вычисляются по отрезку
, то для такой функции тоже можно написать тригонометрический ряд Фурье. Вместе с тем, если продолжить функцию f(x) периодически на всю ось Ох, то получим функцию F(x), периодическую с периодом 2
, совпадающую с f(x) на интервале 


Эту функцию F(x) называют периодическим продолжением функции f(x). При этом функция F(x) не имеет однозначного определения в точках
Ряд Фурье для функции F(x) тождествен ряду Фурье для функции f(х). К тому же, если ряд Фурье для функции f(x) сходится к ней, то его сумма, являясь периодической функцией, дает периодическое продолжение функции f(x) с отрезка alt=»Решение рядов Фурье» width=»» />на всю ось Ох. В этом смысле говорить о ряде Фурье для функции f(x), определенной на отрезке alt=»Решение рядов Фурье» width=»» />, равносильно тому, что говорить о ряде Фурье для функции F(x), являющейся периодическим продолжением функции f(х) на всю ось Ох. Отсюда следует, что признаки сходимости рядов Фурье достаточно сформулировать для периодических функций.
Достаточные условия разложимости функции в ряд Фурье
Приведем достаточный признак сходимости ряда Фурье, т. е. сформулируем условия на заданную функцию, при выполнении которых построенный по ней ряд Фурье сходится, и выясним, как при этом ведет себя сумма этого ряда. Важно подчеркнуть, что хотя приведенный ниже класс кусочно-монотонных функций и является достаточно широким, функции, ряд Фурье для которых сходится, им не исчерпываются.
Определение:
Функция f(x) называется кусочно-монотонной на отрезке [a, b], если этот отрезок можно разбить конечным числом точек
на интервалы
на каждом из которых f(х) монотонна, т. е. либо не убывает, либо не возрастает (см. рис. 1).

Пример:

является кусочно-монотонной на интервале
так как этот интервал можно разбить на два интервала
на первом из которых она убывает (и значит, не возрастает), а на втором возрастает (и значит, не убывает).
Пример:

кусочно-монотонна на отрезке
, так как этот отрезок можно разбить на два интервала
и
на первом из которых cos x возрастает от -1 до +1, а на втором убывает от +1 до -1.
Теорема:
Функция f(x), кусочно-монотонная и ограниченная на отрезке [a, b], может иметь на нем только точки разрыва первого рода.

Пусть, например, — точка разрыва функции f(x). Тогда в силу ограниченности функции f(x) и монотонности по обе стороны от точки с существуют конечные односторонние пределы

Это означает, что точка с есть точка разрыва первого рода (рис. 2).
Теорема:
Если периодическая функция f(x) с периодом 2
кусочно-монотонна и ограничена на отрезке
, то ее ряд Фурье сходится в каждой точке х этого отрезка, причем для суммы

этого ряда выполняются равенства:

является точкой непрерывности f(x)

Пример:
Функция f(х) периода 2
, определяемая на интервале
равенством

(рис. 3), удовлетворяет условиям теоремы. Поэтому ее можно разложить в ряд Фурье. Находим для нее коэффициенты Фурье:

Ряд Фурье для данной функции имеет вид

Пример:

Разложить функцию в ряд Фурье (рис. 4) на интервале

Данная функция удовлетворяет условиям теоремы. Найдем коэффициенты Фурье. Используя свойство аддитивности определенного интеграла, будем иметь

Следовательно, ряд Фурье имеет следующий вид:

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

Замечание:
Если в найденном ряде Фурье положить х = 0, то получим

Разложение в ряд Фурье четных и нечетных функций
Функция f(x), определенная на отрезке [-l, l], где l > 0, называется четной, если

График четной функции симметричен относительно оси ординат.
Функция f(x), определенная на отрезке l), где l > 0, называется нечетной, если

График нечетной функции симметричен относительно начала координат.
Пример:


является четной на отрезке . так как


для всех


где является нечетной, так как


для всех


где не принадлежит ни к четным, ни к нечетным функциям, так как


Пусть функция f(х), удовлетворяющая условиям теоремы 1, является четной на отрезке . Тогда

т. е. f(x) cos nх является четной функцией, а f(x) sin nх — нечетной. Поэтому коэффициенты Фурье четной функции f(х) будут равны

Следовательно, ряд Фурье четной функции имеет вид


Если f(x) — нечетная функция на отрезке , то произведение f(x) cos nх будет нечетной функцией, а произведение f(x) sin nх — четной функцией. Поэтому будем иметь

Таким образом, ряд Фурье нечетной функции имеет вид

Пример:

Разложить в ряд Фурье на отрезке функцию

Так как эта функция четная и удовлетворяет условиям теоремы 1, то ее ряд Фурье имеет вид

Находим коэффициенты Фурье. Имеем

Применяя дважды интегрирование по частям, получим, что

Значит, ряд Фурье данной функции выглядит так:

или, в развернутом виде,

Это равенство справедливо для любого
так как в точках
сумма ряда совпадает со значениями функции
поскольку


Графики функции и суммы полученного ряда даны на рис. 5.
Замечание:
Этот ряд Фурье позволяет найти сумму одного из сходящихся числовых рядов, а именно, при х = 0 получаем, что


Пример 2. Разложить в ряд Фурье на интервале функцию f(x) = x.

Функция f(x) удовлетворяет условиям теоремы 1, следовательно ее можно разложить в ряд Фурье, который в силу нечетности этой функции будет иметь вид

Интегрируя по частям, находим коэффициенты Фурье

Следовательно, ряд Фурье данной функции имеет вид

Это равенство имеет место для всех
В точках
сумма ряда Фурье не совпадает со значениями функции f(х) = х, так как она равна


Вне отрезка сумма ряда является периодическим продолжением функции f(х) = x; ее график изображен на рис. 6.

Разложение функции, заданной на отрезке, в ряд по синусам или по косинусам
Пусть ограниченная кусочно-монотонная функция f(х) задана на отрезке
Значения этой функции на отрезке
можно доопределить различным образом. Например, можно определить функцию f(х) на отрезке
так, чтобы f(х) = f(-х). В этом случае говорят, что f(х) «продолжена на отрезок
четным образом»; ее ряд Фурье будет содержать только косинусы. Если же функцию f(х) определить на отрезке
так, чтобы f(х) = — f(-х), то получится нечетная функция, и тогда говорят, что f(x) «продолжена на отрезок
нечетным образом»; в этом случае ее ряд Фурье будет содержать только синусы.

Итак, каждую ограниченную кусочно-монотонную функцию /(х), определенную на отрезке можно разложить в ряд Фурье и по синусам, и по косинусам.
Пример:

разложить в ряд Фурье: а) по косинусам; б) по синусам.

Данная функция при ее четном и нечетном продолжениях в отрезок будет ограниченной и кусочно-монотонной

а) Продолжим f(x) в отрезок четным образом (рис. 7), тогда ее ряд будет иметь вид

где коэффициенты Фурье равны соответственно


б) Продолжим f Пусть функция f(x) является периодической с периодом и ее можно разложить на отрезке в ряд Фурье Возвращаясь к переменной х, т. е. положив получим Все теоремы, справедливые для рядов Фурье периодических функций с периодом остаются в силе и для периодических функций с произвольным периодом 2 l. В частности, сохраняет свою силу и достаточный признак разложимости функции в ряд Фурье. Пример: Разложить в ряд Фурье периодическую функцию с периодом 2 l, заданную на отрезке формулой Так как данная функция четная, то ее ряд Фурье имеет вид Подставляя в ряд Фурье найденные значения коэффициентов Фурье, получим Отметим одно важное свойство периодических функций. Теорема: Если функция f(x) имеет период Т и интегрируема, то для любого числа а выполняется равенство т. е. интеграл no отрезку, длина которого равна периоду Т, имеет одно и то же значение независимо от положения этого отрезка на числовой оси. Делаем замену переменной во втором интеграле, полагая х = t + T, dx = dt. Это дает Геометрически это свойство означает, что в случае площади заштрихованных на рис. 10 областей равны между собой. В частности, для функции f(x) с периодом Т = Пример: является периодической с периодом Т = В силу нечетности данной функции без вычисления интегралов можно утверждать, что при любом а Доказанное свойство, в частности, показывает, что коэффициенты Фурье периодической функции f(x) с периодом 2 l можно вычислять по формулам где a — произвольное действительное число (отметим, что функции имеют период 2 l). Пример: Разложить в ряд Фурье заданную на интервале 0 < х < функцию с периодом (рис. 11). Найдем коэффициенты Фурье данной функции. Положив в формулах (1) и (2) а = 0, найдем, что Следовательно, ряд Фурье будет выглядеть так: В точке х = (точка разрыва первого рода) имеем В этом параграфе используются некоторые элементы комплексного анализа (см. главу XXX, где все, производимые здесь действия с комплексными выражениями, строго обоснованы). Пусть функция f(x) удовлетворяет достаточным условиям разложимости в ряд Фурье. Тогда на отрезке ее можно представить рядом вида Используя формулы Эйлера (см. ***) Подставляя эти выражения в ряд (1) вместо cos nх и sin nх, будем иметь Введем следующие обозначения Тогда ряд (2) примет вид Преобразуем правую часть этого равенства следующим образом Последнее равенство можно записать так: Таким образом, ряд Фурье (1) представлен в комплексной форме (3). Найдем выражения коэффициентов через интегралы. Имеем Окончательно формулы для можно записать так: Коэффициенты Cn называются комплексными коэффициентами Фурье функции f(x). Для периодической функции f(x) с периодом комплексная форма ряда Фурье примет вид где коэффициенты Cn вычисляются по формулам Сходимость рядов (3) и (4) понимается так: ряды (3) и (4) называются сходящимися для данного значения х, если существуют пределы Пример: Разложить в комплексный ряд Фурье функцию периода Данная функция удовлетворяет достаточным условиям разложимости в ряд Фурье. Пусть Найдем комплексные коэффициенты Фурье этой функции. Имеем Подставляя значения Сn в ряд (3), окончательно получим Заметим, что этот ряд можно записать и так: Обозначим через множество всех (действительных) функций, определенных и интегрируемых на отрезке [а, b] с квадратом, т. е. таких, для которых существует интеграл В частности, все функции f(х), непрерывные на отрезке и значения их интегралов Лебега совпадают со значениями интегралов Римана. Определение: Система функций называется ортогональной на отрезке [а,b], если Условие (1) предполагает, в частности, что ни одна из функций не равна тождественно нулю. и назовем величину Если в ортогональной системе Если система Пример: ортогональна на отрезке . Система функций является ортонормированной системой функций на . Пример: являются ортогональными на отрезке [0, l] , но не ортонормированными так как их нормы Пример: Многочлены, определяемые равенством (n = 0, 1, 2, …), называются многочленами (полиномами) Лежандра. При n = 0 имеем при n = 1 получаем Можно доказать, что функции образуют ортонормированную систему функций на отрезке [-1, 1]. Покажем, например, ортогональность полиномов Лежандра. Пусть m>n. В этом случае, интегрируя n раз по частям, находим поскольку для функции все производные до порядка m — 1 включительно обращаются в нуль на концах отрезка [-1, 1]. Определение: Система функций называется ортогональной на интервале (а,b) с весом р(х), если: Здесь предполагается, что весовая функция р(х) определена и положительна всюду на интервале (а, b) за возможным исключением конечного числа точек, где р(х) может обращаться в нуль. Пример: Система функций Бесселя ортогональна на интервале (0,1) с весом р(х) = х, т.е. для Пример: Рассмотрим многочлены Чебышева—Эрмита, которые могут быть определены при помощи равенства Выполнив дифференцирование в формуле (3), находим Можно показать, что многочлены Чебышева — Эрмита ортогональны на интервале Пусть — ортогональная система функций в интервале (а, b) и пусть ряд сходится на этом интервале к функции f(x): Умножая обе части последнего равенства на Эта операция имеет, вообще говоря, чисто формальный характер. Тем не менее, в некоторых случаях, например, когда ряд (4) сходится равномерно, все функции Ряд, стоящий в правой части, называется рядом Фурье функции f(x) относительно системы . Числа Cn называются коэффициентами Фурье функции f(x) по этой системе. Знак в формуле (6) означает лишь, что числа Сn связаны с функцией f(x) формулой (5) (при этом не предполагается, что ряд справа вообще сходится, затем более сходится к функции f(x)). Поэтому естественно возникает вопрос: каковы свойства этого ряда? В каком смысле он «представляет» функцию f(x)? Определение: Последовательность или, что то же, Теорема: Если последовательность сходится равномерно, то она сходится и в среднем. Пусть последовательность откуда вытекает наше утверждение. Обратное утверждение неверно: последовательность может сходиться в среднем к f(x), но не быть равномерно сходящейся. Пример: Легко видеть, что Но эта сходимость не равномерна: существует Таким образом, за счет увеличения n сделать неравенство так что последовательность сходится в среднем к функции f(х) = 0. Пусть — ортонормированная система функций на отрезке [а,b], и пусть Рассмотрим линейную комбинацию где принимает минимальное значение. Запишем его подробнее Интегрируя почленно, в силу ортонормированности системы получим Первые два слагаемых в правой части равенства (7) не зависят от называют средним квадратичным приближением функции f(x) линейной комбинацией Тn(х). Таким образом, среднее квадратичное приближение функции Равенство (9) называется тождеством Бесселя. Так как его левая часть неотрицательна, то из него следует неравенство Бесселя Поскольку n здесь произвольно, то неравенство Бесселя можно представить в усиленной форме т. е. для всякой функции ортонормирована на отрезке то неравенство (10) в переводе на привычную запись тригонометрического ряда Фурье дает соотношение справедливое для любой функции f(x) с интегрируемым квадратом. Если Для некоторых систем называется равенством Парсеваля—Стеклова <условием полноты). Тождество Бесселя (9) позволяет записать условие (12) в равносильной форме Тем самым выполнение условия полноты означает, что частичные суммы Sn(х) ряда Фурье функции f(x) сходятся к функции f(x) в среднем, т. е. по норме пространства Определение: Ортонормированная система можно с любой точностью приблизить в среднем линейной комбинацией вида с достаточно большим числом слагаемых, т. е. если для всякой функции Из приведенных рассуждений следует Теорема: Если ортонормированная система Можно показать, что тригонометрическая система полна в пространстве Отсюда следует утверждение. Теорема: Если функция то ее тригонометрический ряд Фурье сходится к ней в среднем. Определение. Ортонормированная система функций В пространстве понятия полноты и замкнутости ортонормированных систем совпадают. При изучении разнообразных периодических процессов, т. е. процессов, которые через определенный промежуток времени повторяются (встречаются в радиотехнике, электронике, теории упругости, теории и практике автоматического регулирования и т. д.), целесообразнее разлагать периодические функции, описывающие эти процессы, не в степенной ряд, а в так называемый тригонометрический ряд. Напомним, что функция у = f(x), определенная на множестве D, называется периодической (см. п. 14.3) с периодом Т > 0, если при каждом х € D значение Для построения графика периодической функции периода Т достаточно построить его на любом отрезке длины Т и периодически продолжить его во всю область определения. Отметим основные свойства периодической функции. при любых Пусть, например, 0 < а < b < Т, тогда С другой стороны, Подставляем полученный результат в (66.2) и, сравнивая с (66.1), имеем Простейшими периодическими функциями являются тригонометрические функции sinх и cosх. Период этих функций равен Простейшим периодическим процессом (движением) является простое гармоническое колебание (движение), описываемое функцией Функцию такого вида (и ее график) называют простой гармоникой. Основным периодом функции (66.3) является Проведем преобразование функции (66.3): где Сложное гармоническое колебание, возникающее в результате наложения конечного (или бесконечного) числа простых гармоник, также описывается функциями вида Так, функция или, что равносильно, функция задает сложное гармоническое колебание. Так как период первой гармоники есть период функции Понятно, что при наложении простых гармоник получаем периодическую функцию, описывающую сложное периодическое колебание (периодический процесс). Возникает вопрос: всякую ли периодическую функцию, описывающую периодический процесс, можно представить в виде суммы простых гармоник вида (66.3) или (66.4)? Если да, то как найти неизвестные параметры (коэффициенты) каждой из этих гармоник? Ответим сначала на второй вопрос, а потом и на первый. С помощью так называемого тригонометрического ряда любую (практически) периодическую функцию можно представить в виде ряда, членами которого являются простые гармоники. Тригонометрическим рядом называется функциональный ряд вида где действительные числа называются коэффициентами ряда. Ряд (66.5) можно записать в виде Действительно, положив Свободный член ряда записан в виде для единообразия получающихся в дальнейшем формул. Приведем формулы, которые понадобятся нам в дальнейшем. Считая m и n целыми положительными, находим: 1. Формулы (66.7)-(66.11) показывают, что семейство функций обладает свойством ортогональности: интеграл от произведения любых двух функций этого семейства на интервале, имеющем длину равен нулю. 2.Формулы (66.7)-(66.11) справедливы и в случае, когда область интегрирования есть отрезок (см. свойство 3 периодических функций, п. 66.1). Пусть f(х) — произвольная периодическая функция с периодом Предположим, что функция f(х) разлагается в тригонометрический ряд, т. е. f(х) является суммой ряда (66.5): Так как функция f(х) (и сумма ряда) имеет период Интегралы от всех, кроме нулевого, членов ряда равны нулю в силу формул (66.7) и (66.8). Отсюда Умножив обе части равенства (66.12) на cos mar и проинтегрировав полученный ряд в пределах от , получим: В силу формул (66.7), (66.9) и (66.10) из последнего равенства при m = п получаем: Аналогично, умножив равенство (66.12) на sinmx и проинтегрировав почленно на отрезке , найдем: Числа определяемые по формулам (66.13)-(66.15), называются коэффициентами Фурье функции f(x), а тригонометрический ряд (66.5) с такими коэффициентами — рядом Фурье функции f(x). Для интегрируемой на отрезке функции f(x) записывают и говорят: функции f(x) соответствует (поставлен в соответствие) ее ряд Фурье. Если ряд Фурье сходится, то его сумму обозначим S(x). Разложение в ряд Фурье периодических функций Выясним условия, при которых знак соответствия ( ) можно заменить знаком равенства (=), т. е. условия, при которых ряд Фурье функции f(х) сходится и имеет своей суммой как раз функцию f(х). Будем рассматривать функции f(x), имеющие период Сформулируем теорему, представляющую достаточное условие разложимости функции в ряд Фурье. Теорема Дирихле: Пусть Тогда соответствующий функции f(х) ряд Фурье сходится на этом отрезке и при этом: Таким образом, если функция f(х) удовлетворяет условиям 1 и 2 теоремы (условия Дирихле), то на отрезке имеет место разложение (66.12): причем коэффициенты вычисляются по формулам (66.13)-(66.15). Это равенство может нарушиться только в точках разрыва функции f(х) и на концах отрезка . В силу периодичности исходной функции и суммы ряда Фурье может быть получено указанное разложение во всей области определения функции. Замечания: 1.Если функция f(x) с периодом (Интегралы равны в силу свойства 3 периодической функции — см. п. 66.1.) 2.Условиям Дирихле удовлетворяют большинство функций, которые встречаются в математике и ее приложениях. Существуют функции, не удовлетворяющие условиям Дирихле, но при этом разложимые в ряд Фурье, т. е. теорема Дирихле дает лишь достаточное условие разложимости, но не необходимое. Пример: Разложить в ряд Фурье функцию f(x) периода Решение: На рисунке 260 изображен график функции f(х). Эта функция удовлетворяет условиям Дирихле, значит, она разложима в ряд Фурье. Находим коэффициенты ряда: Исходной функции f(x) соответствует ряд Фурье Функция f(х) непрерывна во всех внутренних точкой отрезка , поэтому, согласно теореме Дирихле, для всех этих точек имеем равенство f(х) = S(х), т. е. В точках сумма S(x) ряда равна Графики функций f(х) и S(х) показаны на рис. 260. Если разлагаемая на отрезке в ряд Фурье функция f(х) является четной или нечетной, то это отражается на формулах коэффициентов Фурье (вычисление их упрощается) и на виде самого ряда (он становится так называемым неполным). Если функция f(x) четная, то ее ряд Фурье имеет вид Если функция f(x) нечетная, то ее ряд Фурье имеет вид Как известно (см. п. 39.4), если функция f(x) интегрируема на симметричном отрезке [—а; а], то Если функция f(x) — четная, то f(х) cos nx — четная функция Если же f(х) — нечетная функция, то, очевидно, функция f(х) cosnx — нечетная, a f(x) sinnx — четная. С учетом формулы (67.5) из формул (66.13)-(66.15) получаем формулы (67.1)-(67.4). Ряды (67.1) и (67.3) называются неполными тригонометрическими рядами, или рядами по косинусам и по синусам соответственно. Пример: Разложить в ряд Фурье функцию Решение: На рисунке 261 изображен график заданной функции. Условиям Дирихле функция у = х удовлетворяет. Эта функция — нечетная. Следовательно, Ряд Фурье содержит только синусы: Разлагать в ряд Фурье можно и периодические функции с периодом, отличным от . Пусть функция f(x), определенная на отрезке [-l; l], имеет период где l — произвольное положительное число) и удовлетворяет на этом отрезке условиям Дирихле. Сделав подстановку Действительно, если Разложение функции Возвращаясь к переменной х и заметив, что получим Ряд (67.6) с коэффициентами, вычисляемыми по формулам (67.7), называется рядом Фурье для функции f(x) с периодом Т = 2l. Замечание: Все теоремы, имеющие место для рядов Фурье -периодических функций, остаются в силе и для рядов Фурье функций, период которых Т = 2l. В частности, если f(х) на отрезке [—l; l] четная, то ее ряд Фурье имеет вид если f(x) — нечетная функция, то Пример: Разложить функцию f(x) = х на интервале (—4; 4) в ряд Фурье. Решение: Данная функция нечетная, удовлетворяет условиям Дирихле. По формулам (67.10) и (67.11), при l = 4, имеем: Вычисляем : для -4 < x < 4. Пусть у = f(х) — непериодическая функция, заданная на всей числовой оси . Такая функция не может быть разложена в ряд Фурье, т. к. сумма ряда Фурье есть функция периодическая и, следовательно, не может быть равна f(x) для всех x. Однако непериодическая функция f(x) может быть представлена в виде ряда Фурье на любом конечном промежутке [a; b], на котором она удовлетворяет условиям Дирихле. Для этого можно поместить начало координат в середину отрезка [a; b] и построить функцию Разлагаем функцию в ряд Фурье. Сумма этого ряда во всех точках отрезка [а; b] (кроме точек разрыва) совпадает с заданной функцией f(x). Вне этого промежутка сумма ряда и f(x) являются совершенно различными функциями. Пусть теперь непериодическую функцию f(х) требуется разложить в ряд Фурье на отрезке [0; l]. (Это частный случай: начало координат перенесено в точку х = а отрезка [а; b]; область определения функции f(x) будет иметь вид [0; l], где l = |b- а|.) Такую функцию можно произвольным образом доопределить на отрезке [-l;0], а затем осуществить ее периодическое продолжение с периодом Т = 2l. Разложив в ряд Фурье на отрезке [—l,l] полученную таким образом периодическую функцию В частности, функцию f(x) можно доопределить на отрезке [—l; 0] четным образом (т. е. чтобы при было f(x) = f(—x)) — см. рис. 263. В этом случае функция f(x) разлагается в ряд Фурье, который содержит только косинусы (см. формулы (67.8) и (67.9)). Если же функцию f(x) продолжить на отрезок [-l; 0] нечетным образом (см. рис. 264), то она разлагается в ряд, состоящий только из синусов (см. формулы (67.10) и (67.11)). Ряд косинусов и ряд синусов для функции f(x), заданной на отрезке [0; l], имеют одну и ту же сумму. Если — точка разрыва функции f(x), то сумма как одного, так и другого ряда равна одному и тому же числу: Замечание: Все, что было сказано о разложении в ряд Фурье функции f(x) на отрезке [0;l], переносится практически без изменения на случай, когда функция задана на отрезке ; такую функцию .можно разложить как в ряд косинусов, так и в ряд синусов (формулы (67.1) и (67.3)). Пример: Разложить в ряд косинусов функцию Решение: Продолжим функцию f(x) на отрезок четным образом (см. рис. 265). Разлагаем в ряд функцию с периодом Ряды Фурье часто применяются в комплексной форме записи. Преобразуем ряд (66.12) и его коэффициенты (66.13)-(66.15) к комплексной форме. Для этого используем формулы Эйлера, выражающие косинус и синус через показательную функцию: (из формулы Эйлера Найдем выражения для комплексных коэффициентов Таким образом, формулу (67.12) можно записать в виде Коэффициенты этого ряда, согласно формулам (67.13)-(67.15), можно записать в виде Равенство (67.16) называется комплексной формой ряда Фурье функции f(x), а числа , найденные по формуле (67.17), — комплексными коэффициентами ряда Фурье. Если функция f(x) задается на отрезке [—l; l], то комплексная форма ее ряда Фурье имеет вид Как видим, комплексная форма ряда Фурье (и коэффициентов) более компактна, чем обыкновенный ряд Фурье. В электротехнике и радиотехнике члены ряда Совокупность величин называется амплитудными спектром. Графически амплитудный спектр изображается в виде вертикальных отрезков длиной Пример: Построить ряд Фурье в комплексной форме для 2-периодической функции Решение: На рисунке 266 изображен график функции f(х). По формулам (67.18) находим (l = 1): Следовательно, для всех точек непрерывности функции f(х) справедливо равенство Как известно, всякую (периодическую или непериодическую) функцию f(х), удовлетворяющую на отрезке [—l; l] условиям теоремы Дирихле, можно разложить в ряд Фурье где Это разложение будет справедливым на всей числовой оси Ох в том случае, когда f(x) — периодическая функция с периодом Т = 2l. Рассмотрим случай, когда f(x) — непериодическая функция, заданная на бесконечном промежутке Будем предполагать, что на любом конечном промежутке [—l; l] функция f(x) удовлетворяет условиям теоремы Дирихле и что сходится следующий несобственный интеграл: Говорят: f(х) абсолютно интегрируема на всей числовой оси. Подставляя в ряд (68.1) значения коэффициентов (68.2), получим: Будем теперь неограниченно увеличивать l. Первое слагаемое в правой части равенства (68.3) при стремится к нулю, т. к. Рассмотрим второе слагаемое в равенстве (68.3). Величина Полученная сумма напоминает интегральную сумму для функции (доказывается, что так оно и есть), поэтому, переходя в равенстве (68.3) к пределу при получаем Формула (68.4) называется формулой Фурье, а интеграл в правой части формулы — интегралом Фурье для функции f(x). Формула Фурье имеет место в точках непрерывности функции f(х); в точках разрыва данной функции интеграл Фурье равен среднему арифметическому ее односторонних пределов: Формулу (68.4) можно переписать в другом виде (в виде однократного интеграла): Как видно, есть аналогия между рядом Фурье и интегралом Фурье: в обоих случаях функция f(x) раскладывается на сумму гармонических составляющих. Однако, ряд Фурье суммируется по индексу п, принимающему дискретные значения п = 1,2,3,…, в интеграле Фурье производится интегрирование по непрерывной переменной . Некоторые сведения, связанные с интегралом Фурье, изложим в виде замечаний. Замечания: 1.Если функция f(x) — четная, то формула Фурье (68.5) принимает вид в случае нечетной функции — 2.Если функция f(x) задана лишь на промежутке 3.Формулу Фурье (68.5) можно представить в симметричной форме записи, если положить в формулах (68.6) и (68.7) В случае четной функции в случае нечетной функции Функции называются соответственно косинус-пре-образованием и синус-преобразованием Фурье для функции f(x). 4.Интеграл Фурье (68.4) в комплексной форме имеет вид интеграл Фурье (68.5) имеет вид где или в симметричной форме записи Пример: Представить интегралом Фурье функцию Решение: Функция удовлетворяет условиям представимости интегралом Фурье, абсолютно интегрируема на промежутке Функция нечетная, применим формулу (68.7): Замечание. Интересно отметить, что если х = 1, то С другой стороны, Таким образом, Иными словами, при помощи представления функций интегралом Фурье иногда можно вычислить величины несобственных интегралов. Решение заданий и задач по предметам: Дополнительные лекции по высшей математике: Образовательный сайт для студентов и школьников Копирование материалов сайта возможно только с указанием активной ссылки «www.lfirmal.com» в качестве источника. © Фирмаль Людмила Анатольевна — официальный сайт преподавателя математического факультета Дальневосточного государственного физико-технического института


Ряд Фурье для функции с произвольным периодом
Для разложения ее в ряд Фурье на отрезке
сделаем замену переменной, положив
Тогда функция
будет периодической функцией аргумента t с периодом
т. к.
















получим при 















Комплексная запись ряда Фурье

























Ряды Фурье по общим ортогональным системам функций
Ортогональные системы функций







нормой функции
.
для всякого n имеем
то система функций
называется ортонормированной.
ортогональна, то система
ортонормирована.


















— нули функции Бесселя 


с весом 





— фиксировано) и интегрируя по х от а до b, в силу ортогональности системы
получим, что
непрерывны и интервал (а, b) конечен, эта операция законна. Но для нас сейчас важна именно формальная трактовка. Итак, пусть задана функция
Образуем числа
по формуле (5) и напишем

Сходимость в среднем
сходится к элементу
в среднем, если
— норма в пространстве 

сходится равномерно на отрезке [а, b] к функции f(x). Это означает, что для всякого
> 0 при всех достаточно больших n имеем



, например,
такое, что сколь бы большим ни было n, на отрезке [0,1] найдется точка, именно, точка
в которой значение функции fn(x) равно 
справедливым сразу для всех значений х от 0 до 1 никак нельзя. Иными словами, уже для
не существует номера N, который годился бы для всех
[0, 1] одновременно (здесь характерен горб высоты
(рис. 12), «передвигающийся» справа налево с возрастанием n). С другой стороны,

Минимальное свойство коэффициентов Фурье. Неравенство Бесселя. Равенство Парсеваля


Обозначим через
коэффициенты Фурье функции f(x) по ортонормированной системе
:

— фиксированное целое число, и найдем значения постоянных
аn, при которых интеграл



а третье слагаемое неотрицательно. Поэтому интеграл (*) принимает минимальное значение при
(к = 1, 2,…). Интеграл
принимает минимальное значение, когда
(к = 1,2,…), т. е. когда Тn(х) есть n-я частичная сумма ряда Фурье функции f(x) по системе
Sn(x). Полагая
, из (7) получаем


ряд из квадратов коэффициентов Фурье этой функции по ортонормированной системе
сходится. Так как система


интегрируема, то в силу необходимого условия сходимости ряда в левой части неравенства (11) получаем, что 
Равенство Парсеваля
знак неравенства в формуле (10) может быть заменен (для всех функций
знаком равенства. Получаемое равенство


называется полной в
если всякую функцию

и для любого
> 0 найдется натуральное число N0 и числа
такие, что
полна в пространстве
, то ряд Фурье всякой функции
по этой системе сходится к f(x) в среднем, т. е. по норме 



Замкнутые системы. Полнота и замкнутость систем
называется замкнутой, если в пространстве
не существует отличной от нуля функции, ортогональной ко всем функциям 

Ряды Фурье основные определения и свойства с подробным объяснением и теорией
и выполняется равенство 







, т.е. 

где А — амплитуда колебания,
— частота,
— начальная фаза.
т. е. одно полное колебание совершается за промежуток времени
показывает, сколько колебаний совершает точка в течение
: единиц времени).
Отсюда видно, что простое гармоническое колебание описывается периодическими функциями 




(«нулевая гармоника») есть любое число, то функция
имеет период, равный
, т. е. 
Тригонометрический ряд Фурье



получим:
ряд (66.5) принимает вид (66.6), при этом 







, то ее можно рассматривать в любом промежутке длины
. В качестве основного промежутка возьмем отрезок
(также удобно взять отрезок
) и предположим, что ряд (66.12) на этом отрезке можно почленно интегрировать. Вычислим коэффициенты
. Для этого проинтегрируем обе части равенства (66.12) в пределах от 











Разложение в ряд Фурье периодических функций

Теорема Дирихле
Такие функции называют
—периодическими.
-периодическая функция f(x) на отрезке
удовлетворяет двум условиям:
разрыва функции сумма ряда равна
т. е. равна среднему арифметическому пределов функции /(х) справа и слева;
(на концах отрезка) сумма ряда равна 



на отрезке
удовлетворяет условиям Дирихле, то для нее имеет место разложение (66.12), где коэффициенты вычисляются по формулам


, заданную на отрезке
формулой







Разложение в ряд Фурье четных и нечетных функций






, a f(x) sin nx — нечетная функция
.





Разложение в ряд Фурье функций произвольного периода


, данную функцию f(х) преобразуем в функцию
, которая определена на отрезке
и имеет период
.
и при 

в ряд Фурье на отрезке
имеет вид














Представление непериодической функции рядом Фурье

периода Т = 21 = |b — а| такую, что
На рисунке 262 приведена иллюстрация построения функции
.

, получим искомый ряд для функции f(x) при 








. Условиям теоремы Дирихле функция
удовлетворяет. Используя формулы (67.1) и (67.2), находим:


Комплексная форма ряда Фурье

и вытекающего из нее равенства
находим, что
Подставив эти выражения в ряд (66.12), находим:


Используя выражения для
(формулы (66.14) и (66.15)), получим:





называются гармониками, коэффициенты
— комплексными амплитудами гармоник, а числа
— волновыми числами 

, расположенных в точках
числовой оси.



Интеграл Фурье










принимает значения
образующие бесконечную арифметическую прогрессию с разностью 













, то ее можно продолжить на промежуток
разными способами, в частности — четным или нечетным образом: в первом случав она будет представлена формулой (68.6), во втором — формулой (68.7).















