Extreme values of derivatives of Dirichlet $L$-functions

기술 요약: 디리클레 L-함수의 도함수의 극댓값

문제 정의
본 논문은 임계 구역 범위 $1/2 < \sigma < 1$ 내에서 디리클레 L-함수의 $\ell$-계 도함수, 즉 $L^{(\ell)}(s, \chi)$의 극댓값에 대한 하한을 설정하는 문제를 다룬다. $L$-함수 자체($\ell=0$)의 극댓값은 Aistleitner, Mahatab, Munsch, 그리고 Peyrot [3]에 의해 $|L(1, \chi)|$와 $|L(\sigma, \chi)|$에 대한 날카로운 하한이 확립되는 등 광범위하게 연구되어 왔으나, 이들의 도함수가 $1/2 < \sigma < 1$ 범위에서 갖는 거동은 상대적으로 덜 탐구되었다. 이전의 연구인 D. Yang [14]은 $s=1$에서의 도함수를 성공적으로 분석했으나, 개구간 $(1/2, 1)$로의 확장은 새로운 기법을 필요로 했다.

방법론
저자들은 Voronin [11]에 의해 처음 도입되고 Soundararajan [10] 등에 의해 개선된 공명 기법(resonance technique)의 정교화된 형태인 **롱 레조네이터 방법(long resonator method)**을 사용한다. 핵심 전략은 특정 비주계 캐릭터(non-principal character) $\chi$에 대해 $L^{(\ell)}(\sigma, \chi)$의 값을 증폭시키도록 설계된 특정한 "레조네이터(resonator)" 함수 $R(\chi)$를 구축하는 것이다.

기술적 실행 과정은 다음과 같다:

1. 급수의 절단(Truncation of the Series): 저자들은 충분히 큰 소수 $q$에 대하여, $L^{(\ell)}(\sigma, \chi)$가 절단된 디리클레 급수 $P(\chi) = \sum_{n \le q} (\log n)^\ell \chi(n) n^{-\sigma}$에 의해 효과적으로 근사될 수 있음을 먼저 입증한다. 오차항은 Pólya-Vinogradov 부등식과 부분 합산(Lemma 2.1)을 사용하여 무시할 수 있는 수준($O(q^{1/2-\sigma}(\log q)^{\ell+1})$)임을 보인다.
2. 레조네이터 구축: 완전히 곱셈적인 함수(completely multiplicative function) $r(n)$을 정의하는데, 여기서 $r(p) = 1/2$는 $p \le Y$인 소수에 대해 성립하며 그 외에는 $0$이다 (여기서$Y = \eta \log q \log \log q$). 레조네이터는$R(\chi) = \sum r(n)\chi(n)$으로 정의된다.
3. 모멘트 분석: 증명은 법(mod) $q$인 디리클레 캐릭터들의 집합에 대한 두 합의 비율을 분석하는 데 기초한다:
   • $S_1 = \sum |R(\chi)|^2$
   • $S_2 = \sum P(\chi)|R(\chi)|^2$
     이 합들을 전개하고 디리클레 캐릭터의 직교성을 활용함으로써, 저자들은 부등식 $\max |P(\chi)| \ge S_2/S_1$을 통해 $|P(\chi)|$의 최댓값에 대한 하한을 도출한다.
4. 점근적 추정: 저자들은 $S_1$과 $S_2$의 합을 신중하게 추정하여, 주계 캐릭터(principal character)의 기여를 분리하고(이는 무시할 수 있는 것으로 나타남) 비주계 캐릭터들에 집중한다. 이 추정은 레조네이터 크기의 성장을 평가하기 위해 오일러 곱(Euler products)과 소수 정리(Prime Number Theorem)를 포함한다.

주요 기여 및 결과
본 논문의 주요 기여는 정리 1.1이며, 이는 임의의 고정된 정수 $\ell \ge 0$와 $\sigma \in (1/2, 1)$에 대하여, 충분히 큰 모든 소수 $q$에 대해 다음을 만족하는 비주계 캐릭터 $\chi \pmod q$가 존재함을 입증한다:
$$|L^{(\ell)}(\sigma, \chi)| \ge \exp\left( c_{\sigma, \ell} \frac{(\log q)^{1-\sigma}}{(\log \log q)^\sigma} \right)$$

이 결과는 $1/2 < \sigma < 1$ 범위에서 디리클레 L-함수의 도함수가 원래의 L-함수와 **동일한 차수의 크기(same order of magnitude)**의 극댓값을 가질 수 있음을 보여준다. 구체적으로:

• $\ell=0$인 경우, 본 정리는 $|L(\sigma, \chi)|$에 관한 Aistleitner 등의 기존 결과 [3]를 회복한다.
• 본 연구는 리만 제타 함수(특히 [12, Theorem 2(B)])에 대한 기존의 발견을 디리클레 L-함수의 맥락으로 일반화한다.
• 또한 경계점 $s=1$에서 임계 구역 내부로 D. Yang의 연구 [14]의 범위를 확장한다.

의의
본 논문은 L-함수 도함수의 극댓값 분포에 대한 이해의 간극을 메움으로써 그 의의를 주장한다. 도함수가 임계 구역 내에서 함수 자체와 비교하여 크기가 크게 감소하지 않음을 증명함으로써, 저자들은 이러한 도함수의 해석적 성질과 캐릭터 합 추정 및 이차 잔여(quadratic residues)의 분포와 같은 수론의 근본적인 문제들 사이의 연결성을 강화한다. 이 특정 문제에 롱 레조네이터 방법을 성공적으로 적용한 것은 임계 구역 내 고차 도함수를 다루는 데 있어 이 방법의 다재다능함을 강조한다.