CC BY
40
5. Rundell W., Sacks P. E. Reconstruction techniques for classical inverse Sturm - Liouville problems // Mathematics of Computation. 1992. Vol. 58, № 197. P. 161-183. DOI: 10.1090/S0025-5718-1992-1106979-0.
6. Freiling G., Yurko V. A. Inverse Sturm - Liouville Problems and Their Applications. Huntington ; N.Y. : NOVA Science Publ., 2001. 305 p.
7. Оппенгеймер А. В., Шафер Р. В. Цифровая обработ-
ка сигналов : пер. с англ. М. : Связь, 1979. 416 с. 8. Винокуров В. А., Садовничий В. А. Асимптотика любого порядка собственных значений и собственных функций краевой задачи Штурма - Лиувилля на отрезке с суммируемым потенциалом // Изв. РАН. Сер. математическая. 2000. Т. 64, № 4. С. 47-108. 001: 10.4213/^295
Numerical Solution of Inverse Spectral Problems for Sturm - Liouville Operators
with Discontinuous Potentials
L. S. Efremova
Saratov State University, 83, Astrakhanskaya str., Saratov, 410012, Russia, liubov.efremova@gmail.com
We consider Sturm - Liouville differential operator with potential having a finite number of simple discontinuities. This paper is devoted to the numerical solution of such inverse spectral problems. The main result of this work is a procedure that is able to recover both the points of discontinuities as well as the heights of the jumps. Following, using these results, we may apply a suitable numerical method (for example, the generalized Rundell-Sacks algorithm with a special form of the reference potential) to reconstruct the potential more precisely.
Key words: Sturm - Liouville differential operator, inverse spectral problem, discontinuous potential, numerical solution.
This work was supported by the Russian Foundation for Basic Research (project no. 14-01-31042).
References
1. Levitan B. M. Inverse Sturm - Liouville Problems. Utrecht, VNU Sci. Press, 1987, 240 p.
2. Marchenko V. A. Sturm - Liouville operators and applications. Basel, Birkhauser, 1986. 367 p.
3. Ignatiev M. Yu., Yurko V. A. Numerical methods for solving inverse Sturm - Liouville problems. Results in Math., 2008, vol. 52, pp. 63-74. DOI: 10.1007/s00025-007-0276-y.
4. Rafler M., Bockmann C. Reconstruction method for inverse Sturm - Liouville problems with discontinuous potentials. Inverse Problems, 2007, vol. 23, no. 3, pp. 933-946. DOI: 10.1088/0266-5611/23/3/006.
5. Rundell W., Sacks P. E. Reconstruction techniques for classical inverse Sturm - Liouville problems. Mathema-
yflK 517.51
tics of Computation, 1992, vol. 58, no. 197, pp. 161-183. DOI: 10.1090/S0025-5718-1992-1106979-0.
6. Freiling G., Yurko V. A. Inverse Sturm - Liouville Problems and Their Applications. Huntington, New York, NOVA Science Publ., 2001, 305 p.
7. Oppenheim A. V., Schafer R. W. Discrete-time Signal Processing. Prentice-Hall, 1975, 585 p.
8. Vinokurov V. A., Sadovnichii V. A. Asymptotics of any order for the eigenvalues and eigenfunctions of the Sturm - Liouville boundary-value problem on a segment with a summable potential. Izvestiya : Mathematics, 2000, vol. 64, iss. 4, pp. 695-754. DOI: http://dx.doi.org/10.4213/im295.
ОБ ОПЕРАТОРЕ ДИФФЕРЕНЦИРОВАНИЯ НА КОМПАКТНЫХ НУЛЬ-МЕРНЫХ ГРУППАХ
Ю. С. Крусс
Аспирант кафедры математического анализа, Саратовский государственный университет им. Н. Г. Чернышевского, KrussUS@gmail.com
Для одномерного случая указаны условия, при которых оператор дифференцирования не зависит от ортонормированной системы, с помощью которой определен. Для многомерного случая указаны условия, при которых оператор дифференцирования не зависит от способа преобразования многомерной компактной нуль-мерной группы в одномерную. Получен явный вид аннуляторов в многомерной компактной нуль-мерной группе.
Ключевые слова: нуль-мерные группы, псевдодифференциальный оператор, сильная Р-ичная производная, сильный Р-ичный интеграл.
ВВЕДЕНИЕ
P. L. Butzer и H. J. Wagner [1] ввели понятие сильной двоичной производной D(/) для функций, интегрируемых на двоичной группе Кантора. Б. И. Голубов [2] обобщил это определение на случай функций, интегрируемых на R+ или (что то же самое) на локально компактной двоичной группе, и определил как производную, так и обобщенный сильный интеграл. С. С. Волосивец [3] определил на R+ модифицированную сильную P-ичную производную и модифицированный сильный P-ичный интеграл.
Понятия модифицированной сильной P-ичной производной и модифицированного сильного P-ичного интеграла тесно связаны с понятием псевдодифференциального оператора
x) = (^(x)/(x))v(x), определяемого символом Выбирая подходящим образом символ можно получить как модифицированную сильную P-ичную производную, так и модифицированный сильный P-ичный интеграл. На этом пути сразу получаем, что композиция операторов дифференцирования и интегрирования в любом порядке дает тождественный оператор. На компактной группе оператор дифференцирования умножает ряд Фурье по системе характеров дифференцируемой функции на некоторую последовательность (символ). В 2002 г. С. В. Козырев обнаружил, что система Хаара представляет собой собственные функции псевдодифференциального оператора, определенного в поле p-адических чисел [4]. Поэтому возникает вопрос: как действует оператор дифференцирования на ряд Фурье-Хаара? В предлагаемой работе найдены условия на символ, при которых результат дифференцирования не зависит от выбранной нами системы (теорема 3).
В многомерном случае стоит несколько иная задача. Многомерную группу можно преобразовать в одномерную разными способами [5-6], получая при этом различные основные цепочки подгрупп. В связи с чем возникает вопрос: при каких условиях оператор дифференцирования не зависит от того, какой способ преобразования многомерной группы в одномерную мы используем? Ответ на этот вопрос дается в теореме 5. Для доказательства этой теоремы найдено явное представление аннуляторов основной цепочки произведения групп G (теорема 4).
1. ОСНОВНЫЕ ОПРЕДЕЛЕНИЯ
Пусть (G, +) — компактная аддитивная топологическая группа, топология в которой задана счетной системой вложенных подгрупп:
G = Go D Gi D G2 d ... D Gn D ..., (1)
œ
таких, что P| Gn = {0} (0 — нулевой элемент группы G). Таким образом, базу топологии в G образу-
n=0
ют смежные классы (Gn+h) (n G N0 = N U {0}, h G G), из которых любые два либо не пересекаются, либо один включается в другой. Такую группу называют нуль-мерной. Из компактности G следует, что все фактор-группы Gn\Gn+1 конечны. Обозначим через pn порядок такой фактор-группы. Можно считать, что все pn — простые числа, так как, в противном случае, используя теорему Силова, можно уплотнить цепочку подгрупп так, что порядки фактор-групп Gn\Gn+1 станут простыми числами. Обозначим m0 = 1, mn+1 = mnpn. Тогда при каждом n G N группа G есть дизъюнктное объединение mn смежных классов Gn+h, (i = 0, mn — 1). Все смежные классы в объединении с пустым множеством образуют полукольцо K. На K можно ввести меру д равенством ^(Gn+h^) = ^Gn = = 1/mn. После этого меру д можно продолжить на ст-алгебру д* измеримых множеств, например, по схеме Каратеодори. Получим меру, инвариантную относительно сдвига. На борелевских множествах она совпадает с мерой Хаара.
На G можно определить интеграл по схеме Лебега, который инвариантен относительно сдвига и является абсолютно сходящимся. Характеры группы G будем обозначать через х, а группу всех характеров — через X. Совокупность характеров х таких, что х(х) = 1 для любого x G Gn, называют аннулятором группы Gn и обозачают Gn. Аннуляторы образуют возрастающую цепочку подгрупп группы X:
œ
{1} = Gq с GQ с GQ с ... с GQ с ..., U Gn = X.
n=0
Фактор-группы конечны и имеют порядок рп. При каждом п £ N0 выберем элемент
дп £ ^п\Сп+1 и зафиксируем. Каждый элемент х £ О0 однозначно представим в виде
оо
х = ^ ап дп (о-п =0,Рп - 1),
п=0
где сходимость понимается в смысле топологии, порожденной цепочной подгрупп (1). При каждом п £ N0 выберем характер гп £ и зафиксируем. Функции гп называются функциями Раде-
махера. Тогда характер х £ X однозначно представим в виде
оо
х =\[(гпТп (ап = 0~Рп-1), (2)
п=0
причем в произведении (2) лишь конечное число ап отлично от нуля, т. е.
м
х =\[(гпТп, (3)
n)
n=0
число M определяется характером х- В группе характеров можно ввести нумерацию следующим образом: если х представлен в виде (3), то поставим ему в соответствие число
м
n = ®kmk k=0
и соответствующий характер будем обозначать через хп-
Определим на группе G систему функций Хаара следующим образом [7]. Положим H0 (x) = 1, Hjms+k = \Z(ms)r3s (x-q)1as (x-q), где j = 1,ps - 1, s = 0,1,..., k = 0,ms - 1, k и q связаны соотношением k = a0m0 + aimi + ... + as—ims—i, q = a0g0+aigi + ... + as—igs-i, an = 0,pn — 1 .
n — l
Определение 1 [3]. Пусть функция f : G ^ C, T,a(j,x) = Y YkXk(x), j = Ы)°=0, 1% e R. Если
k=0
для функции f e L1 (G) существует функция g : G ^ C из Li(G) такая, что
lim || (Tn(Y, •) * f )(x) - g(x)HLl =0, (4)
n —>oc
то g называется сильной производной функции f по системе характеров относительно последовательности (1%)%=0 и обозначается g = Dx f.
Определение 2. Пусть функция f : G ^ C, Kn(f) = f f (t)Kn(j,x,t)dt, Kn(j,x,t) = j0 +
a
n Ps — l ms — l
+ E E E Yjms +kHjms+k(x)Hjms +k (t), j = (j%)=, 1% e R. Если для функции f e Li (G) суще-
s=0 j=l k=0
ствует функция g : G ^ C из Lj^(G) такая, что
lim ||Kn(f) - g(x)IL =0, (5)
n—
то g называется сильной производной функции f по системе Хаара относительно последовательности (j%)%=0 и обозначается g = DHf.
Замечание 1. В определениях 1 и 2 оператор, который функции f ставит в соответствие ее сильную производную g, обычно называют псевдодифференциальным опрератором, а последовательность 1 = (j%)i=0 — символом.
Замечание 2. Следует отметить, что в определении 1 (определении 2) на последовательность 1 = (li)1==0 не наложено никаких ограничений, кроме y% e R, поэтому мы можем рассматривать последовательность следующего вида: (j\)°=0, где l означает показатель степени, l e Z. Если для такой последовательности условие (4) (условие (5)) выполнено, то в случае l > 0 функцию g : G ^ C будем называть сильной производной порядка l функции f по системе характеров (системе Хаара) относительно последовательности (j\)%=0 и обозначать g = Dхг f (g = DHf). А в случае l < 0 функцию g : G ^ C будем называть неопределенным сильным интегралом порядка l функции f по системе характеров (системе Хаара) относительно последовательности (j\)%=0 и обозначать g = D^/^i f (g = D?h i f).
Более того, мы можем вместо последовательности (7^)те=0 рассматривать последовательность 0 I е В этом случае при I > 0 функцию д будем называть сильной производной дробного порядка I функции / по системе характеров (системе Хаара) относительно последовательности (7' )°=0 и обозначать д = ДХ/ (д = Ду/). В случае I < 0 функцию д будем называть неопределенным сильным интегралом дробного порядка I функции / по системе характеров (системе Хаара) относительно последовательности (7')°=0 и обозначать д = Д^/у / (д = ^Н/у /)•
2. ВСПОМОГАТЕЛЬНЫЕ РЕЗУЛЬТАТЫ
Теорема 1. Пусть / е ^ (С) дифференцируема в смысле определения 1 и пусть д из ^ (С) — ее сильная производная по системе характеров относительно последовательности 7 = (7^)°=0.
те те
Пусть Хк — ряд Фурье функции /, тогда ряд Фурье функции д имеет вид ^ Т&Хк, причем к=0 к=0
те
д = Е Хк. к=0
Доказательство. Рассмотрим свертку (Т, (7, ■) * /) (х):
1—1
(Т,(7, ■) * /) (х) = / /(*)Т,(7,х-*)ф(*) = £ /фх*(х-^)^д(^) =
с *=0 с
г—1 „ г—1
= ^7*Хк(х) / /= ^7*с*Хк(х)-
к=0 С к=0
Таким образом получаем, что ряд Фурье свертки (Т,(7, ■) * /) (х) сходится к самой свертке:
г-1
Е 7*с*Хк = (Т,(7, ■) * /) (х). Так как д — сильная производная функции / по системе характе-
к=0
ров, то согласно определению 1 справедливо равенство (4). Следовательно, ряд Фурье функции д
тете
имеет вид £ 7*скхк и д = ^ 7*скхк, сходимость пониматся в смысле нормы в □
к=0 к=0
те
Следствие. Пусть / е и пусть ее ряд Фурье имеет вид: ^ скхк. Если существует
к=0
последовательность 7 = (7^)°=0, такая что функция / дифференцируема в смысле определения 1, а ее сильная производная д интегрируема (см. замечание 2 к определениям 1, 2), то справедливо
те
следующее равенство ^ Хк = /(х).
к=0
Теорема 2. Пусть / е (С) дифференцируема в смысле определения 2 и пусть д из —
те
ее сильная производная по системе Хаара. Пусть ^ — ряд Фурье функции /, тогда ряд
к=0
тете
Фурье функции д имеет вид — ^ 7*, причем д = ^ 7*.
к=0 к=0 Доказательство. Рассмотрим Кп (Г):
/»с ^^ ^ » / с5
/ («)(70 + ЕЕ Е
с 8=0 7 = 1 к=0
/те р8 — 1 т8 — 1
^—п —1 г,_п ^
8=0 7 = 1 к=0
те р8 — 1 — 1
= 70^0 + Е 77т3+к (х)-
8=0 7=1 к=0
Нетрудно убедится в том, что ряд Фурье функции Кп(Г) имеет вид
те Рв — 1 — 1
70 ¿0 + Е 77т8 (х),
8=0 7 = 1 к=0
т. е. сходится к самой функции Кп(Г). Так как д — сильная производная функции / по системе Хаара, следовательно, справедливо равенство (5). Но тогда ряд Фурье функции д имеет вид
те Рв — 1 тв —1 те Рв — 1 тв — 1
70 ¿0 + ЕЕ Е 77т3+к (х) и д = 70 д0 + ЕЕ Е 77т8 + к (х),
8=0 7 = 1 к=0 8=0 7=1 к=0
сходимость понимается в смысле нормы в □
оо
Следствие. Пусть / е (С) и ее ряд Фурье имеет вид ^ скЯк. Если существует после-
к=0
довательность 7 = (7г)°=0 такая, что функция / дифференцируема в смысле определения 2, а ее сильная производная д интегрируема (см. замечание 2 к определениям 1, 2), то справедливо
оо
следующее равенство: ^ скЯк = /(х).
к=0
3. ОСНОВНЫЕ РЕЗУЛЬТАТЫ
Теорема 3. Пусть функция / : С ^ С, / е (С). Пусть / дифференцируема в смысле опре-
оо оо
делений 1 и 2 и ^ скхк — ряд Фурье функции / по системе характеров, ^ Як — ряд Фурье к=0 к=0 функции / по системе Хаара. Тогда, если коэффициенты 7к удовлетворяют условиям:
7ш„ = 7ш„+1 = ••• = 7т„+1 —1, п е N0,
то
ДХ/ = Д? /,
где / = Е ск7кХк — ряд Фурье производной функции / по системе характеров, / =
к=0
= Е 7кЯк — ряд Фурье производной функции / по системе Хаара. к=0
Доказательство. Рассмотрим частные суммы с номерами тп рядов Фурье по системе характеров и системе Хаара:
т„ — 1 т„ — 1
„ = Е с* хк, = Е я* • к=0 к=0
Известно, что и система характеров, и система Хаара являются полными ортонормированными, следовательно, каждую функцию одной системы можно раскладывать в ряд Фурье по другой системе,
__тд — 1
т.е. если к = 0,то^ — 1, то хк = Е акгНг, причем в силу ортонормированности систем матрица
¿=0
(акг) — ортогональная. Рассмотрим частную сумму с номером тп ряда Фурье по системе характеров:
т„ — 1 т„ —1 т„ —1 т„ — 1 т„ —1
зт„ = Е с*хк = Е (/,хк)хк = Е(/' Е ^н) Е = к=0 к=0 к=0 ¿=0 7=0 т„ — 1 т„ —1 т„ — 1 т„ —1 т„ — 1
= Е н Е (/,н) Е = Е (/,н)н = Е н = •
7=0 ¿=0 к=0 7=0 7=0
Таким образом, мы получили, что частные суммы с номерами тп рядов Фурье по системе характеров и системе Хаара совпадают. Рассмотрим теперь ряд Фурье производной функции / по системе характеров:
те т„ —1 те т„ — 1
С070 + Е Е Сг7гХг = с070 + Е 7т"-1 Е ^Хг =
п=1 г=т„_1 п=1 г=т„_1
те т„ — 1 те т„ — 1
= 70¿0 + ^ 7т„_1 ^ ¿гН = 70¿0 + ^ ^ ^г7гН •
п=1 г=т„_ 1 п=1 г=тп —1
Следовательно, используя теоремы 1 и 2, мы получаем, что / = /. □
ос
4. МНОГОМЕРНЫЙ СЛУЧАЙ
Пусть (О, +) — компактная нуль-мерная группа, определенная в § 1. Ограничимся рассмотрением случая, когда все рп = р. Обозначим через С = О* = О х О х ... х О прямое произведение й экземпляров группы О. Ясно, что элементами С являются ¿-мерные векторы, координаты которых — элементы группы О. Прямое произведение й экземпляров подгруппы Оп обозначим через = Оп = Оп х Оп х ... х Оп. Отметим, что данные подгруппы удовлетворяют свойству:
С = О* э О* э ... э оп э ... (С = С0 э С* э ... э Сп* э ■■■),
однако фактор-группы имеют порядок р*, который не является простым числом.
Поэтому такая цепочка не является основной. Пополним данную цепочку новыми подгруппами следующим образом [5,6]. Пусть С(п+1)* С Возьмем элемент д(п+1)а-1 £ /С(п+1)*,
9(п+1)*-1 = (а1,1 дп,а12дп,... ,а1^дп), где (дп) — базисная последовательность в одномерной группе О, а1^ = 0,р — 1. Теперь образуем новую подгруппу С(п+1)а-1 следующим образом:
р-1
С(п+1)*-1 = |_| С(п+1)а +]д(п+1)с!-1. 3=0
Таким образом, мы получили новую подгруппу, которая удовлетворяет следующим свойствам:
С(п+1)а С С(п+1)*-1 С , (С(п+1)*-1 /С(п+1)а)й = Р и (Сп*/С(п+1)а-1)^ = ра-1 • Если ¿> 2 пр°-должим наши построения. Выберем элемент д(п+1)а-2 = (а2,1дп,а2,2дп,...,а2,адп) £ <&па/&(п+1)а-1, а2,з = 0,р — 1 таким образом, чтобы он был линейно независим с элементом д(п+1)а-1. С его помощью построим новую подгруппу:
р-1
С(п+1)*-2 = |_| С(п+1)с1+]9(п+1у1-2 3=0
такую, что
С(п+1)а С С(п+1)*-1 С С(п+1)а-2 С , (С(п+1)*-2/С(п+1)а-1 ^ = Р, (Спа/Щп+1)а-2)* = Р*-2.
Продолжая наши рассуждения, мы получим последовательность вложенных подгрупп, а именно
э С(п+1)*-а+1 э ... э С(п+1)*-1 э С(п+1)а5
удовлетворяющих условию (С(п+1)а-з\С(п+1)а-з+1= р. Таким образом, мы получили, что для того чтобы пополнить цепочку в ¿-мерной группе С, необходимо использовать невырожденную матрицу А. Матрица А имеет вид
(а11 а1,2 ... а1,*\
а2,1 а2,2 . . . а2,с1
\аа,1 аа,2 ... аа,а)
Следует отметить, что на каждом шаге п мы используем одну и ту же матрицу А. Однако саму матрицу А можно выбирать по-разному. От того какую мы матрицу выберем, зависит структура тех подгрупп, которыми мы пополняем цепочку подгрупп.
Теорема 4. Пусть С есть ¿-мерная группа. Обозначим:
М = {ха(х) = Хоц (х1 )Ха2 (х2). ..Хал (ха), а = (а,а2,... ,аа), а3 = 0,Шп+1 — 1
Хаг (а1,1 дп)ха2 (а1,2 дп) . ..хал (а1,*дп) = 15 хаг (а2,1 дп)х<*2 (а2,2 дп) . . . х*а (а2,*дп) = ^^ . . . (ак,1 дп)х а^ (ак,2дп) . . . хал (ак,*дп) = 15 ха£ Оп+1}'
тогда СпПп+1)а-к = м.
Доказательство. Для того чтобы доказать равенство двух множеств, докажем два включения. Покажем, что М С С(п+1)а-к. Рассмотрим произвольный элемент х £ С(п+1)а-к: х = хк-1 + +Эк-1 (ак,1дп,... ,ак,адп), где хк-1 £ С(п+1)а-к+1, Зк-1 = 0,р — 1. В свою очередь, элемент хк-1 =
= х*—2—к—2(йк—1,1 дп, • • • , «к—мдп), где х*—2 е С(п+1)й—к+2, ^к—2 = 0,Р — 1. Продолжая наши рассуждения мы дойдем до элемента х1 е С(п+1)^—1, который можно представить в виде х1 = х0—'0(а1;1 дп, •••,а1,^дп), где х0 е С(п+1)^, = 0,р — 1. Таким образом, мы получили следующее представление элемента:
х = х0-—^0(«1,1 дп, • • •, «мдп)-- • • • -'к—2(ак—1,1 дп, • • •, «к—мдп)--^к—1 (й*,1 дп, • • •, «мдп) •
Теперь выберем произвольный элемент х« е М, зафиксируем и рассмотрим его значение на элементе х:
Ха(х) = Ха(х0)Ха(^(«М дп, • • • , «1,^)) X • • • • • • х ХаО'к—1(«к—1,1 дп, • • •, «к—1,^дп))Ха(^к(«к,1дп, • • •, «мдп))•
Первый множитель ха(хо) = 1, так как х0 е С(п+1)^, т.е. х07) е Сп+1 и ха е Остальные
множители также равны единице, поскольку это прямо следует из определения множества М. Таким образом, мы установили, что для любого х е С(п+1)^—к Х«(х) = 1, следовательно, х« е С^^)^к. А так как х« произвольный, следовательно, М с С(п+1)^—к.
Прежде чем показать обратное включение, определим вид характеров в многомерной группе. Рассмотрим произвольный характер х е Рассмотрим элемент х е С(п+^, его можно представить в виде х = (х(1), х(2), • • •, х(й)) = (х(1), 0, • • •, 0)+(0,х(2), • • •, 0)-—(0,0 • • •, х(й)). При таком разложении каждый из сомножителей можно рассматривать как одномерный элемент из Сп+1. Рассмотрим значение характера на этом элементе х(х) = х((х(1),0, • • •,0))х((0,х(2), • • •,0) •••х((0,0, •••,х(й))). Поскольку в правой части равенства участвуют вектора, которые мы обусловились считать одномерными, то вместо х можно рассмотреть одномерные характеры х« , т.е. записать: Х(х) = Ха1 (х(1) )ха2 (х(2)) • • • Хай (х(Й)). Проверим, сохранятся ли при ЭТ°м все свойства характера Х. Используя свойства одномерных характеров, можно сразу получить, что при таком представлении |х(х)| = 1 и х(х--У) = х(х)х(У). Рассмотрим элемент х е С(п+1)^, следовательно, по определению ан-нулятора х(х) = 1. Так как х е ^П^^, следовательно, на любом элементе из С(п+1)^ значение характера должно быть равным единице. Рассмотрим х е С(п+1)^, его координаты — х(7) е Сп+1. Для того чтобы сохранилось свойство х(х) = 1, необходимо, чтобы наши одномерные характеры, участвующие в представлении многомерного характера, были из аннулятора Таким образом, мы получили, что любой многомерный характер можно представить в виде произведения одномерных. Докажем теперь, что С(п+1)^—к с М. Пусть х е С(п+1)^—к. Следовательно, по определению аннулятора на любом элементе х е С(п+1)й—к х(х) = 1. Рассмотрим х(«1,1 дп,«1,2дп, • • • ,«мдп) = х(д(п+1)й—1) = 1, так как д(п+1)й—1 е С(п+1)й—1 с С(п+1)й—к. Х(«2,1 д^Ог^^ •••,а2^дп) = Х(д(п+1)й—2) = 1, так как д(п+1)^—2 е ^(п+1)^—2 с С(п+1)^—к. х(«к,1дп,ак,2дп, •••,«мдп) = Х(д(п+1)й—к) = 1 так как д(п+1)й—к е С(п+1)й—к с С(п+1)й—к. Таким образом, получили, что х е М, т.е. С(п+1^—к с М. Мы доказали два включения, следовательно, С(п+1)^—к = М. □
Замечание. Аннуляторы имеют более простой вид, а именно
{х«(х) Х« (х( ) )ха2 (х( ) ) • • • Хad (х( ) ), Х« е }•
После того как в С = мы пополнили цепочку подгрупп до основной
3 С(п+1)й—й+1 3 • • • 3 С(п+1)й—1 3 С(п+1)й
и определили вид аннуляторов группы С, мы можем рассматривать нашу многомерную группу С как одномерную. Используя при пополнении цепочки подгрупп разные матрицы, мы получим различные группы С. Если на таких различных группах, образованных из одной многомерной, определять производные в смысле определений 1 и 2, то на каждой из образованных группах эти производные будут отличаться. Однако существует способ определения производной таким образом, чтобы она не зависела от матрицы, с помощью которой образуются дополнительные подгруппы.
Определение 3. Пусть функция / : С ^ С, / е Х1(С),
г—1
Т (т,х) = Е Е 7к Хк (х),
п=0 к: kj =0,т„ + 1 — 1,
тах kj >т„ j
i = (ii), i = (ii ,i2, ■ ■ ■, id), ij G N0, ii G R. Если для функции f G Li (G) существует функция g i G ^ C из Li(G) такая, что
lim || (T(i, •) * f)(x) — g(X)llLi =0,
l^ oo
то g называется сильной производной функции f по системе характеров относительно последовательности (ij) и обозначается g = Dxf.
Покажем теперь, что, используя определение 3 в многомерной группе, мы получим производные, которые не зависят от способа пополнения основной цепочки подгрупп (т.е. от матрицы A).
Теорема 5. Пусть G — компактная нуль-мерная группа. Пусть G — d-мерная группа, образованная прямым произведением d копий группы G. Цепочку подгрупп G0 D Gd D ■ ■ ■ D Gnd D ■ ■ ■ будем пополнять разными способами с помощью матриц Ai и A2. Пусть f i G ^ C, пусть gi , g2 — сильные производные в смысле определения З, построенные по разным матрицам Ai и A2 соответственно. Если последовательность (ik) в определении 3 выбрать таким образом, чтобы ikk принимали постоянное значение при k = (ki,k2^■■,kd) таких, что их координаты
(kj) = 0,mn+i — 1, max kj > mn, тогда gi = g2. j
Доказательство. Используя определение 3 и доказательство, аналогичное теоремам 1 и 2, мы можем установить, что
oo oo
gi = y y ikXk(x), g2 = y y iixj(x)■
n=0 k: kj =0,mn+1-i, n=0 l: j =0,mn + 1-i,
max kj >m„ max kj >m„
jj
Обратимся теперь к теореме 4, в которой был показан вид аннуляторов Gln+l)d-k. Рассмотрим сначала аннулятор вида G|d = {xa(x) = Xa1 (xl)Xa2 (x2) ■ ■■Xad (xd),Xaj G G^+i} и определим, какие характеры (с какими векторными номерами) попали в этот аннулятор. Для одномерных групп известно, что G^ = {xk, k = 0, mn — 1}. Следовательно, G|d = {xa(x),a = ^, a2, ■ ■ ■, ad), aj = 0, mn — 1}. Рассмотрим теперь аннуляторы для подгрупп, которые мы получаем в результате пополнения цепочки до основной. Из теоремы 4 следует, что в аннулятор G|n+i)d—k попадают не все характеры с номерами a i aj = 0,mn+i — 1, а какие-то из них, которые удовлетворяют условиям xa1 (ai,lgn) x
X Xa2 (ai,2 gn ) ■■■Xad (ai,d gn) = 1 Xa2 (a2,i gn )Xa2 (a2,2 gn ) ■■■Xad (a2,d gn) = 1, ■ ■ ■ , Xak (ak,i gn ) x x Xa2(ak,2gn) ■■■Xad(ak,dgn) = 1. Если мы строим пополнения по различным матрицам, то соответственно эти условия также различны, поскольку определяются матрицами. Следовательно, анну-ляторы Gln+l)d-k, построенные по разным матрицам, отличаются друг от друга набором характеров, которые в них попали. Однако если мы рассматриваем аннуляторы с номером nd, то при различных пополнениях, туда попадает один и тот же набор характеров. Соответственно если мы будем рассматривать пачки
Y ikXk(x),
k: kj =0mn + 1-l,
max kj ~>mn j
в которых ik = const, то такие суммы одинаковые. Отсюда несложно показать, что gi = g2. □
Работа выполнена при финансовой поддержке РФФИ (проект № 13-01-00102). Библиографический список
1. Butzer P. L. Wagner H. J. Walsh - Fourier series and функций, определенных на полуоси II Изв. вузов. Ма-the concept of a derivative II Appl. Anal. 1973. Vol. 3, тематика. 2005. № б. С. 28-39.
№ 1. P. 29-4б. 4. Козырев С. В. Теория всплесков как p-адический
спектральный анализ II Изв. РАН. Сер. математиче-
2. Голубое Б. И. О модифицированном сильном двоичном интеграле и производной // Мат. сб. 2002. Т. 193 № 4. С. 37-60.
ская. 2002. Т. 66, № 2. С. 149-158. 5. Lukomskii S. F. Haar system on a product of zero-dimensional compact group // Centr. Eur. J. Math. 2011. 3. Волосивец С. С. Модифицированный P-ичный инте- Vol. 9, № 3. P. 627-639.
грал и модифицированная P-ичная производная для 6. Lukomskii S. F. Multiresolution analysis on product of
zero-dimensional Abelian groups // J. Math. Anal. Appl. 2012. Vol. 385. P. 1162-1178.
7. Лукомский С. Ф. О рядах Хаара на компактной нуль-
мерной группе // Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2009. Т. 9, вып. 1. С. 14-19.
On Differential Operator in Compact Zero-dimensional Groups
I. S. Kruss
Saratov State University, 83, Astrakhanskaya str., Saratov, 410012, Russia, KrussUS@gmail.com
We define strong derivative on zero-dimensional compact group and find conditions under which the differential operator does not depend from an orthonormal system that defines this derivative. For multidimensional case we find conditions under which the differential operator does not depend from method of conversion multidimensional group in one-dimensional group. We obtain a clear view of annihilators in a multidimensional compact zero-dimensional group.
Key words: zero-dimensional groups, pseudo-differential operator, strong P-adic derivative, strong P-adic integral.
This work was supported by the Russian Foundation for Basic Research (project no. 13-01-00102).
References
1. Butzer P. L. Wagner H. J. Walsh - Fourier series and the concept of a derivative. Appl.Anal, 1973, vol. 3. no. 1, pp. 29-46.
2. Golubov B. I. A modified strong dyadic integral and derivative. Sbornik: Mathematics, 2002, vol. 193, no. 4, pp. 507-529. DOI: 10.4213/sm643.
3. Volosivets S. S. A modified P-adic integral and a modified P-adic derivative for functions defined on a half-axis. Russian Math. [Izvestiya VUZ. Matematika], 2005. vol. 49, no. 6. pp. 25-36.
4. Kozyrev S. V. Wavelet theory as p-adic spectral
analysis. Izv. Math., 2002, vol. 66, no. 2, pp. 367-376. DOI: 10.4213/im381.
5. 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.
6. Lukomskii S. F. Multiresolution analysis on product of zero-dimensional Abelian groups. J. Math. Anal. Appl., 2012, vol. 385, pp. 1162-1178.
7. Lukomskii S. F. Haar series on compact zero-dimmesional abelian group. Izv. Saratov Univ. (N. S.), Ser. Math. Mech. Inform., 2009, vol. 9, no. 1, pp. 14-19 (in Russian).
УДК 517.51
ПРИБЛИЖЕНИЕ ФУНКЦИЙ В СИММЕТРИЧНЫХ И СВЯЗАННЫХ С НИМИ ГЕЛЬДЕРОВЫХ ПРОСТРАНСТВАХ ЛИНЕЙНЫМИ СРЕДНИМИ РЯДОВ ФУРЬЕ
Т. В. Лихачева
Аспирантка кафедры теории функций и приближений, Саратовский государственный университет им. Н. Г. Чернышевского, IofinaT@mail.ru
В статье некоторые методы суммирования применяются к рядам Фурье-Виленкина в так называемых симметричных пространствах. Эти методы используют треугольные матрицы, суммы по строкам которых стремятся к нулю, с некоторыми ограничениями на разности коэффициентов. Тригонометрические аналоги наших результатов принадлежат М. Л. Митталу, Б. Э. Родесу, А. Гувену и др.
Ключевые слова: система Виленкина, линейные средние, пространство Гельдера, симметричное (перестановочно-инвариантное) пространство.
1. ОСНОВНЫЕ ПОНЯТИЯ
Пусть Р = {рп}п=1 — последовательность натуральных чисел такая, что 2 < рп < N при п е N. Положим по определению т0 = 1, тп = р1 ■ ■ ■ рп при п е N Ж(рп) = {0,1, ■ ■ ■ ,рп — 1}. Каждое число х е [0,1) может быть представлено в виде
оо
х = ^2 хп/тп, хп е Ж(рп)• (1)
п=1
