Convergencia y diferenciación

Por Lizbeth Fernández Villegas

Introducción

En la entrada anterior vimos que cuando una sucesión de funciones continuas converge uniformemente, podemos concluir que el límite es también una función continua. ¿Qué ocurrirá con funciones diferenciables?

Considera el espacio de funciones con dominio en $[a,b]$ con $a,b$ e imagen en $\mathbb{R}.$ Tal vez intuimos que si tenemos una sucesión de funciones diferenciables $(f_n)_{n \in \mathbb{N}}$ que convergen uniformemente a una función $f$ en $[a,b]$ entonces $f$ también es diferenciable y la sucesión de derivadas $(f’_n)_{n \in \mathbb{N}}$ converge uniformemente en $f’.$ Esto es falso, como muestra el siguiente:

Ejemplo. La sucesión $\left( \dfrac{sen (nx)}{\sqrt{n}} \right) _{n \in \mathbb{N}}$

Para cada $n \in \mathbb{N}$ sea $f_n:[0,1] \to \mathbb{R} \,$ tal que $f_n(x)=\dfrac{sen (nx)}{\sqrt{n}}.$ Ocurre que $\left( \dfrac{sen (nx)}{\sqrt{n}} \right) _{n \in \mathbb{N}}$ converge uniformemente a la función $f(x)=0.$

Sucesión $\left( \dfrac{sen (nx)}{\sqrt{n}} \right) _{n \in \mathbb{N}}.$

Esto es porque, para cualquier $x \in [0,1], \, |sen(nx)|<1.$ Por otro lado, $\sqrt{n} \to \infty.$ Por lo tanto $\left|\dfrac{sen (nx)}{\sqrt{n}} \right| = \dfrac{|sen(nx)|}{\sqrt{n}} \leq \dfrac{1}{\sqrt{n}} \to 0.$

Por otro lado, para cada $n \in \mathbb{N}$ se tiene que $f'(x)= \sqrt{n} \, cos(nx).$ Pero $(f’_n)_{n \in \mathbb{N}} \,$ no converge a $f’$ ni de forma puntual. Por ejemplo $f’_n(0)=\sqrt{n}$ tiende a $\infty$ mientras que $f'(0)=0.$

Ejemplo. La sucesión $\left( \dfrac{x}{1 + n x^2} \right) _{n \in \mathbb{N}}$

Para cada $n \in \mathbb{N}$ sea $f_n:\mathbb{R} \to \mathbb{R}$ tal que $f_n(x)=\dfrac{x}{1 + n x^2}.$

Sucesión $\left( \dfrac{x}{1 + n x^2} \right) _{n \in \mathbb{N}}.$

Comencemos identificando la función límite $f$ de la sucesión $(f_n)_{n \in \mathbb{N}}$ y la función límite $g$ de la sucesión de derivadas $(f’_n)_{n \in \mathbb{N}}.$

Ya la imagen anterior nos induce a proponer $f=0.$ También podemos observar que cada función tiene máximo y mínimo global cuya distancia a $0$ coincide. Además, estos se van acercando más al eje horizontal a medida que avanzamos en las funciones de la sucesión.

En efecto, cuando la derivada es $0,$ la función $f_n$ alcanza su máximo o mínimo global:
$$\dfrac{1-nx^2}{(nx^2+1)^2}=0 \, \iff \, 1-nx^2 = 0 \, \iff \, x = \pm \sqrt{\frac{1}{n}}$$

Esto significa que cada $f_n$ está acotada como sigue:
$|f_n(x)|= \left| \dfrac{x}{1 + n x^2} \right| \leq \left|\dfrac{\sqrt{\frac{1}{n}}}{1 + n \sqrt{\frac{1}{n}}^2}\right| = \dfrac{1}{2\sqrt{n}} \, \to \, 0.$

Lo cual prueba que $(f_n)_{n \in \mathbb{N}}$ converge uniformemente a $0.$

Para el límite de la sucesión de derivadas veamos la siguiente imagen.

Esto incentiva proponer $g$ como:

\begin{equation*}
g(x) = \begin{cases}
0 & \text{si x $\neq$ 0} \\
1 & \text{si $x = 0$}
\end{cases}
\end{equation*}

Entonces $f’$ no coincide con $g,$ pues asignan valores diferentes al ser evaluadas en $0.$ Dejaremos como ejercicio lo siguiente:

  1. Probar que $(f’_n)_{n \in \mathbb{N}} \to g.$ ¿La convergencia es puntual o uniforme?
  2. Identifica para qué valores de $x \in \mathbb{R}$ sí se cumple que $f'(x)=g(x).$
  3. ¿En qué intervalos de $\mathbb{R}$ se da la convergencia uniforme de $(f_n)_{n \in \mathbb{N}}$ en $f.$
  4. ¿En qué intervalos de $\mathbb{R}$ se da la convergencia uniforme de $(f’_n)_{n \in \mathbb{N}}$ en $g.$

Ejemplo. La sucesión $\left( \dfrac{1}{n} \, e^{-n^2x^2} \right) _{n \in \mathbb{N}}$

Para cada $n \in \mathbb{N}$ sea $f_n:\mathbb{R} \to \mathbb{R}$ tal que $f_n(x)=\dfrac{1}{n} \, e^{-n^2x^2}.$

Sucesión $\left( \dfrac{1}{n} \, e^{-n^2x^2} \right) _{n \in \mathbb{N}}.$

Veamos que $(f_n)_{n \in \mathbb{N}}$ converge uniformemente en $\mathbb{R}$ a la función $f=0.$

Para cada $n \in \mathbb{N}$ y para cada $x \in \mathbb{R}, \, f'(x)= -2nxe^{-n^2x^2}.$ Se puede demostrar que esta función alcanza su máximo global cuando $f'(x)=0, \,$ lo cual ocurre cuando $x=0.$ Entonces el máximo de $f_n$ está dado por $f(0)= \frac{1}{n} \, \to \, 0.$ Por lo tanto $(f_n)_{n \in \mathbb{N}}$ converge uniformemente en $\mathbb{R}$ a la función $f=0.$

Ahora observemos la sucesión de derivadas $(f’_n)_{n \in \mathbb{N}}.$

Dejamos como ejercicio al lector probar que $(f’_n)_{n \in \mathbb{N}}$ converge puntualmente a la función $g=0.$ No obstante, esta convergencia no es uniforme en ningún intervalo que contenga al origen.

Habiendo visto estas situaciones, conozcamos algunas condiciones de convergencia para $(f_n)_{n \in \mathbb{N}} \,$ y para $(f’_n)_{n \in \mathbb{N}} \,$ que implican que $f’ =g.$

Proposición: Para cada $n \in \mathbb{N}$ sea $f_n:[a,b] \to \mathbb{R}$ continua y diferenciable en $[a,b],$ tal que la sucesión $(f_n)_{n \in \mathbb{N}}$ converge puntualmente a $f:[a,b] \to \mathbb{R}$ y la sucesión de derivadas $(f’_n)_{n \in \mathbb{N}}$ converge uniformemente a $g:[a,b] \to \mathbb{R}.$ Entonces $f$ es continua y diferenciable en $[a,b]$ y $f’=g.$

Demostración:
Sean $j,k \in \mathbb{N}$ y $x_0 \in (a,b).$ La función $f_j-f_k$ es continua y diferenciable en $[a,b],$ particularmente, para cada $x \in (a,b),$ también lo será en el intervalo $(x_0,x)$ (o $(x,x_0)$ dependiendo del orden de los puntos). Según el teorema del valor medio, que se puede consultar en Cálculo Diferencial e Integral I: Teorema de Rolle y teorema del valor medio, existe $\xi_x \in (x_0,x)$ tal que:

$$\frac{(f_j-f_k)(x)-(f_j-f_k)(x_0)}{x-x_0}=(f’_j-f’_k)(\xi_x)$$

Entonces
$$(f_j-f_k)(x)-(f_j-f_k)(x_0)=((f’_j-f’_k)(\xi_x))(x-x_0)$$
Y si desarrollamos vemos que
$$f_j(x)-f_j(x_0)-f_k(x)+f_k(x_0)=(f’_j(\xi_x)-f’_k(\xi_x))(x-x_0)$$
Así
\begin{align*}
|f_j(x)-f_j(x_0)-f_k(x)+f_k(x_0)|&=|(f’_j(\xi_x)-f’_k(\xi_x))(x-x_0)| \\
& \leq \norm{f’_j-f’_k}_\infty |x-x_0|
\end{align*}

Dado que $(f’_n)_{n \in \mathbb{N}}$ converge uniformemente en $\mathcal{C}^0[a,b],$ para cada $\varepsilon >0$ existe $N_1 \in \mathbb{N}$ tal que para cada $x \in (a,b)$ y para cada $j,k \geq N_1:$

\begin{align*}
|f_j(x)-f_j(x_0)-f_k(x)+f_k(x_0)|& \leq \norm{f’_j-f’_k}_\infty |x-x_0| \\
& \leq \frac{\varepsilon}{3}|x-x_0|.
\end{align*}
Haciendo $j \to \infty$ se sigue que
$$|f(x)-f(x_0)-f_k(x)+f_k(x_0)|\leq \frac{\varepsilon}{3}|x-x_0|.$$

Por otro lado, como $(f’_n(x_0))_{n \in \mathbb{N}} \to g(x_0)$ existe $N_2 \in \mathbb{N}$ tal que para cada $k \geq N_1, \, |f’_k(x_0) – g(x_0)|< \frac{\varepsilon}{3}$

Sea $N= máx \{ N_1,N_2 \}.$ Existe $\delta >0$ tal que si $|x – x_0| < \delta$ entonces
$$\left| \frac{f_N(x)-f_N(x_0)}{x-x_0}-f’_N(x_0) \right| <\frac{\varepsilon}{3}.$$

Finalmente aplicamos la desigualdad de triángulo para concluir que
\begin{align*}
\left| \frac{f(x)-f(x_0)}{x-x_0}-g(x_0) \right| &\leq \left| \frac{f(x)-f(x_0)}{x-x_0} – \frac{f_N(x)-f_N(x_0)}{x-x_0} \right| + \left| \frac{f_N(x)-f_N(x_0)}{x-x_0}-f’_N(x_0) \right|+ |f’_N(x_0) – g(x_0)|\\
&\leq \frac{\varepsilon}{3}+\frac{\varepsilon}{3}+\frac{\varepsilon}{3}\\
&= \varepsilon
\end{align*}

Por lo tanto $f$ es diferenciable en $x_0$ y $f'(x_0)=g(x_0).$ Ya que las derivadas $f’_n$ son continuas y convergen uniformemente se sigue por lo visto en la entrada anterior que $f$ es continuamente diferenciable.

Hay un resultado más fuerte sobre convergencia uniforme y diferenciación. La prueba de este se omite pero puede consultarse en Apostol, T., Análisis Matemático (2a ed.). México: Editorial Reverté, 1996. Pag 278. Se enuncia como sigue:

Proposición: Para cada $n \in \mathbb{N}$ sea $f_n:(a,b) \to \mathbb{R}.$ Supongamos que para un punto $x_0 \in (a,b)$ la sucesión $(f_n(x_0))_{n \in \mathbb{N}}$ converge. Supongamos además que la sucesión de derivadas $(f’_n)_{n \in \mathbb{N}}$ converge uniformemente en $(a,b)$ a una función $g.$ Entonces la sucesión $(f_n)_{n \in \mathbb{N}}$ converge uniformemente en $(a,b)$ a una función $f$ derivable en $(a,b)$ y $f’=g.$

Más adelante…

Conoceremos la relación entre una sucesión de funciones integrables con su función límite. ¿Bajo qué condiciones será también integrable?

Tarea moral

  1. Resuelve las actividades que quedaron pendientes en los ejemplos de esta entrada.

Enlaces:

1 comentario en “Convergencia y diferenciación

Deja una respuesta

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *

Este sitio usa Akismet para reducir el spam. Aprende cómo se procesan los datos de tus comentarios.