Archivo de la etiqueta: Teorema de existencia y unicidad

Ecuaciones Diferenciales I: Teorema de existencia y unicidad para sistemas de ecuaciones diferenciales de primer orden

Por Omar González Franco

Tema optativo

El gran arquitecto parece ser un matemático; a aquellos que no saben matemáticas
les resulta realmente difícil sentir la profunda belleza de la naturaleza.
– Richard Feynman

Introducción

¡Hemos llegado al final de la unidad 3 del curso!.

Concluiremos presentando el teorema de existencia y unicidad para sistemas de ecuaciones diferenciales de primer orden en el caso general.

En la primera entrada de esta unidad enunciamos el teorema de existencia y unicidad en el caso general, en esta entrada retomaremos dicho teorema con la diferencia de que lo adaptaremos a la notación vectorial que ya conocemos ya que esto tiene una enorme ventaja al momento de hacer la demostración.

La demostración de este teorema, al igual que el teorema de Picard – Lindelöf, requiere de una extensa teoría preliminar. En este caso no demostraremos dicha teoría preliminar, sólo la justificaremos ya que una enorme ventaja que tenemos es que mucho de los que vimos en la primer unidad se puede extender a los sistemas de ecuaciones diferenciales, así que lo que haremos será desarrollar esta extensión generalizando los resultados para así demostrar el teorema.

Se recomienda, si lo crees necesario, revisar las tres últimas entradas de la primera unidad para recordar la teoría previa a la demostración del teorema de Picard – Lindelöf, así como la demostración misma.

Comencemos por construir el enunciado del teorema.

Teorema de existencia y unicidad para sistemas de ecuaciones diferenciales

Como vimos en la primer entrada de esta unidad, un sistema de ecuaciones diferenciales de primer orden en su forma general es de la forma

$\begin{aligned} y_{1}^{'} (t) & = F_{1} (t, y_{1}, y_{2}, \dots, y_{n}) \\ y_{2}^{'} (t) & = F_{2} (t, y_{1}, y_{2}, \dots, y_{n}) \\ ⋮ \\ (1) & y_{n}^{'} (t) & = F_{n} (t, y_{1}, y_{2}, \dots, y_{n}) \end{aligned}$

Donde las $F_{i}$ , $i = 1, 2, 3, \dots, n$ son funciones con valores reales que dependen de las $n + 1$ variables en un intervalo $δ$ . Sabemos que

$\begin{matrix} (2) & Y (t) = (\begin{matrix} y_{1} (t) \\ y_{2} (t) \\ ⋮ \\ y_{n} (t) \end{matrix}) y Y^{'} (t) = (\begin{matrix} y_{1}^{'} (t) \\ y_{2}^{'} (t) \\ ⋮ \\ y_{n}^{'} (t) \end{matrix}) \end{matrix}$

Con ayuda de estos vectores podemos definir el vector

$\begin{matrix} (3) & F (t, Y (t)) = (\begin{matrix} F_{1} (t, y_{1}, y_{2}, \dots, y_{n}) \\ F_{2} (t, y_{1}, y_{2}, \dots, y_{n}) \\ ⋮ \\ F_{n} (t, y_{1}, y_{2}, \dots, y_{n}) \end{matrix}) \end{matrix}$

De manera que el sistema de ecuaciones diferenciales ( $1$ ) se puede escribir en forma vectorial como

$\begin{matrix} (4) & Y^{'} (t) = F (t, Y (t)) \end{matrix}$

Si el sistema de ecuaciones diferenciales ( $4$ ) esta sujeto a valores iniciales

$\begin{matrix} (5) & Y (t_{0}) = (\begin{matrix} y_{1} (t_{0}) \\ y_{2} (t_{0}) \\ ⋮ \\ y_{n} (t_{0}) \end{matrix}) = (\begin{matrix} b_{1} \\ b_{2} \\ ⋮ \\ b_{n} \end{matrix}) = Y_{0} \end{matrix}$

con $b_{i}$ , $i = 1, 2, \dots, n$ constantes, entonces tenemos un problema de valores iniciales (PVI).

Definamos, por otro lado, una región $U$ como el producto cartesiano

$\begin{matrix} (6) & δ \times δ_{1} \times δ_{2} \times δ_{3} \times \dots \times δ_{n} = U \in R^{n + 1} \end{matrix}$

en donde

$t_{0} \in δ, b_{1} \in δ_{1}, b_{2} \in δ_{2}, \dots, b_{n} \in δ_{n}$

de tal forma que $(t_{0}, b_{1}, b_{2}, \dots, b_{n}) \in U$ , es decir, $Y (t_{0}) = Y_{0} \in U$ .

Con estos resultados, el teorema de existencia y unicidad para sistemas de ecuaciones diferenciales de primer orden se puede enunciar de la siguiente forma.

Teorema: Sea el problema de valores iniciales

\begin{matrix} (7) & Y^{'} (t) = F (t, Y (t)), Y (t_{0}) = Y_{0} \end{matrix}

Con

t_{0} \in δ

. Supongamos que

\forall

i, j \in {1, 2, 3, \dots, n}

F_{i}

\frac{\partial F_{i}}{\partial y_{j}}

existen y son continuas en

(t, Y (t)) \in U

. Entonces existe un intervalo

| t - t_{0} | < h

, tal que existe una única solución

Y (t)

del problema de valores iniciales.

Este es el teorema que demostraremos.

Ecuación integral equivalente a un PVI

Como lo hicimos con el teorema de Picard – Lindelöf, es posible mostrar que el problema de valores iniciales ( $7$ ) es equivalente a una ecuación integral. El siguiente teorema establece este resultado.

Teorema: Sea

F (t, Y (t))

continua en un dominio

R \subseteq R^{n + 1}

que contenga a

(t_{0}, Y_{0})

, entonces

Y (t)

es solución del problema de valores iniciales (

7

) si y sólo si es solución de la ecuación integral

\begin{matrix} (8) & Y (t) = Y_{0} + \int_{t_{0}}^{t} F (s, Y (s)) d s \end{matrix}

La demostración es bastante similar a la que realizamos para el caso de ecuaciones diferenciales de primer orden. Intenta hacer la demostración. A continuación presentaremos una justificación que te puede ser de ayuda en tu demostración formal.

Justificación: Consideremos el sistema

$Y^{'} (t) = F (t, Y (t))$

Integremos de $t_{0}$ a $t$ .

$\begin{matrix} (9) & \int_{t_{0}}^{t} Y^{'} (s) d s = \int_{t_{0}}^{t} F (s, Y (s)) d s \end{matrix}$

Apliquemos el teorema fundamental del cálculo.

$\begin{matrix} (10) & Y (t) - Y (t_{0}) = \int_{t_{0}}^{t} F (s, Y (s)) d s \end{matrix}$

Como $Y (t_{0}) = Y_{0}$ , del resultado anterior se obtiene la ecuación integral ( $8$ )

$Y (t) = Y_{0} + \int_{t_{0}}^{t} F (s, Y (s)) d s$

Este es nuestro primer resultado generalizado. Lo siguiente que haremos será generalizar las iteraciones (o iterantes) de Picard.

Iterantes de Picard

Definición: Sea el problema de valores iniciales

Y^{'} (t) = F (t, Y (t)), Y (t_{0}) = Y_{0}

con solución única en alguna región

U

, dicha solución se puede construir de forma iterativa de acuerdo a la expresión

\begin{matrix} (11) & Y_{n} (t) = Y_{0} + \int_{t_{0}}^{t} F (s, Y_{n - 1} (s)) d s, n = 1, 2, 3, \dots \end{matrix}

En donde se define

Y_{0} (t) = Y_{0}

. Estas iteraciones son las llamadas iterantes de Picard.

En su forma desglosada las iterantes de Picard se pueden escribir como

$\begin{aligned} Y_{0} (t) & = Y_{0} \\ Y_{1} (t) & = Y_{0} + \int_{t_{0}}^{t} F (s, Y_{0} (s)) d s \\ Y_{2} (t) & = Y_{0} + \int_{t_{0}}^{t} F (s, Y_{1} (s)) d s \\ Y_{3} (t) & = Y_{0} + \int_{t_{0}}^{t} F (s, Y_{2} (s)) d s \\ ⋮ \\ (12) & Y_{n} (t) & = Y_{0} + \int_{t_{0}}^{t} F (s, Y_{n - 1} (s)) d s \end{aligned}$

Lo interesante de las iterantes de Picard es que, cumpliendo ciertas hipótesis, éstas convergen a la solución del PVI ( $7$ ). El siguiente teorema nos ayudará a mostrar este hecho.

Teorema: Sea

{Y_{n} (t)}

con

n \in N

, una sucesión de funciones que converge uniformemente a una función

Y (t)

en el intervalo

δ = [a, b]

y sea

F (t, Y (t))

una función continua en un dominio

U \subseteq R^{n + 1}

, tal que

\forall

t \in δ

\forall

n \in N

(t, Y_{n} (t)) \in U

, entonces

\begin{matrix} (13) & lim_{n \to \infty} \int_{a}^{b} F (t, Y_{n} (t)) d t = \int_{a}^{b} lim_{n \to \infty} F (t, Y_{n} (t)) d t = \int_{a}^{b} F (t, Y (t)) d t \end{matrix}

La demostración para el caso de ecuaciones de primer orden la hicimos como parte de la demostración del teorema de Picard – Lindelöf. Intenta generalizar dicha demostración.

Consideremos cierto este teorema, notemos lo siguiente.

Sea ${Y_{n} (t)}$ una sucesión de iteraciones de Picard que convergen uniformemente a una función $Y (t)$ en el intervalo $δ$ y sea $F (t, Y (t))$ una función continua en $U \subseteq R^{n + 1}$ , tal que $\forall$ $t \in δ$ y $\forall$ $n \in N$ , $(t, Y_{n} (t)) \in U$ , entonces

$\begin{aligned} Y (t) & = lim_{n \to \infty} Y_{n} (t) \\ = lim_{n \to \infty} (Y_{0} + \int_{t_{0}}^{t} F (s, Y_{n - 1} (s)) d s) \\ = Y_{0} + \int_{t_{0}}^{t} lim_{n \to \infty} F (s, Y_{n - 1} (s)) d s \end{aligned}$

Usando ( $13$ ) se obtiene la ecuación integral ( $8$ ).

$Y (t) = Y_{0} + \int_{t_{0}}^{t} F (s, Y (s)) d s$

Con este resultado mostramos que si se satisfacen las hipótesis del teorema anterior, entonces la función a la que convergen las iteraciones de Picard satisface la ecuación integral ( $8$ ), lo que es equivalente a que dicha función sea solución del PVI ( $7$ ).

Ahora bien, para que las iterantes de Picard converjan a la solución del PVI ( $7$ ) deben satisfacer las hipótesis del teorema anterior por lo que es necesario que exista un dominio $U$ en el que $(t, Y_{n} (t)) \in U$ y en el que la sucesión de iteraciones ${Y_{n} (t)}$ converja. Debemos encontrar este dominio, para hacerlo generalicemos algunos resultados más.

Funciones Lipschitzianas

Un primer resultado que usaremos es el siguiente.

Teorema: Supongamos que

F (t, Y (t))

es una función continua en una región

R \in R^{n + 1}

, tal que

| t - t_{0} | \leq a

‖ Y (t) - Y_{0} ‖ \leq b

y sea

I

un intervalo en

R

definido como

\begin{matrix} (14) & I = {t \in R : | t - t_{0} | < h} \end{matrix}

con

h \in R

, entonces

\exists

M > 0

, tal que

\forall

n \in N

\forall

t \in I

\begin{matrix} (15) & ‖ Y_{n} (t) - Y_{0} ‖ \leq M | t - t_{0} | \end{matrix}

En este teorema podemos describir a la región $R$ como

$\begin{matrix} (16) & R = {(t, Y (t)) \in R^{n + 1} : | t - t_{0} | \leq a, ‖ Y (t) - Y_{0} ‖ \leq b} \end{matrix}$

En esta región garantizamos que las iterantes de Picard están todas contenidas.

Un resultado más que necesitaremos tiene que ver con que $F (t, Y (t))$ sea una función lipschitziana respecto a la segunda variable. Recordando la definición que dimos para el caso de ecuaciones de primer orden, podemos definir una función lipschitziana como sigue.

Definición: Sean

U \in R^{n + 1}

F : U \in R^{n + 1} \to R^{n}

. Se dice que

F = F (t, Y (t))

es una función lipschitziana en

U

respecto de la segunda variable si existe una constante

L

, tal que

\begin{matrix} (17) & ‖ F (t, Y (t)) - F (t, Y_{0} (t)) ‖ \leq L ‖ Y (t) - Y_{0} (t) ‖ \end{matrix}

L

es la correspondiente constante de Lipschitz.

Un resultado sumamente útil para determinar si una función es lipschitziana es el siguiente.

Teorema: Sea

U

un dominio convexo y

F (t, Y (t))

una función tal que

\frac{\partial F}{\partial y_{i}}

i = 1, 2, \dots, n

existe en

U

‖ \frac{\partial F}{\partial Y} ‖ \leq L

, entonces

F

es una función lipschitziana respecto de la segunda variable en

U

Intenta generalizar la demostración.

Una herramienta más que necesitamos generalizar es el criterio mayorante de Weierstrass.

Criterio mayorante de Weierstrass: Sea

{Y_{n} (t)}

n \in N

, una sucesión de funciones. Supongamos que para cada

{Y_{n} (t)}

existe una constante positiva

M_{k}

, tal que:

‖ Y_{k} (t) ‖ \leq M_{k}

\forall

k \geq 1

\forall

t \in δ

La serie

\sum_{k = 0}^{\infty} M_{k}

converge.

Entonces la serie

\sum_{k = 0}^{\infty} Y_{k} (t)

converge uniformemente en

δ

a una función

Y (t)

Finalmente, recordemos el lema de Gronwall.

Lema de Gronwall: Sean

g : δ \subseteq R \to R

t_{0} \in δ

, tales que

\begin{matrix} (18) & 0 \leq g (t) \leq α + β \int_{t_{0}}^{t} g (s) d s \end{matrix}

\forall

t \in δ

con

α, β \geq 0

constantes, entonces

g (t) \leq α e^{β (t - t_{0})}

Este resultado no requiere de generalización, lo usaremos de esta forma.

Todo lo anterior corresponde a la teoría preliminar que debemos conocer para lograr demostrar el teorema de existencia y unicidad para sistemas de ecuaciones diferenciales de primer orden. Lo visto corresponde a una generalización de la teoría preliminar al teorema de Picard – Lindelöf, por lo que las demostraciones a los resultados de esta entrada serán prácticamente una generalización de las demostraciones vistas para el caso de ecuaciones de primer orden. De tarea moral intenta demostrar todos estos resultados para lograr convencerte del siguiente resultado.

Demostración del teorema de existencia y unicidad para sistemas de ecuaciones diferenciales de primer orden

Teorema: Sea el problema de valores iniciales

Y^{'} (t) = F (t, Y (t)), Y (t_{0}) = Y_{0}

Con

t_{0} \in δ

. Supongamos que

\forall

i, j \in {1, 2, 3, \dots, n}

F_{i}

\frac{\partial F_{i}}{\partial y_{j}}

existen y son continuas en

(t, Y (t)) \in U

. Entonces existe un intervalo

| t - t_{0} | < h

, tal que existe una única solución

Y (t)

del problema de valores iniciales.

Demostración: Comenzaremos por mostrar la existencia de la solución.

Consideremos las hipótesis del teorema y las dos primeras iteraciones de Picard $Y_{1} (t)$ y $Y_{0} (t)$ , sabemos que ambas son continuas en el intervalo $I$ definido en ( $14$ ), entonces existe $M > 0$ , tal que

$\begin{matrix} (19) & ‖ Y_{1} (t) - Y_{0} (t) ‖ \leq M \end{matrix}$

Queremos demostrar que la norma de la diferencia entre iterantes de Picard esta acotada, es decir, que $\forall$ $n \in N$ y $\forall$ $t \in I$ ,

$\begin{matrix} (20) & ‖ Y_{n} (t) - Y_{n - 1} (t) ‖ \leq M (\frac{(L | t - t_{0} |)^{n - 1}}{(n - 1)!}) \end{matrix}$

La prueba la haremos por inducción. El caso $n = 1$ ya lo vimos en ( $19$ ). Supongamos que es cierto para $n = k$ .

$\begin{matrix} (21) & ‖ Y_{k} (t) - Y_{k - 1} (t) ‖ \leq M \frac{(L | t - t_{0} |)^{k - 1}}{(k - 1)!} \end{matrix}$

Esta es nuestra hipótesis de inducción. Queremos probar que

$\begin{matrix} (22) & ‖ Y_{k + 1} (t) - Y_{k} (t) ‖ \leq M \frac{(L | t - t_{0} |)^{k}}{k!} \end{matrix}$

Usando la forma de la iteraciones de Picard ( $12$ ), notemos lo siguiente.

$\begin{aligned} ‖ Y_{k + 1} (t) - Y_{k} (t) ‖ & = ‖ (Y_{0} + \int_{t_{0}}^{t} F (s, Y_{k} (t)) d s) - (Y_{0} + \int_{t_{0}}^{t} F (s, Y_{k - 1} (s)) d s) ‖ \\ = ‖ \int_{t_{0}}^{t} F (s, Y_{k} (t)) - F (s, Y_{k - 1} (s)) d s ‖ \\ \leq \int_{t_{0}}^{t} ‖ F (s, Y_{k} (s)) - F (s, Y_{k - 1} (s)) ‖ d s \end{aligned}$

Como $F$ es lipschitziana con respecto de la segunda variable, entonces se satisface ( $17$ ), de manera que

$\begin{matrix} (23) & \int_{t_{0}}^{t} ‖ F (s, Y_{k} (s)) - F (s, Y_{k - 1} (s)) ‖ d s \leq \int_{t_{0}}^{t} L ‖ Y_{k} (s) - Y_{k - 1} (s) ‖ d s \end{matrix}$

Así,

$\begin{aligned} ‖ Y_{k + 1} (t) - Y_{k} (t) ‖ & \leq \int_{t_{0}}^{t} L ‖ Y_{k} (s) - Y_{k - 1} (s) ‖ d s \\ = L \int_{t_{0}}^{t} ‖ Y_{k} (s) - Y_{k - 1} (s) ‖ d s \end{aligned}$

Usemos la hipótesis de inducción ( $21$ ).

$\begin{aligned} ‖ Y_{k + 1} (t) - Y_{k} (t) ‖ & \leq L \int_{t_{0}}^{t} M \frac{(L | s - t_{0} |)^{k - 1}}{(k - 1)!} d s \\ = \frac{M L^{k}}{(k - 1)!} \int_{t_{0}}^{t} | s - t_{0} |^{k - 1} d s \\ = \frac{M L^{k}}{(k - 1)!} \frac{| t - t_{0} |^{k}}{k} \\ = M \frac{(L | t - t_{0} |)^{k}}{k!} \end{aligned}$

Esto es,

$‖ Y_{k + 1} (t) - Y_{k} (t) ‖ \leq M \frac{(L | t - t_{0} |)^{k}}{k!}$

Hemos obtenido ( $22$ ) que es lo que queríamos probar.

Como $| t - t_{0} | \leq h$ , observemos que

$\begin{matrix} (24) & M \frac{(L | t - t_{0} |)^{k}}{k!} \leq M \frac{(L h)^{k}}{k!} \end{matrix}$

y sabemos que

$\begin{matrix} (25) & \sum_{k = 0}^{\infty} M \frac{(L h)^{k}}{k!} = M e^{L h} \end{matrix}$

Como $M$ , $L$ y $h$ son valores fijos, entonces $M e^{L h}$ es una valor fijo lo que muestra que la serie

$\begin{matrix} (26) & \sum_{k = 0}^{\infty} M \frac{(L h)^{k}}{k!} < \infty \end{matrix}$

Es decir, la serie es convergente. Consideremos la sucesión de diferencias de iterantes de Picard consecutivas ${Y_{n} (t) - Y_{n - 1} (t)}$ , $n \in N$ . De los resultados anteriores sabemos que

$\begin{matrix} (27) & ‖ Y_{k} (t) - Y_{k - 1} (t) ‖ \leq M \frac{(L h)^{k - 1}}{(k - 1)!} \end{matrix}$

y como $\forall$ $t \in I$ ,

$\sum_{k = 1}^{\infty} M \frac{(L h)^{k - 1}}{(k - 1)!} = M e^{L h}$

entonces, por el criterio mayorante de Weierstrass, se tiene que

$\begin{matrix} (28) & \sum_{k = 1}^{\infty} (Y_{k} (t) - Y_{k - 1} (t)) < \infty \end{matrix}$

es decir, converge uniformemente en $I$ a una función, digamos $\hat{Y} (t)$ . Así

$\begin{matrix} (29) & Y_{0} + \sum_{k = 1}^{\infty} (Y_{k} (t) - Y_{k - 1} (t)) < \infty \end{matrix}$

también converge uniformemente en $I$ a una función, digamos $Y (t)$ . La sucesión de sumas parciales converge uniformemente en $I$ . Para $k = 1$ en ( $29$ ) se tiene la suma parcial $S_{1}$ como

$\begin{matrix} (30) & S_{1} = Y_{0} + [Y_{1} (t) - Y_{0} (t)] = Y_{1} (t) \end{matrix}$

Ya que $Y_{0} (t) = Y_{0}$ . Para $S_{2}$ , se tiene

$\begin{matrix} (31) & S_{2} = Y_{0} + [Y_{1} (t) - Y_{0} (t)] + [Y_{2} (t) - Y_{1} (t)] = Y_{2} (t) \end{matrix}$

Así sucesivamente obtendremos que

$\begin{matrix} (32) & S_{n} = Y_{n} (t) \end{matrix}$

Por lo tanto, la sucesión de iteraciones de Picard converge uniformemente en $I$ a una función $Y (t)$ , esto significa que $Y (t)$ es solución de la ecuación integral

$Y (t) = Y_{0} + \int_{t_{0}}^{t} F (s, Y (s)) d s$

y por lo tanto, $Y (t)$ es solución del problema de condición inicial.

Con esto queda demostrada la existencia de la solución del PVI. Concluyamos con la demostración de la unicidad.

Sea $Y (t)$ la solución del PVI ( $7$ ) y supongamos que existe otra función $Z (t)$ que también es solución del PVI, entonces

$Y (t) = Y_{0} + \int_{t_{0}}^{t} F (s, Y (s)) d s$

$\begin{matrix} (33) & Z (t) = Y_{0} + \int_{t_{0}}^{t} F (s, Z (s)) d s \end{matrix}$

Notemos lo siguiente.

$\begin{aligned} ‖ Y (t) - Z (t) ‖ & = ‖ \int_{t_{0}}^{t} F (s, Y (s)) - F (s, Z (s)) d s ‖ \\ \leq \int_{t_{0}}^{t} ‖ F (s, Y (s)) - F (s, Z (s)) ‖ d s \\ \leq L \int_{t_{0}}^{t} ‖ Y (s) - Z (s) ‖ d s \end{aligned}$

En donde se ha aplicado nuevamente la propiedad de $F$ de ser lipschitziana con respecto de la segunda variable.

Definamos la función escalar

$g (t) = ‖ Y (t) - Z (t) ‖$

Entonces el resultado anterior se puede escribir como

$\begin{matrix} (34) & g (t) \leq L \int_{t_{0}}^{t} g (s) d s \end{matrix}$

Notemos que esta expresión se parece a la desigualdad ( $18$ ) del lema de Gronwall con $α = 0$ y $β = L$ . Usando este lema, se obtiene

$\begin{matrix} (35) & 0 < g (t) = ‖ Y (t) - Z (t) ‖ \leq 0 e^{L (t - t_{0})} = 0 \end{matrix}$

De donde necesariamente debe ocurrir que

$\begin{matrix} (36) & ‖ Y (t) - Z (t) ‖ = 0 \end{matrix}$

Por lo tanto, ambas funciones tienen que ser iguales.

$\begin{matrix} (37) & Y (t) = Z (t) \end{matrix}$

Y es así como queda demostrada la unicidad de la solución. Y, por lo tanto, queda demostrado el teorema.

Con esto concluimos la tercera unidad del curso.

Tarea moral

Los siguientes ejercicios no forman parte de la evaluación del curso, pero servirán para entender mucho mejor los conceptos vistos en esta entrada, así como temas posteriores.

Demostrar formalmente los teoremas vistos en la teoría preliminar de esta entrada.
Puedes guiarte de las demostraciones hechas en la primera unidad generalizando los resultados.

Más adelante…

Hemos concluido con la unidad 3 del curso.

La siguiente y última unidad del curso será un complemento de esta unidad 3, ya que hemos estudiado a los sistemas de ecuaciones diferenciales de primer orden desde una perspectiva analítica y es posible construir toda una teoría geométrica y cualitativa de estos mismos sistemas.

En la siguiente unidad estudiaremos la teoría cualitativa de las ecuaciones diferenciales.

Entradas relacionadas

Página principal del curso: Ecuaciones Diferenciales I
Entrada anterior del curso: Teorema de existencia y unicidad para sistemas lineales
Siguiente entrada del curso: Introducción a la teoría cualitativa de las ecuaciones diferenciales

Video relacionado al tema: Teorema de existencia y unicidad para sistemas de ecuaciones de primer orden

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104522 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 2»

Ecuaciones Diferenciales I: Teorema de existencia y unicidad para sistemas lineales

Por Omar González Franco

Deja un comentario

Tema optativo

El estudio profundo de la naturaleza es la fuente
más fértil de descubrimientos matemáticos.
– Fourier

Introducción

Nos estamos acercando al final de la unidad 3 del curso.

En esta unidad estudiamos los sistemas lineales de primer orden con coeficientes constantes tanto homogéneos como no homogéneos, es por ello que en esta entrada demostraremos los teoremas de existencia y unicidad para estos sistemas lineales en particular.

Es interesante la enorme utilidad que tiene definir la exponencial de una matriz, este concepto nos ha permitido desarrollar distintos métodos de resolución y no solo ello, ahora nos permitirá demostrar estos teoremas de existencia y unicidad.

Comencemos con el caso homogéneo.

Teorema de existencia y unicidad para sistemas lineales homogéneos

Recordemos que estamos estudiando sistemas lineales homogéneo con coeficientes constantes, es decir, la matriz $A$ es de la forma

$Label '1' multiply defined$

con $a_{i j}$ , $i, j \in {1, 2, 3, \dots, n}$ constantes.

Teorema: Sea el problema con valores iniciales

Label '2' multiply defined

Con

t_{0} \in R

, entonces existe una única solución a este problema y está dada por

Label '3' multiply defined

Demostración: Recordemos que ya demostramos que la función ( $3$ ) es solución del sistema homogéneo para el caso $t_{0} = 0$ , lo mismo podemos hacer para cualquier $t_{0}$ , con ello estaremos mostrando la existencia. Consideremos la función ( $3$ ).

$Y (t) = e^{(t - t_{0}) A} Y_{0}$

Con $t_{0} \in R$ . La derivada de esta función vectorial es

$Y^{'} = A e^{(t - t_{0}) A} Y_{0} = A (e^{(t - t_{0}) A} Y_{0}) = AY$

Esto muestra que es solución del sistema, veamos que efectivamente satisface los valores iniciales evaluando en $t_{0}$ .

$Y (t_{0}) = e^{(t_{0} - t_{0}) A} Y_{0} = e^{0} Y_{0} = I \cdot Y_{0} = Y_{0}$

Con esto queda demostrado que la función $Y (t) = e^{(t - t_{0}) A} Y_{0}$ es solución del problema con valores iniciales, es decir, existe.

Para demostrar la unicidad supongamos que $X (t)$ es otra solución del problema de valores iniciales. Consideremos una función derivable dada de la siguiente forma.

$Label '4' multiply defined$

Si derivamos esta función obtenemos lo siguiente.

$Label '5' multiply defined$

Como $X$ es solución del sistema, entonces se satisface que $X^{'} = AX$ . Sustituimos en la ecuación anterior.

$\begin{aligned} Z^{'} & = - A e^{- (t - t_{0}) A} X + e^{- (t - t_{0}) A} (AX) \\ = - A e^{- (t - t_{0}) A} X + (e^{- (t - t_{0}) A} A) X \\ = - A e^{- (t - t_{0}) A} X + A e^{- (t - t_{0}) A} X \\ = 0 \end{aligned}$

En donde hemos hecho uso de la propiedad

$Label '6' multiply defined$

Justifica este hecho.

El calculo anterior muestra que $Z^{'} (t) = 0$ , esto implica que $Z (t)$ es una matriz constante. Evaluemos $t_{0}$ en ( $4$ ).

$Z (t_{0}) = e^{- (t_{0} - t_{0}) A} X (t_{0})$

Como $X$ satisface el problema de valores iniciales, entonces $X (t_{0}) = Y_{0}$ . Sustituimos en el resultado anterior.

$Label '7' multiply defined$

Hemos probado que $Z$ es una matriz constante y que $Z (t_{0}) = Y_{0}$ , entonces

$Label '8' multiply defined$

para todo $t \in R$ . Sustituyendo ( $4$ ) en ( $8$ ), se tiene

$Label '9' multiply defined$

Multipliquemos $e^{(t - t_{0}) A}$ en ambos lados de esta ecuación por el lado izquierdo.

$Label '10' multiply defined$

Por un lado,

$Label '11' multiply defined$

Por otro lado, de ( $3$ ) se tiene que

$Label '12' multiply defined$

Entonces ( $10$ ) queda como

$Label '13' multiply defined$

Es decir, la solución es única.

Con este teorema queda justificado el método de valores y vectores propios que presentamos en esta unidad para resolver sistemas lineales homogéneos con coeficientes constantes.

Ahora demostremos el teorema de existencia y unicidad para el caso no homogéneo.

Teorema de existencia y unicidad para sistemas lineales no homogéneos

Teorema: Sea el problema de valores iniciales

Label '14' multiply defined

Con

t_{0} \in R

, entonces existe una única solución a este problema y esta dada por

Label '15' multiply defined

Demostración: Sea $Y (t)$ una función arbitraría definida en un intervalo común $δ$ que es solución del problema de valores iniciales ( $14$ ), entonces

$Label '16' multiply defined$

$Label '17' multiply defined$

Multipliquemos ambos lados de la ecuación ( $16$ ) por $e^{- t A}$ por el lado izquierdo.

$Label '18' multiply defined$

Notemos que

$Label '19' multiply defined$

Entonces el resultado ( $18$ ) se puede escribir como

$Label '20' multiply defined$

Integremos de $t_{0}$ a $t$ y usemos el teorema fundamental del cálculo.

$Label '21' multiply defined$

Multipliquemos ambos lados de esta ecuación por $e^{t A}$ por el lado izquierdo y sustituyamos los valores iniciales ( $17$ ).

$\begin{aligned} e^{t A} e^{- t A} Y (t) - e^{t A} e^{- t_{0} A} Y_{0} & = e^{t A} \int_{t_{0}}^{t} e^{- s A} G (s) d s \\ Y (t) - e^{(t - t_{0}) A} Y_{0} & = e^{t A} \int_{t_{0}}^{t} e^{- s A} G (s) d s \end{aligned}$

Si despejamos a la función $Y (t)$ obtenemos finalmente que

$Label '22' multiply defined$

Como la función $Y (t)$ fue arbitraría, con el proceso realizado estamos mostrando tanto la existencia como la unicidad de esta solución.

Con este teorema queda justificado el método de variación de parámetros visto en la entada anterior.

Hemos concluido con esta entrada.

Tarea moral

Los siguientes ejercicios no forman parte de la evaluación del curso, pero servirán para entender mucho mejor los conceptos vistos en esta entrada, así como temas posteriores.

Resolver los siguientes problemas con valores iniciales.

$Y^{'} (t) = (\begin{matrix} 1 & 10 \\ 6 & - 3 \end{matrix}) Y (t), Y (0) = (\begin{matrix} 2 \\ 0 \end{matrix})$

$Y^{'} (t) = (\begin{matrix} 1 & 1 & 1 \\ 1 & 1 & 1 \\ - 2 & - 2 & - 2 \end{matrix}) Y (t), Y (0) = (\begin{matrix} 1 \\ - 4 \\ 6 \end{matrix})$

Resolver los siguientes problemas con valores iniciales.

$Y^{'} (t) = (\begin{matrix} 3 & - 1 \\ - 1 & 3 \end{matrix}) Y (t) + (\begin{matrix} 4 e^{2 t} \\ 4 e^{4 t} \end{matrix}), Y (0) = (\begin{matrix} 1 \\ 1 \end{matrix})$

$Y^{'} (t) = (\begin{matrix} 1 & - 1 \\ 1 & - 1 \end{matrix}) Y (t) + (\begin{matrix} 1 / t \\ 1 / t \end{matrix}), Y (1) = (\begin{matrix} 2 \\ - 1 \end{matrix})$

Más adelante…

En la siguiente y última entrada de esta unidad justificaremos el teorema de existencia y unicidad de los sistemas de ecuaciones diferenciales de primer orden lineales y no lineales. Es decir, el resultado general de los sistemas de ecuaciones diferenciales.

Entradas relacionadas

Página principal del curso: Ecuaciones Diferenciales I
Entrada anterior del curso: Sistemas lineales no homogéneos – Método de variación de parámetros
Siguiente entrada del curso: Teorema de existencia y unicidad para sistemas de ecuaciones diferenciales de primer orden

Video relacionado al tema: Teorema de existencia y unicidad para sistemas lineales de primer orden con coeficientes constantes

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104522 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 2»

Ecuaciones Diferenciales I – Videos: Teorema de existencia y unicidad para sistemas de ecuaciones de primer orden

Por Eduardo Vera Rosales

Deja un comentario

Introducción

Vamos a concluir la tercera unidad del curso revisando el teorema de existencia y unicidad para sistemas de ecuaciones de primer orden, en su forma general, es decir, para sistemas lineales y no lineales que satisfagan las hipótesis del teorema. Hasta el momento únicamente demostramos el teorema de existencia y unicidad para sistemas lineales con coeficientes constantes, pero es importante demostrar la versión general al igual que hicimos para las ecuaciones de primer orden.

Lo primero que veremos es que un sistema de ecuaciones de la forma $\begin{aligned} {\dot{x}}_{1} & = F_{1} (t, x_{1}, x_{2}, \dots, x_{n}) \\ {\dot{x}}_{2} & = F_{2} (t, x_{1}, x_{2}, \dots, x_{n}) \\ ⋮ \\ {\dot{x}}_{n} & = F_{n} (t, x_{1}, x_{2}, \dots, x_{n}) \end{aligned}$ se puede escribir en forma abreviada como sigue: $\dot{X} (t) = F (t, X (t))$ donde $F$ es el vector conformado por las funciones $F_{i}$ del sistema, con $i \in {1, \dots, n}$ . Si además agregamos la condición inicial $X (t_{0}) = Y$ , entonces podemos ver que el sistema se reduce a una expresión muy similar al problema de condición inicial $\frac{d y}{d t} = f (t, y (t)); y (t_{0}) = y_{0}$ salvo que ahora $X$ es una función que toma valores en $R^{n}$ , y $F$ es una función de $R^{n + 1}$ a $R^{n}$ .

Afortunadamente la mayoría de los lemas y teoremas que usamos para demostrar el teorema de existencia y unicidad para ecuaciones de primer orden se pueden extender a funciones de varias variables, por lo que la demostración será muy similar a la demostración de este último teorema.

Antes de iniciar te dejo la entrada correspondiente al teorema de existencia y unicidad de Picard, para que te familiarices con él y te sea más fácil ver los videos de esta entrada.

El teorema de existencia y unicidad para sistemas de ecuaciones de primer orden. Ecuación integral asociada

Enunciamos el teorema de existencia y unicidad para sistemas de ecuaciones de primer orden, analizamos las similitudes que existen con el teorema de existencia y unicidad de Picard, y vemos que resolver el problema de condición inicial es equivalente a resolver la ecuación integral $X (t) = Y + \int_{t_{0}}^{t} F (s, X (s)) d s .$

Demostración de la existencia de la solución al problema de condición inicial

Demostramos la existencia de una solución al problema de condición inicial estudiando bajo qué circunstancias converge uniformemente la sucesión de iteraciones de Picard del problema. En dado caso que esto último suceda, la función a la cual convergen las iteraciones será solución a la ecuación integral del video anterior.

Demostración de la unicidad de la solución al problema de condición inicial

Concluimos la demostración del teorema probando la unicidad de la solución al problema de condición inicial.

Tarea moral

Los siguientes ejercicios no forman parte de la evaluación del curso, pero te servirán para entender mucho mejor los conceptos vistos en esta entrada, así como temas posteriores.

Sea $F (t, X (t))$ continua en un dominio $E \subseteq R^{n + 1}$ que contenga a $(t_{0}, Y)$ . Demuestra que $X (t)$ es solución al problema de condición inicial $\dot{X} (t) = F (t, X (t)); X (t_{0}) = Y$ si y sólo si es solución a la ecuación integral $X (t) = Y + \int_{t_{0}}^{t} F (s, X (s)) d s .$

Considera el problema de condición inicial $\dot{X} = (\begin{matrix} 0 & 1 \\ 1 & 0 \end{matrix}) X + (\begin{matrix} t \\ t \end{matrix}); X (0) = (\begin{matrix} 1 \\ - 1 \end{matrix}) .$ Calcula las iteraciones de Picard correspondientes al problema. ¿Convergen a alguna función? En caso afirmativo, muestra que dicha función es solución al problema de condición inicial.

Supongamos que $F (t, X (t))$ es continua en $R := {(t, x_{1}, \dots, x_{n}) \in R^{n + 1} : | t - t_{0} | \leq a, ‖ X (t) - Y ‖ \leq b, a, b \in R} .$ Demuestra que existe $M > 0$ y $h \in R$ tal que $‖ X^{n} (t) - Y ‖ \leq M | t - t_{0} |, \forall n \in N, \forall t \in I_{h} \subseteq R .$ Recuerda que $X^{n} (t)$ es la $n$ -ésima iteración de Picard correspondientes al problema de condición inicial que estudiamos a lo largo de la entrada. (Hint: La prueba es similar al lema análogo que probamos en este video para el teorema de existencia y unicidad de Picard).

Consideremos el problema de condición inicial $a \frac{d^{2} y}{d t^{2}} + b \frac{d y}{d t} + c y = 0; y (t_{0}) = y_{0}; \frac{d y}{d t} (t_{0}) = y_{1}$ con $a, b, c$ constantes. ¿Si el sistema de ecuaciones asociado satisface el teorema de existencia y unicidad, entonces el problema de condición inicial original tiene una única solución?

Más adelante

Con este teorema finalizamos la tercera unidad del curso. En la cuarta unidad comenzaremos con la teoría cualitativa de los sistemas de ecuaciones de primer orden.

Veremos que los sistemas tienen puntos de equilibrio, los clasificaremos según su estabilidad. En virtud de esto vamos a analizar el comportamiento de las soluciones cerca de puntos de equilibrio y dibujaremos el plano fase de un sistema.

Abordaremos sistemas no lineales, y aunque no los resolveremos explícitamente, veremos el comportamiento de sus soluciones cerca de sus puntos de equilibrio.

Finalmente, veremos algunos sistemas que satisfacen propiedades interesantes, como los sistemas Hamiltonianos, los disipativos, entre otros.

Entradas relacionadas

Ir a Ecuaciones Diferenciales I
Entrada anterior del curso: Sistemas de ecuaciones lineales no homogéneas. Solución por variación de parámetros
Siguiente entrada del curso: Geometría de soluciones a sistemas de dos ecuaciones de primer orden. Plano fase y campo vectorial asociado

Notas escritas relacionadas con el tema: Teorema de existencia y unicidad para sistemas de ecuaciones diferenciales de primer orden

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104522 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 2»

Ecuaciones Diferenciales I – Videos: Teorema de existencia y unicidad para sistemas lineales de primer orden con coeficientes constantes

Por Eduardo Vera Rosales

Deja un comentario

Introducción

En la entrada anterior definimos la exponencial de una matriz $A$ de coeficientes constantes, denotada por $e^{A}$ , demostramos sus principales propiedades, y estudiamos la relación que guarda con el sistema lineal de ecuaciones $\dot{X} = A X$ y su matriz fundamental de soluciones. Con esta herramienta a nuestra disposición, podremos enunciar y demostrar el teorema de existencia y unicidad para sistemas lineales de primer orden con coeficientes constantes.

Como mencionamos en la entrada anterior, nuestra meta es tratar de generalizar la fórmula para soluciones a ecuaciones lineales de primer orden con condición inicial, la cual es de la forma $y (t) = e^{- \int p (t) d t} [\int e^{\int p (t) d t} q (t) + k_{0}]$ para cierta constante $k_{0}$ , y encontrar una solución al problema de condición inicial $\dot{X} = A X + Q; X (0) = C$ que se vea de la forma $X (t) = e^{- \int A (t) d t} [\int e^{\int A (t) d t} Q (t) + B] .$

El teorema de existencia y unicidad para sistemas lineales de primer orden nos garantiza la existencia de tal solución. Además, una vez que definimos la exponencial de una matriz, ya no nos sorprenderá la notación de la fórmula anterior. Dividiremos el teorema y su demostración en dos casos: para sistemas homogéneos y para sistemas no homogéneos.

Teorema de existencia y unicidad para sistemas lineales homogéneos de primer orden con coeficientes constantes

En el primer video demostramos el teorema de existencia y unicidad para sistemas lineales homogéneos de primer orden con coeficientes constantes.

Teorema de existencia y unicidad para sistemas lineales no homogéneos de primer orden con coeficientes constantes

En el segundo video demostramos el mismo teorema pero ahora para sistemas lineales no homogéneos de primer orden con coeficientes constantes.

Tarea moral

Los siguientes ejercicios no forman parte de la evaluación del curso, pero te servirán para entender mucho mejor los conceptos vistos en esta entrada, así como temas posteriores.

Encuentra la solución al problema de condición inicial: $\dot{X} = (\begin{matrix} 1 & 0 \\ 0 & 2 \end{matrix}) X; X (0) = (\begin{matrix} 1 \\ 0 \end{matrix}) .$

Encuentra la solución al problema de condición inicial: $\dot{X} = (\begin{matrix} 3 & 0 \\ 0 & 3 \end{matrix}) X; X (1) = (\begin{matrix} 2 \\ 2 \end{matrix}) .$

Encuentra la solución al problema de condición inicial: $\dot{X} = (\begin{matrix} 1 & 0 \\ 0 & 5 \end{matrix}) X + (\begin{matrix} t \\ 1 \end{matrix}); X (0) = (\begin{matrix} 1 \\ 0 \end{matrix}) .$

Encuentra la solución al problema de condición inicial: $\dot{X} = (\begin{matrix} 7 & 0 \\ 0 & 3 \end{matrix}) X + (\begin{matrix} t \\ t \end{matrix}); X (2) = (\begin{matrix} 0 \\ 2 \end{matrix}) .$

Más adelante

Una vez que hemos encontrado formas explícitas para las soluciones a sistemas lineales con coeficientes constantes $\dot{X} = A X + Q$ , debemos encontrar algún método para calcular eficientemente $e^{t A}$ , sin pasar por el complicado camino de calcular cada serie que conforma a la exponencial de $t A$ . El método que desarrollaremos es una aplicación de los eigenvalores y eigenvectores (o valores y vectores propios) que quizá hayas visto en cursos de álgebra lineal.

Es por eso que, aunque no estamos en un curso de álgebra lineal, haremos un alto en el camino y revisaremos de manera muy breve estos conceptos y demás herramientas que utilizaremos muy pronto. Iremos relacionando los conceptos con los temas que nos interesan, que son los de hallar una matriz fundamental de soluciones, la exponencial de una matriz, y por supuesto resolver sistemas lineales de primer orden.

Entradas relacionadas

Ir a Ecuaciones Diferenciales I
Entrada anterior del curso: La exponencial de una matriz
Siguiente entrada del curso: Valores y vectores propios, polinomio característico y la exponencial de una matriz

Notas escritas relacionadas con el tema: Teorema de existencia y unicidad para sistemas lineales

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104522 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 2»

Ecuaciones Diferenciales I: Demostración del Teorema de Existencia y Unicidad de Picard – Lindelöf

Por Omar González Franco

3 respuestas

Tema optativo

Si la gente no cree que las matemáticas son simples, es solo
porque no se dan cuenta de lo complicado que es la vida.
– John Louis von Neumann

Introducción

¡Hemos llegado al final de la primera unidad de este curso!.

Concluiremos con la demostración de uno de los teoremas más importantes dentro del campo de las ecuaciones diferenciales; el teorema de existencia y unicidad de Picard – Lindelöf. Pero antes, un poco de contexto histórico.

Este resultado fue estudiado y desarrollado entre los años 1820 y 1900 por Cauchy, Liouville, Lipschitz, Picard y Lindelöf. Entre 1820 y 1830 Cauchy probó que si $f = f (x, y)$ es una función continua y existe su derivada parcial $\frac{d f}{d y}$ continua en cierta región $U \subset R^{2}$ que contiene el punto $(x_{0}, y_{0})$ , entonces existe un intervalo $δ$ en el que un problema de valor inicial posee una única solución definida en $δ$ .

En 1838, Liouville simplificó la prueba de Cauchy introduciendo el método de las aproximaciones sucesivas, que más tarde continuarían siendo desarrolladas por Picard y que se conocerían como iterantes de Picard.

En 1876, Lipschitz mejoraría el resultado de Cauchy, sustituyendo la condición de que exista la derivada continua de $f$ por una menos fuerte, conocida como condición de Lipschitz.

Posteriormente, todo lo anterior fue ligeramente mejorado y generalizado por Picard (1890) y Lindelöf (1893), siguiendo las mismas ideas dadas por Liouville y Lipschitz.

Actualmente el método y los resultados se les atribuyen a Picard conociéndose como método de las iterantes de Picard y teorema de Picard (o más generalmente, teorema de Picard – Lindelöf).

En las dos últimas entradas hemos presentado una teoría preliminar con todas las herramientas necesarias para demostrar el teorema de Picard – Lindelöf, sin más, demostremos el teorema.

Teorema de existencia y unicidad de Picard – Lindelöf

El resultado global del teorema de existencia y unicidad de Picard – Lindelöf es el siguiente.

Teorema: Supongamos que se cumplen las siguientes tres hipótesis:

U = [a, b] \times R

, donde

[a, b]

es un intervalo compacto en

R

f : U \to R

es continua en

U

, y

f

es lipschitziana en

U

respecto de la segunda variable.

En esta situación, para cada

(x_{0}, y_{0}) \in U

, el problema de valores iniciales (PVI)

Label '1' multiply defined

posee una única solución definida en el intervalo

[a, b]

.

Además, las iterantes de Picard

y_{n} : [a, b] \to R

asociadas al PVI (

1

), dadas por

\begin{array}{r} y_{n} (x) = y_{0} + \int_{x_{0}}^{x} f (t, y_{n - 1} (t)) d t n = 1, 2, 3, \dots y_{0} = y_{0} (x) \end{array}

convergen uniformemente en el intervalo

[a, b]

hacia la solución del PVI.

Demostración del teorema de Picard – Lindelöf

Sea $δ = [a, b]$ . Como cualquier función $y : δ \to R$ tiene su gráfica en $U$ y por hipótesis $f$ es continua en $U$ , tenemos, como consecuencia del teorema sobre la ecuación integral, que $y : δ \to R$ es solución del PVI si y solo si $y (x)$ es una función continua en $δ$ y para cada $x \in δ$ verifica la ecuación integral

$Label '2' multiply defined$

Necesitamos probar que esta ecuación integral sólo posee una solución continua. Para ello, al ser $U$ una banda vertical, podemos definir sin problema alguno las iterantes de Picard $y_{n} : δ \to R$ , las cuales son funciones continuas que verifican $y_{n} (x_{0}) = y_{0}$ .

La demostración la dividiremos en tres secciones:

Primero probaremos que la sucesión de iterantes ${y_{n}}$ converge uniformemente en el intervalo $δ$ hacia una función continua $y : δ \to R$ .
Posteriormente comprobaremos que esta función $y : δ \to R$ verifica la ecuación integral ( $2$ ) y, por tanto, es solución del PVI.
Finalmente probaremos que el PVI no posee otra solución distinta de $y : δ \to R$ .

Con los primeros dos puntos estaremos demostrando la existencia de una solución al problema de valor inicial y con el tercer punto estaremos demostrando la unicidad. Es importante mencionar que en cada uno de los tres puntos anteriores, aparte de la continuidad de $f$ , haremos uso de manera esencial de la condición de Lipschitz de $f$ respecto de la segunda variable.

$Label '3' multiply defined$

para cada par de puntos $(x, y_{1}), (x, y_{2}) \in U$ . Con $L$ la constante de Lipschitz para $f$ en $U$ .

Así mismo, en el primer punto utilizaremos de forma esencial que la convergencia de las iterantes es uniforme, pues no basta con la convergencia puntual.

Demostremos el primer punto.

Convergencia uniforme de las iterantes de Picard.

Para probar que la sucesión de iterantes ${y_{n}}$ converge uniformemente en el intervalo $δ$ es conveniente expresarlas de la siguiente forma.

$Label '4' multiply defined$

Desglosa la serie anterior para que verifiques la equivalencia.

Fijado $x \in δ$ es evidente que la sucesión numérica ${y_{n} (x)}$ es convergente en $R$ si y sólo si la serie numérica $\sum_{m = 1}^{\infty} (y_{m} (x) - y_{m - 1} (x))$ es convergente, para lo cual es suficiente con la convergencia absoluta de la serie para cada $x \in δ$ , es decir

$Label '5' multiply defined$

Si la serie ( $5$ ) fuese convergente para cada $x \in δ$ , entonces se tendría que la sucesión de iterantes converge puntualmente en $δ$ , sin embargo no es suficiente con la convergencia puntual; necesitamos algo más fuerte, como lo es la convergencia uniforme.

Para probar que la serie funcional $\sum_{m = 1}^{\infty} (y_{m} (x) - y_{m - 1} (x))$ converge uniformemente en $δ$ y, por tanto, la sucesión de iterantes, vamos a usar el criterio mayorante de Weierstrass para lo cual necesitamos probar que existen unas constantes $M_{m} \in R^{+}$ , tales que

$Label '6' multiply defined$

para cada $x \in δ$ , cada $m = 1, 2, 3 \dots$ , y $\sum_{m = 1}^{\infty} M_{m} < \infty$ .

Vamos a comenzar con los casos $m = 1$ y $m = 2$ , es decir, vamos a hallar las constantes $M_{1}$ y $M_{2}$ , tales que

$| y_{1} (x) - y_{0} (x) | \leq M_{1} y | y_{2} (x) - y_{1} (x) | \leq M_{2}$

y con estos resultados intentaremos encontrar una relación de recurrencia para las constantes $M_{m}$ para luego corroborar que $\sum_{m = 1}^{\infty} M_{m} < \infty$ y de esta manera probar la convergencia ( $5$ ).

Partiendo de la ecuación de las iterantes de Picard

$Label '7' multiply defined$

las primeras iterantes son

$y_{1} (x) = y_{0} (x) + \int_{x_{0}}^{x} f (t, y_{0} (t)) d t y y_{2} (x) = y_{0} (x) + \int_{x_{0}}^{x} f (t, y_{1} (t)) d t$

de donde,

$| y_{1} (x) - y_{0} (x) | = | \int_{x_{0}}^{x} f (t, y_{0}) d t |$

$| y_{2} (x) - y_{1} (x) | = | \int_{x_{0}}^{x} f (t, y_{1} (t)) - f (t, y_{0} (t)) d t |$

Al momento de estimar $| y_{1} (x) - y_{0} (x) |$ necesitamos hacer la siguiente consideración. La función $f$ es continua en $U$ y, por tanto, la función

$g : δ \to R; x \to g (x) = f (x, y_{0} (x))$

es continua en $δ$ . Como $δ$ es compacto, la función $g (x)$ está acotada en $δ$ , es decir, existe una constante $H > 0$ , tal que

$| g (x) | = | f (x, y_{0} (x)) | \leq H$

para cada $x \in δ$ y, por tanto, se verifica lo siguiente.

$\begin{aligned} | y_{1} (x) - y_{0} (x) | & = | \int_{x_{0}}^{x} f (t, y_{0} (t)) d t | \\ \leq \int_{x_{0}}^{x} | f (t, y_{0} (t)) | d t \\ \leq \int_{x_{0}}^{x} H d t \\ = H | x - x_{0} | \end{aligned}$

esto es,

$Label '8' multiply defined$

Si consideramos todo el intervalo $δ = [a, b]$ podríamos obtener finalmente la estimación

$Label '9' multiply defined$

Para poder estimar adecuadamente $| y_{2} (x) - y_{1} (x) |$ consideremos el resultado ( $8$ ), además de las siguientes dos desigualdades.

$Label '10' multiply defined$

y la condición de Lipschitz

$Label '11' multiply defined$

Supongamos que $x > x_{0}$ . Usando ( $10$ ) y ( $11$ ), además del resultado ( $8$ ), se tiene

$\begin{aligned} | y_{2} (x) - y_{1} (x) | & \leq \int_{x_{0}}^{x} | f (t, y_{1} (t)) - f (t, y_{0} (t)) | d t \\ \leq \int_{x_{0}}^{x} L | y_{1} (t) - y_{0} (t) | d t \\ \leq L H \int_{x_{0}}^{x} | t - x_{0} | d t \\ = L H \int_{x_{0}}^{x} (t - x_{0}) d t \\ = L H \frac{(x - x_{0})^{2}}{2} \end{aligned}$

Por otro lado, para $x < x_{0}$ , se tiene

$\begin{aligned} | y_{2} (x) - y_{1} (x) | & \leq \int_{x}^{x_{0}} | f (t, y_{1} (t)) - f (t, y_{0} (t)) | d t \\ \leq L \int_{x}^{x_{0}} | y_{1} (t) - y_{0} (t) | d t \\ \leq L H \int_{x}^{x_{0}} | t - x_{0} | d t \\ = L H \int_{x}^{x_{0}} (x_{0} - t) d t \\ = L H \frac{(x_{0} - x)^{2}}{2} \end{aligned}$

De ambos resultados, podemos afirmar que para cada $x \in δ$

$Label '12' multiply defined$

La desigualdad ( $8$ ) la podemos escribir de forma similar a ( $12$ ) de la siguiente forma.

$| y_{1} (x) - y_{0} (x) | \leq H L^{0} \frac{| x - x_{0} |^{1}}{1!}$

De estas dos relaciones establecemos una relación de recurrencia que vamos a probar por inducción sobre $m$ . Proponemos que para cada $m = 1, 2, 3, \dots$ , y para cada $x \in δ$ , se cumple

$Label '13' multiply defined$

La desigualdad ha sido probada anteriormente para $m = 1$ y $m = 2$ . Supongamos que es cierta para $m$ y vamos a probar que es válida para $m + 1$ siguiendo el mismo razonamiento que en la obtención del caso $m = 2$ . Vamos a mostrar el caso $x > x_{0}$ , pero la prueba es similar para el caso $x < x_{0}$ .

Si $x > x_{0}$ , se tiene

$\begin{aligned} | y_{m + 1} (x) - y_{m} (x) | & \leq \int_{x_{0}}^{x} | f (t, y_{m} (t)) - f (t, y_{m - 1} (t)) | d t \\ \leq L \int_{x_{0}}^{x} | y_{m} (t) - y_{m - 1} (t) | d t \\ \leq \frac{H L^{m}}{m!} \int_{x_{0}}^{x} (t - x_{0})^{m} d t \\ = H L^{m} \frac{(x - x_{0})^{m + 1}}{(m + 1)!} \end{aligned}$

De forma similar, si $x < x_{0}$ , se tiene

$| y_{m + 1} (x) - y_{m} (x) | \leq H L^{m} \frac{(x_{0} - x)^{m + 1}}{(m + 1)!}$

De ambos resultados concluimos que

$| y_{m + 1} (x) - y_{m} (x) | \leq H L^{m} \frac{| x - x_{0} |^{m + 1}}{(m + 1)!}$

Es Importante hacer énfasis que en este desarrollo ha sido fundamental que las iterantes ${y_{n}}$ tengan sus gráficas en una región $U$ donde $f$ es lipschitziana.

De lo obtenido anteriormente, y considerando el intervalo completo $δ = [a, b]$ , obtenemos finalmente la siguiente desigualdad.

$Label '14' multiply defined$

para cada $x \in δ$ y cada $m = 1, 2, 3, \dots$ . Como el intervalo $δ$ es acotado, entonces $M_{m} \in R^{+}$ y sabemos que

$Label '15' multiply defined$

En definitiva,

$\sum_{m = 1}^{\infty} M_{m} < \infty$

es decir la serie es convergente. Con esto queda probada la condición ( $5$ ) y debido a que la prueba se hizo utilizando el criterio mayorante de Weierstrass concluimos que se trata de una convergencia uniforme de las iterantes de Picard en el intervalo $δ$ hacia una función $y : δ \to R$ .

Es bien conocido que si una sucesión $y_{n} : δ \to R$ , $n = 1, 2, 3, \dots$ , de funciones continuas sobre $δ$ que convergen uniformemente en $δ$ hacia una función $y : δ \to R$ , la función límite uniforme $y$ también es continua en $δ$ .

Queda así demostrado el primer punto de la prueba. Ahora verifiquemos que la función límite uniforme $y : δ \to R$ verifica la ecuación integral ( $2$ ) siendo la solución al problema de valor inicial.

La existencia de la solución.

Sea $y : δ \to R$ la función obtenida anteriormente como límite uniforme de las iterantes de Picard ${y_{n}}$ . La convergencia uniforme de ${y_{n}}$ hacia $y (x)$ en el intervalo $δ$ significa que dado cualquier $\hat{ε} > 0$ existe un natural $N = N (\hat{ε})$ , tal que para cada $n > N$ y cada $x \in δ$

$Label '16' multiply defined$

Sabemos que la convergencia uniforme implica la convergencia puntual (pero no al revés), de manera que para cada $x \in δ$ se cumple que

$Label '17' multiply defined$

Fijemos un $x \in δ$ . De acuerdo a ( $17$ ) y usando ( $7$ ), se tiene

$y (x) = lim_{n \to \infty} y_{n + 1} (x) = y_{0} + lim_{n \to \infty} \int_{x_{0}}^{x} f (t, y_{n} (t)) d t$

Por otro lado, sabemos que la función solución que satisface el PVI satisface también la ecuación integral ( $2$ ),

$y (x) = y_{0} + \int_{x_{0}}^{x} f (t, y (t)) d t$

Nuestro objetivo es probar que

$Label '18' multiply defined$

Pues de esta forma la función límite uniforme $y$ verificaría la ecuación integral y, por tanto sería solución del PVI en el intervalo $δ$ , quedando así probada la existencia de la solución.

Demostrar la relación ( $18$ ) es equivalente a probar que $\forall ε > 0$ existe $N = N (ε) \in N$ , tal que para cada $n > N$ y cada $x \in δ$

$Label '19' multiply defined$

Para probar la relación ( $19$ ) de nuevo haremos uso de la condición de Lipschitz ( $3$ ) y de la convergencia uniforme de las iterantes hacia $y$ en $δ$ ( $16$ ).

$\begin{aligned} | \int_{x_{0}}^{x} f (t, y_{n} (t)) d t - \int_{x_{0}}^{x} f (t, y (t)) d t | & \leq \int_{x_{0}}^{x} | f (t, y_{n} (t)) - f (t, y (t)) | d t \\ \leq \int_{a}^{b} | f (t, y_{n} (t)) - f (t, y (t)) | d t \\ \leq L \int_{a}^{b} | y_{n} (t) - y (t) | d t \end{aligned}$

Dado $ε > 0$ , definimos

$Label '20' multiply defined$

Con esto, la desigualdad ( $16$ ) se puede escribir como

$Label '21' multiply defined$

Usando esta desigualdad notamos que, para cada $n > N$ y cada $x \in δ$

$\begin{aligned} | \int_{x_{0}}^{x} f (t, y_{n} (t)) d t - \int_{x_{0}}^{x} f (t, y (t)) d t | & \leq L \int_{a}^{b} | y_{n} (t) - y (t) | d t \\ \leq \frac{L}{L (b - a)} \int_{a}^{b} ε d t \\ = \frac{L}{L (b - a)} ε (b - a) \\ = ε \end{aligned}$

Por lo tanto, $\forall ε > 0$ existe $N = N (ε) \in N$ , tal que para cada $n > N$ y cada $x \in δ$

$| \int_{x_{0}}^{x} f (t, y_{n} (t)) d t - \int_{x_{0}}^{x} f (t, y (t)) d t | < ε$

lo que confirma la relación ( $18$ ) que es lo que queríamos demostrar. De esta forma queda demostrada la existencia de la solución $y : δ \to R$ para el problema de valor inicial. Finalmente demostremos la unicidad de esta solución.

Demostración de la unicidad.

Con los dos puntos anteriores estamos convencidos de la existencia de una solución $y : δ \to R$ que satisface el problema de valor inicial ( $1$ ), así como la ecuación integral ( $2$ ). La prueba de la unicidad se basa en la suposición de la existencia de otra solución $\hat{y} : δ \to R$ que igualmente cumple con los dos puntos anteriores y el objetivo será demostrar que $\hat{y} (x) = y (x)$ .

De tarea moral demostrarás que la solución $\hat{y} (x)$ es también una función límite uniforme de las mismas iterantes de Picard para cada $x \in δ$ , esto es

$Label '22' multiply defined$

o, lo que es equivalente, mostrar que

$Label '23' multiply defined$

y por la ecuación ( $17$ ) concluir que $\hat{y} (x) = y (x)$ .

En esta situación se procede de manera muy similar a la prueba del primer punto en el que debemos encontrar una relación de recurrencia que acote a la cantidad $| \hat{y} (x) - y_{n} (x) |$ para cada $x \in δ$ de la siguiente manera

$Label '24' multiply defined$

y si se prueba que

$lim_{n \to \infty} B_{n} = 0$

entonces quedará probada la relación ( $23$ ).

A continuación te damos algunos hints y resultados que deberás obtener a lo largo de tu demostración.

Estudia lo que sucede con $n = 1$ y $n = 2$ y con los resultados encuentra la relación de recurrencia general para cada $n \in N$ , para ello considera la máxima distancia entre $\hat{y}$ y $y_{0}$ , esto es

$A = max_{x \in δ} | \hat{y} - y_{0} |$

El máximo $A \in R^{+}$ esta asegurado gracias a la continuidad de la función $\hat{y}$ en el intervalo compacto $δ$ . Como la gráfica de la función $\hat{y} (x)$ está contenida en $U$ y $f = f (x, \hat{y})$ es una función lipschitziana, demuestra que para cada $x \in δ$

$Label '25' multiply defined$

Usando este resultado demuestra que

$Label '26' multiply defined$

Demuestra por inducción que en general, para cada $n = 1, 2, 3, \dots,$ y $x \in δ$

$Label '27' multiply defined$

Este resultado te permite concluir que para cada $x \in δ = [a, b]$

$Label '28' multiply defined$

Prueba que

$Label '29' multiply defined$

Así finalmente queda demostrada la relación ( $23$ ) y por lo tanto $\hat{y} (x) = y (x)$ para cada $x \in δ$ .

Realizar este ejercicio te servirá para consolidar mucho mejor lo que hemos realizado a lo largo de la demostración. Sin embargo, la demostración de la unicidad puede ser mucho más simple si aplicamos el lema de Gronwall. Demostremos la unicidad por esta opción.

Sean $y : δ \to R$ y $\hat{y} : δ \to R$ soluciones al PVI ( $1$ ) y la ecuación integral ( $2$ ).

$y (x) = y_{0} + \int_{x_{0}}^{x} f (t, y (t)) d t y \hat{y} (x) = y_{0} + \int_{x_{0}}^{x} f (t, \hat{y} (t)) d t$

Restemos las dos ecuaciones anteriores y consideramos su valor absoluto.

$\begin{aligned} | y (x) - \hat{y} (x) | & = | \int_{x_{0}}^{x} f (t, y (t)) d t - \int_{x_{0}}^{x} f (t, \hat{y} (t)) d t | \\ = | \int_{x_{0}}^{x} f (t, y (t)) - f (t, \hat{y} (t)) d t | \\ \leq \int_{x_{0}}^{x} | f (t, y (t)) - f (t, \hat{y} (t)) | d t \end{aligned}$

Como $f$ es una función lipschitziana respecto de la segunda variable, entonces

$\int_{x_{0}}^{x} | f (t, y (t)) - f (t, \hat{y} (t)) | d t \leq \int_{x_{0}}^{x} L | y (t) - \hat{y} (t) | d t = L \int_{x_{0}}^{x} | y (t) - \hat{y} (t) | d t$

es decir,

$Label '30' multiply defined$

Para que este resultado nos sea más familiar definamos lo siguiente.

$h (x) = | y (x) - \hat{y} (x) | y α = 0, β = L$

Usando esto reescribimos a la ecuación ( $30$ ) como

$Label '31' multiply defined$

Estamos en las condiciones del lema de Gronwall, pero en el caso especial en el que $α = 0$ , así que aplicando el corolario del lema de Gronwall podemos concluir que para cada $x \in δ$

$h (x) = | y (x) - \hat{y} (x) | = 0$

lo que significa que $\forall x \in δ$ , $y (x) = \hat{y} (x)$ , es decir, la solución al problema de valor inicial es única.

Con esto quedan demostrados los tres puntos de la prueba, por lo tanto concluimos que el problema de valor inicial ( $1$ ) posee una única solución en $δ = [a, b]$ y además, las iterantes de Picard asociadas al PVI convergen uniformemente en $δ$ hacia la solución $y : δ \to R$ del PVI.

¡Listo!. Hemos demostrado el teorema de existencia y unicidad de Picard – Lindelöf.

Apliquemos este resultado al caso de las ecuaciones diferenciales lineales.

Existencia y unicidad en ecuaciones lineales

Apliquemos el teorema de Picard – Lindelöf al caso de las ecuaciones diferenciales lineales de primer orden.

$Label '32' multiply defined$

Donde las funciones $P (x)$ y $Q (x)$ son continuas en un intervalo compacto $δ = [a, b]$ , $x_{0} \in δ$ y $y_{0} \in R$ .

En este caso $U = δ \times R$ y

$f (x, y) = P (x) y + Q (x)$

Notemos que se verifica lo siguiente:

$U$ es una banda vertical de base compacta, pues $δ$ es un intervalo compacto.

Como $P (x)$ y $Q (x)$ son continuas en $δ$ , entonces $f$ es continua en $U$ .

Como $P (x)$ es continua en el intervalo $δ$ y éste es compacto, entonces la función $P (x)$ es acotada, así que podemos fijar $L > 0$ , tal que $| P (x) | < L$ para todo $x \in δ$ . Considerando esto tenemos que

$\begin{aligned} | f (x, y_{1}) - f (x, y_{2}) | & = | (P (x) y_{1} + Q (x)) - (P (x) y_{2} + Q (x)) | \\ = | P (x) y_{1} - P (x) y_{2} | \\ = | P (x) | | y_{1} - y_{2} | \\ \leq L | y_{1} - y_{2} | \end{aligned}$

esto es

$Label '33' multiply defined$

para cada par de puntos $(x, y_{1}), (x, y_{2}) \in U$ es decir, $f$ es una función lipschitziana.

Por tanto, se cumplen las condiciones del teorema de existencia y unicidad global. En consecuencia ratificamos el resultado visto anteriormente en el que se asegura que cualquier problema de valor inicial asociado a una ecuación lineal posee solución única en el intervalo $δ$ . Además, ahora podemos afirmar que las iterantes de Picard asociadas convergen uniformemente hacia la solución del PVI.

Un resultado importante que debemos revisar es que si dos problemas de valor inicial tienen valores iniciales muy cercanos entre sí, entonces las soluciones a cada PVI serán funciones muy próximas. A esto le llamamos dependencia continua de las soluciones respecto a condiciones iniciales. Revisemos este resultado. En la demostración será de uso esencial el lema de Gronwall.

Dependencia continua de la condición inicial

Teorema: Sea

f = f (x, y)

una función continua en un rectángulo

R

de la forma

R = {(x, y) \in R ∣ | x - x_{0} | \leq a, | y - y_{0} | \leq b, a, b \in R}

siendo

f

una función lipschitziana respecto de la segunda variable en

R

. Si

y (x)

\hat{y} (x)

son soluciones a los problemas de condición inicial

\frac{d y}{d x} = f (x, y); y (x_{0}) = y_{0}

\frac{d \hat{y}}{d x} = f (x, \hat{y}); \hat{y} (x_{0}) = \hat{y_{0}}

respectivamente, entonces

Label '34' multiply defined

Demostración: Como $y (x)$ y $\hat{y} (x)$ son solución de sus respectivos PVI, entonces cada solución verifica una ecuación integral.

$y (x) = y_{0} + \int_{x_{0}}^{x} f (t, y (t)) d t y \hat{y} (x) = {\hat{y}}_{0} + \int_{x_{0}}^{x} f (t, \hat{y} (t)) d t$

Vemos que

$\begin{aligned} | y (x) - \hat{y} (x) | & = | y_{0} - {\hat{y}}_{0} + \int_{x_{0}}^{x} f (t, y (t)) d t - \int_{x_{0}}^{x} f (t, \hat{y} (t)) d t | \\ \leq | y_{0} - {\hat{y}}_{0} | + | \int_{x_{0}}^{x} f (t, y (t)) - f (t, \hat{y} (t)) d t | \\ \leq | y_{0} - {\hat{y}}_{0} | + \int_{x_{0}}^{x} | f (t, y (t)) - f (t, \hat{y} (t)) | d t \end{aligned}$

Sabemos que $f$ es una función lipschitziana respecto de la segunda variable en $R$ de manera que

$Label '35' multiply defined$

con $L$ la constante de Lipschitz para $f$ en $R$ . Entonces,

$Label '36' multiply defined$

Definamos

$0 < g (x) = | y (x) - \hat{y} (x) |, α = | y_{0} - {\hat{y}}_{0} | y β = L$

Con esto la desigualdad ( $36$ ) la podemos reescribir como

$0 < g (x) \leq α + β \int_{x_{0}}^{x} g (t) d t$

Ahora podemos aplicar el lema de Gronwall.

$g (x) \leq α e^{β (x - x_{0})}$

es decir,

$| y (x) - \hat{y} (x) | \leq | y_{0} - {\hat{y}}_{0} | e^{L (x - x_{0})}$

Que es lo que queríamos demostrar.

De este resultado observamos que si

$y_{0} \to {\hat{y}}_{0} \Rightarrow | y_{0} - {\hat{y}}_{0} | \to 0$

Entonces las soluciones de los PVI serán funciones muy próximas

$| y (x) - \hat{y} (x) | \to 0 \Rightarrow y (x) \to \hat{y} (x)$

Para concluir la entrada hagamos un breve comentario sobre el resultado local del teorema de Picard y realicemos unos ejemplos al respecto.

Teorema de existencia y unicidad local

Recordemos que el resultado local del teorema de existencia y unicidad de Picard – Lindelöf establece lo siguiente.

Teorema: Supongamos que se verifican las siguientes tres hipótesis:

R = {(x, y) \in R ∣ | x - x_{0} | \leq a, | y - y_{0} | \leq b, a, b \in R}

R \subset D

f : D \to R

es continua en

R

f

es lipschitziana en

R

respecto de la segunda variable.

En tal situación, para cada

(x_{0}, y_{0}) \in R

, el problema de valor inicial

Label '37' multiply defined

posee una única solución definida en el intervalo

δ = [x_{0} - h, x_{0} + h]

, donde

h = m i n {a, \frac{b}{M}} y M \geq max_{(x, y) \in R} | f (x, y) |

Además, las iterantes de Picard asociadas al PVI convergen uniformemente en el intervalo

δ

hacia la solución del PVI.

La demostración a este teorema corresponde a una adaptación de la demostración vista para el caso global, teniendo en cuenta que las gráficas de las iterantes de Picard, así como la de cualquier posible solución, definidas en el intervalo $δ = [x_{0} - h, x_{0} + h]$ , están dentro del rectángulo $R$ donde la función $f$ es continua y lipschitziana respecto de la segunda variable. Los pasos claves a seguir y las técnicas son prácticamente una repetición de lo visto anteriormente cambiando la banda vertical $U = [a, b] \times R$ por el rectángulo

$R = {(x, y) \in R ∣ | x - x_{0} | \leq a, | y - y_{0} | \leq b, a, b \in R}$

Para conocer sobre los detalles puedes revisar la demostración del teorema local en los videos de este mismo curso.

Finalmente, resolvamos algunos ejemplos.

Ejemplo: Mostrar que el problema de valor inicial

$\frac{d y}{d x} = \sin^{2} (x - y); y (0) = 0$

posee una única solución definida en $R$ .

Solución: En este caso tenemos la función $f : U = R \times R \to R$ definida como

$f (x, y) = \sin^{2} (x - y)$

Es claro que $f$ es continua en la región $U = R \times R$ . La función derivada parcial $\frac{\partial f}{\partial y} : U \to R$ está dada como

$\frac{\partial f}{\partial y} = - 2 \sin (x - y) \cos (x - y)$

Como

$| \sin (x - y) | \leq 1 y | \cos (x - y) | \leq 1$

para todo $(x, y) \in U$ , entonces

$| \frac{\partial f}{\partial y} (x, y) | \leq 2$

para todo $(x, y) \in U$ . En consecuencia $f$ es una función lipschitziana en $U$ respecto de la segunda variable. Con esto hemos probado que se satisfacen las hipótesis del teorema de existencia y unicidad global por lo que podemos asegurar que el PVI posee una única solución definida en $R$ .

Calcular las iterantes no siempre será sencillo. En el ejemplo anterior las iterantes pueden no ser fácil de desarrollar, pero debido a que satisface el teorema de Picard – Lindelöf podemos asegurar que dichas iterantes van a converger a la solución del PVI.

Ejemplo: Mostrar que aplicando el resultado global del teorema de Picard – Lindelöf al problema de valor inicial

$\frac{d y}{d x} = y^{2}; y (0) = 1$

no es posible asegurar la existencia y unicidad de la solución.

Solución: La función $f : U = R \times R \to R$ definida como

$f (x, y) = y^{2}$

es continua en $U = R \times R$ , sin embargo su derivada parcial

$\frac{\partial f}{\partial y} = 2 y$

no está acotada en $U$ por lo que $f$ no es una función lipschitziana en $U$ .

Una observación más es que la solución al PVI dada por

$y (x) = \frac{1}{1 - x}$

no está definida en $R$ si no en el intervalo $(- \infty, 1)$ .

En definitiva, como no se cumple la tercera condición del teorema global, entonces no podemos asegurar nada sobre la existencia y unicidad de la solución del PVI.

Veamos ahora la importancia del resultado local del teorema de existencia y unicidad de Picard – Lindelöf . Resolvamos de nuevo el ejemplo anterior, pero ahora considerando una región $R$ alrededor del punto dado por la condición inicial.

Ejemplo: Mostrar que aplicando el resultado local del teorema de Picard – Lindelöf, el problema de valor inicial

$\frac{d y}{d x} = y^{2}; y (0) = 1$

posee una única solución. Encontrar el intervalo de existencia y unicidad.

Solución: Es claro que la función

$f (x, y) = y^{2}$

es continua en $R^{2}$ por lo que $f$ será una función lipschitziana en cualquier conjunto $R$ convexo y compacto. Consideremos el rectángulo centrado en el valor inicial $(0, 1)$ de dimensiones $a = 2$ y $b = 1$ , es decir

$R = {(x, y) \in R ∣ | x | \leq 2, | y - 1 | \leq 1} = [- 2, 2] \times [0, 2]$

En la región $R$ la función $f$ si es lipschitziana y continua por lo que se satisfacen las condiciones del teorema local de existencia y unicidad de Picard. Este teorema nos dice que existe una única solución definida en el intervalo $δ = [x_{0} - h, x_{0} + h]$ donde

$h = min {a, \frac{b}{M}} y M \geq max_{(x, y) \in R} | f (x, y) |$

En este caso, como el máximo valor que puede tomar $y$ en el rectángulo $R$ es $y = 2$ , entonces

$M = max_{(x, y) \in R} | f (x, y) | = max_{(x, y) \in R} | y^{2} | = 4$

Usando este resultado, se tiene

$h = min {a, \frac{b}{M}} = min {2, \frac{1}{4}} = \frac{1}{4}$

Por lo tanto, podemos asegurar la existencia y unicidad de la solución del PVI en el intervalo

$δ = [x_{0} - h, x_{0} + h] = [- \frac{1}{4}, \frac{1}{4}]$

Además podemos asegurar que las iterantes de Picard convergen uniformemente en el intervalo $δ$ hacia la solución única del PVI. A saber, convergen a

$y (x) = \frac{1}{1 - x}$

Con esto concluimos la primera unidad del curso.

Tarea moral

Los siguientes ejercicios no forman parte de la evaluación del curso, pero servirán para entender mucho mejor los conceptos vistos en esta entrada, así como temas posteriores.

Completar la demostración de la unicidad de la solución a un problema de valor inicial que cumple con las hipótesis del teorema global de existencia y unicidad. Recuerda que el objetivo es demostrar que $lim_{n \to \infty} | \hat{y} (x) - y_{n} (x) | = 0$

Comprobar que el problema de valor inicial $\frac{d y}{d x} = \frac{y}{x}; y (0) = 0$ posee infinitas soluciones en cualquier intervalo $δ$ en el que $0 \in δ$ .
¿Porqué no contradice esto al teorema de existencia y unicidad local?.

Determinar, por el método de iterantes de Picard, la solución del siguiente problema de valor inicial: $\frac{d y}{d x} = 2 y (1 + x); y (- 1) = 1$

Comprobar que el mayor intervalo que proporciona el teorema local de existencia y unicidad de Picard para el problema de valor inicial $\frac{d y}{d x} = 1 + x^{2}; y (0) = 0$ donde se asegura la existencia y unicidad de la solución, es $δ = [- \frac{1}{2}, \frac{1}{2}]$ .

Más adelante…

Con la demostración del teorema de existencia y unicidad de Picard – Lindelöf justificamos la teoría realizada a lo largo de esta primera unidad.

En la siguiente entrada comenzaremos la unidad 2 del curso. En dicha unidad estudiaremos las ecuaciones diferenciales de orden mayor a uno, en particular estudiaremos con mayor detalle las ecuaciones diferenciales de segundo orden.

Entradas relacionadas

Página principal del curso: Ecuaciones Diferenciales I
Entrada anterior del curso: Teorema de Existencia y Unicidad – Iterantes de Picard y Convergencia
Siguiente entrada del curso: Ecuaciones diferenciales de orden superior

Video relacionado al tema: Teorema de Existencia y Unicidad de Picard

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104522 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 2»