Haseo Ki

ON THE NUMBER OF NONREAL ZEROS OF REAL ENTIRE FUNCTIONS AND THE FOURIER-PÓLYA CONJECTURE

This paper is concerned with a general theorem on the number of nonreal zeros of transcendental functions. J. Fourier formulated the theorem in his work Analyse des equations determineesin 1831, but he did not give a proof. Roughly speaking, the theorem states that if a real entire function f( x)can be expressed as a product of linear factors, then we can count the nonreal zeros of f( x)by observing the behavior of the derivatives of f( x)on the real axis alone. As we shall see in the sequel, this theorem completely justifies his former argument, by which he tried to prove that the function J0(2 √ x) has only real zeros. It seems that no complete proof of the theorem is known, and no general theorem has been published that justifies the argument. Later, in 1930, G. Polya published a paper entitled Some problems connected with Fourier’s work on transcendental equations[P3]. In this paper, Polya conjectured two hypothetical theorems that are closely related to Fourier’s unproved theorem. In fact, he conjectured three, but he proved that two of them are equivalent to each other. The first hypothetical theorem is a modernized formulation of the theorem, and it justifies Fourier’s argument completely. The second conjecture was proved in 1990, but it is impossible to justify the argument using the conjecture alone. In the present paper, we prove Polya’s formulation of the theorem (his first conjecture) as well as its extensions, give a very simple and direct proof of the second conjecture mentioned above, and exhibit some applications of the results. In particular, we completely justify Fourier’s argument by our general theorems. Acknowledgments. Professor Fefferman has encouraged and helped us to publish this paper. The authors truly thank him for this. The authors also thank Professor Csordas for his kind interest in the results and his valuable suggestions on the proof of the Polya-Wiman conjecture. 1. Historical introduction. In this section, we briefly explain our results as well as their background. A real entire function is an entire function that assumes only real values on the real axis. Fourier’s unproven theorem asserts that we can know the number of nonreal zeros of such real entire functions by counting their critical points, which are defined as follows: Let f( x)be a real analytic function defined in an open

All but finitely many non-trivial zeros of the approximations of the Epstein zeta function are simple and on the critical line

The Chowla?Selberg formula is applied in approximating a given Epstein zeta function. Partial sums of the series derive from the Chowla?Selberg formula, and although these partial sums satisfy a functional equation, as does an Epstein zeta function, they do not possess an Euler product. What we call partial sums throughout this paper may be considered as special cases concerning a more general function satisfying a functional equation only. In this article we study the distribution of zeros of the function. We show that in any strip containing the critical line, all but finitely many zeros of the function are simple and on the critical line. For many Epstein zeta functions we show that all but finitely many non-trivial zeros of partial sums in the Chowla?Selberg formula are simple and on the critical line.

De Bruijn’s question on the zeros of Fourier transforms

AbstractLetf(z) be a real entire function of genus 1*, δ≥0, and suppose that for each ε>0, all but a finite number of the zeros off(z) lie in the strip |Imz| ≤δ+ε. Let λ be a positive constant such that

On the zeros of Weng zeta functions for Chevalley groups

\lim \sup _{r \to \infty } \log M\left( {r;f} \right)/r^2< 1/\left( {4\lambda } \right)

The zero-distribution and the asymptotic behavior of a Fourier integral

. It is shown that for each ε>0, all but a finite number of the zeros of the entire function

On the Denjoy rank, the Kechris-Woodin rank and the Zalcwasser rank

e^{ - \lambda D^2 } f(z) : = \sum {_{m = 1}^\infty ( - \lambda )^m f^{2m} (z)/m!}