Search citation statements
Paper Sections
Citation Types
Year Published
Publication Types
Relationship
Authors
Journals
The Z-function is the real function given by Z(t)=eiθ(t)ζ12+it, where ζ(s) is the Riemann zeta function, and θ(t) is the Riemann–Siegel theta function. The function, central to the study of the Riemann hypothesis (RH), has traditionally posed significant computational challenges. This research addresses these challenges by exploring new methods for approximating Z(t) and its zeros. The sections of Z(t) are given by ZN(t):=∑k=1Ncos(θ(t)−ln(k)t)k for any N∈N. Classically, these sections approximate the Z-function via the Hardy–Littlewood approximate functional equation (AFE) Z(t)≈2ZN˜(t)(t) for N˜(t)=t2π. While historically important, the Hardy–Littlewood AFE does not sufficiently discern the RH and requires further evaluation of the Riemann–Siegel formula. An alternative, less common, is Z(t)≈ZN(t)(t) for N(t)=t2, which is Spira’s approximation using higher-order sections. Spira conjectured, based on experimental observations, that this approximation satisfies the RH in the sense that all of its zeros are real. We present a proof of Spira’s conjecture using a new approximate equation with exponentially decaying error, recently developed by us via new techniques of acceleration of series. This establishes that higher-order approximations do not need further Riemann–Siegel type corrections, as in the classical case, enabling new theoretical methods for studying the zeros of zeta beyond numerics.
The Z-function is the real function given by Z(t)=eiθ(t)ζ12+it, where ζ(s) is the Riemann zeta function, and θ(t) is the Riemann–Siegel theta function. The function, central to the study of the Riemann hypothesis (RH), has traditionally posed significant computational challenges. This research addresses these challenges by exploring new methods for approximating Z(t) and its zeros. The sections of Z(t) are given by ZN(t):=∑k=1Ncos(θ(t)−ln(k)t)k for any N∈N. Classically, these sections approximate the Z-function via the Hardy–Littlewood approximate functional equation (AFE) Z(t)≈2ZN˜(t)(t) for N˜(t)=t2π. While historically important, the Hardy–Littlewood AFE does not sufficiently discern the RH and requires further evaluation of the Riemann–Siegel formula. An alternative, less common, is Z(t)≈ZN(t)(t) for N(t)=t2, which is Spira’s approximation using higher-order sections. Spira conjectured, based on experimental observations, that this approximation satisfies the RH in the sense that all of its zeros are real. We present a proof of Spira’s conjecture using a new approximate equation with exponentially decaying error, recently developed by us via new techniques of acceleration of series. This establishes that higher-order approximations do not need further Riemann–Siegel type corrections, as in the classical case, enabling new theoretical methods for studying the zeros of zeta beyond numerics.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
hi@scite.ai
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.