Fonction additive (arithmétique)

En théorie des nombres, une fonction additive $f$ est une fonction arithmétique (donc définie sur l'ensemble des entiers strictement positifs à valeurs dans l'ensemble des nombres complexes $ℂ$) telle que :

pour tous entiers $a$ et $b>0$ premiers entre eux, $f(ab)=f(a)+f(b)$

(en particulier, $f(1)=0$).

On dit que $f$ est (une fonction additive) réelle si elle est uniquement à valeurs dans l'ensemble des nombres réels $ℝ$.

Une fonction arithmétique $f$ est dite complètement additive lorsque :

Pour tous entiers $a$ et $b>0$, $f(ab)=f(a)+f(b)$,

même si $a$ et $b$ ne sont pas premiers entre eux.

En dehors de la théorie des nombres, le terme additive est habituellement utilisé pour toutes les fonctions vérifiant :

Pour tous éléments $a$ et $b$ du domaine de définition de $f$, $f(a+b)=f(a)+f(b)$.

Cet article ne concerne que les fonctions additives de la théorie des nombres.

Toute fonction complètement additive est additive, mais la réciproque est fausse.

Exemples de fonctions complètement additives

Deux exemples élémentaires

• la restriction de la fonction logarithme à ${\mathbb{N}}^{*}$.
• la valuation p-adique, pour tout nombre premier $p$.

La fonction Ω

La fonction

$\mathrm{\Omega }$

associe à un entier naturel non nul

$n$

, le nombre avec répétition (i.e. en comptant de multiples fois les facteurs multiples) des facteurs premiers de

$n$

 :

$\text{si }n=\prod _{i=1}^m{p}_i^{{\gamma }_i},\text{ alors }\mathrm{\Omega }(n)=\sum _{i=1}^m{\gamma }_i.$

Par exemple (Modèle:OEIS) :

$\mathrm{\Omega }(4)=2$ ;

$\mathrm{\Omega }(24)=\mathrm{\Omega }(2^3\times 3^1)=3+1=4$ ;

$\mathrm{\Omega }(27)=3$ ;

$\mathrm{\Omega }(144)=\mathrm{\Omega }(2^4\times 3^2)=\mathrm{\Omega }(2^4)+\mathrm{\Omega }(3^2)=4+2=6$;

$\mathrm{\Omega }(2000)=\mathrm{\Omega }(2^4\times 5^3)=\mathrm{\Omega }(2^4)+\mathrm{\Omega }(5^3)=4+3=7$ ;

$\mathrm{\Omega }(2001)=3$ ;

$\mathrm{\Omega }(2002)=4$ ;

$\mathrm{\Omega }(2003)=1$ ;

$\mathrm{\Omega }(54032858972279)=\mathrm{\Omega }(11\times 1993^2\times 1236661)=4$ ;

$\mathrm{\Omega }(54032858972302)=\mathrm{\Omega }(2\times 7^2\times 149\times 2081\times 1778171)=6$ ;

$\mathrm{\Omega }(20802650704327415)=\mathrm{\Omega }(5\times 7\times 11^2\times 1993^2\times 1236661)=7$.

La fonction a₀

La fonction

$a_0$

(parfois appelée par les anglo-saxons sopfr) associe à un entier naturel non nul

$n$

la somme avec répétition des facteurs premiers de

$n$

 :

$\text{si }n=\prod _{i=1}^m{p}_i^{{\gamma }_i},\text{ alors }{a}_0(n)=\sum _{i=1}^m{\gamma }_i{p}_i.$

Par exemple (Modèle:OEIS) :

$a_0(4)=4$ ;

$a_0(20)=a_0(2^2\times 5)=2+2+5=9$ ;

$a_0(27)=9$ ;

$a_0(144)=a_0(2^4\times 3^2)=a_0(2^4)+a_0(3^2)=8+6=14$ ;

$a_0(2000)=a_0(2^4\times 5^3)=a_0(2^4)+a_0(5^3)=8+15=23$ ;

$a_0(2001)=55$ ;

$a_0(2002)=33$ ;

$a_0(2003)=2003$ ;

$a_0(54032858972279)=1240658$ ;

$a_0(54032858972302)=1780417$ ;

$a_0(20802650704327415)=1240681$.

Exemples de fonctions qui sont seulement additives

• la fonction $\omega$, qui associe à un entier naturel $n$ le nombre total de nombres premiers distincts qui divisent $n$ (elle est donc majorée par $\mathrm{\Omega }$). Par exemple (Modèle:OEIS) :

$\omega (4)=1$ ;

$\omega (27)=1$ ;

$\omega (144)=\omega (2^4\times 3^2)=\omega (2^4)+\omega (3^2)=1+1=2$ ;

$\omega (2000)=\omega (2^4\times 5^3)=\omega (2^4)+\omega (5^3)=1+1=2$ ;

$\omega (2001)=3$ ;

$\omega (2002)=4$ ;

$\omega (2003)=1$ ;

$\omega (54032858972279)=3$ ;

$\omega (54032858972302)=5$ ;

$\omega (20802650704327415)=5$.

• la fonction $a_1$ (parfois appelée par les anglo-saxons sopf) qui à un entier $n$ associe la somme de ses diviseurs premiers distincts (elle est de même majorée par $a_0$). Par exemple (Modèle:OEIS) :

$a_1(4)=2$ ;

$a_1(20)=2+5=7$ ;

$a_1(27)=3$ ;

$a_1(144)=a_1(2^4\times 3^2)=a_1(2^4)+a_1(3^2)=2+3=5$ ;

$a_1(2000)=a_1(2^4\times 5^3)=a_1(2^4)+a_1(5^3)=2+5=7$ ;

$a_1(2001)=55$ ;

$a_1(2002)=33$ ;

$a_1(2003)=2003$ ;

$a_1(54032858972279)=1238665$ ;

$a_1(54032858972302)=1780410$ ;

$a_1(20802650704327415)=1238677$.

Fonctions multiplicatives

À partir de n'importe quelle fonction additive $f$, il est facile de créer une fonction multiplicative $g$ en définissant par exemple $g$ par :

$\mathrm{\forall }n\in {\mathbb{N}}^{*}g(n)=2^{f(n)}.$

Références

• Janko Bračič, Kolobar aritmetičnih funkcij (Ring of arithmetical functions), (Obzornik mat, fiz. 49 (2002) 4, p. 97-108) (MSC (2000) 11A25)

Articles connexes

• Équation fonctionnelle
• Morphisme de groupes
• Application linéaire
• Relation faiblement additive