Фреймоподобные системы всплесков тема диссертации и автореферата по ВАК РФ 01.01.07, кандидат физико-математических наук Кривошеин, Александр Владимирович

  • Кривошеин, Александр Владимирович
  • кандидат физико-математических науккандидат физико-математических наук
  • 2013, Санкт-Петербург
  • Специальность ВАК РФ01.01.07
  • Количество страниц 139
Кривошеин, Александр Владимирович. Фреймоподобные системы всплесков: дис. кандидат физико-математических наук: 01.01.07 - Вычислительная математика. Санкт-Петербург. 2013. 139 с.

Оглавление диссертации кандидат физико-математических наук Кривошеин, Александр Владимирович

Оглавление

Введение

1 Обозначения и вспомогательные результаты

1.1 Обозначения

1.2 Предварительные сведения

1.3 Вспомогательные результаты

2 Фреймоподобные системы всплесков

2.1 Оператор масштабирования и его свойства

2.2 Реализация принципа расширения

2.3 Разложения по системе всплесков

2.4 Выводы

3 Построение симметричных систем всплесков

3.1 Группы симметрий

3.2 Результаты

3.3 Симметричные фреймоподобные системы

3.3.1 Центрально-симметричные фреймоподобные системы

3.3.2 Фреймоподобные системы с осевой симметрией

3.3.3 Фреймоподобные системы с различной симметрией

3.4 Симметричные фреймы всплесков

3.4.1 Предварительные сведения

3.4.2 Построение симметричных фреймов всплесков

Литература

Приложение

Рекомендованный список диссертаций по специальности «Вычислительная математика», 01.01.07 шифр ВАК

Введение диссертации (часть автореферата) на тему «Фреймоподобные системы всплесков»

Введение

Актуальность темы. На сегодняшний день теория всплесков за прошедшие два десятилетия с момента ее появления нашла своё применение практически во всех областях, связанных с обработкой нестационарных сигналов. Сжатие и обработка изображений (JPEG 2000, DjVU), аудио и видео кодирование, очищение зашумленных и искаже1шых сигналов и многое другое. С каждым годом число приложений только растет. В связи с этим, разработка новых систем всплесков, являющихся основой для эффективных вычислительных алгоритмов при обработке сигналов, притягивает к себе пристальное внимание.

Теория всплесков, наряду с ее огромным значением в цифровой обработке сигналов, также внесла и существенный вклад в развитие ряда разделов математики. Можно отметить построение оптимальных полиномиальных ортогональных базисов в пространствах непрерывных на отрезке и периодических функций, конструктивное описание различных функциональных пространств и построение безусловных базисов в них, в частности безусловных базисов в анизотропных пространствах Соболева, Бесова и Лизоркина-Трибеля. Значение теоретических результатов полученных с развитием теории всплесков общепризнано научным сообществом. За фундаментальные исследования в этой области И. Мейер стал лауреатом премии Гаусса, которая была вручена ему на Международном математическом конгрессе в августе 2010 г.

В последние годы активно изучаются фреймы всплесков, особенно в США и Канаде. Понятие фрейма было введено в 1952 году Р. Даффином и А. Шеф-фером. Однако оно было практически забыто до появления теории всплесков. В настоящее время публикуется значительное число работ, связанных с фреймами всплесков. Этой темой занимались такие выдающиеся математики, как И. Добеши, А. Рон, Б. Хан, Ч. Чуй. Также существенный вклад внесли М. Во-

уник, 3. Шен, А. Петухов, Д. Стоклер, В. Лоутон, М-Дж. Лай, С. Гох, 3. Лим, Ж. Джанг, М. Скопина и др. Фреймы являются системами представления, но в отличие от базисов, разложение по ним не единственное. За счет избыточности в ряде приложений фреймы всплесков позволяют добиться лучших результатов по сравнению с базисами всплесков. Например, при обработке сигнала с помощью фреймов всплесков, потеря или искажение части коэффициентов разложения сигнала не обязательно влияет на возможность его полного восстановления (что принципиально невозможно для разложений по базисам всплесков).

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

М.А. Скопиной была поставлена задача по изучению систем всплесков, полученных по унитарному принципу расширения, но не являющихся фреймами, а также исследованию их обобщений в различных функциональных пространствах, в том числе и в пространстве обобщенных функций медленного роста. Такие системы были названы фреймоподобными системами всплесков. Эти исследования тесно перекликаются с работами Б. Хана в которых он вводит понятие частотных однородных/неоднородных двойственных систем всплесков в пространстве обобщенных функций (pair of frequency-based homogeneous/nonhomogeneous dual wavelet systems).

Вычислительные алгоритмы построения всплесковых систем представления, обеспечивающие наличие специальных свойств, представляют большой интерес для прикладных исследований в области цифровой обработки сигналов. Наиболее значимыми с точки зрения полезных свойств для приложений являются симметричные системы всплесков с компактным носителем и высоким числом обнуляющихся моментов. Симметричные всплески обладают

свойством линейной фазы, что влечет за собой отсутствие фазовых искажений при обработке. Кроме того, симметрия позволяет избежать проблем, связанных с разрывностью сигнала на границах, а также уменьшить вычислительную сложность обработки данных. Высокое число обнуляющихся моментов у системы всплесков связано с высоким порядком аппроксимации. Вопросы, связанные с обеспечением специальных свойств для систем всплесков, исследовались И. Добеши, Ч. Чуй, Б. Ханом, 3. Шеном и др.

Ключевой сложностью при построении систем всплесков по унитарному принципу расширения или его модификациям является проблема расширения заданной строки из тригонометрических полиномов до унитарной матрицы из тригонометрических полиномов, или двух строк до двух матриц, так чтобы столбцы были попрано биортогональны. В одномерном случае такой способ матричного расширения предложен В. Лоутоном, С. Ли и 3. Шеном. Более того, для симметричной строчки тригонометрических полиномов задача симметричного матричного расширения, то есть такого, чтобы все тригонометрические полиномы также обладали свойством симметрии, решена в работах А. Петухова для вещественнозначных функций и Б. Хана для комплексно-значных. Это позволило для случая одной переменной получить алгоритмы вычисления коэффициентов всплеск-масок для построения одномерных симметричных систем всплесков с произвольных коэффициентом растяжения, обладающих различными полезными для приложений свойствами.

Возможность биортогонального матричного расширения в многомерном случае имеет отношение к известной проблеме Сэрра, которую независимо решили Д. Квиллен и А. Суслин для алгебраических полиномов. Далее, А. Сус-лин распространил этот результат на более широкий класс колец, в частности кольцо лорановских полиномов. Отсюда следует возможность биортогонального расширения. Алгоритм для расширения матриц предложили X. Парк и С. Вудбурн. Однако из-за высокой сложности этот алгоритм фактически непригоден для практического использования. Задача симметричного матричного растяжения в многомерном случае осложняется еще и тем, что в этом случае существуют различные виды симметрии. Не говоря уж о том, что требуется дополнительно обеспечить иные полезные свойства. В настоящее время общих подходов к решению этой задачи нет, однако для конкретных частных случаев матричное продолжение может быть построено. Вопрос

о возможности унитарного матричного расширения по любой заданной строчке в многомерном случае до сих пор остается открытой проблемой.

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

Работа выполнена при финансовой поддержке грантов РФФИ № 09-0100162, № 12-01-00216 и СПбГУ № 9.38.62.2012.

Цели работы:

- исследовать широкий класс систем всплесков, обобщающий понятие фреймов всплесков в различных функциональных пространствах;

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

Методика исследования. Основными методами исследования являются методы математического и функционального анализа, теории всплесков, теории обобщенных функций. Новизна подхода состоит в отказе от фреймово-сти двойственных систем всплесков и в исследовании таких систем всплесков в пространствах обобщенных функций.

Результаты, выносимые на защиту.

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

- Указан способ построения фреймоподобных систем всплесков, обеспечивающий произвольный порядок аппроксимации, при этом число порождающих всплеск-функций на единицу больше минимально возможного;

- Дано описание всех масштабирующих масок, обладающих центральной симметрией, для которых выполняется правило сумм произвольного порядка;

- Получены конструктивные алгоритмы вычисления коэффициентов симметричных в различных смыслах всплеск-масок, обеспечивающие для соответствующей фреймоподобной системы всплесков любой наперед заданный порядок аппроксимации;

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

- На основе системы компьютерной алгебры Mathematica 8.0 написан пакет, реализующий вычислительный алгоритм построения центрально-симметричных фреймоподобных систем с произвольным порядком аппроксимации. С помощью пакета посчитаны примеры таких систем.

Научная новизна. Все основные результаты работы являются новыми.

Теоретическая и практическая значимость. Работа носит как теоретический, так и прикладной характер. Полученные результаты могут быть использованы для дальнейшей разработки теории всплесков, теории аппроксимации. Алгоритмы и методы построения симметричных систем всплесков могут быть использованы для приложений, в первую очередь для обработки сигналов.

Аппробация работы. Результаты данной работы доклады вались

- на конференциях: «Applied Harmonic Analysis and Multiscale Computing», Эдмонтон, Канада (2011), Саратовская зимняя математическая школа «Современные проблемы теории функций и их приложения», Саратов, Россия (2012), «Ряды Фурье и их приложения», Абрау-Дюрсо, Россия (2012), Международная конференция «Wavelets and applications», Санкт-Петербург, Россия (2012), Воронежская зимняя математическая школа «Современные проблемы теории функций и их приложения», Воронеж, Россия (2013),

- на семинаре «Конструктивная теория функций» в СПбГУ (2010-2013).

Публикации. Основные результаты опубликованы в работах [3], [4], [5],

[б], [7], [47], [48], [49] и [50], а также в препринте [46]. Работа [4] опубликована в сборнике трудов института математики HAH Украины. Работа [3] соответствует списку ВАК РФ. Работа [50] опубликована в высоко-рейтинговом журнале, входящем в базы данных Web of Science и Scopus. Работы [5], [б], [7], [47], [48], [49] опубликованы в материалах конференций.

В совместной с научным руководителем М.А. Скопиной работе [4] соавтору принадлежит постановка задачи и общая идея метода ее решения. В совместной с М.А. Скопиной работе [50]соавтору принадлежат постановка задачи, разработка общей схемы исследования, формулировки и доказательства некоторых утверждений, именно, лемма 1, формулировка и идея доказатель-

ства теоремы 2, пункт (Ь) теоремы 10, теорема 16. Доказательства основных положений, включенных в диссертацию, проведены автором диссертации самостоятельно.

Структура и объем. Диссертация объемом 139 страницы состоит из введения, трех глав, разделенных на параграфы, списка литературы, содержащего 62 источников. Окончания доказательств отмечены знаком О-

Основное содержание работы.

Работа организована следующим образом. В главе 1 содержатся обозначения и вспомогательные результаты, необходимые для изложения основного материала.

Системой всплесков будем называть множество функций следующего вида {ф^} := {т?/2фМ(АР - +*), з <Е г, к € V = 1,... ,г, г > т - 1}, где М - матрица растяжения размера в, х т — | det М\ > 1. О(М) обозначает множество цифр матрицы М. Не умаляя общности, полагаем, что О € О(М).

Функция (р называется масштабирующей, если ее преобразование Фурье удовлетворяет масштабирующему уравнению

Ф(0 = тоШ'-^ЖМ^а

где Шо тригонометрический полином, называемый маской, то (О) = 1. Известно (см., например, [8, § 2.4]), что для любой маски т0 функция <£>(£) := дает единственное (с точностью до множителя) решение масштабирующего уравнения и является преобразованием Фурье некоторой функции ср € Б' с компактным носителем, где 5' - множество обобщенных функций медленного роста.

Будем говорить, что маска тп обладает обнуляющимися моментами до порядка п 6 М, если

=01 € Ап,

£=о

где Д„ = {¡5 е ||/3||х = д}. Будем говорить, что для маски т выполняется правило сумм до порядка п € М, если

£^т(ЛГ=0, УЙ € Я(АГ) \ {0}5 € Д„.

Унитарный принцип расширения для построения систем всплесков заключается в следующем. Рассмотрим <р, <р - две масштабирующие функции с масками то, то соответственно. Предположим, что существуют тригонометрические полиномы ту, т», V — 1,...,г, г > т — 1 (всплеск-маски), такие что матрицы

£ +£ -■= +лг-^ЙЗГ1.

где {<7о,..., г/т1} — В{М*), удовлетворяют следующему равенству

СТ1= /т.

Определим всплеск-функции и 1,..., г, задав их преобразование

Фурье по формулам

Если всплеск-функции и — 1,..., г построены вышеизложенным

способом, тогда систему функций {ф^}-, Ы^к } будем называть двойственной системой всплесков, порожденной масштабирующими функциями <р, кр (или масками то, то).

Пусть А - класс функций для которых функционалы {/, <рок), (/, Ф^) имеют смысл (например, если (р 6 5", то / 6 Я, где 5 - класс Шварца). Будем говорить, что система {ф^} почти фреймоподобна, если У/6-4

ос г

/=£</, йж*+Е Е Е </.

Систему {ф^}} будем называть фреймоподобной, если V/ е Л

оо г

/= EEEtf-^VS?-

Ряды сходятся в некотором естественном смысле.

Глава 2 посвящена изучению понятия фреймоподобных систем всплесков в различных функциональных пространствах. Кроме того, приведены условия, при которых такие системы всплесков обеспечат произвольный, наперед заданный порядок аппроксимации.

В §2.1 исследуется оператор масштабирования, который определен как Qj(<p,ip,f) := 52keZd(f,Pjk)tfjk, где функции (р,<р принадлежат различным функциональным пространствам. Прежде всего, рассмотрен наиболее общий случай.

Теорема 1 Пусть (p,ip Е S' имеют компактный носитель, f € S. Тогда

(i) для любого j € Z ряд Ylkezd(f->^jk)^Pjk сходится безусловно в S', в частности, Qj{(p,<p, /) € S'.

(ii) Qj((p, <р, /) стремится к у?(0)£>(0)/ в S' при j —» +оо.

Далее, пара аналогичных теорем доказана для пространств Lp и одного особого случая. Под Rd) понимаем подмножество пространства L^ (Rd), такое что для / 6 ¿4(Rd): fix) =

Теорема 2 Пусть при I < р < ос, ^ -f 1 = функции у? € Z/q(Rd) и (р 6 Lp(Rd) имеют компактный носитель, / G Lp(Md); при р = оо функции ip € Li(Rd) и (р £ Loo(Rd) имеют компактный носитель, / € L^W1). Тогда

(г) для всех j € Ъ, ряд YlkeZdif-> <Р]к)<Рзк сходится безусловно в Lp(M.d), при этом Qj(<p, (р, /) € Lp(Rd):

(И) справедливо неравенство \\Qj{<p,<p,f)\\p < CPAPg\\f\\p,

(iii) если р > 1, тогда lim \\Qj{(p, ip, /)|| = 0.

j—эо ^

Теорема 3 Пусть <р € Z,2(Rd)> (р € S' имеют компактный носитель, / € Тогда

(г) для всех э £ Ъ, ряд ^кегЛ/^ сходится безусловно в при

этом (р,./) € Ь2{Шё);

(И) если <р(0) = ср(0) = 1; то условия Стрэпга-Фикса до порядка 1 для функции (р являются необходимыми и достаточными для сходимости /) к функции / по норме Ь2 при ] —> +оо.

Результаты §2.2-2.3 относятся уже непосредственно к системам всплесков. Прежде всего, приведен метод, позволяющий строить системы всплесков, обладающие произвольным числом обнуляющихся моментов. Это свойство, как далее будет ясно, напрямую связано с порядком аппроксимации построенной системы.

Система всплесков {ф^}}, ^ = 1,..., г, с компактным носителем обладает обнуляющимися моментами до порядка ?г, п € N (имеет VМп свойство), если В^ф^Цо) = О, V = 1,..., г, для всех ¡3 € Лп. Условия на исходные маски то, то и явные формулы для получения всплеск-функций с УЛ/П свойством указаны в §2.2.

Лемма 4 Пусть масштабирующие функции ср,(р Е 6" имеют компактный носитель, то, то - их маски, п 6 N. Если для маски то выполняется правило сумм до порядка п, а маска то удовлетворяет условию

Доказательство леммы является конструктивным, при этом в работе приводятся явные формулы, реализующие построение. Разумеется, подобное построение не единственно. И на основе указанного в лемме способа матричного расширения, можно указать общий вид всех таких продолжений с заданными начальными строчками.

В §2.3 установлены условия, при которых та или иная система всплесков является фреймоподобной или почти фреймоподобной в различных функциональных пространствах. В частности, в следующей теореме установлено, что

тогда существует двойственная система всплесков {ф^}, {Фр?} порожденная </?,</? такая, что система {ф^}} обладает УМп свойством.

любая система всплесков, построенная по унитарному принципу расширения, является почти фреймоподобной в S'.

Теорема 5 Пусть / Е S, масштабирующие функции <p,íp Е S' имеют компактный носитель. Двойственная система всплесков {ф^р}}, {Фр?}, v — 1,..., г, порождена функциями ip, (р. Тогда {ф^} является почти фреймоподобной.

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

Теорема 6 Пусть масштабирующие функции ip,íp Е S' имеют компактный носитель, f Е S. Двойственная система всплесков {Ф^}, v — 1,..., г, порождена функциями (р, íp. Тогда {ф^}} является почти фреймоподобной, где ряды сходятся в S'. Если система {фр)} обладает VMn свойством, то Уд € S

(/-£</, vot)^ -£££</. -Д < ш^'

\ kezd г=0 *eZd / 1 }

где А наименьшее по модулю собственное число матрицы М, е > О, |А|—е > 1, С не зависит от j.

Теорема 7 Пусть масштабирующие функции <р Е L2(Rd), <р Е S' имеют компактный носитель, f Е S. Двойственная система всплесков {Ф^}}, {фр)}, v — 1, • •. ,г, порождена функциями ip,<p. Тогда {ф^}} является почти фреймоподобной, где ряды сходятся по норме в L2(Md). Если система {фр?} обладает VMn свойством, то

/-£</> - £ £ £ </. ШЧ?

кеZd »=о kelA

где А наименьшее по модулю собственное число матрицы М, е > 0, |А|—£ > 1, п* >п, Си п* не зависят от f и j.

c\\ñwf

Теорема 8 Пусть I < р < оо, ^ + ^ = 1, масштабирующие функции (р € Ьр(М^) у {р 6 имеют компактный носитель, / 6 Двой-

ственная система всплесков {ф^'}, {ф^}, V ~ 1,...,г, порождена функциями </?, (р. Тогда {ф^} является фреймоподобной, где ряды сходятся по норме в Ьр{Ш.'1). Если система {ф^)} обладает УМп свойством, то для / € \¥р(Ш!1), имеет место

г=—х> и—1 квЯ*

гк

С\\ft\wn - (|А| - еу*

где А наименьшее по модулю собственное число матрицы М, е > О, |А|—е > 1, С не зависит от / и у.

Теорема 9 Пусть масштабирующие функции (р € 1,1 (К ), € имеют компактный носитель, / € Ь\(Ша). Двойственная система всплесков {Ф^}, V — 1? • • •, г, порождена функциями <р, (р. Тогда {Ф^}} является почти фреймоподобной, где ряды сходятся по норме в Ь^Ш1). Если система \ф{$} обладает УМп свойством, то для / 6 И^М^),

/ - Е </■ - Ё Е Е </.

<

С\\Л\и? (|А|

где А наименьшее по модулю собственное число матрицы М,е>0, |А|—£ > 1, С и п* не зависят от / и

Глава 3 посвящена обеспечению свойства симметрии (в различных смысла) для систем всплесков в многомерном случае. Понятие симметрии определим с помощью группы симметрий. Будем называть множество унимодуляр-ных матриц Н группой симметрий на если Н яйляется группой относительно матричного умножения. Маска т является Н-симметричной относительно центра с € если

т(£) = УЕвН €

и с — Ее € УЕ е Н. Центр симметрии назовем подходящим для группы Я, если с — Ее € УЕ е Я. Будем рассматривать следующие виды сим-

метрии: центральная с группой Н — — и произвольными матрицами растяжения М, осевая с группой

и матрицами растяжения вида М ~ с11а£(т1,..., где Р перестановоч-

ная матрица, иные группы симметрий с особыми условиями, а также центральную симметрию другого вида: т(£) = Отметим, что для центральной и осевой групп симметрии с £ Тогда для этих групп выполняется с — Ее Е УЕ 6 II. Для иных рассматриваемых групп симметрии полагаем с 6 Zd.

Суммируя полученные результаты, сформулируем их в следующих теоремах. Во всех теоремах всплеск-маски строятся конструктивно с указанием явных формул, ведущих к их построению. Приведен алгоритм построения симметричных начальных масок то и дано их полное описание для случая центральной симметрии.

Теорема 10 Пусть с - подходящий центр симметрии, п е N. Тогда существует маска тпо, которая симметрична (в любом из указанных выше смыслов) относительно центра с и для которой выполняется правило сумм до порядка п. Для центрально-симметричных относительно центра с в обоих смыслах масок то приводится общий вид всех таких масок.

Приведен конструктивный алгоритм построения симметричных масок т0-

Теорема 11 Пусть с - подходящий центр симметрии, п € М, маска то является симметричной (в любом из указанных выше смыслов) относительно центра с и для нее выполняется правило сумм до порядка п. Тогда существует симметричная (в любом из указанных выше смыслов) маска то, удовлетворяющая условию

причем центр симметрии может быть равным только с.

Такие маски то, удовлетворяющие условиям этой теоремы, назовем подходящими.

Я"" := {<11а8(1хь ...,«*):«,• = ±и = 1,..., д}

Теорема 12 Пусть с - подходящий центр симметрии п £ N. Маски то и то симметричны (в любом из указанных выше смыслов) относительно центра с, для маски то выполняется правило сумм до порядка п, маска то подходящая. Тогда существуют маски mv и rhv, v — 1,..., т, которые являются симметричными/антисимметричными (в любом из указанных выше смыслов) относительно некоторых центров и всплеск-маски т„, v — 1,... ,т, имеют обнуляющиеся моменты до порядка п.

Следующий результат дополняет результаты работы С. Караказьян, М. Скопиной и М. Чобану [45]. Маска mu называется интерполяционной, если имеет место следующее тождество YlseD(M*) mo(£ + M*~ls) = 1. В указанной работе предложен метод построения центрально-симметричных двойственных систем всплесков, порожденных интерполяционной маской то с вещественными коэффициентами, для матриц растяжения М, у которых модуль определителя m - нечетный или равен двум. Автору удалось расширить этот результат до произвольных матриц растяжения и интерполяционных масок с комплексными коэффициентами. Кроме того, показано, как можно обеспечить симметрию в любом из указанных выше смыслов для двойственных систем всплесков.

Теорема 13 Пусть n е N. Интерполяционная маска то симметрична (в любом из указанных выше смыслов) относительно нуля и для нее выполняется правило сумм до порядка п. Тогда существует подходящая маска fho и всплеск-маски mv и rhv, v — 1,... ,m — 1, которые являются симметричными/антисимметричными (в любом из указанных выше смыслов) относительно некоторых центров и все всплеск-маски mv и fhv имеют обнуляющиеся моменты до порядка п.

Также, для интерполяционных и 711-ортогональных масок установлен схожий результат. Маска то называется М-ортогональной, если

]Г |mo(£ + M*-1s)|2 = 1. seD(M-)

Теорема 14 Пусть п € N. М-ортогональная интерполяционная маска то симметрична (в любом из указанных выше смыслов) относительно нуля и

для нее выполняется правило сумм до порядка п. Тогда существуют маски т1/1 ~ 1,... 1, которые являются симметричными/антисимметричными (в любом из указанных выше смыслов) относительно некоторых центров и все всплеск-маски ти имеют обнуляющиеся моменты до порядка п.

Системы всплесков, построенные по последней теореме, в силу Л/-ортогональности маски и модификации известной теореме Малла, принадлежат пространству 1/2 (М'2) и образуют симметричный (в любом из указанных выше смыслов) жесткий фрейм всплесков. А если система {(рък}к&1 является ортогональной, то и симметричный (в любом из указанных выше смыслов) ортогональный базис всплесков.

Похожие диссертационные работы по специальности «Вычислительная математика», 01.01.07 шифр ВАК

Список литературы диссертационного исследования кандидат физико-математических наук Кривошеин, Александр Владимирович, 2013 год

Литература

[1] Владимиров В. С. Обобщенные функции в математической физике. М.: Наука, 1979. 320 с.

[2] Лебедев В. И. Функциональный анализ и вычислительная математика. М.: Физматлит, 2005. 296 с.

[3] Кривошеий А. В. О порядке аппроксимации многомерных систем всплесков // Вестник С.-Петерб. ун-та. Сер. 10. 2010. Вып. 3. С. 44-58.

[4] Кривошеий А. В., Скопина М. А. Фреймоподобные системы всплесков // 36. праць 1н-ту математики HAH Украши. 2009. Т. 6, N 1. С. 96-114.

[5] Кривошеин А. В. Ортогональные симметричные всплески с коэффициентом растяжения 3 // Тезисы докладов VII международного симпозиума «Ряды Фурье и их приложения», Абрау-Дюрсо, Россия, 27 мая - 3 июня, 2012. С. 24.

[6] Кривошеин А. В. О построении симметричных фреймоподобных систем // Материалы 16-й Саратовской зимней математической школы, Саратов, 27 января 3 февраля, 2012. С. 100.

[7] Кривошеин А. В. О построении симметричных систем всплесков // Материалы Воронежской зимней математической школы, Воронеж, 27 января-3 февраля, 2013. С. 126.

[8] Новиков И. Я., Протасов В. Ю., Скопина М. А. Теория всплесков. М., 2005. 616 с.

[9] Суслин А. А. О структуре специальной линейной группы над кольцами многочленов // Изв. АН СССР. Сер. матем. 1977. Т. 41. С. 235-252.

[10] Andaloro G. , Cotronei M., Puccio L. A new class of non-separable symmetric wavelets for image processing // Communications to simai congress. 2009. Vol. 3. P. 324-336.

[11] Averbuch A. Z., Zheludev V. A., Cohen T. Interpolatory Frames in Signal Space // IEEE Trans Signal Proc. 2006. Vol. 54. P. 2126-2139.

[12] Belogay E., Wang Y. Compactly Supported Orthogonal Symmetric Scaling Functions // Appl. Comput. Harmon. Anal. 1999. Vol. 7. P. 137-150.

[13] De Boor C., DeVore RRon A. Approximation from shift-invariant subspaces of L2(Rd) // Trans. Am. Math. Soc. 1994. Vol. 341, N 2. P. 787806.

[14] Christensen O. Frames and bases: An introductory course. Birkhauser, 2008. 313 c.

[15] Chui C., He W. Compactly supported tight frames associated with refinable function // Appl. Comput. Harmon. Anal. 2000. Vol. 8. P. 293-319.

[16] Chui C., Lian J. A. Construction of compactly supported symmetric and antisymmetric orthonormal wavelets with scale = 3 // Appl. Comput. Harmon. Anal. 1995. Vol. 2. P. 68-84.

[17] Daubechies I. Ten Lectures on Wavelets. SIAM, 1992. 357 c.

[18] Daubechies L, Han B. Pairs of dual wavelet frames from any two refinable functions // Constr. Approx. 2004. Vol. 20. P. 325-352.

[19] Daubechies /., Han B., Ron A., Shen Z. W. Framelets: MRA-based constructions of wavelet frames // Appl. Comput. Harmon. Anal. 2003. Vol. 14. P. 1-46.

[20] Dyn N., Skopina M. Decompositions of trigonometric polynomials related to multivariate subdivision schemes // Adv. in Comp. Math. 2011. P. 1-29. doi:10.1007/sl0444-011-9239-7

[21] Ehler M. The multiresolution structure of pairs of dual wavelet frames for a pair of Sobolev spaces // Jaen J. Approx. 2010. Vol. 2. P. 193-214.

[22] Gasca M., Sauer T. Polynomial interpolation in several variables // Adv. Comput. Math. 2000. Vol. 12. P. 377-410.

[23] Goh S. S.7 Lim Z. Y., Shen Z. Symmetric and antisymmetric tight wavelet frames // Appl. Comput. Harmon. Anal. 2006. Vol. 20. P. 411-421.

[24] Han B. Symmetric orthonormal scaling functions and wavelets with dilation factor 4 // Adv. in Comp. Math. 1998. Vol. 8, N 3. P. 221-247.

[25] Han B. Symmetry property and construction of wavelets with a general dilation matrix // Linear Algebra and its Applications. 2002. Vol. 353. P. 207225.

[26] Han B. Compactly supportes tight wavelet frames and orthonormal wavelets of exponential decay with a general dilation matrix // J. Comput. Appl. Math. 2003. Vol. 155. P. 43-67.

[27] Han B. Vector cascade algorithms and refinable function vectors in Sobolev spaces //J. Appr. Theory. 2003. Vol. 124. P. 44-88.

[28] Han B. Symmetric multivariate orthogonal refinable functions // Appl. Comput. Harmon. Anal. 2004. Vol. 17. P. 277-292.

[29] Han B. Matrix extension with symmetry and applications to symmetric orthonormal complex M-wavelets //J. Fourier Anal. Appl. 2009. Vol. 15. P. 684-705.

[30] Han B. Pairs of frequency-based nonhomogeneous dual wavelet frames in the distribution space // Appl. Comput. Harmon. Anal. 2010. Vol. 29, N 3. P. 330-353.

[31] Han B. Symmetric orthonormal complex wavelets with masks of arbitrarily high linear-phase moments and sum rules // Adv. Comput. Math. 2010. Vol. 32. P. 209-237.

[32] Han B. Symmetric orthogonal filters and wavelets with linear-phase moments //J. Comput. Appl. Math. 2011. Vol. 236. P. 482-503.

[33] Han B. Nonhomogeneous wavelet systems in high dimensions // Appl. Comput. Harmon. Anal. 2012. Vol. 32, N 2. P. 169—196.

[34] Han B., Jia R. Q. Multivariate refinement equations and convergence of subdivision schemes // SIAM J. Math. Anal. 1998. Vol. 29. P. 1177-1199.

[35] Han B., Mo Q. Symmetric MRA tight wavelet frames with three generators and high vanishing moments // Appl. Comput. Harmon. Anal. 2005. Vol. 18. P. 67-93.

[36] Han B., Shen Z. Dual wavelet frames and Riesz bases in Sobolev spaces // Constr. Approx. 2009. Vol. 29 P. 369-406.

[37] Han B., Zhuang X. S. Matrix extension with symmetry and its application to symmetric orthonormal multiwavelets // SIAM J. Math. Anal. 2010. Vol. 42. P. 2297-2317.

[38] Jetter K, Zhou D. X. Order of linear approximation from shift invariant spaces // Constr. Approx. 1995 Vol. 11, N 4. P. 423-438.

[39] Ji H., Riemenschneider S.D. and Shen Z. Multivariate compactly supported fundamental refinable functions, dual and biorthogonal wavelets / / Studies of Applied Mathematics. 1999. Vol. 102. P. 173-204.

[40] Jia R. Q. Approximation by quasi-projection operators in Besov spaces // J. Approx. Theory. 2010. Vol. 162, N 1. P. 186-200.

[41] Jia R. Q. Convergence rates of cascade algorithms // Proc. Amer. Math. Soc. 2003. Vol. 131. P. 1739-1749.

[42] Jia R. Q. Approximation properties of multivariate wavelets // Math. Comp. 1998. Vol. 67 P. 647-665.

[43] Jiang Q. T. Bi-frames with 4-fold axial symmetry for quadrilateral surface multiresolution processing //J. Comput, Appl. Math. 2010. Vol. 234. P. 33033325.

[44] Jiang Q. T. Biorthogonal wavelets with 6-fold axial symmetry for hexagonal data and triangle surface multiresolution processing // preprint, Jan. 2009.

[45] Karakaz'yan S., Skopina M., Tchobanou M. Symmetric multivariate wavelets // Int. J. Wavelets Multiresolut. Inf. Process. 2009. Vol. 7, N 3. P. 313-340.

[46] Krivoshein A. On construction of multivariate symmetric MRA-based wavelets // preprint, arXiv:1201.2606vl [math.FA].

[47] Krivoshein A. V. On construction of symmetric MRA-based framelike wavelet systems // Тезисы докладов международной конференции «Applied Harmonic Analysis and Multiscale Computing» в Эдмонтоне, Канада, 25-28 Июля, 2011. С. 15.

[48] Krivoshein А. V. Symmetric MRA-based wavelets // Тезисы докладов международной конференции «Wavelets and applications» в Санкт-Петербурге, Россия. 8-15 Июля, 2012. С. 57.

[49] Krivoshein А. V., Skopina М. A. Approximation by frame-like wavelet systems // Тезисы докладов международной конференции «Теория приближений» в Санкт-Петербурге, Россия, 6-8 Мая, 2010. С. 125-127.

[50] Krivoshein A., Skopina М. Approximation by frame-like wavelet systems // Appl. Comput. Harmon. Anal. 2011. Vol. 31. P. 410-428.

[51] Lam T. Y. Serre'sd conjecture. N.Y.: Springer-Verlag, 1978. 635 c.

[52] Lawton W., Lee. S. L., Shen Z. An algorithm for matrix extension and wavelet construction // Math. Comput. 1996. Vol. 65. P. 723—737.

[53] Park H., Woodburn C. An Algorithmic Proof of Suslin's Stability Theorem for Polynomial Rings // J. of Alg. 1994. Vol. 178. P. 277-298.

[54] Petukhov A. Symmetric framelets // Constr. Approx. 2003. Vol. 19. P. 309328.

[55] Petukhov A. Construction of symmetric orthogonal bases of wavelets and tight wavelet frames with integer dilation factor // Appl. Comput. Harmon. Anal. 2004. Vol. 17. P. 198-210.

[56] Ron A., Shen Z. Affine systems in L2(Rd): the analysis of the analysis operator // J. Func. Anal. 1997. Vol. 148. P. 408-447.

[57] Ron AShen Z. Affine systems in L2(Rd) II: dual systems // J. Fourier Anal. Appl. 1997. Vol. 3. P. 617-637.

[58] Skopina M. A. On construction of multivariate wavelets with vanishing moments // Appl. Comput. Harmon. Anal. 2006. Vol. 20, N 3. P. 375-390.

[59] Skopina M. A. Tight wavelet frames // Dokl. Ross. Akad. Nauk. 2008. Vol. 419, N 1. P. 26-29.

[60] Skopina M. A. On Construction of Multivariate Wavelet Frames // Appl. Comput. Harmon. Anal. 2009. Vol. 27. P. 55-72.

[61] Stanhill D., Zeevi Y. Y. Two-Dimensional Orthogonal Filter Banks and Wavelets with Linear Phase / / The IEEE Transactions on Signal Processing. 1998. Vol. 46, N 1. P. 183-190.

[62] Zhuang X. Matrix extension with symmetry and construction of biorthogonal multiwavelets with any integer dilation // Appl. Comput. Harmon. Anal. 2012. Vol. 33. P. 159-181.

Обратите внимание, представленные выше научные тексты размещены для ознакомления и получены посредством распознавания оригинальных текстов диссертаций (OCR). В связи с чем, в них могут содержаться ошибки, связанные с несовершенством алгоритмов распознавания. В PDF файлах диссертаций и авторефератов, которые мы доставляем, подобных ошибок нет.