Уравнение свертки в гильбертовых пространствах последовательностей с весом тема автореферата и диссертации по математике, 01.01.01 ВАК РФ

Вахрамеева, Анна Владимировна АВТОР
кандидата физико-математических наук УЧЕНАЯ СТЕПЕНЬ
Уфа МЕСТО ЗАЩИТЫ
2007 ГОД ЗАЩИТЫ
   
01.01.01 КОД ВАК РФ
Диссертация по математике на тему «Уравнение свертки в гильбертовых пространствах последовательностей с весом»
 
Автореферат диссертации на тему "Уравнение свертки в гильбертовых пространствах последовательностей с весом"

На правах рукописи

Вахрамеева Анна Владимировна

УРАВНЕНИЕ СВЕРТКИ В ГИЛЬБЕРТОВЫХ ПРОСТРАНСТВАХ ПОСЛЕДОВАТЕЛЬНОСТЕЙ С ВЕСОМ

01.01.01 — математический анализ

АВТОРЕФЕРАТ диссертации на соискание у ченой степени кандидата физико-математических наук

Уфа - 2007

003056682

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

Научные руководители: доктор физико-математических наук,

член-корреспондеэт РАН, профессор Напалков В.В., кандидат физико-математических наук, профессор Водопьянов В.В.

Официальные оппоненты: доктор физико-математических наук,

профессор Секерин А.Б., кандидат физико-математических наук, доденг Луценко В.И.

Ведущая организации: Нижегородский госуниверситет

Защита состоится «20» апреля 2007 года в 15 часов на заседапии диссертационного совета Д002.57.01 при Институте математики с ВЦ Уфимского научного центра РАН по адресу: 450000, Уфа, ул. Чернышевского, 112.

С диссертацией можно ознакомиться в библиотеке Института математики с ВЦ УНЦ РАН.

Автореферат разослан «_» марта 2007 года.

* /'

Ученый секретарь диссертационного совета t /

канд.фю,- мат. наук ¡/J Попенов C.B.

ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ

Актуальность исследований. Свойства операторов свертки в раз-летных пространствах аналитических функций исследовались многими отечественными и зарубежными математиками: достаточно привести в пример работы таких ученых, как Л. Эренпрайе, Б. Мальгранж, А.Ф. Леонтьев, И.Ф. Красичков-Терновский, Н.К. Никольский, Ю.Ф. Коробейник, А.М. Седлецкий, М.Г. Крейн, В.В. Напалков, A.C. Кривошеев, P.C. Юлмухаметов. Большой интерес к проблемам дашюй тематики обусловлен тем, что, с одной стороны, многие чисто теоретические вопросы сводятся к изучению уравнений свертки, а с другой стороны - операторы свертки часто применяются при решении задач прикладного характера. При этом важную роль играет специфика рассматриваемых пространств аналитических функций, в частности, многие исследования приводят к необходимости конструктивного изучения пространства H(Ur) аналитических в открытом круге Ur радиуса г (с центром в начале координат комплексной плоскости) функций с топологией равномерной сходимости на внутренних компактах и пространства Н(17Г) функций, аналитических в замкнутом круге Ur радиуса г, - индуктивного предела при т —» +оо пространств H(Ur+Vm).

Благодаря наличию в пространствах H(Ur) естественного базиса Шаудера {z"} , любая задача для этих пространств может быть поставлена в терминах коэффициентов Тейлора — например, задача о представлении аналитических функций рядами экспонент, решением которой занимался А.Ф. Леонтьев, или вопрос эквивалентности дифференциальных операторов, изучавшийся K.M. Фишманом. Наличие базиса Шаудера в локально выпуклом пространстве гарантирует существование изоморфного ему пространства последовательностей, вследствие чего локально выпуклые пространства, классу которых принадлежат многие функциональные пространства, имеют естественное изоморфное представление в виде пространства последовательностей. Наиболее известным примером является гильбертово пространство функций 1), которое может быть представлено как пространство последовательностей

12. Менее тривиален пример пространства Бергмана Ap(U\) аналитиче-

(

ских в единичном круге Uj функций с нормой ¡¡/|| = j Jfl/O)^ dxdy

j

где 1 < p < изоморфного пространству lp. В дашюй работе показано, что пространство H(Ur) для г > 1 изоморфно проективном}' пределу Вг весовых гильбертовых пространств комплекснозначных последовательностей с неотрицательными индексами ¡1Л = {5 = {а,,}»Го; =

= jj- < +oo}, где 1 < ). < г, а пространство #((/,) - индуктивному

пределу пространств , где А > г.

Изоморфное представление пространств аналитических функций в виде пространств последовательностей делает актуальной задачу решения дискретного аналога уравнения свертки. Под руководством Напалкова В.В. изучением уравнения свертки для различных пространств последовательностей занимались Карпов A.B., Ким В.Э., Коган Г.А.

В данной диссертации исследуется дискретный аналог уравнения свертки в гильбертовых пространствах последовательностей с весом, причем особую важность в ходе исследований приобрел вопрос о способе реализации таких пространств в виде пространств аналитических функций. В связи с этим возникла необходимость построения естественного изоморфизма между гильбертовыми пространствами последовательностей со степенным и логарифмически выпуклым весом и некоторыми функциональными пространствами. Специфика структуры гильбертова пространства, а также введение в весовых пространствах последовательностей преобразования Меллина (а не преобразования Фурье-Лапласа, как в вышеупомянутых работах), позволили получить требуемую изоморфную реализацию таких пространств в виде пространств функций, аналитических в круге и в кольце комплексной плоскости, а также в виде функциональных пространств типа Харди и Бергмана. Отдельная задача, решению которой посвящена глава 4 диссертации, состояла в определении на исследуемых пространствах последовательностей операции, обладающей всеми свойствами свертки, и изучении аналога уравнения свертки для такой операции.

Цель работы. Изучение дискретного аналога уравнения свертки в гильбертовых пространствах последовательностей со степенным и логарифмически выпуклым весами. Для достижения этой цели были поставлены следующие задачи:

1. Построение естественной изоморфной реализации таких пространств последовательностей в виде пространств аналитических функций.

2. Определение на элементах пространств последовательностей со степенным и логарифмически выпуклым весами бинарной операции, обладающей всеми свойствами свертки, образ которой в изоморфных пространствах аналитических функций совпадал бы с произведением образов исходных последовательностей.

3. Исследование образов пространств последовательностей со степенным и логарифмически выпуклым весами относительно введенного оператора свертки.

Результаты, полученные лично автором, и им носим :лс на защиту:

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

2. Определение на элементах гильбертовых пространств последовательностей со степенным и логарифмически выпуклым весами бинарной операции, обладающей всеми свойствами свертки, образ которой в изоморфных относительно преобразований Меллина пространствах аналитических функций совпадает с произведением образов исходных последовательностей; описание образов таких пространств последовательное! ей относительно введенного оператора свертки.

3. Необходимые и достаточные условия разрешимости и единственности решения дискретного аналога уравнения свертки в гильбертовых пространствах последовательностей со степенным и логарифмически выпуклым весами.

Научная новизна. Все основные результаты диссертации являются новыми:

• получено полное описание образов гильбертовых пространств последовательностей со степенным и логарифмически выпуклым весами относительно преобразования Меллина; показано, что преобразование Меллина реализует естественное изоморфное представление таких пространств последовательностей в виде пространств аналитических функций, причем в случае пространств последовательностей со степенным весом полученная изоморфная реализация изометрична;

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

• найдено описание ядра и образа введенного оператора свертки в гильбертовых пространствах последовательностей со степешшм и логарифмически выпуклым весами, получены критерии разрешимости и единственности решения дискретного аналога уравнения свертки в данных пространствах'.

Достоверность результатов. Достоверность результатов диссертации подтверждается строгостью доказательств, тщательным анализом

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

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

Научная и практическая цеппость. Диссертация носит теоретический характер. Полученные п ней результаты применимы, в частности, к теории уравнений свертки, а также могут быть включены в содержание специальных курсов по теории пространств последовательностей, пространств аналитических функций и теории операторов свертки для студентов математических специальностей Казанского, Нижегородского, Саратовского и Ростовского государственных университетов, разрабатывающих проблемы данной тематики.

Апробация работы. Основные результаты диссертации докладывались автором

• на международной конференции «Комплексный анализ, дифференциальные уравнения и смежные вопросы» (Уфа, 2000 г.);

• на XXIII конференции молодых ученых механико-математического факультета МГУ им. М.В. Ломоносова (Москва, 2001 г.);

• на международной молодежной научной школе-конференции «Лобачевские чтения» (Казань, 2003 г.);

• на международной школе-семинаре по геометрии и анализу-памяти Н.В.Ефимова (Абрау-Дюрсо, 2004 и 2006 гг.);

• на научных семинарах отдела теории функций Института математики с ВЦ УНЦ РАН и кафедры специальных глав математики УГАТУ.

Публикации. По теме диссертации автором опубликовано 7 работ, список которых приведен в конце автореферата.

Объем и структура диссертации. Диссертация изложена на 129 страницах машинописного текста и состоит из введения и четырех глав. Библиография работы содержит 63 наименования.

КРАТКОЕ СОДЕРЖАНИЕ РАБОТЫ

Во введении обосновывается актуальность темы диссертации, изложены цели и задачи работы, перечислены научные положения, выно-

с-имые автором на защиту, описана структура раооты и приведено ее краткое содержание, а также список публикаций автора по теме диссертации.

Глава 1 содержит предварительные сведения; ней вводятся понятия и определения, а также приводятся или доказываются результаты, играющие вспомогательную роль при доказательстве основных Ноложе-1шй, содержащихся в последующих главах.

В пункте 1.1.1 параграфа 1.1 вводится (весовая) последовательность положительных чисел и» = {м>„} и рассматриваются банаховы пространства двусторошгих последовательностей где 1 <р < -Ьо, и с0(-й') с весом й>:

//»={* = {х.}^: ||*| //*-)!! = ( £(]х„ ?< ч™},

Ш) = {х = {х„};;.„: ||х|Ш')||= вирОх. |-И'„)<+сс}, с0(Я) = {X = {х„} : 1йп О X. I -и;) = 0}, II х| с„(и<)|| = ||х| « Й>)!|.

Далее под обозначением Х(м') понимается одно из пространств /Дй') гаи пространство с0(>7'), под обозначением X — соответствующее Х{уЬ) классическое банахово пространство 1р или с0.

Существование изометрического изоморфизма между пространством Х(>г) и X позволяет применить в пространстве Х(й) критерий относительной компактности для банаховых пространств с базисом.

Установлено условие вложения ЛЯ'), заключающееся в

принадлежности последовательности м>А = ■(—1 пространству

И'Х.

В заключение сформулирован и доказан критерий полной непрерывности вложения банаховых пространств последовательностей с весом: вложение J(w)cJ(v) вполне непрерывно тогда и только тогда, когда

последовательность = i — i принадлежит пространству cc(v).

KL-»

Содержание пункта 1.1.2 параграфа 1.1 посвящено теории индуктивного и проективного пределов локально выпуклых пространств.

Пусть {.¥,,, уеГ} - семейство локально выпуклых пространств, и для каждого уеГ иу - линейное отображение пространства Ху в векторное пространство X, причем объединение [Juf(X ) порождает А'. Тогда

те г

вX существует сильнейшая локально выпуклая топология г, при которой все отображения иу непрерывны. Пространство X, наделенное топологией г, называется индуктивным пределом пространств Ху относительно отображений иу.

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

Говорят, что последовательность {Х„нормированных пространств регулярна, если для каждого п выполнены следующие условия:

а) справедливо топологическое вложение X„<zX„+\, причем топология, индуцируемая на Хп из А'я+Ь мажорируется собственной топологией Х„,

б) единичный шар пространства Х„ относительно компактен в Х„,,, то есть вложениеХ„сХ„+1 вполне непрерывно.

Определение 1.1.3. LN*-npocmpancmeoM называется всякое локально выпуклое пространство X, представимое в виде канонического индуктивного предела регулярной последовательности нормированных пространств {Х„} .

Второй метод топологазации векторного пространства в некотором смысле двойственен методу образования индуктивного предела.

Пусть {Yr, ye Г} - семейство локально выпуклых пространств и для каждого уеГ и, есть линейное отображение векторного пространства Y в пространство У,,, причем пересечение Pjv~'(0) = {0}. Тогда в Y СуЩе-

re Г

ствует слабейшая соглас}аощаяся с алгебраической структурой топология и, в которой все отображения vr непрерывны. Пространство Y, наделенное топологией о, называется проективным пределом пространств Yy относительно отображений vr

Пространство Г = р|Гг, наделенное топологией проективного пре-

7EI'

дела относительно топологических вложений Yd Yp называется каноническим проективным пределом пространств Yr

Определение 1.1.5. М*-пространством называется всякое локально выпуклое пространство Y, представимое в виде (канонического) проективного предела «убывающей» последовательности нормированных пространств {}'„} где все вложения 7„+1сГ„ вполне непрерывны.

Основные свойства LN*- и А/ *- пр о стра нств заключены в следующих хорошо известных теоремах:

Теорема 1.1.2. ЬЫ*-пространстворефлексивно. Теорема 1.1.3. Если LN*-npocmpancmeo X - индуктивный предел последовательности пространств {Х„} , то сильно сопряженное к X пространство топологически изоморфно М*-пространству - проективному пределу последовательности пространств {Х'п} **.

Параграф 1.2 содержит описание некоторых свойств функции А {у) = sup {yt - h(t)}, сопряженной по Юту х выпуклой функции h(t),

в частности, леммы о поведении экспоненты exp{-2h(у)} для одномерного и многомерного случаев аргумента у.

В параграфе 1.3 изложены некоторые аспекты теории классических пространств Харди Нр - FFiD), где 1 < р < +оо, аналитических в выпуклой области D с границей 8D функций Дг), для которых конечна величина sup J| /(r£) I" i/ц, в том числе пространств Харди функций, аналитических в открытом круге Ur радиуса г и вне замкнутого круга Ur.

Так как пространство Харди Я2 = II2 (U\) с нормой ||Дг)|Яг|| = = 1 im | fire' Ii тг] 11 - гильбертово, то существует изоморфизм между

пространством Нг и пространством последовательностей 12, который описывается следующим образом: функция /(z) = принадлежит

tr=О

пространству Нг тогда и только тог да, когда последовательность ее коэффициентов Тейлора принадлежит пространству 12, то есть сходится

ряд 2>j\

ыо

Пространства Харди II2 (U„) и II2 (С\ Ь\ ) функций, аналитических в открытом круге Ua = {zeC:\z\<o} п вне замкнутого круга U а = {ze С: I z | 5 er} соответственно, определяются равенствами

Нг т = Ш g(z) -г)6 Н1},

Н\СЛ.) = №- 3 !im fiz) < -br., g(z) =/(-- )еЯ',g(0) = lim/z)}.

Критерии принадлежности функций пространствам Харди II2 (£/„) и II1 (С\IJа) (формулируются в терминах коэффициентов ряда Тейлора и Лорана этих функций соответственно. Так, аналитическая в открытом

круге Ua функция fiz) - принадлежит пространству II2 (ГУ,,) тогда

и только тогда, когда последовательность с = ic„}*Ic ее коэффициентов Тейлора лежит в пространстве I2(w) с весом w = {(f) Функция fiz) =

о

= £c„z", аналитическая во внешности замкнутого круга Üe, принадле-

rjs-«c

жит пространству II1 (С\ Üп) тогда и только тогда, когда последовательность с ~ {ся}°„„ коэффициентов ее ряда Лорана лежит в пространстве /2(v) с весом v = {с"}°=.«,.

Содержанке параграфа 1.4 посвящено гильбертовым пространствам Бергмана.

Напомним, что под классическим пространством Бергмана A2(D) понимается пространство функций из L2(D, ds) (здесь eis = dxdy - rdrdf -плоская мера Лебега на D), аналитических в области D комплексной

плоскости С. Так как Л2(0) - замкнутое подпространство пространства Ь2{Д Л), то оно является гильбертовым.

Рассматриваются частные случаи пространств Бергмана А2(Р) для областей О = и', и£) = С> V ^, где через и, - {ге С:\г\<а} обозначаются открытый, а через II, = {геС: \ г \ <а} - замкнутый круги радиуса ег. Пространства Л2(£/„) и А2(С\[/а) описываются в терминах коэффициентов рядов Тейлора и Лорана принадлежащих им функций. Так, аналитическая в круге и? функция У?/) = с, 2* лежит в пространстве Бершана

А2(и„) тогда и только тогда, когда для ее коэффициентов Тейлора ск схо-

+-|с |! •егг<*+1) -дится ряд У1——-----. Аналитическая вне круга II функция g(z) =

м к +1

+« £ __

= Т--- принадлежит пространству Бергмана Л2(С\ и,) тогда и только

тогда, когда ее коэффициенты Лорана ск удовлетворяют условию I с |г

^-----i—__ < +со. Таким образом, между пространствами Бергмана

¿=2 (А* — 1) • ст 1 '

,}2(£,У иА2(С\(1гт) и пространствами последовательностей /2(й') с весом

- [ Г" , - [ 1 Г

и> = < , и 12( V) с весом V = <--, - > соответственно ус-

танавливается естествешшй изоморфизм.

В главе 2 изучаются гильбертовы пространства последовательностей со степенным весом. Показывается, что преобразование Меллина, определенное на элементах таких пространств, осуществляет естественный изометрический изоморфизм между этими пространствами и пространствами Харди и Бергмана функций, аналитических в кольце комплексной плоскости. Кроме того, получена изоморфпая реализация пространств функций, аналитических в открытом и замкнутом кольце комплексной плоскости, в виде соответственно проективного и индуктивного пределов пространств последовательностей со степенным весом. Результаты распространены также на многомерный случай.

Для следующих частных случаев весовой последовательности к': 1

где а > 1 - фиксированное действительное число, - рассматриваются гильбертовы пространства комплекснозначных последовательностей

(V'2 4(vv)= {х = {х„;с.: p|/2(w)li= |.w,)lJ < + <*},

а также подпространства I*(w) = {х e/2(w): п < 0 х„ = 0} и Гг (w) = = {хe/2(w): п > 0 => х„ = 0} этих пространств.

Для элементов а = {«, KL, пространств 1г(wffJt), где к = 1, 2, 3, равенством

(2-1)

K=-w 0"

определено (взвешенное) преобразование Меллина. Получено полное описание образов пространств /г), А: = 1, 2, 3, а также их компонент /j ) и (M'„ t) относительно 1феобразова1Шя Меллина (2.1). Параграф 2.1 посвящен исследованию пространства

с

и описанию его образа относительно преобразования Меллина (2.1):

Теорема 2.1.1. Для того чтобы функция F(z) была аналитической

я

в кольце Ка = {zeC: Ш < | z j < а) и интегралы J| F{re"f) |2 dp

имели конечные пределы при г—> ст — 0 м г —» 1/ег + О для почти всех значений <ре[-ж; ж], необходимо и достаточно, чтобы F(z) являлась преобразованием Меллина (2.1) некоторой последоеатёлыю-

+*» Q Z*

сти из пространства /2 (vi^,): F(z) ~ £ > я ~

В параграфе 2.2 рассматриваются подпространства пространства h^ci) ~ гильбертовы пространства односторонних последовательностей ¿z(wal) и 12 в частности, доказана их изоморфность относительно преобразования Меллина пространствам Харди II2 (U„) и Hl(C\UvJ соответствешю, где Щ(С\П,1а) = {/(г): НтДг) = 0, g(z) =

-J{-— )е#2, g(0) -- 0} - подпространство пространства H2(C\UU!r) cr-z

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

Конструкция такого естественного изоморфизма описывается теоремами 2.2.1 и 2.2.2:

Теорема 2.2.1. Функция F(z) принадлежит пространству Харди Л1 (U0) тогда и только тогда, когда F(z) является преобразова-

наем Мсллина (2.1) некоторой последовательности из пространства ,): Я*) - где Ъ = {Ь„} Г0 е № ,).

».о сг

Теорема 2.2.2. Функция Р{г) принадлежит пространству #0:(С\£/,/1г) тогда и только тогда, когда Ь\£) является преобразованием Меллгта (2.1) некоторой последовательности из про-

^ Ь —

странства /Дн^,): Я-г) , где Ь = {Ь„} ~ е /2"(Я,).

/>-17 • сг

Обобщением этих теорем является теорема 2.1.3 - критерий принадлежности функции образу пространства ^(н" ,) относительно преобразования Меллина (2.1), сформулированный в терминах пространств Харди:

Теорема 2.1.3. Для того чтобы функция Г(г) допускала (единственное) разложение = + /^.(г), где функции F+(г) и К(г) принадлежат пространствам Н1 {IIа) и #0:(С\С/1/1Т) соответственно, необходимо и достаточно, чтобы /"(г) являлась преобразованием Меллина (2.1) некоторой последовательности из про""" а 2*

странства 1г (й'„,): Лг) = X "¿Г. где а = {ап} е /,(и>„,).

Л——£Т

Таким образом, преобразование Меллина осуществляет естественное изоморфное отображение пространства ^(м^,) в прямую сумму пространств Харди Н2 (Ь'„) Ф Я 02 (С\£7„„).

В параграфе 2.3 рассматриваются семейства пространств 12 (й>а1) и индуктивный и проективный пределы таких семейств. В терминах преобразования Меллина описаны изоморфизм между индуктивным пределом семейства пространств /2('Я'<г1) и пространством Н(Ка) аналитических в замкнутом кольце комплексной плоскости функций с одной стороны, и между проективным пределом семейства пространств (й1^.) и пространством Н(Ка) аналитических в открытом кольце комплексной плоскости функций - с другой.

Для монотонно возрастающей последовательности действительных чисел {<5, У^. с(1; а), имеющей предел Нт 8к - а, определяется пространство А„ канонического индуктивного предела последовательности {/,(*,.,)}£, на элементы которого распространяется действие преобразования Меллина (2.1). Так как для любого натурального значения к выполняются вполне непрерывные топологические вложения /Дн^ ,) с:/2 (м^ ,), причем топология, индуцируемая на /20\,) из

/,(1^1), мажорируется собственной топологией 1г(м$ ,), то последовательность {/ДуТ^,)}^, регулярна. Следовательно, пространство А„ является £Лг*-пространством.

Пространство А„ изоморфно пространству //(Кп) функций, аналитических в замкнутом кольце комплексной плоскости С внешнего радиуса <х и внутреннего радиуса Мс, относительно преобразования Мел-лина:

Теорема 2.3.1. Для того чтобы функция F(z) была аналитической в замкнутом кольце Ка - {ze С: I/o- < | z | < <т}, необходимо и достаточно, чтобы F(z) являлась преобразованием Меллина некоторой последовательности из пространства А„: F(z) = £ —, где

Для монотонно убывающей последовательности действительных чисел {¡5*} ™ , имеющей предел lim ök = а, вводится пространство В, канонического проективного предела последовательности пространств {/,(»,..,)>". Так как все топологические вложения i с вполне непрерывны и топология, индуцируемая на /2Д из 1гА, мажорируется собственной топологией в /, , то пространство В„ является М*-пространством.

Преобразование Меллина (2.1) реализует изоморфизм между пространством В, и пространством Н(К„) функций, аналитических в открытом кольце комплексной плоскости внешнего радиуса а и внутреннего радиуса 1/<т с центром в начале координат:

Теорема 2.3.2. Для того чтобы функция F(z) была аналитической в кольце К„= {z: I/o < | z ( < а}, необходимо и достаточно, чтобы F(z) являлась преобразованием Меллина (2.1) некоторой последо-

вательности из пространства В„: F{z) = где Ъ =

В параграфе 2.4 данной главы исследуется пространство последовательностей = {а = {а„}7_. ||3| Ц^л)\\2 = <

а

<+ао}, и доказывается изоморфность относительно преобразования Меллина (2.1) его подпространств /,'2) и соответственно

пространствам типа Бергмана A"'(U„) и A^(C\Öiltr) функций, аналитических в круге U„ и вне замкнутого круга UWtr, определяемых равенствами

Г(г)еА2{иа)}, А <" (CSUVa ) = ): f(z) eA2{C\iJVa)}, .

где A2{Ua), A2(C\U:/a) - пространства Бергмана, определенные в пункте 1.4 главы 1.

Теорема 2.4.1. Функция принадлежит пространству Бергмана А™(и„) тогда и только тогда, когда Р(г) является преобразованием Меллина (2.1) некоторой последовательности из про-

Ь 2* —

странства /* (м^ г), то есть F(z) = , где Ь =

»=о (X *

Теорема 2.4.2. Функция Р(г) принадлежит пространству А^(С\иус) тогда и только тогда, когда Р(г) является преобразованием Меллина некоторой последовательности из пространства

Ь -

1~г (>£„,), то есть когда Р{г) = г&е Ь =

о-" • г"

Обобщежем этих результатов является следующая теорема: Теорема 2.4,3. Для того чтобы функция ^(г) допускала (единственное) разложение = + где функции Г+(г) и РАг) принадлежат пространствам А2'(£/„) и Л"'(СЛС/,,,) соответственно, необходимо и достаточно, чтобы 1'(г) являлась преобразованием Меллина некоторой последовательности из пространства /г(Я,): т = а = {«„} е /,«,)■ и

Таким образом, преобразование Меллина (2.1) реализует естественный изоморфизм между гильбертовым пространством последовательностей /2 (й 2) и прямой суммой пространств Бергмана

Наконец, из справедливости вполне непрерывных вложений /2(й'Д1) с /г(н'г 2) с /2(н'г1) при шобых значениях 1< 8 следует совпадение индуктивных пределов семейств пространств {1г(ъ>гг)} и то есть выполнение равенства Нт т<1 /2(и>,2) =А,. Те же

вложения влекут совпадение проективных пределов семейств {К )} и {1г (м-1л)} : Шпрг /, ) = Ва.

В параграфе 2.5 устанавливается существование изоморфизма относительно преобразования Меллина (2.1) между пространствами Бергмана А2(иа), А2{С\и1/с) и соответственно подпространствами 3), /2 ) гильбертова пространства последовательностей /2 (>?..,), определяемого равенством

- {й = ЦЙ|/2(^;)!!2= Е-17Г7ГТТК <

п--ж<Х * ( I П "Г 1)

Теорема 2.5.3. Дня того чтобы функция F(z) допускала (единст-

F (z)

еенное) разложение F(z) ----- F+(z) ~ FAz), где функции F+(z) и —:—

z

принадлежат пространствам и Ai(C\Uilc) соответствен-

но, необходимо и достаточно, чтобы F(z) являлась преобразованием Мглчина некоторой последовательности из пространства

t-^-где а ={0^6/,(*„,). „=-. ст"

Таким образом, теорема 2,5.3 содержит конструктивное описание изоморфизма относительно преобразования Меллина между пространством ,) и прямой суммой

Параграф 2.6 главы 2 содержит обобщение результатов параграфа 2.1 на многомерный случай.

Для т > 2 и фиксированного вектора а = (<7Ь ..., гг^елТ" с координатами > 1 для любого k = 1,..., т, равенством

№,>={3=

где к = (?7ь ..., пт) - мультииндекс, | п | и сгм = oripe-

t

деляется гильбертово пространство /n-мерных двусторонних комплекс-нозначных последовательностей .

Преобразование Меллина элемента а = пространства IT,

имеет вид

+t0 a zn

(2-2)

гдсг"= г*'•...•г*' ■

Доказана справедливость следующей теоремы: Теорема 2.6.1. Для того чтобы функция F(г) £>ьи« аналитической в открытом поликольце К" = {z = (гь ...,г»)бГ: <

& = 1, ..., да} и интегралы )\F(re'i')f~ dep. где <р = (&ь ..., ip„) и

ге1' -- (г/'", ..., имели конечные пределы при

г = (гь ..., гя) —!► <ти г —► 1/ст = (1/(Ть ..., !/сги), необходимо и достаточно, чтобы F(z) являлась преобразованием Меллина (2,2) р.еко-

a zп

торой последовательности из пространства /Г0: ^(z) = У] та

5 = {«,},£-. е С-

Следовательно, теория, построенная в параграфах 2.1-2.5 для гильбертовых пространств одномерных последоватен-ностей с Ессо™, успешно продолжается на многомерные аналоги таких пространств.

Обобщая результаты пунктов 2.1-2.5, заметим, что справедливость вполне непрерывных вложений A„cz 1г(~*'„г) с /,(м^,) с 1г(w^3) с:Д, влечет, в силу существования изоморфизмов относительно преобразования Меллина (2.2), выполнение аналогичных вложений для соответствующих пространств аналитических функций:

ЩКа) с А У (Lg ®А f (C\UVa) с Нг (<У„)© © Щ (CV/1/(f) с ®A2(C\Üv„)czH(K«y

Таким образом, в главе 2 получено описание пространств Харди II1 (Ua) и H](OXJVa), пространств Бергмана A2(LQ и A2{C\Üila),A^(Ua) и A^'{C\Ui;a), а также прямых сумм этих пространств H\U,)®H;(C\Uva), A2(UJ(BA2((M7„J и A^(Ua)®A^((AÜvJ в терминах коэффициентов ряда Тейлора в открытом круге и коэффициентов ряда Лорана в открытом кольце принадлежащих им аналитических функций.

Глава 3 посвящена исследованию гильбертова пространства последовательностей l2(h) с логарифмически выпуклым весом. Доказывается, что преобразование Меллина, введенное на элементах этого пространства, изоморфно отображает его в пространство Бергмана функций, аналитических вне начала координат комплексной плоскости, причем имеет место эквивалентность норм. Изучаются индуктивный и проективный пределы таких пространств последовательностей и дается полное описание их образов относительно преобразования Меллина. Показывается, что полученные результаты распространимы на многомерный случай.

Пусть А(0 - выпуклая на всей действительной оси R функция, удовлетворяющая условию lim = +оо. Гильбертово пространство

последовательностей h(h) = l2(w) с весом w = определяется

равенством

l2(h) = { а = {а„}, а„е С: |г e""w < +*>}.

Для элемента а пространства l2(h) введено преобразование Меллина

ад=Ц(з'о

показана корректность такого определения.

В параграфе 3.1 рассматривается (взвешенное) пространство Бергмана А2(СЛ{0}, dfi>,(z)) - A2(h) функций fiz), аналитических вне начала координат комплексной шюскости С, для которых конечна норма I! fiz)\ /l2(/i)i!2 = J|/(z)|l <//*,(*), где d^iz) = d/ih(re,f)' =

= (2~)~'ехр{-2/,• (Inг)} dh'(\nr) p. (Inг) и функция ph(x) > 0 однозначно определяется из условия и(х + д,(х)) - 2 к(х) + м(х) - р„(х)) = 1. Доказана изоморфность этого пространства пространству последовательностей i2(h) относигельно преобразования Меллина (3.1):

Теорема 3.1.1. Для того чтобы функция F(z) принадлежала пространству Бергмана А2ф) и удовлетворяла условию

я

J j Pire'*) \chp < С-ехр{2/г (In г)}, где С - постоянная, не завися-

щая от г, необходимо и достаточно, чтобы F{z) являлась преобразованием Меллина некоторой последовательности из про-

+«> Q

стрстства l2(h): F(z) = где а= {а„} el2(h).

При этом справедливы неравенства:

e-2ISaii2(h)f <!iF(z)|a\k>\ï< МК)II2.

е -1

Для оператора Меллина Т, действующего по правилу Т[а\ ~

О „ 2

-2

M.(z), получена двусторонняя оценка на норму: е < || Г || <

Параграф 3.2 посвящен семействам пространств 12{И) и изучению индуктивного и проективного пределов таких семейств.

Через т(И) обозначается множество непрерывных минорант g(t) функции /;(/), удовлетворяющих условиям:

1. Нт-^-Ьс;

2. 11т [/г(0-£(/)] = *».

Пусть £ = {£*(/)} >"=1 - монотонно возрастающая последовательность выпуклых минорант £*(/) функции //(г), принадлежащих множеству т(И), при любых натуральных к удовлетворяющих условию 1шг - Як(()\ = +°о, имеющая предел пшрД!) = й(г). Показывается,

что индуктивный предел пространств /2(?), порожденный семейством и (/г), совпадает с индуктивным пределом пространств 12(£к), порожденным последовательностью §. Обозначим этот предел через Лк. Так как последовательность пространств {/2^)} ¡Г, регулярна, то пространство Л/, является /,Лг*-пространство.м.

Пусть теперь М(И) - множество непрерывных мажорант g(г) функции й(г), удовлетворяющих условиям:

1. 1ип^=+оо; И— |<|

2. - /.'(0] =

Для монотонно убывающей последовательности G = {&(/)} ^ выпуклых мажорант gk{t) функции h{t), лежащих в пространстве Мф), с пределом = k(f) показано совпадение проективного предела пространств

h(g), порожденного семейством MQi), с проективным пределом пространств h(gk), порожденным последовательностью G. Обозначим этот предел через В,,. В силу полной непрерывности всех вложений h(gk)^> k(gk+i) пространство Bh является А/*-пространством.

Для элементов пространств Лк и ßj, сохраняется определение преобразование Меллина (3.2).

Справедливы следующие теоремы:

Теорема 3.2.1. Для того чтобы функция F(z) принадлежала проективному пределу lim pr A2(g) пространств Бергмана A2(g), порожденному семейством M(h), необходимо и достаточно, чтобы F(z) являлась преобразованием Меллина (3.2) некоторой последо-

Q £П

вательности из пространства А^: F(z) = •

а =

Теорема 3.2.2. Для того чтобы функция F(z) принадлежала индуктивному пределу lim ind A'(g) пространств Бергмана A'(g),

g€W!(A)

порожденному семейством m(h), необходимо и достаточно, чтобы F(z) являлась преобразованием Мелиина (3.2) некоторой после-

Ь z"

дователъности из пространства В/,: F(z) ~ * где

Параграф 3.3 содержит обобщение результатов, полученных для пространства /2(/;), на многомерный случай.

Для натурального значения т >2 введем пространство т -мерных последовательностей (h):

i; (А) = {а = : Vi«..r<- <

где. «=(wi, ..., nm) - мультииндекс, h(n) = ^ht(nt) и h\(t), ..., hji) - набор выпуклых функций, определенных на всей действительной оси R,

г ■ , ,

таких, что Jim - — = -гао при к = 1,..., т.

\t|

Преобразование Меллина элемента а пространства /*(й) определяется равенством

Введем пространство Бергмана Л~(С*\{0}, ф/,(г)) ~А2'тф) функций /{¿), аналитических вне начала координат и-мерного комплексного пространства С, для которых конечна норма

Ш1 л2-»!!2 = {I № I1 с[ик (г) = (2пГ х

с" чо>

х I с/? /(ге:г) Г ехр{-2А(1пг)} р,(1пг)еГА'(1пг). Справедлива следующая теорема:

Теорема 3.3.1. Для того чтобы функция Р(г) принадлежала пространству Бергмана А2'т(И) и удовлетворяла условию ||-Р(7-е'®) |г с1<р <С ехр{2/((т г)}, где С - постоянная, не зависящая от г, необходимо и достаточно, чтобы Г(г) являлась преобразованием Меллина (3.2) некоторой последовательности из про-

странстеа Гг (А): Р(г) = ^ , где а = {а„} ~ _ € /2*" (А).

При этом выполняются неравенства: 2131 (А) II2 < ¡1^(2)! Л2'т(А)||2 < у~^ -1151 ¡1 (А) II2.

Таким образом, построен естественный изоморфизм относительно преобразования Меллина (3.2) между гильбертовым пространством последовательностей I" (А) и весовым пространством Бергмана функций из /с(СЛ{0}, с!и/,), аналитических в С"\{0}, где норма с1ик определена равенством dj.it, * ехр {-2А (1п г)}р~ (1п г)(1к' (1п г)с!<р.

В главе 4 для элементов гильбертовых пространств последовательностей со степенным и логарифмически выпуклым весами, изученных в главах 2 и 3, введена бинарная операция, обладающая всеми свойствами свертки, образ которой относительно преобразования Меллина (2.1) и (3.1) совпадает с произведением образов исходных последовательностей. Исследуется вопрос о разрешимости и единственности решения аналога уравнения свертки.

Параграф 4.1 посвящен определению операции свертки на элементах пространств А„, /2(Иа1г), где к = 1, 2, 3, и В,.

Пусть последовательности а их принадлежат каждая одному из пространств Аа, /Ди'^), где к ~ 1, 2, 3, или В„. Тогда члены последовательности у = {у„}а*х - свертки а их- определяются равенством

^ а т

v = У —(4 1) <£-! го«-»Н*И«!> ' ^ *

Показано, что так определенная свертка обладает всеми свойствами классической свертки. Более того, сужение свертки (4.1) на пространст-

ва ¡¡(у>с1) , где к = 1,2,3,-5* совпадает с каноническим определением свертки; если а е хеХ*ь где А'1', Т - любые (возможно, совпадающие между собой) из пространств А *, ¡*(м^,), где /с = 1, 2, 3, то для членов последовательности = {у„} ™0 = а*х справедливы равенства уя - ■

^ о

Преобразование Меллина (2.1) отображает свертку (4.1) в произведете: для последовательности у = а * х выполняется равенство

М,{2)=М-Х1УМ-х{2).

■■ Полненные в главе 2 результаты позволяют свести изучение решения в пространствах А„, /Д*,,), к = 1, 2, 3, В„ уравнения свертки а * х = у относительно неизвестной последовательности х к изучению решения в соответствующих, пространствах аналитических функций функционального уравнения

= 0(2), (4.2)

Относительно неизвестной функции АГ(г), где Р(г) = М-(г), = М-{¿) иХ(г) = А/,(2).

Верны следующие предложешм:

Предложение 4.2.1. Если функция Е(г)еН(Кс), функция Х(г)еА, где А - любое из пространств А1 ( Г/„) ® А П\, „ ), Н\иа)®Н1(С,и\,Л А2(и,)ФЛ2(С\иь,с), ЩКГ) или Н(Ка\ то функция 0(г) = Е(г)Х(г) принадлежит пространству А. Предложение 4.2.2. Если функция Р{г)еН(К0), функцня ¥(г)еА, где А - любое из пространств /^"'(СУ ФЛ^ЧСШ^Д Нг(иа)®Н20(ШЬс), А2(Щ®А2(СМ;,,„), ЩК.) или Н(Ка), то функция (}(г) = /'(.?)■ ЧЧг) принадлежит пространству//(А',). Через Л,.обозначено множество нулей (с учетом их кратности) функции Е(г) в открытом круге Ка внешнего радиуса а и внутреннего радиуса 1 !а с центром в начале координат. Основным результатом параграфа является теорема о единственности решения уравнения (4.2):

Теорема 4.2.1. Пусть функция (7(г) принадлежим пространству А, где А - любое из пространств А^(и^)®А^'{С\1]\1в),

Н\Щ®Н1(.аииа),А2т®А2(С\и\1а).

Тогда если функция Р(г)еН(Кс) не имеет нулей на границе кольца К\ (то есть при | г ( = а и | г | = Ма) и выполнено

вложение ЛЯ1„сЛ0„, уравнение (4.2) имеет единственное реме-

ниел(г)= —5— в пространстве А. ¿"(г)

В параграфе 4.2 исследуется дискретный аналог уравнения свертки для пространств последовательностей с логарифмически выпуклым весом Аи, h(k) и Bh.

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

ОСНОВНЫЕ РЕЗУЛЬТАТЫ

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

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

3. Получено описание образов гильбертовых пространств последовательностей со степенным и логарифмически выпуклым весами относительно введенного оператора свертки, а также необходимые и достаточные условия разрешимости и единственности решения дискретного аналога уравнения свертки для случая таких пространств последовательностей.

Основные публикации по теме диссертации:

1. Зайцева A.B. Теорема типа Пэли-Винера для весовых пространств последовательностей И Уфа: Труды межд. коиф. «Комплексный анализ, дифф. уравнения и смежные вопросы». —4.1. Комплексный анализ. - 2000. - С. 54-58.

2. Напалков В.В., Зайцева A.B. Теорема Пэли-Винера для пространств последовательностей Н Докл. АН России. - 2000. - Т. 374, № 2. - С. 157-159.

3. Вахрамеева A.B. Теорема типа Пэли-Винера для весовых пространств последовательностей II Труды XXIII конф. молодых ученых мех.-матсм. фахультета МГУ. 9-14 апреля 2001г. Ч. 1. -М.: ЦПИ при мех.-матем. факультете МГУ, 2001. - С. 98-100.

4. Вахрамеева A.B. Описание пространства, сопряженного к индуктивному пределу гильбертовых пространств последовательно-

стей // Казань: М'ат-лы VI Казанской меж д. школы-конф., 27 ию-ня-4 июля 2003 г. - С. 46-47.

5. Вахрамеева A.B. Описание пространств преобразований Фурье-Лапласа элементов гильбертовых пространств последовательностей И Вестник УГАТУ. - 2003. - Т. 4, №2. - С. 168-170.

6. Вахрамеева A.B. Об операторе Метина в гильбертовых пространствах весовых последовательностей II Труды участников Международной школы-семинара по геометрии и анализу памяти Н В.Ефимова. 5-11 сентября 2004 года. - Ростов-на-Дону, 2004. -С.88-89.

7. Вахрамеева A.B. Об изоморфизме лкжду пространствами Бергмана и гильбертовыми пространствами последовательностей с весом // Труды участников Международной школы-семинара по геометрии и анализу памяти Н.В.Ефимова. 5-11 сентября 2006 года. - Ростов-на-Дону, 2006. - С. 111-113.

Отпечатано в ООО «Выбор» Лицензия ПД №01006 от 26.04.2001 Министерства Печати РФ Башкортостан, 450075, г. Уфа, пр. Октября, 129/3, тел. (347) 235-59-76. Бумага офсетная, формат 60x84/16. Отпечатано методом ризографии. Тираж 100 экз.

 
Содержание диссертации автор исследовательской работы: кандидата физико-математических наук, Вахрамеева, Анна Владимировна

Введение.

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

§ 1.1. Компактные вложения в пространствах последовательностей с весом. Индуктивный и проективный пределы локально выпуклых пространств.

1.1.1. Полная непрерывность вложений в пространствах последовательностей с весом.

1.1.2. Индуктивный и проективный пределы локально выпуклых пространств.

§ 1.2. Функция, сопряженная по Юнгу к выпуклой функции, и ее свойства

§ 1.3. Пространства Харди в круге и во внешности замкнутою круга.

§ 1.4. Пространства Бергмана в круге и во внешности замкнутою круга.

1.4.1. Пространство Бергмана ^(Ц,).

1.4.2. Пространство Бергмана А2(С\иа).

Глава 2. Гильбертовы пространства последовательностей со степенным весом и их изоморфнос1ь пространствам Харди и Бергмана.

§ 2.1. Преобразование Меллина элементов пространства последовательностей /2(и^,).

§2.2. Преобразование Меллина в пространстве связь с классами Харди.

2.2.1. Пространство /

2.2.2. Пространство /2"(й'(Т,).

§ 2.3. Индуктивный и проективный пределы последовательности пространств /2(Я,).

2.3.1. Пространство^.

2.3.2. Пространство Ва.

§ 2.4. Преобразование Меллина в пространстве ^2(^,2): связь с классами функций с производными из пространств Бергмана.

2.4.1. Пространство 1Ц\&а2).

2.4.2. Пространство /2 (й^ 2).

§ 2.5. Преобразование Меллина в пространстве ^(^т.з) • связь с пространствами Бергмана.

2.5.1. Пространство 3).

2.5.2. Пространство 1~г{йа3).

§ 2.6. Описание преобразования Меллина элементов многомерною пространства последовательностей /"(и^,).

Глава 3. Гильбертово пространство последовательностей 1г(И) с логарифмически выпуклым весом.

§ 3.1. Преобразование Меллина элементов пространства ^(/г): связь с пространством Бергмана функций, аналитических в С\{0}.

§ 3.2. Индуктивный и проективный пределы последовательности пространств /г(//).

3.2.1. Пространство А/,.

3.2.2. Пространство В/,.

3.2.3. Преобразование Меллина элементов пространств А¡, и

§ 3.3. Преобразование Меллина элементов многомерною аналог пространства ¡2(И).

Глава 4. Уравнение свертки в гильбертовых пространствах последовательностей с весом.

§4.1. Уравнение свертки в гильбертовых пространствах последовательностей со степенным весом.

§ 4.2. Уравнение свертки в гильбертовых пространствах последовательностей с логарифмически выпуклым весом.

 
Введение диссертация по математике, на тему "Уравнение свертки в гильбертовых пространствах последовательностей с весом"

Классический подход к решению уравнения свертки в пространствах аналитических функций (см., в частности, [6]) или его дискретною аналога (см., например, [50]) - в пространствах последовательностей состоит в применении к обеим частям этого уравнения непрерывного либо, соответственно, дискретного преобразования Фурье (Фурье-Лапласа), переводящего свертку оригиналов в произведение изображений, что позволяет свести исходную задачу к задаче факторизации функций в некотором функциональном пространстве. Как следствие, возникает вопрос об описании замкнутых идеалов в различных пространствах (аналитических) функций. Свойства операторов свертки, а также близкие к ним проблемы факторизации и описания замкнутых идеалов в различных функциональных пространствах исследовались многими отечественными и зарубежными математиками: достаточно привести в пример работы ia-ких ученых, как JI. Эренпрайс [59], Б. Мальгранж [62], И.Ф. Красичков-Терновский ([20]-[22]), А.Ф. Леонтьев [28], Ю.Ф. Коробейник [19], Н.К. Никольский ([38],[39]), А.М. Седлецкий [45], М.Г. Крейн [23], В.В. Напалков [34], Н.А.Широков ([54]-[56], [63]), A.C. Кривошеев [24], P.C. Юлмухаметов [57]. Тесная связь между оператором сдвига, с помощью которого часто определяется свертка, и оператором дифференцирования породила также интерес к исследованиям так называемых D-операторов (из современных работ см., например, [9]). Большое внимание к проблемам данной тематики обусловлено тем, что, с одной стороны, многие чисто теоретические вопросы сводятся к изучению уравнений свертки, а с другой стороны - операторы свертки часто применяются при решении задач прикладного характера. При этом важную роль играет специфика рассматриваемых пространств аналитических функций, в частности, многие исследования приводят к необходимости конструктивного изучения пространства II(Ur) аналитических в открытом круге Ur радиуса г (с центром в начале координат комплексной плоскости) функций с топологией равномерной сходимости на внутренних компактах и пространства Н(17,) функций, аналитических в замкнутом круге Пг радиуса г, - индуктивною предела при т —* +со пространств Я(С/гт]/т).

Благодаря наличию в пространствах H(Ur) естественного базиса Шаудера {zn}l\, любая задача для этих пространств может быть поставлена в терминах коэффициентов Тейлора - например, задача о представлении аналитических функций рядами экспонент, решением которой занимался А.Ф. Леонтьев [27], или вопрос эквивалентности дифференциальных операторов, изучавшийся K.M. Фишманом [48]. Наличие базиса Шаудера в локально выпуклом пространстве гарантирует существование изоморфного ему пространства последовательностей, вследствие чего локально выпуклые пространства, классу которых принадлежат многие функциональные пространства, имеют естественное изоморфное представление в виде пространства последовательностей. Наиболее известным примером является гильбертово пространство функций L2(0;1), которое может быть представлено как пространство последовательностей /2. Менее тривиален пример пространства Бергмана AP(U\) аналитических в единичном круге U\ функций с нормой f{z)\p dxdy z <1

Up где 1 < p < +co, изоморфного пространству 1Р. В данной работе показано, что пространство Н(иг) для г > 1 изоморфно проективному пределу Вг весовых гильбертовых пространств комплекснозначных последовательностей с неотрицательными индек

I С1 Р сами /;я = {а = {а„} ||а|/2д ||2 = < +оо}, где 1 < А < г, а пространсгво п-0 Л

У,) - индуктивному пределу пространств /2 А, где А > г.

Изоморфное представление пространств аналитических функций в виде пространств последовательностей делает актуальной задачу решения дискретною аналога уравнения свертки. Под руководством Напалкова В.В. изучением уравнения свертки для различных пространств последовательностей занимались Карпов A.B. (см. [12]), Ким В.Э. (см. [13],[36]), Коган (Сапронова) Г.А. (см. [15],[37]), Шагапов И.А. ([52]).

В данной диссертации исследуется дискретный аналог уравнения свертки в гильбертовых пространствах последовательностей с весом, причем особую важность в ходе исследований приобрел вопрос о способе реализации таких пространств в виде пространств аналитических функций. В связи с этим возникла необходимость построения естественного изоморфизма между гильбертовыми пространствами последовательностей со степенным и логарифмически выпуклым весом и некоторыми функциональными пространствами. Специфика структуры гильбертова пространства, а также введение в весовых пространствах последовательностей преобразования Меллина (а не преобразования Фурье-Лапласа, как в вышеупомянутых работах), позволили получить требуемую изоморфную реализацию таких пространств в виде пространств функций, аналитических в круге и в кольце комплексной плоскости, а также в виде функциональных пространств типа Харди и Бергмана. Отдельная задача, решению которой посвящена глава 4 диссертации, состояла в определении на исследуемых пространствах последовательностей операции, обладающей всеми свойствами свертки, и изучении аналога уравнения свертки для такой операции.

В работе получены следующие основные результаты:

• построена естественная изоморфная реализация относительно преобразования Меллина гильбертовых пространств последовательностей со степенным и логарифмически выпуклым весами, а также их индуктивного и проективного пределов, в виде пространств функций, аналитических в открытом и замкнутом круге, в кольце, а также в комплексной плоскости без начала координат;

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

Структура диссертации

Работа состоит из введения и 4 глав.

Во введении обосновывается актуальность темы диссертации, изложены цели и задачи работы, перечислены научные положения, выносимые автором на защиту, описана структура работы и приведены ее краткое содержание, а также список публикаций автора по теме диссертации.

 
Список источников диссертации и автореферата по математике, кандидата физико-математических наук, Вахрамеева, Анна Владимировна, Уфа

1. Вахрамеева A.B. Об операторе Меллина в гильбертовых пространствах весовых последовательностей II Труды участников Международной школы-семинара по геометрии и анализу памяти Н.В.Ефимова. 5-11 сентября 2004 года. Ростов-на-Дону, 2004. -С.88-89.

2. Вахрамеева A.B. Описание пространств преобразований Фурье-Лапласа элементов гильбертовых пространств последовательностей II Вестник УГАТУ. 2003. - Т. 4, №2. - С. 168-170.

3. Вахрамеева A.B. Описание пространства, сопряэ/сенного к индуктивному пределу гильбертовых пространств последовательностей II Казань: Мат-лы VI Казанской межд. школы-конф., 27 июня-4 июля 2003.-С. 46-47.

4. Вахрамеева A.B. Теорема типа Пэли-Винера для весовых пространств последовательностей II Труды XXIII конф. молодых ученых мех.-матем. факультета МГУ. 9-14 апреля 2001г. 4.1. М.: ЦПИ при мех.-матем. факультете МГУ, 2001. - С. 98-100.

5. Владимиров B.C. Уравнения математической физики. М.: Наука, 1988. - 512 с.

6. Гарнетт Дж. Ограниченные аналитические функции. М.: Мир, 1984. -470 с.

7. Гофман К. Банаховы пространства аналитических функций. М.: Изд. иностр. литер., 1963.-312 с.

8. Карпов A.B. Уравнения свертки в пространствах числовых посчедо-вательностей. Дисс. на соиск. уч. ст. канд. физ.-мат. наук. Уфа,2001.-99 с.

9. З.Ким В.Э. О некоторых свойствах решений дискретных уравнений свертки. Дисс. на соиск. уч. ст. канд. физ.-мат. наук. Уфа, 2005. -85 с.Н.Кириллов A.A., Гвишиани А.Д. Теоремы и задачи функционачьного анализа. М.: Наука, 1979. - 382 с.

10. Коган Г.А. Экспоненциальные ряды в весовых пространствах посче-довательностей. Дисс. на соиск. уч. ст. канд. физ.-мат. наук. Уфа, 2003.- 141 с.

11. Колмогоров А.Н., Фомин C.B. Элементы теории функций и функционального анализа М.: Наука, 1972. - 496 с.

12. Кондаков В.П. Замечания о существовании безусловных базисов в весовых счетно-гильбертовых пространствах и их допочняемых подпространствах II Сибирский мат. журнал. 2001. - Т.42, № 6. - С. 1300-1313.

13. Коренблюм Б. Инвариантные подпространства оператора сдвига во взвешенном гильбертовом пространстве II Матем. сборник. -1972. -Т.89, №1. С. 110-137.

14. Коробейник Ю.Ф. Операторы сдвига на числовых семействах Изд. Ростовского ун-та, 1983. - 156 с.

15. Красичков И.Ф. О замкнутых идеалах в локально выпуклых алгебрах целых функций. Алгебры минимального типа II Сибирский мат. журнал . 1968. - Т. IX, № 1. - С. 77-96.

16. Красичков-Терновский И.Ф. Инвариантные подпространства пространств аналитических функций. II. Спектральный синтез на выпуклых областях П Матем. сборник. 1972. - Т.88, № 1. - С. 3-30.

17. Красичков-Терновский И.Ф. Однородное уравнение типа свертки на выпуклых областях // ДАН СССР. 1971. - Т. 197, № 1. - С. 29-30.

18. Крейн М.Г. Интегральные уравнения на полупрямой с ядром, зависящим от разности аргументов II Успехи мат. наук. 1958. - Т.ХШ, вып.5(83). - С. 3-120.

19. Кривошеев А.С., Напалков В.В. Комплексный анализ и операторы свертки // Успехи матем. наук, 1992. Т. 57, вып.6(288). - С. 3-58.

20. Кусис П. Введение в теорию пространств № (с приложением доказательства Волффа теоремы о короне). М.: Мир, 1984. - 366 с.

21. Левин Б .Я. Распределение корней целых функций. М.: Гостехиздат, 1956.-632 с.

22. Леонтьев А.Ф. О представлении аналитических в открытом круге функций рядами Дирихле II Мат. заметки. 1968. - Т.З, вып.2. — С.113-124.

23. Леонтьев А.Ф. О свойствах последовательностей починомов Дирихле, сходящихся на интервале мнимой оси // Изв. АН СССР. Сер. Ма-тем. Т. 29. - 1965. - С.269-328.

24. Луценко В.И. Безусловные базисы из экспонент в пространствах Смирнова. Дисс. на соиск. уч. ст. канд. физ.-мат. наук. Уфа, 1992. -79 с.

25. Луценко В.И., Юлмухаметов P.C. Обобщение теоремы Пэчи-Винера на весовые пространства II Мат. заметки. 1990. - Т.48, вып.5. - С. 80-87.ЗКЛюстерник Л.А., Соболев В.И. Элементы функционального анализа -М.: 1965 -520 с.

26. Маркушевич А.И. Краткий курс теории аналитических функций. -М.: Наука, 1966.-388 с.

27. Митягин Б.С. Аппроксимативная размерность и базисы в ядерных пространствах.!I Успехи матем. наук. 1961. - Т.XVI, вып. 4. - С. 63-132.

28. Напалков В.В. О базисе в пространстве решений уравнения свертки II Мат. заметки. 1988. - Т.43, вып.1. — С.44-55.

29. Напалков В.В., Зайцева A.B. Теорема Пэли-Винера дчя пространств последовательностей. II Докл. АН России. 2000. - Т. 374, № 2. - С. 157-159.

30. Напалков В.В., Ким В.Э. Изоморфизм между пространствами решений уравнений свертки И ДАН. 2004. - Т. 394, № 1. - С. 12-21.

31. Никольский H.K. Замкнутые идеалы в некоторых алгебрах цешх функций II Сибирский мат. журнал. 1968. - Т. IX, № 1. - С. 211-215.

32. Никольский Н.К. Избранные задачи весовой аппроксимации и спектрального анализа.// Труды матем. инст-та им. В.А. Стеклова Т. СХХ. - Изд. «Наука», Ленингр. отд., 1974. - 272 с.

33. Платонов С.С. Об одной теореме Пэли-Винера-Ахиезера II Тр. Петрозаводского гос. университета. Серия «Математика». - 1998. -Вып. 5.-С. 131-139.

34. Пустыльник Е.И. Квазивогнутые функции.!I Деп. ВИНИТИ, рег.№ 1202-79 (1979 г.)-33 с.

35. Робертсон А., Робертсон В. Топологические векторные пространства. М.: Мир, 1967.-258 с.

36. Рокафеллар Р. Выпуклый анализ М.: Мир, 1973. - 470 с.

37. Себаштьян-и-Силва Ж. О некоторых классах локально-выпуктх пространств, важных в приложениях.// В сб. «Математика», 1957. -Т. 1, № 1.-С. 60-77.

38. Седлецкий A.M. Биортогональные разложения функций в ряды экспонент на вещественной оси/1 Успехи матем. наук. 1982. - Т. 37, вып. 5.-С. 51-95.

39. Смирнов В.И., Лебедев H.A. Конструктивная теория функций комплексного переменного. М.: Наука, 1964. - 440 с.

40. Фихтенгольц Г.М. Курс дифференциального и интегрального исчисления. (В 3-х тт.)-М.: Наука, 1970.

41. Фишман K.M. К вопросу об эквивалентности дифференциальных операторов в пространстве аналитических функций в круге // Успехи матем. наук, 1964.-T.XIX, вып.5(119). С. 143-147.

42. Халмош П. Гильбертово пространство в задачах М.: Мир, 1970. -352 с.

43. Чеботарев Г.Н. Уравнения Винера-Хопфа Казань: Изд-во КГУ, 1974.- 104 с.

44. Шабат Б.В. Введение в комплексный анализ. М.: Наука, 1985. - 571 с.

45. Шагапов И.А. Инвариантные подпространства в пространствах числовых последовательностей. Дисс. на соиск. уч. ст. канд. физ.-мат. наук. Уфа, 1999. - 91 с.

46. Шведенко C.B. Классы Харди и связанные с ними пространства аналитических функций в единичном круге, поликруге, шаре.// В сб. «Итоги науки и техники», сер. «Математический анализ», т.23. М., 1985.-С. 3-124.

47. Широков H.A. Деление на внутреннюю функцию не меняет класса гладкости И Докл. АН СССР. 1983. - Т. 268, № 4. -С. 821-823

48. Широков H.A. Замкнутые идеалы алгебр типа B"pq II Изв. АН СССР,сер. математическая. 1982. - Т.46, № 6. - С. 1316-1332.

49. Широков H.A. Идеалы и факторизация в алгебрах аналитических функций, гладких вплоть до границы II Труды матем. инст-та им. В.А. Стеклова Т. СХХХ. «Спектральная теория функций и операторов». -Изд. «Наука», Ленингр. отд., 1978. - С. 196-222.

50. Юлмухаметов P.C. Однородные уравнения свертки // ДАН СССР. -1991. Т. 316, № 2. - С. 312-315.

51. Юлмухаметов P.C. Преобразование Лапласа в весовых гильбертовых пространствах // Тезисы докл. Всесоюзной школы-конф. «Современные проблемы теории функций» (15-25.05.1989г.). Баку, 1989. -С. 109-110.

52. Ehrenpreis L. Mean periodic functions II Amer. J. Math., 1955 V. 77, № 2. - P. 293-326.

53. Hedenmalm H., Korenblum В., Zhu К. Theory of Bergman Spaces. -Springer-Verlag New-York, 2000. 286 p.l.Lindenstrauss J., Tzafriri L. Classical Banach Spaces I. Sequence Spaces Springer-Verlag, Berlin Heidelberg New-York, 1977.

54. Malgrange B. Existence et approximation de solutions aux des equations derivees partielles et des equations de convolution II Ann. Inst. Fourier, 1955-56. -V.6.- P. 271-355.

55. Shirokov N.A. Division and Multiplication by Inner Functions in Spaces of Analytic Functions Smooth up to the Boundary II Lect. Notes Math. -1981.-№ 864.-P. 413-439.