Научная статья на тему 'Построение фрейма в пространстве Харди, определенном на двумерном полидиске'

Построение фрейма в пространстве Харди, определенном на двумерном полидиске Текст научной статьи по специальности «Математика»

CC BY
42
7
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ФРЕЙМ / БАНАХОВ ФРЕЙМ / СИСТЕМА ПРЕДСТАВЛЕНИЯ / ВОСПРОИЗВОДЯЩЕЕ ЯДРО / ЯДРО СЕГЕ / ПРОСТРАНСТВО ХАРДИ / FRAME / BANACH FRAME / REPRESENTING SYSTEM / REPRODUCING KERNEL / SZEGO KERNEL / HARDY SPACE

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

В статье приведена конструкция системы представления на основе дискретизированного ядра Сеге в пространстве Харди, определенном на двумерном полидиске комплексной плоскости. Ответ на вопрос о существовании систем представления на основе воспроизводящих ядер существенным образом зависит от рассматриваемого пространства. Хорошо известно, что в пространстве Харди не существует базисов и фреймов Даффина Шеффера, построенных на основе ядра Сеге. Мы используем понятие банахова фрейма, являющееся обобщением понятия фрейма Даффина Шеффера. Построив банахов фрейм, мы можем говорить о том, что произвольная функция из пространства Харди представима в виде суммы ряда по последовательности дискретизированных ядер.

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

ON A CONSTRUCTION OF A FRAME IN THE HARDY SPACE DEFINED ON THE TWO-DIMENSIONAL POLYDISC

In the article we present a construction of a representing system based on the discretized Szego kernel in the Hardy space defined on the two-dimensional polydisc. An answer to the question on the existence of representing systems based on reproducing kernels depends significantly on the space under consideration. It is well known that in the Hardy space there are no both bases and Duffin Shaeffer frames, based on the discretized Szego kernel. We use a notion of a Banach frame which generalizes the concept of the Duffin Shaeffer frame. Having constructed a Banach frame, we can say that any function from the Hardy space can be represented as a series of discretized kernels.

Текст научной работы на тему «Построение фрейма в пространстве Харди, определенном на двумерном полидиске»

Вестник Самарского университета. Естественнонаучная серия. Том 25 № 2 2019

МАТЕМАТИКА

УДК 517.5 Дата поступления статьи: 3//У/2019

Б01: 10.18287/2541-7525-2019-25-2-21-29 Дата принятия статьи: 17//У/2019

К.С. Сперанский

ПОСТРОЕНИЕ ФРЕЙМА В ПРОСТРАНСТВЕ ХАРДИ, ОПРЕДЕЛЕННОМ НА ДВУМЕРНОМ ПОЛИДИСКЕ

© Сперанский Константин Сергеевич — магистрант кафедры теории функций и стохастического анализа, Саратовский национальный исследовательский государственный университет имени Н.Г. Чернышевского, 410012, Российская Федерация, г. Саратов, ул. Астраханская, 83. E-mail: konstantin.speransky@gmail.com. ORCID: https://orcid.org/0000-0002-3170-2828

АННОТАЦИЯ

В статье приведена конструкция системы представления на основе дискретизированного ядра Сеге в пространстве Харди, определенном на двумерном полидиске комплексной плоскости. Ответ на вопрос о существовании систем представления на основе воспроизводящих ядер существенным образом зависит от рассматриваемого пространства. Хорошо известно, что в пространстве Харди не существует базисов и фреймов Даффина — Шеффера, построенных на основе ядра Сеге. Мы используем понятие банахова фрейма, являющееся обобщением понятия фрейма Даффина — Шеффера. Построив банахов фрейм, мы можем говорить о том, что произвольная функция из пространства Харди представима в виде суммы ряда по последовательности дискретизированных ядер.

Ключевые слова: фрейм, банахов фрейм, система представления, воспроизводящее ядро, ядро Сеге, пространство Харди.

Цитирование. Сперанский К.С. Построение фрейма в пространстве Харди, определенном на двумерном полидиске // Вестник Самарского университета. Естественнонаучная серия. 2019. Т. 25. № 2. С. 21-29. Б01: http://doi.org/10.18287/2541-7525-2019-25-2-21-29.

This work is licensed under a Creative Commons Attribution 4.0 International License.

UDC 517.5 Submitted: 3//V/2019

DOI: 10.18287/2541-7525-2019-25-2-21-29 Accepted: 17//V/2019

K.S. Speransky

ON A CONSTRUCTION OF A FRAME IN THE HARDY SPACE DEFINED ON THE TWO-DIMENSIONAL POLYDISC

© Speransky Konstantin Sergeevich — Master's Degree Student of the Department of Function Theory and Stochastic Analysis, Saratov State University, 83, Astrakhanskaya Street, Saratov, 410012, Russian Federation. E-mail: konstantin.speransky@gmail.com. ORCID: https://orcid.org/0000-0002-3170-2828

ABSTRACT

In the article we present a construction of a representing system based on the discretized Szego kernel in the Hardy space defined on the two-dimensional polydisc. An answer to the question on the existence of representing systems based on reproducing kernels depends significantly on the space under consideration. It is well known that in the Hardy space there are no both bases and Duffin — Shaeffer frames, based on the discretized Szego kernel. We use a notion of a Banach frame which generalizes the concept of the Duffin — Shaeffer frame. Having constructed a Banach frame, we can say that any function from the Hardy space can be represented as a series of discretized kernels.

Key words: frame, Banach frame, representing system, reproducing kernel, Szego kernel, Hardy space.

Citation. Speransky K.S. Postroenie freima v prostranstve Khardi, opredelennom na dvumernom polidiske [On a construction of a frame in the Hardy space defined on the two-dimensional polydisc]. Vestnik Samarskogo universiteta. Estestvennonauchnaya seriya [Vestnik of Samara University. Natural Science Series], 2019, no. 25, no. 2, pp. 21-29. DOI: http://doi.org/10.18287/2541-7525-2019-25-2-21-29 [in Russian].

Введение

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

Напомним, что банахово пространство Н, состоящее из функций ] : П ^ С, называется функциональным [1], если для каждого Л € П оценочный функционал ] ^ f (Л) корректно определен и ограничен: |/(Л)| ^ \\н. Для функционального гильбертова пространства Н мы имеем /(Л) = (/,Кл) для некоторого Кл € Н. Функция К (Л, г) := К\ (г) = {К\ ,Кг), где Л, г € П, называется воспроизводящим ядром гильбертова пространства Н, а само функциональное пространство Н называется гильбертовым пространством с воспроизводящим ядром. Если Л С П — счетное множество точек, то мы получаем систему функций {Кл}лел — последовательность значений воспроизводящего ядра. Говорят, что {Кд}лел образует систему представления в Н, если для всех ] € Н существует последовательность коэффициентов (сЛ)ЛеЛ С С такая, что справедливо представление / = ^Лел сЛКл.

В настоящее время наиболее полно исследованы представляющие свойства воспроизводящих ядер пространств Харди и Бергмана, что отражено в монографиях [2; 3]. С одной стороны, в пространстве Бергмана, так и в пространстве Харди не существует последовательности точек, для которых система воспроизводящих ядер {Кл}лел образует базис пространства Н. Можно показать, что это связано с несовместностью условий интерполяционной и сэмплинг последовательностей. С другой стороны, в пространстве Бергмана существуют фреймы Даффина — Шеффера указанного вида, в то время как в пространстве Харди их не существует [3].

Вопрос о существовании систем представления на основе дискретизированных воспроизводящих ядер {Кл}лел в пространстве Харди на единичном диске комплексной плоскости был сформулирован в качестве открытой проблемы в статье [4].

Вопрос 1. Существует ли последовательность точек {Лп}^! на открытом единичном диске такая, что последовательность {Клпобразует систему представления пространства Н2(В)?

В настоящей статье дается ответ на аналог вопроса 1 для двумерного случая, т. е. в пространстве Н2 (В2). Результат основан на применении теории банаховых фреймов и сохраняется при переходе

к полидиску произвольной размерности. Отметим, что соответствующий результат для одномерного случая был опубликован в статье [5].

Статья структурирована следующим образом. В параграфе 2 сформулирована основная теорема 1 и следствие из нее. В параграфе 3 приводятся некоторые предварительные сведения о пространстве Харди и банаховых фреймах. В параграфах 4 и 5 содержатся леммы для получения верхнего и нижнего фреймовых неравенств соответственно. Параграф 6 посвящен доказательству основного результата.

1. Основной результат

Будем рассматривать пространство Харди H2 = H2(D2), определенное на двумерном полидиске D2 = = {(zi,z2) : |zi| < 1, |Z21 < 1}. Пусть

0 < ri <...<rk <..., lim rk = 1 (1.1)

k^ro

и nk £ N, k = 1, 2,.... Выберем точки {An}^=i £ D2 вида

An = Akjjz = (rke nk , rk e nk ), ji, j2 = 0,1,...nk — 1. (1.2)

Далее, под условием согласования для nk и rk будем понимать выполнение неравенств

0 < a < nk (1 - rk) < b < то (1.3)

с некоторыми постоянными 0 < a ^ b < то. В общем случае для произвольного множества M С N х х (0,1) пар (n, r) условие согласования аналогично (1.3), т. е. имеет вид 0 < a ^ n(1 — r) ^ b < то и будет обозначаться по-прежнему (1.3).

Теорема 1. Пусть {An}^=i £ D2 — последовательность точек вида (1.2), удовлетворяющая условиям согласования (1.3). Тогда последовательность нормализованных ядер Сеге {КЛп }^=1, дискретизированных в этих точках, образует фрейм пространства Харди H2 относительно пространства коэффициентов X, состоящего из всех последовательностей = {Zkj1j2}, для которых

/11 \ i/2

Го I nk-ink-i \

Z(Z Ziji21 <то. (1.4)

k=i \ jl=0 j2=0 )

Следствие 1. Для каждой функции f £ H2 существует последовательность {Сп}^=1 £ X такая, что справедливо представление

го

f = Z Zn Kn.

п=1

2. Предварительные сведения

2.1. Пространство Харди и ядро Сеге

Мы будем рассматривать пространство Харди Н2 = Н2(В2), определенное на двумерном полидиске комплексной плоскости В2 = {(21,22) : \zl\ < 1, 1^1 < 1}.

Определение 1. Пространство Харди Н2 = Н2 (В2) состоит из всех аналитических функций ] (21,22) = ^ к1 к2>0 ск1к2 2к1 в полидиске В2, для которых конечна норма

( \1/2 \\1 У* = ^ \Cklk2 N •

,к2>0 '

Пространство Харди Н2 является пространством с воспроизводящим ядром.

Определение 2. Воспроизводящее ядро К\ пространства Н2 называется ядром Сеге [6] и имеет вид

Кл(2) =К 2 л) = 1 ), (2Л)

(1 - Л1 ¿1 )(1 - Л2 22)

где 2 = (21, 22) е В2 и Л = (Л1, л2) е В2. Нормированное ядро Сеге имеет вид

K ( )= к(A, z) =(1 — Ы2)У2(1 — Ы2)1/2 Л (z) \\K (A,z)||H2 (1 — Aizi)(1 — A2z2) ■

2.2. Фреймы Даффина — Шеффера

В процессе доказательства теоремы 1 мы будем активно использовать теорию фреймов. Понятие фрейма было введено в 1952 г. Даффином и Шеффером [7]. Подобно базису, фрейм позволяет представить произвольный элемент гильбертова пространства в виде ряда по его элементам, т. е. фрейм является системой представления. Однако в общем случае фрейм не является минимальной системой, поэтому коэффициенты разложения могут быть не единственны.

Определение 3. Система {фп}Ж=1 С Н ненулевых элементов гильбертова пространства Н называется фреймом Даффина — Шеффера, если существуют постоянные 0 < А < В < то такие, что для всех ] € Н

ж

А\\1 \\Н < В\\/\\Ъ. (2.2)

п=1

Доказательство следующего известного предложения можно найти в [3].

Предложение 1. В пространстве Харди Н2 не существует фрейма Даффина — Шеффера на основе дискретизированных ядер Сеге {Кп}Ж=1.

2.3. Банаховы фреймы

Для построения системы представления в пространстве Н2 нам потребуется более общее определение фрейма. Одно из определений банахова фрейма, основанное на исследованиях Бари по биортогональным системам и базисам гильбертова пространства, было предложено Терехиным в работе [8]. Это определение мы и рассмотрим далее.

Пусть дано сепарабельное банахово пространство Е с сопряженным О = Е * и д) — значение непрерывного линейного функционала д € О на векторе ] € Е.

Определение 4. Банахово пространство X, элементами которого являются числовые последовательности х = {хп}Ж=1, называется модельным, если система канонических ортов {£п}Ж=1 (£п {^тп} ж=1, где 6тп символ Кронекера) образует базис в X.

Произвольный непрерывный линейный функционал I на модельном пространстве однозначно определяется последовательностью своих значений {1(£п)}Ж=1 на элементах базиса. Поэтому сопряженное пространство X * изометрически изоморфно некоторому банахову пространству У, элементами которого являются числовые последовательности у = {уп}Ж=1, и любой непрерывный линейный функционал на модельном пространстве X можно представить в следующем виде:

ж

{х,у) = ^2 ХпУп. (2.3)

п=1

Определение 5. Система {фп}Ж=1 С Е \ {0} называется фреймом в банаховом пространстве Е относительно модельного пространства X с сопряженным пространством У = X *, если существуют постоянные 0 < А ^ В < то такие, что для любого непрерывного линейного функционала д € О = Е* последовательность его коэффициентов Фурье удовлетворяет неравенствам

А\\д\\о < \\{{фп,д)}Ж=Лг < В\\д\\с. (2.4)

Оператор Я : О ^ У называется оператором анализа

Яд = {{фп,д)}Ж=1-

Оператор Б : X ^ Е называется оператором синтеза

ж

Бх ^ ] хп фп .

п=1

Заметим, что оператор анализа является сопряженным к оператору синтеза Я = Б*, но не наоборот. Определение фрейма (2.4) совпадает с определением Даффина — Шеффера в случае, когда Е = О = = Н — гильбертово пространство и X = У = 12.

Важным отличием банахова фрейма (2.4) от атомарного разложения и банахова фрейма по Грохенигу является то, что автоматически обеспечивается справедливость следующего предложения о представлении, доказанного в работе [9].

Предложение 2. Пусть {фп}'Ж=1 — фрейм в банаховом пространстве Е относительно модельного пространства X. Тогда для любого вектора / € Е существует числовая последовательность {хп}Ж=1 € X такая, что } = ¿^п=1 хпфп.

Модельное пространство определяется неоднозначно и влияет на тип сходимости ряда. Например, если естественный базис модельного пространства X является безусловным, то представляющий ряд сходится к / безусловно.

2.4. Эквивалентность неравенства Бесселя

В дальнейшем будет часто использоваться следующий результат, непосредственно вытекающий из равенства Д = Б * для введенных выше операторов анализа и синтеза.

Предложение 3. Для системы элементов {фп}%==1 банахова пространства Е следующие условия эквивалентны:

существует постоянная В > 0 такая, что для всех х = {хп}^=1 е X

У^/Лифг.

< B\\x\\x;

существует постоянная В > 0 такая, что для всех д е О

\\{(фп,д)}^=Лг < В\\д\\а.

(2.5)

(2.6)

3. Верхнее фреймовое неравенство

Лемма 1. Рассмотрим корни п-степени из единицы

j = e n

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

, j =0, 1,...n — 1.

(3.1)

Пусть нормированные ядра Сеге К 31 з2 дискретизированы в точках (гш., гшП2). Тогда для всех п е N и 0 < г < 1 выполняется неравенство

n — 1 n — 1

E E Kruji ji=0 j2=0

n ^n

<

n(1 — r2 )

1 _r2n

H2

Доказательство. По определению ядра Сеге

1 n 1

n— 1 n— 1

n — 1 n — 1

E E ^ I2

Ui=0 j2=0

tjj (1 — r2)

1/2

(3.2)

EEj2 Krj ,rj2 (ZbZ2)=EE Л _2ЛМ1 \Л _2ЛМ2 \

ji=0 j2=0 (1 — re n хЛ (1 — re n Z2 J

ji=0 j2=0

= (1 — r2)

n — 1 n — 1 /то CO

E Etjij2 E Er'1

71=0 j2=0 Vfci = 0 k2 = 0

k k 2nijiki 2nij2k2 r i r 2 e n e n

CO CO

ki=0 k2 = C 1 n 1

2nijiki 2nij2 k2 ki k2

= (1 - ^Е Е Гк1 Гк2 Е Е ^ е " е " 2Г 2Г • к1=0 к* =0 .1=0 .2=0

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

Рассмотрим ряд Тейлора функции / е Н2

I (21,22)= ск1к22к1222 • к1,к2>0

Делая замену переменных ки ^ 1ип+ки, V = 1, 2, а также учитывая периодичность экспонент и используя дискретное преобразование Фурье

1 n— 1 n — 1

tki k2 = n tjij2c

2niji ki 2nij2 ^2

ji=0 j2=0

получаем

n— 1 n — 1

E E tjij2 Kr>ni , ji=0 j2=0

n ^n

n

-1 n- 1

(1—r2)2 E E E E r2(iin+ki li=0 l2=0 ki = 0 k2 = 0

H2

n + ki)r2(l2n + k2),

1 n 1

E E tjij2 ji = 0 j2 = 0

_ 2niji (¿i n+ki) _ 2nij2(l2n+k2) e n e n

e

2

жж

п-1п-1

(1 _ Г2)2^ ^ Г2кпГ21*п^ ^ Г2к1'1

,2к2

¡1=0 ¡2=0 п— 1 п — 1

(1 _ г2)2 ^ ^г2к1 г к1 =0 к2=0

2к2

к1 =0 к2 = 0 п— 1 п—1

У! У! ^3132

51=0 32=0

п—1 п—1

У/ 132

31=0 32=0

е п е п

2пгу 1 к 1 2пг^2^2

е п е п

ЕЕг2'1

¡1=0 ¡2=0

п— 1 п—1

= П2(1 _ г2)2^ ]Гг2к1 г2к2 |Гк1к к1 =0 к2 =0

(1 _ г2п)

2п 2

Очевидно, что г * < 1, V = 1, 2, поэтому на основании унитарности преобразования Фурье

п— 1 п— 1 31=0 32=0

п ?' '-«-'п

<

п(1 _ г2) 1 г2п

н2

(п—1 п—1 \

ЕЕ^\2

к1 = 0 к2 = 0 )

1/2

Следствие 2. В обозначениях леммы 1 и при выполнении условий согласования (1.3) неравенство (3.2) справедливо с постоянной В> 0, не зависящей от (п, г):

п— 1 п—1

Е Е £ш2 ^П.1 ,

31=0 32=0

п ^п

< В

н2

(п—1 п—1 \

Е Е^\2

к1 = 0 к2=0 )

1/2

\к1=0 к2=0

Доказательство. Используя условие согласования и второй замечательный предел, находим

г2п < (1 _ а/п)2п ^ е—2а < 1, (3.3)

откуда

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

п(1 _ г2) < 2п(1 _ г) ^ в

1 г2п 1 г2п 1 е-2а

Следствие 3. В обозначениях леммы 1 и при выполнении условий согласования (1.3) для всех д € Н2 справедливо неравенство

{{КтиП ,тшП2 ,д)}3

31,32=0

I2

^ В\

\ н2 ,

В

(3.4)

Доказательство. Используя предложение 3 при Е = О = Н2 и X = У = I2, из предыдущего следствия 2 получаем (3.4).

4. Нижнее фреймовое неравенство

Определение 6. Пусть для каждого п € N определены корни из единицы (3.1) и пусть у функции /(2:1,2:2) корректно определены значения на торе Т2 = {(г1,г2) : \г1\ = \г2\ = 1}. В качестве семейства полунорм обозначим

¿Е Т,^«л

31=032=0

Лемма 2. Для каждого полинома вида

п-1п-1

р(Х1,Х2) = ^ Ск1к2 21к1 222 , ск1к2 € С,

1 п 1

1/2

(< )\2

к1 =0 к2 = 0

справедливо равенство

\Р\\п = \\Р\Н2 .

Доказательство. Применяя обратное дискретное преобразование Фурье

п-1п-1

1 ^—> ^—> 2пг^1 к1 2пг32к2

32 = - Ск1 к2е п е п =

к1 =0 к2=0

1п1

1 Е Е Ск1к2шпк1 ^ = , 31,32 =0, 1,.. .п _ 1

к1=0 к2=0

п 1 п

п

(4.1)

2

2

2

и используя его унитарность, получаем

/ 11 \ 1/2 /11 \ 1/2

/ .. п— 1 п— 1 \ / п— 1 п—1 \

\Р\\п = I ^ Е Е \пС3132\2 ) = I Е Е \С3132\2 ) = \\Р\\Н2.

\ 31=0 32=0 ) \31 = 0 32 = 0 )

Определение 7. Для всех 0 < г < 1 и / € Н2 определим оператор растяжения ат следующим образом:

/(21, 22) = /(г21,г22).

Лемма 3. Для всех / € Н2 и всех п = 1, 2,... выполняется следующее неравенство:

II ги ^ \\/\\н2

\\°т I \ \ п <

1 _ r2n

Доказательство. Используя неравенство (3.2) и предложение 3, получаем

)1/2 /

i Л п—1 п—1

= (¿ЕЕ

V 31=0 ¿2=0

IIf »н »f»H2

(1 - r2)

2\ 1/2

<

¿(1_r2) 1_r2n 1_r2n

Следствие 4. При выполнении условий согласования (1.3) семейство операторов растяжения ar, 0 < r < 1 является равномерно ограниченным относительно последовательности полунорм || • ||п, т. е. справедливо неравенство

IK f ||n < C||f »H2 , с = 1 _ 1е-2„ •

Доказательство. Достаточно учесть оценку r2n ^ e-2a из соотношения (3.3).

Лемма 4. Пусть M — множество всех пар (n,r), n £ N, r £ (0,1), для которых выполняются условия согласования (1.3). Тогда для всех f £ H2 справедлива оценка

IIf 11 н 2 < sup »ar f ||n. (4.2)

(n,r)eM

Доказательство. Сначала проверим неравенство для полиномов вида

N-1 N-1

P (^1,22) = Е Е Cfcifc2 Zl1 z22 , ckik2 £ C. k, =0 k2 = 0

Используя лемму 2, имеем

sup IIarP»n > sup IIarP||n = sup »arP||н2 =

(n,r)eM (n,r)eM,n>N (n,r)eM,n>N

= sup IIarP»H2 = »P»H2. (4.3)

0<r<1

В последнем равенстве мы использовали то, что ar f стремится к f при r ^ 1 для всех f £ H2 и || ar f 11 н2 монотонно возрастает с ростом r.

Теперь проверим неравенство (4.2) для произвольной функции f £ H2, для которой выберем полином P таким образом, что || f — P||н2 < е. Используя неравенство треугольника, имеем

sup ||arf ||n > sup ||arP||n _ sup »ar(f _ P)||n.

(n,r)eM (n,r)eM (n,r)eM

Используя уже полученную оценку для полиномов (4.3) и следствие 4 о равномерной ограниченности оператора растяжения ar, получаем

sup »arP»n _ sup »ar(f _ P)»n > »P»н2 _ IIf _ ^* >

(n,r)eM (n,r)eM 1 _e

> IIf »н2 _ »f _ P»н2 _ Ц^н1 > IIf »н2 _ е _ е

1 _ e-2a 1 _ e-2a

Ввиду произвольного е > 0 окончательно находим

sup | | ar P11 n > 11 f 11 н2.

(n,r)eM

II

a

r. 11 n

Замечание 1. Лемма 4 остается в силе при замене множества M всех согласованных пар (n,r) на его подмножество M' С M, удовлетворяющее условию

sup r = 1.

(n,r)eM'

Последнее условие означает, что вторая компонента пары (n, r) G M' принимает значения сколь угодно близкие к 1. В самом деле такое условие на M' обеспечивает справедливость аналога оценки (4.3) при замене M на M' (надо лишь учесть монотонность роста \\arf\\н2 с ростом r).

5. Доказательство основного результата

Чтобы показать существование фрейма, описанного в условии теоремы 1, достаточно доказать справедливость фреймовых неравенств для всех д G H2. В качестве пространства коэффициентов X выберем пространство последовательностей, для которых выполняется (1.4). Очевидно, что дуальное пространство Y = X * будет снабжено нормой

sup

k=1,2,.

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

'nk-1nk —1

Е Е \Zkjij21" .¿1=0 ¿2=0

1/2

и поэтому фреймовые неравенства могут быть записаны в следующем виде

I пк-1

' ¿и'2=0

А\\д\\н2 < sup

k=1,2,.

( ~ } nk -

{K^j ,д)\. . J ¿i,j

< B\\g\\H2, 0 < A < B< то.

(5.1)

12

Выберем последовательность пар вида (1.1), которые удовлетворяют условиям согласования (1.3). Далее дискретизируем ядра Сеге в точках

1 ¿2 =

2п~~1

2п~~2

) = (rk ,rk .

К = ^¿¿2 = ( Гке ,гке пк ) =

При таком выборе точек дискретизации верхнее неравенство в формуле (5.1) следует из неравенства (3.4) и следствия 3.

Для доказательства нижнего неравенства из (5.1) воспользуемся определением семейства полунорм (4.1) и оценкой (4.2)

sup

k=1,2,.

' nk — 1 nk — 1

Е Е lf,Krk ~k ,r~k )|2 ,¿1=0 ¿2=0

1/2

nk 1 nk 1

sup (i-r") (E ¿2\(f,K~~i2

j1 =0 j2=0

1/2

k=1,2

nk 1 nk 1

1/2

sup nk

(1 - r2) ( ^ E J2if (r<

'k) I ""2 k=1,2,... nk \ k ¿i=0 ¿2=0

nk' r ^nk ) 1

sup nk(1 - rk)(1+ rk)\\ark f \\nk k=1,2,...

По изложенному заключаем

А\\д\\н2 < sup k=1,2,...

{ K } nk

{(Krk~ ,r~ ,g)J ¿1

nk 1 ¿1 ,¿2=0

^ Bll

^ all

н2 ,

н2 .

A = a, B

2b

12

1- e—2a'

Основной результат доказан. Следствие 1 непосредственно вытекает из предложения 2.

Литература

[1] Халмош П. Гильбертово пространство в задачах. М.: Мир, 1970. 351 с. URL: http://bookre.org/reader?file=443586.

[2] Duren P.L. Theory of Hp spaces. New York: Academic Press, 1970. 258 p. URL: http://bookre.org/reader?file=1465899.

[3] Duren P.L., Schuster A.P. Bergman spaces. Providence: AMS, 2004. 318 p. URL: http://bookre.org/reader?file=2233148.

[4] Fricain E., Khoi L., Lefevre P. Representing systems generated by reproducing kernels // Indag. Math. 2018. V. 29(3). P. 860-872.

[5] Speransky K.S., Terekhin P.A. A representing system generated by the Szego kernel for the Hardy space // Indag. Math. 2018. V. 29(5). P. 1318-1325. DOI: 10.1016/j.indag.2018.06.001.

[6] Agler J., McCarthy J.E. Pick interpolation and Hilbert function spaces. Providence: AMS, 2002. 308 p. URL: https://ru.b-ok.cc/book/2291887/42a853.

[7] Duffin R., Schaeffer A. A class of nonharmonic Fourier series // Trans. Amer. Math. Soc. 1952. V. 72(2), P. 341-366. URL: https://www.ams.org/journals/tran/1952-072-02/S0002-9947-1952-0047179-6/S0002-9947-1952-0047179-6.pdf.

[8] Терехин П.А. Фреймы в банаховом пространстве и их приложения к построению всплесков // Исследования по алгебре, теории чисел, функциональному анализу и смежным вопросам: сб. науч. тр. Вып. 2. Саратов: Изд-во Сарат. ун-та, 2003. С. 65-81. URL: https://elibrary.ru/item.asp?id=23891428.

[9] Терехин П.А. Банаховы фреймы в задаче аффинного синтеза // Матем. сб. 2009. Т. 200. Вып. 9. С. 127-146. DOI: https://doi.org/10.4213/sm5655.

[10] Rudin W. Functional Analysis. 2nd edition. New York: McGraw-Hill. 1991. 448 p. URL: https://59clc.files.wordpress.com/2012/08/functional-analysis-_-rudin-2th.pdf.

References

[1] Halmos P.R. Gil'bertovo prostranstvo v zadachakh [A Hilbert Space Problem Book]. M.: Mir, 1970, 351 p. Available at: http://bookre.org/reader?file=443586 [in Russian].

[2] Duren P.L. Theory of Hp spaces. New York: Academic Press, 1970, 258 p. Available at: http://bookre.org/reader?file=1465899 [in English].

[3] Duren P.L., Schuster A.P. Bergman spaces. Providence: AMS, 2004, 318 p. Available at: http://bookre.org/reader?file=2233148

[4] Fricain E., Khoi L., Lefevre P. Representing systems generated by reproducing kernels. Indag. Math., 2018, Vol. 29(3), pp. 860-872 [in English].

[5] Speransky K.S., Terekhin P.A. A representing system generated by the Szego kernel for the Hardy space. Indag. Math., 2018, Vol. 29(5), pp. 1318-1325. DOI: 10.1016/j.indag.2018.06.001 [in English].

[6] Agler J., McCarthy J.E. Pick interpolation and Hilbert function spaces. Providence: AMS, 2002, 308 p. Available at: https://ru.b-ok.cc/book/2291887/42a853

[7] Duffin R., Schaeffer A. A class of nonharmonic Fourier series. Trans. Amer. Math. Soc., 1952, V. 72(2), pp. 341-366. Available at: https://www.ams.org/journals/tran/1952-072-02/S0002-9947-1952-0047179-6/S0002-9947-1952-0047179-6.pdf [in English].

[8] Terekhin P.A. Freimy v banakhovom prostranstve i ikh prilozheniya k postroeniyu vspleskov [Frames in a Banach space and their applications to constructing wavelets]. In: Issledovaniya po algebre, teorii chisel, funktsional'nomu analizu i smezhnym voprosam. Sb. nauch. trudov, vyp. 2 [Research on algebra, number theory, functional analysis and adjacent questions. Сollection of scientific papers, Issue 2]. Saratov: Izd -vo Sarat. un-ta, 2003, pp. 65-81. Available at: https://elibrary.ru/item.asp?id=23891428 (in Russian)

[9] Terekhin P.A. Banakhovy freimy v zadache affinnogo sinteza [Banach frames in the problem of affine synthesis]. Matem. sb. [Sbornik: Mathematics], 2009, 200:9, 1383-1402. DOI: https://doi.org/10.4213/sm5655 [in Russian].

[10] Rudin W. Functional Analysis. 2nd edition. New York: McGraw-Hill, 1991, 448 p. Avaialble at: https://59clc.files.wordpress.com/2012/08/functional-analysis-_-rudin-2th.pdf

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