3.6. Применения дискретного преобразования Фурье
 
Допустим, нам известны значения  Иногда бывает необходимо рассматривать свертку
 Иногда бывает необходимо рассматривать свертку 
 (3.6.1)
    (3.6.1) 
Если 
 (3.6.2)
    (3.6.2) 
то сразу видно, что свертка (3.6.1) представляет собой коэффициент при  в тригонометрическом полиноме
 в тригонометрическом полиноме  и, следовательно, свертка задается формулой
 и, следовательно, свертка задается формулой 
 (3.6.3)
    (3.6.3) 
Этот случай подсказывает, что свертку (3.6.1) можно вычислять, применяя дискретное преобразование Фурье, и тем самым использовать преимущества быстрого преобразования Фурье. 
Лемма 3.6.1. Для данных  и целого
 и целого  свертка (3.6.1) задается формулой
 свертка (3.6.1) задается формулой 
 
при  (3.6.4)
 (3.6.4) 
В общем случае (3.6.4) обращается в 
 (3.6.5)
    (3.6.5) 
Взяв S достаточно большим, мы можем получить нужное значение свертки из (3.6.4). Если 5 выбрано разлагающимся на большое число множителей, то дискретные преобразования Фурье, используемые в (3.6.4), могут быть вычислены при помощи алгоритма быстрого преобразования Фурье, обсуждавшегося в предыдущем параграфе. Таким образом, свертка (3.6.1) быстрее вычисляется указанным методом, нежели прямо по определению (3.6.1). Этот факт подметил Sande [Gentleman, Sande (1966)], 
 
а также Stockham (1966). Из формулы (3.6.5) видно, что при  выражение (3.6.4) дает (3.6.1) плюс дополнительные члены. Для не слишком больших значений
 выражение (3.6.4) дает (3.6.1) плюс дополнительные члены. Для не слишком больших значений  оно будет примерно равно (3.6.1), и это справедливо для всех и, если взять
 оно будет примерно равно (3.6.1), и это справедливо для всех и, если взять  
 
Знание свертки (3.6.1) требуется, например, при оценке моментов  стационарного двумерного ряда. Несмещенная оценка
 стационарного двумерного ряда. Несмещенная оценка  задается формулой
 задается формулой 
 (3.6.6)
    (3.6.6) 
имеющей вид (3.6.1). Из упр. 3.10.7 видно, как можно изменить результат леммы 3.6.1, чтобы построить оценку для  
 
Результат леммы 3.6.1 оказывается также полезным при вычислений значений профильтрованного ряда 
 (3.6.7)
    (3.6.7) 
где величины  известны. Пусть
 известны. Пусть  — передаточная функция фильтра
 — передаточная функция фильтра  Тогда леммы 3.4.1 и 3.6.1 подсказывают, что стоит вычислить
 Тогда леммы 3.4.1 и 3.6.1 подсказывают, что стоит вычислить 
 (3.6.8)
    (3.6.8) 
Эти значения должны быть близки к значениям профильтрованных величин. Непосредственная подстановка показывает, что (3.6.8) принимает вид 
 (3.6.9)
    (3.6.9) 
и поэтому, если коэффициенты а  быстро убывают при
 быстро убывают при  , выражение (3.6.8) будет близко к выражению (3.6.7). В случае когда S разлагается на большое число множителей, вычисления по формуле (3.6.8) могут быть сокращены при помощи алгоритма быстрого преобразования Фурье. Можно было бы, кроме того, ввести в рассмотрение и множители сходимости.
, выражение (3.6.8) будет близко к выражению (3.6.7). В случае когда S разлагается на большое число множителей, вычисления по формуле (3.6.8) могут быть сокращены при помощи алгоритма быстрого преобразования Фурье. Можно было бы, кроме того, ввести в рассмотрение и множители сходимости. 
Заметим, что лемма 3.6.1 допускает следующее обобщение. 
Лемма 3.6.2. Для данных  и целого
 и целого  выражение
 выражение 
 (3.6.10)
    (3.6.10) 
 
равняется 
 
В заключение этого параграфа укажем некоторые применения конечного преобразования Фурье. Допустим, что
 
тогда, согласно примеру 2 из § 3.4, 
 (3.6.13)
    (3.6.13) 
Проверка показывает, что амплитуда функции, задаваемой формулой (3.6.13), велика лишь для Я, близких к  . Следовательно, конечное преобразование Фурье (3.6.13) должно быть полезно при практическом определении заранее неизвестной частоты гармонического колебания. Об этом см. Stokes (1879). Заметим, что если
. Следовательно, конечное преобразование Фурье (3.6.13) должно быть полезно при практическом определении заранее неизвестной частоты гармонического колебания. Об этом см. Stokes (1879). Заметим, что если  содержит две неизвестные частоты, т.е.
 содержит две неизвестные частоты, т.е. 
 (3.6.14)
    (3.6.14) 
то близкие частоты и  трудно разрешить (т. е. различить), так как
 трудно разрешить (т. е. различить), так как 
 
Очевидно, эта функция не будет иметь заметных пиков на частотах  если
 если  так близки, что всплески соответствующих функций
 так близки, что всплески соответствующих функций  гасят друг друга. Трудность эту можно преодолеть, если ввести в преобразование Фурье множители сходимости. А именно, используя (3.3.6) для ряда, задаваемого
 гасят друг друга. Трудность эту можно преодолеть, если ввести в преобразование Фурье множители сходимости. А именно, используя (3.3.6) для ряда, задаваемого 
 
формулой (3.6.14), получим 
 
Если множители сходимости  выбраны так, что
 выбраны так, что  сосредоточена в некотором интервале, например в интервале
 сосредоточена в некотором интервале, например в интервале  , то амплитуда функции, определяемой формулой (3.6.16), будет иметь отчетливые пики в случае
, то амплитуда функции, определяемой формулой (3.6.16), будет иметь отчетливые пики в случае  
 
Отметим также ряд других применений конечного преобразования Фурье. Оно используется при вычислении собственных значений интересующих нас матриц [Lanczos (1955)], при оценке распределений, являющихся смесями [Medgyessy (1961)], при определении кумулянтной функции распределения по ее характеристической функции [Bohman (1960)].