Une fonction arithmétique est une application f des entiers positifs N vers les nombres complexes C (ou un autre anneau) qui assigne des invariants numériques aux entiers et encode des données arithmétiques relatives à leur factorisation ou à leurs diviseurs.

Principe

Étudier les entiers en leur attribuant des valeurs algébriques ou analytiques, puis utiliser des opérations telles que la convolution de Dirichlet, la sommation et les transformées génératrices (séries de Dirichlet) pour révéler des propriétés de distribution globales.

Démonstration

La fonction de Möbius μ(n) est une fonction arithmétique définie par μ(1)=1, μ(n)=(-1)^k si n est produit de k nombres premiers distincts, et μ(n)=0 si n comporte un facteur premier au carré ; elle capture la structure sans carrés et inverse la convolution de Dirichlet avec la fonction constante 1.

Mauvaise application

Traiter une fonction arithmétique comme si elle était définie sur les réels avec des propriétés de continuité, ou supposer la multiplicativité sans vérifier des conditions comme la coprimalité, conduit à des erreurs.

Conséquence

Les fonctions arithmétiques peuvent être convoluées, moyennées et transformées en séries de Dirichlet ; leur comportement analytique et algébrique fournit des informations sur les sommes de diviseurs, la distribution des nombres premiers et les formules d'inversion.

Inversion

Une fonction définie sur tous les entiers, les rationnels ou les réels qui n'est pas spécifiée sur les entiers positifs ou qui n'interagit pas avec la convolution de Dirichlet n'a pas le rôle arithmétique précis d'une fonction arithmétique.

Limite

Le domaine est les entiers positifs ; le codomaine est typiquement C ou un anneau commutatif. Exclut les fonctions principalement définies sur des classes de résidus, sur le continu réel, ou celles qui n'apparaissent pas dans des contextes multiplicatifs ou convolutionnels sauf extension explicite.

Tension sémantique

Se recoupe souvent avec 'fonction multiplicative' (une sous-classe à contraintes multiplicatives) et avec la terminologie des fonctions génératrices ; il faut distinguer les fonctions arithmétiques générales des sous-classes spécialisées.

Synthèse

Une fonction arithmétique est une règle qui assigne des valeurs algébriques ou complexes aux entiers positifs et qui constitue la donnée fondamentale pour la structure multiplicative, les opérations de convolution et les transformées analytiques en théorie des nombres.