During his investigation of zeta Riemann defined the $xi$ function as $xi(s):= Gamma(frac{s}{2})(s-1)pi^{-s/2}zeta(s)$ which is an entire function that is invariant under the substitution $s to 1-s$. Moreover $xi$ shares its zeros with Riemann zeta function $zeta$.

Riemann wanted to write $xi(s)$ in the form $xi(0)prod_{rho}(1-frac{s}{rho})$ where the product is taken over all zeros of the zeta function. How does one prove the convergence of this product?

MathOverflow Asked by Mustafa Said on February 7, 2021

2 AnswersYou need to group the complex conjugates pairs of non-trivial zeros together

$$2sum_{rho} log(1-frac{s}{rho})= 2sum_{Im(rho)le 2|s|} log(1-frac{s}{rho})+ 2sum_{Im(rho)> 2|s|}log(1-frac{s}{rho})+log(1-frac{s}{overline{rho}})$$ $$=2sum_{Im(rho)le 2|s|} log(1-frac{s}{rho})+ 2sum_{Im(rho)> 2|s|}O(frac{|s|+|s^2|}{Im(rho)^2})tag{1}$$ Due to the density of zeros theorem $$# {rho, |Im(rho)|<T}=O(Tlog T)$$ $(1)$ converges locally uniformly, with a rate of convergence similar to $sum_{n>2|s|log |s|} frac{(|s|+|s^2|) log^2 n}{n^2 }$.

Answered by reuns on February 7, 2021

As a comment says, this is "standard" textbook material nowadays, but I'm guessing you want a more historical perspective from Riemann's point of view.

The general theory of the Hadamard product (for entire functions of order 1) obviously wasn't available, but one really only needs linear exponential factors, so Riemann essentially did this *ad hoc*.

The relevant part is in the middle of page 139 of [1].

The translation is given as

If one denotes by $alpha$ all the roots of the equation $xi(alpha)$ = 0, one can express $log xi(t)$ as $$sum_alpha log(1-t^2/alpha^2)+logxi(0)$$ for, since the density of the roots of the quantity $t$ grows with $t$ only as $log t/2pi$, it follows that this expression converges [the important point]... thus it differs from $logxi(t)$ by a function of $t^2$... This difference is consequently a constant, whose value can be determined through setting $t = 0$.

So in other words, I think a fair answer to your question is that Riemann instead considers $$xi(s)=xi(0)prod_rho (1-s^2/rho^2),$$ which softens the analytic difficulties compared to $xi(s)=prod_rho (1-s/rho)$.

Answered by user171793 on February 7, 2021

0 Asked on December 15, 2021 by inkspot

ag algebraic geometry reference request rt representation theory

1 Asked on December 15, 2021 by chris-ramsey

fa functional analysis linear algebra matrices oa operator algebras

5 Asked on December 13, 2021 by william-stagner

ct category theory ho history overview kt k theory and homology rt representation theory symmetric functions

1 Asked on December 13, 2021

1 Asked on December 13, 2021

2 Asked on December 13, 2021 by mirco-a-mannucci

0 Asked on December 13, 2021

1 Asked on December 13, 2021 by jdoe2

3 Asked on December 13, 2021 by ikp

0 Asked on December 13, 2021

1 Asked on December 13, 2021 by andi-bauer

ct category theory monoidal categories symmetric monoidal categories

1 Asked on December 13, 2021 by user45397

0 Asked on December 13, 2021

ca classical analysis and odes differential equations fa functional analysis real analysis rough paths

0 Asked on December 13, 2021

dg differential geometry geometric measure theory measure theory numerical analysis of pde oc optimization and control

2 Asked on December 13, 2021

1 Asked on December 11, 2021

fa functional analysis nuclear spaces short exact sequences tensor products

1 Asked on December 11, 2021

dg differential geometry lie groups random matrices rt representation theory st statistics

0 Asked on December 11, 2021

0 Asked on December 11, 2021 by titouan-vayer

1 Asked on December 11, 2021

foundations lo logic mathematical philosophy proof theory reference request

Get help from others!

Recent Questions

- MouseLook Script “Pops” back to the last value when the script is enabled after being disabled or destroyed
- Unity app crashes when using unmodified custom Android manifest (didn’t find class “UnityPlayerActivity”)
- How do i draw a ray in unity
- How to test consistency of responses?
- How can I understand these variograms?

Recent Answers

- kjetil b halvorsen on How to test consistency of responses?
- eric_kernfeld on How to test consistency of responses?
- Philipp on How do i draw a ray in unity
- Justin Markwell on Unity app crashes when using unmodified custom Android manifest (didn’t find class “UnityPlayerActivity”)
- DMGregory on MouseLook Script “Pops” back to the last value when the script is enabled after being disabled or destroyed

© 2022 AnswerBun.com. All rights reserved.