Научная статья на тему 'Неортогональный кратномасштабный анализ на нуль-мерных локально компактных группах'

Неортогональный кратномасштабный анализ на нуль-мерных локально компактных группах Текст научной статьи по специальности «Математика»

CC BY
182
63
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
НУЛЬ-МЕРНЫЕ ЛОКАЛЬНО КОМПАКТНЫЕ ГРУППЫ / СЖАТИЯ И СДВИГИ / СИСТЕМА РИССА / ZERO-DIMENSIONAL LOCALLY COMPACT GROUPS / SHIFTS / DILATIONS / RIESZ SYSTEMS

Аннотация научной статьи по математике, автор научной работы — Лукомский С. Ф.

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

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

We given necessary and sufficient condition under which the solution of refinement equation with compactly supported Fourier transform generate the multiresolution analysis.

Текст научной работы на тему «Неортогональный кратномасштабный анализ на нуль-мерных локально компактных группах»

Наконец, если следовать выводу функционального уравнения для ¿-функции Дирихле, приведенному в [5], то получим основной результат данной работы.

Теорема 4. Пусть {ап} — периодическая последовательность, для которой выполняются усло-й 2п.1т й 2п.г вия: 1) ап = 0(1); 2) ^ аге^^ = аге. Тогда ряд Дирихле (2) определяет функцию,

п^х 1 = 1 1 = 1

удовлетворяющую функциональному уравнению типа Римана (3).

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

1. Карацуба А. А. Основы аналитической теории чисел. М.: Наука, 1975.

2. Воронин С.М., Карацуба А. А. Дзета-функция Римана. М.: Физматгиз, 1994.

3. Прахар К. Распределение простых чисел. М.: Мир, 1967.

УДК 517.51

НЕОРТОГОНАЛЬНЫЙ КРАТНОМАСШТАБНЫЙ АНАЛИЗ НА НУЛЬ-МЕРНЫХ

ЛОКАЛЬНО КОМПАКТНЫХ ГРУППАХ

С. Ф. Лукомский

Саратовский государственный университет, кафедра математического анализа E-mail: [email protected]

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

Ключевые слова: нуль-мерные локально компактные группы, сжатия и сдвиги, система Рисса .

4. Кузнецов В.Н. Аналог теоремы Сеге для одного класса рядов Дирихле // Мат. заметки. 1984. Т. 36, вып. 9. С. 805-813.

5. Чандрасекхаран К. Арифметические функции. М.: Наука, 1975.

Nonorthogonal Multiresolution Analysis on Zero-Dimensional Locally Compact Groups

S. F. Lukomskii

Saratov State University, Chair of Mathematical Analysis E-mail: [email protected]

We given necessary and sufficient condition under which the solution of refinement equation with compactly supported Fourier transform generate the multiresolution analysis.

Key words: zero-dimensional locally compact groups, shifts, dilations, Riesz systems.

ВВЕДЕНИЕ

В последние годы значительный интерес вызывают вопросы построения всплесковых базисов на локально компактных нуль-мерных абелевых группах, как общего вида, так и на конкретных группах. Для построения таких базисов обычно строят кратномасшабный анализ (КМА), а затем по известной схеме получают всплесковые базисы. В работах [1-3] эти вопросы рассмотрены на двоичной группе Кантора. Наибольший всплеск интереса к этой тематике проявился после работ С. В. Козырева [4, 5] в которых были впервые построены р-адические базисы Хаара. В. Ю. Протасов, Ю. А. Фарков в работах [6-8] охарактеризовали все двоичные финитные всплески на и указали алгоритм их построения. Ю.А.Фарков в работах [9-10] указал метод построения ортогональных всплесков с компактным носителем на локально компактной группе Виленкина С с постоянной образующей последовательностью и нашел необходимые и достаточные условия, при которых решения масштабирующего уравнения генерируют КМА в Ь2(С). Большая группа работ связана с построением КМА на группах всех р-адических чисел. В.М. Шелкович, А.Ю. Хренников, М. А. Скопина в работах [11-13] ввели понятие р-адического КМА с ортогональной масштабирующей функцией и описали общую схему их построения. Отметим, что в работах [10] и [13] решалась одна и та же задача — построение КМА и на его основе построение ортонормированных базисов в Ь2(С) как сжатий и сдвигов нескольких функций. В [10] эта задача рассмотрена на группе Виленкина, а в [13] — на поле всех р-адических чисел. В работе [14] вопросы построения ортогонального КМА и ортогональных всплесковых базисов рассмотрены на произвольных локально компактных нуль-мерных группах.

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

1. ЛОКАЛЬНО КОМПАКТНЫЕ НУЛЬ-МЕРНЫЕ ГРУППЫ, ТОПОЛОГИЯ, ХАРАКТЕРЫ

Приведем основные понятия и факты, связанные с анализом на нуль-мерных группах. Более подробную информацию можно найти в [15]. Пусть (С, +) — локально компактная абелева группа, топология в которой задана счетной системой открытых подгрупп:

з С—п з ■ ■ ■ з С— з Со з С1 з ■ ■ ■ з Сп з ...,

таких, что и Сп = С, Р| Сп = {0} (0 — нулевой элемент группы С). При каждом фиксированном N е Ъ подгруппа Си является компактной абелевой группой относительно той же операции + в топологии, порожденной системой подгрупп

Си з Си+1 з ■ ■ ■ з Сп з ... .

Пусть далее X — совокупность характеров группы С, которая является группой относительно операции умножения, С^ — аннулятор группы Сп, т. е. С^ = {х е X : Vх е Сп, х(х) = 1}.

Так как каждая группа Сп компактна, то каждая фактор-группа Сп/Сп+1 конечна, и пусть рп — ее порядок. Можно считать, что рп — простые числа, так как используя теорему Силова [16], можно уплотнить цепочку подгрупп так, что порядки фактор-групп Сп/Сп+1 станут простыми. В этом случае базой топологии являются всевозможные смежные классы Сп + д (д е С).

Определим далее числа (тп)+=— ^ следующим образом:

то = 1, тп+1 = тп ■ Рп. Ясно, что при п > 1 тп = р0р1.. .рп—1,

1

т—п =

Р—1р—2.. .р—

п

Смежные классы Сп+ д (п е Ъ) вместе с пустым множеством образуют полукольцо К. На каждом классе Сп--д мера д определена равенством д(Сп--д) = дСп = 1/тп. Таким образом, если п е N и рп = р, то дСп ■ дС—п = 1. Меру д можно продолжить с полукольца К на а алгебру (например, по схеме Каратеодори). Получим меру д, совпадающую на борелевских множествах с мерой Хаара

на С, и которая инвариантная относительно сдвига. Пусть далее / /(х)^д(х) абсолютно сходящийся

с

интеграл, порожденный мерой д.

При каждом п е Ъ выберем элементы дп е Сп \ Сп+1 и зафиксируем их. Тогда любой элемент х е С единственным образом представим в виде

х / апУп

^ «пдп («п = 0,Рп - 1), (1.1)

причем в сумме (1.1) слагаемых с отрицательными номерами конечное число, т. е.

х = ^ апдп («п = 0,рп - 1, «и =0). (1.2)

п=И

Систему элементов (дп) будем называть базисной.

•••с G-n с • • • с GQ с Gi с • • • с GQ с ..., (1.3)

Каждый аннулятор G1 есть группа относительно умножения, G1 образуют возрастающую после довательность:

■ ■ ■ С G-n с ■ ■ ■ с G0 С G1 С ■ ■ ■ С Gn

такую, что

и Gn1 = X, П Gn = {1},

причем фактор-группа G1+1/G1 имеет порядок рп.

При каждом п Е Z выберем элементы гп Е G1+1 \ G1 и зафиксируем их. Тогда любой элемент X Е X единственным образом представим в виде

X = П ГПаП (®п = 0,Рп - 1),

П = — Х1

причем в произведении множителей с положительными номерами конечное число. Характеры гп будем называть функциями Радемахера.

В группе характеров X можно ввести топологию, используя цепочку подгрупп (1.3) и выбирая в качестве базы топологии совокупность смежных классов G1 ■х (х Е X). Совокупность таких смежных классов вместе с пустым множеством образует полукольцо X. Для каждого смежного класса G1 ■ х определим его меру V равенством V^1 ■ х) = V^1) = тп. Таким образом, всегда )и^1) = 1. Мера V продолжается стандартным способом (например, по схеме Каратеодори) на ст-алгебру измеримых множеств. По этой мере строится абсолютно сходящийся интеграл / Е(х)dv(х).

X

Значение х(д) характера х на элементе д Е G будем обозначать через (х,д). Преобразование Фурье / для / Е Ь2 определяется равенством

f(Х)= f(x)(X,x)dKx) = lim / f(x)(x,x)dß(x)J (1A)

J J

G G-n

где lim понимается в смысле сходимости по норме L2 (X). Для f Е L2 (G) справедливо равенство Планшереля

f(x) = f(X)(X,x)dv(Х) = lim / f(X)(X,x)dv(x), (1-5)

J J

X G^

в котором lim также понимается в смысле сходимости по норме L2(X).

Группа характеров X с такой топологией является нуль-мерной локально компактной группой, и имеет место двойственная ситуация: каждый элемент x Е G является характером группы X и Gn есть аннулятор группы Gq. В дальнейшем в определении 2.1 мы зададим на группе G оператор растяжения. Однако определить такой оператор удается только в случае, когда pn = p при любом n Е Z. Поэтому всюду в дальнейшем будем рассматривать группы G, для которых pn = p. Символом f+g будем обозначать сдвиг функции f на элемент g Е G т.е. f+g(x) = f(x+g).

2. ОПЕРАТОР РАСТЯЖЕНИЯ В НУЛЬ-МЕРНОЙ ГРУППЕ И ГРУППЕ ЕЕ ХАРАКТЕРОВ

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

• • • с Gn с • • • с Gi с Go с G_i с • • • с G_n с ...,

в которой (Gn/Gn+1) = p при всех n Е Z (символом X$ обозначено количество элементов множества X). Будем также предполагать, что операция + в группе G удовлетворяет условию

pgn = aign+1 + a2g.n+2+ ... + asgn+s (2.1)

при некоторых фиксированных числах aj = 0,p — 1 (j = 1, s).

Отметим, что если pgn = 0, то группа G есть группа Виленкина, если pgn = gn+\ — группа всех p-адических чисел.

Определение 2.1. Определим оператор A : G ^ G равенством

Ax = ^2 angn-1 (2.2)

пег

при x = angn. Если оператор A аддитивен, то будем называть его оператором растяжения.

nez

Замечание. Оператор A будет аддитивным, если операция + удовлетворяет условию (2.1). Чтобы

убедиться в этом, заметим, что каждый элемент x = angn можно отождествить с последовательно-

nez

стью коэффициентов (an)nez и тогда оператор растяжения A осуществляет сдвиг последовательности (an)neZ на единицу. В этом случае равенство A(x+y) = A(x)+A(y) означает, что если мы сложим последовательности коэффициентов элементов x и y и затем сдвинем эту сумму на единицу, то получим последовательность, которая есть сумма сдвигов. Последнее, очевидно, выполняется, если операция + удовлетворяет условию (2.1). В частности, оператор A будет аддитивным в наиболее важных группах: группах Виленкина с условием pgn =0 и группах p-адических чисел (pgn = gn+i). Лемма 2.1. Если A — оператор растяжения, то AGn = Gn-1, A-1Gn = Gn+1. Доказательство. Равенство AGn = Gn-1 очевидно следует из представления Gn = {x е G : x = angn+an+1gn+1+ ••• }. □

Лемма 2.2. Если f е L(G), A — оператор растяжения, то

J f (Ax)d^x = f (x)d^x. (2.3)

G G

Доказательство. Равенство (2.3) очевидно верно, если f (x) = 1Gn + g (x). Поэтому (2.3) верно для ступенчатых функций, а значит, и для f е L(G). □

Обозначим H0 = {x е G : x = a-1g-1 -+a-2g-2+ • • • + a-Ng-N, N е N, a-j = 0,p — 1}. Множество H0 играет роль натуральных чисел. Лемма 2.3. Если h, g е H0, то

J (x,g)(x,g)dv(x) = Sg,h = j 1 g = h' G0

Доказательство. Рассмотрим элементы x е G как характеры группы X и пусть x = x|go — сужение этих характеров на группу Gj . Тогда

x = a-1 g-1 -+ a-2g-2+ • • • + a-Ng-N е Ho,

(здесь надо учесть, что (G^g^) = 1 при k > 0). Поэтому H0 есть группа характеров компактной группы Gq-, и, значит, элементы из H0 образуют ортонормированную систему в L2(Gq-). □

Следствие. / (x,x)dv(x) = 1go(x).

Доказательство. Если x е G0, то для x е Gj (x, x) = 1, и, значит, f (x,x)dv(x) = 1. Если x / G0, то x е H0 и x = 0. Поэтому по лемме 2.3

У (х,х)(х, 0)^(х) = 0. □

Определение 2.2. Определим действие оператора растяжения А на характеры х £ X равенством (хА)(х) = х(Ах).

Замечание. Оператор растяжения А действует на элемент х Е С слева, а на характер х £ X — справа.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Лемма 2.4. Пусть А — оператор растяжения в С. Тогда: 1) СдА = С:д+1; 2) СдА-1 = Сд-1;

3) С^Тап га™ + 1 гап + в А = С^ гап + ! гап+2 «п+1+з

3) Сп ' п ' п+1 • • • ' п+в А = Сп+1' п+1 ' п+2 • • • ' п+1+в •

Доказательство. 1) пусть х е СдА. Это равносильно тому, что х = ХпА, где хп е Сд • Последнее верно тогда и только тогда, когда для всех х е Сп+1, х(х) = ХпАх = 1, что эквивалентно принадлежности х е С^+1 •

2) очевидно следует из 1).

3) следует из равенств СдА = Сд+1 и гпА = гп+1 • □ Лемма 2.5. Пусть г0 е Сд \ Сд - функция Радемахера. Тогда при любом п е Ъ характер

г0Ап е Сд+1 \ Сд, т. е. является п-й функцией Радемахера. Доказательство. По лемме 2.4

(G± \ = GiAn \ Gj = \ Gj,

откуда и следует утверждение леммы.

N N

Лемма 2.6. Пусть А — оператор растяжения в С и х = П гкк■ Тогда хА = П г0+1-

к = -ж к = -ж

N

N

Доказательство. Пусть х = П rkk ,т.е. X = П rafe 'Хп, где Xn е G°. Тогда xA = П r

к=-ж N

к=п

N

к=п

к+1

X XnA, и ХпA е G°+1, т.е. xA = П гк+1.

Замечание. Из леммы 2.6 следует, что оператор А является оператором растяжения в группе характеров, и по аналогии с леммой 2.2 имеем для / е Ь(Х)

У / (хА)ёи (х) = 1 У / ш» (х)

X X

3. СДВИГИ ФУНКЦИИ КАК СИСТЕМА РИССА

Напомним [17], что система функций ((п) с Ь2(С) называется системой Рисса с постоянными А и В (А, В > 0), если для любой последовательности С = (с^) е 12 ряд ^ сп(п сходится в Ь2(С) и

A||C||22 < К Сп<pr

L2 (G)

< B||C||?2.

(3.1)

Отметим, что из условия (3.1) уже следует сходимость ряда сп. Очевидно также, что система Рисса будет базисом в пространстве:

V := {f = ^2 Сп'-Рп : IСк I2 < .

Известно [17, теорема 1.1.7], что если ^ е L2(R), то система сдвигов (<p(x-к))кег будет системой Рисса с постоянными A и B тогда и только тогда, когда п.в. на R:

A <£>(.

кег

x-

< B.

Следующая теорема является аналогом этого утверждения для локально компактных нуль-мерных групп.

Теорема 3.1. Пусть ( е Ь2(С) и Бирр((х) с вдт. Тогда система сдвигов (((х—Н))нен0 будет системой Рисса с постоянными А и В тогда и только тогда, когда п.в. на Сд:

A < |^(х)|2 < B.

(3.2)

Доказательство. Достаточность. Пусть H с H0 — конечное подмножество. По теореме План-шереля

Y. с^^(х—h)

heH

= / ( ^2 Ch^(x—h) II ChФ—h) ldß

2 G VheH J \heH J

ak

X

2

2

£ch ф-h (Х) £ch<¿-h(x) dv (Х) = l^(x)l

X

\heH

\heH

£ °h (X,h)

heH

dv(x). (3.3)

Так как элементы Л е Н0 образуют ортонормированную систему в Ь2(^т), то отсюда, с учетом (3.2), получается:

а£ |ch|2 <

heH

£ сь,ф(х—h) heH

для любого конечного Н с Н0, а значит, и для Н0. Необходимость. Пусть

а £ |ch|2 <

heHo

£ Chф(х—h) heHo

2

< в £ |ch|2

2 heH

< B£ |Ch|2. 2 heHo

Из (3.3) получается неравенство

A £ |ch|2 <J |Ф(Х)Р

heHo

£ ch(x,h)

heHo

dvx < B £ |ch|2.

heHo

(3.4)

Правое неравенство в (3.4) означает, что

sup I |Ф(х)|2|f(x)|2dv(x) < в,

т.е. || |<^(х)|2||ь^ < B или иначе |</?(х)|2 < B п.в. на Gq- . Покажем теперь, что A < |</?(х)|2 п.в. на Gq . Пусть это не так, т.е. существует множество E с Gq- с v(E) > 0 и такое, что |</?(х)|2 < A — е

на E. Рассмотрим характеристическую функцию 1E (х) и пусть 1E (х) = ch (x,h). Тогда

heHo

2

2

G0

2

2

o

L2 <1

o

|Ф(Х)Р

heHo

ch (X, h)

dv(x) = I |Ф(Х)|21|(X)dv(x) < (A - e) / (x)dv(x) = (A - e) > ' |ch|

что противоречит (3.4). □

В качестве следствия получается

Теорема 3.2. Пусть ( e L2(G) и supp ((х) с Gq. Тогда система сдвигов (((x—h))heHo есть ортонормированная система на G0 тогда и только тогда, когда |((х)| = (х) п.в. на gq".

Доказательство. Необходимость. Если (((x—h))heHo — ортонормированная система на Go, то она есть система Рисса с границами A = B = 1 и по теореме 3.1 1 < |((х)|2 < 1 п.в. на gq".

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Достаточность очевидна. □

4. НЕОРТОГОНАЛЬНЫЙ КМА

Совокупность замкнутых подпространств Vn с L2(G) назовем КМА, если выполнены условия: А.1. Vn с Vn+i.

A.2. U Vn = ¿2(G); П Vn = {0}.

nez nez

A.3. f (x) e Vn ^ f (Ax) e Vn+i. A.4. f (x) e Vo ^ f (x—h) e Vo.

A.5. Существует функция ( e L2(G) такая, что сдвиги (((x—h))heHo образуют базис Рисса в V0. КМА с такой аксиомой А.5 будем называть неортогональным.

Для построения КМА используем традиционную схему. Выбираем функцию ( e L2(G), для которой сдвиги (((x—h))heHo образуют систему Рисса с границами 0 < A < B < и положим

Vj = span^(Aj x-h))heHo.

(4.1)

2

Go0

o

o

В этом случае система (ф(х—h))heHo есть базис Рисса в V0, и справедливо неравенство

A||f||2 < £ |(Лф—h)|2 < Bif ii2

heHo

(4.2)

для любой функции / е "О. Если подпространства, определенные в (4.1), образуют КМА, то говорят, что ф порождает КМА. Будем искать условия, при которых ф порождает КМА. Условие

ф(х) = ehф(Ах—h)

(4.3)

hen о

является необходимым для выполнения аксиомы А.1. Соотношение (4.3) называют масштабирующим уравнением.

Следующие две леммы доказаны в [14].

Лемма 4.1. Если ф е L2(G) удовлетворяет масштабирующему уравнению (4.3), supp ф с Gq~, то выполнена аксиома А.1.

Лемма 4.2. Пусть ф е L2(G) — решение уравнения (4.3) и suppф с GQ. Равенство (J Vn =

nez

= L2(G) выполняется тогда и только тогда, когда (J supp ф(-А-п) = X.

nez

Следствие. Если ф е L2(G) решение уравнения (4.3) и supp ф = GQ, A < |ф(х)| < B п.в. на GQ,

то\TVn = L2 (X ).

nez

Лемма 4.3. Пусть ф е L2(G), A < |ф(х)|2 < B п.в. на Gq" и supp ф с Gq~. Тогда f) Vn = {0}.

nez

Доказательство. Пусть f е V-n (n е N). Тогда f (Anx) е Vq и с учетом (4.2) имеем

Е

hen о

f (х)ф(Л-п x—h)d ц,х

G

Е

hen о

f (Лп х)ф(х—h)d ц,х

G

<

< B ||f (Лп-)||22 = B J If (Лп x)I2d^(x) = pni If (х)|2 d^(x) = pBn llf IIL .

GG

(4.4)

По теореме 3.1 система (ф(х—Н))ь,ен0 есть базис Рисса в "О с границами А и В, поэтому система (рп/2 ф(Ап х—Н))иен0 — базис Рисса в "п с теми же границами. Следовательно, для / е "п (п е Ъ)

2

2 2 <

1 рП

< A Е I(f,pn/2ф(ЛП —h))|2 = I(f^(An ■— h))I

hen о

p A

heHo

(4.5)

Соединяя (4.4) и (4.5), получаем, что для любого n Е N

B1

22 < 22

Apn

2 22.

Отсюда следует

|L2 = 0, а значит, f = 0 п.в. в G. Теорема 4.4. Пусть ф е L2(G), supp ф(х) = GQ, A < |ф(х)|2 < B п.в. на Gq" и ф(х) — решение масштабирующего уравнения (4.3). Тогда функция ф порождает КМА.

Доказательство. Аксиомы А.3. и А.4. очевидны. Аксиомы А.1. и А.2. вытекают из лемм 4.1-4.3.□

Работа выполнена при финансовой поддержке РФФИ (проект 10-01-00097-а) и гранта Президента по государственной поддержки ведущих научных школ (проект НШ-4383.2010.1).

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

1. Lang W. C. Orthogonal wavelets on the Cantor dyadic // Housten J. Math. 1998. Vol. 24, № 3. P. 533-544. group // SIAM J. Math. Anal. 1996. Vol. 27, № 1. 3. LangW.C. Fractal multiwavelets related to the Cantor P. 305-312. dyadic group // Intern. J. Math. Math. Sci. 1998. Vol. 21,

2. Lang W.C. Wavelet analysis on the Cantor dyadic group № 2. P. 307-314.

2

2

1

п

P

4. Козырев С. В. Вейвлет анализ как р-адический спектральный анализ // Изв. РАН. Сер. математическая. 2002. Т. 66, № 2. С. 149-158.

5. Козырев С. В. р-адические псевдодифференциальные операторы и р-адические вейвлеты // Теор. мат. физ. 2004. Т. 138, № 3. С. 1-42.

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

7. Фарков Ю. А. Биортогональные диадические вейвлеты на полупрямой // Успехи мат. наук. 2007. Т. 62, № 6. С. 189-190.

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

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

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

УДК 517.5

ОБ АСИМПТОТИКЕ МНОГОЧЛЕНОВ,

ОРТОГОНАЛЬНЫХ

НА ПРОИЗВОЛЬНЫХ СЕТКАХ

З. М. Магомедова

Филиал Российского государственного университета туризма и сервиса в г. Махачкале,

кафедра экономики, бухучета, финансов и аудита, E-mail: [email protected]

В статье исследуются асимптотические свойства многочленов ln(x), ортогональных с весом e-xj Atj на произвольных сетках, состоящих из бесконечного числа точек полуоси [0, ж). А именно установлена асимптотическая формула, в которой при возрастании n вместе с N асимптотическое поведение этих многочленов близко к асимптотическому поведению многочленов Лагерра.

Ключевые слова: полином, ортогональная система, сетка, вес, весовая оценка, асимптотическая формула.

11. Shelkovich V.M., Skopina M.A. p-adic Haar multiresolution analysis and pseudo-differential operators // J. Fourier Anal. and Appl. 2009. Vol. 15, № 3. P. 366393. URL: http://arxiv.org/abs/0705.2294.

12. Shelkovich V.M., Khrennikov A. Yu., Skopina M.A. p-adic refinable functions and MRA-based wavelets // J. Approx. Th. 2009. Vol. 161, № 1. P. 226-238.

13. Albeverio S., Evdokimov S., Skopina M. p-adic nonorthogonal wavelet bases // Тр. МИАН. 2009. Т. 265. С. 7-18.

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

15. Агаев Г. Н., Виленкин Н. Я., Джафарли Г. М, Рубинштейн А. И. Мультипликативные системы функций и гармонический анализ на нуль-мерных группах. Баку: Элм, 1981. 180 c.

16. Каргаполов М. И., Мерзляков Ю. И. Основы теории групп. М.: Наука, 1982. 288 с.

17. Новиков И. Я., Протасов В. Ю., Скопина М.А. Теория всплесков. М.: Физматлит, 2005. 616 с.

About Asymptotic Polynomials, Orthogonal on Any Grids Z. M. Magomedova

Branch of the Russian State University of Tourism and Service in Makhachkala,

Chair of Economy, Book Keeping, Finansce and Audit E-mail: [email protected]

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Asymptotic properties of polynomials orthogonal ln(x), with weight e-xj Atj on any infinite set points from semi-axis [0, ro) are investigated. Namely an asymptotic formula is proved in which asymptotic behaviour of these polynomials as n tends to infinity together with N is closely related to asymptotic behaviour of the polynomials by Lagerra.

Key words: polynomial, ortogonal system, set, weight, weighted estimate, approximation formula.

ВВЕДЕНИЕ

Пусть Т = {¿о,^1,... } — дискретное множество (сетка), состоящее из бесконечного числа различных точек, расположенных на [0, го), и таких, что 0 = ¿о < ¿1 < ¿2 .... Рассмотрим также еще одну сетку X = {х0, х1,... }, состоящую из бесконечного числа точек х^-, где х^- = + )/2, ] = 0,1,... Через ^(х) = ^(х,Т), к = 0,1,... обозначим последовательность многочленов, образующих ортонор-мированную систему на сетке X в следующем смысле (п,т = 0,1,...) :

те

(1п, 1т) ^ ^ е 31п(х^' )1ш(х^'^пто (1)

¿=0

i Надоели баннеры? Вы всегда можете отключить рекламу.