Convergencia uniforme significa una cota de error para todo el dominio

Idea clave

La sucesión \(f_n:E\to\mathbb{R}\) converge uniformemente a \(f\) si para todo \(\varepsilon>0\), existe \(N\) tal que \(n\ge N\) implica \(|f_n(x)-f(x)|<\varepsilon\) para todo \(x\in E\). Equivalentemente, \(\|f_n-f\|_\infty\to0\).

Lista de reconocimiento

• Primero identifica el límite puntual \(f\).
• Calcula o acota el error \(|f_n(x)-f(x)|\).
• Toma el supremo en todo el dominio.
• Si el supremo tiende a \(0\), la convergencia es uniforme.
• Si el supremo se mantiene separado de \(0\), o es infinito, la convergencia no es uniforme.

Ejemplo resuelto

Inténtalo

El dominio a menudo decide si la convergencia es uniforme

Idea clave

La convergencia uniforme es global. Una sucesión puede converger uniformemente en un intervalo más pequeño, pero fallar en uno más grande porque el peor error se mueve hacia un extremo o escapa al infinito.

Ejemplos estándar

• \(x/n\to0\) uniformemente en \([0,1]\), porque el mayor error es \(1/n\).
• \(x/n\) no converge uniformemente a \(0\) en \([0,\infty)\), porque el error no está acotado para \(n\) fijo.
• \(x^n\to0\) uniformemente en \([0,a]\) para \(0<a<1\), porque el mayor error es \(a^n\).
• \(x^n\) no converge uniformemente a su límite puntual en \([0,1]\), ya que funciones continuas tendrían un límite uniforme continuo.

Ejemplo resuelto

Inténtalo

La convergencia uniforme puede probarse sin conocer primero el límite

Idea clave

Una sucesión \(f_n\) es uniformemente de Cauchy en \(E\) si para todo \(\varepsilon>0\), existe \(N\) tal que \(m,n\ge N\) implica \(\sup_{x\in E}|f_n(x)-f_m(x)|<\varepsilon\). Para funciones reales, esto equivale a convergencia uniforme siempre que exista el límite puntual.

Lista de reconocimiento

• Estima \(|f_n(x)-f_m(x)|\) sin elegir un \(x\) especial.
• Toma el supremo en \(E\).
• Fuerza ese supremo por debajo de \(\varepsilon\) para todo \(m,n\) suficientemente grandes.
• Para series de funciones, aplica la misma idea a las colas de sumas parciales.

Ejemplo resuelto

Inténtalo

La convergencia uniforme de series viene del control uniforme de las colas

Idea clave

Para una serie \(\sum u_n(x)\), la convergencia uniforme significa que las sumas parciales convergen uniformemente. La prueba M de Weierstrass dice: si \(|u_n(x)|\le M_n\) para todo \(x\) y \(\sum M_n\) converge, entonces \(\sum u_n\) converge uniformemente y absolutamente.

Pasos de la prueba M

• Encuentra una cota \(|u_n(x)|\le M_n\) que no dependa de \(x\).
• Comprueba que \(\sum M_n\) converge como serie numérica.
• Concluye convergencia absoluta uniforme de \(\sum u_n(x)\).
• Usa estimaciones de cola \(\sum_{n>N}M_n\) cuando necesites una cota de error explícita.

Ejemplo resuelto

Inténtalo

Los límites uniformes preservan estructura que los límites puntuales pueden perder

Idea clave

La convergencia uniforme permite que una sola cota de error funcione cerca de cada punto, por lo que es lo bastante fuerte para preservar la continuidad. También se comporta bien bajo suma, resta, multiplicación por una función acotada y preservación de una constante de Lipschitz común.

Propiedades preservadas

• Si cada \(f_n\) es continua y \(f_n\to f\) uniformemente, entonces \(f\) es continua.
• Si \(f_n\to f\) y \(g_n\to g\) uniformemente, entonces \(f_n-g_n\to f-g\) uniformemente.
• Si \(g\) es acotada y \(f_n\to f\) uniformemente, entonces \(g f_n\to g f\) uniformemente.
• Si cada \(f_n\ge0\), entonces el límite puntual \(f\ge0\).
• Los límites uniformes de funciones acotadas son acotados si algún \(f_n\) suficientemente avanzado es acotado.
• Si cada \(f_n\) es Lipschitz con la misma constante \(L\), entonces el límite es Lipschitz con constante \(L\).

Ejemplo resuelto

Inténtalo

Los límites conmutan con integrales más fácilmente que con derivadas

Idea clave

Si \(f_n\to f\) uniformemente en \([a,b]\), entonces \(\int_a^b f_n\to\int_a^b f\), porque la integral del error es como máximo \((b-a)\|f_n-f\|_\infty\). Las derivadas son más estrictas: la convergencia uniforme de \(f_n\) por sí sola no implica \(f_n^\prime\to f^\prime\).

Patrones de teoremas

• Regla de integración: la convergencia uniforme en un intervalo acotado permite \(\lim_n\int_a^b f_n=\int_a^b f\).
• Regla de derivación: si \(f_n^\prime\to g\) uniformemente y \(f_n(x_0)\) converge en un punto, entonces \(f_n\) converge uniformemente a una \(f\) diferenciable con \(f^\prime=g\).
• Advertencia: derivar término a término un límite puntual o meramente uniforme requiere más que convergencia uniforme de las funciones.

Ejemplo resuelto

Inténtalo

Evita las trampas comunes de convergencia uniforme

Trampas comunes

• Puntual no implica uniforme: \(x^n\) en \([0,1]\) es la advertencia estándar.
• Uniforme depende del dominio: \(x/n\) funciona en \([0,1]\), pero falla en \([0,\infty)\).
• La preservación de continuidad solo funciona para límites uniformes: los límites puntuales pueden ser discontinuos.
• La prueba M es suficiente, no necesaria: no encontrar un \(M_n\) no prueba automáticamente convergencia no uniforme.
• El intercambio de derivadas necesita control de derivadas: la convergencia uniforme de \(f_n\) por sí sola no basta.
• Los términos de una serie deben anularse uniformemente: si \(\sum u_n\) converge uniformemente, entonces \(u_n\to0\) uniformemente.

Ejemplo resuelto

Inténtalo

Repaso final

• Convergencia uniforme significa \(\sup_x|f_n-f|\to0\).
• La convergencia uniforme siempre implica convergencia puntual, pero no al revés.
• La misma fórmula puede ser uniforme en un dominio y fallar en otro más grande.
• El criterio de Cauchy uniforme controla \(\sup_x|f_n-f_m|\).
• La prueba M demuestra convergencia absoluta uniforme de series de funciones.
• Los límites uniformes de funciones continuas son continuos.
• La convergencia uniforme también preserva acotación, no negatividad, multiplicación por funciones acotadas y constantes de Lipschitz comunes bajo las hipótesis habituales.
• La convergencia uniforme en \([a,b]\) permite pasar límites a través de integrales definidas.
• Pasar límites a través de derivadas requiere convergencia uniforme de las derivadas más convergencia en un punto.