Eine Funktion g(n) ist eine Durchschnittsordnung von f(n), wenn die Partialsummen Σ_{k≤x} f(k) ∼ Σ_{k≤x} g(k) für x→∞ gelten; g erfasst die kumulative typische Größe von f beim Aufsummieren bis x.

Prinzip

Vergleiche punktweise ersetzen durch asymptotische Gleichheit der kumulativen Summen, damit das globale aufsummierte Verhalten modelliert wird; Durchschnittsordnung dient zur Vorhersage des großskaligen Summenwachstums statt einzelner Werte.

Demonstration

Die Teilerfunktion d(n) hat Durchschnittsordnung log n, da Σ_{k≤x} d(k) = x log x + (2γ −1) x + o(x), also modelliert g(n)=log n das aufsummierte Wachstum.

Fehlanwendung

Die Durchschnittsordnung als Aussage über f(n) für bestimmte n missverstehen (d. h. erwarten, dass f(n) ∼ g(n) punktweise) oder eine Durchschnittsordnung verwenden, ohne die asymptotische Äquivalenz der Summen zu prüfen.

Konsequenz

Wenn ein einfaches g bekannt ist, liefert es asymptotische Abschätzungen großer Summen und leitet probabilistische und analytische Argumente über die globale Verteilung von f.

Umkehrung

Normalordnung ist eine strengere, fast überall punktweise Aussage (f(n)/g(n)→1 für fast alle n) und folgt nicht notwendigerweise aus der Kenntnis der Durchschnittsordnung; Mittelwerte können durch Ausreißer dominiert werden.

Abgrenzung

Betrifft aufsummierte Asymptotik über Anfangsintervalle [1,x]; es kontrolliert nicht lokale Schwankungen, seltene große Werte oder die Konvergenz von f(n) selbst und verlangt präzise asymptotische Analyse von Σ_{k≤x} f(k).

Semantische Spannung

Spannung mit Normalordnung und punktweisen Asymptotiken: Durchschnittsordnung ist eine globale aufsummierte Größe, Normalordnung bezieht sich auf typisches individuelles Verhalten; beide stimmen für einige Funktionen überein, divergieren aber für andere.

Synthese

Die Durchschnittsordnung fasst das aggregierte Wachstum einer arithmetischen Funktion durch asymptotischen Vergleich der Partialsummen zusammen und bietet ein handhabbares Modell für globales Summenverhalten, wenn punktweise Kontrolle fehlt.