Skip to main content

All Questions

Filter by
Sorted by
Tagged with
4 votes
1 answer
214 views

Explicit expression for a function in number theory

In their paper "Moyenne de certains fonctions arithmétiques sur les entiers friables", Tenenbaum and Wu proved that for the case of the function $\beta$ which is the indicator function of ...
Khadija Mbarki's user avatar
35 votes
5 answers
3k views

Looking for some interesting complex integration contours

I am currently working on some tools to make contour integration in a proof assistant less painful and I'm looking for interesting examples of contours in the complex plane used in the literature. I ...
Manuel Eberl's user avatar
  • 1,241
0 votes
2 answers
682 views

On integral relating logarithm of absolute value of Zeta function

Sorry for such a direct question: Consider the following integral: $$I(t)=\int_{1/2}^{1} {\log|\zeta(a+it)|}da.$$ How to find the nature of $I(t)$ as $t\rightarrow\infty$?
TPC's user avatar
  • 774
12 votes
1 answer
894 views

Newman's proof of the prime number theorem

I am teaching a graduate course in Complex Analysis and I am covering Newman's proof of the prime number theorem. I have been using the simplified version in the papers of Zagier and Korevaar. However,...
Gio67's user avatar
  • 411
3 votes
0 answers
646 views

On properties on a certain functional

Consider the following function: $$F(z) = \omega(z)\sin^2\left(\frac{c\Gamma(z)}{z}\right)$$ Here, $\omega(z)$ is a weight we have to construct and $c$ is a constant. The following three conditions ...
bambi's user avatar
  • 375