Difference between revisions of "Functional equation for the zeta function"
(→Resources) |
|||
(2 intermediate revisions by the same user not shown) | |||
Line 116: | Line 116: | ||
\zeta(s)=2^s\pi^{s-1}\sin\left(\pi s\over2\right)\Gamma(1-s)\zeta(1-s) | \zeta(s)=2^s\pi^{s-1}\sin\left(\pi s\over2\right)\Gamma(1-s)\zeta(1-s) | ||
</cmath> | </cmath> | ||
+ | |||
+ | == Resources == | ||
+ | |||
+ | * Titchmarsh, E. C., ''The Theory of the Riemann Zeta-Function.'' Oxford Univ. Press, London and New York, 1951. |
Latest revision as of 03:56, 13 January 2021
The functional equation for Riemann zeta function is a result due to analytic continuation of Riemann zeta function:
Contents
Proof
Preparation
There are multiple proofs for the functional equation for Riemann zeta function, and this page presents a light-weighted approach which merely relies on the Fourier series for the first periodic Bernoulli polynomial that
and the Laplace transform identity that
where
A formula for
in ![$-1<\sigma<0$](//latex.artofproblemsolving.com/5/2/1/5211aa0e4af21cc5f79fc5b2c07015ef665a2445.png)
In this article, we will use the common convention that where
. As a result, we say that the original Dirichlet series definition
converges only for
. However, if we were to apply Euler-Maclaurin summation on this definition, we obtain
in which we can extend the ROC of the latter integral to via integration by parts:
When there is
As a result, we obtain a formula for for
:
Expansion of
into Fourier series
In order to go deeper, let's plug
into the previously obtained formula, so that
Therefore, the remaining step is to handle the integral
Evaluation of ![$\int_0^\infty{\sin y\over y^{s+1}}\mathrm dy$](//latex.artofproblemsolving.com/5/f/e/5fe6c8dd11c978fe67bf6ed0027bfe6865776180.png)
By Euler's formula, we have
As a result, we only need to calculate
if we want to take down the remaining integral. According to Laplace transform identities, we can see that
Thus we deduce
wherein the RHS serves to be a meromorphic continuation of the LHS integral.
Proof of the functional equation
With everything ready, we can put everything together and obtain
and by , this identity becomes the functional equation:
Resources
- Titchmarsh, E. C., The Theory of the Riemann Zeta-Function. Oxford Univ. Press, London and New York, 1951.