[논문 리뷰] Ramanujan's Approximation to the nth Partial Sum of the Harmonic Series

Mark B. Villarino|ArXiv.org|2004. 02. 22.

Advanced Mathematical Identities참고 문헌 3인용 수 4

한 줄 요약

이 논문은 라마누잔의 제수합수 $ H_n $ 의 m = \frac{1}{2}n(n+1) $ 의 거듭제곱에 대한 점점 나아지는 전개에 대한 엄밀한 오차 분석을 제공하며, 적분법과 수열의 전개를 통해 처음 다섯 항을 유도한다. 전개가 점점 나아지는 것으로 증명되고 다음 항보다 오차가 작다는 것을 보이며, 라우지의 근사에 대해 최적의 오차 추정치를 수립한다.

ABSTRACT

A simple integration by parts and telescopic cancellation leads to a rigorous derivation of the first 2 terms for the error in Ramanujan's asymptotic series for the nth partial sum of the harmonic series. Then Kummer's transformation gives three more terms and a rigorous error estimate. Finally best-possible estimates of Lodge's approximations.

연구 동기 및 목표

• Ramanujan의 조화급수 $ H_n $ 의 m = \frac{1}{2}n(n+1) $ 의 거듭제곱에 대한 점점 나아지는 전개에 대한 완전한 오차 분석을 제공하며, 이는 이전에 오차 경계가 없었다.
• Ramanujan의 급수의 처음 다섯 항이 점점 나아지며, 오차가 다음 항의 절대값보다 작다는 것을 보여준다.
• 이전에 최적 경계 없이 제시된 라우지의 근사에 대해 최적의 오차 추정치를 유도한다.
• 적분법과 쿠머의 변환을 사용하여 점점 나아지는 전개를 체계적으로 유도할 수 있으며, 고차항을 생성하는 구성적 방법을 제시한다.

제안 방법

• 브롬위치의 힌트를 사용하여 $ \epsilon_n = H_n - \frac{1}{2}\ln(2m) - \gamma $ 를 정의하고, $ \int_0^1 \frac{t^2}{k(k^2 - t^2)} dt $ 를 포함하는 적분 표현을 도출한다.
• $ \epsilon_n = \sum_{k=n+1}^\infty \int_0^1 \frac{t^2}{k(k^2 - t^2)} dt $ 에 대해 연속적인 적분법을 적용하여 점점 나아지는 점점 나아지는 전개를 얻는다.
• 부분분수 분해와 전개 수열을 사용하여 $ \sum_{k=n+1}^\infty \frac{1}{k(k^2 - 1)^3} $ 와 같은 합을 단순화하고, 정확한 계수 추출을 가능하게 한다.
• 쿠머의 변환을 적용하여 처음 두 항을 초월하는 고차항을 생성하고, 수렴성과 오차 제어를 보장한다.
• 점점 나아지는 분석을 통해 유도된 나머지 항을 Ramanujan의 알려진 급수 계수와 일치시켜 전개의 정당성을 확인한다.
• 유리함수와 적분에 대한 부등식을 사용하여 나머지 항의 경계를 설정하고, 오차가 절대값으로 다음 항보다 작다는 것을 증명한다.

실험 결과

연구 질문

• RQ1 Ramanujan의 $ H_n $ 의 m = \frac{1}{2}n(n+1) $ 의 거듭제곱에 대한 점점 나아지는 전개가 다음 항보다 오차가 작다는 것을 엄밀하게 증명할 수 있는가?
• RQ2 Lodge의 근사 $ H_n \approx \frac{1}{2}\ln(2m) + \gamma + \frac{1}{12m + \frac{6}{5}} $ 의 최적 오차 추정치는 무엇이며, 오차 항에 있는 상수들이 최적인가?
• RQ3 Ramanujan의 전개의 처음 다섯 항은 적분법과 전개 수열을 사용하여 체계적으로 어떻게 도출할 수 있는가?
• RQ4 Ramanujan의 전개에 고차항을 생성하는 구성적 방법이 존재하는가? 그리고 이는 다섯 항을 초월하여 확장될 수 있는가?
• RQ5 다음 조건을 만족하는 상수 $ c_n \in (0,1) $ 이 존재함을 엄밀하게 증명할 수 있는가: $ H_n = \frac{1}{2}\ln(2m) + \gamma + \frac{c_n}{12m} $?

주요 결과

• Ramanujan의 전개의 처음 다섯 항 $ H_n = \frac{1}{2}\ln(2m) + \gamma + \frac{1}{12m} - \frac{1}{120m^2} + \frac{1}{630m^3} - \frac{1}{1680m^4} + \frac{\Theta_n}{2310m^5} $ 은 점점 나아지며, $ 0 < \Theta_n < 1 $ 이므로 오차가 다음 항보다 작다.
• Ramanujan의 전개에서 오차는 절대값으로 단조 감소하며 부호가 번갈아지므로 급수의 점점 나아지는 성질을 확인한다.
• Lodge의 근사 $ H_n \approx \frac{1}{2}\ln(2m) + \gamma + \frac{1}{12m + \frac{6}{5}} $ 에서 오차 $ \lambda_n $ 는 $ 0 < \lambda_n < \frac{19}{25200m^3} $ 를 만족하며, 상수 $ \frac{19}{25200} $ 는 최적이다.
• $ H_n = \frac{1}{2}\ln(2m) + \gamma + \frac{1}{12m + \Lambda_n} $ 에서 $ \Lambda_n $ 의 전개는 $ \Lambda_n = \frac{6}{5} - \frac{19}{175m} + \frac{13}{250m^2} - \frac{\delta_n}{m^3} $ 이며, $ 0 < \delta_n < \frac{187969}{4042500} $ 이고, 모든 상수는 최적이다.
• 다음 조건을 만족하는 $ c_n \in (0,1) $ 이 존재함을 확인하였으며, $ c_n $ 은 0과 1로부터 멀리 떨어져 있다.
• 적분법과 전개 수열의 방법은 Ramanujan의 전개의 처음 다섯 항을 성공적으로 유도하였으며, 다섯 번째 항의 계수 $ \frac{1}{2310m^5} $ 도 엄밀하게 도출되었다.