Un módulo de regularidad es un funcional que cuantifica la regularidad de una función midiendo el tamaño de sus diferencias finitas a distintas escalas. Habitualmente definido mediante diferencias de orden r Δ_h^r f y un parámetro de escala t, produce una función no negativa ω(f,t) que tiende a cero para t pequeño en funciones más suaves.

Principio

Las diferencias finitas codifican la regularidad: la velocidad con que las normas de las diferencias decrecen al reducir la escala caracteriza la suavidad. El módulo agrega esas diferencias por desplazamientos y órdenes para dar medidas de regularidad dependientes de la escala.

Demostración

En la recta, para una función Lipschitz de constante L, el módulo de primer orden satisface ω(f,t) ≤ L t. Para una función C^m, el módulo de orden r se comporta como O(t^m) para r ≤ m, reflejando la decadencia clásica de las derivadas.

Aplicación incorrecta

Tratar las derivadas puntuales como equivalentes a los valores del módulo sin normalizar o promediar; usar una diferencia finita a una sola escala para afirmar suavidad global; o aplicar un módulo definido en L^p sin verificar pertenencia a L^p.

Consecuencia

Proporciona estimaciones de regularidad sensibles a la escala, usadas para caracterizar tasas de aproximación (aproximación polinómica, error de splines), para definir espacios de Besov y Lipschitz y para comparar cuantitativamente nociones distintas de regularidad.

Inversión

Las normas de Sobolev o basadas en derivadas ofrecen una medida complementaria, espectral o integral, de la suavidad; mientras las derivadas miden el comportamiento infinitesimal local, el módulo codifica el comportamiento promedio a escala finita — sustituir diferencias por derivadas cambia la perspectiva.

Límite

Requiere un contexto de espacio funcional (por ejemplo L^p, C^k) y la elección de orden de diferencia y norma; las definiciones varían con el dominio (Rd, toro, intervalo) y puede no extenderse directamente a distribuciones sin regularización.

Tensión semántica

Compite con normas derivada‑basadas (Sobolev) y exponentes Hölder puntuales: el módulo enfatiza la decadencia promedio a escala finita, mientras las derivadas enfatizan el comportamiento infinitesimal; el contexto decide cuál es más apropiado.

Síntesis

El módulo de regularidad es el perfil dependiente de la escala de las diferencias finitas que cuantifica la rapidez con que desaparecen las oscilaciones de una función al reducir la escala de observación —un puente operativo entre la información derivativa local y la eficacia de la aproximación global.