Ivan Shishkin, Rye (1878)

Discussions

Une petite fonction arithmétique toute simple

1 message

Solution

Solution by mathman · FR

Tout d’abord, on prolonge la définition de GG à tout xx réel ≥0\geq 0 par G(x)=G(⌊x⌋)G(x)=G(\lfloor x \rfloor) et G(0)=0G(0)=0

GG est une fonction de comptage qui apparait de façon naturelle en écrivant avec α>0\alpha > 0 :
1(1−2−α)(1−3−α)=α∫1+∞G(t)tα+1dt\displaystyle\frac{1}{(1-2^{-\alpha})(1-3^{-\alpha})}=\alpha \displaystyle\int_{1}^{+\infty}\frac{G(t)}{t^{\alpha+1}}dt

en faisant quelques changements de variables on trouve:

(1−2−αn)(1−3−αn)(1−2−α)(1−3−α)=α∫1+∞G(t)−G(t/2n)−G(t/3n)+G(t/6n)tα+1dt\displaystyle\frac{(1-2^{-\alpha n})(1-3^{-\alpha n})}{(1-2^{-\alpha})(1-3^{-\alpha})}=\alpha \displaystyle\int_{1}^{+\infty}\frac{G(t)-G(t/2^{n})-G(t/3^{n})+G(t/6^{n})}{t^{\alpha+1}}dt

ainsi G(t)−G(t/2n)−G(t/3n)+G(t/6n)G(t)-G(t/2^{n})-G(t/3^{n})+G(t/6^{n}) est aussi une fonction de comptage (qui compte les diviseurs de 2n−13n−12^{n-1}3^{n-1} ≤t\leq t ) et lorsque t≥6n−1t\geq 6^{n-1} ce nombre de diviseurs vaut n2n^{2} .

En prenant t=6nt=6^{n} on obtient G(6n)−G(3n)−G(2n)+G(1)=n2G(6^{n})-G(3^{n})-G(2^{n})+G(1)=n^{2}

Si ma méthode est juste, il faudrait que le pb soit aussi relié à "arithmétique" ou "dénombrement" ?