Beruflich Dokumente
Kultur Dokumente
En esta seccin
principal
Definicin 3.3
y el coeficiente
y,
dy
dx
con coeficientes
a x , b x
es
a x y b x y c x
x,
dx
dy
con coeficientes
a y , b y
es
a y
en lugar de
dx
dy
dx
b y x c y
dy
Nota
Si en
obtiene
a y
dx
b y x c y
dy
a x y b x y c x
y divida por
a x
b x
c x
y
ax
ax
p x
b x
a x
q x
c x
, entonces la ED se escribe
a x
y px y qx
Multiplique la ED por
p x dx
p x dx
p x dx
e
y e
e
y
px
p x dx
q x
d p x dx
p x dx
y e
q x
e
dx
Distribuya adecuadamente los diferenciales para obtener:
p x dx
y , entonces la escribe:
d e
p x dx
85
p x dx
y e
q x dx
funcin de x
d e
e
p x dx
p x dx
y e
y e
p x dx
p x dx
q x dx
q x dx
p x dx
p x dx
y x e
q x dx
e
Ejemplos 3.14
1.
Resolver
Compare
y 2 xy x
y 2 xy x
Un factor integrante es
(tambin es separable)
con la forma
p x dx
y px y qx
2 xdx
y deduzca que
p x 2 x
qx x .
2
2
2
e x A e Ae x ke x , k, A
ke x
parmetros.
2
y con cualquiera de
k.
k ) para ilustrar que cualquiera
ellos obtendremos la misma solucin general de la ED lineal; por tanto, puede escoger cualquier valor para
Sin embargo, en este ejemplo vamos a tomar el factor integrante general (con
nos lleva a la misma solucin general.
y 2 xy x
Multiplique la ED lineal:
Por el factor
ke x
Cancele la constante
A la izquierda tiene
y obtiene:
ke x y ke x 2 xy ke x x
k:
e x y e x 2 xy e x x
d
x2
ye
dx
entonces la ED se escribe:
d
x2
x2
ye
xe
dx
y e x 2 xe x 2 dx
d
u x2
y e x 1 e x C
2
2
2
y e x 1 e x C
2
86
2.
Resolver la ED
Divida por
x2
x 2 y 2 y
x2
x2 4
y
Compare con
y 1 Ce x
2
1
y 2
x2
x 4
y px y qx
y concluya que
p( x)
2
p x dx
e
e x2
dx
2
x2
q ( x)
1
x 4
2
e 2 ln x 2 x 2 2
(escogimos la constante
x 2 y 2 x 2 y
2
x 2 2
x2 4
x 2 2 y
y la ED se escribe
x 2 2
d
2
x 2 y 2
dx
x 4
Integre y obtenga:
d y x 2 2
y x 2 2
x 2 2
x2 4
dx
x2 4x 4
x2 4
dx
x2 4x 4 x2 4
x2
4
1
4x
escriba la solucin general como:
x 22 y 1
4x
dx
x 4
2
u x2 4
x 2 2 y x 2 ln x 2 4 C
Funcin racional es divisin de polinomios, una funcin racional es impropia si y solo si el grado del numerador es mayor o
igual que el grado del denominador
Explcitamente
3.
Resolver
2x
Normalizada es
87
x 2 ln x 2 4 A
x 2
es la solucin general
1 y y 1
y y
e
2x
e x y e x y
Observe que a la izquierda tiene
, concluye
p x 1
q x
e
p x dx
ex
2x
y obtenga:
ex
e2 x 1
d x
e
y e x y e x y , entonces la ED se escribe
dx
y
ex
d x
e y
dx
e2 x 1
Separe los diferenciales adecuadamente e integre para obtener la solucin general:
ex y
Con
ex
e2 x 1
e x dx
y e x
u e x du e x dx
dx
e x 2 1
y ex
du
u2 1
y e x arctan u C
y e x arctan e x C
es la solucin general
4.
En el integrando
ty t
y x 2 ty t dt x 2
0
se utiliza
incgnita y multiplicando al diferencial de t , lo que imposibilita su clculo. La solucin de esta ecuacin integral
no debe tener constantes arbitrarias porque la integral es definida y no tiene derivadas de la incgnita. Para
convertir la anterior en una ED, deriva en la ecuacin integral aplicando el siguiente teorema Fundamental del
clculo integral:
88
d
dx
g x
f t dt f g x g x
Observe como el integrando se evala en el lmite de integracin superior y multiplica por la derivada de ese
lmite de integracin superior. En este ejemplo toma la forma:
d
xy x 1 xy x
ty
t
dt
dx
g
x
0
f
t
f x
y x 2 ty t dt x 2
x
d x2
d
y x 2 ty t dt
dx
dx
Omitimos el argumento
2 xdx
ex
y x 2 xy x 2 x
y 2 xy 2 x
, obtiene:
e x y 2 xe x y 2 xe x
d x2
x2
e y 2 xe
dx
Aplique la sustitucin
u x2
x2
x2
2
d
e
y
xe
dx .
ex y ex C
y x 1 Ce x
y x 2 ty t dt x 2
sustituyendo
x0
C 1
5.
La ED
y 0 2 ty t dt 0
y xy y 2 e y y
no es lineal en
y x 1 e
x2
y , y , pero si en x,
2
resulta
dx
. Resolverla.
dy
Por el
y2
la ED no es lineal en
y,
dy
y x y 2 e y
dx
89
dx
dy
; sin embargo, es lineal en x,
dx
dy
y x y 2e y y
dx
x y 2e y
dy
dx
dx
x y 2 e y , es una ED lineal en x,
dy
dy
a y
y tiene la forma
dx
b y x c y
dy
dx 1
x
ye y
dy
y
q y
p y
p y dy
e
e
y dy
e ln y
1
y
y obtiene:
1 dx 1
x ey
y dy y 2
d 1
x e y
dy y
1
d x e y dy
y
Ejercicios 3.10
1
x ey C
y
1.
x 2 1y 1 x 2 y xe x
R.
2.
x 2 1y xy 1 2 x
R.
x2 1
1
2
x 1
14 e x 2 x 1 Ce x
x2 1 y x x2 A
3.
xy x ty t dt e x
R.
xe x y x 2
R.
e y x 1 e2 y C
4.
5.
1
y
e x
dy
y
1 1 x 2 e x , 0 x 1
2
dx
1 x
R.
y 1 1 x 2 x e x C
90
Ejercicios 3.11
1.
Sean
p, q
lineal:
y p x y q x y ln y
3.
v q x v p x
xy 2 x 2 y y ln y , x 0
ln y 2 x 2 Ax
una constante
en la ED no
2.
v ln y
1 0
1
f y
a la ED no lineal
a x y y b x y1 c x
y obtenga
a x v 1 b x v 1 c x
a x f y y b x
f y c x
v
obtenga la ED lineal
a x v b x v c x
91
es invertible en el dominio
Definicin 3.4
a x f y y b x f y c x
a x 1 y y b x y1 c x
Nota
Multiplique la ltima ED:
a x 1 y y b x y1 c x
por
y obtenga:
a x 1 y b x y c x y
Esta es la forma en que suele aparecer en los ejemplos y se escribe:
A x y B x y C x y
Si
obtiene
tambin es lineal.
0 y 1.
Observe
f y
f y y
dependen nicamente de
f y
est multiplicando a
f y y
es la derivada de
b x
f y
respecto a
x .En particular f y y
tiene derivada
y .
A x y B x y C x y
v f y.
v y1
v f y
y : y f 1 v
Sin embargo, en una ED de Bernoulli, ese despeje puede omitirse porque con solo derivar en
completa los elementos suficientes para eliminar
v f y
92
a x f y y b x
f y c x
En el caso general
v f y
x , obtiene
v f y y
a x v b x v c x
El caso particular suele aparecer en los ejemplos como
el cambio de variables
v y1
Despeje
y v 1
A x y B x y C x y
Derive respecto a
y obtiene:
1 11 1
v
v , esto es equivalente a:
1
1 1
v v
1
A x y B x y C x y
1.
y xy xe x y 3
La ED tiene la forma
a x y b x y c x y
Tome el cambio de variables
con
a x 1, b x x, c x xe x
v y1
v y4
1
y v4
Despeje
Y derive respecto a
x:
y 1 v 4 v
4
y xy xe x y 3
3
1 v 4 v
4
3
Multiplique por
4v 4
y obtiene:
y obtiene
2 3
4
xv 4 xe x v
v 4 xv 4 xe x
93
Para no obscurecer el mtodo que nos ocupa, utilice que una ED lineal normalizada
v P x v Q x
tiene
P x dx
P x dx
ve
dx , en nuestro ejemplo es:
Q x e
solucin general:
4 xdx
x 2 4 xdx
ve
4 xe e dx
Integre y obtenga:
Cambie
2.
v y4
2
2
v e 2 x 2e x C
2
2
y 4 e 2 x 2e x C
y 1 4e y sin x
A continuacin resolvemos esa ED de Bernoulli por un mtodo equivalente al del ejemplo anterior. Empieza
dejando a la derecha una funcin de
ey
y
e
y ey 4 sin x
Obtiene
Sustituya
v ey
Derive
Sustituya en la ED
y
e
y ey 4 sin x
v
y obtiene
v v 4 sin x
Esta ED lineal tiene solucin general:
1dx
1dx
v e 4sin x e dx C
Integre y obtiene
v e x 4e x sin xdx C
J 4e x sin xdx
En general
Si
s 1, 1
sx
e sin x dx
1 e x sin x cos x C
sin xdx
s2 2
s sin x cos x C
v 2 sin x cos x Ce x
Cambie
94
3.
dx x x sin y 1dy 0
Llevmosla a la forma
dx x x sin y 1dy
1
dx x sin y 1dy
x
x sin y 1 y
1
x
b x f y
dx
dy
y y x . Tratemos con x x y .
1
dx x sin y 1dy
x
dx
x x sin y 1
dy
dx
x x 2 sin y
dy
x,
dx
dy
con
Tome la sustitucin:
v x1 x 1
Despeje
x v 1
Derive respecto a
Y sustituya en
Sustituya en
y:
dx
dv
v 2
dy
dy
dx
x x 2 sin y
dy
v2
para obtener:
dv
v 1 v 2 sin y
dy
y multiplica por
v2
para obtener
dv
v sin y
dy
Es ED lineal con solucin general
1dy
1dy
ve
sin y e dy
v e y e y sin ydy
y en particular
sx
s sin x cos x C
s2 2
1 e y sin y cos y C
sin ydy
v e y 1 e y sin y cos y C
2
1 1
sin y cos y Ce y
x 2
v 1 sin y cos y Ce y
v x 1
es x
sin x dx
Cambie
95
d
xy 2 xy 3 x 2 1 . Suponga x 0 y y 0 x 0
dx
Para tener solo una funcin de x al lado derecho, empieza por desarrollar la derivada de la multiplicacin a la
vez que aplica otras operaciones algebraicas para separar x de y , obtiene:
4.
y 2 2 xyy x 3 y 3 x 2 1
Por
y 3
2 xy 2 y y 1 x 3 x 2 1
resulta:
v y 1
v y 2 y
v y 2 y
2 x y 2 y
y 1 x 3 x 2 1
Sustituya en la ED
y obtenga la lineal
2 xv v x 3 x 2 1
Normalizada es:
1
v 1 x2 x2 1
2
2x
ve
2 x dx
ln x
1 e2
2
1 x2
2
1 e
2
x e
1
dx
2 x dx
1 ln x
1
1
1
4 2
2 2
1
2
v x x x x x
2
v 1 x 5 1 x 3 Cx 2
9
5
dx
dx
96
1
1 x 5 1 x 3 Cx 2
9
3
y
La solucin general es
Ejercicios 3.12
Escriba cada ED en alguna de las formas de Bernoulli
a x f y y b x f y c x
a y f x
dx
b y f y c y
dy
1
x 2 Cx
y
xy y y 2 ln x
R.
1
ln x 1 Cx
y
3.
y 3x 2 y x 2 y 3
R.
y 2 13 Ce 2 x
4.
y xy2 y , y 0 2
R. Solucin general
1.
2.
1
y xy 2 , x 0
x
2
1
12 Ce x . Solucin particular
y
2
1
12 e x
y
5.
xy x y y 1
R.
6.
y 2 dx xy x 3 dy 0
R.
7.
2 3
y y y 2
donde
1
x
1
x
y2
2 y 2 Ce 2
2 y 1 Ay 2
3
de crecimiento y decaimiento (decrecimiento) de poblaciones, por ejemplo, infectadas por un virus, etc.
8.
R.
sin y 1 Ce sin x
9.
y 1 4e y sin x
R.
e y 2 sin x 2 cos x Ce x
e xy
en
R.
2
xy y x xe 2 xy . R. Solucin e 2 xy 1 Ae x
y1 e
1 b x
dx
a x
1 c x
a x e
1 b x
dx
a x
dx
97
ED de Riccati
Notas
Si
f x 0 2 en I
Si
c x 0
en
a x y b x y c x f x y 2 , a, b, c, f
funciones continuas en
a x y b x y c x
es lineal
, resulta
a x y b x y f x y 2
es de Bernoulli
y , y , y 2
en las ED de Riccati.
Observe la disposicin de
, resulta
Ejercicios 3.13
1.
1
x
y
y2
x
2 cos 2 x sin 2 x y 2
2 cos x
calcular
1
x
x sin x
2.
3.
y y 2 2 xy x 2
x ax b
4.
y 8 xy 2 4 x4 x 1 y 8 x 3 4 x 2 1
x ax b
5.
xy 1 4 x ln x y 4 x 4 x 2 ln x ln x y 2
x ax
singular de la ED de Riccati
El cambio de variables
y x u
El cambio de variables
y x
f x 0
en I resume la frase:
f x 0
1
v
a x y b x y c x f x y 2 . Entonces:
para todo
xI
98
La siguiente demostracin provee un algoritmo para resolver ED de Riccati dada una solucin singular.
La funcin conocida
la identidad
incgnita
y x u
y x u
Aplicado a la ED de Riccati:
a x y b x y c x f x y 2
obtiene
a u b u c f u 2 , omitimos el argumento x
a a u b x b u c f 2 2 u u 2
para simplificar.
Para aplicar la identidad que tiene en mente reacomoda los trminos en la ED como:
b a u b u c f 2 2 f u f u 2
c f 2
a x u b x u 2 f x y1u f x u 2
a x u b x 2 f x y1 u f x u 2
v u 1
1
u
Ejercicio 3.14
Demostrar que
y x
1
v
Nota
En la demostracin del teorema 3.2, aplic el cambio
1
,
u
1
y x
v
y x u
1
v
obtiene que
y x u
es decir
1
.
v
y x
1
v
Ejemplos 3.16
Hallar la solucin general de la ED de Riccati dada. En cada caso es dada una solucin singular.
1.
1
x
99
y
1
y 2 ; x
x
x
Cambio de variables
1
x
es solucin (singular).
y x u
1
u
x
x2
1
1
y y
y2
2
x
x
2
1 1
1 1
1
u
u u
x x
x2 x
x2
1
x
1
1
1 2
u
u u2
2
2
x
x
x
x
1
x
1
u u2
x
v
1
u
1
v
v
v2
1 1 1 2
v2 x v v
v
1
v 1
x
1
xv v x
x dx
e ln x x
y obtiene:
100
d
xv x
dx
d xv xdx
xv
Cambie
Como
2.
1
v
u
u y
x2
C
2
x
x2
C
2
u
1
x
1
x
x2
C
2
1
1 C
2
xy 1
2 x
y x
2x
Kx
1
, donde K 2C
x
x ax
a , basados en que x ax
para obtener x
x a 1 4 x ln x ax 4 x 4 x 2 ln x ln x ax 2
ax ax 4ax 2 ln x 4 x 4 x 2 ln x a 2 x 2 ln x
2a 4 x 4a 4 a 2 x 2 ln x 0
2a 4 0
2
a 4 a 4 0
desde donde
y u 2x
a 2 , entonces x ax 2 x
para obtener:
x u 2 1 4 x ln x u 2 x 4 x 4 x 2 ln x ln x u 2 x 2
xu 2 x u 2 x 4 x ln x u 8 x 2 ln x 4 x 4 x 2 ln x ln x u 2 4 xu 4 x 2
xu u 4 xu ln x 4 x 2 ln x u 2 ln x 4 xu ln x 4 x 2 ln x
xu u u 2 ln x
1
ln x
u u2
x
x
101
u 2u
1 1 ln x
u
x
x
u 2
para obtener:
v u 1 v u 2 u
v u 2 u
En la ltima ED resulta:
v
v
1
ln x
v
x
x
1
ln x
v
x
x
1
dx
x
e
v x
ln x
v x
ln x
x2
x2
ln x x dx
dx
x e
dx
dx
1
U ln x dU x dx
1
1
dV 2 dx V x dx
1
ln x
v x
dx
2
x
x
ln x 1
v x
C ln x 1 Cx
x
x
Cambie
1
u
y obtiene
Como
3.
u y 2x
1
ln x 1 Cx
u
u
resulta
y 2x
y 1 x 2 2 xy y 2
Sustituya
y1 ax b
en
1
ln x 1 Cx
1
, es la solucin general
ln x 1 Cx
y 1 x 2 2 xy y 2
y obtiene
a 1 x 2 2 x ax b ax b 2
y1 ax b .
102
a 1 2a a 2 x 2 2b 2ab x 1 b 2
1, x, x 2
a 2 2 a 1 0
2b 2ab 0
1 b2
0
Desde E1 se deduce
Concluya que
a 1
E1 : a 12 0
E2 2b 1 a 0
E3
b2 1 0
y1 ax b x
2b 0 0
0 0
2
2
b 1 1
b 0
entonces
b0
y y1 u
y xu
Es decir:
y 1 u
Sustituya en la ED de Riccati
y 1 x 2 2 xy y 2
Obtiene
1 u 1 x 2 2 x x u x u 2
1 u 1 x 2 2 x 2 2 xu x 2 2 xu u 2
u u 2
Es una ED de Bernoulli y tambin de variables separables. Para resolver por separables escribe:
du
u 2 dx
Cambie
yxu
1
xC
u
1
xC
yx
Ejercicios 3.15
Hallar la solucin general de la ED. En cada caso es dada la forma de una solucin singular
2 cos 2 x sin 2 x y 2
2 cos x
1.
2.
y1 sin x
y1 .
R.
1
1 sin x C cos x
2
y sin x
R.
3 cos 2 x
K cos 3 x
sec x
103
1
x 2 Cx
y 2 ln x
3.
xy x 2 y 2 4 x 2 ln x 1 y 4 x 2 ln 2 x 2 ln x 2 , y1 a ln x
4.
y 8 xy 2 4 x4 x 1 y 8 x 3 4 x 2 1 , y1 ax b
R.
2
1
2 Ce 2 x
yx
5.
y y 2 2 xy x 2 . y1 ax b
R.
6.
R.
1
1 Ce 2 x
2
x ln x y 1 2 x 3e 4 x y e 3 x x 3e 7 x 3x ln x e 3 x x 3e x y 2
R.
ln x
ye
3x
x 2 e x 2 xe x 2e x C
x 1
x 1, , y1 e 3 x
104
F x, y
es dependiente de
x, y , como F x, y x 2 y 3
F x, y cos x sin y ,
x , lo que expondremos cubre este caso y el caso en que x, y
o
respecto a la variable
respecto a la variable
suponiendo que
se mantiene fija.
Las reglas para calcular derivadas parciales de una funcin de varias variables son las mismas que se aplican
para calcular derivadas ordinarias de una funcin de una variable, con una diferencia sustancial y para la cual el
lector debe mentalizarse, a saber, en el proceso de derivacin parcial se consideran x, y como independientes,
lo que conlleva no aplicar derivacin implcita, por supuesto, esta consideracin es temporal porque en una ED
ordinaria la incgnita y depende de x (o viceversa). Adems, los smbolos:
d
dx
utilizados para denotar derivada parcial y derivada ordinaria respectivamente son diferentes e inconfundibles.
Como F x, y depende de dos variables x, y , entonces puede calcular su derivada parcial respecto a x y la
derivada parcial respecto a y , tambin las funciones resultantes de derivar parcialmente se pueden derivar
parcialmente. Llamaremos derivadas parciales cruzadas de una funcin de dos variables, a las segundas
derivadas parciales obtenidas despus de derivar la primera vez respecto a una variable y la segunda respecto a
la otra. Utilizaremos
en lugar de
F x, y
F F
,
x y
2F
x
2F
y 2
tambin con
Fx , Fy
respectivamente.
, tambin con F yy
y y
2F
F
, tambin con F yx
xy x y
Lectores conocedores de funciones de varias variables pueden omitir esta parte y continuar con la definicin de ED Exacta
105
2F
F
F yx
Fxy
F x
respecto a
es:
F x dF x
F x
, es decir,
x
dx
x
Derivada parcial de
F x
respecto a
es:
F x
0
y
Fxy F yx .
F x
es de una sola
coincide con
F x
Las siguientes son definiciones formales de derivadas de primer orden (primera derivada), pero por la naturaleza
de esta obra no entramos en detalles sobre ellas, se presentan para que el lector aprecie su similitud y
diferencias:
df x
f x h f x
lim
dx
h
h 0
F x h, y F x , y
F x, y
lim
h
x
h 0
derivada respecto a
F x, y
F x, y h F x, y
lim
y
h
h 0
derivada respecto a
Ejemplos 3.17
1.
Si
F x, y x 5 y 6 x 7 y 8
F x, y
, fija la y
x
Fx x, y
Al calcular
y6 , y8
x5 y 6 x7 y8
x
F x, y
, fija la x
y
F y x, y
(considera
(considera
5x 4 7 x 6 y 8
x5, x7
x5 y 6 x7 y8
y
6 y5 8x7 y 7
Cada derivada parcial de primer orden se puede derivar parcialmente respecto a x y respecto a y para
obtener cuatro derivadas parciales de segundo orden, dos de las cuales son las derivadas parciales cruzadas.
Desde
F
5x 4 7 x 6 y 8
x
106
20 x 3 42 x5 y8
56 x 6 y 7
F 2 F
5x 4 7 x 6 y 8
2
x
x x x
F 2 F
5x 4 7 x 6 y 8
y
y x xy
F
6 y5 8x7 y 7
y
Desde
30 y 4 56 x 7 y 6
F 2 F
6 y 5 8x 7 y 7
2
y
y y y
F 2 F
6 y 5 8x 7 y 7
x
x y yx
Note que las derivadas parciales cruzadas
2F 2F
xy yx
56 x 6 y 7
obra, aunque en general las derivadas parciales cruzadas no son iguales, en el teorema 3.2 enunciamos las
hiptesis suficientes sobre
2.
Si
4
F x, y x 3 y 5e y x
Para calcular
F
x
fije
F.
y5
ey
estn fijas:
4
4
3 5 y x4
F
2 5 y x4
x 3 y 5e y x 4 x 3 x 2 y 5 e y x 3 4 x 4
x y e
3x y e
x
x
Para calcular
F
y
fije
4
3 5 y x4
F
3 4 y x4
x 3 y 5e y x
x y e
x 5y e
y
y
F x, y
x3
ex
4
estn fijas:
4
x 3 y 4 e y x 5 y
para que
2F 2F
.
xy yx
Necesitaremos del concepto de regin abierta del plano, entre las cuales estn los crculos (discos) sin su
frontera, rectngulos sin su frontera, etc.
107
Regin abierta
es un subconjunto
del plano
R1
Entorno a cada punto de R se puede construir algn disco que est enteramente contenido en
Observe que esta propiedad no la tienen los puntos de R que estn en su frontera o borde.
Decimos que R es un conjunto abierto.
R.
R2
R.
Decimos que
En la figura, R es regin abierta. Seleccionamos tres puntos al azar para ilustrar las propiedades R1 y R2.
Advertimos que estas propiedades deben darse en todos los puntos de R para que la regin sea abierta.
Por ejemplo, si R es el conjunto formado por la unin de dos discos disjuntos, entonces R no tiene la
propiedad R1, basta tomar cualquier punto en uno de los discos y otro punto en el otro disco, entonces ninguna
curva que una esos dos puntos estar contenida en R , concluye que R no es regin abierta.
Si
2F
xy
2F
yx
del plano
entonces
2F 2F
xy yx
Nota
Todas las funciones
Definicin 3.7
Diferencial total
La diferencial total
La funcin
dF
F x, y
2F 2F
xy yx
dF
se define como:
F
F
dx
dy
x
y
F
F
dx
dy
x
y
Ejemplo 3.18 Comparacin del diferencial con el diferencial total para funciones reales de una variable
Considere el problema de calcular el diferencial
d x3 y 4 x5 y 6
donde y y x es funcin de x .
108
4
6
d x 3 y 4 x 5 y 6 3x 2 dx 4 y 3dy
5 x
dx
y
x 5
6
y 5
dy
diferencial de x 5 y 6
dx
dy
para obtener:
d x 3 y 4 x 5 y 6 3x 2 5 x 4 y 6 dx 4 y 3 6 x 5 y 5 dy
Ahora utilicemos el diferencial total para calcular el anterior, donde sealamos con
la funcin de dos
4
5 6
2
6
3
5
d
x 3
y
x
y
3x
5
x 4
y
dx
4 y
6
x 5
y
dy
variables:
Fx
Fy
Utilice la definicin 3.7 de diferencial total para calcular los siguientes diferenciales. Note que el proceso es ms
eficiente que el utilizado en clculo elemental.
1.
d cos x sin y
2.
d x2 y2 x4 y4
3.
Exactitud
Para introducir el concepto de exactitud considere el siguiente diferencial total:
x
x
x
d
e
sin
y e
sin
cos
y dx e
y dy
F
Fx
Fy
e x sin y dx e x cos y dy
es exacta.
Si borra el trmino e obtiene sin y dx cos y dy y este no es el diferencial total de una funcin. Surge
una primera pregunta natural Cmo sabe que no es el diferencial total de otra funcin? El lector ser provisto
de un criterio que le permitir responder a esa pregunta y otras ms para el caso general:
M x, y dx N x, y dy , donde M , N
M x, y dx N x, y dy
Al contrario, si la forma
M x, y dx N x, y dy
M x, y dx N x, y dy
sea exacta. Tales
tal que:
109
M x, y dx N x, y dy
Cmo saber si
Cmo hallar
Cul
F x, y
es un diferencial total?
?
satisface
dF M x, y dx N x, y dy
Notacin
F , , M , N
en adelante
x, y
de
F x, y , x, y , M x, y , N x, y . Y de aqu
son funciones reales de dos variables reales, con primeras derivadas parciales
depende solo de
o solo de
y , en tales
x o y , respectivamente.
Exactitud de
Definicin 3.8
La forma
La ED
Mdx Ndy
Una funcin
en que
Mdx Ndy
Mdx Ndy 0
Las funciones
Mdx Ndy 0
es exacta si
Mdx Ndy
, es decir,
Mdx Ndy
si
dF Mdx Ndy
dF 0
Mdx Ndy .
Mdx Ndy
es exacta.
Mdx Ndy
Mdx Ndy
Mdx Ndy 0
dF 0
Entonces:
dF 0dx
Integra:
dF 0dx
Ejemplo 3.19
Resolver la ED:
e x sin y dx e x cos y dy 0
d e x sin y 0
110
d e
e x sin y C
sin y 0dx
es una solucin general de la ED.
e x sin y
Mdx Ndy
tal que:
dF Mdx Ndy
Y por definicin de diferencial total
dF
F
F
dx
dy
x
y
M dx N dy
dx, dy
es exacta si y solo si
F
M x, y
F
y N x, y
Este criterio tambin depende de F y no nos sirve para decidir exactitud; sin embargo, responde a la pregunta
de cmo hallar F (caso que la forma diferencial sea exacta), por ahora, buscamos un criterio de exactitud que
no involucre a F .
Las funciones F tratadas en esta obra tienen las propiedades enunciadas en el teorema 3.3, entonces
podemos contar con la identidad:
2F 2F
xy yx
que escribe
F F
y
x x y
equivalente a
M N
y
x
Esta es quiz, la relacin ms importante relacionada con la exactitud, adems, se utiliza para hallar las funciones F
111
M dx N dy 0
M dx N dy 0
es exacta si y solamente si
M N
y
x
M dx N dy 0
Si
M N
y
x
entonces la ED es exacta.
tal que:
dF
M
dx
N
dy 0
F
F
dy
dx
x
y
En tal caso
F
M
F
y N
. Recuerde que
Fx 2 x
Fx 2 x ,
La forma de calcular
F x2 y2
F x 2 A y , donde A y
es una funcin de
por determinar.
F
M x, y
F x, y M x, y x A y , A y
integra respecto a x
x
indeterminado.
F
N x, y
F x, y N x, y y B x , B x
integra respecto a y
y
indeterminado.
en lugar de
. Por ejemplo,
2 xyx y 2 xx x
y A y .
2 xydx
y , supone x
constante.
y x , sin
112
A y
B x
F x, y M x, y x A y
F
y
F
N , puede despejar A y
y
y como
y luego la
A y .
F x, y N x, y y B x
respecto a
y aplica
x.
Por el proceso anterior obtiene las funciones potenciales y ahora puede dar el siguiente paso.
Solucin de la ED exacta
M dx N dy 0
De los pasos anteriores tenemos
F
F
dx
dy 0
x
y
tal que:
dF 0
dF 0dx
F x, y C
constante
Ejemplos 3.20
1.
y
dx ln x 1 2 y dy 0
x 1
sujeta a
y 2 4 . Se debe suponer x 1 0 .
Prueba de exactitud
y
x 1
N ln x 1 2 y
My
1
x 1
Nx
1
.
x 1
Como
M y Nx
entonces la ED es exacta.
La ED
y
dx ln x 1 2 y dy 0
x 1
F
F
dx
dy 0
x
x
(por determinar)
113
F
y
F y ln x 1 A y
x x 1
integra respecto a x
F
y ln x 1 2 y
Deriva respecto a
F
ln x 1 A y
y
obtiene:
ln x 1 2 y ln x 1 A y
Esta funcin
A y
A y 2 y
A y y 2
F y ln x 1 A y
para obtener
F y ln x 1 y 2
Solucin de la ED exacta
y
dx ln x 1 2 y dy 0 , con la F
x 1
obtenida se escribe
d y ln x 1 y 2 0
dF
Integra, obtiene
y ln x 1 y 2 C
y( 2 ) 4
constante.
4 ln2 1 4 2 C C 16 .
La solucin particular es
2.
y ln x 1 y 2 16
3 y a 10 xy 2 dx 6 x a 1 y 2 10 x 2y dy 0 , a constante. Resolverla.
An con la presencia de
Sean
M x, y 3 y a 10 xy 2
M y x, y 3ay a 1 20 xy
N x, y 6 x a 1 y 2 10 x 2y
N x x, y 6a 1 x a 2 y 20 xy
114
Con
a2
Exactitud
ay a 1 2a 1 x a 2 y
ay a 2 2a 1 x a 2
a2
a2
3 y 2 10 xy 2 dx 6 xy 2 10 x 2y dy 0
resulta la ED exacta
Es obvia porque
tal que:
F
M 3 y 2 10 xy 2
x
F 3 y 2 10 xy 2 x A y
F
N 6 xy 2 10 x 2y
y
F 6 xy 2 10 x 2y y B x
F 3 y 2 10 xy 2 x A y 3xy 2 5 x 2 y 2 A y
F
6 xy 10 x 2 y A y
y
y:
F
6 xy 2 10 x 2 y
y
para obtener:
6 xy 10 x 2 y A y 6 xy 2 10 x 2 y
A y 2
A y 2 y k , k
constante.
k 0
F 3xy 2 5 x 2 y 2 A y 3xy 2 5 x 2 y 2 2 y
Solucin de la ED
La ED:
se escribe:
3 y 10 xy dx 6 xy 2 10 x y dy 0
d 3 xy 5 x y 2 y 0
2
2 2
3xy 2 5 x 2 y 2 2 y C , C
Ejercicios 3.17
1.
Compruebe que
2 xye
e
2
R. Solucin general
constante
x2
ye x y C
x
1
dx
dy 0
y
y2
2.
Compruebe que
3.
4.
Cul de las ED
R. Para
5.
a2
115
y2
x2 y2
x2 y y3
y 2 x x3
C . R. ED exacta es
dx
dy 0
xy
x2 y2
x2 y2
N x, y
la ED
y x 2 y 3 dx N x, y dy 0 es exacta.
N x, y x x 3 y 2 k y , k y
Solucin general
6.
xa yb
1
2
2 y dx xy dy 0
xy
y obtenga
a, b
a2
Solucin general
7.
b 1
resulta la ED exacta
xn ym
x 2 y 3 2 y dx 2 x 2 x 3 y 2 dy 0
y diga para que valores de las constantes
8.
y x 2 y 3 dx x x 3 y 2 dy 0
3xy x 3 y 3 C
Compruebe que la ED
Multiplique por
no es exacta.
x a 2 y b x a y b 2 dx x a 1 y b1 x a 1 y b 1 dy 0 .
R. Para
n m 3
resulta la ED exacta
x
1
C
ln
2
2 2
y x y
Considere la ED
y
1
F:
dx 1 f x ln x dy 0
x x2
no es exacta. Suponga
m, n
x 0, y 0
la ED resultante es exacta.
x 1 2 x 3 y 2 dx 2 x 2 y 3 2 y 1 dy 0 .
Solucin general
Suponga que
y.
xy 1 x 3 y 3 k y dy C
Compruebe que la ED
Multiplique por
es cualquier funcin de
f x .
en el intervalo
R.
f x
R.
ln x
1,
1
C
, C
x ln x ln x
y
yB
x
constante
116
3.10.
M x, y dx N x, y dy 0
x, y
es no exacta, esto es
M N
y
x
x, y M x, y dx x, y N x, y dy 0
M dx N dy 0
M N
y
x
y luego se resuelve la ED exacta
Factor integrante
Definicin 3.9
M dx N dy 0
x, y
es factor integrante de
M x, y dx N x, y dy 0
x, y M x, y dx x, y N x, y dy 0
si y solo si la ED
es exacta.
Ejemplo 3.21
Comparando
ydx xdy 0
Comprobado que
M N
y
x
Multiplica la ED por
1
y
Compare con
con
M x, y dx N x, y dy 0
y obtiene
1
x
dx
dy 0
y
y2
m x, y dx n x, y dy 0
deduce
M y
M 1
y
N x
N x 1
m 1
m 1
y
y
y2
x
1
nx
n 2
y
y2
117
. Como
m n
y x
entonces
1
x
dx
dy 0
y
y2
es exacta.
M x, y dx N x, y dy 0
P0
P1
La ED
P2
x, y M x, y x, y N x, y
y
x
es un factor integrante de
x, y M x, y dx x, y N x, y dy 0
es exacta
Este resultado es inmediato de la definicin de exactitud y factor integrante. P2 muestra una ecuacin
fundamental para calcular factores integrantes.
Notacin
Si por alguna razn, se conoce que el factor integrante depende de una sola variable x y , entonces al
calcular las derivadas en P2 se aplican las identidades (derivadas parciales se reducen a derivadas ordinarias):
x
x
x
x
0
y
y
0
x
y
y
y
Ejemplos 3.22
1. Hallar un factor integrante que dependa de la variable
Sea
y ,
funcin de
y,
para la ED
y ydx y xdy 0
es exacta, esta
y y y x
y y 2 y
d
y 2 , omitimos el argumento y
dy
d
2
dy
y
Integra y obtiene
ln 2 ln y k , k
Despejando
e k e ln y
es constante de integracin.
e k y 2
118
Estos se escriben
y, en particular
, transforma la ED en exacta.
Este ser el nico ejemplo en que resolvamos con un factor integrante general (con la constante de integracin),
con el fin de ver el destino que toma; sin embargo, en ejemplos futuros omitimos constantes y barras de valor
absoluto en el clculo de factores integrantes.
ydx xdy 0
Multiplica la ED original
por
By 2
Cancela
y resulta:
By 2 ydx By 2 xdy 0
y 1dx xy 2 dy 0
B , obtiene:
F x, y
tal que:
F
1
x y
F
2
y xy
F xy 1 A y
y obtiene
y deriva respecto a
para recibir:
F
xy 2 A y
y
Esta derivada parcial de
respecto a
F
xy 2
y
para obtener:
xy 2 xy 2 A y
Concluye que
A y
F xy 1 A y F xy 1
Conclusiones:
La ED exacta
A y 0 .
y 1dx xy 2 dy 0
se escribe
d xy 1 0
dF
xy 1 C
x 2 y 2 xy 3 dx x 3 ydy 0
a b
a 2 b2
Multiplica la ED por x y para obtener x
y
x a 1 y b 3 dx x a 3 y b 1dy 0
a 2 b 2
a 3 b 1
x y
Aplica la identidad fundamental de exactitud
x
y
x a 1 y b 3
y
x
2.
xa yb
para la ED
Igual coeficientes de
119
b 2 x a 2 y b 1 b 3 x a 1 y b 2 a 3 x a 2 y b 1
b 2 x b 3 y a 3 x
y coeficientes de
respectivamente y obtiene:
b2a3
b 3 0
Entonces, un factor integrante de la ED dada es
x 4 y 3
Ejercicios 3.18
1.
Determine
a, b
xa yb
para que
a 4
b 3
2 y 2 6 xy dx 3xy 4 x 2 dy 0 .
Resolverla
3.
y 2 x 2 y 3 3 dx x x 2 y 3 1 dy 0
2.
para
2 xy dx x 2 dy 0
R.
x2 y3 2x3 y2 C
R.
4x
22
5
11
y 5 11x
12
5
y resolverla.
y y 2 . Solucin general es
x x 2 y 1 C
4.
para la ED
3x 2 y 2
2 xy
. Hallar su solucin
El siguiente teorema puede ser utilizado para ED que tienen factores integrantes que dependen de una variable,
en tal caso le ahorrar operaciones algebraicas involucradas en la ecuacin fundamental para determinarlos.
Teorema 3.6 Si existen factores integrantes que dependen de una nica variable:
Dada una ED
T1 Si
T2 Si
x o y
E : M x, y dx N x, y dy 0
M y Nx
N
M y Nx
M
es funcin de
es funcin de
nicamente, entonces
nicamente, entonces
x e
y e
M y Nx
N
M y N x
M
dx
es factor integrante de
es factor integrante de
dy
Para remozar los conceptos sobre exactitud y factores integrantes, demostraremos T1 en el siguiente ejemplo y
dejamos T2 de ejercicio.
Ejemplo 3.23
Suponga que
M x, y dx N x, y dy 0
x , entonces
120
x Mdx x Ndy 0
es exacta.
x M x N
y
x
Teniendo en mente que
x
M,N
depende de
M
N
x N x
x
y
separable, y se escribe
M y Nx
d
dx
N
1 d M y N x
dx
N
para simplificar la
es
M N
x
y
dependen nicamente de
x . Omitamos x
1 d
dx
M y Nx
ln
exp
M y Nx
depende solo de
entonces
para obtener:
M y Nx
dx
dx
M y Nx
dx
N
donde
exp
es exponencial base
Ejercicios 3.19
1.
2.
Cul de las ED
3.
x
1
1
3
R. La ED correspondiente a N y
. En tal caso la solucin general es x 3 xy C
2
y
y G x H y
1
H y
121
b x
a x y b x y c x
4.
5.
R. Factor integrante
6.
x 2 2x
x 2 2 x y 4 x 1 y
3
3
x 3x 2
a x dx
a x
. Resolverla
y y y 2
y y 2
Si
M y Nx
Si
M y Nx
M N
x
y
despeja
Si la ED tiene factores integrantes que dependen de una variable x o y , aplica el Teorema 3.6.
Algunas ED tienen otros tipos particulares de factores integrantes, en el teorema 3.7 encontrar algunos.
Transforma la ED original en exacta
M x, y dx N x, y dy 0
Multiplica la ED
por
M x, y dx N x, y dy 0
1.
y 2 e x dx 1 ye x dy 0 , y 0
Prueba de exactitud
Si
M y 2 e x M y 2 ye x
Si
N 1 ye x N x ye x . Obvio que M y N x
entonces la ED no es exacta.
122
M y Nx
Calcula
N
M y Nx
Calcula
2 ye x ye x
1 ye x
2 ye x ye x
y 2e x
ye x
1 ye x
ye x
y 2e x
M y N x
depende de
dy
1
y
depende de
y dy
e ln y e ln y
y 1
y 1
ye x dx y 1 e x dy 0
y 1 e x
ye x
x
y
y la ED es exacta)
ye x dx y 1 e x dy 0
para
Fx ye x
F x, y ye x x A y
F y y 1 e x
F x, y y 1 e x y B x ln y ye x B x
Si toma
A y ln y
Bx 0
ye x A y
F x, y
son iguales y
F x, y ye x ln y
Solucin de la ED exacta
La ltima ED
x
1
ye x dx
y
e
dy 0
Fx
Fy
2.
N sin 2 y x cos y
N x cos y
Como
M y Nx
N
M y Nx
M
2 cos y
2
sin y x cos y
2 cos y
sin y
y 0 2
sujeta a la condicin
M y cos y
Como
M sin y
Factor integrante
d
ye
ln
y
0
ye x ln y C
Exactitud
se escribe
como
depende de
depende solo de
M y Nx
la ED no es exacta.
123
2 cos y
dx
e 2 ln sin y sin 2 y
e sin y
1
sin 2 y
1
sin 2 y
1
cos y
dy 0
dx 1 x
2
sin
y
sin
y
,obtiene:
Fx
Funcin potencial
Fy
Una funcin
1
sin y
E1
Fx
E2
Fy 1 x
Calculemos
cos y
sin 2 y
a partir E1:
Fx
1
1
F
x A y
sin y
sin y
F
y , recibe Fy
x
A y
sin y
x cos y
sin 2 y
est en funcin de
A y , esta F y
F , obtiene:
x cos y
cos y
1 x
A y
2
2
sin
y
sin
y
Fy
A y 1 A y y K
Con
Resumiendo. Con
y la ltima ED
A y y
en
x
A y
sin y
cos y
1
dy 0
dx 1 x
2
sin y
sin
y
Fx
Fy
Fy
K 0
resulta
se escribe:
resulta
A y y
x
y
sin y
d
y 0
y
sin
x
y C.
sin y
A y .
se iguala a la
124
Sustituya el punto
0,2 , obtiene
Y la solucin particular es
0
2 C C 2.
sin 2
x
y2
sin y
Ejercicios 3.20
1.
5x y dx xdy 0
2.
2 x 3 y dx xdy 0
3.
y 2 xy dx x 2 xy dy 0
x0
2 xy 2 x 3 y dx x 2 e x
5.
6.
8.
R. Solucin general
5x
R. Solucin particular
4.
7.
y0
dy 0
R. Solucin general
y
C
x
y
C
x
x2
y2
2x
y
C
x
R. Solucin general
x 2e x y y C
x y dx tan xdy 0
R. Solucin general
y 2 cos x y dx x y 2 dy 0
R. Solucin general
sin x
R. Solucin general
xe x y e x C
R. Solucin general
x x 2 y 1 C
3x 2 y 3x 3 y dx xdy 0
y 2 xy dx x dy 0
2
x
yC
y
1
ln xy dx ln y dy dx 0 , x 0, y 0
R.
x 2 ln x x 2
y ln y y C
2
4
R.
y ln x y ln y e
11. ( y 2e y )dx (e 3 y ) dy 0
R.
e x y 3 e2 x y C
R.
x
6y C
y
R.
x 2e x y y C
9.
2
12. ydx x 6 y dy 0
y0
2
3
x2
13. 2 xy 2 x y dx x e
dy 0
14. 2 x 2 xy
15.
y
x2 y2
dx x 2 y 2 y 3 y 3 dy 0
dx
x
x2 y2
dy 0
R.
R.
1 y2 x2 y2 C
arctan
x
C
y
125
x , y , xy , ,
x
y
M dx N dy 0 tienen la propiedad de la columna de la izquierda entonces la
Si las funciones M , N en
funcin en la columna derecha es un factor integrante de esa ED.
T1
T2
T3
T4
T5
M y Nx
N
M y Nx
M
f x
es funcin de
x e
f x dx
f y
es funcin de
y e
f y dy
M y Nx
xy e
f xy es funcin de xy
yN xM
M y Nx
x 2 f
yN xM
x
M y Nx
x
y2 f
yN xM
y
f xy d xy
f x d x
y y
, e
x x
y
es funcin de
toma
u xy
toma
y
x
e integra
toma
x
y
e integra
e integra
x x
es funcin de
x
y
f d
x
e y y
y
Dejo la recomendacin al lector para que demuestre desde T2 hasta T5, teniendo en mente las identidades:
x
x
x
x
0
y
y
0
x
y
y
y
xy
xy y
x
xy
xy x
y
y
y y
2
x x
x x
y
y 1
y x
x x
x 1
x
x y
y y
x x
x
2
y y
y y
En el caso general
las usuales
g x, y , donde g
g
g
g x, y
x
x g x
g
g
g x, y
y
y g y
126
Ejemplo 3.25
Considere la ED
x 2 y 3 2 y dx 2 x 2 x 3 y 2 dy 0
Si
M x 2 y 3 2 y M y 3x 2 y 2 2
Si
N 2x 2x3 y2 N x 2 6x2 y 2
M y N x 3x 2 y 2 2 2 6 x 2 y 2 9 x 2 y 2
Como
Como
Como
M y Nx
N
M y Nx
M
9x2 y2
2x 2x3 y 2
yN xM
3
9x2 y2
x2 y3 2 y
M y Nx
xy d xy
3 2
y 2x 2x y
3
u du
2 1 x2 y2
9x2 y
x2 y2 2
depende de
x, y
no es aplicable T1
depende de
x, y
no es aplicable T2
9x2 y2
9 xy 2
xx
2 3
y 2y
3
xy
es funcin de
e 3 ln u u 3 xy 3 x 3 y 3
x 3 y 3
u xy ,
y obtiene la ED exacta:
x 1 2 x 3 y 2 dx 2 x 2 y 3 2 y 1 dy 0
F
del diferencial
x 1 2 x 3 y 2 dx 2 x 2 y 3 2 y 1 dy se deducir desde:
Fx x 1 2 x 3 y 2
F 2 x 2 y 3 2 y 1
y
Con
A y 2 ln y
Conclusiones
La original
B x ln x
obtiene
F ln x x 2 y 2 A y
F x 2 y 2 2 ln y B x
F x, y ln x x 2 y 2 2 ln y
x 2 y 3 2 y dx 2 x 2 x 3 y 2 dy 0
x 3 y 3
no es exacta.
3 2
2 3
1
x 1 2x
y dx
2 x
y
2
y
dy 0
Fx
Fy
d ln x x 2 y 2 2 ln y 0
dF
aplica T3 y
Integre y obtenga
ln x
2 2
127
x y
Ejercicios 3.21
Resolver las ED
1.
xy 2 1 dx 1 x 2 y 3 dy 0
R.
x 2 y 2 Cxy
2.
y
1 y
e x x dy 1 e x 1 dx 0
y
x
y
y 2
R.
e x ln
3.
De Bernoulli
y y y 2
1.
R. Si
M y M y 1
R. Factor integrante
Nx
. Solucin
y y 2
Ejemplos 3.26
y
C
x
x2 y2
para
N x 1 entonces M y N x
En teora, si multiplica la
ydx xdy 0
exacta
y x 2 y 2 dx x x 2 y 2 dy 0
En la incgnita
1 x
e C
y
y la ED no es exacta.
obtiene la
x 2 y 2 y x 2 y 2 2 y x 2 y 2 x x 2 y 2 2 x
y x 2 y 2
x x 2 y 2
y
x
2 x 2 y 2 2 x 2 2 y 2 x 2 y 2
x2 y2
2
2
x y
x2 y2
para obtener:
x2 y2
x2 y2
x2 y2 ,
v x2 y2
y la ecuacin se escribe:
1
v
v
v
d
dv 1
(omitido el argumento
128
dv
v
ln ln v ln k
integrando obtiene
note que
k
v
ydx xdy 0
y
2
x y
dx
Resolver
v 1
v
es decir:
k 0
constante
x
2
x y2
x2 y2
2.
k
v
Para resolver la ED
v x2 y2 0
1
x2 y2
1
2
x y2
y obtiene la ED:
dy 0
arctan
x
C
y
x y2
para obtener:
x y 2 3x 2 y y 2 dx x y 2 x 4 xy 5 y 2 dy 0
Para hallar
x y2
x y 2 3x 2 y y 2 x y 2 x 4 xy 5 y 2
y
x
x y 2 2 y 3 x 2 y y 2 x y 2 2 2 y
x y 2 x 4 xy 5 y 2 x y 2 1 4 y
x y 2 x y 2
6 xy 4 y 2 2 y 3 2 2 y x 4 xy 5 y 2 1 4 y
6 xy 4 y 2 2 y 3 x 4 xy 5 y 2 1 4 y 2 2 y
2 xy y 2 2 y 3 x 1 2 y
entonces
1 2y
2 xy y 2 2 y 3 x
y si omite el argumento
en
la anterior es:
2y 1
2 y x y2 x y2
2y 1
2 y 1 x y 2
1
x y2
x y2
x y2
Introduciendo
v x y 2 , esta ED se escribe:
x y2
129
v 1
v v
d v
dv 1
v v
d v dv
v
v
ln v ln v ln C
v C v
v Cv
v v ; es decir, x y 2 x y 2
y obtiene:
x y 2 3x 2 y y 2 dx x y 2 x 4 xy 5 y 2 dy 0
1.
x2 y 2 1dx 2 xydy 0
2.
Sea
es
x, y f y 2 x 2
f y2 x2
para:
y 2 x 2 12
una funcin real de dos variables con derivadas parciales continuas en alguna regin del plano y
g x , y
un factor integrante de
Demuestre que
g x , y
M x, y dx N x, y dy 0 .
satisface la relacin:
N M
d
x
y
dg
g
g
M
N
y
x
130
3.
Si bien la ED
4.
cos x sin y
Sea
cos x sin y
1
. Solucin general
cos x sin y
es constante. Considere la ED
sin y C cos x
2 xy 2 x 3 y ay 2 dx x 2 e x 2 dy 0
Compruebe que a la ED no es exacta, y escoja un valor de a para que la respectiva ED tenga un factor
integrante que sea funcin de x . Calcular ese factor integrante y resolver la respectiva ED.
2 x2
y y C , C parmetro.
R. Solucin general x e
3.11.
131
ED de Clairaut
ED de Clairaut
Definicin 3.10
y x xy x G y x
o simplemente
y xy G y
Donde G es alguna funcin dada, no constante, real de variable real con primera derivada continua en el
intervalo abierto I , en el cual est definida la ED.
Nota
En esta seccin
Ejemplo 3.27
1.
y xy y 2
G y y 2
2.
y xy tan y
G y tan y
3.
y xy 1 4 y 2
G y 1 4 y 2
4.
y xy 1 y 2
G y 1 y 2
Paso 1
y xy G y
son:
v y , explcitamente v x
dy x
dx
Este cambio de variables no requiere ningn clculo adicional y aplicado a la ED Clairaut produce:
y xv G v
Sin embargo, tiene tres variables y son dos las permitidas.
132
Paso 2
Para eliminar la
y v xv G v v
Los trminos primeros
se eliminan porque
v y ,se obtiene:
0 xv G v v
Se factoriza
y resulta:
0 v x G v
Paso 3
La ecuacin
v 0
se transforma (integrando) en
Esto se sustituye en la ED
0 v
vC, C
y xv G v
0 x G v . Entonces se analizan
es un parmetro.
y se obtiene la solucin general:
y Cx G C
G C es un parmetro relacionado con el parmetro C , por lo tanto, la solucin general
tiene solo un parmetro, situacin esperada porque la ED es de primer orden.
Esta solucin general es la ecuacin de una familia de rectas.
La ecuacin x G v 0 (9) en conjunto con la ED
de ecuaciones paramtricas de Clairaut:
y xv G v
forman el sistema
x G v 0
y xv G v
El sistema Clairaut determina una solucin denominada curva envolvente.
En algunos ejemplos, de la primera ecuacin del sistema de Clairaut se puede despejar v
y sustituir en la segunda ecuacin, se obtiene la ecuacin de la envolvente en trminos de
y x
x, y
de la
1.
y xy tan y
P1
v y
a la ED y obtenga:
y xv tan v
La derivada de una ED produce otra ED de orden mayor, implicando un aumento en la cantidad de parmetros de las
soluciones, inclusive las particulares tendrn un parmetro, por lo tanto, debe sustituir cada solucin en la ED original para
eliminar los parmetros excedentes o utilizar el argumento de Clairaut, preferiblemente, para tal efecto.
En esta se podra cambiar v por y e integrar para obtener la solucin y en trminos de una constante, sin embargo, tal
constante no es arbitraria y para determinar su valor deber sustituir en la ED original.
P2
Derive respecto a
Como
P3
P3.1
133
y v xv sec 2 v v
y obtenga
0 v x sec 2 v
v 0
Caso
v 0 v C , C
x sec 2 v 0
parmetro
y xv tan v
y Cx tan C
Esta es la ecuacin de una familia de rectas (observe que
P3.2
Caso
tan C
es constante)
y xv tan v
Y se sustituye en la identidad:
x sec 2 v 0
x sec 2 v
tan 2 v 1 sec 2 v
tan 2 v 1 x
tan v x 1
2.
y xy 1 y 2
P1
v y
a la ED y obtenga:
y xv 1 v 2
P2
Derive respecto a
Como
y obtenga
y v xv
v y , esta se reduce a: 0 xv
v
1 v
v
1 v
v
0 v x
1 v2
134
P3
P3.1
Caso
v 0
v 0 v C , C
1 v2
parmetro
y xv 1 v 2
y Cx 1 C 2
Esta es la ecuacin de una familia de rectas (observe que
P3.2
Caso
v
1 v
1 v
v
1 v2
v2
1 v
Ejercicios 3.23
x2
v2 x2 1 v2
v2 1 x2 x2
v2
x2
1 x2
x2
1 x2
y xv 1 v 2
es constante)
1 C2
1
1 x
1 x2
1.
y xy y 2
R. Envolvente
y x 1 x 2 .
2.
y xy 1 4 y 2
R. Envolvente
y x 1 1 x 2 . Solucin general y Cx 1 4C 2
16
Solucin general
y Cx C 2
3.12.
135
ED de Lagrange
Definicin 3.11
ED de Lagrange
y x xg y x G y x
Donde
g, G
o simplemente
y xg y G y
(L1)
son funciones dadas no constantes reales de variable real con primera derivada continua en un
intervalo abierto
Notas
i)
Si la funcin
g y y
y x y G y y
funcin g v v . Sin
v y .
v y
y la ED de Lagrange podra
g v v 0 .
v:
con ecuacin en
g v v
v 1 y v 0,
g v v
g v v
g v v es v v equivalente a v v 1 0 ,
y 1 y y 0 , integrando se obtienen las funciones
, la ecuacin
es decir,
v )
v y
y luego derivar
respecto a x para reutilizar que v y , resultando una ED, en algunos casos separable, sin embargo, en
todos los casos es transformable a exacta con un factor integrante o, si lo prefiere, intercambiando los
papeles de x y v para resolverla como lineal, este ltimo sugerido por Lagrange.
Ejemplos 3.29
1.
y x y G y
g y y
G y
2.
y x 1 y y 2
g y 1 y
G y y 2
3.
y x y 2 2 y y 2 y
g y y 2 2 y
G y y 2 y
4.
x y 2 yy y 1 0
Complete
g y
cualquier funcin de
G y
136
v y
y xg y G y
Paso 2
(L1)
y xg v G v
se deriva10 respecto a
y)
y g v xg v v G v v
Paso 3
v g v xg v G v v , ya que v y
v g v xg v G v
dv
dx
(L2)
Esta ED: (1) en algunos casos es separable, (2) siempre es transformable a lineal y (3) siempre es
transformable a exacta.
(1)
(2)
dv
, sin embargo, L2 siempre es lineal en x
dx
dx
dv
v g v xg v G v
(2.1)
dv
dx
v g v
dx
xg v G v
dv
v g v
dx
g v x G v , es lineal
dv
Soluciones singulares. Si
v g v 0 .
v g v 0 ), entonces
L3 no se puede normalizar y podra tener soluciones singulares lineales: y x mx b , donde m y b son
constantes indeterminadas, ya que si v m y m y x mx b y, como es usual, para
determinar si es solucin sustituya estas funciones en la ED de Lagrange L1 y resuelva para m y b .
Si
v g v 0
(L3)
vm
(constante porque
est ausente en
10
Derivar una ED produce otra de orden mayor, implicando un aumento en la cantidad de parmetros de las soluciones,
inclusive las particulares tendrn un parmetro, por lo tanto, cada solucin se debe sustituir en la ED original para eliminar
los parmetros excedentes o utilizar el argumento de Lagrange, preferiblemente, para obtener las soluciones de L1.
11
g v v 2
137
entonces la ecuacin:
v g v 0
v v2 0
v 1 v 0
v0
y 0
a, b
o
o
v 1
y 1
y x a
y x x b
y x
a, b .
en la ED.
La singularidad de ese tipo de soluciones se puede afirmar en cada ejemplo, despus de compararlas con la
solucin general y comprobar que no son particulares.
(2.2)
v g v 0 , la ED L3 se escribe:
dx
g v
G v
x
,
dv v g v
v g v
G v
dx
g v
, el acomodo de signos es para efectos mnemnicos
x
g v v
dv g v v
g v
g v
f y e
g v
g v v dv
y obtenga:
g v
g v v dv dx
g v v dv g v
g v v dv G v
e
e
x e
dv
g v v
g v v
g v
g v
g v v dv
g v v dv G v
d
xe
e
dv
g v v
g v
g v dv
g v v
G v
xe
dv
(L4)
e
g v v
Despus de calcular las integrales se podra cambiar v por y , resultando otra ED que aunque sea simple de
g v v dv
resolver, despus de ello hay que eliminar los parmetros excedentes. Esto podra ser imposible o ms laborioso
que seguir la recomendacin de Lagrange, cual es colocar L1 y L4 en un sistema de ecuaciones y, aunque sea
el caso de no poder eliminar v , al menos utilizarlo para bosquejar la grfica de la solucin, en tal caso, obtendr
la siguiente solucin general en forma paramtrica:
L1 : y xg v G v
g v
g v dv
dv
G v
L 4 : x e g v v e g v v
dv
g v v
138
(3)
En lugar del procedimiento recomendado por Lagrange, L2 se puede transformar a exacta lo que se deja
de ejercicio.
Con poca lgebra elemental (para no desvirtuar la idea central)
Ejemplo 3.30
y 2 xy e y
Resolver la ED de Lagrange
Defina
v y
y 2 xv e v
y obtenga:
Derive respecto a
y obtenga:
y 2 v 2 xv e v v
v 2v 2 x e v v
v 2 x e v v (no es separable)
v 2 x ev
dv
dx
dx
. Se tiene la ED:
dv
dx
2 x ev
dv
dx
2 x e v
dv
(E1)
a 2 x 0 e0
La cual es vlida solo si
a 1
y x 1 es solucin de la ED dada.
Al comparar esta solucin con la solucin general que est adelante se concluye que no es particular, solo le
queda ser singular, como en efecto lo es.
En el caso
v0
dx 2
ev
x
dv v
v
v dv
v2
y obtenga:
v2
dx
2vx ve v
dv
d xv 2
ve v
dv
d xv
ve v dv
xv 2 ve v e v C
139
En lugar de reversar el cambio de variables y para no obtener una solucin general con dos parmetros
redundantes (lo correcto es solo un parmetro porque la ED es de primer orden), se consideran las siguientes
ecuaciones paramtricas de la solucin general (esta ltima y la ED original en trminos de v ):
S1 : xv 2 ve v e v C
S2 :
y 2 xv e v
De las cuales se pueden agorar problemas al despejar v , por lo tanto, la solucin general se deja en forma
paramtrica, la cual es suficientemente rica para hacer cualquier anlisis de la solucin general.
Vamos a resolver la ED transformndola a exacta, y as comparar la eficiencia de este mtodo con el sugerido
por Lagrange. Empecemos con la siguiente ED obtenida despus del cambio de variables:
dv
dx
vdx 2 x e v dv 0
v 2 x ev
Si denota con
y con
En
(E2)
M x, v v
M x, v
1
v
N x, v 2 x e v
N x, v
2
x
Mv Nx 1
M
v
est ausente la
Esta se indefine si v 0 , por lo tanto, este caso se analiza por separado a continuacin. No se omite el anlisis
de las soluciones singulares porque se est midiendo la eficiencia del mtodo de exactas.
i)
Si
v 0 y 0 y x a , a
a 2 x 0 e0
La cual es vlida si y solo si
ii)
Si
v0
entonces
v dv
es factor integrante de E2
e1 :
e 2 :
P
v2
x
P
2 xv ve v
v
P x, v
tal que:
v 2 dx 2 xv ve v dv 0
(E3)
140
Integre en
e1 , obtiene que P x, v xv 2 Av
respecto a
v , obtiene que: Pv x, v 2 xv
Pv x, v 2 xv
Sustituya esta en
e2
y obtenga que:
2 xv
Av
, como Av
v
Av . Para eliminar P x, v
derive
dAv
dv
dAv
2 xv ve v
dv
dAv
ve v
dv
d xv 2 ve v e v 0
xv 2 ve v e v C .
Esta junto a la ED en trminos de v dan las siguientes ecuaciones paramtricas de la solucin general:
Su solucin general es
S1 : xv 2 ve v e v C
S2 :
y 2 xv e v
Ejercicios 3.24
1.
y x 1 y y 2
R. La solucin general tiene ecuaciones paramtricas
x 2 2v Ce v
2
y x 1 v v
Para eliminar v y as obtener la ecuacin cartesiana de la solucin general, observe que la segunda de
estas es una ecuacin de segundo grado en v , aplique la frmula general y obtenga:
x x 2 4 x y
2
2.
y x y 2 2 y y 2 y
v 2 v ln v 1 C
x
v2
y x v 2 2v v 2 v
141
v ) se despeja
2 x 1 2 x 12 4 x 1 y
v
2 x 1
Esto se sustituye en la primera ecuacin del sistema para obtener la ecuacin cartesiana.
142
3.13.
y x
orden en la incgnita y x v x , cuya solucin se puedan obtener por alguno de los mtodos clsicos
expuestos en las secciones anteriores.
Empezamos por caracterizar las ED de marras.
Definicin 3.12
y x
En la ED est ausente la
E y , y , y 0
En la ED est ausente la
E x, y , y 0
y.
Ejemplos 3.31
1.
xy 2 y 0
x0
est ausente
2.
xy y 4 x
x0
est ausente
3.
x 2 y 2 xy 2 x y 2 , x 0 , y 1 1 , y 1 1
est ausente
4.
2 yy 1 y 2
est ausente
5.
est ausente
6.
y y 1 y , y 0 0, y 0 4
est ausente.
7.
2 y y 2 1 0
8.
yy y 2 y y 2
est ausente
y 2 1, y 2 1
y estn ausentes
143
En algunas ED con x ausente, despus de sustituir y v y y v , podra ocurrir que se presenten las tres
variables x, y , v , teniendo que eliminar alguna, en tal caso siempre es posible eliminar la variable x utilizando
la siguiente relacin (regla de la cadena):
dv
dx
dv dy
dy
dx
dy
sin alterar)
En todo caso,
dv
v
dy
y ausentes, despus del cambio de variables anterior resulta una ED de primer orden con
x, v o y, v , de la cual esperamos se puedan obtener sus soluciones por alguno de los
Ejemplos 3.32
1.
xy 2 y 0 ; x 0
La variable
Como
v y
xv 2 v 0 ,
dv
dx
2
v
x
ln v 2 ln x ln A
ln v ln Ax 2
v Ax 2
v Ax 2
v Bx 2
2 yy 1 y 2 ,
Es una ED con
B
2
note que
donde
x 2 0 ,
B A
y 2 1, y 2 1
2 yy 1 y 2
2 yv 1 v 2
B
C
x
y x 1 , x 3
y v
dv
2 v
dx
x
2.
entonces:
xy 2 y 0
esta ED es
y v
y v
entonces:
144
2y
dv
1 v2
dx
x, y , v
utiliza el artificio
dv dv dy dv
v
dx dy dx dy
12
2y
dv dy
1 v2
dy dx
2y
dv
v 1 v2
dy
1 v2
ln 1 v 2 ln y ln A
B2
1 v2 A y
1 v 2 By , donde B A
1 y 2 By
1 y 2 2 y
la ltima ED es:
Nuevamente utiliza
dy
2y 1
dx
2 y 1 x C
y 2 1 en esa solucin:
12
y 2 y 1
3.
dy
y
ln 1 v 2 ln A y
La condicin
2vdv
2 1 1 2 C
2 y 1 x 3
xy 2 y 2 y 2 , x 0 , y 1 1
Si tambin
C 3
y 1 1
Est ausente
y . Toma v y
entonces
145
v y
xy 2 y 2 y 2
Obtiene:
xv 2 v 2 v 2
xv 2 v 2 v 2
v 2v
Toma
u v 1
u v 2 v
u v 2 v
en la ltima ED resulta:
u
u
2 1
2
v
x
x
2
2
u
x
x
2
2
u
x
x
2
x dx
e 2 ln x x 2
y obtiene
x 2u 2 xu 2 x
2
d x u 2 xdx
x 2u x 2 A
Como
Cambia
d x 2 u 2 xdx
x2 A
x2
1 x2 A
1
, se escribe:
v
v
x2
v y , obtiene:
Aplica la condicin:
Sustituyendo
1 x2 A
y
x2
y 1 1
A 1 en la ED:
en esta obtiene:
1 x2 A
y
x2
1
2
12 A
12
A 1
v 2
x2
146
Aplica la divisin
1 x2 1
y
x2
x2
x2 1
x2 1 1
1
x2
x2 1
a la ED y obtiene:
y 1
Aplica la condicin
x 1
dy 1 x 2 1 dx
y x arctan x B
y 1 1 ,
1 1 arctan 1 B B
y x arctan x
Y la solucin particular es
4.
1
2
Est ausente
x.
Aplicado a la ED:
Como estn
Toma
v y
entonces
v y .
y y 0
v y 0
dv
y0
dx
dx, y , dv
utiliza
dv dv dy dv
v
dx dy dx dy
para eliminar
dv dy
y0
dy dx
dv
v y 0 , que resulta ser una ED separable.
dy
dv
v y
dy
vdv ydy
v2 y2 A
Cambia
v y
147
para obtener:
y A y 2
A y2
dy
A y2
dy
A y2
A sin B
C2
A cos B
y
xB
A
y
sin B cos x sin x cos B
A
C1
dx
arcsin
donde
dx
y C1 cos x C2 sin x
es la solucin general
Ejercicios 3.25
1.
y y 1 y ,
y 0 0, y 0 4
2.
xy 2 y e x , x 0
3.
xy y 4 x , x 0
4.
2 y y 2 1 0
5.
yy y 2 y y 2 , y 0 1 , y 0 1
6.
y 4 y 0
7.
y 0 1
3 yy y 1 y 3 ,
, x 0, y 0
y 0 0
y 2 1 3x
e
y4 2
ex A
B
x
x
y x 2 A ln x B
y ln 1 Be x
2 ln Be x C
y 0 1
y 0 0
2 2y 3
ln
x ln 4
3
y
arcsin
y
2x
2
10
2
3
x 1
148
8.
9.
y 0 1
e x 1
yy y 2 yy , x 0 , y x 1 ,
. Solucin y e
2 y 0 1
Considere la ecuacin diferencial
H : y ln y 1 y y 2 yy , x 1 , y x 1
y v
transforma
que satisfaga
1 ln y 12 x 1
2
2
en una ED lineal.
y 0 1
y 0 1