# Função multiplicativa

O conceito de função multiplicativa tem importância capital no desenvolvimento da teoria algébrica dos números, como o produto de Dirichlet, e na teoria analítica dos números, como nas séries de Dirichlet. Para avaliação de uma função multiplicativa basta conhecer seus valores em potências de primos.

## Definição

Uma função aritmética é uma função matemática cujo domínio de definição compreende os números inteiros positivos, isto é, os números naturais. Uma função aritmética não nula $f$ é chamada de multiplicativa se
$f(mn)=f(m)f(n)$
para todo par m e n de primos relativos (tais que mdc(m,n) = 1).
Uma função aritmética é denominada completamente multiplicativa quando a relação $f(mn)=f(m)f(n)$ é válida para quaisquer naturais m e n. Sendo este o caso, então, por exemplo, tem-se $f$$^2$(n) = $f$(n$^2$).

### Exemplos triviais

* A função $1$(n) = 1 para todo número natural n, é uma função completamente multiplicativa. De fato, dados naturais a e b quaisquer, tem-se $1$(ab) = 1 = 1 · 1 = $1$(a)·$1$(b).
* A função $f$(n) = c para todo natural n, em que c é uma constante diferente da unidade, não é multiplicativa. Dessa maneira, verifica-se facilmente que $f$(6) = c ≠ c$^2$ = $f$(2)·$f$(3).
* A função identidade $I_{D}$(n) = n é completamente multiplicativa, pois se n = ab, com a e b naturais quaisquer, então $I_{D}$(n) = n = ab = $I_{D}$(a)·$I_{D}$(b).

### Exemplos não triviais

* A função totiente de Euler $\varphi$(n) é uma função multiplicativa. Entretanto $\varphi$ não é uma função completamente multiplicativa: dado um primo p arbitrário, $\varphi$(p$^2$) = p(p - 1) ≠ (p - 1)$^2$ = $\varphi$(p)·$\varphi$(p).
* A função divisor $\sigma$$_k$(n) também é função multiplicativa, mas não é completamente multiplicativa já que, por exemplo, para um primo p constata-se que $\sigma$(p$^2$) = 1 + p + p$^2$ ≠ 1 + 2p + p$^2$ = (1 + p)(1 + p) = $\sigma$(p)·$\sigma$(p).
* A função número de divisores D(n) é multiplicativa (não poderia ser diferente, dado que D(n) = $\sigma$$_0$(n), que é multiplicativa conforme o exemplo anterior). É fácil ver que D(n) não é completamente multiplicativa: D(2) = 2, D(4) = 3 e D(2)·D(2) ≠ D(4).

## Teoremas
### Teorema 1

Se $f$ é uma função multiplicativa então $F(n)=\sum _{d|n}f(d)$ também é uma função multiplicativa.

#### Demonstração

Uma vez que todo divisor de mn pode ser expresso de modo único por meio do produto d$_1$·d$_2$, tal que d$_1$|m e d$_2$|n, com d$_1$ e d$_2$ relativamente primos, e como, por hipótese, $f$ é multiplicativa, segue que
    ${\begin{aligned}\ F(mn)&=\sum _{d|mn}f(d)\\&=\sum _{d_{1}d_{2}|mn}f(d_{1}d_{2})\\&=\sum _{\begin{matrix}^{d_{1}|m}\\^{d_{2}|n}\end{matrix}}f(d_{1})f(d_{2})\\&=\sum _{d_{1}|m}\sum _{d_{2}|n}f(d_{1})f(d_{2})\\&=\sum _{d_{1}|m}f(d_{1})\sum _{d_{2}|n}f(d_{2})\\&=F(m)F(n)\end{aligned}}$
Como aplicação do teorema, pode-se provar que a função $\sigma$ é multiplicativa (a extensão da prova para $\sigma$$_k$ com k qualquer não é complexa): definindo $f$ como a função identidade, então (como já visto nos exemplos triviais acima) $f$ é multiplicativa e segundo o teorema é também multiplicativa a função
    $F(n)=\sum _{d|n}f(d)=\sum _{d|n}Id(d)=\sum _{d|n}d=\sigma (n)$
O caso $\sigma$$_0$(n) = $\tau$(n) também é simples: toma-se $f$(d) = 1 para todo divisor d de n e então
    $F(n)=\sum _{d|n}f(d)=\sum _{d|n}1(d)=\sum _{d|n}1=\sum _{d|n}d^{0}=\sigma _{0}(n)=\tau (n)$

### Teorema 2

Se $f:\mathbb {N} \rightarrow \mathbb {R} _{+}$ é uma função completamente multiplicativa e monótona então existe $x\in \mathbb {R} _{+}$ tal que $f(n)=n^{x}$.

#### Demonstração

Como $f$ é por hipótese monótona, suponha $f$ estritamente crescente (caso contrário, considere $f^{-1}$). Seja $x=\log _{2}f(2)$. Logo $f(n)=n^{x}$. Assim, para todo natural m tem-se
$2^{\lfloor m\log _{2}n\rfloor }\leq 2^{n}<2^{\lceil m\log _{2}n\rceil }\Rightarrow 2^{x\lfloor m\log _{2}n\rfloor }\leq \left(f(n)\right)^{m}<2^{x\lceil m\log _{2}n\rceil }\Rightarrow 2^{\frac {x\lfloor m\log _{2}n\rfloor }{m}}\leq f(n)<2^{\frac {x\lceil m\log _{2}n\rceil }{m}}$
em que $\lfloor \cdot \rfloor$ e $\lceil \cdot \rceil$ são respectivamente a função chão e a função teto. Além disso, como
$\lim _{m\to \infty }{\frac {x\lfloor m\log _{2}n\rfloor }{m}}=\lim _{m\to \infty }{\frac {x\lceil m\log _{2}n\rceil }{m}}=x\log _{2}n$,
segue finalmente que
$f(n)=2^{x\log _{2}n}=n^{x}$.