КРАТНАЯ ИНТЕРПОЛЯЦИЯ РЯДАМИ ЭКСПОНЕНТ В $H(\mathbb C)$ С УЗЛАМИ НА ВЕЩЕСТВЕННОЙ ОСИ Текст научной статьи по специальности «Математика»

ISSN 2074-1863 Уфимский математический журнал. Том 5. № 3 (2013). С. 130-143.

УДК 517.9

КРАТНАЯ ИНТЕРПОЛЯЦИЯ РЯДАМИ ЭКСПОНЕНТ В H(C) С УЗЛАМИ НА ВЕЩЕСТВЕННОЙ ОСИ

С.Г. МЕРЗЛЯКОВ, С.В. ПОПЕНОВ

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

Ключевые слова: целая функция, кратная интерполяция, ряд экспонент, идеал, представление Фишера.

Mathematics Subject Classification: 30E05, 46N20.

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

Обозначим через H(C) пространство целых функций с топологией равномерной сходимости на компактах. В качестве следствия из классических теорем Вейерштрасса и Миттаг-Леффлера получается, что разрешима следующая проблема кратной интерполяции функциями из H(C) (см. ([1], стр. 32)).

Для любой локально аналитической функции и на заданном дискретном множестве точек } в комплексной плоскости (которые будем называть узлами интерполяции) и натуральных чисел mk (которые будем называть кратностями узлов , k £ N) существует целая функция g,, такая что |u(z) — g(z)| = O(|z — \mk) при z ^ ^k, k £ N.

Это утверждение равносильно разрешимости проблемы кратной интерполяции целыми функциями в традиционной формулировке.

Для произвольного дискретного множества узлов интерполяции ^k £ C с кратностями mk, и для любых интерполяционных данных

bjk £ C, j = 0,1, ■ ■ ■ , mk — 1, k £ N

существует такая целая функция g, что

gj)(^k) = bk, j = 0,1, ■ ■ ■ ,mk — 1, k £ N.

Если рассматривать конечное число узлов интерполяции ^k, k = 1, 2,... ,r, с кратностями mk, то изучалась проблема интерполяции не только многочленами, но и функциями из ядра линейных и нелинейных дифференциальных операторов в различных функциональных пространствах, например, многоточечная задача Валле Пуссена ([2]). В категории

S.G. Merzlyakoy, S.V. Popenov, Interpolation with multiplicity by series of exponentials in H(C) with nodes on the real axis.

© Мерзляков С.Г., Попёнов С.В. 2013.

Работа поддержана РФФИ (грант №11-01-00572-а).

Поступила 15 апреля 2013 г.

пространств голоморфных функций, для случая конечномерного ядра дифференциального оператора с постоянными коэффициентами конечного порядка, эта проблема равносильна алгебраической задаче существования и единственности решений неоднородной системы линейных уравнений с постоянными коэффициентами, что приводит к известным результатам ([3]) о разрешимости и единственности глобальной голоморфной задачи Коши (или голоморфной многоточечной задачи Валле Пуссена), и имеются также некоторые продвижения в случае дифференциальных операторов в частных производных специального вида в пространстве Н(Сп) ([4]-[6]).

В монографии [7] рассматриваются вычислительные аспекты проблемы интерполяции конечными суммами экспонент в конечном числе узлов.

Отметим также, что в обзорах [8], [9] сформулирована нерешенная проблема интерполяции функциями из бесконечномерного ядра так называемого алгебраического дифференциального оператора в пространстве Н(С) и указаны некоторые результаты.

Обозначим через Рс — пространство целых функций экспоненциального типа с традиционной (ЬМ*)-топологией, которая обеспечивает топологический изоморфизм между сильным сопряженным пространством Н* (С) и пространством Рс, реализующийся с помощью преобразования Лапласа С функционалов Г Е Н* (С). Точнее, линейное непрерывное взаимнооднозначное преобразование Лапласа С функционалов Г Е Н*(С) определяется следующим образом: С : Г I—> С Г(г) = (Гл, еЛг) , С Г Е Рс, и далее используется обычная двойственность.

Каждая функция р Е Рс, р Ф 0 порождает в пространстве целых функций Н(С) линейный непрерывный сюръективный оператор свертки Ы^ : Н(С) I—> Н(С), действие которого на функциях f Е Н(С) определяется следующим образом (подробности в [10], [11], и ниже, в доказательстве Теоремы 1):

ЫМ](г) = (Гл,f (г + Л)) , г Е С,

где Г = С-1р Е Н*(С). Целая функция экспоненциального типа р называется характеристической функцией оператора свертки Ы^.

Обозначим Кег Ы^ = ^ Е Н(С) : Ы^|/] = 0} — ядро оператора свертки Ы^, которое является замкнутым подпространством в Н(С), инвариантным относительно оператора дифференцирования.

В работе [12] доказана следующая теорема (см. также [13]).

Теорема А. Зафиксируем некоторое число а Е [0, ^). Обозначим через р целую

функцию экспоненциального типа, имеющую простые нули Лп, причем все Лп лежат в бесконечном количестве в каждом из двух углов Аа(0) = {г Е С : | а^г| ^ а} и Аа(п) = {г Е С : | а^ г — п| ^ а}. Пусть бесконечное дискретное множество узлов интерполяции {^±к}+=1 лежит на вещественной оси и ^±к ^ ±го,к ^ +то. Обозначим через ф произвольную целую функцию с простыми нулями во всех узлах ^±к, и только в них.

Тогда, для любой целой функции д существует целая функция f Е Кег Ы^, такая, что функция г = (д — f )/ф является целой функцией.

В доказательстве в работе [12] рассмотрен случай простой интерполяции (то есть кратности всех ^±к равны 1) и отмечено, что метод доказательства можно распространить и на случай кратной интерполяции. Распространение метода доказательства Теоремы А на случай проблемы кратной интерполяции возможно, но при этом возникают серьезные технические трудности.

Заметим, что условие делимости в утверждении теоремы А равносильно тому, что ^(г) — д(г)| = 0(|г — ^±к|) при г ^ ^±к, для каждого к Е N. Таким образом, в отличие от классической проблемы интерполяции функциями из пространства Н(С), в Теореме А

утверждается, что в пространстве целых функций Н(С) разрешима следующая проблема простой интерполяции функциями из замкнутого подпространства Кег Ы^ с бесконечной последовательностью узлов ^±к с кратностями 1 на вещественной оси.

Для любых интерполяционных данных Ь±к Е С, к =1, 2,... существует целая функция f Е Кег Ы^, такая, что f (^±к) = Ь±к, к =1, 2, • • • .

Другими словами, в Теореме А доказана разрешимость многоточечной задачи Валле Пуссена для операторов свертки в пространстве Н(С) (см. также [14]).

Формулировка утверждения Теоремы А имеет такой вид потому, что в доказательстве используются представления Фишера (см., например, [3]-[6], [12], [13] и ссылки там). Если ф Е Н(С) обозначим через (ф) замкнутый идеал в Н(С), порожденный функцией ф,

(ф) = {к Е Н(С) : к = ф • г, г Е Н(С)}.

Утверждение Теоремы А о разрешимости проблемы интерполяции равносильно тому, что имеет место представление Фишера

Н (С) = Кег Ы„ + (ф),

где ф — произвольная целая функция, имеющая простые нули во всех узлах ^±к, и только в них.

Единственно(ст)и интерполяции в условиях рассматриваемой задачи быть не может, то есть КегЫ^ П (ф) = {0} (См. Предложение 1 ниже).

В связи с этим, представляется естественным переход к собственному замкнутому подпространству ядра Кег Ы^, для того чтобы решать проблему интерполяции функциями из меньшего подпространства Н(С). В частности, оправданным является и то, что в теореме А рассматривается случай, когда все нули характеристической функции р простые.

Как известно, ядро любого оператора свертки Ы^ в Н(С) допускает спектральный синтез, то есть Кег Ы^ совпадает с замыканием в топологии Н(С) линейной оболочки множества всех полиномиально-экспоненциальных мономов еЛпХ, содержащихся в нем.

В данной статье, в частности, будет доказана разрешимость проблемы кратной интерполяции функциями из замкнутого подпространства ядра Кег Ы^, состоящего из всех целых функций f, которые представляются рядами экспонент, сходящимися в пространстве

Н(С) :

ГО

f (г) = ^ спеЛпХ, г Е С,

п=1

что дает новое и более простое доказательство Теоремы А.

2. Вспомогательные результаты

В дальнейшем нам потребуются некоторые свойства полиномов из экспонент с вещественными показателями. Такие полиномы изучены в монографии [18].

Рассмотрим произвольный полином из экспонент вида

£

р(г) = ^ ак(г)е^г< ^1 < • • • < ^, (1)

к=0

где ак(г) — некоторые многочлены, и пусть а0 • а£ ф 0.

Из Теоремы 12.9 монографии [18] легко получить, что справедливо следующее.

Лемма 1. Существует такое с1 > 0, что во внешности круга {г Е С : |г| ^ с1}

выполнено: существуют положительные постоянные с2, с3 и два вещественных числа

т0, т£, причем т0 > т£ или т0 = т£ = 0, такие, что

|р(г)| ^ С2вШ0 Ке*, (2)

для всех г в области и0 = {г Е С : Ке(г + т01пг)} < —с3, и

|р(г)| ^ с2е"^Кег, (3)

для всех г в области Ц = {г Е С : Ке(г + т£ 1пг)} > с3.

Для любого фиксированного с Е К рассмотрим кривую Ке(г + т 1п г) = с, т = 0. Она

симметрична относительно вещественной оси. Для т > 0 эта кривая лежит в некоторой

полуплоскости Ке г < А, А > 0, а для т < 0 она лежит в некоторой полуплоскости

У п

Ке г > —А, А > 0. Если точка г = х + гу лежит на этой кривой, то — ^ то, агг г ^ —,

х 2

|г| = |у|(1 + о(1)), при |г| ^ то. Рассматриваемая кривая асимптотически приближается к показательной кривой х + т 1п |у| = с.

П

Для некоторого а Е (0, ^), обозначим Аа(п) = {г Е С : | аггг — п| ^ а},

Аа(0) = {г Е С : | аггг| ^ а}.

Лемма 2. Для произвольного полинома из экспонент р вида (1) существует такое г = г(р) > 0, что для всех г, |г| > г, справедливы следующие оценки.

Если ^0 < 0, и г Е Аа(п), то

|р(г)| ^ сзв(м с°8а)К (4)

Если и3 > 0, и г Е Аа(0), то

|р(г)| ^ сзе(^с°8а)К (5)

Доказательство. Легко видеть, что все точки г из углов Аа(п), Аа(0), лежащие вне некоторого круга, лежат в областях [70, Ц^, соответственно. Поэтому, из оценок (2) и (3) полинома из экспонент р в областях Ц0 и Ц для |г | > с1 вытекают оценки вне некоторого круга в углах Аа(п) и Аа(0), соответственно. Так как в угле Аа(п) = {|агг г — п| ^ а<п/2} выполнено, что

^0 Ке г = |^0| • | сов(аггг)| • |г| ^ |^0| • | сов(п — а)| • |г|,

то из оценки (2) получаем оценку (4). Так как в угле Аа(0) = {|агг г| ^ а < п/2} выполнено, что

ш3 Ке г = (ш3 сов(агг г)) |г| ^ (^ сое а)|г|, то из оценки (3) получаем оценку (5). Лемма 2 доказана.

Рассмотрим две произвольные бесконечные дискретные последовательности комплексных чисел V- = {г— }, и V + = {г,}, причем Ке V— < 0, КеV, > 0. Обозначим V = V- и V +. Введем следующие условия

|Ке V- ,1

11Ш8ИР --:--т = ТО. (6)

,-те 1п |г— |

т Ке V,-

11Ш8ИР --:-- = ТО. (7)

,-1п | |

Если последовательности V-, V + лежат в углах Аа(п), Аа(0), соответственно, то условия (6) и (7) выполняются.

Обозначим через /у± идеалы в Рс,

/у- = и Е Рс : f (V-,) = 0, з Е Н}.

/у+ = {f Е Рс : f (V,) = 0, з Е Н}.

Это замкнутые подпространства в Рс.

Лемма 3. В описанной ситуации, если для V выполнено хотя бы одно из условий (6) или (7), то никакой многочлен из экспонент р ф 0 вида (2) не может содержаться в идеалах /у±.

Доказательство. Предположим, что р|у- = 0 или р|у + = 0. Из оценок (2) и (3) следует, что вне некоторого круга произвольный многочлен из экспонент р вида (1) не имеет нулей в областях Ц0, Ці, в определении которых постоянные Сі, с2, т0, т8 зависят от р. Легко видеть, что из условий (6) и (7) вытекает, что для любых областей Ц0, Ц такого вида найдется круг, радиус которого зависит от р, вне которого существуют две бесконечные последовательности точек из V- и V +, лежащие в Ц0 и Ц5, соответственно. Получили противоречие. Лемма 3 доказана.

3. Основная теорема

Пусть задано бесконечное дискретное множество вещественных узлов интерполяции М = М- и М+, где М- = {^-к}к2=1, < 0, или М- = 0, а М+ = }к=1, ^ 0, или

М- = 0. Здесь Т1 ^ + ТО, Т2 ^ + ТО.

Будем считать, что все узлы интерполяции упорядочены в порядке возрастания по индексу к, то есть так, что ^-к-1 < ^-к, ^ < ^к+1. Предположим, что каждому узлу Є М приписана кратность Є N.

Рассмотрим бесконечную дискретную последовательность комплексных чисел Л = {Лга}гаЄн. Предположим, что выполнено условие

Іітвир т—— = ! < то. (8)

П^ГО |ЛП|

Обозначим

ГО

Е(Л) = {/ Є Н(С) : /(2) = £ СпЄЛ"', 2 Є С}.

П=1

При выполнении условия (8) на показатели Лп, из поточечной сходимости ряда экспонент, для всех 2 Є С, следует, что ряд сходится в топологии пространства Н(С) ([15]).

Рассмотрим следующую проблему кратной интерполяции рядами экспонент с множеством узлов М.

Для произвольной целой функции д найти ряд экспонент / Є Е(Л), такой, что для всех Є М

|/(2) — д(2)| = 0(12 — |т±к), 2 ^ .

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

Н (С) = Е(Л) + (фм).

Здесь через фм обозначена целая функция с нулями во всех узлах Є М стями т±к, и только в них. Кроме того, обозначим

(фм) = {Н Є Н(С) : Н = фм ■ г, г Є Н(С)}

— замкнутый идеал в Н(С), порожденный функцией фм.

Теорема 1. 1. Пусть множество узлов М+ — конечное или пустое. В пространстве

Н(С) разрешима проблема кратной интерполяции рядами экспонент из £(Л) с множе-

п

ством узлов М, тогда, и только тогда, когда для некоторого а Є (0, —) множество

Л П Аа(п) — бесконечное.

2. Пусть оба множества узлов М- и М+ — бесконечные. В пространстве Н(С) разрешима проблема кратной интерполяции рядами экспонент из £(Л) с множеством узлов

, с кратно-

(9)

п

М, тогда, и только тогда, когда для некоторого а Е (0, —) оба множества Л П Аа(п) и Л П Аа(0) — бесконечные.

Доказательство.

Докажем необходимость условий в п. 1 и п. 2.

Пусть в условиях п.1 проблема кратной интерполяции рядами экспонент из Е(Л) раз-

п

решима. Предположим, что для любого а Е (0, ~) множество Л П Аа(п) — конечное или пустое. Тогда

. Кб Л„

11т 1ЛТ = 0

П^<х |Лп|

Для х < 0 рассмотрим функцию

Л,(х) = 8ир(х Ке Лп — |ЛП|}, Л,(х) < то.

П

Рассмотрим произвольную функцию f Е Е(Л). Докажем, что для всех х < 0 справедлива оценка ^(х)| ^ Се^(ж), С > 0. Действительно,

оо оо

И'(х)| ^ ^ |сп| ехКеЛп ^ е^) ^ |Сп| е|Лп|.

П=1 П=1

Для фиксированного е > 0 обозначим В = й + 2е + 1, где величина й определена в условии (8). В доказательстве Т 3.1.1 монографии [15] показано, что существует постоянная А > 0, такая, что |сгаеЛп2:| ^ А, для всех г, |г| ^ В, и всех п Е N.

Отсюда следует, что |сп| ^ Ае_в|Лп|. Получили, что для всех х < 0

оо

^(х)| ^ Аеад ^е(1-в)|Лп| = Аеад ^е-(й+2£)|ЛЧ

П=1 П=1

Из условия (8) следует, что (й + е) |ЛП| ^ 1пп, п ^ по, то есть ряд

о

^ е-(й+2е)|Лп| < то.

П=1

Доказанная оценка показывает, что все функции f из Е(Л) имеют контролируемую скорость роста при х ^ —то. А это означает, что рассматриваемая проблема простой интерполяции функциями из ядра этого оператора свертки неразрешима для интерполяционных данных, имеющих большую скорость роста, чем это диктуется этой оценкой. Получили противоречие. Необходимость условий в п.1 доказана.

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

Докажем достаточность условий в п. 1 и п. 2.

В ситуации п.1 достаточно показать, что имеет место представление

Н (С) = Е(Л) + (ф1),

где ф1 — некоторая целая функция, имеющая бесконечное множество нулей, состоящее из всех Е М_, с кратностями т_к, и не более чем конечное множество нулей, состоящее из всех Е М+, с кратностями .

Аналогично, в ситуации п.2, покажем, что

Н (С) = Е(Л) + (ф2),

где ф2 — некоторая целая функция, имеющая два бесконечных множества нулей, ^_к Е М_, с кратностями т_к, и Е М+, с кратностями .

Здесь {фг), (ф2) — замкнутые идеалы в Н(С), определенные в (9).

Подпространство Е(Л), вообще говоря, не замкнутое в Н(С). Отметим еще следующее. Если утверждения теоремы доказаны для Л0 С Л, то они доказаны и для Л. В дальнейшем мы перейдем к замкнутому подпространству в Е(Л).

Из результатов монографии [10], стр.268, вытекает следующее утверждение.

Для того чтобы любая целая функция из замыкания линейной оболочки системы полиномиально-экспоненциальных мономов с множеством показателей, имеющим конечную верхнюю плотность с учетом кратностей, представлялась в виде ряда экспонент, необходимо и достаточно, чтобы 5 < то, где 5 — индекс конденсации Бернштейна-Леонтьева, определенный ниже.

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

В ситуации п. 1 выберем бесконечную подпоследовательность } Е Л П Аа(п), V Е N так, чтобы последовательность {^}^удовлетворяла условию

|**+1| > 2|^|. (10)

В ситуации п. 2 выберем две бесконечные подпоследовательности {^2га_1} из Л П Аа(п) и {72п} из Л П Аа(0) так, чтобы для последовательности {^}^ен выполнялось условие разделенности (10).

Обозначим через С целую функцию с простыми нулями ^,

о

г

од = т 1

где ^ — любая из двух выбранных подпоследовательностей.

Функция С имеет минимальный тип при порядке 1 и Кег Мс состоит из всех целых функций f (г), которые представляются рядами экспонент,

СЮ

f (г) = ^ ^е^*, г Е С,

^=1

сходящимися в топологии пространства Н(С).

Так как подпространство Кег Мс допускает спектральный синтез, это утверждение вытекает из Теоремы 4.2.4 монографии [10]. Покажем, что в результате выбора ^ индекс конденсации 5 = 0, где

5 = 11т вир -—г 1п ^- —-г.

™ |^| |С%)|

В обоих случаях для множества нулей {^} функции С выполнено условие (10), поэтому функция С имеет минимальный тип при порядке 1. Для такой функции всегда 5 ^ 0, так как производная С' также имеет нулевой тип при порядке 1, то есть

1

|С% )|

Верны оценки

^ е_ф"|, е > 0, V ^ V).

^| ^| ^ ^| Второе слагаемое положительное, и далее, с учетом (10) получаем, что

1 о / 1 4 ^

^ |^|е_А, А = V 1п(1 — ( -

V

Видим, что 5 ^ 0. Итак 5 = 0.

Обозначим Л_ = Л П Аа(п), Л+ = Л П Аа(0). Множества могут быть конечными, а одно из них и пустым. В дальнейшем, без ограничения общности, будем считать, что в ситуации п.1 Л = Л_, а в ситуации п.2 Л = Л_ и Л+, причем члены последовательности Л удовлетворяют условию разделенности (10) в указанном выше смысле. Обозначим через С1, С2 — целые функции с нулевыми множествами Л_, Л, соответственно.

С учетом этих соглашений и обозначений, из доказанного выше следует, что Кег Мс1 = Е(Л_), и Кег М<2 = Е(Л). Поэтому, для доказательства достаточности условий в двух утверждениях теоремы 1 достаточно показать, что в условиях каждого из них пространство Н(С) допускает соответствующее представление Фишера:

Н (С) = Кег М< + (Ф1).

Н (С) = Кег М< + (Ф2).

Целые функции ф1, ф2 определены в начале доказательства. Будет доказано, что для к = 1 и к = 2 верны следующие два утверждения.

(I) Подпространство КегМ< + (фк) — всюду плотное в пространстве Н(С);

(II) Подпространство КегМ< + (фк) — замкнутое в пространстве Н(С).

В дальнейшем используется схема доказательства, приведенная в работе [13], которая основана на двойственности с использованием преобразования Лапласа С функционалов из сильного сопряженного пространства Н*(С).

Определим раздельно непрерывную билинейную форму [•, •] : Н(С) х Рс -—> С, согласно формуле [ф, р] = (С_1 р, ф) , ф Е Н(С), р Е Рс. С помощью отображения р 1—► [•, ф] = (С_1р, •) , где С_1 р Е Н*(С), задается изоморфизм между Рс и сильным сопряженным пространством Н*(С). Согласно введенной двойственности, любая функция из пространства Рс взаимнооднозначно соответствует некоторому линейному непрерывному функционалу из Н*(С).

Каждая функция С Е Рс, С ф 0 порождает в пространстве целых функций Н(С) оператор свертки М< : Рс 1—> Рс,

Мс[ф](г)= [&(ф(Л)),Сл] = <(С_1С)Л,ф(г + Л)> ,

где б'г — оператор сдвига: б'г(ф(Л)) = ф(Л + г).

Известно, что М< линейный, непрерывный и сюръективный оператор. Сопряженный оператор к оператору свертки М< это оператор Ас умножения на характеристическую функцию С, действующий на функциях ш Е Рс следующим образом: ш -—> С • ш.

Как известно, (М*)-пространство Н(С) является рефлексивным, то есть его сильное второе сопряженное пространство Н**(С) канонически изоморфно пространству Н(С). Поэтому отображение ф 1—> [ф, •] , с учетом этого канонического изоморфизма, определяет изоморфизм между (М*)-пространством Н(С) и сильным сопряженным РС, и любая функция из Н(С) взаимнооднозначно соответствует некоторому линейному непрерывному функционалу из сильно сопряженного пространства РС.

Более точно, это отображение понимается следующим образом: канонический изоморфизм Н (С) и Н **(С) имеет вид ф I---> 0ф = Р^, Р^ Е РС, (Р^, р) = [ф,р] = (С_1р, ф) .

Здесь ф Е Н(С), р Е Рс.

Каждая функция ф Е Н(С), ф ф 0 порождает в пространстве целых функций экспоненциального типа Рс оператор свертки : Рс 1—> Рс, [р](г) = [(0ф)Л,5г(р(Л))] ,

где Бх — оператор сдвига, (р(Л)) = р(Л + г), Л Е С.

Далее получаем, что М^[р](г) = <(С_15гр)Л, ф(Л)> = <егЛ(С 1р)Л, ф(Л)> =

= <(С_1р)л, егЛф(Л)>, р Е Рс.

Используя известную формулу для обратного преобразования Бореля ([10]), отсюда получается, что оператор свертки М^ имеет следующий вид:

М М(г) = 2~ / ф(А)е^(Л) А Р Е Рс

с

где 7^ - функция, ассоциированная по Борелю с функцией р, а С - спрямляемый замкнутый контур, охватывающий все особые точки функции 7^. Целая функция ф называется характеристической функцией оператора свертки М^.

Известно, что М^ линейный, непрерывный и сюръективный оператор. Обозначим

Кег М = {/^Е Рс : М[/] = 0}.

Оператор М^ является сопряженным к оператору умножения на целую функцию ф в

пространстве Н(С), действующему на функциях д Е Н(С) следующим образом: д 1------> ф-д.

Оператор является линейным и непрерывным, а его образ совпадает с замкнутым идеалом (ф).

Если Х1 — подпространство в топологическом векторном пространстве X, через X0 обозначим его поляру (или аннулятор), то есть множество функционалов из X*, которые обращаются в нуль на Х1.

С учетом введенной двойственности, поляра (Кег Мс) совпадает с идеалом, определяемым как

(С)рс = {Л Е Рс : Л = О ■ г; г Е Рс},

причем (О) = (О П Рс, и идеал (О) рс — замкнутое подпространство в Рс (доказа-

тельство этих утверждений будет приведено ниже). С учетом введенной двойственности, поляра ((ф)) совпадает с Кег М^.

Так как (Кег Мс + (ф))0 = (КегМс)0 П ((ф))°, доказано, с учетом двойственности, что (Кег Мс + (ф))° = (О)Рс П Кег М^.

Из Леммы 2 работы [16] следует, с учетом двойственности, что подпространство Кег Мс + (ф) — замкнутое в Н(С), тогда, и только тогда, когда подпространство

(КегМс)° + ((ф))° = (О)рс + КегМ^ — замкнутое в Рс.

Получили, что для к = 1 и к = 2 утверждения (I) и (//) выше равносильны следующим двум двойственным утверждениям в (РЖ*)-пространстве Рс.

(I*) Справедливо равенство (О.)Рс П Кег М^ = {0}.

(II*) Подпространство (О.)р + Кег — замкнутое в пространстве Рс.

Важным моментом в доказательстве двойственных утверждений (I*) и (//*) является следующий известный факт (см., например, [17]).

Пусть / — произвольная целая функция, имеющая нулевое множество {£.}, причем имеют кратности р., к Е N. Замкнутое подпространство Кег М/ в пространстве Рс представляет собой линейную оболочку системы всех мономов вида {2^е*^},

V = 0,1, ■ ■ ■ ,р. — 1, к Е N то есть оно состоит только из полиномов из экспонент:

ир

Кег М/ = {р Е Рс : р(2) = ^ а.(г)е*^}.

.= 1

Здесь, для любого к Е N функции а. — произвольные многочлены степеней не выше р. — 1, соответственно. ^

Это несложно доказываемый фундаментальный принцип для Кег М^ в пространстве Р .

В условиях каждого из п.1 и п.2 теоремы 1 докажем утверждение (/*).

В условиях как п.1, так и п.2, пусть функция р Е Кег М,й, р ф 0, тогда она представляет собой полином из экспонент

Р(*) = £ а—'(2)ем-'* + £ ^(г)е№*,

КпМ- Ипм+

который имеет вид (1). Справа стоят конечные суммы по конечным подмножествам Рт_м- С М_, Ппм+ С М+. В этом представлении учитываем, что возможен случай, когда Ппм- = 0 или Ппм+ = 0, и поэтому используем соглашение: для произвольной

последовательности {6^}, = 0.

0

Покажем, что в условиях п.1 и п.2 полином из экспонент р ф 0 не может принадлежать (01)рс .

Это следует из Леммы 3. Действительно, согласно условию Теоремы 1, Л С Аа(п), откуда следует, что для последовательности г_ = А_& выполнено условие (6) Леммы 3.

Кроме того, нужно показать, что (О1 )рс = /у-. По определению, (О1)рс С /у-. Далее, согласно теореме Линделефа для функций из пространства Рс, (О) р = (О) П Рс, то есть верно и обратное включение.

Идеал /у- из Леммы 3 — замкнутый, так как топология в Рс сильнее топологии равномерной сходимости на компактах. Доказано, что идеал (О1)рс замкнут в Рс.

Утверждение (/*) в условиях п.1 доказано. Для доказательства Утверждения (/*) в условиях п.2 осталось только заметить, что идеал (О2)рс содержится в идеале (О1)рс.

Получили, что, как в условиях п.1, так и п.2 теоремы, у нас имеются алгебраические прямые суммы (О.)рс ф Кег М^, к = 1, 2. В условиях каждого из п.1 и п.2 теоремы 1, докажем замкнутость этих подпространств в Рс (то есть докажем утверждение (//*)). Как известно ([19]), в (РЖ*) — пространстве Рс замкнутость любого подпространства X равносильна его секвенциальной замкнутости.

В условиях п.1 рассмотрим произвольную последовательность {дг}, I Е N функций из алгебраической прямой суммы (О1)рс ф Кег М, и предположим, что она сходится в пространстве Р к функции д Е Р . Покажем, что предельная функция д принадлежит

(О1)рс ф Кег М,1.

Сходимость {дг} в (РЖ*)-топологии пространства Рс означает следующее:

1. {дг} сходится к д в топологии пространства Н(С);

2. Существуют такие А > 0, В > 0, что для всех I Е N справедлива оценка

|дг(2)| ^ Аев|* ,2 Е С. (11)

Последовательность {дг} состоит из функций вида дг = рг + Рг, где функции Рг Е (О1)рс, то есть Рг|Л_ = 0, а функции рг Е Кег М,1.

Если в последовательности {дг} содержится бесконечно много членов с Рг ф 0, то д Е Кег М,1. Если в {дг} содержится бесконечно много членов с рг ф 0, то д Е (О1)рс. Для таких последовательностей {дг} функция д Е (О1)рс ф Кег М,1.

Следовательно, далее можно считать, что последовательность {дг} такова, что Рг ф 0, рг ф 0 для всех /.

В силу фундаментального принципа для ядра Кег М, 1 в пространстве Р

р.(2)= £ а_> (;)е"->' + £ а^Ме™*. (12)

ПпМ- ИпМ+

Если для некоторого фиксированного I в этом представлении Fin(1, - = 0, то есть имеется хотя бы один а_ ф 0, соответствующий показателю , обозначим через ^ — номер

минимального из всех таких . Если для некоторого фиксированного l в этом представлении Fin^ + = 0, то есть имеется хотя бы один а® ф 0, соответствующий показателю ^, обозначим через ui — номер максимального из всех таких ^.

Пусть последовательность {gi} такова, что множество {qi} бесконечное. Покажем, что оно ограниченное.

По условию п.1 для произвольной последовательности {gi} множество {ui} пустое или ограниченное. Тогда без ограничения общности можно считать, что в представлениях полиномов из экспонент Fin^_ = 0 для всех l. Действительно, достаточно рассмотреть

gi = gi • e_az, для некоторого a Е R+. Тогда a_q ф 0 для всех l.

Предположим, что множество чисел {qi} является неограниченным.

Все pi имеют вид (1). Так как a—q ф 0, используя оценку (4) из леммы 2 и оценку (11), получаем следующую оценку функции Ri = gi — pi, R ф 0, :

|Ri(z)| ^ |pi(z)| — |gi(z)| ^ C3e(^_qi1 cosa)|z| — AeB|z|, для всех z в области Aa(n), |z| > r. Здесь r = r(l). По предположению, существует ,

i i в 0

такое, что |u_q | > ---.

0 cos a

Видим, что |Ri0(z)| > 0 для всех z в области Aa(n), |z| > ri(lo). Получаем противоречие, так как, в силу условия п.1 теоремы 1, в области Aa(n), |z| > r1(l0), лежит бесконечная дискретная последовательность из Л_, а нам дано, что Ri0 |л_ = 0.

Доказано следующее: если последовательность функций gi = pi + Ri из (G1)pC ® Ker M^1

в

сходится в Pc, то |п_q | ^ ----- для всех l, и множество чисел {qi} в представлениях

_ l cos a

полиномов из экспонент является ограниченным. Множество чисел {ui} для любой последовательности {gi} конечное или пустое по условию утверждения п.1.

Следовательно, последовательность полиномов из экспонент {pi} принадлежит некоторому конечномерному подпространству X С Ker M^1. Утверждение (I*) означает, что все элементы сходящейся последовательности gi = pi + Ri лежат в алгебраической прямой сумме X ф (Gi)pC.

В любом топологическом векторном пространстве алгебраическая прямая сумма конечномерного подпространства и замкнутого подпространства является замкнутым подпространством ([20], стр. 41). Итак, предельная функция g последовательности gi = pi + Ri принадлежит Ker M^1 ф (G1)pC. Утверждение (//*) доказано.

Из утверждений (I*) и (//*) вытекает утверждение п.1 Теоремы 1.

В условиях п.2 докажем, что алгебраическая прямая сумма (G2)pc ф Ker M^2 — замкнутое подпространство в Рс По условию п. 2, имеется два бесконечных множества узлов интерполяции с кратностями и узлов интерполяции ^_^ с кратностями m_fc. Кроме того, в углах Аа(п) и Aa(0) лежат две бесконечные последовательности точек из Л_ и Л+, соответственно.

Рассмотрим произвольную сходящуюся последовательность функций {gi} С Ker Mg2 ф (ф2), вида gi = Ri + pi, l Е N, где pi Е Ker M^1, Ri Е (G2)Pc. Как и при доказательстве

замкнутости (G1)pC фKer M^1 выше, можно считать, что pi ф 0, Ri ф 0 для всех l. Полиномы из экспонент pi ф 0 имеют представление (12). Если последовательность {gi} такова, что множество чисел {ui} конечное или пустое, выше доказано, что множество чисел {qi} ограниченное.

Пусть последовательность {gi} такова, что множество чисел {ui} бесконечное.

Если последовательность {pi} такова, что в ней имеется бесконечное множество членов, в представлении которых имеются отрицательные показатели, то можно считать,

что а-^ ф 0 для всех членов такой последовательности. Этого можно достичь, переходя к подпоследовательности. Далее, как в доказательстве утверждения п.1, доказываем, что множество чисел {ф}, соответствующих всем таким членам, является ограниченным. Кроме того, для дальнейшего отметим, что для любой последовательности такого типа без ограничения общности можно считать, что а® ф 0 для всех /.

Если же в последовательности {р} таких членов не более конечного числа, можно считать, что а® ф 0 для всех /, рассматривая = дг • е“г, для некоторого а Е К+.

По предположению, для последовательности {р} каждого из последних двух типов множество {и} неограниченное. Последовательность {дг} удовлетворяет оценке (11). Так как аЦг) ф 0 для всех /, получаем, используя оценку (5) Леммы 2 и оценку (11), что для всех г в области Аа(0), |г| > г, г = г(/),

|Яг(г)| ^ сэв(^и1 с°8а)И - Аев|г|.

Отсюда, так как множество Л+ бесконечное, как и выше, в доказательстве утверждения п.1, приходим к противоречию и заключаем, что множество чисел {и}, соответствующих произвольной сходящейся последовательности {и}, является ограниченным. Из предыдущего рассмотрения следует, что оба множества чисел {ф} и {и}, участвующие в представлении произвольной сходящейся последовательности {дг} полиномов из экспонент, являются ограниченными. Завершается доказательство теми же рассуждениями, как в доказательстве утверждения п.1.

Утверждение п.2, а значит, и Теорема 1 доказаны.

4. Обсуждение условий, примеры

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

Пусть множество Л удовлетворяет условию (8). Кроме того, пусть множество Л и множество узлов М С К удовлетворяют условиям Теоремы 1, тогда разрешима проблема кратной интерполяции рядами экспонент f из Х(Л) с узлами М. Пусть ф = фм — некоторая целая функция с нулевым множеством ^ = М, с учетом кратностей.

Предложение 1. Подпространство £(Л) П (ф) = {0}, более того, оно — бесконечномерное.

Доказательство. По Теореме 1 имеет место представление КегМ^ + (ф) = Н(С). Покажем, что £(Л) П (ф) = {0}.

Существует д Е (ф), д ф 0, д Е £(Л), и существует такое ж0 Е К, что д(ж0) = 0, ф(ж0) = 0. Обозначим через ф1 — целую функцию с нулевым множеством = М и {ж0}, тогда идеал (ф^ является собственным подмножеством (ф).

По Теореме 1 Н(С) = Е(Л) + (ф^, в частности д = f + фг • г, где f Е Е(Л), причем функция f ф 0, поскольку д Е (ф^. Функция г Е Н(С) и г ф 0, так как д Е Е(Л).

Так как г ф 0, а f = д — фг • г, видим, что f Е Е(Л) П (ф) и f ф 0. Первое утверждение доказано.

Заметим, что f Е Е(Л) П (ф^, так как; Дж0) = д(ж0) = 0. Доказано, что имеет место строгое включение £(Л) П (ф^ С Е(Л) П (ф).

Предположим, что подпространство Х(Л) П (ф) конечномерное. Продолжая указанную процедуру, получим последовательность строгих включений Х(Л) П (фк+^ С Е(Л) П (фл). Через конечное число шагов получим, что Х(Л) П (ф0) = {0}. Это противоречит тому, что уже доказано выше. Предложение 2 доказано.

В заключение обратимся к более общей ситуации, описанной перед Леммой 3. Рассмотрим бесконечную дискретную последовательность комплексных чисел V = V- и V +, где

V + = {г^ }, V_ = {г—}, — бесконечные дискретные последовательности, причем Ке > 0, Ке < 0. Пусть выполнены условия (6) и (7) из Леммы 3. Предположим, что множества V_, V + представляют собой множества нулей целых функций экспоненциального типа Ф1, Ф2, соответственно.

Для произвольного дискретного множества П = {^}, ^ Е К, с множеством кратностей {п&}, обозначим через фп целую функцию, имеющую простые нули в точках ^ с кратностями , и только в них.

Замечание 1. Из леммы 3 вытекает, что справедливы следующие два утверждения. Подпространства Кег Мф1 + (фп) и Кег Мф2 + (фп) являются всюду плотными в пространстве Н (С).

Действительно, /у- = (Ф1)рс. Это показано в доказательстве теоремы 1. Поэтому, в силу Леммы 3, (Ф^ ПКег = {0}, так как любая функция из Кег М^п имеет вид (1), в силу

фундаментального принципа для Кег М^п в пространстве Рс. Это двойственное утверждение равносильно первому утверждению. Второе получается после преобразования г ^ — г плоскости С.

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

Пример 1 ниже показывает, что условия (6) и (7) в утверждениях Замечания 1 близки к необходимым. Для того чтобы упростить этот пример, заметим, что после преобразования г ^ —г плоскости С, из утверждения п. 1 Теоремы 1 получается утверждение:

1'. Пусть множество узлов М_ — конечное или пустое. В пространстве Н(С) разрешима проблема кратной интерполяции рядами экспонент из £(Л) с множеством узлов

п

М, тогда, и только тогда, когда для некоторого а Е (0, ^) множество Л П Аа(0) — бесконечное.

Пример 1. Пусть р(г) = г — ег, а множество узлов интерполяции М содержит некоторое множество узлов ^ 1, к Е N. Проблема простой интерполяции функциями из Кег М^ с множеством узлов М неразрешима, причем подпространство М^ + (фм), вообще говоря, не является всюду плотным в пространстве Н(С).

Легко показать, что функция р(г) = г — ег имеет бесконечное множество нулей Л = { Ап, Ап = + Яуп}. Так как Ап = еЛп, в частности, получаем, что — 1п |АП| = 0.

Отсюда следует, что Ке Ап ^ +то, и для Ап не выполняются как условие Теоремы 1, так и условие (7). Кроме того, р'(Ап) = 1 — еЛп = 1 — Ап. Поэтому все нули функции р простые, и индекс конденсации 8 = 0 для функции р. Следовательно, КегМ^ = Е(Л).

В частности, если множество узлов М содержит ^0 = 0 с кратностью т0 = 2 и = 1 с кратностью т1 = 1, тогда полином из экспонент р = р принадлежит Кег М^м П (р) ;с, то

есть в силу равносильного двойственного утверждения (I*), подпространство М^ + (фм) не является всюду плотным в пространстве Н(С).

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

Пример 2. Пусть множество узлов интерполяции содержит точки ^1 Е К, ^2 = ^1 + Я Е С, а р(г) = 1 — егг. Тогда проблема простой интерполяции целыми функциями из Кег М^ = ^ Е Н(С) : f (г) = f (г + Я)} неразрешима.

В этом примере Ап = 2пп Е К. Все функции из ядра М^ являются периодическими с периодом Я, поэтому нет возможности задавать произвольные интерполяционные данные в узлах ^1 Е К, ^2 = ^1 + Я Е С.

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

СПИСОК ЛИТЕРАТУРЫ

1. Хермандер Л. Введение в теорию функций нескольких комплексных переменных. М.: Мир. 1968. 279 с.

2. Сансоне Дж. Обыкновенные дифференциальные уравнения. Т. 1 М.: Мир. 1953. 346 с.

3. A. Meril, A. Yger Problemes de Cauchy globaux. // Bull. Soc. Math. France. V. 120. 1992. pp.

87-111.

4. Хермандер Л. Анализ линейных дифференциальных операторов с частными производными. Т. 2: Дифференциальные операторы с постоянными коэффициентами. М.: Мир. 1986. 455 с.

5. Shapiro H.S. An algebraic theorem of Fischer, and the holomorphic Goursat problem. // Bull. London Math. Soc. V. 21. 21. 1989. С. 513-537.

6. A. Meril, D.C. Struppa Equivalence of Cauchy problems for entire and exponential type functions.

// Bull. London Math. Soc.V.17. 5. 1985. pp. 469-473 .

7. P. Henrici Applied and computational complex analysis. V. 2. A Wiley- Interscience Publication. 1977. 662 p.

8. L.A. Rubel Some research problems about algebraic differential equations. // Trans. Amer. Math. Soc. V.280. 1. pp. 43-53

9. L.A. Rubel Some research problems about algebraic differential equations II. // Illinois Math. Soc. V.36. 1. pp. 659-681.

10. Леонтьев А.Ф. Последовательности полиномов из экспонент. М.: Наука. 1980. 384 с.

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

12. Напалков В.В., Нуятов А.А. Многоточечная задача Валле Пуссена для операторов свертки. // Матем. сб. 203:2. 2012. С. 77-86.

13. Напалков В.В., Попенов С.В. Голоморфная задача Коши для оператора свертки в аналитически равномерных пространствах и разложения Фишера. // Докл. РАН, Т. 381. №2. 2001. C. 164-166.

14. Напалков В.В. Комплексный анализ и задача Коши для операторов свертки. Труды матем. института имени В.А. Стеклова. 235. 2001. C. 165-168.

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

16. Мерзляков С.Г. Инвариантные подпространства оператора кратного дифференцирования. // Матем. заметки 33:5. 1983. C. 701-713.

17. H. Muggli. Differentialgleichungen unendlich hoher Ordnung mit konstanten Koeffizienten. // Comment. Math. Helv. V. 11. 1938. pp. 151-179.

18. Беллман Р., Кук К. Дифференциально - разностные уравнения. М.: Мир. 1967. 548 с.

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

20. Рудин У. Функциональный анализ. М.: Мир. 1975. 443 с.

Сергей Георгиевич Мерзляков,

Институт математики с ВЦ УНЦ РАН, ул. Чернышевского, 112,

450008, г. Уфа, Россия E-mail: msg2000@mail .ru

Сергей Викторович Попёнов,

Институт математики с ВЦ УНЦ РАН, ул. Чернышевского, 112,

450008, г. Уфа, Россия E-mail: spopenov@gmail.com