Contributions to the theory of the Euler eta function

문제 정의
본 논문은 오일러 에타 함수 $\eta(s)$ (디리클레 에타 함수 또는 교로 제타 함수로도 알려짐)와 그 도함수(정수 및 분수 차수 포함)의 영점 분포를 조사한다. 리만 제타 함수 $\zeta(s)$와 그 도함수의 영점은 잘 연구되어 있으나, 저자들은 $\eta(s)$에 대한 평행하고도 구별되는 성질들을 확립하는 것을 목표로 한다. 주요 목적은 $\eta(s) - c$ 및 그 도함수 $\eta^{(\alpha)}(s)$의 영점이 없는 영역(zero-free regions)을 식별하고, 리만 가설(RH)이 성립한다는 가정하에 충분히 큰 허수부에서 $\eta'(s)$가 비영(non-vanishing)임을 결정하며, $\eta'(s)$의 음의 실수축 상의 영점을 찾고, 영점 계수 함수 $N_k^\eta(T)$에 대한 점근적 추정치를 도출하는 것이다.

연구 방법론
저자들은 해석적 정수론 기법, 복소해석학, 그리고 수치 계산을 결합하여 사용한다:

• 급수 지배성 및 루셰의 정리(Rouché's Theorem): 우반평면에서의 영점을 찾기 위해, 저자들은 디리클레 급수 표현의 도함수를 분석한다. 이들은 단일 항 $Q_M^\alpha(s) = (\log M)^\alpha / M^s$가 나머지 급수 부분을 지배하는 영역을 식별한다. 전체 도함수와 지배적인 항들 사이의 차이에 루셰의 정리를 적용함으로써, 특정 직사각형 영역 내에서 영점의 존재와 단순성을 증명한다.
• 함수 방정식 및 로그 도함수: 임계 구역(critical strip) 및 좌반평면에서의 영점 연구는 $\eta(s)$의 함수 방정식과 $\zeta(s)$와의 관계에 크게 의존한다. 저자들은 영점의 개수를 세고 영점의 실수부에 대한 경계값을 설정하기 위해 로그 도함수와 편각 원리(argument principle)를 활용한다.
• 부등식 및 점근 분석: 영점이 없는 영역 및 영점의 위치에 대한 증명은 삼각 함수 및 감마 함수의 항들에 대한 상세한 추정을 포함하며, 이는 종종 리만 가설으로부터 유도된 경계값이나 감마 함수의 알려진 성질(예: 스털링 공식)을 사용한다.
• 수치적 검증: 이론적 결과는 Sage 컴퓨터 대수 시스템과 mpmath 다중 정밀도 라이브러리를 사용하여 수행된 수치 계산에 의해 뒷받침된다. 이러한 계산은 $\eta(s)$에서 그 도함수로, 그리고 도함수에서 $\eta(s)-c$로 이어지는 영점의 경로를 시각화한다.

주요 기여 및 결과

1. $\eta(s) - c$의 영점이 없는 영역:

   • 저자들은 $\sigma > \sigma_0 \approx 1.9401$에서 $\eta(s) \neq 1$임을 증명한다. 여기서 $\sigma_0$는 $\zeta(\sigma)$를 포함하는 특정 함수의 영점이다.
   • 저자들은 $|\sin(t \log 2)|$와 $-\cos(t \log 2)$를 포함하는 조건을 설정하여 $c \in [0, 1)$인 $\eta(s) - c$의 영점이 없는 영역을 정의한다.
   • $\eta(s)$에서 $\eta(s)-1$로 연결되는 영점의 경로가 시작점에 따라 다르게 행동함을 관찰한다: $\zeta(s)$의 영점에서 시작하는 경로는 $\eta(s)-1$의 영점으로 이어지지만, $\eta(s)$의 비자명 영점(구체적으로 $s_n = 1 + 2n\pi i / \log 2$)에서 시작하는 경로의 실수부는 $c \to 1$일 때 무한대로 접근한다.

2. 우반평면에서의 도함수의 영점 및 영점이 없는 영역:

   • 본 논문은 $\zeta^{(k)}(s)$의 결과를 실수 $\alpha > 0$에 대해 $\eta^{(\alpha)}(s)$로 일반화한다.
   • 정리 3.1은 디리클레 급수의 특정 항들의 지배성에 기초하여 $\eta^{(\alpha)}(s)$의 명시적인 영점이 없는 영역을 설정한다.
   • 정리 3.2는 특정 수직 띠 $S_M^\alpha$ 내에서, 각 정수 $j$에 대해 급수의 연속된 두 항이 서로 상쇄되는 선 근처에 정확히 하나의 단순 영점이 존재함을 증명한다.
   • 양의 실수축 상에 영점이 없는 $\zeta^{(\alpha)}(s)$와 달리, $\eta(s)$의 교대적 성질은 $\eta^{(\alpha)}(s)$가 실수축 상에서 영점을 갖도록 허용한다.

3. 임계 구역 내 $\eta'(s)$의 비영성 (RH 가정 시):

   • 정리 4.1은 리만 가설이 참이라면, $0 < \sigma < 1/2$이고 $|t| \ge 164$인 영역에서 $\eta'(s) \neq 0$임을 입증한다. 이는 $-\eta'/\eta(1-s)$의 실수부를 분석하고, RH 가정하에서 충분히 큰 $|t|$에 대해 이 값이 양수임을 보임으로써 도출된다.

4. 좌반평면에서의 $\eta'(s)$의 영점:

   • 정리 5.1 및 정리 5.4는 음의 실수축 상의 $\eta'(s)$의 영점을 위치시킨다. 저자들은 $n \ge 3$일 때, 구간 $[-2n-2, -2n-2+\epsilon]$ 내에 영점이 존재함을 증명한다.
   • 저자들은 $\sigma \le 0$에서 $\eta'(s)$가 오직 실수 영점만을 가지며, 각 구간 $(-2n-2, -2n)$ 내에 정확히 하나의 실수 영점을 가짐을 보여준다.

5. 영점 계수 함수:

   • 정리 6.1은 허수부가 $T$까지인 $k$차 도함수 $\eta^{(k)}(s)$의 영점 개수 $N_k^\eta(T)$가 $T \to \infty$일 때 $N_k^\eta(T) = N_\zeta(T) + O(\log T)$를 만족함을 확립한다. 이는 $\zeta^{(k)}(s)$에 대한 알려진 결과와 평행하며, $\eta(s)-c$의 영점 경로를 통해 $\zeta$의 영점과 도함수들 사이에 일대일 대응 관계가 있음을 시사한다.

의의 및 관찰
본 논문은 $\zeta(s)$ 이론과 $\eta(s)$ 사이의 유사점과 놀라운 차이점을 강조한다. 영점 분포에 관한 많은 결과가 유사하지만, 저자들은 독특한 현상인 **분수 차수 도함수의 중근(double zero)**의 존재를 언급한다.

• 수치적 증거(그림 4 및 7에서 시각화됨)는 $\alpha \approx 0.473$ 및 $s \approx -4.88$ 근처에서 $\eta^{(\alpha)}(s)$의 중근을 보여준다. 이는 좌반평면의 영점 경로들이 실수축과 만나는 지점에서 발생한다. 저자들은 이것이 이 함수들에 대해 발견된 분수 차수 도함수의 유일한 다중 영점이며, 표준적인 $\zeta(s)$ 또는 디리클레 L-함수 이론에서는 관찰되지 않는 특징이라고 언급한다.
• 저자들은 영점 계수 점근식을 분수 차수 도함수로 확장하는 추측 7.1($N_\eta^\alpha(T) = N_\zeta(T) + O(\log T)$)을 제안한다.
• 저자들은 또한 정수 $k$에 대해, 분수 차수 도함수에서 관찰된 특정한 중근 현상을 제외하면 $\eta^{(k)}(s)$가 좌반평면($\sigma < 0, t \neq 0$)에서 비실수 영점을 갖지 않는다는 Ricky Farr의 추측 7.2를 제시한다.

이 연구는 오일러 에타 함수의 특정한 지형을 매핑함으로써 리만 제타 함수의 고전적 이론을 보완하며, 도함수에 대한 엄밀한 경계를 제공하고, 이와 대조되는 비교대적 대상과 구별되는 고유한 구조적 특징인 중근을 식별하는 역할을 한다.