Факторизация целых симметричных функций экспоненциального типа Текст научной статьи по специальности «Математика»

УДК 517.5

ФАКТОРИЗАЦИЯ ЦЕЛЫХ СИММЕТРИЧНЫХ ФУНКЦИЙ ЭКСПОНЕНЦИАЛЬНОГО ТИПА

А. Б. Шишкин

Шишкин Андрей Борисович, доктор физико-математических наук, профессор кафедры математики, информатики и МП, Филиал Кубанского государственного университета, Славянск-на-Кубани, Shishkin-home@mail.ru

Пусть п — целая функция минимального типа при порядке 1. Целая функция ^ называется п-симметричной, если она представляется в виде композиции / о п, где / — целая функция. В статье рассматривается следующий вопрос: можно ли всякую целую п-симметричную функцию экспоненциального типа представить в виде произведения двух близких по росту функций, каждая из которых сама является целой п-симметричной функцией? На этот вопрос получен утвердительный ответ, но при условии подчинения функции п некоторым ограничениям. Этим ограничениям подчинена, например, целая функция вполне регулярного роста при уточненном порядке р(г) « р е (0; 1) с постоянным положительным индикатором. Другие примеры связаны с обратимостью целой функции в кругах постоянного радиуса, центры которых лежат вне некоторого исключительного множества.

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

DOI: 10.18500/1816-9791 -2016-16-1 -42-68

ВВЕДЕНИЕ

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

В качестве первого примера уместно рассмотреть известную проблему Шевалле - Эренпрайса о факторизации по свертке финитных гладких функций [1]. Двойственная к ней задача совпадает с проблемой факторизации некоторого класса целых функций экспоненциального типа. Первые исследования этой задачи провел Д. Г. Диксон (Э. й. оюбоп). В работе [2] он, например, рассмотрел класс всех целых функций / экспоненциального типа, удовлетворяющих условиям:

1) для любого натурального N имеет место оценка

1п |/(х)| ^ —N 1п |х| + См, х е И,;

2) нули функции / лежат в некоторой полосе, параллельной вещественной оси;

3) если п(г) — считающая функция нулей функции /, а А — плотность нулей функции /, то

п(г) = Аг + 0( 1), г ^ го;

и показал, что этот класс факторизуем по отношению: / ~ д тогда и только тогда, когда функции / и д имеют одинаковые плотности нулей. Окончательное решение проблемы Шевалле - Эренпрайса получено Р. С. Юлмухаметовым. В статье [3] он показал, что класс всех целых функций / экспоненциального типа, удовлетворяющих условию 1) и условию

1п |/(А)| ^ af 11т А| + Mf, А е С, факторизуем по отношению: / ~ д тогда и только тогда, когда функции / и д имеют одинаковый тип.

Другой пример связан с задачей спектрального синтеза для линейного дифференциального оператора:

/ ^ п(Я)/ :=£ акБк/, ак £ С.

к=0

Для нас этот пример является основным и поэтому рассмотрим его подробнее. Пусть О — выпуклая область в С; Н(О) — пространство аналитических в области О функций с топологией равномерной сходимости на компактах. Считаем, что сужение оператора п(Р) на пространство Н(О) является непрерывным эндоморфизмом этого пространства. Для этого достаточно, а если область О ограничена, то и необходимо, предположить, что функция

те

п (*0 := ак

к=0

является целой функцией минимального типа при порядке 1. Задача спектрального синтеза (в комплексной области) состоит в нахождении условий, при которых замкнутые п(Р)-инвариантные подпространства Ш С Н(О) восстанавливаются по запасам содержащихся в них корневых элементов оператора п(Р) с помощью замыкания их линейной оболочки. Традиционный путь решения этой задачи связан с переходом к двойственной задаче. Полное исследование по этому вопросу проведено в [4]. В этой работе исследование замкнутого п(Р)-инвариантного подпространства Ш С Н(О) на допустимость спектрального синтеза сведено к вопросу обильности его аннуляторного подмодуля I := Ьа(Ш0) С Р(О). Здесь Р(О) — интерпретация сильного сопряженного Н* (О) к пространству Н(О) в терминах преобразования Лапласа Ьа, наделенная структурой топологического модуля над кольцом многочленов С[п(г)] от п(г). В работе [5] свойство обильности замкнутого подмодуля I С Р(О) расщепляется на три отдельных свойства: интенсивность, устойчивость, насыщенность. Общее исследование этих свойств проведено в работе [6]. Целая функция называется целой п-симметричной, если она представляется в виде композиции / о п, где / — целая функция. Пусть Рп [1; — класс всех целых п-симметричных функций экспоненциального типа, 5 £ Н* (О), ^ := Ьа (5) £ Р(О). Замкнутое п(Р)-инвариантное подпространство

Шз := {/ £ Н(О) : (5, п(£)к/) =0, к = 0,1,...} С Н(О)

называется полиномиальным ядром (точнее, С[п(Р)]-ядром) функционала 5. Иногда полиномиальные ядра линейных непрерывных функционалов называют главными п(Р)-инвариантными подпространствами в Н(О). Полиномиальное ядро функционала 5 допускает спектральный синтез тогда и только тогда, когда выполняется следующая импликация: если ф £ Р(О) и ^ £ Рп[1;+го), то существует такая последовательность многочленов рк, что последовательность (рко п) ^ сходится к ф в топологии пространства Р(О). В работе [7] И. Ф. Красичков-Терновский доказал выполнимость этой импликации для любого функционала 5 £ Н*(О) в случае п(г) = г. Отсюда вытекает следующая аппроксимационная теорема: в случае п(г) = г полиномиальные ядра линейных непрерывных функционалов допускают спектральный синтез. Доказательству этой теоремы предшествовало доказательство факторизуемости класса Р[1;+го) всех целых функций экспоненциального типа по естественному отношению эквивалентности Я (|г|): / ~ д тогда и только тогда, когда

|1п |/ (г)| - 1п |д (г)|| = о (|г|), г ^ г £ ,

где — некоторое множество «нулевой плотности» в окрестности бесконечности. В работе [8] В. С. Азарин обобщил этот факт и показал, что класс всех целых функций конечного порядка р £ (0;факторизуем по отношению Я(|г|р). Отсюда следует, что класс Р[р;всех целых функций конечного порядка и конечного типа тоже факторизуем по отношению Я(|г|р). Опираясь на этот результат, И. Ф. Красичков-Терновский в работе [9] показал, что класс целых п-симметричных функций Рп[1;+го) факторизуем по отношению Я(|г|) в случае п(г) — многочлен. Это позволило ему доказать такую аппроксимационную теорему: в случае п(г) — многочлен, полиномиальные ядра

линейных непрерывных функционалов допускают спектральный синтез. Замечательным является то, что позднее в диссертации [10] Б. Н. Хабибуллин существенно уточнил факторизационную теорему В. С. Азарина. Оказалось, например, что класс Р[р; +го) факторизуем по отношению R 2 для любого положительного е. Отметим, что результаты В. С. Азарина и Б. Н. Хабибуллина по факторизации целых функций получены ими в связи с общими исследованиями по проблеме влияния близости распределений масс субгармонических функций на сходство их асимптотического поведения.

Расщепление целой п-симметричной функции f оп G Рп [1; +го) на эквивалентные п-симметричные множители связано с расщеплением целой функции f на эквивалентные множители. Если функция п отлична от многочлена, то функция f имеет нулевой порядок. Это означает, что продолжение исследований по спектральному синтезу предполагает решение задач факторизации целых функций нулевого порядка. Заметим, что все отмеченные выше факторизационные задачи к таковым не относятся, так как в каждой из них предполагается, что р G (0;+го). Приходится возвращаться к истокам.

Доказательство факторизационной теоремы из [7] существенно опиралось на результаты работы [11]. Статья [11] посвящена сравнению роста целых функций конечного порядка по параметрам близости их нулей. Оказалось, что техника сравнения целых функций, основанная на классических теоремах Бореля и Адамара и отточенная в работах [7] и [11], допускает экстраполяцию в область нулевого порядка и логарифмических весов (см. п. 1.1, определение 2). Первые результаты по факторизации целых функций нулевого порядка получены в работах [12] и [13]. Пусть p(r) ~ lnp r — логарифмический вес порядка р G (1;+го). В статье [13] показано, что класс Р[р(г);+го) всех целых функций f, для которых выполняется условие

-— ln Mf (r)

lim --т^- < +го,

r^+ro p(r)

факторизуем по отношению эквивалентности R(р (|z|)). Однако прямое применение этого результата к расщеплению целых п-симметричных функций наталкивается на трудности, которые связаны с проверкой совпадения на классе Рп [1;+го) всех целых п-симметричных функций экспоненциального типа естественного отношения эквивалентности R (|z|) с отношением: f о п ~ g о п тогда и только тогда, когда f ~ g по отношению R (р (|z|)).

В настоящей работе показано, что при наложении на целую функцию п сильного ограничения (см. п. 2.1, определение 5) класс Рп[1;+го) факторизуем по отношению R(|z|). Этому ограничению подчинена, например, всякая целая функция вполне регулярного роста при уточненном порядке рп(r) ^ рп G (0; 1) с постоянным положительным индикатором. Другие примеры приведены в конце статьи. Этот результат можно трансформировать в результаты по спектральному синтезу по схеме из [14], но это требует отдельного разговора.

1. СРАВНЕНИЕ СИММЕТРИЧНЫХ ПРОИЗВЕДЕНИЙ ПРИ СЛАБОМ ОГРАНИЧЕНИИ 1.1. Первичные определения и их следствия

Определение 1. Неотрицательную функцию m(r), определенную в окрестности +го, называем уточненным весом порядка р G [0, +го), если она возрастает, дифференцируема и

m(r) m' (r)r

---► го, —----► р, r ^ +ГО.

ln r m(r)

Если m(r) — уточненный вес порядка р, то функция р(г) := ln m(r) является уточненным по-

ln r

рядком, т.е. р(г) ^ р и гр'(r)lnr ^ 0 при r ^ +го. Легко проверить, что при р > 0 будет верно и обратное утверждение: для всякого уточненного порядка р(г) ^ р функция m(r) := rp(r) является уточненным весом порядка р.

При р > 0 обратная функция n(t) к функции m(r) является уточненным весом порядка 1/р. Действительно, t := m(r) ^ +го при r ^ +го. По известному правилу

ln n(t) ln r , m(r) 1 lim —— = lim --— = lim —= - G (0, +го).

r^+ro lnt r^+ro ln m(r) r^+ro m'(r)r р

Значит, r = n(t) ^ +го при t ^ +го и

n(t) ln r r n' (t)t m(r) 1

T^2 = Й-TT ^--^ ГО, —= —^--► -, t ^ +го.

lnt lnm(r) lnr n(t) m'(r)r p

По свойствам уточненного порядка для всякого уточненного веса m(r) функция m(r)r-P = rP(r)-P является медленно растущей, значит, равномерно по q из любого отрезка [а; b] С (0; +го)

lim m(qr)((qr)-P =1, lim mM = qP. (1)

r^+те m(r)r P r^+те m(r)

Определение 2. Уточненный вес m(r) нулевого порядка будем называть логарифмическим весом порядка p, если выполняется условие

m' (r)r ln r ln m(r)

lim / \ = lim 1 Г = PG (1; (2)

r^+те m(r) r^+те ln ln r

Условие (2) означает, что функция m(er) является уточненным весом порядка р. Значит, равномерно по q из любого отрезка [а; b] С (0; +го)

m(eqr) m(rq) P

lim —г—- = lim —= qP.

r^+те m(er) r^+те m(r)

Кроме того, из условия (2) вытекает, что m(r) ~ lnP r по отношению R (lnln r), т.е.

lnm(r) — lnlnP r = o (lnlnr), r ^ +го.

Добавим еще, что для любого е > 0 при достаточно больших r выполняются неравенства lnP-e r ^ ^ m(r) ^ lnP+e r. Значит, для любого е > 0 имеем:

m(r) m(r) m(r)

lim -= го, lim —= lim —— = 0.

r^ + те lnP £ r r^ + те lnP+S r r^+те re

Определение 3. Говорим, что радиальная плотность множества комплексных чисел E меньше е G (0;+го), если это множество можно покрыть совокупностью колец

£:= {{z : ||z| — tn| ^ rn} : n G N} ,

где последовательность неотрицательных чисел {tn} имеет единственную предельную точку в бесконечности и

m^ := lim m^(r) = е' < е, где m^(r) := - rn.

r^+те r —'

tn <r

Если радиальная плотность множества E меньше любого положительного числа, то говорим, что множество E имеет нулевую радиальную плотность.

Если линейная плотность множества кружков меньше е (равна нулю), то и радиальная плотность этого множества меньше е (равна нулю). Обратное не выполняется. Это означает, что радиальная плотность множества E — более грубая оценка его плотности, чем линейная плотность множества кружков, покрывающего E, и, значит, ограничение на радиальную плотность множества является более слабым. Следует добавить еще, что оценка радиальной плотности множеств оказывается незаменимой при оценке плотности прообразов исключительных множеств.

Заметим, что для всякого множества E, радиальная плотность которого меньше е G (0; 1/2), существуют окружности |z| = Rk, которые не пересекаются с E и для которых имеют место соотношения

( е' V2

Rk < Rk+i < (1--I Rk ^ го, k ^ го. (3)

Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2016. Т. 16, вып. 1 Действительно, пусть множество Е покрывается множеством колец £ и =: е' < е. Тогда

Гу» ГУ» о-

' п ' п с-

< е,

Ьп Ьп тп 1 е

при п > п0. Если кольцо ||г| — £п| * гп пересекается с кругом | * г и п > п0, то Ьп — гп * г, значит, гп < еЬп < е(г + гп) или гп < г. Отсюда следует, что при г ^ шах{^ + г15...,£п0 + гп0} кольца ||г| — £п| * гп, пересекающиеся с кругом | * г, лежат в круге | * ^^г. Пусть Т1 > 0, Тк+1 := дкТ*, где

1

^ := --Т7т! > 1

1 — дш(Т*)

д := ^ е ( 1;1-- ) , ш(г) := шах —^— шЕ ( —П.

2е \ е / г^г 1 — е \1 — е у

Толщина кольца Тк * | * Тк+1 равна

(дк — 1) Тк = дш(Тк)Тк+1 ^ дш(Тк+1)Тк+1. При этом совокупная толщина колец ||г| — £п| * гп, пересекающихся с кругом | * Тк+1, меньше

д -Тк+1ш^—Тк+Л * дТк+1 ш(Т*+1).

1 — е 1 — е

Поэтому существует окружность | = , Тк * * Тк+1, которая не пересекается с множеством Е, и при достаточно большом к имеем ш(Тк) * 2 (1 — е) е', значит,

. Тк+1 .Л е'х 2

* =® «+1 * I1 — 7

1.2. Слабое ограничение

Пусть п(г) — целая функция. Для любого множества Е С С символом Е обозначаем множество {с : п-1 (С) \ Е = 0}.

Определение 4. Говорим, что целая функция п и логарифмический вес р(г) порядка р, подчинены слабому ограничению, если для любого е е (0; 1) существует множество Ее, радиальная плотность которого меньше е, и такая константа ке ^ 1, что для любого £ е Ее и любого г е п-1 (^) \ Ее

и такая константа к. 1, что для любого ц е е£ и любого г е П 1

выполняются оценки

к-1 * * к.. (4)

N

Из (4) следует, что для фиксированного е е (0; 1) при г ^ го, г е Ее, 1п |п(г)| = 1п |п(г)| Р(|п(г)|) * 1п |п(г)| 0

N Р(|п(г)|) N ^ Р(|п(г)|) е '

Значит, существуют окружности |г| = , удовлетворяющие условию (3), на которых выполняется оценка 1п |п(г)| * ак |г|, где ак ^ 0 при к ^ го. Если г принадлежит кольцу * | * , то

1п |п(г)| * 1пМп(Дк+1) * а*^к+1 * а* — N .

Следовательно, целая функция п(г) имеет минимальный тип при порядке 1. Полный образ целой функции минимального типа совпадает со всей комплексной плоскостью. Значит, из (4) следует, что для любого е е (0; 1) справедливы соотношения

Е. С п (С \ Е.) С п (Е.) = п (С) = С, С \ Е. С п-1 (Е.) .

Убедимся, что условия слабого ограничения на выбор функции ) выполнены, если, например, — целая функция вполне регулярного роста при некотором уточненном порядке рп(г) ^ рп £ (0; 1) с положительным индикатором (0). Действительно, функция (г) := гРп(г) является уточненным весом порядка рп. Обратная к ней функция (Ь) является уточненным весом порядка р-1. Положим д(г) := (1пг). Справедливы следующие предельные соотношения:

lim

Д(г)

= lim

t

lim

д' (r)r

r —д(г) r—+ vn (ln r) ln r ' r —д(г) pn

Из этих соотношений вытекает, что функция д(г) является логарифмическим весом порядка р-1. С другой стороны, в силу непрерывности индикатора (в) найдется такая константа ^ 1, что для всех в выполняются неравенства к-Pn < (0) < . Значит, вне некоторого множества En

нулевой радиальной плотности имеет место асимптотическое равенство ln |n(z)| ~ (в)дп(|z|) и

i

асимптотическое равенство д (|n(z)|) ~ h(e) |z|, где в := argz, h(e) := (в). Осталось для любого е G (0; 2) положить ке := , в качестве множества Ee выбрать множество En, дополненное кругом достаточно большого радиуса, и заключить, что вне этого множества выполняются оценки (4).

1.3. Сравнение симметричных произведений

Выберем положительное число d < 1/2 и две произвольные последовательности Л := {Л^} и Л' := {Л<} комплексных чисел с единственной предельной точкой в бесконечности. Считаем, что

r—ln r t —дп (t) (ln r) ln r 1

= 0,

= го,

lim

r —

д' (r)r ln r

min min {|Лг| , |Л'|} ^ 1

¿€N

(5)

и последовательность Л' является d-блuзкой к последовательности Л, т. е. для любого натурального % выполняется неравенство |А£ — А^| ^ d|АiПредположим еще, что последовательность Л удовлетворяет условию: при некотором с £ (0; выполняется неравенство

1 Гг п (Ь; Л)

lim

-dt < c,

(6)

г^+га д(г) ,/0 Ь

где п (Ь;Л) — число элементов последовательности Л в круге (£' : |С' — СI ^ Ь}. Из неравенства (6) следует, что для всех достаточно больших г выполняется неравенство

n(r; Л) < сд(г).

(7)

Легко проверить, что последовательность Л является ^^-близкой к последовательности Л'. Отсюда вытекает, что для всех г > 0 выполняется неравенство п(г;Л') ^ п ^1— . Используя это неравенство и соотношение (1), нетрудно показать, что для последовательности Л' выполняется неравенство

lim

1

n (t; Л')

dt < c,

г^+га д(г) Уо Ь значит, для всех достаточно больших г выполняется неравенство

п(г; Л') < сд(г).

(8)

(9)

Для любого положительного а символами Дст(() и Д(£, а) обозначаем замкнутый круг (С : 1С — СI ^ а |} и открытый круг (£' : |С — СI < а} соответственно. Символом О(х) обозначаем произведение абсолютной положительной константы на х > 0. Составим по последовательностям Л и Л' произведения:

С«;Л) := п 0 — А") • С«;А):= п (1 — £) •

4 ' (С) 4 г/

С(С;Л'):= П (1 — Ат) , С(С;Л'|Л):= П (1 — А

^ а4/Дст (СЛ А

1

r

Предложение 1. Составленные произведения сходятся на всей комплексной плоскости и существует такое V > 0, что вне круга |£| * V выполняются оценки:

1п |С(С;Л)| * О (с) р (|С|), 1п ^(С;Л)| * О (с) р (|С|), 1п |С(С; Л')| * О (с) р (|С|), 1п (С; Л'|Л)| * О (с) р (|С|).

Доказательство. Функция р(г) является уточненным весом нулевого порядка, значит, 1п р(Ь) 1п п(Ь;Л)

—;--> 0 при Ь ^ +го. Из (7) вытекает, что —---> 0 при Ь ^ +го. Следовательно, показа-

1п Ь 1п Ь

тель сходимости последовательности Л равен нулю. Это означает, что произведение ;Л) сходится

на всей комплексной плоскости и представляет там целую функцию нулевого порядка. Убедимся в

справедливости указанной для произведения ;Л) оценки.

Для любого комплексного £ справедливо неравенство

1п |С(С; Л)| 1п^1+ ^ = /^1 + ^ ¿п(Ь;Л).

Представим последний интеграл в виде суммы двух интегралов I (0; |£|)+1 (|£|; +го) и оценим каждый из них. Во-первых,

ICI

I (0; |Z|) := /" 1n ( 1 + ^ dn(t ; Л) = n(t ; Л) 1n ( 1 + ^

ICI + ГICI |Z|n(t; Л)

о + Л (t + izI)t

Из неравенств (6) и (7) вытекает, что при достаточно больших |Z| выполняются неравенства

ICI

I (0; |Z |) < cp (|Z |)1n2+ / ^^dt < c (1 + 1n2) p (|Z|).

(10)

Во-вторых, оценим интеграл

с

I (|Z| ; +») := У 1n (l + dn(t; Л) = n(t ; Л) 1n + M)

ICI

+ / °'(/;Л)dt.

ICI ./ (t + IZ |)t

IZI ICI

Для этого оценим сначала интеграл

J (|Z| ;+го):= [ ,IZ 1 p ff dt = p(t)1n t

ICI

(t + IZI) t

t + IZ I

IZ I

+ J p' (t)1n + ^pj dt.

ICI

Замечаем, что при t ^ |Z| выполняются неравенства

Л + Kl ^ < t+JZ! JZ! = 1 + JZ!

V t J < IZI t t

^ 1n(1.

IZ l V t

< 2,

значит,

J p' (t)1n^1 + Ш) dt =

ICI

f p' (t) 11 + IZ h Л , IZ h IZ I p (t) nwn^i a. Ï /=

J -JW—141 + T) (ГТШdt =o(1)J(IZ 1 ;+œ), Z

ICI

Учитывая, что

p(t) 1n

t + IZ I

= p(t)1M 1 + y) < IZI- 0, t -

t

получаем:

Значит,

J (|Z|;+«>) = МК|) ln 2 + o(1)J (|Z|;+«>), Z ^

ln 2

J (IZ | = m(IZ |), Z

- 0(1)'

Наконец, в силу (7) для всех достаточно больших | выполняется неравенство

I (1СI ;+«>)=/" ^ ^ ^ (1С|;+»).

(11)

1С |

(t + IZ |)t

Используя (11), получаем

c ln 2

I (IZ|; +«>) ^ cJ (IZ|; +«>) ^ MIZI), Z ^

Отсюда следует, что для достаточно больших |Z| выполняется неравенство

I (IZ| ;+») ^ 2cM(|Z|) ln 2. (12)

Из (10) и (12) вытекает, что при достаточно больших |Z| выполняются неравенства

ln |G(Z; Л)| ^ I (0; IZ|) +1 (|ZI^ O(c)M(|ZI)-

Аналогично доказывается справедливость трёх других соотношений. При доказательстве двух последних соотношений ссылки на неравенства (6) и (7) заменяем ссылками на неравенства (8) и (9). Предложение доказано. □

Из неравенств (7), (9) и определения логарифмического веса вытекает, что существует положительное число l'', удовлетворяющее условию: для любого r > l'' выполняются неравенства

max {n(3r; Л), n(3r; Л')} < сд(3г) < 2сд(г), д'(r)r < |д(г).

Из оценок (4), в свою очередь, вытекает, что для любого е £ (0; 1) существует положительное число le, удовлетворяющее условию: если |z| > le и z £ Ee, то |n(z)| > max{l',l''}. Далее будем считать, что для любого е £ (0; 1) множество Ee включает круг {z : |z| ^ le}.

Предложение 2. Если d' :=

d

оценки:

1- d

< a ^ 1, то для любого е £ (0; |) при z £ Ee выполняются

|ln |G (п (z); Л'| Л) | - ln |G (п (z); Л)|| ^ O |ln |Gi(п (z); Л)|| ^ O (ске) |z|.

ске d a — d'

|z|,

(13)

(14)

Доказательство. Выберем произвольное е £ (0; 1). Для любого комплексного Z выполняется неравенство

|ln |G(Z;Л'|Л)| — ln|G(Z;Л)|| ^ O

ad

a d'

J (Z),

(15)

где

J (Z )= E

|Ai |<2|Z|,

Ai£ACT(Z)

Z Ai

1 Z

+

E

|Ai l>2|Z|,

Ai/ ACT (Z)

Z Ai

1 Z Ai

= :Ei(Z ) + E2(Z)

[11, теорема 1]. Пусть £ := п(г). Оценим суммы Ех(£) и Е2(£). Так как Л^ </ Аа(£), то

>

1 -

>

ст. Поэтому при г ^ £е

1

Ех(С) ^ - п(2|СЛ) ^ -р (|С|) ^ — |г|.

ст ст ст

В то же время для членов ряда Е2(£), справедлива оценка

(16)

с С

Аг Аг

<

откуда следует, что

Е2(С) ^ 2|С|

2|С|

1 - £

¿п(Ь; Л)

1

< 2

! Аг |

= 2|С |

п(Ь;Л)

+ /

2|С! 2|С|

п(Ь;Л)

¿Ь .

При этом

п(Ь;Л) р(Ь)

■ ^ е— ^ 0, Ь ^

г г

Значит, при г ^ £е справедлива оценка

Е2(С) ^ 2|С| ^^¿Ь ^ 4|С|е #¿г =: 4|С|еЗ(С),

где

J(С) :=

2|С|

р(Ь) ¿Ь = _ рЬ)

Ь2 Ь

2|С|

Ь2

2|С|

Ь2

Р'(Ь)Ьр(ЬК^ р(2|С|) , 1 Р(Ь)Л Р(2|СI) , 1

+

2| С! ^2|С! р(Ь) ь2

^ ^ 2|сГ +^2|С! Ь2

¿Ь =

2|С I 2

+ о з (С).

Следовательно, при г ^ £е справедливы оценки

Е2(С) ^ 4|С|ер(2]р ^ 8ер(|С|) ^ 8еке |г| .

(17)

Из (15), (16) и (17) следует, что оценка (13) справедлива.

Осталось доказать справедливость оценки (14). Легко заметить, что для любого комплексного £ выполняются неравенства

1п ^ (С; Л)| = - £ 1п

А;£АСТ (С)

1

С

Е 1п

Аг/Аст (О

1

1 - £

<

^ Е !п (1 +

Аг/Аст (О

С Аг

1 С

^ 3(С) =:Ех(С) + Е2(С).

Положим ст = 1. Из оценок (16) и (17) следует, что при г ^ £е выполняется неравенство

- 1п |£х (п (г) ;Л)| ^ (2еке + 8еке) |г| . С другой стороны, в силу предложения 1 при г ^ £е справедливы оценки

1п |Сх(п (г); Л)| ^ 0(е)р(|п (г) |) ^ 0(еке)|г|. Это означает, что при г ^ £е выполняется оценка (14). Предложение доказано.

□

с

Л

ъ

ъ

Л

2. СРАВНЕНИЕ СИММЕТРИЧНЫХ ПРОИЗВЕДЕНИЙ ПРИ СИЛЬНОМ ОГРАНИЧЕНИИ 2.1. Сильное ограничение

Определение 5. Говорим, что целая функция п и логарифмический вес д(г) порядка р подчинены сильному ограничению, если для любого е £ (0; 1) существует множество £е, радиальная плотность которого меньше е, и такие константы ке £ [1; +го) и Л,е £ (0; |), что для любого Z £ Е выполняются условия: для любого г £ п-1 (£) \£е выполняются оценки (4); для любого Z' £ А (Z; ) П £е найдется г' £ п-1 (Z') \ £е, для которого выполняются оценки

к-1 ^ к- ^ , " ^ к+ ^ ке, (18)

е ^ С ^ |z' | С ^ е' V ;

где к+ — к- ^ 0 при Z ^ го, Z £ ¿е.

Фиксируя конкретную точку z' в слое z' £ п-1 (Z') \ Ее, для которой выполняются оценки (18), мы определяем некоторое взаимно однозначное отображение A (Z; he) П Ее ^ C \ Ее. Понятно, что это отображение является однозначной ветвью многозначного отображения п-1 (Z'). Обозначим еe символом п-1 (Z').

Условия сильного ограничения выполнены, если, например, n(z) — целая функция вполне регулярного роста при некотором уточненном порядке рп (r) ^ рп £ (0; 1) с постоянным положительным

__

индикатором hn, а функция д(г) совпадает с произведением hn Рп (ln r), где (t) — обратная к функции (r) := rPn(r). Действительно, функция д(г) является логарифмическим весом порядка 1/рп. При этом вне некоторого открытого множества нулевой радиальной плотности имеет место асимптотическое равенство ln|n(z)| ^ hn(|z|) и асимптотическое равенство д (|n(z)|) ^ |z|.

Значит, Д (|. ^ 1 при Z ^ го, Z £ ¿П и z £ п-1 (Z) \ .С другой стороны, для любого Z £ ¿П

| z|

множество п-1 (Z) \ конечно. Пусть Z £ ¿П и

■ Д(|z|) + Д(|z|)

К- (Z) := min , к+ (Z) := max .

z еп-1 (Z)\En |z| z e n-i(0\En |z|

Тогда при достаточно большом |Z| и любом z £ п-1 (Z) \ выполняются оценки

2-1 ^ к- (Z) ^ ^ к+ (Z) ^ 2.

При этом к- (Z) ^ 1 и к+ (Z') ^ 1 при Z ^ го, Z £ ¿е. Осталось для любого £ £ (0; 1/2) в качестве множества Ее выбрать множество , дополненное кругом достаточно большого радиуса с центром в начале, и положить ке := 2, he := £,

к- := inf „ к- (С'), := suP к+ (z') •

С GA(C;e)ni5£ ' z' GA(C;e)nE£

2.2. Подготовительные леммы

По-прежнему считаем, что последовательности Л и Л' удовлетворяют условиям (5), (6) и последовательность Л' является d-близкой к последовательности Л, d £ (0; 1/2]. В этом пункте докажем две леммы, касающиеся построения исключительных множеств малой радиальной плотности.

Лемма 1. Для любого £ £ (0; 1), любого a £ ^0; fj-h ) ^ (0; Ц) и любого положительного N существует такое множество £e,o-,N нулевой радиальной плотности, что при z £ Ее U £e,o-,N выполняется неравенство

(п (z)) := max (п (z), Л), (п (z), Л')} < кеN |z| ,

где na(Z, Г) — число точек последовательности Г в круге Aa(Z).

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

Л(0) := Л, Е(0) :={С : п.(С, Л(0)) ^ ^р(|С|)} , £0 — произвольный элемент К(0) с наименьшим модулем,

Л(х) := {Л* е Л(0) : Л* £ А.(С0)} , Е(х) := {С : п.(С, Л(х)) ^ ^р(|С|)} ,

£х — произвольный элемент Е(х) с наименьшим модулем,

Л(2) :={Л* е Л(х) : Л* е А.(Сх)} , Е(2) :={С : п.(С, Л(2)) ^ ^р(|С|)

и т. д. Если Е(к) = 0, то полагаем Л(к+х) = Л(к+2) = ... = Л(к). В результате этой процедуры построим конечную или бесконечную последовательность точек : к е К} и бесконечную цепочку последовательностей которые обладают следующими свойствами:

1) |С0| < |Сх | < •••, Л(0) Э Л(х) Э ...;

2) число точек с ограниченным модулем конечно;

3) если круг А.(£) не пересекается ни с каким кругом А.), то п.(С, Л) < ^р(|£|) [11, лемма 3]. Выберем произвольные е е (0; и ст е ^0; х3х—44;). Пусть 8 := х.. е (0; | - ке). Если £ е А^),

то А.(£) П А.) = 0. Отсюда следует, что для любой точки £, лежащей вне системы кругов А^) выполняется неравенство

п.(С,Л) < л>(|с|).

Для произвольных к, к' е К множество А(£к; 8(*к') П Ее покрывается конечной совокупностью кружков

:= А (Ск,к',г; ке) ,г е {1,з^'} , где См'е А(£к; 8£к') П Ее и для любых £' е П Ее выполняются оценки

к-х < кГ^ < < к+?; < ке, (19)

в которых г' := п-^(С) е п х (С') \ Ее и к+Г^ - к-^,* ^ 0 при ^ го, & е Ее. Нам потребуется верхняя оценка числа . Получим ее. Множество А(£к; 8(*к') П Ее содержится в квадрате со

стороной 8 |. Этот квадрат покрывается совокупностью квадратиков со стороной :, состоящей

2

282 |2 В б й

из --т.- элементов. Выберем из этой совокупности лишь те квадратики, которые пересекаются

к2

с множеством А(£к; 8^') П Ее. Каждый из этих квадратиков помещается в круг радиуса ке, центр которого лежит в множестве А(£к; 8^') П Ее. Значит,

ч < 282 |Ск' |2 < 2 |й' |2

к2 к2

Положим

Е^ := Ы У п-Ц',* (аМ'П Ее) , Е^:= е£)„.

кек *=х кек

Если г е Ее и Е^^, то г е Ее и Е^.^ при любом к е К. Значит, £ := п(г) е Ее и ( е п ^Е^.^^.

Отсюда вытекает, что точка £ не лежит в множестве А^) ПЕе при любом к. Следовательно, точка £ лежит вне системы кругов А^(кк). Из вышеизложенного следует, что при г е ЕеиЕ£ . ^ выполняются неравенства

п.(п(г), Л) < ^р(|п(г)|) < |г|.

Оценим радиальную плотность множества Е. а ^. Для этого оценим радиальную плотность множества Е.^ ^. Если г', г'' £ п- к' г (А , к', г П Е.^, то образы Z' := п (г') и Z'' := п (г'') лежат в множестве Ак , к', г П Е.. В силу оценок (19)

,,, ,„, * м (К'I) м (IZ''I) * м(IZkI (1 + 5 + л.)) м (КкI (1 - 5 - л.)) 5 г

| - |г I * —---+- * -----+- =: 5к ,к', ггк ,к', г,

Кк , к',г Кк , к',г

К

к к г

К+,к',г

где

При этом

В силу (1)

Гк,к',г :

м(!Ск I (1 - 5 - л.))

, К+к',г М^Ск I (1 + 5 + Л.))

5к,к',г := —---;-^тт - 1-

к,к ,г

к,к ,г

м(КкI (1 - 5 - Л.))

1 + 5 + Л. £ 1;

7

4 ) '

1 - 5 - Л. £ —; 1

5к,к',г ^ 0, Кк | ^ ГО.

Множество п- к' г ^Ак,к ',г П Е.^ лежит в кольце

{г : Гк,к',г * IгI * (1 + 5к,к',г) Гк,к',г} ,

т-,( к')

значит, множество Е. покрывается системой колец

£(к') := {{г : 11гI — гк,к',г| * 5к,к',гГк,к',г} : к £ К, г £ {1,..., вк,к'}}

Пусть

г :=

1 - 5 - Л.

(к. г)

Тогда г = К- 1 м (г (1 - 5 - Л.)). Если гк,к',г * г, то

г-л.Г) *г

При этом для достаточно больших г выполняются неравенства

М (г (1 - 5 - л.)) ^ м^г) ^ 2м (г)

Поэтому для любого е' > 0 при достаточно больших г получаем:

1

™Е(к') (г) = - 5к,к',ггк,к',г *

*

м(г (1 -5- „.)) 5: м^Р - 5- Ле)) Е < ^ + £ ^Кк»

* ' < | Ск

где г' выбрано из условия

г+" ' ■ Л2

5к,к',г < -' ,'г .2 N г £ {1, ..., вк,к' } , Кк | > г'.

16СК. Кк' I

Задача свелась к оценке суммы

Е ^м(Кк|) ^м(КкI).

¿'<1а |а |:

+

1

я

Учитывая, что в каждом круге Дст) содержится не менее |) точек из Л(к) и при этом разные

круги содержат только разные точки, делаем вывод, что для Ь > I'' выполняются неравенства

^ (|а|) ^ па(&, Л(к)) ^ п(Ь(1 + ст), Л) ^ п(2Ь, Л) ^ 2ер (Ь). |Ск К* 1а к*

Значит, для достаточно больших г выполняется неравенство ш^(к')(г) < г'. Из произвольности выбора г' > 0 вытекает, что множество е"^ ^ имеет нулевую радиальную плотность. Отсюда следует, что множество Е" а ^ тоже имеет нулевую радиальную плотность.

Далее повторим рассуждения, но уже по отношению к последовательности Л'. В результате будет построено множество Е"0 м нулевой радиальной плотности такое, что при г </ ЕеиЕ" а м выполняется неравенство

па(п (г), Л') < кеN |г| .

Осталось положить Ее , а, ^ = Е" , а, м и Е" а, м. Лемма доказана. □

Лемма 2. Для любого г е (0; 1/2) существует такое множество Е", радиальная плотность которого равна нулю, что при любом Ь е (0; 1] и г </ Ее и Е" выполняется оценка

п*(п (г)) := тах {п*(п (г); Л), п*(п (г) ; Л')} ^ О (еке) лД |г| .

Доказательство. Пусть г е (0; . Из включения Л,е е (0; вытекает, что 131—44/^£ е (9; Ц). Выберем произвольное ст0 е ^9; гт-от) и для любого натурального к положим стк := 2—2ксто, N := е2—к. По лемме 1 существует такое множество Ее , к, радиальная плотность которого равна нулю, что при г е Ее и Ее , к выполняется неравенство (п (г)) < кеN |г|. Если Ь е [стк; стк-1), то п*(п (г)) ^ пСТк-1 (п (г)). Значит, для всех Ь е [стк; стк-1) и г е Ее и Ее , к имеет место оценка

п*(п (г)) < |г| .

Положим

те

Ее := и Ее ' к•

К=1

Радиальная плотность множества Е" равна нулю. Выберем произвольное Ь е (0; ст0) и определим к из условия

-2—2к ^ Стк ^ Ь < Стк—1 • 9

Если г е Ее и Е", то

п*(п (г)) ^ кеN |г| = еке2—к |г| ^ 3еке^ |г| = О (еке) л/Ь |г| .

Если же Ь е [ст0; 1] и г е Ее, то

п*(п (г)) ^ тах {п(2 |п (г)|, Л),п(2 |п (г)|, Л')} ^ ^ 2ер (|п (г)|) ^ ^у/ст0ске |г| ^ бекел/Ь |г| = О (еке) л/Ь |г| .

Лемма доказана. □

2.3. Сравнение симметричных произведений

Для любых а, в е [0; 1] обозначим

(С) := а / п^^Ь, /(2) (С) := а / А,

а ^ у Ь(Ь + а) а ^ У Ь(Ь + а) '

о о

1

К) := «

п (Z ;Л)

(г +1) (г + а)

¿г,

^) := а I Т—Т^Г--Гё^

(г +1) (г + а)

Пусть

1 К) := 1(2) (Z) - 1Г (Z) =

(1)

п (Z; Л') - п (Z; Л) г (г + 1)

¿г.

Тогда для любого комплексного Z выполняются неравенства [11, лемма 5]

-««) - ^а (Z) * 1«) * 1,2' (С) +^ с* (Z).

где

а1 :=

1 + ё'

а2 := ё, в1 :=

1 - ё 1 + ё'

в2 := 1 - 2ё, ё £ (0; 1/2]

(20)

Лемма 3. Для любого е £ (0; 1) и любого ё £ (0; 2] при г £ Е. и Е. выполняются оценки:

|1 (п(г))| * О(ск.)^ё|г|, |/11)(п(г))| * О(ск.) |г| . Доказательство. Пусть Z := п(г). При г £ Е. имеем:

1а

г (г)

ёг

аг

тагл(С) * 2с(1 -а-)м(КВу (г + !)(, + а,)

*

* 4сём (|ZI) * 2\[2с^Тём (|ZI) * О (ск.) л/ё |, г £ {1; 2} .

Для оценки интеграла ^) воспользуемся леммой 2. Согласно этой лемме п (Z) * О (ск.) \Д |г| при г £ (0; 1] и г £ Е. и Е.. Значит, при г £ Е. и Е. получаем:

ёг

(Z) * а г [ ^ ёг * агО (ск.) |г| /

г у г (г + о,) у ^/г (г + о,)

*

* ^ОгО (ск.) |г|

ёг

(г + 1)

* О(ск.)л/ё |гI, г £{1;2} .

Из неравенств (20) вытекает первая из требуемых оценок. Вторая оценка практически очевидна. При г £ Е. имеем:

0 * ) = /

" 1 ^ у г (г + 1)

ёг * О (ск.) |г|

1

л/г(г +1)

ёг * О (ск.) |г|

Лемма доказана. Составим суммы:

□

1

А. (Z ;Л)= Е 1п

Аг €Аст (С)

КI + |Аг - Z |

Z

^ ;Л)= Е 1п

А;€Аст (г)

|Аг |

А. (Z ;Л'|Л)= Е 1п

А;€Аст (С)

(Z; Л' |Л)= Е 1п

Аг €Аст (С)

1

Z

а,

ZI + А - ZI

|а,|

и обозначим п*,.(Z;Л'|Л) число точек Аг, принадлежащих кругу А^), с номерами г, удовлетворяющими условию Аг £ А.(Z). Справедливы соотношения:

А. ^; Л) - X. (Z;Л)= п. ^;Л)1п

п (Z ;Л)

1 + с У г(1+ г)

0

ёг;

(21)

1

1

ё

1

1

1

1

А(С; Л'|Л) - ^(С; Л'|Л) = пв>а(С; Л'|Л) 1п

1 + 5

п*,а (С ;Л'|Л) Ь(1 + Ь)

¿Ь, 5 = d + а + о-^;

(С; Л'|Л) - ^(С; Л)| < п (2 |С| ;Л) 2d;

. п С2|С| п (Ь; Л) , (С; Л) < ¿Ь,

оЬ

г ^ С2|С1 п (Ь; Л') ,

(С; Л') </ ¿Ь.

(22)

(23)

(24)

Равенства (21) и (22) выполняются для любых комплексных £, любых а > 0 и d е (0; 1/2] [11, лемма 6]. Неравенства (23) и (24) справедливы для любых комплексных £, любых а е (0; 1] и d е (0; 1/2] [11, лемма 7].

Предложение 3. Для любого г е (0; 1) и любого d е (0; |] при г е Ее иЕ" выполняются оценки:

|1п |£(п(г); Л' )| - 1п |£(п(г );Л)|| < О(еке |г|, |1п |С(п(г);Л)|| < О(еке) |г| .

Доказательство. Пусть £ := п(г). Имеют место следующие представления:

(25)

(26)

1п |С(С; Л)| = А (С; Л) + 1п (С; Л)| = (А, (С; Л) - ^ (С; Л)) + ^ (С; Л) + 1п (С; Л)|, (27) 1п |С(С; Л')| = А (С; Л'|Л) + 1п (С; Л'|Л)| = = (А, (С; Л'|Л) - ^ (С; Л'|Л)) + ^ (С; Л'|Л) + 1п ^(С; Л'|Л)|. (28)

Используя (27) и (28), получим:

|1п |С(г; Л')| - 1п |С(г; Л)|| < |(Аа (г; Л'|Л) - (г; Л'|Л)) - (А (г; Л) - (г; Л))| +

+ (г; Л'|Л) - (г; Л)| + |1п (г; Л'|Л)| - 1п (г; Л)|| . (29)

Пусть d е (0;1/4). Положим в (29) а = 1 и применим к соответствующим компонентам полученного неравенства соотношения (21), (22) и (23). Замечая, что п1+2^)1 (С;Л'|Л) = п1 ((;Л), получим:

|1п|С(С;Л')|- 1п|С(С;Л)|| < |/(С)| +

1 1+2^ т^.«в- Г ;Л'|Л)

Ь(1 + Ь)

Ь(1 + Ь)

_ 1 + 2d + п'(С ;А)1пТГГ+

+п (2 |С|; Л) 2d + |1п ^(С; Л'|Л)| - 1п |Ох(С;Л)|| .

Если Ь е (0,1 - 2d), то в силу -близости последовательности Л к последовательности Л', из включения е Д*(С) следует включение А^ е Д1(С). Поэтому при таких значениях Ь выполняется равенство п*;1 (£; Л'|Л) = п* (£;Л'). Отсюда вытекает, что

1 1+2^ [ п*(с;Л'К Г п*,1 (С; Л'|Л)

Ь(1 + Ь)

¿ь -

Ь(1 + Ь)

¿ь

1 1+2^

< У Ь(1+ -) + У Ь(1+ Ь) <

1-2^ 1-2^

1+2^

< 2п(3 |С|; Л')

¿Ь < 2п(3 |С|; Л') 1п (1 + ^)(1 , < О(Я)п(3 |С|; Л').

1-2^

Ь(1 + Ь)

(1 - 2d) (1 +

В силу предложения 2 и леммы 3 при г е Ее и Е"

|1п |С(С; Л')| - 1п |С(С; Л)|| < |/(С)| + |1п |Сх(С;Л'|Л)| - 1п ;Л)|| + О(Я)п(3 |С|) < О (еке|г|.

Таким образом, оценка (25) доказана в случае d е (0; 1/4).

Пусть d е [1/4; 1/2]. Положим в (27) а =1 и применим к первому слагаемому в сумме справа соотношение (21). Получим равенство

1п |С(С; Л)| = -щ(С; Л) 1п2 - /(1) (С) + ¿1 (С; Л) + 1п (С; Л)|.

5

8

о

Аналогичное равенство справедливо и для последовательности Л':

1п |С(С; Л')| = -па(С; Л') 1п 2 - 1{2) (С) + ¿1 (С; Л') + 1п (С; Л')|.

Из этих равенств вытекает оценка

|1п |С(С; Л')| - 1п |С(С; Л)|| ^ |1 (С)| + п(2 К|)21п2+ +¿1 (С; Л) + |1п |^1(С; Л)|| + ¿1 (С; Л') + |1п (С; Л')||.

Из этой оценки, неравенств (24), предложения 2 и леммы 3 вытекает, что при г £ ЕеиЕ выполняется неравенство (25).

Для доказательства оценки (26) воспользуемся соотношением (27), в котором опять положим а = 1. Получаем

|1п |С(С; Л)11 ^ П1 (С; Л) 1п 2 +111) (С) + ¿1 (с; Л) + |1п ^(С; Л)11.

Из этой оценки, неравенств (24), предложения 2 и леммы 3 вытекает, что при г £ ЕеиЕ выполняется неравенство (26). Предложение доказано. □

3. СРАВНЕНИЕ СИММЕТРИЧНЫХ ФУНКЦИЙ ПРИ СИЛЬНОМ ОГРАНИЧЕНИИ 3.1. Собственное исчерпание плоскости

Сначала докажем одно предложение, которое имеет самостоятельное значение.

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

те

с С2 с ... с у = С. (30)

П=1

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

Предположим, что существуют положительные числа к, д и последовательность гп, удовлетворяющая условию

0 < г1 ^ гп < гп+1 ^ дгп ^ го, п ^ го, такая, что при всех действительных в выполняется оценка

к-1 г„ ^ д(|п(гпе")|). (31)

Пусть

1

:= п-1(А (0; Ьп)) П А (0; г„),

где := V((2к) 1 гп), V — обратная к функции д.

Предложение 4. При достаточно большом п сужение функции п(г) на множество является собственным отображением на круг А (0; £п) и при этом выполняются соотношения (30).

Доказательство. Во-первых, убедимся, что для любого натурального п выполняется соотношение п(Сп) = А (0; £п). Вложение п(Сп) с А (0; £п) является очевидным. Проверим выполнимость

обратного вложения А (0; ) С ). Пусть £ е А (0; ¿п). Если | = гп, то в силу (1) и (31) при достаточно больших п

к 1 rn ^ р(|п^)|) ^

p(k(z) )

р (k(z)| (1 - n(o) ))

-M(|n(z) - п (0) |) ^

Значит,

^ —(-^)l)(0) \ \ p(k(z) - п (0) |) ^ 2р(|п^) - п (0) |).

Р (K(z)| (1 - V^r^ny

I-Z + п(0)| = |Z - п(0)| < tn := v((2к) 1 r„) ^ |n(z) - п(0)| .

По теореме Руше функции п — п(0) и п — £ имеют в круге А (0; гп) одинаковое число корней. Так как ноль является корнем функции п — п(0), то найдется такое г е А (0; гп), что £ = п(г). Это означает, что

z е п-1 (Z) П А (0; rn) С Gn

или Z е п (Gn) и, следовательно, А (0; tn) С п(Сп).

Во-вторых, убедимся, что при достаточно большом n сужение функции п на Gn является собственным отображением на круг А (0; tn). Допустим, что последовательность zk е Gn не имеет в Gn предельных точек и предположим, что Zo е А (0; tn) — предельная точка последовательности п(гк). Тогда существует подпоследовательность zkm такая, что

Zkm ^ zo, п^т) ^ Zo, п(го) = Zo, |zo| ^ Гп.

Так как Zo е А (0; tn), то |Zo - п(0)| < tn, и в силу строгой монотонности функции р имеем:

2Kp(|Zo - п(0)|) < 2кр(Уп) = Гп.

В силу (31) для достаточно большого n и любого действительного в получаем:

2Kp(|Zo - п(0)|) < Гп ^ 2кр(|п(гпвг0) - п(0)|).

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

K(zo) - п(0)| = |Zo - п(0)| < |п(гпвг0) - п(0)| . Так как |zo| ^ rn, то |zo| < rn, и, значит,

zo е п-1 (А (0; tn)) П А (0; Гп) =: Gn.

Это противоречит предположению, что последовательность не имеет предельных точек в Gn.

В-третьих, докажем выполнимость соотношений (30). Так как последовательности и гп возрастают, то

А (0; ¿1) С А (0; ¿2) С А (0; п) С А (0; Г2) С ....

Отсюда следует, что G1 С G2 С .... Так как ^ го и гп ^ го при п ^ го, то

те те

и А(0; ¿п ) = и А(0; Гп ) = С.

п=1 п=1

Это означает, что для всякого комплексного г найдется такое натуральное п, что п (г) е А (0; ) и г е А (0; гп). Из этих включений вытекает, что

z е п-1(А (0; tn)) П А (0; Гп) =: Gn-

Следовательно,

те

и = С.

П=1

Предложение доказано. □

Предложения такого типа используются при переходах от задач спектрального синтеза к эквивалентным задачам локального описания [4]. Нас же сейчас интересует лишь одно следствие предложения 4. Отметим предварительно, что при доказательстве этого предложения условие гп+1 ^ дтп не использовалось, но оно будет использовано ниже при доказательстве следствия.

Следствие. Если для целой п-симметричной функции /(п(г)) при некоторых а,Ь > 0 выполняется равномерная по г оценка

1п |/(п(г))| ^ а |г| + Ь,

то вне круга А (0; Ь) при достаточно большом Ь выполняется оценка

1п |/(С)| ^ 4а^(|С|)+ Ь.

Доказательство. Пусть Ьп ^ |£ — п(0)| ^ Ьп+1. По предложению 4 при достаточно большом п существует г £ £п+1 С А (0; гп+1), для которого £ = п(г). Значит, вне круга А (0; Ь) при достаточно большом Ь выполняются оценки

1п |/(с)| =1п |/(п(г))| ^ 1пМ/0п(Гп+1) ^ 1пМ/0п(дг„) ^ адг„ + Ь =

= 2адкд (Ь„) + Ь ^ 2адкд (|С — п(0)|) + Ь = 2адкМ — /Л)0)|) М (|С|) + Ь ^ 4адкд (|С|) + Ь.

М (К|)

Следствие доказано. □

3.2. Сравнение симметричных функций

Теперь все готово для доказательства основной теоремы сравнения, которая предполагает наложение сильного ограничения на выбор целой функции п(г). Пусть /(п(г)) и д(п(г)) — две целые п-симметричные функции экспоненциального типа; Л и Л' — последовательности корней целых функций / (С) и д (() соответственно, лежащих вне единичного круга А (0; 1); ё £ (0; 1/2]. В силу следствия из предложения 4

1п М/ (г) , _ т,- Ь М (г)

Теорема 1. Если

lim -f— < +го, lim -— < +го.

r^+те д(г) r^ + те д(г)

ln M/ (r)

lim -< c G (0; +го) (32)

r^+те д(г)

и последовательность Л' является d-близкой к последовательности Л, то для любого е G (0; 1/2) существует такое множество Ee ^ £е, радиальная плотность которого меньше е, что при z G Ee выполняется оценка

|ln |f (n(z))| - ln |g(n(z))|| ^ O (ске) Vd |z| + |m - n| ке |z| ^ , (33)

где m и n — число корней (с учетом кратности) функций f (Z) и g(Z) соответственно в единичном круге А (0; 1).

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

ln Mr) п

—--> 0, r ^ го.

ln r

В силу следствия из предложения 4 функции f (Z) и g (Z) являются целыми функциями нулевого порядка. По теореме Адамара для любых Z имеем:

f (Z) = p(Z )G(Z; Л), g(Z) = q(Z )G(Z; Л'),

где p(Z) и q(Z) — некоторые многочлены с корнями в единичном круге А(0;1). Значит, имеют место представления

f (п (z)) = p (п (z)) G(n (z); Л), g(n (z)) = q (п (z)) G(n (z); Л').

Пусть m и n — степени многочленов p(Z) и q(Z) соответственно. Допустим, что функция f (Z) имеет в нуле корень кратности то £ [0; т]. По формуле Йенсена из неравенства (32) вытекает, что при достаточно больших r и некотором e0 > 0 выполняются неравенства

l + Гr n (У;Л)+ m - то < ( ) ( ) . |f(mo }(0)|

т0 ln r + -dt < (c — e0) шг) — ln J-;—1.

Jo t то!

Значит,

P(r)

n (t; Л) , m ln r

v dt + eo < c —

P(r) Mr)

1 , |f(mo) (0)| ln J-;-1

то!

Отсюда следует, что последовательность Л удовлетворяет условию (6). По предложению 3 для любого е е (0; 2) существует такое множество Ее 13 Ее, радиальная плотность которого меньше е, что при г е Ее выполняется оценка

|1п |G(п (г); Л)| — 1п |G(п (г); Л')|| ^ О (ске) ^ |г| .

Значит, при г е Ее выполняются оценки

|1п |/(п(г))| — 1п |^(п(г))|| ^ |1п |G(п (г); Л)| — 1п |G(п (г); Л')|| + |1п|р(п(г))| — 1п |д(п(г))|| ^

^ O (ске) \Td |z| +

ln

P(n(z))

(z)

ln

|q(n(z))|

(z)

+ |т — n| |ln |(n(z))||

В силу определения логарифмического веса порядка р и условий на выбор функции п(г) имеем:

1пР(|п (г)|)

р £ (1; +го), z ^ го,

z

1п1п |п (г)|

Следовательно, при г е Ее вне круга А (0; ге) достаточно большого радиуса ге выполняются оценки

2 -¡-^ 2 2 |1п |п (г)|| < дт+Р (|п (г)|) ^ ке1+Р |г| ^ ке |г| 1+р ,

ln

P(n(z))

n(z)?

ln

|q(n(z))|

n(z)

+ |т — n| |ln |(n(z))|| ^ |т — n| ке |z|1+p

Осталось дополнить множество Ее кругом А (0; ге) и заключить, что вне этого множества выполняется оценка (33). Теорема доказана. □

4. ФАКТОРИЗАЦИОННАЯ ТЕОРЕМА

4.1. Эквивалентность симметричных произведений

Определение 7. Две функции /1, /2 комплексной переменной называются эквивалентными (в обозначениях /1 ~ /2), если существует множество Е нулевой радиальной плотности такое, что

1п |/1 (г)| — 1п |/2 (г)| = о (|г|), г ^ го, г е Е.

Введенное отношение эквивалентности рефлексивно, симметрично, транзитивно; оно сохраняется при умножении на эквивалентные функции: если /1 ~ /2 и g1 ~ g2, то /^ ~ /2g2. Пусть Л = (Л^} и Л' = (Л<} — последовательности комплексных чисел, лежащих вне единичного круга А (0; 1) и имеющих единственную предельную точку в бесконечности.

r

1

о

Определение 8. Последовательность Л' = (Л,} называется эквивалентной последовательности Л = (Л,} (в обозначениях Л' ~ Л), если для любого е > 0 найдется номер %(е) такой, что |Л- — Л,| ^ е |Л,| при % > %(е).

Это отношение является рефлексивным, симметричным и транзитивным. Если Л1 ~ Л;^ и Л2 ~ Л2, то при соответствующем упорядочении объединенных последовательностей Л' = Л1 и Л2 и Л = Л1 и Л2 будем иметь Л' ~ Л. Таким образом, отношение эквивалентности сохраняется при объединении эквивалентных последовательностей.

Если целая функция п(г) подчинена сильным ограничениям (см. п. 1.1), то справедливы следующие предложения.

Предложение 5. Если последовательность Л удовлетворяет условию (6) и последовательность Л' эквивалентна последовательности Л, то

С(п (г); Л') - £(п (г) ;Л).

Доказательство. Для любого натурального n выберем положительные en и dn так, что е„ G (0; 2-n) С (0; 1/2) и ке„ Vd^ G (0; 2-n). Так как ке„ ^ 1, то d„ G (0;2-П) С (0; 1/2]. Для любого номера n найдется номер kn такой, что последовательность Л^ = (y^ : i ^ kn} является dn-близкой к последовательности Лкп = (Л^ : i ^ kn}. Таким образом, согласно предложению 3, существует множество Е(n), радиальная плотность которого меньше en, такое, что при z G Е(n) выполняется неравенство

|ln |G(n (z); Лкп) | - ln |G(n (z); Лк„)| | ^ ¿n |z|, (34)

где := O(c)2-2 ^ 0 при n ^ го. Если rn достаточно велико, то при |z| ^ rn выполняются неравенства

|ln |G(n (z); Л')| - ln |G(n (z); Л^)11 ^ <Jn |z|, (35)

|ln |G(n (z); Лкп)| - ln |G(n (z); Л)|| ^ |z| . (36)

Пусть En := E («) U (z : |z| ^ rn}. Радиальная плотность множества En по-прежнему меньше en. Из неравенств (34), (35) и (36) следует, что при z G En выполняется неравенство

|ln |G(n (z); Л')| - ln |G(n (z); Л)|| ^ 3^ |z|. (37)

Теперь из множеств En получим новое множество E нулевой радиальной плотности такое, что

при z G/ E

|ln |G(n (z); Л')| - ln |G(n (z); Л)|| ^ o (|z|), z ^ го. (38)

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

mS„ =: еП < е„ G (0; 1/2) .

Пусть Ri столь велико, что

mSl (r) + mEa (r) < ei + е2

при r ^ R1, и окружность |z| = R1 не пересекается с кольцами из Е1 и Е2. Обозначим через Ei множество колец из Е1, лежащих в круге |z| ^ R1. Далее выбираем R2 так, что при r ^ R2 выполняется неравенство

m^i (r) + тЕа (r) + mE3 (r) < e2 + ез

и окружность |z| = R2 не пересекается с кольцами из Е2 и Е3. Пусть Е2 — множество колец из Е2, лежащих в кольце R1 ^ |z| ^ R2, и т.д. Рассмотрим объединения

тете

Е = U ЕП, E = U ЕП,

n=1 n=1

где Е'п — пересечение Еп с объединением колец, входящих в совокупность ЕП. Радиальная плотность множества Е равна нулю. Действительно, это множество покрывается совокупностью колец Е и при ^ г ^ Яп+1 выполняются неравенства

шЕ(г) ^ ше1 (г) +-----+ то2'„+1 (г) ^ ше1 (г) +-----+ то2'„-1 (г) + шЕ„ (г) + ше„+1 (г) ^ еп + еп+ь

Значит, ш,£(г) ^ 0 при г ^ +го. Проверим оценку (38). Пусть г е Е и Дп-1 ^ |г| ^ . Тогда г е ЕП и, значит, г е Еп. Отсюда следует, что при таких г имеет место оценка (37). Так как это верно при всех п, то отсюда и следует оценка (38). Предложение доказано. □

Предложение 6. Если последовательность Л удовлетворяет условию

п (г; Л) Пт = 0,

г^ + те д(г)

то

G(п (г) ;Л) - 1.

Доказательство. Для любого натурального п выберем положительные еп и сп так, что еп е е (0; 2-п) С (0; 1/2) и епк£та е (0;2-п). Так как к£та ^ 1, то сп е (0; 2-п). Согласно предложению 3 существует множество Е(п), радиальная плотность которого меньше еп, такое, что при г е Е(п) выполняется неравенство

|1п ^(п (г); Л)|| ^ |г|,

где := О (2-п) ^ 0 при п ^ го. Теперь из множеств Е(п) с помощью процедуры, использованной при доказательстве предложения 5, получаем новое множество Е нулевой радиальной плотности такое, что при г е Е

|1п ^(п (г); Л)|| ^ о (|г|), г ^ го. Предложение доказано. □

4.2. Факторизация симметричных функций

Если целая функция п(г) подчинена сильным ограничениям (см. п. 1.1), то справедлива следующая факторизационная теорема.

Теорема 2. Для любой целой п-симметричной функции / (п (г)) экспоненциального типа справедливо представление / (п (г)) = /1 (п (г)) /2 (п (г)), где /1 (п (г)), /2 (п (г)) — целые п-симмет-ричные функции и /1 о п ~ /2 о п.

Доказательство. Последовательность корней (Л^} целой функции / (£), лежащих вне единичного круга |£| < 1, обозначим Л. При доказательстве теоремы 1 показано, что последовательность Л удовлетворяет условию (6). Пусть е е (1; р);

1

Гп := £еп£, п е К,

где параметр I е (0; е-1) выбирается так, чтобы окружности |г| = гп лежали в области определения функции д (|г|) и не проходили через точки из последовательности Л;

2п

:= —И-т + 3„, ш е (0,..., [1п п]} ,

1 + [1п п]

где [1п п] — целая часть числа 1п п, и параметр выбирается так, чтобы лучи г = гег0т-™ не проходили через точки из множества Л П (г : гп ^ |г| ^ гп+1};

Ат,п : "[Ге : Гп ^ Г ^ Гп+1, ^ ^ ^ ^т+1,п]" .

Так как г1 := < 1, то совокупность кольцевых секторов

ДШ)П, т £ (0,..., [1пп]} , п £ N

покрывает последовательность Л. При этом для диаметра кольцевого сектора Ат,п справедливо соотношение

ёт,п := йир |г — г'| = о (1) гп, п ^ го. (39)

Действительно, толщина кольцевого сектора Ат,п равна

Гп+1 — Гп = Г„( в(п+1)" — П ^ гЛ в^ — 1) = о (1) Г„, п ^ го,

а большая дуга кольцевого сектора Ат,п равна

2п 2п , , ,, , ,

гГп+1 ^^-7 (1 + О (1)) Гп = О (1) Гп, П ^ ГО.

1 + [1п п] ^ 1 + [1п п]

Разбиваем последовательность Л := (Л,} на три последовательности

Л' := (Л,} , Л'' := (Л,'} , Л''' := (Л,''} .

При этом соблюдаем условие: в любом кольцевом секторе Ат,п последовательности Л' и Л'' содержат одинаковое число точек, а последовательность Л''' содержит не более одной точки. Последовательности Л' и Л'' упорядочиваем так, чтобы для любого % точки Л, и Л,' принадлежали одному сектору Ат(,),п(,). Тогда п(%) ^ го при % ^ го и из (39) следует, что

| Л, — Л,'| ^ ёт(г),п(г) ^ О (1) |Л,' | , % ^ ГО.

Отсюда вытекает, что последовательности Л' и Л'' эквивалентны. Поэтому по предложению 5

С(п(г);Л') - С(п(г);Л'').

Рассмотрим теперь произведение С (п(г);Л'''). Каждый кольцевой сектор Ат,п содержит не более одной точки Лт,п из Л'''. В кольце (г : гп ^ г ^ гп+1} содержится 1 + [1п п] кольцевых секторов Ат,п. Значит, для р' £ (е; р) и для всех п ^ п0 при достаточно большом по выполняются неравенства

д (Гп) ^ 1пр Гп,

Е1 ^ 1 + 1п п ^ 1 + 1п п 1 + 1п п

Д(|Лтп|) ^^ д(гп) ^ ^ д(гп) ^ ( , , 1 \р' ГО.

т,п1/ п ^ ^ п<п0 п/ п^п0 I 1п £ + п")

Интегрированием по частям получаем:

у. 1 = } ёп (¿;Л''') = п (г; Л''') } п (¿;Л''') д' (¿) ^^

Д (|Лт,п |) У Д (*) = Д(г) Ч ^

Из этого равенства вытекает, что последний интеграл сходится при г ^ +го. Следовательно,

сю сю

п (Г;Л'") = п (г; Л''')[ ДЩ Л Л ^ 0

д(г) У д (£) У д (£)

при г ^ +го. По предложению 6 С(п (г); Л''') — 1.

Наконец, если последовательности Л' и Л''' объединить в одну последовательность А, а в последовательность Л'' включить нули функции / (С), лежащие в круге А(0;1), и обозначить вновь полученную последовательность В, то при некотором С = 0 будем иметь

/1 (п (г)) := С(п (г); А) - СС(п (г) ; В) =: /2 (п (г)), /1 (п (г)) /2 (п (г)) = / (п (г)).

Теорема доказана. □

5. ПРИМЕР

В п. 2 показано, что сильное ограничение на выбор функции п(х) выполнено, если п(х) — целая функция вполне регулярного роста при некотором уточненном порядке рп (г) ^ рп £ (0; 1) с постоянным положительным индикатором . Ниже приводится пример целой функции вполне регулярного роста, удовлетворяющей сильному ограничению, но индикатор которой не является постоянным. Выберем произвольный квазиполином:

/ (*):=£ а е-7»2, = 0.

¿=1

Будем считать, что все точки ^ лежат в правой полуплоскости Яе г ^ 0 и не лежат на одной прямой с началом (значит, 5 ^ 2). Положим

п(х) := р(х) + х«(х),

где

1 ^

р(х) := 2 (/+ / (—Vх)) = Е СОй

5 = 1

«(г) := ^ (/(7) - / (—7)) = г Е

Vх ¿=1

л/х — значение в точке г произвольной ветви функции £1, голоморфной в окрестности точки г.

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

£ - х

равномерно по £ из круга {£' : |£' — х| ^ ре}.

Доказательство. Непосредственным вычислением получаем:

[П (х)] ^ Се, (40)

1 3

п(£) — П(х) — п'(х)

^ 1 |п' (х)| (41)

п (х) = 2 ^ а(1 — ) —+ 2 ^ СОЙ = ¿=1 ¿=1

При этом

п'(х2) = 4 Е « ( Ь — ) е-»2 + ( 7з + е--»2

¿ = 1

Из асимптотических равенств

77 — ^^ ) е-7»2 и ^е-7»2, ( ^ + ^^ ) е--7»2 и ^е--7»2

и свойств квазиполиномов вытекает, что функция п'(х2) имеет вполне регулярный рост при порядке 1 и ее индикатриса всюду положительна, значит, функция п'(х) имеет вполне регулярный рост при порядке 1/2 и ее индикатриса тоже всюду положительна [15, гл. I, §2, п. 8]. Отсюда вытекает, что при некотором Се > 0 вне некоторого множества кружков нулевой линейной плотности выполняется неравенство (40).

Перейдем к доказательству оценки (41). Пусть Yj е {yi, • ••, Ys}, Yj = 0 и

Pj (z) := cos YjVZ, gj (z) := л/Z sin YjVZ.

Легко проверить, что

Pj (О - Pj(z) _ 1 = ( jTtg - 0tg + tg

(C - z) pj (z)

tg aj - tg bj

gj(C) - gj(z) (C - z) qj (z)

- 1 =

j - ^tg bj - j tg Aj + bj tg bj - 1 + j

¿ + 1 - j tg j tg Aj - tg bj + 1 - j

где

Уё+^ ^ Уё -

% := 7?-2-' 3 := -2-'

Функция ^ г| вне кружков любого достаточно малого радиуса с центрами в точках г = 2к, к £ Z, ограничена и снизу, и сверху положительными константами. При этом если |г| ^ г ^ 1, |ё| ^ г и |ё - ^ ре < 1, то

vz + 2k| ^ vTzi + 2 |k| ^JП-k2 +

П2

z--k2

4

П

l|z|-|z - C|| w1 - P-, ||C|-|C - z|| ■ 1 - P-.

Если предположить дополнительно, что

z - ^k2

4

П

■ 2 |k|e'

где e ' := e/s, e > 0, то при достаточно малом he > 0 и всех k = 0 получим:

Vе + yz nk 2 2

//z — 2k VC - vz

■ V V 2 2

z - ^ k2 C - z ■ Z - n2 k2 P-

/z + 2 k 2( VC + л/fk2 + |Z - k2| + 2|k| V1 - P-

P-

e

■--

P-

ПШ +1

4^1-P- 3 4^1-P. 4'

значит,

aj - о Yj k

= | Yj |

VI + VZ nk 2 2

i i ■ Ы 4 •

Следовательно, для всех г, лежащих вне некоторого круга с центром в начале и вне кружков,

_2

z -- k2 4

< - |k|e', k е Z\ {0} ,

(42)

функция

|tg aj| =

te Yj

VC + Vz

2

e

e

ограничена и снизу, и сверху положительными константами равномерно по £ из круга А(х, ре). Отсюда следует, что при достаточно малом ре вне некоторого круга с центром в начале и вне множества кружков (42) равномерно по £ из круга А (х, ре) будут выполняться неравенства

Pj (С) - Pj (z)

(С - z) pj (z)

- 1

1

^ -, 3'

j (С) - -qj(z)

(С - z) qj (z)

1

1

^ -.

3

Из очевидных оценок

E

2 |k|E' < 2Те'

Е

2 vr

^2 + Tf)

вытекает, что линейная плотность множества кружков (42) меньше е'. Значит, при достаточно малом ре > 0 вне некоторого множества кружков, линейная плотность которого меньше е = зе', равномерно по £ из круга А (х, ре) будет выполняться неравенство (41). Предложение доказано. □

Предложение 8. Пусть х0 — фиксированная точка, лежащая вне множества кружков, линейная плотность которого меньше е > 0 и вне которого выполняются оценки (40) и (41). Тогда в некоторой окрестности точки х0 функция п (х) является однолистной. Обратная функция п"1 (() определена по крайней мере в круге А (п(х0),ке), где ке := |сере, и ее значения в этом круге лежат в круге А (х0, ре).

Доказательство. Выберем произвольное £ из круга А(п(х0),ке). Легко увидеть, что на окружности — х01 = ре выполняется неравенство ^(х)| > |/(х)|, где

^(х) := (х — Х0)п'(^0), /(х) := п(х) — С — (х — ¿0)^(2:0) = 'п(х) — п(^)

= (z - *)(n(z) - n(z0) - ✓ Л - (Z - *(*)).

V z - zo J

z — zo

По теореме Руше функция n(z) — Z = f(z) + F(z) имеет в круге A(n(z0),he) лишь один нуль. Предложение доказано. □

Функция n(z) является первообразной для функции п'(z), значит, функция n(z) является целой функцией вполне регулярного роста при порядке 1 с положительным индикатором (0) [16]. Положим д(г) := ln2 r. Вне некоторого множества кружков нулевой линейной плотности имеет место асимптотическое равенство ln |n(z)| ^ (0)^/jzf, 0 := arg z. По предложениям 7 и 8 для любого е > 0 найдется такое множество кружков Ee D , линейная плотность которого меньше е, что для любого Z G Ee и всякого z G п-1 (Z) \ Ee функция n-1(Z') отображает однолистно кругА (Z, he) в круг А (z, pe). При этом число arg z', z' G A (z, pe), является функцией от Z' G A (Z, he). Эту функцию обозначим 0z,z (Z'). Для любых Z G Ee и Z' G A (Z, he) положим

inf _ hn (0C>z (Z')) ,

Z' GA(C,h£ )ПеЕ£

K+z : =

sup hn (öc>z (Z')) .

Z' GA(Z,he)ni5e

Тогда для любых £ е , х е п-1 (£) \ и £' £ А (£; ) П при достаточно больших | выполняются оценки (18), в которых х выбрано произвольно из п-1 (() \ £е, х' — произвольный элемент слоя п-1 ((), лежащий в множестве А (х; ре) \ Ее,

KZ : =

min kz z,

-1 (Z)\

zGn-i (Z)\E£

К+ :=

max kZ z

-1 (Z)\

zGn-1 (Z)\E£

и ке ^ 1 выбраны из условия: ке 1 < к(0) < ке для любого При этом в силу непрерывности индикатора (0)

к+ - К- ^ max sup h^ (0') - inf h^ (0') ^ 0

^ ^ zen-1(Z)\E£ GA(z;p£) z'GA(z;p£) J

при Z ^ ro, Z G . Здесь := arg z'. Таким образом, выбранная функция п (z) удовлетворяет всем условиям сильного ограничения.

п2 k2 <

r

4

Библиографический список

1. Ehrenpreis L. Solution of some problems division. IV // Amer. J. Math. 1960. Vol. 82. P. 522-588.

2. Dicson D. G. Factoring Fourier transforms with zeros in a strip // Proc. Amer. Math. Soc. 1989. Vol. 106. P. 107-114.

3. Юлмухаметов Р. С. Решение проблемы Л. Эрен-прайса о факторизации // Матем. сб. 1999. Т. 190, № 4. С. 123-157.

4. Шишкин А. Б. Проективное и инъективное описания в комплексной области. Двойственность // Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2014. Т. 14, вып. 1. С. 4764.

5. Волковая Т. А., Шишкин А. Б. Локальное описание целых функций // Исследования по математическому анализу. Итоги науки. Юг России. Мат. форум. Т. 8, ч. 1. Владикавказ : ЮМИ ВНЦ РАН, 2014. С. 218-230.

6. Волковая Т. А., Шишкин А. Б. Локальное описание целых функций. Подмодули ранга 1 // Влади-кавк. матем. журн. 2014. Т. 16, № 2. С. 14-28.

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

8. Азарин В. С. О разложении целой функции конечного порядка на сомножители, имеющие заданный рост // Матем. сб. 1973. Т. 90, № 2. С. 229-230.

9. Красичков-Терновский И. Ф. Спектральный синтез в комплексной области для дифференциально-

го оператора с постоянными коэффициентами. IV. Синтез // Матем. сб. 1992. Т. 183, № 8. С. 23-46.

10. Хабибуллин Б. Н. Теоремы сравнения и однородности для субгармонических функций : дис. ... канд. физ.-мат. наук. Ростов н/Д, 1985. 103 с.

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

12. Письменный Р. Г. О разложении целой функции конечного порядка на эквивалентные множители // Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2009. Т. 9, вып. 1. С. 19-30.

13. Письменный Р. Г., Шишкин А. Б. Расщепление целых функций конечного порядка на эквивалентные множители // Вестн. Адыг. гос. ун-та. Сер. Естественно-математические и технические науки. 2010. № 2(61). С. 23-28.

14. Волковая Т. А. Синтез в полиномиальном ядре двух аналитических функционалов // Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2014. Т. 14, вып. 3. С. 251-262.

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

16. Гольдберг А. А., Островский И. В. О производных и первообразных целых функций вполне регулярного роста // Теория функций, функц. анализ и их прил. (Харьков). 1973. № 18. С. 70-81.

Factorization of Entire Symmetrical Functions of Exponential Type

A. B. Shishkin

Shishkin Andrey Borisovich, Kuban State University, 149, Stavropolskaya st., Krasnodar, Russia, 350040, Shishkin-home@mail.ru

Let n be an entire function of minimal type of order 1. The entire function F is called n-symmetric if it is represented in the form of a composition f o n, where the f is an entire function. The article deals with the following question. Can we present every ^-symmetric function of exponential type as a product of two functions with a close growth, each of which is itself an entire n-symmetric function? This question is answered in the affirmative, but under certain restrictions on for the subordinate function n. For example, an entire function of completely regular growth at proximate order p(r) « p e (0; 1) with constant positive indicator is subject to these restrictions. Other examples relate to the reversibility of the entire function in the circles of constant radius whose centers lie outside some exceptional set.

Key words: factorization of entire functions, zero at the order, proximate weight, logarithmic weight, entire symmetric functions.

References

1. Ehrenpreis L. Solution of some problems division. IV. Amer. J. Math., 1960, vol. 82, pp. 522-588.

2. Dicson D. G. Factoring Fourier transforms with zeros in a strip. Proc. Amer. Math. Soc., 1989, vol. 106, pp. 107-114.

3. Yulmukhametov R. S. Solution of the Ehrenpreis factorization problem. Sb. Math., 1999, vol. 190, no. 4, pp. 597-629. DOI: 10.4213/sm400.

4. Shishkin A. B. Projective and injective descriptions in the complex domain. Duality. Izv. Saratov Univ. (N.S.), Ser. Math. Mech. Inform., 2014, vol. 14, iss. 1, pp. 47-64 (in Russian).

5. Volkovaya T. A., Shishkin A. B. Lokal'noe opisanie tselykh funktsii [Local description of entire functions]. Issledovaniia po matematicheskomu anal-izu. Itogi nauki. Iug Rossii. Mat. forum [Research

on mathematical analysis. The results of science. South of Russia. Mat. forum]. Vladikavkaz, UMI VSC RAS, 2014, vol. 8, pt. 1, pp. 218-230 (in Russian).

6. Volkovaya T. A., Shishkin A. B. Lokal'noe opisanie tselykh funktsii. Podmoduli ranga 1 [Local description of entire functions. Submodules of rank 1]. Vladikavkaz. Mat. Zh., 2014, vol. 16, no. 2, pp. 1428 (in Russian).

7. Krasichkov-Ternovskii I. F. Invariant subspaces of analytic functions. I. Spectral analysis on convex regions. Math. USSR-Sb., 1972, vol. 16, no. 4, pp. 471-500.

8. Azarin V. S. On the decomposition of an entire function of finite order into factors having given growth. Math. USSR-Sb., 1973, vol. 19, no. 2, pp. 225-226.

9. Krasichkov-Ternovskii I. F. Spectral synthesis in a complex domain for a differential operator with constant coefficients. IV : Synthesis. Russian Acad. Sci. Sb. Math., 1993, vol. 76, no. 2, pp. 407426.

10. Khabibullin B. N. Teoremy sravneniia i odnorod-nosti dlia subgarmonicheskikh funktsii. Dis. ... kand. fiz.-mat. nauk [Comparison theorems for sub-harmonic functions : Dr. phys. and math. sci. diss.]. Rostov-on-Don, 1985. 103 p. (in Russian).

Y^K 517.984

11. Krasichkov I. F. Sravnenie tselykh funktsii tselo-go poriadka po raspredeleniiu ikh kornei [Comparison of entire functions of finite order by means of the distribution of their roots]. Mat. Sb., 1966, vol. 70(112), no. 2, pp. 198-230 (in Russian).

12. Pis'mennyi R. G. Factoring of an entire function into two equivalent functions. Izv. Saratov Univ. (N.S.), Ser. Math. Mech. Inform., 2009, vol. 9, iss. 1, pp. 19-30 (in Russian).

13. Pis'mennyi R. G., Shishkin A. B. Rasshcheplenie tselykh funktsii konechnogo poriadka na ekviva-lentnye mnozhiteli [Splitting entire functions of finite order in the equivalent factors]. Vest. Adyg. gos. un-ta. Ser. Estestvenno-matematicheskie i tekhnicheskie nauki, 2010, no. 2(61), pp. 23-28 (in Russian).

14. Volkovaya T. A. Synthesis in the Polynomial Kernel of Two Analytic Functionals. Izv. Saratov Univ. (N.S.), Ser. Math. Mech. Inform., 2014, vol. 14, iss. 3, pp. 251-262 (in Russian).

15. Leont'ev A. F. Riady eksponent [Exponential series]. Moscow, Nauka, 1976, 536 p. (in Russian).

16. Gol'dberg A. A., Ostrovskii I. V. O proizvodnykh i pervoobraznykh tselykh funktsii vpolne regu-liarnogo rosta [Derivatives and primitives of entire functions of completely regular growth]. Teoriia funktsii, funkts. analiz i ikh pril. (Kharkiv), 1973, no. 18, pp. 70-81 (in Russian).

ОБ ОБРАТНОЙ ПЕРИОДИЧЕСКОЙ ЗАДАЧЕ ДЛЯ ЦЕНТРАЛЬНО-СИММЕТРИЧНЫХ ПОТЕНЦИАЛОВ

В. А. Юрко

Юрко Вячеслав Анатольевич, доктор физико-математических наук, заведующий кафедрой математической физики и вычислительной математики, Саратовский национальный исследовательский государственный университет имени Н. Г. Чернышевского, YurkoVA@info.sgu.ru

Исследуется обратная спектральная задача для операторов Штурма-Лиувилля на конечном интервале с периодическими краевыми условиями в центрально-симметричном случае, когда потенциал симметричен относительно середины интервала. Обсуждается постановка обратной задачи, приводится алгоритм ее решения, а также необходимые и достаточные условия разрешимости этой нелинейной обратной задачи.

Ключевые слова: дифференциальные операторы, периодические краевые условия, обратные спектральные задачи. 001:10.18500/1816-9791 -2016-16-1 -68-75

ВВЕДЕНИЕ

Исследуется обратная спектральная задача для оператора Штурма-Лиувилля:

:= у'' + д(х)у, х е (0, п),

на конечном интервале (0, п) с периодическими краевыми условиями. Обратные задачи заключаются в восстановлении коэффициентов дифференциальных операторов по их спектральным характеристикам. Такие задачи часто возникают в математике и приложениях. Обратные задачи для дифференциальных