Для лучшего понимания материала, изложенного ниже, пожалуйста, ознакомьтесь с темой «Ряды Фурье».
Интегральная формула Фурье
Если интервал [−l,l], на котором функция f(x) разлагается в тригонометрический ряд Фурье, неограниченно возрастает, т.е. l→+∞, то ряд Фурье превращается в интеграл Фурье. При переходе к пределу происходит качественный скачок: функция, заданная на любом конечном интервале [−l,l], разлагается в ряд «гармонических колебаний», частоты которых образуют дискретную последовательность; функция f(x), заданная на всей оси x или на полуоси x, разлагается в интеграл, который представляет собой сумму «гармонических колебаний», частоты которых непрерывно заполняют действительную полуось 0≤λ≤+∞. Рассмотрим этот предельный переход от ряда Фурье к интегралу Фурье.
Замечание. Напомним, что функция f является кусочно-гладкой на отрезке [a,b], если:
- f непрерывна во всех точках, кроме, быть может, конечного числа точек x1,…,xn∈(a,b).
- ∀i=1,…,n∃f(xi±0),f(a+0),f(b−0).
- f – дифференцируема во всех точках, кроме, быть может, конечного числа точек x1,…,xn.
- ∃f′(xi±0).Пусть f(x) задана на всей оси x и на каждом конечном отрезке [−l,l], является кусочно-гладкой. Тогда, в силу основной теоремы о сходимости тригонометрического ряда Фурье, при любом l>0 f(x)=a02++∞∑k=1(akcoskπxl+bksinkπxl),(1)
где (2){a0=1ll∫−lf(ξ)dξ,ak=1ll∫−lf(ξ)coskπξldξ,bk=1ll∫−lf(ξ)sinkπξldξ.
Равенство (1) имеет место, если x — внутренняя точка отрезка [−l,l], в которой f(x) непрерывна; если же x — внутренняя точка этого отрезка, в которой f(x) разрывна, то в левой части равенства (1) f(x) нужно заменить через f(x+0)+f(x−0)2.
Подставляя выражения (2) в (1), получим f(x)=12ll∫−lf(ξ)dξ+1l+∞∑k=1l∫−lf(ξ)coskπl(ξ−x)dξ.(3)
Если f(x) ещё и абсолютно интегрируема на всей оси x, т.е. +∞∫−∞|f(x)|dx=Q<+∞,(4)
то при переходе к пределу при l→+∞ первое слагаемое в правой части (3) в силу условия (4) стремится к нулю. Следовательно, f(x)=liml→+∞1l+∞∑k=1l∫−lf(ξ)coskπl(ξ−x)dξ.(5) Положим kπl=λk, πl=Δλk. Тогда (5) можно переписать в виде f(x)=liml→+∞Δλk→01π+∞∑k=1Δλkl∫−lf(ξ)cosλk(ξ−x)dξ.(6)
Будем рассуждать нестрого:- при больших значениях l интеграл l∫−lf(ξ)cosλk(ξ−x)dξ можно заменить интегралом
+∞∫−∞f(ξ)cosλk(ξ−x)dξ, - +∞∑k=1Δλk+∞∫−∞f(ξ)cosλk(ξ−x)dξ является интегральной суммой для интеграла +∞∫0dλ+∞∫−∞f(ξ)cosλ(ξ−x)dξ, поэтому из (6) получаем f(x)=1π+∞∫0dλ+∞∫−∞f(ξ)cosλ(ξ−x)dξ,(7) где в левой части равенства (7) вместо f(x) нужно писать f(x+0)+f(x−0)2, если x является точкой разрыва функции f(x).
Равенство (7) называется интегральной формулой Фурье, а интеграл, стоящий в её правой части, — интегралом Фурье либо двойным интегралом Фурье
Обоснование интегральной формулы Фурье
Равенство (7) было получено с помощью формальных предельных переходов, которые не были обоснованы.
Вместо того чтобы их обосновать, удобнее непосредственно доказывать справедливость равенства (7).Теорема
Если функция f(x), кусочно-гладкая на каждом конечном отрезке оси x, абсолютно интегрируема на всей оси x, т.е. интеграл +∞∫−∞|f(x)|dx сходится, то liml→+∞1πl∫0dλ+∞∫−∞f(ξ)cosλ(ξ−x)dξ=f(x+0)+f(x−0)2.
ДоказательствоЗамечание. Основная теорема об интеграле Фурье справедлива и при более слабых ограничениях, налагаемых на функцию f(x). А именно, если абсолютно интегрируемая на всей оси x функция f(x)
- кусочно-непрерывна на каждом конечном отрезке оси x
- отношение |f(x+ζ)−f(x+0)ζ| ограничено при любом фиксированном x для всех достаточно малых ζ, то основная теорема сохраняет силу.
ДоказательствоЛитература
- Будак Б. М., Фомин С. В. Курс высшей математики и математической физики — Кратные интегралы и ряды, М., «Наука», 1965, стр 510-516
- Демидович Б. П. Сборник задач и упражнений по математическому анализу — 13-е издание, исправленное, — М.: Издательство Московского университета, 1997, стр 404-405
- Лысенко З. М. Конспект лекций по курсу математического анализа (I курс)
Тестирование. Интеграл Фурье
После прочтения материала настоятельно рекомендую попробовать силы в несложных тестах для закрепления материала.
Желаю успехов! - при больших значениях l интеграл l∫−lf(ξ)cosλk(ξ−x)dξ можно заменить интегралом
Дословно по Булдакову и Фомину?