[논문 리뷰] The best bounds of harmonic sequence

Chao-Ping Chen, Feng Qi|arXiv (Cornell University)|2003. 06. 16.

Mathematical Approximation and Integration참고 문헌 3인용 수 11

한 줄 요약

이 논문은 다이감마 함수와 트리감마 함수의 성질을 이용하여 조화급수와 그 로그 근사값에서 오일러의 상수를 뺀 차이의 가장 날카로운 알려진 경계를 확립한다. 이는 불등식에서 최적의 상수로 $\frac{1}{1-\gamma}-2 \approx 0.3653$ 과 $\frac{1}{3}$ 이며, 이는 이전 결과를 개선하고, Franel 유형 불등식에서 상수의 최적성에 대한 열린 문제를 해결한다.

ABSTRACT

For any natural number $n\in\mathbb{N}$, $ \frac{1}{2n+\frac1{1-γ}-2}\le \sum_{i=1}^n\frac1i-\ln n-γ

연구 동기 및 목표

• 모든 $n \in \mathbb{N}$ 에 대해 $\sum_{i=1}^{n}\frac{1}{i} - \ln n - \gamma$ 의 최선의 하한 및 상한 경계를 결정하는 것.
• 토트와 마레가 프라넬 유형 불등식에서 상수의 최적성에 대해 제기한 두 번째 문제를 해결하는 것.
• 기존의 불등식, 예를 들어 프라넬의 불등식을 개선하여 경계 상수를 향상시키는 것.
• 빈트 공식과 점근 전개를 이용하여 다이감마 및 트리감마 함수에 대한 새로운 이중 불등식을 수립하는 것.

제안 방법

• 로그 감마 함수의 첫 번째 비넷 공식을 이용하여 다이감마 함수의 적분 표현을 유도하는 것.
• 오일러-매클로린 합공식과 $x \to \infty$ 일 때 $\psi(x)$ 의 점근 전개 $\psi(x) = \ln x - \frac{1}{2x} - \frac{1}{12x^2} + O(x^{-4})$ 를 적용하는 것.
• 급수 전개와 적분 표현을 이용하여 $\psi(x+1) - \ln x$ 와 $\psi'(x+1)$ 에 대한 날카로운 불등식을 도출하는 것.
• 함수 $\phi(x) = \frac{1}{\psi(x+1) - \ln x} - 2x$ 를 도입하고, $x > \frac{12}{5}$ 에서 이 함수가 엄밀히 감소함을 증명하여 경계 분석을 가능하게 하는 것.
• 극한 $\lim_{x \to \infty} \phi(x) = \frac{1}{3}$ 과 $\phi(1) = \frac{1}{1 - \gamma} - 2$ 를 이용하여 극값을 결정하는 것.
• 베르누이 다항식과 급수 전개를 포함한 엄밀한 적분 추정을 활용하여 나머지 항의 부호 불등식을 증명하는 것.

실험 결과

연구 질문

• RQ1 모든 $n \in \mathbb{N}$ 에 대해 $\frac{1}{2n + a} \leq \sum_{i=1}^{n} \frac{1}{i} - \ln n - \gamma < \frac{1}{2n + b}$ 를 만족시키는 최선의 상수 $a$ 와 $b$ 는 무엇인가?
• RQ2 상한에서 상수 $\frac{1}{3}$ 을 더 큰 값으로 개선할 수 있는가, 이는 불등식을 위반하지 않고 가능한가?
• RQ3 하한에서 상수 $\frac{1}{1 - \gamma} - 2$ 는 최적이며, 더 작은 값으로 대체될 수 있는가?
• RQ4 다이감마 및 트리감마 함수의 점근 전개가 더 날카로운 경계를 도출하는 데 어떤 기여를 하는가?
• RQ5 함수 $\phi(n) = \frac{1}{\psi(n+1) - \ln n} - 2n$ 의 단조 감소성은 최적 경계 수립에 어떤 역할을 하는가?

주요 결과

• 최적의 하한 상수는 $\frac{1}{1 - \gamma} - 2 \approx 0.36527211862544155$ 이며, 이것이 최적이며, 이를 더 작은 값으로 대체할 수 없다.
• 최적의 상한 상수는 $\frac{1}{3}$ 이며, 이것이 최적이며, 이를 더 큰 값으로 대체하면 불등식을 위반한다.
• 수열 $\phi(n) = \frac{1}{\psi(n+1) - \ln n} - 2n$ 은 $n \in \mathbb{N}$ 에서 엄밀히 감소하며, $\phi(1) = \frac{1}{1 - \gamma} - 2$ 이고 $\lim_{n \to \infty} \phi(n) = \frac{1}{3}$ 이다.
• 모든 $n \in \mathbb{N}$ 에 대해 불등식 $\frac{1}{2n + \frac{1}{1 - \gamma} - 2} \leq \sum_{i=1}^{n} \frac{1}{i} - \ln n - \gamma < \frac{1}{2n + \frac{1}{3}}$ 이 성립하며, 하한에서 등호는 극한에서만 성립한다.
• 논문은 적분 표현과 급수 전개를 이용하여 다이감마 및 트리감마 함수에 대한 두 개의 새로운 이중 불등식을 수립한다.
• 결과는 토트-마레 문제에서 상수의 최적성을 확인하며, 그들의 추측의 두 번째 부분을 긍정적으로 해결한다.