Применение быстрого преобразования Фурье для решения сверточных уравнений на диэдральных группах Текст научной статьи по специальности «Математика»

УДК 517.9 ёш: 10.17238/^п2227-6572.2015.3.97

дЕундяк Владимир михайлович, кандидат физико-математических наук, доцент кафедры алгебры и дискретной математики института математики, механики и компьютерных наук имени И.И. Воровича Южного федерального университета (г. Ростов-на-Дону). Автор 220 научных публикаций

леоноВ дмитрий Александрович, магистрант второго года обучения по специальности «Математика» института математики, механики и компьютерных наук имени И.И. Воровича Южного федерального университета (г. Ростов-на-Дону)

применение быстрого преобразования фурье для решения сверточных уравнений на диэдральных группах

Метод Фурье на коммутативных группах давно применяется во многих областях математики, физики и технических наук. В настоящее время растет применение этого метода и для некоммутативных групп: в частности, в области анализа ранжированной информации, при разработке методов помехоустойчивого кодирования, в теории и практике сетей передачи данных, при анализе изображений, в задаче дифракции на телах с некоммутативной группой симметрий. Особый интерес представляет разработка быстрого преобразования Фурье, позволяющего значительно ускорить решение практически важных задач. Но по сравнению с коммутативным случаем построение быстрого преобразования Фурье для некоммутативных групп существенно затрудняется из-за сложного строения дуальных объектов групп, в терминах которых это преобразование конструируется. Разработка эффективных алгоритмов быстрого преобразования Фурье и алгоритмов, оптимизированных под различные компьютерные архитектуры, для некоммутативных групп интенсивно ведется и в настоящее время. В данной статье исследуется метод Фурье решения свер-точных уравнений на диэдральных группах Бт. Построено быстрое преобразование Фурье на диэдральных группах на основе редукции к быстрому преобразованию Фурье на циклических группах, получены явные численные формулы для прямого и обратного преобразований. На основе доказанных формул разработан эффективный алгоритм решения сверточных уравнений на диэдральных группах со сложностью 0(т\о%т), где т - порядок максимальной циклической подгруппы диэдральной группы. Полученные теоретические результаты позволили на основе использования языка программирования С# разработать программную реализацию численного метода решения сверточных уравнений на произвольной группе От. В заключение приведены результаты численных экспериментов.

ключевые слова: диэдральная группа, сверточные уравнения, метод Фурье, быстрое преобразование Фурье.

© Деундяк В.М., Леонов Д.А., 2015

Быстрое преобразование Фурье (БПФ) построено в 1965 году в [1], после чего появилось много различных алгоритмов и модификаций БПФ для циклической группы Хп и других коммутативных групп. Для некоммутативных групп G построение БПФ существенно труднее из-за более сложного строения дуальных объектов О по сравнению с коммутативным случаем. В 1978 году приведен один из первых примеров БПФ для некоторых некоммутативных групп [2]. Затем были созданы такие алгоритмы для разрешимых групп [3], некоторых конечных групп [4], [5], а также суперразрешимых некоммутативных групп [6]. Разработка более эффективных алгоритмов БПФ для различных классов некоммутативных групп активно ведется и сейчас.

Метод Фурье на некоммутативных группах имеет широкое применение [7]. В частности, в области анализа ранжированной информации [8], при разработке методов кодирования [9] и сетей передачи данных [10]. Диэдральные группы используются для создания фильтров и анализа изображений [11]; Р.П. Тарасов и И.А. За-городнов применяли метод Фурье в задаче дифракции на телах с некоммутативной группой симметрий и, в частности, с диэдральной группой [12].

Целью настоящей работы является разработка и программная реализация алгоритма быстрого преобразования Фурье на диэдраль-ной группе Вт, решение на этой основе свер-точных уравнений и проведение численных экспериментов.

В разделе 2 приводятся необходимые сведения о сверточных уравнениях и преобразовании Фурье на конечных некоммутативных группах. В разделе 3 представлены разработанный и программно реализованный алгоритм быстрого преобразования Фурье на диэдральной группе и созданный на этой основе представлен метод решения уравнений в свертках на группе Вт. В разделе 4 приводятся результаты численных экспериментов и рассматривается вопрос о сложности.

Сверточные уравнения и преобразование Фурье на конечных некоммутативных

группах. На произвольной конечной группе G введем атомарную меру и рассмотрим пространство комплексных функций Ьр(О) при 1 < р < га с нормой

I №11 р

Х1ф(* )|

1

\ — р р

\к еО

В конечномерном линейном пространстве все нормы эквивалентны [13, с. 202], поэтому все пространства Ь(О) при 1 < р < ^ изоморфны. Левая свертка и правая свертка функций ф и у из Ь1(О) обозначаются ф* у и ф*г у соответственно и определяются формулами:

(ф* у) (у) = X Ф ( у х—1) У (х) -(ф* у) ( у )=

хеО

= Хф( х- У )у( х) > У еО.

хеО

Оператор левой свертки (ОЬ1 (О)

определяется равенством

(С°/)(У) = (а */ /)(У) ,У еО.

Аналогично определяется оператор правой свертки Саг) :

(СV)(У) = (а* /)(У),У еО.

В случае коммутативной группы операторы левой и правой свертки совпадают.

На циклической группе 2п преобразование Фурье F : Ь2(1п)^Ь2(1п)) определяется равенством

п—1 . 2жк/

(Р(/))(к) = X/(I)е' п , к, I е 2п

/=0

[14, с. 188], а обратное преобразование Фурье Р-1 действует по формуле

1 п—1 —.2рк/

(Р—1 (/))(1) = 1X/(к)е, к, I е 2^

п к=0

Для задания преобразования Фурье на произвольной конечной группе О понадобят-

ся дополнительные конструкции из теории представлений [14]. Далее будем рассматривать линейные представления группы G в линейном пространстве С", т. е. гомоморфизмов G в группу невырожденных матриц GL(n, С). Представление в группу унитарных матриц и(") называется унитарным. Если в пространстве С" представления Т есть подпространство, инвариантное относительно всех Т(^), g е G, то говорят, что представление Т приводимо. В противном случае представление называется неприводимым. Характером группы G называется произвольный гомоморфизм этой группы в мультипликативную группу 5"1 = {г е С:|г| = 1}. Характер хТ конечномерного представления Т группы G определяется с помощью следа:

Хт (g) = * (Т (g)).

Представления Т, Т' называются эквивалентными, если существует такая обратимая матрица Q, что Т(g) = Q^T'(g)Q для любого g е G. Множество классов эквивалентности унитарных неприводимых представлений группы G обозначают (3 и называют дуальным объектом группы 3. Если группа 3 коммутативна, то дуальный объект является группой и все неприводимые унитарные представления одномерны. В некоммутативном случае дуальный объект для группы 3 не является группой, и построить его труднее [15, с. 10-11]. Если группа 3 конечна, то и дуальный объект <3 конечен, и мы зададим на нем атомарную меру.

Далее в вычислениях вместо класса эквивалентности а е <3 будем при необходимости, как обычно, использовать фиксированное представление из этого класса. Множество таких фиксированных представлений обозначим <3 , и для функций уеЬ2 (<) вместо У (а) будем писать у(р), где р = ап° . Прямое преобразование Фурье F: Ь2 (3) ^ Ь2 (<3) определяется следующим образом [5, с. 32]:

}(р) = (Е(/))(р) = ^/(х)р(х),реа е3, (2.1)

а обратное Ь2 (3) ^ Ь2(3) задается равенством

У (х) = (F-1 (g))(х) = ± £ ^ (у(р)р( х")),

|°| реС?

х е 3, (2.2)

где dp - размерность неприводимого представления р. (Здесь и далее для произвольного конечного множества X через

1X1 будем обозначать его мощность.)

Теперь рассмотрим уравнение

а *ф = Ь0, а, Ь еЬ2 (3), (2.3)

относительно неизвестной феL2 3). Имеет место следующий аналог известного утверждения о существовании решения сверточного уравнения для случая коммутативных групп.

Лемма. Сверточное уравнение (2.3) имеет решение для любой правой части Ь0 тогда и только тогда, когда для всех ре33 выполняется

(F(а))(р)*

Доказательство. Подействуем на обе части уравнения (2.3) преобразованием Фурье и воспользуемся свойством преобразования Фурье относительно свертки [5, с. 40]:

(Е(а))(р).(Е(Ф))(р) = (Е(Ьо))(р),ре 3.

Если (Е(а))(р) = 0 для какого-то ре3? , то правая часть (Е (Ь0 ))(р) тоже должна быть равна нулю и уравнение неразрешимо для произвольной правой части Ь0.

Обратно, если значение (Е (а ))(р) для всех ре3? отлично от нуля, тогда

Е (Ф) =( Е (а ))"1 Е (Ьо) и можно подействовать обратным преобразованием Фурье и получить решение уравнения (3):

Ф = Е "1(( Е (а))"1 Е (Ьо )).•

Нахождение неизвестной функции ф уравнения (2.3) с помощью преобразования Фурье состоит из 3 шагов:

1) подействуем на уравнение (2.3) преобразованием Фурье:

Р (а)-Р (ф) = Р (Ьо);

2) умножим полученное уравнение слева на обратный элемент к (Р(а))(х):

Р (ф) =( Р (а))—1Р (Ьо);

3) воспользуемся обратным преобразованием Фурье и найдем ф:

ф = Р-1(( Р (а))—1 Р (Ьо)).

Эта схема решения сверточного уравнения хорошо известна и широко применяется для абелевых групп. Для некоммутативных групп она становится сложнее из-за того, что для каждой группы нужно находить неприводимые представления и строить свой дуальный объект [15, с. 64].

БПФ на диэдральной группе В . Пусть Ат - правильный т-угольник с центром в начале координат. Диэдральной группой Вт называют группу линейных преобразований плоскости, состоящую из тождественного преобразования, поворотов плоскости на углы 2р/т,2-2р/т,...,(т — 1)-2р/т и симметрий относительно осей симметрий А т.

Легко видеть, что группа Вт является группой с двумя образующими а и Ь, где а имеет порядок т, Ь имеет порядок 2 и выполняется соотношение Ьас1 = ат-1, т. е. В = {е, а,..., ат-1,

т

Ь, аЬ,..., ат-1Ь}, и |Вт| = 2т [15, с. 68].

Для группы Вт следует различать случаи четного и нечетного т. Для четного т группа Вт имеет ровно 4 характера: Х1,Х2,Х3,Х4, которые определяются следующими условиями: Х1 (ак) = 1 и Х1 (акЬ) = 1, Х2 (ак) = 1 и Х2 (акЬ) = —1,

Хз (ак) = (—1)к и Хз (акЬ) = (—1)к, Х4 (ак) = (—1)к

и Х4 (акЬ) = (—1)к+1, где к е 2т. В случае нечетного т группа Вт имеет 2 характера: х1 и х2, которые определяются по таким же формулам,

которые приведены выше. Так как группа Вт некоммутативная, то она должна иметь неприводимые унитарные представления размерности больше 1. Пусть а - примитивный корень

т-й степени из единицы, например а = ет . Тогда представления и И , где И = 1,2,...,(т -

а."

-1)/2 при нечетном т и И = 1, 2, ..., (т - 2)/2 при четном т, определяемые формулами:

иа" (а7 ) =

И(т—1) ]

и а" (Ьа ]) =

%И(т—1)] \ 0

(3.1)

являются неприводимыми, попарно неэквивалентными и унитарными [15, с. 69].

Пусть ок - класс эквивалентности унитарных представлений группы Вт, содержащий представление и к . Если т - нечетно, то двойственный объект для Вт состоит из 2 характе-т — 1 т

ров ХР Х2 и

элемента о1, а 2

т—1, т. е.

2

®т= |Х1-Х2-а1-а2-если т - четно, то двойственный объект для Вт состоит из 4 характеров х1, Х2, Х3, Х4 и т—2 элемента а1, а 2-. -а т_2, т. е.

2

2

В„.

!Х1> Х2 - Х3 - Х4 - а1' а2' ат—2

[15, с. 74].

Для построения быстрого преобразования Фурье занумеруем элементы группы Вт следующим образом:

где

0 < к<т

и

ёк =а -

а = ак шоё тЬ к

где т < к< 2т .

Теорема 1. Пусть Вт - диэдральная группа и Вт - двойственный объект для Вт, Вт - множество представлений группы, каждое из которых соответствует классам эквивалентности а е В , тогда преобразование Фурье функ-

2

ность преобразования Фурье на диэдральной группе Эт равна О(т^т).

Доказательство. Формула (3.2) вытекает из формулы прямого преобразования Фурье для одномерных представлений Х е От, где (2.1) и нумерации элементов группы, приве-

ции f е L2 (G) вычисляется по формуле

m—1

f (Xi) - I f(gk )Xi (gk) (32)

I = 1, 2 в случае нечетного т и I = 1, 2, 3, 4 в случае четного т, и по формуле

2гакИ 2яйИ \

/v / \ m—1

f Uа» ) - I

k=0

f (gk) e

f ( gk+m ) e

f (gk+m

f (gk) e -

для двумерных неприводимых унитарных пре-

2pi } m

дставлении и h еDm, где а = em и h = 1,2

m — 2

денной перед теоремой. Количество операций умножения, требуемое для вычисления преобразования Фурье функции / для одномерных (3.3) представлений составляет О(т).

Рассматривая формулу (2.1) прямого преобразования Фурье функции / для двумерных представлений и И е Г)т группы О , при т "1--------т -1 а ,,„тт - 2

пРи h = 1,2

при нечетном m и h = 1,2,...,-

нечетном m и h = 1, 2,

2

при четном т. Слож- при четном т получаем:

f К» ) - (^ ( f ))(Uah ) - I f ( - )Uah ( X) - £ f ( gk )

ieD. k=0

( 2pikh e m

0

2pikh

2m—1 ' 2pikh л 0 e m 2p ikh r m—1 2pikh I f (gk)e m 2m—1 2nikh Л I f (gk) e m

If (g k) = k=0 2m—1 2pikh k=m m—1 2pikh

k=m Ke m 0 y I f (g k) e ^ k=m I f (g k) e ^ k=0 У

Сделаем замену

2m—1 2pikh m—1 2pi (k+m) h m—1

I f (gk) e m - I f (gk+m) e m =I f (gk+m У

2pikh

k=m

k=0

k=0

2

2

Тогда

f (Uah

£ f ( g k ) '

2pikh

I f ( gk+m ) e

2pikh Л

k=0 m—1

k=0

2pikh m—1

I f ( g k+m ) e

k=0

m—1

f (Uah ) - I

2pikh

I f (gk) e

k=0

2pikh

2pikh \

/ (gk) е т / (gk+m) е т

2ткк 2ткИ

ч / (gк+т) е / (gk) е у Когда И меняется от 0 до т - 1, то в каждой ячейке матрицы записано преобразование Фурье для циклической группы Zm. Таким образом, для того, чтобы получить быстрое преоб-

разование Фурье для диэдральной группы От, нужно применить быстрое преобразование Фурье для Zm для каждого элемента матрицы. Сложность одного быстрого преобразования Фурье для Zm составляет О(т^т) [1], получаем, что сложность преобразования Фурье для диэдральной группы От составит 0(m\ogm) , где т - порядок максимальной циклической подгруппы группы От. •

Теорема 2. Пусть Бт - диэдральная группа и Г)т - двойственный объект для О С>т -множество представлений О каждое из которых соответствует классам эквивалентности

ае В.

, фе^2 (О)

и

ф

(иа" ) =

ак (0) а" (1)'

аи(2) а"(3)

и„" е От,

/ 10 т —1

где " = 1,2,.- при нечетном т и

" = 1,2,

т — 2

при четном т. Тогда: 1) обратное

преобразование Фурье функции ф е Ь2 (О), ког -да т произвольное нечетное, вычисляется по формулам:

ф (ёк) = 2т

ф(Х1) + ф(х2) + 2Х а, (0)е" т + а, (3)е"

2жйЛ\

- Х1-Х 2 е Вт

(3.4)

при 0 <к <т и

ф (ёк) = 2т

т—1

2 ( 2ж'кк

2ж'к" \

ф(Х1) —ф(Х2) + 2Х а" (1)е т +а" (2) е

- Х1-Х 2 е Вт

при т < к< 2т;

2) для произвольного четного т:

ф (ёк) = 2т

2ж'к" \

ф(Х1) + ф(Х2) + (—1)кф(Хз) + (—1)кф(Х4) + 2X ак (0)е т + ак (3)е

"=1

(3.5)

(3.6)

где Х1-Х2-Хз-Х4 еВт, при 0<к<т и

ф (ёк) = 2т

т—2

2 ( 2ж'к"

\

2ж'к" \

ф(Х1) —ф(Х2) + (—1)кф(Хз) + (—1)к+1ф(Х4) + 2X ак (1)е т +ак (2)е

"=1

(3.7)

где Хр Х2- Хз- Х4 е £)т , при т < к < 2т. Слож- ции ф е 12(О) для случая нечетного т и пре-

ность обратного преобразования Фурье на диэ- образуем ее:

дральной группе Вт равна О(т^т). 1

Д°казательств°. рассмотрим формулу ф(gk) = (Р-1 (ф))(gk) = -г—^ X dptr(ф(р)р(gkk1)) =

обратного преобразования Фурье (2.2) функ- ' ■ ~

т I ре|Вт

1

2т

т—1

2

dXltr (ф(Х1 )Х1 (Я*" )) + ^ (ф(Х2 )Х2 (Я*" )) + X ^ " ^ (ф^ )иаи (

"=1 а

_1_ 2т

ф(Х1) + ф(Х2) + 2 *г

а (0) а1 (1)

,а1 (2) а1 (з)

( 2ж'к \

е т 0

2ж'к

0 е т

2гг

' )

а2 (0) а2 (1) а2 (2) а2 (з)

( 2ж'к-2 Л

е т 0

2ж'к-2

0 е т

' )

. + 2tr

«md (0) «m-1 С1)

2 2

«m-1 (2) «m-± (3)

V 2 2

i „ , m-1 2nik-

2nik-

1

2m

v 2pikh

2pikh\

j(Xi ) + j(x2) + 2^ «h (0)e" m +ah (3)e~

Xi> X 2 e Dm

где 0 <k<m . При m < k<2m получаем

j ( gk ) - ( ^-1 (j))( ^ k ) - ï^ E dptr (j(p)p( g k-1 )) =

m I pe[Dm

1

2m

m-1 2

dX1tr (j(X1 )X1 ( g,-1 )) +dX2tr (j(X 2 )X 2 ( g,-1 )) + E dU h tr (j(U)U„* ( gk_1 ))

/

J_ 2m

j(X1 )-j(X2 ) + 2tr

«1 (0) «1 (1)' «1 (2) «1 (3)

2pik \ Л

0 e

2pik

0

+ 2tr

; ;

«2 (0) «2 (1)' «2 (2) «2 (3)

2nik-2 \\

0 e

2pik-2

+ ...

//

. + 2tr

«m-1 (0) «m-1 (1)

2 2

«m-1 (2) «m-1 (3)

V 2 2 У

2%ik-

2pik

0 e

m-1

1

2m

V 2p ikh

\

2pikh \

j(X1 )-j(X2 ) + 2E «h (!) e m +«h (2) e

X1 > X 2 e Dm

Таким образом, получаем формулу обратного преобразования Фурье на диэдральной группе для произвольного нечетного m:

m-1

j ( ^) = 2m

при 0 <k < m и

\

2pikh

2pikh \

j(X1 ) + j(X2 ) + 2E «h (0)e m +«h (3)e

h=1

j ( **)=2m

2pikh

2pikh Л

j(X1 )-j(X2) + 2E «h (1)e m +«h (2)e

h=1

X1 > X 2 e Dm

X1 > X2 e Dm

при m < k< 2m.

Для четного т формула немного изменится, ла для четного т выводится аналогичным об-т. к. вместо 2 появляются 4 характера. Форму- разом:

ф (^)= 2т

при 0<к<т и

\

ф(х)+ф(%2)+(-1)кф(хз)+(-1)кф(х4)+2X а(0)* т (3)*

к=1

2шкк

2Щкк \

ф (^) = 2т

ф(х)-ф(%2)+(-1)кф(хз)+(-1)к+1ф(х4)+2X а(1)*т (2)*

2гакк \

при т < к< 2т. Когда к меняется от 0 до т - 1 и от т до 2т - 1, то в формулах (1)-(4) записаны прямое и обратное преобразования Фурье для циклической группы Zm. Таким образом, для того чтобы получить быстрое обратное преобразование Фурье для диэдральной группы Вт, нужно применить быстрое преобразование Фурье для циклической группы Zm 4 раза. Сложность обратного преобразования Фурье для диэдральной группы Вт составит O(mlogm), где т - порядок максимальной циклической подгруппы группы Вт. •

Численные эксперименты. Алгоритм решения сверточного уравнения на конечной группе, приведенный в конце раздела 2, состоит в применении прямого и обратного преобразований Фурье (ПФ), а также поточечного умно-

жения на вектор. В разделе 3 для диэдральной группы Вт разработан алгоритм быстрого преобразования Фурье (БПФ), сложность которого О(т^т). В силу теорем 1, 2, сложность решения сверточного уравнения на Вт при использовании построенного алгоритма составляет О(т^т). В работе построено программное средство для решения сверточного уравнения на Вт, проведены эксперименты и проанализирована зависимость времени работы программы от мощности группы (МГ).

Результаты экспериментов представлены в табл. 1 и 2, при этом табл. 1 содержит диапазон мощностей групп от 100 до 800, а табл. 2 - от 1000 до 2000. В первой строке таблицы указано время работы программы решения сверточ-ного уравнения на группе В с использованием

ДИАПАЗОН МОЩНОСТЕЙ ГРУПП ОТ 100 ДО 800

Таблица 1

№ 1 100 200 300 400 500 600 700 800

1 г (БПФ, Бт) 0.009 0.013 0.022 0.0223 0.0235 0.042 0.0425 0.043

2 * (БПФ ^ 0.005 0.0079 0.015 0.0153 0.0155 0.0318 0.033 0.035

3 г (П^ ^т) 0.042 0.043 0.074 0.138 0.205 0.318 0.439 0.517

4 г (МГ, Вт) 0.023 0.153 0.37 0.885 1.754 4.086 4.75 9.891

Таблица 2

ДИАПАЗОН МОЩНОСТЕЙ ГРУПП ОТ 1000 ДО 2000

№ 2 |G| 1000 1200 1400 1600 1800 2000

1 t (БПФ, Dm) 0.046 0.086 0.087 0.091 0.095 0.098

2 t (^ Z2m) 0.032 0.061 0.062 0.063 0.064 0.068

3 t № Z2m) 0.881 1.179 1.604 2.213 2.64 3.25

4 t (МГ, Dm) 14.095 24.347 38.688 78.98 129.115 193.516

БПФ. Для сравнения во второй строке указано время работы аналогичной программы на циклической группе Z2m (описание метода для БПФ на циклических группах содержится в [1]). Численные результаты показывают, что время работы алгоритма для неабелевой группы Вт не существенно отличается от времени работы для рав-номощной ей абелевой группы Z2m. Однако полученные численные результаты демонстрируют преимущество решения сверточного уравнения с применением БПФ, перед обычным преобразованием Фурье (ПФ) (см. (2.1), (2.2)) и методом Гаусса (МГ). Соответствующие результаты экспериментов приведены в 3 и 4 строках таблиц.

Численные эксперименты проводились на ОС Windows 7 Professional, Service Pack 1, 64bit, процессор Intel Core 2 Quad CPU Q6600 2.40GHz, ОЗУ 4.00 Gb. Программное средство реализовано с помощью языка программирования C#.

Заключение. На диэдральной группе Dm Dm построено быстрое преобразование Фурье. Разработана программная реализация численного метода решения сверточных уравнений на произвольной диэдральной группе Dm ( m > 3 ) с применением построенного быстрого преобразования Фурье и приведены результаты численных экспериментов.

Список литературы

1. Cooley J.W., Tukey J.W. An Algorithm for Machine Calculation of Complex Fourier Series // Mathematics of Computation. 1965. Vol. 19, № 90. P. 297-301.

2. Willsky A. On the Algebraic Structure of Certain Partially Observable Finite-State Markov Processes // Information and Control. 1978. Vol. 38. P. 179-212.

3. Beth T. On the Computational Complexity of the General Discrete Fourier Transform // Theor. Comp. Sci. 1987. Vol. 51. P. 331-339.

4. Clausen M. Fast Generalized Fourier Transforms // Theor. Comp. Sci. 1989. Vol. 67, № 1. P. 55-63.

5. Diaconis P., Rockmore D. Efficient Computation of Fourier Inversion for Finite Groups // J. of the ACM. 1994. Vol. 41, № 1. P. 31-66.

6. Baum U. Existence and Efficient Construction of Fast Fourier Transforms for Supersolvable Groups // Computational Complexity. 1991. Vol. 1. P. 235-256.

7. Brigham E. The Fast Fourier Transform and its Applications. Prentice Hall, Upper Saddle River, NJ, USA, 1988.

8. Diaconis P. Group Representations in Probability and Statistics. IMS, Hayward, CA, 1988.

9. Lafferty J., Rockmore D. Codes and Iterative Decoding on Algebraic Expander Graphs // Proceedings of International Symposium on Information Theory and its Application, Honolulu, November 5-8 2000. Honolulu, Hawaii, USA, 2000.

10. Rockmore D. Recent Progress and Applications in Group FFTs // Computational Noncommutative Algebra and Applications. 2004. Vol. 136. P. 227-254.

11. Leinz R. Using Representations of the Dihedral Groups in the Design of Early Vision Filters. Kyoto, 1993.

12. Загородное И.А., Тарасов Р.П. Задача дифракции на телах с некоммутативной конечной группой симметрии и численное ее решение // Журн. вычисл. математики и матем. физики. 1997. Т. 37, № 10. С. 12461262.

13. Глазман И.М., Любич Ю.И. Конечномерный линейный анализ в задачах. М., 1969.

14. Кириллов А.А. Элементы теории представлений. М., 1978.

15. Хьюитт Э., Росс К. Абстрактный гармонический анализ. Т. 2. М., 1975.

References

1. Cooley J.W., Tukey J.W. An Algorithm for Machine Calculation of Complex Fourier Series. Mathematics of Computation, 1965, vol. 19, no. 90, pp. 297-301.

2. Willsky A. On the Algebraic Structure of Certain Partially Observable Finite-State Markov Processes. Information and Control, 1978, vol. 38, pp. 179-212.

3. Beth T. On the Computational Complexity of the General Discrete Fourier Transform. Theor. Comp. Sci., 1987, vol. 51, pp. 331-339.

4. Clausen M. Fast Generalized Fourier Transforms. Theor. Comp. Sci., 1989, vol. 67, no. 1, pp. 55-63.

5. Diaconis P., Rockmore D. Efficient Computation of Fourier Inversion for Finite Groups. J. of the ACM, 1994, vol. 41, no. 1, pp. 31-66.

6. Baum U. Existence and Efficient Construction of Fast Fourier Transforms for Supersolvable Groups.

Computational Complexity, 1991, vol. 1, pp. 235-256.

7. Brigham E. The Fast Fourier Transform and its Applications. NJ, USA, 1988.

8. Diaconis P. Group Representations in Probability and Statistics. Hayward, USA, 1988.

9. Lafferty J., Rockmore D. Codes and Iterative Decoding on Algebraic Expander Graphs. Proceedings of International Symposium on Information Theory and its Application, Honolulu, November 5-8, 2000. Honolulu, Hawaii, USA, 2000.

10. Rockmore D. Recent Progress and Applications in Group FFTs. Computational Noncommutative Algebra and Applications, 2004, vol. 136, pp. 227-254.

11. Leinz R. Using Representations of the Dihedral Groups in the Design of Early Vision Filters. Kyoto, 1993.

12. Zagorodnov I.A., Tarasov R.P. Zadacha difraktsii na telakh s nekommutativnoy konechnoy gruppoy simmetriy i chislennoe ee reshenie [The Problem of Diffraction on Bodies with Non-Commutative Finite Group of Symmetries and Numerical Solution]. Zhurnal Vychislitel'noiMatematiki iMatematicheskoi Fiziki, 1997, vol. 37, no. 10, pp. 1246-1262.

13. Glazman I.M., Lyubich Yu.I. Konechnomernyy lineynyy analizvzadachakh [Finite-Dimensional Linear Analysis in the Problems]. Moscow, 1969.

14. Kirillov A.A. Elementy teoriipredstavleniy [Elements of Theory of Representations]. Moscow, 1978.

15. Hewitt E., Ross K. Abstract Harmonic Analysis. Vol. 2. Heidelberg, 1970.

Deundyak Vladimir Mikhaylovich,

Institute of Mathematics, Mechanics and Computer Science named after I.I. Vorovich, Southern Federal University (Rostov-on-Don, Russia)

Leonov Dmitriy Aleksandrovich,

Institute of Mathematics, Mechanics and Computer Science named after I.I. Vorovich, Southern Federal University (Rostov-on-Don, Russia)

FAST FOURIER TRANSFORM FOR SOLUTION OF CONVOLUTION EQUATIONS

ON DIHEDRAL GROUPS

Fourier method has been used for a long time in many fields of mathematics, physics and engineering sciences on commutative groups. At present time this method is used for non-commutative groups: in the analysis of ranked data, in developing of methods for Error Control Coding, in DTN theory and

practice, in the imaging analysis, in the problem of diffraction on bodies with non-commutative symmetry group. The development of the fast Fourier transform that can significantly speed up the solution of important practical problems is of particular interest. But in comparison with the commutative variant the construction of the fast Fourier transforms for non-commutative groups is more difficult because of the complexity of the dual objects group in terms of which this transformation is constructed. Development of efficient fast Fourier transform algorithms and algorithms optimized for different computer architectures for non-commutative groups is intensively conducted currently. This paper studies Fourier method of solution of convolution equations on dihedral groups Dm . The fast Fourier transform on dihedral groups on the basis of reduction to the fast Fourier transform on the cyclic groups is built, the explicit numerical formulas for forward and inverse transformations are obtained. On the basis of proved formulas an effective algorithm has been developed for solution of convolution equations on dihedral groups with complexity O(mlogm), where m is the order of maximal cyclic subgroup of the dihedral group. Obtained theoretical results allowed us on the basis of the programming language C# to develop a software implementation of the numerical method for solution of convolution equations on arbitrary group Dm . The results of numerical experiments are presented in the paper.

Keywords: dihedral group, convolution equations, Fourier method, fast Fourier transform.

Контактная информация: Деундяк Владимир Михайлович адрес: 344090, г. Ростов-на-Дону, ул. Мильчакова, д. 8;

e-mail: vlade@math.rsu.ru Леонов Дмитрий Александрович адрес: 344090, г. Ростов-на-Дону, ул. Мильчакова, д. 8;

e-mail: tori_92@inbox.ru