불완전 감마와 터치아드 다항식으로 본 린델뢰프 가설

초록

본 논문은 디리클레 L-함수를 불완전 감마 함수와 터치아드 다항식으로 전개한 뒤, 이를 이용해 린델뢰프 가설을 “공식적 증명”으로 제시한다. 핵심은 하위 불완전 감마 함수의 테일러 계수를 터치아드 다항식으로 표현하고, 이를 함수 방정식에 삽입해 |L(½+it)|가 작아야 함을 직관적으로 설명한다. 그러나 수렴성 검증, 급수 순서 교환 등에 대한 엄밀한 증명이 결여돼 현재는 가설에 대한 실제 증명이라기보다 아이디어 제시 수준에 머문다.

상세 분석

논문은 먼저 χ₃( n )이라는 비주요 3차 모듈러 문자에 대한 L₃(s)=∑ₙχ₃(n)n^{-s}를 정의하고, ξ₃(s)=g₃(s)L₃(s) 형태의 완전화 함수를 도입한다. 여기서 g₃(s)=π^{−s+½}Γ(s+½)이며, ξ₃(s)는 전통적인 기능 방정식 ξ₃(s)=ξ₃(1−s)를 만족한다. 저자는 γ(w,m) 하위 불완전 감마 함수에 대한 Kummer 전개 γ(w,m)=m^{w}∑{k≥0}(-1)^{k}k!^{-1}(w+k)m^{k}를 이용해 w를 복소수 a+ib 형태로 확장하고, 1/(a+ib)^{l}을 또 다른 전개식으로 바꾼 뒤, 최종적으로 γ(a+ib,m)=m^{a+ib}e^{-m}∑{l≥1}(-1)^{l-1}T_{l-1}(-m)(a+ib)^{l}라는 식을 얻는다. 여기서 T_{n}(x)=∑_{j=0}^{n}S(n,j)x^{j}는 터치아드 다항식이며, 저자는 이를 기존 문헌에서 찾을 수 없다고 주장한다. 실제로 터치아드 다항식은 Bell 수와 밀접한 관계가 알려져 있어 이 전개는 새롭다기보다 다른 형태로 재표현된 것에 가깝다.

이 전개를 L₃(s)의 표현식에 삽입하면 ξ₃(½+it)를 무한 급수의 이중 합으로 나타낼 수 있다. 핵심 단계는 (31)식으로, 각 k에 대해 ∑{n≥1}χ₃(n)nU{2k}(¾,πn²/3)e^{-πn²/3}=0이라는 항등식이 성립한다는 주장이다. 저자는 이를 기능 방정식 (8)의 등가 형태로 해석하고, 결국 ξ₃(½+it)=0이라는 “역설적” 결론을 도출한다. 물론 실제로 ξ₃(½+it)≠0이며, 이는 급수의 수렴성, 항 교환, 그리고 (13)식의 제한 조건(k<|w|)을 무시했기 때문에 발생한다.

섹션 2에서는 이러한 비공식적 증명을 엄밀히 만들기 위한 두 가지 접근법을 제시한다. 첫째는 상한 N, K를 도입해 급수를 유한화하고 오차를 추정하는 방법이며, 둘째는 가중치 ν_n(N), κ_k(K)를 이용해 선형 가속화 기법을 적용하는 방안이다. 그러나 저자는 구체적인 가중치 선택 기준이나 오차 감소 속도에 대한 정량적 분석을 제공하지 않는다.

결과적으로 논문은 다음과 같은 점에서 의미가 있다. (1) 하위 불완전 감마 함수의 테일러 전개와 터치아드 다항식 사이의 직접적인 연결 고리를 제시한다는 점, (2) 디리클레 L-함수의 기능 방정식을 급수 형태로 재구성함으로써 “계수들의 소거” 현상을 관찰한다는 점이다. 하지만 현재 형태로는 린델뢰프 가설을 증명한다고 볼 수 없으며, 주요 수학적 결함(수렴성, 급수 순서 교환, 제한 조건 위반)이 남아 있다. 향후 연구에서는 (i) Kummer 전개의 정확한 수렴 반경을 명시하고, (ii) 터치아드 다항식 계수의 비대칭성을 이용해 실제 |L(½+it)|의 상한을 얻는 방법을 모색해야 할 것이다.