[논문 리뷰] Note on Malmstèn's paper De Integralibus quibusdam definitis seriebusque infinitis

Alexander Aycock|arXiv (Cornell University)|2013. 06. 16.

History and Theory of Mathematics참고 문헌 1인용 수 3

한 줄 요약

이 논문은 Dirichlet eta-함수의 함수방정식에 대해 이전에 간과되었던 증명을 제시한다. 이 증명은 Malmstön의 1846년 논문 De integralibus quibusdam definitis seriebusque infinitis에 담긴 공식들로부터 직접 유도된다. Malmstön의 적분 항등식에 극한 과정과 급수 전개를 적용함으로써, 저자는 Malmstön이 이용할 수 있었던 도구들만을 사용하여 η(s)의 함수방정식을 재구성한다. 이는 그가 추가 작업을 최소한으로 해도 이를 도출할 수 있었음을 보여준다.

ABSTRACT

We present a proof of the functional equation of the Riemann zeta-function or more precisely the Dirichlet eta-function, which proof seems to be new but follows almost immediately from Malmstèn's paper ``De integralibus quibusdam definitis seriebusque infinitis``

연구 동기 및 목표

• Malmstön의 1846년 논문이 Dirichlet eta-함수의 함수방정식 유도에 필요한 핵심 요소를 담고 있음에도 불구하고 이를 생략한 이유를 밝히는 것.
• 그의 방법이 약간의 확장만으로도 함수방정식을 도출할 수 있었음을 보여줌으로써, 그의 업적에 대한 역사적 간과를 시정하는 것.
• Riemann의 1859년 함수방정식 증명보다 13년 전에 이미 이루어진 Malmstön의 업적 속에 담긴 깊이 있는 수학적 통찰을 부각하는 것.
• 아직도 평가받지 못하고 있는 라틴어 논문임에도 불구하고 그 기초적인 기여를 고려해 재조명할 것을 촉구하는 것.

제안 방법

• Malmstön의 공식 30에서 시작하여, hyperbolic 함수와 매개변수 a를 포함한 적분을 [0,1]에서의 로그 적분과 연결한다.
• a → 0으로 갈 때의 극한을 취함으로써 sin(a) 항을 제거하고, 좌변을 u^{1-s}/(e^{πu} - e^{-πu}) 형태로 변형한다.
• 양변을 기하급수 전개를 통해 전개: 좌변에는 1/(1 - e^{-2πu})를, 우변에는 1/(1+y)^2를 사용하여 급수 표현을 도출한다.
• 합계와 적분의 순서를 바꾸고, 적분 ∫₀^∞ e^{-y} y^{1-s} dy = Γ(2-s)를 적용하여 적분을 평가한다.
• 기존에 알려진 적분 ∫₀¹ ln^{s-1}(1/y) y^{n-1} dy = Γ(s)/n^s를 사용하여 우변을 η(s-1)로 표현한다.
• 관계식 λ(2-s) = (2^{2-s}-1)/(2^{2-s}-2) ⋅ η(2-s)를 대입하고, 식을 η(1-s) 기반으로 재작성함으로써 최종 함수방정식을 도출한다.

실험 결과

연구 질문

• RQ1 Malmstön은 자신의 1846년 논문에 담긴 도구들과 공식들만을 사용하여 Dirichlet eta-함수의 함수방정식을 도출할 수 있었는가?
• RQ2 깊이 있는 내용을 담고 있음에도 불구하고, Malmstön의 논문이 100여 년이 넘도록 간과되었고, 동시대인들에 의해 인용되지 않은 이유는 무엇인가?
• RQ3 Malmstön의 적분 항등식과 eta-함수의 함수방정식 사이의 정확한 연결 고리는 무엇인가?
• RQ4 Malmstön의 방법으로 도출된 함수방정식은 Riemann의 1859년 리만 제타-함수의 함수방정식 증명과 어떻게 비교될 수 있는가?
• RQ5 Malmstön의 방법은 메린 변환과 해석적 계속 등의 분석적 수론의 후속 발전을 어느 정도 예견하고 있는가?

주요 결과

• Dirichlet eta-함수의 함수방정식 η(1-s) = (2^s - 1)/(1 - 2^{s-1}) ⋅ π^{-s} ⋅ cos(πs/2) ⋅ Γ(s) ⋅ η(s)는 Malmstön의 공식 30에서 극한과 급수 조작을 통해 직접 도출 가능하다.
• 유도 과정은 Malmstön이 알고 있었던 표준 적분 항등식과 급수 전개에만 의존하므로, 함수방정식은 그의 도달 범위 내에 있었다.
• x=0일 때 Malmstön의 공식 57은 증명에 사용된 핵심 적분 항등식과 동치이며, 이는 그의 논문 내에 이미 존재함을 확인한다.
• 관계식 λ(s) = (2^s - 1)/(2^s - 2) ⋅ η(s)는 Dirichlet beta-함수와 eta-함수를 연결하여 최종 변환을 가능하게 한다.
• 논문은 Malmstön이 eta-함수 방정식을 유도하지 못한 것은 도구 부족 때문이 아니라, 해석적 계속 개념의 명시적 부재 때문일 가능성이 크다고 주장한다.
• 저자는 Malmstön의 논문이 깊이 있고 간과당한 결과들을 담고 있으며, Kummer의 1847년 결과보다 앞서 lnΓ(x)의 푸리에 급수를 도출한 바가 있음을 결론짓는다.