CC BY
10
ИНФОРМАТИКА
УДК 519.72
V w www
Троичным дискретным веивлетныи
базис
М. С. Беспалов
Беспалов Михаил Сергеевич, доктор физико-математических наук, профессор кафедры функционального анализа и его приложений, Владимирский государственный университет имени Александра Григорьевича и Николая Григорьевича Столетовых, Россия, 600000, г. Владимир, ул. Горького, д. 87, bespalov@vlsu.ru
Приведены дискретный вариант и основная конструкция троичного кратномасштабного анализа, аналогичная двоичному модельному случаю кратномасштабного анализа Хаара. На основе построенного базиса предложен алгоритм, аналогичный быстрому преобразованию Хаара. Приведены типичные примеры вычислений.
Ключевые слова: дискретный гармонический анализ, дискретное преобразование Хаара, вейвлет, сжатия и сдвиги, кратномасштабный анализ.
Поступила в редакцию: 06.05.2019 / Принята: 31.12.2019/ Опубликована: 31.08.2020
Статья опубликована на условиях лицензии Creative Commons Attribution License (CC-BY4.0)
DOI: https://doi.org/10.18500/1816-9791-2020-20-3-367-377 ВВЕДЕНИЕ
Простейшее дискретное преобразование Хаара (ДПХ) представляет собой линейный оператор в R2 с матрицей H:
H [с]
1
1 -1
'а + Ь
^а — b,
Восстановление сигнала с = (а Ь) е М2 выполняется с помощью оператора 2Н, вычисляющего полусуммы и полуразности.
Переход к ДПХ соответствует замене стандартного базиса {(1 0), (0 1)} в М2 на хааровский базис {(1 1), (1 — 1)}. В терминах теории всплесков [1] первый из элементов хааровского базиса играет роль масштаби-
рующего сигнала, а второй — материнского. Дискретный аналог хааровского базиса в RN для N = 2n построен в [2], где конструкция двоичных сжатий и сдвигов перенесена на дискретные функции.
Троичное обобщение этой модельной конструкции проведем на основе дискретных периодических функций Бернулли (будем их называть сигналы Бернулли), введенных в [3] и подробно исследованных в [4]. В отличие от функциональной формы записи, принятой в [5], будем использовать векторную форму, взяв за основу обозначения в пособии [6].
Элементы стандартного базиса в R3 обозначим символами ô = (10 0) дельта-сигнала и его круговых сдвигов ô^ = (0 1 0), ô2^ = (0 0 1), а вейвлетный неортогональный базис обозначим символами
S = (111), A = (-10 1), A^ = (1 - 10).
Обозначим R3 подпространство R3 сигналов x = (abc), удовлетворяющих условию центровки
a + b + c = 0.
Аналогично для подпространств большей размерности нижний индекс 0 означает выполнение условия центровки векторов в виде равенства нулю суммы координат. Итак, векторы A и A^ составляют базис в R3. Разложение вектора y = (а в y) £ R3 по вейвлетному базису
олл^ а + в + Y
y = Со S + Cl A + C2A , Со =-3-, Cl = Y - Со, C2 = Со - в.
Эти простейшие формулы разложения лежат в основе дальнейшей детализации сигналов с построением троичных сжатий и сдвигов.
Предложенный вариант троичного базиса с материнским вейвлетом A = (-101) в виде сигнала Бернулли минус первого порядка легко по аналогии распространяется на случай большей размерности, так как в [4] установлено, что набор из p-1 сдвигов любого сигнала Бернулли на сетке с p отсчетами составляет базис пространства R0.
Задача поиска базиса аналогичного подпространства, состоящего из материнских ортогональных функций, в p-ичном случае сформулирована и решена Ю. А. Фар-ковым [7]. В последующих публикациях, начиная с [8], занимались поиском условий на масштабирующие функции. Из них выделим статью С. Ф. Лукомского [9], где приводится в других обозначениях ортогональный вариант вейвлетного базиса (1 1 1), (-1 0 1), (1 - 2 1) с сигналами Бернулли минус первого и второго порядка [4] в качестве пары материнских сигналов. В данной статье мы выбрали другой подход, так как этот вариант при переходе к большим размерностям влечет существенное усложнение формул. Как пример направления исследований, усложняющих конструкцию, приведем статью [10], где в двоичном случае идет поиск нескольких масштабирующих функций.
Целью исследований служит подготовка аппарата для цифровой обработки сигналов. В этом направлении отметим статьи [11,12], где прослеживается тенденция к изложению материала в терминах дискретных функций, которое в данной статье реализовано в векторных обозначениях.
1. МАСШТАБИРОВАНИЕ ПРОСТЕЙШЕГО ВЕЙВЛЕТНОГО БАЗИСА
В случае n = 2 имеем пространство R9 и его подпространство R0. Базовые функции в векторной форме определяются с помощью операции кронекерова произве-
дения 0 векторов. Предложим следующую их нумерацию, которую далее перенесем на общий случай:
Уо = 1 = ^ 0 5 = (111111111), У1 = А 0 5 = (-1 - 1 - 1 0 0 0 1 1 1), у2 = А^ 0 5 = (1 1 1 - 1 - 1 - 1 0 0 0), Уз = 5 0 А = (-1 0 1 0 0 0 0 0 0), у4 = 5 0 А^ = (1 - 1 0 0 0 0 0 0 0), У5 = 0 А = ( 0 0 0 - 1 0 1 0 0 0), уб = 0 А^ = ( 0 0 0 1 - 1 0 0 0 0), У7 = 52^ 0 А = (0 0 0 0 0 0 - 1 0 1), у8 = 52^ 0 А^ = (0 0 0 0 0 0 1 - 1 0).
Для исходного вектора х = (хо х Х2 Хз Х4 Х5 Хб Х7 Х8) £ М9 коэффициенты разложения находим по следующему правилу:
Уо = 3(Х0 + Х1 + Х2), У1 = 3(хз + Х4 + Х5), У2 = ^(Хб + Х7 + Х8); Сз = Х2 - Уо, С4 = Уо - Х1, С5 = Х5 - У1, Сб = У1 - Х4, С7 = Х8 - У2, С8 = У2 - Х7; Со = 3(Уо + У1 + У2); С1 = У2 - Со, С2 = Со - У1.
Отсюда получаем разложение исходного вектора по базису
8
Х = ^2 Сз У3, 3=о
последовательное вычисление частных сумм которых реализуется в виде последовательной прорисовки деталей, что аналогично ситуации для хааровского вейв-летного базиса.
В общем случае построение троичного вейвлетного базиса в М^, где N = 3п, начнем с масштабирующей функции
Уо = 1 = 5п® = (1111... 1).
В отличие от двоичного вейвлетного базиса в троичном случае вместо одной материнской функции вынуждены взять пару материнских функций — основную материнскую функцию и ее клон в виде кругового сдвига:
у 1 = А 0 5п-1®, У2 = А^ 0 5п-1®.
Если бы рассматривали вариант N = рп, то на этом этапе проделали бы (р - 2)-кратное клонирование в виде круговых сдвигов.
Процедура троичного сжатия (которую выполняем параллельно для пары материнских функций) состоит в замене одного кронекерова множителя 5 справа от множителя А на множитель 5 слева:
Уз = 5 0 А 0 5п-2®, у4 = 5 0 А^ 0 5п-2®; У9 = 5 0 5 0 А 0 , ую = 5 0 5 0 А^ 0 б^-^;...
Процедура троичного сдвига, которая тоже проводится параллельно для пары образов материнских функций (но теперь соответствующую запись не приводим),
состоит в распределении значков сдвига у дельта-сигналов в лексикографическом порядке:
^11 = 5 0 5^ 0 A 0 Sn-3®, pu = 5 0 50 A 0 Sn-3®, = 5^ 0 5 0 A 0 Sn-3®, pi7 = 5^ 0 5^ 0 A 0 Sn-3®, pi9 = 5^ 0 52^ 0 A 0 Sn-3®, p2i = 50 5 0 A 0 Sn-3®, P23 = 52^ 0 5^ 0 A 0 Sn-3®, ^25 = 50 52^ 0 A 0 Sn-3®.
Для функций с четными номерами этой пачки представление получается через предыдущую заменой в разложении A на A^. Для кронекерова произведения сдвигов дельта-сигнала, упорядоченных в указанном лексикографическом порядке, будем использовать более короткое обозначение 5^, принятое для элементов стандартного базиса с 3m отсчетами. Например, = 5^ 0 5^, 57^ = 52^ 0 5^. Итак, общие формулы базисных функций при j от 0 до 3m — 1
+2j = 5р0a0sn-m-1® = (o.^ —1... — i o.^ ),
33« —m 3«, —m —1 3П —m —1 3« —m — 1 3n-(3 + 1)3«-m
+2j+1 = 5p 0 A^ 0 sn-m-1® = (o.._g —1... — i o_o^_g ).
33«—m 3« —m —1 3« —m —1 (3m+1-3j-2)3«_m —1
2. ПОСТРОЕНИЕ ТРОИЧНОГО КРАТНОМАСШТАБНОГО АНАЛИЗА
Укажем связь построенных дискретных функций с аналогичными функциями непрерывного аргумента (которые далее называем «непрерывными»). Введем понятие интервалов m-го ранга с номером k:
Ak =
k k + 1
'т 3т 3т I '
а характеристическую функцию этого интервала обозначим /(т,)•
Определим с помощью сквозной и двойной нумерации троичные аналоги системы Хаара следующими формулами на исходном интервале [0,1), положив их нулем вне этого интервала (здесь N = 3П): Х0(г) = 1,
N-1 [-1, если г е дт+1,
Хзт+2з(г) = х{т)(г) = ^+23МЩ(г) = 11, если г е ,
5=0 [0 при остальных г,
N-1 [1, если г е дтт+1,
Хзт+23+1(г) = уЦт)(г) ^ ^зт+23+1 МЩ(г) = ^ -1, если г е дт+,
(=0 [0 при остальных г.
Из приведенного явного вида функций вытекает, что данная система служит троичным вариантом системы последовательной прорисовки деталей, что конкретизировано далее в этом параграфе. Из данного утверждения и вытекает следующая теорема.
Теорема. Система функций {Хк(г)}^=0 является базисом Шаудера в любом из основных пространств С[0,1], Ь[0,1], Ь2[0,1]. Она задает троичный неортогональный КМА на [0,1).
В случае С[0,1] все базисные функции (не являющиеся элементами С[0,1]) продолжаем в точку 1 по непрерывности.
Троичный КМА представляет собой цепочку вложенных пространств
... С Л-1 С Ло С Ах С Л2 С ... С Аш С ..., удовлетворяющих следующим условиям:
1) ЦПАП = ¿2(К);
2) П„ Л„ = {0};
3)/ € Ло ^ /(■ - п) € Ло, п €
4)/(х) € Л. ^ /(3х) € Л3+1, 3 €
5) существует у(х) такая, что {у(х — п)}пе2 составляет базис Л0.
Отличие от традиционного ([1, ^ 21], [13, c. 44]) двоичного ортонормированного КМА заключено в свойствах 4 (замена 2 на 3) и 5 (отказ от ортогональности базиса).
В модельном случае данной конструкции и системы Хаара масштабирующая функция у = Хо организует временную локализацию за счет разложения единицы
те
1 = Хо(х — п).
п=—те
Для исходного сигнала / € Ь[0,1] последовательность приближений /т е Лт вычисляем отдельно для каждого т через значения цифровых сигналов х € М^, где N = 3т, по формуле частной суммы дискретного преобразования Крестенсона [14]
х7
3т / /(4) /т(А^т) = х., для всех «/дт
аналогичной формулам, применяемым для систем Хаара и Уолша. Умышленный отказ от ортогональности при построении троичного КМА вызван желанием сохранить простоту конструкции и для случая переноса ее на большие размерности.
Искомая функция /т(4) и есть частная сумма с номером 3т следующего ряда:
те 3к — 1 те
/(4) = соХо(4) + £ ]Т Сзк +2.Х.к)(4) + с3к +2.7+1 (4) =^2 СкХ (1)
к=о .=о к=о
Коэффициенты разложения (1) вычисляются по формулам
Г1 Г1 Г 2/3
со = /(4) С1 = 3 / (/(4) — со) С2 = 3 / (со — /(4))
Л «/2/3 «/1/3
сзт+2. = 3т+^з 2(/(*)—/(дт)) а = /(дт+2) — /(дт), (2)
«/д37+2
т+1
С3»+2.+1 = 3т+^ /дт) — /(*)) А = /(дт)—/(дт+1),
«/д3-7!!
т+1
где з = 0,1, 2..., 3т — 1, / (Дт) = 3т /дт / (4) — среднее значение функции на интервале. Формулы для с1 и с2 в записи (2) излишни, так как они содержатся ниже в общих формулах при т = 0, з =0.
Добавление двух выделенных слагаемых формулы (1) при последовательном вычислении частных сумм этого ряда соответствует уточнению значения строящейся функции: замена ступеньки /(Дк) на три ступеньки /(Дт'+) при 5 = 0,1,2.
3. БЫСТРЫЙ ТРОИЧНЫЙ АЛГОРИТМ ВЫЧИСЛЕНИЯ СПЕКТРАЛЬНЫХ ХАРАКТЕРИСТИК
Обозначим исходный массив x0 = (x0 x1 x2 x3.. . xN-1 ) G RN как массив начального нулевого уровня, N = 3". Пусть N0 = N, Nk = Nk—i — объем массива k-го уровня.
• Алгоритм быстрого троичного вейвлетного преобразования с прореживанием по частоте.
Для k от 1 до n выполняем:
- разбиваем массив xk-1 на непересекающиеся блоки, занумерованные подряд индексом j от 0 до Nk — 1, по три элемента в каждом j-м блоке, которые обозначим (a, b, c) для дальнейшего вычисления;
- формируем два массива следующего уровня: xk = (x0 x1 x2 x3 ...xNk-1 ) (обозначая элементы теми же символами, что и на предыдущем уровне) и yk = (y0 y1 y2 y3... y2Nk-2, y2Nk-1 ), вычисляя для номера блока j от 0 до Nk — 1
a + b + c
x3 = —3— , У23 =c — x3 , У23+1 = x3— b;
- формируем выходной массив C спектральных характеристик ck из вычисленных массивов
C = (xn yn y""1 y""2 ... y1) = (C0 C1 C2 C3 ... CN-1 ).
• Обратный алгоритм быстрого восстановления сигнала.
Сначала комментарий к принятым в алгоритме обозначениям. Шаги алгоритма будем нумеровать в обратном порядке. На начальном n-м шаге два массива x" = (c0) (обозначим a0 вместо c0) и y" = (c1 c2) выделяем из выходного сигнала для восстановления по ним массива x"-1 = (x0 x1 x2). На следующем (n — 1)-м шаге, когда массив x"-1 из выходного массива превращается во входной для очередного шага, его элементы x3- переобозначим в виде a3- и т. д. Выходной массив (k + 1)-го шага xk = (x0 x1 x2... xNk-1 ) совпадает с входным массивом xk = (a0 a1 a2... aNk-1 ) для k-го шага. Далее сформулируем алгоритм.
Для k от n до 1 выполняем:
- для j от 0 до Nk — 1 вычисляем координаты выходного массива xk-1 по координатам входного массива xk и очередного блока yk = (y0 y1.. .y2Nk-1 ), извлеченного из массива C в виде очередных 2Nk отсчетов:
x3j = a3 — y23 + y23+15 x3j+1 = a3 — y 23+15 x3j+2 = a3 + y23.
4. ПРИМЕРЫ ТРОИЧНОГО РАЗЛОЖЕНИЯ
Пример 1. Для n = 4 выберем исходный сигнал f (t) = 81t — 1, являющийся линейным преобразованием простейшего сигнала h(t) = t, усреднение которого по интервалам четвертого ранга приводит к целочисленному дискретному массиву
x0 = (0 1 2 3... 80). Применяя шаги быстрого алгоритма, получаем:
x1 = (1 4 7 ... 79), y1 = (101010 ... 10); x2 = (4 13 22 31 40 49 58 67 76), y2 = (3 0 3 0 3 0 ... 3 0);
х3 = (13 40 67), у3 = (9 0 9 0 9 0); х4 = (40), у4 = (27 0).
Из этих массивов формируем выходной массив
С = (40 27 0909090303030 ... 30101010 ... 1 0).
Разложение (1) в нашем случае превратилось в
/4 (*) = 40 + 27X1 (*) + 9(Хз (*) + Х5 (*) + Х7 (*)) + 3(Х9 (*) + Хп (*) + ... + Х25 (*)) + +(Х27(*) + Х29(*) + Хз1(^) + ... + Х79(*)) € Л4.
Последовательное вычисление этих слагаемых соответствует методу последовательной прорисовки деталей, который отмечают в качестве достоинств системы Хаара.
Для исходной функции коэффициенты (2) разложения для ее приближения четвертого уровня (остальные с7- = 0)
40 1
С0 =81 + 162,
с9 = с11 = . . . = с2
27 1
}
31
9
1
81 27
Обобщаем их для разложения т-го уровня
1
С1 = 81 = 3, Сз = С5 = С7 =81 = 9,
1
81
, с27 = с29
с79
с0 = 2, С3к+27 = 3 (к+1), с3к +27+1 = °
откуда вытекает разложение на [0,1):
-.те ^
к=0 7=0
а также разложение на [0, то):
те 1 тете
3 — 1
т=0
к=0
7 =0
Пример 2 (Канторова лестница). Основным примером сингулярной функции служит канторова лестница [15], заданная константой на отрезках (в данном примере правый конец считаем принадлежащим интервалу), составляющих канторово множество,
/ (*) =
2к + 1
2П
, если * € ДМ*^1, п € М, к = 0,1, 2,..., 2П-1 - 1,
где использовали вновь введенную, через разложение числа в двоичной системе счисления к = к120 + к221 + ... + кп-12П-2, к € {0,1}, кп-1 = 1, функцию ^(к) = к130 + к231 + ... + кп-13П-2, ^(0) = 0. Доопределим на канторовом множестве второго рода эту функцию по схеме [15] до непрерывной на [0,1] (а следовательно, и равномерно-непрерывной).
1 то 2k-1
f (0 = 1 + £2-<«+2>£ Хзк)(t),
Основным свойством, которое будем использовать при вычислениях, служит следующее фрактальное свойство самоподобия канторовой лестницы f(3t) = 2f(t) и f (t + 3) = f (t) + 2 при t G [0,1/3]. Дополнительно используем свойство симметрии f (t) + f (1 — t) = 1. Из графического представления с помощью этих свойств вычисляем (2)
Со = i, Ci = i, C2 = 0, Сз = i, C4 = 0, C5 = 0, C6 = 0, C7 = i, C8 = 0, . . . 2 4o o
C3k +4Mj) = 2-(k+2) для j = 0,1, 2,..., 2k — 1. Получили разложение (1) сингулярной функции в ряд на [0,1]
2k-1
^2-(fc+2) k=0 j=0
частные суммы которого служат аппаратом равномерного приближения канторовой лестницы.
5. ТРОИЧНЫЙ ВЕЙВЛЕТНЫЙ БАЗИС С ПРОРЕЖИВАНИЕМ ПО ВРЕМЕНИ
В статье [2] предложено два варианта двоичного вейвлетного базиса — с прореживанием по частоте и по времени. Троичный аналог системы Хаара с прореживанием по частоте был рассмотрен подробно выше.
Приведем краткое описание второго базиса {^k}N=01, где N = 3n, представляющего собой троичный дискретный аналог системы Хаара [2] с прореживанием по времени.
Масштабирующей дискретной функцией служит = а парой материнских
^i = Sn-1® 0 A, ф2 = Sn-1® 0 A?.
Методом троичных сдвигов и сжатий получаем все дискретные функции набора последовательно по пачкам, но с другой нумерацией внутри пачек
^3™ = Sn-m-1® 0 A 0 j , ^2-3m = Sn-m-1® 0 A? 0 j
при натуральных j от 0 до 3m — 1. Здесь применили перестройку порядка нумерации в соответствии с упорядочением спектральных характеристик ak в выходном массиве C предложенного ниже быстрого вейвлетного алгоритма с прореживанием по времени.
По прежней схеме строятся «непрерывные» аналоги
N-1
Zk(t) = £ ^(s)/f„)(t).
=0
• Алгоритм быстрого троичного вейвлетного преобразования с прореживанием по времени.
Для k от 1 до n выполняем:
- массив xk-1 представляем как блочный (b0 b1 b2) из трех непересекающихся равновеликих блоков объема Nk;
- вычисляем три массива, из которых формируем два массива, по формулам для векторов xk = 3 (b0 + b1 + b2), yk = (ak, ek) = (b2 — xk, xk — b1);
- формируем выходной массив спектральных характеристик из вычисленных массивов
С = (хп уп уп-1 уп-2... у1) = («0 «1 «2 «3 ... а^-1). □
• Обратный алгоритм быстрого восстановления сигнала.
Для к от п до 1 выполняем:
- вычисляем хк-1 = (хк — ак + вк, хк — вк, хк + ак) по вектору хк и блокам массива ук = (ак, вк), извлеченного из массива С. □
Прямой алгоритм анализа применительно к ступенчатой / € Лп состоит в вычислении вектора С спектральных характеристик ак по вектору х € М^ значений /(*). Обратный алгоритм синтеза, состоящий в восстановлении х, соответствует вычислению исходного сигнала на [0,1) по формуле
1
/ (*) = £ «к ^ (*),
к=0
где та же самая масштабирующая функция (*) = 1 при * € [0,1), а остальные базисные функции
— 1, если * € ДГ+1 к+7, (1, если * € ДГ+1 к+7,
^ +7 (*) = 4 1, если * € ДГ+1 к+2-3™ +7, ^ +7 (*) = I — 1, если * € ДГ+1 к+3™ +', 0 при остальных *, [0 при остальных *.
Здесь т = 0,1,2,..., п — 1, 0 < ; < 3т — 1, 0 < к < 3п-т-1 — 1.
Основной недостаток подхода к построению вейвлетного базиса с прореживанием по времени состоит в невозможности построения бесконечной системы функций, служащей «непрерывным» аналогом, который соответствует утверждению о том, что систему Уолша невозможно упорядочить в нумерации Адамара.
Кратко покажем действие алгоритма с прореживанием по времени для приведенного выше примера 1 с /(*) = 81* — 1, п = 4:
х4 = (40),
у1 = (27 27... 27 0 0 ... 0), у2 = (9 9 ... 9 0 0 ... 0), у3 = (3 3 3 0 0 0), у4 = (10).
В массиве у1 два постоянных блока одинаковой длины по 27 отсчетов, в массиве у2 постоянные блоки по 9 отсчетов.
Если процедура синтеза «непрерывного» исходного сигнала, соответствующая обратному к быстрому алгоритму по частоте, реализуется в виде последовательной прорисовки деталей, то процедура синтеза, соответствующая обратному к быстрому алгоритму по времени, реализуется в виде параллельного уточнения деталей, что менее наглядно.
Библиографический список
1. Новиков И. Я., Протасов В. Ю., Скопина М. А. Теория всплесков. М. : Физматлит, 2005. 616 с.
2. Машарский С. М., Малоземов В. Н. Хааровские спектры дискретных сверток // Ж. вычисл. матем. и матем. физ. 2000. Т. 40, № 6. С. 954-960.
3. Бер М. Г., Малоземов В. Н. Наилучшие формулы для приближенного вычисления дискретного преобразования Фурье // Ж. вычисл. матем. и матем. физ. 1992. Т. 32, № 11. С. 1709-1719.
4. Беспалов М. С. Дискретные периодические функции Бернулли // ПДМ. 2019. № 43. С. 16-36. DOI: https://doi.Org/10.17223/20710410/43/2
5. Малоземов В. Н., Машарский С. М. Основы дискретного гармонического анализа. СПб. : Лань, 2012. 304 с.
6. Беспалов М. С., Скляренко В. А. Дискретные функции Уолша и их приложения. Владимир : ВлГУ, 2014. 68 с.
7. Фарков Ю. А. Ортогональные всплески на локально компактных абелевых группах // Функц. анализ и его прил. 1997. Т. 31, вып. 4. С. 86-88. DOI: https://doi.org/10.4213/faa498
8. Lang W. C. Wavelet analysis on the Cantor dyadic group // Housten J. Math. 1998. Vol. 24, № 3. P. 533-544.
9. Лукомский С. Ф. Кратномасштабный анализ на нульмерных группах и всплесковые базисы // Матем. сб. 2010. Т. 201, № 5. С. 41-64. DOI: https://doi.org/10.4213/sm7580
10. Плещева Е. А, Черных Н. И. Построение ортогональных базисов мультивсплесков // Тр. ИММ УрО РАН. 2014. Т. 20, № 1. С. 221-230.
11. Фарков Ю. А., Строганов С. А. О дискретных диадических вейвлетах для обработки изображений // Изв. вузов. Матем. 2011. № 7. С. 57-66.
12. Барышев А. А, Лукомский Д. С., Лукомский С. Ф. Системы сжатий и сдвигов в задаче сжатия изображений // Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2014. Т. 14, вып. 4, ч. 2. С. 505-510. DOI: https://doi.org/10.18500/1816-9791-2014-14-4-505-510
13. Добеши И. Десять лекций по вейвлетам. М. ; Ижевск : НИЦ «Регулярная и хаотическая динамика», 2004. 464 с.
14. Беспалов М. С. Дискретные преобразования Крестенсона // Пробл. передачи информ. 2010. Т. 46, вып. 4. С. 91-115.
15. Колмогоров А. Н., Фомин С. В. Элементы теории функций и функционального анализа. М. : Наука. 1976. 544 с.
Образец для цитирования:
Беспалов М. С. Троичный дискретный вейвлетный базис // Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2020. Т. 20, вып. 3. С. 367-377. 001: https://doi.org/10.18500/1816-9791-2020-20-3-367-377
Ternary Discrete Wavelet Basis M. S. Bespalov
Mikhail S. Bespalov, https://orcid.org/0000-0003-0661-337X, Vladimir State University, 87 Gorky St., Vladimir 600000, Russia, bespalov@vlsu.ru
The discrete version and the basic construction of the ternary multiresolution analysis are given, similar to the binary model case of the Haar multiresolution analysis. Based on the constructed basis, an algorithm similar to the fast Haar transformation is proposed. Typical calculation examples are provided.
Keywords: discrete harmonic analysis, discrete Haar transform, wavelet, shifts and dilations, multiresolution analysis.
Received: 06.05.2019 / Accepted: 31.12.2019 / Published: 31.08.2020
This is an open access article distributed under the terms of Creative Commons Attribution
License (CC-BY 4.0)
References
1. Novikov I. Ya., Protasov V. Yu., Skopina M. A. Teoriya vspleskov [Wavelet theory], Moscow, Fizmatlit, 2005. 616 p. (in Russian).
2. Masharsky S. M., Malozemov V. N. Haar spectra of discrete convolutions. Comput. Math. Math. Phys., 2000, vol. 40, no. 6, pp. 914-921.
3. Ber M. G., Malozemov V. N. The best formulae for the approximate computation of discrete Fourier transforms. Comput. Math. Math. Phys., 1992, vol. 32, no. 11, pp. 15331544.
4. Bespalov M. S. Bernoulli's discrete periodic functions. Applied Discrete Mathematics, 2019, no. 43, pp. 16-36. DOI: https://doi.org/10.17223/20710410/4372
5. Malozemov V. N., Macharskiy S. M. Osnovy discretnogo garmonicheskogo analiza [Basics of Discrete Harmonic Analysis]. St. Petersburg, Lane, 2012. 304 p. (in Russian).
6. Bespalov M. S., Sklyarenko V. A. Diskretnye funktsii Uolsha i ikh prilogeniya [Discrete Walsh Functions and its Applications]. Vladimir, Vladimirskiy gosudarstvennyi universitet, 2014. 68 p. (in Russian).
7. Farkov Yu. A. Orthogonal Wavelets on Locally Compact Abelian Groups. Funct. Anal. Appl., 1997, vol. 31, iss. 4, pp. 294-296. DOI: https://doi.org/10.1007/BF02466067
8. Lang W. C. Wavelet analysis on the Cantor dyadic group. Housten J. Math., 1998, vol. 24, no. 3, pp. 533-544.
9. Lukomskii S. F. Multiresolution analysis on zero-dimensional Abelian groups and wavelets bases. Sb. Math., 2010, vol. 201, no. 5, pp. 669-691. DOI: http://dx.doi.org/10.1070/SM2010v201n05ABEH004088
10. Pleshcheva E. A., Chernykh N. I. Construction of orthogonal multiwavelet bases. Proc. Steklov Inst. Math. (Suppl.), 2015, vol. 288, suppl. 1, pp. 162-172. DOI: https://doi.org/10.1134/S0081543815020169
11. Farkov Yu. A., Stroganov S. A. The use of discrete dyadic wavelets in image processing. Russian Math. (Iz. VUZ), 2011, vol. 55, no. 7, pp. 47-55. DOI: https://doi.org/10.3103/S1066369X11070073
12. Barichev A. A., Lukomskii D. S., Lukomskii S. F. Systems of Scales and Shifts in the Problem Still Image Compression. Izv. Saratov Univ. (N. S.), Ser. Math. Mech. Inform., 2014, vol. 14, iss. 4, pt. 2, pp. 505-510 (in Russian). DOI: https://doi.org/10.18500/1816-9791-2014-14-4-505-510
13. Daubechies I. Ten Lestures on Wavelets. SIAM, 1992. 454 p. CBMS-NSR Series in Appl. Math.
14. Bespalov M. S. Discrete Chrestenson transform. Probl. Inform. Transm., 2010, vol. 46, iss. 4, pp. 353-375. DOI: https://doi.org/10.1134/S003294601004006X
15. Kolmogorov A. N., Fomin S. V. Elementy teorii funktsiy i funktsional'nogo analiza [Elements of the theory of functions and functional analysis]. Moscow, Nauka, 1976. 544 p. (in Russian).
Cite this article as:
Bespalov M. S. Ternary Discrete Wavelet Basis. Izv. Saratov Univ. (N. S.), Ser. Math. Mech.
Inform., 2020, vol. 20, iss. 3, pp. 367-377 (in Russian). DOI: https://doi.org/10.18500/1816-
9791-2020-20-3-367-377
