Professional Documents
Culture Documents
2
Mtodos de solucin de ED de primer orden
Comenzamos entonces con una denicin bsica. Una expresin M.x; y/ dx C N.x; y/ dy D 0 es una ecuacin diferencial exacta si cumple alguna de las siguientes condiciones equivalentes: 1. M.x; y/ dx C N.x; y/ dy es la diferencial exacta de una funcin f . @f @f 2. Existe una funcin f .x; y/ tal que df D dx C dy D M.x; y/ dx C N.x; y/ dy . @x @y @f @f 3. Existe una funcin f .x; y/ tal que D M.x; y/ & D N.x; y/. @x @y Si M.x; y/ dx C N.x; y/ dy D 0 es una ecuacin diferencial exacta, entonces se puede expresar como df .x; y/ D 0 para alguna funcin f .x; y/, por lo que df .x; y/ D 0 , f .x; y/ D C ; donde C es una constante arbitraria. Diremos entonces que f .x; y/ D C , con C 2 R, es la solucin general del la ecuacin diferencial exacta M.x; y/ dx C N.x; y/ dy D 0.
1 canek.azc.uam.mx:
14/ 1/ 2010
2 Ejemplo 2.6.1 Mostrar que la ED .3x 2 x 3 xy C y 3 D C . H En efecto, f .x; y/ D x 3 Luego: df D Por lo que: .3x 2 y/ dx C .3y 2 @f @f dx C dy D .3x 2 @x @y y/ dx C .3y 2 xy C y 3 ) y/ dx C .3y 2
@f D 3x 2 @x
&
@f D x C 3y 2 : @y x/ dy :
Ejemplo 2.6.2 Mostrar que la ED .sen y C y sen x/ dx C .x cos y cos x/ dy D 0 es exacta y que tiene por solucin general x sen y y cos x D C . H En efecto, f .x; y/ D x sen y Luego: df D @f @f dx C dy D .sen y C y sen x/ dx C .x cos y @x @y cos x/ dy D 0 es una ED exacta : y cos x ) @f @f D sen y C y sen x & D x cos y @x @y cos x :
En los dos ejemplos anteriores, la solucin general f .x; y/ D C , cuya diferencial total df aparece en la ecuacin diferencial exacta df .x; y/ D 0, fue proporcionada. Sin embargo, usualmente no sucede as, pues tenemos la ED y buscamos su solucin. Esto plantea las interrogantes: 1. Qu hacer cuando no se conoce la funcin f .x; y/, solucin de la ecuacin diferencial?. 2. Cmo identicar si una ecuacin en su forma diferencial es exacta?. 3. Y una vez identicada, cmo calcular o determinar la funcin f .x; y/, solucin de la ecuacin diferencial?. Las respuestas a estas preguntas estn dadas en el siguiente teorema. Teorema. Si M.x; y/, N.x; y/, @M @N , & son funciones continuas en una regin rectangular @y @x RD entonces M.x; y/ dx C N.x; y/ dy D 0 es exacta si y solo si .x; y/ 2 R2 a < x < b & < y < ; @N @M D @y @x
2.6 Ecuaciones diferenciales exactas en cada punto .x; y/ 2 R. El teorema anterior es equivalente al siguiente teorema: Teorema. Si M.x; y/, N.x; y/, @M @N , & son funciones continuas en una regin rectangular @y @x RD entonces existe f .x; y/ tal que @f D M.x; y/ @x & @f @M @N D N.x; y/ si y solo si D @y @y @x .x; y/ 2 R2 a < x < b & c < y < d ;
en cada punto .x; y/ 2 R. Vamos a dar un esbozo de la demostracin de este teorema. )) H Si existe f .x; y/ tal que En efecto @f D M.x; y/ @x & @f @M @N D N.x; y/ entonces D . @y @y @x
Tambin
Pero fxy D fyx por las condiciones de continuidad de la hiptesis del teorema. Por lo tanto: @M @N D : @y @x Esta igualdad es la que nos permite identicar a una ED exacta. @N @f @f @M D entonces existe f .x; y/ tal que D M.x; y/ & D N.x; y/. @y @x @x @y H Para demostrar la existencia de la funcin f .x; y/ debemos construirla de tal manera que cumpla @f @f con las condiciones D M.x; y/ & D N.x; y/. @x @y @f Partiendo de la primera condicin D M.x; y/ e integrando con respecto a x se tiene: @x Si
x
()
@f dx D @x
M.x; y/ dx ) f .x; y/ D
(2.1)
@ P .x; y/ D M.x; y/ & h.y/ es la constante de integracin, que en este caso debe ser una funcin @x nicamente de y . donde Derivando respecto a y esta funcin f .x; y/ @f @ D P .x; y/ C h.y/ D Py .x; y/ C h 0 .y/: @y @y Al utilizar la segunda condicin @f D N.x; y/ se tiene: @y Py .x; y/;
h.y/ D
N.x; y/
Py .x; y/ dy:
f .x; y/ D P .x; y/ C
N.x; y/
Py .x; y/ dy:
que es la funcin buscada. El desarrollo anterior es precisamente el procedimiento que debemos seguir para la obtencin de la funcin f .x; y/.
Comentarios a la demostracin: 1. Para la obtencin de h.y/, integramos con respecto a y la expresin de h 0 .y/: h 0 .y/ D N.x; y/ Py .x; y/
Al efectuar la integracin supusimos que h 0 .y/ slo depende de y . Comprobemos que esto, en efecto, @ 0 es cierto. Vamos a vericar que no depende de x demostrando que h .y/ D 0. @x Estamos considerando que: h 0 .y/ D N.x; y/ D N.x; y/ D N.x; y/ D N.x; y/ Py .x; y/ D x @ M.x; y/ dx D @y x @ M.x; y/ dx D @y
x
@ @y y que
.x; y/ dx D
@ .x; y/ dx @y
My .x; y/ dx
@ @x
.x; y/ dx D .x; y/
Derivamos con respecto a x : @ 0 @ h .y/ D N.x; y/ @x @x @ @ D N.x; y/ @x @x Ya que, por hiptesis se tiene, @M @N D : @y @x @f D N.x; y/, @y
x
My .x; y/ dx D
x
My .x; y/ D 0:
2. Para la obtencin de la funcin f .x; y/ pudimos haber partido de la segunda condicin para luego llevar a cabo un desarrollo anlogo al realizado: a. Integrar N.x; y/ con respecto a y para tener f .x; y/. b. Derivar el resultado del paso anterior con respecto a x para tener @f D M.x; y/. @x d. Despejar h 0 .x/ de la ecuacin anterior. c. Utilizar la primera condicin e. Integrar respecto a x para obtener h.x/. @f . @x
2.6 Ecuaciones diferenciales exactas f. Sustituir h.x/ en f .x; y/ para as tener la funcin buscada. Ejemplo 2.6.3 Resolver la ED: H .3x 2 y/ dx C .3y 2 x/ dy D 0.
Primero vericamos que la ED es exacta: y/ dx C .3y 2 x/ dy D 0 ) M D 3x 2 y & N D 3y 2 x ) ) My D 1 & Nx D 1 ) ) My D Nx ) la ecuacin diferencial es exacta ) ) Existe una funcin f .x; y/ tal que df D M dx C N dy ) @f @f ) Existe una funcin f .x; y/ tal que dx C dy D M dx C N dy ) @x @y @f @f DM& D N: ) Existe una funcin f .x; y/ tal que @x @y
.3x 2
@f Luego la resolvemos, es decir, debemos determinar la funcin f .x; y/. Partimos de D M , e integramos @x con respecto a x :
x
@f dx D @x
M dx ) f .x; y/ D ) f .x; y/ D x 3
M dx D xy C h.y/
.3x
x3 y/ dx D 3 3
yx C h.y/ ) (2.2)
Nuestro objetivo ahora es encontrar h.y/, para determinar totalmente a f .x; y/. Derivamos la expresin anterior con respecto a y : @f @ 3 D x @y @y Utilizamos la condicin @f D N: @y x C h 0 .y/ D 3y 2 Despejamos h 0 .y/: h 0 .y/ D 3y 2 : Integrando con respecto a y se obtiene: h.y/ D Sustituimos h.y/ en (2.2) para obtener: f .x; y/ D x 3 xy C y 3 C C1 : y3 3y dy D 3 3
2
xy C h.y/ D 0
x 1 C h 0 .y/ D x C h 0 .y/:
x:
C C1 D y 3 C C1 :
cos x/ dy D 0.
&
N D x cos y
cos x )
) My D Nx ) la ED es exacta ) @f @f DM& D N: @x @y
) Existe una funcin f .x; y/ tal que Luego encontramos f .x; y/. Partimos de
y
@f dy D @y
N dy ) f .x; y/ D
N dy D
.x cos y
cos x/ dy D x sen y
y cos x C h.x/:
@f @ D x sen y y cos x C h.x/ D sen y @x @x @f Utilizamos la condicin D M para despejar h 0 .x/: @x sen y Integrando se obtiene: h.x/ D C1 : Sustituimos h.x/ en (2.3) para obtener: f .x; y/ D x sen y
y. sen x/ C h 0 .x/:
y cos x C C1 :
Por lo tanto, la solucin general de la ecuacin diferencial exacta es: f .x; y/ D C2 ) x sen y ) x sen y y cos x C C1 D C2 ) y cos x D C:
2e 2y cos 3x/ dy D 0.
2e 2y cos 3x ) ) My D Nx :
2e 2y . 3 sen 3x/
De lo anterior, la ED es exacta. Entonces existe una funcin f .x; y/ tal que @f DM @x Partimos de & @f D N: @y
e 2x 2 dx C e 2y
D .sen 3y/e 2x C e 2y . cos 3x/ C h.y/ ) ) f .x; y/ D e 2x sen 3y e 2y cos 3x C h.y/: (2.4)
2.6 Ecuaciones diferenciales exactas Derivamos con respecto a y : @f D e 2x .cos 3y/3 @y Utilizamos la condicin @f D N para despejar h 0 .y/: @y 2e 2y cos 3x C h 0 .y/ D 3e 2x cos 3y h.y/ D C1 : Sustituimos h.y/ en (2.4) para obtener: f .x; y/ D e 2x sen 3y e 2y cos 3x C C1 : 2e 2y cos 3x ) h 0 .y/ D 0: .cos 3x/2e 2y C h 0 .y/:
Por lo tanto, la solucin general de la ecuacin diferencial exacta es: f .x; y/ D C2 ) e 2x sen 3y ) e 2x sen 3y e 2y cos 3x C C1 D C2 ) e 2y cos 3x D C:
.ye xy C 2x
1/ dx C .xe xy
2y C 1/ dy D 0.
) My D Nx ) la ED es exacta.
&
@f D N: @y
@f dy D @y
N dy ) f .x; y/ D ) f .x; y/ D e xy
N dy D
.xe xy
2y C 1/ dy D
.e xy x
2y C 1/ dy ) (2.5)
y 2 C y C h.x/:
x C C1 :
y2 C y C x2 y CyCx
2 2
x C C1 D C2 ) x D C:
Ejemplo 2.6.7 Determinar el valor de la constante k de modo que resulte exacta la siguiente ecuacin diferencial: .kx 2 y C e y / dx C .x 3 C xe y H Para esta ED se tiene: M D kx 2 y C e y ) My D kx 2 C e y : N D x 3 C xe y La ecuacin diferencial es exacta si se cumple My D Nx ) kx 2 C e y D 3x 2 C e y ) kx 2 D 3x 2 ) k D 3: Por lo tanto la ecuacin diferencial es exacta cuando k D 3. Ejemplo 2.6.8 Obtener alguna funcin M.x; y/ de modo que la siguiente ecuacin diferencial sea exacta: M.x; y/ dx C .x 3 C xe y H Partimos del conocimiento de la funcin N.x; y/: N D x 3 C xe y La ecuacin diferencial es exacta si cumple: My D Nx ) Entonces, integrando esta ltima expresin se tiene:
y
y/ dy D 0:
y ) Nx D 3x 2 C e y :
y/ dy D 0:
y ) Nx D 3x 2 C e y :
@M D 3x 2 C e y : @y
@M dy D @y
.3x 2 C e y / dy ) M.x; y/ D
.3x 2 C e y / dy D 3x 2 y C e y C h.x/:
Donde h.x/ es cualquier funcin de x , esto es, que no dependa de y . M.x; y/ podra ser, entre otras funciones: M.x; y/ D 3x 2 y C e y C arctan x I M.x; y/ D 3x y C e C x ln x I M.x; y/ D 3x y C e C C I
2 y 2 y
Ejemplo 2.6.9 Determinar alguna funcin N.x; y/ de modo que la siguiente ecuacin diferencial sea exacta: .y 2 cos x 3x 2 y 2x/ dx C N.x; y/ dy D 0:
2.6 Ecuaciones diferenciales exactas H Partimos del conocimiento de la funcin M.x; y/: M D y 2 cos x 3x 2 y 2x ) My D 2y cos x 3x 2 :
@N D 2y cos x @x
3x 2:
@N dx D @x
.2y cos x
3x 2 / dx ) N.x; y/ D
.2y cos x
3x 2 / dx D 2y sen x
x 3 C h.y/:
Donde h.y/ es cualquier funcin de y , esto es, depende de x . N.x; y/ podra ser, entre otras funciones, cualquiera de las siguientes: N.x; y/ D 2y sen x N.x; y/ D 2y sen x N.x; y/ D 2y sen x x 3 C ln y I x
3
ye I
x3 C C I
6xy
4 y 0 I con y.0/ D 1: 1 C y2
Primero obtenemos la solucin general de la ecuacin diferencial y luego aplicamos la condicin inicial: 4 2 3y C 2y sen 2x D cos 2x 6xy y0 ) 1 C y2 4 dy 2 ) 3y C 2y sen 2x D cos 2x 6xy ) 1 C y 2 dx 4 cos 2x 6xy ) .3y 2 C 2y sen 2x/ dx dy D 0 ) 1 C y2 4 ) .3y 2 C 2y sen 2x/ dx C 6xy cos 2x C dy D 0: 1 C y2
) My D Nx ) la ED es exacta ) @f D N: @y
@f DM @x
&
@f dx D @x
M dx ) f .x; y/ D
M dx D
) f .x; y/ D 3y 2 x C y. cos 2x/ C h.y/: Derivamos con respecto a y : @ @f D 3y 2 x C y. cos 2x/ C h.y/ D 6xy @y @y cos 2x C h 0 .y/:
4 4 ) h 0 .y/ D : 1 C y2 1 C y2
4 dy D 4 arctan y C C1 : 1 C y2
f .x; y/ D 3xy 2
y cos 2x C 4 arctan y C C1 :
Por lo tanto, la solucin general de la ecuacin diferencial exacta es: f .x; y/ D C2 ) 3xy 2 ) 3xy
2
Finalmente se aplica la condicin inicial: y.0/ D 1 ) y D 1 & x D 0: DC ) C D 3.0/12 1 cos 0 C 4 arctan 1 D C ) 0 1 C 4 4 Por lo tanto la solucin del PVI es: 3xy 2 y cos 2x C 4 arctan y D 1:
1:
3/y 0 D 0.
.y cos x C 2xe y C 1/ dx C .sen x C x 2 e y C 2y Entonces M D y cos x C 2xe y C 1 ) N D sen x C x 2 e y C 2y 3 ) My D cos x C 2xe y Nx D cos x C 2xe y
3/ dy D 0:
(2.7)
Por lo tanto, existe f .x; y/ tal que fx D M & fy D N . Partiendo de: fx D M D y cos x C 2xe y C 1: Integrando con respecto a x :
x x
fx dx D
x
M dx )
x x
) f .x; y/ D
M dx D
.y cos x C 2xe y C 1/ dx D y
cos x dx C 2e y
x dx C
dx ) (2.8)
) f .x; y/ D y sen x C x 2 e y C x C h.y/: Derivando parcialmente con respecto a y : fy D sen x C x 2 e y C h 0 .y/: Utilizando la condicin fy D N para despejar h 0 .y/: fy D N D sen x C x 2 e y C 2y 3:
2.6 Ecuaciones diferenciales exactas Se obtiene: sen x C x 2 e y C h 0 .y/ D sen x C x 2 e y C 2y ) h 0 .y/ D 2y 3: Integrando: h.y/ D y 2 Sustituyendo h.y/ en (2.8), obtenemos: f .x; y/ D y sen x C x 2 e y C x C y 2 Entonces la solucin general de la ED dada, es: f .x; y/ D C2 ) ) y sen x C x e C x C y
2 y 2 y 2
11
3 )
3y C C1 :
3y C C1 :
3y C C1 D C2 ) 3y D C:
) y sen x C x e C x C y 2
.2xy C 2y 2 e 2x
sen x )
My D 2x C 4ye 2x Nx D 2x C 4ye 2x
N D x 2 C 2ye 2x C ln y )
) My D Nx entonces la ED es exacta.
Por lo tanto existe f .x; y/, tal que fx D M & fy D N . Partiendo de fy D N D x 2 C 2ye 2x C ln y: Integrando con respecto a y :
y y
fy dy D
y
N dy )
y
) f .x; y/ D
N dy D
.x 2 C 2ye 2x C ln y/ dy D x 2 y C h.x/:
dy C 2e 2x
y dy C
ln y dy ) (2.9)
fx D 2xy C 2y 2 e 2x C h 0 .x/: Utilizando la condicin fx D M , para despejar h 0 .x/, se tiene que: 2xy C 2y 2 e 2x C h 0 .x/ D 2xy C 2y 2 e 2x ) h 0 .x/ D sen x ) ) h.x/ D cos x C C1 : Sustituyendo h.x/ en (2.9) se obtiene: f .x; y/ D x 2 y C y 2 e 2x C y ln y entonces la solucin general de la ED, es: f .x; y/ D C2 ) ) x 2 y C y 2 e 2x C y ln y ) x yCy e
2 2 2x
sen x )
y C cos x C C1 ;
y C cos x C C1 D C2 ) y C cos x D C:
C y ln y
12
Considerando que la condicin inicial y.0/ D 1 ) x D 0 & y D 1, se obtiene: 02 1 C 12 e 0 C 1 ln.1/ Por lo tanto, la solucin del PVI es: x 2 y C y 2 e 2x C y ln y y C cos x D 1: 1 C cos.0/ D C ) 0 C 1 C 0 1 C 1 D C ) C D 1:
dy D dx
ax C by I bx C cy
dy ax C by D ) .bx C cy/ dy D .ax C by/ dx ) dx bx C cy ) .ax C by/ dx C .bx C cy/ dy D 0: Se tiene entonces: M D ax C by ) My D b N D bx C cy ) Nx D b ) My D Nx ) la ED es exacta.
f .x:y/ D
M dx D
.ax C by/ dx D a
x2 C byx C h.y/: 2
(2.10)
Derivando parcialmente con respecto a y : fy D bx C h 0 .y/: Utilizando la condicin fy D N , para despejar h 0 .y/, se tiene que: bx C h 0 .y/ D bx C cy ) h 0 .y/ D cy ) ) h.y/ D c Sustituyendo h.y/ en (2.10), obtenemos: f .x; y/ D 1 2 1 ax C bxy C cy 2 C K1 : 2 2 y2 C K1 : 2
Entonces la solucin general de la ecuacin diferencial es: 1 2 1 ax C bxy C cy 2 C K1 D K2 ) ax 2 C 2bxy C cy 2 C 2K1 D 2K2 ) 2 2 ) ax 2 C 2bxy C cy 2 D K:
.e x sen y
My D e x cos y Nx D e x cos y
2 sen x 2 sen x
) My D Nx ) la ED es exacta.
2.6 Ecuaciones diferenciales exactas Entonces existe f .x; y/ tal que fx D M & fy D N . De fy D N se obtiene al integrar con respecto a y :
y y
13
f .x; y/ D
N dy D
) f .x; y/ D e x sen y C 2y cos x C h.x/: Derivando parcialmente con respecto a x : fx D e x sen y Utilizando que fx D M para despejar h 0 .x/ se tiene: e x sen y 2y sen x C h 0 .x/ D e x sen y ) h.x/ D C1 : 2y sen x ) h 0 .x/ D 0 ) 2y sen x C h 0 .x/:
Sustituyendo h.x/ en (2.11), se obtiene: f .x; y/ D e x sen y C 2y cos x C C1 : Por lo tanto la solucin general es: f .x; y/ D C2 ) e x sen y C 2y cos x C C1 D C2 ) ) e x sen y C 2y cos x D C:
.ye xy cos 2x
3/ dy D 0.
2e xy sen 2x C 2x ) 3 )
) My D Nx ) la ED es exacta. Entonces existe f .x; y/ tal que fx D M & fy D N . Integrando con respecto a y la ltima igualdad:
y y y
f .x; y/ D
N dy D
3/ dy D cos 2x
e xy x dy
dy ) (2.12)
) f .x; y/ D e xy cos 2x
Derivando con respecto a x e igualando a M : fx D 2e xy sen 2x C ye xy cos 2x C h 0 .x/I M D ye xy cos 2x 2e xy sen 2x C 2x I 2e xy sen 2x C ye xy cos 2x C h 0 .x/ D ye xy cos 2x Entonces, despejando h 0 .x/ e integrando: h 0 .x/ D 2x ) h.x/ D x 2 C C1 : Sustituyendo h.x/ en (2.12), obtenemos: f .x; y/ D e xy cos 2x Por lo tanto, la solucin general de la ED es: f .x; y/ D C2 ) e xy cos 2x 3y C x 2 D C: 3y C x 2 C C1 : 2e xy sen 2x C 2x:
14 Ejercicios 2.6.1 Ecuaciones diferenciales exactas. Soluciones en la pgina 15 Resolver las siguientes ecuaciones diferenciales exactas. 1. .3x 2 C 2xy 2 2x/ dx C .3y 2 C 2x 2y 2y/ dy D 0.
5. .y cos x C 2xe y
1/ dx D .1
8. .y ln x C y/ dx C .x ln x
e y / dy D 0.
9. y sec 2 .xy/ C sen x dx C x sec 2 .xy/ C sen y dy D 0. x x y y 1 y 1 1 x 10. sen cos C 1 dx C cos sen C 2 dy D 0. y y x x y x2 x y2 y x y y 11. ye C 2 y0 D 2 xe x . x C y2 x C y2 12. .y sen.2x/ 13. .2xy 2y C 2y 2 e xy / dx kxe 3y
2
.2x
sen 2 x
4xye xy / dy D 0.
e 3y / dx C .x 2
3y 2 / dy D 0.
Resolver los siguientes PVI. 14. y 2 cos x 3x 2 y 2x dx C 2y sen x x 3 C ln y dy D 0 con y.1/ D 0. con y.0/ D e
15. .y C xe x C 2/ dx C .x C e y / dy D 0
16. .e y sen x C tan y/ dy e y cos x x sec 2 y dx D 0 con y.0/ D 0. xCy 17. dx C .y C arctan x/ dy D 0 con y.0/ D 1. 1 C x2 18. Determinar los valores de las constantes A y B que hacen exacta a la ecuacin diferencial: y3 y 2 sen x 2x dx C Axy 2 C By cos x 3y 2 dy D 0:
19. Obtener una funcin M.x; y/ de modo tal que sea exacta la ecuacin diferencial: M.x; y/ dx C .e x cos y C 2 cos y/ dy D 0: 20. Obtener una funcin N.x; y/ de modo tal que sea exacta la ecuacin diferencial: 2 x y2 N.x; y/ dy C 2x dx D 0: x2y
2.6 Ecuaciones diferenciales exactas Ejercicios 2.6.1 Ecuaciones diferenciales exactas.Soluciones, pgina 14 1. x 3 C x 2 y 2 x2 y2 C y3 D C
15
5. 2y sen.x/ C 2x 2e y 6. e x sen.y/
2y cos.x/ C y 2 x yDc
7. x 4 C 2x 2y C y 2 8. xy ln.x/ ey D c
2xy
y 1 y cos.2x/ C D c 2 2
x tan.y/ D 1
17. y 2 C 2y arctan.x/ C ln.1 C x 2 / D 1 18. La ED ser exacta si A D 3 y B D 2 19. M.x; y/ D e x sen.y/ C k.x/, donde k.x/ es cualquier funcin de x con derivada continua. 20. N.x; y/ D y2 x2 C k.y/ Donde k(y) es cualquier funcin de y con derivada continua. xy 2