■約数関数の漸近挙動(その2)
約数の個数関数d(k)の平均値の漸近挙動について,ディリクレは
1/nΣd(k)〜ln(n)-2γ+1
を示しました.
1/25Σd(k)=3.48 → ディリクレの評価はln(25)-2γ+1=3.37
1/50Σd(k)=4.14 → ディリクレの評価はln(50)-2γ+1=4.07
1/100Σd(k)=4.82 → ディリクレの評価はln(100)-2γ+1=4.76
d(n)でnの約数の個数を表せば,
D(n)=Σd(n)+xlnx+(2γ−1)+Δ(x)
ディリクレ自身の誤差評価はΔ(x)=O(x^1/2)であったが,ボロノイの結果は
Δ(x)=O(x^1/3lnx)
で,ディリクレの評価を本質的の凌駕するものであった.
現在知られている最良の評価はハクスリーによるもので,
Δ(x)=O(x^23/73ln^461/146x)
で,ボロノイの結果から
1/3−23/73==4/219=0.01826・・・
すなわち6%にも達していない.
なお,ハーディーによって,
Δ(x)=O(x^θ),θ≧1/4
であろうと予想されている.
===================================