Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Ecuaciones Diferenciales Exactas
Ecuaciones Diferenciales Exactas
2
Mtodos de solucin de ED de primer orden
@f
@f
dx C
dy :
@x
@y
14/ 1/ 2010
y/ dx C .3y 2
En efecto,
f .x; y/ D x 3
xy C y 3 )
@f
D 3x 2
@x
&
@f
D x C 3y 2 :
@y
Luego:
df D
@f
@f
dx C
dy D .3x 2
@x
@y
y/ dx C .3y 2
x/ dy :
Por lo que:
.3x 2
y/ dx C .3y 2
xy C y 3 D C :
Ejemplo 2.6.2 Mostrar que la ED .sen y Cy 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
y cos x )
@f
@f
D sen y C y sen x &
D x cos y
@x
@y
cos x :
Luego:
df D
@f
@f
dx C
dy D .sen y C y sen x/ dx C .x cos y
@x
@y
y cos x D C :
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 identificar si una ecuacin en su forma diferencial es exacta?.
3. Y una vez identificada, 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/,
entonces
@M
@N
, &
son funciones continuas en una regin rectangular
@y
@x
R D .x; y/ 2 R2 a < x < b & < y < ;
@N
@M
D
@y
@x
@M
@N
, &
son funciones continuas en una regin rectangular
@y
@x
2
R D .x; y/ 2 R a < x < b & c < y < d ;
@f
D M.x; y/
@x
&
@f
@M
@N
D N.x; y/ si y solo si
D
@y
@y
@x
En efecto
Tambin
@f
D M.x; y/
@x
&
@f
@M
@N
D N.x; y/ entonces
D
.
@y
@y
@x
@f
@
@ @f
@
D
D M.x; y/ )
M.x; y/ D
fx D fxy :
@x
@y
@y @x
@y
@
@ @f
@
@f
D N.x; y/ )
N.x; y/ D
D
fy D fyx :
@y
@x
@x @y
@x
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 identificar 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
Z x
Z x
Z x
@f
dx D
M.x; y/ dx ) f .x; y/ D
M.x; y/ dx D P .x; y/ C h.y/;
(2.1)
@x
Si
@
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
@f
D N.x; y/ se tiene:
@y
@f
D N.x; y/ , Py .x; y/ C h 0 .y/ D N.x; y/ , h 0 .y/ D N.x; y/
@y
Py .x; y/;
N.x; y/
Py .x; y/ dy:
Py .x; y/ dy:
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 verificar que no depende de x demostrando que
h .y/ D 0.
@x
h 0 .y/ D N.x; y/
D N.x; y/
D N.x; y/
D N.x; y/
Py .x; y/ D
Z x
@
M.x; y/ dxD
@y
Z x
@
M.x; y/ dx D
@y
Z x
My .x; y/ dx
.x; y/ dx D .x; y/
My .x; y/ D 0:
@M
@N
D
:
@y
@x
@f
.
@x
@f
D N.x; y/,
@y
.3x 2
y/ dx C .3y 2
x/ dy D 0.
.3x 2
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
@f
Luego la resolvemos, es decir, debemos determinar la funcin f .x; y/. Partimos de
D M , e integramos
@x
con respecto a x:
Z
@f
dx D
@x
M dx ) f .x; y/ D
) f .x; y/ D x 3
M dx D
.3x
x3
y/ dx D 3
3
yx C h.y/ )
(2.2)
xy C h.y/
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
xy C h.y/ D 0
x 1 C h 0 .y/ D x C h 0 .y/:
@f
D N:
@y
x C h 0 .y/ D 3y 2
x:
Despejamos h 0 .y/:
h 0 .y/ D 3y 2 :
Integrando con respecto a y se obtiene:
Z
h.y/ D
y3
3y dy D 3
3
2
C C1 D y 3 C C1 :
xy C y 3 C C1 :
xy C y 3 C C1 D C2 )
xy C y 3 D C:
cos x/ dy D 0.
@f
D N e integramos con respecto a y:
@y
Z y
Z y
Z y
@f
dy D
N dy ) f .x; y/ D
N dy D
.x cos y cos x/ dy D x sen y
@y
) f .x; y/ D x sen y y cos x C h.x/:
cos x )
y. sen x/ C h 0 .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 cos x C C1 :
y cos x C C1 D C2 )
y cos x D C:
2e 2y cos 3x/ dy D 0.
En este caso:
M D 2e 2x sen 3y C 3e 2y sen 3x
)
&
N D 3e 2x cos 3y
D 6e 2x cos 3y C 6e 2y sen 3x
Nx D .3 cos 3y/2e 2x
D 6e 2x cos 3y C 6e 2y sen 3x
2e 2y . 3 sen 3x/
2e 2y cos 3x )
) My D Nx :
&
@f
D N:
@y
@f
Partimos de
D M e integramos con respecto a x:
@x
Z x
Z x
Z x
Z x
@f
dx D
M dx ) f .x; y/ D
M dx D
.2e 2x sen 3y C 3e 2y sen 3x/ dx D
@x
Z
Z
D .sen 3y/ e 2x 2 dx C e 2y .sen 3x/ 3 dx D
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)
@f
D N para despejar h 0 .y/:
@y
3e 2x cos 3y
2e 2y cos 3x ) h 0 .y/ D 0:
Integrando se obtiene:
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 :
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
D N e integramos con respecto a y:
@y
Z y
Z y
Z y
@f
dy D
N dy ) f .x; y/ D
N dy D
.xe xy
@y
) f .x; y/ D e xy y 2 C y C h.x/:
Partimos de
Z
2y C 1/ dy D
Utilizamos la condicin
y 2 C y C h.x/ D e xy y C h 0 .x/:
@f
D M para despejar h 0 .x/:
@x
ye xy C h 0 .x/ D ye xy C 2x
1 ) h 0 .x/ D 2x
Integrando se obtiene:
h.x/ D
.2x
1/ dx D x 2
.e xy x
2y C 1/ dy )
(2.5)
x C C1 :
1:
y2 C y C x2
x C C1 :
xy
y2 C y C x2
2
y CyCx
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
y/ dy D 0:
y ) Nx D 3x 2 C e y :
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
y/ dy D 0:
y ) Nx D 3x 2 C e y :
@M
D 3x 2 C e y :
@y
donde h.x/ D x ln x:
donde h.x/ D C:
M.x; y/ D 3x y C e C x ln xI
M.x; y/ D 3x y C e C C I
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:
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 / dx ) N.x; y/ D
3x 2:
3x 2 / dx D 2y sen x
.2y cos x
x 3 C h.y/:
x 3 C ln yI
3
donde h.y/ D ln y:
N.x; y/ D 2y sen x
N.x; y/ D 2y sen x
x3 C C I
donde h.y/ D ye y :
ye I
donde h.y/ D C:
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
Tenemos entonces:
M D 3y 2 C 2y sen 2x )
4
N D 6xy cos 2x C
)
1 C y2
My D 6y C 2 sen 2x
Nx D 6y C 2 sen 2x
) My D Nx ) la ED es exacta )
@f
DM
@x
&
@f
D N:
@y
@f
D M e integramos con respecto a x:
@x
Z x
Z x
Z x
@f
dx D
M dx ) f .x; y/ D
M dx D
.3y 2 C 2y sen 2x/ dx D 3y 2 x C y. cos 2x/ C h.y/ )
@x
) f .x; y/ D 3y 2 x C y. cos 2x/ C h.y/:
(2.6)
Partimos de
Z
cos 2x C h 0 .y/:
10
Utilizamos la condicin
@f
D N para despejar h 0 .y/:
@y
cos 2x C h 0 .y/ D 6xy
6xy
cos 2x C
4
4
) h 0 .y/ D
:
1 C y2
1 C y2
Integrando se obtiene:
h.y/ D
4
dy D 4 arctan y C C1 :
1 C y2
y cos 2x C 4 arctan y C C1 :
y cos 2x C 4 arctan y C C1 D C2 )
y cos 2x C 4 arctan y D C:
1:
y cos 2x C 4 arctan y D
1:
3/y 0 D 0.
Se tiene que:
.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 )
My D cos x C 2xe y
N D sen x C x 2 e y C 2y
Nx D cos x C 2xe y
3 )
(2.7)
3/ dy D 0:
cos x dx C 2e
x dx C
dx )
(2.8)
3:
11
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:
3 )
Integrando:
h.y/ D y 2
3y C C1 :
3y C C1 :
) y sen x C x e C x C y
3y C C1 D C2 )
2 y
) y sen x C x e C x C y 2
3y D C:
.2xy C 2y 2 e 2x
Se tiene:
M D 2xy C 2y 2 e 2x
My D 2x C 4ye 2x
sen x )
N D x 2 C 2ye 2x C ln y )
Nx D 2x C 4ye 2x
) My D Nx entonces la ED es exacta.
(2.9)
y C h.x/:
sen x )
y C cos x C C1 ;
2 2x
) x yCy e
y C cos x C C1 D C2 )
C y ln y
y C cos x D C:
12
1 C cos.0/ D C ) 0 C 1 C 0
1 C 1 D C ) C D 1:
y C cos x D 1:
dy
D
dx
ax C by
I
bx C cy
H
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.
M dx D
.ax C by/ dx D a
x2
C byx C h.y/:
2
(2.10)
y2
C K1 :
2
1 2
1
ax C bxy C cy 2 C K1 :
2
2
.e x sen y
Se tiene:
M D e x sen y 2y sen x )
N D e x cos y C 2 cos x )
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.
13
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:
Z y
Z y
f .x; y/ D
N dy D
.e x cos y C 2 cos x/ dy D e x sen y C 2y cos x C h.x/ )
) f .x; y/ D e x sen y C 2y cos x C h.x/:
(2.11)
2y sen x C h 0 .x/:
2y sen x ) h 0 .x/ D 0 )
.ye xy cos 2x
3/ dy D 0.
Se tiene:
M D ye xy cos 2x
N D xe xy cos 2x
2e xy sen 2x C 2x )
3 )
My D .yxe xy C e xy / cos 2x
Nx D .xye xy C e xy / cos 2x
2xe xy sen 2x
2xe xy sen 2x
) 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:
Z y
Z y
Z y
Z
xy
xy
f .x; y/ D
N dy D
.xe cos 2x 3/ dy D cos 2x
e x dy 3 dy )
) f .x; y/ D e xy cos 2x
(2.12)
3y C h.x/:
2e xy sen 2x C 2x:
3y C x 2 C C1 :
3y C x 2 D C:
14
2x/ dx C .3y 2 C 2x 2y
2y/ dy D 0.
2. .2xy e 2y / dx C .x 2 C xe 2y y/ dy D 0.
1
1
dy D 0.
3. y sen x C sen y C
dx C x cos y cos x C
y
x
4. .4x 3 y C y 3
2x/ dx C .x 4 C 3xy 2
5. .y cos x C 2xe y
x/ dx C .y C sen x C x 2 e y / dy D 0.
6. .e x sen y C 2y sen x
7. .4x 3 C 4xy
3y 2 / dy D 0.
2x/ dx C .e x cos y
2x 2
1/ dx D .1
2 cos x C 2y/ dy D 0.
2y/ dy.
e y / dy D 0.
8. .y ln x C y/ dx C .x ln x
2y C 2y 2 e xy / dx
e 3y / dx C .x 2
kxe 3y
.2x
sen 2 x
4xye xy / dy D 0.
3y 2 / dy D 0.
3x 2 y
2x dx C 2y sen x
15. .y C xe x C 2/ dx C .x C e y / dy D 0
x 3 C ln y dy D 0
con y.0/ D e
con y.1/ D 0.
x sec 2 y dx D 0 con y.0/ D 0.
con y.0/ D 1.
18. Determinar los valores de las constantes A y B que hacen exacta a la ecuacin diferencial:
y 3 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
x2
y2 C y3 D C
2. La ED no es exacta.
3. x sen.y/
y cos.x/ C ln j xy j D C .
4. x 4 y C xy 3
x2
y3 D C .
5. 2y sen.x/ C 2x 2e y
6. e x sen.y/
x2
y2 D C .
2y cos.x/ C y 2
7. x 4 C 2x 2y C y 2
x2 D c
yDc
ey D c
8. xy ln.x/
2xy
y
1
y cos.2x/ C D c
2
2
e x C 2x D 3
x tan.y/ D 1
y2 x2
C k.y/ Donde k(y) es cualquier funcin de y con derivada continua.
xy 2
15