Fonction arithmétiqueEn théorie des nombres, une fonction arithmétique f est une application définie sur l'ensemble des entiers strictement positifs et à valeurs dans l'ensemble des nombres complexes. En d'autres termes, une fonction arithmétique n'est rien d'autre qu'une suite de nombres complexes, indexée par N*. Les fonctions arithmétiques les plus étudiées sont les fonctions additives et les fonctions multiplicatives. Une opération importante sur les fonctions arithmétiques est le produit de convolution de Dirichlet.
Convolution de DirichletEn mathématiques, la convolution de Dirichlet, encore appelée produit de convolution de Dirichlet ou produit de Dirichlet est une loi de composition interne définie sur l'ensemble des fonctions arithmétiques, c'est-à-dire des fonctions définies sur les entiers strictement positifs et à valeurs dans les nombres complexes. Cette loi de convolution est utilisée en arithmétique, aussi bien algébrique qu'analytique. On la trouve aussi pour résoudre des questions de dénombrement.
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.
Série de DirichletEn mathématiques, une série de Dirichlet est une série f(s) de fonctions définies sur l'ensemble C des nombres complexes, et associée à une suite (a) de nombres complexes de l'une des deux façons suivantes : Ici, la suite (λ) est réelle, positive, strictement croissante et non bornée. Le domaine de convergence absolue d'une série de Dirichlet est soit un demi-plan ouvert de C, limité par une droite dont tous les points ont même abscisse, soit l'ensemble vide, soit C tout entier. Le domaine de convergence simple est de même nature.
Fonction zêta de Riemannvignette|upright=2|La fonction zêta de Riemann ζ(s) dans le plan complexe. La couleur d'un point s code la valeur de ζ(s) : des couleurs vives indiquent des valeurs proches de 0 et la nuance indique l'argument de la valeur. Le point blanc pour s = 1 est le pôle ; les points noirs sur l'axe réel négatif (demi-droite horizontale) et sur la droite critique Re(s) = 1/2 (droite verticale) sont les zéros. vignette|upright=2|Carte des couleurs utilisées dans la figure du dessus.