09.11.2014 Views

Ecuaciones Diferenciales Ordinarias - Facultad de Ciencias

Ecuaciones Diferenciales Ordinarias - Facultad de Ciencias

Ecuaciones Diferenciales Ordinarias - Facultad de Ciencias

SHOW MORE
SHOW LESS

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 ∗ .

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!