[논문 리뷰] A Remark on the Mandl's Inequality

Mehdi Hassani|ArXiv.org|2006. 06. 29.

Mathematical Inequalities and Applications참고 문헌 7인용 수 6

한 줄 요약

이 논문은 제1의 첫 번째 소수들의 합에 대해 만들라의 부등식을 정교화하여, $ n \geq 10 $ 일 때 $ \sum_{i=1}^n p_i < \frac{n}{2}p_n - \frac{n^2}{14} $ 를 확립하고, 이를 통해 소수계승 $ p_1 p_2 \cdots p_n $ 의 상한을 향상시킨다. 또한 반라이타폴로의 하한을 정교화하여 $ n \geq 101 $ 일 때 $ p_1 \cdots p_n > p_{n+1}^{(1 - 1/\log n)(n - \pi(n))} $ 를 얻는다. 결과들은 산술기하평균 부등식, 소수 계수의 경계 및 체비셰프 함수 $ \theta(p_n) $ 의 渐近적 추정을 사용하여 도출된다. 논문은 또한 첫 번째 $ n $ 개의 소수들의 기하평균이 $ e $ 로 수렴하며 오차가 $ O(1/\log^4(n\log n)) $ 임을 보여준다.

ABSTRACT

In this note, first we refine Mandl's inequality. Then, we consider the product $p_1p_2... p_n$ and we refine some known lower bounds for it, and we find some upper bounds for it by using Mandl's inequality and its refinement and the AGM-Inequality.

연구 동기 및 목표

• 만들라의 부등식 $ \sum_{i=1}^n p_i < \frac{n}{2}p_n $ 를 정교화하여, 차이 $ \frac{n}{2}p_n - \sum_{i=1}^n p_i $ 에 대해 더 강한 하한을 증명하는 것으로, $ n \geq 10 $ 일 때 $ > \frac{n^2}{14} $ 를 확보한다.
• 정교화된 만들라 부등식과 산술기하평균 부등식을 사용하여 소수계승 $ p_1 p_2 \cdots p_n $ 의 기존 상한을 향상시킨다.
• 로그 보정 인자를 도입하여 반라이타폴로의 소수계승 하한을 강화함으로써, $ n \geq 101 $ 일 때 $ p_1\cdots p_n > p_{n+1}^{(1 - 1/\log n)(n - \pi(n))} $ 를 도출한다.
• 첫 번째 $ n $ 개의 소수들의 기하평균의 渐近적 행동을 분석하여, $ n \to \infty $ 일 때 $ \prod_{n}^{\sharp} = e + O(1/\log^4(n\log n)) $ 를 보여주며, 체비셰프 함수 $ \theta(x) $ 의 경계를 사용한다.

제안 방법

• 소수 계수 함수 $ \pi(t) $, 로그 적분 $ \mathrm{Li}(x) $, 그리고 $ \pi(x) \geq \frac{x}{\log x}(1 + \frac{1}{\log x}) $ ( $ x \geq 599 $ 일 때) 와 같은 알려진 $ \pi(x) $ 의 경계를 사용하여, 만들라 부등식의 정교화된 형태를 도출한다.
• 첫 번째 $ n $ 개의 소수의 수열에 대해 산술기하평균 부등식을 적용하여, 정교화된 합 경계 $ \sum_{i=1}^n p_i < \frac{n}{2}p_n - \frac{n^2}{14} $ 를 사용해 소수계승의 상한을 유도한다.
• 로빈의 부등식 $ \frac{1}{n}\sum_{i=1}^n p_i \geq p_{\lfloor n/2 \rfloor} $ 을 적용하여, 산술기하평균 기반 상한을 보완하고, 소수 수열의 분산을 반영하는 보정 항 $ \Omega(n) $ 을 도입한다.
• 예를 들어 $ p_n \sim n\log n $ 와 같은 $ p_n $ 의 渐近적 추정, 그리고 $ \theta(p_n) = \sum_{p \leq p_n} \log p $ 의 경계를 사용하여 소수계승의 정교화된 하한을 도출한다.
• 기존의 경계 $ |\theta(x) - x| < d \frac{x}{\log^4 x} $ ( $ d = 1717433 $ ) 를 사용하여 기하평균 $ \prod_{n}^{\sharp} = e^{\theta(p_n)/p_n} $ 의 오차를 추정하고, 이로부터 渐近적 전개 $ \prod_{n}^{\sharp} = e + O(1/\log^4(n\log n)) $ 를 이끌어낸다.
• 작은 $ n $ (예: $ 10 \leq n \leq 21151 $) 에 대해 직접 계산을 통해 정교화된 경계를 검증하고, 더 큰 $ n $ 에 대해서는 해석적 계속 및 渐近적 분석을 사용한다.

실험 결과

연구 질문

• RQ1 만들라의 부등식 $ \sum_{i=1}^n p_i < \frac{n}{2}p_n $ 는 차이 $ \frac{n}{2}p_n - \sum_{i=1}^n p_i $ 에 대해 $ n $ 의 제곱항 하한을 확립함으로써 더욱 정교화될 수 있는가?
• RQ2 정교화된 만들라 부등식은 산술기하평균 부등식과 결합하여 소수계승 $ p_1 p_2 \cdots p_n $ 의 상한을 어떻게 향상시킬 수 있는가?
• RQ3 반라이타폴로의 하한 $ p_1\cdots p_n > p_{n+1}^{n - \pi(n)} $ 은 로그 보정 인자를 도입함으로써 더 향상시킬 수 있는가?
• RQ4 기하평균 $ \prod_{n}^{\sharp} = (p_1\cdots p_n)^{1/p_n} $ 이 $ n \to \infty $ 일 때 정확한 渐近적 오차는 무엇인가? 그것은 $ e + O(1/\log^4(n\log n)) $ 인가?
• RQ5 소수 계수 $ \pi(x) $, 체비셰프 함수 $ \theta(x) $, 그리고 $ p_n $ 의 알려진 경계들이 어떻게 상호작용하여 소수계승의 상한과 하한을 더 견고하게 유도하는가?

주요 결과

• 논문은 만들라 부등식의 새로운 정교화를 확립한다: $ \sum_{i=1}^n p_i < \frac{n}{2}p_n - \frac{n^2}{14} $, $ n \geq 10 $ 일 때 성립하며, $ 10 \leq n \leq 21151 $ 에 대해 직접 계산으로 검증되었고, $ n \geq 21152 $ 에 대해 해석적으로 증명되었다.
• 정교화된 만들라 부등식과 산술기하평균 부등식을 사용하여, $ n \geq 10 $ 일 때 $ p_1 p_2 \cdots p_n < \left( \frac{p_n}{2} - \frac{n}{14} \right)^n $ 의 개선된 상한을 도출하였다. 이는 $ 5 \leq n \leq 9 $ 에 대해서도 성립한다.
• 논문은 소수계승에 대해 더 강력한 하한을 증명한다: $ n \geq 101 $ 일 때 $ p_1 p_2 \cdots p_n > p_{n+1}^{(1 - 1/\log n)(n - \pi(n))} $ 이며, $ 101 \leq n \leq 598 $ 에 대해 계산으로 검증되었다.
• 산술기하평균 부등식을 보완하는 보정 항 $ \Omega(n) $ 을 도입함으로써, 더 견고한 상한을 확보한다: $ n \geq 10 $ 일 때 $ p_1 p_2 \cdots p_n < \left\{ \frac{p_n}{2}\left(1 - \frac{(2^{1/n} - 1)^n}{n} \right) - \frac{n}{14} \right\}^n $.
• 논문은 첫 번째 $ n $ 개의 소수들의 기하평균이 $ \prod_{n}^{\sharp} = e + O(1/\log^4(n\log n)) $ 를 만족함을 보여주며, $ |\theta(x) - x| < d \frac{x}{\log^4 x} $ ( $ d = 1717433 $ ) 를 기반으로 한다.
• 이 渐近적 오차 추정은 $ p_n > 5.27 \times 10^{15} $ 일 때 유효하며, 결과는 $ n\log n $ 에 따라 표현되며, $ \prod_{n}^{\sharp} \to e $ 이며 수렴 속도가 정량화됨을 확인한다.