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$²(n) = $f$(n²).

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² = $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 $\phi$(n) é uma função multiplicativa. Entretanto $\phi$ não é uma função completamente multiplicativa: dado um primo p arbitrário, $\phi$(p²) = p(p - 1) ≠ (p - 1)² = $\phi$(p)·$\phi$(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²) = 1 + p + p² ≠ 1 + 2p + p² = (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$₀(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₁·d₂, tal que d₁|m e d₂|n, com d₁ e d₂ relativamente primos, e como, por hipótese, $f$ é multiplicativa, segue que

$\begin{array}{cc}F(mn)& =\sum _{d|mn}f(d)\\ & =\sum _{d_1{d}_2|mn}f(d_1{d}_2)\\ & =\sum _{\begin{array}{c}{}^{d_1|m}\\ {}^{d_2|n}\end{array}}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{array}$

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$₀(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}\to {ℝ}_{+}$  é uma função completamente multiplicativa e monótona então existe  $x\in {ℝ}_{+}$  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 }\le 2^n<2^{\lceil m{\log }_{2}n\rceil }\Rightarrow 2^{x\lfloor m{\log }_{2}n\rfloor }\le {(f(n))}^m<2^{x\lceil m{\log }_{2}n\rceil }\Rightarrow 2^{\frac{x\lfloor m{\log }_{2}n\rfloor }{m}}\le 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

$\underset{m\to \mathrm{\infty }}{\lim }\frac{x\lfloor m{\log }_{2}n\rfloor }{m}=\underset{m\to \mathrm{\infty }}{\lim }\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$.

Ligações Externas

• [Multiplicative Function] (em inglês). Weisstein, Eric W. "Multiplicative Function." From MathWorld--A Wolfram Web Resource.
• [Completely Multiplicative Function] (em inglês). Weisstein, Eric W. "Completely Multiplicative Function." From MathWorld--A Wolfram Web Resource.
• [Multiplicative Number Theoretic Function] (em inglês). Weisstein, Eric W. "Multiplicative Number Theoretic Function." From MathWorld--A Wolfram Web Resource.