[논문 리뷰] Logarithmic Integrals, Polylogarithmic Integrals and Euler sums

Bernard J. Laurenzi|arXiv (Cornell University)|2010. 10. 29.

Advanced Mathematical Identities참고 문헌 20인용 수 5

한 줄 요약

이 논문은 실수의 일반화된 다이로그함수를 사용하여 상용로그함수, 다이로그함수, 오일러 합을 통합하는 프레임워크를 수립한다. 다이로그함수의 곱을 포함하는 적분에 대한 닫힌형 해와 재귀관계를 유도하며, 주요 결과로는 매개수 차이가 홀수 또는 짝수 정수일 경우의 대칭 차분 방정식과 유한합 표현이 포함되어 있으며, 이는 리만 제타함수와 특수합을 이용한 정확한 평가를 가능하게 한다.

ABSTRACT

Relations among integrals of logarithms, polylogarithms and Euler sums are presented. A unifying element being the introduction of Nielsen's generalized polylogarithms.

연구 동기 및 목표

• 니엘센의 일반화된 다이로그함수를 통해 상용로그함수 적분, 다이로그함수 적분, 오일러 합의 통합적 처리를 목적으로 한다.
• 다른 순서의 다이로그함수 곱의 적분에 대한 재귀관계를 도출한다.
• 매개수의 차이가 홀수 또는 짝수 정수일 경우의 적분을 제타함수와 유한합을 이용해 닫힌형으로 표현한다.
• 급수 전개와 특수함수 항등식을 통해 교대 오일러 합의 정확한 및 근사적 평가를 제공한다.

제안 방법

• 다이로그함수 곱의 적분과 제타함수를 포함한 경계항 간의 대칭 부분 차분 방정식(Eq. 5)을 유도하여 연결한다.
• 분할 적분과 합산 기법을 적용하여 매개수 이동이 있는 적분을 초기값과 R(p,q) 항으로 표현하는 재귀관계(Eq. 6)를 도출한다.
• 대칭성과 매개수 치환(예: p = q + 2n − 1 설정)을 통해 홀수 정수 차이가 나는 적분에 대한 닫힌형 표현을 확보한다.
• 특수합 𝒥₁(r)과 𝒥₂(r)를 니엘센 적분, 제타함수, 조화합으로 표현하며, σ̃ 및 s 항을 포함한다.
• 스털링 수와 다이로그함수 도함수를 이용한 급수 전개를 도출하여 교대 오일러 합의 고정밀 근사치를 가능하게 한다.
• log(1±t)/(1−t)를 포함하는 적분을 특수합과 관련지으며, 제타함수와 로그적분을 통해 표현한다.

실험 결과

연구 질문

• RQ1 다이로그함수 곱의 적분은 어떻게 재귀관계를 통해 체계적으로 연결될 수 있는가?
• RQ2 매개수의 차이가 홀수 또는 짝수 정수일 경우, 어떤 닫힌형 표현을 도출할 수 있는가?
• RQ3 니엘센의 일반화된 다이로그함수로 상용로그함수 적분, 다이로그함수 적분, 오일러 합의 처리가 어떻게 통합되는가?
• RQ4 스털링 수와 제타함수를 포함한 급수 전개를 통해 교대 오일러 합을 정확하게 근사할 수 있는가?
• RQ5 다중 다이로그함수와 특수합 𝒥₁(r) 및 𝒥₂(r) 사이의 관계는 무엇인가?

주요 결과

• I(p,q) 적분은 대칭 차분 방정식(Eq. 5)을 만족하며, 제타함수를 포함한 R(p,q) 항으로 재귀적으로 평가 가능하다.
• 매개수의 차이가 홀수 정수일 경우, 예를 들어 I(p,p+2n−1)에 대해 제타함수의 유한합(Eq. 8)으로 닫힌형 표현이 도출된다.
• 매개수의 차이가 짝수 정수일 경우, 예를 들어 I(p,p+2n)는 I(p+n,p+n)와 R(p,q) 항의 유한합으로 표현된다(Eq. 9).
• 합 𝒥₂(2n+1)는 ½[s₂ₙ,₂ + σ̃₂ₙ,₂] − 𝒞(2n+1) + 2⁻²ⁿ⁻²ζ(2n+2)로 표현되며, 𝒞(2n+1)은 니엘센 적분과 관련된다.
• 교대 오일러 합 S₋(5)는 제타함수와 스탈링 수를 포함한 잘라낸 급수를 사용하여 9자리 소수까지 근사되었으며, 유리수 및 초월수 표현을 도출한다.
• 합 𝒥₁(r)는 ½[sᵣ₋₁,₂ − σ̃ᵣ₋₁,₂] − 𝒪(r)로 표현되며, 𝒥₂(r)는 (1−2⁻ʳ)sᵣ₋₁,₂ + σ̃ᵣ₋₁,₂를 이용해 재작성되어 제타함수 및 조화합에 대한 명시적 의존성을 보여준다.