Documente Academic
Documente Profesional
Documente Cultură
7 Factor integrante
Como puede observarse en todas las ED resueltas hasta ahora, es frecuente que hagamos manipulaciones algebraicas para simplicar su forma y resolverlas con cierta comodidad. Esto es vlido, pues las ED antes y despus de las operaciones tendrn la misma solucin. Sin embargo, algunas de las ED pueden perder la propiedad de exactitud al modicarse algebraicamente. Ejemplo 2.7.1 Vamos a calcular la diferencial total de la funcin f .x; y/ D x 3 y C x 2y 2 y manipular la ED asociada para obtener una ED no exacta. H @f D 3x 2 y C 2xy 2 @x se tiene que df D Claramente, la ED
2
&
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
.3x y C 2xy / dx C .x C 2x y/ dy D 0
M at
w.
em
at
ic
@f D x 3 C 2x 2y; @y
a1
.c om
Dado que
ww
(2.1)
(2.2)
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
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 @ @ . M/ D . N /: @y @x Cuando esto sucede se dice que la funcin .x; y/ es un factor integrante de la ED (2.3). resulta exacta. Es decir, que (2.3)
ww
w.
at
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. 1 sea un factor integrante de la ecuacin diferencial: x3
em
at
ic
a1
.c om
@M @N : @y @x
, se obtiene:
2 2
.3x 5 tan y 2x
2y 3 / dx C x
3 3
) .3x 2 tan y
y / dx C .x 3 sec 2 y C 4y 3 C 3x
@M M D M D 3x tan y 2x y ) 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
2 3 3
@M @N D : @y @x
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 2y C y 2 N.x; y/ D 3x 3 y 2 C 4xy ) @M D 3x 2 C 2y I @y @N ) D 9x 2 C 4y I @x y 2 C 4xy/ dy D 0:
@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 y C y N D N D 3x 3y 2
2 3 4
at em
)
x2
x/ dx C .x 2 C y 2
at
N.x; y/ D x 2 C y 2
ww
M.x; y/ D 2x 2 C 2y 2
w.
Inicialmente se tiene:
@M D 4y @y @N ) D 2x @x
ic a
@M @N ) la ED no es exacta. @y @x 1 : x2 C y2 y dy D 0 ) (2.6)
1.c
2 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
om
@M ) D @y @N ) D @x
x. 1/ x C y
2y D 2xy x C y
y. 1/ x 2 C y 2
2x D 2xy x 2 C y 2 .x; y/ D
@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:
em
at
ic a
1.c
om
es exacta )
D Nx C N
x:
(2.7)
ww
w.
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 .
at
.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/
Ahora bien, si
My N
Nx
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/
&
m at
.y/My C M
D .y/Nx C N
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
ww w.
at e
ic
a1
.c
@ D @x
om
D 0:
My / )
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/.
.3x 5 tan y
2y 3 / dx C .x 6 sec 2 y C 4x 3 y 3 C 3xy 2 / dy D 0.
2y
3 3 3 2
) My D 3x sec y
5 2
6y
N D x sec y C 4x y C 3xy
Nx
) My Nx :
6y 2 / .6x 5 sec 2 y C 12x 2y 3 C 3y 2 / D 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 6 D D 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
.3x 5 tan y 2x
2y 3 / dx C x
3 3
.x 6 sec 2 y C 4x 3 y 3 C 3xy 2 / dy D 0 )
2 2
) .3x 2 tan y
y / dx C .x 3 sec 2 y C 4y 3 C 3x
em at
ic
a1
.c om
3 dx ) x
y / dy D 0:
(2.8)
at
) M y D 3x 2 sec 2 y ) N x D 3x 2 sec 2 y
6x 6x
3 2
y I y I
ww w.
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: & fy D N . Integrando fx
x x
N D x 3 sec 2 y C 4y 3 C 3x
2 2
3 2
) M y D N 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
y C y 4 C C1 D C2 ) y C y 4 D C:
2 3
.3x 2 y C y 2 / dx C .3x 3
y 2 C 4xy/ dy D 0.
) My D 3x 2 C 2y I ) Nx D 9x 2 C 4y I My
y 2 C 4xy
) My Nx ) la ED no es exacta. Nx
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 : 2 2 2 2 3x y C y 3x y C y y.3x 2 C y/ y
.y/ Nx My 2 D D ) .y/ M y
em at
ic
integrante
a1
0
Observamos que
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 .y/ dy D .y/ 2 dy ) y
) ln .y/ D 2 ln y D ln y 2 )
.y/ D y 2 :
ww w.
y 2 .3x 2 y C y 2 / dx C y 2 .3x 3
at
&
fy D N :
y
fy D N ) f .x; y/ D
y ahora
.c om
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 2y dy D 0: (2.10)
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:
at
em
Esta ltima expresin depende slo de x ; entonces s existe un factor integrante ecuacin diferencial
at
ic
My
Nx
a1
D .x/?, es decir, es
My
Nx
.c om
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
ww
w.
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
fy D N . Tenemos:
3
) M y D N x:
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 :
Entonces:
f .x; y/ D y 2 sen
sen
x C C1 :
sen
x C C1 D C2 )
y2 1 C DC ) sen 3 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 (2.12)
) My Nx ) la ED no es exacta.
D .y/ ? Nx M My D
ww
w.
En este caso, este ltimo cociente s depende slo de y , entonces existe ecuacin diferencial d D
at
ln y e x D y ln y C ye x
em
at
ln y C e x D y.ln y C e x /
ic
a1
.c om
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
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/:
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)
Se tiene ahora: M D y sen 2x C xy 2 N D y3 sen 2 x ) My D sen 2x C 2xy ) Nx D 2 sen x cos x D D .x/? Nx N Entonces no existe D sen 2x
at
D .y/? My M D
.y/ D .y/
ww
em
at
My
ic
a1
2 : y
2
) My Nx ) la ED (2.14) no es exacta.
w.
2 d 2 d dy ) D dy ) D 2 ) y y y ) ln D 2 ln y D ln y 2 ) .y/ D y 2 :
sen 2x C x/ dx C .y
sen 2 x/ dy D 0:
.c om
(2.15)
sen 2x C x ) y
2
My D y Nx D y
2 2
sen 2 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)
cos 2x C h 0 .y/ D y
2
) h 0 .y/ D y
sen 2 x
sen2 x ) 1 2 1 y cos 2x D y y 2 2 2 y 1 y 2
) h 0 .y/ D y
1 y 2
) h.y/ D
dy D
sen 2 x
1 cos 2x 2
1 y 2
cos 2x D y
1 y 2
1 2 1 y C y 2 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 1 cos 2x 1 1 ) y 1 C .x 2 C y 2 / D C ) y 1 sen 2 x C .x 2 C y 2 / D C: 2 2 2
at e
m
con p.x/ 0 no es exacta, pero s tiene factor
ww
w.
dy C p.x/y dx
at
ic a
Multiplicando por 2y :
1.c
om
q.x/ D 0 ) p.x/y
q.x/ dx C dy D 0:
(2.17)
) My D p.x/ ) Nx D 0 D .x/? My N
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)
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/
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
) M y D N x ) la ED (2.18) es exacta.
R p.x/ dx
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
w.
.y/ D e
p.y/ dy
:
R p.y/ dy
ww
D p.y/ )
at e
My
p.y/ 1
: q.y/e
R p.y/ dy
p.y/ dy
m
0
at
D p.y/, s depende slo de y:
D .x/.
ic a
1.c
om
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
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
) M y D N x ) la ED (2.20) es exacta.
R p.y/ dy
xy sen y C xy 2 sen x C
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/
om
.xy C y 2 / dx C .x 2 C 3xy/ dy D 0:
4. 3xy C y 2 dx C x 2 C xy dy D 0:
ww w.
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
5. 2xy 2
3y 3 dx C 7
3xy 2 dy D 0.
sen x/ dx C .cos y C 2e
at
x
cos x/ dy D 0.
em
at
ic a
1.c
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 2 D C. x 3xy y .x; y/ D 6. ye2x C y 3 ex D C . 7. 2xy C 5 arctan x D C . 8. xy 3 1 6 y D C. 6
ww
w.
M at em at
ic a
1.c
10. y 2 ey sen x D C .
om
9. ex sen y C 2y cos x D C .