Sie sind auf Seite 1von 65

84

Mtodos clsicos para resolver ED de primer orden

3.6. Ecuaciones diferenciales lineales de primer orden


a x , b x , c x
a x 0 , x I

En esta seccin
principal

Definicin 3.3

son funciones reales continuas en un intervalo abierto

y el coeficiente

ED lineal de primer orden

Una ED lineal de primer orden en

y,

dy
dx

con coeficientes

a x , b x

es

a x y b x y c x

Una ED lineal de primer orden en

x,

dx
dy

con coeficientes

a y , b y

es

a y

En esta definicin nos abstenemos de escribir

en lugar de

dx
dy

dx
b y x c y
dy

para evitar ambigedades.

Nota
Si en

a x y b x y c x intercambia las variables x

obtiene

a y

dx
b y x c y
dy

Algoritmo para resolver una ED lineal


Empiece con

a x y b x y c x

y divida por

a x

para normalizarla, resulta:

b x
c x
y
ax
ax

Para simplificar se introducen

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

, trmino que llamaremos factor integrante de la ED y obtenga:

p x dx

e

y e
e
y
px

p x dx

q x

derivada de una multiplicacin

Los trminos a la izquierda del = forman la derivada de la multiplicacin

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:

Mtodos clsicos para resolver ED de primer orden

d e

p x dx

85

p x dx

y e
q x dx

funcin de x

Ahora ambos trminos son integrables y la solucin general es:

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

Esa solucin se puede escribir en forma explcita como:

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

Por la presencia del parmetro

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

estamos ante infinidad de factores integrantes

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

Separe los diferenciales e integre para obtener:

y e x 2 xe x 2 dx
d

Con el cambio de variable

u x2

calcula la integral de la derecha y la solucin resulta:

y e x 1 e x C
2

2
2

y e x 1 e x C
2

86

Mtodos clsicos para resolver ED de primer orden

2.

Resolver la ED

Divida por

x2

x 2 y 2 y

es una solucin general

x2
x2 4

para normalizar la ED lineal, esto es que el coeficiente de

y
Compare con

y 1 Ce x

sea uno, resulta:

2
1
y 2
x2
x 4

y px y qx

y concluya que

p( x)
2

Multiplique por el factor integrante

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

de integracin cero) y obtenga:

x 2 y 2 x 2 y
2

x 2 2
x2 4

El trmino a la izquierda del = es la derivada de la multiplicacin

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

La funcin racional1 por integrar es impropia1, aplique la divisin de los polinomios

x2 4x 4 x2 4
x2
4
1

4x
escriba la solucin general como:

x 22 y 1

4x
dx
x 4
2

Esta ltima integral se calcula con el cambio de variable

u x2 4

y resulta la solucin general:

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

Mtodos clsicos para resolver ED de primer orden

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

Multiplique la ED por el factor integrante

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

la solucin general queda:

y ex

du
u2 1

y e x arctan u C

y e x arctan e x C

es la solucin general

4.

Resolver la ecuacin INTEGRAL

En el integrando

ty t

y x 2 ty t dt x 2
0

se utiliza

para evitar confusin con el lmite superior

x . Bajo la integral est la funcin

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

Mtodos clsicos para resolver ED de primer orden

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

Con esto en mente regresamos a la ED:

x
d x2
d
y x 2 ty t dt

dx
dx

Derive respecto a la variable independiente y obtenga:

Omitimos el argumento

x , para escribir la ED como:

Multiplique por el factor integrante

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

El miembro a la izquierda como siempre es la derivada de una multiplicacin, entonces la escribe:

d x2
x2
e y 2 xe
dx

Aplique la sustitucin

u x2

x2
x2

2
d
e
y
xe
dx .

a la integral a la derecha y obtenga

Concluya que la solucin general de la ED, explcitamente es

Para determinar el valor de la constante

ex y ex C

y x 1 Ce x

se requiere de una condicin, que se obtiene de la ecuacin:

y x 2 ty t dt x 2

sustituyendo

x0

para que la integral desaparezca:

entonces la condicin inicial es

C 1
5.

y 0 0 . Aplicando esta en la solucin general y x 1 Ce x

y la solucin al problema es la funcin

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

Mtodos clsicos para resolver ED de primer orden

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

como se muestra a continuacin:

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

Para resolverla procede como antes, empieza normalizando:

dx 1
x
ye y
dy
y
q y
p y

Multiplique por el factor integrante

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

e integra para obtener la solucin general

1
x ey C
y

Resolver las siguientes ED o Integro diferenciales.

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

Mtodos clsicos para resolver ED de primer orden

Ejercicios 3.11

1.

Sean

p, q

lineal:

y p x y q x y ln y

funciones continuas reales de variable real. Tome el cambio de variable

3.

v q x v p x

Aplique la sustitucin del ejemplo anterior para resolver


R. Solucin general

xy 2 x 2 y y ln y , x 0

ln y 2 x 2 Ax

En este ejercicio sea

una constante

a. Aplique el cambio de variable v y


la ED lineal

en la ED no

para transformarla en una ED lineal de primer orden.

R. Despus de la transformacin resulta la ED lineal

2.

v ln y

1 0
1

f y

una funcin con derivada continua.

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

b. Aplique el cambio de variable v f y a la ED no lineal

a x f y y b x
f y c x
v

obtenga la ED lineal

a x v b x v c x

Mtodos clsicos para resolver ED de primer orden

91

3.7. Ecuaciones diferenciales de Bernoulli


Suponga que

es invertible en el dominio

Definicin 3.4

una constante real dada con

ED de Bernoulli (transformable en ED lineal)

Una ED es de Bernoulli si se puede escribir en la formal:

a x f y y b x f y c x

Un caso particular que modela importantes aplicaciones es:

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

A x y B x y C x , esta es lineal. Compruebe que para 1

Por eso de aqu en adelante se supone

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 .

Algoritmo para obtener la solucin general de una ED de Bernoulli


Toda ED de Bernoulli se transforma en ED lineal con el cambio de variables
En particular la ED

A x y B x y C x y

Desde el cambio de variables:


Despeje la variable a eliminar

v f y.

se transforma en lineal con

v y1

v f y

y : y f 1 v

para luego calcular su derivada y sustituir en la ED d Bernoulli.

Sin embargo, en una ED de Bernoulli, ese despeje puede omitirse porque con solo derivar en
completa los elementos suficientes para eliminar

de la ED, como se muestra a continuacin.

v f y

92

Mtodos clsicos para resolver ED de primer orden

a x f y y b x
f y c x

En el caso general

v f y

Tome el cambio de variables


Derive respecto a

x , obtiene

v f y y

Y sustituya en la ED de Bernoulli para obtener la ED lineal de primer orden:

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

Y aplique ese cambio de variables a la ED


Ejemplos 3.15

. Recuerde que hemos supuesto que

y as la puede tratar con

para obtener una ED lineal

Resolver las ED de Bernoulli

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

Aplique el cambio de variables a la ED

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

Mtodos clsicos para resolver ED de primer orden

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

para obtener la solucin general

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

nicamente, para ello multiplica por

ey

y
e
y ey 4 sin x

Obtiene

Sustituya

v ey

Derive

v e y y , observe que no seguimos el procedimiento tradicional, en que despejamos y

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

A los lectores que no han calculado

J 4e x sin xdx

(aplica partes dos veces y luego despeja

En general

Si

s 1, 1

les recomiendo hacerlo con integracin por partes

J ), es una experiencia que no debe evitar.


es x

sx
e sin x dx

1 e x sin x cos x C

sin xdx

s2 2

s sin x cos x C

Despus de aplicar esto en la solucin general obtiene:

v 2 sin x cos x Ce x
Cambie

v e y , obtiene: e y 2 sin x cos x Ce x

94

3.

Mtodos clsicos para resolver ED de primer orden

dx x x sin y 1dy 0

Llevmosla a la forma

a x f y y b x f y c x , empezando por escribir

dx x x sin y 1dy

1
dx x sin y 1dy
x

x sin y 1 y

A falta del trmino

1
x

b x f y

Agrupe los trminos en

dx
dy

concluimos que no es de Bernoulli para

y y x . Tratemos con x x y .

para ver si resulta una ED de Bernoulli, puede empezar con

1
dx x sin y 1dy
x

dx
x x sin y 1
dy

dx
x x 2 sin y
dy
x,

Ahora si es claro que es Bernoulli en

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

Otra vez utiliza la integral del ejemplo anterior:

Mtodos clsicos para resolver ED de primer orden

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

en esa solucin general y recibe:

v 1 sin y cos y Ce y

v x 1

es x

sin x dx

Y la solucin general se escribe:

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:

Ahora es claro que se trata de una ED Bernoulli.


Tome el cambio de variables:

v y 1

y derive para obtener:

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:

Tiene solucin general:

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

Mtodos clsicos para resolver ED de primer orden


1

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

Y hallar su solucin general.


R.

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

son constantes positivas y

0 . Esta ED modela muchos problemas

de crecimiento y decaimiento (decrecimiento) de poblaciones, por ejemplo, infectadas por un virus, etc.

8.

cos y y cos x sin y cos x

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

10. Tome el cambio de variable u


11. a x y b x y c x y

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

Mtodos clsicos para resolver ED de primer orden

97

3.8. Ecuaciones diferenciales de Riccati


Definicin 3.5

ED de Riccati

Las ED de Riccati tienen forma

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

x dada es solucin de la respectiva ED de Riccati. Si tiene algn parmetro a, b


sus valores para x sea solucin de la ED.
Comprobar que la

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

Teorema 3.2 Transformacin de ED de Riccati a ED lineales o de Bernoulli


Dada una solucin

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:

transforma la ED de Riccati en una ED de Bernoulli.


transforma la ED de Riccati en una ED de lineal de primer orden.

para todo

xI

98

Mtodos clsicos para resolver ED de primer orden

La siguiente demostracin provee un algoritmo para resolver ED de Riccati dada una solucin singular.
La funcin conocida
la identidad
incgnita

es una solucin (singular) de la ED de Riccati, entonces al sustituir en la ED obtiene

a x x b x x c x f x 2 x . Con esta en mente introduce una nueva funcin


definida por el cambio de variables:

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

Pase a restar algunos trminos y obtiene

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

Esta es una ED de Bernoulli que se resuelve con el nuevo cambio de variable

v u 1

1
u

Ejercicio 3.14
Demostrar que

y x

1
v

transforma la ED de Riccati en una ED lineal (sin pasar por las de Bernoulli).

Nota
En la demostracin del teorema 3.2, aplic el cambio

1
,
u
1
y x
v

Bernoulli, y esta se transforma en lineal con

y x u

1
v

obtiene que

y x u

es decir

que transforma la ED de Riccati en una de

1
.
v

Combinando los cambios de variables

transforma la ED de Riccati en una ED lineal (sin recurrir

a Bernoulli); sin embargo, las operaciones algebraicas con

y x

1
v

podran ser ms engorrosas.

Ejemplos 3.16
Hallar la solucin general de la ED de Riccati dada. En cada caso es dada una solucin singular.

Mtodos clsicos para resolver ED de primer orden

1.

1
x

99

y
1
y 2 ; x
x
x

Cambio de variables

1
x

Dejamos de ejercicio comprobar que

es solucin (singular).

y x u

1
u
x

x2

Aplique el cambio de variables a la ED:

1
1
y y
y2
2
x
x
2
1 1
1 1
1

u
u u

x x
x2 x

x2

1
x

Se cancelan varios trminos porque

1
1
1 2
u

u u2
2
2
x
x
x
x

1
x

es solucin de la ED y obtiene la ED de Bernoulli:

1
u u2
x
v

1
u

1
v

Considere el cambio de variables

v
v2

Y aplquelo a la ltima ED y obtiene:

1 1 1 2


v2 x v v
v

1
v 1
x
1

Multiplique esa ED lineal por el factor integrante

xv v x

x dx

e ln x x

y obtiene:

100

Mtodos clsicos para resolver ED de primer orden

d
xv x
dx

d xv xdx

xv

Cambie

Como

2.

1
v
u

u y

x2
C
2
x
x2

C
2
u

y la solucin anterior se escribe:

1
x

esa solucin general se escribe:

1
x

x2
C
2

1
1 C
2
xy 1
2 x

y x

2x
Kx

1
, donde K 2C
x

xy 1 4 x ln x y 4 x 4 x 2 ln x ln x y 2 . Suponga que tiene solucin singular x ax .

Empezamos por determinar el coeficiente


Derive la solucin

x ax

a , basados en que x ax

para obtener x

transforma la ecuacin en identidad.

y las sustituye en la ED de Riccati dada para obtener:

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

Agrupe funciones semejantes:

2a 4 x 4a 4 a 2 x 2 ln x 0

Iguale coeficiente y obtiene

2a 4 0

2
a 4 a 4 0

Aplique a la ED de Riccati el cambio de variables

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

Mtodos clsicos para resolver ED de primer orden

101

Esta es una ED de Bernoulli, por lo que multiplica por

u 2u

1 1 ln x
u
x
x

Y segn la recomendacin de Bernoulli, toma:

u 2

para obtener:

v u 1 v u 2 u

v u 2 u
En la ltima ED resulta:

En forma normal es:

v
v

Tiene solucin general

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

Calcule la ltima integral por partes con

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

y la solucin general se escribe:

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

asumiendo que tiene una solucin singular

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

Mtodos clsicos para resolver ED de primer orden

Agrupe semejantes, resulta:

a 1 x 2 2ax 2 2bx a 2 x 2 2abx b 2

a 1 2a a 2 x 2 2b 2ab x 1 b 2

Iguale los respectivos coeficientes de

1, x, x 2

a 2 2 a 1 0

2b 2ab 0
1 b2
0

Desde E1 se deduce

Concluya que

a 1

para llegar al sistema:

E1 : a 12 0

E2 2b 1 a 0
E3
b2 1 0

que sustituye en E2 y E3, obtiene

y1 ax b x

2b 0 0
0 0
2
2
b 1 1
b 0

entonces

b0

es solucin de la ED de Riccati y para resolverla toma el cambio de variable:

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

en esta solucin general y obtiene

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.

y 2 tan x sec x y 2 sin x , y1 sec x

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

Mtodos clsicos para resolver ED de primer orden

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

Mtodos clsicos para resolver ED de primer orden

3.9. Ecuaciones diferenciales exactas


Derivadas parciales y diferencial total para funciones de dos variables
Introduciremos el diferencial total dF de una funcin F x, y real de dos variables x e y , para simplificar el
clculo de diferenciales de funciones de una variable; esto requiere de las derivadas parciales de F x, y que
repasamos a continuacin. Advertimos que los smbolos d y tienen significados diferentes.
Sea

F x, y

una funcin en las variables

etctera. En esta obra


sean independientes.

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

dF , necesita de las derivadas parciales 3 de F :


x suponiendo que y se mantiene fija, y

respecto a la variable

El diferencial total que denotamos con

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

Las derivadas parciales de

Las derivadas parciales de

F x, y

para simplificar la notacin.

de primer orden se denotan

F F
,
x y

de segundo orden se denotan

2F
x

2F
y 2

tambin con

Fx , Fy

respectivamente.

, tambin con Fxx


x x

, 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

Mtodos clsicos para resolver ED de primer orden

105

2F
F

, tambin con Fxy


yx y x
Siendo

F yx

Fxy

las derivadas parciales cruzadas y en esta obra son iguales, es decir:

Insistimos que d y tienen significados diferentes; sin embargo, cuando la funcin


variable x se tienen:
Derivada parcial de

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

derivada de una funcin de una variable

F x h, y F x , y
F x, y
lim
h
x
h 0

derivada respecto a

de una funcin de dos variables

F x, y
F x, y h F x, y
lim
y
h
h 0

derivada respecto a

de una funcin de dos variables

Ejemplos 3.17

1.

Si

F x, y x 5 y 6 x 7 y 8

Calculemos sus derivadas parciales de primer y segundo orden.


Al calcular

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

fijas) y aplica las reglas usuales de la derivada ordinaria:

fijas) y aplica las reglas usuales de la derivada ordinaria:

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

obtiene las derivadas de segundo orden:

106

Mtodos clsicos para resolver ED de primer orden

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

obtiene las derivadas de segundo orden:

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

y as ser para todas las funciones tratadas en esta

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

para que sus derivadas parciales cruzadas sean iguales.

. Calcular las derivadas parciales de primer orden de

y aplique las reglas para derivar la multiplicacin, mientras

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

y aplique las reglas para derivar la multiplicacin, mientras

4
3 5 y x4
F
3 4 y x4

x 3 y 5e y x
x y e
x 5y e
y
y

El siguiente teorema enuncia las propiedades suficientes de

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.

Mtodos clsicos para resolver ED de primer orden


Definicin 3.6

107

Regin abierta

Una regin abierta

es un subconjunto

del plano

con las siguientes propiedades:

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

Todo par de puntos de

se puede unir por alguna curva4 que est enteramente contenida en

R.

Decimos que

es un conjunto arco-conexo (o conexo en este caso de

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.

Teorema 3.3 Derivadas cruzadas son iguales

Si

2F
xy

2F
yx

son funciones continuas en una regin abierta

del plano

entonces

2F 2F

xy yx

Nota
Todas las funciones

Definicin 3.7

Diferencial total

La diferencial total

La funcin

dF

tratadas en esta obra tienen la propiedad

de una funcin real

F x, y

ser llamada funcin potencial de

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

Entindase que es continua

d x3 y 4 x5 y 6

donde y y x es funcin de x .

108

Mtodos clsicos para resolver ED de primer orden

Por definicin de diferencial

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

Agrupa los trminos por

dx

separados de los trminos por

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

Es obvia la eficiencia del segundo mtodo con respecto al primero.


Ejercicios 3.16

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.

d x 2 y 2 x 4 y 4 a . a es una constante arbitraria.

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

Decimos que la forma

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

son funciones reales de dos variables.

No estamos interesados en deshacer la exactitud de una forma:

M x, y dx N x, y dy
Al contrario, si la forma

M x, y dx N x, y dy

no es un diferencial total, construiremos un factor

M x, y dx N x, y dy
sea exacta. Tales

son llamados factores integrantes.

tal que:

Mtodos clsicos para resolver ED de primer orden

109

Surgen tres preguntas ms:

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

Empecemos por simplificar la notacin omitiendo

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

continuas en alguna regin abierta


casos escribimos especficamente

del plano. En algunos casos

depende solo de

o solo de

y , en tales

x o y , respectivamente.

Mdx Ndy es exacta y en la siguiente seccin


las que requieren de un factor integrante para que Mdx Ndy sea exacta.

En esta seccin tratamos las ED

Exactitud de

Definicin 3.8

La forma
La ED

Mdx Ndy

Una funcin

en que

Mdx Ndy

es exacta si es el diferencial total de alguna funcin

Mdx Ndy 0

Las funciones

Mdx Ndy 0

es exacta si

Mdx Ndy

, es decir,

es exacta, es decir si se escribe:

que tengan esa propiedad se llaman potenciales de

se llama factor integrante de

Mdx Ndy

si

dF Mdx Ndy
dF 0

Mdx Ndy .

Mdx Ndy

es exacta.

Solucin de una ecuacin diferencial exacta


Antes de buscar la forma de responder las cuatro preguntas sobre exactitud, veamos como la exactitud ayuda a
resolver una ED de primer orden en la forma:
Sean

Mdx Ndy

Mdx Ndy

Mdx Ndy 0

formas exactas, entonces la ED se puede llevar a la forma:

dF 0
Entonces:

dF 0dx

Integra:

dF 0dx

Y obtiene la solucin general

F C , cumpliendo as con el objetivo final

Ejemplo 3.19

Resolver la ED:

e x sin y dx e x cos y dy 0

Como sabemos que

d e x sin y e x sin y dx e x cos y dy

d e x sin y 0

entonces la ED anterior se escribe:

110

Mtodos clsicos para resolver ED de primer orden

d e

e x sin y C

sin y 0dx
es una solucin general de la ED.

Fcil? pero todo depende de determinar la funcin

e x sin y

Criterio para identificar ED exactas


Dada una forma diferencial
funciones conocidas

Mdx Ndy , tenemos que establecer un criterio de exactitud dependiente de las


N e independiente de la desconocida F (precisamente por ser desconocida).

Por definicin de exactitud, la forma diferencial

Mdx Ndy

es exacta si y solo existe una funcin

tal que:

dF Mdx Ndy
Y por definicin de diferencial total

dF

F
F
dx
dy
x
y

Comparando esas dos formas y considerando que

M dx N dy

dx, dy

son variables, se concluye que:

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

y esta identidad responde la primera pregunta.

Este resultado se formaliza en el siguiente teorema.

Esta es quiz, la relacin ms importante relacionada con la exactitud, adems, se utiliza para hallar las funciones F

Mtodos clsicos para resolver ED de primer orden

111

Teorema 3.4 Caracterizacin de la exactitud de

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

El resto de las preguntas tienen respuesta en el siguiente algoritmo para resolver:


Prueba de exactitud.

Si

M N

y
x

entonces la ED es exacta.

Si la ED no es exacta debemos calcular un factor integrante (prxima seccin).


Clculo de funciones potenciales

Si la ED es exacta emprendemos la tarea de determinar una funcin potencial

tal que:

dF
M
dx
N
dy 0

F
F
dy
dx
x
y

En tal caso

F
M

F
y N

. Recuerde que

se despeja del sistema de ecuaciones:

son funciones conocidas.

Con una de esas ecuaciones puede determinar


tiene derivada parcial

Fx 2 x

Fx 2 x ,

solo puede afirmar que

La forma de calcular

parcialmente. Por ejemplo, la funcin

F x2 y2

pero a la inversa (es nuestro problema), desde la derivada parcial

F x 2 A y , donde A y

es una funcin de

por determinar.

se muestra en los diagramas:

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.

M x, y x indica integrar parcialmente respecto a x , supone y constante,


N x, y y indica integrar parcialmente respecto a
No debe escribir
embargo,

en lugar de

. Por ejemplo,

2 xyx y 2 xx x

y A y .

2 xydx

y , supone x

constante.

no se calcula hasta determinar

y x , sin

112

Mtodos clsicos para resolver ED de primer orden

Cada una de las integrales anteriores determinan a


para completar la forma de
Si calcula la primera

parcialmente (se debe determinar

A y

B x

F ), esto se muestra a continuacin.

F x, y M x, y x A y

para obtener otra forma de

F
y

(caso que fuese fcil), luego deriva respecto a

F
N , puede despejar A y
y

y como

y luego la

A y .

F x, y N x, y y B x

Si la primera integral es complicada, mejor opta por calcular


un procedimiento similar al anterior, solo que esta vez deriva a

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

Esto fue expuesto anteriormente y lo incorporamos al algoritmo.

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

Y una solucin general es:

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.

Clculo de funciones potenciales

La ED

y
dx ln x 1 2 y dy 0
x 1
F
F
dx
dy 0
x
x

es exacta, entonces, e teora se escribe:

para alguna funcin

Comparando esas dos ecuaciones concluye que:

(por determinar)

Mtodos clsicos para resolver ED de primer orden

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

Iguala derivadas parciales respectivas

Esta funcin

A y

A y 2 y

A y y 2

se sustituye en la funcin potencial:

(con constante de integracin 0 o cualquier otra)

F y ln x 1 A y

para obtener

F y ln x 1 y 2
Solucin de la ED exacta

Esta es la etapa de conclusiones.


La ED

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

es una solucin general de la ED.

y( 2 ) 4

en esta solucin general y obtiene

Para completar el ejemplo sustituye

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

sigue el procedimiento estndar.

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

La ED es exacta si y solo si se cumple:

M y N x , esta ecuacin determina el valor de a .


3ay a 1 20 xy 6a 1 x a 2 y 20 xy

114

Con

Mtodos clsicos para resolver ED de primer orden

a2

Exactitud

ay a 1 2a 1 x a 2 y

ay a 2 2a 1 x a 2

a2

Clculo de una funcin potencial

a2

3 y 2 10 xy 2 dx 6 xy 2 10 x 2y dy 0

resulta la ED exacta

Es obvia porque

es vlida solo para

se escogi basndose en la exactitud.

Existe una funcin

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

Ambas integrales son simples, escojamos la primera:

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:

Entonces la deriva respecto a

F
6 xy 2 10 x 2 y
y

Y la iguala con la otra

para obtener:

6 xy 10 x 2 y A y 6 xy 2 10 x 2 y

Basta con una funcin

A y 2

A y 2 y k , k

por lo que tomamos

Resumiendo, una funcin potencial es

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

tiene solucin general

2 2

3xy 2 5 x 2 y 2 2 y C , C

Ejercicios 3.17

1.

Compruebe que

es un parmetro en la solucin general


x2

2 xye
e
2

R. Solucin general

constante

x2

es exacta. Dar su solucin general.

ye x y C

Mtodos clsicos para resolver ED de primer orden

x
1
dx
dy 0
y
y2

2.

Compruebe que

3.

Dar una ED exacta con solucin

4.

Cul de las ED
R. Para

5.

a2

115

es exacta y al multiplicarla por

y2

resulta una ED no exacta.

x2 y2
x2 y y3
y 2 x x3
C . R. ED exacta es
dx
dy 0
xy
x2 y2
x2 y2

y xy a dx x x a y dy 0 es exacta? a constante. Dar una solucin general.


2 xy x 2 y 2 C

y una solucin general es

Para cuales funciones

N x, y

la ED

y x 2 y 3 dx N x, y dy 0 es exacta.

Hallar su solucin general.


R.

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

esta ltima es exacta.

Hallar su solucin general.

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

Hallar su solucin general.


R. Para

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 .

Para que valores de las constantes

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

es exacta entonces determine

Obtenga la solucin general de

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

Mtodos clsicos para resolver ED de primer orden

3.10.

ED transformables a exactas por un factor integrante

Suponga que la ED de primer orden

M x, y dx N x, y dy 0

Esta seccin muestra como determinar una funcin

x, y

es no exacta, esto es

M N

y
x

tal que la siguiente ED sea exacta:

x, y M x, y dx x, y N x, y dy 0

M dx N dy 0

y por simplificar escribiremos

x, y ; sin embargo, bastar con una para resolver la


ED. Lo nico que tenemos que agregar con respecto a la seccin anterior, es que funcin est determinada

El algoritmo que daremos arroja varias funciones

por la ecuacin fundamental:

M N

y
x
y luego se resuelve la ED exacta

como se expuso en la seccin anterior.

Factor integrante

Definicin 3.9

Una funcin real

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

concluye que la ED no es exacta.

y obtiene

1
x
dx
dy 0
y
y2

m x, y dx n x, y dy 0

para deducir que

precisamente determinar los es el objetivo fundamental de esta seccin

deduce

M y
M 1
y

N x
N x 1

Mtodos clsicos para resolver ED de primer orden

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.

Teorema 3.5 Ecuacin fundamental para calcular factores integrantes

Las siguientes proposiciones son equivalentes:

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

factor integrante de la ED, entonces

propiedad (ver teorema 3.5) es equivalente a

ydx xdy 0 . Resolverla

y ydx y xdy 0

es exacta, esta

y y y x

. Esta es una ED en la incgnita


y
x

y , aplique derivada de un producto y obtiene y y y y , esta es una ED de variables


separables y se escribe:

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

por simplificar la notacin.

es constante de integracin.

e k y 2

118

Mtodos clsicos para resolver ED de primer orden

Estos se escriben

By 2 . Puede tomar la constante B 1

y, en particular

porque cualquiera de los factores integrantes

, 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:

Esa ED es exacta y tendr soluciones independientes de

B , esto justifica que tomemos cualquier B .

Para hallar la solucin de la ltima ED exacta, busca una funcin potencial

F x, y

tal que:

F
1
x y

F
2
y xy

Integra en la primera respecto a

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

se iguala con la otra

F
xy 2
y

para obtener:

xy 2 xy 2 A y
Concluye que

A y

es cualquier constante, que escogemos

Sustituye esa funcin nula en

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

Integra para obtener la solucin general

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.

Hallar un factor integrante con la forma

xa yb

para la ED

Mtodos clsicos para resolver ED de primer orden

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

sea un factor integrante de

2 y 2 6 xy dx 3xy 4 x 2 dy 0 .

Resolverla

Igual que anterior para

3.

Hallar un factor integrante


R. Factor integrante

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.

Dar un factor integrante que dependa de la variable


general. R. Factores integrantes

para la ED

3x 2 y 2
2 xy

. Hallar su solucin

Bx . Con cualquiera obtiene la solucin general: x 3 x 2 y 2 C

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

Demostracin de T1 del teorema 3.6

M x, y dx N x, y dy 0

tiene un factor integrante

x , entonces

120

Mtodos clsicos para resolver ED de primer orden

x Mdx x Ndy 0

es exacta.

Y recurrimos a la ecuacin fundamental equivalente a la exactitud de la ED

x M x N

y
x
Teniendo en mente que

x
M,N

depende de

nicamente, desarrolla las derivadas parciales para obtener:

M
N
x N x
x
y

son conocidas, por esto concentra la atencin en el despeje de

notacin, pero no olvide que

separable, y se escribe

M y Nx
d

dx
N

1 d M y N x

dx
N

Otra vez, es fundamental que


puede integrar respecto a

para simplificar la

x . La ltima ED con incgnita

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

depende solo de x , si su igual

dx

dx

M y Nx
dx
N

donde

exp

es exponencial base

Ejercicios 3.19

1.

Demostrar T2 del teorema 3.6.

2.

Cul de las ED

3.

Muestre que cada ED separable

x
1

dx N y dy 0 tiene factor integrante x, y 3xy 2 ? Resolverla.


y 2 xy

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

tiene factor integrante

1
H y

Mtodos clsicos para resolver ED de primer orden

121

b x

a x y b x y c x

4.

Muestre que cada ED lineal

5.

Hallar un factor integrante para la ED lineal

R. Factor integrante

6.

x 2 2x

Muestre que cada ED de Bernoulli

tiene factor integrante

x 2 2 x y 4 x 1 y

3
3

x 3x 2

a x dx
a x

. Resolverla

2 . Solucin general lnx 3 3x 2 x 2 2 x 2 y C

y y y 2

tiene factor integrante

y y 2

Algoritmo para transformar M x, y dx N x, y dy 0 en una ED exacta 7


Prueba de exactitud

Si

M y Nx

la ED es exacta y se resuelve como se explic en la seccin anterior.

Si

M y Nx

la ED no es exacta y se procede a calcular un factor integrante.

Calcula un factor integrante

Desde la ecuacin fundamental

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

para obtener la ED exacta:

M x, y dx N x, y dy 0

y resuelve como explicamos en la seccin anterior.


Ejemplos 3.24

Transforme cada ED a exacta y encuentre su solucin general.

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

Clculo de un factor integrante

Por supuesto el xito depende del clculo de un factor integrante

entonces la ED no es exacta.

122

Mtodos clsicos para resolver ED de primer orden

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

Entonces un factor integrante es

ye x
1 ye x
ye x
y 2e x
M y N x

x, y . No es el caso T1 de teorema 3.6.

depende de

dy

1
y

depende de

y . Es el caso T2 de teorema 3.6.

y dy

e ln y e ln y

y 1

Transforma la ED original en una exacta


Multiplique la ED original por

y 1

ye x dx y 1 e x dy 0

para obtener la ED exacta:

(por curiosidad note que

Clculo de una funcin potencial

y 1 e x
ye x

x
y

y la ED es exacta)

ye x dx y 1 e x dy 0

para

A partir de las identidades:

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

ambas formas para

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

una solucin general

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

e integra para obtener

M sin y

Factor integrante

d
ye

ln
y
0

ye x ln y C

sin y dx sin 2 y x cos y dy 0

Exactitud

se escribe

como

depende de

depende solo de

M y Nx

la ED no es exacta.

y , no provee un factor integrante.

y , un factor integrante es:

Mtodos clsicos para resolver ED de primer orden

123

2 cos y

dx

e 2 ln sin y sin 2 y
e sin y

1
sin 2 y

Transformar la ED original en una exacta


Multiplique la ED original por

1
sin 2 y

1
cos y
dy 0
dx 1 x
2
sin
y
sin
y

,obtiene:

Fx

Funcin potencial

Fy

Una funcin

se construye a partir de sus derivadas parciales:

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

Deriva esta funcin respecto a

y , recibe Fy

otra en E2, porque se trata de la misma

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

Integra para obtener la solucin general

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

Mtodos clsicos para resolver ED de primer orden

Sustituya el punto

0,2 ( x 0, y 2 ) en la solucin general para obtener la constante de la solucin

particular que pase por

0,2 , obtiene

Y la solucin particular es

0
2 C C 2.
sin 2

x
y2
sin y

Transforme cada ED a exacta y encuentre su solucin general.

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

x sin x cos x y sin x C

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

10. ydx x ln x ln y 1dy 0 sujeta a y 1 e

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

Mtodos clsicos para resolver ED de primer orden

125

x , y , xy , ,
x
y
M dx N dy 0 tienen la propiedad de la columna de la izquierda entonces la

Teorema 3.7 Factores integrantes

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

es funcin real de dos variables

debe aplicar la regla de la cadena:

x, y , entonces, para obtener

g
g
g x, y

x
x g x
g
g
g x, y

y
y g y

126

Mtodos clsicos para resolver ED de primer orden

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

La diferencia no nula entre estas derivadas implica que la ED no es exacta


Para determinar si la ED tiene un factor integrante de los mencionados en el teorema 3.7, empiece por calcular:

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

Multiplica la ED original por

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 ,

es un factor integrante de la ED.

y obtiene la ED exacta:

x 1 2 x 3 y 2 dx 2 x 2 y 3 2 y 1 dy 0
F

Una funcin potencial

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

, integra ambas y obtiene

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

Multiplica por el factor integrante

x 3 y 3

no es exacta.

para transformarla en la ED 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

Mtodos clsicos para resolver ED de primer orden

Integre y obtenga

ln x

2 2

127

2 ln y C . Esta es la solucin general de la ED original

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.

Hallar un factor integrante de la forma

R. Si

M y M y 1

R. Factor integrante

Nx

. Solucin

y y 2

Ejemplos 3.26

y
C
x

x2 y2

para

ydx xdy 0 , con xy 0

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

Por lo tanto, deber cumplir

En la incgnita

1 x
e C
y

y la ED no es exacta.

por el factor integrante recomendado

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

es una ED separable (es lo usual); por tanto, agrupa trminos en

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

Importante notar que todos los trminos tienen argumento


factor integrante con la forma supuesta

x2 y2

Para aclarar el aspecto de esa ecuacin llmele

x2 y2 ,

de lo contrario no se puede esperar un

v x2 y2

y la ecuacin se escribe:

1
v

v
v

d
dv 1

(omitido el argumento

v considerando que no hay ambigedad)

128

Mtodos clsicos para resolver ED de primer orden

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

multiplica por el factor integrante hallado

y una solucin general (se deja de ejercicio) es

2.

k
v

como es suficiente con un factor integrante, escogemos:

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

3x 2 y y dx x 4 xy 5 y dy 0 con un factor integrante x y 2


2

R. Multiplica la ED por el factor integrante

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

utiliza que la ED es exacta si y solo si

x y 2 3x 2 y y 2 x y 2 x 4 xy 5 y 2
y
x

Calcula las derivadas parciales de estas multiplicaciones y obtiene:

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

Como es usual agrupa trminos en

entonces

1 2y

2 xy y 2 2 y 3 x

y si omite el argumento

en

la anterior es:

Mtodos clsicos para resolver ED de primer orden

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:

basta tomar un factor integrante, digamos


Multiplica la ED original por

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

Dejamos al lector la tarea de resolver esta ED exacta


Ejercicios 3.22

1.

Demuestre que un factor integrante con la forma

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.

Mtodos clsicos para resolver ED de primer orden

Si bien la ED

sin x sin ydx cos x cos ydy 0

exacta con un factor integrante de la forma:


R.

4.

cos x sin y

Sea

cos x sin y

1
. Solucin general
cos x sin y

es constante. Considere la ED

es separable, darse a la tarea de transformarla a


Resolver 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

Mtodos clsicos para resolver ED de primer orden

3.11.

131

ED de Clairaut
ED de Clairaut

Definicin 3.10

Una ED se denomina ED de Clairaut si se escribe en la forma:

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

es una funcin no constante, por lo tanto, su derivada no es la funcin nula. Adems, si

fuese constante la respectiva ED se reduce a y xy a , donde a es una constante dada, esta ED es


separable, lineal y transformable a exacta, ms que suficiente para obtener su solucin general.

Ejemplo 3.27

Las siguientes son ED de Clairaut. La funcin

tiene las propiedades descritas en la definicin 3.10.

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

Algoritmo para obtener la solucin general de una ED de Clairaut


Cada ED de Clairaut tiene una solucin singular que denominamos envolvente y una solucin general. El
algoritmo para obtenerlas se sale de los cnones, porque se recurre a derivar la ED en lugar de integrar como en
el resto de los mtodos.
Los pasos esenciales para obtener la solucin de

Paso 1

Se aplica el cambio de variables

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

Mtodos clsicos para resolver ED de primer orden

Paso 2

Para eliminar la

y , derive8 esta ED respecto x

y aplique la regla de la cadena para obtener:

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

Esa ED tiene todas las soluciones que satisfagan


dos casos:

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

En todo caso, para cada v el sistema de Clairaut genera un punto


envolvente, suficiente para esbozar su grfica.

x, y

de la

Es fcil demostrar que la ecuacin de la envolvente no es una recta y, por lo tanto, no es

solucin particular, consecuentemente es singular.


Ejemplos 3.28

1.

Obtener la soluciones singular y general de la ED de Clairaut

y xy tan y
P1

Aplique el cambio de variables

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.

Mtodos clsicos para resolver ED de primer orden

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

v y , esta se reduce a: 0 xv sec 2 v v

Caso

v 0 v C , C

x sec 2 v 0

parmetro

Esto se sustituye en la ED original

y xv tan v

y se obtiene la solucin general:

y Cx tan C
Esta es la ecuacin de una familia de rectas (observe que
P3.2

Caso

tan C

es constante)

x sec 2 v 0 v arc sec x

Esto se sustituye en la ED original

y xv tan v

y se obtiene la solucin singular:

y x arc sec x tan arc sec x


El mal aspecto de esta solucin justifica que recurramos a los algoritmos cannicos para
tratar ecuaciones con funciones trigonomtricas inversas, cuales son, utilizar identidades
trigonomtricas o construir tringulos rectngulos a partir de una relacin dada.
En efecto, es dada la relacin:

Y se sustituye en la identidad:

Con esas identidades en

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

y xv tan v , obtiene la ecuacin de la envolvente:


y x arc sec x x 1

2.

y xy 1 y 2
P1

Aplique el cambio de variables

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

Mtodos clsicos para resolver ED de primer orden

P3

P3.1

Caso

v 0

v 0 v C , C

1 v2

parmetro

Esto se sustituye en la ED original

y xv 1 v 2

y se obtiene la solucin general:

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)

Esto se sustituye en la ED original

1 C2

1
1 x

y se obtiene la solucin singular:

1 x2

Obtener la soluciones singular y general de la ED de Clairaut

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

Mtodos clsicos para resolver ED de primer orden

3.12.

135

ED de Lagrange

Definicin 3.11

ED de Lagrange

Una ED se denomina ED de Lagrange si se escribe en la forma:

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

I , en el cual est definida la ED.

Notas

i)

Si la funcin

g y y

y x y G y y
funcin g v v . Sin

entonces la ED de Lagrange se reduce a la ED de Clairaut

tratada a partir del cambio

v y .

Por esta razn no vamos a considerar la

embargo, en la ED de Lagrange se aplica el mismo cambio de variables


tener soluciones singulares a raz de la ecuacin

v y

y la ED de Lagrange podra

g v v 0 .

Es muy importante no confundir:


la funcin:

v:

con ecuacin en

g v v
v 1 y v 0,

Por ejemplo, si la funcin es


cuyas soluciones son

g v v
g v v

(generalmente omitimos la frase en

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 )

y x a o y b , estas funciones lineales podran ser soluciones singulares de la ED de Lagrange, la


duda se despeja despus de sustituirlas en la ED de Lagrange y determinar si existen valores particulares
de a, b que reduzcan la ED a una identidad.
ii) Los dos primeros pasos del algoritmo de Lagrange que presentaremos adelante, coinciden con los dos
primeros del algoritmo de Clairaut, cuales son, aplicar el cambio de variables

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

Las siguientes son ED de Lagrange.

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

Mtodos clsicos para resolver ED de primer orden

Algoritmo para obtener la solucin general de una ED de Lagrange


Paso 1

El mismo cambio de variables

v y

utilizado por Clairaut se aplica a la ED de Lagrange:

y xg y G y

Paso 2

(L1)

y xg v G v

Para eliminar o disfrazar a

(En cada ejemplo debe despejar

se deriva10 respecto a

y)

(utilizando la regla de la cadena) y resulta:

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)

La ED L2 podra ser separable, esto depende de

(2)

Proceso recomendado por Lagrange

La ED L2 podra ser no lineal11 en

G , solo lo sabremos en cada ejemplo particular.

dv
, sin embargo, L2 siempre es lineal en x
dx

dx
dv

En efecto, de L2 se obtiene que

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)

para alguna funcin

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

Por ejemplo, g v sin v no es lineal en v entonces la ED de Lagrange no es lineal.

Mtodos clsicos para resolver ED de primer orden

Por ejemplo, si se tiene la funcin

g v v 2

137

entonces la ecuacin:

v g v 0

v v2 0

v 1 v 0

v0

y 0

Integrando obtiene las funciones


En cada ED particular

a, b

o
o

v 1

y 1

y x a

y x x b

para algunas constantes indeterminadas

se determinan (si existen) sustituyendo

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)

Solucin general. En el otro caso:

v g v 0 , la ED L3 se escribe:

dx
g v
G v

x
,
dv v g v
v g v

es una ED lineal normalizada.

G v
dx
g v
, el acomodo de signos es para efectos mnemnicos
x

g v v
dv g v v
g v

Multiplique esta ED lineal normalizada por el factor integrante

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

Mtodos clsicos para resolver ED de primer orden

(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)

Atendiendo la sugerencia de Lagrange vamos a escribir esa ED como lineal en

v 2 x ev

dv
dx

dx
. Se tiene la ED:
dv

dx
2 x ev
dv

dx
2 x e v
dv

(E1)

El caso v 0 equivale a y 0 equivalente a y x a , a es una constante indeterminada. Esta funcin


es solucin de la ED si y solo si al sustituir en la ED de Lagrange resulta una identidad, en efecto, reemplace esa
funcin y su derivada en la ED de Lagrange y obtenga:

a 2 x 0 e0
La cual es vlida solo si

a 1

y se concluye que la funcin constante

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

la ED E1 se normaliza y se obtiene que:

dx 2
ev
x
dv v
v

Multiplique por el factor integrante

v dv

v2

y obtenga:

Aplique integracin por partes 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

Mtodos clsicos para resolver ED de primer orden

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

es una constante indeterminada.

Esta funcin es solucin de la ED si y solo si al sustituir en la ED de Lagrange resulta una identidad, en


efecto, reemplace esa funcin y su derivada en la ED de Lagrange y obtenga:

a 2 x 0 e0
La cual es vlida si y solo si

a 1 . Se concluye que la funcin constante y x 1 es solucin de la ED.

ii)

Si

v0

entonces

v dv

es factor integrante de E2

Multiplique E2 por este factor y obtenga la ED exacta:


Existe al menos una funcin potencial

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

Mtodos clsicos para resolver ED de primer orden

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

para alguna funcin

Av
, como Av
v

Av . Para eliminar P x, v

derive

es funcin de una sola variable obtiene:

dAv
dv

dAv
2 xv ve v
dv

dAv
ve v
dv

Av ve v e v K . Sin prdida de generalidad en la solucin


general de la ED puede dar el valor cero a la constante K .
Aplique integracin por partes y obtenga que

Por lo tanto, una funcin potencial es

P x, v xv 2 ve v e v , con la cual ED E3 se escribe:

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.

Obtener la solucin general de las ED de Lagrange

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

y sustituya esto en la primera ecuacin.

2.

y x y 2 2 y y 2 y

R. Ecuaciones paramtricas de la solucin general:

v 2 v ln v 1 C
x

v2
y x v 2 2v v 2 v

Mtodos clsicos para resolver ED de primer orden

De la segunda ecuacin (de segundo grado en

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

Mtodos clsicos para resolver ED de primer orden

3.13.

ED de segundo orden de variable ausente

Esta seccin trata ED de segundo orden en la incgnita

y x

que se pueden transformar en ED de primer

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

ED con variable ausente

Una ED de orden dos con incgnita

y x

es de variable ausente si en ella no aparecen explcitamente

En la ED est ausente la

si con operaciones algebraicas se puede llevar a la forma

E y , y , y 0

En la ED est ausente la

si con operaciones algebraicas se puede llevar a la forma

E x, y , y 0

y.

Ejemplos 3.31

Las siguientes son ED de segundo orden de variable ausente.

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.

y y 0 , considere solo soluciones crecientes.

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

Transformacin de una ED de orden dos de variable ausente, en una ED de orden uno


Se aplica el mismo cambio de variables y x v x a todas las ED de segundo orden de variable ausente y
a diferencia de otros cambios de variables, este cambio de variables no requiere despejar y .
Seleccionado el cambio de variables y v , deriva para obtener y v y sustituye en la ED dada para
obtener una ED de primer orden clsica (de las cuales conoce los mtodos para obtener su solucin general).

Mtodos clsicos para resolver ED de primer orden

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

(note que se introdujo

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

solo dos variables


mtodos vistos en secciones anteriores

Ejemplos 3.32

1.

xy 2 y 0 ; x 0

La variable

est ausente y toma el cambio de variables:

Cambia estas en la ED:

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

esta ED es de primer orden separable,

B
2

note que

donde

x 2 0 ,

B A

, integra y obtiene la solucin general

y 2 1, y 2 1

2 yy 1 y 2
2 yv 1 v 2

B
C
x

y x 1 , x 3

ausente. Tome el cambio de variables

y v

dv
2 v
dx

x
2.

entonces:

xy 2 y 0

esta ED es

y v

y v

entonces:

y v , sustituya ambas en la ED:

144

Mtodos clsicos para resolver ED de primer orden

2y

dv
1 v2
dx

x, y , v

Esta ED tiene tres variables

y para eliminar la excedente

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

Aplica esto a nuestra ED y resulta

Aplica las condiciones


Con

B2

1 v2 A y

1 v 2 By , donde B A

1 y 2 By

y 2 1, y 2 1 en esta ltima obtiene: 1 1 B 1 B 2


2

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:

La solucin particular es:

12

y 2 y 1

y 2 1 tiene signo negativo y por eso considera la solucin 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

est ausente no requiere de este artificio

C 3

y 1 1

Mtodos clsicos para resolver ED de primer orden

Est ausente

y . Toma v y

entonces

145

v y

Cambia estas en la ED:

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

es una ED de Bernoulli, multiplica por

2 1
2
v
x
x

2
2
u
x
x

2
2
u
x
x
2

Multiplica esa ED lineal por el factor integrante

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

Mtodos clsicos para resolver ED de primer orden

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

y y 0 . Considere solo soluciones crecientes.

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

dx , con esto la ED se escribe:

dv dy
y0
dy dx

dv
v y 0 , que resulta ser una ED separable.
dy

dv
v y
dy

vdv ydy

Integra y el resultado lo multiplica por 2 para obtener:

v2 y2 A

Mtodos clsicos para resolver ED de primer orden

Cambia

v y

147

y 2 y 2 A , esta es una ED separable

para obtener:

y A y 2

Considera soluciones crecientes (derivada positiva):

A y2

dy

A y2
dy

Esta integral se calcula por sustitucin trigonomtrica (

A y2

A sin B

C2

A cos B

y
xB
A

y
sin B cos x sin x cos B
A

C1

dx

A sin u ) y obtiene una solucin general:

arcsin

donde

dx

A sin B cos x A cos B sin x

y C1 cos x C2 sin x

es la solucin general

Ejercicios 3.25

Comprobar que las ED dadas tienen las soluciones indicadas.

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

tiene solucin particular

tiene solucin general

tiene solucin general

tiene solucin general

sujeta a las condiciones

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

tiene solucin particular

y 0 1

y 0 0

2 2y 3
ln
x ln 4
3
y

tiene solucin particular

arcsin

y soluciones crecientes. Solucin

y
2x
2
10

2
3

x 1

148

8.

9.

Mtodos clsicos para resolver ED de primer orden

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

Compruebe que el cambio de variables


Obtenga la solucin particular de
R. Solucin particular

y v

transforma

que satisfaga

1 ln y 12 x 1
2
2

en una ED lineal.

y 0 1

y 0 1

Das könnte Ihnen auch gefallen