Графы с контурами в кратномасштабном анализе на группах Виленкина

gence of certain cosine sums. Proc. Amer. Math. Soc., 1976, vol. 54, no. 1, pp. 101-105. DOI: 10.1090/S0002-9939-1976-0394002-8.

6. Garrett J. W., StanojeviC C. V. Necessary and sufficient conditions for L1 convergence of trigonometric series. Proc. Amer. Math. Soc., 1976, vol. 60, no. 1, pp. 68-71. DOI: 10.1090/S0002-9939-1976-0425480-3.

7. Agaev G. N., Vilenkin N. Ya., Dzafarli G. M., Rubinstein A. I. Mul'tiplikativnye sistemy funkcij i garmonicheskij analiz na nul'mernyh gruppah [Multiplicative Systems of Functions and Harmonic Analysis on Zero-dimensional Groups]. Baku, ELM, 1981. 180 p. (in Russian).

8. Iofina T. V., Volosivets S. S. On the degree of approximation by means of Fourier - Vilenkin series in Holder and Lp norm. East J. Approx., 2009, vol. 15, no. 3, pp. 143-158.

9. Volosivets S. S., Fadeev R. N. Estimates of best approximations in integral metrics and Fourier coefficients with respect to multiplicative systems. Analysis Mathematica, 2011, vol. 37, no. 3, pp. 215238. DOI: 10.1007/s10476-011-0304-8.

10. Zelin H. The derivatives and integrals of fractional order in Walsh - Fourier analysis, with applications to approximation theory. J. of Approx. Theory, 1983, vol. 39, iss. 4, pp. 361-373. DOI: 10.1016/0021-9045(83)90079-5.

Please cite this article in press as:

Agafonova N. Yu. On the L1 -convergence of Series in Multiplicative Systems. Izv. Saratov Univ. (N.S.), Ser. Math. Mech. Inform., 2016, vol. 16, iss. 4, pp. 371-377 (in Russian). DOI: 10.18500/1816-9791-2016-16-4-371-377.

УДК 517.986.62

ГРАФЫ С КОНТУРАМИ В КРАТНОМАСШТАБНОМ АНАЛИЗЕ НА ГРУППАХ ВИЛЕНКИНА

Г. С. Бердников

Бердников Глеб Сергеевич, ассистент кафедры математического анализа, Саратовский национальный исследовательский государственный университет имени Н. Г. Чернышевского, evrointelligent@gmail.com

В данной статье исследуется вопрос построения ортогонального кратномасштабного анализа на группах Виленкина. В предыдущих работах С. Ф. Лукомского, Ю. С. Крусс и автора обсуждается алгоритм построения масштабирующей функции ^ с компактным носителем, преобразование Фурье которой также имеет компактный носитель. Реализация данного алгоритма тесно связана с определенного типа ориентированными графами, строящимися по так называемым N-валидным деревьям. Особенностью этих графов является отсутствие ориентированных циклов — контуров, что позволяет строить функции с ограниченным носителем преобразования Фурье. Такой подход обладает рядом преимуществ. Во-первых, он не является переборным, в отличие от алгоритма, связанного с использованием блокированных множеств, описанного в работах Ю. А. Фаркова. Во-вторых, он удобен для обобщения на локальные поля положительной характеристики, что было проделано Ю. С. Крусс. Данная работа является первым шагом в использовании графов с контурами для аналогичных целей. Развивая идеи из предыдущих работ, по 1-валидному дереву мы строим граф с единственным простым контуром. Удается доказать, что такой граф также порождает ортогональную масштабирующую функцию. Однако из-за появления контура преобразование Фурье масштабирующей функции уже не будет иметь компактный носитель.

Ключевые слова: кратномасштабный анализ, группа Виленкина, графы, масштабирующая функция, вейвлет-анализ. DOI: 10.18500/1816-9791 -2016-16-4-377-388

ВВЕДЕНИЕ

Пусть (G, +) — локально компактная группа Виленкина, элементами которой являются бесконечные в обе стороны последовательности

x = (. . . , 0n-1,Xn,Xn+1, . . . ), Xj = 0,p - 1,

где p — любое простое число; gn = (..., 0n-1, 1n, 0n+l5...) — базисные элементы в G. Операция сложения + определяется как покоординатное сложение по модулю p, т.е. x+y = (xj+yj) = = (xj + yj mod p).

Пусть Gn = {x <G G : x = (..., 0n-1, xn, xn+1,...)}, n <G Z, — основная цепочка подгрупп, G^ — совокупность аннуляторов, X — группа всех характеров, rn <G G^+1 \ G^ — функции Радемахера на

группе С. Оператор растяжения А в группе С определяется равенством Ах := апдп-1, где

х = апдп е С, в группе характеров — равенством (хА, х) = (х, Ах). Определим множества

= е С : Л, = а-1д-1-+ а_2д_2+ • • • + а-5д-5}, 5 е М, Н0 = (х е С : х = а-1д-1-+ а-2д-2-- •.. + а-5д-5, 5 е М}.

Множество Н0 есть множество сдвигов в С. Оно есть аналог множества целых неотрицательных чисел.

В. Протасов, Ю. Фарков в работах [1-3] охарактеризовали все двоичные финитные всплески на и указали алгоритм их построения. Ю. Фарков в работах [4,5], рассматривая масштабирующие функции ^(х) с компактным носителем , получил необходимые и достаточные условия на маску т0 (х), которая порождает ортогональный кратномасштабный анализ (КМА). Эти условия были даны при дополнительном предположении

р-1

Е г-дТг-^1 • • • г-11 С)|2 = 1,

ао =0

которое является необходимым для ортогональности системы сдвигов соответствующей масштабирующей функции Ю. Фарков доказал, что в этом случае масштабирующая функция ^ порождает ортогональный КМА тогда и только тогда, когда маска т0 не имеет блокированных множеств. За-

N

дача нахождения блокированных множеств является переборной и требует перебора примерно 2Р различных вариантов, что реально только при достаточно малых р и N.

Поэтому возникла необходимость найти алгоритм построения ортогональной масштабирующей функции, не требующий перебора, что дало начало новому подходу, связанному с использованием различного типа графов. В работах [6,7] был найден непереборный алгоритм для нахождения но этот метод работает только в случае, когда функция |<£(х)| постоянна на смежных классах по подгруппе и принимает только два значения: 0 или 1. Впервые деревья появились в работах [8,9] и были использованы для построения КМА Рисса. В [10] удалось избавиться от условия Бирр ^(х) С , для этого было введено понятие N-валидного дерева и было доказано, что ступенчатая функция ^(х) с носителем Бирр ^(х) С и условием |<£(х)| = 0 или 1 порождает ортогональный КМА тогда и только тогда, когда ^(х) порождена N-валидным деревом.

В работе [11] удалось избавиться от условия |<£(х)| = 0 или 1 и указан алгоритм построения ортогональной масштабирующей функции с единственным ограничением: <£(х) — ступенчатая функция. Полученный алгоритм не требует перебора.

Задача построения такой функции сводится к построению некоторого графа, который, в свою очередь, строится по произвольному N-валидному дереву. Результатом является ортогональная масштабирующая функция с компактным носителем, преобразование Фурье которой также имеет компактный носитель, или, можно сказать, что функция имеет компактный носитель и ограниченную частотную полосу.

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

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

1. МАСШТАБИРУЮЩАЯ ФУНКЦИЯ С ОГРАНИЧЕННОЙ ЧАСТОТНОЙ ПОЛОСОЙ

Сначала обсудим случай, когда масштабирующая функция порождающая ортогональный КМА, является ступенчатой. Множество ступенчатых функций, постоянных на смежных классах по подгруппе См с носителем Бирр(^) С , обозначим через Эм), М, N е N. Аналогично (СМ) есть множество ступенчатых функций, постоянных на смежных классах по подгруппе О—N с носителем Бирр(^) С СМ. Если функция ^ е Эм) порождает ортогональный КМА, то она

удовлетворяет масштабирующему уравнению с(ж) = ^ вьс(Аж—Л,), которое можно записать в частотном виде (см. [7]):

/-1

где

= т0

то

Р леЯ"+1)

— маска уравнения (1). В [7] были доказаны следующие утверждения.

1. Если ср(х) £ (^М) есть решение масштабирующего уравнения (1) и система сдвигов (с(ж—есть ортонормированная система, то с порождает ортогональный КМА.

2. Если ср

р-1

^ по «м-п 12

Е г_дТ .. -г0ао . . .гММ-1 )|2 = 1.

ао ,а1,...,ам -1 =0

Таким образом, для построения ортогонального КМА нужно построить функцию ср(х) £ (^М), которая является решением масштабирующего уравнения (1) и для которой выполнены условия (3).

2. ПОСТРОЕНИЕ ОРТОГОНАЛЬНОЙ МАСШТАБИРУЮЩЕЙ ФУНКЦИИ С ОГРАНИЧЕННОЙ ЧАСТОТНОЙ ПОЛОСОЙ

Определение 1. Пусть N — натуральное число, р — простое. Под N-валидным деревом мы будем понимать дерево, ориентированное от листа к корню и удовлетворяющее следующим условиям:

1) корень и все вершины вплоть до ^ — 1)-го уровня имеют значение, равное нулю;

2) любой путь (ак ^ ак+1 ^    ^ _1) длины N — 1 присутствует в дереве ровно один раз. Здесь а = 0,р — 1.

Выберем N-валидное дерево Т и будем строить по нему масштабирующую функцию. Алгоритм 1.

1. По дереву Т строим новое дерево Т следующим образом. Заменяем последовательность из N нулей, заканчивающуюся корнем дерева на одну вершину со значением (0^,0^_1,...,01). Все вершины ^+1)-го уровня дерева Т теперь связаны с этой вершиной в дереве Т Она является корнем дерева Т. Без изменения связей переобозначаем остальные вершины. Если в дереве Т с вершины начинался путь из N элементов в направление к корню а^ ^ а^_1 ^    ^ а1, то в новом дереве Т данная вершина будет иметь значение, равное N-мерному вектору (а^, а^_15..., а1). В силу условия N-валидности дерева Т каждому такому вектору в дереве Т соответствует единственная вершина. Так, если мы обозначим ) = Н, = Н, то, очевидно, Н = Н — N + 1.

Такое дерево будем называть N-валидным деревом в развернутой форме записи.

2. Теперь по дереву Т строим граф Г. Каждую вершину = (а^, а^_1?..., а1) дерева Т свяжем со всеми вершинами низшего уровня, имеющими вид (а^_ь..., а15 а0), т. е. первые ^—1) элементов этой вершины совпадают с последними ^ — 1) элементами вершины . Вершины, с которыми вершина связана, мы будем обозначать (а^ _1, ...,а15а0), т.е. а0 £ {а0} тогда и только тогда, когда вершина а^ связана с вершиной (а^_ь..., а1? а0) в графе Г.

3. Обозначим

А = |т (^ +1 га-1 гао )|2

Если вершина (а_^, ..., а_1) в графе Г связана с вершинами (а_^+1 +2 ,...,а_1, а0),

то значения маски определяем так, чтобы

^ ^ Аа-N,а-N + 1 ,...,а_1 ,ао 1, Аа_N,а-N + 1 ,...,а-1 ,ао 0, а0 £ {а0}.

ао

Определим ) = 1, откуда следует, что А0,0,...,0 = 1.

4. Пользуясь равенством (1), по маске можно восстановить преобразование Фурье масштабирующей функции ср. Затем при помощи обратного преобразования Фурье можно получить саму функцию с

В работе [11] был использован следующий подход. Можно заметить, что условие (3) ортонорми-рованности системы сдвигов масштабирующей функции с(х) можно переписать в виде

V a-N, a_N+i, • • •, a-i = 0,p — 1, p-i

i = Е r_NN • • • raí1 с • • • rM-i1 )i2 =

ao,ai ,...,ам-1=0 p_1 P_1 P_1

'y y ^a-N ,a-N+1 ,...,ao ^a-N + l,a-N+2 ,...,ai ' ' ' AaM-N-2,aM-N-1 ,---,au-2 ,

ao =0 a1=0 aM — 2 =0

P_1

^ у AaM-N-1 ,aM-N,...,aM-1 AaM-N,aM-N+1 ,...,aM-1,0^aM-N + 1 ,aM-N+2,...,aM-1,0,0 • • • AaM-1,0,...,0• (5) aM-1=0

Задается последовательность N-мерных массивов A(n) = («(П,12,...,зд)Р1_1=0 рекуррентно через их элементы:

,...,iN = ^¿1 ,Í2 ,...,iN ,0A¿2,¿3,...,¿n ,0,0 • • • A¿n ,0,...,0,

P_1

a

¿1 ,¿2 ,-,ÍN

A¿1 ,¿2 ,...,iN ,j a

j=0

Мы будем говорить, что элемент массива а(^2 ^ соответствует вершине (г1, г2, • • •, гд). Пользуясь новыми обозначениями, условие ортонормированности (5) можно переформулировать в следующем

Система сдвигов масштабирующей функции с(х) е Эм(С_д) будет ортонормированной тогда и только тогда, когда для любых г1; г2, • • •, а(М2 ^ = 1, иными словами, когда массив А(м) состоит только из единиц.

В работе [11] были доказаны следующие три утверждения.

Лемма 1. В массиве на местах, соответствующих вершинам уровня 5 ^ N в дереве Т, стоят единицы.

Лемма 2. Пусть по N-валидному дереву Т построены дерево Т, граф Г и определены значения маски т0 (х) так, как указано в равенствах (4). Пусть (А(п))£=0 — последовательность массивов, определяемая равенствами (6) и (7). Тогда в массиве

элементы, соответствующие вершинам

уровня 5 ^ N + п в дереве Т, равны единице.

Теорема 1. Пусть по N-валидному дереву Т построены дерево Т, граф Г и определены значения маски т0(х) так, как указано в равенствах (4). Пусть Н = Л,егдЛ,£(Т). Тогда равенство

#Х) = П то0(XA_k) е D_n(GM) k=0

определяет ортогональную масштабирующую функцию с(х) е Эм(С_д), причем М = Я — N.

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

3. МАСШТАБИРУЮЩИЕ ФУНКЦИИ С НЕОГРАНИЧЕННОЙ ЧАСТОТНОЙ ПОЛОСОЙ

В этом параграфе мы будем рассматривать такие функции с, что промежутки постоянства их преобразования Фурье ср — смежные классы по а носитель неограничен. По аналогии с предыдущими обозначениями будем говорить, что ср е Э_1 (С^) и с(х) е (С-1).

Критерий ортонормированности системы сдвигов по функциям такого класса можно записать как:

Нш

м

р_1 Е

ао ,«1 ,...,ам _1 =0

|£(С_1 г__1 г0ао ... гМм_-11 )|2 = 1, V а_1 = 0,р — 1.

Рассмотрим 1-валидное дерево Т. Корнем его является 0, а остальные вершины принимают различные значения от 1 до р — 1.

Например, при р = 2 существует только одно 1-валидное дерево (рис. 1,а), а при р = 3 — три различных дерева (рис. 1, б).

а б

Рис. 1. 1-валидные деревья

При увеличении р их количество быстро возрастает.

Найдем в 1-валидном дереве путь, удовлетворяющий следующим условиям:

Т1. Он не содержит вершину 0.

Т2. Полустепень захода всех вершин пути не более чем 1, т.е. в каждую вершину «входит» не более чем одна дуга.

Т3. Путь содержит лист.

Такой путь будем называть путем Т^, где Н ^ 0 — длина пути. В случае Н = 0 будем считать, что путь состоит только из листа.

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

Построить по такому контуру функцию ср можно, воспользовавшись третьим пунктом алгоритма 1.

Для удобства доказательства последующей теоремы мы введем некоторые обозначения по аналогии с работой [11] (см. формулу (5)). Сначала заметим: условие (8) о том, что система сдвигов по функции с(ж) £ является ортонормированной, можно переписать в следующем виде:

р_1

р_1

р_1

1 = Мш £ |<р(с_1 г_11 г_о ...гМм_-11 )|2 =

_о ,_1,...,_м-1=0 Р_1

Р_1

М-ШОо ^ А_-1 ,_о ^ А_о,_1    £ А

Ч_м-3 ,ам-2

_0=0

_1 =0

_м-2=0

А

_м-1=0

_м-2 ,аМ-1'ч_м-1

А_

ьо, V а_1 = 0,р — 1.

Теперь зададим последовательность одномерных массивов А(п) = (а(п) )Р=0 рекуррентно через их

элементы:

Л(0) = А Р_1

5=0

Мы будем говорить, что элемент массива соответствует вершине г.

Если представить массивы А(п) в виде столбцов, то можно заметить, что в данном случае при

N = 1 рекуррентные соотношения

р_1

1^2/¿1 ,г2 =0

на

столбец и могут быть переписаны в виде А(п) = ЛА(п 1).

Пользуясь новыми обозначениями, условие ортонормированности (8) можно переформулировать в следующем виде.

Система сдвигов функции с(ж) £ (С_1) будет ортонормированной тогда и только тогда, когда НшМа(М) = 1 для всех г, иными словами, когда предел каждой компоненты массива А(М) равен единице.

Лемма 3. Предел каждой компоненты массива А(м), построенного вышеописанным образом, равен единице.

Доказательство. Пусть дано 1-валидное дерево Т. Выберем путь Т^, удовлетворяющий условиям Т1-Т3 и построим граф Г^, связав последнюю вершину этого пути с первой. Теперь перенумеруем вершины, пользуясь обходом в ширину поддерева графа Г^, которое получается исключением из него вершин и дуг контура Т^. Таким образом, сначала будем иметь корень — вершину 0, затем — вершины первого уровня, затем — вершины, связанные с первой из вершин первого уровня, затем — вершины, связанные со второй из вершин второго уровня, и т. д. После этого нумеруем вершины пути Т^ в порядке от вершины меньшего уровня до листа. Они будут иметь номера от р — Н — 1 до р — 1. Полученная по алгоритму 1 матрица значений маски будет иметь вид

Л =

Л

В1

0

В2

Здесь Л — матрица размерности (р — Н — 1) х (р — Н — 1), состоящая из нулей и единиц, причем в каждой строке ровно одна единица:

Л=

100 100

100 010 010

010 0 0 1 0 0 1

000

00 00

00 00 00

00 00 00

10

Она описывает связи в поддереве графа Г^, которое получается исключением из него контура Т^. Матрица В1 имеет размерность (Н + 1) х (р — Н — 1) и описывает связь контура с остальной частью графа. В ней только один ненулевой элемент. Если г — это номер (в новой нумерации) той вершины, с которой связан путь Т^, то ¿0 ^ = в, а остальные элементы — нули. Матрица В2 имеет размерность (Н - 1) х (Н - 1) и следующий вид:

В2 =

0 0 0. .0 м

1 0 0. .0 0

0 1 0. .0 0

0 0 1. .0 0

000

10

Она описывает связи между элементами внутри контура. Заметим, что исходя из пункта 3 алгоритма 1 в1 > 0, в2 > 0, в1 + в2 = 1.

Нулевой столбец Л0 матрицы Л будет являться вектором А(0) = Л0. Представим столбец А(м) в виде

А = ^В(м)) -

Здесь длины А(м) и В(м) равны р — Н — 1 и Н + 1 соответственно. Тогда

А(м+1) = ла(м ) =

Л0

В1 В2

Л  А

В1  А

1)

/ А

Матрица Л и столбец А(0), а также все столбцы А(М) соответствуют той части графа, в которой контура нет, и видно, что ни матрицы, ни столбцы В на них никак не влияют. Значит, применима лемма 2 — на каждом месте г столбца А(М) единица появится на шаге М = I — 1, где I — уровень вершины г. Следовательно, при М ^ го единица появится на всех местах этого столбца.

Рассмотрим теперь столбец В(М). Пусть вершина низшего уровня в пути Т^ = ((р — 1) ^ ^ (р — 2) ^    ^ (р — Н — 1)) имела уровень 5 + 1, а вершина р — Н — 1 связана с вершиной г, очевидно, уровня 5. Пусть 5 ^ 2. Тогда а(в_1) = 1 по лемме 2, т.е. на (5 — 1)-м шаге, на г-м месте в массиве А(в_1) стоит единица. Во время предыдущих шагов на этом месте стоит ноль, следовательно, и подстолбец В(в_1) состоит только из нулей.

Докажем, что на шаге 5 — 1 + п = 5 — 1 + к1 (Н + 1) + к2, к1 £ Ж, к2 = 0, Н столбец В(п+в) имеет

вид

В(п+в) = (ак1 +15 +15... 5 +1, ак1,...,

к2 раз

где последовательность ак определяется формулами:

«0 = 0, «к + 1 = в1 + в2«к.

Доказательство проведем по индукции.

1. Сначала пусть п = 1, что означает к1 =0, к2 = 1. Уже было замечено, что, с одной стороны, а(в) = 1, а с другой, &0 г = въ а остальные элементы В1 равны нулю, следовательно,

В1  А(в) =

0

0 0

0 в1 0 000

000

0

0 0

/а(в)\

(в) Ч~1

,

в1

0 0

Более того, этот же результат, очевидно, будет верен и для любого шага 5 — 1 + п, где 5 определено ранее, а п — произвольное натуральное число, так как единица останется на том же месте, а остальные элементы свой вклад не вносят.

Столбец В(в) состоит только из нулей, следовательно, В2  В(в) — также нулевая матрица. Имеем

В (в+1) = В1 А(в) + В2 В(в) =

в1

0 0

/аЛ

«0

что доказывает базу индукции.

2. Пусть теперь равенство (11) выполняется для п = к. Докажем, что оно верно для п = к + 1. Рассмотрим два случая.

2.1. Пусть к = к1(Н + 1), к2 = 0. Значит, на шаге к имеем

В (в+к) =

(«кЛ

ак1

\ак1/

; В1  А(в+к) =

в1

0 0

1

Можно заметить, что при умножении на вектор матрицы

В2 =

000 1 0 0 010 001

• 0 в2\

. 0 0

• 0 0

• 0 0

\0 0 0 • • • 1 0 /

происходит циклическая перестановка элементов вектора с последующим умножением первой компоненты на в2. Тогда получаем

В(* + к + 1) = В 1Д(5+к) + В2 В^ + к) =

(вЛ

0

( в2ЙкЛ

-

\ «к! )

(«к! + Л «к!

\ «к! )

2.2. Пусть теперь к = к1 (Н + 1) + к2, к2 = 1, Н. Имеем

В(к + з) = («к! +1 , «к! +1 , • • • , «к!+1, «к! , • • • , «к! )Т •

Тогда

к2 раз

^вЛ 0

В (к + а+1) = В1 Д^ + к) + В 2В (*+к) =

1 0 0 • •0 0

0 - 0 1 0 • •0 0

0 0 0 1 • •0 0

0

0 0 0 • •1 0

0

/^вЛ /в2 «кЛ /«к! + Л

^ «к! +1^ «к! +1

«к! +1 «к! «к!

\ «к! /

-

«к! + 1

«к! + 1 «к! + 1 «к!

«к! + 1

«к! + 1 «к! + 1 «к!

V0/ V «к^ V «к! /

Индукция доказана, представление (11) верно.

Исследуем теперь последовательность (12). Нетрудно проверить, что последовательность вк+1 = = в1 + в2«к является монотонно возрастающей и ограниченной сверху при в1 + в2 = 1, в1 > 0, в2 > 0, следовательно, имеет конечный предел. Обозначим его Для нахождения предела положим в (12) к ^ го. Получим

Отсюда имеем

« = в1 + (1 — в1)«, « =1. Иш В(м) = (1,1,..., 1)т.

м ^^

0

0

Учитывая, что также по лемме 2 lim A(M) = (1,1,..., 1)T, получаем

м ^^ v 7

м ^ro

lim A(M) = (1,1,..., 1)T.

Таким образом, утверждение леммы справедливо при 5 ^ 2.

Напомним, что вершина низшего уровня в пути Т^ = ((р — 1) ^ (р — 2) ^    ^ (р — Н — 1)) имела уровень 5 + 1, а вершина р — Н — 1 связана с вершиной г, очевидно, уровня 5. Пусть теперь 5 = 0 или 5 = 1. В этом случае уже на нулевом шаге в столбце Д(0) на г-м месте стоит 1, что упрощает доказательство. Результат, аналогичный результату при 5 ^ 2, можно получить, проведя подобную индукцию для шагов вида п = к1 (Н + 1) + к2, т. е. в сравнении со случаем 5 ^ 2 пропадает слагаемое 5 — 1. В остальном доказательство абсолютно идентичное. Лемма доказана полностью.

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

Для иллюстрации этого процесса рассмотрим следующий пример.

Пример. Рассмотрим дерево р = 7 (рис. 2, а). Выберем путь Т = (6 ^ 1) и соединим последнюю вершину с первой. Получим граф Г1 (рис. 2, б).

Следуя схеме доказательства теоремы, необходимо перенумеровать вершины. Сначала рассмотрим поддерево графа Г1, получающееся исключением из него контура Т. Перенумеруем вершины соответственно обходу в ширину, как показано на рис. 2, в.

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

а

б

Гв

в г

Рис. 2. Построение графа Г и перенумерация его вершин

Его матрица Л имеет вид

/1 0 0 0 0 0 0\ 1 0 0 0 0 0 0 1 0 0 0 0 0 0

Л= 0 1 0 0 0 0 0

0 1 0 0 0 0 0 0 0 в1 0 0 0 в2 0 0 0 0 0 1 0

В этом случае

Л=

1 1 1

0 0

0 0 0

0 0

В1 =

в1 0

В2 =

в2 0

Далее выпишем несколько первых элементов последовательности столбцов определяемых

по формулам (9), (10). Иными словами, = Л0, где Л0 — нулевой столбец матрицы Л, а

А(п) = ЛА(п_1). Последовательность получается следующая:

1 1 1 0 0

0 0

1 1 1 1 1

в1 0

1 1 1 1 1 в1 в1

(

\

(

\

(

\

в1 + в2 (в1 + в1 в2 ) в1 + в1 в2

в1 + в1в2 в1 + в1 в2 в1 / \в1 + в1 в2^ V

Так как 5 — уровень вершины, с которой связан контур, — равен 1, то уже на первом шаге в массиве появляются элементы последовательности ап, причем появляются они на последних местах. Если же рассмотреть граф Г^ до перенумерации и построить его матрицу Л, то получим

Л=

1 0 1 0 1

0 0

0 в1 0 0 0 0 0

0

в2 0 0 0

0 0

Построенная по такой матрице последовательность будет иметь вид

1 1 1 1 1 1

0 в1 в1 в1 + в2в1 в1 + в2 в1 в1 + в2

1 1 1 1 1 1

0 , 1 , 1 , 1 , 1 , 1

1 1 1 1 1 1

0 1 1 1 1 1

0 0 в1 в1 \в1 + в2 в1 / \ в1 + в2в1 /

Можно заметить, что в этом случае не изменился вид элементов, а изменился только их порядок. Следовательно, и в случае (13), и в случае (14) в пределе получим столбец из единиц. На этом мы заканчиваем пример.

Основным результатом работы является следующая теорема.

Теорема 2. Пусть по 1-валидному дереву Т построен граф Г^ и определены значения маски т0 (х) так, как указано в пункте 3 алгоритма 1. Тогда равенство

£

к=0

определяет ортогональную масштабирующую функцию с(ж) £ (С_1). Доказательство этого факта очевидным образом вытекает из леммы 3. Работа выполнена при финансовой поддержке РФФИ (проект № 16-01-00152-а).

о

Библиографический список

1. Протасов В. Ю., Фарков Ю. А. Диадические вей-влеты и масштабирующие функции на полупрямой // Матем. сб. 2006. Т. 197, № 10. С. 129-160. 001: 10.4213/зш1126.

2. Фарков Ю. А. Биортогональные диадические вей-влеты на полупрямой // УМН. 2007. Т. 62, № 6(378). С. 189-190. 001: 10.4213/гш8541.

3. Протасов В. Ю. Аппроксимация диадическими всплесками // Матем. сб. 2007. Т. 198, № 11. С. 135-152. 001: 10.4213^1981.

4. Фарков Ю. А. Ортогональные вейвлеты с компактными носителями на локально компактных Абелевых группах // Изв. РАН. Сер. матем. 2005. Т. 69, вып. 3. С. 193-220. 001: 10.4213/!ш644.

5. Фарков Ю. А. Ортогональные вейвлеты на прямых произведениях циклических групп // Матем. заметки. 2007. Т. 82, вып. 6. С. 934-952 . 001: 10.4213/шгш4181.

6. Лукомский С. Ф. Кратномасштабный анализ на нульмерных группах и всплесковые базисы // Матем. сб. 2010. Т. 201, № 5. С. 41-65. 001: 10.4213/зш7580.

10.

11.

Lukomskii S. F. Step Refinable Functions and Orthogonal MRA on Vilenkin Groups // J. Fourier Anal. Appl. 2014. Vol. 20, iss. 1. P. 42-65. DOI: 10.1007/s00041-013-9301-6.

Лукомский С. Ф. Кратномасштабный анализ Рисса на группах Виленкина // Докл. АН. 2014. Т. 457, № 1. С. 24-27. DOI: 10.7868/S0869565214 190086.

Лукомский С. Ф. Кратномасштабный анализ Рисса на нульмерных группах // Изв. РАН. Сер. матем. 2015. Т. 79, вып. 1. С. 153-184. DOI: 10.4213/im8181.

Lukomskii S. F., Berdnikov G. S. N-Valid trees in wavelet theory on Vilenkin groups // Int. J. Wavelets Multiresolut Inf. Process. 2015. Vol. 13, iss. 5, 1550037. 23 p. DOI: 10.1142/S02196913155 0037X.

Бердников Г. С., Лукомский С. Ф., Крусс Ю. С. Об ортогональности системы сдвигов масштабирующей функции на группах Виленкина // Ма-тем. заметки. 2015. Т. 98, № 2. С. 310-313. DOI: 10.4213/mzm10664.

Образец для цитирования:

Бердников Г. С. Графы с контурами в кратномасштабном анализе на группах Виленкина // Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2016. Т. 16, вып. 4. С. 377-388. 001: 10.18500/1816-97912016-16-4-377-388.

7

Graphs with Contours in Multiresolution Analysis on Vilenkin Groups

G. S. Berdnikov

Gleb S. Berdnikov, Saratov State University, 83, Astrakhanskaya str., 410012, Saratov, Russia, evrointelligent@gmail.com

The aim of this article is to study the problem of constructing mutiresolution analysis on Vilenkin group. Previous papers by S. F. Lukomskii, lu. S. Kruss and the author present an algorithm for constructing scaling functions ^ with compact support, Fourier transform of which also has compact support. The description of such algorithm is tightly connected with directed graphs of special structure, which are constructed with the help of so-called N-valid trees. One of the special properties of these graphs is the absence of directed cycles — contours. This property allowsadmits the construction of scaling functions Fourier transform of which has compact support. This approach has a number of advantages. Firstly, this algorithm does not include exhaustive search in contrast to algorithm using the noton of "blocked sets", which is described in the papers by Yu. A. Farkov. Secondly, such approach is conveniently generalized to the case of local fields of positive characteristic, which was done in the papers by Kruss lu. S. The contents of the current paper represents the first step of using digraphs with contours for similar purpose. Taking further the ideas of previous research we construct digraph with only one simple contour using 1-valid tree. It appears that such graph also generates a scaling function However, since the contour appears, such scaling function's Fourier transform does not have compact support.

Key words: multiresolution analysis, Vilenkin group, scaling function, graphs, wavelet analysis.

This work was supported by the Russian Foundation for Basic Research (projects no. 16-01-00152-u).

References

1. Protasov V. Yu., Farkov Yu. A. Dyadic wavelets and refinable functions on a half-line. Sb. Math., 2006, vol. 197, no. 10, pp. 1529-1558. DOI: 10.1070/SM2006v197n10ABEH003811.

2. Farkov Yu. A. Biorthogonal dyadic wavelets on a half-line. Russian Math. Surveys, 2007, vol. 62,

no. 6, pp. 1197-1198. DOI: 10.1070/RM2007v062 n06ABEH004494.

3. Protasov V. Yu. Approximation by dyadic wavelets. Sb. Math., 2007, vol. 198, no. 11, pp. 1665-1681. DOI: 10.1070/SM2007v198n11ABEH003900.

4. Farkov Yu. A. Orthogonal wavelets with compact

support on locally compact Abelian groups. Izv. Math., 2005, vol. 69, iss. 3, pp. 623-650. DOI: 10.1070/IM2005v069n03ABEH000540.

5. Farkov Yu. A. Orthogonal wavelets on direct products of cyclic groups. Math. Notes, 2007, vol. 82, iss. 5-6, pp. 843-859. DOI: 10.1134/S000 1434607110296.

6. Lukomskii S. F. Multiresolution analysis on zero-dimensional Abelian groups and wavelets bases. Sb. Math., 2010, vol. 201, no. 5, pp. 669-691. DOI: 10.1070/SM2010v201n05ABEH004088.

7. Lukomskii S. F. Step Refinable Functions and Orthogonal MRA on Vilenkin Groups. J. Fourier Anal. Appl., 2014, vol. 20, iss. 1, pp. 42-65. DOI: 10.1007/s00041-013-9301-6.

8. Lukomskii S. F. Riesz Multiresolution Analy-

sis on Vilenkin Groups. Doklady Math., 2014, vol. 90, no. 1, pp. 412-415. DOI: 10.1134/S10645 62414040061

9. Lukomskii S. F. Riesz multiresolution analysis on zero-dimensional groups. Izv. Math., 2015, vol. 79, iss. 1, pp. 145-176. DOI: 10.1070/IM2015 v079n01ABEH002737.

10. Lukomskii S. F., Berdnikov G. S. N-Valid trees in wavelet theory on Vilenkin groups. Int. J. Wavelets Multiresolut Inf. Process, 2015, vol. 13, iss. 5, 1550037. 23 p. DOI: 10.1142/S021969131550037X.

11. Berdnikov G. S., Lukomskii S. F., Kruss Yu. S. On orthogonal systems of shifts of scaling function on local fields of positive characteristic. Math. Notes, 2015, vol. 98, iss. 2, pp. 339-342. DOI: 10.1134/S000143461507038X.

Please cite this article in press as:

Berdnikov G. S. Graphs with Contours in Multiresolution Analysis on Vilenkin Groups. Izv. Saratov Univ. (N. S ), Ser. Math. Mech. Inform., 2016, vol. 16, iss. 4, pp. 377-388 (in Russian). DOI: 10.18500/1816-9791-2016-16-4-377388.

УДК 517.52

РЯДЫ ФУРЬЕ ПО ПОЛИНОМАМ МЕЙКСНЕРА, ОРТОГОНАЛЬНЫМ ПО СОБОЛЕВУ

Р. М. Гаджимирзаев

Гаджимирзаев Рамис Махмудович, младший научный сотрудник отдела математики и информатики, Дагестанский научный центр РАН, Махачкала, ramis3004@gmail.com

В настоящей статье рассматривается система дискретных функций {ру,к(х)}^0, которая является ортонормированной относительно скалярного произведения типа Соболева следующего вида:

г-1

(/,д) /(-г)Д"д(-г)+ £ Дг/тгд(Ь)^Ь),

^=0 teпr

где = (1 - д), = {-г, -г + 1,..., 0,1,...}, 0 < д < 1. Показано, что сдвинутые классические полиномы

Г ( + ) [к] ^ Г-1

Мейкснера {М-Т(х + г)}Г= вместе с функциями вида ^ — г образуют полную ортогональную систему в

Г К ' ) к=0

пространстве (Пг), в котором введено указанное скалярное произведение (/,д). Установлено, что ряд Фурье по полиномам Мейкснера {акМ-Г(х + г)}*=Г (ак — нормирующие множители), ортонормированным в смысле Соболева, является частным случаем смешанных рядов по полиномам Мейкснера. Кроме того, введен новый специальный ряд по ортогональным полиномам Мейкснера Ма (х) с а > -1, который в случае а = г совпадает с соответсвующим смешанным рядом по полиномам Мейкснера М°(х) и рядом Фурье по системе полиномов Мейкснера {а кМ-Г(х + г)}^=г, ортонормированным в смысле Соболева.

Ключевые слова: полиномы Мейкснера, смешанный ряд, специальный ряд, скалярное произведение типа Соболева, полиномы, ортогональные по Соболеву.

DOI: 10.18500/1816-9791 -2016-16-4-388-395

ВВЕДЕНИЕ

Теория полиномов, ортогональных относительно скалярных произведений типа Соболева (полиномы, ортогональные по Соболеву), получила развитие в работах многих авторов (см. [1-5] и цитированную там литературу). Были достаточно подробно исследованы различные особенности полиномов,