Ecuaciones Diferenciales Ordinarias - Facultad de Ciencias
Ecuaciones Diferenciales Ordinarias - Facultad de Ciencias
Ecuaciones Diferenciales Ordinarias - Facultad de Ciencias
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
§ 2.4. Depen<strong>de</strong>ncia Continua <strong>de</strong> las Soluciones Respecto a Parámetros 29<br />
i ′ I′ I<br />
(i(0), i ′ (0))<br />
•<br />
(I(0), I(0)) •<br />
i<br />
Figura 2.6<br />
Este análisis nos permite concluir que no se pue<strong>de</strong> <strong>de</strong>spreciar la resistencia ejercida<br />
por la línea que conduce la corriente, por pequeña que sea, cuando t → +∞.<br />
En lo que sigue mostraremos que el problema <strong>de</strong> la <strong>de</strong>pen<strong>de</strong>ncia <strong>de</strong> las soluciones<br />
respecto a un parámetro, se reduce al estudio <strong>de</strong> la continuidad <strong>de</strong> las soluciones <strong>de</strong> un<br />
nuevo sistema <strong>de</strong> ecuaciones diferenciales equivalente al sistema original, respecto a los<br />
datos iniciales.<br />
[ x<br />
y =<br />
µ<br />
] [ f(t, x, µ)<br />
, F(t, y) =<br />
0<br />
]<br />
[ ]<br />
x0<br />
, y(t 0 ) = y 0 = ,<br />
µ 0<br />
se obtiene que el P.V.I. (2.7)-(2.8) es equivalente al siguiente problema:<br />
y ′ = F(t, y), (2.11)<br />
y(t 0 ) = y 0 . (2.12)<br />
Teniendo en cuenta esta observación y el teorema <strong>de</strong> la <strong>de</strong>pen<strong>de</strong>ncia continua <strong>de</strong> las<br />
soluciones respecto a los datos iniciales, es inmediato el siguiente:<br />
Teorema 2.14 (Depen<strong>de</strong>ncia Continua Respecto a Parámetros). Supongamos que<br />
se verifican las condiciones siguientes:<br />
a) f ∈ C[J × D × D 1 , IR n ],<br />
b) La función f es localmente Lipschitz respecto a su segunda y tercera variable.<br />
Entonces, para todo dato inicial p 0 = (t 0 , x 0 , µ 0 ) ∈ J ×D ×D 1 y un intervalo compacto<br />
J ∗ contenido en el dominio <strong>de</strong> x(·, p 0 ), existe un entorno U ∗ ≡ U ∗ (p 0 ) tal que para todo<br />
p ∗ 0 = (t∗ 0 , x∗ 0 , µ∗ 0 ) ∈ U ∗ se tiene que Domx(·, p ∗ 0 ) ⊃ J ∗ y a<strong>de</strong>más lim x(t, p ∗ 0) = x(t, p 0 ),<br />
p ∗ 0 →p 0<br />
uniformemente en t, sobre J ∗ .