Une fonction g(n) est un ordre moyen de f(n) si les sommes partielles satisfont Σ_{k≤x} f(k) ∼ Σ_{k≤x} g(k) quand x→∞ ; g décrit la taille cumulative typique de f lorsqu'on somme jusqu'à x.

Principe

Remplacer la comparaison ponctuelle par l'égalité asymptotique des sommes cumulées afin de modéliser le comportement global sommatoire ; l'ordre moyen sert à prédire la croissance des sommes à grande échelle plutôt que les valeurs individuelles.

Démonstration

La fonction des diviseurs d(n) a pour ordre moyen log n car Σ_{k≤x} d(k) = x log x + (2γ −1) x + o(x), donc g(n)=log n modèle la croissance sommatoire.

Mauvaise application

Considérer l'ordre moyen comme une affirmation sur f(n) pour des n particuliers (c.-à-d. s'attendre à f(n) ∼ g(n) ponctuellement) ou utiliser un ordre moyen sans vérifier l'équivalence asymptotique des sommes.

Conséquence

Lorsqu'un g simple est connu, cela fournit des estimations asymptotiques pour les grandes sommes et oriente des arguments probabilistes et analytiques sur la distribution globale de f.

Inversion

L'ordre normal est une assertion plus forte, presque partout ponctuelle (f(n)/g(n)→1 pour presque tout n) et ne découle pas nécessairement de la connaissance de l'ordre moyen ; les moyennes peuvent être dominées par des valeurs exceptionnelles.

Limite

Concerne les asymptotiques sommatoires sur les intervalles initiaux [1,x] ; il ne contrôle pas les fluctuations locales, les grandes valeurs rares, ni la convergence de f(n) lui‑même, et exige une analyse asymptotique suffisamment précise de Σ_{k≤x} f(k).

Tension sémantique

Tension avec l'ordre normal et les asymptotiques ponctuels : l'ordre moyen est une notion globale sommatoire, tandis que l'ordre normal concerne le comportement individuel typique ; elles coïncident pour certaines fonctions mais diffèrent pour d'autres.

Synthèse

L'ordre moyen résume la croissance agrégée d'une fonction arithmétique par une comparaison asymptotique des sommes cumulées, fournissant un modèle maniable du comportement sommatoire global même en l'absence de contrôle ponctuel.