Académique Documents
Professionnel Documents
Culture Documents
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
2.2(a)
M (x , y ) N ( x , y )
=
y
x
Ejemplo 1. En la e.d. 2xy dx + (1 + x2) dy = 0, se tiene M(x,y) = 2xy y N(x,y) = 1 + x2. Como
M N
=
= 2 x , la ecuacin diferencial es exacta.
y
x
g ( x , y )
= M (x , y )
x
g ( x , y )
= N (x , y )
y
dg (x , y(x )) = 0 dx
Problemas resueltos
1.
g
= 2 xy . Integrando ambos lados de la ecuacin
x
x dx = 2 xydx
g ( x , y ) = x 2 y + h( y )
Nota: al integrar con respecto de x, la constante (con respecto de x) de integracin puede depender
de y.
Ahora determinamos h(y). Derivando (1) con respecto de y, obtenemos
g
= x2 + h' ( y )
x
g ( x , y ) = x 2 y + y + C1
La solucin de esta ecuacin diferencial, que est dada implcitamente por (6) como g(x,y) = C, es
x2 y + y = C2
C2 = C C1
Resolviendo explcitamente para y obtenemos la solucin como y =
2.
C2
x2 + 1
M N
=
= cos y , y la e.d. es
y
x
exacta. Ahora buscamos una funcin g(x,y) que satisfaga (4) y (5). Sustituyendo M(x,y) en (4),
obtenemos
g
= x + sen y . Integrando ambos lados de esta ecuacin con respecto de x,
x
encontramos
x dx = (x + seny )dx
g (x , y ) =
1 2
x + xseny + h( y )
2
g
= x cos y + h' ( y ) , y despus
x
g (x , y ) =
1 2
x + xseny + y 2 + C1
2
1 2
x + xseny y 2 = C2
2
3.
(C2 = C C1)
M
N
= 1 , entonces
= xy + x2 ,
x
y
N
M N
M
= 0 . Como
4.
Resolver y' =
2 + ye xy
2 y xe xy
Solucin:
Escribiendo esta ecuacin en forma diferencial:
(2 + yexy) dx + (xexy 2y) = 0
Aqu M(x,y) = 2 + yexy y N(x,y) = xexy 2y y, como
Sustituyendo M(x,y) en (4), encontramos
obtenemos
g
= 2 + ye xy ; luego, integrando con respecto a x,
x
x dx = (2 + ye
g
M N
=
= e xy + xye xy , la e.d. es exacta.
y
x
xy
)dx
g ( x , y ) = 2 x + e xy + h( y )
g
= xe xy + h' ( y ) ;
y
Resolver y' =
2 xy
, y(2) = 5
1 + x2
25
x2 + 1
Problemas suplementarios
Hallar la exactitud de las siguientes e.d. y resolver todas las que sean exactas.
6.
yx2 +
1 2 1 2
x + y = C2
2
2
7.
8.
9.
10.
11.
12.
13.
(y + 2xy3) dx + (1 + 3x2y2 + x) dy = 0
yexy dx + xexy dy = 0
xexy dx + yexy dy = 0
3x2y2 dx + (2x3y +4y3) dy = 0
y dx + x dy = 0
(x y) dx + (x + y) dy = 0
(y senx + xy cosx) dx + (x senx + 1) dy= 0
xy + x2y3 + y = C2
exy = C2
no exacta
x3y2 + y4 = C2
xy = C2
no exacta
xy senx + y = C2
(2 x 5 y )dx + (5 x + 3 y 2 )dy = 0
(2)
PASO:
PASO:
PASO:
PASO:
SOLUCIN:
2 xydx + ( x 2 1)dy = 0
SOLUCIN: Con M ( x, y ) = 2 xy
N
M
= 2x =
x
y
f
= 2 xy
x
N ( x, y ) = x 2 1 , se tiene que:
f
Integrando la primera de estas dos ecuaciones
= x 2 1 se tiene:
y
f
x = 2 xy = f = 2 xyx
f ( x, y ) = x 2 y + g ( y )
Nota:
M N
x
y
Definicin de factor integrante (F.I.): Es aquel factor que al multiplicar las
derivadas parciales de una ED no exacta la convierten en ED exacta, para luego
resolverla con el mtodo de las exactas:
Factor integrante (F.I.): Sea la ED
No exacta
2 Paso: Bsqueda del factor integrante (F. I.) para convertir la ED en exacta:
Para esto es necesario realizar las dos consideraciones para ver cul de las
dos se puede factorizar y por ende produce un factor integrante:
Factorizando se tiene:
Exacta
x 2 y 3 2 xy 2 = c1
siendo c1 = c k
( y 3x)
( y 3(0))
x
c
= ex
=e c
( y 2 x)
( y 2(0))
c
( y)
( y 0)
= ex
= ex c
( y)
( y 0)
c(1) = e x c = e x
2.
3.