Extreme values of derivatives of zeta and $L$-functions

TL;DR

It is proved that as $T \to \infty$ uniformly for all positive integers $\ell \leqslant (\log_3 T) / (\ log_4 T)$, and the asymptotic formulas are established for Dirichlet $L$-functions.

Abstract

It is proved that as $T \to \infty$, uniformly for all positive integers $\ell \leqslant (\log_3 T) / (\log_4 T)$, we have \begin{equation*} \max_{T\leqslant t\leqslant 2T}\left|ζ^{(\ell)}\Big(1+it\Big)\right| \geqslant \big(\mathbf Y_{\ell}+ o\left(1\right)\big)\left(\log_2 T \right)^{\ell+1} \,, \end{equation*} where $\mathbf Y_{\ell} = \int_0^{\infty} u^{\ell} ρ(u) du$. Here $ρ(u)$ is the Dickman function. We have $\mathbf Y_{\ell} > e^γ/(\ell + 1)$ and $ \log\, \mathbf Y_{\ell} = \left(1 + o\left(1\right) \right) \ell \log \ell$ when $ \ell \to \infty $, which significantly improves previous results in [17, 40]. Similar results are established for Dirichlet $L$-functions. On the other hand, when assuming the Riemann Hypothesis and the Generalized Riemann Hypothesis, we establish upper bounds for $ \left| ζ^{(\ell)}\left(1+it\right)\right| $ and $\left|L^{(\ell)}(1, χ) \right|$. Furthermore, when assuming the Granville-Soundararajan Conjecture is true, we establish the following asymptotic formulas $$\max_{ \substack{ χ\neq χ_0 \\ χ(\text{mod}\, q)}} \left|L^{(\ell)}(1, χ) \right| \sim \mathbf Y_{\ell}\left(\log_2 q\right)^{\ell+1},\,\, \quad \text{as}\,\quad q \to \infty,$$ where $q$ is prime and $\ell \in \mathbb{N}$ is given.

Theorems & Definitions (28)

• Theorem 1
• Remark 1
• Remark 2
• Theorem 2
• Remark 3
• Theorem 3
• Theorem 4
• Theorem : Granville-Soundararajan
• Theorem 5
• Conjecture : Granville-Soundararajan