УДК 517.538.7
ЛОКАЛЬНО ВЫПУКЛЫЕ ПРОСТРАНСТВА ЦЕЛЫХ ФУНКЦИЙ НУЛЕВОГО ПОРЯДКА, ПРИЛОЖЕНИЯ К ИНТЕРПОЛЯЦИИ
LOCALLY CONVEX SPACE OF ENTIRE FUNCTIONS OF ZERO ORDER, APPLICATIONS TO INTERPOLATION
К.Г. Малютин, Л.И. Студеникина K.G. Malyutin, L.I. Studenikina
Юго-Западный государственный университет, Россия, 305040, Курск, ул. 50 лет Октября, 94
Southwest State University, street 50 let Oktyabrya, 94, Kursk, 305040, Russia
E-mail: malyutinkg@gmail.ru, sli-kursk@yandex.ru
Аннотация. Рассматриваются локально выпуклые пространства целых функций нулевого порядка. Найдены два критерия разрешимости задачи простой свободной интерполяции в этом классе. В формулировке первого критерия используется каноническое произведение, определяемое узлами интерполяции. В формулировке второго - мера, которая определяется этими узлами. В предыдущих работах A.F. Леонтьева, Г.П. Лапина, K.G. Малютина, такие задачи рассматривались в классе целых функций ненулевого порядка.
Resume. We consider the locally convex space of entire functions of order zero. Two criteria of resolvability of problem of simple free interpolation in a class of the entire functions of zero order are received. In the formulation of the first criterion, the canonical product defined by interpolation knots is used. In the formulation of the second, the measure, which is defined by these knots, is used. In A.F. Leontyev, G.P. Lapin, K.G. Malyutin previous works such the problem was considered in a class of the entire functions of non-zero order.
Ключевые слова: локально выпуклые пространства целых функций нулевого порядка, интерполяция. Keywords: locally convex space of entire functions of order zero, interpolation.
Пусть f (z) - целая функция, M (f, r) = max | f (гв'в)\. Через \р, ОЯ обозначим
0<в<2ж
класс целых функций порядок которых не превышает р, р > 0, т.е. таких, что
ln + ln + M( f, r) .
limsup-——- <р. (i)
r ln r
Здесь, как обычно, b + = max{b;o}.
В частности, через E0 обозначим класс целых функций нулевого порядка (р = 0). Введем следующее определение.
Последовательность функций {fn (z)} из класса E0 сходится в смысле E0 , если: (i) она
равномерно сходится на компактах, (ii) для любого S > 0 выполняется неравенство
\fn(z)< exp[| z |e], |z| > r0 (e) (n >l),
где r0 (e ) не зависит от П > 1.
При подходящем C(e) , которое не зависит от n, при всех z
\fn(z)<C(e)exp[|z|e] (n >l). (2)
Класс E0 является линейным топологическим пространством с секвенциальной топологией.
Через С (а, Г) будем обозначать открытый, а через В(а, г) - замкнутый круг радиуса Г с центром в точке а. Пусть А = {ап }П=1 - множество различных комплексных чисел
ап = гпе "}п=1. По
множеству А определим меру: Па (С) = 2а 1. Если это не будет вызывать недоразумений, то индекс А будем опускать. Множество корней произвольной функции / будем обозначать через А^. Обозначим через П^ = ПА^ , П^ а (г) = П^ (С(а, г)),
А,а (Г) = ПА (С(а, Г)). В частности, положим П^- (г) = П^-,0 (г), пА (г) = ПА,0 (Г) .
П
Неравенство (1) приводит к разумности введения следующего определения. Последовательность А = {(1п называется интерполяционной в классе р, ^, если для любой последовательности комплексных чисел {Ьп }, П ^Ы , удовлетворяющих условию
п -.+ 1„ +
V 1П+1П+|Ьп| <
llm sup——-<р (3)
гln|an |
существует функция со свойством
Р(ап) = Ьп, п^Ы. (4)
Задача (4) в классе р, ^ в случае, когда р > 0 впервые рассматривалась А. Ф. Леонтьевым [1]. Им были найдены критерии ее разрешимости в терминах канонических произведений,
определяемых последовательностью А . Позднее К. Г. Малютин [2], исходя из результатов А. Ф. Леонтьва, нашел критерии разрешимости задачи (4) в терминах меры определяемой последовательностью А . В работе [3] рассматривалась задача в классе Е0 как в терминах канонических произведений, определяемых последовательностью А , так и в терминах меры, определяемой узлами интерполяции. В настоящей работе мы рассматриваем задачу простой интерполяции в классе Е0 и находим критерии ее разрешимости, отличные от тех, которые были найдены в работе [3] .
Мы дополнительно предполагаем, что выполняется неравенство > 0. Это упрощает доказательство и формулировки некоторых утверждений, однако, не ограничивает общности наших рассуждений. По ходу работы мы делаем замечание, что последовательности А и
А и{0}
являются одновременно интерполяционными.
Пусть р(г) - уточненный порядок [4], Нтр(г) = р ^0. Если р = 0, то уточненный
Г—
порядок называется нулевым уточненным порядком.
По заданной последовательности А и уточненному порядку р(г) определим семейства функций
ф*(7 х = (пА (С(|)) - 1) + Ф (2,а) |2|Р(И) .
Приведем формулу Пуассона для субгармонической функции V и круга В(2, I), на которую будем ссылаться в нашей работе:
v( 2) = 2 + Ие") С1ф - ^ . (5)
0 0 г
Здесь ц - риссовская мера функции V.
В случае, если - целая функция, а - простой корень функции /,
u( z) = ln
f ( z )
(z a)
, то формула Пуассона (5) для круга B(a, r ) приобретает вид:
ln | f(a) |=
1 2? 1 Rnf (B(a, t)) -1 — J In f (a + Re1 *) dp -J f - dt - ln R.
2k 0 0 t
Пусть A = {an } 1 - произвольная последовательность. Обозначим через
EA (z) = П
n=1
1 -
z
a
n
Функция ЕА (2) называется канонической функцией последовательности А . Основным результатом нашей статьи является следующая теорема. Напомним, мы считаем, что выполняется условие 1^1 > 0. Теорема 1. Следующие три утверждения эквивалентны:
(1) последовательность А является интерполяционной в классе Е 0 ;
(2) для любого £ > 0 выполняется соотношение:
2
1
< га ^ ?
n=1 \a„
и каноническая функция EA (z) последовательности А удовлетворяет условию:
lim .
n^mln|
1
rln + ln +
1
a„
E'a (an )|
(3) выполняются соотношения (7) и (3.1) существует нулевой уточненный порядок р(г ), такой что
Фa (z,a) .
log— а
<0;
(6)
(7)
(8)
(9)
Пространство Е*
Рассмотрим последовательность Е* пространств целых функций, для которых конечна
норма
\f(z )
= SUP (\ |1/n\ ^ exp^|z| J
< га.
_ ¡¡: _т _ А _ А
Ясно, что Е*^ С Ещ если П2>Пи Обозначим через Е* проективный предел пространства Е* .
*
Теорема 2. Пространства Е* и Е* совпадают.
Доказательство. Из работы [5] следует, что пространство Е* является локально выпуклым пространством с секвенциальной топологией. При этом последовательность функций
\/п {2)} из Е* сходится в смысле Е* если она при любом * Е N сходится в пространстве Е* .
со
£
Отсюда следует, что последовательность (2)} сходится и в пространстве Е0 . Очевидно, обратное, если последовательность {{„ (2)} сходится и в пространстве Е0 , то она сходится и в любом пространстве Е„ а, значит, и в пространстве Е* Теорема доказана.
Докажем вспомогательные утверждения.
Теорема 3. Пусть А - интерполяционная последовательность в пространстве Е0 . Тогда выполняется соотношение (7).
Доказательство. Пусть / - целая функция из пространства Е0 ., решающая интерполяционную задачу: f (а1) = 1, / (а ) = 0 при П > 2. По предположению теоремы такая функция существует. Запишем формулу (5) для функции v(2) = 1п| f (2) и круга В (а1, Г) :
1 I 1,пг (В(а,, г))
0 = — 11п f (а1 + Ие" (1ф-\ А йг.
2п 0 0 г
Отсюда получаем, что неравенство
1п(г) (В(а,, г))
¡„■^г < Ке1£, Ке> 0,
0 г 0 г
выполняется при любом фиксированном £ > 0 для всех | > |. Отсюда следует неравенство:
е1П(Г )
п(I) < < Ке1£. (10)
I г
Поскольку последнее неравенство выполняется при любом фиксированном £ > 0, то из него следует соотношение:
11т = 0, £ > 0. (11)
1£
Тогда, используя неравенство (10) с £/2 и соотношение (11), получаем:
» 1 7 й„(г) 7 „(г) 7 ^ 7 йг п=1 \а„\ 0 г 0 г 0 г
Теорема доказана.
Теорема 4. Пусть А - интерполяционная последовательность в пространстве Е0 . Тогда каноническая функция ЕА(2) принадлежит пространству Е0 .
Доказательство. Пусть А - интерполяционная последовательность в пространстве Е0 .
Е(г) - его каноническая функция. Из равенства (11) следует, что Е(г) - целая функция. Кроме того, справедливо неравенство
С \
Г
п=1
I а„ |
7
1п|Е(2) 1п 1 + — =$ 1п 1 + - („(г) = (г
1 - 1 * 0 (г + г )г
г„(г)
ч г ,
V I "п I/ из которого следует, что Е е Е0 . Теорема доказана.
Здесь и далее используется обозначение | 2 | = Г .
7
Доказательство импликации 1) ^ 3)
Импликация 1) ^ (7) доказана в теореме 2. Докажем импликацию 1) ^ (9). Докажем вначале, что
1 , + п/2 (n(в(an,t)) —1)+ lim sup-ln + f v v v "—
n—к ln rn 0 t
Если это не так, то существуют последовательность П, Т K при k —} K и число s0 > 0
-dt = 0.
такие, что
1 , + N/2 (n(B(an, t))- 1)+J lim sup-ln + f —i_dt >s0, k=i,2,
* an, 0 t
ln
nk
. (13) неравенство
Дополнительно можно считать, что выполняется
Ю>4| а*к I' к=1'2'-
Пусть /(г) - функция из пространен Е* , которая решает интерполяционную задачу /(а*к ) = 1, к=1,2,..., f(an) = О, если * Ф *к . По условию теоремы такая функция существует.
Запишем формулу (5) для функции L>(z) = ln | f (z) | и круга B\ a ,— | a |
1 k 2 n
1 2л
0 = — f ln 2л 0
r
f
V
1,
ank + 2 ank]e
\
ip
/2 ((B kk,t »)d,
0 t
При t e
0,11 a 2
Iankl/2
nk
справедливо неравенство Пг (((a^, t)) > n(в(ank, t)) — 1. Поэтому
f (((a,,t))—1)+ dt s |anf/2 (nf (iiCank,t))) л =
0
1 2л
— f ln
2л 0
1
ank + 2 K^
dp.
Полученное неравенство, соотношение / Е Е* и неравенство (13) в совокупности противоречивы. Тем самым, равенство (12) доказано. Из равенства (7) следует, что
1 ,+ lafl (n(B(an,t))— 1)+, Л lim sup——rln + f v v v n* "—'—dt = 0.
ln|ank\ ank /2
Вместе с равенством (12) это дает
t
1 , + lanrkl (n(B(an ,t))— 1)+ . Л limsup——rln + f v v v n* "—'—dt = 0.
ln| ank|
t
(14)
Пусть z - произвольное комплексное число и а=а(ё) - ближайшая к z точка последовательности {а*}. Обозначим через ¥х множество тех z, для которых выполняется неравенство
| 2 — а | > "2| 2 |. Из условия (7) легко следует, что
и—<ю
1 + r UbL ,t))— 1)
limsup-—ln+ íV v v "—'-dt = 0. n^ ln r 0 t
zeFj
Поэтому в дальнейшем доказательстве можно считать, что выполняется неравенство
I i 1|| Z — a < — Z . Далее имеем i 2
í HBká—1)+dt = j MbMHL<
0 t |z—a t
< J (n(B(a,t + 1Z — a))—1)+ d = r+j—a(n(B(a,„))—1)+ du < iz—a t 2 z—a u—|z — a|
< 2r+J—a(n(B(a,u»—1)+ d„.
0 U
Из приведенных рассуждений и равенства (12) теперь следует, что
1 + rUB(z ,t))— 1)+ lim sup-—ln + íV v v ' " ' dt = 0.
n^^ ln r 0 t
Отсюда следует, что существует нулевой уточненный порядок р(т) такой, что
г Ub(z ,t)) — 1)+ ()
V '' ' dt < V(r) := r^(r). 0t
Сделав замену переменной t = O r в подынтегральном выражении последнего равенства и разделив обе части на V (r ) получим соотношение:
í ^ do < 1. (15)
0 o
Неравенство (9) следует тогда из цепочки неравенств
, 1 Ф А (z— . 1 Ф А (Z,—) 0ч, 1
1 >J AV Jd— >J AV 7 da >ФA(z,8)ln—.
0 a s a 8
Импликация 1) ^ 3) доказана.
Доказательство импликации 3) ^ 2)
Пусть выполняются условия (9) и (7). Для произвольной точки ап е A оценим расстояние |an — a где a е A ближайшая точка к a n , из последовательности A . Точнее, оценим
On = —:—:—. Замечая, что
(n(B (an ,an ))— 1)+ > 1 и воспользовавшись неравенством (9),
a
п
получим
11
—— <Ф A (an ,On) < ln —.
V(rn ) —n
Откуда следует оценка
—n > exp[- V( an|)].
Снова применяя неравенство (9) и полученную оценку для а * , имеем
1
1/2
Т {п{в{aп'*))— ^ < У(,.) | , 1п(1/,)
* , ехр[—¥{а*\)]
Л =
= V (г* )(Р(Г* )1п г* — 1п1п2).
Отсюда следует соотношение (12). Дословно повторяя рассуждения выше, получим справедливость оценки (15).
Напишем равенство (6) для функции Е(г) и круга Б(ап,Я):
|Е'Ы = ¿Т1п|Е(а* + Яе— — ',)) — 1
1п
Л — 1п Я. (16)
Равенство (16) можно переписать в виде
1 1 2Г% 1 л Я{*{в{ап',))— 1) . , п
11п-— Лф+у к 4 * "—- Л + 1пЯ. (17)
1п
|Е'(а*)| 2л * Е(а* + Яе
,
Далее мы воспользуемся следующей теоремой.
Теорема С. Пусть функция /(г) голоморфна в круге Б(о,2вК) (И>о), /(о)=1 и ]]- произ-
3
воль„ое п°л°ж_ ч„сло, „е превышающее - в. Т°гда внугТ„ круга В(о,«), „о в„е тельных кругов с общей суммой радиусов, не превышающей 4Я], выполняется неравенство
1п| / (2)| > — 2 + 1п
Зе 2]
1п М (/ ,2еЯ).
Это теорема 11 из [4, Глава I, §8].
Поскольку Е Е Е* , то для любого числа £ > О существует Г£ такое, что при Г > Г£ выполняется неравенство:
1п|Е(2) < г£.
Из этого неравенства и теоремы С, примененной к функции Е(£) и кругу В^'Зва* |), сле-
дует, что существуют номер N£ и число Я1 Е выполняться неравенство
1п
—а*,\а\
2 * *
такие, что для всех ф и * > N£ будет
1
Е (а* + Яе—
< г!
Выбирая в равенстве (17) Я = Я1, получим доказательство импликации (13) ^ (12). Тем самым импликация 3) ^ 2) доказана.
Обозначим
Доказательство импликации 2) ^ 1)
1 ь
г \
Р* ( 2 ) = Т7
Е'(а*) 2 — а
2
* V а*
* Е N,
(18)
1
где }„=1 - последовательность натуральных чисел, которую мы выберем ниже. Заметим, что формальный ряд
7
Р ( 2) = Е ( 2) I Р„ ( 2) (19)
„=1
решает интерполяционную задачу (4).
Покажем, что при подходящем выборе последовательности {¿„ функция Р е Е0 . Из
условий (з) и (8) получаем, что существует последовательность {£„ }, £„ ^ 0 при „ ^ 7 такая, что при всех „ е N,
Ь„
■■■"■ (20)
< ехр( г„£„).
т-*г/ \ Г\ п У
Е(а„)
Кроме того, в силу условия (7), можно считать, что сходится ряд
I ехр(-г„£„).
п=1
Обозначим и„ (2) =
Г Л 2
2 - а
„ ч а„
„ е N, и оценим при 2 £ С (а„ ,1) :
| 7 | ¿„
V, (2)| < Чг • „ е Ы.
Г
п
Отсюда, с учетом определения (18) функции Р, (2) и (20), получим
Р„ (2) <
Ь,
Е '(а,)
и
х2)| < ехр(г„£„)
2
( 212|Л
г
ч „ У
ехр(г„£„)
2Х„
(21)
(22)
при 2 £ С (а, ,1)
Положим = \Гп п ] + 1, П е N где [•] - целая часть числа. Тогда из (22) получаем
|Р„ (2)| < ехр(-г„£„)
✓ . х 2 г „
/ 2\ Л2 г„
е 2
г
ч „ У
(23)
Пусть N = Ы(г) - наименьшее целое число, обладающее свойством а > е Г, если
п > N, N0 - фиксированное число такое, что |а Функцию Р(2) представим в виде суммы:
N0
> 1 .
N0-1
N -1
Р(2) = Е(2) IР„ (2) +Е(2) IР (2) +Е(2) IР„ (2) = Р (2) + Р (2) + ^ (2).
п=1 „=N0 п=N
Рассмотрим слагаемое Р3 (2). Из условия (21) и неравенства (23) следует, что
2Р, (2) <С , где С - некоторая постоянная.
„=N
,
1
„
„
е
,
г
,
Рассмотрим F2 (z) Так как |an | > 1 при n > N0 , то в силу неравенства (23) будет справедлива оценка
\Pn (z) < exp(-rSn )(er)4S.
Учитывая полученную оценку, получим, что для любого S > 0 при Г > R(s) имеет место F2( z )| < Г S .
Поскольку в представлении F1 ( z ) сумма содержит конечное число слагаемых, то из полученных оценок следует, что F ( z ) е E0.
Теорема полностью доказана.
В заключение покажем, что если последовательность A , a > 0, является интерполяционной в классе E0 , то и последовательность A0 = A ^ |0}также является интерполяционной в этом классе. Действительно, рассмотрим интерполяционную задачу (4) для последовательности A0. Пусть f е E0 - решение интерполяционной задачи (4) для последовательности A . Тогда функция
fi(z) = f (z) + E^ [ - f (0)]
ea (0)
принадлежит классу E0 и является решением поставленной интерполяционной задачи. Тем самым, ограничение a1 Ф 0 не является существенным.
Замечание. Пространства целых функций [p(r), j] уточненного порядка р(г), типа меньше или равного J и пространства целых функций [p(r), j] уточненного порядка p(r), типа меньше J рассматривались в работах [6], [7], [8]. Интерполяционная задача в классе аналитических функций нулевого порядка в полуплоскости рассматривалась в работе [9], в работах [10], [11], [12] рассматривалась интерполяционная задача в различных классах аналитических функций ненулевого порядка в полуплоскости.
Список литературы References
1. Леонтьев А.Ф. 1948. Об интерполировании в классе целых функций конечного порядка. ДАН СССР, № 5: 785-787.
Leont'ev A.F. 1948. On interpolation in the class of entire functions of finite order. Dokl. Akad. Nauk SSSR, № 5: 785-787 (in Russian).
2. Малютин К.Г. 1980. Интерполяция голоморфными функциями. Дис. ... канд. физ.-мат. наук. Харьков, 104 с.
Malyutin AG 1980. Interpolation by polymorphic functions. Dis. ... Cand. Sci. Sciences. Kharkov, 104 p. (in Russian).
3. Малютин К.Г., Боженко О.А. 2013. Задача кратной интерполяции в классе целых функций нулевого порядка. Зборник трудов Ин-та математики НАН Украины, № 10 (4-5): 412-423.
Malyutin K.G., Bozhenko OA. 2013. The problem of multiple interpolation in the class of entire functions of order zero. Collection of works of the Institute of Mathematics of the NAS of Ukraine, № 10 (4-5): 412-423 (in Russian).
4. Левин Б. Я. 1956. Распределение корней целых функций. М., ГИТТЛ: 632. (Levin B.Ya. 1980. Distribution of Zeros of Entire Functions. English revised edition Amer. Math. Soc. Providence, RI: 523)
Levin B.Ya. 1980. Distribution of Zeros of Entire Functions. English revised edition Amer. Math. Soc. Providence, RI: 523.
5. Себаштьян-и-Силва Жозе. 1957. О некоторых классах локально выпуклых пространств, важных в приложениях. Математика, № 1 (1): 60-77.
Sebastiao e Silva J. 1957. Certain classes of locally convex spaces, which are important in applications. Mathematics, № 1 (1): 60-77 (in Russian).
6. Malyutin K.G., Malyutina T.I. 2015. Linear Functionals in Some Spaces of Entire Functions of Finite Order. Istanbul University Science Faculty the Journal of Mathematics, Physics and Astronomy, № 6: 1-6.
7. Malyutin K.G., Studenikina L.I. 2016. Linear functionals in space of entire functions of finite order and less of the given type. Matematychni Studii, № 46 (2): 45-50.
8. Малютин К.Г., Студеникина Л.И., Ковалев В.Г. 2016. Линейный функционал в пространстве целых функций [р(г), ст). Известия ЮЗГУ. Серия: Техника и технология, № 2 (19): 128-130.
Malyutin K.G., Studenikina L.I., Kovalev V.G. 2016. Linear junctionals in space of entire functions [р(г), ст). Southwest State University. Izvestiya: Engineering and technology, № 2 (19): 128-130 (in Russian).
9. Боженко О.А., Малютин К.Г. 2014. Задача кратной интерполяции в классе аналитических функций нулевого порядка в полуплоскости. Уфимск. матем. журн., № 6 (1): 18-29.
Bozhenko O.A., Malyutin K.G. Problem of multiple interpolation in class of analytical functions of order zero in half-plane. Ufa Mathematical Journal, № 6 (1): 18-28. (in Russian) .
10. Малютин К.Г. 1993. Задача кратной интерполяции в полуплоскости в классе аналитических функций конечного порядка и нормального типа. Матем. сб., № 184 (2): 129-144.
Malyutin K.G. 1994. The problem of multiple interpolation in the half-plane in the class of analytic functions of finite order and normal type. Sbornik: Mathematics, № 78 (1): 253-266. (in Russian)
11. Малютин К.Г. 1995. О множествах регулярного роста функций в полуплоскости. I. Изв. РАН. Сер. матем., № 59 (4): 125-154.
Malyutin K.G. 1995. Sets of regular growth of functions in a half-plane, I. Russian Academy of Sciences. Izvestiya Mathematics, № 59 (4): 785-814. (in Russian)
12. Малютин К.Г. 1995. О множествах регулярного роста функций в полуплоскости. II. Изв. РАН. Сер. матем., № 59 (5): 103 -126.
Malyutin K.G. 1995. Sets of regular growth of functions in a half-plane. II. Russian Academy of Sciences. Izvestiya Mathematics, № 59 (4): 983-1006. (in Russian).