[논문 리뷰] A Note on Some Recent Results for the Bernoulli Numbers of the Second Kind

Iaroslav V. Blagouchine|arXiv (Cornell University)|2016. 12. 10.

History and Theory of Mathematics인용 수 5

한 줄 요약

이 논문은 최근의 연구자들인 차이 및 장 또는 케스너가 기인한 것으로 널리 인용되는 제2종 베르누이 수에 대한 적분 표현은 실제로 1879년 어니스트 쇠르더에 의해 처음 유도된 바 있었다고 보여준다. 복소수 경로 적분을 통해 저자는 쇠르더의 공식을 단순하게 유도하고, 이러한 수들의 적분 표현과 점점 줄어드는 행동의 역사적 재발견을 추적하며, 핵심 결과들—예를 들어 1차 점근적 행동 ~1/(n ln²n)와 같은 것들—이 현대의 기여보다 수십 년 전에 이미 존재했음을 보여주며, 빈에 및 쇠르더의 일군의 작업들에 뿌리를 두고 있음을 밝힌다.

ABSTRACT

In a recent issue of the Bulletin of the Korean Mathematical Society, Qi and Zhang discovered an interesting integral representation for the Bernoulli numbers of the second kind (also known as Gregory's coefficients, Cauchy numbers of the first kind, and the reciprocal logarithmic numbers). The same representation also appears in many other sources, either with no references to its author, or with references to various modern researchers. In this short note, we show that this representation is a rediscovery of an old result obtained in the XIXth century by Ernst Schr\\"oder. We also demonstrate that the same integral representation may be readily derived by means of complex integration. Moreover, we discovered that the asymptotics of these numbers were also the subject of several rediscoveries, including very recent ones. In particular, the first-order asymptotics, which are usually (and erroneously) credited to Johan F. Steffensen, actually date back to the mid-XIXth century, and probably were known even earlier.

연구 동기 및 목표

• 최근 연구자들인 차이 및 장 또는 케스너 등에 의해 자주 기인되는 제2종 베르누이 수에 대한 널리 쓰이는 적분 표현의 진정한 기원을 규명하는 것.
• 동일한 적분 공식이 어니스트 쇠르더에 의해 1879년에 이미 유도되었음을 그의 작업에 대한 역사적 분석을 통해 입증하는 것.
• 경로 적분과 잔류계수 정리의 응용을 통해 복소해석학적 방법으로 쇠르더의 적분 공식을 간결하게 유도하는 것.
• 이 수들의 점근적 근사에 대한 역사적 계보를 추적하여, 1차 점근적 행동 ~1/(n ln²n)이 스테파센의 기여보다 수십 년 전에 알려져 있었음을 보여주는 것.
• 그레고리 계수 이론과 관련 수들의 핵심 결과들이 여러 차례 재발견되었음을 부각함으로써 학술 기록을 바로잡는 것.

제안 방법

• 저자는 제2종 베르누이 수의 적분 표현을 도출하기 위해 열쇠구멍 모양의 경로 C를 따라 복소수 경로 적분을 수행한다.
• 유도 과정은 생성함수를 복소수 적분으로 변환하고, 극 z = -1의 순서 n+1에서 잔류계수 정리를 적용하는 것을 포함한다.
• 경로 적분은 네 부분으로 나뉘며, 두 개의 실수선 세그먼트와 두 개의 원호(C_r 및 C_R)로 구성되며, r→0 및 R→∞일 때 이들의 기여는 소멸한다.
• 분岐절단을 가로질러 로그 항의 차이는 분모에 ln²x + π²가 포함된 실수 적분을 유도한다.
• 유도된 표현은 z = -1에서의 잔류계수와 동일시되며, 이는 |G_n|의 절댓값을 제공하고, G_n의 교대 성질을 통해 부호가 복원된다.
• 이 방법은 공식 (3)의 타당성을 확인하고, 그 구조에 대한 엄밀한 복소해석학적 정당성을 제공한다.

실험 결과

연구 질문

• RQ1 적분 표현 G_n = (-1)^{n+1} ∫₀^∞ du / [(ln²u + π²)(u+1)^n]의 진정한 발명자는 누구인가?
• RQ2 왜 이 공식이 현대 문헌에서 반복적으로 재발견되며 쇠르더에 대한 적절한 기여를 기재하지 않는가?
• RQ3 19세기의 저작물에서 제2종 베르누이 수의 점근적 성질은 어느 정도 예견되었는가?
• RQ4 복소해석학은 어떻게 이 적분 공식을 직접적이고 기본적인 방식으로 유도하고 검증할 수 있는가?
• RQ5 |G_n| ~ 1/(n ln²n)의 점근적 근사의 역사적 계보는 무엇이며, 왜 일반적으로 스테파센에게 잘못 기인되는가?

주요 결과

• 적분 표현 G_n = (-1)^{n+1} ∫₁^∞ dt / [(ln²(t-1) + π²) t^n]은 어니스트 쇠르더에 의해 1879년에 처음으로 유도되었으며, 그의 논문을 직접 검토함으로써 확인되었다.
• 동일한 공식은 현대 문헌에서 케스너의 표현 또는 차이의 적분 표현 등 다양한 이름으로 나타나지만, 역사적 기여에 대한 적절한 기재가 없이 있다.
• 점근적 행동 |G_n| ~ 1/(n ln²n)는 쇠르더에 의해 1879년에 확립되었으며, 스테파센의 1924년 작업보다 45년 전이었고, 빈에의 1839년 관련 수에 대한 논문보다도 더 이르렀다.
• |G_n|의 완전한 점근 전개는 케스너(2015)와 네메스(2016)에 의해 독립적으로 재발견되었지만, 이미 1950년에 S. C. 반 비엔이 도출한 바 있었다.
• 복소적분 방법은 쇠르더의 공식을 직접적이고 기본적인 방식으로 증명하며, 그 타당성을 확인하고 생성함수에서의 명확한 분석적 경로를 제시한다.
• 논문은 제2종 베르누이 수 이론에서 여러 핵심 결과들이 19세기에 이미 알려져 있었음을 보여줌으로써 학술 기록을 바로잡는다.