Trabajo de Análisis Numérico

Teorema 1. Sea D = [t0 , T ] × Rm . si f (t, y) es continua y lipschitziana

para y, en D. Entonces el problema de valor inicial(PVI)
y 0 = f (t, y), t0 ≤ t ≤ T, y(t0 ) = y0
tiene una única solución y(t), para t ∈ [t0 , T ].

EJERCICIOS 7.8
1. Probar que cada uno de los siguientes PVI’S tienen una única solución

a) y 0 = ysen(t), 0 ≤ t ≤ 1, y(0) = 1
b) y 0 = e(t−y)/2 , 0 ≤ t ≤ 1, y(0) = 1
2t2 y
c) y 0 = , 0 ≤ t ≤ 1, y(0) = 1.
1 + t4
Solución:
a) Sea f (t, y) = ysen(t). Claramente f es continua en D = [0, 1] × Rm .
Luego tenemos que para cada (t, y1 ), (t, y2 ) ∈ D
|f (t, y1 ) − f (t, y2 )| = |y1 sen(t) − y2 sen(t)| = |sen(t)||y1 − y2 | ≤ |y1 − y2 |.
Esto muestra que f es Lipschitz en D y por Teorema 1 el PVI tiene una
única solución.
2t2 y
c) Sea f (t, y) = . Como f es continua en D = [0, 1] × Rm , y además
1 + t4
para cada (t, y1 ), (t, y2 ) ∈ D tenemos que
 2t2 y1 2t2 y2   2t2 
|f (t, y1 ) − f (t, y2 )| =  − = |y1 − y2 |.
1 + t4 1 + t4 1 + t4
Dado que
0 ≤ t ≤ 1 ⇒ t2 ≤ 1 ⇒ t2 − 1 ≤ 0 ⇒ (t2 − 1)2 ≥ 0.
Entonces
2t2
t4 − 2t2 + 1 ≥ 0 ⇒ 1 + t4 ≥ 2t2 ⇒ ≤ 1.
1 + t4
De donde

1
  2t2 y1 2t2 y2   2t2 
|f (t, y1 ) − f (t, y2 )| =  − = |y1 − y2 | ≤ |y1 − y2 |,
1 + t4 1 + t4 1 + t4
lo cual implica que f es Lipschitz en D y por Teorema 1 el PVI tiene una
única solución.

3. Considere el siguiente PVI:

y 0 = −4y + t, 0 ≤ t ≤ 1, y(0) = 1

Use el método de Picard para generar las funciones y (i) (t) para i = 0, 1, 2.

Solución:
Sea f (t, y) = −4y + t. como f es continua en D = [0, 1] × Rm y ademas para
cada (t, y1 ), (t, y2 ) ∈ D se verifica la condición de Lipschitz en D ya que

|f (t, y1 ) − f (t, y2 )| = | − 4y1 + t + 4y2 − t| = |4(y1 − y2 )| ≤ 4|y1 − y2 |.

Se tiene entonces que existe una única solución y(t) del PVI.
Usando las iteraciones de Picard yn (t) asociadas al PVI se tiene que
Rt
y0 (t) = y0 = 1 ; yn (t) = y0 + t0 f (s, yn−1 (s)) ds.

Ası́,
y0 (t) = 1
Rt Rt t2
y1 (t) = 1 + 0 f (s, 1) ds = 1 + 0(−4 + s) ds = 1 − 4t +
2
Rt s2 Rt 17 2
y2 (t) = 1+ 0 f (s, 1−4s+ ) ds = 1+ 0(−4+17s−2s ) ds = 1−4t+ t2 − t3 .
2
2 2 3