[논문 리뷰] Yet Another Table of Integrals

Richard J. Mathar|arXiv (Cornell University)|2012. 07. 24.

Iterative Methods for Nonlinear Equations참고 문헌 141인용 수 4

한 줄 요약

이 논문은 수학적 및 물리학 문헌에서 유래한 1,000개 이상의 명확한 적분, 급수, 특수함수 항등식으로 구성된 비중복성 있는 컬렉션을 제시한다. 연구자들이 자신의 작업에서 유사한 적분을 만났을 때 원천을 추적할 수 있도록 도와주는 역참조 도구로 기능하며, Gradshteyn-Ryzhik 및 Dieckmann와 같은 기존 표와의 광범위한 인용 및 연결을 포함한다.

ABSTRACT

This collection of sums and integrals has been harvested from the mathematical and physical literature in unstructured ways. Its main use is backtracking the original sources whenever an integral of the reader's application resembles one of the items in the collection.

연구 동기 및 목표

• 수학적 및 물리학 문헌에서부터 검색 가능하고 중복되지 않는 적분 및 급수의 컬렉션을 구축하는 것.
• 연구자가 표에 있는 것과 유사한 적분을 만났을 때 이를 거슬러 올라가 원천을 찾을 수 있도록 하는 백트래킹 도구로 기능하는 것.
• 각 공식에 대해 참고문헌과 원천 추적 경로를 제공하여 사용자가 원래 유도 과정을 찾을 수 있도록 하는 것.
• 리만 제타, 다이로그함수, 베르누이 수, 조화수 등 특수함수를 포함한 항등식을 포함하는 것.
• Gradshteyn-Ryzhik 및 Dieckmann와 같은 기존 표와의 일관성을 유지하면서도 새로운 또는 수정된 항목을 추가하는 것.

제안 방법

• 연구 논문, 책, 온라인 저장소와 같은 비정형 자료에서 공식을 수확하는 것.
• 각 공식이 원천 자료의 참고문헌 목록을 앞서게 하여 유형별로 항목을 정리하는 것.
• 복잡한 합을 유도하고 검증하기 위해 생성함수, 벨 다항식, 하이퍼기하 항등식을 사용하는 것.
• 이항계수, 스틸링 수, 조화수를 포함한 합을 표현하기 위해 생성함수 기법을 적용하는 것.
• 허위츠 제타, 다이로그함수, 바르네스 G-함수를 포함한 결과를 도출하기 위해 임계선 적분 및 적분 변환을 사용하는 것.
• 재귀관계와 생성함수의 역함수를 사용하여 베르누이 다항식과 오일러 다항식을 포함한 항등식을 도출하는 것.

실험 결과

연구 질문

• RQ1 연구자가 자신의 작업에서 만난 특정 적분이나 급수의 원천을 효율적으로 추적할 수 있는 방법은 무엇인가?
• RQ2 수학 문헌에서 특정 적분을 그 기원과 연결짓는 체계적인 방법은 무엇인가?
• RQ3 스틸링 수, 조화수, 하강계승을 포함한 복잡한 이항계수 합을 체계적으로 평가할 수 있는 방법은 무엇인가?
• RQ4 중앙 이항계수와 역거듭제곱을 포함한 합의 가족을 통합하는 생성함수 항등식은 무엇인가?
• RQ5 허위츠 제타, 다이로그함수, 바르네스 G-함수와 같은 특수함수들은 적분 및 급수 항등식을 통해 어떻게 연결될 수 있는가?

주요 결과

• 표에는 1,000개 이상의 항목이 포함되어 있으며, 각 항목은 원천 자료에 대한 참고문헌을 포함하여 적분 및 급수의 원천 추적을 가능하게 한다.
• 제1종 스틸링 수를 사용하여 합 ∑_{k=0}^n (n choose k) k^m 의 닫힌 형식 항등식이 유도됨: ∑_{j=0}^m {m  j} (n choose j) j! 2^{n-j}.
• ∑_{k} (n choose 2k) k 를 위한 생성함수 항등식이 유도됨: n ≥ 2 일 때 (n-2)2^{n-3}.
• ∑_{k=0}^n (n choose k) (-1)^k k^m = {m  n} (-1)^n n! 이라는 항등식이 유도되어 스틸링 수와 교대 이항계수 합을 연결함.
• 이항계수의 곱과 (1 - a²/(2m+1)²)에 대한 무한곱을 사용하여 β(2n+1)에 대한 새로운 생성함수를 도출함.
• 이 논문은 새로운 적분 항등식을 확립함: ∫₀¹ ln(sin πq) ζ(z,q) dq = -Γ(1−z)/(2π)^{1−z} sin(πz/2) ζ(2−z), ℜz < 1 일 때 유효함.