Дискретное преобразование Фурье
[19/100%]Вычислите следующие свёртки (используя свёртку двух векторов, как определено в этом разделе: для , , вектор размера , -й элемент которого равен , с дополнением при ).
.
.
.
Вычислите дискретное преобразование Фурье для .
Вычислите обратное преобразование для .
Пример 5.8.1 даёт и (используя , т.е. имеет те же элементы, что и , что в данном действительно-симметричном сопряжённом случае совпадает с с точностью до сопряжения каждого элемента).
Проверьте непосредственно, что , где определены, как в разложении матрицы Фурье (5.8.15): для , , где ( — первообразный корень -й степени из единицы, используемый на протяжении всего раздела) и — матрица перестановки чётных-нечётных индексов.
Используя следующие векторы, выполните указанные вычисления: , , , .
Вычислите , и (где — покомпонентное произведение).
Используя , приведённую в примере 5.8.1, вычислите . Сравните результат с тем, что гарантирует теорема о свёртке.
Для и вычислите произведение , используя теорему о свёртке.
Теорема о свёртке: для с дополненными нулями формами и выполняется , так что . По примеру 5.8.4, если и (коэффициенты дополнены нулями до ), то вектор коэффициентов в точности равен .
Используя свёртки, образуйте следующие произведения.
.
.
.
Интерпретация строки цифр числа по основанию как вектора коэффициентов многочлена, вычисленного в точке , сводит умножение к свёртке (пример 5.8.4), за которой следует перенос разрядов (замена всюду, где цифра достигает основания или превышает его).
Пусть и — векторы размера , где — степень двойки.
Покажите, что число умножений, необходимых для получения по определению свёртки, равно .
Покажите, что число умножений, необходимых для получения с помощью БПФ в сочетании с теоремой о свёртке, равно .
Для пункта (а): . Для пункта (б): сравните построенный график (отбросив менее значимое слагаемое ) с , чтобы увидеть масштаб преимущества БПФ при больших .
Волновая форма, заданная конечной суммой , в которой — целые числа и , отсчитывается в восьми равноотстоящих точках между и . Пусть , и пусть
Каково уравнение волновой формы?
Уравнения (5.8.7)-(5.8.8) показывают, что , так что каждая пара импульсов на индексах и в раскрывает (из суммы этих двух элементов) и (из их разности, делённой на ).
Докажите, что для всех — то есть свёртка является коммутативной операцией.
Для и корней -й степени из единицы пусть и . Объясните, почему и .
Для двух многочленов и пусть и , где теперь — корни -й степени из единицы. Объясните, почему коэффициенты произведения должны задаваться формулой
Циркулянтной матрицей называется квадратная матрица вида — то есть элементы каждого столбца совпадают с элементами предыдущего столбца, но сдвинуты на одну позицию вниз с циклическим переносом наверх; -й элемент равен .
Если — циркулянтная матрица, определённая как , и если , проверьте, что .
Объясните, почему матрица Фурье порядка диагонализует в том смысле, что , где — корни -й степени из единицы.
Докажите, что матрица Фурье порядка диагонализует любой циркулянт размера в том смысле, что , где .
Если и — произвольная пара циркулянтов размера , объясните, почему — то есть все циркулянты коммутируют друг с другом.
Для невырожденного циркулянта объясните, как использовать алгоритм БПФ для эффективного выполнения следующих операций.
Решить систему .
Вычислить .
Перемножить два циркулянта .
Для векторов , , и , пусть — циркулянтная матрица размера (упражнение 5.8.12), первый столбец которой равен .
Покажите, что операцию свёртки можно описать как произведение матрицы на вектор, продемонстрировав, что .
Используйте это соотношение, чтобы дать альтернативное доказательство теоремы о свёртке.
Кронекеровым произведением двух матриц и называется матрица размера вида , удовлетворяющая и (когда и определены).
Если , и если — матрица чёт-нечётной перестановки из разложения матрицы Фурье (5.8.15), объясните, почему является матрицей перестановки, соответствующей перестановке с обращением битов (perfect shuffle).
Пусть , и положим . Согласно (5.8.15), матрицу Фурье можно записать как . Докажите, что можно разложить как , где , а — перестановка с обращением битов из пункта (а).
Это означает, что : дискретное преобразование Фурье вектора получается сначала выполнением перестановки с обращением битов, а затем применением последовательных членов — это и есть алгоритм БПФ в разложенной форме.
Для докажите, что
где — корни -й степени из единицы.
Рассмотрим сигнал, заданный конечной суммой , в которой — различные целые числа, и пусть — вектор, содержащий значения в равноотстоящих точках между и (пример 5.8.3). Используя дискретное преобразование Фурье, докажите, что
Формула (5.8.7): .
Пусть — произвольный скаляр, и пусть и . Докажите, что .
Пример 5.8.4: если , то .
Примените алгоритм БПФ к вектору , а затем проверьте, что ваш ответ согласуется с результатом, полученным непосредственным вычислением .