title: Ordre moyen d'une fonction arithmétique
text: # Ordre moyen d'une fonction arithmétique
  
  En théorie des nombres, un ordre moyen d'une fonction arithmétique f est une fonction «simple» g approchant f en moyenne.
  
  Plus précisément un ordre moyen de f est une fonction g réelle ou complexe, si possible continue et monotone, telle qu'on ait :
  
  $\sum _{k=1}^{n}f(k)\quad {\underset {n\to +\infty }{\sim }}\quad \sum _{k=1}^{n}g(k)$
  
  Autrement dit, les moyennes arithmétiques de f et g entre 1 et n sont des fonctions asymptotiquement équivalentes. Une telle fonction g n'est bien entendu pas unique.
  
  ## Exemples
  
  * Un ordre moyen du plus grand diviseur impair de n est 2n/3
  * Un ordre moyen de d(n), nombre de diviseurs de n, est ln(n)
  * Un ordre moyen de σ(n), somme des diviseurs de n, est ${\frac {\pi ^{2}}{6}}n$
  * Un ordre moyen de φ(n), indicatrice d'Euler de n, est ${\frac {6}{\pi ^{2}}}n$
  * Un ordre moyen de r(n), nombre de façon d'exprimer n comme somme de deux carrés, est π
  * Un ordre moyen de ω(n), nombre de facteurs premiers distincts de n, est ln(ln(n))
  * Un ordre moyen de Ω(n), nombre de facteurs premiers de n, est ln(ln(n))
  * Le théorème des nombres premiers équivaut au fait que la fonction de von Mangoldt Λ(n) a pour ordre moyen 1, et au fait que la fonction de Möbius μ(n) a pour ordre moyen 0.
  
  ## Meilleur ordre moyen
  
  Cette notion peut être présentée à l'aide de l'exemple du nombre de diviseurs. De la formule de Dirichlet :
  
      $\sum _{n\leqslant x}{\text{d}}(n)=x\ln x+(2\gamma -1)x+o(x)$
  
  ($\gamma$ est la constante d'Euler-Mascheroni) et de la formule de Stirling :
  
      $\sum _{n\leqslant x}\ln n=x\ln x-x+o(x),$
  
  on tire la relation asymptotique
  
      $\sum _{n\leqslant x}({\text{d}}(n)-(\ln n+2\gamma ))=o(x),$
  
  tandis que
  
         $\sum _{n\leqslant x}({\text{d}}(n)-\ln n)=O(x),$
  
  ce qui suggère que ln(n) + 2γ est un meilleur choix d'ordre moyen pour d(n) que simplement ln(n).
  
  