2
$\begingroup$

Let $\mu(n)$ the Möbius function, you can see the definition in this MathWorld.

For $0<r<1$, I define $$f(r):=\sum_{n=0}^\infty\frac{\mu(n+1)}{(n+1)^3}r^n$$ and I've interested in calculate $$\lim_{r\to1}f(r),$$ (that is a notation for the limit $\lim_{r\to1^{-}}f(r)$).

I am interested about it after I've read Chapter 9 from Rudin, Functional analysis, International Series in Pure and Applied Mathematics, McGraw-Hill (1991), and create this example inspired in the introductory text of the chapter.

Question. Is well known that $$\sum_{n=1}^\infty\frac{\mu(n)}{n^3}=\frac{1}{\zeta(3)}$$ as a particular value of the Dirichlet series for the Möbius function. Is it possible to (justify and) calculate $$\lim_{r\to1}\sum_{n=0}^\infty\frac{\mu(n+1)}{(n+1)^3}r^n?$$

Thanks in advance.

$\endgroup$
1
  • $\begingroup$ Many thanks @yo' $\endgroup$
    – user243301
    Commented Mar 5, 2017 at 18:17

1 Answer 1

2
$\begingroup$

For $0<r<1$ we have:

$$\Bigl|\frac{1}{\zeta(3)}-f(r)\Bigr|=\biggl|\sum\limits_{n=1}^\infty\frac{\mu(n)}{n^3}(1-r^{n-1})\biggr|\leq\biggl|\sum\limits_{n=2}^\infty\frac{\mu(n)}{n^3}\frac{1-r^{n-1}}{1-r}\biggr||1-r| \\ \leq (1-r)\sum\limits_{n=2}^\infty\frac{n-1}{n^3}=(1-r)\bigl(\zeta(2)-\zeta(3)\bigr)\to 0\quad\text{for}\quad r\to 1.$$

$\endgroup$
2
  • $\begingroup$ Many thanks your proof have good details. $\endgroup$
    – user243301
    Commented Mar 5, 2017 at 8:53
  • $\begingroup$ @user243301 : You are welcome! :-) $\endgroup$
    – user90369
    Commented Mar 5, 2017 at 10:22

You must log in to answer this question.