Documentos de Académico
Documentos de Profesional
Documentos de Cultura
net/publication/275951529
CITATIONS READS
0 1,430
3 authors, including:
SEE PROFILE
Some of the authors of this publication are also working on these related projects:
Modelado y Simulación del Proceso del Tostado del Café y Estimación de Parámetros View project
All content following this page was uploaded by Paulo César Carmona Tabares on 06 May 2015.
PAULO C. CARMONA T.
DUMAR A. VILLA Z.
SERGIO A. CARDONA T.
DICIEMBRE DE 2007
ISBN: 978-958-44-2580-5
UN PRIMER CURSO EN ECUACIONES
DIFERENCIALES ORDINARIAS
PAULO C. CARMONA T.
DUMAR A. VILLA Z.
SERGIO A. CARDONA T.
DERECHOS RESERVADOS
PRIMERA EDICIÓN. DICIEMBRE DE 2007
ARMENIA, QUINDÍO. COLOMBIA
ISBN: 978-958-44-2580-5
iii
iv Prefacio
El texto está dividido en cuatro capı́tulos, cada uno de los cuales se sub-
divide en secciones, y en algunas ocasiones, se tienen subsucesiones. En el
primer capı́tulo, se estudian algunos métodos analı́ticos para la resolución de
Ecuaciones de Primer Orden y algunas de sus Aplicaciones. En el segundo
capı́tulo, se desarrolla la teorı́a para las Ecuaciones de Segundo Orden, cen-
trando la atención en las ecuaciones con coeficientes constantes. Para el tercer
capı́tulo, se sigue trabajando con las Ecuaciones de Segundo Orden, pero de-
sarrollando la teorı́a de las soluciones con Series de Potencias y se incluye el
caso particular de la Ecuación de Bessel. Por último, en el cuarto capı́tulo se
retorna a las Ecuaciones de Primer Orden, pero allı́, se describen algunos de
los métodos cualitativos, perturbativos y numéricos usados para estas ecua-
ciones; incluyendo la utilización del software matemático especializado Maple
para implementar las herramientas geométricas.
Por último, el texto ofrece variedad de ejercicios y ejemplos que facilitan el
entendimiento de las conceptos y los métodos presentados en cada sección del
libro.
Índice general
v
vi Índice General
Ecuaciones Diferenciales de
Primer Orden: Métodos
Analı́ticos
1.1. Generalidades
1
2 1. Ecuaciones de Primer Orden
dy
1. dx = 5xy.
d2 y(x) d2 y
2. dx2 − x dy(x)
dx = 0 o equivalentemente dx2
dy
− x dx = 0.
3. [y ′′ ]2 + 10y = ex .
! 2 "
∂ 2 f (t,x,y)
4. ∂f (t,x,y)
∂t = −α 2 ∂ f (t,x,y) +
∂x2 ∂y 2
: Ec. de difusión del calor.
∂ 2 f (x,y) ∂ 2 f (x,y)
5. ∂x2
+ ∂y 2
= 0 : Ec. de Laplace.
2 f (t,x) ∂ 2 f (t,x)
6. α2 ∂ ∂x2
= ∂t2
: Ec. de onda.
1.1. Generalidades 3
d3 y
1. dx3
− 5x2 y + sen2 x = 0.
y ′′
2. x2
+ 3ex y ′ = cos x.
1. (y ′′ )2 − y sen x = 0.
dy
2. dx + xy = x2 cos y.
4 1. Ecuaciones de Primer Orden
dn y dn−1 y dy
an (x) n
+ an−1 (x) n−1
+ · · · + a1 (x) + a0 (x) y = f (x) . (1.1)
dx dx dx
Nota 1.1.9 Algunas caracterı́sticas para identificar las E.D.O. lineales son:
−9
Ejemplo 1.1.12 La función y (x) = √ + √7x definida para x > 0 es solución
x3
de la ecuación diferencial 4x2 y ′′ + 12xy ′ + 3y = 0. Veamos:
1.1. Generalidades 5
−9
Si se reemplazan la función y (x) = √ + √7x , junto con sus derivadas y ′ (x) =
x3
27 √7 21 135
√ − y y ′′ (x) = √ − √ en el lado izquierdo de la ecuación 4x2 y ′′ +
2 x5 2 x3 4 x5 4 x7
12xy ′ + 3y = 0 se obtiene:
% & % & % &
2 21 135 27 7 −9 7
4x √ − √ + 12x √ − √ +3 √ + √ =
4 x 5 4 x7 2 x5 2 x3 x3 x
21 135 162 42 27 21
√ −√ +√ −√ −√ +√ =
x x3 x3 x x3 x
= 0.
C1 C2
Ejercicio 1.1.13 Muestre que la función y (x) = √ + √
x
con C1 , C2 ∈ R,
x3
es solución de la ecuación 4x2 y ′′ + 12xy ′ + 3y = 0 para x > 0.
−9
Note del ejemplo y el ejercicio anterior que la solución y (x) = √ + √7x de la
x3
ecuación diferencial 4x2 y ′′ + 12xy ′ + 3y = 0 es un caso particular de la familia
C1 C2
de funciones y (x) = √ + √
x
, basta con tomar C1 = −9 y C2 = 7. Esta
x3
observación sugiere las siguientes definiciones:
dy
a) y = e−x/2 para 2 dx + y = 0.
d2 y dy
b) y = e3x cos 2x para dx2 − 6 dx + 13y = 0.
ln x
c) y = x2
para x2 y ′′ + 5xy ′ + 4y = 0.
d y 2
d) y = [− cos x] [ln (sec x + tan x)] para dx 2 + y = tan x.
) *
e) t = ln 2X−1
X−1 para dXdt = (X − 1) (1 − 2X).
# $
f ) −2x2 y + y 2 = 1 para 2xydx + x2 − y dy = 0.
C1 ex dy
a) y = 1+C1 ex para
= y (1 − y).
dx
2 + x 2 2 dy
b) y = e−x 0 et dt + C1 e−x para dx + 2xy = 1.
d2 y dy
c) y = C1 e2x + C2 xe2x para dx2 − 4 dx + 4y = 0.
2 2
a) U (x, t) = e−α t sen x con α ̸= 0 para α2 ∂∂xU2 = ∂U
∂t .
8 1. Ecuaciones de Primer Orden
2 ∂2U
b) U (x, t) = sen λx sen αλt con α ̸= 0 y λ ∈ R para α2 ∂∂xU2 = ∂t2
.
1
c) U (x, y, z) = √ con (x, y, z) ̸= (0, 0, 0) para Uxx + Uyy +
x2 +y 2 +z 2
Uzz = 0.
dy
= f (x, y) , (1.1)
dx
dy
= g (x) , (1.2)
dx
1.2. Ecuaciones con Variables Separables 9
x5
Ejemplo 1.2.2 La función y (x) = 5 +C es la solución general de la ecuación
diferencial y′ = x4 .
Si adicionalmente se tiene una condición ' inicial y (1) =
y ′ = x4
−2, entonces la solución particular al problema de valor inicial
y (1) = −2
x5 11
está dada por y (x) = 5 − 5 ; debido a que cuando x = 1 e y = −2 por la
15
condición inicial, la solución general se transforma en −2 = 5 + C ⇐⇒ C =
1
−2 − 5 = − 11
5 .
dy
Para deducir la ecuación (1.3), considere la ecuación = g (ξ), integrando
dξ
+x
en ambos lados desde x0 en adelante con respecto a ξ, se obtiene x0 dy dξ dξ =
+x
x0 g (ξ) dξ; utilizando la regla de la cadena y el teorema fundamental del
+x
cálculo se tiene que y (x) − y (x0 ) = x0 g (ξ) dξ y como y (x0 ) = y0 entonces
10 1. Ecuaciones de Primer Orden
+x
y (x) = y0 + x0 g (ξ) dξ ⋆
dy
= g (x) h (y) . (1.4)
dx
dy −x 1 −1
2. dx = y , donde g (x) = −x y h (y) = y o también g (x) = x y h (y) = y .
dy y 1
3. (1 + x) dy − ydx = 0 ⇐⇒ dx = 1+x , donde g (x) = 1+x y h (y) = y.
1.2. Ecuaciones con Variables Separables 11
dy + 1
+
1. y ′ = y 2 sen x ⇐⇒ dx = y 2 sen x ⇐⇒ y2
dy = sen xdx ⇐⇒ − y1 =
−1
− cos x + C ⇐⇒ y (x) = C−cos x .
dy −x
+ + y2 −x2
2. dx = y ⇐⇒ ydy = − xdx ⇐⇒ 2 = 2 + C1 ⇐⇒ x2 + y 2 = C,
con C = 2C1 .
dy y + dy + dx
3. dx = 1+x ⇐⇒ y = 1+x ⇐⇒ ln |y| = ln |1 + x| + C1 ⇐⇒ y (x) =
C (1 + x), con C = ec1 .
dy −x 1
2. Para dx = y , no hay valores constantes para que la función h (y) = y
se anule. Por tanto, no hay soluciones singulares.
dy y
3. Para dx = 1+x , la única solución singular es y = 0 que se obtiene de
h (y) = y.
12 1. Ecuaciones de Primer Orden
2(1+Ce4x )
Despejando para y, se obtiene y (x) = 1−Ce4x . Usando la condición
2(1+C)
inicial y (0) = −2 se llega a, −2 = 1−C ⇐⇒ −1 = 1. La inconsistencia
anterior surge debido a que la solución particular del P.V.I. no está dentro
de la familia de funciones que componen la solución general. Debido a
ésto, se calculan las soluciones singulares de la ecuación, que están dadas
por
y 2 − 4 = 0 ⇐⇒ (y − 2) (y + 2) = 0 ⇐⇒ y = 2yy = −2.
0 1
Ω = (x, y) ∈ R2 : 0 ≤ x ≤ 2 y 1 ≤ y ≤ 3
dy dy ex
a) dx = x4 con y (2) = 3. c) dx = con y (1) = 3.
1+x
dy ln x dy # −3 $
b) dx = 4+cos2 x
con y (2) = 5. d) dx = cos x con y (2) = 4.
dy ) *2
a) = sen (5x). e) y dx y+1
dx dy ln x = x .
b) dx + e3x dy = 0. f) dy
dx = xy+2y−x−2
xy−3y+x−3 .
dy # $
c) dy
dx + 2xy = 0. g) dx = y 4 cos x−1/2 . (∗)
dy 2 2
dy
d) ex y dx = e−y + e−2x−y . h) = ex +y . (∗)
dx
dx
# $
a) dt = 4 x2 + 1 , x (π/4) = 1.
dy y 2 −1
b) dx = x2 −1
,
y (2) = 2.
dy √
c) dx = ey sen x, y (0) = 0. (∗)
dy
M (x, y) + N (x, y) = 0, (1.1)
dx
dy
M (x, y) + N (x, y) = 0 ⇐⇒
dx
∂Φ ∂Φ dy
+ = 0 ⇐⇒
∂x ∂y dx
d
[Φ (x, y)] = 0;
dx
y por tanto la solución general de la ecuación diferencial (1.1) está dada por
Φ (x, y) = C.
En el párrafo anterior, se encontró la solución general de la ecuación (1.1)
16 1. Ecuaciones de Primer Orden
e integrando respecto a x,
,
Φ (x, y) = M (x, y) dx + h (y) (1.3)
∂
3+ 4
derivando respecto a y se obtiene Φy (x, y) = ∂y M (x, y) dx +h′ (y) y como
Φy (x, y) = N (x, y), entonces
,
N (x, y) = My (x, y) dx + h′ (y) . (1.4)
+
Despejando h′ (y) queda h′ (y) = N (x, y)− My (x, y) dx, observe que la parte
derecha de la ecuación anterior debe depender únicamente de y.
Integrando respecto a y y reemplazando en la ecuación (1.3) se tiene que
, , 5 , 6
Φ (x, y) = M (x, y) dx + N (x, y) − My (x, y) dx dy. (1.5)
1.3. Ecuaciones Exactas 17
Nota 1.3.2 Una E.D.O. como (1.1) se llama exacta, si se cumple que
My (x, y) = Nx (x, y).
# $ dy
1. 2xy−9x2 + 2y + x2 + 1 dx = 0. Aquı́, M (x, y) = 2xy−9x2 y N (x, y) =
2y + x2 + 1, realizando My (x, y) y Nx (x, y) se obtiene My (x, y) = 2x =
Nx (x, y) y por tanto, se comprueba que la ecuación es exacta. Para
resolverla, primero como en la ecuación (1.2), considere Φx (x, y) = 2xy−
9x2 e integrando con respecto a x,
,
# $
Φ (x, y) = 2xy − 9x2 dx = x2 y − 3x3 + h (y) ;
2xy # # $$ dy
2. − 2x − 2 − ln x2 + 1 dx
x2 +1
= 0. En este caso, M (x, y) = x2xy
2 +1 − 2x
# 2 $ 2x
y N (x, y) = ln x + 1 − 2. Además, My (x, y) = x2 +1 = Nx (x, y) y
por tanto, la E.D. es exacta. Considere Φx (x, y) = x2xy 2 − 2x e inte-
# 2 +1 $
grando con respecto a x, se tiene Φ (x, y) = y ln x + 1 − x2 + h (y).
# $
Derivando respecto a y, Φy (x, y) = ln x2 + 1 + h′ (y) y entonces
# $ # $
Φy (x, y) = ln x2 + 1 + h′ (y) = ln x2 + 1 − 2 = N (x, y) y por tanto
# $
h (y) = −2y. Luego, la solución general es y ln x2 + 1 − x2 − 2y = C.
18 1. Ecuaciones de Primer Orden
dy
3. yexy cos 2x − 2exy sen 2x + 2x + (xexy cos 2x − 3) dx = 0. Para esta
ecuación diferencial, M (x, y) = yexy cos 2x−2exy sen 2x+2x y N (x, y) =
∂M ∂N ∂M
xexy cos 2x − 3. Calculando xy
∂y y ∂x se obtienen ∂y = e cos 2x +
xyexy cos 2x−2xexy sen 2x y ∂N xy xy xy
∂x = e cos 2x+xye cos 2x−2xe sen 2x.
Por tanto, la ecuación es exacta. Sean Φx (x, y) = yexy cos 2x −
2exy sen 2x + 2x y Φy (x, y) = xexy cos 2x − 3, observe que en este caso
particular, resulta más cómodo trabajar con Φy (x, y) = xexy cos 2x − 3
debido a la naturaleza más complicada de Φx (x, y) a la hora de integrar.
Ası́, integrando Φy (x, y) respecto a y, Φ (x, y) = exy cos 2x − 3y + h (x).
Derivando respecto a x, Φx (x, y) = yexy cos 2x − 2exy sen 2x + h′ (x) y
como Φx (x, y) = yexy cos 2x − 2exy sen 2x + 2x, entonces h′ (x) = 2x
y por tanto h (x) = x2 . Luego, la solución general está dada por
exy cos 2x − 3y + x2 = C.
a) 4y + 2t − 5 + (6y + 4t − 1) dy
dt = 0, y (−1) = 2.
) *
1 dy
b) 1+y 2 + cos x − 2xy dx = y (y + sen x), y (0) = 1.
# $ dy
a) y 3 + kxy 4 − 2x + 3xy 2 + 20x2 y 3 dx = 0.
# $ dy
b) 6xy 3 + cos y + 2kx2 y 2 − x sen y dx = 0.
dy
4. Demuestre que la ecuación diferencial −Fy + Fx dx = 0 es exacta si y
sólo si F satisface la ecuación diferencial parcial Fxx + Fyy = 0 conocida
como la ecuación de Laplace.
6. Discuta cómo se determinan las funciones M (x, y) y N (x, y), tales que
cada ecuación diferencial sea exacta.
# $ dy
a) M (x, y) + xexy + 2xy + x1 dx = 0.
) *
dy
b) x−1/2 y 1/2 + x2x+y + N (x, y) dx = 0.
dy
M (x, y) + N (x, y) =0 (1.1)
dx
bien sea u (x) ó u (y), entonces encontrarla puede ser relativamente simple.
Veamos:
dy
Dada M (x, y) + N (x, y) dx = 0 no exacta, suponga que existe un factor de
! "
dy
integración u (x) tal que u (x) M (x, y) + N (x, y) dx = 0 es exacta, es decir,
dy
la ecuación diferencial u (x) M (x, y) + u (x) N (x, y) dx = 0 cumple con
M (x,y)−N (x,y)
Ası́, el factor integrante u (x) existe, si la expresión y N (x,y)x depende
)+ *
My (x,y)−Nx (x,y)
únicamente de x y está dado por u (x) = exp N (x,y) dx .
∂
3 4 ∂
3 4
∂y 3x2 y + xy 2 = 3x2 + 2xy = 3 2
∂x x + x y . La solución de esta nueva
1 2 2
ecuación está dada por x3 y + 2 x y = C. Compruébelo!!!
dy
2. y + (2x − yey ) dx = 0. En este caso, M (x, y) = y y N (x, y) = 2x − yey y
∂M ∂N
haciendo ∂y = 1 y ∂x = 2 se llega a la conclusión que la ecuación
Nx (x,y)−My (x,y) 2−1 1
diferencial no es exacta. Realizando M (x,y) = y = y, se
obtiene el factor integrante u (y) = y que transforma la ecuación en
# $ dy ∂
3 24
y 2 + 2xy − y 2 ey dx = 0, la cual es exacta ya que ∂y y = 2y =
∂
3 2 y
4
∂x 2xy − y e . Al resolver la ecuación exacta resultante, aparece la
# $
solución general xy 2 − y 2 − 2y + 2 ey = C. Compruébelo!!!
dy
a) 2y 2 + 3x + 2xy dx = 0.
# $ dy
b) 2xy 3 + y 4 + xy 3 − 2 dx = 0.
# $ dy
c) 3x2 y −1 + y + 2x + 4y 2 dx = 0.
dy
d) y + e−x + = 0.
dx
3. Sabiendo que la función µ (x, y) = ey sen x es un factor de integración
para la E.D.
yF (x) + x2 G (y) y ′ = 0
# $ dy
a) 6y 5 + 7xy 4 + 3x−5 dx = 0.
# $ dy
b) −3x−1 − 2y 4 + −3y −1 + xy 3 dx = 0.
My −Nx
7. Pruebe que si yN (x,y)−xM (x,y) = R (xy), entonces
%, t &
µ (x, y) = exp R (s) ds ,
0
+
de donde y1 (x) = e− p(x)dx .
Por otro lado, y para encontrar la solución particular, suponga que existe un
factor integrante u (x) tal que la función yp (x) = y1 (x) u (x) es una solución
particular de la ecuación (1.1), es decir, yp′ (x) + p (x) yp (x) = f (x).
Usando el hecho que yp′ (x) = y1′ (x) u (x) + y1 (x) u′ (x), entonces se llega a
y1′ (x) u (x) + y1 (x) u′ (x) + p (x) [y1 (x) u (x)] = f (x) ⇐⇒
3 ′ 4
y1 (x) + p (x) y1 (x) u (x) + y1 (x) u′ (x) = f (x)
y como y1′ (x) + p (x) y1 (x) = 0 ya que y1 (x) es solución de la ecuación y ′ (x) +
f (x)
p (x) y (x) = 0, entonces y1 (x) u′ (x) = f (x). De donde, u′ (x) = y1 (x) ⇐⇒
+ + +
u′ (x) = f (x) e p(x)dx ⇐⇒ u (x) = f (x) e p(x)dx dx
Luego, la solución de la ecuación (1.1) está dada por:
+ + , +
− p(x)dx − p(x)dx p(x)dx
y (x) = Ce +e f (x) e dx ⋆ (1.2)
dy
Ejemplo 1.5.1 Resolver la ecuación diferencial x dx + 2y = x2 − x + 1 por
medio del método de variación de parámetros.
Primero, se requiere escribir la ecuación en la forma de la ecuación (1.1),
dy
es decir, si x ̸= 0, al dividir la ecuación diferencial por x se obtiene dx +
2 1 dy 2
xy = x−1+ x, de donde la ecuación homogénea asociada es dx + xy = 0.
Aplicando el método de variables separables se llega a la solución yc (x) =
c
x2
y para construir la solución particular, se considera la función yp (x) =
1
y1 (x) u (x) = x2
u (x) como solución de la ecuación original. Además, yp′ (x) =
−2 1 ′ −2 1 ′
x3 u (x) + x2 u (x) y reemplazando en la ecuación se tiene x3 u (x) + x2 u (x) +
1.5. Ecuaciones Lineales 25
231 4 1 ′ 3 2 x4 x3 x2
x 2 u (x) = x − 1 + x ⇐⇒ u (x) = x − x + x ⇐⇒ u (x) = 4 − 3 + 2 .
x 2
Ası́, la solución general de la ecuación es y (x) = xc2 + x4 − x3 + 12 .
Ejemplo 1.5.2 Utilice el método del factor integrante para resolver las ecua-
ciones diferenciales.
dy
1. dx − y = 2 sen (3x). Aquı́, p (x) = −1 y f (x) = 2 sen (3x) y ası́ el factor
+
integrante es e− dx = e−x . Multiplicando la ecuación por e−x se tiene
dy
e−x − e−x y = 2e−x sen (3x) ⇐⇒
dx
d 3 −x 4
e y = 2e−x sen (3x) ⇐⇒
dx ,
−x
e y = 2e−x sen (3x) dx ⇐⇒
3 1
y = − cos 3x − sen 3x + Ce−x .
5 5
# $ dy # $5/2 x
2. x2 + 1 dx + xy = x2 + 1 . En este caso,) p (x) = 2 y f (x) =
# 2 $3/2 + xdx * x +1 √
x +1 y ası́ el factor integrante es exp x2 +1
= x2 + 1. Al
26 1. Ecuaciones de Primer Orden
Como la solución del P.V.I. original debe ser una función continua, en-
1.5. Ecuaciones Lineales 27
tonces debe darse que lı́m y (x) = lı́m y (x) ⇐⇒ lı́m 2ex − 2x − 2 =
x→1− x→1+ x→1−
lı́m Cex ⇐⇒ 2e − 2 − 2 = Ce ⇐⇒ C = 2 − 4e . Ası́, la solución
x→1+ '
2ex − 2x − 2, 0 ≤ x ≤ 1
particular del P.V.I. es y (x) = # $ .
2 − 4e ex , x > 1
sen x
2. a) xy ′ + y = ex . c) xy ′ = −3y + x .
b) y ′ = − yt + 2. d) dr
dθ + r sec θ = cos θ.
dy
+ p (x) y = f (x)
dx
dy 2
= axy + 4e−x ?
dx
dy 1 dy
= , siempre que ̸= 0 (1.3)
dx dx/dy dx
dy 1
La E.D. dx = y+x es no lineal en y. Aplique la ecuación (1.3) para
obtener una E.D. con variable dependiente x. ¿Es lineal en x? Si lo es,
resuélvala.
dy f ′ (x)
+2 y = f ′ (x) .
dx f (x)
dy
M (x, y) + N (x, y) =0 (1.1)
dx
se dice que es homogénea siempre que las funciones M (x, y) y N (x, y) sean
homogéneas del mismo orden.
Para su resolución, considere que la ecuación (1.1) es homogénea de orden α.
dy
El cambio de variables y (x) = xu (x) implica que dx = u+x du
dx y al reemplazar
en la ecuación (1.1) se llega a
5 6
du
M (x, xu) + N (x, xu) u + x = 0 ⇐⇒
dx
5 6
du
xα M (1, u) + xα N (1, u) u + x = 0 ⇐⇒
dx
5 6
du M (1, u) 1
= − +u ;
dx N (1, u) x
dy y 2 +2xy
Ejemplo 1.6.3 Resolver la ecuación diferencial homogénea dx = x2
.
En este caso la ecuación diferencial se escribe en forma equivalente como
dy
y 2 + 2xy − x2 dx = 0, de donde M (x, y) = y 2 + 2xy y N (x, y) = −x2 . Las fun-
ciones M (x, y) y N (x, y) son homogéneas de segundo orden (compruébelo!!!),
por tanto la sustitución y (x) = xu (x) implica que y ′ (x) = u (x) + xu′ (x)
(xu)2 +2x(xu)
y transforma la E.D. en u + x du
dx = x2 ⇐⇒ x du 2
dx = u + u ⇐⇒
30 1. Ecuaciones de Primer Orden
+ du
+ dx
u2 +u
= 7 x ;
aplicando
7 fracciones parciales para la integral del lado izquier-
7 u 7 u
do se origina ln 7 u+1 7 = ln |x| + C1 ⇐⇒ u+1 = Cx con C = eC1 . Despejando
y(x)
u (x) y deshaciendo la sustitución y (x) = xu (x) ⇐⇒ u (x) = x se tiene
Cx2
que y (x) = 1−Cx .
Nota 1.6.4 En algunas ocasiones, se usa una definición alternativa para las
E.D. homogéneas, mediante la ecuación
dy )y*
=F , (1.2)
dx x
#y $
que considera a F , como una función donde las variables x e y pueden
x
# $
escribirse siempre en la forma xy . La función F xy se denomina función ho-
mogénea y la resolución de la E.D. es similar a lo realizado anteriormente
y(x)
usando la sustitución u (x) = x . Veamos:
#y$ dy
Ejemplo 1.6.5 Resolver la E.D. x tan x + y − x dx = 0 usando la ecuación
(1.2).
# $
Si se considera x ̸= 0 y se divide la E.D. por x se obtiene tan xy + xy − dy
dx =
# $ dy
x dx −y
0 ⇐⇒ dx dy
= tan xy + xy . Sea u (x) = y(x) du
x , entonces dx = x2 ⇐⇒ dy
dx =
x du
dx + u y reemplazando en la ecuación se tiene x du
+ u = tan u + u ⇐⇒
dx
+ + dx
cot udu = ⇐⇒ ln |sen u| = ln |x| + C1 . Despejando u y deshaciendo la
x
sustitución queda y (x) = x arcsen (Cx) con C = eC1 .
y(x)
Ejercicio 1.6.6 Muestre que la sustitución u (x) = x transforma la E.D.
(1.2) en una ecuación de variables separables.
dy # $
a) dx = x y + xy 2 + cos xy, sea u = xy.
1.6. Ecuaciones Diferenciales Homogéneas 31
dy y 2 +xy
b) dx = y 2 +3y 2
, sea u = xy .
dy
c) dx = 1 + ey−x+5 , sea u = y − x + 5.
dy 1−xy 2 y
d) dx = 2x2 y
, sea u = xn para un valor adecuado de n.
dy xy ex /2
2 √
a) dx = 2 + 2y , sea u = x.
dy
b) dx = cos (x + y), y (0) = π4 , sea u = x + y.
√
dy −x+ x2 +y 2
c) dx = y , y (0) = 2, sea u = x2 + y 2 .
3. Verifique que cada una de las siguientes E.D. son homogéneas. Halle la
solución general ó la solución al P.V.I. según corresponda, haciendo la
sustitución adecuada.
a) (x − y) dx + xdy = 0.
dy
2
b) x dx − y = x2 + y 2 .
# √ $
c) −ydx + x + xy dy = 0.
dy x2 +xy+y 2
d) dx = x2
.
dy
e) x = xey/x + y, y (1) = 0.
dx
f ) ydx + x (ln x − ln y − 1) dy = 0, y (1) = e.
dy
4. Muestre que la E.D. dx = f (Ax + By + C) se transforma en una
ecuación de variables separables mediante la sustitución u (x) = Ax +
By (x) + C.
a) dy
dx = (x + y + 1)2 .
32 1. Ecuaciones de Primer Orden
dy √
b) dx =2+ y − 2x + 3.
dy
c) dx = cos (x + y), y (0) = π4 .
# $ # $
x + y 3 dx + 3y 5 − 2xy 2 dy = 0.
dy
= 3t2 y + 3t5 .
dt
Supóngase que se define una nueva variable dependiente del tiempo usan-
√
do la fórmula s = t3 . Entonces t = 3 s.
dy
a) Mostrar que ds = y + s.
dy
+ p (x) y = f (x) y n . (1.1)
dx
1.7. Ecuación de Bernoulli 33
1 du 1 du
yn + p (x) uy n = f (x) y n ⇐⇒ + p (x) u = f (x)
1 − n dx 1 − n dx
dy
Ejemplo 1.7.2 Resolver la E.D. de Bernoulli x2 dx + 2xy − y 3 = 0.
dy dy 3
Sea u = y 1−3 = y −2 , entonces = −2y −3 dxdu
⇐⇒ dx = −y2 du
dx . Reem-
! 3 " dx
3 4
2 −y du 3 3
plazando en la E.D. original queda x 2 dx + 2x uy − y = 0 ⇐⇒
−x2 du −2 du 4 2
2 dx + 2xu − 1 = 0. Multiplicando por x2
aparece dx − x u + x2 =
du 4 −2
0 ⇐⇒ dx − xu = x2 . Usando el factor integrante x−4 se tiene que
d
3 4 −2 2
dx x−4 u = x6
⇐⇒ u (x) = 5x + Cx4 . Deshaciendo el cambio de varia-
bles u (x) = y (x)−2 se llega a la solución general implı́cita 1
y(x)2
= 2
5x + Cx4 .
dy
e) x2 − 2xy = 3y 4 , y (1) = 12 .
dx
2. La E.D.
dy
= p (x) + q (x) y + r (x) y 2 (1.2)
dx
3. Verifique que cada una de las funciones y1 (x) son soluciones particulares
de la E.D. Riccatti dada. Utilice el ejercicio anterior para resolver cada
una de estas ecuaciones.
dy y
a) dx = − x12 − x + y 2 con y1 (x) = x1 .
dy
b) dx − x2 y 2 + x4 − 1 = 0 con y1 (x) = x.
dy 1
c) dx − y tan x = y 2 cos x − cos x con y1 (x) = sen x.
dy
= f (x, y) .
dx
1.8. Teorema de Existencia y Unicidad 35
¿Cuáles son las condiciones que deben tenerse para garantizar la exis-
tencia de dicha solución?
0 1
R = (x, y) ∈ R2 : x0 ≤ x < x0 + a, y0 − b < y < y0 + b
que contiene al punto (x0 , y0 ), entonces existe una única solución del P.V.I. en
# b$
algún intervalo x0 ≤ x < x0 +α, donde α = mı́n a, M y M = máx |f (x, y)|.
(x,y)∈R
Un resultado similar se cumple para x < x0 .
7 7 % &2
7 2 −y 2 7 2 −y 2 1 5
M = máx |f (x, y)| = máx 7x + e 7 = máx x + e = +1 =
(x,y)∈R (x,y)∈R (x,y)∈R 2 4
) *
1 1
y como b = 1 en este caso, α = mı́n 2 , 5/4 = 12 .
) * (x,y)∈R
b
1+b2 . Por tanto, la solución y (x) existe para α = mı́n a, 1+b 2 . Como el valor
b 1
máximo que toma la expresión 1+b 2 es (compruébelo!!!), el T.E.U. predice
2
que la solución existe para 0 ≤ x ≤ 12 .
Nota 1.8.6 La solución explı́cita del P.V.I. anterior es y (x) = tan x, lo cual
−π π
implica que el intervalo maximal de existencia de la solución es 2 <x< 2.
El comentario anterior y el resultado encontrado en el ejemplo anterior, ponen
de manifiesto las limitaciones del teorema de existencia y unicidad en cuanto
al intervalo de existencia de la solución.
'
y0 (x) = y0
+x (1.2)
yn+1 (x) = y0 + x0 f (s, yn (s)) ds,
+x
0 2s (yn (s) + 1) ds para determinar la solución del P.V.I. Veamos:
, x , x
y1 (x) = 2s (y0 (s) + 1) ds = 2sds = x2 .
0 0
, x , x
# $ x4
y2 (x) = 2s (y1 (s) + 1) ds = 2s s2 + 1 ds = x2 + .
0 0 2
, x , x % 4 &
s x4 x6
y3 (x) = 2s (y2 (s) + 1) ds = 2s s2 + + 1 ds = x2 + + .
0 0 2 2 6
, x , x % 4 6
&
s s
y4 (x) = 2s (y3 (s) + 1) ds = 2s s2 + + + 1 ds
0 0 2 6
x4 x6 x8
= x2 + + + .
2 6 24
..
.
, x
yn (x) = 2s (yn−1 (s) + 1) ds
0
, x : 4 6 2(n−1)
;
s s s
= 2s s2 + + + ··· + + 1 ds
0 2 6 (n − 1)!
x4 x2n
= x2 + + ··· + .
2! n!
∞
< ∞
<
x2n xn
Ahora, cuando n → ∞ se tiene que y (x) = n! . Además como n! = ex ,
n=1 n=0
∞
< ∞ x2 n
<
x2n ( ) 2
entonces n! = n! = ex − 1. Ası́, la solución del P.V.I. es y (x) =
n=1 n=1
2
ex − 1; que se puede comprobar fácilmente aplicando el método de separación
de variables al P.V.I. original.
' ⎧
xy ′ + xy = 1 − y ⎨ y ′ = 2x + y
a) c) 3 + 3y 2 − x
y (1) = 0. ⎩
' y (0) = 0.
y ′ = 1 + xy
b)
y (0) = 0.
'
y0 (x) = 0
+x
yn+1 (x) = 0 f (s, yn (s)) ds.
∂f
a) Si ∂y es continua en el rectángulo D, muestre que existe una con-
stante positiva K tal que
M K |x|2
|y2 (x) − y1 (x)| ≤ .
2
|yn (x)| ≤ |y1 (x)| + |y2 (x) − y1 (x)| + · · · + |yn (x) − yn−1 (x)| .
n
<
h) Con base en el ejercicio anterior, muestre que |yj (x)| converge
j=0
n
< (Kh)j
cuando n → ∞ usando el hecho que j! también converge
j=0
cuando n → ∞. Como conclusión, la sucesión {yn (x)}∞
n=0 converge.
+x
4. En este ejercicio se prueba que la función y (x) = y0 + x0 f (s, y (s)) ds
es solución del P.V.I. (1.1).
dy
a) Muestre que la función y (x) satisface la ecuación diferencial dx =
f (x, y (x)).
1.8. Teorema de Existencia y Unicidad 41
y tomando 0 ≤ x ≤ 1.
+1
b) Muestre que 0 Φn (x) dx = 1 − e−n , y por tanto
, 1
lı́m Φn (x) dx = 1.
n→∞ 0
' '
y ′ = −y − 1 y ′ = x2 y − x
a) c)
y (0) = 0. y (0) = 0.
'
y ′ = xy + 1
b)
y (0) = 0.
' '
y ′ = x2 + y 2 y ′ = ex + y 2
a) c)
y (0) = 1. y (0) = 0.
'
y′ = 1 − y3
b)
y (0) = 0.
En esta sección se pretende mostrar el uso que pueden llegar a tener las E.D.
en situaciones particulares y la gran utilidad de los métodos expuestos ante-
riormente. En estas notas se presentarán brevemente aplicaciones para E.D.
de primer orden.
1.9. Algunas Aplicaciones 43
t−y y−t
cuya pendiente es 0−x = x ; y a su vez esto es igual a y ′ , entonces se tiene
y−t
que y ′ = x y reemplazando el valor de t encontrado en (1.1), se obtiene
+x (
′
y− 1
k · −1 1 + (y ′ )2 dx
y = (1.2)
x
y derivando respecto a x,
(
1
y ′ + xy ′′ = y ′ − 1 + (y ′ )2 ⇐⇒
( k
kxy = − 1 + (y ′ )2
′′
Haciendo u = y ′ ,
2
kxu′ = − 1 + u2 ⇐⇒
, ,
du dx
√ = − ⇐⇒
1+u 2 kx
−1
arcsenh u = ln |x| + C1 .
k
−1
arcsenh u = ln |x| ⇐⇒
k ) *
u = senh ln |x|−1/k ⇐⇒
−1/k −1/k
eln|x| − e− ln|x|
= ⇐⇒
2
−1/k
|x| − |x|1/k
= .
2
1.9. Algunas Aplicaciones 45
encontrar una E.D. que exprese tal situación, note de la figura anterior que
tan γ = tan (α − β) ya que γ = α−β. Además por identidades trigonométricas
tan α − tan β
tan (α − β) = , (1.3)
1 + tan α tan β
f ′ (x) − g′ (x)
tan 45◦ =
1 + f ′ (x) g′ (x)
f ′ (x) − y ′
= . (1.4)
1 + f ′ (x) y ′
x − y′
tan 45◦ = ⇐⇒
1 + xy ′
x−1
y′ = . (1.5)
x+1
f ′ · g′ = −1 (1.6)
−1
xy ′ = −1 ⇐⇒ y ′ = .
x
aunque esto no es del todo cierto (¿por qué?), el quitar este supuesto
genera un planteamiento mediante ecuaciones diferenciales parciales.
lb gal lb gal lb
= · − ·
min min gal min gal
dV
En particular para el problema, dt = 9 − 6 ⇐⇒ V (t) = 3t + C. Como al
inicio del fenómeno se tienen 60 gal de agua, entonces V (0) = 60 y por tanto
V (t) = 3t + 60.
Tomando explı́citamente los valores y variables asignados para el problema se
obtiene la ecuación diferencial
dx x
=9·1−6· .
dt 3t + 60
dx 6x dx 6
=9− ⇐⇒ + x = 9.
dt 3t + 60 dt 3t + 60
dx x
=9·1−9·
dt 150
3t 3t
que tiene como factor integrante a e 50 ; y cuya solución es x (t) = 150+C2 e− 50 .
Para encontrar el valor de C2 , tenga en cuenta que el fenómeno ocurre conti-
nuamente desde el principio y debe haber una relación de continuidad entre
3t
198000
las funciones x (t) = 3t + 60 + (3t+60)2
y x (t) = 150 + C2 e− 50 . Es decir, el
50 1. Ecuaciones de Primer Orden
198000 3t
lı́m 3t + 60 + = lı́m 150 + C2 e− 50 ⇐⇒
t→30− (3t + 60)2 t→30+
794 9
= 150 + C2 e− 5 ⇐⇒
5
44 9
C1 = e 5 ≈ 53.2368.
5
Ası́, la cantidad de sal que hay en el tanque después que éste se llena se rige
3t 9
por la función x (t) = 150+ 44
5 e
− 50 + 5
. Para conocer la concentración al minuto
x(40)
40, basta con realizar 150 ≈ 1.0321.
Luego, la concentración de sal en el tanque a los 40 min es aproximadamente
1.0321 lb/ gal.
3. Un destructor está en medio de una niebla muy densa que se levanta por
un momento y deja ver un submarino enemigo en la superficie a cuatro
kilómetros de distancia. Suponga lo siguiente:
dx dy
a) Deduzca que dt = −b cos θ = √−bx y que dt = −b sen θ + ω =
2 x +y 2
√−by + ω.
x2 +y 2
dy dy dt dt
b) Use la regla de la cadena dx = dt · dx junto con dx = 1/ dx
dt para
deducir el P.V.I.
2
dy y − c x2 + y 2
= , y (a) = 0;
dx x
ω
donde c = b.
52 1. Ecuaciones de Primer Orden
)y *
dy
c) Deduzca que la EDO es de la forma dx =F y resuélvala me-
y
x
diante el cambio de variable u = x para obtener
5 6
a ) x *1−c ) x *1+c
y= − .
2 a a
1
a) y = x+C . c) x2 + y 2 − Cx = 0.
b) y 2 − Cx3 = 0. d) y −Ceax = 0, con a constante.
#1 3
$
8. Determinar la curva que pasa por 2, 2 y corta a cada miembro de la
familia x2 + y 2 = C 2 formando un ángulo de 60◦ .
9. Un tanque bien mezclado contiene 300 gal de agua con una concen-
tración de sal de 0.2 lb/ gal. Entra agua con una concentración de sal
de 0.4 lb/ gal a una tasa de 2 gal/ min. Una válvula abierta permite que
el agua salga del tanque a la misma tasa.
12. Un tanque de 100 gal contiene inicialmente 100 gal de agua azucarada
con una concentración de 0.25 lb/ gal. Suponga que se añade azúcar al
tanque a una tasa de p lb/ min, que la mezcla azucarada es removida a
una tasa de 1 gal/ min y que el agua azucarada en el tanque se mantiene
bien mezclada.
22. La vida media del isótopo radiactivo Iodine131 (I −131) es de 8 dı́as (ver
ejercicio 20.). Este isótopo es usado en el tratamiento del hipertiroidismo.
El I − 131 administrado a un paciente se acumula de manera natural en
la tiroides, donde decae y mata parte de la glándula
dv
m = mg − kv 2
dt
) *1/2 # mg $1/2
gk
donde A = 2 m y que lı́m v (t) = k . Compare este
t→∞
valor de la velocidad lı́mite hallado en a.
58 1. Ecuaciones de Primer Orden
Capı́tulo 2
Ecuaciones Diferenciales de
Segundo Orden
2.1. Generalidades
# $
y ′′ = f x, y, y ′ (2.1)
59
60 2. Ecuaciones de Segundo Orden
asumiendo además que las funciones p, q y g son continuas sobre algún inter-
valo abierto I.
En particular, el estudio de ecuaciones de segundo orden no lineales se realiza
usando los sistemas de ecuaciones diferenciales no lineales, que están fuera de
los contenidos de estas notas.
De la misma manera que se tiene un teorema de existencia y unicidad para
ecuaciones de primer orden (ver página 35), también existe un resultado análo-
go para ecuaciones diferenciales lineales de segundo orden y se enuncia a con-
tinuación:
Nota 2.1.2 Como toda función derivable es continua, más toda función con-
2.1. Generalidades 61
Ejemplo 2.1.5 Dadas las funciones y (x) = sen x, p (x) = x2 y q (x) = 3x, su
operador diferencial lineal está dado por
y0 − C2 y2 (x0 )
C1 = para (2.6)
y1 (x0 )
y0′ − C2 y2′ (x0 )
C1 = para (2.7),
y1′ (x0 )
y0 − C2 y2 (x0 ) y ′ − C2 y ′ (x0 )
= 0 ′ 2 .
y1 (x0 ) y1 (x0 )
La condición y1 (x) y2′ (x) − y1′ (x) y2 (x) ̸= 0 que se requiere para obtener la
solución general, equivale a decir que y1 y y2 son linealmente independien-
tes y dicha cantidad define el determinante Wronskiano para y1 y y2 . Más
especı́ficamente,
Para finalizar, se muestra que la solución general de la ecuación (2.2) está dada
por y (x) = C1 y1 (x)+C2 y2 (x)+yp (x), donde C1 y1 (x)+C2 y2 (x) es la solución
general de la ecuación diferencial homogénea asociada y yp (x) una solución
particular de (2.2). Veamos:
Sean y = y (x) una solución cualquiera y yp (x) una solución particular de
(2.2), entonces al aplicar el operador diferencial lineal a la diferencia de y y yp
se tiene
x1
a) La solución x(t) = x0 cos ωt + sen ωt con condiciones
ω
iniciales x(0) = x0 y x′ (0) = x1 .
x1
b) La solución x(t) = x0 cos(ω(t − t0 )) + ω sen(ω(t − t0 )) con condi-
ciones iniciales x(t0 ) = x0 , x′ (t0 ) = x1 .
y ′′ + p (x) y ′ + q (x) y = 0,
y ′′ + by ′ + cy = 0, con b, c ∈ R. (2.1)
Suponga que la ecuación (2.2) tiene dos raı́ces reales distintas, m1 y m2 ; en-
tonces las funciones y1 (x) = em1 x y y2 (x) = em2 x son soluciones de (2.1)
(compruébelo!!!). Éstas forman la solución general de (2.1), de acuerdo con
(2.5), ya que W [em1 x , em2 x ] ̸= 0 para todo x ∈ R. Especı́ficamente la solución
general bajo estas condiciones está dada por
'
y ′′ + 5y ′ + 6y = 0
Ejemplo 2.2.4 Encontrar la solución del P.V.I.
y (0) = 0 y y ′ (0) = 1.
En el ejemplo anterior, se determinó la solución general de la E.D. como y (x) =
C1 e−3x +C2 e−2x ; para determinar la solución del P.V.I. propuesto, es suficiente
con aplicar las condiciones iniciales y (0) = 0 y y ′ (0) = 1 a la solución general,
2.2. Ecuaciones con Coeficientes Constantes 69
y (0) = 0 ⇐⇒
C1 e−3(0) + C2 e−2(0) = 0 ⇐⇒
C1 + C2 = 0 y
y ′ (0) = 1 ⇐⇒
−3C1 e−3(0) − 2C2 e−2(0) = 1 ⇐⇒
−3C1 − 2C2 = 1
'
C1 + C2 = 0
Además, el sistema resultante , tiene como solución a
−3C1 − 2C2 = 1
C1 = −1 y C2 = 1. Por tanto, la solución del P.V.I. es y (x) = −e−3x + e−2x .
Como y1 es solución de (2.1), entonces y1′′ + by1′ + cy1 = 0; además 2y1′ + by1 =
−b
2m1 em1 x + bem1 x = em1 x (2m1 + b) = 0, ya que m1 = 2 por ser una raiz real
70 2. Ecuaciones de Segundo Orden
# $ # $
u′′ y1 + u′ 2y1′ + by1 + u y1′′ + by1′ + cy1 = 0 ⇐⇒
u′′ y1 = 0 ⇐⇒
u′′ = 0 ⇐⇒
u (x) = C3 x + C4 .
Debido a que se busca una función y2 (x) = u (x) y1 (x) = (C3 x + C4 ) em1 x
que sea linealmente independiente a y1 (x) = em1 x ; basta con escoger C3 = 1
y C4 = 0 para tal fin. Luego, la solución general de la E.D. (2.1) está dada por
Ejercicio 2.2.5 Muestre que las funciones y (x) = em1 x y y (x) = xem2 x para
m1 = m2 , son linealmente independientes.
Debido a que la solución general de la E.D. es y (x) = C1 e−x +C2 xe−x , entonces
la solución particular al P.V.I. satisface y (0) = 1 y y ′ (0) = −1. Llevando estas
2.2. Ecuaciones con Coeficientes Constantes 71
y (0) = 1 ⇐⇒
C1 e−(0) + C2 (0) e−(0) = 1 ⇐⇒
C1 = 1 y
y ′ (0) = −1 ⇐⇒
) *
−C1 e−(0) + C2 e−(0) − (0) e−(0) = −1 ⇐⇒
−C1 + C2 = −1 ⇐⇒
C2 = 0.
Ahora, considere que la E.D. (2.1) tiene dos raı́ces complejas conjugadas
m1 = α + iβ y m2 = α − iβ, siguiendo con un proceso similar a lo realizado
en la subsección (2.2.1), puede probarse que las funciones y1 (x) = e(α+iβ)x
y y2 (x) = e(α−iβ)x forman un conjunto fundamental de soluciones para la
ecuación (2.1); sin embargo estas soluciones no son de valor real, y por tan-
to, una solución general formada por éstas no corresponde como función a
la solución general de (2.1). Para suplir este contratiempo, y sin pérdida de
generalidad, se utilizará la función y1 (x) = e(α+iβ)x para encontrar un par
de funciones de variable y valor real, que generen la solución general de la
ecuación diferencial. Veamos:
y3′′ + by3′ + cy3 = (eαx cos βx)′′ + b (eαx cos βx)′ + c (eαx cos βx)
# $
= eαx α2 cos βx − 2αβ sen βx − β 2 cos βx
+beαx (α cos βx − β sen βx) + ceαx cos βx
# $
= eαx α2 − β 2 + bα + c cos βx − eαx (2αβ + bβ) sen βx
@ AB C @ AB C
0 0
= 0.
Nota 2.2.10 De manera análoga, se prueba que la función y4 (x) = eαx sen βx
también es solución.
Por último, para probar que las funciones y3 y y4 son linealmente indepen-
dientes para todo x ∈ R,
'
y ′′ − 2y ′ + 10y = 0
Ejemplo 2.2.13 Encontrar la solución del P.V.I.
y (0) = 2 y y ′ (0) = 1.
En el ejemplo anterior, se determinó a y (x) = ex (C1 cos 3x + C2 sen 3x), como
la solución general de la ecuación diferencial. Para calcular la solución del
P.V.I., se realiza
# $
Por tanto, la solución del P.V.I. es y (x) = ex 2 cos 3x − 13 sen 2x .
a) y ′′ + y ′ − 6y = 0. e) 3y ′′ − 24y ′ + 48y = 0.
b) y ′′ − y = 0. f ) y ′′ − 3y ′ + y = 0.
c) y ′′ + 10y ′ + 25y = 0. g) y ′′ + y = 0.
d) y ′′ + 4y ′ + 5y = 0. h) 2y ′′ + 3y ′ + 4y = 0.
4. La E.D.
x2 y ′′ + αxy ′ + βy = 0, con α, β ∈ R; (2.7)
b) Suponga
√ que 2las raı́ces de (2.8) son reales y distintas, es decir, r1,2 =
(1−α)± (α−1) −4β
2 con (α − 1)2 − 4β > 0. Determine la solución
general de (2.7).
c) Suponga que las raı́ces de (2.8) son complejas conjugadas,
y por tanto, una solución compleja de la ecuación de Euler
es y (x) = xλ+iµ . Muestre que xλ+iµ puede escribirse como
xλ (cos µ ln x + i sen µ ln x); y utilice este resultado para probar que
y1 (x) = xλ cos µ ln x y y2 (x) = xλ sen µ ln x son soluciones de valor
real de (2.7).
5. Utilice los resultados del ejercicio anterior para resolver las E.D. o los
P.V.I. según corresponda.
d2 y dy
+ p (x) + q (x) y = 0 (2.1)
dx2 dx
El nombre del método, viene del hecho que para resolver la ecuación (2.1), se
transforma la E.D. en una ecuación equivalente de primer orden, es decir, se
reduce el orden de la ecuación (2.1), para resolverla.
76 2. Ecuaciones de Segundo Orden
y ′ = y1′ u + y1 u′ y
y ′′ = y1′′ u + 2y1′ u′ + y1 u′′ ,
en (2.1), se obtiene
# $
y1′′ u + 2y1′ u′ + y1 u′′ + p (x) y1′ u + y1 u′ + q (x) y1 u = 0 ⇐⇒
@ AB C @ AB C @ABC
y ′′ y′ y
# $ # $
y1′′ + p (x) y1′+ q (x) y1 u + 2y1′ + p (x) y1 u′ + y1 u′′ = 0.
@ AB C
Cero
# $
2y1′ + p (x) y1 v + y1 v ′ = 0 ⇐⇒
v′ 2y ′ + p (x) y1
= − 1 ⇐⇒
v y1
d 2y ′ + p (x) y1
[ln v] = − 1 ⇐⇒
dx y1
,
2y1′ + p (x) y1
ln v = − dx ⇐⇒
y1
,
−2
ln v = ln y1 − p (x) dx + C1 ⇐⇒
C −+ p(x)dx
v (x) = e con C = eC1 .
y12
Teniendo en cuenta que se está buscando sólo una solución, puede hacerse (por
2.3. Método de Reducción de Orden 77
1 − + p(x)dx
v (x) = e .
y12
1 − + p(x)dx
u′ (x) = e ⇐⇒
y12
,
1 − + p(x)dx
u (x) = e dx.
y12
+ 1 −
+
p(x)dx dx
Por tanto, la segunda solución toma la forma y2 (x) = y1 (x) y12
e
⋆
+ 1 −
+
p(x)dx dx,
Nota 2.3.1 Observe que la función y2 (x) = y1 (x) y12
e es lineal-
mente independiente con y1 ; ya que si las funciones y1 y y2 fuesen linealmente
+ +
dependientes, entonces la cantidad y12 e− p(x)dx dx serı́a constante.
1
Nota 2.3.3 Aprecie que la función y = y1 (x) u (x) se forma de manera análo-
ga a como se construyeron los factores integrantes del capı́tulo anterior.
Como conclusión, puede decirse que si se conoce una solución de (2.1), digamos
y1 ; una segunda solución linealmente independiente a la primera está dada por
,
1 −+ p(x)dx
y2 (x) = y1 (x) e dx (2.2)
y12
1 ′ 3
2x2 y ′′ + xy ′ − 3y = 0 ⇐⇒ y ′′ + y − 2y = 0
2x 2x
1
y ası́, p (x) = 2x . Al aplicar la fórmula (2.2) para encontrar la segunda solución,
por el método de reducción de orden se obtiene
, + ,
dx
√1
1 e− 2x 1 x
y2 (x) = # 1 $2 dx = # 1 $2 dx
x x
, x x
1 3/2 2
= x dx = x3/2 .
x 5
C1
√
Luego, la solución general de la E.D. es y (x) = x + C2 x3 .
2
Nota 2.3.5 Observe en el ejemplo anterior, que se omite el coeficiente 5 en
la solución general, ya que la constante C2 es arbitraria y absorbe la fracción.
4 (x + 1) ′ 4y
(2x + 1) y ′′ − 4 (x + 1) y ′ + 4y = 0 ⇐⇒ y ′′ − y + = 0,
2x + 1 2x + 1
y (0) = 1 ⇐⇒
C1 (0 + 1) + 2C2 e2(0) = 1 ⇐⇒
C1 + 2C2 = 1 y
y ′ (0) = 2 ⇐⇒
C1 + 4C2 e2(0) = 2 ⇐⇒
C1 + 4C2 = 2.
'
C1 + 2C2 = 1
De donde resulta el sistema , cuya solución es C1 = 0 y
C1 + 4C2 = 2
1
C2 = . Luego, la solución del problema de valor inicial es y (x) = e2x .
2
Nota 2.3.7 Observe del ejemplo anterior que ası́ como se tomó y2 (x) = 2e2x ,
pudo también tomarse a y2 como e2x , ya que el 2 no afecta en la solución del
P.V.I. al valor de la constante.
a) y ′′ − x2(x+1) ′ 2y
2 +2x−1 y + x2 +2x−1 = 0 conociendo la solución y1 (x) = x + 1.
# $
b) 1 − x2 y ′′ − 2xy ′ + 2y = 0 conociendo la solución y1 (x) = x.
c) xy ′′ − y ′ + 4x3 y = 0 conociendo la solución y1 (x) = sen x2 .
d) (x − 1) y ′′ − xy ′ + y = 0 conociendo la solución y1 (x) = ex .
x2 x3 xN
y2 (x) = 1 + x + + + ··· + .
2 3! N!
y ′′ + by ′ + cy = f (x) . (2.1)
1. Expresiones polinómicas.
2. Expresiones exponenciales.
82 2. Ecuaciones de Segundo Orden
Considere la E.D.
y ′′ + by ′ + cy = a0 + a1 x + · · · + an xn , (2.2)
Igualando los coeficientes que tienen el mismo factor literal en ambos lados de
2.4. Coeficientes Indeterminados 83
la igualdad, se tiene ⎧
⎪
⎪ 2A2 + bA1 + cA0 = a0
⎪
⎪
⎪
⎪
⎪
⎪ 6A3 + 2bA2 + cA1 = a1
⎨
..
⎪ .
⎪
⎪
⎪ An−1 + bnAn = an−1
⎪
⎪
⎪
⎪
⎩ cA = a .
n n
y ′′ + by ′ = a0 + a1 x + · · · + an xn (2.3)
y ′′ = a0 + a1 x + · · · + an xn , (2.4)
a1 2 an n+1
y ′′ = a0 + a1 x + · · · + an xn ⇐⇒ y ′ = a0 x + x + ··· + x ⇐⇒
2 n+1
a0 2 a1 3 an
y = x + x + ··· + xn+2 .
2 6 (n + 1) (n + 2)
a0 2 a1 3 an n+2 .
Por tanto, yp (x) = 2 x + 6 x + ··· + (n+1)(n+2) x
En resumen, si se tiene una E.D. como (2.2), las soluciones particulares tienen
la forma
⎧
⎪ 2 n
⎨ A0 + A1 x + A2 x + · · · + An x , si c ̸= 0
⎪
yp (x) = A1 x + A2 x2 + · · · + An xn + An+1 xn+1 , si c = 0 y b ̸= 0 (2.5)
⎪
⎪
⎩ A x2 + A x3 + · · · + A n+2 , si b = c = 0.
2 3 n+2 x
3 4
2A2 − [A1 + 2A2 x] − 6 A0 + A1 x + A2 x2 = x2 + x − 1 ⇐⇒
@ABC @ AB C @ AB C
yp′′ yp′ yp
−1 −1 7
cuya solución (usando sustitución hacia atrás) es A2 = 6 , A1 = 9 y A0 = 54 .
7 1 1 2
Ası́, la solución particular tiene la forma yp (x) = 54 − 9 x − 6 x .
Como conclusión, se establece que la E.D. (2.6) tiene una solución particular
de la forma yp (x) = esx u (x), obteniendo a u como una solución particular de
la ecuación (2.7).
Debido a que la ecuación (2.7) tiene la misma forma de (2.5), se hacen las
siguientes consideraciones:
# $
yp (x) = esx A1 x + · · · + An+1 xn+1 .
iii. Si s2 +bs+c y 2s+b son nulas, es decir, s es una raı́z doble de la ecuación
2.4. Coeficientes Indeterminados 87
caracterı́stica, entonces
# $
yp (x) = esx A2 x2 + · · · + An+2 xn+2 .
Nota 2.4.10 Para ii., el hecho que s es una raı́z simple de la ecuación carac-
terı́stica, se sigue de
√
−b ± b2 − 4c 2
s= ⇐⇒ 2s + b = ± b2 − 4c ̸= 0.
@ AB 2 C @ AB C
Simple
Raı́z
4e3x ; esto es
# # $′′ $′ # $
A1 xe3x
− A1 xe3x − 6 A1 xe3x = 4e3x ⇐⇒
# $
3A1 e3x (2 + 3x) − A1 e3x (1 + 3x) − 6 A1 xe3x = 4e3x ⇐⇒
@ AB C @ AB C
(A1 xe3x )′′ (A1 xe3x )′
' # $
y ′′ + 2y ′ + y = ex 2 − x + x2
Ejemplo 2.4.13 Resuelva el P.V.I.
y (0) = 1 y y ′ (0) = 0.
Para resolver el problema de valor inicial, se requiere primero encontrar la
# $
solución general de la E.D. y ′′ + 2y ′ + y = ex 2 − x + x2 . Teniendo en cuen-
ta que la ecuación caracterı́stica asociada a la ecuación es m2 + 2m + 1 =
0 ⇐⇒ (m + 1)2 = 0; se tiene una raı́z doble m1,2 = −1. Como s = 1 no
coincide con las raı́ces de la ecuación caracterı́stica y el polinomio del término
no homogéneo es de orden dos, entonces la forma de la solución particular es
# $
yp (x) = ex A0 + A1 x + A2 x2 . Llevando esta solución a la E.D. se encuentran
los valores de las constantes A0 = 98 , A1 = −3
4 y A2 = 14 .
Reuniendo los resultados obtenidos anteriormente, la solución general de la
ecuación diferencial está dada por
% &
−x −x x 9 3 1 2
y (x) = C1 e + C2 xe +e − x+ x .
8 4 4
obtienen de
% &
9 3 1
y (0) = 1 ⇐⇒ C1 e−(0) + C2 (0) e−(0) + e(0) − (0) + (0)2 = 1 ⇐⇒
8 4 4
9 −1
C1 + = 1 ⇐⇒ C1 = y
8 8 % &
) * 9 3 1
y ′ (0) = 0 ⇐⇒ −C1 e−(0) + C2 e−(0) − (0) e−(0) + e(0) − (0) + (0)2
8 4 4
% &
3 1 9 3 −1
+e(0) − + (0) = 0 ⇐⇒ −C1 + C2 + − = 0 ⇐⇒ C2 = .
4 2 8 4 2
#9 $
Luego, la solución del P.V.I. es y (x) = − 18 e−x − 12 xe−x + ex 8 − 34 x + 14 x2 .
# $
y ′′ + by ′ + cy = a0 + a1 x + a2 x2 + · · · + an xn sen βx, (2.9)
teniendo en cuenta que para el caso de las expresiones que contienen coseno
se realiza un proceso similar. El método para encontrar la solución particular,
consiste en llevar la ecuación (2.9) a la forma de la ecuación (2.8).
0 1
Para esto, tenga en cuenta que sen βx = Im eiβx por la fórmula de Euler;
por tanto la ecuación 2.9 puede expresarse como
# $ D E
y ′′ + by ′ + cy = a0 + a1 x + a2 x2 + · · · + an xn Im eiβx (2.10)
D# $ E
= Im a0 + a1 x + a2 x2 + · · · + an xn eiβx .
con b, c ∈ R, entonces
u′′ + bu′ + cu = f1 y
v ′′ + bv ′ + cv = f2 .
# $
y ′′ + by ′ + cy = a0 + a1 x + a2 x2 + · · · + an xn eiβx , (2.11)
entonces
# $
u (x) = Re {yp (x)} = A0 + A1 x + A2 x2 + · · · + An xn cos βx y
# $
v (x) = Im {yp (x)} = A0 + A1 x + A2 x2 + · · · + An xn sen βx.
# $
y ′′ + by ′ + cy = a0 + a1 x + a2 x2 + · · · + an xn cos βx,
## $ $′′ # $
A1 x + A2 x2 e3ix + 9 A1 x + A2 x2 e3ix = xe3ix ⇐⇒
# $ # $
2A2 + 6iA1 + 12iA2 x − 9A1 x − 9A2 x2 e3ix + 9 A1 x + A2 x2 e3ix = xe3ix ⇐⇒
2A2 + 6iA1 + 12iA2 x = x.
'
2A2 + 6iA1 = 0 1
De donde se obtiene el sistema cuya solución es A1 = 36
12iA2 = 1
−1
y A2 = 12 i. Luego,
% &
1 1 2 3ix
yp (x) = x − ix e
36 12
% &
1 1 2
= x − ix (cos 3x + i sen 3x)
36 12
% & % 2 &
x x2 −x x
= cos 3x + sen 3x + i cos 3x + sen 3x .
36 12 12 36
−x2 x
Ası́, la solución particular buscada es Im {yp (x)} = 12 cos 3x + 36 sen 3x.
3 4 3 4
−4A0 e2ix − 4 2iA0 e2ix − 12 A0 e2ix = e2ix ⇐⇒
@ AB C @ AB C @ AB C
yp′′ yp′ yp
1 1
de donde surge −4A0 − 8iA0 − 12A0 = 1 ⇐⇒ A0 = − 20 + 40 i. Luego,
% &
1 1
yp (x) = − + i e2ix
20 40
% &
1 1
= − + i (cos 2x + i sen 2x)
20 40
% & % &
cos 2x sen 2x cos 2x sen 2x
= − + +i − ,
20 40 40 20
0 1
Debido a que ex cos 2x = Re e(1+2i)x , entonces la solución particular de
la ecuación dada, esta ligada a la parte real de la solución particular de la
ecuación diferencial y ′′ − 4y ′ − 12y = e(1+2i)x . Como la ecuación caracterı́stica
tienen raı́ces m1 = 6 y m2 = −2 (ver el ejemplo anterior) que no coinciden con
el valor de s = 1 + 2i, entonces se asume una solución particular de la forma
yp (x) = A0 e(1+2i)x . Después de calcular yp′ y yp′′ y sustituirlos en la ecuación
−1
y ′′ − 4y ′ − 12y = e(1+2i)x se obtiene que A0 = 377 (19 − 4i). De donde
−1 −1
yp (x) = (19 − 4i) e(1+2i)x = (19 − 4i) ex (cos 2x + i sen 2x)
377 377
−1 x 1 x
= e (19 cos 2x + 4 sen 2x) − ie (−4 cos 2x + 19 sen 2x) .
377 377
n
L
′′ ′
y + by + cy = pj (x) eαj x (2.12)
j=1
es decir,
′′ ′
yp,j + byp,j + cyp,j = pj (x) eαj x para j = 1, 2, . . . , n
94 2. Ecuaciones de Segundo Orden
n
<
entonces dada yp (x) = yp,j (x) se tiene que
j=1
n
L
yp′′ + byp′ + cyp = pj (x) eαj x ⇐⇒
j=1
⎛ ⎞′′ ⎛ ⎞′ ⎛ ⎞
n
L n
L n
L n
L
⎝ yp,j (x)⎠ + b ⎝ yp,j (x)⎠ + c ⎝ yp,j (x)⎠ = pj (x) eαj x ⇐⇒
j=1 j=1 j=1 j=1
n
L n
L n
L n
L
′′ ′
yp,j (x) + byp,j (x) + cyp,j (x) = pj (x) eαj x ⇐⇒
j=1 j=1 j=1 j=1
n
L n
L
3 ′′ ′
4
yp,j (x) + byp,j (x) + cyp,j (x) = pj (x) eαj x ,
j=1 j=1
Ejercicio 2.4.20 Determine soluciones particulares yp,1 (x) y yp,2 (x) para las
ecuaciones y ′′ −y ′ −2y = ex cos x y y ′′ −y ′ −2y = (x + 1) e−3x respectivamente;
después compruebe que la suma éstas yp (x) = yp,1 (x) + yp,2 (x), es solución
particular de y ′′ − y ′ − 2y = ex cos x + (x + 1) e−3x .
a) y ′′ + y ′ = x3 . d) y ′′ + y = e−x − ex + ex cos x.
b) y ′′ + 2y ′ + 2y = e−x cos x +
e) y ′′ + y ′ − 6y = sen x + xe2x .
ex sen x.
c) y ′′ + 4y ′ + 8y = xe−2x cos x. f ) y ′′ + y = cos x cos 2x.
1
Ayuda: Para 1f use la identidad cos α cos β = 2 cos (β − α) +
1
2 cos (α + β).
a) y ′′ + 3y ′ + 2y = 6. d) y ′′ + 4y = 3 sen 2x.
b) y ′′ + 4y ′ + 4y = x2 − 2x. e) y ′′ + y = 2x sen x.
c) y ′′ − y ′ = −3. f ) y ′′ − 2y ′ + 4y = 6xe2x .
ex +e−x
Ayuda: Para 3b, recuerde que cosh x = 2 .
'
y ′′ + 4y = g (x)
4. Resuelva el problema de valor inicial
y (0) = 1, y ′ (0) = 2.
'
π
sen x, 0 ≤ x ≤ 2
donde g (x) =
0, x > π2 .
Ayuda: Resuelva el problema considerando los dos intervalos de defini-
ción de g y encuentre una solución tal que y y y ′ sean continuas en
x = π/2.
96 2. Ecuaciones de Segundo Orden
# $
y ′′ + by ′ + cy = D2 + bD + c [y] = f (x) ; (2.13)
(D − m1 ) (D − m2 ) [y] = f (x) ,
con m1 + m2 = −b y m1 m2 = c.
(D − m1 ) [u] = f (x) y
(D − m2 ) [y] = u (x) .
2.5. Variación de Parámetros 97
1) y ′′ + 2y ′ = e2x . 2) y ′′ + 2y ′ + y = x2 + 2 cos x.
y ′′ + by ′ + cy = f (x) , (2.1)
en la ecuación (2.1),
3 4
u′1 y1′ + u1 y1′′ + u′2 y2′ + u2 y2′′ + b u1 y1′ + u2 y2′ + c [u1 y1 + u2 y2 ] = f ⇐⇒
3 ′′ 4 3 4
y1 + by1′ + cy1 u1 + y2′′ + by2′ + cy2 u2 + u′1 y1′ + u′2 y2′ = f ⇐⇒
@ AB C @ AB C
0 0
u′1 y1′ + u′2 y2′ = f . (2.3)
Nota 2.5.1 Es bien sabido que un sistema de ecuaciones tiene única solución,
si el determinante de la matriz de coeficientes es distinto de cero, y en este
caso, la matriz de coeficientes coincide con la matriz Wronskiana de y1 y y2 ,
lo que genera un determinante distinto de cero (¿por qué?).
Aplicando la Regla de Cramer para el sistema (2.4) se tiene que las soluciones
para u′1 y u′2 son:
7 7
7 0 y 7
7 2 7
7 7
7 f y2′ 7 y2 f
u′1 = =− y
W [y1 , y2 ] W [y1 , y2 ]
7 7
7 y 0 7
7 1 7
7 ′ 7
7 y1 f 7 y1 f
u′2 = = .
W [y1 , y2 ] W [y1 , y2 ]
2.5. Variación de Parámetros 99
Nota 2.5.5 Observe que la forma del término no homogéneo (sec x) hace que
en el ejemplo anterior, no pueda utilizarse el método de coeficientes indeter-
minados.
ex
Ejemplo 2.5.7 Determine la solución general de la E.D. y ′′ − 2y ′ + y = x2 +1
.
En este caso, la solución general de la E.D. homogénea asociada es yh (x) =
C1 ex + C2 xex . Además, se asume (por el método de variación de parámetros)
que la solución particular tiene la forma yp (x) = u1 (x) ex + u2 (x) xex . Para
determinar a u1 y u2 , primero se calcula el Wronskiano de ex y xex ; esto es
7 7
7 ex xex 7
x x 7 7
W [e , xe ] = 7 7 = e2x (x + 1) − xe2x = e2x ,
7 ex ex (x + 1) 7
'
ex
y ′′ − 2y ′ + y = x2 +1
Ejemplo 2.5.8 Encuentre la solución del P.V.I.
y (0) = −1 y y ′ (0) = 1.
Teniendo en cuenta que la solución general, de acuerdo con el ejemplo anterior
es:
1 # $
y (x) = C1 ex + C2 xex − ex ln x2 + 1 + xex arctan x,
2
2.5. Variación de Parámetros 101
y (0) = −1 ⇐⇒
1 ) *
C1 e0 + C2 (0) e0 − e0 ln (0)2 + 1 + (0) e0 arctan 0 = −1 ⇐⇒
2
C1 = −1
y
% ) * &
′ 0 0 1 0 2 2 (0)
y (0) = 1 ⇐⇒ C1 e + C2 e (0 + 1) − e ln (0) + 1 +
2 (0)2 + 1
1
+e0 arctan 0 + (0) e0 arctan 0 + (0) e0 2 = 1 ⇐⇒
(0) + 1
C1 + C2 = 1 ⇐⇒ C2 = 2.
# $
Por lo tanto, la solución del P.V.I. es y (x) = −ex + 2xex − 12 ex ln x2 + 1 +
xex arctan x.
Nota 2.5.10 Aunque en los ejemplos anteriores se usó la fórmula (2.5) para
determinar a u1 y u2 , no se recomienda aprender esta fórmula de memoria, y
más bien utilizar las siguientes fórmulas equivalentes
7 7
7 0 y 7
7 2 7
7 7
7 f y2′ 7
u′1 = y
W [y1 , y2 ]
7 7
7 y 0 7
7 1 7
7 ′ 7
7 y f 7
1
u′2 =
W [y1 , y2 ]
a) y ′′ + y = tan x. d) y ′′ + 5y ′ + 6y = sen ex .
1
b) y ′′ + 3y ′ + 2y = 1+ex . e) y ′′ − 2y ′ + y = ex sec x.
√
c) y ′′ − y = senh 2x. f ) 4y ′′ − 4y ′ + y = ex/2 1 − x2 .
cos
√x sen
√ x forman un conjunto
3. Si las funciones y1 (x) = x
y y2 (x) = x
fun-
# $
damental de soluciones para la ecuación x2 y ′′ + xy ′ + x2 − 14 y = 0
en el intervalo (0, ∞), determine la solución general de la ecuación no
# $ √
homogénea x2 y ′′ + xy ′ + x2 − 14 y = x3 .
a) y ′′ − 5y ′ + 6y = g (x). b) y ′′ + 4y = g (x).
dn y dn−1 y dn−2 y dy
+ an−1 (x) + an−2 (x) + · · · + a1 (x) + a0 (x) y = g (x) ,
dxn dxn−1 dxn−2 dx
(2.1)
asumiendo que las funciones aj = aj (x) con j = 0, 1, . . . , n − 1 y g = g (x)
son continuas en un intervalo I que contiene a x = x0 . Si además se adhieren
las condiciones iniciales y (x0 ) = y0 , y ′ (x0 ) = y1 , . . . , y (n−1) (x0 ) = yn−1 ; se
obtiene el problema de valor inicial
'
dn y d n−1y d yn−2 dy
dxn + an−1 (x) dx n−1 + an−2 (x) dxn−2 + · · · + a1 (x) dx + a0 (x) y = g (x)
Nota 2.6.1 El P.V.I. anterior tiene única solución, de acuerdo con el teorema
de existencia y unicidad para sistemas de ecuaciones diferenciales de primer
orden y del hecho que cualquier ecuación diferencial de orden superior, puede
escribirse como un sistema de ecuaciones de primer orden.
dn y dn−1 y dn−2 y dy
L [y] (x) = n
+ an−1 (x) n−1
+ a n−2 (x) n−2
+ · · · + a1 (x) + a0 (x) y
dx dx dx dx
= Dn y + an−1 (x) Dn−1 y + · · · + a1 (x) Dy + a0 (x) D0 y,
dn y dn−1 y dn−2 y dy
n
+ an−1 n−1
+ an−2 n−2
+ · · · + a1 + a0 y = g (x) , (2.2)
dx dx dx dx
donde aj ∈ R para j = 0, 1, . . . , n − 1.
Siguiendo con el mismo enfoque de la sección (2.2), primero se determina la
solución general de la E.D. homogénea asociada a (2.2), o sea,
dn y dn−1 y dn−2 y dy
n
+ an−1 n−1
+ an−2 n−2
+ · · · + a1 + a0 y = 0. (2.3)
dx dx dx dx
Además,
y ′ (0) = 0 ⇐⇒ 2C1 e2(0) + C2 e2(0) + 2C2 (0) e2(0) + 2C3 (0) e2(0)
+2C3 (0)2 e2(0) = 0 ⇐⇒ 2C1 + C2 = 0 ⇐⇒ C2 = −2.
Por último,
y ′′ (0) = −1 ⇐⇒ 4C1 e2(0) + 4C2 e2(0) + 4C2 (0) e2(0) + 2C3 e2(0)
+8C3 (0) e2(0) + 4C3 (0)2 e2(0) = −1 ⇐⇒ 4C1 + 4C2 + 2C3 = −1 ⇐⇒
3
C3 = .
2
# $
6A3 + 24A4 x + 60A5 x2 ex = x2 ex .
1
y por tanto, A3 = 0, A4 = 0 y A5 = 60 . Luego, la solución particular buscada
1 5 x
es yp (x) = 60 x e .
1 5 x
Ejercicio 2.6.7 Compruebe que la función yp (x) = 60 x e , es solución de
la ecuación y ′′′ − 3y ′′ + 3y ′ −y = x2 ex . Después, escriba la solución general de
la E.D. y ′′′ − 3y ′′ + 3y ′ −y = x2 ex .
(n)
Al reemplazar yp , yp′ , yp′′ , . . ., yp en la ecuación diferencial (2.2), se genera la
ecuación
(n−1) (n−1)
u′1 y1 + u′2 y2 + · · · + u′n yn(n−1) = g.
Además, 7 7
7 7
7 1 cos x sen x 7
7 7
7
W [y1 , y2 , y3 ] = 7 0 − sen x cos x 7 = 1.
7
7 7
7 0 − cos x − sen x 7
Ası́,
7 7
7 7
7 0 cos x sen x 7
7 7
7 0 − sen x cos x 7
7 7
7 7
7 tan x − cos x − sen x 7
u′1 = = tan x ⇐⇒
, 1
u1 = tan xdx = − ln |cos x| .
De manera análoga,
7 7
7 7
7 1 0 sen x 7
7 7
7 0 0 cos x 7
7 7
7 7
7 0 tan x − sen x 7
u′2 = = − sen x ⇐⇒
, 1
u2 = − sen xdx = cos x,
112 2. Ecuaciones de Segundo Orden
y por último,
7 7
7 7
7 1 cos x 0 7
7 7
7 0 − sen x 0 7
7 7
7 7
7 0 − cos x tan x 7 sen2 x
u′3 = =− ⇐⇒
1 cos x
,
sen2 x
u3 = − dx = sen x − ln |sec x + tan x| .
cos x
1. Compruebe que las funciones dadas son soluciones de las E.D. Además,
determine el Wronskiano del conjunto de funciones.
a) y ′′′ − y ′′ = ln x. c) y ′′′ + y ′′ + y ′ + y = x1 .
b) y ′′′ + 4y ′ = sec 2x.
1
7. Dado que las funciones y1 (x) = x, y2 (x) = x2 y y3 (x) = x son soluciones
de la ecuación x3 y ′′′ + x2 y ′′ − 2xy ′ + 2y = 0; encuentre una solución
particular para la E.D. x3 y ′′′ + x2 y ′′ − 2xy ′ + 2y = 2x4 .
114 2. Ecuaciones de Segundo Orden
Capı́tulo 3
3.1. Introducción
∞
L
y (x) = an xn = a0 + a1 x + a2 x2 + a3 x3 + · · · + an xn + · · · ,
n=0
115
116 3. Soluciones por Series
<∞ n−1
<∞ n−1 ,
Nota 3.1.1 Observe que n=1 nan x equivale a n=0 nan x la dife-
rencia entre las dos series radica en que la segunda serie incluye al cero como
su primer término; mientras la primera serie no lo hace.
Sustituyendo y y y ′ en la E.D.,
∞
L ∞
L
(1 + x) nan xn−1 + an xn = 0 ⇐⇒
n=1 n=0
∞
L L∞ L∞
nan xn−1 + x nan xn−1 + an xn = 0 ⇐⇒
n=1 n=1 n=0
∞
L L∞ L∞
nan xn−1 + nan xn + an xn = 0.
n=1 n=1 n=0
∞
L ∞
L ∞
L
nan xn−1 + nan xn + an xn = 0 ⇐⇒
n=1 n=1 n=0
∞
L L∞ L∞
(n + 1) an+1 xn + nan xn + an xn = 0 ⇐⇒
n=0 n=0 n=0
@ AB C
m=n−1
∞
L
[(n + 1) an+1 + nan + an ] xn = 0 ⇐⇒
n=0
3.1. Introducción 117
∞
L
[(n + 1) (an+1 + an )] xn = 0.
n=0
<∞ n−1
<∞
Nota 3.1.2 La suma n=1 nan x se rescribió como n=0 (n + 1) an+1 xn
haciendo el cambio de variables m = n − 1 ⇐⇒ n = m + 1, con el fin
de homogenizar los factores literales en todas las sumas. Además, se tuvo
en cuenta que el ı́ndice de la suma es una variable muda y por tanto puede
escribirse nuevamente en términos del ı́ndice n.
<∞
De la igualdad n=0 [(n + 1) (an+1 + an )] xn = 0, se concluye que la única
forma para que ésta se cumpla, es si se tiene que cada coeficiente de la serie
es cero, o sea,
Si n = 0 : a1 = −a0
Si n = 1 : a2 = −a1 = (−1)2 a0
Si n = 2 : a3 = −a2 = (−1)3 a0
Si n = 3 : a4 = −a3 = (−1)4 a0
..
.
De donde se concluye que la serie converge para |x| < 1 ⇐⇒ −1 < x < 1.
En los puntos terminales del intervalo, se tienen las series de términos con-
< <∞ < <∞
stantes ∞ n
n=0 (−1) (−1) =
n
n=0 (−1)
2n
y ∞ n
n=0 (−1) (1) =
n n
n=0 (−1) ,
las cuales divergen por el criterio de las series alternadas.
a0
Ası́, la solución de la E.D. es y (x) = 1+x y aplica en el intervalo −1 < x < 1.
Ejercicio 3.1.3 Utilice el método del factor integrante para ecuaciones linea-
C
les y compruebe que la solución de (x + 1) y ′ +y = 0 está dada por y (x) = 1+x .
'
(x + 1) y ′ + y = 0
Ahora suponga que se tiene el P.V.I. y se quiere deter-
y (0) = 2
minar su solución mediante series. Anteriormente se encontró la solución de
< 3 4
la E.D. como y (x) = a0 ∞ n n 2 3
n=0 (−1) x = a0 1 − x + x − x + · · · ; como la
serie converge en −1 < x < 1, entonces la condición inicial puede aplicarse
! "
para tal serie y ası́, y (0) = 2 implica que a0 1 − (0) + (0)2 − (0)3 + · · · =
2 ⇐⇒ a0 = 2. Por tanto, la solución para el problema de valor inicial es
2
y (x) = 1+x .
<∞ n
Ejemplo 3.1.5 Determinar una solución de la forma y (x) = n=0 an x ,
para la E.D. xy ′ + y = 0.
<∞ n
<∞
Dado que se asumió que y (x) = n=0 an x , entonces y ′ (x) = n=1 nan x
n−1
∞
L ∞
L ∞
L ∞
L
n−1 n n
x nan x + an x = 0 ⇐⇒ nan x + an xn = 0 ⇐⇒
n=1 n=0 n=1 n=0
L∞ L∞ L∞
nan xn + an xn = 0 ⇐⇒ [nan − an ] xn = 0,
n=0 n=0 n=1
∞
< ∞
< ∞
<
(−1)n n (x−3)n (2x+1)n
a) n x . c) n3 . e) n2 .
n=1 n=1 n=1
<∞ <∞ <∞
5n n
b) n! x . d) n
(n+2)2
(x − 4)n . f ) n!
nn (x − 1)n .
n=0 n=1 n=1
<∞ n−1
<∞ n
3. Dada la ecuación n=1 nan x +2 n=0 an x = 0,
∞
L f (n) (c)
(x − c)n ,
n!
n=0
1
a) y = cos2 x usando cos2 x = 2 (1 + cos 2x).
x −e−x
b) y = senh x usando senh x = e 2 .
+ dx
c) y = arctan x usando 1+x 2.
122 3. Soluciones por Series
2x d
3 # $4
d) y = x2 +1
usando dx ln x2 + 1 .
a) y ′ + x3 y = 0. c) (x − 2) y ′ + y = 0.
b) (1 + x) y ′ − 2y = 0.
∞
< (−1)n
7. La función definida por la serie de potencias y (x) = 22n (n!)2
x2n
n=0
converge para todo x. Muestre que esta función es solución de la E.D.
xy ′′ + y ′ + xy = 0.
∞
<
8. Suponga que la serie de potencias an (x − 4)n converge en −2 y di-
n=0
verge en 13. ¿Puede la serie converger en 11?
a) 2xy ′ − y = 0. b) x2 y ′ + y = 0. c) x3 y ′ = 2y.
Nota 3.2.1 Observe que la ecuación (3.1) puede escribirse en forma equiva-
lente como
y ′′ + P (x) y ′ + Q (x) y = 0. (3.2)
n! = xn+1 y n! = β(n+1)(−1)
xn+2 ; las derivadas para P y Q no pueden
evaluarse en x = 0. Por lo tanto P y Q no son analı́ticas en x = 0 y ası́, x = 0
es un punto singular. Por último, como las definiciones de puntos ordina-
rios y puntos singulares son excluyentes, entonces se concluye que el conjunto
{x ∈ R : x ̸= 0} es el conjunto de puntos ordinarios para la Ecuación de Euler.
124 3. Soluciones por Series
Debido a que las condiciones iniciales están dadas para x = 2, se asume una
<
solución en serie de la forma y (x) = ∞ n
n=0 an (x − 2) ; sin embargo esta elec-
ción de la serie complica el trabajo algebraico con los coeficientes de la E.D.,
ya que las cantidades variables de los coeficientes deben agruparse con los
factores (x − 2). Para suplir esta dificultad, se expresan los coeficientes de la
E.D. en términos de x − 2; es decir,
# $
x − x2 = x (1 − x) = − (x − 2 + 2) (x − 2 + 1)
= − (x − 2)2 − 3 (x − 2) − 2 y
6x = 6 (x − 2 + 2) = 6 (x − 2) + 12.
dy dy du dy dy
= · ⇐⇒ =
dx @ ABdxC
du dx du
Regla de la Cadena
5 6
d2 y d dy d2 y du d2 y
= = · = 2
dx2 dx dx du2 dx du
# $
x2 − 1 y ′′ + 4xy ′ + 2y = 0 alrededor del punto ordinario x = 0. Además
determine el radio de convergencia que se puede garantizar para la solución.
<∞ n ′
<∞ n−1 y y ′′ (x) =
Sea y (x) = n=0 an x , entonces y (x) = n=1 nan x
<∞ n−2 .
n=2 n (n − 1) an x
Sustituyendo en la E.D.,
∞ ∞ ∞
# $L L L
x2 − 1 n (n − 1) an xn−2 + 4x nan xn−1 + 2 an xn = 0 ⇐⇒
n=2 n=1 n=0
∞
L ∞
L ∞
L ∞
L
n (n − 1) an xn − n (n − 1) an xn−2 + 4 nan xn + 2 an xn = 0 ⇐⇒
n=2 n=2 n=1 n=0
@ AB C
n→n+2
∞
L ∞
L ∞
L ∞
L
n (n − 1) an xn − (n + 2) (n + 1) an+2 xn + 4 nan xn + 2 an xn = 0.
n=0 n=0 n=0 n=0
< <∞
En el proceso anterior se cambió ∞ n
n=2 n (n − 1) an x por n=0 n (n − 1) an x
n
<∞ <
y n=1 nan xn por ∞ n
n=0 nan x , ya que ésto no afecta los coeficientes de la
suma porque en n = 0 y n = 1 los coeficientes son cero.
Escribiendo los términos de la última igualdad por medio de una sola suma,
∞
L
[n (n − 1) an − (n + 2) (n + 1) an+2 + 4nan + 2an ] xn = 0 ⇐⇒
n=0
∞
L
[(n (n − 1) + 4n + 2) an − (n + 2) (n + 1) an+2 ] xn = 0 ⇐⇒
n=0
∞
L
[(n + 2) (n + 1) an − (n + 2) (n + 1) an+2 ] xn = 0.
n=0
De donde,
(n + 2) (n + 1) an − (n + 2) (n + 1) an+2 = 0 ⇐⇒
an+2 = an : Relación de recurrencia.
3.2. Puntos Ordinarios 127
Si n = 0 : a2 = a0
Si n = 1 : a3 = a1
Si n = 2 : a4 = a2 = a0
Si n = 3 : a5 = a3 = a1
Si n = 4 : a6 = a4 = a0
Si n = 5 : a7 = a5 = a1
..
.
∞
L
y (x) = an xn = a0 + a1 x + a2 x2 + a3 x3 + a4 x4 + a5 x5 + · · ·
n=0
= a0 + a1 x + a0 x2 + a1 x3 + a0 x4 + a1 x5 + · · ·
# $ # $
= a0 1 + x2 + x4 + · · · + a1 x + x3 + x5 + · · · .
∞
L
2 4
y1 (x) = 1 + x + x + · · · = x2n y
n=0
L∞
y2 (x) = x + x3 + x5 + · · · = x2n+1 .
n=0
1 x
Ejercicio 3.2.12 Muestre que las funciones y1 (x) = 1−x2 y y2 (x) = 1−x2
son linealmente independientes.
# $ # $
y (x) = a0 1 + x2 + x4 + · · · + a1 x + x3 + x5 + · · · .
Sólo falta, para usar las condiciones iniciales, y en especial y ′ (0) = −1, el valor
3.2. Puntos Ordinarios 129
# $ # $
y ′ (x) = a0 2x + 4x3 + 6x5 + · · · + a1 1 + 3x2 + 5x4 + · · · .
y (0) = 2 ⇐⇒
# $ # $
a0 1 + 02 + 04 + · · · + a1 0 + 03 + 05 + · · · = 2 ⇐⇒
a0 = 2 y
y ′ (0) = −1 ⇐⇒
) * ) *
a0 2 (0) + 4 (0)3 + · · · + a1 1 + 3 (0)2 + · · · = −1 ⇐⇒
a1 = −1.
# $ # $
y (x) = 2 1 + x2 + x4 + · · · − x + x3 + x5 + · · ·
L∞ L∞
2n 2 x
= 2 x − x2n+1 = 2
− .
n=0 n=0
1 − x 1 − x2
∞
L ∞
L
n (n − 1) an xn−2 + (x + 1) an xn = 0 ⇐⇒
n=2 n=0
@ AB C
n→n+2
130 3. Soluciones por Series
∞
L ∞
L ∞
L
(n + 2) (n + 1) an+2 xn + an xn+1 + an xn = 0.
n=0 n=0 n=0
<∞
Como el término n=0 an xn+1 no puede homogenizarse (¿por qué?) con las
demás sumas, se procede a separar los primeros términos de las sumas para la
homogenización, es decir,
∞
L ∞
L ∞
L
2a2 + (n + 2) (n + 1) an+2 xn + an xn+1 + a0 + an xn = 0 ⇐⇒
n=1 n=0 n=1
@ AB C @ AB C
n→n+1 n→n+1
∞
L ∞
L ∞
L
2a2 + a0 + (n + 3) (n + 2) an+3 xn+1 + an xn+1 + an+1 xn+1 = 0 ⇐⇒
n=0 n=0 n=0
∞
L
2a2 + a0 + [(n + 3) (n + 2) an+3 + an + an+1 ] xn+1 = 0.
n=0
De donde
a0
2a2 + a0 = 0 ⇐⇒ a2 = − y
2
an + an+1
(n + 3) (n + 2) an+3 + an + an+1 = 0 ⇐⇒ an+3 = − .
(n + 3) (n + 2)
a1 + a0
Si n = 0 : a3 = −
6
a1 + a2 2a1 − a0
Si n = 1 : a4 = − =−
4·3 24
a2 + a3 a1 + 4a0
Si n = 2 : a5 = − =
5·4 120
a3 + a4 2a1 + a0
Si n = 3 : a6 = − =−
6·5 240
..
.
∞
L
y (x) = an xn = a0 + a1 x + a2 x2 + a3 x3 + a4 x4 + · · ·
n=0
% & % &
a0 2 a1 + a0 3 2a1 − a0
= a0 + a1 x − x − x − x4
2 6 24
% & % &
a1 + 4a0 2a1 + a0
+ x5 − x6 + · · ·
120 240
% &
x2 x3 x4 x5 x6
= a0 1 − − + + − + ···
2 6 24 30 240
% &
x3 x4 x5 x6
+a1 x − − + − + ··· .
6 12 120 120
2 3 4 5 6
Ejercicio 3.2.16 Muestre que las series y1 (x) = 1− x2 − x6 + x24 + x30 − 240
x
+· · ·
x3 x4 x5 x6
y y2 (x) = x − 6 − 12 + 120 − 120 + · · · son linealmente independientes.
∞
> ∞
?> ∞
? ∞
L L x2n+1 L L
n (n − 1) an x n−2
− (−1)n nan x n−1
+3 an xn = 0.
(2n + 1)!
n=2 n=0 n=1 n=0
es decir,
∞
L
n (n − 1) an xn−2 = 2a2 + 6a3 x + 12a4 x2 + 20a5 x3 + 30a6 x4 + · · · ,
n=2
> ∞
?> ∞ 5 ? 6
L x2n+1
n
L x3 x5
n−1
(−1) nan x = x− + − · · · [a1 + 2a2 x
n=0
(2n + 1)! n=1
3! 5!
% &
1
+3a3 x + 4a4 x + · · · ] = a1 x + 2a2 x + − a1 + 3a3 x3
2 3 2
6
% & % & % &
1 4 1 1 5 1 2
+ − a2 + 4a4 x + a1 − a3 x + a2 − a4 x6 + · · · ,
3 120 2 60 3
<∞ n
Teniendo en cuenta que n=0 an x = a0 +a1 x+a2 x2 +a3 x3 +a4 x4 +a5 x5 +· · · ,
al asociar los términos con el mismo factor literal, de acuerdo con las sumas
de la ecuación; resulta
3 1 1 1
a2 = − a0 , a3 = − a1 , a4 = − a2 = a0 ,
2 3 12 8
1 1 1 1
a5 = − a1 y a6 = a4 − a2 = a0 , . . .
120 30 90 48
<
Dado que se asumió una solución de la forma y (x) = ∞ n
n=0 an x , entonces
∞
L
y (x) = an xn
n=0
= a0 + a1 x + a2 x2 + a3 x3 + a4 x4 + a5 x5 + a6 x6 + · · ·
3 1 1 1 1
= a0 + a1 x − a0 x2 − a1 x3 − a0 x4 − a1 x5 + a0 x6 + · · ·
% 2 3 8 & 120
% 48 &
3 2 1 4 1 6 1 3 1 5
= a0 1 − x + x + x + · · · + a1 x − x − x + ··· .
2 8 48 3 120
3.2. Puntos Ordinarios 133
En virtud del resultado de la página 124, esta función forma la solución general
de la E.D.
∞
L
[(n + 2) (n + 1) an − (n + 2) (n + 1) an+2 ] xn = 0;
n=0
(n + 2) (n + 1) an − (n + 2) (n + 1) an+2 = 0 ⇐⇒ an+2 = an ,
debido a que la suma solamente se anula si cada coeficiente es cero. Sin embargo
para la ecuación no homogénea, el coeficiente de x2 es 1 y ası́ para resolver
# 2 $
x − 1 y ′′ + 4xy ′ + 2y = x2 , se considera adicionalmente esta información. Es
decir,
para x0 (equiv. n = 0) : a2 = a0 .
Para x1 (equiv. n = 1) : a3 = a1 .
1 1
Para x2 (equiv. n = 2) : 12a2 − 12a4 = 1 ⇐⇒ a4 = a2 − = a0 − .
12 12
Para x3 (equiv. n = 3) : a5 = a3 = a1 .
134 3. Soluciones por Series
1
Para x4 (equiv. n = 4) : a6 = a4 = a0 − .
12
Para x5 (equiv. n = 5) : a7 = a5 = a1 .
1
Para x6 (equiv. n = 6) : a8 = a6 = a0 − .
12
..
.
y (x) = a0 + a1 x + a2 x2 + a3 x3 + a4 x4 + a5 x5 + a6 x6 + a7 x7 + a8 x8 + · · ·
% & % &
2 3 1 4 5 1
= a0 + a1 x + a0 x + a1 x + a0 − x + a1 x + a0 − x6
12 12
% &
1
+a1 x7 + a0 − x8 + · · ·
12
# $ # $
= a0 1 + x2 + x4 + x6 + x8 + · · · + a1 x + x3 + x5 + x7 + · · ·
1 # 4 $
− x + x6 + x8 + · · · .
12
a) y ′′ − xy = 0 : Ecuación de Airy.
# $
b) x2 y ′′ + xy ′ + x2 − n2 y = 0 : Ecuación de Bessel de orden n.
3.2. Puntos Ordinarios 135
# $
c) 1 − x2 y ′′ −2xy ′ +n (n + 1) y = 0 : Ecuación de Legendre de orden
n.
d) y ′′ + (a + b cos ωx) y = 0 : Ecuación de Mathieu.
e) y ′′ − 2xy ′ + λy = 0 : Ecuación de Hermite.
# $
a) x2 − 1 y ′′ + 2xy ′ + 2xy = 0. b) y ′′ + x2 y ′ + x2 y = 0.
a) y ′′ − ex y ′ = 0. b) y ′′ + (cos x) y = 0.
a) y ′′ − xy = 1. b) y ′′ − 4xy ′ − 4y = ex .
y ′′ + xy ′ + y = 1 + x.
# $
1 − x2 y ′′ − 2xy ′ + α (α + 1) y = 0, (3.3)
<∞ m
m=0 cm x , está dada por
(α − m) (α + m + 1)
cm+2 = cm , para m = 0, 1, 2, . . .
(m + 1) (m + 2)
α (α − 2) · · · (α − 2m + 2) (α + 1) · · · (α + 2m − 1)
c2m = (−1)m c0 y
(2m)!
(α − 1) · · · (α − 2m + 1) (α + 2) · · · (α + 2m)
c2m+1 = (−1)m c1 .
(2m + 1)!
N
L (−1)n (2n − 2k)!
Pn (x) = xn−2k , (3.4)
2n k! (n − k)! (n − 2k)!
k=0
∞
L ∞
L ∞
L
x2 n (n − 1) an xn−2 − 3x nan xn−1 + 4 an xn = 0 ⇐⇒
n=2 n=1 n=0
@ AB C @ AB C @ AB C
y ′′ y′ y
∞
L ∞
L ∞
L
n (n − 1) an xn − 3nan xn + 4an xn = 0 ⇐⇒
n=0 n=0 n=0
∞
L
[n (n − 1) an − 3nan + 4an ] xn = 0.
n=0
De donde se obtiene,
{x ∈ R : x ̸= −1, x ̸= 0, x ̸= 1} .
2
lı́m (x + 1) P (x) = lı́m (x + 1) = −1 y
x→−1 x→−1 x2 (1 − x2 )
−2
lı́m (x + 1)2 Q (x) = lı́m (x + 1)2 3 = 0.
x→−1 x→−1 x (1 − x2 )
Nota 3.3.4 La herramienta del lı́mite también puede usarse cuando se tienen
puntos singulares del tipo complejo.
# $ # $
x2 y ′′ +x p0 + p1 x + p2 x2 + p3 x3 + · · · y ′ + q0 + q1 x + q2 x2 + q3 x3 + · · · y = 0.
x2 y ′′ + p0 xy ′ + q0 y ≈ 0;
la cual es la ecuación de Euler - Cauchy (ver página 74), cuyas soluciones están
condicionadas por la raı́ces de la ecuación
r 2 − (p0 − 1) r + q0 = 0; (3.4)
y son de la forma
y1 (x) = xr1 y y2 (x) = xr2 ,
para r1 ̸= r2 y de la forma
∞
L ∞
L
y (x) = xr an xn = an xn+r .
n=0 n=0
142 3. Soluciones por Series
Nota 3.3.6 El Método de Frobenius garantiza que son precisamente las series
<
como y (x) = xr ∞ n
n=0 an x , aquellas que garantizan las soluciones en cercanı́a
de los puntos singulares regulares.
∞
L ∞
L
2x (n + r) (n + r − 1) an xn+r−2 − (n + r) an xn+r−1
n=0 n=0
L∞ ∞
L
+2 an xn+r = 0 ⇐⇒ 2 (n + r) (n + r − 1) an xn+r−1
n=0 n=0
∞
L ∞
L
− (n + r) an xn+r−1 + 2an xn+r = 0 ⇐⇒
n=0 n=0
> ∞ ∞ ∞
?
L L L
xr 2 (n + r) (n + r − 1) an xn−1 − (n + r) an xn−1 + 2an xn = 0 ⇐⇒
n=0 n=0 n=0
> ∞ ∞
?
L L
xr (n + r) (2n + 2r − 3) an xn−1 + 2an xn = 0 ⇐⇒
n=0 n=0
⎡ ⎤
⎢ L∞ ∞
L ⎥
⎢ ⎥
r⎢ −1
x ⎢r (2r − 3) a0 x + (n + r) (2n + 2r − 3) an xn−1
+ n⎥
2an x ⎥ = 0 ⇐⇒
⎣ n=1 ⎦
@ AB C n=0
n→n+1
> ∞
?
L
r −1 n
x r (2r − 3) a0 x + [(n + r + 1) (2n + 2r − 1) an+1 + 2an ] x = 0.
n=0
3.3. Puntos Singulares 143
r (2r − 3) a0 = 0 y
−2an
an+1 = , para n = 0, 1, 2, . . .
(n + r + 1) (2n + 2r − 1)
−2an
an+1 = , para n = 0, 1, 2, . . .
(2n + 5) (n + 1)
−2
si n = 0 : a1 = a0 .
5
−2 (−2)2
Si n = 1 : a2 = a1 = a0 .
2·7 2·5·7
−2 (−2)3
Si n = 2 : a3 = a2 = a0 .
3·9 2·3·5·7·9
−2 (−2)4
Si n = 3 : a4 = a3 = a0 .
4 · 11 2 · 3 · 4 · 5 · 7 · 9 · 11
..
.
(−2)n
Continuando el proceso iterativo se concluye que an = a0
n! · 5 · 7 · · · (2n + 3)
para n ≥ 1.
Por lo tanto, una solución de la E.D. es
> ∞
?
L (−2)n a0
y1 (x) = x3/2 a0 + xn
n! · 5 · 7 · · · (2n + 3)
n=1
> ∞
?
L (−2)n
= a0 x3/2 1+ xn .
n=1
n! · 5 · 7 · · · (2n + 3)
144 3. Soluciones por Series
Nota 3.3.9 Observe en el proceso anterior que, a pesar que se tiene a la con-
stante a0 en cada una de las soluciones, éstas representan cantidades diferentes
ya que resultan de trabajar con dos relaciones de recurrencia distintas, a saber:
−2an 3
an+1 = , para n = 0, 1, 2, . . . (tomando r = ) y
(2n + 5) (n + 1) 2
−2an
an+1 = , para n = 0, 1, 2, . . . (tomando r = 0).
(n + 1) (2n − 1)
r (2r − 3) a0 = 0.
∞
L
y (x) = (x − x0 )r an (x − x0 )n , con a0 ̸= 0; (3.5)
n=0
xP (x) = p0 + p1 x + p2 x2 + · · · y
x2 Q (x) = q0 + q1 x + q2 x2 + · · ·
146 3. Soluciones por Series
<∞ <∞
Si se asume a y (x) = xr n=0 an x
n = n=0 an x
n+r como solución, entonces
∞
L
′
y (x) = (n + r) an xn+r−1 y
n=0
L∞
y ′′ (x) = (n + r) (n + r − 1) an xn+r−2 .
n=0
∞
L ∞
L
(n + r) (n + r − 1) an xn+r−2 + P (x) (n + r) an xn+r−1
n=0 n=0
@ AB C @ AB C
y ′′ y′
∞
L
+Q (x) an xn+r = 0 ⇐⇒
n=0
@ AB C
y
3 4
r (r − 1) a0 xr−2 + (1 + r) ra1 xr−1 + · · · + P (x) ra0 xr−1 + (1 + r) a1 xr + · · ·
3 4
+Q (x) a0 xr + a1 xr+1 + · · · = 0.
3 4
r (r − 1) a0 xr−2 + (1 + r) ra1 xr−1 + · · · + xP (x) ra0 xr−2 + (1 + r) a1 xr−1 + · · ·
3 4
+x2 Q (x) a0 xr−2 + a1 xr−1 + · · · = 0.
Como el término de menor grado es xr−2 y su coeficiente debe ser nulo, en-
3.3. Puntos Singulares 147
tonces
r (r − 1) a0 + p0 ra0 + q0 a0 = 0 ⇐⇒ [r (r − 1) + p0 r + q0 ] a0 = 0.
r (r − 1) + p0 r + q0 = 0, ya que a0 ̸= 0. (3.6)
Bajo los supuestos del teorema de Frobenius (página 3.3), es decir, asumiendo
que x = x0 es un punto singular regular de la E.D. y ′′ + P (x) y ′ + Q (x) y = 0,
entonces si las raı́ces de la ecuación indicativa r1 y r2 son distintas y no
difieren en un entero, o sea que para r1 > r2 tales que r1 − r2 = N con N ∈
/ Z;
148 3. Soluciones por Series
∞
L
y1 (x) = (x − x0 )r1 an (x − x0 )n con a0 ̸= 0 y
n=0
L∞
y2 (x) = (x − x0 )r2 bn (x − x0 )n con b0 ̸= 0.
n=0
∞
L
r1
y1 (x) = (x − x0 ) an (x − x0 )n con a0 ̸= 0 y
n=0
∞
L
r2
y2 (x) = Cy1 (x) ln |x| + (x − x0 ) bn (x − x0 )n ,
n=0
a0
Si n = 0 : a2 = .
1·2
a1
Si n = 1 : a3 = .
2·3
a2 a0
Si n = 2 : a4 = = .
3·4 4!
a3 a1
Si n = 3 : a5 = = .
4·5 5!
a4 a0
Si n = 4 : a6 = = .
5·6 6!
..
.
a0 a1
De donde se concluye que a2n = (2n)! y a2n+1 = (2n+1)! .
Por lo tanto, la solución de la E.D. es
∞
L 3 4
y (x) = xr an xn = xr a0 + a1 x + a2 x2 + a3 x3 + a4 x4 + · · ·
n=0
! a0 a1 a0 "
−1
= x a0 + a1 x + x2 + x3 + x4 + · · ·
> ∞ 2! 3! 4! ?
L 1 L∞
1
= x−1 a0 x2n + a1 x2n+1 .
n=0
(2n)! n=0
(2n + 1)!
<∞ 1 2n
Ejercicio 3.3.16 Muestre que las series de potencias n=0 (2n)! x y
<∞ 1 2n+1 son convergentes para x > 0.
n=0 (2n+1)! x
Nota 3.3.18 No está de más mencionar que en el caso que la raı́z más pequeña
no genere dos soluciones, la fórmula de reducción de orden proporciona una
alternativa para formar la solución general.
(−1)n a0
Resolviendo la relación de recurrencia se obtiene que an = (n!)2
y una
3.3. Puntos Singulares 151
solución de la E.D. es
∞ ∞
0
L (−1)n n
L (−1)n
y1 (x) = a0 x x = a0 xn .
n=0 (n!)2 n=0 (n!)2
<∞ (−1)n n
Para determinar una segunda solución, sea y1 (x) = n=0 (n!)2 x y usando
+ +
la fórmula de reducción de orden (página 77) y2 (x) = y1 (x) y12 e− p(x)dx dx
1
se obtiene,
, + ,
dx
1 − dx
y2 (x) = y1 (x) y12
e x dx = y1 (x) )
1
*2
x 1−x+ x2 − 1 2 x3 + 1 2 x4 +···
(2!)2 (3!) (4!)
,
dx
= y1 (x) )
3 5 35 4
*
x 1−2x+ 2 x2 − 9 x3 + 288 x +···
, % &
1 5 23 2563 4
= y1 (x) 1 + 2x + x2 + x3 − x + · · · dx
x 2 9 288
, % &
5 23 2 2563 3
= y1 (x) ln |x| + y1 (x) 2+ x+ x − x + · · · dx
2 9 288
% &
5 2 23 3 2563 4
= y1 (x) ln |x| + y1 (x) 2x + x + x − x + ···
4 27 1152
% &
1 2 1 3 1 4
= y1 (x) ln |x| + 1 − x + x − x + x + ···
(2!)2 (3!)2 (4!)2
% &
5 2 23 3 2563 4
· 2x + x + x − x + ···
4 27 1152
3 11 3 9745 4 8317 5
= y1 (x) ln |x| + 2x − x2 + x − x + x + ···
4 108 3456 3456
a) x2 y ′′ + (cos x) y ′ + xy = 0.
# $
b) x (1 + x) y ′′ + 2y ′ + 1 − x2 y = 0.
c) xy ′′ + x2 y ′ + (ex − 1) y = 0.
152 3. Soluciones por Series
# $ # $
d) 6x2 + 2x3 y ′′ + 21xy ′ + 9 x2 − 1 y = 0.
e) y ′′ + (ln |x|) y ′ + 3xy = 0.
f ) x2 y ′′ + 2 (ex − 1) y ′ + (e−x cos x) y = 0.
# $
2. Para la E.D. x4 y ′′ x2 sen x y ′ + (1 − cos x) y = 0, determine la natu-
raleza del punto x = 0.
# $
2x2 y ′′ + xy ′ − 3 − 2x2 y = 0.
a) 4xy ′′ + 8y ′ + xy = 0. b) xy ′′ − y ′ + 4x2 y = 0.
5. Encuentre los primeros tres términos no nulos de cada una de las dos
soluciones linealmente independientes en Serie de Frobenius para la E.D.
2x2 y ′′ + (sen x) y ′ − (cos x) y = 0.
<∞
y (x) = (x − 1)r n=0 an (x − 1)n , correspondientes al exponente de sin-
gularidad más grande.
x (1 − x) y ′′ + [γ − (α + β + 1) x] y ′ − αβy = 0,
(α + n) (β + n)
an+1 = an para n ≥ 0.
(γ + n) (1 + n)
a) xy ′′ + (3 − x) y ′ − y = 0. c) x (1 − x) y ′′ − 3y ′ + 2y = 0.
b) xy ′′ + (5 + 3x) y ′ + 3y = 0.
a) xy ′′ + y ′ − xy = 0. c) x2 y ′′ + x2 y ′ − 2y = 0.
# $ # $
b) x2 y ′′ + x2 − 3x y ′ + 4y = 0. d) x2 y ′′ + 2x2 − 3x y ′ + 3y = 0.
# $
x2 y ′′ + xy ′ + x2 − α2 y = 0 ⇐⇒ (3.1)
y′ x2 − α2
y ′′ + + y = 0,
x x2
<∞
n=0 (n + r − 1) (n + r) an xn+r−2 en (3.1), al simplificar se obtiene lo sigui-
ente:
3 4 ! "
(r − 1) r + r − α2 a0 xr + (r + 1)2 − α2 a1 xr+1
∞ )!
L " *
+ (n + r + 2)2 − α2 an+2 + an xn+r+2 = 0.
n=0
r 2 − α2 = 0, siempre que a0 ̸= 0.
−a0
Si n = 0 : a2 = .
22
−a1
Si n = 1 : a3 = 2 = 0.
3
−a2 −a0
Si n = 2 : a4 = 2 = 2 2 .
4 2 4
−a3
Si n = 3 : a5 = 2 = 0.
5
156 3. Soluciones por Series
−a4 a0
Si n = 4 : a6 = 2
= 2 2 2.
6 2 4 6
..
.
∞
L (−1)n a0 2n
y (x) = 2x ,
n=0
22n (n!)
∞
L (−1)n 2n 1 1 1 6 1
J0 (x) = 2x = 1 − x2 + x4 − x + x8 + · · · .
2n
2 (n!) 4 64 2304 147456
n=0
(−1)n
Por otro lado, como an = 22n (n!)2
, entonces al aplicar el criterio de Cauchy
(para determinar el intervalo de convergencia de la serie) se obtiene que,
7 7
7 27 7 7 7 7
7x 7 lı́m 7 an+1 7 = 7x2 7 lı́m 1
= 0 < 1 para todo x > 0.
7
x→∞ an 7 x→∞ 22 (n + 1)2
x2 y ′′ + xy ′ + x2 y = 0. (3.3)
∞
L ∞
L
y2 (x) = J0 (x) ln x+x cn xn = J0 (x) ln x+ bn xn , con bn = cn−1 y n ≥ 1.
n=0 n=1
∞
J0 (x) L
y2′ (x) = J0′ (x) ln x + + nbn xn−1 y
x n=1
∞
2J ′ (x) J0 (x) L
y2′′ (x) = J0′′ (x) ln x + 0 − + n (n − 1) bn xn−2 .
x x2
n=2
∞
L
x2 J0′′ (x) ln x + 2xJ0′ (x) − J0 (x) + n (n − 1) bn xn
n=2
@ AB C
x2 y2′′
∞
L ∞
L
+ xJ0′ (x) ln x + J0 (x) + nbn xn + x2 J0 (x) ln x + bn xn+2 = 0 ⇐⇒
n=1 n=1
@ AB C @ AB C
xy2′ x 2 y2
∞
L ∞
L ∞
L
2xJ0′ (x) + n (n − 1) bn x +n n
nbn x + bn xn+2 = 0 ⇐⇒
n=2 n=1 n=1
∞ ∞ ! "
L (−1)n 2n L
2 x 2n 2
+ b1 x + 2 b2 x + 2
(n + 3)2 bn+3 + bn+1 xn+3 = 0.
n=1 22n (n!)2 n=0
158 3. Soluciones por Series
De donde se concluye que b1 = 0, ya que no hay otro término (al lado izquierdo)
con factor literal x.
Rescribiendo la última igualdad,
∞ ∞ ! "
L (−1)n 2n L 2
−x2 + 2 x2n
+ 22
b2 x2
+ (n + 3) bn+3 + bn+1 x
n+3
= 0;
n=2 22n (n!)2 n=0
1
de donde se consigue que b2 = 22
.
< ∞ (−1)n 2n 2n
Observe también que la serie n=2 22n (n!)2 x contiene solamente términos
pares en x; por lo cual para los términos impares se usa únicamente la serie
<∞ ! 2
"
n=0 (n + 3) bn+3 + bn+1 xn+3 . Veamos.
Para x3 o n = 0 : 32 b3 + b1 = 0 ⇐⇒ b3 = 0.
Para x5 o n = 2 : 52 b5 + b3 = 0 ⇐⇒ b5 = 0.
Para x7 o n = 4 : 72 b7 + b5 = 0 ⇐⇒ b7 = 0.
..
.
Para x2m−1 o n = 2m : (2m − 1)2 b2m−1 + b2m−3 = 0 ⇐⇒ b2m−1 = 0.
En general,
% &
(−1)n+1 1 1 1 (−1)n+1 Hn
b2n = + + ··· + + 1 = .
22n · (n!)2 n n−1 2 22n · (n!)2
n
L 1
Hn = .
k
k=1
∞
L (−1)n+1 Hn
y2 (x) = J0 (x) ln x + 2 x2n , para todo x > 0.
n=1
22n (n!)
∞
L (−1)n+1 Hn
2 x2n ,
n=1 22n · (n!)
converge para todo x > 0 y con ésto, concluya que y2 también converge para
todo x > 0.
γ = lı́m Hn − ln n ≈ 0.5772156649.
n→∞
Observe de las gráficas 3.1 y 3.2 que cuando x → 0, se tiene que J0 (x) → 1 y
Y0 (x) → −∞. Por lo tanto, J0 y Y0 son linealmente independientes y ası́; la
solución general de la ecuación de Bessel es
4
La motivación y las razones por las cuales se define la función de esta forma están lejos
del objetivo de estas notas. Sin embargo, pueden consultarse en el texto de E.T. Copson
titulado “An Introduction to the Theory of Functions of a Complex Variable”
3.4. Introducción a la Ecuación de Bessel 161
Ejercicio 3.4.6 P.C. Utilice el código (de Maple) dado a continuación, para
verificar geométricamente que cada raı́z de J0 (x) está entre dos ceros con-
secutivos de Y0 (x). ¿Qué se puede decir de las raı́ces de Y0 con respecto a
J0 (x)?
> plot({BesselJ(0,x),BesselY(0,x)},x=0..50,y=-1..1,
axes=normal,tickmarks=[2,2],color=black);
−an
an+2 = , para n ≥ 0. (3.5)
(n + 2) (n + 2α + 2)
Además, recuerde que a1 = 0 según la ecuación (??); por lo cual los términos
a2n+1 = 0 para n ≥ 1. Resolviendo la relación de recurrencia para los términos
pares,
−a0 −a0
Si n = 0 : a2 = = 2 .
2 · (2α + 2) 2 · (α + 1)
−a2 −a2
Si n = 2 : a4 = = 3
(2 + 2) (2 + 2α + 2) 2 · (α + 2)
−1 −a0 a0
= 3
· 2 = 4 .
2 · (α + 2) 2 · (α + 1) 2 · 2 · (α + 1) (α + 2)
−a4 −a4
Si n = 4 : a6 = = 2
(4 + 2) (4 + 2α + 2) 2 · 3 · (α + 3)
−1 a0
= ·
22 · 3 · (α + 3) 24 · 2 · (α + 1) (α + 2)
−a0
= .
26 · 3! · (α + 1) (α + 2) (α + 3)
−a6 −a6
Si n = 4 : a8 = = 3
(6 + 2) (6 + 2α + 2) 2 · 2 · (α + 4)
−1 −a0
= ·
23 · 2 · (α + 4) 26 · 3! · (α + 1) (α + 2) (α + 3)
a0
= 8
.
2 · 4! · (α + 1) (α + 2) (α + 3) (α + 4)
..
.
162 3. Soluciones por Series
(−1)n a0
a2n = para n ≥ 1.
22n · n! · (α + 1) (α + 2) · · · (α + n)
Por tanto la solución que se obtiene por el Método de Frobenius para r = α > 0
está dada por
∞
L (−1)n x2n+α
y1 (x) = a0 . (3.6)
22n · n! · (α + 1) (α + 2) · · · (α + n)
n=0
Es decir,
Γ (n + 1) = n! para n ≥ 0.
Nota 3.4.9 Observe que la definición de la función Gamma está dada única-
mente para x > 0. Sin embargo, la propiedad Γ (x + 1) = xΓ (x) permite
definir tal función también para valores negativos, siempre y cuando no sean
enteros. Esto es, si −1 < x < 0, entonces
Γ (x + 1)
Γ (x) = .
x
Note de esta última fórmula que la función Gamma tampoco queda definida
para x = 0. Además, la definición puede extenderse para los demás intervalos
de la forma − (n + 1) < x < −n para n = 1, 2, . . . haciéndolo de manera
recursiva. Por ejemplo, para definir la función Gamma en el intervalo (−3, −2),
debe haberse definido previamente la función en (−2, −1); y la definición en
este intervalo, depende de la definición de la función en (−1, 0).
ya que
Γ (α + 1) (α + 1) (α + 2) · · · (α + n) = Γ (α + 2) (α + 2) (α + 3) · · · (α + n)
= Γ (α + 3) (α + 3) · · · (α + n)
..
.
= Γ (α + n) (α + n) = Γ (α + n + 1) .
∞
L (−1)n ) x *2n+α
Jα (x) = . (3.7)
n=0
n!Γ (α + n + 1) 2
164 3. Soluciones por Series
n (n − 2α) bn + bn−2 = 0 ⇐⇒
−bn−2
bn = , para n ≥ 2.
n (n − 2α)
1
ii. La cantidad α es un múltiplo entero impar de 2. En este caso, basta
tomar bn = 0 para todos los valores impares de n; lo cual genera que
bn−2 = 0. Por otro lado, si 2α no es un entero positivo, se toma bn = 0
para n impar y los coeficienes de ı́ndice par en términos de b0 , usando
la fórmula de recurrencia
−bn−2
bn = , para n ≥ 2.
n (n − 2α)
1
Utilizando la notación de la función Gamma en y2 y haciendo b0 = 2−α Γ(−α+1) ,
se obtiene
∞
L (−1)n ) x *2n−α
J−α (x) = .
n=0
n!Γ (−α + n + 1) 2
Puede verse fácilmente que las funciones Jα (x) y J−α (x) son linealmente
independientes para α fijo (¿por qué?). Por lo tanto, si α no es un entero,
3.4. Introducción a la Ecuación de Bessel 165
Nota 3.4.10 Un par de funciones de Bessel muy especiales, son: J1/2 (x) y
J−1/2 (x). Estas funciones contienen en su fórmula viejas funciones conocidas
y estudiadas. Veamos.
∞
L (−1)n ) x *2n+ 1
2
J1/2 (x) = #1 $
n=0
n!Γ 2 + n + 1 2
R ∞ ) x *2n
xL (−1)n
= #1 $ # $ .
2
n=0
n! 2 + n Γ n + 12 2
# $ 1·3·5···(2n−1) √
Usando la propiedad Γ n + 12 = 2n π,
R ∞
x L (−1)n · 2n+1
J1/2 (x) = x2n
2π n! · 22n · 3 · 5 · · · (2n + 1)
n=0
R ∞
x L (−1)n · 2
= n · 3 · 5 · · · (2n + 1)
x2n .
2π n=0
n! · 2
R ∞ R
2 L (−1)n 2n+1 2
J1/2 (x) = x = sen x.
πx (2n + 1)! πx
n=0
# $ √
Ejercicio 3.4.11 Use la propiedad Γ 12 = π, para mostrar la veracidad la
# $ √
fórmula Γ n + 12 = 1·3·5···(2n−1)
2n π, la cual se utilizó en la deducción anterior.
2) ) x ** n−1
1 L 2n−2m (n − m − 1)! n
Yn (x) = γ − ln Jα (x) − x
π 2 π m=0 m!xn−2m
1 L (−1)m (Hm + Hm+n ) ) x *n+2m
∞
− .
π m! (m + n)! 2
m=0
∞ ∞
L (−1)n x2n−1 · 2n n→n+1
L (−1)n+1 x2n+1 · 2 (n + 1)
J0′ (x) = =
22n · n! · Γ (n + 1) 22n+2 · (n + 1)! · Γ (n + 2)
n=1 n=0
L∞ n
(−1) x2n+1
= − = −J1 (x) .
22n+1 · n! · Γ (n + 2)
n=0
+
Como consecuencia de la identidad anterior, puede afirmarse que J1 (x) dx =
−J0 (x) + C.
3.4. Introducción a la Ecuación de Bessel 167
d α
[x Jα (x)] = xα Jα−1 (x) y (3.9)
dx
d 3 −α 4
x Jα (x) = −x−α Jα+1 (x) . (3.10)
dx
d α
[x Jα (x)] = αxα−1 Jα (x) + xα Jα′ (x) y
dx
d 3 −α 4
x Jα (x) = −αx−α−1 Jα (x) + x−α Jα′ (x) .
dx
2α
Jα+1 (x) = Jα (x) − Jα−1 (x) ;
x
2
J2 (x) = J1 (x) − J0 (x)
x 5 6
4 4 2
J3 (x) = J2 (x) − J1 (x) = J1 (x) − J0 (x) − J1 (x)
x x x
% &
8 4
= − 1 J1 (x) − J0 (x)
x2 x
168 3. Soluciones por Series
5% & 6
6 6 8 4
J4 (x) = J3 (x) − J2 (x) = − 1 J1 (x) − J0 (x)
x x x2 x
5 6
2
− J1 (x) − J0 (x)
x
% & % &
48 8 24
= − J1 (x) − − 1 J0 (x) .
x3 x x2
1
2. Utilice la fórmula de J−α (x) con
(α = 2 y un proceso análogo al empleado
2
en la deducción de J1/2 (x) = πx sen x (página 165), para probar que
(
2
J−1/2 (x) = πx cos x.
+
b) Utilice la identidad x−1 J2 (x) dx = x−1 J1 (x) (de acuerdo con
a.) y la integración por partes; para deducir una fórmula para
+
xJ2 (x) dx en términos de J0 (x) y J1 (x).
+ + # $
Ayuda: Note que xJ2 (x) dx = x2 x−1 J2 (x) dx.
+
c) Calcule en términos de J0 (x) y J1 (x) la integral J3 (x) dx.
7. Muestre que 4Jα′′ (x) = Jα−2 (x) − 2Jα (x) + Jα+2 (x).
170 3. Soluciones por Series
Capı́tulo 4
Análisis Cualitativo,
Perturbativo y Métodos
Numéricos
171
172 4. Análisis Cualitativo, Perturbativo y Numérico
Considere la E.D.
y ′ = f (x, y) (4.1)
∂f
y suponga que f y ∂y son continuas en una región R como en el teorema
de existencia y unicidad; sabiendo que la derivada de una función representa
geométricamente a las pendientes de las rectas tangentes a la curva. En partic-
ular, las curvas solución y = y (x) de la ecuación (4.1), pueden caracterizarse
por la función f = f (x, y) en la región R; ya que para cada punto (x0 , y0 ) ∈ R,
la pendiente de la recta que es tangente a la curva solución y pasa por el punto
(x0 , y0 ) tiene pendiente f (x0 , y0 ), como lo muestra la figura.
Figura 4.1: Relación existente entre las curvas solución y las pendientes de sus
rectas tangentes.
Nota 4.1.3 El código (en Maple) para la construcción del campo de direc-
ciones del ejemplo anterior, está dado a continuación:
> restart:
> with(DEtools):
> with(plots):
> DEplot(diff(y(x),x)=y(x)^2-x^2,y(x),x=-2..2,y=-2..2,color=black,
arrows=LINE,axes=BOXED,dirgrid=[20,20]);
Nota 4.1.4 Observe en el ejemplo anterior, que las curvas solución son cre-
cientes si y ′ > 0 ⇐⇒ y 2 −x2 > 0 y son decrecientes si y ′ < 0 ⇐⇒ y 2 −x2 < 0.
Ası́, las curvas y (x) = ±x dividen el plano xy en regiones que definen el com-
portamiento de crecimiento y decrecimiento de las curvas solución de la E.D.
Nota 4.1.9 Después de haber realizado el ejercicio anterior, observe que las
soluciones de equilibrio, dividen el plano xy en bandas horizontales, que gracias
al teorema de existencia y unicidad, no son alcanzadas por otras soluciones
que se encuentren fuera de la banda.
2. P.C. Trace las curvas solución de las E.D. usando las condiciones iniciales
y (0) = −3, −1, 1, 3; en la región formada por 0 ≤ x ≤ 4 y −4 ≤ y ≤ 4.
Describa las regiones donde las curvas solución son crecientes y decre-
cientes.
a) y ′ + y = 1. c) y ′ + y = x + 1.
b) y ′ + y = x. d) y ′ + y = sen (3x).
'
y ′ = −2y + 3ex
4. P.C. Trace las curvas solución de los P.V.I. donde
y (0) = y0
y0 = −5, −4, . . . , 4, 5 sobre el rectángulo en el plano xy definido por
0 1
(x, y) ∈ R2 : 0 ≤ x ≤ 3, −5 ≤ y ≤ 20 . Describa e interprete lo que se
observa en cada gráfica.
a) yy ′ = −x con y (0) = 1.
−x2
b) y ′ = (y+2)(y−3) con y (0) = 0.
c) 2y ′ + y 3 = 0 con y (0) = −1.
# $
d) 3y 2 − 4 y ′ = 3x2 con y (0) = 0.
Nota 4.2.1 Antes de enunciar el resultado que permite la extensión del in-
tervalo de definición de la solución, recuerde que una función y = y (x) se dice
acotada para x ≥ 0, si existe una constante M ≥ 0 tal que |y (x)| ≤ M para
x ≥ 0.
a continuación.
∂f
Teorema 4.2.2 Suponga que f y ∂y son continuas en un rectángulo cerrado
y
'acotado R. Si (x0 , y0 ) está dentro de R, entonces la curva solución del P.V.I.
y ′ = f (x, y)
puede extenderse hacia atrás y hacia adelante con respecto a
y (x0 ) = y0
x, hasta que toca un lı́mite de R.
Ejemplo
' 4.2.4 Ilustración del Principio de Extensión para el P.V.I.
′ x2
y = y2 −4
y (0) = 0.
Para determinar que tanto puede extenderse la solución y antes de iniciar las
simulaciones, se considera una región R1 acotada y que contenga el punto
x2
(0, 0), correspondiente a la condición inicial. En este caso, la expresión y 2 −4
(en la ecuación diferencial) hace que se tome para y los valores entre −2 y
2 debido a que en y = −2 y y = 2 no aplica el T.E.U. Además, como en
x no hay restricción alguna, puede iniciarse el proceso con la región R1 =
0 1
(x, y) ∈ R2 : −2 ≤ x ≤ 2, ∧, −2 ≤ y ≤ 2 que contiene a la condición inicial.
Sin embargo, la figura 4.3 - izquierda muestra que el intervalo en x puede
extenderse hacia derecha e izquierda. Después de intentarlo varias veces, se
0 1
adopta la región R = (x, y) ∈ R2 : −3 ≤ x ≤ 3, ∧, −2 ≤ y ≤ 2 y se forma un
rectángulo con vértices en los puntos (−2.6, −2), (2.6, −2), (2.6, 2) y (−2.6, 2)
como se muestra en la figura 4.3 - derecha.
178 4. Análisis Cualitativo, Perturbativo y Numérico
Nota 4.2.5 El siguiente código (en Maple) permite reproducir la gráfica 4.3
- derecha presentada anteriormente. Además, las coordenadas asignadas con
el comando polygonplot son las últimas obtenidas a la hora de formar el
rectángulo deseado y después de muchas simulaciones.
> restart:
> with(DEtools):
> with(plots):
> graf ed:=DEplot(diff(y(x),x)=x^2/(y(x)^2-4),y(x),
x=-3..3,[[y(0)=0]],y=-2..2,color=black,linecolor=blue,
stepsize=0.01,arrows=LINE,axes=BOXED,thickness=1,
dirgrid=[20,20]):
> graf cuadro:=polygonplot([[-2.6,-2],[2.6,-2],[2.6,2],[-2.6,2]]):
> display(graf ed,graf cuadro);
Nota 4.2.9 Para obtener las gráficas de esta sección, basta con modificar
ligeramente el código presentado en la nota (4.2.5); especı́ficamente los paráme-
tros correspondientes al comando DEplot.
Como caso particular de los eventos que ocurren a largo plazo para las solu-
ciones del problema (4.1), se considera a continuación el P.V.I. formado por
una E.D. autónoma '
y ′ = f (y)
(4.2)
y (x0 ) = y0 ,
Ejercicio 4.2.11 Observe de la gráfica 4.5, que cada una de las curvas solu-
ción de la E.D. y ′ = y 2 + 1, tienen dos tiempos de escape finito. Por lo cual,
4.2. Comportamiento a Largo Plazo 181
Nota 4.2.12 Realizando un análisis similar, pero tomando f (y) < 0 para
todo y1 < y < y2 , puede deducirse que las curvas solución contenidas en la
banda y1 y2 , son decrecientes y definidas para todo x con
df
Teorema 4.2.15 Suponga que f y dy son continuas para todo y y que y =
y (x) es una solución de la E.D. autónoma y ′ = f (y) que está acotada para
x ≥ 0 (resp. x ≤ 0). Entonces, cuando x → +∞ (resp. x → −∞), y se
aproxima a una solución de equilibrio.
q0
Ejercicio 4.2.22 Discuta qué ocurre con la solución de equilibrio y = p0 en
el teorema anterior si p0 < 0.
Teorema 4.2.23 Suponga que p0 > 0 y que q es una función periódica con-
tinua a trozos con perı́odo T , entonces la E.D. y ′ + p0 y = q (x) tiene una única
solución periódica yp con periodo T cuyo valor inicial es
,T
1
yp (0) = q (s) ep0 s ds.
ep0 T − 1
0
Esta solución atrae a todas las demás soluciones cuando x → ∞; por tanto la
solución yp es un estado estacionario.
1 4 2 1
= cos (4x) + sen (4x) + cos (2x) − sen (2x) ,
17 17 5 2
como lo muestra la figura.
4. Suponga que y = y (x) es una solución (no nula) de y ′ = f (x, y), y que
para alguna constante c > 0, f satisface la desigualdad f (x, y) ≥ cy 2
para toda x ≥ 0 y y ≥ 0. Demuestre que y escapa al infinito en un
tiempo finito.
Ayuda: Suponga que y (0) > 0 y escriba y ′ − cy 2 ≥ 0 como y −2 y ′ − c ≥ 0
# $′
para algún intervalo 0 ≤ x ≤ T . Entonces −y −1 − cx ≥ 0. ¿Qué dice
esto acerca de −y −1 − cx?
'
y ′ = 3y 2/3
5. Considere el P.V.I. y use la propiedad de traslación para
y (x0 ) = 0
contestar las siguientes preguntas:
a) y ′ = (1 − y) (y + 1)2 . c) y ′ = y (y − 1) (y − 2).
# $ 2
b) y ′ = sen y2 . d) y ′ = 3y − yey .
8. P.C. Utilice los campos de direcciones y las isoclinas nulas para trazar
algunas curvas solución de las siguientes E.D.
9. P.C. Invente una E.D. lineal no homogénea que tenga un estado esta-
cionario periódico y muéstrelo mediante una gráfica.
10. Para la E.D. y ′ = f (y), suponga que f (−1) = f (2) = 0 y además que
f (y) > 0 para −1 < y < 2. Esboce el comportamiento (mediante una
gráfica) de la curva solución con condición inicial y (x0 ) = 0.
1
12. Esboce la lı́nea de estado para la E.D. y ′ = (y−2)(y+1) .
4.3. Sensibilidad
M 77 7
|y (x)| ≤ e−p0 x |y0 | + 1 − e−p0 x 7 ,
p0
M
|y (x)| ≤ |y0 | + ,
p0
para toda x ∈ I.
Ejercicio 4.3.5 Pruebe las dos desigualdades del teorema anterior. Para la
segunda desigualdad, utiliceel resultado de la primera desigualdad.
7 7
|y (x)| ≤ e−x + 71 − e−x 7 ≤ e−x + 1 ⇐⇒
# $
− e−x + 1 ≤ y (x) ≤ e−x + 1 para todo x ≥ 0.
,x
z (x) ≤ A + B (x − a) + L z (s) ds para toda x ∈ [a, b] .
a
B ! L(x−a) "
z (x) ≤ AeL(x−a) + e − 1 para toda x ∈ [a, b] .
L
0 1
R = (x, y) ∈ R2 : x0 ≤ x ≤ x0 + a, |y − y0 | ≤ b .
M ! L(x−x0 ) "
|y (x) − yS (x)| ≤ |y0 − yS0 | eL(x−x0 ) +
e − 1 para todo x0 ≤ x ≤ x0 +c;
L
7 7
7 7
y donde M y L son constantes tales que |g (x, y)| ≤ M y 7 ∂f
∂y 7 ≤ L para todo
(x, y) ∈ R.
|sen y + y cos y| ≤ 1 + |y − y0 + y0 | ≤ 2 + y0 = L.
Ası́,
a ! (2+y0 )x "
|y (x) − yS (x)| ≤ |y0 − yS0 | e(2+y0 )x + e − 1 para todo 0 ≤ x ≤ c.
2 + y0
Nota 4.3.13 Otra razón importante por la cual es útil la estimación de la per-
turbación, es que en muchas ocasiones los problemas de valor inicial no tienen
solución explı́cita (como en el ejemplo anterior), y por tanto; la estimación
suministra información que no puede extraerse de la solución analı́tica.
> ecua:=dsolve({diff(y(x),x)=y(x)*sin(y(x)),y(0)=0.5},y(x),
numeric,range=0..1):
> ecua(1/4);
∂f ∂g
Teorema 4.3.15 (Continuidad en los Datos) Suponga que f , ∂y , gy ∂y
son funciones continuas de x e y en el rectángulo
0 1
R = (x, y) ∈ R2 : x0 ≤ x ≤ x0 + a, |y − y0 | ≤ b .
satisfacen la desigualdad
2. Una tina contiene 100 gal de salmuera (agua con sal) en la que hay
disueltas 5 lb de sal. Se agrega salmuera a la tina a una tasa de r gal/ min
con una concentración de c (t) libras de sal por galón. La solución se
mezcla por completo y sale a una tasa de r gal/ min. Por seguridad, la
concentración en la tina nunca debe ser mayor de 0.1 lb/ gal. Suponga
que para t ≥ 0 y algunas constantes positivas r0 , r1 y c0 , que 0 < r0 ≤ r
y 0 ≤ c (t) ≤ c0 . ¿Qué condiciones deben cumplir r0 , r1 y c0 para que la
operación sea segura?
'
−cy
y′ = x
3. P.C. Trace las curvas solución de los P.V.I. , considerando
y (10) = 3
los distintos valores de c y los intervalos dados para x. Explique qué pasa
con la sensibilidad cuando cambia c en el intervalo asignado para x.
M 77 7
|y (x)| ≤ e−p0 x |y0 | + 1 − e−p0 x 7
p0
4.4. Bifurcaciones
dy
= f (y, c) ; (4.1)
dx
figura.
Nota 4.4.9 La curva que contiene las soluciones de equilibrio a medida que
cambia c, la cual fue graficada anteriormente se realiza por la siguiente lı́nea
de comandos en Maple.
> implicitplot(y^2*(y+1)+c=0,c=-2..2,y=-2..1,style=POINT,
axes=BOXED,thickness=2,color=black,numpoints=5000):
4
Nota 4.4.10 Observe de la figura 4.14, que para c < − 27 y c > 0 se tiene so-
4
lamente un equilibrio, mientras que para − 27 < c < 0 se tienen tres equilibrios.
En los valores de bifurcación, se tienen dos equilibrios.
1 bQ Q
b) Utilice las convenciones a = K, b = r yc= a = rK y consiga un
nuevo P.V.I. uniparamétrico
'
y ′ = (1 − y) y + c
(4.4)
y (0) = y0 .
a) y ′ = c − y 2 . c) y ′ = c + 2y + y 2 .
b) y ′ = y (1 − y) + c.
a) y ′ = cos y + c. c) y ′ = y 6 − 2y 4 + c.
y
b) y ′ = y 6 − 2y 3 + c. d) y ′ = y 2 +1
+ c.
a) y ′ = cos y + c. c) y ′ = y 6 − 2y 4 + c.
y
b) y ′ = y 2 +1
+ c.
En esta sección se describe el método numérico más simple de todos los que
existen hasta ahora, llamado Método de Euler o Método de la Recta
Tangente; y fue creado por Leonhard Euler en 1768.
Los métodos numéricos como el de Euler, son importantes para la descripción
cuantitativa de la solución de los problemas de valor inicial, en particular
para ecuaciones diferenciales de primer orden; porque en la mayorı́a de los
casos, tales problemas no son solubles analı́ticamente, y por tanto, las formas
“aproximadas” para la solución constituyen una herramienta de descripción
más que aceptable. Anteriormente, se estudiaron otras formas de aproximar
soluciones tales como: El Método de Picard (Sección 1.8) y el esquema de
los Campos de Pendientes (Sección 4.1). No obstante, el Método de Picard
está condicionado por las integrales que deben resolverse en cada una de sus
iteraciones; y el esquema de los Campos de Pendientes porque no proporciona
información cuantitativa (numérica) acerca de las soluciones. Por lo cual puede
pensarse en el Método de Euler, como una herramienta simple de utilizar
computacionalmente para conseguir valores numéricos de las soluciones de
P.V.I. de primer orden.
4.5. Métodos Numéricos: Euler y Heun 209
∂f
y asuma que f y ∂y son continuas en alguna región R que contiene al pun-
to (x0 , y0 ), de tal manera que la solución del P.V.I. exista y sea única en el
intervalo x0 ≤ x ≤ xn . Ahora, divida el intervalo x0 ≤ x ≤ xn en n subinter-
xn −x0
valos de igual tamaño ∆x = n ; tal partición genera la secuencia de puntos
x0 < x1 < x2 < · · · < xn−1 < xn con la caracterı́stica que xi+1 − xi = ∆x
para todo i = 0, 1, . . . , n − 1. La construcción de la solución aproximada, se
da “paso a paso” desde el punto (x0 , y0 ) hasta el punto (xn , yn ) de manera
iterativa, a través de rectas tangentes y pasando por los puntos intermedios
(x1 , y1 ), (x2 , y2 ), . . ., (xn−1 , yn−1 ); de la forma mostrada en la figura 4.15.
y1 − y0
= f (x0 , y0 ) ⇐⇒ y1 = y0 + ∆x f (x0 , y0 ) .
x1 − x0
la solución en el punto (x0 , y0 ) ya que para puntos cercanos a éste, los valores
que toman la solución y la recta tangente son muy próximos.
y2 − y1
= f (x1 , y1 ) ⇐⇒ y2 = y1 + ∆x f (x1 , y1 ) .
x2 − x1
Nota 4.5.3 Observe en el proceso anterior, que conseguir el punto (xi+1 , yi+1 )
se logra por medio del punto (xi , yi ) para todo i = 0, 1, . . . , n − 1. Por lo cual,
la fórmula recursiva para “programar” el método, se basa en las fórmulas:
xi+1 = xi + ∆x y
yi+1 = yi + ∆x f (xi , yi ) ; para todo i = 0, 1, . . . , n − 1.
i xi yi
0 0 1
1 0.1 0.9
2 0.2 0.82
3 0.3 0.758
4 0.4 0.7122
5 0.5 0.68098
6 0.6 0.662882
7 0.7 0.6565938
8 0.8 0.66093442
9 0.9 0.674840978
10 1 0.6973568802
Nota 4.5.6 El código en Maple para determinar los valores de la tabla ante-
rior es:
> restart:x0:=0:y0:=1:n:=10:delx:=0.1:
> f:=unapply(x-y,x,y):
> x[1]:=x0:y[1]:=y0:
> for i from 1 by 1 to n do
> x[i+1]:=x[i]+delx:
> y[i+1]:=y[i]+delx*(f(x[i],y[i])):
> end do:
Note que hay un desfase en el ı́ndice, ya que Maple no reconoce elementos de
ı́ndice cero. Por lo tanto, x3 = x[4] = 0.3 y y3 = y[4] = 0.758. En Maple, basta
con realizar,
> coorx:=seq(x[i],i=1..n+1):
> coory:=seq(y[i],i=1..n+1):
> plot([seq([coorx[i],coory[i]],i=1..n+1)]);
Dada la concepción del método, debe esperarse que, a medida que se dismin-
uya el tamaño de paso, se mejore la aproximación de la solución. Esto puede
observarse si se enfoca el problema desde otra perspectiva. Veamos.
Si y = y (x) es la solución de (4.1), y si además se asume que ésta tiene una
4.5. Métodos Numéricos: Euler y Heun 213
Figura 4.16: Gráfica generada por las aproximaciones del Método de Euler.
∆2x
y (xn + ∆x ) = y (xn ) + y ′ (xn ) ∆x + y ′′ (xn ) + · · · ⇐⇒
2
∆2
y (xn+1 ) = y (xn ) + f ′ (xn , yn ) ∆x + y ′′ (xn ) x + · · · ⇐⇒
2
∆ 2
yn+1 = yn + f ′ (xn , yn ) ∆x + y ′′ (xn ) x + · · · . (4.2)
2
Método de Euler. Para tener una mejor idea del proceso, note de la figura
4.17, que la pendiente de la recta continua genera una mejor aproximación del
valor de la solución en el punto x = xn .
Al utilizar la fórmula de Euler sobre yn+2 y yn+1 se tiene,
Además,
∗ ∆x
yn+1 = yn + [f (xn , yn ) + f (xn+1 , yn+1 )]
2
∆x
= yn + [f (xn , yn ) + f (xn + ∆x , yn + ∆x f (xn , yn ))] .
2
> f:=unapply(x-y,x,y):
> x[1]:=x0:y[1]:=y0:
> for i from 1 by 1 to n do
> x[i+1]:=x[i]+delx:
> y[i+1]:=y[i]+delx/2*(f(x[i],y[i])+f(x[i+1],y[i]+delx*
> f(x[i],y[i]))):
> end do:
Nota 4.5.10 Observe de la tabla anterior, que los valores generados por el
Método de Heun están más aproximados a la solución exacta, que los valo-
res generados por el Método de Euler. Este hecho también puede observarse
plenamente en la figura 4.18.
dy
a) dx = x − y 2 , y (0) = 1, 0 ≤ x ≤ 1, ∆x = 0.25.
216 4. Análisis Cualitativo, Perturbativo y Numérico
Figura 4.18: Heun (Superior - Cı́rculo), Exacta (Medio - Gris) y Euler (Inferior
- Cruz).
dy
b) dx = y 2 − 2y + 1, y (0) = 2, 0 ≤ x ≤ 2, ∆x = 0.5.
dw
c) dx = (3 − w) (w + 1), w (0) = 4, 0 ≤ x ≤ 5, ∆x = 1.
dy
d) dt = e2/y , y (1) = 2, 1 ≤ t ≤ 3, ∆t = 0.5.
dy
a) dx = x − y 2 , y (0) = 1, 0 ≤ x ≤ 1, ∆x = 0.1.
dy
b) dx = y 2 − 2y + 1, y (0) = 2, 0 ≤ x ≤ 2, ∆x = 0.25.
dy
c) dt = e2/y , y (1) = 2, 1 ≤ t ≤ 3, ∆t = 0.25.
dy
3. P.C. Considere el problema de valor inicial dx = 2 − y con y (0) = 1.
Usando el método de Euler, calcule tres soluciones aproximadas corre-
spondientes a ∆x = 1, ∆x = 0.5 y ∆x = 0.25 sobre el intervalo 0 ≤ x ≤ 4.
Grafique las tres soluciones en el mismo sistema de coordenadas.
dy √
4. P.C. Considere el P.V.I. dx = 5x − 3 y, y (0) = 2. Usando el método de
Heun, calcule tres soluciones aproximadas correspondientes a ∆x = 1,
4.5. Métodos Numéricos: Euler y Heun 217
219
220 Bibliografı́a