доктор математики, доцент
doctor of mathematics, associated professor
С времен Бора и Йессена (1910-1935) в теории дзета-функций прмменяются вероятностные методы. В 1930 г. они доказали первую теорему для дзета-функции Римана $$\zeta(s), $$ $$s=\sigma+it,$$ которая является прототипом современных предельных теорем, характеризующих поведение дзета-функции при помощи слабой сходимости вероятностных мер. Более точно, они получили, что при $$\sigma>1$$ существует предел $$lim_{T\to\infty} \frac{1}{T} \mathrm{J} \left\{t\in[0,T]: \log\zeta(\sigma+it)\in R\right\},$$ где R - прямоугольник на комплексной плоскости со сторонами, паралельными осям, а $$\mathrm{J}A$$ обозначает меру Жордана множества $$A\subset \mathbb{R}.$$ Два года спустя они распространили приведенный результат на полуплоскость $$\sigma>\frac{1}{2}.$$ Идеи Бора и Йессена были развиты в работах Винтнера, Борщсениуса, Йессена, Сельберга и других известных математиков. Современные версии теорем Бора-Йессена для широкого класса дзета-функций были получены в работах К. Матсумото. В основном теория Бора-Йессена применялась для дзета-функций, имеющих эйлерово произведение по простым числам. В настоящей статье доказывается предельная теорема для дзета-функций, не имеющих эйлерова произведения и являющихся обобщением классичесской дзета-функции Гурвица. Пусть $$\alpha, 0<\alpha \leqslant 1, $$ фиксированный параметр, а $$\mathfrak{a}=\{a_m: m\in \mathbb{N}_0= \mathbb{N}\cup\{0\}\}$$ - периодическая последовательность комплексных чисел. Тогда периодическая дзета-функция Гурвица $$\zeta(s,\alpha; \mathfrak{a})$$ в полуплоскости $$\sigma>1$$ определяется рядом Дирихле $$\zeta(s,\alpha; \mathfrak{a})=\sum_{m=0}^\infty frac{a_m}{(m+\alpha)^s}$$ и мероморфно продолжается на всю комплексную плоскость. Пусть $$\mathcal{B}(\mathbb{C})$$ - борелевское $$\sigma$$-поле комплексной плоскости, $$\mathrm{meas}A$$ - мера Лебега измеримого множества $$A\subset \mathbb{R},$$ а функция $$\varphi(t)$$ при $$ t\geqslant T_0$$ имеет монотонную положительную производную $$\varphi'(t), $$ при $$t\to\infty$$ удовлетворяющую оценкам $$(\varphi'(t))^{-1}=o(t)$$ и $$\varphi(2t) \max_{t\leqslant u\leqslant 2t} (\varphi'(u))^{-1}\ll t. $$ Тогда в статье получено, что при $$\sigma>\frac{1}{2}$$ $$ \frac{1}{T} \mathrm{meas}\left\{t\in[0,T]: \zeta(\sigma+i\varphi(t), \alpha; \mathfrak{a})\in A\right\},\quad A\in \mathcal{B}(\mathbb{C}), $$ при $$T\to\infty$$ слабо сходится к некоторой в явном виде заданной вероятностной мере на $$(\mathbb{C}, \mathcal{B}(\mathbb{C})).$$
Probabilistic methods are used in the theory of zeta-functions since Bohr and Jessen time (1910-1935). In 1930, they proved the first theorem for the Riemann zeta-function $$\zeta(s)$$, $$s=\sigma+it$$, which is a prototype of modern limit theorems characterizing the behavior of $$\zeta(s)$$ by weakly convergent probability measures. More precisely, they obtained that, for $$\sigma>1$$, there exists the limit $$\lim_{T\to\infty} \frac{1}{T} \mathrm{J} \left\{t\in[0,T]: \log\zeta(\sigma+it)\in R\right\}, $$ where R is a rectangle on the complex plane with edges parallel to the axes, and $$\mathrm{J}A$$ denotes the Jordan measure of a set $$A\subset \mathbb{R}$$. Two years latter, they extended the above result to the half-plane $$\sigma>\frac{1}{2}$$. Ideas of Bohr and Jessen were developed by Wintner, Borchsenius, Jessen, Selberg and other famous mathematicians. Modern versions of the Bohr-Jessen theorems, for a wide class of zeta-functions, were obtained in the works of K. Matsumoto. The theory of Bohr and Jessen is applicable, in general, for zeta-functions having Euler's product over primes. In the present paper, a limit theorem for a zeta-function without Euler's product is proved. This zeta-function is a generalization of the classical Hurwitz zeta-function. Let $$\alpha$$, $$0<\alpha \leqslant 1$$, be a fixed parameter, and $$\mathfrak{a}=\{a_m: m\in \mathbb{N}_0= \mathbb{N}\cup\{0\}\}$$ be a periodic sequence of complex numbers. The periodic Hurwitz zeta-function $$\zeta(s,\alpha; \mathfrak{a})$$ is defined, for $$\sigma>1$$, by the Dirichlet series $$\zeta(s,\alpha; \mathfrak{a})=\sum_{m=0}^\infty \frac{a_m}{(m+\alpha)^s}, $$ and is meromorphically continued to the whole complex plane. Let $$\mathcal{B}(\mathbb{C})$$ denote the Borel $$\sigma$$-field of the set of complex numbers, $$\mathrm{meas}A$$ be the Lebesgue measure of a measurable set $$A\subset \mathbb{R}$$, and let the function $$\varphi(t)$$ for $$t\geqslant T_0$$ have the monotone positive derivative $$\varphi'(t)$$ such that $$(\varphi'(t))^{-1}=o(t)$$ and $$\varphi(2t) \max_{t\leqslant u\leqslant 2t} (\varphi'(u))^{-1}\ll t$$. Then it is obtained in the paper that, for $$\sigma>\frac{1}{2}$$, $$\frac{1}{T} \mathrm{meas}\left\{t\in[0,T]: \zeta(\sigma+i\varphi(t), \alpha; \mathfrak{a})\in A\right\},\quad A\in \mathcal{B}(\mathbb{C}), $$ converges weakly to a certain explicitly given probability measure on $$(\mathbb{C}, \mathcal{B}(\mathbb{C}))$$ as $$T\to\infty$$.
The authors declare that there are no conflicts of interest present.