0.1.

APENDICE A

0.1.

Teorema de existencia y unicidad

Dicho teorema establece que: Dada la ecuacin diferencial y = f (x, y), sujeta a la condicin inicial o o 2 y que contiene a (x , y ) y(x0 ) = y0 , con f denida en una regin R o 0 0 si: 1. f (x, y) es continua tanto en (x, y) en la regin R y o 2.
f y (x, y)

existe y es continua en x, y R,

Se requiere demostrar que en una regin donde se cumplen dos condicioo nes que establece el teorema: la solucin exista y sea unica. Dado el problema o con valor inicial se transforma este en una ecuacin integral o
x

y(x) = y(0) +
x0

f (s, y(s))ds

para darse una idea de donde convergen las iteraciones se construye un intervalo donde dichas iteraciones estn acotadas. e As se construye un rectngulo , a que contenga los grcos de todas a las iteraciones de Piccard yn (x). Para esto se eligen dos nmeros positivos u cualesquiera ayb y considerando el rectngulo : a x0 x x0 + a y0 b y y0 + b i.e.|y y0 | b Se pueden presentar dos posibles casos: ................................IMAGENES............................................. En la segunda gura se muestra el caso en que para a dada, las iteraciones b se salgan de la regin, entonces se toma el rectngulo con = min a, M o a para asegurar que las iteraciones estn acotadas. Ya construido el rectngulo, e a se busca demostrar que las iteraciones de Piccard convergen para x tal que x0 x x 0 + , siempre que f exista y sea continua. y De manera genial?? el problema se transforma en otro equivalente que consiste en probar que una serie converge. Para esto se observa que: yn (x) = y0 (x) + [y1 (x) y0 (x)] + [y2 (x) y1 (x)] + + [yn (x) yn1 (x)] As la sucesin yn (x) converge. Como: , o
x

|yn (x) yn1 (x)| =

x0 x

[f (s, yn1 (s) f (s, yn2 (s)))]ds

x0 x

|f (s, yn1 (s) f (s, yn2 (s)))|ds f (s, (s)) |yn1 (s) yn2 (s)| ds y

x0

2 Esto ultimo, por el teorema de valor medio funcional, donde (s) se encuentra entre yn1 (s) y yn2 (s). Por lo tanto
x

|yn (x) yn1 (x)| L

x0

|yn1 (s) yn2 (s)| ds

f y

(1)

donde L = maxen f (x, y) ya que y Tomando n = 2 en (1):

x

es continua en R.

|y2 (x) y1 (x)| = L

x0 x

|y1 (s) y0 (s)| ds

x0

M (s x0 )ds
2

= LM (xx0 ) 2 Ya que: Teniendo tambin que: e

x

y =y x y = f (x, y) x y M x

|y3 (x) y2 (x)| L

x0

|y2 (s) y1 (s)| ds

x

M L2
x0

(s x0 )2 ds 2
3

= M L2 (xx0 ) 23 Procediendo de manera inductiva, se tiene |yn (x) yn1 (x)| M Ln1

(x x0 )n ; para x0 < x < x0 + n!

Por lo tanto, la serie innita en el intervalo x0 < x < x0 + cumple que |y1 (x) y0 (x)| + |y2 (x) y1 (x)| M (x x0 ) +
2

M L(xx0 )2 2
3

M L2 (xx0 )3 3

M + M L + M L2 + 3 3! = =
M L M L

L +

(L)2 2!

(L)3 3!

eL 1

 0.1. APENDICE A

la cual es nita si las iteraciones de Piccard yn (x) converge para x0 x x0 + . A continuacin se muestra que las iteraciones satisfacen el problema de o valor inicial
x

yn+1 = y0 +
x0

f (s, yn (s))ds

Tomando el l mite cuando n tiende a cero en ambos lados de la expresin se o tiene

x

y(x) = y0 + l m

n0

f (s, yn (s))ds
x0

y como f es continua se concluye que

x

y(x) = y0 +
x0

f (s, yn (s))ds

Lo mismo se puede hacer para x0 x < x0 ????????

0.1.1.

Finalmente la unicidad...

Sean z(x) y y(x) soluciones del problema con valor inicial

x

y(x) = y0 +
x0

f (s, y(s))ds

y
x

z(x) = y0 +
x0

f (s, z(s))ds

Restando las funciones se tiene que

x

|y(x) z(x)| =
x0 x

[f (s, y(s) f (s, z(s)))]ds

x0

|f (s, y(s) f (s, z(s)))|ds

x

L
x0

|y(s) z(s)| ds

donde L = maxen

f y (x, y)

por tanto
x

|y(x) z(x)| L
x0

|y(s) z(s)|ds

4 Haciendo w(s) = |y(x) z(x)| entonces

x

w(s) L
x0 x

|y(s) z(s)|ds

Ahora, sea U (x) =

x0

w(s)ds se tiene que

x

dU = w(x) LU (x) dx por tanto

dU dx

w(s)ds = LU (x)
x0

LU (x) LU (x) 0

dU dx

Multiplicando por eL(xx0 ) ambos lados de la ecuacin o eL(xx0 ) dU LeL(xx0 ) U (x) 0 dx

El lado izquierdo se identica con

dU dx x

U eL(xx0 ) 0 dU U eL(xx0 ) U (s) ds 0 dx

x0

as eL(xx0 ) U (x) U (x0 ) 0 eL(xx0 ) U (x) U (x0 ) = 0 por lo tanto eL(xx0 ) U (x) U (x0 ) pero eL(xx0 ) > 0 y U (x) 0 pero U (x) U (x) = 0 y z(x) = y(x) 0 por denicin, con lo cual o