Processing math: 100%

Определение интеграла Фурье

Для лучшего понимания материала, изложенного ниже, пожалуйста, ознакомьтесь с темой «Ряды Фурье».

Интегральная формула Фурье

Если интервал [l,l], на котором функция f(x) разлагается в тригонометрический ряд Фурье, неограниченно возрастает, т.е. l+, то ряд Фурье превращается в интеграл Фурье. При переходе к пределу происходит качественный скачок: функция, заданная на любом конечном интервале [l,l], разлагается в ряд «гармонических колебаний», частоты которых образуют дискретную последовательность; функция f(x), заданная на всей оси x или на полуоси x, разлагается в интеграл, который представляет собой сумму «гармонических колебаний», частоты которых непрерывно заполняют действительную полуось 0λ+. Рассмотрим этот предельный переход от ряда Фурье к интегралу Фурье.

Замечание. Напомним, что функция f является кусочно-гладкой на отрезке [a,b], если:

  • f непрерывна во всех точках, кроме, быть может, конечного числа точек x1,,xn(a,b).
  • i=1,,nf(xi±0),f(a+0),f(b0).
  • 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=1lllf(ξ)dξ,ak=1lllf(ξ)coskπξldξ,bk=1lllf(ξ)sinkπξldξ.
    Равенство (1) имеет место, если x — внутренняя точка отрезка [l,l], в которой f(x) непрерывна; если же x — внутренняя точка этого отрезка, в которой f(x) разрывна, то в левой части равенства (1) f(x) нужно заменить через f(x+0)+f(x0)2.
    Подставляя выражения (2) в (1), получим f(x)=12lllf(ξ)dξ+1l+k=1llf(ξ)coskπl(ξx)dξ.(3)
    Если f(x) ещё и абсолютно интегрируема на всей оси x, т.е. +|f(x)|dx=Q<+,(4)
    то при переходе к пределу при l+ первое слагаемое в правой части (3) в силу условия (4) стремится к нулю. Следовательно, f(x)=liml+1l+k=1llf(ξ)coskπl(ξx)dξ.(5) Положим kπl=λk, πl=Δλk. Тогда (5) можно переписать в виде f(x)=liml+Δλk01π+k=1Δλkllf(ξ)cosλk(ξx)dξ.(6)
    Будем рассуждать нестрого:

    1. при больших значениях l интеграл llf(ξ)cosλk(ξx)dξ можно заменить интегралом
      +f(ξ)cosλk(ξx)dξ,
    2. +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(x0)2, если x является точкой разрыва функции f(x).

    Равенство (7) называется интегральной формулой Фурье, а интеграл, стоящий в её правой части, — интегралом Фурье либо двойным интегралом Фурье

    Обоснование интегральной формулы Фурье

    Равенство (7) было получено с помощью формальных предельных переходов, которые не были обоснованы.
    Вместо того чтобы их обосновать, удобнее непосредственно доказывать справедливость равенства (7).

    Теорема

    Если функция f(x), кусочно-гладкая на каждом конечном отрезке оси x, абсолютно интегрируема на всей оси x, т.е. интеграл +|f(x)|dx сходится, то liml+1πl0dλ+f(ξ)cosλ(ξx)dξ=f(x+0)+f(x0)2.

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

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

    • кусочно-непрерывна на каждом конечном отрезке оси x
    • отношение |f(x+ζ)f(x+0)ζ| ограничено при любом фиксированном x для всех достаточно малых ζ, то основная теорема сохраняет силу.
    Доказательство

    Литература

    Тестирование. Интеграл Фурье

    После прочтения материала настоятельно рекомендую попробовать силы в несложных тестах для закрепления материала.
    Желаю успехов!

Определение интеграла Фурье: 1 комментарий

Добавить комментарий

Ваш адрес email не будет опубликован. Обязательные поля помечены *