Una función g(n) es un orden medio de f(n) si las sumas parciales satisfacen Σ_{k≤x} f(k) ∼ Σ_{k≤x} g(k) cuando x→∞; g captura el tamaño acumulado típico de f al sumar hasta x.

Principio

Sustituir la comparación punto a punto por la igualdad asintótica de sumas acumuladas para modelar el comportamiento global sumatorio; el orden medio sirve para predecir el crecimiento de sumas a gran escala en vez de los valores individuales.

Demostración

La función de divisores d(n) tiene orden medio log n porque Σ_{k≤x} d(k) = x log x + (2γ −1) x + o(x), así g(n)=log n modela el crecimiento sumatorio.

Aplicación incorrecta

Interpretar el orden medio como una afirmación sobre f(n) para n concretos (es decir, esperar f(n) ∼ g(n) puntualmente) o usar un orden medio sin verificar la equivalencia asintótica de las sumas.

Consecuencia

Cuando se conoce un g simple, ofrece estimaciones asintóticas para sumas grandes y guía argumentos probabilísticos y analíticos sobre la distribución global de f.

Inversión

El orden normal es una afirmación más fuerte, casi puntual (f(n)/g(n)→1 para casi todo n) y no se deduce necesariamente del orden medio; las medias pueden estar dominadas por valores excepcionales.

Límite

Se refiere a asintóticos sumatorios sobre intervalos iniciales [1,x]; no controla fluctuaciones locales, valores grandes raros ni la convergencia de f(n) en sí, y requiere análisis asintótico suficientemente preciso de Σ_{k≤x} f(k).

Tensión semántica

Tensión con el orden normal y las asintóticas puntuales: el orden medio es una noción global sumatoria, mientras que el orden normal trata el comportamiento individual típico; coinciden para algunas funciones pero difieren para otras.

Síntesis

El orden medio resume el crecimiento agregado de una función aritmética mediante una comparación asintótica de sumas acumuladas, proporcionando un modelo manejable del comportamiento sumatorio global cuando falta control puntual.