On Validated Numeric of Values of Some Zeta and L-functions, and Applications

Nikolaj M. Glazunov
DOI: https://doi.org/10.48550/arXiv.math/0010209
2001-01-06
Abstract:This paper describes some validated numerics aspects of Riemann zeta function, Dirichlet L-functions, Dedekind zeta functions and Hasse-Weil L-functions.
Number Theory,Numerical Analysis
What problem does this paper attempt to address?
The problem that this paper attempts to solve is related to the numerical verification calculation of the ζ -function and L -function and their applications. Specifically, the author Nikolaj M. Glazunov aims to explore how to study and calculate the values of the ζ -function and L -function at certain specific points through numerical verification methods, and discuss the applications of these functions in different fields. ### Main Problems and Goals of the Paper 1. **Numerical Verification Calculation**: - Research how to accurately calculate the values of the ζ -function and L -function at certain critical points through numerical verification methods (validated numerics). - Provide a reliable method to ensure the accuracy of these function values, especially in cases involving complex analysis and algebraic structures. 2. **Theoretical Background and Applications**: - Explore the wide applications of the ζ -function and L -function in number theory, algebraic geometry, representation theory, automorphic forms, etc. - Pay special attention to the values of these functions at "critical points", which are crucial for understanding the behavior of the functions. - Discuss the new applications of the ζ -function and L -function in the theory of dynamical systems. 3. **Specific Functions and Properties**: - Introduce in detail the definitions and properties of the Riemann ζ -function, Dirichlet L -function, Dedekind ζ -function, Artin - Hasse ζ -function, and the Hasse - Weil L -function of elliptic curves. - Demonstrate the relationships between these functions and their applications in practical calculations through specific examples and formulas. ### Specific Contents of Numerical Verification - **Interval Evaluation**: Use the Euler - Maclaurin summation formula to perform interval evaluation on the Riemann ζ -function to ensure the reliability of the calculation results. - **Complex Rectangular Arithmetic**: Introduce a rectangular arithmetic method for the complex number field to handle the non - zero conditions of complex - valued functions. - **Computer Algebra System**: Utilize the standard library functions and extension packages in modern computer algebra systems (such as Maple) to perform high - precision calculations. ### Application Examples - **Index of Elliptic Operators**: Calculate the index of elliptic operators through the ζ -function, which has important applications in differential geometry. - **Symplectic Volume of Moduli Spaces**: Calculate the symplectic volume of moduli spaces, which is of great significance in algebraic geometry. - **Birch and Swinnerton - Dyer Conjecture**: Explore the behavior of the Hasse - Weil L -function of elliptic curves at s = 1, which is crucial for understanding the arithmetic properties of elliptic curves. In general, this paper aims to deeply study the key values of the ζ -function and L -function through numerical verification methods and demonstrate the extensive and important applications of these functions in multiple branches of mathematics.