2.

4 ECUACIONES EXACTAS

REPASO DE MATERIAL

Clculo de varias variables.

Derivacin parcial e integracin parcial.
Diferencial de una funcin de dos variables.

INTRODUCCIN Aunque la sencilla ecuacin diferencial de primer orden

+ = 0

es separable, podemos resolver la ecuacin en una forma alterna al reconocer que la expresin
del lado izquierdo de la ecuacin es la diferencial de la funcin (, ) = , es decir

() = + .

En esta seccin analizamos ecuaciones de primer orden en la forma diferencial (, ) +

(, ) = 0. Aplicando una prueba simple a y a , podemos determinar si (, ) +
(, ) es una diferencial de una funcin (, ). Si la respuesta es s, construimos
integrando parcialmente.

DIFERENCIAL DE UNA FUNCIN DE DOS VARIABLES Si = (, ) es una funcin de dos

variables con primeras derivadas parciales continuas en una regin del plano , entonces su
diferencial es

= + . (1)

En el caso especial cuando (, ) = , donde es una constante, entonces la ecuacin (1)

implica que

+ = 0. (2)

En otras palabras, dada una familia de curvas (, ) = , podemos generar una ecuacin
diferencial de primer orden si calculamos la diferencial de ambos lados de la igualdad. Por
ejemplo, si 2 5 + 3 = , entonces la ecuacin (2) da la ED de primer orden

(2 5) + (5 + 3 2 ) = 0. (3)

UNA DEFINICIN Por supuesto, que no todas las ED de primer orden escritas en la forma
(, ) + (, ) = 0 corresponden a una diferencial de (, ) = . Por tanto para nuestros
objetivos es muy importante regresar al problema anterior; en particular, si nos dan una ED de
primer orden tal como la ecuacin (3), hay alguna forma de reconocer que la expresin
diferencial (2 5) + (5 + 3 2 ) es la diferencial ( 2 5 + 3 )? Si la hay, entonces
una solucin implcita de la ecuacin (3) es 2 5 + 3 = . Podemos contestar esta pregunta
despus de la siguiente definicin.

DEFINICIN 2.4.1 Ecuacin exacta

Una expresin diferencial (, ) + (, ) es una diferencial exacta en una regin del

plano si sta corresponde a la diferencial de alguna funcin (, ) definida en . Una
ecuacin diferencial de primer orden de la forma
 (, ) + (, ) =

se dice que es una ecuacin exacta si la expresin del lado izquierdo es una diferencial exacta.

Por ejemplo 2 3 + 3 2 = 0 es una ecuacin exacta, ya que su lado izquierdo es una

diferencial exacta:

1
( 3 3 ) = 2 3 + 3 2
3

Observe que si hacemos las identificaciones (, ) = 2 3 y (, ) = 3 2 , entonces =


3 2 2 = . El teorema 2.4.1, que se presenta a continuacin, muestra que la igualdad de las


derivadas parciales y no es una coincidencia.

TEOREMA 2.4.1 Criterio para una diferencial exacta

Sean (, ) y (, ) continuas y que tienen primeras derivadas parciales continuas en una

regin rectangular definida por < < <, < < . Entonces una condicin necesaria y
suficiente para que (, ) + (, ) sea una diferencial exacta es

= (4)

PRUEBA DE LA NECESIDAD Por simplicidad suponemos que (, ) y (, ) tienen primeras

derivadas parciales continuas para todo (, ). Ahora si la expresin (, ) + (, ) es
exacta, existe alguna funcin tal que para toda en ,

(, ) + (, ) = +

Por tanto

(, ) = , (, ) = ,

y

2
= ( )= = ( )= .

La igualdad de las parciales mixtas es una consecuencia de la continuidad de las primeras

derivadas parciales de (, ) y (, ).

La parte de suficiencia del teorema 2.4.1 consiste en mostrar que existe una funcin para la que

= (, ) y = (, ) siempre que la ecuacin (4) sea vlida. La construccin de la funcin

en realidad muestra un procedimiento bsico para resolver ecuaciones exactas.

MTODO DE SOLUCIN Dada una ecuacin en la forma diferencial (, ) + (, ) = 0,

determine si la igualdad de la ecuacin (4) es vlida. Si es as, entonces existe una funcin para
la que

= (, )

.
Podemos determinar integrando (, ) respecto a mientras se conserva constante:

(, ) = (, ) + (), (5)

donde la funcin arbitraria () es la constante de integracin. Ahora derivando (5) respecto a

y suponiendo que = (, ):

= (, ) + () = (, )

Se obtiene

() = (, ) (, ) (6)

Por ltimo, se integra la ecuacin (6) respecto a y se sustituye el resultado en la ecuacin (5).
La solucin implcita de la ecuacin es (, ) = .

Haremos algunas observaciones en orden. Primero, es importante darse cuenta de que la

expresin (, ) () (, ) en (6) es independiente de , ya que

[(, ) (, ) ] = ( (, ) ) = = 0.

Segunda, pudimos iniciar bien el procedimiento anterior con la suposicin de que = (, ).

Despus, integrando respecto a y derivando este resultado, encontraramos las ecuaciones
que, respectivamente, son anlogas a las ecuaciones (5) y (6),

(, ) = (, ) + () () = (, ) (, )

En ninguno de ambos casos se deben memorizar estas frmulas.

EJEMPLO 1 Resolviendo una ED exacta

Resuelva 2 + ( 2 1) = 0.

SOLUCIN Con (, ) = 2 y (, ) = 2 1 tenemos que

= 2 = .

As la ecuacin es exacta y por el teorema 2.4.1 existe una funcin (, ) tal que

= 2 = 2 1

Al integrar la primera de estas ecuaciones, se obtiene:

(, ) = 2 + ().

Tomando la derivada parcial de la ltima expresin con respecto a y haciendo el resultado igual
a (, ) se obtiene

= 2 + () = 2 1, ()

Se tiene que () = 1 y () = . Por tanto (, ) = 2 , as la solucin de la ecuacin

en la forma implcita es 2 = . La forma explcita de la solucin se ve fcilmente como =
/(1 2 ) y est definida en cualquier intervalo que no contenga ni a = 1 ni a = 1.

NOTA La solucin de la ED en el ejemplo 1 no es (, ) = 2 . Sino que es (, ) = ; si

se usa una constante en la integracin de (), podemos escribir la solucin como (, ) = 0.
Observe que la ecuacin tambin se podra haber resuelto por separacin de variables.

EJEMPLO 2 Solucin de una ED exacta

Resuelva ( 2 ) + (2 2 + 2) = 0.

SOLUCIN La ecuacin es exacta ya que

= 2 2 + cos = .

Por tanto existe una funcin (, ) para la cual

(, ) = (, ) =

Ahora, para variar, comenzaremos con la suposicin de que = (, ); es decir

= 2 2 cos + 2

(, ) = 2 2 2 cos + 2

Recuerde que la razn por la que sale del smbolo es que en la integracin respecto a se
considera que es una constante ordinaria. Entonces se tiene que

(, ) = 2 + 2 + ()

= 2 cos + () = 2 cos , (, )

y as () = 0 o () = . Por tanto una familia de soluciones es

2 + 2 + = 0

EJEMPLO 3 Problema con valores iniciales

Resuelva
2 cos
= , (0) = 2.
(1 2 )

SOLUCIN Al escribir la ecuacin diferencial en la forma

 (cos 2 ) + (1 2 ) = 0

reconocemos que la ecuacin es exacta porque

= 2 = .

Ahora

= (1 2 )

2
(, ) = (1 2 ) + ()
2

= 2 + () = cos 2

La ltima ecuacin implica que () = . Integrando se obtiene

1
() = (cos ) ( ) = 2 .
2
Por tanto
2 1
(1 2 ) 2 = 1 2 (1 2 ) 2 = , (7)
2 2

donde se sustituye 21 por . La condicin inicial = 2 cuando = 0 exige que 4(1) 2 (0) =
, y por tanto = 3. Una solucin implcita del problema es entonces 2 (1 2 ) 2 = 3.

FIGURA 2.4.1 Algunas grficas de los miembros de la familia 2 (1 2 ) 2 =

En la figura 2.4.1, la curva solucin del PVI es la curva dibujada en azul oscuro, y forma parte de
una interesante familia de curvas. Las grficas de los miembros de la familia uniparamtrica de
soluciones dadas en la ecuacin (7) se puede obtener de diferentes maneras, dos de las cuales
son utilizando un paquete de computacin para trazar grficas de curvas de nivel (como se
analiz en la seccin 2.2) y usando un programa de graficacin para dibujar cuidadosamente la
grfica de las funciones explcitas obtenidas para diferentes valores de despejando a de 2 =
( + 2 )/(1 2 ) para .

FACTORES INTEGRANTES Recuerde de la seccin 2.3 que el lado izquierdo de la ecuacin

lineal + () = () se puede transformar en una derivada cuando multiplicamos la ecuacin
por el factor integrante. Esta misma idea bsica algunas veces funciona bien para una ecuacin
diferencial no exacta (, ) + (, ) = 0
Es decir, algunas veces es posible encontrar un factor integrante (, ) de manera que,
despus de multiplicar el lado izquierdo de
 (, )(, ) + (, )(, ) = 0 (8)

es una diferencial exacta. En un intento por encontrar , regresamos al criterio (4) de la exactitud.
La ecuacin (8) es exacta si y slo si () = () , donde los subndices denotan derivadas
parciales. Por la regla del producto de la derivacin la ltima ecuacin es la misma que +
= + o

= ( ), (9)

Aunque , , y son funciones conocidas de y , la dificultad aqu al determinar la

incgnita (, ) de la ecuacin (9) es que debemos resolver una ecuacin diferencial parcial.
Como no estamos preparados para hacerlo, haremos una hiptesis para simplificar. Suponga que
es una funcin de una variable; por ejemplo, depende slo de .

En este caso, = / y = 0, as la ecuacin (9) se puede escribir como

= = . (10)

Estamos an en un callejn sin salida si el cociente ( )/ depende tanto de como de .

Sin embargo, si despus de que se hacen todas las simplificaciones algebraicas el cociente
( )/ resulta que depende slo de la variable , entonces la ecuacin (10) es separable
as como lineal. Entonces de la seccin 2.2 o de la seccin 2.3 tenemos que () =
)/)
(( . Anlogamente, de la ecuacin (9) tenemos que si depende slo de la variable
, entonces

= = . (11)

En este caso, si ( )/ es una funcin slo de , podemos despejar de la ecuacin (11).

Resumiendo estos resultados para la ecuacin diferencial.

(, ) + (, ) = 0. (12)

Si ( )/ es una funcin slo de , entonces un factor integrante para la ecuacin (12) es

)/)
() = (( (13)

Si ( )/ es una funcin slo de , entonces un factor integrante de (12) es

)/)
() = (( (14)

EJEMPLO 4 Una ED no exacta hecha exacta

La ecuacin diferencial no lineal de primer orden

+ (2 2 + 3 2 20) = 0

es no exacta. Identificando = , = 2 2 + 3 2 20, encontramos que las derivadas parciales

= y = 4. El primer cociente de la ecuacin (13) no nos conduce a nada, ya que
 4 3
= 2 = 2
2 + 3 20 2 + 3 2 20
2

depende de y de . Sin embargo, la ecuacin (14) produce un cociente que depende slo de :

4 3
= = .

3
El factor integrante es entonces 3/ = 3 ln = ln = 3 . Despus de multiplicar la ED dada
por () = 3, la ecuacin resultante es

4 + (2 2 3 + 3 5 20 3 ) = 0

Usted debera comprobar que la ltima ecuacin es ahora exacta as como mostrar, usando el
mtodo que se present en esta seccin, que una familia de soluciones es

1 2 4 1 6
+ 5 4 = .
2 2

COMENTARIOS

i) Cuando pruebe la exactitud de una ecuacin, se debe asegurar que tiene exactamente la forma
(, ) + (, ) = 0. Algunas veces una ecuacin diferencial se escribe como (, ) =
(, ) . En este caso, primero rescriba como (, ) (, ) = 0 y despus identifique
(, ) = (, ) y (, ) = (, ) antes de utilizar la ecuacin (4).

ii) En algunos libros de ecuaciones diferenciales el estudio de las ecuaciones exactas precede al
de las ED lineales. Entonces el mtodo que acabamos de describir para encontrar los factores
integrantes se puede utilizar para deducir un factor integrante para + () = ().
Reescribiendo la ltima ecuacin en la forma diferencial (() ()) + = 0, vemos que
.

= ()

A partir de la ecuacin (13) hemos obtenido el conocido factor integrante () , utilizado en la
seccin 2.3.

EJERCICIOS 2.4

En los problemas 1 a 20 determine si la ecuacin diferencial dada es exacta. Si lo es, resulvala.

. (2 1) + (3 + 7) = 0
Solucin:

. (2 + ) ( + 6) = 0
Solucin:

. (5 + 4) + (4 8 3 ) = 0
Solucin:
. ( ) + (cos + ) = 0
Solucin:

. (2 2 3) + (2 2 + 4) = 0
Solucin:

1
. (2 + cos 3) + 2 4 3 + 3 3 = 0

Solucin:

. ( 2 2 ) + ( 2 2) = 0
Solucin:

. (1 + ln + ) = (1 ln )

Solucin:

. ( 3 + 2 ) = (3 2 + 2 )
Solucin:

. ( 3 + 3 ) + 3 2 = 0
Solucin:

1
. ( ) + ( + ) = 0

Solucin:
. (3 2 + ) + ( 3 + 2) = 0
Solucin:

. = 2 + 6 2

Solucin:

3 3
. (1 + ) + = 1

Solucin:

1
. ( 2 3 ) + 32 = 0
1 + 9 2
Solucin:

. (5 2) 2 = 0
Solucin:

. (tan ) + (cos cos ) = 0

Solucin:

2 2
. (2 + 2 2 ) = ( 2 4 )
Solucin:

. (4 3 15 2 ) + ( 4 + 3 2 ) = 0
Solucin:
 1 1
. ( + 2 2 2
) + ( + 2 ) = 0
+ + 2
Solucin:

En los problemas 21 a 26 resuelva el problema con valores iniciales.

. ( + )2 + (2 + 2 1) = 0, (1) = 0
Solucin:

. ( + ) + (2 + + ) = 0, (0) = 1
Solucin:

. (4 + 2 5) + (6 + 4 1) = 0, (1) = 2
Solucin:

3 2 2
. ( 5
) + 4 = 0, (1) = 0
2
Solucin:

. ( 2 cos 3 2 2) + (2 3 + ln ) = 0, (0) =
Solucin:
 1
. ( 2
+ cos 2) = ( + ), (0) = 1
1+
Solucin:

En los problemas 27 y 28 determine el valor de k para el que la ecuacin diferencial es exacta.

. ( 3 + 4 2) + (3 2 + 20 2 3 ) = 0
Solucin:

. (6 3 + cos ) + (2 2 2 sen ) = 0
Solucin:

En los problemas 29 y 30 compruebe que la ecuacin diferencial dada es no exacta. Multiplique la

ecuacin diferencial dada por el factor integrante indicado (, ) y compruebe que la nueva
ecuacin es exacta. Resuelva.

. ( + 2 ) + (2 ) = 0; (, ) =
Solucin:

. ( 2 + 2 2 ) + ( 2 + 2 2 ) = 0; (, ) = ( + )2
Solucin:

En los problemas 31 a 36 resuelva la ecuacin diferencial dada determinando, como en el

ejemplo 4, un factor integrante adecuado.

. (2 2 + 3) + (2) = 0
Solucin:

. ( + + 1) + ( + 2) = 0
Solucin:
. 6 + (4 + 9 2 ) = 0
Solucin:

2
. cos + (1 + ) = 0

Solucin:

. (10 6 + 3 ) 2 = 0
Solucin:

. ( 2 + 3 ) + (5 2 + 3 ) = 0
Solucin:

En los problemas 37 y 38 resuelva el problema con valores iniciales determinando, como en el

ejemplo 5, un factor integrante adecuado.

. + ( 2 + 4) = 0, (4) = 0
Solucin:
. ( 2 + 2 5) + ( + ) = 0, (0) = 1
Solucin:

39. a) Demuestre que una familia de soluciones uniparamtrica de soluciones de la ecuacin

(4 + 3 2 ) + (2 + 2 2 ) = 0 3 + 2 2 + 2 = .
.
b) Demuestre que las condiciones iniciales (0) = 2 y (1) = 1 determinan la misma solucin
implcita.
c) Encuentre las soluciones explcitas 1 () y 2 () de la ecuacin diferencial del inciso a) tal que
1 (0) = 2 y 2 (1) = 1. Utilice un programa de graficacin para trazar la grfica de 1 () y 2 ().
Solucin:

Problemas para analizar

40. Considere el concepto de factor integrante utilizado en los problemas 29 a 38. Son las dos
ecuaciones + = 0 y + = 0 necesariamente equivalentes en el sentido de
que la solucin de una es tambin una solucin de la otra? Analice.
Solucin:
41. Lea nuevamente el ejemplo 3 y despus analice por qu podemos concluir que el intervalo de
definicin de la solucin explcita del PVI (curva azul de la figura 2.4.1) es (1, 1).
Solucin:

42. Analice cmo se pueden encontrar las funciones (, ) y (, ) tal que cada ecuacin
diferencial sea exacta. Lleve a cabo sus ideas.

1
) (, ) + ( + 2 + ) = 0


) ( 1/2 1/2 + ) + (, ) = 0
2 +
Solucin:

43. Algunas veces las ecuaciones diferenciales se resuelven con una idea brillante. Este es un
pequeo ejercicio de inteligencia: aunque la ecuacin ( 2 + 2 ) + = 0 no es exacta,
1
demuestre cmo el reacomodo ( + )/ 2 + 2 = y la observacin 2 ( 2 + 2 ) = +
puede conducir a una solucin.
Solucin:

44. Verdadero o falso: toda ecuacin de primer orden separable / = ()() es exacta.
Solucin:

Modelos matemticos

45. Cadena cayendo Una parte de una cadena de 8 pies de longitud est enrollada sin apretar
alrededor de una clavija en el borde de una plataforma horizontal y la parte restante de la cadena
cuelga descansando sobre el borde de la plataforma. Vea la figura 2.4.2. Suponga que la longitud
de la cadena que cuelga es de 3 pies, que la cadena pesa 2 lb/pie y que la direccin positiva es
hacia abajo. Comenzando en = 0 segundos, el peso de la cadena que cuelga causa que la
cadena sobre la plataforma se desenrolle suavemente y caiga al piso. Si () denota la longitud
de la cadena que cuelga de la mesa al tiempo > 0, entonces = / es su velocidad. Cuando
se desprecian todas las fuerzas de resistencia se puede demostrar que un modelo matemtico
que relaciona a con est dado por

+ 2 = 32.

a) Rescriba este modelo en forma diferencial. Proceda como en los problemas 31 a 36 y resuelva
la ED para en trminos de determinando un factor integrante adecuado. Determine una
solucin explcita ().
b) Determine la velocidad con que la cadena abandona la plataforma.

FIGURA 2.4.2 Cadena desenrollada del problema 45.

Solucin:

Tarea para el laboratorio de computacin

46. Lneas de flujo

a) La solucin de la ecuacin diferencial

2 2 2
+ [1 + ] = 0
( 2 + 2 )2 ( 2 + 2 )2

es una familia de curvas que se pueden interpretar como lneas de flujo de un fluido que discurre
alrededor de un objeto circular cuya frontera est descrita por la ecuacin 2 + 2 = 1. Resuelva
esta ED y observe que la solucin (, ) = para = 0.

b) Use un SAC para dibujar las lneas de flujo para = 0, 0.2, 0.4, 0.6 y 0.8 de tres maneras
diferentes. Primero, utilice el contourplot de un SAC. Segundo, despeje en trminos de la
variable . Dibuje las dos funciones resultantes de para los valores dados de , y despus
combine las grficas. Tercero, utilice el SAC para despejar de una ecuacin cbica en trminos
de .
Solucin: