Inversione di Möbius plus
Inviato: 22 feb 2015, 01:15
Sia $f:(0,1]\cap\mathbb Q\to\mathbb C$ una funzione dai razionali $0<q\le1$ ai complessi.
Definiamo $\displaystyle F(n)=\sum_{i=1}^n f\left(\frac i n\right)$ per ogni $n\ge1$ e ancora $\displaystyle F^\ast(n)=\sum_{\substack{i=1\\(i,n)=1}}^n f\left(\frac i n\right)$ la somma solo sugli $i$ coprimi con $n$. Detta $\mu$ la solita funzione di Möbius, dimostrare che $$F^\ast(n)=\displaystyle\sum_{d\mid n}F(d)\mu\left(\frac n d\right)$$
Definiamo $\displaystyle F(n)=\sum_{i=1}^n f\left(\frac i n\right)$ per ogni $n\ge1$ e ancora $\displaystyle F^\ast(n)=\sum_{\substack{i=1\\(i,n)=1}}^n f\left(\frac i n\right)$ la somma solo sugli $i$ coprimi con $n$. Detta $\mu$ la solita funzione di Möbius, dimostrare che $$F^\ast(n)=\displaystyle\sum_{d\mid n}F(d)\mu\left(\frac n d\right)$$