Ecuaciones Diferenciales II Tercer Parcial

Eduardo Valds Garc e a Martes 8 de diciembre de 2009

Dado el sistema x =

4 3

3 4

a) Aplique cinco iteraciones de Picard para aproximar la solucin. o x0 (t) = 1 0

x1 (t)

1 0 1 0

x 0

4 3 4 3

3 4 dt

1 0

dt

x 0

4x + 1 3x

x2 (t)

1 0 1 0
7 2 2x

x 0

4 3

3 4 dt

4t + 1 3t

dt

x 0

7t 4 24t + 3

4x + 1 12x2 + 3x

x3 (t)

1 0 1 0

x 0

4 3

3 4

7 2 2t

4t + 1 12t2 + 3t dt

dt

x 0

117 2 2 t

22t2 + 7t 4 24t + 3 4x + 1 + 3x

22 3 7 2 3 x + 2x 39 3 x 12x2 2

x4 (t)

1 0 1 0

x 0

4 3

3 4

7 2 22 3 3 t + 2t 39 3 2 2 t 12t

4t + 1 + 3t dt

dt

x 0

527 t3 + 22t2 + 7t 4 6 56t3 + 117 t2 24t + 3 2

527 x4 + 22 x3 + 7 x2 4x + 1 24 3 2 14x4 + 39 x3 12x2 + 3x 2

x5 (t)

1 0 1 0

x 0

4 3

3 4

7 527 t4 + 22 t3 + 2 t2 4t + 1 24 3 39 3 14x4 + 2 t 12t2 + 3t

dt

x 0

779 4 527 3 2 6 t 6 t + 22t + 7t 4 975 4 117 2 3 8 t 56t + 2 t 24t + 3

dt

527 4 22 3 7 2 779 5 30 x 24 x + 3 x + 2 x 4x + 1 195 5 39 3 4 8 x 14x + 2 x 12x2 + 3x

b) Basndose en el teorema de existencia de soluciones, diga si el sistema tiene solucin. Justia o que su respuesta. Comenzaremos por probar que el sistema es continuo en el sentido de Lipschitz; es decir, probar que existe una constante k > 0 tal que |f (x1 , y, t) f (x2 , y, t)| k|x1 x2 | |g(x, y1 , t) g(x, y2 , t)| k|y1 y2 | siendo f (x, y, t) = 4x 3y g(x, y, t) = 3x 4y As , |f (x1 , y, t) f (x2 , y, t)| = = = 2 |(4x1 3y) (4x2 3y)| | 4x1 + 4x2 | |4(x1 x2 )| 4|x1 x2 |

|g(x, y1 , t) g(x, y2 , t)| = = =

|(3x 4y1 ) (3x 4y2 )| | 4y1 + 4y2 | |4(y1 y2 )| 4|y1 y2 |

De este modo, haciendo k = 4, el sistema es Lipschitz continuo. Ahora, consideremos, adems de las dos funciones de valores vectoriales f y g, un intervalo I a abierto (no necesariamente acotado) que contiene a t = a de manera que x(a) = b y y(a) = c. Dado que f y g satisfacen la condicin de Lipschitz y son funciones continuas, para toda t I o y x1 , x2 , y1 y y2 , entonces el sistema con valores iniciales dx = f (x, y, t), dt x(a) = b

dy = g(x, y, t), y(a) = c dt tiene solucin en cualquier intervalo I. o Es decir, se garantiza la existencia de soluciones para el sistema.

c) Basndose en el teorema de unicidad de soluciones, diga si el sistema tiene solucin unica. a o Justique su respuesta. Dado que para cierta regin R se satisface que el sistema o dx = f (x, y, t), dt x(a) = b

dy = g(x, y, t), y(a) = c dt es continuo y satisface la condicin de Lipschitz; es decir, o |f (x1 , y, t) f (x2 , y, t)| k|x1 x2 | |g(x, y1 , t) g(x, y2 , t)| k|y1 y2 | con k R, k > 0. Entonces, si x1 (t), x2 (t), y1 (t) y y2 (t) son soluciones para los problemas con valores iniciales f y g, respectivamente, en algn intervalo I que contenga a x = A y y = B tales que las u curvas solucin o (x1 (t), t), (x2 (t), t), (y1 (t), t) y (y2 (t), t) estn en R para toda t R, se tiene que e x1 (t) = x( t) para todo t I. Por tanto la solucin del sistema es unica. o y y1 (t) = y2 (t)