Análisis Matemático DOS

§ 1

Convergencia puntual y uniforme

Introducción

Definición

Sea \(X\) un conjunto distinto del vacío y \((f_n:X \to \mathbb{R})_{n=1}^\infty\) una sucesión de funciones. Dado \(A\subseteq X\), decimos que la sucesión \((f_n)_{n=1}^\infty\) converge puntualmente en \(A\) a la función \(f:A\to \mathbb{R}\) si para todo \(a\in A\), \(\lim_{n\to \infty}f_n(a)=f(a)\).

Para ser más específicos, para toda \(a\in A\) y toda \(\varepsilon >0\) existe \(N\in \mathbb{N}\) tal que para toda \(n\geq N\), \[ |f_n(a)-f(a)|< \varepsilon \] Nota: la \(N\) va a depender tanto de \(\varepsilon \) como de \(a\).

Ejemplos

Nota. En esta definición se puede substituir a \(\mathbb{R}\) por cualquier \(\mathbb{R}^n\) y entonces \((f_n)_{n=1}^\infty\) converge puntualmente a \(f\) en \(A\) si para toda \(a\in A\) y toda \(\varepsilon>0\) existe \(N\in \mathbb{N}\) tal que \(\| f_n(a) - f(a)\| < \varepsilon\) para toda \(n\geq N\) (nota ahora que tanto \(f_n(a)\) como \(f(a)\) son vectores).

Ejercicio

Encuentra el límite puntual (si existe) de las siguientes sucesiones de funciones.

  1. \(f_n :\mathbb{R}\setminus \{-1\} \to \mathbb{R}\) dada por \[ f_n(x)=\frac{x^n}{1+x^n}. \]
  2. \(f_n:[0,1]\to \mathbb{R}\) dada por \[ f_n(x)=\left\{ \begin{array}{cc} 4n^2 x , & 0 \leq x \leq \frac{1}{2n}, \\ -4n^2x+4n , & \frac{1}{2n} \leq x \leq \frac{1}{n}, \\ 0 , & \frac{1}{n}\leq x \leq 1 . \end{array} \right. \]
  3. \(f_n:\mathbb{R}\to \mathbb{R}\) dada por \[ f_n(x)=\frac{\sen(\sqrt{n} x)}{n}. \]

Para \(|x|< 1 \), \(\lim_{n\to \infty}x^n=0\), por lo que: \[ \lim_{n\to \infty} \frac{x^n}{1+x^n} =0. \]

Para \(x=1\), \[ \lim_{n\to \infty} \frac{1^n}{1+1^n} =\frac{1}{2}. \]

Para \(|x|> 1\), \(\lim_{n\to \infty} \frac{1}{x^n}=0\), usando que \[ \frac{x^n}{1+x^n}= \frac{1}{\frac{1}{x^n}+1} \] obtenemos que: \[ \lim_{n\to \infty} \frac{x^n}{1+x^n} =1. \]

En conclusión \[ \lim_{n\to \infty}f_n(x)= \left\{ \begin{array}{cc} 0 & |x| < 1 \\ \frac{1}{2} & x = 1 \\ 1 & |x|>1 \end{array} \right. \]

Ejercicio

Prueba que, para toda \(x>0\), \[ \lim_{n\to \infty} n(\sqrt[n]{x}-1)=\ln(x) \]

Por lo tanto, la sucesión de funciones \(f_n(x)=n(\sqrt[n]{x}-1)\), converge puntualmente a la función logaritmo en \((0,\infty)\).

Ejercicio

Sea \(\{q_n\}_{n=1}^\infty\) una enumaración de \(\mathbb{Q}\). Define \(f_n:\mathbb{R}\to \mathbb{R}\) por \[ f_n(x)=\left\{ \begin{array}{cc} 1, & \textrm{si \(x\in \{q_1,\dots, q_n\}\)}, \\ 0, & \textrm{en otro caso} . \end{array} \right. \] Encuantra el límite puntual de \((f_n)_{n=1}^\infty\).

Ejercicio

El límite puntual no se lleva muy bien con las derivadas.

  1. Consiera la sucesión de funciones \((f_n:\mathbb{R}\to \mathbb{R})\) dada por \(f_n(x)=\frac{\sen(nx)}{n}\). Encuentra el límite puntual de \((f_n)_{n=1}^\infty\) pero muestra que el límite puntual de \((f_n')_{n=1}^\infty\) no existe.
  2. Considera la sucesión de funciones \(f_n:[0,1]\to \mathbb{R}\) dada por \(f_n(x)=\frac{x^{n}}{n}\). Prueba que, para todo \(x\in [0,1]\), los límites puntuales \(\lim_{n\to \infty} f_n(x)\) y \(\lim_{n\to \infty} f_n'(x)\) existen. Define \(f(x):=\lim_{n\to \infty} f_n(x)\) y para \(x\ne 1\) prueba \[ \lim_{n\to \infty} f_n'(x)= f'(x) \] pero \[ \lim_{n\to \infty} f_n'(1) \ne f'(1) \] Por lo tanto, no siempre pasa que el límite puntual de las derivadas es la derivada del límite puntual.

Ya que \(|\frac{\sen(nx)}{n}|\leq \frac{1}{n}\) para todo \(x\in \mathbb{R}\), se sigue que \(\lim_{n\to \infty} f_n(x)=0\) para toda \(x\).

Sin embargo \(f_n'(x)=\cos(nx)\) el cual, para \(x\ne 0\), cumple que \(\lim_{n\to \infty}\cos(nx)\) no existe. Por ejemplo, para \(x=\pi\), \(\cos(nx)=-1\) ó \(\cos(nx)=1\), dependiendo si \(n\) es impar o par, respectivamente.

Ya que \(\left| \frac{x^n}{n} \right| \leq \frac{1}{n}\) para todo \(x\in [0,1]\), se sigue que \[ \lim_{n\to \infty}f_n(x)=0 \] para todo \(x\in [0,1]\) y por lo tanto \(f=0\).

Por otro lado, \(f_n'(x)=x^{n-1}\), el cual sabemos que satisface \[ \lim_{n\to \infty} f_n'(x)= \left\{ \begin{array}{cc} 0 & 0\leq x < 1, \\ 1 & x=1 . \end{array} \right. \] Por lo tanto \(\lim_{n\to \infty}f_n'(1)\ne f'(1)\).

Ejercicio

El límite puntual no se lleva bien con las integrales.

Considera la sucesión de funciones \[ f_n(x)=\left\{ \begin{array}{cc} 4n^2 x , & 0 \leq x \leq \frac{1}{2n}, \\ -4n^2x+4n , & \frac{1}{2n} \leq x \leq \frac{1}{n}, \\ 0 , & \frac{1}{n}\leq x \leq 1 . \end{array} \right. \] y sea \(f(x)=\lim_{n\to \infty} f_n(x)\) su límite puntual.

Prueba \[ \lim_{n\to \infty} \int_0^1 f_n(t)dt \ne \int_0^1 f(t)dt \]

Definición

Sea \(X\) un conjunto cualquiera y \((f_n:X\to \mathbb{R})_{n=1}^\infty\) una sucesión de funciones. Decimos que la sucesión \((f_n)_{n=1}^\infty\) converge uniformemente a la función \(f\) en el subconjunto \(A \subseteq X\), si para toda \(\varepsilon >0\), existe una \(N\in \mathbb{N}\) con la propiedad de que, para toda \(a \in A\) y \(n \geq N\): \[ |f_n(a)-f(a)| < \varepsilon. \]

Una de las partes más importantes de la definición es que la \(N\) que aparece sirve para todos los puntos de \(A\), de ahí viene el nombre, pues la \(N\) es uniforme (la misma) para todo punto en \(A\).

Notas.

  1. Para la convergencia uniforme no es necesario pedir al domino de las funciones (denotado por \(X\) arriba) ningún tipo de estructura. Más adelante le daremos más estructura a \(X\) para obtener más resultados sobre las sucesiones de funciones.
  2. El codominio de las funciones no tiene que ser necesariamente \(\mathbb{R}\) y se puede cambiar por cualquier \(\mathbb{R}^n\) y en tal caso los valores absolutos se cambian por normas.
  3. La convergencia uniforme depende mucho del dominio de las funciones. Puede pasar que una sucesión no sea uniformemente convergente en unos subconjuntos del dominio pero sí sea uniformemente convergente en otros.
  4. La convergencia uniforme implica convergencia puntual pero la implicación de regreso no es cierta.

Nota

Convergencia uniforme y la norma uniforme

Otra forma de reescribir la convergencia uniforme es utilizando lo que se conoce como la norma uniforme o norma infinito. Dada una función \(g:X\to \mathbb{R}\) acotada y \(A\subseteq X\) denotamos \[ \|g\|_A:=\sup_{a\in A}\{|g(a)| \} \] Si el dominio es claro también se escribe \(\|g\|_\infty\). Con esta notación se puede escribir la convergencia uniforme de la siguiente forma.

La sucesión \((f_n:X\to \mathbb{R})_{n=1}^\infty\) converge uniformemente en el subconjunto \(A\subseteq X\) a la función \(f:X\to \mathbb{R}\) si, para toda \(\varepsilon > 0\) existe una \(N \in \mathbb{N}\) tal que para toda \(n\geq N\) \[ \|f_n-f\|_A < \varepsilon \] Esta forma de escribir tiene la ventaja de que \(\|f_n-f\|_A\) es un número real. Así la convergencia uniforme sobre \(A\) está codificada en la sucesión de números reales \((\|f_n-f\|_A)_{n=1}^\infty\) y notamos que, en términos de esta sucesión, la convergencia uniforme se puede escribir simplemente como \[ \lim_{n\to \infty}\| f_n-f\|_A= 0, \] claro que el problema importante es calcular los números \(\|f_n-f\|_A\).

Ejemplos.

  1. La sucesión de funciones \((f_n:\mathbb{R}\to \mathbb{R})_{n=1}^\infty\) dada por \(f_n(x)=\frac{1}{n}\sen(nx)\) converge uniformemente en \(\mathbb{R}\) a la función constante cero. Para probarlo, usamos que \(|\sen(\theta)| \leq 1\) para toda \(\theta\) para obtener \begin{eqnarray*} \| f_n-0\|_\mathbb{R}&=& \|f_n\|_{\mathbb{R}} \\ &=& \sup_{x\in \mathbb{R}}\left\{\frac{1}{n}|\sen(nx)| \right\} \\ &\leq & \frac{1}{n} \end{eqnarray*} Por lo tanto \(\lim_{n\to \infty} \|f_n\|_{\mathbb{R}}=0\).
  2. Consideremos \(f:[a,b]\to \mathbb{R}\) cualquier función y definamos las sucesión de funciones \(f_n:[a,b]\to \mathbb{R}\) dada por \(f_n(x)=f(x)+\frac{1}{n}\). La sucesión \((f_n)_{n=1}^\infty\) converge uniformente en \([a,b]\) a \(f\). Para probarlo sólo notamos que, para toda \(x\in [a,b]\) \[ |f_n(x)-f(x)|=\frac{1}{n} \] por lo que \(\|f_n-f\|_{[a,b]} \leq \frac{1}{n}\) y por lo tanto \(\lim_{n\to \infty}\|f_n-f\|_{[a,b]} = 0\).

El número \(\|\cdot\|_A\) se llama norma uniforme porque cumple las propiedades de una norma (cuyas pruebas se dejan de ejercicio):

  1. Para toda función, \(\|f\|_A \geq 0 \).
  2. Para toda función, \(\|f\|_A=0\) si y sólo si \(f\) es idénticamente cero en \(A\).
  3. Para cuales quiera funciones acotadas en \(A\), \(f,g:A\to \mathbb{R}\) y escalar \(\alpha\): \[ \|\alpha f+ g \|_A \leq |\alpha|\|f\|_A+\|g\|_A. \]

Ejercicio

Investiga si las siguientes sucesiones de funciones convergen uniformemente ó no, sobre el dominio dado, a la función constante cero.

  1. \((f_n:\mathbb{R}\to \mathbb{R})_{n=1}^\infty\) dada por \(f_n(x)=\frac{x}{1+nx^2}\).
  2. \((f_n:[0,\infty)\to \mathbb{R})_{n=1}^\infty \) dada por \(f_n(x)=xe^{-2nx}\).
Sugerencia: usa cálculo para encontar la norma uniforme de cada \(f_n\).

Ejercicio

  1. Sea \(X\) un conjunto, \(A\subseteq X\). Prueba que la sucesión de funciones \((f_n:X\to \mathbb{R}^n)_{n=1}^\infty\) NO converge uniformemente en \(A\) a la función \(f\) si y sólo si existe un \(\varepsilon_0>0\), una subsucesión \((f_{n_k})_{k=1}^\infty\) y una sucesión \((a_n)_{n=1}^\infty \subset A \) que satisface \[ \| f_{n_k}(a_k)- f(a_{k})\| \geq \varepsilon_0 \] para toda \(k \geq 1\).
  2. Usa esto para probar que la sucesión \((f_n:\mathbb{R}\to \mathbb{R})_{n=1}^\infty\) dada por \(f_n(x)=x^n\), no converge uniformemente en \((-1,1)\) a la función cero. Nota: este ejemplo muestra que convergencia puntual no implica convergencia uniforme.

Ejercicio

Considera \((f_n:[a,b]\to \mathbb{R})_{n=1}^\infty\) una sucesión de funciones continuas con la propiedad de que converge uniformemente en \(\mathbb{Q}\cap [a,b]\).

Prueba o da un contraejemplo: la sucesión \((f_n)_{n=1}^\infty\) converge uniformemente en \([0,1]\).

Ejercicio

Considera la sucesión de funciones \((f_n:[-1,1]\to \mathbb{R})_{n=1}^\infty\) dada por \(f_n(x)=x^n\). Tenemos que ésta sucesión de funciones converge puntualmente en \((-1,1]\) a la función \[ f(x)=\left\{ \begin{array}{cc} 1 & \textrm{si |x| = 1} \\ 0 & \textrm{si |x| < 1 } \end{array} \right. \]

  1. Prueba que la sucesión \((f_n)_{n=1}^\infty\) no converge uniformemente en \((-1,1]\) a la función \(f\).
  2. Prueba que, para todo subintervalo cerrado \([a,b]\subset (-1,1)\), \((f_n)_{n=1}^\infty\) sí converge uniformemente en \([a,b]\) a la función cero.

Este ejercicio muestra que convergencia puntual no implica convergencia uniforme y que la convergencia uniforme también depende del dominio que se está considerando.

Primer inciso.

Para probar que \((f_n)_{n=1}^\infty\) no converge uniformemente a \(f\) veremos dos métodos.

El primer método es geométrico, y consiste en observar las bolas, en la norma \(\|\cdot\|_\infty\), centradas en \(f\). Geométricamente sabemos que cualquier función que esté en \(B_r(f)\) tiene la propiedad de que su gráfica queda dentro de la franja centrada en la gráfica de \(f\) de radio \(r\). Ahora, ya que cualquiera de las funciones \(f_n\) es continua y \(f\) tiene una discontinuidad de salto en \(x=1\), ninguna de las gráficas de las funciones \(f_n\) queda totalmente contenida en dicha franja, por lo tanto la sucesión no converge uniformemente a \(f\).

El segundo método es estimar las normas \(\|f_n-f\|_\infty\). Ya que el punto \(x=1\) parace especial notamos que \(|f_n(1)-f(1)|=|1-1|=0\), por lo que el supremo de los valores \(|f_n(x)-f(x)|\), corriendo \(x\in [0,1]\), está determinado cuando \(0< x < 1\), y para estos valores tenemos \[ |f_n(x)-f(x)|=|x^n|=x^n \] Finalmente, usando que \(x\mapsto x^n\) es estrictamente creciente en \([0,1]\), tenemos \[ \sup_{x\in [0,1]}\{ |f_n(x)-f(x)|\}=\sup_{x\in [0,1)}\{x^n\}=1 \] Por lo tanto, \(\|f_n-f\|_\infty=1\), para toda \(n\), y la sucesión no converge uniformemente.

Segundo inciso.

Para este inciso es muy importante notar que estamos cambiando el dominio, de \((-1,1]\) a \([a,b]\). Por lo tanto el cálculo de las normas infinito cambia teniendo \[ \|f_n\|_\infty=\sup_{x\in [a,b]}\{|f_n(x)|\} \] Para calcular \(\|f_n\|_\infty\) notamos que:

  • Para \(n\) impar \(f_n\) es estrictamente creciente en \((-1,1]\) y por lo tanto \[ \sup_{x\in [a,b]}\{|f_n(x)|\}=|b|^n \]
  • Para \(n\) par \(f_n\) es decreciente en \((-1,0]\) y creciente en \([0,1)\), por lo tanto \[ \sup_{x\in [a,b]}\{|f_n(x)|\}= \left\{ \begin{array}{cc} |a|^n & \textrm{si \([a,b] \subset (-1,0]\),} \\ |b|^n & \textrm{si \([a,b]\subset [0,1)\),} \\ \max\{|a|^n,|b|^n\} & \textrm{si \( a< 0 < b \).} \end{array} \right. \]
    • En cuqlquier caso, ya que \([a,b]\subset (-1,1)\), tenemos que \(-1< a < b < 1\) y por lo tanto \(\lim_{n\to \infty}|a|^n=\lim_{n\to \infty}|b|^n=0\). Por lo tanto, \[ \lim_{n\to \infty} \|f_n\|_\infty=0. \]

Ejercicio

Para las siguientes sucesiones de funciones ecuentra su límite puntual (si existe) y los subintervalos donde la convergencia es uniforme.

  1. \(f_n:[0,1]\to \mathbb{R}\) dada por \(f_n(x)=n^2x(1-x^2)^n\).
  2. \(f_n:[0,\infty)\to \mathbb{R}\) dada por \(f_n(x)=\frac{nx}{1+nx}\).
  3. \(f_n:[0,\infty)\to \mathbb{R}\) dada por \(f_n(x)=\frac{nx}{1+n^2x^2}\).
  4. \(f_n:\mathbb{R}\to \mathbb{R}\) dada por \(f_n(x)=\frac{x^n}{1+x^n}\).

Teorema

Sean \((f_n:[a,b]\to \mathbb{R}^n)_{n=1}^\infty\) una sucesión de funciones tal que cada una de las \(f_n\) es continua en el punto \(x_0\in [a,b]\).

Si \((f_n)_{n=1}^\infty\) converge uniformemene en \([a,b]\) a una función \(f\), entonces \(f\) también es continua en \(x_0\).

En particular, si las \(f_n\) son continuas en todo \([a,b]\) también \(f\) lo es.

La demostración es un argumento del tipo \(3\varepsilon\).

Primero, usamos la convergencia uniforme de \((f_n)_{n=1}^\infty\) para asegurar que existe una \(N\in \mathbb{N}\) tal que \begin{equation}\label{Eqn:Aux1ConvergenciaUnifCont} \|f(x)-f_n(x)\| < \varepsilon \end{equation} para todo \(x\in [a,b]\) y todo \(n\geq N\).

Segundo, usando que \(f_N\) es continua en \(x_0\) aseguramos que existe una \(\delta > 0\) tal que \begin{equation}\label{Eqn:Aux2ConvergenciaUnifCont} \| f_N(x)-f_N(x_0)\|< \varepsilon \end{equation} siempre que \(x\in [a,b]\) con \(|x-x_0|< \delta\).

Finalmente, juntanto \eqref{Eqn:Aux1ConvergenciaUnifCont} y \eqref{Eqn:Aux2ConvergenciaUnifCont}, para \(x\in [a,b]\) con \(|x-x_0|< \delta \) se tiene:

\begin{eqnarray*} \| f(x) -f(x_0)| &\leq & \| f(x)- f_N(x)\| + \| f_N(x)-f_N(x_0)\|+ \| f_N(x_0)-f(x_0)\| \\ & < & \varepsilon + \| f_N(x) -f_N(x_0)\| +\varepsilon \\ & < & 3\varepsilon \end{eqnarray*}

Ejercicio

Sea \((f_n:[a,b]\to \mathbb{R}^n)_{n=1}^\infty\) una sucesión de funciones continuas tal que convergen uniformemente en \([a,b]\).

Sea \((x_m)_{m=1}^\infty \subset [a,b]\) una sucesión convergente en \([a,b]\). Prueba \[ \lim_{n\to \infty}\left( \lim_{m\to \infty} f_n(x_m)\right)= \lim_{m\to \infty}\left( \lim_{n\to \infty} f_n(x_m)\right) \]

Sugerencia: usa el teorema anterior.

Teorema

Sea \((f_n:[a,b]\to \mathbb{R})\) una sucesión de funciones Riemann integrables en \([a,b]\). Supongamos que la sucesión converge uniformemente en \([a,b]\) a la función \(f:[a,b]\to \mathbb{R}\). Entonces \(f\) es Riemann integrable y \[ \lim_{n\to \infty}\int_a^b f_n(t)dt=\int_a^bf(t)dt. \]

Ejercicio

Prueba \[ \lim_{n\to \infty}\int_{\pi/2}^\pi\frac{\sen(nx)}{nx}dx=0 \]

Ejercicio

Cálcula el límite \[ \lim_{n\to \infty} \int_0^1 \frac{e^{-nt}}{\sqrt{t}} dt \]

Ejercicio

Sea \((f_n:[a,b]\to \mathbb{R})_{n=1}^\infty\) una sucesión de funciones continuas que converge uniformemente en \([a,b]\).

Define \(F_n:[a,b]\to \mathbb{R}\) por \[ F_n(x):=\int_a^x f_n(t)dt \] Prueba que la sucesión \((F_n)_{n=1}^\infty\) converge uniformemente en \([a,b]\).

Ejercicio

Supongamos que tenemos una sucesión de funciones continuas \((f_n:[a,b]\to \mathbb{R})\) que converge uniformemente en \([a,b]\) a la función \(f:[a,b]\to \mathbb{R}\). Prueba \[ \lim_{n\to \infty}\int_a^b \left( \int_a^xf_n(t)dt \right) dx= \int_a^b \left(\int_a^x f(t)dt\right)dx \]

Ejercicio

Sea \((f_n:[a,b]\to \mathbb{R})_{n=1}^\infty\) una sucesión de funciones continuas que converge uniformemente en \([a,b]\) a una función \(f\).

Supón que \(g:[a,b]\to \mathbb{R}\) es una función Riemann integrable en \([a,b]\). Prueba que \[ \lim_{n\to \infty} \int_a^b f_n(t)g(t)dt =\int_a^b f(t)g(t)dt \]

Teorema

Sea \((f_n:[a,b]\to \mathbb{R})_{n=1}^\infty\) una sucesión de funciones continuas en \([a,b]\) y tal que su derivada, \(f_n'\), existe y es continua en todo \([a,b]\).

Supongamos que

  1. \((f_n')\) converge uniformemente en \([a,b]\) a una función \(g:[a,b]\to \mathbb{R}\).
  2. Existe un punto \(x_0\in [a,b]\) tal que la sucesión \((f_n(x_0))_{n=1}^\infty\) converge.

Entonces la sucesión original, \((f_n)_{n=1}^\infty\), converge uniformemente en \([a,b]\). Además, si \(f\) es el límite de \((f_n)_{n=1}^\infty\) entonces \(f\) es diferenciable y \(f'=g\). Es decir, podemos meter el límite en la derivada \[ \lim_{n\to \infty} \frac{d}{dx}f_n(x) = \frac{d}{dx}\left( \lim_{n\to \infty} f_n (x) \right) \]

Teorema

Teorema de Dini

Sea \((f_n:[a,b]\to \mathbb{R})_{n=1}^\infty\) una sucesión de funciones continuas en \([a,b]\). Supón que:

  1. para todo \(x\in [a,b]\) y para todo \(n\in \mathbb{N}\) se cumple: \[ f_{n+1}(x) \leq f_n(x)\]
  2. para todo \(x\in [a,b]\) el límite \(\lim_{n\to \infty}f_n(x)\) existe y la función \(f:[a,b]\to \mathbb{R}\) definida por \[ f(x)=\lim_{n\to \infty} f_n(x) \] es continua en \([a,b]\).

Entonces \((f_n)_{n=1}^\infty\) converge uniformemente a \(f\) en \([a,b]\).

Teorema

Criterio M de Weierstrass

Sea \((f_n:X\to \mathbb{R})_{n=1}^\infty\) una sucesión de funciones. Supongamos que existe una sucesión de números no negativos \((M_n)_{n=1}^\infty\) tal que

Entonces la sucesión de funciones \((S_N)_{N=1}^\infty\), dada por \(S_N(x)=\sum_{n=1}^N f_n(x)\) converge uniformemente en \(X\). También se dice que la serie \(\sum_{n=1}^\infty f_n(x)\) es uniformemente convergente en \(X\).

Usando la norma \(\|\cdot\|_\infty\) el criterio M se puede resumir como sigue. Si \[ \sum_{n=1}^\infty \| f_n\|_\infty < + \infty \] entonces \[ \sum_{n=1}^\infty f_n(x) \] converge uniformemente en \(X\).

Ejercicio

Prueba que la serie \(\sum_{n=1}^\infty x^n\) es uniformemente convergente en cualquier subintervalo cerrado contenido en \((-1,1)\).

Ejercicio

Series de potencias

Si \((a_n)_{n=1^\infty \subset \mathbb{R}}\) y \(x_0\in \mathbb{R}\), una serie de la forma \[ \sum_{n=0}^\infty a_n(x-x_0)^n \] se llama una serie de potencias alrededor de \(x_0\), con coeficientes \((a_n)_{n=1}^\infty\). Por ejemplo las series de Taylor de una función clase \(C^\infty\).

El radio de convergencia de la serie de define como \[ R=\frac{1}{\limsup_{n\to \infty}\sqrt[n]{|a_n|}} \] Notas:

Ejemplo

Para la serie geométrica \(\sum_{n=0}^\infty x^n\), \(a_n=1\) para toda \(n\) por lo que su radio de convergencia es \(R=1\). Nótese que la serie converge en el intervalo \((-1,1)\).

Teorema

Considera la serie de potencias \[ \sum_{n=0}^\infty a_n(x-x_0)^n \] con radio de convergencia \(R\).

  1. Si \(R=+\infty\), \(\sum_{n=1}^\infty a_n(x-x_0)^n\) converge absolutamente y uniformemente en todo intervalo de la forma \([a,b]\),
  2. Si \(R< +\infty\), \(\sum_{n=1}^\infty a_n(x-x_0)^n\) converge absolutamente y uniformemente en todo intervalo de la forma \([a,b]\) contenido en \((x_0-R,x_0+R)\).
  3. En el intervalo \((x_0-R,x_0+R)\) se puede derivar la serie término a término: \[ \left(\sum_{n=1}^\infty a_nx^n \right)'=\sum_{n=1}^\infty na_nx^{n-1} \]
  4. Para cualquier intervalo cerrado \([a,b]\subset (x_0-R,x_0+R)\) la serie se puede integrar término a término: \[ \int_a^b \left( \sum_{n=1}^\infty a_nx^n \right)dx= \sum_{n=1}^\infty \frac{a_n}{n+1}(b^{n+1}-a^{n+1}) \]

Para unificar los casos \(R=+\infty, R< +\infty\), en caso de que \(R=+\infty\), entendemos \(x_0+R=+\infty, x_0-R=-\infty\).

Dado \([a,b]\subset (x_0-R,x_0+R)\), fijamos \(r\in \mathbb{R}\) con \(0< r < R\) con la propiedad de que \([a,b]\subseteq (x_0-r,x_0+r)\).

Ahora tomamos \(r_0\) tal que \(r< r_0 < R \). Entonces \[ \limsup_{n\to \infty} \sqrt[n]{|a_n|}=\frac{1}{R} < \frac{1}{r_0}. \] Por la propiedad fundamental del ínfimo existe un \(n\) tal que \[ \frac{1}{R} \leq \sup_{k\geq n} \{ \sqrt[k]{|a_k|}\} < \frac{1}{r_0} \] de lo que se sigue que \(|a_k|\leq \frac{1}{r_0^k}\), para todo \(k\geq n\). Ahora si nos fijamos en los términos de la serie de potencias tenemos, para \(k\geq n\) y \(x\in [a,b]\): \begin{eqnarray*} |a_k(x-x_0)^k|=|a_k||x-x_0|^k \leq \frac{1}{r_0^k} |x-x_0|^k \leq \frac{r^k}{r_0^k} \end{eqnarray*} Nota: ya que \(x\in [a,b]\subset (x_0-r,x_0+r)\) se sigue que \(|x-x_0|\leq r\).

Finalmente si tomamos \(M_k=(\frac{r}{r_0})^k\), usamos que \(\frac{r}{r_0}< 1\) y la serie geométrica, podemos aplicar el criterio \(M\) de Weierestrass a las funciones \(f_k(x)=a_k(x-x_0)^k\), para obtener que la serie \(\sum_{k=0}^\infty a_k(x-x_0)^k\) converge uniformemente en \([a,b]\).

Quiz

  1. Sea \(X\) un conjunto no vacío y considera dos sucesiones de funciones \((f_n:X\to \mathbb{R})_{n=1}^\infty, (g_n:X\to \mathbb{R})_{n=1}^\infty\) tal que \(f_n \to f\) y \(g_n \to g\) uniformemente en \(X\).

    Si existe una \(M>0\) tal que \(\sup_{x\in X}\{ |g_n(x)|\} \leq M\), para toda \(n\) y la función \(f\) es acotada, prueba que la sucesión producto \((f_ng_n:X\to \mathbb{R})_{n=1}^\infty\) converge uniformemente a \(fg\) en \(X\).

  2. Da un ejemplo que muestra que el resultado del ejercicio anterior puede fallar si la hipótesis, \(\sup_{x\in X}\{ |g_n(x)|\} \leq M\), para toda \(n\) ó que la función \(f\) sea acotada, se elimina.