CC BY
41
References
1. Pokornyi Yu. V., Bakhtina Zh. I., Zvereva M. B., Shabrov S. A. Ostsilliatsionnyi metod Shturma v spektral'nykh zadach [Sturm oscillation method in spectral problems]. Moscow, Fizmatlit, 2009, 192 p. (in Russian).
2. Shabrov S. A. On a necessary condition of at least one quadratic functional with an integral Stieltjes. Izv. Sarat. Univ. N. S. Ser. Math. Mech. Inform., 2012, vol. 12, iss. 1. pp. 52-55 (in Russian).
3. Shabrov S. A. O ^-reguliarizatsii funktsii s konechnym izmeneniem [About ^-regularization of function of finite variation] Sb. statei aspirantov i studentov matematicheskogo fakul'teta VGU. Voronezh, 1999, pp. 166-169 (in Russian).
4. Pokornyi Yu. V. The Stieltjes integral and derivatives with respect to the measure in ordinary differential equations. Dokl. Math., 1999, vol. 59, no. 1, pp. 34-37.
УДК 517.518.34, 517.518.36, 517.986.62
МАТРИЧНОЕ ПРЕДСТАВЛЕНИЕ ОПЕРАТОРА РАСТЯЖЕНИЯ В ПРОИЗВЕДЕНИИ ЛОКАЛЬНО-КОМПАКТНЫХ НУЛЬ-МЕРНЫХ ГРУПП
С. Ф. Лукомский
Доктор физико-математических наук, профессор кафедры математического анализа, Саратовский государственный университет им. Н. Г. Чернышевского, LukomskiiSF@info.sgu.ru
В действительном вейвлет-анализе ^-мерный оператор растяжения может быть записан с помощью действительной d х d матрицы. В настоящей работе найден явный вид оператора растяжения в произведении локально-компактных нуль-мерных абелевых групп.
Ключевые слова: нуль-мерные группы, оператор растяжения, кратномасштабный анализ.
ВВЕДЕНИЕ
В последние годы активно изучаются всплесковые базисы на группах Виленкина Оу и полях Qp р-адических чисел, а также кратномасштабный анализ (КМА), позволяющий строить такие базисы. В значительной мере это связано с тем, что всплесковые базисы на Оу и Qp, которые получаются в рамках соответствующего КМА, состоят из ступенчатых функций и, значит, могут быть использованы в цифровой обработке дискретной информации. Поэтому особый интерес вызывают всплесковые базисы на произведениях Оу и Qp. Первая попытка получить всплесковые базисы в была
предпринята в работе А. Хренникова и В. Шелковича [1], где многомерные всплесковые базисы были получены как произведение одномерных. В. Шелкович и М. Скопина [2] в 2009 г. построили многомерные 2-адические базисы Хаара в ¿2 (О2), используя тензорное произведение одномерных КМА. При построении всплесковых базисов и КМА основную роль играет наличие операторов растяжения и сдвига. Так, в работе [2] в качестве ¿-мерного оператора растяжения А использовался оператор покомпонентного растяжения, т. е. А2(х(1), х(2),..., х(2)) = (Ах(1), А.1Ж(2),..., А1х(2)), где А1 — одномерный оператор растяжения. В классическом случае [3] ¿-мерный оператор растяжения может быть определен с помощью целочисленной матрицы АХ2 равенством А(X) = АX. Э. Кинг и М. Скопина [4] в 2010 г. выяснили, что при построении КМА в Ь2) в качестве А можно взять шахматную / 1/2 1/2\
матрицу , , . Поле Qp является частными случаями нуль-мерной группы, а их произве-V-1/2 1/2/
дение Qp также будет нуль-мерной группой. Поэтому естественно рассмотреть более общий вопрос: какой вид имеет оператор растяжения в произведении нуль-мерных групп. В работах [5,6], учитывая тот факт, что произведение нуль-мерных групп снова нуль-мерная группа, была предложена конструкция построения оператора растяжения на произведении компактных нуль-мерных групп, однако этот оператор не удалось записать в виде А(Х) = А X .В настоящей работе мы покажем, что оператор растяжения, рассмотренный в работах [5,6], может быть записан в виде А(X) = АЕаА-1 X, где А = АХй — невырожденная матрица над полем вычетов по простому модулю р, и ЕА матрица, в которой на диагонали, ниже главной, стоят 1, в правом верхнем углу — одномерный оператор растяжения А1, и остальные элементы равны нулю.
1. ЛОКАЛЬНО-КОМПАКТНЫЕ НУЛЬ-МЕРНЫЕ ГРУППЫ, ТОПОЛОГИЯ, ХАРАКТЕРЫ
Приведем основные понятия и факты, связанные с анализом на нуль-мерных группах. Более подробную информацию можно найти в [7]. Пусть (С, +) — локально-компактная абелева группа, топология в которой задана счетной системой открытых подгрупп:
з п з • • • з 1 з Со з з • • • з Сп з ...,
таких, что и Сп = С, Р| Сп = {0}, (Сп/Сп+1 )Й = рп, где рп — простые числа. Через д
обозначим меру Хаара на С нормированную условием дС0 = 1, а через / /(х)^д(х) — абсолютно
о
сходящийся интеграл, порожденный мерой д.
При каждом п е й выберем элементы ¿п е Сп \ Сп+1 и зафиксируем их. Тогда любой элемент х е С единственным образом представим в виде
х = ^ «п^п (ап = 0,рп - 1), (1)
причем в сумме (1) слагаемых с отрицательными номерами конечное число. Систему элементов (¿п) будем называть базисной. Пусть далее X — совокупность характеров группы С, которая является группой относительно операции умножения, С^ — аннулятор группы Сп, т.е. ^ = {х е X : V х е Сп, х(х) = 1}.
Каждый аннулятор есть группа относительно умножения, образуют возрастающую последовательность:
с G-n с ■ ■ ■ с Gq~ с GQ с ■ ■ ■ с GQ с
такую, что
и GQ = X, n gQ = {1},
причем фактор-группа /С ^ имеет порядок рп.
При каждом п е й выберем элементы гп е \ С ^ и зафиксируем их. Тогда любой элемент
X е X единственным образом представим в виде
X = П («n = 0,pn - 1),
n
n=-œ
причем в произведении множителей с положительными номерами конечное число. Характеры гп будем называть функциями Радемахера.
2. ОПЕРАТОР РАСТЯЖЕНИЯ В НУЛЬ-МЕРНОЙ ГРУППЕ И ГРУППЕ ЕЕ ХАРАКТЕРОВ
В этом и следующем параграфе мы будем рассматривать локально-компактную группу (С, +) с основной цепочкой подгрупп
• • • с Сп с • • • с с Со с 1 с • • • с п с ...,
в которой (Сп/Сп+1)Й = р при всех п е й (символом XЙ обозначено количество элементов множества X). Будем также предполагать, что операция + в группе С удовлетворяет условию
р#п = «1 #п+1 + «2^п+2-Ъ . . . + + 5 (2)
при некоторых фиксированных числах aj = 0,p — 1 (j = 1, s).
Отметим, что если pgn = 0, то группа G есть группа Виленкина, если pgn = gn+i — группа всех p-адических чисел.
Определение. Определим оператор A : G ^ G равенством
Ax = angn-1
пег
при x = angn. Если оператор A аддитивен, то будем называть его оператором растяжения.
пег
Отметим, что оператор А будет аддитивным, если операция + удовлетворяет условию (2), которое выполняется в наиболее важных группах: группах Виленкина с условием рд« = 0 и группах р-ади-ческих чисел (р#« = #«+1).
Лемма 1. Если А — оператор растяжения, то А£п = Сп-1, А-1 С« = Сп+1. Доказательство. Равенство АСП = Сп-1, очевидно, следует из представления
С« = {х е С : х = а« +ап+1 #«+1 +... }. □
Обозначим
Н0 = {х е С : х = а-1 #-1-+ а-2д-2+ ... + , N е М, а- = 0,р — 1}.
Множество Н0 играет роль натуральных чисел.
3. ОПЕРАТОР РАСТЯЖЕНИЯ В ПРОИЗВЕДЕНИИ НУЛЬ-МЕРНЫХ ГРУПП
Пусть (0, +) — локально-компактная нуль-мерная абелева группа с основной цепочкой:
■ ■ ■ С 0« С ■ ■ ■ С 01 С 0о С 0-1 с ■ ■ ■ С 0-« С ..., (0«/0«+1 )й = р,
(#«)пеж — базисная система, т.е. е 0« \ 0«+ь Пусть С = 0^ — произведение й экземпляров группы 0 с топологией произведения. Базу этой топологии образуют всевозможные смежные классы 0« х 0«2 х ■ ■ ■ х 0«^+(х(1), х(2),..., х(^). С этой топологией 0^ есть нуль-мерная группа и подгруппы
■ ■ ■ С 0« С ■ ■ ■ С 0^ С 0^ С 0-1 С ■ ■ ■ С 0-« С ...
образуют цепочку подгрупп, которая не является базисной. Обозначим = 0«. Цепочку (С^ по теореме Силова можно дополнить до основной цепочки (С«так, что = р. Пусть
gn е С« \ С«+1, произвольные пока векторы gn = ,#(«2\ ... , )), которые образуют базисную систему в С = 0^ .По этой системе можно определить оператор А^ равенством
А^х = ^ а«gn-l если х а«gn.
иОЪ
Если он аддитивен, то, согласно определению, он является оператором растяжения. Мы хотим записать оператор А^ в виде
(А^ х)т = А хт,
где А — некоторая матрица размерности й х й, хт — вектор-столбец (х(1) , х(2),..., х(^)Т.
Через обозначим поле вычетов по модулю р, т.е. = {0,1,...,р — 1} с операцией т+п = (т + п)шоёр и операцией умножения т ■ п = т+т+... --т. Через А = = )
4-V-' '
обозначим матрицу, элементы которой е , через Еа — матрицу
Еа =
000 1 0 0 010
0А 00 00
\ 0 0 0 ... 1 0 /
где А есть одномерный оператор растяжения в группе (0, +). По матрице А определим подгруппы С(«+1)й-г и векторы g(n+l)d-г равенствами
g(n+l)d-г = (а1,1 , а2,г,..., 1 = 1,
р-1
С(«+1)^-г = |_| (С(«+1)^-г+1 +,?'g(n+l)d-г). 5=0
Лемма 2. Пусть А — невырожденная матрица над полем Zp. Справедливы следующие утверждения:
1) С
2) при каждом I = 1, й множества С(«+1)й-1 есть подгруппы;
3) (С(«+1)^-г/С(«+1)^-г+1)Й = р;
4) g(n+l)d-г е С(«+1)^-г \ С(«+1)^-г+1;
5) оператор Л^, определенный равенством
Ad ( ^ a(n+1)d- g(n + 1)d-1 I a(n+1)d-lg(n+1)d-1-1,
n,1 / n,1
аддитивен.
6) если X = (х(1),х(2))т = хт, то (Л^(х))Т = АЕаА-1Х. Доказательство. 1)-4). Множества
+3 (а1,1^п 9и) (3 = 0,р - 1) (3)
являются смежными классами по подгруппе С(п+1)^ и так как матрица А невырождена, то (а1;1, «2,1, • • •, ^д) = (0, 0,..., 0). Поэтому р(амдп, «2,1дп,..., аЛ,1дп) е £(п+1)^ и, значит,
^(п+1)^ -+р(а1,1 дп, «2,1 дп,..., «^,1 дп) = £(п+1)^.
Отсюда делаем вывод, что смежные классы (3) образуют циклическую группу порядка р. Поэтому множество
р-1
^(п+1)^-г = |_| (^(п+1)^ («1,1дп, а2,1дп,..., а^,1дп) 5=0
есть подгруппа, такая, что
£(п + 1)^ С С(п + 1)^-1 С Сп^, (С(п+1)^-1 /С(п+1)^)Й = Р /С(п + 1)^-1)Й = р^-1. Так как матрица А невырождена, то
ё(п+1)^-2 = («1,2дп, «2,2дп, . . . , а^,2дп) е \ С(п+1)^-1
и, аналогично предыдущему, множество
р-1
С(п+1)^-2 = |_| (С(п+1)^-1+зё(п+1)^-2)
5=0
есть подгруппа такая, что
С(п+1)^ С С(п+1)^-1 С С(п+1)^-2 С (С(п+1)^-2/С(п+1)^-1^ = Р /С(п+1)^-2^ = 2 .
Продолжая эти рассуждения, получаем, что утверждения 1)-4) леммы 2 выполнены.
5) Для доказательства аддитивности оператора Л^ достаточно проверить справедливость равенства
Р^п = 71 ёп+1 + Т2§п+2~Ь ... + g
6) Покажем, что для оператора Л^ справедливо равенство
(Л^(х))т = АЕаА-1 X (X = (х(1), х(2),..., )т).
Пусть х = (х(1), х(2),..., ). Тогда
d d x — X/ a(n+1)d-1 g(n+1)d- — Ху X/ a(n+1)d-1(a1,1 gn, a2,lgn, • • • , ad,1 gn, )•
nez г=1 nez г=1
Отсюда находим
d
x(j) — g^Yla(n+1)d-ia,— gn), j — 1,• • •,
nez г=1 nez
A(a(n+1)d-1, a(n+1)d-2, • • •, and)T — (A^, в?, • • •, Ad) )T,
(a(n+1)d-1, a(n+1)d-2, • • • ,and)T — A-1 (^ в?, • • • ,Ad) )T•
Обозначим для удобства A—1 = (bjj)dxd• По определению оператора растяжения
d—1
Adx = Х^ X/ a(n+1)d—lg(n+1)d—l — 1 =
nez 1=0
= X/(a(n+1)d—10 g(n+1)d—1+ a(n+1)d—1 g(n+1)d—2-+ • • • a(n+1)d—(d—1)g(n+1)d—d ) =
nez
= X/(a(n+1)d—0(a1,1gn, a2,1gn, • • • , ad,1 gn«(n+1)d—1 (a1,2gn, a2,2gn, • • • , ad,2gn
nez
- • • • + a(n+1)d—(d —1) (a1,dgn, a2,dgn, • • • , ad,dgn))^ (4)
Обозначим Adx = y = (y(1), y(2), • • •, y(d) )• Из (4) находим выражения для компонент вектора y
d
У(г) = g^Yl ai,i a(n+1)d—(i—1) = Йг) gn, i = 1, 2, • ••, d
nez i=1 nez
Отсюда получаем:
en2) 5 • • • 5 Д^ )T = A(a(n + 1)d , a(n + 1)d—1, • • • , a(n + 1)d—(d—1) )T •
Запишем выражение для y(i) в виде d
y(i) = X/ ai,l X/ gna(n+1)d—(l —1) = ai,1 ^ gna(n+1)d—0 + ai,2 ^ gna(n+1)d—1- • • • -
i=1 nez nez nez
+ai,d gna(n+1)d—(d—1) = ai,1 gn X^ bd,jД1+ Л - ai,2 X^ gn X^ b1,j j - • • • -nez nez \j=1 / nez y=1 /
d d d
- ai,d ^ gn Y1 bd gn enj)+ ••• -
nez \j=1 } j=1 nez
d d d / bd—1,j / gnP^ = ЯгдХ] bd,j Ax(j) ai,2 V 01,jx
j=1 nez
+ai,d X^ bd—1,j X^ gnenj) = ai,1 bd,j Ax(j) -a*,2 bx,jx(j)-+ • • • -a*,d bd—1,jx(j),
j=1 nez
j=1
j=1
j=1
где A — одномерный оператор растяжения в G. Таким образом,
/У(1)\
(2)
= A
Vd7
d
' E bd,jx(j) x j=1
b1,j x(j)
j=1
E bd—1,j x(j)
=A
/ 0 0 0 1 0 0 0 1 0
000
\j=1 0A
= A ■
/bd,1 A
b1,1
bd,dA\ b1,d
/x(1)\
x(2)
\bd—1,1 • • • bd—1,d/ \x(d) y
A—1 ■ (x(1), x(2), • • •, x(d))T = AEaA—1 (x(1), x(2), • • •, x(d))T,
10
и лемма доказана. □
Из леммы 2 сразу получаем следующие утверждения.
Теорема 1. Пусть А — одномерный оператор растяжения в (С, +). Для любой невырожденной матрицы А = Аа^а над полем вычетов по модулю р равенство
—1, T
(Ad(x))T = A EaA—1 x
определяет оператор растяжения в Gd
d
Теорема 2. Пусть p — простое и
Ep —
1 0
\ 0 0 0 ... 1
матрица размерности d х d (d > 2). Тогда равенство
0
-i„ t
(Ad(x))T — A Ep A
определяет оператор растяжения в Qp.
Если G есть группа всех p-адических чисел Qp, то в Qp можно указать другой вид оператора растяжения.
Теорема 3 [9]. Определим базисную последовательность в Qp равенствами g2n+1 — (gn,vgn), g2n — (gn,gn+1), где v|(p — 1). Обозначим p — 1 — va. Тогда соответствующий оператор растяжения A2 задается равенством
A2 (x(1) ,x(2)) — (Ax(1) + aAx(2) ,vAx(1) — Ax(2)),
Ji)
или в матричной форме A2 (
A
vA — A
aA\ ^X(2) j , где A — одномерный оператор растя-
жения Ax —
p
При доказательстве последнего равенства существенно используется тот факт, что в группе р-адических чисел операция + удовлетворяет условию рдп = дп+1. При р = 2 получаем оператор растяжения из работы [4].
Работа выполнена при поддержке фонда РФФИ (проект 13-01-00102-а).
Библиографический список
1. Khrennikov A. Yu., Shelkovich V. M. P-adic multidimensional wavelets and their application to p-adic pseudo-differential operators. Preprint. 2006. URL: http://arxiv.org/abs/math-ph/0612049 (дата обращения 28.09.2012).
2. Shelkovich V. M, Skopina M. A. P-adic Haar multiresolution analysis and pseudo-differential operators // J. Fourier Anal. Appl. 2009. Vol. 15, № 3. P. 366-393.
3. Новиков И. Я., Протасов В. Ю, Скопина М. А. Теория всплесков. М. : Физматлит, 2005. 616 с.
4. King E. J., Skopina M. A. Quincunx Multiresolution Analysis for L2(Q2) // P-adic Numbers. Ultrametric Analysis and Applications. 2010. Vol. 2, № 3. P. 222231.
5. Lukomskii S. F. Multiresolution analysis on product of
zero-dimensional Abelian groups //J. Math. Anal. Appl. 2012. Vol. 385. P. 1162-1178.
6. Lukomskii S. F. Haar System on a product of zero-dimensional compact group // Centr. Eur. J. Math. 2011. Vol. 9, № 3. P. 627-639.
7. Агаев Г. Н., Виленкин Н. Я., Джафарли Г. М, Рубинштейн А. И. Мультипликативные системы функций и гармонический анализ на нуль-мерных группах. Баку : Элм, 1981. 180 c.
8. Каргаполов М. И., Мерзляков Ю. И. Основы теории групп. М. : Наука, 1982. 288 с.
9. Лукомский С. Ф. О системе Хаара на произведении групп целых p-адических чисел // Мат. заметки. 2011. Т. 9, вып. 4. С. 541-557.
0
x
Matrix Representation of Dilation Operator on the Product of Zero-Dimensional Locally Compact Abelian Groups
S. F. Lukomskii
Saratov State University, Russia, 410012, Saratov, Astrahanskaya st., 83, LukomskiiSF@info.sgu.ru
In the real wavelet analysis d-dimensional dilation operator may be written with the help of an integer-valued d x d matrix. We find the matrix representation of the dilation operator on the product of zero-dimensional locally compact Abelian groups.
Keywords: zero-dimensional group, delation operator, multiresolution analysis.
References
1. Khrennikov A. Yu., Shelkovich V. M. P-adic multidimensional wavelets and their application to p-adic pseudo-differential operators. Preprint, 2006. Available at: http://arxiv.org/abs/math-ph/0612049 (accessed 28 September 2012).
2. Shelkovich V. M., Skopina M. A. P-adic Haar multiresolution analysis and pseudo-differential operators. J. Fourier Anal. Appl., 2009, vol. 15, no. 3, pp. 366-393.
3. Novikov I. Ya., Protasov V. Yu., Skopina M. A. Wavelet Theory. Translations Mathematical Monographs, vol. 239. New York, Amer. Math. Soc., 2011, 506 p.
4. King E. J., Skopina M. A. Quincunx Multiresolution Analysis for L2(Qi). P-adic Numbers. Ultrametric Analysis and Applications, 2010, vol. 2, no. 3, pp. 222231.
5. Lukomskii S. F. Multiresolution analysis on product of
zero-dimensional Abelian groups. J. Math. Anal. Appl., 2012, vol. 385, pp. 1162-1178.
6. Lukomskii S. F. Haar System on a product of zero-dimensional compact group. Centr. Eur. J. Math., 2011, vol. 9, no. 3, pp. 627-639.
7. Agaev G. N., Vilenkin N. Ya., Dzafarli G. M., Rubinstein A. I. Mul'tiplikativnye sistemy funktsii i garmonicheskii analiz na nul'mernykh gruppakh [Multiplicative Systems of Functions and Harmonic Analysis on Zero-Dimensional Groups]. Baku, Elm, 1981. 180 p. (in Russian).
8. Kargapolov M. I., Merzljakov Ju. I. Fundamentajs of the Theory of Groups. New York, Springer-Verlag, 1979, 203 p. (Russ. ed.: Kargapolov M. I., Merzljakov Ju. I. Osnovy teorii grupp. Moscow, Nauka, 1982. 288 p.)
9. Lukomskii S. F. Haar system on the product of groups of p-adic integer. Math. Notes, 2011, vol. 90, iss. 4, pp. 517-532.
УДК 517.927.25
О ДВУКРАТНОЙ ПОЛНОТЕ СОБСТВЕННЫХ ФУНКЦИЙ СИЛЬНО НЕРЕГУЛЯРНОГО КВАДРАТИЧНОГО ПУЧКА ДИФФЕРЕНЦИАЛЬНЫХ ОПЕРАТОРОВ ВТОРОГО ПОРЯДКА
О. В. Парфилова
Старший преподаватель кафедры информатики, Саратовская государственная юридическая академия, Oksana_Parfilova@mail.ru
Рассматривается класс сильно нерегулярных пучков обыкновенных дифференциальных операторов 2-го порядка с постоянными коэффициентами. Предполагается, что корни характеристического уравнения пучков этого класса лежат на одной прямой, проходящей через начало координат, по разные стороны от него. Найден точный отрезок, на котором система собственных функций 2-кратно полна в пространстве суммируемых с квадратом функций.
Ключевые слова: квадратичный пучок, пучок второго порядка, пучок обыкновенных дифференциальных операторов, двухточечные краевые условия, однородное дифференциальное выражение с постоянными коэффициентами, кратная полнота системы собственных функций, кратная неполнота системы собственных функций.
1. ПОСТАНОВКА ЗАДАЧИ, ПРЕДВАРИТЕЛЬНЫЕ СВЕДЕНИЯ И ПОЛУЧЕННЫЕ РЕЗУЛЬТАТЫ
В пространстве Ь2 [0,1] рассмотрим пучок обыкновенных дифференциальных операторов £(А), порожденный на конечном отрезке [0,1] дифференциальным выражением:
1(У, А) := У(2) + Ар1 У(1) + А2р2У и двухточечными одородными краевыми условиями:
^(у, А) := Ц,0(У, А) + Ц,1(У, А) := К1 У(1) (0) + А^2У(0)) +
+(ви У(1) (1) + А^2У(1)) = 0, V =1,2, (1)
где , , вк? е С. В случае а^ 1 = = 0 считаем, что краевое условие имеет вид
«V 2У(0)+ в^2 У(1) =0.
Обозначим через ,о>2 корни характеристического уравнения <^2 + + р2 =0 и предположим, что всюду далее выполняется основное предположение: корни , <^2 различны, отличны от нуля и
