CC BY
29
12. Terekhin P. A. Translates and dilates of function with nonzero integral. Mathematics. Mechanics: Collection of Scientific Papers, Saratov, Saratov Univ. Press, 1999, iss. 1, pp. 67-68 (in Russian).
13. Terekhin P. A. Inequalities for the components of summable functions and their representations by elements of a system of contractions and shifts. Russian Math., 1999, vol. 43, no. 8, pp. 70-77.
14. Terekhin P. A. Riesz bases generated by contractions and translations of a function on an interval. Math. Notes, 2002, vol. 72, iss. 4, pp. 505-518. DOI: 10.1023/A:1020536412809.
15. Terekhin P. A. On perturbations of the Haar system. Math. Notes, 2004, vol. 75, iss. 3, pp. 466469. DOI: 10.1023/B:MATN.0000023325.89390. 66.
16. Terekhin P. A. Convergence of biorthogonal se-
ries in the system of contractions and translations of functions in the spaces Lp[0,1]. Math. Notes, 2008, vol. 83, iss. 5, pp. 722-740. DOI: 10.1134/S000143460805009X.
17. Terekhin P. A. On the components of summable functions represented by elements of families of wavelet functions. Russian Math., 2008, vol. 52, no. 2, pp. 51-57. DOI: 10.1007/s11982-008-2008-3.
18. Terekhin P. A. Linear algorithms of affine synthesis in the Lebesgue space L1 [0,1]. Izv. Math., 2010, vol. 74, iss. 5, pp. 993-1022. DOI: 10.1070/IM2010v074n05ABEH002513.
19. Terekhin P. A. Best approximation of functions in L p by polynomials on affine system. Sb. Math., 2011, vol. 202, no. 2, pp. 279-306. DOI: 10.1070/SM2011v202n02ABEH004146.
Please cite this article in press as:
Al-Jourany Kh. H. H., Mironov V. A., Terekhin P. A. Affine System of Walsh Type. Completeness and Minimality. Izv. Saratov Univ. (N.S.), Ser. Math. Mech. Inform., 2016, vol. 16, iss. 3, pp. 247-256 (in Russian). DOI: 10.18500/18169791-2016-16-3-247-256.
УДК 517.51
ОРТОГОНАЛЬНЫЕ СИСТЕМЫ СДВИГОВ В ПОЛЕ р-АДИЧЕСКИХ ЧИСЕЛ
А. М. Водолазов1, С. Ф. Лукомский2
1 Водолазов Александр Михайлович, кандидат физико-математических наук, доцент кафедры компьютерной алгебры и теории чисел, Саратовский национальный исследовательский государственный университет имени Н. Г. Чернышевского, vam21 @yandex.ru
2Лукомский Сергей Федорович, доктор физико-математических наук, профессор кафедры математического анализа, Саратовский национальный исследовательский государственный университет имени Н. Г. Чернышевского, [email protected]
В 2010 г. S. Albeverio, С. Евдокимов и М. Скопина доказали, что если система сдвигов (р(х-~Ь)) ступенчатой функции ^ ортонормирована, функция ^ порождает ортогональный р-адический кратно масштабный анализ (КМА), то носитель ее преобразования Фурье лежит в единичном шаре. Мы доказываем, что в некоторых случаях требование «^ порождает КМА» можно опустить. В общем случае мы указываем количество линейно независимых ступенчатых функций, сдвиги которых образуют ортонормированную систему.
Ключевые слова: ортогональные системы сдвигов, поле р-адических чисел, р-адический КМА. DOI: 10.18500/1816-9791 -2016-16-3-256-262
ВВЕДЕНИЕ
Первые примеры вейвлетов на нуль-мерных группах принадлежат В. Ленгу [1-3] и относятся к случаю двоичной группы Кантора. Начиная с этого момента можно выделить две группы работ. С одной стороны, начались исследования кратно масштабного и вейвлет-анализа на группах Ви-ленкина [4-7], с другой стороны — на полях р-адических чисел Qp. Оказалось, что эти две теории существенно отличаются. В случае групп Виленкина при любых натуральных М, N можно построить ступенчатую ортогональную масштабирующую функцию порождающую кратно масштабный анализ (КМА), которая постоянна на смежных классах по подгруппе Ом и имеет носитель Бирр^ С О-м, где (Оп) — основная цепочка подгрупп, порождающая топологию [7]. Для групп р-адических чисел ситуация иная. Если ступенчатая ортогональная масштабирующая функция порождающая КМА,
имеет носитель Бирр^ С и постоянна на смежных классах по подгруппе Ом, то М = 0 [8,9]. Оказывается, что в некоторых случаях в последнем утверждении можно не требовать, чтобы ^ была масштабирующей и порождала КМА. Достаточно потребовать, чтобы система сдвигов ^(х—Л) была ортонормированной и выполнялось условие |<£>(О^)| = 1- Доказательству этого утверждения и посвящена настоящая статья.
1. ОСНОВНЫЕ ПОНЯТИЯ
Пусть р — простое, О — локально компактная нуль-мерная группа с основной цепочкой подгрупп
(О„) тее ж, (Оп/Оп+1= P, базисной последовательностью #п £ <°п \ Оп+1- Последнее означает, что любой элемент ж £ О однозначно представим в виде суммы ряда
x =
Xngn, Xn = 0,p - 1,
в котором количество слагаемых с отрицательными номерами конечно. Отображение
^(ж) = хпрп, хп = 0,р — 1
переводит группу О в полупрямую [0, Его обычно называют отображением Монна. Пусть (дп)
удовлетворяют условиям рдп = дп+ь Группа с таким условием называется группой р-адических чисел. Она есть аддитивная группа поля qp всех р-адических чисел, т.е. О = q+. Конкретной реализацией такой группы является совокупность бесконечных в обе стороны последовательностей х = (...,0,жк,хк+15...), к £ ж, XI =0 при I < к и хг = 0,р — 1. Операция сложения в такой группе определяется покоординатно по модулю р с переносом единицы, возникающей при переполнении, в следующий разряд направо. Основная цепочка в этом случае состоит из подгрупп
Gn = {x =(..., 0,Xn,Xn+i,...): Xi =0,p - 1}, n G z. В качестве gn удобно выбирать элементы gn = (...,0,1n,0n+1,...). Обозначим
Но = {h = a-ig-i+ a_ig-2+... + a-sg-s : s G n},
^ = {h = a^g^-ba-1 g-2 + ... + a-Ng-N}, N G n.
Множество H0 есть множество сдвигов, так как при отображении Монна оно переходит в множество целых неотрицательных чисел.
Через X будем обозначать множество характеров группы G, через G^ — аннуляторы подгрупп Gn. Совокупность аннуляторов (G^)nGZ образуют возрастающую последовательность:
Gn С Gn+1, П Gn = 1, (Gn+1 /Gn )Й = U Gn = X.
nEZ n£Z
При каждом k G z выбираем характеры rk G (G¡¿"+1 \ G^) и фиксируем их. Характеры rk называют функциями Радемахера. Любой характер х G X однозначно представим в виде произведения
m
х =Ц ra = П ra, ak = 0^"-%
kEZ к=-ж
в котором лишь конечное число показателей ak с положительными номерами отлично от нуля. Лемма 1. Для любой локально-компактной нуль-мерной группы
of (x,x) (х) = ice (x);
2) f (X,x) dMx) = 1G( (х)-
Ge
Первое равенство доказано в [7], второе равенство двойственно первому.
Лемма 2. Для любой локально-компактной нуль-мерной группы и для любого n е z
1) I (х,x) dv(х) = pnic„ (x);
g°
2) I (X, x) dMx) = p" (х)-
G„
Доказательство. Докажем первое равенство. Пусть A — оператор растяжения. Используя равенство
J f (хА) dv(х) = p У f (х) dv(х), lGn (x) = 1Go (Anx)
X X
и лемму 1, имеем:
У (х, x) dv(х) = / lGx (х)(х,х) dv(х) = pn/(хАn,®)lGx (хАn) dv(х) =
G± X X
гг
= Pn/(х, Anx)1go^ (х) dv(х) = pn 1go (Anx) = pn 1g„ (x).
X
Второе равенство доказывается аналогично. □
Лемма 3. Пусть G — локально-компактная нуль-мерная группа и х«,« = rO^1 ...ra++s характер, не принадлежащий G^. Тогда
J (х, x) dv(х) = pn(хп,5, x)lG" (x).
GO xn,s
Доказательство. По аналогии с предыдущим имеем:
J (х,х) dv(х) = J lG° (х)(хп,«х,х) dv(х) = J (хп,з,х)(х,х) dv(х) = pn(хп,«,x)lG"(x). □
GO Xn,s X GO
2. ОРТОГОНАЛЬНЫЕ СИСТЕМЫ СДВИГОВ
Теорема 1. Пусть M, N е n, G = q+, ^ е (G-t) . Система сдвигов (^(x- h))hGH(n)
будет ортонормированной тогда и только тогда, когда
Е г-хГ ... гМ-11 )|2(г-ХГ ... гМ-11, Ьм-1Ш-1 + ... + Ь-х^)
а —м ,...,ам-1=0
, если все = 0,
= <0, если Ьм-1 = ... = Ь0 = р — 1 и Ь-1 + ... + = 0,
0, если Ьм-1 = ... = Ь0 = 0 и Ь-1 + ... + = 0.
Доказательство. Пусть £ ^. Учитывая лемму 3, получаем:
J ^(x-hiMx-h2) dMx) = J ^(x)^(x (h2 hl)) dM(x) = J 1(Р(х)| (х, (h2-h1)) dv(х) =
G G X
= / 1^(х)|2(х, (h2- hi)) dv(х) = E j |^(х)|2(х, (h2- hi)) dv(х) =
GO v,aM-1 =0gO a-N aM-1
M G-N r-N ...rM-1
= E |^(G-n r-NN ...r0ao ...rS-i1 )|2 / (х, (h2 - hi)) dv (х) =
a-N v,aM-1 =0 GO a-N aM-1
G-N r-N ...rM-1
= lG-Npt2-"hl) E |#G-N. . . rS-1 )|2(^t . . . rS--1, (h2--hl)). (1)
a-n v,®M-1=0
Л. М. Водолазов, С. Ф. Гукомскт. Ортогональные системы сдвигов в поле р-адтескт чисел Пусть вначале = Л2. Так как Л15 Л2 £ ) и Л^ —Л2 = 0, то либо
Л—Л,2 = а-1^-1-Ъа-2^-2"Ъ ... + а-л0-л,
либо
^ —Л2 = Ь-1 0-1 +Ь-20-2 + .. . + Ь-л0-л + 53(р — .
к=0
При этом если Л].—Л2 = а-1 +а-20-2+ ... + а-д0-Д, то
те
Л2 — Л = Ь-10-1 + Ь-20-2 + . . . + Ь-д0-л + 53(р — .
к=0
Поэтому
^(х—Л1 )^(х — Л2) ^д(х) = 0
тогда и только тогда, когда
р-1
Е ^(О-лг-Д ... г0ао ... 'М-! )|2(г-Д ... С ... гМ-11, Ь-10-1 +
а—N ••• а о---ам-1 =0
+ Ь-20-2+ ... + Ь-л0-Д) = 0
р-1 М-1
Е 1^(О-л... г£° ... гМм-"11 )|2(г-Д . . . с ... гМм-11 , Е (р — 1)0к +
а —N ••• ао ••• ам-1=0 к=0
+ Ь-10-1-+ Ь-20-2+ . . . + Ь-Д0-л) = 0.
При Л1 = Л2 утверждение леммы очевидно. Определим систему рд+М-мерных векторов
ег(О^дг-Д ... С ... гМ-1), I = ¿-л + ¿-л+1Р + ■ ■ ■ + ¿0РД + ¿1 рД+1 + ■ ■ ■ + 1м-1РД+М-1
□
равенствами
е, (О^ га—Т гао гам —1) -ег(О-д'-л ...'0 ...'М-1 ) =
м + Т
е р
-м+Ж (1 —N +-----Мм — 1рТ+м 1)( а м — 1 + «м-2Р+-----— N рт+м 1)
(2)
+ м -1
Ясно, что векторы (ег)р=0 образуют ортонормированную систему. Поэтому условие ортогональности в теореме 1 можно представить в виде
Т —м = р 2
С0 = р
С1 = С2 = ■■■ = СрТ-1 = 0, СрТ (рм _!)+■ = 0 (] = 1, 2, ...,рд — 1), (3)
где сг — коэффициенты Фурье разложения функции |ср|2 по системе (ег), т.е.
рм-1
|0(О-дг-Д ...гао ...гМм-"11 )|2 = Е ег(О
^ " —N ао «м — 1
-л ' -л . . . ' 0 . . . ' М
' о . . . ' м-1 ). '0 ...' М-1 ).
г=0
Если ^(О^)| = 1, то, полагая в этом равенстве а-д = ■ ■ ■ = аМ-1 = 0, получаем:
р
м + N -1
Е
1
т. е.
с ■ = ^(О-д)| = 1, 1=0 р 2
рм+N-1
Ем + N
с = р 2
г=0
(4)
(5)
и
1
р
2
Теорема 2. Пусть М = 1, р = 2, N £ N. с £ Э-л(О1) и |С(О-л| = 1. Если система сдвигов
0
1
(с(х—есть ортонормированная система, то с(Оо \ О°~) = 0.
Доказательство. Из (3) и (4) следует, что
|с|2 = С0 е0 + C2N e2N.
(6)
Из (2) видим, что е0 =
1
N+1 • 2 2
Найдем значения ег(О-Дг-лrN .. . гао) при I = 2л. Имеем:
е1 (О-ДГ-Д . . . гоо ) = „ N + 1
1 2N (ао +а —1 -2+-+а—N 2N) = <
2 2
~ N+1
2 ^
если а0 = 0, если а0 = 1.
(7)
Из (6) и (5) при х =1 следует
11
С0 N + 1 + С2-^ N+1 = 1 . 22 2 2
т- N — 1 N — 1
Так как с0 = 2 2 , то отсюда находим, что с^ = с0 = 2 2 . Тогда из (7) следует, что
|с(О°дг-Д ...г0ао)|2 =
С0 , C2N
---NтТ = 1, если а0 = 0,
2 ^ 2 ^
с0
C2N
N + 1 N + 1
2 2 2 2
= 0, если а0 = 1,
и теорема доказана. □
Покажем теперь, что в общем случае доказанная теорема неверна. Рассмотрим систему линейных уравнений:
х1 ------- хп = п,
ацх1 + ■ ■ ■ + «1п хп = 0,
(8)
ат1х1 + ■ ■ ■ + атпхп — 0,
в которой а^ £ с, ранг системы (8) равен т + 1 и вектор (1,1,..., 1) £ мп является решением этой системы. Определим для системы (8) вспомогательную систему:
Яе (ап )х1 ------- Яе (а1п)хп = 0,
Яе (аШ1 )х1 ------- Яе (атп)х„ = 0,
1ш(ац)х1 +----- 1т(а1п )х„ = 0,
(9)
1ш(ат1)х1 ------- 1ш(атп)хп = 0,
где Яе(г), 1т (г) действительная и мнимая части комплексного числа г.
Лемма 4. Любое решение а = (а1, а2,..., ап) системы (8), у которого все координаты а^ ^ 0 можно найти как линейную комбинацию:
а = (а' - т(а')а0)-
пт(а') - Е"=1 а'' где константа т(а') определена равенством
... | шт{а'}, если существует а' < 0, т(а ) = <
10, если все а' ^ 0,
а0 = (1,1,..., 1) £ Мп и а' — произвольное решение системы (9), отличное от —т(а')а0.
(10)
(11)
1
п
Доказательство. Пусть a = (ai, a2,..., an) — неотрицательное решение системы (8), т. е. a ^ 0. Тогда при всех j комплексное число
aj i ai + ■ ■ ■ + ajn an = 0,
и, значит,
Re (ajiai + ■ ■ ■ + ajnan) = 0, Im (ajiai + ■ ■ ■ + ajnan) = 0.
Так как a¿ G r, то
Re (ajiai +----+ ajnan) = Re (aji)ai + ■ ■ ■ + Re (ajn)an = 0,
Im (ajiai +-----+ ajnan) = Im (aji)ai +----+ Im (ajn)an = 0.
Следовательно, a — решение системы (9), и равенство (10) выполнено при a' = a. В этом случае m(a') = 0, так как все a¿ ^ 0, а Г=1 a¿ = n.
Пусть теперь a' — произвольное решение системы (9). Проверим, что a, определенное по формуле (10), является решением системы (8) и все компоненты a¿ ^ 0. Последнее условие следует из определения m(a'). Так как a' является решением системы (9), то a' есть решение системы (8) без первого уравнения. Учитывая, что ä0 = (1,1,..., 1) есть решение системы (8), то a является решением системы (8) без первого уравнения. А так как a = —m(a )a0, то из (10) следует, что a удовлетворяет и первому уравнению. Лемма доказана. □
Лемма 5. Если a0,al,... — фундаментальная система решений системы (9), то соответствующие решения a1,... ,ar системы (8) являются линейно независимыми.
Доказательство. Пусть y1 a1 + ■ ■ ■ + Yrar = 0, и существует Yj = 0. Тогда Yi (a1 + m(a1 )ao) + ■ ■ ■ + Yr (ar + m(ar )ao) = 0,
Yi a1 + ■ ■ ■ + Yr ar + (m(a1) + ■ ■ ■ + m(ar ))ao) = 0, и так как существует Yj = 0, то это противоречит линейной независимости векторов a0,a1,... ,ar. □
Теорема 3. Пусть p — простое число и выполнено одно из условий:
1) p ^ 5 и M G n;
2) p < 5 и M ^ 2, M G n.
Тогда существуют функции ^ G DM (G-N), сдвиги котрой на элементы H0 образуют орто-нормированную систему в L2(qp). Количество линейно независимых функций ^ в пространстве Dm(G-n) не меньше pN+M — 4(pN — 1).
Доказательство. Рассмотрим систему линейных уравнений из теоремы 1. Из леммы 3 следует, что a0 = (1,..., 1) является решением системы. Эта система имеет pN+M неизвестных и 2(pN — 1) — 1 уравнений, а вспомогательная система имеет 4(pN — 1) уравнений. Следовательно, из лемм 3 и 4 получаем, что система линейных уравнений из теоремы 1 имеет не меньше pN+M — 4(pN — 1) линейно независимых решений. При p ^ 5, M G n и p = 2,3, M ^ 2 выполняется неравенство pN+M — 4(pN — 1) > 1, значит, система имеет решение, отличное от a0 = (1,..., 1). □
Работа подготовлена частично в рамках выполнения государственного задания Минобрнауки России (проект № 1.1520.2014/К), а также при финансовой поддержке РФФИ (проект № 16-0100152).
Библиографический список
1. Lang W. C. Orthogonal Wavelets on the Cantor Dyadic Group // SIAM J. Math. Anal. 1996. Vol. 27, iss. 1. P. 305-312. DOI: 10.1137/S003614 1093248049.
2. Lang W. C. Wavelet analysis on the Cantor dyadic group // Housten J. Math. 1998. Vol. 24, № 3. P. 533-544.
3. Lang W. C. Fractal multiwavelets related to the Cantor dyadic group // Intern. J. Math. Math. Sci. 1998. Vol. 21, iss. 2. P. 307-314. DOI: 10.1155/ S0161171298000428.
4. Protasov V. Yu., Farkov Yu. A. Dyadic wavelets and refinable functions on a half-line // Sb. Math.
б.
7.
2006. Vol. 197, № 10. P. 1529-1558. DOI: 10.1070/ SM2006v197n10ABEH003811. Фарков Ю. А. Ортогональные вейвлеты с компактными носителями на локально компактных абелевых группах // Изв. РАН. Сер. матем. 2005. Т. 69, вып. 3. С. 193-220. DOI: 10.4213/im644. Фарков Ю. А. Ортогональные вейвлеты на прямых произведениях циклических групп // Матем. заметки. 2007. Т. 82, вып. 6. С. 934-952. DOI: 10.4213/mzm4181.
Lukomskii S. F. Step refinable functions and or-
thogonal MRA on Vilenkin groups //J. Fourier Anal. Appl. 2014. Vol. 20, iss. 1. P. 42-65. DOI: 10.1007/s00041-013-9301-6. Khrennikov A. Yu., Shelkovich V. M., Skopina M. p-adic refinable functions and MRA-based wavelets // J. Approx. Theory. 2009. Vol. 161, iss. 1. P. 226-238. DOI: 10.1016/j.jat.2008.08.008. Albeverio S., Evdokimov S., Skopina M. p-Adic Multiresolution Analysis and Wavelet Frames // J. Fourier Anal. Appl. 2010. Vol. 16, iss. 5. P. 693-714. DOI : 10.1007/s00041-009-9118-5.
Образец для цитирования:
Водолазов А. М., Лукомский С. Ф. Ортогональные системы сдвигов в поле р-адических чисел // Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2016. Т. 16, вып. 3. С. 256-262. 001: 10.18500/18169791-2016-16-3-256-262.
Orthogonal Shift Systems in the Field of p-adic Numbers
A. M. Vodolazov1, S. F. Lukomskii2
1 Aleksandr M. Vodolazov, Saratov State University, 83, Astrakhanskaya st., 410012, Saratov, Russia, vam21 @yandex.ru 2Sergey F. Lukomskii, Saratov State University, 83, Astrakhanskaya st., 410012, Saratov, Russia, [email protected]
In 2010 S. Albeverio, S. Evdokimov and M. Skopina proved that if the shift system (v(x-h)) of a step function v is orthonormal and v generates p-adic MRA then its Fourier transform lies in the unit ball. We prove then in some cases the condition 'V generates MRA" is possible to be omitted. In general, we indicate the number of linearly independent step-functions, which shifts form an orthonormal system.
Key words: orthogonal shift systems, field of p-adic numbers, p-adic MRA.
This work was supported by the Russian Ministry of Science and Education (projects no. 1.1520.2014/K) and Russian Foundation for Basic Research (projects no. 16-01-00152).
References
1. Lang W. C. Orthogonal Wavelets on the Cantor Dyadic Group. SIAM J. Math. Anal., 1996, vol. 27, iss. 1, pp. 305-312. D01:10.1137/S00361410 93248049.
2. Lang W. C. Wavelet analysis on the Cantor dyadic group. Housten J. Math., 1998, vol. 24, no. 3, pp. 533-544.
3. Lang W. C. Fractal multiwavelets related to the Cantor dyadic group. Intern. J. Math. Math. Sci., 1998, vol. 21, iss 2, pp. 307-314. DOI: 10.1155/ S0161171298000428.
4. 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.
5. 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.
6. Farkov Yu. A. Orthogonal wavelets on direct products of cyclic. Math. Notes, 2007, vol. 82, iss. 5, pp. 843-859. DOI: 10.1134/S0001434607110296.
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. Khrennikov A. Yu., Shelkovich V. M., Skopina M. p-adic refinable functions and MRA-based wavelets. J. Approx. Theory, 2009, vol. 161, iss. 1, pp. 226-238. DOI: 10.1016/j.jat.2008.08.008.
9. Albeverio S., Evdokimov S., Skopina M. p-Adic Multiresolution Analysis and Wavelet Frames. J. Fourier Anal. Appl., 2010, vol. 16, iss. 5, pp. 693714. DOI : 10.1007/s00041-009-9118-5.
Please cite this article in press as:
Vodolazov A. M., Lukomskii S. F. Orthogonal Shift Systems in the Field of p-adic Numbers. Izv. Saratov Univ. (N.S.), Ser. Math. Mech. Inform., 2016, vol. 16, iss. 3, pp. 256-262 (in Russian). DOI: 10.18500/1816-9791-201616-3-256-262.
