Beruflich Dokumente
Kultur Dokumente
2
Mtodos de solucin de ED de primer orden
&
@f D x 3 C 2x 2y; @y
(2.1)
es exacta, pues adems de que el lado izquierdo es la diferencial total de f .x; y/ D x 3 y C x 2 y 2 , podemos comprobar la igualdad de las parciales mixtas: @M D 3x 2 C 4xy @y & @N D 3x 2 C 4xy: @x
Sin embargo esta nueva ED (2.2), aunque es equivalente a la (2.1), ya no es exacta, como podemos ver con las derivadas parciales mixtas: @M D 3x C 4y @y & @N D 2x C 2y: @x
.3xy C 2y / dx C .x C 2xy/ dy D 0:
2 2 M N
(2.2)
Esto nos sugiere la idea de la existencia de ecuaciones diferenciales que no son exactas, pero que al ser multiplicadas por ciertas funciones .x; y/ dan como resultado ecuaciones diferenciales exactas, cuyas soluciones son tambin soluciones de las ecuaciones diferenciales originales no exactas. Supongamos inicialmente que se tiene una ecuacin diferencial M.x; y/ dx C N.x; y/ dy D 0 que no es exacta. Esto es, que @M @N @y @x y que .x; y/ es una funcin tal que la ecuacin diferencial, obtenida al multiplicar (2.3) por : .x; y/M.x; y/ dx C .x; y/N.x; y/ dy D 0 resulta exacta. Es decir, que @ @ . M/ D . N /: @y @x Cuando esto sucede se dice que la funcin .x; y/ es un factor integrante de la ED (2.3). Se supone, claro est, que la funcin .x; y/ no es la funcin idnticamente cero, .x; y/ 0 y adems .x; y/ puede depender de dos variables x & y o bien de slo una de ellas. Ejemplo 2.7.2 Vericar que la funcin .x/ D .3x 5 tan y H Inicialmente se tiene: M.x; y/ D 3x 5 tan y 2y 3 ) @M D 3x 5 sec 2 y 6y 2 @y @N ) D 6x 5 sec 2 y C 12x 2y 3 C 3y 2 @x
3
(2.3)
2y 3 / dx C .x 6 sec 2 y C 4x 3 y 3 C 3xy 2 / dy D 0:
@M @N : @y @x
, se obtiene:
2 2
.3x tan y 2x
2y / dx C x
3 3
3 3
) .3x 2 tan y
y / dx C .x 3 sec 2 y C 4y 3 C 3x
@M D 3x 2 sec 2 y 6x 3 y 2 @y @N N D N D x 3 sec 2 y C 4y 3 C 3x 2 y 2 ) D 3x 2 sec 2 y 6x 3 y 2 @x Entonces la nueva ecuacin diferencial (2.4) es exacta. 1 Por lo tanto la funcin .x/ D 3 D x 3 es un factor integrante de la ED dada. x M D M D 3x 2 tan y 2x
3 3
@M @N D : @y @x
2.7 Factor integrante Ejemplo 2.7.3 Vericar que la funcin .y/ D y 2 sea un factor integrante de la ecuacin diferencial: .3x 2 y C y 2 / dx C .3x 3 H Inicialmente se tiene: M.x; y/ D 3x y C y N.x; y/ D 3x 3
2 2
y 2 C 4xy/ dy D 0:
y 2 C 4xy
@M ) D 3x 2 C 2y I @y @N ) D 9x 2 C 4y I @x
@M @N ) la ED no es exacta. @y @x
Al multiplicar la ecuacin diferencial por la funcin .y/ D y 2 , se obtiene: y 2 .3x 2 y C y 2 / dx C y 2 .3x 3 ) .3x 2 y 3 C y 4 / dx C .3x 3 y 2 Y ahora: M D M D 3x 2y 3 C y 4 N D N D 3x 3y 2 y 4 C 4xy 3 ) @M D 9x 2 y 2 C 4y 3 @y @N ) D 9x 2 y 2 C 4y 3 @x y 2 C 4xy/ dy D 0 ) y 4 C 4xy 3 / dy D 0: (2.5)
Por lo que la funcin .y/ D y 2 es un factor integrante de la ecuacin diferencial dada. 1 sea un factor integrante de la ecuacin diferencial: x2 C y2 y/ dy D 0:
Ejemplo 2.7.4 Vericar que la funcin .x; y/ D .2x 2 C 2y 2 H Inicialmente se tiene: M.x; y/ D 2x C 2y N.x; y/ D x 2 C y 2
2 2
x/ dx C .x 2 C y 2
x y
@M ) D 4y @y @N ) D 2x @x
@M @N ) la ED no es exacta. @y @x 1 : x2 C y2 y dy D 0 ) (2.6)
@M D @y @N ) D @x
x. 1/ x 2 C y 2 y. 1/ x 2 C y 2
@M @N D : @y @x
La nueva ecuacin diferencial (2.6) es exacta. Por lo tanto, la funcin integrante de la ecuacin diferencial dada.
x2
1 es un factor C y2
Por otra parte, si f .x; y/ D C es la solucin general de la ecuacin diferencial exacta: .x; y/M.x; y/ dx C .x; y/N.x; y/ dy D 0; entonces f .x; y/ D C satisface a la ecuacin diferencial: .x; y/ M.x; y/ dx C N.x; y/ dy D 0; por lo que f .x; y/ D C es la solucin general de la ecuacin diferencial (no exacta) M.x; y/ dx C N.x; y/ dy D 0; ya que .x; y/ 0: Es decir, la solucin f .x; y/ D C de la nueva ecuacin diferencial exacta es tambin solucin general de la ecuacin diferencial original no exacta. Por lo tanto, para resolver la ecuacin diferencial no exacta debemos resolver la ecuacin diferencial exacta. Pero la ecuacin diferencial exacta se tendr siempre y cuando se conozca un factor integrante, por lo cual es muy importante saber determinar u obtener dicho factor integrante para la ecuacin diferencial no exacta Cmo obtenerlo? Veamos el caso general: La funcin .x; y/ es un factor integrante para la ecuacin diferencial no exacta: M.x; y/ dx C N.x; y/ dy D 0 si y slo si M.x; y/ dx C N.x; y/ dy D 0 @. N / @M @ @N @ @. M / D ) CM D CN : ) @y @x @y @y @x @x Vemos que .x; y/ debe ser solucin de la ecuacin diferencial: My C M
y
es exacta )
D Nx C N
x:
(2.7)
Observamos que para determinar necesitamos resolver una ecuacin diferencial parcial, lo cual no est a nuestro alcance. Por lo tanto, no podemos resolver el problema general, que es cuando un factor integrante .x; y/ depende de ambas variables x & y .
.x/
&
@ D @y
D 0:
D .x/Nx C N
Nx / .x/ )
.x/ My Nx D ; .x/ N
My Nx que es una ecuacin diferencial ordinaria para .x/ siempre y cuando el cociente dependa N My Nx slo de x , es decir, siempre y cuando este cociente no dependa de la variable y , despus de N 0 .x/ simplicar dicha expresin. Por qu?, porque no depende de y , depende solamente de x . .x/
2.7 Factor integrante Ahora bien, si My N Nx D g.x/, entonces existe un factor integrante
0
de donde
.x/ dx D .x/
g.x/ dx ) ln .x/ D
g.x/ dx )
.x/ D e
g.x/ dx
Notemos que g.x/ dx D h.x/ C C1 ; con C1 2 R ) .x/ D e h.x/CC1 D e h.x/ e C1 D Ce h.x/ , con C 2 R:
Lo cual nos indica la existencia de una innidad de factores integrantes. Pero, debido a la necesidad de contar con slo un factor integrante, podemos ignorar la constante de integracin C y quedarnos con .x/ D e h.x/ . 2. Cuando depende slo de y (esto es, D .y/ ) no depende de x ). @ D @y
y
.y/
&
@ D @x
D 0:
D .y/Nx C N
My / )
Nx My que es una ecuacin diferencial ordinaria para .y/ siempre y cuando dependa slo de y , M Nx My es decir, siempre y cuando el cociente no dependa de la variable x , despus de simplicar M dicha expresin. Por qu?, porque Ahora bien, si Nx M .y/ no depende de x , depende solamente de y . .y/ My D g.y/, entonces existe un factor integrante
0 0
D g.y/ dy;
de donde
g.y/ dy ) ln .y/ D
g.y/ dy )
.y/ D e
g.y/ dy
Notemos que g.y/ dy D j.y/ C C1 ; con C1 2 R ) .y/ D e j.y/CC1 D e j.y/e C1 D Ce j.y/, con C 2 R:
Lo cual nos indica la existencia de una innidad de factores integrantes. Pero debido a la necesidad de contar con slo un factor integrante, podemos ignorar la constante de integracin C y quedarnos con .y/ D e j.y/.
6 Ejemplo 2.7.5 Resolver la ED H Inicialmente se tiene: M D 3x 5 tan y 2y 3 ) My D 3x 5 sec 2 y 6y 2 N D x 6 sec 2 y C 4x 3 y 3 C 3xy 2 .3x 5 tan y
) My Nx :
6y 2 / .6x 5 sec 2 y C 12x 2y 3 C 3y 2 / D x 6 sec 2 y C 4x 3y 3 C 3xy 2 3x 5 sec 2 y 12x 2y 3 9y 2 3.x 5 sec 2 y C 4x 2y 3 C 3y 2 / D D D 6 x sec 2 y C 4x 3 y 3 C 3xy 2 x.x 5 sec 2 y C 4x 2 y 3 C 3y 2 / 3 D I que depende slo de x: x D .x/ dado por .x/ dx D .x/ .x/ D x 3 :
0 0
.x/ My Nx 3 D D ) .x/ N x ) ln .x/ D 3 ln x D ln x 3 ) Multiplicando la ecuacin diferencial por .x/ D x x Ahora se tiene: M D 3x 2 tan y
3 2 3 3
3 dx ) x
:
2 2
.3x tan y 2x
2y / dx C x
3 3
) .3x 2 tan y
y / dx C .x 3 sec 2 y C 4y 3 C 3x
2x
3
3 3
) M y D 3x 2 sec 2 y
2 2
6x 6x
3 2 3 2
y I
N D x sec y C 4y C 3x
) N x D 3x sec y
y I
) M y D N x:
La nueva ED (2.8) es exacta. Entonces existe una funcin f .x; y/ que cumple df D fx dx C fy dy D M dx C N dy: Es decir, existe f .x; y/ tal que fx D M & fy D N . Integrando fx
x x
M dx D
.3x 2 tan y
2x
3 3
y / dx ) y C h 0 .y/I
y C h.y/ )
@f D x 3 sec 2 y C 3x @y
2 2
y C h 0 .y/ D x 3 sec 2 y C 4y 3 C 3x
4
2 2
) h.y/ D y C C1 :
y C y 4 C C1 :
Por lo tanto, la solucin general de la ecuacin diferencial exacta , as como de la no exacta, es f .x; y/ D C2 ) x 3 tan y C x ) x 3 tan y C x
2 3 2 3
y C y 4 C C1 D C2 )
y C y 4 D C:
2.7 Factor integrante Ejemplo 2.7.6 Resolver la ED H Inicialmente se tiene: M D 3x 2 y C y 2 N D 3x 3 y 2 C 4xy ) My D 3x 2 C 2y I ) Nx D 9x 2 C 4y I My N ) My Nx ) la ED no es exacta. Nx .3x 2 y C y 2 / dx C .3x 3 y 2 C 4xy/ dy D 0.
D .x/? Es decir, es Nx D
no depende slo de x , ya que tambin depende de y . Esto nos permite asegurar que N no existe un factor integrante D .x/. Nx My Ahora bien, existe un factor integrante D .y/? Es decir: es una funcin slo de y ? Veamos: M Nx M Nx My My D D .9x 2 C 4y/ .3x 2 C 2y/ 6x 2 C 2y 2.3x 2 C y/ 2 D D D : 3x 2 y C y 2 3x 2y C y 2 y.3x 2 C y/ y
2 est en funcin slo de y , lo que nos permite asegurar que existe un factor M y D .y/, el cual est dado por
0
.y/ Nx My 2 D D ) .y/ M y
.y/ dy D .y/
2 dy ) y
) ln .y/ D 2 ln y D ln y 2 )
.y/ D y 2 :
Al multiplicar la ecuacin diferencial no exacta por .y/ D y 2 : y 2 .3x 2 y C y 2 / dx C y 2 .3x 3 ) .3x 2 y 3 C y 4 / dx C .3x 3 y 2 Ahora se tiene: M D 3x 2 y 3 C y 4 N D 3x 3 y 2 y 4 C 4xy 3 ) M y D 9x 2 y 2 C 4y 3 ) N x D 9x 2 y 2 C 4y 3 ) M y D N x ) la nueva ED (2.9) es exacta. y 2 C 4xy/ dy D 0 ) y 4 C 4xy 3 / dy D 0: (2.9)
Entonces existe una funcin f .x; y/ tal que df D fx dx C fy dy D M dx C N dy: Es decir, existe f .x; y/ tal que fx D M
y
&
fy D N :
y
fy D N ) f .x; y/ D ) f .x; y/ D 3x 3
N dy D y3 3
.3x 3 y 2 y5 y4 C 4x 5 4
y 4 C 4xy 3 / dy ) C h.x/ )
) f .x; y/ D x 3 y 3 y ahora
1 5 @f y C xy 4 C h.x/ ) D 3x 2 y 3 C y 4 C h 0 .x/I 5 @x
Por lo tanto, la solucin general de la ecuacin diferencial exacta, as como de la no exacta, es f .x; y/ D C2 ) x 3 y 3 ) 5x 3y 3 1 5 y C xy 4 C C1 D C2 ) 5 y 5 C 5xy 4 D C:
Ejemplo 2.7.7 Resolver la ecuacin diferencial: .3y 2 cot x C sen x cos x/ dx H Inicialmente se tiene: M D 3y 2 cot x C sen x cos x N D 2y Existe un factor integrante ) My D 6y cot x ) Nx D 0 ) My Nx I entonces la ED (2.10) no es exacta. My N Nx 2y dy D 0: (2.10)
D .x/?, es decir, es My N Nx D
Esta ltima expresin depende slo de x ; entonces s existe un factor integrante ecuacin diferencial My Nx d .x/ D D 3 cot x ) D 3 cot x dx ) .x/ N d cos x ) D 3 dx ) ln D 3 ln.sen x/ D ln.sen x/ sen x ) .x/ D sen 3 x: Multiplicando la ecuacin diferencial (2.10) por el factor integrante: .3y 2 sen Se tiene ahora que M D 3y 2 sen N D 2y sen
4 4 0
x cos x C sen
x cos x/ dx
2y sen
x dy D 0:
(2.11)
x cos x C sen x
x cos x
) M y D 6y sen ) N x D 6y sen
4 4
) M y D N x:
fy D N . Tenemos:
3
fx D M
&
f .x; y/ D
N dy D
2y sen
x dy D y 2 sen
x C h.x/:
x cos x )
1
x cos x ) h.x/ D
x cos x dx D
x C C1 :
f .x; y/ D y 2 sen
sen
x C C1 :
sen
x C C1 D C2 )
y2 1 C DC ) 3 sen x sen x
) y 2 C sen 2 x D C sen 3 x:
Ejemplo 2.7.8 Resolver la ecuacin diferencial: .y ln y C ye x / dx C .x C y cos y/ dy D 0: H Inicialmente se tiene: M D y ln y C ye x N D x C y cos y Existe un factor integrante ) My D 1 C ln y C e x ) Nx D 1 D .x/? My N Nx D 1 C ln y C e x 1 ln y C e x D : x C y cos y x C y cos y D .x/. ) My Nx ) la ED no es exacta. (2.12)
El ltimo cociente no depende slo de x , entonces no existe Existe un factor integrante D .y/ ? Nx M My D ln y e x D y ln y C ye x
ln y C e x D y.ln y C e x /
En este caso, este ltimo cociente s depende slo de y , entonces existe ecuacin diferencial .y/ Nx My 1 d dy D D ) D ) .y/ M y y ) ln D ln y D ln y 1 ) .y/ D y 1 : Multiplicando la ecuacin diferencial (2.12) por el factor integrante: .ln y C e x / dx C .xy Ahora tenemos M D ln y C e x N D xy
1 1 0
C cos y/ dy D 0:
(2.13)
) My D
C cos y
1 y ) Nx D y &
fy D N . Tenemos:
x
f .x; y/ D
.ln y C e x / dx D x ln y C e x C h.y/:
10 Entonces:
f .x; y/ D x ln y C e x C sen y C C1 :
y0 D
y sen 2x C xy 2 . y 3 sen 2 x
Se puede escribir esta ecuacin diferencial como dy D dx y sen 2x C xy 2 ) .y sen 2x C xy 2 / dx D .y 3 sen 2 x/ dy ) y 3 sen 2 x ) .y sen 2x C xy 2 / dx C .y 3 sen 2 x/ dy D 0:
(2.14)
sen x
) My Nx ) la ED (2.14) no es exacta.
D .x/, ya que la expresin anterior no depende slo de x . D .y/? My M D 2 sen 2x 2xy 2.sen 2x C xy/ D D y sen 2x C xy 2 y.sen 2x C xy/ 2 : y
.y/ D .y/
sen 2x C x/ dx C .y
sen 2 x/ dy D 0:
(2.15)
sen 2x C x ) y
2
My D y Nx D y
2 2
sen x )
sen 2x
) My D Nx )
&
1
fy D N . De la primera condicin: 1 y 2
1
fx D M ) f .x; y/ D
.y
sen 2x C x/ dx D
cos 2x C
x2 C h.y/: 2
(2.16)
11
cos 2x C h 0 .y/ D y
2
sen2 x ) y
2
) h 0 .y/ D y
sen 2 x
1 y 2
cos 2x D y
) h 0 .y/ D y
1 y 2
) h.y/ D
1 y 2
1 1 dy D y 2 C y 2 2
sen 2 x 1
1 2
1 cos 2x 2
1 y 2
cos 2x D y
1 y 2
C C1 :
cos 2x C
x2 1 1 C y2 C y 2 2 2
C C1 :
Por lo tanto, por ser la diferencial de f .x; y/ igual a cero, f .x; y/ es una constante y la solucin general de la ED es f .x; y/ D C2 ) 1 1 1 1 1 y cos 2x C x 2 C y 2 C y 1 C C1 D C2 ) 2 2 2 2 cos 2x 1 2 1 1 1 2 ) y C .x C y / D C ) y 1 sen 2 x C .x 2 C y 2 / D C: 2 2 2
Ejemplo 2.7.10 Comprobar que la ED lineal y 0 C p.x/y D q.x/; integrante D .x/. H y 0 C p.x/y D q.x/ ) Se tiene: M D p.x/y N D1 q.x/ ) My D p.x/ ) Nx D 0 D .x/? My N Por lo anterior, s existe un factor integrante
0
dy C p.x/y dx
q.x/ D 0 ) p.x/y
q.x/ dx C dy D 0:
(2.17)
Nx
p.x/ 1
D p.x/:
D p.x/ ) ) .x/ D e
R p.x/ dx
d :
D p.x/ dx )
p.x/ dx
:
R p.x/ dx
p.x/y
q.x/e
dx C e
p.x/ dx
dy D 0:
(2.18)
12 Entonces: M D p.x/y N De
R p.x/ dx
q.x/e
p.x/ dx
) M y D p.x/e ) Nx D e
R
p.x/ dx
p.x/ dx
p.x/
) M y D N x ) la ED (2.18) es exacta.
R p.x/ dx
Por lo tanto la ED (2.17) s tiene un factor integrante y ste es .x/ D e Ejemplo 2.7.11 Comprobar que la ED lineal x 0 C p.y/x D q.y/; factor integrante D .y/. H Reescribimos la ED en formato diferencial: x 0 C p.y/x D q.y/ ) Se tiene ahora: M D1 N D p.y/x ) My D 0 ) Nx D p.y/ D .x/? My N Existe un factor integrante D .y/? Nx M S existe un factor integrante
0
dx C p.y/x dy
q.y/ D 0 ) dx C p.y/x
q.y/ dy D 0:
(2.19)
q.y/
Nx
My
p.y/ 1
D p.y/ ) ) .y/ D e
R p.y/ dy
D p.y/ dy )
p.y/ dy ) ln .y/ D
p.y/ dy )
: q.y/e
R p.y/ dy
p.y/ dy
dx C p.y/x
dy D 0:
(2.20)
) My D e q.y/e
R p.y/ dy
p.y/ dy R
p.y/
N D p.y/x
) N x D p.y/e
p.y/ dy
) M y D N x ) la ED (2.20) es exacta.
R p.y/ dy
Por lo tanto la ED (2.19) s tiene un factor integrante y ste es .y/ D e Ejercicios 2.7.1 Factor integrante. Soluciones en la pgina 14 1. Vericar que la funcin .x; y/ D
xy sen y C xy 2 sen x C
2.7 Factor integrante 2. Vericar que la funcin .x; y/ D sec 2 .xy/ sea un factor integrante de la ecuacin diferencial: y C sen x cos 2 .xy/ dx C x C sen y cos 2 .xy/ dy D 0: 3. Vericar que la funcin .x; y/ D 1 sea un factor integrante de la ecuacin diferencial: xy.x C 2y/
13
.xy C y 2 / dx C .x 2 C 3xy/ dy D 0:
Resolver las siguientes ecuaciones diferenciales encontrando un factor integrante. 4. 3xy C y 2 dx C x 2 C xy dy D 0: 5. 2xy 2 3y 3 dx C 7 3xy 2 dy D 0.
6. y 3 C 2e x y dx C e x C 3y 2 dy D 0. 7. 2x 2y C 2y C 5 dx C .2x 3 C 2x / dy D 0. 8. y 3 3x dx D . dy y 2ye
x
9. .sen y
sen x/ dx C .cos y C 2e
cos x/ dy D 0.
14
Ejercicios 2.7.1 Factor Integrante. Pgina 12 1. 2. 3. 4. 5. 1 es un factor integrante. xy .x; y/ D sec 2 .xy/ es un factor integrante. 1 .x; y/ D es un factor integrante. xy.x C 2y/ 1 x3y C x2y 2 D C . 2 7 D C. x 2 3xy y .x; y/ D