Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Joe Garca
Copyright c 2017 Joe Garca
P UBLISHED BY P UBLISHER
Licensed under the Creative Commons Attribution-NonCommercial 3.0 Unported License (the
License). You may not use this file except in compliance with the License. You may obtain a
copy of the License at http://creativecommons.org/licenses/by-nc/3.0. Unless required
by applicable law or agreed to in writing, software distributed under the License is distributed on an
AS IS BASIS , WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
See the License for the specific language governing permissions and limitations under the License.
Bibliography . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
Books 31
Articles 31
0.1 Ecuacin diferencial exacta 5
y 0 = f (x, y) (1)
o la forma diferencial
En la forma (1) queda claro a partir de la propia notacin, que y es considerado como la variable
dependiente y x como la independiente; pero en la forma (2) podemos considerar realmente
cualquiera de las variables como dependientes y las otras como independientes. Sin embargo, en
este trabajo, en todas las ecuaciones diferenciales de la forma (2) en x y y, consideraremos y como
dependientes y x como independientes, a menos que se establezca lo contrario.
Definicin 0.1.1 Sea F una funcin de dos variables reales tales que F tiene continuas primeras
derivadas parciales en un dominio D. El diferencial total dF de la funcin F se define por la
frmula
F(x, y) F(x, y)
dF(x, y) = dx + dy
x y
es llamado un diferencial exacto en un dominio D si existe una funcin F de dos variables reales
tal que esta expresin es igual al diferencial total dF(x, y) para (x, y) 2 D. Es decir, la expresin
(3) es un diferencial exacto en D si existe una funcin F tal que
F(x, y) F(x, y)
= M(x, y) y = N(x, y)
x y
M(x, y) dx + N(x, y) dy = 0.
donde M y N tienen continuas primeras derivadas parciales en todos los puntos (x, y) en un
dominio rectangular D.
1. Si la ecuacin diferencial (4) es exacta en D, entonces
M(x, y) N(x, y)
= (5)
y x
6
F(x, y) F(x, y)
= M(x, y) y = N(x, y)
x y
para todo (x, y) 2 D. Pero, usando la continuidad de las primeras derivadas parciales de M y N,
tenemos
2 F(x, y) 2 F(x, y)
=
y x x y
y por lo tanto
M(x, y) N(x, y)
=
y x
M(x, y) N(x, y)
=
y x
para todo (x, y) 2 D, y se establece para mostrar que M dx + N dy = 0 es exacta en D. Esto significa
que debemos probar que existe una funcin F tal que
F(x, y)
= M(x, y) (6)
x
y
F(x, y)
= N(x, y) (7)
y
para todo (x, y) 2 D. Ciertamente podemos encontrar F(x, y) que satisfe (6) o (7), pero qu pasa
con ambos? Supongamos que F satisface (6) y proceda. Entonces
Z
F(x, y) = M(x, y) x + f (y), (8)
R
donde M(x, y) x indica una integracin parcial con respecto a x, manteniendo y constante, y f
es una funcin arbitraria de y solamente. Esta f (y) se necesita en (8) para que F(x, y) dada por (8)
represente toda la solucin de (6). Corresponde a una constante de integracin en el caso de una
variable". Diferenciando (8) parcialmente con respecto a y, obtenemos
Z
F(x, y) df (y)
= M(x, y) x + .
y y dy
0.1 Ecuacin diferencial exacta 7
Dado que f es una funcin de y solamente, la derivada df /dy tambin debe ser independiente de x.
Es decir, para que (9) se sostenga,
Z
N(x, y) M(x, y) x (10)
y
debe ser independiente de x.
Demostraremos que
Z
N(x, y) M(x, y) x = 0.
x y
De inmediato tenemos
Z Z
N(x, y) 2
N(x, y) M(x, y) x = M(x, y) x.
x y x x y
Si (6) y (7) deben ser satisfechos, entonces usando la hiptesis (5), debemos tener
Z Z
2 2 F(x, y) 2 F(x, y) 2
M(x, y) x = = = M(x, y) x.
x y x y y x y x
As obtenemos
Z Z
N(x, y) 2
N(x, y) M(x, y) x = M(x, y) x.
x y x y x
y por lo tanto
Z
N(x, y) M(x, y)
N(x, y) M(x, y) x = .
x y x y
M(x, y) N(x, y)
= .
y x
Esta F(x, y) satisface tanto (6) como (7) para todo (x, y) 2 D, por lo que M dx + N dy = 0 es
exacta en D.
Ahora que tenemos una demostracin con la que determinar la exactitud, vamos a proceder a
resolver ecuaciones diferenciales exactas. Si la ecuacin M(x, y) dx + N(x, y) dy = 0 es exacta en
un dominio rectangular D, entonces existe una funcin F tal que
F(x, y) F(x, y)
= M(x, y) y = N(x, y) para todo (x, y) 2 D.
x y
F(x, y) F(x, y)
dx + dy = 0 o simplemente dF(x, y) = 0.
x y
La relacin F(x, y) = c es obviamente una solucin de esto, donde c es una constante arbitraria.
Resumimos esta observacin en el siguiente teorema.
F(x, y) F(x, y)
= M(x, y) y = N(x, y) para todo (x, y) 2 D, (12)
x y
y c es una constante arbitraria.
R En la prctica, son frecuentes las ecuaciones diferenciales en las que M y N y sus primeras
derivadas parciales son continuas en todo el plano, en cuyo caso son continuas en cualquier
rectngulo del plano.
M
M = 1 + y2 sin 2x ) = 2y sin 2x
y
N
N = 2y cos2 x ) = 2y sin 2x
x
M N
puesto que y = x , la ecuacin diferencial es exacta. Utilizando la frmula (11), encontramos
0.1 Ecuacin diferencial exacta 9
F(x, y):
Z Z Z
2 2
F(x, y) = (1 + y sin 2x) x + 2y cos x (1 + y2 sin 2x) x dy
y
Z
1 2 2 1 2
= x y cos 2x + 2y cos x x y cos 2x dy
2 y 2
Z
1 2
= x y cos 2x + ( 2y cos2 x + y cos 2x) dy
2
1 2 1 2
= x y cos 2x y
2 2
= x y2 cos2 x.
x y2 cos2 x = c.
1 M
M = sin y + y sin x + ) = cos y + sin x
x y
1 N
N = x cos y cos x + ) = cos y + sin x
y x
M N
puesto que y = x , la ecuacin diferencial es exacta. Utilizando la frmula (11), encontramos
F(x, y):
Z Z Z
1 1 1
F(x, y) = (sin y + y sin x + ) x + x cos y cos x + (sin y + y sin x + ) x dy
x y y x
Z
1
= x sin y y cos x + ln x + x cos y cos x + (x sin y y cos x + ln x) dy
y y
Z
1
= x sin y y cos x + ln x + x cos y cos x + x cos y + cos x dy
y
Z
1
= x sin y y cos x + ln x + dy
y
= x sin y y cos x + ln x + ln y.
2y3 3y2
3x2 tan y 3 2 3
dx + x sec y + 4y + 2 dy = 0.
x3 x
2y3 M 6y2
M = 3x2 tan y ) = 3x2 sec2 y
x3 y x3
3y2 N 6y2
N = x3 sec2 y + 4y3 + 2 ) = 3x2 sec2 y
x x x3
M N
puesto que y = x , la ecuacin diferencial es exacta. Utilizando la frmula (11), encontramos
F(x, y):
Z Z Z
2y3 3y2 2y3
F(x, y) = 3x2 tan y x + x 3
sec2
y + 4y 3
+ 3x2 tan y x dy
x3 x2 y x3
Z
3 y3 3 2 3 3y2 3 y3
= x tan y + 2 + x sec y + 4y + 2 x tan y + 2 dy
x x y x
Z
3 y3 3y2 3y2
= x tan y + 2 + x3 sec2 y + 4y3 + 2 x3 sec2 y dy
x x x3
Z
y3
= x tan y + 2 + 4y3 dy
3
x
y3
= x3 tan y + 2 + y4 .
x
y3
x3 tan y + + y4 = c.
x2
Solucin Primero observamos que la ecuacin es exacta en cada dominio rectangular D, puesto
que My = Nx para todo real (x, y). Agrupamos los trminos de la siguiente manera:
As tenemos
2 3 1 2
d(x cos y) + d(x y) d y = d(c),
2
y entonces
1 2
x2 cos y + x3 y y = c,
2
es una familia de soluciones de un solo parmetro de la ecuacin diferencial. Aplicando la condicin
inicial y = 2 cuando x = 0, encontramos c = 2. As, la solucin del problema de valor inicial
dado es
1 2
x2 cos y + x3 y y = 2.
2
(x + x2 y + y3 ) dx + (y + x3 + xy2 x2 y2 y4 ) dy = 0.
entonces
x y 2
+y dx + 2 +x y dy = 0.
x + y2
2 x + y2
0.1 Ecuacin diferencial exacta 13
As tenemos
x dx + y dy
+ (y dx + x dy) y2 dy = 0,
x 2 + y2
de donde
1 1 3
d ln (x2 + y2 ) + d(xy) d(y ) = d(c),
2 3
y entonces
1 1 3
ln (x2 + y2 ) + xy y = c.
2 3
(3x4 + y) dx + (2x2 y x) dy = 0.
Solucin La ecuacin diferencial puede ser reordenada como
x2 (3x2 dx + 2y dy) + (y dx x dy) = 0.
Dividiendo la ecuacin para x2 , tenemos
y dx + x dy
3x2 dx + 2y dy = 0.
x2
Por lo tanto
y
d(x3 ) + d(y2 ) d = d(c),
x
y la solucin general est dada por
y
x 3 + y2 = c.
x
(x + x2 y + y3 ) dx + (y + x3 + xy2 x2 y2 y4 ) dy = 0.
Solucin La ecuacin diferencial puede ser reordenada como
[x + y(x2 + y2 )] dx + [y + x(x2 + y2 ) y2 (x2 + y2 )] dy = 0.
Dividiendo la ecuacin para x2 + y2 , tenemos
x y 2
+ y dx + 2 +x y dy = 0.
x2 + y2 x + y2
Reordenar la ecuacin conduce a
x dx + y dy
+ (y dx + x dy) y2 dy = 0.
x 2 + y2
Por lo tanto
1 1 3
d ln(x2 + y2 ) + d(xy) d(y ) = d(c),
2 3
y la solucin general est dada por
1 1 3
ln(x2 + y2 ) + xy y = c.
2 3
14
x dx + y dy 1
2 2 2
+ p dx = 0.
x +y x
lo que resulta
1 p
2d ln(x2 + y2 ) + d(2 x) = d(c),
2
y2 dx + (xy + y2 1) dy = 0.
Es fcil ver que y = 0 es una solucin de la ecuacin diferencial. Para y 6= 0, dividiendo la ecuacin
por y conduce a
1
y dx + x dy + y dy = 0,
y
lo que resulta
1 2
d(xy) + d y d(ln y) = d(c),
2
xy dx (x2 + x2 y + y3 ) dy = 0.
y dx x dy
x y dy = 0,
x2 + y2
lo que resulta
x
x d arctan y dy = d(c).
y
Es fcil ver que y = 0 es una solucin de la ecuacin diferencial. Para y 6= 0, dividiendo la ecuacin
por y obtenemos
x x
d arctan dy = d(c).
y y
Ya que
x x 1 x2
d arctan = d ln 1 + 2 .
y y 2 y
Por lo tanto
1 x2
d ln 1 + 2 dy = d(c).
2 y
0.2 Ejercicios
1. Demuestre que la ecuacin diferencial homognea
2. En los ejercicios se pide determinar si cada una de las ecuaciones dadas es exacta, resolver
las que son exactas:
y3/2 + 1
g) dx + (3x1/2 y1/2 1) dy = 0,
x1/2 1 3 1
Resp: 2x 2 y 2 + 2x 2 y = c.
3 y y2 2x
c) dx + dy = 0, y( 1) = 2,
x2 xy2
y 3 2
Resp: x x + y = 2.
4. En cada una de las ecuaciones diferenciales, determine la constante a para que sea exacta, y
resuelva la ecuacin diferencial exacta resultante:
a) (x2 + 3xy) dx + (ax2 + 4y) dy = 0, 1 1 ax + 1
b) 2
+ 2
dx + dy = 0,
3 3 2
Resp: a = 2 , 2x + 9x y + 12y = c. 2 x y y3
Resp: a = 2, yx2 1x 2y12 = c.
0.2 Ejercicios 17
ay
c) (ax2 y + 2y2 ) dx + (x3 + 4xy) dy = 0, d) y 1 1
3
+
2
dx + 2 dy = 0;
Resp: a = 3, xy(x2 + 2y) = c. x x x x
Resp: a = 2, y(1 x) = cx2 .
5. En cada una de las siguientes ecuaciones, determine la funcin ms general M(x, y) y N(x, y)
tal que la ecuacin sea exacta y encuentre la solucin general:
b) M(x, y) dx + (2x2 y3 + x4 y) dy = 0;
Resp: M(x, y) = xy4 + 2x3 y2 , x2 y2 (x2 + y2 ) = c.
2xy3 2
a) y0 = ;
3x2 y2 + ey f) cos 4y2 dx 8xy sin 4y2 dy = 0;
Resp: x2 y3 + 2x + ey = c. Resp: x cos 4y2 = c.
cos(xy) + xy sin(xy)
b) y0 = ; g) 4xy + 2x + (2x2 + 3y2 ) y 0 = 0;
x2 sin(xy) + 2y Resp: 2x2 y + x2 + y3 = c.
Resp: x cos(xy) + y2 = c.
x y h) (4xy + 2x2 y) dx + (2x2 + 3y2 ) dy = 0;
c) 2 2
+ 2 y 0 = 0; Resp: No es exacta.
x +y x + y2
Resp: ln (x2 + y2 ) = c.
i) ex cos y cos y xex cos y sin y y 0 = 0;
1 Resp: ex cos y = c.
d) + y + (3y2 + x) y 0 = 0;
x
Resp: xy + y3 + ln |x| = c.
j) (3x2 + 3y) dx + (2y + 3x) dy = 0;
Resp: x3 + 3xy + y2 = c.
e) y + ex + x y 0 = 0;
Resp: xy + ex = c.
7. En cada uno de los literales, demuestre que la ecuacin diferencial es exacta, obtenga la
solucin general y utilice sta para hallar una solucin del problema de valor inicial:
p
b) x cos(2y x) sin(2y x) 2x cos(2y x) y 0 = 0, y 12 = p8 ;
p
Resp: x sin(x 2y) = c, x sin(2y x) = 24 .
18
c) ey + (xey 1) y 0 = 0, y(5)=0;
Resp: xey y = c, xey y = 5.
a) (x2 + y + y2 ) dx x dy = 0;
Resp: x arctan xy = c.
p p
b) (x px2 + y2 ) dx + (y x2 + y2 ) dy = 0;
Resp: 2 2
x + y x y = c.
p p
c) y 1 + y2 dx
p + (x 1 + y2 y) dy = 0;
Resp: xy 2
1 + y = c.
d) y2 dx (xy + x3 ) dy = 0;
2
Resp: 12 xy + y = c.
y
e) y dx x dy 2x3 tan dx = 0;
x
Resp: sin xy = ce x2 .
f) (2x2 y2 + y) dx + (x3 y x) dy = 0;
Resp: x2 y + ln xy = c.
h) (2x2 y4 y) dx + (4x3 y3 x) dy = 0;
1
Resp: 2xy2 + xy = c.
0.3 Factor de integracin 19
M(x, y) dx + N(x, y) dy = 0
si
M(x, y) N(x, y)
=
y x
M(x, y) N(x, y)
6=
y x
es exacta. Ahora usando el criterio (2.7) para la exactitud, la ecuacin (13) es exacta si y slo si
[(x, y)M(x, y)] = [(x, y)N(x, y)].
y y
Por lo tanto es un factor integrador de la ecuacin diferencial (13) si y slo si es una solucin
de la ecuacin diferencial (15). La ecuacin (15)es una ecuacin diferencial parcial para el factor
de integracin general , y no estamos en posicin de intentar resolver tal ecuacin. En su lugar,
20
intentamos determinar los factores integrantes de ciertos tipos especiales. Pero, qu tipos especiales
podemos considerar? Recordemos que la ecuacin diferencial lineal
y 0 + p(x)y = q(x)
R
siempre posee el factor de integracin e p(x) dx , que depende slo de x. Quizs otras ecuaciones
tambin tienen factores integrantes que dependen slo de x. Por lo tanto multiplicamos la ecuacin
(13) por (x), donde depende slo de x. Obtenemos
(x)M(x, y) dx + (x)N(x, y) dy = 0.
[(x)M(x, y)] = [(x)N(x, y)].
y x
Ahora M y N son funciones conocidas de x y y, pero aqu el factor de integracin depende
solamente de x. As, la condicin anterior se reduce a
M(x, y) N(x, y) d(x)
(x) = (x) + N(x, y)
y x dx
o
d(x) 1 M(x, y) N(x, y)
= dx. (16)
(x) N(x, y) y x
Si
1 M(x, y) N(x, y)
N(x, y) y x
implica la variable y, esta ecuacin implica entonces dos variables dependientes y tenemos de
nuevo dificultades. Sin embargo, si
1 M(x, y) N(x, y)
N(x, y) y x
depende slo de x, la ecuacin (13) es una ecuacin ordinaria separada en la variable independiente
nica x y la variable dependiente nica . En este caso, podemos integrar para obtener el factor de
integracin
R h i
1 M(x, y) N(x, y)
dx
(x) = e N(x, y) y x
De la misma manera, si
1 N(x, y) M(x, y)
M(x, y) x y
depende slo de y, entonces podemos obtener un factor de integracin que depende slo de y.
Si
1 M(x, y) N(x, y)
(18)
N(x, y) y x
Casos especiales:
M N R R
d d f (x)dx ;
1. Si y
N
x
= f (x), entonces f (x) = dx y por tanto f (x)dx = , luego = Ce
R
tomando C = 1 se tiene = e f (x)dx .
M N R
2. Similarmente, si y x
= g(y), entonces = e g(y)dy .
M
R En la prctica, la solucin de esta ecuacin para obtener puede ser cuando menos tan
difcil de realizar como la de la ecuacin diferencial original. Esto significa que en el sentido
prctico podemos encontrar factores de integracin slo en algunos casos. (Esta es la razn
por la que muchas ecuaciones diferenciales son difciles de resolver.)
M
M = 2x(x2 sin y + 1) ) = 2x cos y
y
N
N = (x2 + 1) cos y ) = 2x cos y
x
22
1
= .
(x2 + 1)2
1
Multiplicando la ecuacin planteada por (x) = (x2 +1)2
, se transforma en exacta
sin y
= 2 + ln(x2 + 1).
x +1
Como F(x, y) = c, entonces la solucin general de la ecuacin diferencial es
sin y
+ ln(x2 + 1) = c.
x2 + 1
R 8xy2 +8xy3 ey +4
dy
= e 2xy4 ey +2xy3 +y
R 4
= e y dy
1
= 4.
y
1
Multiplicando la ecuacin planteada por (x) = y4
, se transforma en exacta
2xy3 ey + 2xy2 + 1 x 2 y4 ey x 2 y2 3x
dx + dy = 0.
y3 y4
Utilizando la ecuacin (11), encontramos F(x, y):
Z Z 2 4 y Z
2xy3 ey + 2xy2 + 1 x y e x2 y2 3x 2xy3 ey + 2xy2 + 1
F(x, y) = x + x dy
y3 y4 y y3
Z 2 4 y
2 y x2 x x y e x2 y2 3x 2 y x2 x
= x e + + 3+ x e + + 3 dy
y y y4 y y y
Z 2 4 y
2 y x2 x x y e x2 y2 3x 2 y x2 3x
= x e + + 3+ x e + 2 + 4 dy
y y y4 y y
x 2 x
= x 2 ey + + 3 .
y y
Como F(x, y) = c, entonces la solucin general de la ecuacin diferencial es
x2 x
x 2 ey + + 3 = c.
y y
24
R 2
2xex +y sin 2x
2 dy
= eR 2y(xex +y sin x cos x)
1
dy
= e y
= y.
Multiplicando la ecuacin planteada por (x) = y, se transforma en exacta
2 2
2y2 (xex + y sin x cos x) dx + y(2ex + 3y sin2 x) dy = 0.
Utilizando la ecuacin (11), encontramos F(x, y):
Z Z Z
2 x2 x2 2 2
F(x, y) = 2y (xe + y sin x cos x) x + y(2e + 3y sin x) 2y2 (xex + y sin x cos x) x dy
y
Z
2 x2 1 3 x2 2 2 x2 1 3
= y e y cos 2x + y(2e + 3y sin x) y e y cos 2x dy
2 y 2
Z
2 x2 1 3 2 2 3
= y e y cos 2x + y(2ex + 3y sin2 x) 2yex + y2 cos 2x dy
2 2
Z
2 1 3
= y2 ex y3 cos 2x + y2 dy
2 2
2 1 3 1
= y2 ex y cos 2x + y3
2 2
2
= y2 ex + y3 sin2 x.
Como F(x, y) = c, entonces la solucin general de la ecuacin diferencial es
2
y2 ex + y3 sin2 x = c.
ln d ln ln d ln
=y , =x
x dz y dz
d ln 1
(yN xM) =2 ) ln = ln z ) =
dz xy
1
el factor de integracin es (x, y) = xy . Multiplicando la ecuacin planteada por este factor de
integracin
1 2 2 1
(x y + 1) dx + (x2 y2 1) dy = 0.
x y
puesto que esta ecuacin es exacta, utilizando la ecuacin (11) encontramos F(x, y):
Z Z Z
1 2 2 1 2 2 1 2 2
F(x, y) = (x y + 1) x + (x y 1) (x y + 1) x dy
x y y x
Z
1 2 2 1 2 2 1 2 2
= x y + ln x + (x y 1) x y + ln x dy
2 y y 2
Z
1 2 2 1 2 2
= x y + ln x + (x y 1) x2 y dy
2 y
Z
1 2 2 1
= x y + ln x dy
2 y
1 2 2
= x y + ln x ln y.
2
26
1 2 2 x
x y + ln = c.
2 y
ex sin y + 2y cos x = c.
0.4 Ejercicios
1. En cada uno de los literales, encuentre el factor de integracin para que la ecuacin diferencial
sea exacta. Determine la solucin general:
k) y(2x y + 2) dx + 2(x y) dy = 0;
Resp: yex (2x y) = c.
m) y dx + x(y2 + ln x) dy = 0;
Resp: 3y ln x + y3 = c.
n) (x2 + 2x + y) dx + (3x2 y x) dy = 0;
Resp: x + 2 ln x xy + 32 y2 = c.
) y2 dx + (xy + y2 1) dy = 0;
Resp: xy + 12 y2 ln y = c.
p) 2y(x + y + 2) dx + (y2 x2 4x 1) dy = 0;
Resp: x2 + 4x + 2xy + y2 + 1 = cy.
q) (2 + y2 + 2x) dx + 2y dy = 0;
Resp: ex (2x + y2 ) = c.
r) (2xy2 y) dx + (y2 + x + y) dy = 0;
Resp: x2 xy + y + ln y = c.
s) y(x + y) dx + (x + 2y 1) dy = 0;
28
Resp: ex (xy + y2 y) = c.
2. En cada uno de los literales, encuentre el factor de integracin para que la ecuacin diferencial
sea exacta. Determine la solucin general:
c) [y2 (x + 1) + y] dx + (2xy + 1) dy = 0;
Resp: .
d) (2xy2 + y) dx + (2y3 x) dy = 0;
Resp: .
Books
Articles