Extreme values of derivatives of Dirichlet $L$-functions

Technisches Resümee: Extremwerte von Ableitungen von Dirichlet-L-Funktionen

Problemstellung
Die vorliegende Arbeit befasst sich mit der Problemstellung, untere Schranken für die Extremwerte der $\ell$-ten Ableitungen von Dirichlet-L-Funktionen, bezeichnet als $L^{(\ell)}(s, \chi)$, innerhalb des Bereichs des kritischen Streifens $1/2 < \sigma < 1$, zu etablieren. Während die Extremwerte der L-Funktionen selbst ($\ell=0$) bereits umfassend untersucht wurden – insbesondere durch Aistleitner, Mahatab, Munsch und Peyrot [3], die scharfe untere Schranken für $|L(1, \chi)|$ und $|L(\sigma, \chi)|$ festlegten –, blieb das Verhalten ihrer Ableitungen im Bereich $1/2 < \sigma < 1$ weniger erforscht. Vorherige Arbeiten von D. Yang [14] hatten die Ableitungen an der Stelle $s=1$ erfolgreich analysiert, doch die Erweiterung auf das offene Intervall $(1/2, 1)$ erforderte neue Techniken.

Methodik
Die Autoren verwenden die Long-Resonator-Methode, eine Verfeinerung der Resonanztechnik, die ursprünglich von Voronin [11] eingeführt und durch Soundararajan [10] und andere verbessert wurde. Die Kernstrategie besteht darin, eine spezifische „Resonator“-Funktion $R(\chi)$ zu konstruieren, die darauf ausgelegt ist, die Werte von $L^{(\ell)}(\sigma, \chi)$ für einen spezifischen nicht-primitiven Charakter $\chi$ zu verstärken.

Die technische Ausführung verläuft wie folgt:

1. Trunkierung der Reihe: Die Autoren stellen zunächst fest, dass die Ableitung $L^{(\ell)}(\sigma, \chi)$ für hinreichend große Primzahlen $q$ effektiv durch eine trunkierte Dirichlet-Reihe $P(\chi) = \sum_{n \le q} (\log n)^\ell \chi(n) n^{-\sigma}$ approximiert werden kann. Der Fehlerterm wird unter Verwendung der Pólya-Vinogradov-Ungleichung und partieller Summation (Lemma 2.1) als vernachlässigbar ($O(q^{1/2-\sigma}(\log q)^{\ell+1})$) nachgewiesen.
2. Konstruktion des Resonators: Eine vollständig multiplikative Funktion $r(n)$ wird definiert, sodass $r(p) = 1/2$ für Primzahlen $p \le Y$ gilt und $0$ andernfalls, wobei $Y = \eta \log q \log \log q$. Der Resonator ist definiert als $R(\chi) = \sum r(n)\chi(n)$.
3. Momentenanalyse: Der Beweis stützt sich auf die Analyse des Verhältnisses zweier Summen über die Menge der Dirichlet-Charaktere modulo $q$:
   • $S_1 = \sum |R(\chi)|^2$
   • $S_2 = \sum P(\chi)|R(\chi)|^2$
     Durch Expansion dieser Summen und Nutzung der Orthogonalität der Dirichlet-Charaktere leiten die Autoren eine untere Schranke für den Maximalwert von $|P(\chi)|$ über die Ungleichung $\max |P(\chi)| \ge S_2/S_1$ ab.
4. Asymptotische Schätzung: Die Autoren schätzen die Summen $S_1$ und $S_2$ sorgfältig ab, isolieren dabei den Beitrag des Hauptcharakters (der als vernachlässigbar erwiesen wird) und konzentrieren sich auf die nicht-primitiven Charaktere. Die Schätzung beinhaltet Euler-Produkte und den Primzahlsatz, um das Wachstum der Magnitude des Resonators zu evaluieren.

Wesentliche Beiträge und Ergebnisse
Der primäre Beitrag der Arbeit ist Theorem 1.1, welches feststellt, dass für jede feste ganze Zahl $\ell \ge 0$ und $\sigma \in (1/2, 1)$ eine Konstante $c_{\sigma, \ell} > 0$ existiert, sodass für jede hinreichend große Primzahl $q$ ein nicht-primitiver Charakter $\chi \pmod q$ existiert, der erfüllt:
$$|L^{(\ell)}(\sigma, \chi)| \ge \exp\left( c_{\sigma, \ell} \frac{(\log q)^{1-\sigma}}{(\log \log q)^\sigma} \right)$$

Dieses Ergebnis zeigt, dass die Ableitungen von Dirichlet-L-Funktionen Extremwerte der gleichen Größenordnung wie die ursprünglichen L-Funktionen im Bereich $1/2 < \sigma < 1$ erreichen können. Speziell:

• Im Fall $\ell=0$ stellt das Theorem das bekannte Ergebnis von Aistleitner et al. [3] bezüglich $|L(\sigma, \chi)|$ wieder her.
• Die Arbeit generalisiert vorangegangene Befunde zur Riemannschen Zeta-Funktion (speziell [12, Theorem 2(B)]) auf den Kontext der Dirichlet-L-Funktionen.
• Sie erweitert den Umfang der Arbeit von D. Yang [14] vom Randpunkt $s=1$ in das Innere des kritischen Streifens.

Bedeutung
Die Arbeit beansprucht ihre Bedeutung durch die Schließung einer Lücke im Verständnis der Extremwertverteilung von L-Funktionsableitungen. Indem sie beweist, dass Ableitungen in der Größenordnung im Vergleich zu den Funktionen selbst innerhalb des kritischen Streifens nicht signifikant abfallen, verstärken die Autoren die Verbindung zwischen den analytischen Eigenschaften dieser Ableitungen und fundamentalen Problemen der Zahlentheorie, wie etwa Charakter-Summen-Abschätzungen und der Verteilung quadratischer Residuen. Die erfolgreiche Anwendung der Long-Resonator-Methode auf dieses spezifische Problem unterstreicht die Vielseitigkeit der Methode beim Umgang mit höheren Ableitungen im kritischen Streifen.