¿Cómo podemos estimar$$\sum_{m=1}^n \Big(d\big(m^2\big)\Big)^2$$ where for every positive integer $ m$ , $ d (m)$ denotes the number of positive divisors of $ m $?
Respuestas
¿Demasiados anuncios?
Eric Naslund
Puntos
50150
En lo que sigue, podemos calcular la respuesta de la función similar a $f(n)=d\left(n\right)^{2}$. Estos métodos se puede extender a $d(n^2)^2$ sin mucho cambio. Originalmente una lectura errónea de la pregunta, y como resultado, se hizo el cálculo de $d(n)^2$. Una forma menos explícita el enfoque de la función de $d(n^2)^2$ se describe en esta respuesta: http://math.stackexchange.com/a/383602/6075
En primer poderes, $f(p^{k})=(k+1)^{2},$ y lo que es más importante, $f(p)=4$, e $f(p^k)$ no es demasiado grande. Vamos $$g(n)=\left(f*\mu*\mu*\mu*\mu\right)(n).$$ Then $g(p)=O\left(\frac{1}{p}\right),$ and so $$\sum_{n=1}^{\infty}\frac{|g(n)|}{n}=\prod_{p}\left(1+\frac{|g(p)|}{p}+O\left(\frac{1}{p^{2}}\right)\right)<\infty.$$ Now, since $g*1*1*1*1(n)=f(n),$ it follows that $$\sum_{n\leq x}f(n)=\sum_{abcde\leq x}g(a)=\sum_{a\leq x}g(a)\sum_{bcde\leq\frac{x}{a}}1.$$ Since $$\sum_{bcde\leq\frac{x}{a}}1=\sum_{n\leq\frac{x}{a}}d_{4}(n)=\frac{x}{a}\log^{4}\left(\frac{x}{a}\right)+O\left(\frac{x}{a}\log^{3}\left(\frac{x}{a}\right)\right),$$ we have that $$\sum_{n\leq x}f(n)=x\sum_{a\leq x}\frac{g(a)}{a}\log^{4}\left(\frac{x}{a}\right)+O\left(x\log^{3}(x)\sum_{a\leq x}\frac{|g(a)|}{a}\right),$$ and so $$\sum_{n\leq x}f(n)\sim cx\log^{4}(x)$$ for some constant $c>0$. consider the Dirichlet series $$F(s)=\prod_p\left(1+\frac{f(p)}{p^s}+\frac{f(p^2)}{p^{2s}}+\cdots\right).$$ Then $$\frac{F(s)}{\zeta(s)^4}=\prod_p\left(1+\frac{4}{p^s}+\frac{9}{p^{2s}}+\frac{16}{p^{3s}}+\cdots\right)\left(1-\frac{1}{p^s}\right)^4.$$ We consider $\zeta(s)^4$ since the coefficient of $p^s$ is $4$. Letting $x=\frac{1}{p^s}$, we are trying to find a nice form for $$g(x)=(1-x)^4\sum_{k=0}^\infty (k+1)^2 x^k.$$ Using generating series, we have that $$g(x)=\frac{d}{dx}\left(x\frac{d}{dx}\sum_{k=0}^{\infty}x^{k+1}\right)=\frac{d}{dx}\left(x\frac{d}{dx}\frac{x}{1-x}\right)=\frac{x+1}{\left(1-x\right)^{3}}.$$ Hence $g(x)=1-x^{2},$ and so $$F(s)=\zeta(s)^{4}\prod_{p}\left(1-\frac{1}{p^{2s}}\right)=\frac{\zeta(s)^{4}}{\zeta(2s)}.$$
Eric Naslund
Puntos
50150
Dejar $g(n)=d(n^2)^2$. Entonces podemos calcular la serie de Dirichlet$$G(s)=\sum_{n=1}^\infty g(n)n^{-s}$$ by using the same methods as was done in my previous answer regarding $ f (n) = d (n) ^ 2 $. Esto nos permite obtener
$$G(s)=\zeta(s)^{9}H(s)$$ where $$H(s)=\prod_{p}\left(1-\frac{20}{p^{2s}}+\frac{64}{p^{3s}}-\frac{90}{p^{4s}}+\frac{64}{p^{5s}}-\frac{20}{p^{6s}}+\frac{1}{p^{8s}}\right).$$ The function $ H (s)$ is extremely well behaved, and converges absolutely for all $ \ text {Re} (s)> \ frac {1} {2}$, so it does not affect the contour integration. This allows us to prove that $$\sum_{n\leq x } d(n^2)^2\sim c x\log^9 x$$ where $ c$ is a complicated constant that depends on the derivatives of the function $ H (s) $, así como las constantes de Stieltjes.
