Регулярность роста систем целых функций и ее применения

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

Частным случаем регулярности систем целых функций является обычная регулярность роста одной функции. Данное понятие достаточно часто используется в работах по теории функций одного комплексного переменного. Это объясняется, в частности, тем, что регулярность роста характеристической функции является необходимым и достаточным условием разрешимости одного сверточного уравнения в гладкой выпуклой области. Для изучения систем уравнений свертки американской школой математиков (J1. Эренпрайс, К. А. Беренстейн, Б.А. Тейлор) было введено и усиленно разрабатывается в настоящее время многими зарубежными учеными понятие медленного убывания системы целых функций. Однако, в общем случае это понятие является достаточно сложным и громоздким. Кроме того, оно малоэффективно при исследовании систем неоднородных уравнений свертки и дает некоторые результаты лишь при изучении пространств решений систем однородных уравнений свертки. Случай с неоднородной системой уравнений свертки намного сложнее. Это объясняется тем, что необходимо ввести характеристику роста таким образом, чтобы в каждой точке некоторого угла хотя бы одна из характеристических функций имела «хорошие» оценки. Подобную характеристику можно встретить, например, в работе В. В. Напалкова [27], для п — мерного комплексного пространства, когда у характеристических функций нет общих нулей. Но общем случае, у характеристических функций могут быть общие нули. В работе А. С. Кривошеева [16] были введены характеристики взаимного поведения системы целых функций с общими нулями. Причем введенная там же регулярность роста систем целых функций совпадает с обычной регулярностью роста для одной функции. В данной диссертации приведены аналоги этих определений, основанные не на оценках в кругах максимума модулей функций, как в работе [16], а на оценках в самих необщих нулях системы. Также решаются две задачи. Это задача о разрешимости систем неоднородных уравнений свертки с новыми, введенными в диссертации условиями. В отличие от работы [16], приведенный здесь метод доказательства не использует индуктивных построений и существенно более прост. Данный метод является комбинацией метода использованном Волффом (см. [20], дополнение) и некоторых идей из работы [16]. Вторая задача связана с порождающими в идеалах целых функций конечного порядка и типа с общими нулями. Перейдем к более подробному рассмотрению поставленных задач и анализу результатов полученных ранее.

В пунктах 1.3 и 1.4 первой главы приводятся эквивалентные определения регулярности и слабой регулярности роста систем целых функций. В качестве основы используется теорема 1 в пункте 1.2. Остановимся на ней поподробнее. Пусть у нас имеется некоторый набор многочленов Pi,., Р&bdquo-. Причем их нулевые множества в совокупности имеют пустое пересечение. Рассматривается максимум модулей этих многочленов на их нулевых множествах. Он должен быть ограничен снизу. Оказывается, что из этих дискретных оценок можно получить непрерывные оценки уже на всей комплексной плоскости. Естественно, эти оценки будут несколько хуже и будут зависеть от количества нулей заданных многочленов, что собственно и показывает теорема 1. Данная теорема, без существенных изменений, может быть расширена для случая бесконечной последовательности многочленов.

Определения регулярности и слабой регулярности роста системы целых функций (/i,., /п), введенных в работе [16], требуют оценок максимума модулей на совокупности некоторых кругов. В этой связи стояла задача получить более прозрачные эквивалентные определения регулярности и слабой регулярности, основанные лишь на взаимном расположении необщих нулей функций /х,., fn• Это взаимное расположение, конечно, должно характеризоваться оценками снизу максимума модулей функций /х,/п или оценками снизу максимума модулей некоторых многочленов построенных по этим функциям. Одним из первых и основных шагов на пути получения эквивалентных определений является теорема 1 сформулированная и доказанная в пункте 1.2. Далее в пунктах 1.3 и 1.4 приводятся новые определения регулярности и слабой регулярности роста систем целых функций и доказывается их эквивалентность определениям из работы [16]. В конце пункта 1.4 приводится теорема 4, показывающая существование системы целых функций с произвольным общим нулевым множеством, имеющей слабый регулярный рост вдоль любого луча из С. Причем, как видно из определения слабой регулярности, общее нулевое множество не влияет на совместное поведение функций. Сложность состоит в том, что нужно достроить это нулевое множество таким образом, чтобы полученные функции были конечного типа и нули их были разделены. В дальнейшем эта теорема будут применена в главе 3 для другого более простого доказательства одного важного результата из теории замкнутых идеалов. В работах [8],[11],[21] были также рассмотрены задачи сравнения функций на основе взаимного поведения их нулей. В частности, в [21], стр. 130 и 143 сравниваются функции корни которых различаются по аргументу. Аналогичный вопрос затрагивается также в статье [8]. В работе [11] И.Ф. Красичкого-Терновского изучается изменение поведения целой функции конечного порядка, когда ее нули Aj Е С сдвигаются в точки тi так, что |Лг- — 7г| < с?|Л"|, где d < ½.

Перейдем к рассмотрению задачи о разрешимости систем неоднородных уравнений свертки. Для одного сверточного уравнения имеется большое количество работ отечественных и зарубежных математиков, посвященных проблеме разрешимости. Частным случаем уравнений свертки являются дифференциальные уравнения конечного и бесконечного порядка с постоянными коэффициентами, разностные уравнения с постоянными коэффициентами и другие. Вопросы разрешимости таких уравнений можно найти в работах Р. Кармикаэля [33], X. Мугля [40], Р. Боаса [30],.

A.Ф. Леонтьева [22], [23], А. О. Гельфонда [6], [7], П. Сиккемы [41], [42] и Б. Мальгранжа [38]. В случае общих уравнений свертки можно выделить работы Ю. Ф. Коробейника [10], B.C. Азарина [1] и В. В. Напалкова [26]. Полное ее решение можно найти в работах А. С. Кривошеева [15] и А. С. Кривошеева, В. В. Напалкова [14]. В случае систем неоднородных уравнений свертки можно отметить работы Л. Эренпрайса [34] и Б. Мальгранжа [39], где изучались системы дифференциальных уравнений конечного порядка с постоянными коэффициентами. В работах Л. Эренпрайса [34] и.

B.В. Напалкова [27], [28] исследовалась разрешимость во всей комплексной плоскости и когда у преобразований Лапласа нет общих нулей. В общем случае (когда у преобразований Лапласа могут быть общие нули) рассмотрен в работе А. С. Кривошеева [16], где приведены достаточные условия разрешимости сверточных уравнений. Показано также, что для областей с гладкой границей разрешимость оказывается эквивалентной регулярности роста системы преобразований Лапласа.

Перейдем теперь к рассмотрению задачи о порождающих в идеалах целых функций конечного порядка и типа. Пусть [р, оо) определяет множество всех целых функций / таких, что для некоторых положительных констант ci и С2 z)|.

Другими словами, [р, оо) — это множество всех целых функций порядка (не выше) р и конечного типа (при порядке р).

Через [р, оо)(Л), где Л = {А^}^ - последовательность комплексных чисел, обозначим идеал, который состоит из всех функций из [р, оо) множество нулей которых содержит в себе А.

Как обычно, обозначим через /(/ь. ,/п) идеал в [р, со), порожденный функциями /х,., fn? [р, оо), т. е множество вида fi (z)gi (z) +. + fn (z)gn (z)}, gj{z) <Е [р, oo) J = 1,., п.

Пусть Л = {Aj] последовательность общих нулей функций /1,., fn-Возникает вопрос: при каких условиях на /1,. ,/п идеал /(Д,. ,/п) совпадает с идеалом [р, оо)(Л)? Эта задача полный аналог хорошо известной теоремы о Короне (см., например, книгу [20]). Согласно этой теореме, для любых функций /х,., /п G Н°° (где Н°° - это множество функций аналитических и ограниченных в единичном круге) для некоторого S > 0 удовлетворяющих оценке: sup|/i (z)| > 5, i существуют gi,., gn€ Н°° такие, что fm + • • • + fngn = l.

Опираясь на данную теорему, Келлехер и Тейлор в работе [37] доказали, что идеал /(/i,. ,/п? [1,оо)) в [1,оо) совпадает со всем множеством [1, оо) в том и только в том случае когда для некоторых положительных констант е и, А выполнено неравенство: ш +. + Ш > eexp[-Az], Vz? С.

Основная идея доказательства теоремы о Короне, предложенной Волф-фом, состоит в решении д — уравнения. Эта методика позволила расширить данную задачу уже на более широкий класс функций, рассмотренных в работах В. В. Напалкова [27] и JI. Хермандера [29]. Существенное ограничение во всех выше перечисленных работах состоит в том, что функции /ъ • • •) /п не имеют общих нулей, т. е. указанная нами задача рассматривалась в одном частном случае когда идеал [р, оо)(А) совпадает со всем [р, оо). В отличие от этих работ, в работе А. С. Кривошеева [16] был рассмотрен общий случай, но для порядка р равного 1. Здесь был найден критерий совпадения идеалов, который основывается на введенном там же понятии регулярного роста системы функций.

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

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

Краткое содержание Главы 1.

В главе 1 изучается регулярность систем целых функций. Приводятся новые определения регулярности и слабой регулярности роста систем целых функций. Доказывается их эквивалентность определениям из работы А. С. Кривошеева [16]. п. 1.1 В этом пункте даются первоначальные сведения о регулярности роста систем целых функций.

Пусть S — единичная окружность с центром в нуле и г G S. Через E (z, 5), 5 > 0, обозначим совокупность последовательностей лежащих на луче {tz, t > 0} и удовлетворяющих условиям: zk —> +оо и z*+i|/|z*|< 1 + J, к = 1,2,.

Кроме того, пусть E (z) обозначает множество последовательностей {2fc}b=i> лежащих на луче {tz, t > 0} и таких, что для каждого S > 0 и некоторого к (5) последовательность {zk}kLk{s) принадлежит E (z, S).

Далее, пусть Л = {А^}^, Aj G С множество с ограниченной верхней плотностью и zq G СЛ. Тогда для каждого 5 > 0 определим функцию qs (z, zo, Л) = Д (z — j)/(z0 — Aj), XjeB{z0,Sz0) где B (zq, Szq) — открытый круг центром в точке zq и радиусом В случае, если Л р| B (zq, ^|^о|) = 0 положим qs (z, zo, A) = 1.

Мы все подготовили для того, чтобы привести определения регулярности и слабой регулярности роста систем целых функций введенных в работе [16].

Определение 3. Будем говорить, что система целых функций (¦01,., фп) из [р, оо) имеет регулярный рост вдоль луча ty (у Е S), если существует последовательность {zk} G Е (у), удовлетворяющая условию: для каждых г G (0,1) и е > 0 найдутся 5(r, е) > 0 и номер ко такие, что при любом 5 G (0,6 (г, е)) выполнены неравенства: -ezp, z е B (zk, r6zk), k > где, А = {Aj}^! — множество общих нулей функций ф,., фп с учетом их кратностей.

Определение 4. Будем говорить, что система целых функций (фх,., фп) из [р, оо) имеет слабый регулярный рост вдоль луча ty (у Е S), если для любых г > т > 1 существует 5q > 0, удовлетворяющее условию: для каждого 5 G (0, Jo] найдутся последовательность {zk}? Е{у, 8) и число, А > 0 такие, что max In if>i (z)/qrs (z, zkl Л)| > ~Azp, z G B (zk, r5zk), k> 1,.

1<�г<�п.

In.

ФМ qs (z, zk, A).

Определения 3 и 4 основываются на оценках максимума модулей функций ф,., фп в кругах, но, по сути, они выражают некую разделенность необщих нулей системы (-01,., фп) — Эту разделенность можно охарактеризовать в другой более простой форме. Для этого нам необходим результат, который содержится в ниже приведенной теореме. Рассмотрим п наборов комплексных чисел.

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

Pi (z) = bi[{z-a))1 zeC, j=l где G С {0}..

Теорема 1. Пусть для некоторого В > 0 выполнены неравенства: maxln|Fi (af)| > -В, 1 < р < n, 1 < I < кр..

1 .

Тогда для всех z G С max [In |PAz) | + ki In 2] > -B. l.

Определение 5. Будем говорить, что система целых функций (фх,., фп) из [р, оо) имеет регулярный рост вдоль луча ty (у G S), если существует последовательность {z^} Е Е (у), удовлетворяющая условию: для каждых г 6 (0,1) и е > 0 найдутся 5(г, е) > 0 и номер ко такие, что при любом 6 G (0,5(г, с)) выполнены следующие условия:.

1) max [In №i (zk) — h^Xzk)] > ~ezkp, k > k0,.

2) для любого индекса 1 < p < n и для всех A? G B (zkirSzk) выполнены неравенства:.

Ж) max l.

In qs (Xf, zk, A).

-MA?) 10 -e|Af k > k0, где Л = {Ajj^ij — множество общих нулей функций ф,., фп, а Ар = - множество необщих нулей функции фр с учетом их кратностей. Теорема 2. Определения 3 и 5 эквивалентны..

В конце этого пункта, на основе нового определения, приведен общий пример системы двух функций имеющих регулярный рост вдоль луча {ty, t > 0}..

Пусть ф, фч Е [р, оо) имеют по отдельности регулярный рост вдоль луча {ty, t > 0}, y Е S. Далее, необщие нули Ai = {Aj} и Лг = {А^} функций ф и фч удовлетворяют оценке:.

Ai+il — Wl > ^il1″ «. i = 1,2. fe = 1,2,., где? > 0. Покажем, что если min |Л1 — A?|/|Ai| > exp[-e|Aj k = 1,2. j и minlAj — ЛЦ/|А?| > exp[-c|Ajn, j = 1,2,., К тогда система функций {ф, фо) имеет регулярный рост вдоль луча {ty, t > 0}..

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

Определение 6. Будем говорить, что система целых функций (фх,., фп) из [р, оо) имеет слабый регулярный рост вдоль луча ty (у Е S), если существует So удовлетворяющее условию: для любого 6 Е (0, существуют числа го и, А > 0 такие, что для всех zq Е {ty, t > 0}, zq ф U" =1Aj, |zo| > го, для любого индекса 1 < р < п и для всех af е крС В (zq, 8zq) выполнено: max ln|^(Af, z0jAi)| > ~Лг0р,.

1 .

Теорема 3. Определения 4 и 6 эквивалентны..

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

Теорема 4. Пусть Л = {А^}^ - множество с ограниченной верхней плотностью при порядке р, т. е. для некоторого С > О справедливо неравенство: j.

Ал = Нш < С. j-юо Xjp.

Тогда существуют функции f, /2 система из которых (Д, /2) будет иметь слабый регулярный рост вдоль любого луча из С, причем Л является множеством общих нулей с учетом их кратностей..

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

Краткое содержание Главы 2.

В главе 2 приводятся и доказываются достаточные условия разрешимости систем неоднородных уравнений свертки. п. 2.1 В этом пункте формулируется постановка задачи разрешимости систем неоднородных уравнений свертки..

Пусть D — выпуклая область в С. Через H (D) обозначим пространство функций, аналитических в D с топологией равномерной сходимости на компактных подмножествах из D. Сильно сопряженное к нему пространство обозначим H*(D). Элементы H*(D) называются аналитическими функционалами в D. Пространство H (D) является замкнутым подпространством пространства непрерывных функций в области D. Далее пусть fjLii. ,[1П — аналитические функционалы в С, /1,., /п и. , Кп соответственно их преобразования Лапласа и сопряженные диаграммы. Положим.

D = G + Kl +. + Kn, Gi = G + Ki +. + Ki-i + Ki+i + + =, п..

Тогда для каждого г = 1,., п функционал щ определяет оператор свертки Mi, действующий из пространства H (D) в пространство H (Gi). Рассмотрим систему сверточных уравнений:.

М1[ф]=ди., Мп[ф]=дп. (1).

Положим М = (Mi,., Мп) и.

ЩФ] = (ЩФ], • • •.

Оператор М действует из H (D) в произведение Н = H (G) х. х H (Gn). Пусть М* - сопряженный к М оператор, действующий из H*{G) х. х H*(Gn) в H*(D), и Pd — пространство целых функций экспоненциального типа, сопряженные диаграммы которых лежат в области D.

Пусть д G Н лежит в образе оператора М, т. е. M[h] = д для некоторого h G H (D). Если и — произвольный функционал из kerM*, то.

Следовательно, необходимым условием разрешимости системы (1) с правой частью д = (<7i,., дп) является равенство (и, д) = 0 для любого v Е ker М*. Правую часть д системы (1), удовлетворяющую указанному условию, будем называть допустимой..

Определим /(ДА) как множество функций ф G Pd таких, что, А является частью нулей ф..

Ниже приведенная лемма сводит задачу разрешимости системы (1) к проблеме специального представления функций из подпространства.

ДА).

Лемма 2. [16] Следующие два утверждения эквивалентны. 1) Для каждой функции F? I (D, A) существует элемент (tpi,., <рп) пространства Pq1 х. х Рдп такой, что.

F (z) = y>i (*)/iM + • • • + ?>"(*)/"(*). Vz? С. (2).

2) Система уравнений свертки (1) разрешима в пространстве H (D) при любой допустимой правой части g? Н..

Таким образом, задача разрешимости сводится к представлению функции F? /(£), Л). Это представление реализуется в два этапа. На первом представление (2) осуществляется локально, т. е. на элементах некоторого специального покрытия комплексной плоскости. Далее, из этих локальных представлений, путем склейки, получается глобальное представление при помощи разрешимости д задачи. Первым очень важным шагом на этом пути является построение конечного покрытия комплексной плоскости. п. 2.2 В этом пункте как раз и строится конечное покрытие комплексной плоскости..

Фиксируем произвольное е > 0 и замкнутое подмножество Z единичной окружности S. Пусть (/i,., /п) — система целых функций конечного порядка и типа в С, удовлетворяющая условиям: i) (/ъ • • • 1 fn) имеет регулярный рост на Z (на каждом луче ty, у? Z) — ii) (/i,., fn) имеет слабый регулярный рост на множестве S Z. Пусть теперь у? Z. Согласно i) система (/i,., /п) имеет регулярный рост вдоль луча ty. Для выбранного е > 0 и г = ½ через 5'(у) обозначим величину 5(г, е)/4, где 5(г, е) — число, существование которого требуется в определении 3. Для каждого у? Z фиксируем 6(у) > 0 такое, что.

Из покрытия Z совокупностью кружков B (y>S (y)/4:), y? Z, выделим конечное подпокрытие B (yi, 6i/4) (где Si = S (yi)), I = 1,. ,/оЧерез обозначим последовательность {zk}kLk0? E{yi), для которой выполнены неравенства в определении 3. Согласно определениям Е{у{) и E{yi, 8) при помощи изъятия конечного числа элементов из последовательности {zjb,/} можно добиться того, чтобы было верно включение {zk, i}? E (yi, 5i/2). С учетом этого включения нетрудно видеть, что для каждого I = 1,., Iq найдется Ri > О такое, что вне круга В (О, Щ) угол (с вершиной в нуле), порожденный кружком B (yi, Sif4), покрывается объединением JkB (zk, i,5zk, i). Пусть = S о.

Li=l.

Тогда найдется S > 0 такое, что для каждого х € Е кружок В (х, 85) компактно принадлежит углу (с вершиной в нуле), порожденному множеством S Z..

Согласно условию ii) для т = 2, г = 4 и каждого х € Е найдем число So = So (x), фигурирующее в определении 4. Для каждого х? Е фиксируем произвольное число £(х) > 0, удовлетворяющее неравенству:.

5(:с) < min{5', S,.

Как и выше, найдем точки xt? E, Z = 1,. Л, такие, что выполнено включение h.

1=1 где Si — S (xi). Согласно определению 4 для каждого I = 1,. мы можем выбрать последовательность {ги^/}? E (xi, Si) и число Ai > О так, чтобы неравенство в этом определении было выполнено для ipi = fi, i = 1,., п, с заменами {zk}, A и 5 соответственно на {wk, i}, Ai и Si. Как и выше, найдутся 7} > 0,/ = 1,. такие, что вне круга B (0,Ti) угол, порожденный кружком B{xi%Sif2), покрывался объединеоо нием (J B{wk, i,2Siwkyi). k=i Пусть © = max Ai. Через Ukl{d) (соответственно Ulkl{d)) обозначим открытое подмножество точек z круга B (zk, i, dSizk, i) (соответственно круга B (wk, i,2d6iwk, i), удовлетворяющих неравенству:.

— hfi (z) > -dezp, соответственно неравенству: где Л = {Aj} - общие нули с учетом их кратностей функций Д,/п..

Найдем число (c)' > 0 такое, что max nfi (z)/qBRo{z, xq, k) > -dQ'zp, Mz <Е B (0,2dR0)..

1 .

Для каждого г = 1,., rc через обозначим подмножество точек г круга .8(0,2dRo) таких, что выполнено неравенство:.

Ь|ДМ/<�№(*.*о, Л)| > -d&zp..

Тогда, как и выше, круг B (0,2dRo) совпадает с объединением U" =1 Положим.

Vi (d) = Ul0(d) [J оо /0 и оо U.

UU^wW k=n=i иивд.

Lfc=i1=1.

Таким образом, для каждого d = 1,2 построено открытое покрытие комплексной плоскости V (d),., Vn (d). Это покрытие определяется е > 0, функциями /ь. ,/п, удовлетворяющими условиям i) и и), и множеством Z С S. Введем следующее обозначение:.

X (d) = Sf| h jB (xh2dSl).

1=1 где Si и xi — те же, что и выше..

Построенное покрытие обладает одним хорошим свойством: расстояние между границам множеств V" (l) и V (2) имеют подходящие для нас оценки снизу. Что и утверждается в следующей лемме..

Лемма 4. Существуют положительные постоянные с, а такие, что для каждого номера г = 1,., п и любого z? {0} верна оценка: dUtfrm2))> I + + cexp[-aszp], z/z 6 1(1).

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

Лемма 5. Пусть Q — открытое множество в С, К — замкнутое подмножество П и числа, А > 0, о? (0,1) такие, что dist (z, dtt) > 2aexp[-A|z|p], Vz? К..

Положим.

Q' = {z? Q: dist (z, dfi) > aexp[-^(|z|p + 2)]}. Тогда существуют числа с > 0 и функция e (z)? С°°© такие, что.

0 < e (z) <1, Vz? Сe (z) = 1, Vz? Кe (z) = 0, Vz? Cft' de (z)/dz < cexpAz?, Vz e C..

В следующей лемме строится собственно само разбиение. Лемма 6. Существует разбиение единицы Ei? С°°©, г = 1,., п, соответствующее покрытию VJ (2),., Vn{2) комплексной плоскости (т.е. Е{ равна нулю в окрестности границы множества 2) и вне него), такое, что для некоторых с, b > 0 выполнены неравенства: сехр[(2 + 2P+1 + 22p) ezp], z/z? Х{2) dEi{z)/dz < cexp[6|z|p], z/z? X{2) l, — -, n..

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

Для последовательности Л = {Aj} - общих нулей с учетом кратностей функций /х,., fn G [р, оо) определим функцию f (z) по формуле:.

П^-ЙехР^,.^), zeC, где-то — кратность общего нуля z = 0 функций /1,., fn (возможно равная нулю) и р — наименьшее целое число удовлетворяющее условию:.

00 l/IA.r^oo..

3=1.

Для всех к = 1,2,. и / = 1,., Iq положим: I ln|/(z)|, z .

Для всех к = 1,2,. и I = 1,. определим еще функцию ijjk, i (z) по предыдущей формуле, где B (zkj, 85izkj) и q45t{z, zkj, А) нужно заменить соответственно на B (wkj, 168iwki/|) и q^t{z, wkj, Л). Пусть также maxjln |/(г)|, In |/И/№(2,а:о, Л)|}, 2 G B (xq, I6R0) ' Положим теперь ip (z) = sup{^oИ.^И,^}, ^ G С, где супремум берется по всевозможным значениям индексов к, 1, р, г. п. 2.3 В этом пункте формулируются и доказываются достаточные условия разрешимости систем неоднородных уравнений свертки. Для выпуклой области D с С положим.

Id = {z G С: HD (z) = +00}..

Если D ограничена, то, очевидно, Id — пустое множество..

Теорема 5. Пусть области D, G, Gi, компакты К{, операторы Mi и функции fi — те же, что и выше. Предположим, что выполнены следующие условия:.

1) Система (/ь. , fn) имеет регулярный рост на луче tz, t > О, для каждого z из замыкания множества S Iq-.

2) Система (/ь., fn) имеет слабый регулярный рост на луче tz, t > О, для каждого z? S П /.

Тогда система уравнений свертки.

Mi[h] = gu., Mn[h] = gn разрешима в пространстве H{D) при любой допустимой правой части, 9п) € Я..

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

Теорема 6. Пусть G — область с гладкой границей такая, что Iqоткрытое множество (возможно пустое). Тогда для того чтобы система (1) была разрешима в H (D) для любой допустимой правой части из Н необходимо и достаточно выполнение следующих условий:.

1) Система функций (/ь., /п) имеет регулярный рост на луче tr] для каждого г]? S Iq..

2) Система функций (/i,., /п) имеет слабый регулярный рост на луче trj для каждого Г}? Sf] Iq.

Краткое содержание Главы 3.

В главе 3 показывается, что слабая регулярность роста всюду в С есть необходимое и достаточное условие для того чтобы идеал, состоящий из функций, обращающихся в нуль на общих нулях системы, ими порождался. п. 3.1 В этом пункте доказываются достаточные условия представления для представления F? [р, со)(Л)..

Теорема 7. Рассмотрим функции /1,. ,/п принадлежащие [р, оо) и имеющие общее нулевое множество, А = {Aj}^. Пусть система (/ь • • •)/п) имеет в С слабый регулярный рост вдоль каждого луча ty, t > 0} (у? S). Тогда для любой функции F е [р, оо)(Л) можно найти <71,., дп е [р, оо) такие, что.

F{z) = fi (z)9l (z) +. + fn (z)gn{z), zeC. п. 3.2 В этом пункте доказываются необходимые условия представления..

Теорема 8. Рассмотрим /ь. ,/" G [р, оо) я Л = {Aj}®^ их общее нулевое множество. Пусть для любой функции F е [р, оо)(Л) существуют 9i, • • •, G [р, оо) такие, что.

F{z) = fi (z)9l (z) +. + fn (z)gn (z), Vz e С, тогда система (/ь., fn) имеет слабый регулярный рост вдоль каждого луча {ty, t>0} (ye Sj..

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

Теорема 9. Рассмотрим конечный набор функций Д,., fn Е [р, оо), имеющих общее нулевое множество Л = {Aj}?^. Идеал I (fi,., fn) совпадает с идеалом [р, оо)(Л), в том и только в том случае, когда система (Л> • • • j fn) имеет слабый регулярный рост вдоль каждого луча {ty, t > 0} (у е S). п. 3.3 В этом пункте применяется задача о порождающих в идеалах целых функций конечного порядка и типа к известному результату о порождающих в замкнутых идеалах целых функций..

В работе [31] доказан известный результат, что для каждого замкнутого идеала, с определенными условиями на весовую функцию, существуют как минимум две образующие. В этом пункте мы подтверждаем этот результат для весовой функции p (z) = zp. Как следствие, из теорем 4 и 9 вытекает следующее утверждение..

Теорема 11. Каждый идеал, состоящий из целых функций конечного порядка р и типа (при порядке р) порождается двумя элементами..

1. Азарин B.C. Об одном характеристическом свойстве функций вполне регулярного роста внутри угла // Теория функций, функцион. анализ и их прилож., Харьков, 1966, № 2, С. 55−67..

2. Ганцев С. Н. Образующие в некоторых идеалах целых функций // Труды XXIII Конференции молодых ученых механико-математического факультета МГУ, Москва, 2001, С. 94−97..

3. Ганцев С. Н. Об образующих в некоторых идеалах целых функций // Региональная школа-конференция для студентов, аспирантов и молодых ученых по математике и физике. Сборник трудов, Уфа, 2001, Т.1, С. 60−68..

4. Ганцев С. Н. Построение системы целых функций конечного порядка и типа имеющей слабый регулярный рост в // Сборник трудов, Уфа, 2002, Т.1, С. 48−54..

5. Ганцев С. Н., Кривошеев А. С. Регулярность роста систем целых функций конечного порядка и типа // Актуальные проблемы математики. Математические методы в естествознании. Уфа, 2000, С.51−56..

6. Гельфонд А. О. Линейные дифференциальные уравнения с постоянными коэффициентами бесконечного порядка и асимптотические периоды целых функций // Труды МИАН, 1951, Т. 38, С. 42−67..

7. Гельфонд А. О. Исчисление конечных разностей М.: Гостехиздат, 1952..

8. Гольдберг А. А. Интеграл по полуаддитивной мере и его приложения // IV, Матем. сб., 1965, Т. 66 (108), С. 411−457..

9. Дьедоне Ж., Шварц J1. Двойственность в пространствах (F) и (LN) // Сб. Математика, 1958, Т. 2, № 2, С. 77−107..

10. Коробейник Ю. Ф. О решениях некоторых функциональных уравнений в классах функций, аналитических в выпуклых областях // Матем. сб., 1968, Т. 75(117), № 2, С. 225−234..

11. Красичков-Терновский И. Ф. Сравнение целых функций конечного порядка по распределению их корней // Матем. сб., 1966, Т. 70 (112), С. 198−230- Матем. сб., 1966, Т. 71 (113), С. 405−419..

12. Красичков-Терновский И. Ф. Инвариантные подпространства аналитических функций. I. Спектральный синтез на выпуклых областях. // Матем. сб., 1972, Т.87 (129), № 4, С. 459−489..

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

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

15. Кривошеев А. С. Критерий разрешимости неоднородных уравнений свертки в выпуклых областях пространства Сп // Изв. АН СССР. Сер. матем. 1990. Т. 54, № 3, С. 480−500..

16. Кривошеев А. С. Регулярность роста системы функций и системы неоднородных уравнений свертки в выпуклых областях комлексной плоскости // Известия Академии наук, 2000, Т. 64, № 5, С. 69−132..

17. Кривошеев А. С. Системы неоднородных уравнений свертки в выпуклых областях из С // Доклады РАН, 1998, Т. 361, № 3, С. 311−313..

18. Кривошеев А. С., Ганцев С. Н. О порождающих в идеалах целых функций конечного порядка и типа в плоскости // Сиб. мат. журнал, 2002, Т. 43, № 5, С. 1046−1063..

19. Кривошеев А. С., Ганцев С. Н. Разрешимость систем неоднородных уравнений свертки в выпуклых областях в С // Алгебра и анализ, Т. 15 (2003), вып. 6..

20. Кусис П.

Введение

в теорию пространств Нр с приложением доказательства Волффа теоремы о короне М.: Мир, 1984..

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

22. Леоньтьев А. Ф. Диссертация. докт. физ. мат. наук 1947..

23. Леоньтьев А. Ф. Ряды полиномов Дирихле и их обобщений // Труды МИАН, 1951, Т. 39, С. 1−215..

24. Леонтьев А. Ф. Целые функции. Ряды экспонент М.:Наука, 1983..

25. Лейхтвейс К. Выпуклые множества М: Наука, 1985..

26. Напалков В. В. Об одном классе неоднородных уравнений типа свертки // УМН, 1974, Т.29 ,№ 3 С. 217−218..

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

28. Напалков В. В. О системах неоднородных дифференциальных уравнений в частных производных бесконечного порядка // Матем. заметки, 1979, Т. 26, №, С.217−226..

29. Хермандер Л. Анализ линейных дифференциальных операторов с частными производными, I. Теория распределений и анализ Фурье М: Мир, 1986..

30. Boas R. Differential equations of infinite order // J. Indian Math. Soc., 1950, V. 14, JM, P. 15−20..

31. Braun W. Weighted algebras of entire functions in which each closed ideal admits two algebraic generators // Michigan Math. J., 34 (1987)..

32. Carleson L. Interpolation by bounded analytic functions and the corona problem // Ann. of Math. 1962. V. 76, P. 547−559..

33. Carmichael R. Linear differential equations of infinite order // Bull. Amer. Math. Soc., 1936, V. 42, № 4, P. 193−218..

34. Ehrenpreis L. Fourier analysis in several compex variables // New York: Wiley-Interscience publishes, 1970..

35. Hoffman K. Banach spaces of analytic functions // Prentice-Hall, Englewood Cliffs, N.J. 1962. P. 163−164..

36. Hormander L. Generators for some rings of analytic functions // Bull. Amer. Math. Soc. 1967. V.73, P. 943−949..

37. Kellher J., Teylor B. An application of the Corona theorem to some rings of entire functions // Bull. Amer. Math. Soc. 1967. V. 73, P. 246−249..

38. Malgrage B. Existence et approximation des solutions aux des equations derivees partielles et des equations de convolution // Ann. Inst. Fourier, 1955;56, V.6, P.271−355..

39. Malgrange B. Systemes differentiells a coefficients constants // Seminaire Bourbaki, Paris, 1962/63, № 246..

40. Myggli H. Differentialgleichungen unendlich honer ordnung mit constanten koeffizienten // Comment Math. Helvet, 1938, V. 11, P. 151 179..

41. Sikkema P. Differential operators and differential equations of infinite order with constant coefficients. Researches in connection with integral functions of finite order // Djakarta: Groningen, 1953..

42. Sikkema P. A generalization of Norlund’s theory of principal solution of linear difference equations // Proc. Konikl. Akad. Wetensh, 1955, V.58, № 5, P.608−620..

43. Sigurdsson R. Convolution equations in domains of Cn // Arkiv For Mat., 1991, V.29, P. 285−305..

44. Wiegerink J.J. Growth properties of Paley-Wiener functions on Cn // Nederl. Akad. Wetensch. Proc., 1984, V. 87, P. 95−112..