[論文レビュー] Formulas for Positive, Negative and Zero Values of the Möbius Function

R. M. Abrarov, Sanjar M. Abrarov|ArXiv.org|May 4, 2009

Mathematics and Applications参考文献 6被引用数 3

ひとこと要約

この論文は、Möbius関数の値が正、負、ゼロである自然数の個数 $N_+(x)$, $N_-(x)$, $N_0(x)$ を、$√x$ におけるMöbius関数値に基づく再帰的恒等式を用いて明示的な公式で導出する。Dirac関数およびKroneckerデルタ関数を用いて、Mertens関数および関連する算術的関数を積分的・離散的形で表現し、これらの関数が数論的恒等式を通じて出力を生成する構造的メカニズムを明らかにする。

ABSTRACT

We obtained the formulas for the quantities of positive, negative and zero values of the Mobius function for any real x in terms of the Mobius function values for square root of x - similar to the identities we found earlier for the Mertens function [1]. Using the Dirac delta function approach [3, 2] we propose the equations showing how the Mertens and related functions can generate the output values.

研究の動機と目的

• 自然数 $n \leq x$ で $\mu(n) = +1$, $-1$, $0$ であるものの個数 $N_+(x)$, $N_-(x)$, $N_0(x)$ の正確な公式を導出すること。
• Mertens関数の再帰的構造を拡張し、これらの個数を $√x$ におけるMöbius関数値の再帰的表現で表すこと。
• 床関数を排除し、内在する生成メカニズムを明確にするために、Diracデルタ関数 $\delta^D$ およびKroneckerデルタ関数 $\delta^K$ を用いてMertens関数および関連算術的関数を再定式化すること。
• Möbius関数値の分布およびその頻度を分析するための決定的で恒等式に基づく枠組みを提供すること。

提案手法

• 平方因数に関する包含除算を用いて $N_0(x)$ を導出し、$N_0(x) = -\sum_{i=2}^{\sqrt{x}} \mu_i \left[\frac{x}{i^2}\right]$ を得る。
• Mertens関数を再帰的に表す恒等式 $M(x) = 2M(\sqrt{x}) - \sum_{i,j=1}^{\sqrt{x}} \mu_i \mu_j \left[\frac{x}{ij}\right]$ を用いる。
• 床関数 $\left[\frac{x}{ij}\right]$ をDiracデルタ関数 $\delta^D$ およびKroneckerデルタ関数 $\delta^K$ で置き換える。
• $\delta^K\left(\frac{k}{ij}\right)$ を用いてMertens関数の恒等式を $k$ および $i,j$ に関する二重和に変換し、$M(x) = 2 - \sum_{k=1}^x \sum_{i,j=1}^{\sqrt{k}} \mu_i \mu_j \delta^K\left(\frac{k}{ij}\right)$ を得る。
• 同じ変換技術を用いて $Q(x) = N_+(x) + N_-(x)$, $N_+(x)$, $N_-(x)$ に対してもデルタ関数表現を導出する。
• $x \geq 2$ に対して $\mu_x = -\sum_{i,j=1}^{\sqrt{x}} \mu_i \mu_j \delta^K\left(\frac{x}{ij}\right)$ という恒等式を確立し、個々のMöbius値がいかに再帰的構造によって生成されるかを示す。

実験結果

リサーチクエスチョン

• RQ1 Möbius関数の正、負、ゼロの値をとる個数は、どのように $√x$ における値に基づいて再帰的に表現できるか？
• RQ2 Mertens関数および関連算術的関数は、DiracまたはKroneckerデルタ関数を用いて再定式化可能であり、床関数を排除できるか？
• RQ3 Möbius関数値の生成の背後にある構造的メカニズムは何か？
• RQ4 Möbius関数値 $\mu(n) = +1$, $-1$, $0$ の頻度は、Mertens関数および平方自由数の個数にどのように関係するか？
• RQ5 包含除算および乗法的恒等式は、$N_0(x)$ および $Q(x)$ の正確な公式を導出する上で果たす役割は何か？

主な発見

• 自然数 $n \leq x$ で $\mu(n) = 0$ であるものの個数は、平方因数に関する包含除算を用いて $N_0(x) = -\sum_{i=2}^{\sqrt{x}} \mu_i \left[\frac{x}{i^2}\right]$ と与えられる。
• 平方自由数の個数 $Q(x) = N_+(x) + N_-(x)$ は $Q(x) = \sum_{i=1}^{\sqrt{x}} \mu_i \left[\frac{x}{i^2}\right]$ と表現され、$√x$ におけるMöbius値と直接関連づけられる。
• $N_+(x)$ および $N_-(x)$ は、Mertens関数および $Q(x)$ を用いて $N_+(x) = M(\sqrt{x}) - \frac{1}{2}\sum_{i,j=1}^{\sqrt{x}} \mu_i \mu_j \left[\frac{x}{ij}\right] + \frac{1}{2}Q(x)$ および同様に $N_-(x)$ として導出される。
• デルタ関数を用いることで、$M(x) = 2 - \sum_{k=1}^x \sum_{i,j=1}^{\sqrt{k}} \mu_i \mu_j \delta^K\left(\frac{k}{ij}\right)$ を導出し、床関数を離散的デルタ関数に置き換えた。
• $x \geq 2$ に対して $\mu_x = -\sum_{i,j=1}^{\sqrt{x}} \mu_i \mu_j \delta^K\left(\frac{x}{ij}\right)$ という恒等式は、個々のMöbius値が再帰的構造によってどのように生成されるかを示している。
• デルタ関数による定式化により、数論的恒等式を通じてMöbius関数およびその和関数の値を決定的かつ構成的に生成するメカニズムが明らかになった。