Lecture

Proof of Explicit Formula

Graph Chat

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Description

This lecture covers the proof of the explicit formula for the non-vanishing of the zeta function at the 1-line, using concepts like Perron's formula and Cauchy residue theorem. The instructor explains the derivation step by step, emphasizing the importance of the formula in number theory.

Official source

Related concepts (32)

Riemann zeta function

The Riemann zeta function or Euler–Riemann zeta function, denoted by the Greek letter ζ (zeta), is a mathematical function of a complex variable defined as for , and its analytic continuation elsewhere. The Riemann zeta function plays a pivotal role in analytic number theory, and has applications in physics, probability theory, and applied statistics. Leonhard Euler first introduced and studied the function over the reals in the first half of the eighteenth century.

Residue theorem

In complex analysis, the residue theorem, sometimes called Cauchy's residue theorem, is a powerful tool to evaluate line integrals of analytic functions over closed curves; it can often be used to compute real integrals and infinite series as well. It generalizes the Cauchy integral theorem and Cauchy's integral formula. The residue theorem should not be confused with special cases of the generalized Stokes' theorem; however, the latter can be used as an ingredient of its proof.

Cauchy's integral theorem

In mathematics, the Cauchy integral theorem (also known as the Cauchy–Goursat theorem) in complex analysis, named after Augustin-Louis Cauchy (and Édouard Goursat), is an important statement about line integrals for holomorphic functions in the complex plane. Essentially, it says that if is holomorphic in a simply connected domain Ω, then for any simply closed contour in Ω, that contour integral is zero.

Hurwitz zeta function

In mathematics, the Hurwitz zeta function is one of the many zeta functions. It is formally defined for complex variables s with Re(s) > 1 and a ≠ 0, −1, −2, ... by This series is absolutely convergent for the given values of s and a and can be extended to a meromorphic function defined for all s ≠ 1. The Riemann zeta function is ζ(s,1). The Hurwitz zeta function is named after Adolf Hurwitz, who introduced it in 1882. The Hurwitz zeta function has an integral representation for and (This integral can be viewed as a Mellin transform.

Perron's formula

In mathematics, and more particularly in analytic number theory, Perron's formula is a formula due to Oskar Perron to calculate the sum of an arithmetic function, by means of an inverse Mellin transform. Let be an arithmetic function, and let be the corresponding Dirichlet series. Presume the Dirichlet series to be uniformly convergent for . Then Perron's formula is Here, the prime on the summation indicates that the last term of the sum must be multiplied by 1/2 when x is an integer.

Related lectures (64)

Prime Number Theorem

Explores the proof of the Prime Number Theorem and its implications in number theory.

Logarithmic Derivative of Zeta

Explores the logarithmic derivative of the Zeta function using the Hadamard factorization.

Prime Numbers: Euclid's Theorem

Explores prime numbers and Euclid's Theorem through a proof by contradiction.

Classical Zero Free Region for Zeta and Explicit Formula I

Establishes the classical zero free region for the Zeta function and starts the proof of the explicit formula for

\psi(x)

Complex Integration and Cauchy's Theorem

Discusses complex integration and Cauchy's theorem, focusing on integrals along curves in the complex plane.