CAPTULO

1
Conceptos bsicos

1.6 Existencia y unicidad de soluciones *

Hasta el momento hemos hablado de las ED y sus soluciones sin preocuparnos sobre el problema de la existencia de dichas soluciones. Es de esperarse que las ED que consideraremos en la mayora de los casos tengan solucin, de otra forma el tiempo y esfuerzo que se inviertan en buscar una solucin estaran irremediablemente perdidos. Por otra parte, el hecho de que para una ED en particular una persona no pueda encontrar su solucin no signica que la ED no tenga solucin. De aqu resulta muy deseable conocer algn criterio que nos permita decidir si una ED o bien un PVI tienen solucin. En esta seccin vamos a enunciar, sin demostracin, un resultado de gran importancia, conocido como el teorema de Existencia y Unicidad de Picard-Lindelf, que proporciona algunas condiciones que garantizan que un PVI tenga solucin nica. Antes de enunciar un resultado importante de esta seccin, hagamos explcitas las siguientes armaciones que damos por sentadas: 1. Toda ED de primer orden se puede escribir en la forma normal: dy D f .x; y/; dx donde f es una funcin de dos variables (aunque bien puede darse el caso que dependa solamente de una de ellas), denida en todo el plano xy o bien en una parte del plano llamada el dominio de f . 2. Recordemos que al par formado por una ED y condiciones iniciales se le llama un problema de valor inicial o PVI. Es decir, un PVI de primer orden es de la forma: dy D f .x; y/; dx con y.x0 / D y0 : (1.1)

Dicho lo anterior, si una funcin y D '.x/ es solucin del PVI (1.1), entonces por la segunda parte del teorema Fundamental del Clculo:
x x

' 0 .t/ dt D '.t/

x0 x0

D '.x/

'.x0 /I

1. canek.azc.uam.mx: 21/ 9/ 2010

2 despejando '.x/:
x

Ecuaciones diferenciales ordinarias

'.x/ D '.x0 / C
x0

' 0 .t/ dt:

dy D f .x; y/, dx 0 de donde ' .t/ D f .t; y/ D f .t; '.t//. Resulta entonces que, si y D '.x/ es una solucin del PVI, entonces debe satisfacer a la siguiente ecuacin integral: Ahora bien, por ser y D '.x/ una solucin del PVI debe cumplir con '.x0 / D y0 y con ' 0 .x/ D
x

'.x/ D y0 C
x0

f .t; '.t// dt:

(1.2)

Con el argumento anterior hemos mostrado que, si y D '.x/ es solucin del PVI (1.1), entonces tambin es solucin de (1.2). Recprocamente, si y D '.x/ satisface a la ecuacin integral (1.2) y se cumplen algunas condiciones de continuidad sobre la funcin f .x; y/ del integrando (junto con su derivada parcial con respecto a su segunda variable), que hacen posible que la integral est bien denida, entonces obtendramos de (1.2) al derivar respecto a x, por la primera parte del teorema Fundamental del Clculo: d d '.x/ D y0 C dx dx ) ' 0 .x/ D f .x; '.x//
x

f .t; '.t// dt D
x0

d d y0 C dx dx
x0 x0

f .t; '.t// dt D f .x; '.x// )

x0

y adems

'.x0 / D y0 C

f .t; '.t// dt D y0 :

Aunque puede resultar difcil de creer, la ecuacin integral (1.2) es en general ms accesible para el anlisis que el PVI (1.1) e incluso proporciona la base para un mtodo general de solucin, que consiste en obtener aproximaciones sucesivas '0 .x/, '1 .x/, '2 .x/; a la solucin del PVI cada vez mejores, en el sentido de que se encuentran ms cerca de la solucin verdadera. El esquema de aproximacin es como sigue: '0 .x/ es cualquier aproximacin a la solucin; a falta de informacin se escoge comnmente '0 .x/ D y0 , y a partir de ah se denen:
x

'1 .x/ D y0 C
x0 x

f .t; '0 .t// dt; f .t; '1 .t// dt;

x0

'2 .x/ D y0 C : : :
x

'nC1 .x/ D y0 C
x0

f .t; 'n .t// dt:

Cuando las condiciones que debe cumplir f .x; y/ se satisfacen, este esquema converge con bastante rapidez a la nica solucin del PVI.

Ejemplo 1.6.1 Encuentre la solucin al PVI: dy D y; dx con la condicin y.0/ D 1:

1.6 Existencia y unicidad de soluciones * H Denimos '0 .x/ D y0 D 1; a partir de esta primera aproximacin:
x x x

'1 .x/ D y0 C
x0 x

f .t; '0 .t// dt D 1 C

0 x

1 dt D 1 C t
0

D 1 C xI t2 2
x

'2 .x/ D y0 C
x0 x

f .t; '1 .t// dt D 1 C

0 x

.1 C t/ dt D 1 C t C t2 1Ct C 2

D 1Cx C
0

x2 I 2
x

'3 .x/ D y0 C
x0

f .t; '2 .t// dt D 1 C

0

dt D 1 C t C

t2 t3 C 2 2 3

D
0

D 1Cx C : : :
x

x2 x3 C I 2 3
x

'nC1 .x/ D y0 C
x0

f .t; 'n .t// dt D 1 C t3 t2 C C 2 3 C t .n C 1/

0 nC1

1Ct C
x

t2 C 2

tn n

dt D C x nC1 .n C 1/ :

D 1C t C

D1C xC
0

x2 x3 C C 2 3

Se puede apreciar entonces que las funciones '0 .x/, '1 .x/, '2 .x/; la solucin nica del PVI, que est dada por la serie
1

; 'n .x/

son las sumas parciales de

'.x/ D
kD0

xk D ex ; k

como se puede vericar fcilmente.

El ejemplo previo se pudo resolver fcilmente porque as fue escogido, de modo que el lector pudiera apreciar cmo funciona el mtodo de aproximaciones sucesivas. Hay que aclarar que este mtodo no se aplica en todos los PVI (solamente en aquellos que satisfacen a las condiciones para tener solucin nica), y an en los casos en que se puede aplicar, la convergencia (a pesar de ser rpida) puede resultar difcil de apreciar, pues las integrales que dan las aproximaciones sucesivas se van tornando cada vez ms complicadas. Afortunadamente, rara vez hay que emplear este mtodo en la prctica; esta situacin es similar al clculo de integrales directamente a partir de la denicin como lmite de sumas de Riemann. A continuacin enunciamos el teorema de Existencia y Unicidad con una ltima aclaracin: es costumbre en los textos de matemticas que cualquier armacin titulada teorema se suponga que es una proposicin demostrable y que debe demostrarse en el texto. Nosotros, cuando anunciamos un resultado con el ttulo teorema, signica que es algo importante para el desarrollo de los temas que siguen y muy posiblemente para todo el libro y para el material que se vea en otros cursos ms avanzados. Sin embargo, esto no signica que proporcionaremos una demostracin de ese resultado en este texto, pues dicha demostracin puede encontrarse en alguna otra fuente. Teorema 1.1 de Existencia y Unicidad (Picard-Lindelf) Dado un PVI dy D f .x; y/; con dx

y.x0 / D y0 ;

supongamos que hay un rectngulo R D .x; y/ a < x < b; c < y < d que contiene al punto .x0 ; y0/ en su @f interior y dentro del cual f .x; y/ y .x; y/ son continuas. Entonces el PVI tiene una nica solucin y D '.x/ @y denida en algn intervalo x0 h < x < x0 C h, para algn h > 0.

4
y

Ecuaciones diferenciales ordinarias

y D '.x/.

y0 R c

x a x0 h x0 x0 C h b

Observe que el contenido de este teorema es dar condiciones sucientes para que el PVI tenga solucin nica. El rectngulo R del que habla podra ser grande (incluso ocupar todo el plano) o bien pequeo, pero la curva y D '.x/ cuya existencia y unicidad garantiza el teorema est connada al mismo rectngulo, hasta el intervalo x0 h < x < x0 C h debe quedar contenido en el intervalo a < x < b. El teorema no dice tampoco qu tan pequeo ser el nmero h, slo arma que es positivo. En el mejor de los casos (como en el ltimo ejemplo anterior al teorema) h puede ser C1 y la solucin est denida para todo x; en el peor de los casos h puede ser un nmero positivo pequeo. Ejemplo 1.6.2 Tiene solucin el PVI H Tenemos que f .x; y/ D x 2 y y 0 D x 2y y5; con y.2/ D 3

@f D x 2 5y 4 son las dos funciones continuas para todo valor de @y x & y. En consecuencia, el teorema de Existencia y Unicidad garantiza que hay una solucin nica. y5 & y 0 D ln.xy/;

Ejemplo 1.6.3 Tiene solucin el PVI H

con

y.0/ D 2

1 @f D son las dos funciones denidas y continuas en R D @y y .x; y/ x > 0; y > 0 . Dado que el punto .0; 2/ no se encuentra en el interior de R, el teorema de Existencia y Unicidad no garantiza que haya solucin nica. Si se tuviera una condicin inicial y.x0 / D y0 con x0 > 0, y0 > 0 de modo que el punto .x0 ; y0/ est dentro de R, entonces s podramos asegurar la existencia de una solucin nica. En el presente caso f .x; y/ D ln.xy/ &
2

Ejemplo 1.6.4 Tiene solucin el PVI H

y 0 D 6xy 3 ;
2

con la condicin

y.0/ D 0

Tenemos ahora que la funcin f .x; y/ D 6xy 3 est denida y es continua para todos los valores x, y, 1 2 1 @f mientras que D 6x y 3 D 4xy 3 est denida y es continua para todas las x, y excepto y D 0. La @y 3 @f condicin inicial dada est contenida en la recta y D 0, donde no est denida, as que el teorema no @y garantiza que haya solucin nica. Sin embargo en este ejemplo, a diferencia del anterior, s hay solucin aunque sta no es nica. 1. Para empezar, tenemos la solucin trivial y D '0 .x/ D 0 para toda x, que satisface desde luego el PVI, pues 2 dy '0 .0/ D 0 y D 0 D 6x'.x/ 3 D 6 0: dx 2. Otra solucin es la funcin y D '1 .x/ D x 6 , pues evidentemente: '1 .0/ D 0 y
2 d'.x/ D 6x 5 D 6 x x 4 D 6x'1 .x/ 3 : dx

1.6 Existencia y unicidad de soluciones * 3. Tambin se pueden hacer combinaciones de las soluciones anteriores, como: '3 .x/ D 0; x 6; si x < 0I o tambin '4 .x/ D si x 0: x6; 0; si x < 0I si x 0:

Tener tan gran variedad de soluciones podra ser tan malo como no tener solucin alguna, pues en los problemas de inters lo que se busca es una sola respuesta bien denida. Podra probarse que el hecho de que @f es discontinua en el punto .x0 ; y0 / de la condicin inicial es lo @y que provoca tantas soluciones en vez de una sola. Sin embargo, investigar esta clase de temas, aun cuando puede ser de gran inters, queda fuera de los objetivos de un curso introductorio de ED y de este libro.