Armando Duarte

Teorema de Picard
Sean f(x,y) y f/y funciones continuas de x e y en un rectngulo cerrado R con lados paralelos a los ejes (fig. 1). Si (x0, y0) es cualquier punto interior de R, existe un numero h>0 con la propiedad de que el problema de valores iniciales y' = f(x, y), y(x0 ) = Y0 (1)

tiene una y solo una solucin y = y(x) sobre el intervalo x x0 h

y
(x0, y0) y = y(x)

x0 - h

x0 + h

Figura 1

Demostracin

El argumento es francamente largo e intricado, por lo que ser ms fcil de digerir en varias etapas. En primer lugar, sabemos que toda solucin de (1) es solucin continua de la ecuacin integral

y(x) = y0 + f [t, y(t)]dt

x x0

(2)

y recprocamente. Eso nos permite concluir que (1) tiene una solucin nica sobre un intervalo |x x0| h si y solo si (2) tiene una solucin continua nica sobre ese mismo intervalo. Existen ciertas evidencias de que la sucesin de funciones yn(x) definida por

Armando Duarte

y0 (x) = y0 y1 ( x ) = y0 + f [t, y0 (t)]dt,

x x0

(3)

y 2 ( x ) = y0 + f [t, y1 (t)]dt ,
x x0

.... y n ( x ) = y0 + f [t, y n (t)]dt ,

x x0

converge a una solucin de (2). Hagamos notar ahora que yn(x) es la n-sima suma parcial de la serie de funciones

y0 (x) + y n ( x ) Yn 1 ( x ) = y0 ( x ) + [ y1 ( x ) Y0 ( x )] + + [ y 2 ( x ) Y1 ( x )] + ........ + y n ( x ) Yn 1 ( x ) + ......,

n =1

(4)

luego la convergencia de la sucesin (3) es equivalente a la de esta serie. Para completar la demostracin, buscaremos un nmero h > 0 que defina el intervalo |x x0| h y probaremos entonces que en ese intervalo son ciertas las siguientes proposiciones: (i) la serie (4) converge a una funcin y(x); (ii) y(x) es una solucin continua de (2); (iii) y(x) es la nica solucin continua de (2). Las hiptesis del teorema se usan para hallar el nmero positivo h, como vamos a ver. Hemos supuesto que f(x,y) y f/y son funciones continuas sobre el rectngulo R. ahora bien, R es cerrado (en el sentido de que incluye a su contorno) acotado, de manera que cada una de estas funciones es forzosamente acotada sobre R. eso implica que existen constantes M y K tales que
f ( x, y ) M

(5)

y f ( x, y ) K y

(6)

Armando Duarte

para todos los puntos de (x,y) de R. a continuacin observemos que si (x,y1) y (x,y2) son puntos distintos de R con idntica coordenada x, el teorema del valor medio garantiza que f ( x , y1 ) f ( x , y 2 ) = f ( x , y * ) y1 y 2 y (7)

para algn nmero y* entre y1 e y2. De (6) y (7) es claro que

f ( x , y1 ) f ( x , y 2 ) K y1 y 2

(8)

para todo para de puntos (x,y1) y (x,y2) de R (distintos o no) que estn en una misma recta vertical. Ahora escogemos como h cualquier numero positivo que cumpla

Kh < 1

(9)

y tal que el rectngulo R definido por las desigualdades |x x0| h y |y y0| Mh est contenido en R. Como (x0, y0) es un punto interior de R, no hay dificultad en verificar que tal h existe. Las razones de estas argumentaciones un tanto barrocas ir hacindose patentes conforme la demostracin vaya avanzando. Desde este momento nos restringimos al intervalo |x x0| h. Para probar (i) es suficiente mostrar que la serie

y0 (x) + y1 ( x ) Y0 ( x ) + y 2 ( x ) Y1 ( x ) + .......+ y n ( x ) Yn 1 ( x ) + .....

(10)

converge. Y a tal fin vamos estimar los trminos |yn(x) yn-1(x)|. Es necesario darse cuenta de que el grafico de cada funcin yn(x) est en R y por ende en R. Esto es obvio para y0(x) = y0, as que los puntos [t, y0 (t)] estn en R. (5) da | f[t, y0 (t)]| M, y

y1 ( x ) Y0 =

f [t, y (t)]dt
x x0 0

Mh ,

que demuestra la afirmacin para y1(x). Se sigue a su vez de esta desigualdad que los puntos [t, y1 (t)] estn en R, as que | f[t, y1 (t)]| M y

y 2 ( x ) Y0 =

f [t, y (t)]dt
x x0 1

Mh ,

Armando Duarte

Anlogamente,

y 3 ( x ) Y0 =

f [t, y (t)]dt
x x0 2

Mh ,

y as sucesivamente. Vamos ya con las estimaciones antes mencionadas. Dado que una funcin continua sobre un intervalo cerrado tiene un mximo, y puesto que y1(x) es continua, podemos definir una constante a mediante a = max |y1(x) y0| y escribimos.

y1 ( x ) Y0 ( x ) a ,
Pues bien, los puntos [t, y1 (t)] y [t, y0 (t)] estn en R, de modo que segn (8)
f [t, y1 (t)] f [t, y0 (t)] K y1 ( t ) Y0 ( t ) kKa

y tenemos,

y 2 ( x ) y1 ( x ) = (f [t, y1 (t)] f [t, y0 (t)] ) dt Kah = a ( Kh )

x x0

Anlogamente,

f [t, y 2 (t)] f [t, y1 (t)] K y 2 ( t ) y1 ( t ) k 2 ah

luego

y3 ( x ) y 2 ( x ) = (f [t, y 2 (t)] f [t, y1 (t)] ) dt ( K 2 ah )h = a ( Kh )2

x x0

Continuando de esta manera se llega a

y n ( x ) y n1 ( x ) a ( Kh )n1

Armando Duarte

Para todo n = 1,2 , cada trmino en la serie (10) es por tanto menos r o igual que el termino correspondiente a la serie de constantes

y n + a + a( kh ) + a( kh )2 + ..... + a( kh )n1 + ....,

Ahora bien (9) garantiza la convergencia de esta serie, luego (10) converge por el criterio de comparacin. Si denotamos su suma por y(x), tenemos yn(x) y(x). Como el grafico de cada yn(x) est en R, es evidente que el de y(x) tambin. Vamos con la demostracin de (ii). El argumento anterior muestra no solo que yn(x) converge a y(x), sino que adems la convergencia es uniforme. Esto significa que tomando n suficientemente grande podemos hacer que yn(x) este tan prxima de y(x) como queramos para todo x del intervalo; o sea, con mas precisin, dado > 0 existe un numero entero positivo n0 tal que si n > n0 tenemos |y(x) yn(x)| < para todo x del intervalo. Puesto que cada yn(x) es claramente continua, el carcter uniforme de la convergencia asegura que la funcin lmite y(x) es continua. Para probar que y(x) es realmente solucin de (2), hemos de ver que

y( x ) y0

f [t, y(t)] dt = 0
x x0

(11)

Pero sabemos que

y n ( x ) y0

f [t, y
x x0

n 1

(t)] dt = 0

(12)

As que restando el lado izquierdo de (12) del lado izquierdo de (11) obtenemos
y( x ) y0 f [t, y(t)] dt = y( x ) y n ( x ) +
x x0

(f [t, y

n 1

(t)] f [t, y(t)] ) dt ,

y obtenemos

y( x ) y0

f [t, y(t)] dt
x x0

y( x ) y n ( x ) +

(f [t, y

n 1

(t)] f [t, y(t)] ) dt

Armando Duarte

Como el grafico de y(x) est en R y por tanto en R, de (8) deducimos

y( x ) y0

f [t, y(t)] dt
x x0

y( x ) y n ( x ) + kh max y n 1 ( x ) y( x )

(13)

El carcter uniforme de la convergencia de yn(x) a y(x) implica que el miembro de la derecha en (13) se puede hacer tan pequeo como queramos tomando n suficientemente grande. El miembro de la izquierda de (13) ha de ser, en consecuencia, igual a cero, y la demostracin de (ii) esta a acabada. Para demostrar (iii), vamos a suponer que y(x) es otra solucin continua de (2) sobre el intervalo |x x0| h y mostraremos que y(x) = y(x) para todo x del intervalo. Para nuestro argumento necesitamos saber que el grafico de y(x) esta en R, y por tanto en R, de manera que comenzamos estableciendo este hecho. Supongamos que el grafico de y(x) saliera de R (Fig. 2). En tal circunstancia, las propiedades de esta funcin |continuidad y el hecho de que y(x0)=y0| implicaran la existencia de un x1 tal que |x1 x0| < h, |y(x1) - y0| = Mh. y |y(x) - y0| < Mh si |x x0| < |x1 x0|. Se sigue que

y' ( x1 ) y0 x1 x0

Mh Mh > =M x1 x0 h

Sin embargo, el teorema del valor medio asegura que existe un numero x* entre x0 y x1 tal que y' ( x1 ) y0 = y' ( x* ) = f x* , y' ( x* ) M x1 x0

y(x) R Mh

y0

x0 - h

x0

x1 x0 + h

Figura 2

Armando Duarte

ya que el punto [x*, y(x*)] est en R. Esta contradiccin prueba que no puede existir ningn punto con las propiedades de x1. as que el grfico de y(x) esta en R. para completar la demostracin de (iii) usamos que y(x) y y(x) son ambas soluciones de (2) para escribir

y' ( x ) y( x ) =

{ f [t, y' (t)] f [t , y( t )]}dt

x x0

Dado que los grficos de y(x) y de y(x) estn ambos en R, (8) nos da

y' ( x ) y( x ) Kh max y' ( x ) y( x )

luego
max y' ( x ) y( x ) Kh max y' ( x ) y( x )

Esto implica que mx |y(x) y(x)| = 0, porque de lo contrario tendramos 1 Kh en contradiccin con (9). Se sigue que y(x) = y(x) para todo x del intervalo |x1 x0| h, y el teorema de Picard queda demostrado.