Una familia de funciones suaves de soporte compacto (φ_ε) con integral uno y φ_ε(x)=ε^{-n} φ(x/ε) usada para aproximar distribuciones o funciones integrables por convolución f * φ_ε, produciendo aproximaciones suaves que convergen a f en normas adecuadas cuando ε → 0.

Principio

Regularizar funciones o distribuciones irregulares convolucionando con una identidad aproximada que preserva la masa y se localiza al tender el parámetro de escala a cero, suavizando mientras se conservan los valores límite.

Demostración

Sea φ(x) una función C_c^∞ fija, no negativa, con ∫φ=1 y defina φ_ε(x)=ε^{-n}φ(x/ε). Para f ∈ L^p(R^n), f_ε = f * φ_ε es C^∞ y f_ε → f en L^p cuando ε → 0 (1 ≤ p < ∞).

Aplicación incorrecta

Convolucionar con una función sin reescalar o no renormalizar φ_ε (omitir el factor ε^{-n}) de modo que la aproximación no converja a f sino que colapse o diverja.

Consecuencia

Genera aproximaciones suaves que permiten aplicar operadores diferenciales, justificar manipulaciones bajo integrales y construir funciones test aproximantes para identidades distribucionales y argumentos de regularidad en EDP.

Inversión

Usar suavizado por corte espectral (multiplicar modos de Fourier por un filtro) puede producir suavizado analítico global pero altera la información de fase de altas frecuencias de forma distinta; pasar a métodos espectrales intercambia compacidad espacial por filtrado en frecuencia.

Límite

Los mollificadores son herramientas de suavizado local en el espacio euclidiano o variedades mediante cartas; no suelen preservar valores en la frontera en dominios con borde y no pueden crear analyticidad ni extender fuera del dominio sin procedimientos de extensión.

Tensión semántica

Tensión con el suavizado por proyección/Galerkin: la mollificación es una regularización por convolución local que preserva la localidad, mientras que la proyección de Galerkin impone una restricción espectral de dimensión finita que preserva ciertos invariantes pero es no local en el espacio.

Síntesis

Un mollificador es una identidad aproximada suave de soporte compacto utilizada para convolucionar y regularizar funciones o distribuciones, produciendo aproximaciones suaves que convergen al original en normas adecuadas y preservan la masa integral.