|
Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)
О связи между ростом нулей и
убыванием тейлоровских коэффициентов целой функции
Г. Г. Брайчев Московский педагогический государственный университет
Аннотация:
В теории роста целых функций исторически сложились два направления.
Первое связано с вычислением или оценками характеристик роста
максимума модуля целой функции (порядок, тип и другие)
через коэффициенты ее ряда Тейлора. В работах второго направления
исследуется зависимость роста функции от распределения ее нулей.
Цель заметки – рассмотреть непосредственные, прямые связи
между нулями и тейлоровскими коэффициентами целой функции,
учитывая как классические, так и недавние достижения
в рассматриваемой области.
Библиография: 14 названий.
Ключевые слова:
верхний и нижний типы целой функции,
плотности последовательности нулей, тейлоровские коэффициенты.
Поступило: 21.04.2022 Исправленный вариант: 18.08.2022
1. Введение и предварительные сведения Рассмотрим отличную от многочлена целую функцию
$$
\begin{equation}
f(z)=\sum_{n=0}^{\infty}f_n z^n,\qquad z\in\mathbb C.
\end{equation}
\tag{1.1}
$$
Сразу считаем, что $f$ имеет бесконечно много нулей и $f_0=f(0)=1$. Последовательность нулей запишем в порядке неубывания модулей и с учетом кратностей. Через $M_f(r)$ обозначим максимум модуля этой функции в круге $|z|\leqslant r$. Скорость стремления к бесконечности величины $M_f(r)$ связана с асимптотическим поведением как последовательности тейлоровских коэффициентов $\Phi=\{f_n\}_{n\in\mathbb{N}_0}$, так и последовательности нулей $\Lambda=\{\lambda_n\}_{n\in\mathbb{N}}$ функции $f$. Одним из подходов к описанию “совместного изменения” числовых последовательностей $\Phi$ и $\Lambda$ может служить сравнение известных формул для вычисления порядка, типа и других характеристик роста $\ln M_f(r)$ с плотностными характеристиками нулей. Опишем интересующие нас характеристики роста максимума модуля целой функции. Пусть функция $h(r)$, называемая далее весом, определена, неограниченно возрастает и дифференцируема на $(0,\,+\infty)$. Тип и нижний тип целой функции относительно веса $h(r)$ (коротко, $h$-тип и нижний $h$-тип) определяются соответственно формулами
$$
\begin{equation}
T_h=T_{h}(f)=\varlimsup_{r\to+\infty}\frac{\ln M_f(r)}{h(r)}\,,\qquad t_h=t_{h}(f)=\varliminf_{r\to+\infty}\frac{\ln M_f(r)}{h(r)}\,.
\end{equation}
\tag{1.2}
$$
Следуя терминологии Валирона [1; с. 45], говорим, что целая функция имеет совершенно регулярный рост, если ее $h$-тип и нижний $h$-тип совпадают, т.е. если $T_h=t_h$. Мы рассмотрим случай целых функций конечного положительного порядка, когда вес $h(r)$ удовлетворяет условию
$$
\begin{equation}
\begin{aligned} \, \lim_{r\to+\infty}\frac{r h'(r)}{h(r)}=\rho>0, \end{aligned}
\end{equation}
\tag{1.3}
$$
как, например, модельный вес $h(r)=r^\rho$. Формулы (1.2) задают обычные тип и нижний тип целой функции относительно уточненного порядка $\varrho(r)=\ln h(r)/\ln r$. Теперь определим величины, характеризующие рост последовательности нулей целой функции $f$, т.е. последовательности $\Lambda$, члены которой ранжируем в порядке неубывания модулей. Пусть $n(r)=\sum_{|\lambda_n|\leqslant r}1$ – считающая функция последовательности $\Lambda$, а $N(r)=\int_{0}^r(n(t)/t)\,dt$ – ее усредненная считающая функция. Верхняя и нижняя $h$-плотности последовательности $\Lambda$, а также верхняя и нижняя усредненные $h$-плотности $\Lambda$ определяются соответственно формулами:
$$
\begin{equation*}
\begin{alignedat}{2} \overline{\Delta}_{h}&=\overline{\Delta}_{h}(\Lambda)= \varlimsup_{r\to+\infty}\frac{n(r)}{r h'(r)}\,,&\qquad \underline{\Delta}_{\,h}&=\underline{\Delta}_{\,h}(\Lambda)= \varliminf_{r\to+\infty}\frac{n(r)}{r h'(r)}\,, \\ \overline{\Delta}^{\,*}_{h}&=\overline{\Delta}^{\,*}_{h}(\Lambda)= \varlimsup_{r\to+\infty}\frac{N(r)}{h(r)}\,,&\qquad \underline{\Delta}^*_{\,h}&=\underline{\Delta}^*_{\,h}(\Lambda)= \varliminf_{r\to+\infty}\frac{N(r)}{h(r)}\,. \end{alignedat}
\end{equation*}
\notag
$$
Говорят, что последовательность измерима, если $\overline{\Delta}_{h}=\underline{\Delta}_{\,h}=:\Delta_{h}$, или, что эквивалентно, если $\overline{\Delta}^{\,*}_{h}= \underline{\Delta}^*_{\,h}=:\Delta^*_{\,h}$. Величина $\Delta_{h}(\Lambda)$ называется $h$-плотностью последовательности $\Lambda$, а величина $\Delta^*_{\,h}=\Delta^*_{\,h}(\Lambda)$ – ее усредненной $h$-плотностью. Наконец, определим величины $\widehat{f}_n$ – “спрямленные по Адамару” коэффициенты степенного разложения (1.1). Пусть $y=G(x)$, $x\geqslant0$, задает уравнение границы выпуклой оболочки множества точек
$$
\begin{equation*}
(n,-\ln |f_n|)\in \mathbb{R}^2,\qquad n\in\mathbb N_0=\mathbb N\cup\{0\}.
\end{equation*}
\notag
$$
Возникающая кусочно линейная конструкция называется ломаной Ньютона–Адамара. Положим $\widehat{f}_n=e^{-G(n)}$, $n\in\mathbb N_0$, и обозначим $R_0=1$, $R_n=\widehat{f}_{n-1}/\widehat{f}_n$, $n\in\mathbb N$. Как мы убедимся позже, последовательность $\Lambda$ нулей функции (1.1) удобно связать именно с новой последовательностью $\{R_n\}_{n\in\mathbb{N}_0}$, построенной на основе исходной последовательности $\Phi$ тейлоровских коэффициентов. Возрастание значений $R_n=\widehat{f}_{n-1}/\widehat{f}_n$ означает по определению логарифмическую выпуклость последовательности $\{1/\widehat{f}_n\}_{n\in\mathbb{N}_0}$. Кроме того, если последовательность $\{1/|f_n|\}_{n\in\mathbb{N}_0}$ логарифмически выпукла, то $|f_n|=\widehat{f}_n$ для всех $n\in\mathbb{N}_0$. В общем случае такое равенство имеет место в абсциссах вершин ломаной Ньютона–Адамара, но возможно, не только в них. Именно, для всех $n\in\mathbb{N}_0$ выполняется неравенство $|f_n|\leqslant\widehat{f}_{n}$, причем $|f_{n_k}|=\widehat{f}_{n_k}$, $k\in\mathbb{N}$. Здесь $n_k$ – абсциссы вершин ломаной, которые согласно Валирону [1] называются центральными индексами ряда (1.1). Отметим одно полезное свойство таких индексов. Лемма 1. Пусть $n_k$ – центральные индексы ряда (1.1), а положительная последовательность $\varphi_n$ логарифмически выпукла. Тогда справедливы равенства1[x]1Равенство $\varliminf_{n\to\infty} \sqrt[n]{|f_n|\varphi_n}= \varliminf_{n\to\infty}\sqrt[n]{\widehat{f}_{n}\varphi_n}(>0)$ в общем случае места не имеет, так как последовательность $\Phi=\{f_n\}_{n\in\mathbb{N}_0}$ может содержать подпоследовательность, состоящую из нулей.
$$
\begin{equation*}
\varlimsup_{n\to\infty}\sqrt[n]{\widehat{f}_{n}\varphi_n}= \varlimsup_{k\to\infty}\sqrt[n_k]{|f_{n_k}|\varphi_{n_k}}= \varlimsup_{n\to\infty}\sqrt[n]{|f_n|\varphi_n}\,.
\end{equation*}
\notag
$$
Доказательство. Введем функцию $\varphi(x)$, график логарифма которой состоит из прямолинейных отрезков, соединяющих последовательно точки $(n,\ln\varphi_n)$, $n\in\mathbb{N}$. Функция $\ln\varphi(x)-G(x)$ является выпуклой на каждом отрезке $[n_kn_{k+1}]$, $k\in\mathbb{N}$, в силу линейности $G(x)$ на нем. Следовательно, отношение $(\ln\varphi(x)-G(x))/x$ свое максимальное значение на любом из упомянутых отрезков принимает в концевых точках отрезка. Но $|f_{n_k}|=\widehat{f}_{n_k}$ при любом $k\in\mathbb{N}$. Поэтому заявленные в лемме равенства вытекают из цепочки соотношений
$$
\begin{equation*}
\begin{aligned} \, \varlimsup_{n\to\infty}\sqrt[n]{\widehat{f}_{n}\,\varphi_n}&= \varlimsup_{k\to\infty}\,\max_{n\in[n_k,\,n_{k+1}]} e^{(\ln\varphi_n-G(n))/n} \\ &=\varlimsup_{k\to\infty} \sqrt[n_k]{|f_{n_k}|\,\varphi_{n_k}} \leqslant\varlimsup_{n\to\infty} \sqrt[n]{|f_n|\,\varphi_n} \leqslant\varlimsup_{n\to\infty}\sqrt[n]{\widehat{f}_{n}\varphi_n}. \end{aligned}
\end{equation*}
\notag
$$
2. Основные результаты В недавней работе автора [2] доказаны следующие оценки снизу, характеризующие взаимный рост нулей и коэффициентов целой функции. Теорема A. Нули и тейлоровские коэффициенты, спрямленные по Адамару, произвольной целой функции с бесконечным числом нулей удовлетворяют неравенствам
$$
\begin{equation*}
\begin{alignedat}{2} &\varliminf_{n\to\infty}\sqrt[n]{\widehat{f}_n |\lambda_{1}\lambda_{2}\cdots\lambda_{n}|}\geqslant 1,&&\qquad \varlimsup_{n\to\infty}\frac{|\lambda_{n}|} {\widehat{f}_{n-1}/\widehat{f}_n}\geqslant 1, \\ &\varliminf_{n\to\infty}|\lambda_{n}|\sqrt[n]{\widehat{f}_n} \geqslant e^{\varliminf_{r\to+\infty}(N(r)/n(r))}, &&\qquad \varlimsup_{n\to\infty} |\lambda_{n+1}| \sqrt[n]{\widehat{f}_n} \geqslant e^{\varlimsup_{r\to+\infty}(N(r)/n(r))}. \end{alignedat}
\end{equation*}
\notag
$$
Эти общие результаты в конкретных ситуациях могут не достигать необходимой точности. Наша цель – уточнить оценки теоремы A для целых функций положительного порядка конечного $h$-типа, определенного в (1.2). Кроме того, мы докажем некоторые неравенства противоположного смысла и укажем классы целых функций, на которых все оценки достигаются. Всюду в дальнейшем предполагается, что вес $h(r)$ удовлетворяет условию (1.3). Теорема 1. Пусть $h$-тип целой функции $f$ нормален, т.е. удовлетворяет условию $0<T_h<+\infty$. Тогда ее нули и спрямленные по Адамару тейлоровские коэффициенты связаны неравенствами
$$
\begin{equation}
\biggl(\max\biggl\{\frac{t_h}{\underline{\Delta}^{*}_{\,h}}\,, \frac{T_h}{\overline{\Delta}^{\,*}_{h}}\biggr\}\biggr)^{1/\rho} \leqslant\varlimsup_{n\to\infty} \sqrt[n]{|f_n\lambda_1\lambda_2\dots\lambda_n|}\leqslant \biggl(\frac{T_h}{\underline{\Delta}^{*}_{\,h}}\biggr)^{1/\rho},
\end{equation}
\tag{2.1}
$$
$$
\begin{equation}
\biggl(\frac{t_h}{\overline{\Delta}^{\,*}_{h}}\biggr)^{1/\rho} \leqslant\varliminf_{n\to\infty} \sqrt[n]{\widehat{f}_n|\lambda_1\lambda_2\dots\lambda_n|}\leqslant \biggl(\min\biggl\{\frac{t_h}{\underline{\Delta}^{*}_{\,h}}\,, \frac{T_h}{\overline{\Delta}^{\,*}_{h}}\biggr\}\biggr)^{1/\rho}.
\end{equation}
\tag{2.2}
$$
Доказательство. Согласно известному неравенству Йенсена имеем
$$
\begin{equation*}
\ln\frac{r^n}{|\lambda_1 \lambda_2\dots\lambda_n|}\leqslant \ln M_f(r),\qquad n\in\mathbb{N},\quad r>0.
\end{equation*}
\notag
$$
Левая часть здесь при $n=n(r)$ представляет собой усредненную считающую функцию нулей $N(r)$. Поэтому
$$
\begin{equation*}
N(r)\leqslant \ln M_f(r),\qquad r>0.
\end{equation*}
\notag
$$
Поделив обе части неравенства на $h(r)$ и перейдя к нижнему и верхнему пределам, получим оценки
$$
\begin{equation}
\underline{\Delta}^{*}_{\,h}(\Lambda)\leqslant t_{h}(f),\qquad \overline{\Delta}^{\,*}_{h}(\Lambda)\leqslant T_{h}(f).
\end{equation}
\tag{2.3}
$$
Поскольку величина $T_h(f)$ конечна, то из второго неравенства (2.3) следует, что конечна и верхняя усредненная $h$-плотность нулей $\overline{\Delta}^{\,*}_{h}(\Lambda)$. Рассмотрим вспомогательную целую функцию
$$
\begin{equation}
F(z)=\sum_{n=0}^{\infty} \frac{z^n}{\lambda_1\lambda_2\dots\lambda_n}\,,\qquad z\in\mathbb{C},
\end{equation}
\tag{2.4}
$$
построенную по нулям целой функции $f$, и заметим, что величина
$$
\begin{equation*}
N(r)=\ln\dfrac{r^n}{|\lambda_1\lambda_2\dots\lambda_n|}\,,\qquad n=n(r),\quad r>0,
\end{equation*}
\notag
$$
является логарифмом максимального члена функции $F$, заданной степенным разложением (2.4). Поэтому $F$ является функцией конечного порядка, логарифм максимального члена которой эквивалентен при $r\to+\infty$ логарифму ее максимума модуля. Отсюда следует, что $h$-тип функции $F$ совпадает с усредненной $h$-плотностью нулей функции $f$, а ее нижний $h$-тип – c нижней усредненной $h$-плотностью нулей функции $f$. Следовательно, $h$-тип и нижний $h$-тип функций $f$ и $F$ относительно веса $h(r)$ вычисляются единообразно по формулам
$$
\begin{equation}
\begin{aligned} \, (T_h\,e\rho)^{1/\rho}&= \varlimsup_{n\to\infty} k(n)\sqrt[n]{\widehat{f}_n}= \varlimsup_{n\to\infty} k(n)\sqrt[n]{|f_n|}\,, \\ (t_h\,e\rho)^{1/\rho}&= \varliminf_{n\to\infty} k(n)\sqrt[n]{\widehat{f}_n}\,, \end{aligned}
\end{equation}
\tag{2.5}
$$
и, соответственно,
$$
\begin{equation}
\begin{aligned} \, (\overline{\Delta}^{\,*}_{h}e\rho)^{1/\rho}&= \varlimsup_{n\to\infty} \frac{k(n)}{\sqrt[n]{|\lambda_1\lambda_2\dots\lambda_n|}}\,, \\ (\underline{\Delta}^{*}_{\,h}e\rho)^{1/\rho}&= \varliminf_{n\to\infty} \frac{k(n)}{\sqrt[n]{|\lambda_1\lambda_2\dots\lambda_n|}}\,, \end{aligned}
\end{equation}
\tag{2.6}
$$
где $k(n)$ – значения функции, обратной к $h(r)$ (см. [ 3]). Мы учли в (2.6), что последовательность чисел $|\lambda_1\lambda_2\dots\lambda_n|$ логарифмически выпукла. Отметим также, что существование пределов в формулах (2.5) равносильно совершенной регулярности роста функции $f$, заданной рядом (1.1), а существование пределов в (2.6) эквивалентно измеримости последовательности ее нулей. Сочетая формулы (2.5), (2.6), получим
$$
\begin{equation*}
\begin{aligned} \, \varlimsup_{n\to\infty} \sqrt[n]{\widehat{f}_n\,|\lambda_1\lambda_2\dots\lambda_n|}\geqslant \frac{\varliminf_{n\to\infty} k(n)\sqrt[n]{\widehat{f}_n}} {\varliminf_{n\to\infty} (k(n)/\sqrt[n]{|\lambda_1\lambda_2\dots\lambda_n|})}= \frac{(t_h\,e\rho)^{1/\rho}} {(\underline{\Delta}^{*}_{\,h}\,e\rho)^{1/\rho}}= \biggl(\frac{t_h}{\underline{\Delta}^{*}_{\,h}}\biggr)^{1/\rho}, \\ \varlimsup_{n\to\infty} \sqrt[n]{\widehat{f}_n|\lambda_1\lambda_2\dots\lambda_n|}\geqslant \frac{\varlimsup_{n\to\infty}k(n)\sqrt[n]{\widehat{f}_n}} {\varlimsup_{n\to\infty} (k(n)/\sqrt[n]{|\lambda_1\lambda_2\dots\lambda_n|})}= \frac{(T_h\,e\rho)^{1/\rho}} {(\overline{\Delta}^{\,*}_{h}e\rho)^{1/\rho}}= \biggl(\frac{T_h}{\overline{\Delta}^{\,*}_{h}}\biggr)^{1/\rho}. \end{aligned}
\end{equation*}
\notag
$$
Этим доказана левая часть двойного неравенства (2.1). Правая часть этого неравенства выводится аналогичным образом:
$$
\begin{equation*}
\varlimsup_{n\to\infty} \sqrt[n]{\widehat{f}_n|\lambda_1\lambda_2\dots\lambda_n|}\leqslant \frac{\varlimsup_{n\to\infty}k(n)\sqrt[n]{\widehat{f}_n}} {\varliminf_{n\to\infty} (k(n)/\sqrt[n]{|\lambda_1\lambda_2\dots\lambda_n|})}= \frac{(T_h\,e\rho)^{1/\rho}}{(\overline{\Delta}^{\,*}_{h} e\rho)^{1/\rho}}= \biggl(\frac{T_h}{\underline{\Delta}^{*}_{\,h}}\biggr)^{1/\rho}.
\end{equation*}
\notag
$$
Из близких соображений выводим и остальные неравенства. Например, левая часть двусторонней оценки (2.2) доказывается так:
$$
\begin{equation*}
\varliminf_{n\to\infty} \sqrt[n]{\widehat{f}_n|\lambda_1\lambda_2\dots\lambda_n|}\geqslant \frac{\varliminf_{n\to\infty} k(n)\sqrt[n]{\widehat{f}_n}} {\varlimsup_{n\to\infty} (k(n)/\sqrt[n]{|\lambda_1\lambda_2\dots\lambda_n|})}= \frac{(t_h e\rho)^{1/\rho}} {(\overline{\Delta}^{\,*}_{h}e\rho)^{1/\rho}}= \biggl(\frac{t_h}{\overline{\Delta}^{\,*}_{h}}\biggr)^{1/\rho}.
\end{equation*}
\notag
$$
Для завершения доказательства осталось применить лемму, чтобы в верхнем пределе заменить $\widehat{f}_{n}$ на $|f_n|$ и получить двустороннюю оценку (2.1). Требование нормальности величины типа целой функции в условии теоремы обеспечивает содержательность полученных в ней оценок. Теорема 1 доказана. Замечание 1. Если $a=0$ является исключительным по Борелю2[x]2Значение $a\in\mathbb{C}$ называется исключительным по Борелю для целой функции $f$, если категория роста считающей функции множества ее $a$-точек ниже категории роста $\ln M_f(r)$ (см. [4; c. 62, 69]). значением целой функции $f$, то порядок $\rho\in\mathbb{N}$, и справедливо представление
$$
\begin{equation*}
f(z)=e^{\,cz^\rho}\psi(z),
\end{equation*}
\notag
$$
где $c\in\mathbb{C}\setminus\{0\}$, $\psi(z)$ – целая функция минимального $h$-типа. В этом случае имеем $t_h=T_h=|c|$, $\underline{\Delta}^{*}_{\,h}=\overline{\Delta}^{\,*}_{h}=0$, а также (ср. с (2.2))
$$
\begin{equation*}
\lim_{n\to\infty} \sqrt[n]{\widehat{f}_n|\lambda_1\lambda_2\dots\lambda_n|}=+\infty.
\end{equation*}
\notag
$$
Формулы (2.1), (2.2) теоремы 1 существенно упростятся, если оба неравенства (2.3) превратятся в равенства. Существование целых функций положительного порядка со свойством
$$
\begin{equation}
t_h=\underline{\Delta}^{*}_{\,h},\qquad T_h=\overline{\Delta}^{\,*}_{h}
\end{equation}
\tag{2.7}
$$
доказано в работе [5] для стандартного веса $h(r)=r^\rho$ при любом $\rho>0$. В таком случае можно выбрать $t_h<T_h$, что влечет $\underline{\Delta}^{*}_{\,h}<\overline{\Delta}^{\,*}_{h}$, и конструкция [5] для произвольного $\rho>0$ дает пример функции со свойством (2.7), не имеющей совершенно регулярного роста, с неизмеримой последовательностью нулей. На классе таких функций имеем
$$
\begin{equation*}
\begin{gathered} \, 1\leqslant\varlimsup_{n\to\infty} \sqrt[n]{|f_n\lambda_1\lambda_2\dots\lambda_n|}\leqslant \biggl(\frac{\overline{\Delta}^{\,*}_{h}} {\underline{\Delta}^{*}_{\,h}}\biggr)^{1/\rho}, \qquad \biggl(\frac{\underline{\Delta}^{*}_{\,h}} {\overline{\Delta}^{\,*}_{h}}\biggr)^{1/\rho}\leqslant \varliminf_{n\to\infty} \sqrt[n]{\widehat{f}_n|\lambda_1\lambda_2\dots\lambda_n|} \leqslant 1. \end{gathered}
\end{equation*}
\notag
$$
Отметим также простой результат, действующий в двух достаточно “регулярных” ситуациях: $t_h=T_h$ и $\underline{\Delta}^{*}_{\,h}=\overline{\Delta}^{\,*}_{h}$. Эти ситуации различны, ибо ни одно из указанных равенств не влечет другое (см., например, [6]). Теорема 2. Пусть выполнены все условия теоремы 1. Тогда справедливы следующие утверждения. 1. Если функция $f$, заданная рядом (1.1), имеет совершенно регулярный рост относительно $h(r)$, то
$$
\begin{equation*}
\varlimsup_{n\to\infty} \sqrt[n]{|f_n\lambda_1\lambda_2\dots\lambda_n|}= \biggl(\frac{T_h} {\underline{\Delta}^{*}_{\,h}}\biggr)^{1/\rho},\qquad \varliminf_{n\to\infty} \sqrt[n]{\widehat{f}_n\,|\lambda_1\lambda_2\dots\lambda_n|}= \biggl(\frac{T_h}{\overline{\Delta}^{\,*}_{h}}\biggr)^{1/\rho}.
\end{equation*}
\notag
$$
2. Если последовательность нулей функции $f$ измерима, то
$$
\begin{equation*}
\varlimsup_{n\to\infty} \sqrt[n]{|f_n\,\lambda_1\lambda_2\dots\lambda_n|}= \biggl(\frac{T_h}{\overline{\Delta}^{\,*}_{h}}\biggr)^{1/\rho},\qquad \varliminf_{n\to\infty} \sqrt[n]{\widehat{f}_n\,|\lambda_1\lambda_2\dots\lambda_n|}= \biggl(\frac{t_h}{\overline{\Delta}^{\,*}_{h}}\biggr)^{1/\rho}.
\end{equation*}
\notag
$$
Следующий результат гарантирует существование предела в теореме 1 для более узкого (но весьма важного) класса, состоящего из целых функций вполне регулярного роста в смысле Левина–Пфлюгера [7]. Напомним, что речь идет о функциях, для которых существует предел
$$
\begin{equation*}
H_h(\theta)=\lim_{r\notin E,r\to+\infty} \frac{\ln|f(re^{i\theta})|}{h(r)}\,,\qquad \theta\in[0,2\pi],
\end{equation*}
\notag
$$
где $E$ – $C_0$-множество (подробности см. в [7]). Функция $H_h(\theta)$ называется $h$-индикатором целой функции $f$. Обозначим
$$
\begin{equation}
I_h:=\frac{1}{2\pi}\int^{2\pi}_{0}H_h(\theta)\,d\theta.
\end{equation}
\tag{2.8}
$$
Теорема 3. Спрямленные по Адамару коэффициенты и нули целой функции конечного положительного $h$-типа и вполне регулярного роста удовлетворяют условию
$$
\begin{equation}
\begin{aligned} \, \exists\lim_{n\to\infty} \sqrt[n]{\widehat{f}_n|\lambda_1\lambda_2\dots\lambda_n|}= \biggl(\frac{T_h}{I_h}\biggr)^{1/\rho}. \end{aligned}
\end{equation}
\tag{2.9}
$$
В частности, если $h$-индикатор функции постоянен, то выполняется равенство
$$
\begin{equation}
\begin{aligned} \, \lim_{n\to\infty} \sqrt[n]{\widehat{f}_n|\lambda_1\lambda_2\dots\lambda_n|}=1. \end{aligned}
\end{equation}
\tag{2.10}
$$
Доказательство. Из формулы Йенсена
$$
\begin{equation*}
N(r)=\frac{1}{2\pi}\int^{2\pi}_{0} \ln|f(re^{i\theta})|\,d\theta,\qquad r>0,
\end{equation*}
\notag
$$
записанной при условии $f(0)=1$, теперь следует оценка, уточняющая правое неравенство в (2.3). Именно,
$$
\begin{equation*}
\overline{\Delta}^{\,*}_{h}\leqslant\frac{1}{2\pi}\int^{2\pi}_{0} H_h(\theta)\,d\theta=I_h\leqslant T_{h}.
\end{equation*}
\notag
$$
Как известно (см. [7; теорема 3, с. 224]), равенство
$$
\begin{equation}
\underline{\Delta}_{\,h}=\frac{1}{2\pi}\int^{2\pi}_{0} H_h(\theta)\,d\theta
\end{equation}
\tag{2.11}
$$
имеет место для функций вполне регулярного роста и только для них. Следовательно, плотности последовательности нулей такой функции и величина (2.8) связаны цепочкой неравенств
$$
\begin{equation}
\underline{\Delta}_{\,h}\leqslant \underline{\Delta}^{*}_{\,h}\leqslant \overline{\Delta}^{\,*}_{h}\leqslant I_{h}=\underline{\Delta}_{\,h}.
\end{equation}
\tag{2.12}
$$
Другими словами, все фигурирующие в (2.12) величины равны между собой. В частности,
$$
\begin{equation*}
\underline{\Delta}^{*}_{\,h}=\overline{\Delta}^{\,*}_{h}=I_{h}.
\end{equation*}
\notag
$$
Учитывая, что вполне регулярный рост целой функции влечет ее совершенно регулярный рост, имеем $T_h=t_h$. Подстановка полученных равенств в оценки (2.1), (2.2) приводит к формуле (2.9). Последнее утверждение теоремы следует из того, что для функции вполне регулярного роста с постоянным $h$-индикатором имеем $H_h(\theta)\equiv T_h$ при всех $\theta\in[0,2\pi]$. Следовательно, $I_h=T_h$, что влечет (2.10). Теорема доказана. Следствие 1. Пусть последовательность нулей целой функции (1.1) измерима и удовлетворяет условию
$$
\begin{equation}
\begin{aligned} \, |\lambda_n|\sim\frac{\widehat{f}_{n-1}}{\widehat{f}_n}\,,\qquad n\to\infty. \end{aligned}
\end{equation}
\tag{2.13}
$$
Тогда $f$ есть функция вполне регулярного роста в смысле Левина–Пфлюгера с постоянным $h$-индикатором $H_h(\theta)\equiv T_h$, $\theta\in[0,2\pi]$. Доказательство. Соотношение (2.10) выводится из (2.13) с помощью теоремы Штольца:
$$
\begin{equation*}
\lim_{n\to\infty} \sqrt[n]{\widehat{f}_n|\lambda_1\lambda_2\dots\lambda_n|} =\lim_{n\to\infty} \sqrt[n]{\frac{|\lambda_1\lambda_2\dots\lambda_n|}{R_1R_2\dots R_n}} =\lim_{n\to\infty}\frac{|\lambda_n|}{R_n}=1.
\end{equation*}
\notag
$$
Из условия (2.10) извлекаем эквивалентность $\sqrt[n]{\widehat{f}_n}\sim \sqrt[n]{1/|\lambda_1\lambda_2\dots\lambda_n|}$ , $n\to\infty$, которая с помощью формул (2.5), (2.6) приводит к равенствам
$$
\begin{equation*}
T_h=\overline{\Delta}^{\,*}_{h}, \qquad t_h=\underline{\Delta}^{*}_{\,h}.
\end{equation*}
\notag
$$
Учитывая неравенство $\overline{\Delta}^{\,*}_{h}\leqslant T_h$ и измеримость последовательности нулей, заключаем, во-первых, что $\overline{\Delta}^{\,*}_{h}=I_h$, и, во-вторых, что $\underline{\Delta}_{\,h}=I_h$. Последнее влечет по цитированной выше теореме Левина полную регулярность роста рассматриваемой функции. Все доказано. Замечание 2. Как видно из доказательства, утверждение теоремы останется в силе, если требование измеримости последовательности нулей целой функции заменить на требование совершенной регулярности ее роста. Неожиданным (по крайней мере, для автора) оказался тот факт, что условия только на модули тейлоровских коэффициентов и на модули нулей целой функции влекут полную регулярность ее роста, означающую наличие угловой плотности у последовательности нулей. Связь коэффициентов целой функции с ее нулями можно выражать также, используя $h$-плотности нулей вместо усредненных $h$-плотностей. Для этого применяем вместо (2.6) следующие формулы для $h$-плотностей:
$$
\begin{equation}
(\overline{\Delta}_{h}\rho)^{1/\rho}= \varlimsup_{n\to\infty}\frac{k(n)}{|\lambda_n|}\,, \qquad (\underline{\Delta}_{\,h}\rho)^{1/\rho}= \varliminf_{n\to\infty}\frac{k(n)}{|\lambda_n|}\,,
\end{equation}
\tag{2.14}
$$
где $k(n)$ – значения функции, обратной к $h(r)$. Теорема 4. Нули и спрямленные по Адамару тейлоровские коэффициенты целой функции нормального $h$-типа связаны неравенствами
$$
\begin{equation}
\biggl(\max\biggl\{\frac{t_h e}{\underline{\Delta}_{\,h}}\,, \frac{T_he}{\overline{\Delta}_{h}}\biggr\}\biggr)^{1/\rho}\leqslant \varlimsup_{n\to\infty}|\lambda_n|\sqrt[n]{|f_n|}\leqslant \biggl(\frac{T_he}{\underline{\Delta}_{\,h}}\biggr)^{1/\rho},
\end{equation}
\tag{2.15}
$$
$$
\begin{equation}
\biggl(\frac{t_h e}{\overline{\Delta}_{h}}\biggr)^{1/\rho}\leqslant \varliminf_{n\to\infty}|\lambda_n|\sqrt[n]{\widehat{f}_n}\leqslant \biggl(\min\biggl\{\frac{t_h e}{\underline{\Delta}_{\,h}}\,, \frac{T_h e}{\overline{\Delta}_{h}}\biggr\}\biggr)^{1/\rho}.
\end{equation}
\tag{2.16}
$$
Если функция $f$, заданная рядом (1.1), имеет совершенно регулярный рост относительно $h(r)$, то выполняются равенства
$$
\begin{equation*}
\varlimsup_{n\to\infty}|\lambda_n|\sqrt[n]{|f_n|}= \biggl(\frac{T_h e}{\underline{\Delta}_{\,h}}\biggr)^{1/\rho}, \qquad \varliminf_{n\to\infty}|\lambda_n|\sqrt[n]{\widehat{f}_n}= \biggl(\frac{T_h e}{\overline{\Delta}_{h}}\biggr)^{1/\rho}.
\end{equation*}
\notag
$$
Если последовательность нулей функции $f$ измерима, то справедливы равенства
$$
\begin{equation*}
\varlimsup_{n\to\infty}|\lambda_n|\sqrt[n]{|f_n|}= \biggl(\frac{T_h e}{\Delta_h}\biggr)^{1/\rho},\qquad \varliminf_{n\to\infty}|\lambda_n|\sqrt[n]{\widehat{f}_n}= \biggl(\frac{t_h e}{\Delta_h}\biggr)^{1/\rho}.
\end{equation*}
\notag
$$
Если функция имеет совершенно регулярный рост относительно $h(r)$ и измеримую последовательность нулей, то выполняется равенство
$$
\begin{equation*}
\lim_{n\to\infty}|\lambda_n|\sqrt[n]{\widehat{f}_n}= \biggl(\frac{T_h e}{\Delta_h}\biggr)^{1/\rho}.
\end{equation*}
\notag
$$
Доказательство. Доказательство аналогично доказательству теоремы 1. Поэтому приведем лишь основные моменты. Верны соотношения
$$
\begin{equation*}
\begin{aligned} \, \varlimsup_{n\to\infty} |\lambda_n|\sqrt[n]{|f_n|} &\geqslant \frac{\varlimsup_{n\to\infty} k(n) \sqrt[n]{|f_n|}}{\varlimsup_{n\to\infty}(k(n)/|\lambda_n|)}= \biggl(\frac{T_he\rho}{\overline{\Delta}_{\,h}\rho}\biggr)^{1/\rho}= \biggl(\frac{T_h e}{\overline{\Delta}_{\,h}}\biggr)^{1/\rho}, \\ \varlimsup_{n\to\infty} |\lambda_n|\sqrt[n]{|f_n|} &\geqslant \frac{\varliminf_{n\to\infty}k(n)\sqrt[n]{\widehat{f}_n}} {\varliminf_{n\to\infty}(k(n)/|\lambda_n|)}= \biggl(\frac{t_he\rho}{\underline{\Delta}_{\,h}\rho}\biggr)^{1/\rho}= \biggl(\frac{t_h e}{\underline{\Delta}_{\,h}}\biggr)^{1/\rho}, \\ \varlimsup_{n\to\infty} |\lambda_n|\sqrt[n]{|f_n|} &\leqslant \frac{\varlimsup_{n\to\infty}k(n)\sqrt[n]{|f_n|}} {\varliminf_{n\to\infty}(k(n)/|\lambda_n|)}= \biggl(\frac{T_he\rho}{\underline{\Delta}_{\,h}\rho}\biggr)^{1/\rho}= \biggl(\frac{T_h e}{\underline{\Delta}_{\,h}}\biggr)^{1/\rho}. \end{aligned}
\end{equation*}
\notag
$$
Этим доказаны оценки (2.15). Отметим также, что в приведенных оценках реализуются знаки равенств, если в правых частях этих оценок существует хотя бы один из пределов (вместо верхних и нижних). Оценки (2.16) доказываются аналогично. Остальные утверждения теоремы 4 являются следствием уже доказанного, поскольку равенство $T_h=t_h$ эквивалентно существованию пределов в формулах (2.5), а равенство $\overline{\Delta}_{\,h}=\underline{\Delta}_{\,h}$ эквивалентно существованию пределов в формулах (2.14). Из теоремы 4 вытекает следующий результат. Теорема 5. Пусть выполнены условия теоремы 4 и существует предел
$$
\begin{equation*}
\lim_{n\to\infty} |\lambda_n|\sqrt[n]{\widehat{f}_n }=e^{1/\rho}.
\end{equation*}
\notag
$$
Тогда справедливы равенства $T_h=\overline{\Delta}_{\,h}$, $t_h=\underline{\Delta}_{\,h}$, а функция $f$ имеет постоянный индикатор $H(\theta) \equiv T_h$, $\theta\in[0,2\pi]$. Если $f$ обладает измеримой последовательностью нулей или имеет совершенно регулярный рост, то она является функцией вполне регулярного роста в смысле Левина–Пфлюгера. Доказательство. В самом деле, применяя формулы (2.5) и (2.14), имеем
$$
\begin{equation*}
(T_h e \rho)^{1/\rho}=\varlimsup_{n\to\infty} k(n)\sqrt[n]{\widehat{f}_n}=\lim_{n\to\infty} |\lambda_n| \sqrt[n]{\widehat{f}_n}\varlimsup_{n\to\infty} \frac{k(n)}{|\lambda_n|}= (e\rho\overline{\Delta}_{h})^{1/\rho}.
\end{equation*}
\notag
$$
Отсюда выводим $T_h=\overline{\Delta}_{h}$. Равенство $t_h=\underline{\Delta}_{\,h}$ доказывается аналогично. Далее, из условия теоремы и неравенств
$$
\begin{equation*}
\overline{\Delta}_{h}\leqslant\overline{\Delta}^{\,*}_{h}\leqslant \frac{1}{2\pi}\int^{2\pi}_{0}H_h(\theta)\,d\theta= I_h\leqslant T_{h}=\overline{\Delta}_{h}
\end{equation*}
\notag
$$
заключаем, что
$$
\begin{equation*}
\frac{1}{2\pi}\int^{2\pi}_{0}H_h(\theta)\,d\theta=T_{h}.
\end{equation*}
\notag
$$
В силу непрерывности индикатора это возможно, лишь когда индикатор постоянен и $H(\theta) \equiv T_h$, $\theta\in[0,2\pi]$. Последнее утверждение теоремы следует из теоремы Левина [7; теорема 3, с. 224], уже цитированной нами. Отметим, что нулевое множество целой функции вполне регулярного роста с постоянным индикатором представляет собой пример множества единственности для определенных классов целых функций. Поясним сказанное. Пусть $\Lambda=(\lambda_n)_{n\in\mathbb{N}}$ – последовательность комплексных чисел, стремящаяся к бесконечности. Следуя [8], символом $T^{\ast}(\Lambda,h)$ обозначим точную нижнюю грань чисел $T>0$, при которых $\Lambda$ является подпоследовательностью последовательности всех нулей для какой-либо отличной от тождественного нуля целой функции $f(z)$, имеющей $h$-тип $T_h=T$. Пусть $\overline{T}>0$. Обозначим через $[h,\overline{T})$ (линейное) множество целых функций, имеющих $h$-тип $T_h<\overline{T}$. Из определения величины $T^{\ast}(\Lambda,h)$ следует, что две функции из множества $[h,T^{\ast}(\Lambda,h))$, совпадающие на последовательности $\Lambda$3[x]3В кратных точках совпадают и значения соответствующих производных., совпадают на всей комплексной плоскости4[x]4Достаточно рассмотреть разность этих функций.. Поэтому имеет смысл найти условия на последовательность $\Lambda$, позволяющие вычислить величину $T^{\ast}(\Lambda,h)$. Одно из таких условий предоставляет следствие 1 из теоремы 3, поскольку оно гарантирует, что каноническое произведение Вейерштрасса
$$
\begin{equation*}
W(z)=\prod_{n=1}^\infty\biggl(1-\frac{z}{\lambda_{n}}\biggr) e^{z/\lambda_n+\cdots+z^{p}/\lambda^{p}_n}, \qquad z\in\mathbb{C},\quad p=[\rho]{}-{}\text{целая часть числа } \rho,
\end{equation*}
\notag
$$
построенное по последовательности $\Lambda$, имеет $h$-тип (обозначим его $T_W$), совпадающий с $T^{\ast}(\Lambda,h)$. Покажем это. Пусть $f(z)$ – целая функция, обращающаяся в нуль на последовательности $\Lambda$. Тогда можем записать $f(z)=W(z)g(z)$ с некоторой целой функцией $g(z)$. Поскольку $W(z)$ имеет вполне регулярный рост, то индикатор произведения функций $W(z)$ и $g(z)$ равен сумме их индикаторов. Учитывая, что $h$-тип есть наибольшее значение $h$-индикатора, при некотором $\theta_0\in[0,2\pi]$ получаем
$$
\begin{equation*}
T_f\geqslant H_f(\theta_0)=H_W(\theta_0)+H_g(\theta_0)= T_W+H_g(\theta_0)\geqslant T_W, \quad\text{т.е.}\quad T_f\geqslant T_W.
\end{equation*}
\notag
$$
Здесь нижний индекс у характеристик роста ($h$-тип и $h$-индикатор) указывает на функцию, к которой эта характеристика относится. Доказанное неравенство влечет оценку $T_W \leqslant T^{\ast}(\Lambda,h)$. Противоположная оценка вытекает из определения $T^{\ast}(\Lambda,h)$. Поэтому $T_W =T^{\ast}(\Lambda,h)$, что позволяет вычислить эту величину непосредственно по последовательности корней $\Lambda=\{\lambda_n\}_{n\in\mathbb{N}}$. Действительно, согласно формуле (2.6) имеем
$$
\begin{equation*}
T^{\ast}(\Lambda,h)=\frac{1}{e\rho}\biggl(\varlimsup_{n\to\infty} \frac{k(n)} {\sqrt[n]{|\lambda_1\lambda_2\dots\lambda_n|}}\biggr)^{\rho}.
\end{equation*}
\notag
$$
Осталось убедиться, что целые функции с указанными выше свойствами существуют. Для этого нам понадобится один результат о лакунарных степенных рядах из “свежей” работы [2]. Сформулируем его в сокращенном виде, чтобы не отвлекаться на ненужные здесь тонкости. Теорема B. Пусть целая функция представима рядом
$$
\begin{equation}
f(z)=\sum_{k=0}^{\infty}f_{n_k}z^{n_k},\qquad f_{n_k}\ne 0,\quad k\in\mathbb{N}_0,
\end{equation}
\tag{2.17}
$$
в котором $n_k$ – центральные индексы и $\gamma_k:=n_{k}-n_{k-1}\to\infty$ при $k\to\infty$. Если выполнено условие
$$
\begin{equation}
\frac{R_{n_{k+1}}}{R_{n_{k}}}\geqslant \biggl(1+\frac{\ln\gamma_k}{\gamma_k}\biggr)^{2},\qquad k\geqslant k_0,
\end{equation}
\tag{2.18}
$$
то нули и спрямленные по Адамару коэффициенты функции (2.17) связаны асимптотическим соотношением
$$
\begin{equation*}
|\lambda_n|\sim R_n,\qquad n\to\infty.
\end{equation*}
\notag
$$
Рассмотрим теперь целую функцию, заданную рядом
$$
\begin{equation*}
f(z)=\sum_{k=0}^{\infty}\frac{z^{n_k}}{(n_k!)^{1/\rho}}\,,\qquad z\in\mathbb{C}.
\end{equation*}
\notag
$$
Возрастающую последовательность натуральных чисел $n_k$ выберем позже. При любом выборе этой последовательности функция $f(z)$ имеет при порядке $\rho$ и $h(r)=r^\rho$ тип $T_h=1/\rho$. Действительно, применяя первую формулу из (2.5), имеем
$$
\begin{equation*}
\begin{aligned} \, (T_he\rho)^{1/\rho}&=\varlimsup_{n\to\infty}n^{1/\rho} \sqrt[n]{|f|_n}=\lim_{k\to\infty}n_k^{1/\rho} \sqrt[\,n_k]{\frac{1}{(n_k!)^{1/\rho}}} \\ &=\lim_{k\to\infty}n_k^{1/\rho} \sqrt[n_k]{\biggl(\frac{e}{n_k}\biggr)^{n_k/\rho} \frac{1}{\sqrt[2\rho]{2\pi n_k}}}=e^{1/\rho}. \end{aligned}
\end{equation*}
\notag
$$
Напомним, что согласно нашим обозначениям
$$
\begin{equation*}
R_{n_k}=\biggl|\frac{f_{n_{k}-1}}{f_{n_k}}\biggr|= \biggl|\frac{f_{n_{k-1}}}{f_{n_k}}\biggr|^{1/\gamma_k},\qquad k\in\mathbb{N}.
\end{equation*}
\notag
$$
Положим $n_k=[k^\alpha]$, $\alpha>2$ ($[\,\cdot\,]$ – целая часть числа), и вычислим $R_{n_k}$ для проверки условия (2.18). Поскольку $n_k\sim n_{k-1}$ и $\gamma_k=\alpha k^{\alpha-1}e_k=o(n_k)$, где $e_k\to 1$, $k\to\infty$, то
$$
\begin{equation*}
\begin{aligned} \, R_{n_k}&=\biggl( \frac{f_{n_{k-1}}}{f_{n_k}}\biggr)^{1/\gamma_k}= \biggl(\frac{n_k!}{n_{k-1}!}\biggr)^{1/(\rho\gamma_k)} \\ &=[(n_{k-1}+1)(n_{k-1}+2)\cdots (n_{k-1}+\gamma_k)]^{1/(\rho\gamma_k)} =(n_{k-1}+c_k\gamma_k)^{1/\rho}\sim n_k^{1/\rho}, \end{aligned}
\end{equation*}
\notag
$$
т.е. $R_{n_k}\sim n^{1/\rho}_k$, $k\to\infty$. Продолжая вычисления, убеждаемся, что при $\alpha>2$ неравенство (2.18) выполняется для достаточно больших значений $k$. В самом деле,
$$
\begin{equation*}
\frac{R_{n_{k+1}}}{R_{n_k}}\sim \biggl(\frac{n_{k+1}}{n_k}\biggr)^{1/\rho}\sim \biggl(\frac{k+1}{k}\biggr)^{\alpha/\rho}>1+\frac{\alpha}{\rho k}> \biggl(1+\frac{\ln\alpha k^{\alpha-1}e_k} {\alpha k^{\alpha-1}e_k}\biggr)^2.
\end{equation*}
\notag
$$
В силу теоремы B имеем
$$
\begin{equation*}
|\lambda_n|\sim R_n=R_{n_k}\sim n^{1/\rho}_k\sim n^{1/\rho},\qquad n\in(n_k,n_{k+1}],\quad k\to\infty.
\end{equation*}
\notag
$$
Отсюда заключаем, что последовательность нулей функции $f(z)$ измерима. На основании следствия 1 можем утверждать, что сумма лакунарного степенного ряда5[x]5Асимптотика нулей лакунарных рядов Тейлора специального вида исследовалась другими методами в работе Г. Харди [10].
$$
\begin{equation*}
f(z)=\sum_{k=0}^{\infty} \frac{z^{[k^\alpha]}}{([k^\alpha]!)^{1/\rho}}\,, \qquad \alpha>2,
\end{equation*}
\notag
$$
является функцией вполне регулярного роста в смысле Левина–Пфлюгера, имеет постоянный индикатор $H(\theta)\equiv 1/\rho$, $\theta\in[0,2\pi]$, и обладает нулями со свойством $|\lambda_n|\sim n^{1/\rho}$ при $n\to\infty$. Отметим также, что нули такой функции распределены равномерно в комплексной плоскости, поскольку при любых $\alpha,\beta,\alpha\leqslant\beta<\alpha+2\pi$, постоянство $h$-индикатора функции влечет для угловой плотности ее нулей равенство (см. [7; c. 199])
$$
\begin{equation*}
\Delta_{h}(\alpha,\beta)=\lim_{r\to+\infty} \frac{n(r;\alpha,\beta)}{h(r)}=\frac{\beta-\alpha}{2\pi}\,,
\end{equation*}
\notag
$$
где $n(r;\alpha,\beta)$ – число нулей в круговом секторе $\{z \in\mathbb{C}:|z|\leqslant r, \arg z\in(\alpha,\beta)\}$.
3. Влияние геометрии расположения нулей на комплексной плоскости Особый интерес представляет вопрос о взаимосвязи тейлоровских коэффициентов и нулей целой функции при дополнительной информации о расположении последних на комплексной плоскости. Так, например, если последовательность (всех) нулей целой функции лежит на одном луче, то ее измеримость влечет как совершенно регулярный, так и вполне регулярный рост функции. В этом случае несложно получаются точные результаты о связи нулей и тейлоровских коэффициентов. Картина резко меняется, если измеримости последовательности нулей нет. В этом мы убедимся в нижеследующих теоремах 6 и 7, в которых полагаем $h(r)=r^\rho$. Теорема 6. Пусть целая функция имеет нормальный $h$-тип при $h(r)=r^\rho$, где $\rho\in(0,1)$ и только положительные нули усреднкнных плотностей $\overline{\Delta}^{\,*}_{h}$ и $\underline{\Delta}^{*}_{\,h}$. Тогда выполняются двусторонние оценки.
$$
\begin{equation*}
\begin{aligned} \, \biggl(\frac{\pi\rho}{\sin\pi\rho}\biggr)^{1/\rho}&\leqslant \varlimsup_{n\to\infty} \sqrt[n]{|f_n|\lambda_1\lambda_2\dots\lambda_n}\leqslant \biggl(\frac{\pi\rho}{\sin\pi\rho}\,\frac{1}{k^*}\biggr)^{1/\rho}, \\ \biggl(k^*\frac{\pi\rho}{\sin\pi\rho}\biggr)^{1/\rho}&\leqslant \varliminf_{n\to\infty} \sqrt[n]{\widehat{f}_{n}\lambda_1\lambda_2\dots\lambda_n}\leqslant \biggl(\frac{\pi\rho}{\sin\pi\rho}\biggr)^{1/\rho}. \end{aligned}
\end{equation*}
\notag
$$
Здесь $k^*=\underline{\Delta}^{*}_{\,h}/\overline{\Delta}^{\,*}_{h}$. В частности, если последовательность нулей функции измерима, то существует предел
$$
\begin{equation*}
\lim_{n\to\infty}\sqrt[n]{\widehat{f}_{n} \lambda_1\lambda_2\dots\lambda_n}= \biggl(\frac{\pi \rho}{\sin \pi\rho}\biggr)^{1/\rho}.
\end{equation*}
\notag
$$
Доказательство. Приведенные в теореме неравенства следуют из оценок (2.1) и (2.2) теоремы 1, а также из оценок (см., например, [7; гл. 4, § 1] и [9; теорема 2] соответственно).
$$
\begin{equation*}
T_h\leqslant \frac{\pi\rho}{\sin\pi\rho}\,\overline{\Delta}^{\,*}_{h},\qquad t_h\geqslant\frac{\pi\rho}{\sin\pi\rho}\, \underline{\Delta}^{*}_{\,h}.
\end{equation*}
\notag
$$
В следующей теореме собраны некоторые известные точные оценки, на которые мы будем опираться. Теорема C. Пусть $h(r)=r^\rho$, где $\rho\in(0,1)$. Пусть $f$ – целая функция c последовательностью положительных нулей, имеющей заданные $\rho$-плотности6[x]6$\rho$-плотности в $\rho$ раз больше ранее введенных плотностей для $h(r)=r^\rho$, что легко усмотреть из условия (1.3).
$$
\begin{equation*}
\beta=\varlimsup_{n\to\infty}\frac{n}{\lambda_n^\rho}>0,\qquad \alpha=\varliminf_{n\to\infty}\frac{n}{\lambda_n^\rho}\geqslant 0,
\end{equation*}
\notag
$$
и $h$-типом $T=T_h=\varlimsup_{r\to+\infty}(\ln M_f(r)/r^\rho)$. Тогда выполнены точные оценки
$$
\begin{equation}
T \geqslant C(\rho)\beta,
\end{equation}
\tag{3.1}
$$
$$
\begin{equation}
T \geqslant C(k,\rho)\beta,
\end{equation}
\tag{3.2}
$$
в которых для краткости использованы обозначения
$$
\begin{equation*}
\begin{aligned} \, C(\rho)&=\max_{a>0}\frac{\ln (1+a)}{a^\rho}\,, \\ C(k,\rho)&=\dfrac{\pi k}{\sin\pi\rho}+ \max_{a>0} \int_{ak^{1/\rho}}^{a} \frac{a^{-\rho}-k\tau^{-\rho}}{\tau+1}\,d\tau,\qquad k=\frac{\alpha}{\beta}\,. \end{aligned}
\end{equation*}
\notag
$$
Подобные точные оценки при тех же условиях справедливы и в терминах усредненных плотностей $\underline{\Delta}^{*}_{\,h}=\alpha^*$, $\overline{\Delta}^{\,*}_{h}=\beta^*$. Именно,
$$
\begin{equation}
T\geqslant C(\rho)e\rho\,\beta^*,\qquad T\geqslant C^{\ast}(k^{*},\rho)\rho\beta^*,
\end{equation}
\tag{3.3}
$$
где
$$
\begin{equation*}
C^{\ast}(k^{*},\rho)=\frac{\pi k^{*}}{\sin\pi\rho}+ \max_{b>0}\int_{b a_{1}^{1/\rho}}^{b a_{2}^{1/\rho}} \frac{b^{-\rho}-k^{*}\tau^{-\rho}}{\tau+1}\,d\tau,\qquad k^*=\frac{\alpha^*}{\beta^*}\,,
\end{equation*}
\notag
$$
и $a_{1}$, $a_{2}$ ($a_{1}\leqslant a_{2}$) суть корни уравнения $\xi\ln(e/\xi)=\alpha^{*}/\beta^{*}$. Оценка (3.1) получена Поповым [11], а учитывающая обе $\rho$-плотности оценка (3.2) – Шерстюковым [12]. Заключительная часть теоремы доказана автором в [13]. Приведенные оценки снизу типов целых функций через плотности нулей сразу дают серию оценок совместного поведения нулей и коэффициентов. Достаточно применить левые части оценок (2.1) и (2.15). Теорема 7. Пусть целая функция имеет конечный тип при порядке $\rho\in(0,1)$ и только положительные нули. Тогда справедливы неравенства
$$
\begin{equation*}
\begin{aligned} \, \varlimsup_{n\to\infty} \lambda_n\,\sqrt[n]{|f_n|}&\geqslant (C(\rho)\,e\rho)^{1/\rho}, \\ \varlimsup_{n\to\infty} \sqrt[n]{{|f_n|} \lambda_1\lambda_2\dots\lambda_n}&\geqslant (C(\rho)\,e\rho)^{1/\rho}. \end{aligned}
\end{equation*}
\notag
$$
Если заданы обе $\rho$-плотности $\underline{\Delta}=\alpha$, $\overline{\Delta}=\beta$ или $\underline{\Delta}^*=\alpha^*$, $\overline{\Delta}^*=\beta^*$, то выполняются более сильные неравенства
$$
\begin{equation*}
\begin{alignedat}{2} \varlimsup_{n\to\infty}\lambda_n\sqrt[n]{|f_n|}&\geqslant (C(k,\rho)e\rho)^{1/\rho},&\qquad k&=\frac\alpha\beta\,, \\ \varlimsup_{n\to\infty} \sqrt[n]{|f_n|\lambda_1\lambda_2\dots\lambda_n}&\geqslant (C^*(k^*,\rho)e\rho)^{1/\rho}, &\qquad k^*&=\frac{\alpha^*}{\beta^*}\,. \end{alignedat}
\end{equation*}
\notag
$$
Аналогичные результаты справедливы в случае, когда целая функция имеет только вещественные нули, или все ее нули расположены на осях, или на лучах, разбивающих комплексную плоскость на равные углы, или внутри таких углов. Во всех перечисленных ситуациях найдены точные оценки типа функции через плотности и другие характеристики последовательности нулей. Описание соответствующих экстремальных задач можно найти в обзоре [14], где приведена и обширная библиография. В заключение укажем, что наш метод может быть применен не только к целым функциям положительного порядка, но и к целым функциям нулевого порядка, а также к функциям, аналитическим в единичном круге. Это намечается сделать в другом месте.
|
|
|
СПИСОК ЦИТИРОВАННОЙ ЛИТЕРАТУРЫ
|
|
|
1. |
G. Valiron, “Sur les fonctions entières d'ordre nul et d'ordre fini et en particulier les fonctions à correspondance règulière”, Ann. Fac. Sci. Toulouse Sci. Math. Sci. Phys. (3), 5 (1913), 117–257 |
2. |
Г. Г. Брайчев, “Совместные оценки корней и тейлоровских коэффициентов целой функции”, Уфимск. матем. журн., 13:1 (2021), 31–45 |
3. |
Г. Г. Брайчев, Экстремальные задачи в теории относительного роста выпуклых и целых функций, Дис. … докт. физ.-матем. наук, РУДН, М., 2018 |
4. |
А. А. Гольдберг, И. В. Островский, Распределение значений мероморфных функций, Наука, М., 1970 |
5. |
А. Ю. Попов, “Развитие теоремы Валирона–Левина о наименьшем возможном типе целой функции с заданной верхней $\rho$-плотностью корней”, Труды Крымской осенней математической школы-симпозиума, СМФН, 49, РУДН, М., 2013, 132–164 |
6. |
S. M. Shach, “On integral functions of perfectly regular growth”, J. London Math. Soc., 14 (1939), 293–302 |
7. |
Б. Я. Левин, Распределение корней целых функций, Гостехиздат, М., 1956 |
8. |
Б. Н. Хабибуллин, “Последовательность нулей голоморфных функций, представление мероморфных функций. II. Целые функции”, Матем. сб., 200:2 (2009), 129–158 |
9. |
Г. Г. Брайчев, “Точные границы величины нижнего типа целой функции порядка $\rho\in(0,1)$ с нулями заданных усредненных плотностей”, Уфимск. матем. журн., 7:4 (2015), 34–60 |
10. |
G. H. Hardy, “On the zeroes of certain classes of integral Taylor series. I”, Proc. London Math. Soc., 2:1 (1905), 332–339 |
11. |
А. Ю. Попов, “Наименьший возможный тип при порядке $\rho<1$ канонических произведений с положительными нулями заданной верхней $\rho$-плотности”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2005, № 1, 31–36 |
12. |
Г. Г. Брайчев, В. Б. Шерстюков, “О наименьшем возможном типе целых функций порядка $\rho\in(0,1)$ с положительными нулями”, Изв. РАН. Сер. матем., 75:1 (2011), 3–28 |
13. |
Г. Г. Брайчев, “Наименьший тип целой функции порядка $\rho\in(0,1)$ с положительными корнями заданных усредненных плотностей”, Матем. сб., 203:7 (2012), 31–56 |
14. |
Г. Г. Брайчев, В. Б. Шерстюков, “Точные оценки асимптотических характеристик роста целых функций с нулями на заданных множествах”, Фундамент. и прикл. матем., 22:1 (2018), 51–97 |
Образец цитирования:
Г. Г. Брайчев, “О связи между ростом нулей и
убыванием тейлоровских коэффициентов целой функции”, Матем. заметки, 113:1 (2023), 32–45; Math. Notes, 113:1 (2023), 27–38
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/mzm13559https://doi.org/10.4213/mzm13559 https://www.mathnet.ru/rus/mzm/v113/i1/p32
|
Статистика просмотров: |
Страница аннотации: | 207 | PDF полного текста: | 31 | HTML русской версии: | 160 | Список литературы: | 36 | Первая страница: | 19 |
|