Função aritmética

Em teoria dos números, uma função aritmética é uma função f(n) de valor real ou complexa definida sobre o conjunto dos números naturais (i.e. inteiros positivos) que "expressam alguma propriedade aritmética de n." .

Um exemplo de uma função aritmética é o caráter não-principal (mod 4) definido por

$\chi(n) =\left(\frac{-4}{n}\right)= \left\{\begin{array}{cl} 0 & \mbox{se } n \mbox{ é par}, \\ 1 & \mbox{se } n \equiv 1 \mod 4, \\ -1 & \mbox{se } n \equiv 3 \mod 4. \end{array}\right.$     onde $(\tfrac{-4}{n})\$ é o Delta de Kronecker

Para enfatizar que representam funções, em vez de seqüências, os valores de uma função aritmética são normalmente identificados por a(n) ao invés de a_n.

Existe uma classe maior de funções em teoria dos números que não se encaixam na definição acima, por exemplo, e.g., as funções de contagem de primos. Este artigo fornece ligações para as funções de ambas as classes.

Notação

$\sum_p f(p)\;$   e   $\prod_p f(p)\;$   significa que a soma ou produto é sobre todos os números primos:

$\sum_p f(p) = f(2) + f(3) + f(5) + \cdots$     $\prod_p f(p)= f(2)f(3)f(5)\ldots.$

Similarmente,   $\sum_{p^k} f(p)\;$   e   $\prod_{p^k} f(p)\;$   significa que a soma ou produto é sobre todas as potências de primos (com expoente positivo, então 1 não é contado):

$\sum_{p^k} f(p) = f(2) + f(3) + f(4) +f(5) +f(7)+f(8)+f(9)+\cdots$

$\sum_{d|n} f(d)\;$   e   $\prod_{d|n} f(p)\;$   significa que a soma ou produto é sobre todos os divisores positivos de n, incluindo 1 e n. e.g., se n = 12,

$\prod_{d|12} f(d) = f(1)f(2) f(3) f(4) f(6) f(12).\$

As notações podem ser combinadas:   $\sum_{p|n} f(p)\;$   e   $\prod_{p|n} f(p)\;$   significa que a soma ou produto é sobre todos os divisores primos de n. e.g., se n = 18,

$\sum_{p|18} f(p) = f(2) + f(3),\$

e similarmente   $\sum_{p^k|n} f(p^k)\;$   e   $\prod_{p^k|n} f(p^k)\;$   significa que a soma ou produto é sobre as potências de primos dividindo n. e.g., se n = 24,

$\prod_{p^k|24} f(p^k) = f(2) f(3) f(4) f(8).\$

Funções multiplicativas e aditivas

Uma função aritmética a é

• completamente aditiva se a(mn) = a(m) + a(n) para todos os números naturais m e n;
• completamente multiplicativa se a(mn) = a(m)a(n) para todos os números naturais m e n;

Dois números inteiros m e n são chamados coprimos se seu máximo divisor comum é 1; i.e., se não há número primo que divida ambos.

Então uma função aritmética a é

• aditiva se a(mn) = a(m) + a(n) para todos os números naturais coprimos m e n;
• multiplicativa se a(mn) = a(m)a(n) para todos os números naturais coprimos m e n.

Ω(n), ω(n), ν_p(n) - decomposição de potências de primos

O teorema fundamental da aritmética estabelece que qualquer inteiro positivo n pode ser fatorado unicamente como um produto de potências de primos:   $n = p_1^{a_1}\ldots p_k^{a_k}$   onde p₁ < p₂ < ... < p_k são primos e a_j são inteiros positivos. (1 é dado pelo produto vazio.)

É frequentemente conveniente escrever isto como um produto infinito sobre todos os primos, onde todos mas um número finito tem um expoente zero. Define-se ν_p(n) como o expoente da mais alta potência do primo p que divide n. I.e. se p é um dos p_i então ν_p(n) = a_i, caso contrário, é zero. Então

$n=\prod_p p^{\nu_p(n)}.$

Em termos do acima as funções ω e Ω são definidas por

ω(n) = k,

Ω(n) = a₁ + a₂ + ... + a_k.

Para evitar repetição, sempre que possível, as fórmulas para as funções listadas neste artigo são dadas em termos de n e as correspondentes p_i, a_i, ω, e Ω.

Funções multiplicativas

σ_k(n), τ(n), d(n) - somas divisoras

σ_k(n) é a soma das k^th potências dos divisores positivos de n, incluindo 1 e n, onde k é um número complexo.

σ₁(n), a soma dos dividores (positivos) de n, é normalmente notada por σ(n).

Já que um número positivo levado à potência zero é um, σ₀(n) é consequentemente o número de dividores (positivos) de n; é normalmente notado por d(n) or τ(n) (do alemão Teiler = divisores).

$\sigma_k(n) = \prod_{i=1}^{\omega(n)} \frac{p_{i}^{(a_{i}+1)k}-1}{p_{i}^k-1} = \prod_{i=1}^{\omega(n)} (1 + p_{i}^k + p_{i}^{2k} + \cdots + p_{i}^{a_i k}).$

Fazendo k = 0 no segundo produto temos

$\tau(n) = d(n) = (1 + a_{1})(1+a_{2})\ldots(1+a_{\omega(n)}).$

φ(n) - Função totiente de Euler

φ(n), a função totiente de Euler, é o número de inteiros positivos não maiores que n que são coprimos a n.

$\varphi(n) = n \prod_{p|n} \left(1-\frac{1}{p}\right) =n \left(\frac{p_1 - 1}{p_1}\right)\left(\frac{p_2 - 1}{p_2}\right) \ldots \left(\frac{p_{\omega(n)} - 1}{p_{\omega(n)}}\right) .$

μ(n) - Função de Möbius

μ(n), a função de Möbius, é importante por causa da fórmula da inversão de Möbius. Ver convolução de Dirichlet, abaixo.

$\mu(n)=\begin{cases} (-1)^{\omega(n)}=(-1)^{\Omega(n)} &\mbox{if }\; \omega(n) = \Omega(n)\\ 0&\mbox{if }\;\omega(n) \ne \Omega(n).\end{cases}$

Isto implica que μ(1) = 1. (Porque Ω(1) = ω(1) = 0.)

τ(n) - Função tau de Ramanujan

τ(n), a função tau de Ramanujan, é definida por sua identidade da função geradora:

$\sum_{n\geq 1}\tau(n)q^n=q\prod_{n\geq 1}(1-q^n)^{24}.$

Embora seja difícil dizer exatamente o que "propriedade aritmética de n" "expressa", (τ(n) é (2π)⁻¹² vezes o coeficiente de Fourier n^th na expansão q da forma modular da função discriminant modular) que seja incluída entre as funções aritméticas, porque é multiplicativa e ocorre em identidades envolvendo certas funções σ_k(n) e r_k(n) (porque estas são também coeficientes na expansão das formas modulares).

c_q(n) - Soma de Ramanujan

c_q(n), a soma de Ramanujan, é a soma de n^th potências das raízes da unidade q^th:

$c_q(n)= \sum_{\stackrel{1\le a\le q}{ \gcd(a,q)=1}} e^{2 \pi i \tfrac{a}{q} n} .$

Mesmo que seja definido como uma soma de números complexos (irracionais para a maioria dos valores de q), é um número inteiro. Para um valor fixo de n multiplicativo em q:

Se q e r são coprimos, $c_q(n)c_r(n)=c_{qr}(n).\;$

Muitas das funções mencionadas neste artigo tem expansões como séries envolvendo estas somas; veja o artigo soma de Ramanujan para exemplos.

Referências

• Hardy, G. H.; Wright, E. M. (1980), An Introduction to the Theory of Numbers (Fifth edition), Oxford: Oxford University Press, ISBN 978-0198531715