Многоме́рное дискре́тное преобразова́ние Фурье́ (МДПФ), применяется к массиву комплексных чисел с целочисленным мультииндексом i=(i1,i2,…,im), пробегающим множество [0,n1)×[0,n2)×…×[0,nm) мощности n=n1n2…nm, и вычисляет массив того же вида. МДПФ зависит от выбора нескольких параметров w1,w2,…,wm, являющихся первообразными корнями из единицы степеней n1,n2,…,nm соответственно, и при m>1 задаётся формулой ДПФn1,n2,…,nm,w1,w2,…,wm:xj1j2…jm↦yi1,i2,…,im=j1=0∑n1−1j2=0∑n2−1…jm=0∑nm−1w1i1j1w2i2j2…wmimjmxj1j2…jm,
где i1=0,1,…n1−1;i2=0,1,…,n2−1;...;im=0,1,…,nm−1.
В большинстве публикаций в этой формуле фиксируются первообразные корни вида wk=e−2πi/nk =cos(–2π/nk)+isin(–2π/nk),k=1,2,…,m.MДПФ может быть получено многократным применением одномерных дискретных преобразований Фурье размеров n1,n2,…,nm. При использовании быстрого преобразования Фурье для вычисления всех необходимых одномерных дискретных преобразований Фурье вычисление МДПФ может быть проведено путём выполнения O(nlog2n) арифметических операций над комплексными числами, где n=n1n2…nm.
Преобразование, обратное к ДПФn1,n2,…,nm,w1,w2,…,wm, даётся формулой n1n2…nmДПФn1,n2,…,nm,wˉ1,wˉ2,…,wˉm,где надчёркивание означает комплексное сопряжение.
Аналогично одномерному случаю могут быть определены многомерные теоретико-числовые дискретные преобразования Фурье. Такие преобразования используются в алгоритмах быстрого умножения n-значных двоичных чисел, в том числе в опубликованном в 2021 г. рекордном алгоритме, выполнимом путём проведения O(nlog2n) битовых операций.
В случае n1=n2=…=nm=2 МДПФ порядка (2,2,2,…,2) совпадает с известным преобразованием Уолша – Адамара.
Кушниренко Анатолий Георгиевич