Math 2.0

Number theory Definition

Riemann zeta function

Builds on Dirichlet seriesHolomorphic functionMeromorphic functionAnalytic continuation

Definition

For a complex number ss and an integer n≥1n \ge 1, let n−s=e−slog⁡nn^{-s} = e^{-s \log n}. For Re⁡s>1\operatorname{Re} s > 1, the Dirichlet series ζ(s)=∑n=1∞1ns\zeta(s) = \sum_{n=1}^{\infty} \frac{1}{n^s} converges absolutely, and it defines a holomorphic function on the half-plane Re⁡s>1\operatorname{Re} s > 1. This function has a unique analytic continuation to a meromorphic function on ℂ\C. The Riemann zeta function is this meromorphic function ζ\zeta. Its only pole is a simple pole at s=1s = 1, with residue 11.

Remarks

Example: ζ(2)=π2/6\zeta(2) = \pi^2/6, the value of the series in the Basel problem. Non-example of the series form: at s=1s = 1 the series is the harmonic series, which diverges, and ζ\zeta has its pole there. At s=0s = 0 or s=−1s = -1 the series diverges too, but ζ\zeta is defined there by continuation: ζ(0)=−1/2\zeta(0) = -1/2 and ζ(−1)=−1/12\zeta(-1) = -1/12. For Re⁡s>0\operatorname{Re} s > 0 the continuation is given by ζ(s)=ss−1−s∫1∞x−⌊x⌋xs+1 dx,\zeta(s) = \frac{s}{s - 1} - s \int_1^{\infty} \frac{x - \floor{x}}{x^{s+1}} \, dx, since the integral converges there. The functional equation gives the continuation to all of ℂ\C. The uniqueness of the continuation follows from the identity theorem.

Reading path

To understand this page from the ground up, read these 5 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Analytic continuation concept
  2. Dirichlet series concept
  3. Holomorphic function concept
  4. Meromorphic function concept
  5. Riemann zeta function definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Riemann_zeta_function
About this page
TagTXB2F07CC6
URIm2://TXB2F07CC6
Kinddefinition
WritingW0 stub
MSC11M06
DefinesRiemann zeta function
UsesDirichlet series, Holomorphic function, Meromorphic function, Analytic continuation
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.