Professional Documents
Culture Documents
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
ww
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 .
w.
M at
em
dy D f .x; y/; dx
at
ic
a1
D '.x/
.c om
'.x0 /I
despejando '.x/:
x
'.x/ D '.x0 / C
x0
Ahora bien, por ser y D '.x/ una solucin del PVI debe cumplir con '.x0 / D y0 y con ' 0 .x/ D
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:
x
'.x/ D y0 C
x0
(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
x0
y adems
'.x0 / D y0 C
ww w.
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:
at
em
: : :
'1 .x/ D y0 C
x0 x
'2 .x/ D y0 C
x0
'nC1 .x/ D y0 C
x0
Cuando las condiciones que debe cumplir f .x; y/ se satisfacen, este esquema converge con bastante rapidez a la nica solucin del PVI.
at
x x
ic a
x0
1.c
x0 x0
f .t; '.t// dt D
d d y0 C dx dx
f .t; '.t// dt D y0 :
om
x
'1 .x/ D y0 C
x0 x
1 dt D 1 C t
0
D 1 C xI t2 2
x
'2 .x/ D y0 C
x0 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
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
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
kD0
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
ww
w.
at
em at
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.
ic
'.x/ D
xk D ex ; k
a1
y.x0 / D y0 ;
.c
Se puede apreciar entonces que las funciones '0 .x/, '1 .x/, '2 .x/; la solucin nica del PVI, que est dada por la serie
om
; 'n .x/
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
y 0 D ln.xy/;
ww
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/ &
w.
y 0 D 6xy 3 ;
2
at
em
2
at ic
con
con la condicin
a1
@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 2
Tenemos ahora que la funcin f .x; y/ D 6xy 3 est denida y es continua para todos los valores x, y, 1 @f 2 1 D 6x y 3 D 4xy 3 est denida y es continua para todas las x, y excepto y D 0. La mientras que @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
.c om
y.0/ D 0
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:
em at ic a1
.c om
x6; 0;
si x < 0I si x 0:
@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.
ww
w.
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.
at