On real zeros of the Hurwitz zeta function

Karin Ikeda
2023-10-09
Abstract:In this paper, we present results on the uniqueness of the real zeros of the Hurwitz zeta function in given intervals. The uniqueness in question, if the zeros exist, has already been proved for the intervals $(0,1)$ and $(-N, -N+1)$ for $N \geq 5$ by Endo-Suzuki and Matsusaka respectively. We prove the uniqueness of the real zeros in the remaining intervals by examining the behavior of certain associated polynomials.
Number Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the uniqueness of real zeros of the Hurwitz zeta function in a specific interval. Specifically, the author aims to prove that when \(1\leq N\leq4\), in the interval \((-N, -N + 1)\), if \(B_N(a)B_{N+1}(a)<0\), then the real zero of the Hurwitz zeta function \(\zeta(s,a)\) is unique and is a simple zero. ### Background Information The Hurwitz zeta function is defined as: \[ \zeta(s,a):=\sum_{n = 0}^{\infty}\frac{1}{(n + a)^s}\quad(\text{Re}(s)>1) \] where \(0 < a\leq1\). This function can be analytically continued to the entire complex plane, except for a simple pole at \(s = 1\). ### Research Status Previous research has already proven the uniqueness of real zeros of the Hurwitz zeta function in some specific intervals (such as \((0,1)\) and \((-N, -N + 1)\) for \(N\geq5\)). However, for the intervals where \(1\leq N\leq4\), the uniqueness has not been completely solved. ### Main Contributions The main contributions of this paper are as follows: 1. **Proving Uniqueness**: By studying the behavior of polynomials related to the Hurwitz zeta function, it is proven that in the interval \((-N, -N + 1)\) (\(1\leq N\leq4\)), if \(B_N(a)B_{N+1}(a)<0\), then the real zero of the Hurwitz zeta function is unique and is a simple zero. 2. **Corollary**: Based on the above results, a conclusion about the number of zeros of the Hurwitz zeta function in a specific interval is derived. Specifically, for any integer \(M\geq0\), \(\zeta(\sigma,a)\) has exactly one zero in the interval \([-2M - 2,-2M)\). ### Method Overview The author uses the integral representation method and the properties of polynomials to prove the main theorem. Specific steps include: - Using the integral representation method to express the Hurwitz zeta function as an integral in a certain form. - Studying the derivative behavior of the related polynomial \(f_N(a,x)\). - By analyzing the zero distribution of these derivatives, finally proving the uniqueness and simplicity of zeros of the Hurwitz zeta function in the specified interval. ### Conclusion This paper completely solves the problem of the uniqueness of real zeros of the Hurwitz zeta function in the interval \((-N, -N + 1)\) (\(1\leq N\leq4\)) and gives the specific zero location. This provides an important theoretical basis for further research on the Hurwitz zeta function and its applications.