[論文レビュー] A Remark on the Mandl's Inequality

Mehdi Hassani|ArXiv.org|Jun 29, 2006

Mathematical Inequalities and Applications参考文献 7被引用数 6

ひとこと要約

この論文は、最初の $ n $ 個の素数の和についてマンドルの不等式を精緻化し、$ 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))} $ を得る。結果は、AM-GM 不等式、素数の個数関数の境界、およびチエビシェフ関数 $ \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 $ に対するより強い下界 $ \frac{n^2}{14} $ を示すことで強化すること。特に $ n \geq 10 $ の場合に成り立つこと。
• 精緻化されたマンドルの不等式と相加相乗平均（AM-GM）不等式を組み合わせることで、素数階乗 $ 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 $ 個の素数の幾何平均の漸近的挙動を分析し、$ \prod_{n}^{\sharp} = e + O(1/\log^4(n\log n)) $ が $ n \to \infty $ のとき成り立つことを示すこと。これはチエビシェフ関数 $ \theta(x) $ の境界を用いて導出される。

提案手法

• 素数の個数関数 $ \pi(t) $ の積分的推定、対数積分 $ \mathrm{Li}(x) $、および既知の $ \pi(x) $ の境界（$ x \geq 599 $ のとき $ \pi(x) \geq \frac{x}{\log x}(1 + \frac{1}{\log x}) $）を用いて、マンドルの不等式の精緻化版を導出する。
• 最初の $ n $ 個の素数の列に相加相乗平均（AM-GM）不等式を適用し、上界 $ \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} $ を用いて、AM-GM に基づく上界を補正し、素数列の分散を反映する補正項 $ \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 $ に対して二次の下界を確立することで、より鋭くできるか？
• RQ2 精緻化されたマンドルの不等式は、相加相乗平均（AM-GM）不等式と組み合わせることで、素数階乗 $ p_1 p_2 \cdots p_n $ の上界をどのように改善できるか？
• RQ3 パナイタポールの下界 $ p_1\cdots p_n > p_{n+1}^{n - \pi(n)} $ は、対数補正項を組み込むことでさらに改善可能か？
• RQ4 最初の $ n $ 個の素数の幾何平均 $ \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 $ については解析的に示された。
• 精緻化されたマンドルの不等式と相加相乗平均（AM-GM）不等式を組み合わせることで、$ 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 $ については計算により検証された。
• AM-GM 不等式を補正項 $ \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 $ であることが定量的に確認され、収束速度も明確になった。