Дифференциальные и порождающие идеалы и нулевые множества их образующих тема автореферата и диссертации по математике, 01.01.01 ВАК РФ

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

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

Шабаршина Ирина Сергеевна

Дифференциальные и порождающие идеалы и нулевые множества их образующих

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

Автореферат диссертации на соискание ученой степени кандидата физико-математических наук

Ростов-на-Дону 2000

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

доктор физико-математических наук, профессор А.В.Абанин

доктор физико-математических наук, профессор Ф.А.Шамоян

кандидат физико-математических наук, доцент Н.И.Скиба

Воронежский государственный университет

Защита состоится декабря 2000 года в на заседании дис

сертационного совета К063.52.13 по физико-математическим наукам Ростовском государственном университете по адресу: 344090, г. Ростов на-Дону, ул. Зорге, 5, ММФ, ауд.

С диссертацией можно ознакомиться в научной библиотеке РГУ п адресу: г. Ростов-на-Дону, ул. Пушкинская, 148.

Автореферат разослан «_/» ноября 2000 г.

Ученый секретарь диссертационного совета К063.52.13 к.ф.-м.н., доцент

Научный руководитель:

Официальные оппоненты:

Ведущая организация:

В.Д. Крякви

В/Ы^^ОЗ

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

Актуальность темы. Задача о характеризации всех конечнопоро-жденных идеалов в данном кольце, совпадающих со всем этим кольцом, исследовалась многими авторами в различных разделах алгебры и анализа и имеет ряд важных приложений (например, в теории уравнений типа свертки и теории интерполяции). В диссертации она исследуется для весовых пространств целых в СЛ' функций и заключается в следующем:

Пусть Е - некоторое кольцо целых в СЛ' функций; 3" =(/],..., /т) -фиксированный набор ненулевых элементов из Е. Необходимо решить

т

вопрос о том, когда идеал £[3"] := {/ = gjfj ; д, Е Е, 1 ^ < тп}

с образующими /1;..., /т совпадает со всем кольцом Е. Такие идеалы мы условимся в дальнейшем называть порождающими.

В такой постановке задача о характеризации порождающих идеалов исследовалась А.Ф.Леонтьевым [0], В.В.Напалковым [7], Д.К).Тимофеевым [8]—[10], [18], Ф.А.Шамояном [11], \У.Нсппскстрег'ом [13]. Ь.Ногтапаег'ом [14], Л.ХКеПеЬегом и В.А.ТауЬг'ом [15], [Ю], Н.8сос1а [17]. Начиная с работы Ь.Саг1езоп'а [12], относящейся к кольцу аналитических ограниченных в единичном круге функций, условия, при которых система функций порождает конкретное кольцо целых функций, даются через оценку снизу |/1(г)| Н-----1- |/т(л)|.

В [13] \V.Hennekemper рассмотрел кольцо всех целых в комплексной плоскости функций конечного порядка:

[оо,0)с:={/€Я(С)| Зр>ОЗС >0:\п\/(г)\^\г\" + С, Уг€С}. .

Он показал, что [оо,0)с[Эг] совпадает с [оо,0)с тогда и только тогда, когда выполняется следующее условие:

Существует р > 0 такое, что при любом г £ С хотя бы одна из функций набора 3" не обращается в нуль в круге {?« € €| — г\ < р~1 ехр(—|г|'>)}.

з

Кроме того, там же установлено, что [оо, 0)с[5] = [оо, 0)с тогда и только тогда, когда [оо, 0)с[Э"] - дифференциальный идеал, то есть, идеал, инвариантный относительно операции дифференцирования.

Позже была сделана попытка получить аналогичные результаты для колец [р, 0]с всех целых в С функций минимального типа при порядке р (см. [9], [18]) и [р, оо]с - всех целых в С функций, имеющих порядок не выше р ([10]). Но, как показано в диссертации, соответствующие результаты [9], [10], [18] ошибочны. Более того, установлено, что для этих колец характеризация в терминах функции d${z) невозможна.

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

Цели работы. В диссертации исследованы следующие аспекты сформулированной выше задачи:

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

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

- выделение классов весов, для которых дифференциальные идеалы совпадают с порождающими;

- характеризация порождающих наборов для пространств целых функций с оценкой индикатора;

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

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

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

Апробация работы. Основные результаты диссертации неоднократно докладывались на научных семинарах кафедры математического анализа Ростовского госуниверситета (руководитель - профессор Ю.Ф.Коробейник), на Международной конференции по комплекс-' кому анализу и смежным вопросам, посвященной памяти чл.-корр. АН СССР А.Ф.Леонтьева (Нижний Новгород, июнь 1997 года), на Международной школе-семинаре по геометрии и анализу памяти Н.В.Ефимова (Абрау Дюрсо, сентябрь 1998 года), па Международной школе-семинаре по геометрии и анализу, посвященной 90-летию Н.В.Ефимова (Абрау-Дюрсо, сентябрь 2000 года).

Публикации. По теме диссертации опубликовано 8 работ, список которых приведен в конце автореферата. Результаты главы I опубликованы в [20]-[22], [24], главы II - в [19] - [23], [25], главы III - в [20]. В совместных с научным руководителем работах [20]-[22], [24] по результатам главы I, А.В.Абапину принадлежат постановки задач и введение характеристик нулевых множеств целых функций, в терминах которых дается описание порождающих идеалов в соответствующих кольцах целых функций, а автору - разработка методов решения рассматривав- . мых задач и проведение доказательств. То же самое касается п. II. 1.4 и §11.2 главы II (работы [19]—[22]). Остальные результаты главы II и все результаты главы III выполнены автором самостоятельно.

Структура и объем диссертации. Диссертация состоит из введения, трех глав и списка литературы из 44 наименований. Объем диссертации - 103 страницы машинописного текста.

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

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

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

Непрерывную функцию р : [0, оо) —> [0, оо) будем называть радиальной весовой функцией или радиальным весом, если она не убывает па [0, оо), 1пг — о(р(г)) при г —>■ оо и р(ехрг) выпукла на М. Полагаем р(г) := р(|~|) для г £ СЛ\ где \г\ - обычная евклидова норма в СЛ". По р определим радиальное весовое пространство целых в СЛ' функций

Ер {/ € Я(СЛ')| 3С € (0, оо) : 1п |/(г)| ^ р(г) +С, Угё С^}.

Определение 1.1.2. Будем говорить, что множество У радиальных весовых функций является радиальной весовой системой, если для любых рх 6 У и р2 £ У найдутся р £ и А £ (0, оо) такие, что Р\{2г) +рг(2г) ^ р(г) + А для всех г > 0.

В первом разделе главы I изучаются кольца вида Еу :— У Ер> где

ре?

У - радиальная весовая система.

В первом параграфе приводятся основные определения и вспомогательные результаты.

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

Пусть / - целая в СЛ отличная от тождественного нуля функция. При фиксированном ( £ ¿н := {ш € СЛ : |ад| = 1} обозначим через nf)Z{t\Q число нулей функции + одной комплексной переменной и в круге {и € С : |и| ^ <}, / > 0. Введем следующую характеристику массивности нулевого множества функции / вблизи точки г

с

5! о

где ¿а - элемент площади поверхности сферы , а адг - площадь 51 в СЛТ ~ И2^. С целью упрощения записи полагаем Nf(z) := М/(г; |г|) при гф 0; Л/) (0) = 0, если /(0) ^ 0 и Л^(0) = со, если /(0) = 0. Для набора 3" вводим

Основным результатом данного параграфа является Теорема 1.1.1. Пусть 7 - радиальная весовая систем,а и \У - набор . функций из Еу. Следующие условия эквивалентны: 0) Ярр] = Ег,

(и) 3р £ У 3С £ (0, оо)| < р{г) + С, Vг е СЛ\

В третьем параграфе при некоторых дополнительных ограничениях па радиальные весовые системы дано полное описание порождающих идеалов через функцию расстояния до нулевых множеств, которая проще и удобнее в применении, чем Лэ-(г):

Пусть V] - нулевое множество целой в СЛ функции f, а ¿/(г) -расстояние от точки 2 £ до Для набора У = (/ь..., /т) целых в Сдг

функций определим

тах{й/Дг) : 1 < ] < т}, 2 е СЛ'.

Определение 1.1.4. Будем говорить, что радиальная весовая система СР является быстро изменяющейся, если для каждого р € У существуют д £ У и С £ (0, со) такие, что р2(г) ^ д(г) + С для всех г > 0.

Теорема 1.1.2. Пусть СР - радиальная весовая система и Э* - набор функций из Еу. Для того чтобы идеал Еу\3] был порождающим, необходимо, а если З5 - бы,стро изменяющаяся, то и достаточно, чтобы

3? € У 3£ е (0, оо) : 1п+ —^ < ч(г) + 0,Уг£ СЛ'.

Во втором разделе главы I рассматриваются кольца целых в СЛ функций, определяемых весовыми функциями, зависящими от модулей переменных, т.е., непрерывными функциями р : [0, оо)Л —> [0, оо) такими, что р(гь..., Гдр) не убывает по каждой переменной тк (1 < к < N),

In И = о(р(г)) при |r) -4 оо, где |г| := max и p(expii,..., ехрхд)

l^k^N

выпукла на R^. Полагаем p(z) :=p(|zi|,..., |глг|), z — (zi,... ,zn) ёСЛ. Определим пространство

Ер := {/ 6 H{CN)\ 3С е (0, оо) : In |/(z)| < p(z) +C,Vz£ Cv}.

Определение 1.П.2. Будем говорить, что множество У весовых функций является весовой системой, если для любых рх € У и Р2 € У найдутся р 6 У и А € (0, оо) такие, что

рх{ 2гх + 1,..., 2глг + 1) + Р2(2г, + 1,..., 2гЛ- + 1) ^ р(гь ...,тя) + А для всех (/'1,..., г^) € [0, оо)^.

Изучаем порождающие идеалы в кольце Еу := и Ер, где У - весо-

вая система. В этом разделе приведены две характеристики массивности нулевых множеств образующих - одномерная и многомерная - и с их помощью дано описание порождающих идеалов в Еу. Заметим, что результаты этого раздела новы также и для радиального случая при

Первый параграф содержит основные определения и вспомогательные результаты.

Описание порождающих идеалов с помощью одномерных характеристик нулевых множеств дается во втором параграфе второго раздела: Пусть / - целая в СЛ? функция. При фиксированном 2 6 СЛ' обозначим через целую функцию /((1 + ы)г) одной комплексной переменной ю. Предположим, что /(.г) ф 0, и определим

где п(/2; €) - число нулей функции /Дги) с учетом их кратностей в круге {ад 6 С| < £}. Если /(г) = 0, положим = +оо. Для набора СГ

per

N ^ 2.

о

введем

M«) := min{K/;(^) : 1 < j ^ m} (z € C¥).

Не теряя общности, можно считать, что 1 - канонический набор, то есть, |Л(Л)| + • • • + |/m(*)| ф О, Vz G €jV, и Д(0) = • • ■ = /т(0) = 1.

Теорема I.II.1. Пусть У - весовая система и CF - канонический набор функций из Еу. Следующие условия эквивалентны:

(i) Е7Щ = Еу;

(ii) ЗреТ БС€ (О, оо) : Щг) < p(z) + С, Vz € CN.

В третьем параграфе аналогичный результат получен и для многомерной характеристики массивности нулевых множеств. Доказательства этих теорем основаны ira формулах Йенсена и на оценках интегральных средних по кругу и окружности для одномерной характеристики, по поликругу и остову поликруга - для многомерной.

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

Пусть / - целая в C/v функция. Для каждого z 6 CjV обозначим через df(z) расстояние от начала координатной плоскости Сш до ближайшего нуля функции fz(w) = /(г(1 + ui)). df(z) имеет простой геометрический смысл. Эта величина равна деленному на \z\ расстоянию от точки 2 до ближайшего нуля функции /, лежащего в комплексной плоскости в Сдт, проходящей через начало и л. Для набора "J — (fi,..., /т) целых в CN функций введем характеристику

dj(z) :— max dt(z), z G CiV.

1

Определение I.II.4. Будем говорить, что весовая система З5 -быстро изменяющаяся, если для каждого р € У существуют q € У и С 6 (0, оо) такие, что p2(r) < q(r) + С для всех г 6 [0, оо)Л .

Теорема I.II.3. Пусть У - быстро изменяющаяся весовая система и У - канонический набор функций из Еу. Тогда следующие условия эквивалентны:

(i) Eyfë] - порождающий идеал;

о

(и) существуют р € У и С 6 (0, оо) такие, что для всех г € Сл

Условие (и) необходимо для истинности (Г) независимо от предположения о быстром изменении весовой системы. Отметим, что во второй главе показано, что это предположение существенно для справедливости импликации (¡1) (1).

Задача о совпадении дифференциальных и порождающих идеалов решается в последнем, пятом, параграфе второго раздела. Показано, что каждый идеал £з>[£Г], совпадающий с Ер, - дифференциальный, а в случае, когда ГР - быстро изменяющаяся весовая система, верно и обратное утверждение. Итак, справедливы следующие результаты:

Теорема 1.11.4. Пусть 7 - быстро изменяющаяся весовая система и И - набор функций из Еу, отличных от тождественного нуля. Для того чтобы идеал Еу[3] был дифференциальным, необходимо и достаточно, чтобы он был порождающим.

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

Большая часть результатов второго раздела сформулирована для канонических наборов образующих. Это обстоятельство связано с тем, что мы используем здесь одномерные характеристики, «привязанные» к точке г = О, которые существенно опираются на каноничность набора. В этой связи отметим, что характеристики, введенные в первом разделе, хотя и касаются менее общего радиального случая, лишены этого недостатка и не зависят от свойств самих наборов.

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

ю

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

Теорема ПЛ.2. Пусть У — (рп < рп+\, Уп £ М) - последо-

вательность радиальных весов, удовлетворяющая условиям:

1) Утг е N Зт е N ЗЛ £ (0, оо) : 2рп{2г) < рт(г) + А, Уг ^ О,

2) V* € N Зп € N ЗС € (0, оо) : р\{г) ^ рп(г) + С, Уг > 0;

и 7 = (/1,...,/т) - набор функций из Е?(рп}. Следующие условия эк-: бивалентны:

(1) - порождающий идеал;

(п) Еу^^Э^ - дифференциальный идеал; (ш) Зп € N 31) е (0, оо) : 1п' ^ ^ рп{г) + Д Уг € Сх.

Пусть, теперь, {рп}п=1 ~ невозрастающая по п последовательность радиальных весовых функций (т.е., р„+1{г) ^ р„(г), для всех и 6 N и г ^ 0). С каждой такой последовательностью ассоциируем

набор

У{Р„\ '■= {р радиальный вес|

Угг е N 3Сп е (0, оо) : р{г) < рп{г) + Сп, Уг ^ 0}.

В дальнейшем на {рп}™^ будет налагаться следующее ограничение: (А) Для каждой функции Ф(г) такой, что

Уп € N ЗСп € (0, оо)| Ф(г)^Рп{г) + Сп, Уг > 0, найдутся р € У{Рп} и С € (0, оо) такие, что для всех г ^ О

ф(г) < р(г) + С.

Теорема II. 1.4. Пусть - невозрастающая по п последова-

тельность радиальных весов, удовлетворяющая условиям (А) и

1) УтеНЗггеМЗА€(0,оо): 2рп(2г) ^ рт{г) + А, Уг > 0,

2) Уп 6 N Бк е N ЗС 6 (0, оо) : р2к(г) 4 Рп(г) + С, Vг ^ 0;

а - конечный набор функций из Еу. Тогда следующие условия эквивалентны:

и

(i) - порождающий идеал;

(ii) Еу[3] - дифференциальный идеал;

(iii) для каждого п € N существует Сп 6 (0, оо) такое, что для всех zeCN

В качестве примеров рассмотрены пространства Еж и Eq всех целых функций конечного и, соответственно, нулевого порядка, для которых порождающие идеалы совпадают с дифференциальными и характеризуются функцией dsr(z). Так, например, для Ех справедлива Теорема II.1.6. Следующие условия эквивалентны:

(i) - порождающий идеал;

(ii) EoJfi] ■ дифференциальный идеал;

(iii) найдется такое р > 0, что при любом z £ СЛ в шаре {w € \w — z\ ^ р~г exp(—¡£р)} хотя бы одна из функций набора fi,...,fm не обращается в нуль;

(iv) /1,..., }т не имеют общих нулей в Сл и

Г 1п+(1п*У .

lim sup--——-< 00.

Z-+OC ln|z|

Отметим, что теорема II.1.6 - многомерное обобщение упомянутого выше результата W.Hennekemper'a [13].

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

Теорема II.2.1. Пусть р(г) —> р > 0 - уточненный порядок в смысле Валирона. Пусть, далее, У — (/i,-..,/m) - набор не имеющих общих нулей функций из кольца [р(г), оо)с^ всех целых в Сл функций, имеющих при порядке р{т) конечный тип. Для того чтобы идеал [p(r), ooJcNp1] был порождающим, необходимо и достаточно, чтобы для нулевых множеств его образующих имело место условие:

lim sup 1 N?{z) < 00. 2->00 \z\

Аналогичный результат установлен также и для кольца [р(г),0]Слг всех целых в Сдг функций, имеющих при порядке р(г) минимальный тип.

Далее приведены примеры, показывающие, что в отличие от Е,х и Е0 характеризация порождающих идеалов в кольцах [р(г),оо)с(у и [р(г), 0]с.\' в терминах функции (Ь(г) невозможна. Поскольку эти кольца задаются весовыми радиальными системами, не являющимися ; быстро изменяющимися, то это означает, что предположение о быстром изменении весовой системы в теоремах 1.1.2 и 1.11.3 является существенным.

В третьем параграфе для одного конкретного типа пространств целых функций одной переменной мы изучаем задачу о порождающих в несколько более общей постановке. Именно, пусть Е, Ех,..., Ет - подпространства в Я (С), не обязательно являющиеся кольцами, а У — (Л. • • •, /т) ~ какой-либо фиксированный набор целых функций. Требуется найти условия на этот набор, при которых каждая функция / из Е допускает представление

В случае, когда все Ej совпадают с Е и имеют структуру кольца, мы имеем описанную выше задачу о порождающих. Распространение этой проблемы в только что приведенной постановке на пространства, не имеющие структуры кольца, рассматривалось в [1]-[3]. Следует отметить, что п в этих работах критерии формулировались в терминах некоторых взвешенных оценок снизу образующих.

В диссертации для пространств целых функций с оценкой индикатора приведена эквивалентная условию О.В.Епифанова [3] характеризация порождающих наборов в терминах распределения на плоскости нулей образующих fj при дополнительном требовании полной регулярности их роста.

т

(1)

Пусть Тр - класс />-тригонометрически выпуклых ограниченных функций, [р, к] - пространство всех целых в комплексной плоскости функций, имеющих при порядке р > 0 не выше, чем нормальный тип, и индикаторы не больше, чем к (ЕТР.

Теорема II.3.2. Пусть fj (1 ^ j ^ т) имеют при порядке р > О конечный тип, индикаторы, равные hj, и вполне регулярный рост; {Ajn} - совокупность нулей функции fj, упорядоченных по возрастанию модулей (п пробегает конечное или счетное множество индексов). Пусть, далее, k Е Тр, и при этом, к — hi — hj G Tfi, i ф j, i % h j К m- Для того чтобы любая функция / из [р, к] допускала разложение (1) с коэффициентами gj из [р, k — hj], необходимо и достаточно, чтобы fj (1 < j ^ т) не имели общих нулей, и выполнялось одно из двух равносильных условий (И) или (in):

_ _ ¿kl

(и) lim lim \z\~p min f njz(t)dlnt = 0;

S->0 Z-+O0 1 ц '

(iii) lim lim |А*П|~'> min f Jij-t n(t)dlnt =0, 1 ^ к ^ m,

S-+0n->x ' l^j^m Q '

где iij.z{t) (соответственно, nj-^^it)) - число нулей с учетом кратно-стей функции fj в круге {w : \w — z| iC t} (в круге {w : \w — А*)П| < t}).

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

В третьей главе полученное в предыдущих двух главах применяется к задачам о факторизации оператора свертки и разрешимости системы сверточных уравнений в терминах распределения нулевых множеств характеристических функций. Результаты этой главы являются следствиями теорем из глав I и II и результатов Ю.Ф.Коробейника [5], В.В.Напалкова [7], А.Ю.Тимофеева [9].

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

Результаты были получены в рамках тематики, поддержанной РФФИ (гранты № 96-01-01041 и № 99-01-00178).

Список литературы

[1] Абанин A.B. Модификация метода Л.Хермандера в задаче о порождающих и ее приложения // Изв. вузов. Математика. 1995. № 8. С. 3-12.

[2] Епифанов О.В. О разрешимости неоднородного уравнения Коши-Римана в классах функций, ограниченных с весом и системой весов // Матем. заметки. 1992. Т. 51, № 1. С. 83-92.

[3] Епифанов О.В. О порождающих для некоторых пространств аналитических функций // Линейные операторы в комплексном анализе (под ред. О.В.Епифанова). Ростов-на-Дону: Изд-во Рост, ун-та, 1994. С. 44-46.

[4] Ибадов Н.В. Неоднородные системы уравнений свертки в одном классе аналитических функций // Сиб. матем. журн. 1988. Т. 29, № 1. С. 39-49.

|5] Коробейник 10.Ф. Нетривиальные разложения нуля по абсолютно представляющим системам. Приложения к операторам свертки // Матем. сборник. 1991. Т. 182. № 5. С. 661-G80.

[6] Леонтьев А.Ф. Об одном применении интерполяционного метода // Матем. заметки. 1975. Т. 18. № 5. С. 735-752.

[7] Напалков В.В. Уравнения свертки в многомерных пространствах. М.: Наука, 1982. 240 с.

[8] Тимофеев А.Ю. О представлении решения уравнения бесконечного порядка в виде суммы двух решений // Матем. заметки. 1982. Т. 31. № 2. С. 245-256.

[9] Тимофеев А.Ю. Дифференциальные уравнения бесконечного порядка и их приложения: Учебное пособие по спецкурсу // Сыктывкарский университет. Сыктывкар, 1989. 71 с.

[10] Тимофеев А.Ю. Дифференциальные идеалы в пространствах целых функций // Линейные операторы в комплексном анализе (под ред. О.В.Епифанова). Ростов-на-Дону: Изд-во Рост, ун-та, 1994. С. 99-101.

[И] Шамоян Ф.А. Приложения интегральных представлений Джр-башяна к некоторым задачам анализа // ДАН СССР. 1981. Т. 261. № 3. С. 557-561.

[12] Carleson L. Interpolation by bounded analytic functions and the corona problem // Ann. of math. 1962. V. 76. N 3. P. 547-559.

[13] Hennekemper W. Über Differentialideale im Ring der ganzen Funktionen endlicher Wachstumsordnung // Arch. Math. 1986. V. 46. P. 250-256.

[14] Hörmander L. Generators for some rings of analytic functions // Bull. Amer. Math. Soc. 1967. V. 73. N 6. P. 943-949.

[15] Kelleher J.J., Taylor B.A. An application of the corona theorem to some rings of entire functions // Bull. Amer. Math. Soc. 1967. V. 73. N 2. P. 246-249.

[16] Kelleher J.J., Taylor B.A. Closed ideals in locally convex algebras of analytic functions // J. Reine Angew. Math. 1972. V. 255. P. 190-209.

[17] Scoda H. Application des techniques L2 a la théorie des idéaux d'une algèbre de fonctions holomorphes avec poids // Ann. sei. Éc. Norm. Sup. 1972. 4-e série. V. 5. N 4. P. 545-579.

[18] Timofeev A.Ju. Die Differentialideale im Ring der ganzen Funktionen, die bei vorgegebener Ordnung Minimaltyp besitzen // Math. Nachr. 1990. V. 147. P. 89-94.

Список работ по теме диссертации

[19] Абанин A.B., Шабаршина И.С. К задаче о порождающих // Изв. вузов. Сев.-Кавк. регион. Естеств. науки. 1997. № 2. С. 3-5.

[20] Абанин A.B., Шабаршина И.С. К задаче о порождающих идеалах // Международная конференция по комплексному анализу и смежным вопросам, посвященной памяти чл.-корр. АН СССР А.Ф.Леонтьева, Нижний Новгород, 1997. Тезисы докладов. ННГУ, Нижний Новгород. С. 5-6.

[21] Абанин A.B., Шабаршина И.С. О совпадении дифференциальных и порождающих идеалов // Международная школа-семинар по геометрии и анализу памяти Н.В.Ефимова, Абрау-Дюрсо, 1998. Тезисы докладов. Ростов-на-Дону. С. 87-88.

[22] Абанин A.B., Шабаршина И.С. Порождающие и дифференциальные идеалы и нулевые множества их образующих //' Доклады АН. 1999. Т. 368. № 2. С. 151-153.

[23] Шабаршина И.С. О порождающих для некоторых пространств целых функций // Научная конференция аспирантов и соискателей. Тезисы докладов. Ростов-на-Дону, 1999. С. 23-24.

[24] Лбанин Л.В., Шабаршина И.С. Нулевые множества образующих и дифференциальные идеалы // Международная школа-семинар по геометрии и анализу, посвященная 90-летию Н.В.Ефимова, Абрау-Дюрсо, 2000. Тезисы докладов. Ростов-на-Дону. С. 85-86.

[25] Шабаршина И.С. К задаче о порождающих для пространств целых функций с оценкой индикатора // Изв. вузов. Сев.-Кавк. регион. Естеств. науки. 2000. № 1. С. 26-29.

[26] Шабаршина И.С. О факторизации оператора свертки // Актуальные проблемы математического анализа: Сборник научных трудов. Ростов-на-Дону: Изд-во «Гинго», 2000. С. 165-170.

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

ВВЕДЕНИЕ

Глава I. ПОРОЖДАЮЩИЕ И ДИФФЕРЕНЦИАЛЬНЫЕ ИДЕАЛЫ

Раздел 1.1. Кольца, определяемые радиальными весами

§ 1.1.1. Основные определения и вспомогательные результаты

§ 1.1.2. Порождающие и их нулевые множества

§ 1.1.3. Порождающие идеалы, характеризуемые функцией расстояния до нулевых множеств 33 Раздел. I.II. Кольца, определяемые весами, зависящими от модулей переменных

§ 1.11.1. Основные определения

§ 1.Н.2. Описание порождающих идеалов с помощью одномерных характеристик нулевых множеств

§ 1.Н.З. Описание порождающих идеалов с помощью многомерных характеристик нулевых множеств

§ 1.Н.4. Описание порождающих идеалов с помощью функции расстояния до нулевых множеств

§ 1.11.5. Дифференциальные идеалы

Глава И. ПОРОЖДАЮЩИЕ И ДИФФЕРЕНЦИАЛЬНЫЕ ИДЕАЛЫ В

КОНКРЕТНЫХ ПРОСТРАНСТВАХ

§ 11.1. Пространства, определяемые неубывающими и невозрастающими весовыми системами

§ 11.2. Порождающие для пространств, определяемых уточненным порядком

§ II.3. Порождающие для пространств целых функций с оценкой индикатора

Глава III. ПРИЛОЖЕНИЯ К УРАВНЕНИЯМ СВЕРТКИ И СИСТЕМАМ

УРАВНЕНИЙ СВЕРТКИ

§ III.1. Оператор свертки в пространстве Я"(Оу)

§ III.2. Оператор р-свертки в ¿мвыпуклых областях Литература

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

Задача о характеризации всех конечнопорожденных идеалов в данном кольце, совпадающих со всем этим кольцом, исследовалась многими авторами в различных разделах алгебры и анализа и имеет ряд важных приложений (например, в теории уравнений типа свертки и теории интерполяции). В настоящей работе она будет исследоваться для весовых пространств целых в CN функций. Поэтому как саму ее постановку, так и краткую предысторию мы дадим, коснувшись лишь тех работ, которые имеют непосредственное отношение к теме диссертации, никоим образом не претендуя на полноту освещения всех направлений в ее исследовании.

Задача о порождающих заключается в следующем: Пусть Е - некоторое кольцо целых в С^ функций; 3" = (/i,., fm)

- фиксированный набор ненулевых элементов из Е. Необходимо pern шить вопрос о том, когда идеал Е[3] := {/ = gjfj : gj £ Е, j=i

1 ^ j К с образующими fi,., fm совпадает со всем кольцом Е. Такие идеалы мы условимся в дальнейшем называть порождающими.

Задача о характеризации порождающих идеалов исследовалась А.Ф.Леонтьевым [17], В.В.Напалковым [20], А.Ю.Тимофеевым [23]-[25], [36], Ф.А.Шамояном [27], L.Carleson'oM [28], W.Hennekemper'oM [29], L.Hormander'oM [30], J.J.Kelleher'oM и В.А.ТауЬг'ом [31], [32], H.Scoda [35]. Начиная с работы [28], относящейся к кольцу аналитических ограниченных в единичном круге функций, условия, при которых система функций порождает конкретное кольцо целых функций, даются через оценку снизу ¡^(г)] + • • • + |/т(г)| [8], [17], [20], [23], [28], [30]-[35].

В [29] \¥.Неппекетрег рассмотрел кольцо всех целых в комплексной плоскости функций конечного порядка: оо,0)с:={/€ Я(С)| Зр> ОЗС > 0 :1п|/(*)| < \г\р + С, V* е С}.

Он показал, что [оо, 0)с[Э:] совпадает с [оо, 0)с тогда и только тогда, когда выполняется следующее условие

Существует р > 0 такое, что при любом г е С хотя бы одна из функций набора 5Г не обращается в нуль (1) в круге {ио 6 С| |«; — г\ < р~1 ехр(—

Кроме того, там же установлено, что [оо,0)с[Эг] = [оо,0)с тогда и только тогда, когда [оо,0)с[?] - дифференциальный идеал, то есть, идеал, инвариантный относительно операции дифференцирования. Заметим, что условие \¥.Неппекетрег'а (1) эквивалентно такому:

Зр > 0 : 1п—^ \г\р + р, Мг е С, аф) где аф) := 8пр{сг > 0| ^ (1 ^ у ^ т) : /Д0 ф 0 при \( - г\ < <*}.

Позже была сделана попытка получить аналогичные результаты для колец [р, 0]с всех целых в С функций минимального типа при порядке р (см. [24], [36]) и [р, оо]с - всех целых в С функций, имеющих порядок не выше р ([25]). Но, как будет показано в диссертации, соответствующие результаты [24], [25], [36] ошибочны. Более того, будет установлено, что для этих колец характеризация в терминах функции (1з{г) невозможна. Других результатов в данном направлении нам неизвестно.

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

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

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

• выделение классов весов, для которых дифференциальные идеалы совпадают с порождающими;

• характеризация порождающих наборов для пространств целых функций с оценкой индикатора;

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

Диссертация состоит из Введения и трех глав, первая глава разделяется на два раздела; в первой главе мы придерживаемся тройной нумерации параграфов (§ I.I.3 - третий параграф раздела I главы I), определений, получаемых утверждений и формул (определение I.I.1 - определение 1 раздела I главы I; теорема I.II.3 - теорема 3 раздела II главы I; (I.II.1) - первая формула раздела II главы I); во второй и третьей главах - двойная нумерация параграфов (§ III. 1 - первый параграф главы III) и тройная - пунктов, утверждений и формул (п. II.1.3 - третий пункт § II. 1; теорема III.2.2 - теорема 2 § III.2; (II.3.2) - вторая формула § II.3).

 
Список источников диссертации и автореферата по математике, кандидата физико-математических наук, Шабаршина, Ирина Сергеевна, Ростов-на-Дону

1. Абанин A.B. Модификация метода Л.Хермандера в задаче о порождающих и ее приложения // Изв. вузов. Математика. 1995. № 8. С. 3-12.

2. Агранович П.З. Индикаторы голоморфных функций многих переменных J/ Дисс. . канд. физ.-мат. наук. Харьков, 1978.

3. Братищев A.B. Базисы Кете, целые функции и их приложения // Дисс. . доктора физ.-мат. наук. Ростов-на-Дону, 1998.

4. Гришин А.Ф., Руссаковский A.M. Свободная интерполяция целыми функциями // Теория функций, функциональный анализ и их приложения. 1985. Вып. 44. С. 32-42.

5. Джрбашян М.М. Интегральные преобразования и представления функций в комплексной области. М.: Наука, 1966. 672 с.

6. Епифанов О.В. О разрешимости неоднородного уравнения Коши-Римана в классах функций, ограниченных с весом и системой весов // Матем. заметки. 1992. Т. 51, № 1. С. 83-92.

7. Епифанов О.В. О порождающих для некоторых пространств аналитических функций // Линейные операторы в комплексном анализе (под ред. О.В.Епифанова). Ростов-на-Дону: Изд-во Рост, ун-та, 1994. С. 44-46.

8. Ибадов Н.В. Неоднородные системы уравнений свертки в одном классе аналитических функций // Сиб. матем. журн. 1988. Т. 29, № 1. С. 39-49.

9. Коробейник Ю.Ф. О решениях дифференциального уравнения бесконечного порядка, аналитических в некруговых областях // Матем. сб. 1966. Т. 71. № 4. С. 535-544.

10. Коробейник Ю.Ф. Представляющие системы // Успехи матем. наук. 1981. Т. 36. № 1. С. 73-126.

11. Коробейник Ю.Ф. Нетривиальные разложения нуля по абсолютно представляющим системам. Приложения к операторам свертки Л Матем. сборник. 1991. Т. 182. № 5. С. 661-680.

12. Коробейник Ю.Ф. Описание общего вида нетривиальных разложений нуля по экспонентам. Приложения // Известия АН СССР, сер. матем. 1991. Т. 55. № 5. С. 1049-1069.

13. Коробейник Ю.Ф. О ядре оператора свертки // Ростовский государственный университет: Ежегодник'91. Ростов н/Д., Изд-во Рост, ун-та, 1992. С. 32-43.

14. Красичков-Терновский И.Ф. Одна геометрическая лемма, полезная в теории целых функций, и теоремы типа Левинсона // Матем. заметки. 1978. Т. 24. № 4. С. 531-546.

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

16. Лелон П., Груман Л. Целые функции многих комплексных переменных. М.: Мир, 1989.

17. Леонтьев А.Ф. Об одном применении интерполяционного метода // Матем. заметки. 1975. Т. 18. № 5. С. 735-752.

18. Леонтьев А.Ф. Ряды экспонент. М.: Наука, 1976. 536 с.

19. Леонтьев А.Ф. Обобщения рядов из экспонент. М.: Наука, 1983. 175 с.

20. Напалков В.В. Уравнения свертки в многомерных пространствах. М.: Наука, 1982. 240 с.

21. Ронкин Л.И. Введение в теорию целых функций многих переменных. М.: Наука, 1971.

22. Ронкин Л.И. Целые функции // Современные проблемы математики. Фундаментальные направления. Т. 9 (Итоги науки и техн. ВИНИТИ АН СССР). М., 1986. С. 5-36.

23. Тимофеев А.Ю. О представлении решения уравнения бесконечного порядка в виде суммы двух решений // Матем. заметки. 1982. Т. 31. № 2. С. 245-256.

24. Тимофеев А.Ю. Дифференциальные уравнения бесконечного порядка и их приложения: Учебное пособие по спецкурсу // Сыктывкарский университет. Сыктывкар, 1989. 71 с.

25. Тимофеев А.Ю. Дифференциальные идеалы в пространствах целых функций I / Линейные операторы в комплексном анализе (под ред. О.В.Епифанова). Ростов-на-Дону: Изд-во Рост, ун-та, 1994. С. 99-101.

26. Ткаченко В.А. Уравнения типа свертки в пространствах аналитических функционалов // Известия АН СССР. Сер. матем. 1977. Т. 41. № 2. С. 378-391.

27. Шамоян Ф.А. Приложения интегральных представлений Джр-башяна к некоторым задачам анализа // ДАН СССР. 1981. Т. 261. № 3. С. 557-561.

28. Carleson L. Interpolation by bounded analytic functions and the corona problem // Ann. of math. 1962. V. 76. N 3. P. 547-559.

29. Hennekemper W. Uber Differentialideale im Ring der ganzen Funktionen endlicher Wachstumsordnung // Arch. Math. 1986. V. 46. P. 250-256.

30. Hormander L. Generators for some rings of analytic functions // Bull. Amer. Math. Soc. 1967. V. 73. N 6. P. 943-949.

31. Kelleher J.J., Taylor B.A. An application of the corona theorem to some rings of entire functions // Bull. Amer. Math. Soc. 1967. V. 73. N 2. P. 246-249.

32. Kelleher J.J., Taylor B.A. Closed ideals in locally convex algebras of analytic functions //J. Reine Angew. Math. 1972. V. 255. P. 190209.

33. Korobeinik Yu.F. Absolutely representihg systems and convolution operators in the complex domain } j Turkish Journal of Mathematics. 1996. V. 20. N 2. S. 219-225.

34. Polya G. Eine Verallgemeinerung des Fabrysehen Lückensatzes // Nachr. Gesell. Wiss. Göttingen. 1927. S. 187-195.

35. Scoda H. Application des techniques L2 a la théorie des idéaux d'une algèbre de fonctions holomorphes avec poids // Ann. sei. Éc. Norm. Sup. 1972. 4-e série. V. 5. N 4. P. 545-579.

36. Timofeev A.Ju. Die Differentialideale im Ring der ganzen Funktionen, die bei vorgegebener Ordnung Minimaltyp besitzen // Math. Nachr. 1990. V. 147. P. 89-94.

37. Абанин A.B., Шабаршина И.С. К задаче о порождающих // Изв. вузов. Сев.-Кавк. регион. Естеств. науки. 1997. № 2. С. 3-5.

38. Абанин A.B., Шабаршина И.С. О совпадении дифференциальных и порождающих идеалов // Международная школа-семинар по геометрии и анализу памяти Н.В.Ефимова, Абрау-Дюрсо, 1998. Тезисы докладов. Ростов-на-Дону. С. 87-88.

39. Абанин A.B., Шабаршина И.С. Порождающие и дифференциальные идеалы и нулевые множества их образующих // Доклады АН. 1999. Т. 368. № 2. С. 151-153.

40. Шабаршина И.С. О порождающих для некоторых пространств целых функций // Научная конференция аспирантов и соискателей. Тезисы докладов. Ростов-на-Дону, 1999. С. 23-24.

41. Абанин A.B., Шабаршина И.С. Нулевые множества образующих и дифференциальные идеалы // Международная школа-семинарпо геометрии и анализу, посвященная 90-летию Н.В.Ефимова, Абрау-Дюрсо, 2000. Тезисы докладов. Ростов-на-Дону. С. 85-86.

42. Шабаршина И.С. К задаче о порождающих для пространств целых функций с оценкой индикатора // Изв. вузов. Сев.-Кавк. регион. Естеств. науки. 2000. № 1. С. 26-29.

43. Шабаршина И.С. О факторизации оператора свертки // Актуальные проблемы математического анализа: Сборник научных трудов. Ростов-на-Дону: Изд-во «Гинго», 2000. С. 165-170.