Documentos de Académico
Documentos de Profesional
Documentos de Cultura
NDICE GENERAL
1. Introduccin
1.1. Conceptos Bsicos . . . . . . . . . .
1.2. Campos Direccionales . . . . . . . . .
1.3. El Teorema de Existencia y Unicidad
1.4. Ejercicios . . . . . . . . . . . . . . .
2. Ecuaciones de Primer Orden
2.1. Separacin de Variables . . . . .
2.2. Ecuaciones Homogneas . . . . .
2.3. Ecuaciones Lineales . . . . . . . .
2.4. Ecuaciones Exactas . . . . . . . .
2.5. Factores Integrantes . . . . . . .
2.6. Sustituciones diversas . . . . . . .
dy
2.6.1. Ecuaciones de la forma
dx
2.6.2. Ecuaciones de Bernoulli .
2.7. Aplicaciones . . . . . . . . . . . .
2.8. Ejercicios . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1
1
8
10
12
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
= F (ax + by + c)
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
17
17
20
23
25
30
35
35
36
38
47
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
57
57
59
62
64
67
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
constantes
4
3.3. Reduccin de orden . . . . . . . . .
3.4. Ecuaciones no homogneas . . . . .
3.4.1. Variacin de parmetros . .
3.4.2. Coeficientes indeterminados
3.5. Ecuaciones de Cauchy-Euler . . . .
3.6. Aplicaciones . . . . . . . . . . . . .
3.7. Ejercicios . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
72
74
74
77
80
83
91
. . . . .
. . . . .
impulso
. . . . .
. . . . .
. . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
97
97
104
110
115
118
125
5. Solucin en Series
5.1. Series infinitas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.2. Convergencia de series de potencias . . . . . . . . . . . . . . . . . .
5.3. Funciones definidas por series de potencias . . . . . . . . . . . . . .
5.3.1. Problemas bsicos de los desarrollos en series . . . . . . . . .
5.4. Soluciones en series de potencias de ecuaciones diferenciales lineales
5.4.1. Soluciones analticas . . . . . . . . . . . . . . . . . . . . . .
5.4.2. Mtodo de la serie de Taylor . . . . . . . . . . . . . . . . . .
5.4.3. Una ecuacin especial . . . . . . . . . . . . . . . . . . . . .
5.5. Aplicaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.6. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
133
133
135
137
138
147
148
158
161
164
170
4. La Transformada de Laplace
4.1. El operador de Laplace . . . . . . . . . . . . . . .
4.2. Propiedades de la transformada de Laplace . . . .
4.3. Transformada de funciones escalonadas, peridicas
4.4. Convolucin . . . . . . . . . . . . . . . . . . . . .
4.5. Solucin de problemas con valores iniciales . . . .
4.6. Ejercicios . . . . . . . . . . . . . . . . . . . . . .
Bibliografa
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. . .
. . .
y de
. . .
. . .
. . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
177
CAPTULO
1
Introduccin
1.1.
Conceptos Bsicos
En trminos elementales una ecuacin diferencial es una ecuacin que involucra derivadas
de una o ms funciones incgnitas en una o ms variables independientes.
Muchas de las leyes bsicas de las ciencias biolgicas, econmicas, fsicas, y sociales, as
como en las ingenieras desarrollan modelos matemticos para su mejor comprensin, con
frecuencia, estos modelos producen una ecuacin diferencial.
En esta seccin veremos los conceptos bsicos, como la clasificacin de las ecuaciones diferenciales, solucin de una ecuacin diferencial; en la seccin 1.2 los campos direccionales,
en la seccin 1.3 el teorema de existencia y unicidad, y en el captulo 2 veremos las tcnicas
elementales de solucin de una ecuacin diferencial ordinaria de primer orden.
En los siguientes ejemplos se muestra cmo se originan algunas ecuaciones diferenciales.
Ejemplo 1.1.1. Cada libre: Se deja caer un objeto desde una altura (por encima de la
superficie terrestre), el cual est sujeto a la accin de la fuerza de atraccin gravitatoria 1 .
1
Aqu suponemos que la fuerza gravitatoria es la nica que acta sobre el objeto, y que esta fuerza es
constante.
Introduccin
Aplicando al objeto que cae la segunda ley de Newton, la cual establece que la masa de un
v = 2gh, el volumen de agua que sale del tanque por segundo, es Ah 2gh. As, si V (t)
representa al volumen del agua en el tanque en cualquier tiempo t,
p
dV
= Ah 2gh,
dt
donde el signo menos indica que V est disminuyendo4 . Si el tanque es tal que el volumen
del agua en cualquier tiempo t se expresa como V (t) = Aw h, donde Aw es el rea constante
de espejo de agua (la superficie superior), entonces
dV
dh
= Aw .
dt
dt
dV
dh
Igualando estas dos expresiones para
y despejando
llegamos a la ecuacin diferencial
dt
dt
deseada
dh
Ah p
=
2gh.
dt
Aw
Se puede observar que la anterior ecuacin es vlida aun cuando Aw no sea constante. En
este caso se debe expresar el rea de espejo de agua en funcin de h: Aw = A(h).
1
La expresin para v se origina al igualar la energa cintica, mv 2 , con la energa potencial, mgh y
2
despejando v.
4
No se tiene en cuenta la posibilidad de friccin en el agujero, que podra causar una reduccin de la
razn de flujo.
3
Introduccin
Ejemplo 1.1.5. Mezclas: Supongamos que un tanque mezclador contiene V0 galones de
salmuera (sal disuelta en agua). Otra solucin de salmuera se bombea al tanque a razn
de r1 galones por minuto; con una concentracin de c1 libras por galn. La solucin bien
mezclada sale del tanque a razn de r2 galones por minuto.
Si S(t) denota la cantidad de sal (medida en libras) en el tanque al tiempo t, entonces la
S(t)
lb/gal.
V0 + (r1 r2 )t
Si las razones de entrada y salida de la salmuera son iguales, esta cantidad es constante e igual a V0 .
Ejemplo 1.1.6. Circuitos elctricos simples: Consideremos un circuito elctrico simple compuesto por un resistor y un inductor o capacitor en serie con una fuente de fuerza
electromotriz (fem), como se muestran en la figura. Esta fuerza electromotriz E(t) (volts),
producida por una batera o un generador, hace fluir una carga elctrica q(t) (coulombs) y
produce una corriente i(t) (amperes), donde
i(t) =
dq
.
dt
di
.
dt
di
= E(t).
dt
Introduccin
Para el circuito RC
ER + EC E(t) = 0,
o sea
iR +
o
R
q
= E(t),
C
dq
q
+ = E(t).
dt C
dY (t)
dt
= 0,
x y
es una ecuacin diferencial en derivadas parciales de primer orden.
Definicin 1.1.1. En forma general una ecuacin diferencial ordinaria de orden n,
n Z+ , en una variable dependiente, es una ecuacin de la forma
F (x, y, y 0 , y 00 , . . . , y (n) ) = 0,
donde F es una funcin de valor real de n + 2 variables reales, y en la que y (n) =
(1.1)
dn y
.
dxn
Segn la linealidad se dice que una ecuacin diferencial como la (1.1) es lineal si F es
lineal en y, y 0 , y 00 , . . . , y (n) . Es decir que una ecuacin diferencial ordinaria de orden n es
lineal si se puede escribir en la forma
an (x)
dn1 y
dy
dn y
+
a
(x)
+ + a1 (x) + a0 (x)y = g(x).
n1
n
n1
dx
dx
dx
(1.2)
Introduccin
son lineales, mientras que las ecuaciones
yy 0 + xy x + 2 = 0, y y 00 sin y = y,
no son lineales.
Definicin 1.1.2. Una solucin de la ecuacin diferencial (1.1), en un intervalo abierto
I de R, es una funcin y = (x), que posee n derivadas continuas en I, tal que (1.1) se
satisface cuando se reemplazan en ella y sus derivadas. Esto es
F (x, (x), 0 (x), 00 (x), . . . , (n) (x)) = 0, para todo x en I.
Se denomina solucin general de (1.1) a una familia n-paramtrica de funciones definidas
por la ecuacin
(x, y, c1 , c2 , . . . , cn ) = 0.
Una solucin de (1.1) sin parmetros arbitrarios se llama solucin particular, es obtenida por asignacin de valores especficos a los parmetros de una solucin general. Una
solucin que no se obtiene de la solucin general asignndole valores permitidos a los parmetros, se denomina solucin singular. La solucin nula se denomina solucin trivial.
Ejemplo 1.1.9. La ecuacin diferencial
y 00 + y 0 = 0,
tiene como solucin general a
y = c1 + c2 ex ,
con c2 6= 0. Vemos que y = 0 es tambin solucin; si c1 = 0 y c2 = 1, y = ex es una
solucin particular de la ecuacin diferencial, y = 2 define una solucin singular de la
ecuacin diferencial dada.
1.2.
Campos Direccionales
En esta seccin describiremos una forma relativamente sencilla para obtener informacin
sobre la solucin de una ecuacin diferencial.
Consideremos la ecuacin diferencial de primer orden
y 0 = f (x, y),
(1.3)
donde f es una funcin real definida en algn subconjunto abierto del plano. En la seccin
siguiente se dir bajo que condiciones la ecuacin (1.3) tiene solucin nica siempre que se
(1.4)
(1.5)
donde c > 0 es una constante arbitraria, para un valor dado del parmetro c si la grfica de
(1.5) intersecta a una curva solucin de (1.4), en cada punto de la interseccin la pendiente
10
Introduccin
de la recta tangente a la curva solucin es justamente c. Las curvas definidas por (1.5) se
denominan curvas isoclinas de la ecuacin diferencial (1.4). Para todos los puntos de
una de tales curva, las rectas tangentes a las curvas soluciones que la intersectan tienen
igual pendiente (inclinacin). Esto como se dijo anteriormente, permite predecir la forma
de las curvas soluciones de la ecuacin diferencial.
En este ejemplo las isoclinas tiene por ecuacin x2 + y 2 = c. Es decir, son circunferencias
centradas en el origen de coordenadas. La figura 1.6 muestra algunas de ellas.
Las observaciones anteriores ilustran, con un ejemplo especfico, el caso general de la ecuacin diferencial y 0 = f (x, y). El campo direccional de la ecuacin diferencial brinda una
forma de aproximarse a la solucin de tal ecuacin diferencial por medios geomtricos.
1.3.
Frecuentemente nos interesa resolver una ecuacin diferencial sujeta a condiciones impuestas a la funcin incgnita y = y(x) o a sus derivadas. En algn intervalo abierto I que
contenga al nmero x0 , el problema
0
(n)
F (x, y, y , . . . , y ) = 0
= y0
y(x0 )
0
y (x0 )
= y1
(1.6)
..
.. ..
.
. .
y (n1) (x )
=
yn1
0
11
donde y0 , y1 , . . ., yn1 son constantes especificadas, se llama problema de valores iniciales. Los valores dados de la funcin desconocida, y(x) y sus primeras n 1 derivadas
en el punto x0 : y(x0 ), y 0 (x0 ), . . ., y (n1) (x0 ) se llaman condiciones iniciales.
El problema de valor inicial
y0
= f (x, y)
y(x0 ) =
y0
(1.7)
es un caso particular del problema de valores iniciales (1.6), bajo ciertas condiciones dicho
problema tiene solucin nica. En el siguiente teorema se enuncia, sin demostracin, las
condiciones suficientes para la existencia y unicidad de las soluciones de (1.7).
Teorema 1.3.1 (Teorema de existencia y unicidad). Para el problema (1.7). Si f es
una funcin continua en algn conjunto abierto S de R2 para el cual (x0 , y0 ) S, entonces
existe al menos una solucin de (1.7) definida en algn intervalo abierto I R, con x0 I.
f
Si adems,
existe y es continua en S, la solucin del problema (1.7) es nica.
y
12
Introduccin
1.4.
Ejercicios
(b) (y 0 )2 =
y
x
y
=
+ kx
.
t
t
s
(k) x2 y 00 + xy 0 + y = 0.
(c)
(l) yy 00 + x2 y = x.
(a) y 0 = 3y.
(d)
(e)
(f )
(g)
(h)
3x
.
y
p
(y 0 )3 + 1 + (y 0 )2 = 0.
u
u
x
+y
= 5u.
x
y
y 00 2y 0 + y = 0.
2u
2u
u
=
2
.
x2
t2
t
yy 00 2y 0 = x.
"
2 1/3
2 #5/2
du
du
=k 1+
.
2
ds
ds
(i) y 0 = 2ex .
(j)
y 2 y
+ 2 = c.
t
s
2 00
(m) x y + xy 0 + (x2 v 2 )y = 0.
2 2
4v
m
(n)
= kv
.
4
t
n2
(ll)
() (y v )3 y 000 + y 00 y 2 = 0.
(o) sin(y 0 ) + y = 0.
x
(p) y 0 + y = .
y
2. Muestre, en cada caso, que la ecuacin dada define una solucin de la correspondiente
ecuacin diferencial:
dy
3y = 0. Qu sucede para c = 0?
dx
(b) yex = x + 2, de y 0 + y = ex .
(a) cy = x3 , con c 6= 0, de x
2F
F
= 0, siendo G y H funciones
yx
x
de
y 0 = y.
1
de
y 0 + 2y = ex .
(b) y = 2e2x + ex ,
3
x
x
x
00
0
x
(c) y = e cos
,
de
y + y = e cos
.
2
2
(d) y = c1 ex + c2 e2x ,
de
y 00 y 0 2y = 0.
(e) y = 8ex + xex ,
sin x
(f ) y =
,
de
3x
de
y 00 2y 0 + y = 0.
xy 0 + y = cos x.
1.4 Ejercicios
13
1
= 0,
de
y 0 = y tan x.
cos x
3
(h) y =
,
de
y 0 = 3y 2 .
3x + 2
(i) y = 1 + c 1 x2 ,
de
(1 x2 )y 0 + xy = x.
(j) y = 2x 1 x2 ,
de
yy 0 = 4x 8x3 .
(g) y
4. Construya en cada caso una ecuacin diferencial que tenga la solucin pedida y las
caractersticas indicadas:
(a) y = x2 , de orden dos y lineal.
(b) y = x2 , de orden dos y no lineal.
(c) x = et , de orden tres.
(d) y = x + xex , de orden dos, lineal, que aparezcan las derivadas d orden uno y
cero.
5. Demuestre que y(t) = c + de5t define, para valores reales de c y d, una solucin de
la ecuacin diferencial y 00 + 5y 0 = 0. Encuentre los parmetros c y d para los cuales
y(0) = y 0 (0) = 1.
6. Demuestre que una curva plana es una recta no vertical si, y solo si, la pendiente de
la recta tangente no depende del punto (es decir, es constante).
7. La ecuacin diferencial y 0 = x2 + y tiene una familia de soluciones dada por
y = cex x2 2x 2.
(a) Grafique las curvas soluciones para c = 0, 1, 1.
(b) Usando el campo direccional esbozar la forma de las curvas soluciones indicadas
en el item anterior.
(c) Compare las grficas obtenidas en los items anteriores.
8. Con ayuda de un sistema de computo, dibuje el campo direccional y algunas isoclinas,
para cada una de las siguientes ecuaciones diferenciales.
(a) y 0 = x.
(b) y 0 = y.
(c) y 0 = xy.
x
(d) y 0 = .
y
1
(e) y 0 = .
x
(f ) y 0 = x + y.
(g) y 0 = x y.
(h) y 0 = cos x.
(i) y 0 = sin x.
(j) y 0 = tan x.
14
Introduccin
y0
= 2x + y
(a)
y(0) =
0.
x+y
e
0
y
=
(b)
x+y
y(1) =
0.
0
y
= (x y)1/3
(c)
y(1) =
1.
(d)
y0
= |y 1|
y(0) =
1.
(e)
y0
= f (x, y)
donde
y(0) =( 0,
y
, si x 6= 0
f (x, y) =
x
y, si x = 0.
10. Hallar la regin del plano xy en la cual la ecuacin diferencial y 0 = xy tiene una
solucin nica en un punto (x0 , y0 ) de esa regin.
p
11. Dada la siguiente ecuacin diferencial y 0 = 3 y 2 . Averiguar en qu regin:
(a) Tiene ms de una solucin.
(b) Tiene solamente una solucin.
En los problemas del 11 al 23, escriba una ecuacin diferencial que modele matemticamente la situacin que se describe.
12. La aceleracin del automvil Lamborghini es proporcional a la diferencia entre 250
km/h y la velocidad del automvil.
13. La velocidad de una partcula que se mueve a lo largo de una lnea recta es proporcional a la cuarta potencia de su posicin.
14. La tasa de cambio con respecto al tiempo de la velocidad de un bote de motor es
proporcional al cuadrado de ella.
15. La razn de cambio en la temperatura T del caf en el instante t es proporcional a
la diferencia entre la temperatura A del aire en el instante t y la temperatura T del
caf en el instante t.
16. Por un agujero circular de rea Ah , en el fondo de un tanque, sale agua. Debido a
la friccin y a la concentracin de
la corriente de agua cerca del agujero, el flujo de
agua, por segundo, se reduce a cAh 2gh, donde c es el factor de friccin y contraccin
(0<c<1). Deduzca una ecuacin diferencial que exprese la altura h de agua al tiempo
t, que hay en el tanque cbico de la figura 1.7. El radio del agujero es 1 pulgada y
g = 32 pies/seg 2 .
17. El tanque cnico circular de la figura 1.8 pierde agua por un agujero circular en su
fondo. Determine una ecuacin diferencial para describir la altura h del agua en el
tiempo t. El radio del agujero es 3 pulgadas, g = 32 pies/seg 2 , y el factor de friccin
y contraccin es c = 0,5.
1.4 Ejercicios
15
Figura 1.7:
Figura 1.8:
18. Suponga que en un gran tanque de mezclado hay inicialmente 200 galones de agua,
en los que se disolvieron 40 libras de sal. Al tanque entra agua pura con un flujo de
3 gal/seg y, con el tanque bien agitado, sale el mismo flujo. Deduzca una ecuacin
diferencial que exprese la cantidad S(t) de sal que hay en el tanque, al tiempo t.
19. Para el problema anterior, suponga ahora que la solucin salina sale con un flujo de
2 gal/seg en vez de 3 gal/seg, manteniendo el resto igual. Deduzca una ecuacin
diferencial que exprese la cantidad S(t) de sal que hay en el tanque, al tiempo t.
20. Suponga que un gran tanque de mezclado contiene inicialmente 500 galones de agua,
en los que se han disuelto 60 libras de sal. Al tanque entra otra salmuera a razn de
4 gal/min y, estando bien mezclado el contenido en el tanque, salen 5 gal/min. Si la
concentracin de la solucin que entra es 2 lb/gal. Deduzca una ecuacin diferencial
que exprese la cantidad S(t) de sal que hay en el tanque, al tiempo t.
21. Halle la forma que debe tener un espejo curvo para que la luz de un foco, situado en
el origen se refleje en un haz paralelo al eje x (ver figura ??). Por simetra, el espejo
debe tener la forma de una superficie de revolucin obtenida al hacer girar una curva
alrededor del eje x (aplique la ley de reflexin).
22. Cuando un cuerpo se mueve a gran rapidez en el aire (como el del paracaidista que
se ve en la figura 1.9, antes de que se abra el paracadas), la resistencia del mismo se
16
Introduccin
describe mejor con la velocidad instantnea elevada a cierta potencia. Formule una
ecuacin diferencial que relacione la velocidad v(t) del paracaidista de masa m que
cae, si la resistencia del aire es proporcional al cuadrado de la velocidad instantnea.
Figura 1.9:
23. Un objeto cae al vaco con aceleracin constante g. Exprese su velocidad en funcin
de su altura.
24. En el agua flota un barril cilndrico de d pies de dimetro y w libras de peso. Despus
de un hundimiento inicial, su movimiento es oscilatorio, hacia arriba y hacia abajo,
en lnea vertical (ver figura (?)). Deduzca una ecuacin diferencial para determinar el
desplazamiento y(t), si se supone que el origen est en el eje vertical y en la superficie
del agua cuando el barril est en reposo7 . Suponga que la direccin hacia abajo es
positiva, que la densidad del agua es 62,4 lb/pie3 y que no hay resistencia del agua.
Use el principio de Arqumedes, el cual dice que la fuerza de flotacin que ejerce el agua sobre el
barril es igual al peso del agua que desplaza ste.
CAPTULO
2
Ecuaciones de Primer Orden
Como se dijo en el captulo anterior, una ecuacin diferencial ordinaria de primer orden es
de la forma
F (x, y, y 0 ) = 0.
Un caso particular de nuestro inters es la ecuacin diferencial ordinaria de primer orden
de la forma
y 0 = f (x, y),
donde f es una funcin real definida en algn subconjunto abierto del plano xy.
En este captulo estudiaremos algunos mtodos de mayor utilidad para resolver ecuaciones
diferenciales ordinarias de primer orden.
2.1.
Separacin de Variables
g(x)
,
h(y)
18
dy
= g(x).
dx
dy
= g(x),
dx
dy
= G0 (x).
dx
Un procedimiento para resolver ecuaciones separables fue descubierto de manera implcita por Gottfried
Leibniz en 1691. La tcnica explcita llamada separacin de variables fue formalizada por John Bernoulli
en 1694.
19
Z
2ydy =
ex dx + C,
de donde
y 2 = ex + C.
Esta es la solucin general implcita de la ecuacin diferencial dada.
Ejemplo 2.1.2. Resuelva el problema de valor inicial
(
3y
y0
=
x
y(2) = 5.
Por separacin de variables reescribimos la ecuacin diferencial dada como
dy
3dx
=
.
y
x
Integrando a ambos lados obtenemos
ln y = 3 ln x + C,
y tomando exponenciales en ambos lados de la anterior ecuacin, tenemos
y = eC x3 = C1 x3 .
Esta es la solucin general de la ecuacin diferencial.
Como la condicin inicial es y(2) = 5, entonces substituyendo x = 2 y y = 5 en la solucin
general se tiene
5 = C1 (2)3 = 8C1 ,
de donde C1 = 5/8.
As que la nica solucin del problema de valor inicial dado (solucin particular) es
5
y = x3 .
8
20
2.2.
Ecuaciones Homogneas
(2.2)
donde f es una funcin homognea de grado cero. Para los puntos (x, y) S, tales que
y
y
(1, ) S, ensayamos la sustitucin v = . Como la funcin y depende de x, lo mismo
x
x
sucede con la funcin v. Derivando y = vx con respecto a x, tenemos
dv
dy
=v+x .
dx
dx
Sustituyendo en (2.2) obtenemos
v+x
dv
= f (1, v).
dx
dv
= f (1, v) v,
dx
21
dv
dx
=
.
f (1, v) v
x
Ahora es posible obtener la solucin general de esta ltima ecuacin diferencial integrando
y
ambos lados de la ecuacin, luego al sustituir v por se obtiene la solucin general de la
x
ecuacin (2.2).
Ejemplo 2.2.1. Resuelva la ecuacin diferencial
dy
y
=
.
dx
x+y
Si dividimos por x el numerador y el denominador del miembro derecho de la ecuacin se
tiene
y
dy
= xy.
dx
1+
x
El miembro derecho de la anterior ecuacin define una funcin de (x, y) homognea y de
y
grado cero, entonces la sustitucin v = nos lleva a
x
v+x
dv
v
=
,
dx
1+v
1+v
dx
dv = .
2
v
x
Al integrar obtenemos
reemplazando v por
1
+ ln(v) = ln(x) + C,
v
y
obtenemos
x
y
x
+ ln
= ln(x) + C,
y
x
simplificando se tiene
ln(y) =
x
+ C,
y
22
y0
2x3 + y 3
3xy 2
y(1) =
2.
2+
3
y3
x3 .
y2
x2
dv
2 + v3
=
,
dx
3v 2
que es una ecuacin de variables separables, al separar las variables, simplificando, obtenemos
3v 2
2
dv = dx.
3
v 1
x
Integrando,
ln(v 3 1) = 2 ln x + c1 ,
o
ln[(v 3 1)x2 ] = c1 .
De donde
(v 3 1)x2 = ec1 = c,
reemplazando v =
y
se tiene que la solucin general es
x
y 3 x3 = cx.
2.3.
23
Ecuaciones Lineales
(2.3)
a2 (x)
g(x)
y q(x) =
.
a1 (x)
a1 (x)
p(x)dx
p(x)dx 0
y + p(x)e
p(x)dx
y = q(x)e
p(x)dx
R
d R p(x)dx
(e
y) = q(x)e p(x)dx .
dx
Integrando con respecto a x ambos lados de la anterior ecuacin obtenemos
Z
R
R
p(x)dx
e
y = q(x)e p(x)dx dx + C,
y por tanto
y=e
Z
p(x)dx
q(x)e
p(x)dx
dx + C ,
Se dice que e
p(x)dx
p(x)dx,
24
q(x) =
4, 0 x 2,
0, x > 2,
25
resolveremos el problema de valor inicial en dos partes que corresponden a los dos intervalos
en que q est definida.
Para 0 x 2,
dy
2y = 4, y(0) = 0,
dx
el factor integrante es e2x , de modo que
d 2x
e y = 4e2x ,
dx
por lo tanto,
e2x y = 2e2x + C1 ,
de donde se obtiene que
y = 2 + C1 e2x ,
la condicin inicial y(0) = 0, nos da C1 = 2, as se obtiene
y = 2(e2x 1),
0 x 2.
Para x > 2,
dy
2y = 0,
dx
es una ecuacin de variable separable, cuya solucin es
y = C2 e2x ,
por lo anterior escribimos
y=
2(e2x 1), 0 x 2,
C2 e2x ,
x > 2.
Ahora, para que y sea una funcin continua, se necesita que lmx2+ y(x) = y(2). Esto
equivale a C2 e4 = 2(e4 1), o sea C2 = 2(1 e4 ), as la solucin particular del
problema de valor inicial es
2(e2x 1), 0 x 2,
y=
2(1 e4 )
x > 2.
que es continua en [0, ).
2.4.
Ecuaciones Exactas
Consideremos otro tipo de ecuaciones, las cuales, bajo ciertas condiciones, pueden resolverse mediante una tcnica relativamente sencilla.
26
(2.5)
(2.6)
donde df (x, y) es la diferencial total2 de f . Entonces la solucin general de (2.5) (o equivalentemente de (2.6)) es
f (x, y) = C, (x, y) S,
(2.7)
siendo C una constante, en este caso la ecuacin (2.5) se llama ecuacin diferencial
exacta, pues M (x, y)dx + N (x, y)dy es exactamente la diferencial de una funcin de (x, y).
Veamos algunos ejemplos sencillos.
Ejemplo 2.4.1. Considrese la ecuacin
ydx + xdy = 0,
(x, y) R2 .
Ntese que
d(xy) = ydx + xdy,
y por tanto, la ecuacin diferencial se convierte en
d(xy) = 0,
y en consecuencia, su solucin general est dada por
xy = C.
Ejemplo 2.4.2. Analicemos la ecuacin diferencial
ydx xdy
= 0,
y2
2
y 6= 0.
f
x (x, y)dx
f
y (x, y)dy.
27
x
pues
y
x
ydx xdy
d
=
,
y
y2
luego la ecuacin diferencial es equivalente a
x
d
= 0,
y
y 6= 0,
y 6= 0.
Los dos ejemplos anteriores son casos de ecuaciones diferenciales exactas. Determinar que
estas ecuaciones son ecuaciones diferenciales exactas y hallar sus respectivas soluciones
generales ha sido muy fcil pues las frmulas diferenciales que en ellas intervienen nos son
muy familiares.
Pero en general, cmo saber, a priori, si una ecuacin diferencial en la forma (2.5) es
una ecuacin diferencial exacta? y, en caso de serlo, cmo encontrar una funcin f cuya
diferencial sea M (x, y)dx + N (x, y)dy?, lo cual, a menudo, no es evidente.
f
(x, y) = 3x2 y 2 + sin x.
y
Integrando ambos miembros de la primera de las dos ecuaciones anteriores con respecto a
x, obtenemos
f (x, y) = x2 y 3 + y sin x + C(y),
donde C es una funcin de y.3 Derivando sta ltima expresin e igualando con la segunda
de las dos ecuaciones anteriores se tiene
3x2 y 2 + sin x + C 0 (y) = 3x2 y 2 + sin x,
3
28
(2.8)
f
(x, y) = N (x, y),
y
para todo (x, y) S. Derivando con respecto a y la primera de las dos ecuaciones
anteriores y con respecto a x la segunda, obtenemos
M
2f
(x, y) =
(x, y) y
yx
y
2f
N
(x, y) =
(x, y),
xy
x
para todo (x, y) S. Puesto que, por hiptesis, las primeras derivabas parciales de
M y N son continuas, se tiene la igualdad de las derivadas parciales mixtas de f y
en consecuencia, se tiene que
N
M
(x, y) =
(x, y),
y
x
4
(x, y) S.
29
2. Recprocamente, supongamos que la ecuacin (2.8) es vlida y mostremos cmo determinar la funcin f . Como f debe satisfacer
M (x, y) =
f
f
(x, y) y N (x, y) =
(x, y),
x
y
Z
f (x, y) =
f
(x, y)dy =
y
Z
N (x, y)dy + k(x),
(2.10)
0
h (y) = N (x, y)
M (x, y)dx.
y
De donde se obtiene
Z
0
h (y) = N (x, y)
N (x, y)dx.
x
Recordando lo que nos dice el clculo sobre las integrales de lnea, si la regin donde
= x
N (x, y), es simplemente conexa (no contiene huecos), entonces podemos tomar la derivada
parcial bajo el signo integral.
y M (x, y)
30
2.5.
Factores Integrantes
31
x
d
= 0,
y
(2.11)
(2.12)
(x, y)
(x, y)
N (x, y) M (x, y)
M (x, y)
N (x, y)
= (x, y)
.
y
x
x
y
(2.13)
Se obtiene una solucin general, pero no necesariamente todas las soluciones. En este caso la ecuacin
original, tiene a la solucin trivial como una solucin singular.
7
La teora general de factores integrantes fue desarrollada por Alexis Clairaut en 1739.
32
M (x, y) N (x, y)
d(x)
y
x
= (x)
(2.14)
,
dx
N (x, y)
donde
M (x, y) N (x, y)
y
x
N (x, y)
M (x, y) N (x, y)
Z
y
x
(x) = exp
dx
N (x, y)
para la ecuacin (2.11).
Segundo caso Supongamos que la ecuacin (2.11) tiene un factor integrante que slo
depende de y; es decir = (y). En este caso, la ecuacin (2.13) se reduce a la
ecuacin de variables separables
N
(x,
y)
M
(x,
y)
d(y)
x
y
,
(2.15)
= (y)
dy
M (x, y)
donde
N (x, y) M (x, y)
x
y
M (x, y)
N (x, y) M (x, y)
Z
x
y
(y) = exp
dy
M (x, y)
para la ecuacin (2.11).
33
Tercer caso Supongamos que la ecuacin (2.11) tiene un factor integrante que slo depende del producto xy; es decir = (xy). Haciendo la sustitucin z = xy, se tiene
(xy) = (z). En este caso, la ecuacin (2.13) se reduce a la ecuacin de variables
separables
N
(x,
y)
M
(x,
y)
d(z)
x
y
= (z)
(2.16)
,
dz
xM (x, y) yN (x, y)
donde
N (x, y) M (x, y)
x
y
xM (x, y) yN (x, y)
N (x, y) M (x, y)
Z
x
y
(xy) = exp
dz
xM (x, y) yN (x, y)
para la ecuacin (2.11).
M
(x, y) = 1
y
N
(x, y) = 1 + 2xy 5
x
M
N
6=
as que la ecuacin diferencial no es exacta. Buscamos un factor
y
x
integrante:
1 1 2xy 5
2(1 + xy 5 )
2
My Nx
=
=
=
5
5
N
x + xy
x(1 + xy )
x
entonces
34
2
dx
x
= e2 ln x = x2 .
m
n
(x, y) = x2 =
(x, y)
y
x
y6
, entonces
6
y6
f (x, y) = x y +
6
1
y6
= C.
6
2.6.
35
Sustituciones diversas
Cuando la ecuacin
M (x, y)dx + N (x, y)dy = 0,
no es separable, ni lineal, ni exacta, podramos transformarla en una ecuacin de alguno de
estos tipos. En esta seccin estudiamos dos tipos de ecuaciones que pueden transformarse
en una ecuacin de variables separables o lineal por medio de una sustitucin adecuada.
El procedimiento es el siguiente:
1. Identificar el tipo de ecuacin y determinar la sustitucin adecuada.
2. Escribir la ecuacin original en trminos de las nuevas variables.
3. Expresar la solucin en trminos de las variables originales.
2.6.1.
Ecuaciones de la forma
dy
= F (ax + by + c)
dx
dy
Cuando el lado derecho de la ecuacin diferencial
= f (x, y) se puede expresar como
dx
una funcin de la expresin ax + by + c, donde a, b y c son constantes, es decir, en la forma
dy
= F (ax + by + c)
dx
entonces la sustitucin
z = ax + by + c
transforma la ecuacin en una ecuacin de variables separables.
Ejemplo 2.6.1. Resolver
dy
= y x 1 + (x y + 2)1 .
dx
El lado derecho de la ecuacin se puede expresar como una funcin de x y + 2, es decir
y x 1 + (x y + 2)1 = (x y + 2) + 1 + (x y + 2)1
dy
dz
= 1
, de
as que hacemos z = x y + 2, derivando con respecto a x obtenemos
dx
dx
dy
dz
modo que
= 1 . Al sustituir esto en la ecuacin original se tiene
dx
dx
1
dz
= z + 1 + z 1 ,
dx
36
dz
= z z 1 .
dx
La cual es una ecuacin de variables separables, al separar variables obtenemos
zdz
= dx
1
z2
integrando se obtiene
o
zdz
=
z2 1
Z
dx + C1 ,
1
ln(z 2 1) = x + C1 ,
2
2.6.2.
Ecuaciones de Bernoulli
(2.17)
donde P (x) y Q(x) son funciones continuas en un intervalo (a, b) y n es un nmero real,
es una ecuacin de Bernoulli8 .
Observamos que cuando n = 0 o n = 1, la ecuacin (2.17) es una ecuacin lineal y se
puede resolver mediante el mtodo analizado en la seccin 2.3 Para otros valores de n, la
sutitucin9
v = y 1n
transforma la ecuacin (2.17) en una ecuacin lineal.
Al dividir la ecuacin (2.17) entre y n se tiene
y n
8
dy
+ P (x)y 1n = Q(x).
dx
(2.18)
La ecuacin de Bernoulli fue propuesta para ser resuelta por James Bernoulli en 1695 y fue resuelta
por su hermano John Bernoulli.
9
En 1696, Gottfried Leibniz mostr que la ecuacin de Bernoulli se puede reducir a una ecuacin lineal
haciendo esta sustitucin.
37
dv
+ (1 n)P (x)v = (1 n)Q(x).
dx
dv
dy
= 3y 2 , la ecuacin transformada es
dx
dx
1 dv
+ v = ex ,
3 dx
dv
+ 3v = 3ex .
dx
Esta ltima ecuacin es lineal de modo que podemos resolverla en trminos de v usando el
mtodo analizado en la seccin 2.3, tenemos
3
v = ex + Ce3x .
4
Al sustituir v = y 3 se tiene la solucin general de la ecuacin original
3
y 3 = ex + Ce3x .
4
38
2.7.
Aplicaciones
Figura 2.1:
Entonces el submarino est en un circulo de 1 km de radio centrado en el punto donde fue
1
descubierto, ya que su velocidad es de la del destructor. La posicin del submarino puede
3
describirse fcilmente en coordenadas polares. Sea r = f () el camino que el destructor
debe seguir para pasar con seguridad sobre el submarino, independientemente de la direccin
que este tome. La distancia recorrida por el submarino hasta el punto donde los caminos
se cruzan es r = 1, mientras que la del destructor (que es tres veces mayor), est dada por
la frmula de longitud de arco en coordenadas polares
Z
Z p
(dr)2 + (rd)2
3(r 1) =
ds =
0
2.7 Aplicaciones
39
de donde
dr
d
3(r 1) =
0
2
+ r2 d.
dr
d
2
+ r2
entonces
9(r0 )2 = (r0 )2 + r2
luego
8(r0 )2 = r2 ,
entonces
dr
r
=
d
2 2
es la ecuacin diferencial que describe el problema.
Aplicando separacin de variables tenemos
r0 =
dr
d
=
r
2 2
integrando se obtiene
1
ln(r) = + C.
2 2
r() = e 2 2 .
Es el camino que el destructor debe seguir para pasar con seguridad sobre el submarino.
Ejemplo 2.7.2. Un esquiador acutico E localizado en el punto (1, 0) es halado por un
bote B localizado en el origen de coordenadas y que viaja hacia arriba, a lo largo del eje
vertical. Halle la trayectoria del esquiador, si este se dirige en todo momento hacia el bote
(este camino se denomina Tractriz).
En la figura (2.2) se observa que la recta EB es siempre tangente a la trayectoria, entonces
tan =
donde L =
Adems
L
,
x
1 x2 .
y 0 = tan ,
40
Figura 2.2:
y = , luego tan = tan( ) = tan .
Luego
y 0 = tan ,
es decir
dy
1 x2
y =
=
.
dx
x
0
Figura 2.3:
dy =
1 x2
dx,
x
2.7 Aplicaciones
41
integrando
1 x2
dx + C,
x
esta integral se resuelve por una sustitucin trigonomtrica de la forma x = sin , obteniendo
Z
cos2
d,
y=
sin
Al integrar obtenemos
y = ln | csc + cot | cos + C.
y=
1 + 1 x2
y = ln
1 x2 + C.
x
Aplicando la condicin inicial y(1) = 0, se tiene que C = 0, de donde
1 + 1 x2
y = ln
1 x2 ,
x
es la trayectoria del esquiador. En la figura 2.3 se muestra la tractriz.
Ejemplo 2.7.3. Un tanque contiene originalmente 50 galones de agua limpia; a continua1
cin se vierte en el tanque salmuera con una concentracin de libras de sal por galn,
2
a razn de 1 gal/min y se deja que la mezcla abandone el tanque a la misma razn. Al
cabo de 5 minutos se detiene el proceso y se introduce al tanque agua limpia a razn de 1
gal/min y nuevamente se deja que la mezcla abandone el tanque a la misma razn. Encuentre la concentracin de sal en el tanque al cabo de 10 minutos.
dS
La razn de cambio de la sal en el tanque, en el instante t,
, debe ser igual a la razn
dt
a la que la sal entra al tanque menos la razn a la que la sale. La razn a la que la sal
1
S(t)
entra es lb/gal multiplicado por 1 gal/min; la razn a la que la sal sale es
lb/gal
2
50
multiplicado por 1 gal/min; por tanto
1
1
dS(t)
= S(t),
dt
2 50
es la ecuacin diferencial que rige este proceso. Esta ecuacin es lineal y la solucin general
viene dada por
Z
R 1
1 R 1 dt
50
dt
e 50 dt + C ,
S(t) = e
2
esto es
S(t) = 25 + Cet/50 ,
42
2.7 Aplicaciones
43
en donde C es una constante arbitraria. La condicin inicial Q(0) = 100, requiere que
C = 100 y, por lo tanto
Q(t) = 100ekt ,
para la segunda condicin se tiene que t = 3 y Q = 91,86 en la anterior ecuacin nos da
91,86 = 100e3k ,
entonces
ln(0,9186)
= 0,0283/dias.
3
Entonces la cantidad presente en cualquier instante t es
k=
Q(t) = 100e0,0283t .
La cantidad presente al cabo de una semana es
Q(7) = 100e0,1981 = 82,0287,
en miligramos. Sea el lapso de tiempo en el que la masa se reduce a la mitad de su valor
original, entonces
50 = 100e0,0283 ,
de donde
=
ln 2
= 24,5,
0,0283
en dias.
Ejemplo 2.7.5. La tasa de crecimiento por individuo de una poblacin es la diferencia
entre la tasa promedio de nacimientos y la tasa promedio de mortalidad. Supngase que
en una poblacin dada la tasa promedio de nacimientos es una constante positiva , pero
la tasa de mortalidad es proporcional al tamao de la poblacin, debido a los efectos del
hacinamiento y la competencia creciente por el alimento disponible. Supngase que esta
dP
es la tasa de crecimiento
ltima constante de proporcionalidad es > 0. Puesto que
dt
1 dP
de la poblacin, la tasa de crecimiento por individuo ser
. Por tanto, la ecuacin
P dt
diferencial que controla el crecimiento de esta poblacin es
1 dP
= P.
P dt
Multiplicando ambos lados de la anterior ecuacin por P tenemos
dP
= P ( P ),
dt
44
=
+
.
P ( P )
P
( P )
Sustituyendo el lado derecho de la anterior ecuacin e integrando, obtenemos
1
1
ln P ln( P ) = t + c,
o bien
ln
P
P
1/
= t + c.
P (0)
,
P (0)
,
+ (P (0)1 )et
i(0)
= 0.
2.7 Aplicaciones
45
R
R
4dt
4dt
i(t) = e
50e
dt + k ,
al integrar y simplificar obtenemos
25
+ ke4t ,
2
i(t) =
25
utilizando la condicin inicial i(0) = 0 se obtiene que k = , de donde la expresin para
2
la corriente en cualquier tiempo t es
i(t) =
25
(1 e4t ).
2
25
(1 e2 ),
2
q(0)
= 0.
R
R
5dt
5dt
q(t) = e
3e
dt + k ,
que al integrar y simplificar obtenemos
q(t) =
3
+ ke5t ,
5
46
dq(t)
, se tiene que, la corriente en cualquier instante t es
dt
i(t) = 3e5t .
2.8 Ejercicios
2.8.
47
Ejercicios
2
3y 2
0
(b) y =
.
2x + 1
xy y 2x + 2
(c) y 0 =
.
xy + y + 2x + 2
(d) x3 y 4 dy = (x + 1)dx.
(e) et xx0 = ex + e2tx .
(f ) 1 u0 = u2 .
2
(x + y 2 5)dx (xy + y)dy = 0
y2 1
0
(c)
y
= 2
(a)
y(0)
= 1.
1
y(2) = x 2.
p
0
xy
=
y 2 + x2
(d)
y(1) =
2.
(
dy
x + yey/x
2 dy
3
3
=
xy
= y x
(e)
(b)
dx
xey/x
dx
y(1)
=
0.
y(1)
=
2.
3. Encuentre la solucin general de
tx0 (t) = x(t) + 2te
x(t)
t
ax
+
by
+
c
y0 = F
a una ecuacin de variables separables.
dx + ey + f
(b) Si ae = bd encuentre una sustitucin que haga la reduccin pedida en el item
anterior.
xy5
.
(c) Resuelva la ecuacin diferencial y 0 =
x+y1
48
xy 2y = x2 + x
xy 0 + y = ex
(b)
(d)
y(1)
=
1.
y(1)
= 2.
9. Determine la solucin continua que
cin inicial indicada.
dy
1,
(a)
+ p(x)y = x, p(x) =
1
dx
dy
x
(b)
xy = q(x), q(x) =
x
dx
10. Use el mtodo del ejemplo 2.6.2 para resolver las siguientes ecuaciones diferenciales:
dy
2
4xy = 16xe3x y.
dx
dy
+ xy = y 2 .
(d)
dx
dy 3
+ y = 2x4 y 4 .
dx x
dy
+ y = 12e2x y 2 .
(b)
dx
(a) 3
(c)
dy
y2
(a)
dx
y(1)
(
dy
x +y
(b)
dx
y(1)
y
=
x
= 1.
(c)
= y 2 x ln x
=
y cos x
2.
y(0)
(d)
dy
= y 2 cos x(1 sin x)
dx
=
2.
y 1/2 y 0 + y 3/2 = 1
y(0)
= 4.
2.8 Ejercicios
49
x
3y x2 dy
+ 4 = 0
5
(c)
y
dx 2y
y(1)
= 1.
14. Encuentre condiciones suficientes para f y g tales que la ecuacin diferencial dada
sea exacta. Muestre un ejemplo particular en cada caso:
(a) (x2 + y)f (x)dx + xg(y)dy = 0.
15. Hallar n tal que la ecuacin diferencial dada sea exacta. Resuelva la ecuacin para
tal valor de n:
(a) (xy 2 + nx2 y)dx + (x3 + x2 y)dy = 0.
(b) (x + ye2xy )dx + nxe2xy dy = 0.
16. Para la ecuacin M (x, y)dx + N (x, y)dy = 0 encuentre condiciones suficientes para
que tenga un factor integrante de la forma indicada:
(a) u(x, y) = g(y).
(b) u(x, y) = g(z), con z = x + y.
(c) u(x, y) = g(z), con z = xy.
17. Resolver las siguientes ecuaciones diferenciales usando factores integrantes o sustitucin:
50
x0
Muestre que la ecuacin M (x, y)dx + N (x, y)dy = 0, es exacta, y que la solucin de
dicha ecuacin est dada por f (x, y) = C, donde f es la funcin que se indica y C
es una constante.
19. Si una ecuacin diferencial es de orden m > 1 y carece de una de las variables x o
y, entonces se puede reducir a una ecuacin diferencial de orden m 1 haciendo un
cambio de variable
dp
y 0 = p, y 00 =
,
dx
si falta y en la ecuacin, o
y 0 = p,
y 00 =
dp dy
dp
=p ,
dy dx
dy
(c) xy 00 3y 0 = x2 .
(b) 1 + yy 00 + y 02 = 0.
(d) yy 00 + 2y 02 = 0.
20. La tensin T en una cadena que cuelga sobre un cilindro rugoso est dada por
dT
T = a(cos + sin ),
d
donde , y a son constantes. es el ngulo que forma el radiovector de cada punto de
la seccin transversal del cilindro con respecto al dimetro horizontal, especficamente
con respecto al eje positivo de las abscisas, si se escoge un sistema bidimensional de
coordenadas con origen en el centro de la seccin transversal del cilindro.
(a) Encuentre la solucin general de la ecuacin diferencial dada.
(b) Muestre que l(1 + 2 ) = 2a(1 + e , si T = 0 cuando = 0 y T = l cuando
= .
2.8 Ejercicios
51
21. Un punto se mueve en una curva plana que pasa por el punto (1, 1) de tal forma
que las coordenadas (x, y) de cada punto de su trayectoria satisfacen el sistema de
ecuaciones diferenciales
dx
dt = 2x + 6y,
dy
=
2x + 2y,
dt
donde t representa el tiempo. Encuentre la ecuacin cartesiana de la trayectoria del
dy
dy dx
punto mvil. (Sugerencia: Use el hecho de que
=
y encuentre una sola
dt
dx dt
ecuacin diferencial con variable dependiente y y variable independiente x.)
22. Un problema geomtrico que aparece con frecuencia en ingeniera y en ciencias bsica
es el de determinar una familia de curvas (trayectorias ortogonales que intersecte a
una familia dada de curvas en forma ortogonal en cada punto. Si la familia de curvas
dada satisfacen la ecuacin diferencial de primer orden y 0 = f (x, y), entonces la
trayectoria ortogonal generalmente es la grfica de una funcin y(x) que satisface
1
y0 =
. Considere la familia de curvas descritas pro f (x, y) = c, donde c es
f (x, y)
un parmetro.
(a) Muestre que las curvas ortogonales a la familia f (x, y) = c satisfacen la ecuacin
diferencial
f
f
(x, y)dx
(x, y)dy = 0.
y
x
(b) Use el item anterior para mostrar que las trayectorias ortogonales a la familia
de crculos x2 + y 2 = c son justamente las lneas rectas que pasan por el origen.
(c) Muestre que las trayectorias ortogonales de la familia de hiprbolas x2 y 2 = c,
son las hiprbolas xy = c.
23. Utilice el mtodo del ejercicio anterior para hallar las trayectorias ortogonales para
cada una de las familias dadas de curvas.
(a) y = cx.
(c) y = x2 + c.
(b) y = cx3 .
(d) 4x2 + 9y 2 = c.
24. Las lneas de flujo asociadas con cierto flujo de fluidos son representadas por la familia
de curvas y = x 1 + cex . Los potenciales de velocidad del flujo son justamente las
trayectorias ortogonales de esta familia.
(a) Proceda como en el ejercicio anterior para mostrar que los potenciales de velocidad satisfacen la ecuacin diferencial dx + (x y)dy = 0. (Sugerencia: Primero
exprese la familia y = x 1 + cex en la forma f (x, y) = c.)
52
dy
dx
dy
, se llama ecuacin
dx
de Clairaut.11 El inters en estas ecuaciones se debe al hecho de que ella tiene
una familia uniparamtrica de soluciones consistentes en lneas rectas. Adems, la
envolvente12 de esta familia tambin es una solucin de ella, y se conoce con el nombre
de solucin singular. Resuelva la ecuacin de Clairaut de la siguiente manera:
donde la funcin continuamente derivable f se evala en t =
(a) Derive la ecuacin de Clairaut con respecto a x, y luego simplifique para obtener
[x + f 0 (y 0 )]y 00 = 0,
donde f 0 (t) =
d
f (t).
dt
dy
= c o f 0 (y 0 ) = x. Suponga entonces
(b) De la anterior ecuacin concluya que
dx
dy
que
= c y sustituya de nuevo en la ecuacin de Clairaut para obtener una
dx
familia de lnea rectas solucin
y = cx + f (c).
10
En 1724 Jacobo Riccati estudi un caso particular de esta ecuacin, durante sus investigaciones de las
curvas cuyos radios de curvatura slo dependen de la variable dependiente y no de la variable independiente,
sin embargo, fue Euler en 1760, quien descubri el resultado que se da en este problema.
11
Alexis Clairaut estudi estas ecuaciones en el ao 1734.
12
Es decir, la curva cuyas tangentes estn dadas por la familia
2.8 Ejercicios
53
x = f 0 (y 0 )
y = f (y 0 ) y 0 f 0 (y 0 )
esta es la solucin singular.
(d) Use el mtodo anterior para hallar la familia de lneas rectas solucin y la solucin
singular de la ecuacin diferencial
y = xy 0 + ln(y 0 ).
27. El economista Vilfredo Pareto (1848-1932) descubri que en una economa estable la
tasa de decrecimiento del nmero de personas P con un salario de por lo menos t pesos
es directamente proporcional al nmero de personas e inversamente proporcional al
su salario. Obtenga una expresin para P en trminos de t.13
28. Un punto mvil en el plano, parte del origen. Su abscisa se mueve con velocidad
constante igual a 1 cm/seg, mientras su ordenada lo hace con aceleracin constante
de 0,05 cm/seg, partiendo del reposo. Encuentre una ecuacin cartesiana para la
trayectoria del punto.
29. Una sustancia radiactiva se descompone con una razn de cambio proporcional en
todo instante a la cantidad de sustancia sin descomponer. Si se conoce la cantidad de
sustancia en un instante determinado, encuentre una frmula que exprese la cantidad
de sustancia en funcin del tiempo. Suponga que la constante de proporcionalidad es
conocida.
30. Un depsito de agua tiene un orificio en el fondo. La ley de Torricelli establece que
dV
si v = v(t) es la velocidad del agua a travs del orificio, entonces
= Av, donde
dt
A es el rea del orificio y V = V (t) es el volumen del agua en el tanque en el instante
t. Sea h = h(t) la profundidad del agua en el tanque en el instante t y suponga que
la velocidad de salida por el orificio es la de una gota en cada libre desde una altura
igual a la profundidad del agua. Para un tanque cilndrico de 40 cm de dimetro y
con una profundidad inicial de 50 cm, encuentre el tiempo necesario para vaciarlo
por medio de un orificio circular de 1 cm de dimetro.
31. Una gran cisterna abierta llena de agua tiene la forma de una semiesfera de 30
pies de radio. El recipiente tiene un agujero circular de 1 pie de radio en el fondo.
Cunto demorar en salir toda el agua de la cisterna. (Sugerencia: Aplique la ley de
Torricelli.)
13
54
Los antiguos egipcios (1380 A. C.) usaban relojes de agua basados en este principio.
2.8 Ejercicios
(b) R = 8 , L = 1 h, E = 6 V y i(0) = 1 A. t = 0,5 segundo.
(c) R = 50 , L = 5 h, E = 120 V y i(0) = 0 A. t = 0,8 segundo.
(d) R = 10 , L = 2 h, E = 12 sin t V y i(0) = 1 A. t = 1 segundo.
40. Suponga que un circuito en serie RC tiene los valores dados para la resistencia, la
capacitancia, la fem y la carga inicial. Halle una frmula para la carga en cualquier
tiempo t y calcule la carga despus del tiempo que se especifica.
(a) R = 1 , C = 1 f , E = 12 V y q(0) = 0 c. t = 1 segundo.
(b) R = 10 , C = 0,001 f , E = 10 cos(60t) V y q(0) = 0 c. t = 0,5 segundos.
(c) R = 50 , C = 103 f , E = 100 V y q(0) = 1 c. t = 0,8 segundos.
(d) R = 100 , C = 2 104 f , E = sin(60t) V y q(0) = 1 c. t = 1 segundo.
41. Halle la corriente de un circuito RL en serie, al cabo de 10 segundos, si R = 100 ,
L = 2 h, i(0) = 0 A y el voltaje de la fem satisface
0 t 5,
3,
E(t) =
4 e5t , t > 5.
55
56
CAPTULO
3
Ecuaciones Lineales de Orden Superior
3.1.
Preliminares
(3.1)
(3.2)
58
(3.3)
(3.4)
3.1 Preliminares
59
1
2
yh (x) = y(x) yp (x) = y(x) x
3
9
se tiene que yh (x) es solucin de la homognea asociada, pues yh0 (x) = y 0 (x) +
yh00 (x) = y 00 (x), de donde
1
y
3
2
2
yh00 (x)+2yh0 (x)3yh (x) = y 00 (x)+2y 0 (x)+ 3y(x)x = y 00 (x)+2y 0 (x)3y(x)x = 0.
3
3
Por lo tanto, y(x) = yp (x) + yh (x), tal como se haba anunciado.
El anterior ejemplo muestra lo que es nuestro objetivo central con relacin a la solucin de
una ecuacin lineal: Se trata de determinar la solucin general de la ecuacin homognea
asociada, as como de hallar una solucin particular de la no homognea.
Dado que uno de nuestros objetivos es demostrar que el conjunto solucin de una ecuacin
lineal homognea es un espacio vectorial (de funciones) nos parece pertinente presentar los
resultados que consideramos necesarios en este sentido.
3.1.1.
Espacios funcionales
Para un repaso de espacios vectoriales generales, se recomienda consultar el libro Notas de lgebra
lineal de Castaeda-Barrios-Martnez. Captulo 4. Ediciones Uninorte. 2004.
60
3.1 Preliminares
61
a+b+c
4b + c
f1 (x)
f2 (x)
fm (x)
0
0
f10 (x)
f
(x)
f
(x)
2
m
W (x) =
(3.5)
..
..
..
..
.
.
.
.
(m1)
(m1)
(m1)
f1
(x) f2
(x) fm
(x)
se denomina matriz wronskiana de f1 , f2 , . . . , fm en x. Es claro entonces que si
detW (x) 6= 0 para algn x I las funciones f1 , f2 , . . . , fm son l.i. Por el contrario si
detW (x) = 0 para todo x I se tiene que las funciones son l.d.
Ejemplo 3.1.3. Dadas las funciones f (x) = x, g(x) = 3 + x2 , h(x) = ex y q(x) = x + e2 x.
62
x 3 + x2 x + e 2 x
2x
1+e
detW (x) = 1
0
2
0
luego
x x + e2 x
detW (x) = 2
1 1 + e2
= 2(x + e2 x x e2 x) = 0.
x 3 + x2 ex
x
2x
e
detW (x) = 1
0
2
ex
luego
2x ex
detW (x) = x
2 ex
3 + x2 ex
2
ex
entonces
detW (x) = x(2xex 2ex ) (3ex + x2 ex 2ex ) = x2 ex 2xex ex 6= 0
3.1.2.
Introducimos a continuacin una til herramienta en nuestro propsito de estudiar la ecuacin diferencial lineal. Dados dos espacios funcionales, una aplicacin (funcin) que transforma elementos de uno de tales espacios en elementos del otro ser denominado operador.
Si tal aplicacin es adems una transformacin lineal decimos que es un operador lineal.
3.1 Preliminares
63
Ejemplo 3.1.4. Operador integral: Dada la funcin f , continua en [a, b], definimos
Z
Z x
(f ) (x) =
f (t)dt.
a
As,
7 Dn (f ) = f (n)
es tambin un operador lineal y es, para nuestros propsitos, de gran importancia. Si, por
ejemplo, n = 2 y f (x) = x2 + ex , entonces D2 (f )(x) = f 00 (x) = 2 + ex .
Escribimos D = D1 , ntese, adems, que para n = 0 el operador es el operador identidad;
es decir, D0 (f ) = f (0) = f , para toda funcin f .
Si a0 , a1 , . . . , an son funciones definidas sobre I, definimos el operador diferencial de
orden n como
L = an Dn + an1 Dn1 + + a0 D0 .
(3.6)
As, para cada f C n [I] se tiene
L(f )(x) = an (x)f (n) (x) + an1 (x)f (n1) (x) + + a0 (x)f (x),
(3.7)
para todo x I.
Con la ayuda del operador as definido podemos ahora presentar un tratamiento cmodo de las ecuaciones diferenciales lineales. El que L sea lineal significa que para funciones
f y g, en el dominio del operador, y para escalares y se tiene
L(f + g) = L(f ) + L(g).
Ejemplo 3.1.6. Consideremos la ecuacin diferencial lineal
y 00 + xy 0 + 2y = 0.
Si definimos
L = D2 + a1 D + 2D0 ,
con a1 (x) = x, la ecuacin puede escribirse como
L(y) = 0.
(3.8)
64
L(y2 ) = 0,
(3.9)
en lugar de (3.6), para hacer explcitas las funciones coeficientes. Debe ser claro, sin embargo, que esto es slo por comodidad y que tcnicamente hablando la expresin considerada
no es correcta, pues cada ai (x) es la imagen que la funcin produce al actuar sobre el
elemento x; es decir, es un nmero real (y no la funcin ai misma).
3.1.3.
Utilizando el operador diferencial lineal, la ecuacin lineal de orden n definida por (3.1)
puede escribirse ahora como
L(y) = g(x),
(3.10)
y la ecuacin homognea asociada a (3.10) como
L(y) = 0.
(3.11)
3.1 Preliminares
65
Teorema 3.1.1. Teorema de existencia y unicidad: Consideremos el operador diferencial lineal de orden n, con funciones a0 , a1 , . . . , an continuas en el intervalo I. Supongamos,
adems, x0 I, y0 , y1 , . . . , yn1 R. Entonces existe una y slo una solucin, en I, del
problema de valores iniciales
L(y)
= 0,
y(x0 )
= y0 ,
y 0 (x0 )
= y1 ,
(3.12)
..
.. ..
.
. .
y (n1) (x ) = y .
0
n1
Ahora podemos presentar uno de los resultados ms importantes del presente captulo.
Teorema 3.1.2. El conjunto solucin de la ecuacin diferencial lineal homognea de orden
n es un espacio vectorial de dimensin n.
Demostracin. Hemos demostrado ya que el conjunto solucin considerado (el ncleo del
operador diferencial lineal) es un subespacio del espacio de las funciones definidas sobre el
intervalo I. Nos resta demostrar que tiene dimensin finita y que su dimensin es justamente
n. Nuestra prueba consistir en demostrar que el ncleo del operador diferencial es isomorfo
a Rn .
Sea xo un real fijo en I. Definamos
: N (L) Rn
y
y(x0 )
= y0
y 0 (x0 )
= y1
..
.. ..
.
. .
y (n1) (x ) = y .
0
n1
66
El teorema anterior establece que el problema de hallar las soluciones de la ecuacin diferencial homognea (3.11) se reduce al de hallar una base del espacio solucin S = N (L),
es decir, al de hallar n soluciones linealmente independientes de tal ecuacin homognea.
Para la ecuacin diferencial no homognea (3.10), supongamos que yp es una solucin particular de ella. Para cualquier solucin, y, de la misma ecuacin, se tiene que yh = y yp
es solucin de la homognea asociada, pues
L(yh ) = L(y yp ) = L(y) L(yp ) = g(x) g(x) = 0.
As, se tiene que toda solucin de (3.10) es de la forma
y = yp + yh ,
donde yh es solucin de (3.11).
Tenemos entonces el siguiente teorema.
Teorema 3.1.3. Toda solucin de (3.10) es la suma de una solucin particular de ella con
una solucin de la homognea asociada.
Observacin 3.1.2. Tenemos las siguientes consecuencias importantes
1. La solucin general2 de (3.11) es
yh = 1 y1 + 2 y2 + + n yn ,
(3.13)
(3.14)
67
3.2.
En esta seccin abordaremos el problema de encontrar n soluciones l.i para la ecuacin homognea con coeficientes constantes. Es decir, para la ecuacin (3.11) cuando las funciones
coeficientes son constante. Es decir el operador diferencial es de la forma
L = an Dn + an1 Dn1 + + a0 D0 ,
(3.15)
donde an 6= 0. Es suficiente con suponer an 1. Operadores como el anterior, con coeficientes constantes, gozan de propiedades tales que facilitarn nuestro trabajo con las ecuaciones
diferenciales correspondientes. En especial, es de gran importancia el que dichos operadores puedan combinarse mediante la composicin para producir operadores del mismo tipo.
Como se ver tal composicin de operadores se comporta, en cierto sentido, como la multiplicacin numrica usual, razn por la cual nos referiremos a ella con la denominacin
de multiplicacin de operadores. Por igual razn usaremos, para operadores L1 y L2 , con
coeficientes constantes, la notacin
L1 L2 = L1 L2 .
Recurdese que para una funcin f C n [I], se tiene
(L1 L2 )(f ) = (L1 L2 )(f ) = L1 (L2 (f )).
Antes de establecer las propiedades anunciadas anteriormente veamos algunos ejemplos.
Ejemplo 3.2.1. Sean L1 = 2D2 + 3D 5D0 , L2 = 2D D0 , entonces
L1 L2 =
=
=
=
68
69
El ejemplo anterior ilustra con claridad que el problema de resolver una ecuacin como
la considerada es esencialmente algebraico. Se trata fundamentalmente de encontrar las
races de un polinomio de grado n, a partir de las cuales podemos determinar soluciones
de la ecuacin diferencial con coeficientes constantes. Sin embargo podran surgir problemas adicionales (aparte del problema algebraico de determinar las races del polinomio).
Posteriormente daremos respuesta a esos posibles problemas, pero antes formalizaremos y
justificaremos los procedimientos utilizados en el ejemplo.
Dado el operador (3.15), el polinomio
PL () = an n + an1 n1 + + a0 ,
(3.16)
se denomina polinomio caracterstico del operador (y de la ecuacin homognea correspondiente). Una raz3 del polinomio caracterstico se denomina valor caracterstico del
operador. Los teoremas que siguen resumen las propiedades de los polinomios caractersticos que nos interesan para nuestros propsitos.
Teorema 3.2.1. Sean L, T operadores diferenciales con coeficientes constantes, y sea
R. Entonces:
1. PL+T = PL + PT .
2. PLT = PL PT .
3. PL = PL .
Teorema 3.2.2. Si L = L1 L2 Lm , entonces para cada i = 1, 2, . . . , m, se tiene que
N (Li ) N (L).
Es decir, toda solucin de Li (y) = 0 es solucin de L(y) = 0.
Observacin 3.2.1. Una ecuacin lineal homognea con coeficientes constantes puede
descomponerse en ecuaciones de orden uno. Esta es una consecuencia del teorema 3.2.1 y
del conocido Teorema fundamental del lgebra: Todo polinomio de grado n tiene n factores
lineales (no necesariamente distintos) sobre el campo de los complejos.
Observacin 3.2.2. El problema de resolver una ecuacin homognea de orden n, con
coeficientes constantes, es reducible a problemas de solucin de ecuaciones lineales de orden
uno. Esto se sigue del teorema 3.2.2 y de la observacin anterior.
Como se mostr en el ejemplo 3.2.2, las races del polinomio caracterstico estn ntimamente relacionadas con las soluciones de la ecuacin homognea correspondiente. Para el
3
70
L(f1 + if2 )
L(f1 ) + iL(f2 )
0 + i0
0
(3.17)
71
(D D0 )(j) (D D0 )(yj+1 )
(D D0 )j (D D0 )(xyj )
(D D0 )j (yj + xyj0 xyj )
(D D0 )j (jyj )
0.
Lo que termina la primera parte de la prueba. La independencia lineal se deja como ejercicio.
Observacin 3.2.3. Si es un valor caracterstico de L(y) = 0, entonces:
1. Si es real y de multiplicidad m, entonces
y1 = ex , y2 = xex , . . . , ym = xm1 ex ,
son soluciones l.i de la ecuacin diferencial.
(3.18)
72
(3.19)
3.3.
Reduccin de orden
(3.20)
Se tarta de encontrar una segunda solucin y2 , tal que y1 , y2 sean l.i en I. Para ello,
supongamos que y1 6= 0 en I, si definimos y = vy1 , tenemos
y 0 = v 0 y1 + vy10
y
y 00 = v 00 y1 + 2v 0 y10 + vy100 ,
73
0
dw
y1
= 2 + p(x) dx,
w
y1
e integrando se tiene
Z
ln w =
ln y12
p(x)dx + c,
p(x)dx
y12
v = c1
entonces
p(x)dx
dx + c2 ,
y12
Z
y = c1 y1
p(x)dx
dx + c2 y1 ,
y12
p(x)dx
y12
dx.
e4 dx
dx = xe2x ,
e4x
(3.21)
74
3.4.
Ecuaciones no homogneas
Como hemos visto ya, toda solucin de la ecuacin L(y) = g(x) es la suma de una solucin
particular (fija) de ella y una de la homognea asociada. Para el caso con coeficientes constantes tenemos ya un procedimiento global para obtener las soluciones de la homognea.
Otros casos especficos sern considerados en la seccin siguiente y en los prximos captulos. A continuacin abordamos el estudio de dos mtodos clsicos de obtener soluciones
particulares de la ecuacin no homognea.
3.4.1.
Variacin de parmetros
(3.22)
(3.23)
75
imponemos ahora
Yh0 V0 = 0.
(3.24)
yp(n2) = Yh
V,
de donde
(n1)
V + Yh
(n2)
V0 = 0,
yp(n1) = Yh
(n2)
V0 ,
(3.25)
de aqu se tienen
(n1)
yp(n1) = Yh
V,
y
(n)
(n1)
yp(n) = Yh V + Yh
V0 .
L(Yh V)
(n)
(n1)
(n1)
V (Yh + an1 Yh
+ + a0 Yh ) + Yh
V0
(n1)
V (L(y1 ), L(y2 ), . . . , L(yn )) + Yh
V0
(n1)
Yh
V0
g(x).
Yh
V0 = g(x).
(3.26)
Las ecuaciones (3.23), (3.24) y las que se obtienen en forma similar hasta la (3.25) forman con la (3.26) un sistema de n ecuaciones en las n funciones incgnitas v10 , v20 , . . . , vn0 ,
correspondiente a la ecuacin matricial
W [y1 , y2 , . . . , yn ]V0 =
0
0
..
.
(3.27)
g(x)
donde W [y1 , y2 , . . . , yn ] es la (funcin) matriz wronskiana de las soluciones l.i de la ecuacin
homognea asociada, y V0 es la funcin (vectorial) derivada de la funcin incgnita, V,
76
y1
y
0
y
y
i1
i+1
n
0
0
0
0
y1
y
0
y
y
i1
i+1
n
..
..
..
..
..
.
.
.
.
.
(n1)
(n1)
(n1)
(n1)
y1
y
g(x)
y
y
n
i1
i+1
,
vi0 =
y
y
y
y
1
i1
i
i+1
n
0
0
0
0
0
y1
y
y
y
y
n
i+1
i
i1
..
..
..
..
..
.
.
.
.
.
(n1)
(n1)
(n1)
(n1)
(n1)
y1
y
y
y
yn
i1
(3.28)
i+1
0 e2x
0
y
2
x 2e2x
g(x) y20
=
v10 =
e3x
e2x
y10 y20
y1 y2
3e3x 2e2x
de donde
v10
x2 e3x
=
,
5
77
2
2 3x
1 2 3x
x e + xe3x
e .
15
45
135
y1
e3x
0
0
0
3x
2
y1 g(x)
3e
x
0
=
,
v2 =
2x
e3x
y
y
e
1
2
y1 y20
3e3x 2e2x
v1 =
de donde
v20 =
integrando se tiene
v2 =
x2 e2x
,
5
1 2 2x
1
1
xe
xe2x e2x .
10
10
20
Entonces
1
1
5
y p = x2 x ,
6
16
68
es la solucin particular, entonces la solucin general es
1
1
5
y = c1 e3x + c2 e2x x2 x .
6
16
68
3.4.2.
Coeficientes indeterminados
Este mtodo consiste en predecir la forma explcita de la solucin a partir del tipo de ecuacin a resolver, lo cual no siempre es posible. En particular, si la ecuacin tiene coeficientes
constante y g(x) tiene un comportamiento regular con relacin a sus derivadas, podemos
predecir la forma de la solucin particular. Esto puede hacerse, por ejemplo, si g(x) es una
combinacin lineal de funciones como
xm , eax , cos(bx), sin(bx).
Algunas indicaciones sobre la construccin de la posible solucin particular se dan a continuacin:
Si ninguno de los trminos l.i de g(x) o sus derivadas es solucin de la ecuacin
homognea, yp se toma como combinacin lineal de tales trminos y sus derivadas l.i.
Si alguno de los trminos l.i de g(x), o alguna de sus derivadas, es solucin de la
ecuacin homognea, entonces debe multiplicarse por la menor potencia de x para la
cual no resultan soluciones de la ecuacin homognea.
Si ypi es solucin de L(y) = gi (x), para i = 1, 2, . . . , m, entonces
yp =
m
X
i=1
ypi ,
78
m
X
gi (x).
i=1
1
1
1
cuya solucin es c2 = , c1 = y c0 = , con lo cual obtenemos la solucin particular
2
2
4
1
1
1
yp = x2 x + .
2
2
4
Entonces la solucin general es
1
1
1
y = ce2x + x2 x + .
2
2
4
79
80
3.5.
Ecuaciones de Cauchy-Euler
Definicin 3.5.1. Una ecuacin diferencial lineal de orden n que se puede expresar en la
forma
dn y
dn1 y
dy
an xn n + an1 xn1 n1 + + a1 x + a0 y = g(x),
(3.29)
dx
dx
dx
donde a0 , a1 , . . . , an son constantes, con an 6= 0, se llama ecuacin de Cauchy-Euler, o
equidimensional4 no homognea, y
n
nd y
an x
dxn
n1
y
n1 d
an1 x
n1
dx
+ + a1 x
dy
+ a0 y = 0,
dx
(3.30)
(3.31)
=
=
..
.
rxr1
r(r 1)xr2
..
.
Leonhard Euler en 1769 y posteriormente Augustn Cauchy trabajaron sobre esta ecuacin, aunque
antes de 1700 John Bernoulli conoca su solucin.
81
+ bx
dy
+ cy = g(x),
dx
(3.33)
d2 y
dy
+ bx + cy = ar(r 1)xr + brxr + cxr = [ar2 + (b a)r + c]xr = 0.
2
dx
dx
As, (3.31) es una solucin de la ecuacin diferencial (3.32) siempre que r sea una solucin
de la ecuacin caracterstica
ar2 + (b a)r + c = 0.
(3.34)
Hay tres casos por considerar:
1. Races reales distintas: Sean r1 y r2 las races reales de (3.34), distintas. Entonces
la solucin general es
y = c1 xr1 + c2 xr2 .
(3.35)
2. Races reales iguales: Sean r1 y r2 las races reales de (3.34), tales que r1 = r2 ,
se tine una sola solucin que es y1 = xr1 . Podemos hallar una segunda solucin y2 ,
que sea l.i con la anterior, por el mtodo de reduccin de orden (ecuacin (3.21)),
obteniendo as y2 = xr1 ln x.
Entonces la solucin general es
y = c1 xr1 + c2 xr1 ln x.
(3.36)
(3.37)
82
2
. Entonces con y1 = x2 y y2 = x4 , la frmula (3.28) nos queda
x
0 x4
0 y2
2
3
0
4x
g(x) y2
0
x
v1 =
= x2 x4 ,
y
y
1
2
y1 y20
2x 4x3
de donde
v10 =
integrando se tiene
v1 =
1
,
x2
1
,
x
3.6 Aplicaciones
y
83
2
x
y1
0
0
2x
y1 g(x)
= 2
v20 =
x
y10 y20
y1 y2
2x
de donde
v20 =
0
2
x ,
x4
4x3
1
,
x4
integrando se tiene
v2 =
1
.
3x3
Entonces
2
yp = x,
3
es la solucin particular, entonces la solucin general es
2
y = c1 x2 + c2 x4 + x.
3
3.6.
Aplicaciones
En esta seccin revisaremos algunos modelos matemticos que son ecuaciones diferenciales
lineales de segundo orden o de orden mayor, con coeficientes constantes.
Ejemplo 3.6.1. Sistemas masa-resorte: Consideremos una masa m atada a un resorte
de longitud l con su extremo superior sujeto firmemente (ver figura 3.1).
Denotamos con el nmero cero la posicin de equilibrio de la masa en el resorte, es decir,
el punto donde la masa se mantiene en reposo. Supongamos que a la masa se le ha dado
un desplazamiento inicial y0 y una velocidad inicial v0 . Se pueden presentar tres casos:
1. Movimiento libre: Hacemos las siguientes suposiciones acerca de la fuerza ejercida
por el resorte sobre la masa:
Se mueve a lo largo de una recta vertical que pasa por el centro de gravedad de
la masa5 , y su direccin es siempre de la masa hacia el punto de equilibrio.
En cualquier tiempo t la magnitud de la fuerza ejercida sobre la masa es proporcional a la diferencia entre la longitud L del resorte y su longitud de equilibrio
l. La constante positiva de proporcionalidad k se llama constante de resorte, y
el principio anterior se conoce como la ley de Hooke6 .
5
6
84
d(mv)
= ma.
dt
d2 y
= ky,
dt2
donde y(t) denota el desplazamiento del resorte desde el punto de equilibrio y se toma
positivo cuando el resorte se est estirando y negativo cuando se est comprimiendo.
El signo negativo de la ltima ecuacin se debe al hecho de que la fuerza siempre acta
hacia la posicin de equilibrio. Aqu hemos supuesto que todas las dems fuerzas que
actan sobre el resorte (friccin, resistencia del aire, etc.) pueden ser despreciadas.
Tenemos entonces el problema de valores iniciales
2
k
dy
2 + y = 0
dt
m
(3.38)
y(0)
= y0
0
y (0)
= v0 .
Observamos que la ecuacin caracterstica de la anterior ecuacin diferencial homognea es
k
= 0,
r2 +
m
3.6 Aplicaciones
85
r
k
, entonces la solucin general es
m
v0
, as que la solucin
0
v0
sin(0 t).
(3.39)
0
p
Dividiendo ambos lados de la anterior igualdad por A = y02 + (v0 /0 )2 y usando la
y0 0
frmula de adicin sin(0 t+) = sin() cos(0 t)+cos() sin(0 t), con tan() =
,
v0
podemos reescribir la anterior ecuacin como
y(t) = y0 cos(0 t) +
y(t) = A sin(0 t + ).
(3.40)
2 +
+ y = 0
dt
m dt m
(3.41)
y(0)
= y0
0
y (0)
= v0 .
La ecuacin caracterstica de (3.42) es
r2 +
b
k
r+
= 0,
m
m
b2 4mk
. Dependiendo del signo de b2 4mk, la solucuya solucin es r =
2m
cin y tiene alguna de las formas siguientes:
b
7
8
86
b + b2 4mk
b b2 4mk
donde r1 =
y r2 =
. Esta ecuacin representa
2m
2m
un movimiento suave y no oscilatorio.
Si b2 4mk = 0, se dice que el sistema est crticamente amortiguado, puesto
que cualquier pequea disminucin de la fuerza de amortiguamiento originara
un movimiento oscilatorio. La solucin general de la ecuacin en (3.42) es
y(t) = ebt/2m (c1 + c2 t),
segn esta ltima ecuacin, se aprecia que la masa puede pasar por la posicin
de equilibrio a lo ms una vez.
Si b2 4mk < 0, se dice que el sistema est subamortiguado, porque el coeficiente de amortiguamiento, b, es muy pequeo en comparacin con la constante
del resorte, k. Ahora las races de la ecuacin
caracterstica son complejas, de la
4mk b2
b
y=
> 0. Entonces la solucin
forma r = i, donde =
2m
2m
general en este caso es
y(t) = et [c1 cos(t) + c2 sin(t)].
3.6 Aplicaciones
87
2 +
+ y = F (t)
dt
m dt m
(3.42)
y(0)
= y0
0
y (0)
= v0 .
Para resolver la ecuacin diferencial no homognea, primero se halla la solucin de
la homognea asociada y luego, aplicando el mtodo de variacin de parmetro, se
encuentra una solucin particular de ella.
Ejemplo 3.6.2. Circuitos elctricos: Consideraremos ahora la aplicacin de las ecuaciones diferenciales a circuitos elctricos simples, que estn formados por una fem10 , resistores, inductores y capacitores. En la figura 3.4 aparece un diagrama de dicho circuito.
9
10
88
q
di
, y EC = .
dt
C
Si E(t) indica el voltaje aplicado al circuito en el instante t, entonces la ley del voltaje de
Kirchhoff implica que
EL + Er + EC = E(t),
al sustituir en la anterior ecuacin las expresiones para EL , ER y EC tenemos
L
11
di
q
+ iR + = E(t),
dt
C
(3.43)
Gustav Robert Kirchhoff fue un fsico alemn que se destac por sus investigaciones en anlisis espectral, ptica y electricidad. Estableci estos principios en 1859.
3.6 Aplicaciones
89
Ejemplo 3.6.3. Flexin de una viga: Una viga uniforme bajo una carga y sujeta a una
fuerza axial constante queda descrita mediante la ecuacin diferencial de cuarto orden no
homognea
y (4) (x) a2 y 00 (x) = g(x), 0 < x < l,
(3.46)
donde y(x) es la flexin de la viga, l es la longitud de la viga, a2 (a > 0) es proporcional a
la fuerza axial y g(x) es proporcional a la carga (ver figura 3.5).
La ecuacin homognea asociada es
y (4) (x) a2 y 00 (x) = 0,
de donde, la ecuacin caracterstica es
r4 a2 r2 = 0,
cuyas races son r1 = r2 = 0, r3 = a, y r4 = a.
Entonces la solucin general de la homognea es
yh = c1 + c2 x + c3 eax + c4 eax .
Para hallar la solucin particular de la no homognea, usamos el mtodo de variacin de
parmetros, obteniendo as
ax
0 x eax
e
ax
ax
0
1 ae
ae
2 ax
2 ax
0
0
a
e
a
e
1 x eax
e
ax
ax
0 1 ae
ae
0 0 a2 eax a2 eax
0 0 a3 eax a3 eax
90
xg(x)
,
a2
anlogamente
g(x)
g(x)eax
g(x)eax
0
0
,
v
=
,
v
=
,
3
4
a2
2a3
2a3
de donde la solucin particular toma la forma
Z
Z
Z
Z
1
x
eax
eax
ax
yp = 2 xg(x)dx 2 g(x)dx + 3 g(x)e dx
g(x)eax dx.
3
a
a
2a
2a
v20 =
c1 + c2 x + c3 e
x
2
a
eax
g(x)dx + 3
2a
ax
ax
1
+ 2
a
ax
eax
dx
2a3
+ c4 e
Z
g(x)e
xg(x)dx
Z
g(x)eax dx.
3.7 Ejercicios
3.7.
91
Ejercicios
(b) x y + e sin(x)y = x .
(d)
d2 y
dy
+
2t
5y = 0.
dt2
dt
(d) y 000 + 2y 00 + 2y 0 + 4y = 0.
(b) 2y 00 y 0 y = 0.
(e) y (4) + y 00 + y = 0.
(c) y 000 3y 00 + 3y 0 y = 0.
= 0
y(0)
(c)
0
(a)
y (0)
= 0
y 00
= 1
000
y (0)
= 1
00
y y = 0
(d)
y(0)
= 2
(b)
0
y (0)
= 12
000
y + 2y 00 + 2y 0 + 4y
y(0)
y 0 (0)
00
y (0)
=
=
=
=
0
0
1
1
00
2y y 0 y = 0
y(0)
= 1
0
y (0)
= 1
92
(c) y 00 + y 0 = 0, y1 = ex .
(b) y 00 4y + 3y = 0, y1 = ex .
(d) y 00 3y 0 + 2y = 0, y1 = e2x .
(c) = 4, y1 = 2x2 1.
(b) = 2, y1 = x x3 .
(b) = 2, y1 = x2 1.
(d) = 5, y1 = x5 5x.
(d) y 00 2y 0 + y = xex .
(b) y 00 y = x + sin x.
(e) y 00 + 4y 0 + 4y =
(c) y 00 + 2y 0 + y = x2 + 1.
10. Resolver los siguientes problemas
(4)
y 3y 000 + 3y 00 y 0 =
=
y(0)
0
(a)
y (0)
=
00
y
=
000
y (0)
=
e2x
.
x2
(f ) y 00 4y 0 + 3y = sin x + 2 cos x.
de valores iniciales:
000
x1
y 3y 00 + 3y 0 y = x2
y(0)
= 1
(b)
0
0
y (0)
= 1
0
1
1
3.7 Ejercicios
93
000
y + 2y 00 + 2y 0 + 4y
y(0)
(c)
y 0 (0)
00
y
=
=
=
=
ex
1
1
1
00
4y y = xex/2
(d)
y(0)
= 1
0
y (0)
= 0
(c) x2 y 00 xy 0 + y = 8x3 .
(b) x3 y 000 + x2 y 00 xy 0 + y = 0.
12. Por medio de la sustitucin x = et , muestre que la ecuacin diferencial de CauchyEuler de segundo orden
ax2 y 00 + bxy 0 + cy = 0,
x > 0,
d2 y
dy
+
(b
a)
+ cy = 0.
dt2
dt
13. Por medio de la sustitucin x = et , muestre que la ecuacin diferencial de CauchyEuler de tercer orden
ax3 y 000 + bx2 y 00 + cxy 0 + dx = 0,
x > 0,
d3 y
d2 y
dy
+
(b
3a)
+
(2a
b
+
c)
+ dy = 0.
dt3
dt2
dt
14. Use el resultado de los dos problemas anteriores para hallar una solucin general de
la ecuacin diferencial dada para x > 0.
(a) x2 y 00 + 7xy 0 7y = 0.
(b) x2 y 00 + 2xy 0 6y = 0.
15. Determine la ecuacin del movimiento de la masa m atada a un resorte con constante
del resorte k, desplazado inicialmente a una distancia y0 del punto de equilibrio y
soltado con una velocidad inicial v0 y sujeto a: Ninguna fuerza amortiguadora o
externa; una constante de amortiguacin b, sin fuerza externa; una fuerza externa
F (t), sin amortiguacin; y una constante de amortiguacin b y una fuerza externa
F (t).
(a) m = 9 kg, k = 1 N/m, y0 = 4 m, v0 = 1 m/s, b = 10 N/s, F (t) = 2 sin(t/3) N .
94
donde G(t, x) =
t x sinh[a(t x)]
.
a2
a3
18. En el ejemplo 3.6.3 sea g(x) = 1. Calcule la solucin general primero mediante la
frmula obtenida en ese ejemplo y luego use la frmula del ejercicio anterior. Compare
estas dos soluciones generales con la solucin general que se obtendra con el mtodo
de coeficientes indeterminados.
19. Al aplicar la teora de elasticidad al estudio de vibraciones transversales de una viga,
de longitud L, aparece la ecuacin
EIy (4) (x) y(x) = 0,
donde y(x) se relaciona con el desplazamiento de la viga en al posicin x; la constante
E es el mdulo de Young; I es el momento de inercia con respecto al rea, que
suponemos constante; es la constante masa por unidad de longitud de la viga, y
es un parmetro positivo por determinar. Podemos simplificar la ecuacin haciendo
(3.47)
3.7 Ejercicios
95
Cuando la viga se sujeta en ambos extremos, se busca una solucin que satisfaga las
condiciones de frontera
y(0) = y 0 (0) = 0, y y(L) = y 0 (L) = 0.
(3.48)
I00 + b0 + k = 0
(0)
= 0
0
(0)
= v0 ,
donde es el ngulo que abre la puerta, I es el momento de inercia de la puerta
en torno de sus bisagras, b > 0 es una constante de amortiguamiento que vara
con la cantidad de friccin en la puerta, k > 0 es la constante de resorte asociada
con la puerta giratoria, 0 es el ngulo inicial de apertura de la puerta y v0 es la
velocidad angular inicial impartida a la puerta (vase la figura 3.6). Si I y k estn
fijos, determine los valores de b para los que la puerta no oscilar de un lado al otro
al cerrarse. Resuelva la ecuacin.
96
L
,
2V
V t
L
L
cos
, para
<t<
L
2V
2V
my 00 + ky =
L
0
, para t
2V
La ausencia de un trmino de amortiguamiento indica que los amortiguadores del
auto no estn funcionando. Considere que m = k = 1 y L = por conveniencia y
resuelva este problema de valor inicial.
CAPTULO
4
La Transformada de Laplace
En los captulos anteriores consideramos los operadores diferenciales. Como se pudo observar, estos operadores consideran una funcin y la transforman en otra funcin. La transformada de Laplace, que es un operador integral, es otra de tales transformaciones.
4.1.
El operador de Laplace
W
: L1
L(f ) = F
De esa forma, una ecuacin diferencial, la cual est expresada como combinacin de funciones conocidas e incgnitas bajo diferentes operaciones, es tambin transformada en otra
ecuacin tal que sus soluciones corresponden a las transformadas de las soluciones de la
ecuacin original. En este sentido, el manejo de las propiedades del operador a considerar,
ser importante para efectuar las correspondientes transformaciones.
98
La Transformada de Laplace
Definicin 4.1.1. Dada una funcin f : [0, +[ R. Definimos la transformada de
Laplace1 de f , como la funcin F , dada por
Z
F (s) = L(f (t)) =
est f (t)dt,
(4.1)
0
st
f (t)dt = lm
est f (t)dt,
entonces
(
L(f (t)) =
Por lo tanto
K
para s > 0
s
+ para s 0
K
, s > 0.
s
K
1
L
= K.
s
F (s) =
Se tiene entonces
La transformada de Laplace recibe su nombre del matemtico francs Pierre Simon, Marqus De
Laplace, el cual fu profesor en Pars, desarroll los fundamentos de la teora del potencial y realiz
importantes contribuciones a la mecnica celeste, la astronoma, las funciones especiales y la teora de la
probabilidad.
2
Pertenecen probablemente a espacios diferentes.
99
luego
L(eat ) =
se deduce, entonces que
1
para s > a.
sa
1
sa
= eat .
=
L(t0 ).
s
s2
sn
1
Pero t0 = 1, as que por un ejemplo anterior L(1) = y
s
L(tn ) =
L(tn ) =
Equivalentemente,
n!
sn+1
n!
sn+1
= L1 (L(tn )) = tn .
Ejemplo 4.1.4. Si f (t) = cos(at), su transformada de Laplace se obtiene tambin integrando por partes. Sean u = cos(at) y dv = est dt; entonces
Z
Z
est cos(at) a st
st
|0
e sin(at)dt,
L(cos(at)) =
e cos(at)dt =
s
s 0
0
o
L(cos(at)) =
1 a
L(sin(at)).
s s
100
La Transformada de Laplace
Debemos calcular esta ltima integral otra vez por partes, con u = cos(at) y dv = est dt,
entonces
st
Z
Z
1 a st
1 a
e sin(at) a st
L(cos(at)) =
|0 +
e sin(at)dt =
e cos(at)dt ,
s s 0
s s
s
s 0
o
1 a2
L(cos(at)).
s s2
Pasando el ltimo trmino del lado derecho de la anterior ecuacin al lado izquierdo, obtenemos
a2
1
1 + 2 L(cos(at)) = ,
s
s
o
s
L(cos(at)) = 2
.
s + a2
Adems, como
1 s
L(sin(at)) = L(cos(at)),
a a
se tiene
a
L(sin(at)) = 2
.
s + a2
Evidentemente estos clculos son vlidos slo para s > 0.
L(cos(at)) =
Ejemplo 4.1.5. Si
1 , 0 t < 1,
2 , 1 t < 2,
f (t) =
0 , t > 2,
entonces
L(f (t)) =
st
f (t)dt =
st
dt + 2
est dt,
luego
L(f (t)) =
de donde
1 + es 2e2s
, para s > 0,
s
1 + es 2e2s
s
= f (t).
(4.2)
101
Se puede mostrar que la anterior integral impropia converge para t > 0. Una propiedad
til es la relacin recursiva
(t + 1) = t(t).
(4.3)
Esta identidad es consecuencia de la definicin, despus de una integracin por partes.
Cuando t es un entero positivo, digamos t = n, entonces la relacin recursiva (4.3) se puede
aplicar varias veces par obtener
(n + 1) = n(n) = n(n 1)(n 1) = = n(n 1)(n 2) 2(1).
La definicin (4.2) implica que (1) = 1, de modo que
(n + 1) = n!.
As, vemos que la funcin gamma extiende el concepto de factorial.
Como aplicacin de la funcin gamma, calculemos la transformada de Laplace de una
potencia arbitraria de t.
Ejemplo 4.1.6. Verifiquemos que
L(ta ) =
para cada a > 1.
En efecto, por definicin
(a + 1)
,
sa+1
L(t ) =
est ta dt,
n!
sn+1
En los anteriores ejemplos se muestra que L(f (t)) puede no estar definida para todos los
valores de s, pero en caso de estar definida, existir para valores suficientemente grandes
de s. Hay funciones para las que la integral impropia (4.1) no converge para cualquier valor
de s, por ejemplo:
1
Ejemplo 4.1.7. Sea f (t) = . Entonces
t
Z st
Z 1 st
Z st
e
e
e
L(f (t)) =
dt =
dt +
dt,
t
t
t
0
0
1
102
La Transformada de Laplace
para t en el intervalo [0, 1], est es , si s > 0. Entonces
Z
est
dt es
t
Z
1
0
1
dt +
t
est
dt.
t
1
dt diverge. Por tanto, la funcin dada no tiene transt
Este ltimo ejemplo y la discusin anterior a el, sealan la necesidad de contestar las
siguientes preguntas:
1. Qu funciones f (t) tienen transformada de Laplace?
2. Pueden dos funciones f (t) y g(t) tener la misma transformada?
Al contestar estas preguntas, nos daremos por satisfechos con poder encontrar una clase
de funciones, lo suficientemente grande para que contenga a todas las funciones para las
cuales existen las transformadas de Laplace y tienen inversas nicas.
Para poder dar condiciones que garanticen la existencia de la transformada de Laplace, es
necesario las siguientes definiciones:
Definicin 4.1.3. Una funcin f (t) en [a, b] se dice que tiene una discontinuidad de
salto en un punto t0 ]a, b[ si f (t) es discontinua en t0 , pero los lmites laterales lm+ f (t)
tt0
, 0 t < 1,
1
2
, 1 t < 2,
f (t) =
1/2 , 2 t 4,
cuya grfica aparece en la figura (4.1), es continua por tramos en [0, 4].
Podemos ver que la grfica de f (t) muestra que f (t) es continua en los intervalos ]0, 1[,
]1, 2[ y ]2, 4[. Adems, en los puntos de discontinuidad, t = 1, y t = 2, la funcin tiene
discontinuidades de salto, pues los lmites laterales existen.
103
Figura 4.1:
Definicin 4.1.5. Una funcin f (t) se dice que es de orden exponencial si existen
constantes positivas T y M tales que
|f (t)| M et , para toda t T.
(4.4)
et
lm
= lm et(t) = +
t et
t
para cualquier .
Las funciones que aparecen por lo general al resolver ecuaciones diferenciales lineales son
tanto continuas por partes como de orden exponencial. Como se mostrar a continuacin,
con el siguiente teorema, las transformadas de Laplace de tales funciones existen para
valores suficientemente grandes de s.
Teorema 4.1.1 (Teorema para la existencia de la transformada). Si la funcin
f (t) es continua por partes en [0, [ y de orden exponencial , entonces L(f (t)) existe
para s > .
Demostracin. Debemos mostrar que la integral
Z
L(f (t)) =
est f (t)dt
0
104
La Transformada de Laplace
converge para s > . Primero separamos la anterior integral en dos, as:
Z
Z T
Z
st
st
e f (t)dt =
e f (t)dt +
est f (t)dt,
0
(4.5)
donde T se elige de modo que se cumpla la desigualdad (4.4). La primera de las integrales
de la derecha de (4.5) existe porque f (t) y por tanto est f (t) son continuas por partes en
el intervalo [0, T ] para cualquier s fija. Para ver que la segunda integral de la derecha en
(4.5) converge usamos el criterio de comparacin para integrales impropias.
Como f (t) es de orden exponencial , tenemos que para t T , |f (t)| M et , y por tanto
|est f (t)| est |f (t)| M e(s)t ,
para toda t T . Ahora, para s > .
Z
Z
(s)t
Me
dt = M
T
e(s)t dt =
M e(s)T
< .
s
4.2.
105
Teorema 4.2.1 (Linealidad). Sean f , g funciones cuyas transformadas de Laplace existen para s > y a, b R. Entonces, para s > ,
L(af (t) + bg(t)) = aF (s) + bG(s).
(4.6)
(4.7)
Equivalentemente
= a
Z
st
f (t)dt + b
est g(t)dt
1
3s + 1
4
=
.
s s+1
s(s + 1)
Teorema 4.2.2 (Traslacin en el eje s). Si la transformada de Laplace L(f (t)) = F (s)
existe, para s > , entonces
L(eat f (t)) = F (s a),
(4.8)
para s > + a.
Equivalentemente
L1 (F (s)) = eat f (t).
(4.9)
106
La Transformada de Laplace
Demostracin. Calculamos
Z
at
L(e f (t)) =
se tiene
at
L(e f (t)) =
e(sa)t f (t)dt
= F (s a).
Equivalentemente
L1 (F (s a)) = L1 (L(eat f (t)))
= eat f (t).
1
,
s2
1
.
(s 1)2
s2
2
,
+4
y a = 1, tenemos
L(et sin(2t)) = F (s + 1) =
2
.
(s + 1)2 + 4
Teorema 4.2.3 (Transformada de derivadas de orden superior). Sean f (t), f 0 (t), . . . , f (n1) (t)
continuas en [0, [ y sea f (n) (t) continua por parte en [0, [, con todas estas funciones de
orden exponencial . Entonces, para s > ,
L(f (n) (t)) = sn F (s) sn1 f (0) f (n1) (0).
(4.10)
107
Demostracin. Como L(f 0 (t)) existe, podemos integrar por partes, haciendo u = est y
dv = f 0 (t)dt, para obtener
Z
0
L(f (t)) =
est f 0 (t)dt
0
Z
=
lm
est f 0 (t)dt
st
lm
f (t) N
0 +s
st
f (t) dt
Z
sN
lm e
f (N ) f (0) + s lm
est f (t)dt
Para evaluar lm esN f (N ), observamos que como f (t)es e orden exponencial , existe
N
una constante M tal que para N grande
|esN f (N )| esN M et = M e(s)N .
Por lo tanto, para s > ,
0 lm |esN f (N )| lm M e(s)N = 0,
N
de modo que
lm esN f (N ) = 0,
para s > .
Entonces obtenemos
L(f 0 (t)) = sL(f (t)) f (0).
El resultado general (4.10) se sigue al aplicar induccin sobre n.
Ejemplo 4.2.4. Calculemos L(cos2 (at)).
Sea f (t) = cos2 (at), entonces
f 0 (t) = 2a cos(at) sin(at) = a sin(2at),
como f (0) = 1, se tiene que
L(f 0 (t)) = sL(f (t)) f (0) = sL(cos2 (at)) 1,
y como
L(f 0 (t)) = aL(sin(2at)) =
2a2
,
s2 + 4a2
108
La Transformada de Laplace
se tiene entonces que
L(cos2 (at)) =
2a2
s2 + 2a2
1
=
, para s > 0.
s s(s2 + 4a2 )
s(s2 + 4a2
t0
es finito, entonces
o, equivalentemente
f (t)
t
f (t)
t
F (u)du,
(4.11)
F (u)du
s
f (t)
.
t
(4.12)
sin(t)
Ejemplo 4.2.5. Determinemos L
.
t
1
Tenemos que si f (t) = sin(t), F (s) = 2
, entonces aplicando el teorema anterior
s +1
Z
sin(t)
1
=
du = arctan(u)|
L
s .
2
t
u +1
s
Entonces
sin(t)
t
= arctan(s) = arctan
2
1
,
s
s > 0.
Teorema 4.2.5 (Derivada de transformada). Sea F (s) = L(f (t)) y suponga que f (t)
es continua por partes en [0, [ y de orden exponencial . Entonces, para s > ,
L(tn f (t)) = (1)n
Demostracin. Sabemos que
F (s) =
dn F
(s).
dsn
est f (t)dt,
est f (t)dt,
(4.13)
109
debido a la hiptesis sobre f (t), podemos aplicar un teorema de clculo (llamado la regla
de Leibniz) para intercambiar el orden de integracin y derivacin:
dF
(s) =
ds
d st
(e )f (t)dt
ds
est tf (t)dt
= L(tf (t)).
As,
L(tf (t)) = (1)
dF
(s).
ds
s2
a
,
+ a2
dF
2as
(s) = 2
.
ds
(s + a2 )2
s+1
.
s3
1
Del teorema de derivada de transformada tenemos que f (t) = L1 (F 0 (s)). Como
t
s+1
F (s) = ln
= ln(s + 1) ln(s 3),
s3
se tiene que
F 0 (s) =
entonces
de donde
1
1
,
s+1 s3
1
f (t) = L1
t
1
1
s+1 s3
1
f (t) = (et e3t ).
t
110
La Transformada de Laplace
4.3.
En el captulo anterior vimos cmo resolver ecuaciones diferenciales lineales, que surgen de
problemas de aplicacin, en las cuales la funcin forzadora era continua. Sin embargo en la
gran mayora de los casos de aplicaciones la funcin forzadora es una funcin escalonada o
peridica o de impulso. en esta seccin veremos estos casos.
La siguiente funcin, importante en las aplicaciones prcticas, se conoce como funcin
escaln unitario o funcin de Heaviside.
0 , t < 0,
H(t) =
(4.14)
1 , t > 0.
Al recorrer el argumento de H(t) podemos mover el salto a otra posicin, es decir
H(t a) =
0 , t a < 0,
=
1 , t a > 0,
0 , t < a,
1 , t > a,
(4.15)
111
Figura 4.3:
Teorema 4.3.1 (Traslacin en el eje t). Supongamos que F (s) = L(f (t)) existe para
s > 0. Si a es una constante positiva, entonces
L(f (t a)H(t a)) = eas F (s).
(4.16)
(4.17)
Equivalentemente
Demostracin. Usando la definicin de la transformada de Laplace, tenemos
Z
Z
st
L(f (t a)H(t a)) =
e f (t a)H(t a)dt =
est f (t a)dt,
a
esu f (u)du,
de donde
L(f (t a)H(t a)) = eas F (s).
Equivalentemente
L1 (eas F (s)) = L1 (L(f (t a)H(t a))) = f (t a)H(t a).
112
La Transformada de Laplace
Observamos que la frmula (4.16) incluye como caso particular la expresin para cuando
1
f (t) 1, en efecto, dado que L(1) = , obtenemos
s
eas
L(H(t a)) =
.
s
(4.18)
(4.19)
H(t 2) sin(t 2) =
0
, t < 2,
sin(t 2) , t > 2,
2s
1
e2s
L(sin t) = + 2
.
s s +1
s2
1
.
+1
es
.
s2 + 1
Definicin 4.3.1. Una funcin f (t) se dice que es peridica con periodo T si
f (t + T ) = f (t),
para todo t en el dominio de f .
L(f (t)) =
st
f (t)dt +
est f (t)dt,
como la funcin f (t) es continua por partes en [0, T ], la primera integral del lado derecho
existe, para la segunda integral hacemos la sustitucin u = t T , entonces
Z
Z
st
e f (t)dt =
es(u+T ) f (u + T )du,
T
luego
F (s) =
entonces
Z
sT
(1 e
)F (s) =
est f (t)dt,
/a
0
est cos(at)dt =
s(1 + es/a )
est
/a
(a
sin(at)
s
cos(at))|
=
,
0
s2 + a2
s2 + a2
as que
L(| cos(at)|) =
s 1 + es/a
,
s2 + a2 1 es/a
113
114
La Transformada de Laplace
s
s
coth
.
s2 + a2
2a
Definicin 4.3.2. La funcin Delta de Dirac3 (t) se caracteriza por las dos propiedades siguientes:
0 , t 6= 0,
(t) =
(4.21)
, t = 0,
y
Z
f (t)(t)dt = f (0),
(4.22)
para cualquier funcin f (t) que sea continua en un intervalo abierto que contiene a t = 0.
Al recorrer el argumento de (t), tenemos que (t a) = 0, t 6= a y
Z
f (t)(t a)dt = f (a),
(4.23)
para cualquier funcin f (t) que sea continua en un intervalo abierto que contiene a t = a.
Es claro que (t a) no es una funcin en el sentido usual; en realidad, es un ejemplo de
3
El fsico matemtico ingls Paul M. Dirac introdujo esta funcin para trabajar los sistemas mecnicos,
circuitos elctricos, doblamiento de vigas y otras aplicaciones donde aparecen funciones con un valor muy
grande en un intervalo de tiempo corto.
4.4 Convolucin
115
Z t
0 , t < a,
( a)d =
= H(t a).
(4.24)
1 , t>a
(4.25)
L1 (eas ) = (t a).
(4.26)
Equivalentemente
Demostracin. Al aplicar la propiedad (4.23), como (t a) = 0 para t 6= a, haciendo
f (t) = est en (4.23), tenemos para a 0
Z
Z
st
est (t a)dt = eas .
e (t a)dt =
L((t a)) =
Equivalentemente
L1 (eas ) = L1 (L((t a))) = (t a).
En particular si a = 0 se tiene
L((t)) = 1.
(4.27)
4.4.
Convolucin
Hemos visto que la transformada de Laplace es lineal. As, la transformada de una suma es
la suma de transformadas. sin embargo, no es vlido que la transformada de un producto
sea el producto de transformadas. Podemos definir, sin embargo, una cierta operacin
entre dos funciones, tales que la transformada de la funcin resultante sea el producto de
las transformadas de las funciones operadas. Denominaremos convolucin a la funcin
resultante de la combinacin de las funciones indicadas.
Definicin 4.4.1. Sean f y g funciones continuas por partes en el intervalo [0, ). La
convolucin de f y g, que se denota por f g se define como
Z t
(4.28)
(f g)(t) =
f (t u)g(u)du.
0
116
La Transformada de Laplace
Es claro que la convolucin es distinta de la multiplicacin usual. Por ejemplo 1 1 = t 6= 1,
y en general 1 f 6= f . Sin embargo, la convolucin satisface algunas propiedades de la
multiplicacin.
Teorema 4.4.1. Sean f , g y h funciones continuas por partes en [0, ). Entonces
1. f g = g f .
2. f (g + h) = f g + f h.
3. (f g) h = f (g h).
4. f 0 = 0.
La demostracin se deja como ejercicio.
Ahora mostraremos que si Y (s) es el producto de las transformadas de Laplace F (s) y
G(s), entonces y(t) es la convolucin (f g)(t).
Teorema 4.4.2 (Teorema de convolucin). Sean f y g funciones continuas por partes
en [0, ) y de orden exponencial ; sean F (s) = L(f (t)) y G(s) = L(g(t)). Entonces
L(f g) = F (s)G(s),
(4.29)
L1 (F (s)G(s)) = (f g)(t).
(4.30)
o, de manera equivalente
Demostracin. Usando la definicin de transformada de Laplace, para s > , tenemos
Z
est (f g)(t)dt,
L(f g) =
0
Z t
Z
st
f (t u)g(u)du dt.
L(f g) =
e
0
Para simplificar los clculos introducimos la funcin escaln unitario H(t u) y escribimos
Z
Z
st
L(f g) =
e
Ht u)f (t u)g(u)du dt,
0
Z
st
L(f g) =
g(u)
e H(t u)f (t u)dt du.
0
4
Esto se puede hacer debido a que para s > , el valor absoluto del integrando es integrable en
(0, ) (0, ).
4.4 Convolucin
117
Se observa que la frmula (4.29) incluye como caso particular la expresin para cuando
1
f (t) 1, esto es, dado que L(1) = , se tiene
s
Z t
G(s)
(4.31)
L
g(u)du =
,
s
0
que es la frmula de la transformada de una integral.
Ejemplo 4.4.1. Halle la transformada inversa de
Tenemos que
(s2
s
.
+ 1)2
s
s
1
= 2
.
2
2
+ 1)
s +1s +1
Entonces por el teorema de convolucin
s
1
L
= sin(t) cos(t).
(s2 + 1)2
(s2
1
=
2
1
1
t
=
t sin(t) + cos(t 2u)|0
2
2
=
Entonces
1
t sin(t).
2
1
L1 (F (s)G(s)) = t sin(t).
2
118
La Transformada de Laplace
4.5.
En los captulos anteriores se estudiaron algunos mtodos para resolver estos problemas.
Estos mtodos requieren hallar, previamente, una solucin general de la ecuacin diferencial y luego usar las condiciones iniciales para determinar la solucin particular. Como
veremos, las transformadas de Laplace nos conduce a la solucin deseada del problema con
valores iniciales, sin necesidad de hallar la solucin general.
El mtodo de transformadas de Laplace se reduce a los siguientes pasos:
1. Consideramos la transformada de Laplace a ambos lados de la ecuacin diferencial.
2. Usamos las propiedades de la transformada de Laplace y las condiciones iniciales
para obtener una ecuacin para la transformada de la solucin y luego despejamos
la transformada en esta ecuacin.
3. Determinamos la transformada inversa de Laplace de la solucin, usando las propiedades o buscndola en la tabla.
Ejemplo 4.5.1. Apliquemos la transformada
valores iniciales
00
4y + 2 y
y(0)
0
y (0)
Aplicando el operador de Laplace, tenemos que
L(4y 00 + 2 y) = L(0) = 0,
luego, por linealidad
4L(y 00 ) + 2 L(y) = 0,
entonces, por el teorema de transformada de derivadas de orden superior
4[s2 Y (s) sy(0) y 0 (0)] + 2 Y (s) = 0,
de donde obtenemos
2s
Y (s) =
.
2
+
4
Finalmente, aplicando transformada inversa, tenemos
s2
y(t) = L1 (Y (s))
= L1
2s
2
s2 +
4
t
= 2 cos
.
2
119
Ejemplo 4.5.2. Determinemos una solucin no trivial del problema de valor inicial
00
xy + (x 2)y 0 + y = 0
y(0)
= 0.
Aplicando el operador de Laplace a la ecuacin diferencial, tenemos
L(xy 00 + (x 2)y 0 + y) = L(0) = 0,
donde L(y) = Y (s). Ahora, por el teorema de derivada de transformada,
L(xy 00 ) =
=
d
[L(y 00 )]
ds
d 2
[s Y (s) sy(0) y 0 (0)]
ds
d
[L(y 0 )]
ds
d
[sY (s) y(0)]
ds
= sY 0 (s) Y (s),
y, por el teorema de transformada de derivadas de orden superior
L(y 0 ) = sY (s) y(0) = sY (s).
Por lo tanto, al reemplazar y simplificar, tenemos
(s2 + s)Y 0 (s) = 4sY (s),
la cual es una ecuacin diferencial de orden uno en variables separables.
Resolvindola obtenemos
c
,
Y (s) =
(s + 1)4
de donde
y(x) = L1 (Y (s)) = kx3 ex ,
k 6= 0.
120
La Transformada de Laplace
Aplicamos el operador de Laplace a la ecuacin diferencial
L(y 00 + 6y 0 + 34y) = L(30 sin(2t)),
por la linealidad de la transformada tenemos
L(y 00 ) + 6L(y 0 ) + 34L(y) = 30L(sin(2t)),
donde L(y) = Y (s), L(sin(2t)) =
orden superior, tenemos
2
, por el teorema de transformada de derivadas de
s2 + 4
(s2
60
.
+ 4)[(s + 3)2 + 25]
2
1
f (t) = L
= sin(2t),
s2 + 4
y
g(t) = L
entonces
y(t) = L
5
(s + 3)2 + 25
= e3t sin(5t),
60
(s2 + 4)[(s + 3)2 + 25]
= 6f (t) g(t).
El matemtico italiano Vito Volterra, en 1931, public un libro que contena un modelo de crecimiento
de poblacin, en la forma de esta ecuacin.
H(s)
.
G(s) + 1
1
2
Si en particular g(t) = sinh(t) y h(t) = t2 , se tiene que G(s) = 2
y H(s) = 3 ,
s 1
s
entonces
2/s3
2(s2 1
2
2
F (s) =
=
= 3 5,
2
5
1 + 1/(s 1)
s
s
s
de donde
f (t) = t2
t4
.
12
Ejemplo 4.5.5. El tanque mezclador de la figura 4.5 contiene inicialmente 500 litros de
una salmuera, con una concentracin de sal de 2 kg/l. Durante los primeros 10 minutos
de operacin, se abre la vlvula A, aadiendo 12 l/min de una solucin con una concentracin de sal de 4 kg/l. Despus de 10 minutos, se cambia a la vlvula B, la cual agrega
una concentracin de 6 kg/l a 12 l/min. La vlvula de salida C elimina 12 l/min, manteniendo constante el volumen. Determine la concentracin de sal en el tanque como funcin
del tiempo.
En los captulos 1 y 2 analizamos una versin ms sencilla de este problema.
121
122
La Transformada de Laplace
x(t)
3x(t)
l/min)
kg/l =
kg/min a travs de la vlvula de salida C. Simultneamen500
125
te, se enriquece a travs de las vlvulas A y B a razn r(t), dada por
dx(t) 3x(t)
+
= r(t),
dt
125
con condicin inicial x(0) = 1000 kilogramos.
Aplicamos la transformada de Laplace a la ecuacin diferencial resultante para obtener
dx(t)
3x(t)
L
+L
= L(r(t)),
dt
125
de donde
sX(s) x(0) +
3
X(s) = R(s),
125
R(s) = L(r(t)) =
st
R(s) =
10
r(t)dt =
entonces
1000 + R(s)
,
s + 3/125
Z
st
48e
dt +
72est dt,
10
48est 10 72est 48
e10s
|0
|10 =
+ 24
,
s
s
s
s
125
125
yB=
, luego
3
3
2000
1000
e10s
e10s
+ 1000
1000
.
s
s + 3/125
s
s + 3/125
x(t)
= 4 2e3t/125 + 2H(t 10) 2H(t 10)e3(t10)/125 ,
500
123
124
La Transformada de Laplace
f (t) = L1 (F (s))
1
eat
tn ,
n entero positivo
ta ,
a > 1
cos(at)
sin(at)
cosh(at)
sinh(at)
eat f (t)
H(t a)
H(t a)f (t a)
tn f (t),
n entero positivo
(n)
f (t),
n entero positivo
(t a)
(t)
(f g)(t)
Z t
f (u)du
0
s2 + a2
a
2
s + a2
s
, s > |a|
2
s a2
a
, s > |a|
s2 a2
F (s a)
eas
, s>0
s
as
e F (s)
(1)n F (n) (s)
sn F (s) sn1 f (0) f (n1) (0)
eas
1
F (s)G(s)
F (s)
, s>0
Zs
f (t)
t
f (t),
1
, s>0
s
1
, s>a
sa
n!
, s>0
sn+1
(a + 1)
, s>0
ssa+1
F (u)du
Z T
1
est f (t)dt
1 eTs 0
as
1
tanh
, s>0
s as 2
e
, s>0
s(1 eas )
1 5 (2n 1)
,
s>0
2n sn+1/2
1
s
F
a
a
s
periodo
T >0
(1)[|at|] ,
(onda cuadrada)
t
,
a > 0,
(escalera)
a
tn1/2 ,
n entero positivo
f (at),
a>0
4.6 Ejercicios
4.6.
125
Ejercicios
(a) F (s) =
(b)
(c)
(d)
(e)
1
.
1
s
(g) F (s) = 2
.
s 4
1
(h) F (s) = 2
.
s +s
1
(i) F (s) = 2
.
(s + 1)2
(f ) F (s) =
(j) F (s) =
(b) f (t) = t.
s2
(s2
10
.
+ 1)[(s 3)2 + 16]
et et
.
t
sinh(t)
(d) f (t) =
.
t
(c) f (t) =
126
La Transformada de Laplace
s+2
(a) F (s) = ln
.
s2
2
s +4
(b) F (s) = ln 2
.
s +1
1
(c) F (s) = arctan
.
s+1
s
.
+ 1)3
2s
(e) F (s) = 2
.
(s 1)2
1
1
(f ) F (s) = arctan
.
s
s
(d) F (s) =
(s2
estn Jf (tn ),
(4.32)
n=1
1 si 0 t < 1
0 si t 1.
(b) x(t) = t +
1
6
Z
(t u)2 x(u)du.
(d) f (t) = t2 +
0
t
4.6 Ejercicios
127
Z
t<1
t,
2 t, 1 t 2
y(u)du = f (t), y(0) = 1, donde f (t) =
0,
t>2
Z t
1
1
1
1
1
L
=
uL
du.
(s2 + a2 )n+1
2n 0
(s2 + a2 )n
13. (a) Utilizando el resultado del ejercicio anterior pruebe que
Z t Z t
Z t
1
1
1
u
u
u sin(au)dudu du,
L
= n
(s2 + a2 )n+1
2 an! 0
0
0
donde la integral se repite n-veces.
(b) Deduzca la frmula similar para L
0
1
Ga (t) =
s
.
(s2 + a2 )n+1
se define como
, t<0
, 0<t<a
, a < t.
128
La Transformada de Laplace
17. En el ejemplo 4.5.5, suponga que la vlvula C slo elimina 6 l/min. Se puede usar
la transformada de Laplace para resolver este problema? Justifique su respuesta.
18. En la figura 4.6 se muestra una viga de longitud 2a que est empotrada en un soporte
por el lado izquierdo y libre por la derecha. La deflexin vertical de la viga a una
distancia x del soporte se denota por y(x). Si la viga tiene una carga concentrada P
que acta sobre ella en el centro de la viga, entonces la deflexin debe satisfacer el
problema simblico con valores en la frontera
EIy (4) (x) = P (x a); y(0) = y 0 (0) = y 00 (2a) = y 000 (2a) = 0,
donde E, es el mdulo de elasticidad, e I es el momento de inercia, son constantes.
Determine una frmula para el desplazamiento y(x) en trminos de las constantes a,
P , E, e I. (Sugerencia: Haga y 00 (0) = A, y y 000 (0) = B. Primero resuelva el problema
simblico de cuarto orden con valores iniciales y luego use las condiciones y 00 (2a) =
y 000 (2a) = 0, para determinar A y B.)
segundos, la masa es golpeada con un martillo que ejerce un impulso sobre ella.
2
El sistema queda descrito mediante el problema simblico con valores iniciales
x00 (t) + 9x(t) = 3(t /2), x(0) = 1, x0 (0) = 0,
donde x(t) denota el desplazamiento con respecto del equilibrio en el instante t. Qu
le ocurre a la masa despus de ser golpeada?
4.6 Ejercicios
129
20. La corriente I(t) de un circuito RLC con fuente de voltaje E(t) (ver figura 3.4) queda
descrita mediante el problema con valores iniciales
LI 00 (t) + RI 0 (t) +
I(0) = a,
1
I(t) = e(t),
C
I 0 (0) = b,
donde e(t) = E 0 (t). Para las constantes dadas R, L, C, a y b, halle una frmula para
la solucin I(t) en trminos de e(t).
(a) R = 20 ohms, L = 5 henrys, C = 0,005 f arads, a = 1 amperes, b = 8
amperes/segundo.
(b) R = 80 ohms, L = 10 henrys, C = 1/410 f arads, a = 2 amperes, b = 8
amperes/segundo.
(c) R = 100 ohms, L = 20 henrys, C = 1/100 f arads, a = 4 amperes, b = 10
amperes/segundo.
(d) R = 2 ohms, L = 0,1 henrys, C = 0,0001 f arads, a = 0 amperes, b = 0
amperes/segundo.
21. Una aplicacin a la teora de control. Consideremos un servomecanismo que modela un piloto automtico. Este mecanismo aplica un momento de torsin al eje de
direccin, de modo que un avin o bote seguir un curso establecido con anterioridad. Si y(t) es la direccin real (el ngulo) del vehculo en el instante t y g(t) es la
direccin deseada en el mismo instante, entonces el error o desviacin entre ellas es
e(t) = y(t) g(t).
Supongamos que el servomecanismo puede medir el error e(t) y retroalimentar al
eje de direccin mediante un componente del momento de torsin proporcional a
e(t) pero opuesto en signo (ver figura 4.7). La segunda ley de Newton, expresada en
trminos de momentos de torsin, establece que (momento de inercia)(aceleracin
angular)=momento de torsin total.
Para el servomecanismo descrito, tenemos
Iy 00 (t) = ke(t),
donde I es el momento de inercia del eje de direccin y k es una constante de proporcionalidad positiva.
(a) Determinar el error e(t) para el piloto automtico si el eje de direccin est
inicialmente en reposo en la direccin cero y la direccin deseada est dada por
g(t) = at, donde a es una constante.
(b) Determinar el error e(t) para el piloto automtico si el eje de direccin est
inicialmente en reposo en la direccin cero y la direccin deseada est dada por
g(t) = a, donde a es una constante.
130
La Transformada de Laplace
4.6 Ejercicios
131
132
La Transformada de Laplace
CAPTULO
5
Solucin en Series
5.1.
Series infinitas
n
X
k=1
fk (x), n = 1, 2, . . .
134
Solucin en Series
Le llamaremos serie infinita de funciones a la sucesin {Sn }
n=1 y la denotamos con el
X
X
smbolo
, es decir
fn (x).
n=1
X
lm Sn (x) =
fn (x).
n
n=1
an (x x0 )n ,
n=0
xn se denomina serie
n=0
geomtrica. A pesar de su sencillez es una serie de gran importancia. Estudiemos lo relacionado con su convergencia.
n
X
Sus sumas parciales son Sn (x) =
xk . Si consideramos el punto x = 1, Sn (1) = n + 1,
k=0
(5.1)
(5.2)
135
Para estudiar la existencia o no del limite lm Sn (x), sumamos miembro a miembro (5.1)
n
1
xn+1
Sn (x) =
1x 1x
(5.3)
1
.
1x
(5.5)
X
n=0
xn =
1
, s y slo s |x| < 1.
1x
(5.6)
(5.6) nos dice que la serie converge nicamente en el intervalo abierto ] 1, 1[.
5.2.
X
n=0
an (x x0 )n
136
Solucin en Series
converge, por lo menos, en x = x0 . Esto resulta obvio, ya que, Sn (x0 ) = a0 , para todo n.
Nuestro propsito de demostrar la existencia de un intervalo de convergencia se apoya en
el siguiente teorema.
Teorema 5.2.1. Si la serie de potencias
an (x x0 )n
n=0
|an (x x0 )n |
n=0
an (x x0 )n converge en x = x1 , entonces
n=0
lm an (x1 x0 )n = 0,
esto significa que, para todo , > 0, existe N (), N () entero positivo, tal que, para toda
n, n N (), se cumple que
|an (x1 x0 )n | < .
Para = 1, existe N (1), N (1) entero positivo, tal que, para toda n, n N (1), se tiene que
|an (x1 x0 )n | < 1.
Sea > 0, y designemos por J al intervalo de centro en x0 y de longitud 2, es decir
J = [x0 , x0 + ], donde 0 < < |x1 x0 |.
Si x J y n N (1), tenemos
x x0 n n
n
n x x0
n
X
. Puesto que 0 < t < 1, la serie
|an (x x0 )n | est dominada por
donde t =
x1 x0
la serie geomtrica convergente
lo que es lo mismo la serie
X
n=0
n=0
n=0
|an (x x0 )n | es convergente o
n=0
137
X
reales
tn converge, podemos invocar el criterio M de Weierstrass y asegurar que la
n=0
serie
an (x x0 )n converge uniformemente en J.
n=0
n=0
|x x0 | | la serie
)
n
an (x x0 ) converge en x .
n=0
an (x1 x0 )n
n=0
de modo que |x1 x0 | A. Asimismo, ningn nmero de A puede ser mayor que |x2 x0 |,
por el teorema 5.2.1. Luego, |x2 x0 | es una cota superior de A y en virtud del axioma de
completez de los nmeros reales, existe el extremo superior de A, designemos con r dicho
extremo, esto es, r = sup A. Es evidente que r |x1 x0 | > 0, r > 0. Ningn nmero
de A puede superar a r, por consiguiente, la serie diverge si |x x0 | > r. En efecto; si
|x x0 | < r, existe un nmero positivo x , tal que, |x x0 | A, y
|x x0 | < |x x0 | < r.
De lo anterior se tiene que
n=0
la desigualdad |x x0 | < r.
5.3.
X
n=0
138
Solucin en Series
Se ha establecido previamente que para cada x J, la serie
an (x x0 )n converge y
n=0
para los x, tales que, |xx0 | > r, la serie diverge. En los puntos x0 r y x0 +r los teoremas
expuestos no son concluyentes, es decir, la serie puede converger o diverger en ellos.
X
La serie de potencias
an (x x0 )n define en J una funcin f , as;
n=0
an (x x0 )n
n=0
5.3.1.
Los problemas bsicos que surgen al estudiar los desarrollos en series de potencias son
fundamentalmente los siguientes:
1. Dada la serie de potencias, hallar las propiedades de la funcin suma f .
2. Dada la funcin f , investigar si puede ser o no representada por una serie de potencias.
139
an (x x0 )n
(5.7)
n=0
f (t)dt =
x0
X
n=0
Z
an
X
an
(t x0 ) dt =
(x x0 )n+1 .
n+1
x0
n=0
x
El teorema siguiente pone de manifiesto, que una serie de potencias se puede derivar trmino
a trmino en el interior de su intervalo de convergencia; este hecho resulta particularmente
importante en las soluciones mediante series de potencias de ecuaciones diferenciales.
Teorema 5.3.2. Si una funcin f est representada por la serie de potencias
f (x) =
an (x x0 )n ,
n=0
n=0
(b) La derivada f 0 (x) existe para cada x del intervalo de convergencia y viene expresada
por
X
f 0 (x) =
nan (x x0 )n1
(5.8)
n=0
X
1
= f (x)
xn =
1
x
n=0
en el intervalo de convergencia ] 1, 1[= J.
Si x ] 1, 1[, entonces x ] 1, 1[; de modo que
X
(1)n xn =
n=0
1
,
1+x
140
Solucin en Series
e integrando trmino a trmino en [0, t] ] 1, 1[
Z t
Z tX
n+1
X
dx
n n
n t
=
= ln(1 + t);
(1) x dx =
(1)
n
+
1
1
+
x
0
0 n=0
n=0
esto significa que
X
tn+1
(1)n
= ln(1 + t), t ] 1, 1[.
n+1
n=0
X
(1)n x2n =
n=0
1
,
1 + x2
n 2n
(1) x
dx =
0
t
0
n=0
dx
,
1 + x2
X
t2n+1
(1)n
= arctan(t), 1 < t < 1.
2n
+
1
n=0
X
f (x) =
an (x x0 )n ,
n=0
nan (x x0 )n1 , x J;
n=1
f (x)
x J;
x J;
n=2
000
f (x)
X
n=3
..
.
f
..
.
(k)
(x) =
X
n=k
..
.
n(n 1) (n k + 1)an (x x0 )nk , x J;
141
donde k es cualquier entero positivo. Esto significa que una serie de potencias posee derivadas de cualquier orden.
Si hacemos x = x0 , queda como nico trmino, el correspondiente a n = k; es decir,
f (k) (x0 ) = k!ak ,
de donde
ak =
f (k) (x0 )
, para k = 1, 2, 3, . . .
k!
Esta frmula tambin es vlida para k = 0 si interpretamos a f (0) (x0 ) como f (x0 ).
As pues, el desarrollo de f en serie de potencias tiene la forma
f (x) =
X
f (k) (x0 )
k!
k=0
(x x0 )k
(5.9)
an (x x0 ) y
n=0
bn (x x0 )n tienen la
n=0
misma funcin suma f en un cierto entorno del punto x0 , entonces las series son iguales
f (n) (x0 )
trmino a trmino; por lo tanto, tenemos que an = bn =
para cada n 0.
n!
Ahora disertamos, con brevedad, sobre la segunda cuestin mencionada en 5.3.1, esto es,
dada una funcin f , averiguar si es o no desarrollable en serie de potencias en un intervalo
abierto, centrado en x0 . Tal funcin debe poseer derivadas de orden arbitrario en un cierto
entorno abierto centrado en x0 , y la serie de la forma
X
f (k) (x0 )
k=0
k!
(x x0 )k ,
f (x) =
e1/x , x 6= 0
0,
x=0
142
Solucin en Series
Se puede demostrar que f tiene derivadas de todo orden, en todo punto del eje real. Esta
afirmacin es evidente en todo x, x 6= 0. Para x = 0, demostremos que existe la derivada
primera.
f (x) f (0)
1
2
=x0 e1/x ,
x0
x
x
haciendo la sustitucin u = 1/x, se tiene
f 0 (0) = lm
u
1
m
2 = l
2 = 0,
u
u e
u 2ueu
f 0 (0) = lm ueu = lm
u
f (n+1) (0) = lm
y todo se reduce a demostrar que el limite indicado es igual a cero. Para ese propsito
calculamos f (n) (x), x 6= 0. Escribimos
(n1)
2 1/x2
(n1)
(n)
0
f (x) = (f (x))
=
e
.
x3
2
2
Para calcular la derivada (n 1)-sima de 3 e1/x , utilizamos la regla de Leibniz. Si
x
2
1/x2
,
h(x) = 3 y g(x) = e
x
n1
X
n1
(n1)
(n1)
f
(x) = (h(x)g(x))
=
g (k) (x)h(n1k) (x).
k
k=0
Ahora,
2 1/x2
e
x3
g 0 (x)
g 00 (x)
..
.
g
(k)
3! 1/x2
4 1/x2
e
+
e
x4
x6
..
.
1 1/x2
(x) = Pk
e
x
143
= 2x3
= 3!x4
= 4!x5
..
.
(n)
n1
X
2
n1
(1/u) =
Pk (u)eu (1)n1k (n 1 + k)!un+2k .
k
k=0
f (n+1) (0) = lm
n+1k
n1
X
1 (1/x)2
1
n1
n1k
= lm
Pk
e
(1)
(n k + 1)!
k
x0
x
x
k=0
n1
X
2
n1
Pk (u)eu (1)n1k (n k + 1)!un+1k
= lm
k
u
k=0
= 0
el resultado se consigue aplicando el teorema de LHpital.
Hemos probado que la serie de Taylor de f , alrededor de x = 0,
0
00
X
f (k) (0)
k=0
k!
xk .
Dicha serie converge en todo el eje real, pero representa a f solamente en el origen.
Una condicin necesaria y suficiente para que la serie de Taylor converja y adems represente a la funcin en todo x, es la siguiente.
144
Solucin en Series
Sea f una funcin con derivadas de cualquier orden en un intervalo abierto con centro
en x0 .
X
f (n) (x0 )
La serie de Taylor de f alrededor de x0 ,
(x x0 )n converge hacia f (x) en cada
n!
n=0
punto del intervalo, centrado en x0 , si y slo si f (x) se puede escribir en la forma
f (x) =
n
X
f (k) (x0 )
n!
k=0
(x x0 )k + En (x),
x0
Esta manera de expresar el error nos permite enunciar una condicin suficiente para la
convergencia de la serie de Taylor.
Teorema 5.3.4. Sea f una funcin que posee derivadas de cualquier orden en un intervalo
abierto J =]x0 r, x0 + r[, y si existe una constante positiva M , tal que |f (n) (x)| M n ,
para n = 1, 2, . . . y para toda x de J, entonces la serie de Taylor generada por f en x0
converge hacia f (x) en toda x J.
Demostracin. Basta probar que el lm En (x) = 0. Hacemos uso de la forma integral para
n
145
En (x).
0 |En (x)|
Z
(x x0 )n+1 1 n (n+1)
u f
(x + (x0 x)u)du
=
n!
0
|x x0 |n+1
n!
|x x0 |n+1
n!
un M n+1 du
|x x0 |n+1 n+1
M
(n + 1)!
|M (x x0 )|n+1
(n + 1)!
C n+1
(n + 1)!
de donde
0 |En (x)|
C n+1
(n + 1)!
()
Cm
= k; entonces para n > m,
m!
Cn
C
C
C
C
0
=k
< nk
n!
k+1 k+2
n
2
Cn
0.
n!
De la desigualdad en (),
si n 0; por lo tanto
C n+1
0 lm |En (x)| lm
= 0.
n
n (n + 1)!
Concluimos as que lm En (x) = 0. As la serie de Taylor converge a f (x).
n
El teorema 5.3.4 nos permite desarrollar en serie de Taylor muchas funciones, algunas de
ellas son:
146
Solucin en Series
1. Para la funcin f (x) = cos x, tenemos:
f (x)
f 0 (x)
f 00 (x)
f 000 (x)
..
.
=
=
=
=
..
.
cos x
sin x
cos x
sin x
..
.
es claro que |f (n) (x)| 1, para toda x real. Tambin es cierto que f (2n1) (0) = 0,
f (2n) (0) = (1)n , n = 1, 2, 3, . . . Entonces
f 00 (0) 2
f (n) (0) n
cos x = f (0) + f (0)x +
x + +
x +
2!
n!
0
luego
1
1
1 2n
cos x = 1 x2 + x4 + (1)n
x +
2
4!
(2n)!
=
=
=
=
..
.
sin x
cos x
sin x
cos x
..
.
es claro que |f (n) (x)| 1, para toda x real. Tambin es cierto que f (2n1) (0) =
(1)n1 , f (2n) (0) = 0, n = 1, 2, 3, . . . Entonces
sin x = f (0) + f 0 (0)x +
luego
sin x = x
f 00 (0) 2
f (n) (0) n
x + +
x +
2!
n!
1 3 1 5
1
x + x + (1)n1
x2n1 +
3!
5!
(2n 1)!
X
1 n
=
x
n!
n=0
es decir
f (n) (0) n
f 00 (0) 2
x + +
x +
2!
n!
X
1 n
e =
x , para toda x J.
n!
n=0
x
X
1 n
e =
x , para toda x real.
n!
n=0
x
X
Dados dos desarrollos en serie de potencias, por ejemplo f (x) =
an (x x0 )n , con
intervalo de convergencia ]x0 r, x0 + r[, y g(x) =
n=0
n=0
vergencia ]x0 R, x0 + R[. El producto f (x)g(x) viene dado por la serie de potencias
n
X
X
ak bnk ,
f (x)g(x) =
cn (xx0 )n , si x ]x0 r, x0 +r[]x0 R, x0 +R[, en donde cn =
n=0
k=0
n = 0, 1, 2 . . .
5.4.
Iniciamos esta seccin adoptando una palabra que designe a aquellas funciones que se
pueden desarrollar como serie de potencias. Se dice que cualquier funcin que pueda repre
X
sentarse por una serie de potencias convergente de forma
an (x x0 )n en un intervalo
n=0
1
X
n=0
n=0
147
148
Solucin en Series
abierto I, centrado en x0 , es analtica en x0 . Se sabe por la teora expuesta en la seccin
5.3.1 que una funcin tal debe tener derivada de todos los ordenes en todos los puntos de
I, pero adems, como poda esperarse, es realmente analtica en todos los puntos de I. Es
por ello habitual hablar de funciones analticas en un intervalo, y la expresin, analtica en
x0 , se usa fundamentalmente para dirigir la atencin al punto alrededor del cual se ha realizado el desarrollo en serie. Las funciones elementales ms comunes se pueden representar
en series de potencias, algunas de ellas son:
x
X
xn
n=0
n!
cos x
X
x2n
=
(1)n
(2n)!
n=0
sin x
cosh x
X
x2n
=
(2n)!
n=0
sinh x
X
x2n+1
(1)n
(2n + 1)!
n=0
X
n=0
x2n+1
(2n + 1)!
X
xn
ln(1 + x) =
(1)n+1
n
n=1
X
a
xn , 1 < x < 1, a real
=
n
(1 + x)
n=0
5.4.1.
a
n
a!
.
n!(a n)!
Soluciones analticas
Las soluciones de cualquier ecuacin diferencial lineal cuyos coeficientes y segundo miembro
son analticos en un intervalo abierto I, son tambin ellas mismas analticas en I. Este
resultado es realmente un teorema de existencia para ecuaciones normales con coeficientes
analticos, y en contraste con la mayora de los teoremas de existencia de la teora de las
ecuaciones diferenciales nos sugiere inmediatamente una tcnica explcita para el clculo
de soluciones.
149
(5.10)
una ecuacin diferencial lineal normal de orden n cuyos coeficientes y segundo miembro
son analticos en un intervalo abierto I. Sea x0 un punto arbitrario en I, y supongamos que
los desarrollos en serie de potencias de a0 (x), a1 (x), . . . , an1 (x), h(x) convergen todas en
el intervalo ]x0 R, x0 + R[, R > 0. Entonces, toda solucin de la ecuacin diferencial que
est definida en el punto x0 es analtica en ese punto, y su desarrollo en serie de potencias
alrededor de x0 converge tambin en el intervalo ]x0 R, x0 + R[.
Un comentario pertinente al teorema 5.4.1 es resaltar que el teorema afirma no solamente la analiticidad de las soluciones de una ecuacin diferencial del tipo (5.10), sino que
tambin especifica un intervalo en el que convergen los desarrollos en serie de potencias
de estas soluciones. Al mismo tiempo, debe observarse que no se afirma nada respecto al
comportamiento de tales series fuera de ese intervalo. Hay ecuaciones cuyas soluciones en
series convergen en un intervalo mayor que el que hemos descrito anteriormente.
Otro aspecto que nos sugiere el teorema 5.4.1 es el desarrollo de una tcnica explcita para
el calculo de soluciones, tcnica que podramos resumir en la forma siguiente.
Dada la ecuacin diferencial lineal normal de orden n (5.10), en el intervalo I. Sea x0 I,
y supongamos que los desarrollos en serie de potencias de a0 (x), a1 (x), . . . , an1 (x), h(x)
convergen ]x0 R, x0 +R[, R > 0, y seguimos la estrategia, cuyo lineamiento es el siguiente:
Como lo dice el teorema 5.4.1 las soluciones son de la forma
y=
cn (x x0 )n ,
(5.11)
n=0
150
Solucin en Series
Encuentre cuantos trminos desee en la serie que da la solucin o, de ser posible, una
expresin general de cn .
Halle un intervalo mnimo de convergencia por medio del teorema 5.4.1 o utilice la
prueba del cociente2 .
Ejemplo 5.4.1. Hallemos la solucin general de la ecuacin diferencial y 00 xy = 0.
primero examinemos el cumplimiento de las hiptesis del teorema 5.4.1, esta es una ecuad2 y
dy
cin de la forma 2 +a1 (x) +a0 (x)y = 0, donde a1 (x) = 0 y a0 (x) = x, son analticas
dx
dx
en el intervalo abierto I = (, ), por conveniencia elegimos x0 = 0; todas las soluciones
X
sern analticas en I y con desarrollos en series y =
cn xn , por las propiedades estudiadas, y 0 =
ncn xn1 , y 00 =
n=1
la siguiente ecuacin:
n=0
n=2
n(n 1)cn x
n2
n=2
cn xn+1 = 0.
n=0
(n + 2)(n + 1)cn+2 x
n=0
cn1 xn = 0.
n=1
Hacemos que ambas sumas comiencen con el mismo entero como lmite inferior
X
X
n
2c2 +
(n + 2)(n + 1)cn+2 x
cn1 xn = 0;
n=1
n=1
n=1
X
El criterio del cociente dice: Si la serie
ak tiene trminos diferentes de cero a0 , a1 , . . . se calcular
k=0
ak+1
. Si < 1, la serie ser absolutamente convergente; si > 1, ser divergente, y si = 1 la
= lm
k
ak
prueba no es concluyente.
2
c1
43
n = 3, c5 =
c2
=0
54
n = 4, c6 =
c0
c3
=
65
6532
n = 5, c7 =
c4
c1
=
76
7643
n = 6, c8 =
c5
=0
87
n = 7, c9 =
c6
c0
=
98
986532
..
.
..
.
..
.
..
.
Por la sencillez del ejemplo podemos hallar la forma genrica del coeficiente
c0
c3m
=
3m(3m 1) 3 2
c3m+1 =
c1
(3m + 1)3m 4 3
c3m+2 = 0,
para toda m, m = 1, 2, . . ., como las soluciones en serie son absolutamente convergentes,
podemos reordenarlas
y = c0 + c1 x + c2 x2 + c3 x3 + c4 x4 +
1
1 4
1
1 3
6
7
x +
x + + c1 x +
x +
x +
= c0 1 +
32
6532
43
7643
"
= c0
X
1
1
3m
1+
x
+ c1
x3m+1
3m(3m
1)
2
(3m
+
1)3m
3
m=1
m=0
As,
y1 (x) = 1 +
1
x3m
3m(3m
1)
2
m=1
151
152
Solucin en Series
y
y2 (x) =
1
x3m+1
(3m
+
1)3m
3
m=0
y1 (0) y2 (0) 1 0
=
det(w(y1 , y2 )(0)) = 0
y1 (0) y20 (0) 0 1
de las soluciones
= 1 6= 0
X
cn xn tendrn un radio de converque las soluciones de la ecuacin diferencial, y =
n=0
Figura 5.2:
c n xn
n=0
ncn xn1
n=1
00
n=2
n(n 1)cn x +
n=2
n(n 1)cn x
n2
n=2
6cn xn = 0,
n=0
X
n=2
n(n 1)cn xn +
X
X
(n + 2)(n + 1)cn+2 xn
6cn xn = 0,
n=0
n=0
X
(2c2 6c0 ) + (3 2c3 6c1 ) +
[(n2 n 6)cn + (n + 2)(n + 1)cn+2 ]xn = 0.
n=2
cn+2 =
n3
cn , n 2.
n+1
153
154
Solucin en Series
De la relacin anterior tenemos
Si n = 2, c4 =
c2
= c0
3
n = 3, c5 =
0 c3
=0
4
n = 4, c6 =
c4
c0
=
5
5
n = 5, c7 =
2c5
=0
6
n = 6, c8 =
3c6
3
= c0
7
35
..
.
..
.
c0 6
x +
5
1 6
2
4
y = c0 1 + 3x + x x + + c1 (x + x3 ).
5
De donde
y
1
y1 (x) = 1 + 3x2 + x4 x6 +
5
y2 (x) = x + x3 .
Con el determinante de la matriz wronskiana en x = 0, se puede demostrar que son soluciones linealmente independientes.
Ejemplo 5.4.3. Hallar dos soluciones linealmente independientes de la ecuacin diferencial y 00 + ex y 0 y = 0.
Para esta ecuacin a1 = ex y a0 = 1, ambas funciones son analticas en ] , [, en
particular en x0 = 0. Debemos en este caso desarrollar en serie de Taylor la funcin
x
a1 = e =
X
xn
n=0
n!
c n xn
n=0
ncn xn1
n=1
y 00 =
n=2
X
X xn X
X
n(n 1)cn xn2 +
ncn xn1
cn xn = 0.
n!
n=2
n=0
n=1
n=0
Realizamos la nivelacin de las potencias y as;
"
#
X
X xn X
X
(n + 2)(n + 1)cn+2 xn +
(n + 1)cn+1 xn
cn xn = 0.
n! n=0
n=0
n=0
n=0
En el segundo sumando de la igualdad anterior, efectuamos el producto de Cauchy de las
dos series, esto es
"
#
" n
#
X xn X
X
X1
(n + 1)cn+1 xn =
(n j + 1)cnj+1 xn .
n!
j!
n=0
n=0
n=0 j=0
De lo anterior podemos escribir
" n
#
X1
X
X
X
n
n
(n + 2)(n + 1)cn+2 x +
cn xn = 0.
(n j + 1)cnj+1 x
j!
n=0 j=0
n=0
n=0
Entonces
X
n=0
#
n
X
1
(n + 2)(n + 1)cn+2 cn +
(n j + 1)cnj+1 xn = 0,
j!
j=0
"
155
156
Solucin en Series
para todo n 0. Esta frmula de recurrencia la podemos expresar as:
P
cn nj=0 j!1 (n j + 1)cnj+1
cn+2 =
, n 0.
(n + 1)(n + 2)
Hallamos ahora varios coeficientes, dndole valores a n.
P
c0 0j=0 j!1 (j + 1)cj+1
c0 c1
Si n = 0, c2 =
=
2
2
P
c1 1j=0 j!1 (2 j)c2j
c1 c0
n = 1, c3 =
=
32
6
P
c2 2j=0 j!1 (3 j)c3j
c1
n = 2, c4 =
=
34
24
..
.
..
.
y = c0 + c1 x +
c0 c1
2
x +
c1 c0
6
x3
c1 4
x +
24
1 4
1 2 1 3
1 2 1 3
y = c0 1 + x x + + c1 x x + x x + .
2
6
2
6
24
De aqu podemos obtener dos soluciones
1
1
y1 (x) = 1 + x2 x3 +
2
6
y
1
1
1
y2 (x) = x x2 + x3 x4 +
2
6
24
0
0
Para las cuales, y1 (0) = 1, y2 (0) = 0, y1 (0) = 0, y y2 (0) = 1. Calculando el determinante
de la matriz wronskiana,
y1 (0) y2 (0) 1 0
= 1 6= 0,
=
det(W (y1 , y2 )(0)) = 0
y1 (0) y20 (0) 0 1
lo cual significa que las soluciones son linealmente independientes, forman as una base del
espacio solucin de la ecuacin diferencial.
cn xn
n=0
y0
ncn xn1
n=1
y 00
n=2
sin x =
(1)n
n=0
x2n+1
(2n + 1)!
n=2
cn xn+2 =
n=0
X
x2n+1
(1)n
,
(2n
+
1)!
n=0
X
X
X
x2n+1
n
n
(n + 2)(n + 1)cn+2 x +
cn2 x =
(1)n
,
(2n + 1)!
n=0
n=2
n=0
n=2
X
n=1
(1)n
x2n+1
,
(2n + 1)!
en el lado derecho de la igualdad anterior aparece solamente potencias de grado impar, por
lo tanto en la sumatoria que aparece en el lado izquierdo de la anterior igualdad agrupamos
en dos sumandos las potencias de grado par y las de grado impar, obtenemos de este modo
lo siguiente
2c2 + 6c3 x +
n=1
X
n=1
2n+1
X
x2n+1
=x+
(1)n
(2n + 1)!
n=1
157
158
Solucin en Series
con el uso del principio de identidad obtenemos c2 = 0 y 6c3 = 1, adems una frmula de
recurrencia doble
(2n + 1)(2n + 2)c2n+1 + c2n1 = 0, para n 1,
por que a la derecha no aparecen potencias de grado par, y
(1)n
, para n 1,
(2n + 1)!
1
,
5!
42c7 =
c5 =
1
5!
19
19
, c7 =
5!
7!
1 3
1
19
x x5 x7 +
3!
5!
7!
dicha solucin es nica, lo cual concuerda con lo que predice el teorema de existencia y
unicidad para problemas de valores iniciales.
5.4.2.
Una variante del mtodo ilustrado en los ejemplos anteriores consiste en tomar desde el
comienzo la serie de Taylor de y, centrada en x0 , es decir
y=
X
y (n) (x0 )
n=0
n!
(x x0 )n .
cn (x x0 )n =
n=0
X
y (n) (x0 )
n=0
n!
(x x0 )n
se necesitan. Observe que las constantes cn son los coeficientes del desarrollo en la
serie de Taylor de y y estn dados por
cn =
y (n) (x0 )
.
n!
159
160
Solucin en Series
Partimos de
y=
X
y (n) (x0 )
n=0
n!
(x x0 )n ,
= sin x x2 y 0 y
y 000
= cos x 2xy 0 x2 y 00 y 0
= y(0) = 1
y 000 (0)
= 1 y 0 (0) = 1 1 = 0
y 000
= y(/2) = c0
y 000 (/2)
= 1 + y 0 (/2) = c1 1
161
5.4.3.
Algunas ecuaciones diferenciales importantes que surgen en problemas fsicos son ecuaciones lineales de segundo orden con coeficientes analticos. Una de tales ecuaciones es la
Ecuacin de Legendre3
(1 x2 )y 00 2xy 0 + ( + 1)y = 0,
(5.12)
2x 0 ( + 1)
y +
y = 0,
1 x2
1 x2
( + 1)
2x
, y a1 (x) =
,
2
1x
1 x2
1
,
1x
X
n=0
x2n =
1
,
1 x2
1
, para |x| < 1.
1 x2
X
n=0
X
( + 1)x , y a1 (x) =
(2)x2n+1 ,
2n
n=0
162
Solucin en Series
las cuales convergen para |x| < 1.
De acuerdo con el teorema 5.4.1, concluimos que las soluciones de la ecuacin de Legendre
tienen desarrollos en series de potencias convergentes para |x| < 1. Hallemos una base del
espacio solucin de dicha ecuacin. Sea y cualquier solucin de la ecuacin de Legendre
para |x| < 1, y supongamos que
X
y=
c n xn ,
n=0
entonces
y
ncn xn1
n=1
y 00 =
n=2
(1 x )
n(n 1)cn x
n2
2x
n=2
ncn x
n1
+ ( + 1)
n=1
cn xn = 0,
n=0
entonces
X
n=2
n(n 1)cn x
n2
n(n 1)cn x
n=2
2ncn x +
n=1
( + 1)cn xn = 0,
n=0
nivelamos las potencias que aparecen en la igualdad anterior, la cual puede escribir as:
X
X
X
X
n
n
n
(n + 2)(n + 1)cn+2 x
n(n 1)cn x
2ncn x +
( + 1)cn xn = 0,
n=0
n=2
n=1
n=0
X
[2c2 +(+1)c0 ]+[32c3 2c1 +(+1)c1 ]x+
[(n + 2)(n + 1)cn+2 + [( + 1) n(n + 1)]cn ] xn = 0,
n=2
= 0
= 0
163
( + 1)
c0
2
c3 =
( + 2)( 1)
c1
32
si hacemos,
n = 2 c4 =
( + 3)( + 1)( 2)
c1
432
n = 3 c5 =
c2m =
c2m+1 = (1)m
( + 2m 1)( + 2m 3) ( + 1)( 2) ( 2m + 2)
c0
(2m)!
( + 2m)( + 2m 2) ( + 2)( 1)( 3) ( 2m + 1)
c1
(2m + 1)!
(1)m
m=1
( + 2m 1)( + 2m 3) ( + 1)( 2) ( 2m + 2) 2m
x ,
(2m)!
y
y2 (x) = x+
(1)m
m=1
y1 (0) y2 (0) 1 0
= 1 6= 0,
=
W (y1 , y2 )(0) = 0
y1 (0) y20 (0) 0 1
lo anterior establece que y1 y y2 son linealmente independientes en el intervalo ] 1, 1[. En
el caso en que sea un entero positivo p, se puede demostrar que una de las soluciones de
la ecuacin de Legendre es un polinomio.
164
Solucin en Series
5.5.
Aplicaciones
cn tn ,
n=0
X
(1)n
n=0
y
0
x (t) =
X
n=1
n1
ncn t
00
n!
, x (t) =
tn ,
n=2
X
X
X (1)n
X
n(n 1)cn tn2 +
2ncn tn1 +
tn
cn tn = 0,
n!
n=2
n=1
n=0
n=0
en el tercer sumando de la igualdad anterior, efectuamos el producto de Cauchy de las dos
series, esto es
#
#"
" n
"
#
X
X
X (1)k
X (1)n
n
n
t
cnk tn ,
cn t =
n!
k!
n=0
n=0 k=0
n=0
reemplazando, y haciendo la nivelacin de las potencias obtenemos
#
" m
X
X
X
X (1)k
cmk tm = 0,
(m + 2)(m + 1)cm+2 tm +
2(m + 1)cm+1 tm +
k!
m=0
m=0
m=0 k=0
5.5 Aplicaciones
entonces
165
"
(m + 2)(m + 1)cm+2 + 2(m + 1)cm+1 +
m=0
m
X
(1)k
k=0
k!
#
cmk tm = 0.
m
X
(1)k
k=0
k!
2!c1 + c0
2!
m = 1 c3 =
22 c2 + c1 c0
3(c0 + c1 )
=
3!
3!
m = 2 c4 =
3!c3 + c2 c1 +
43
..
.
c0
2!
3!c0 + 10c1
4!
..
.
1 2
3 3 3! 4
2 2
3 3 10 4
x(t) = c0 1 t t + t + + c1 t t t + t +
2!
3!
4!
2!
3!
4!
x(t) = c0 + c1
t2 t3 t4
+
2! 2!
4
166
Solucin en Series
Ejemplo 5.5.2. Columnas con flexin lateral: En el estudio de la flexin lateral de
una columna con seccin transversal variable aparece la ecuacin
xn y 00 (x) + 2 y(x) = 0, x > 0,
(5.13)
donde x se relaciona con la altura sobre el suelo y y es la flexin con respecto de la vertical.
La constante positiva depende de la rigidez de la columna, su momento de inercia en la
parte superior y la carga. El entero positivo n depende del tipo de columna. Por ejemplo,
cuando la columna es un cono truncado (vase la figura 36), tenemos n = 4.
(a) Usar la sustitucin x = t1 para reducir (5.13) con n = 4 en la forma
d2 y 2 dy
+
+ 2 y = 0, t > 0.
2
dt
t dt
(b) Determine al menos los tres primeros trminos no nulos en el desarrollo en serie en
torno a t = 0 para la solucin general de la ecuacin obtenida en la parte (a).
(c) Use el resultado de la parte (b) para dar un desarrollo en torno de x = para una
solucin general de (5.13).
Solucin:
dt
= x2 , as que, por la regla de la cadena
dx
dy
dy dt
1 dy
=
= 2 ,
dx
dt dx
x dt
entonces
d2 y
1 d2 y dt
2 dy
1 d2 y
2 dy
= 2 2
+ 3
= 4 2 + 3
2
dt
x dt dx x dt
x dt
x dt
de donde
x4 y 00 (x) + 2 y(x) =
En consecuencia
d2 y
dy
+ 2x + 2 y = 0.
2
dt
dt
d2 y 2 dy
+
+ 2 y = 0, t > 0.
dt2
t dt
cn tn+r
n=0
entonces
0
y =
X
n=0
(n + r)cn tn+r1
5.5 Aplicaciones
167
X
y =
(n + r)(n + r 1)cn tn+r2 .
00
n=0
(n + r)(n + r 1)cn t
n+r2
n=0
2(n + r)cn t
n+r2
n=0
2 cn tn+r = 0,
n=0
(m + r + 2)(m + r + 1)cm+2 t
m+r
m=2
2(m + r + 2)cm+2 t
m+r
m=2
2 cm tm+r = 0,
m=0
entonces
r(r 1)c0 tr2 + r(r + 1)c1 tr1 + 2rc0 tr2 + 2(r + 1)c1 tr1
+
m=0
2 cm
, m 0.
(m + r + 2)(m + r + 3)
Si r1 = 0, tenemos
cm+2 =
2 cm
m 0.
(m + 2)(m + 3)
168
Solucin en Series
Hallamos ahora varios coeficientes, dndole valores a m.
Si m = 0 c2 =
m = 1 c3 =
2 c0
6
2 c1
=0
12
m = 2 c4 =
4 c0
120
m = 3 c5 =
4 c1
=0
360
..
.
..
.
y1 (t) = c0
1
1
2
4
(t) + .
1 (t) +
6
120
Si r2 = 1, tenemos
cm+2 =
2 cm
m 0.
(m + 1)(m + 2)
2 c1
=0
6
m = 2 c4 =
4 c0
24
m = 3 c5 =
4 c1
=0
120
..
.
..
.
5.5 Aplicaciones
entonces
169
1
c0
1
2
4
y2 (t) =
1 (t) + (t) + .
t
2
24
La solucin general es
y(t) = ay1 (t) + by2 (t).
1
(c) En el item (b) reemplazamos t = , si t 0+ , entonces x +, y obtenemos la
x
solucin general en la forma
y(x) = ay1 (x) + by2 (x),
donde
y1 (x) = 1
y
1 2
1 4
+
+
6 x
120 x
1 2
1 4
y2 (x) = x 1
+
+
2 x
24 x
170
Solucin en Series
5.6.
Ejercicios
5.6 Ejercicios
171
bn xn , f1 (x) =
n=0
an xn .
n=0
n=0
de la ecuacin indicial
r2 + (a0 1)r + b0 = 0.
9. En cada caso encuentre al menos una solucin en serie de Frobenius de la ecuacin
dada.
(a) x(1 x)y 00 + 2(1 2x)y 0 2y = 0.
(b) 16x2 y 00 + 3y = 0.
(c) x2 y 00 + 6xy 0 + (6 x2 )y = 0.
(d) xy 00 + (1 2x)y 0 + (x 1)y = 0.
(e) xy 00 + 3y 0 + 4x3 y = 0.
(f ) 2x2 (1 2x)y 00 + (4x2 8x + 5)y 0 + (2x2 x + 1)y = 0.
(g) x2 y 00 + xy 0 + (x2 4)y = 0.
1
(h) x2 y 00 + xy 0 + (x2 )y = 0.
9
10. Utilice la sustitucin y = uxk , para encontrar una solucin de
xy 00 + (1 + 2k)y 0 + xy = 0.
11. La ecuacin de Airy
y 00 xy = 0
tiene aplicaciones en la teora de difraccin. Halle la solucin general por series.
12. La ecuacin de Hermite
y 00 2xy 0 + 2py = 0
en donde p es una constante, aparece en mecnica cuntica, en relacin con la ecuacin de Schrdinger para un oscilador armnico. Muestre que si p es un entero
positivo una de las dos soluciones linealmente independiente es un polinomio, llamado polinomio de Hermite.
172
Solucin en Series
13. En el estudio de un resorte no lineal con forzamiento peridico surge la ecuacin de
Duffing
y 00 + ky + ry 3 = A cos(wt).
Sean k = r = A = 1 y w = 10. Determine los tres primeros trminos no nulos de
las aproximaciones mediante polinomios de Taylor a la solucin con valores iniciales
y(0) = 0, y 0 (0) = 1.
14. Para la ecuacin de Duffing dada en el problema anterior, el comportamiento de
las soluciones se modifica cuando r cambia de signo. Cuando r > 0, la fuerza de
restauracin ky + ry 3 se vuelve ms fuerte que para el resorte lineal (r = 0). Dicho
resorte es duro. Cuando r < 0, la fuerza de restauracin es ms dbil que la del
resorte lineal y el resorte es suave. Los pndulos actan como resortes suaves.
(a) Vuelva a resolver el problema anterior, con r = 14 .
(b) Mantenga k = A = 1 y w = 10; cambie las condiciones iniciales por y(0) = 1 y
y 0 (0) = 0. Ahora vuelva a resolver el problema anterior con r = 1.
(c) Con base en los resultados de la parte (b), hay alguna diferencia entre el comportamiento de los resortes suaves y duros para t pequea? Explique.
15. En el estudio de los tubos al vaco surge la ecuacin de Van Der Pol
y 00 + (0,1)(y 2 1)y 0 + y = 0.
Determine el polinomio de Taylor de grado 4 que aproxima la solucin con valores
iniciales y(0) = 1, y 0 (0) = 0.
16. La ecuacin de Emden es una ecuacin no lineal clsica que aparece en el estudio
del comportamiento trmico de una nube esfrica, tiene la forma
2
y 00 + y 0 + y n = 0,
x
2
con condiciones iniciales y(0) = 1, y 0 (0) = 0. Aunque a1 (x) = no es analtica en
x
x = 0, es posible mostrar que existe una solucin analtica en x = 0. Si n es un entero
positivo, muestre que los primeros trminos de una solucin en serie de potencias son
y =1
x4
x2
+ n +
3!
5!
Observe que para las condiciones iniciales y(0) = 0, y 0 (0) = 1, los resortes suaves y duros parecen
responder de la misma forma para t pequeo.
5.6 Ejercicios
173
1
q(t) = E(t),
C
t
omhs.
10
NDICE ALFABTICO
Base, 60
Campo direccional, 9
Circuitos elctricos, 5, 87
Columnas con flexin lateral, 166
Combinacin lineal, 60
Condiciones iniciales, 11
Continua por partes, 102
Convolucin, 115
Crticamente amortiguado, 86
Curvas isoclinas, 10
Dimensin, 60
Discontinuidad de salto, 102
Ecuaciones
de Bernoulli, 36
exacta, 25
homogneas, 20
lineales, 23
no homogneas, 74
Ecuacin
de Bernoulli, 36
de Calor, 6
de Cauchy-Euler, 80
de Clairaut, 52
de Hermite, 92
de Legendre, 92
de Riccati, 52
de Schrdinger, 92
de variables separables, 18
diferencial, 1, 3
diferencial
el orden de una, 7
el tipo de una, 6
en derivadas parciales, 6, 7
exacta, 26
lineal, 7, 23
lineales, 57
ordinaria, 7, 17
homognea, 58
homognea con coeficientes constantes, 67
integral de Volterra, 120
logstica, 44
no homognea, 74
Ecuacin
de Airy, 171
de Duffing, 172
de Emden, 172
de Hermite, 171
de Legendre, 161
de Schrdinger, 171
NDICE ALFABTICO
de Van Der Pol, 172
Espacio funcional, 59
Factor integrante, 31
Factores integrantes, 30
Funcin
compuerta unitaria, 127
de Heaviside, 110
Delta de Dirac, 114
escaln unitario, 110
Gamma, 100
homognea, 20
peridica, 112
Generan, 60
Ley
de enfriamiento de Newton, 2
de Kirchhoff, 5
de la corriente de Kirchhoff, 88
de Pareto, 53
de Torricelli, 3, 53
del voltaje de Kirchhoff, 88
Linealmente
dependientes, 60
independientes, 60
Matriz wronskiana, 61
Mezclas, 4
Movimiento
armnico simple, 85
forzado, 87
libre, 83
libre
amortiguado, 85
Mtodo
de coeficientes indeterminados, 77
de reduccin de orden, 72
de separacin de variables, 17
de variacin de parmetros, 74
Mtodo
de Taylor, 158
Ncleo del operador, 64
175
Operador
de Laplace, 97
diferencial, 62, 63
diferencial
lineal, 62, 64
integral, 63
Orden exponencial, 103
Polinomio, 69
Polinomio
caracterstico, 69
Principio de Arqumides, 16
Problema de valores iniciales, 11
Propiedad
de derivada de transformada, 108
de integral de transformada, 108
de linealidad, 105
de periodicidad de la transformada,
113
de transformada de derivadas, 106
de traslacin
en el eje s, 105
en el eje t, 111
Races
complejas, 81
reales
distintas, 81
iguales, 81
Regla de Leibniz, 109
Resorte vencido, 164
Sistema masa-resorte, 83
Sobreamortiguado, 86
Soluciones
analticas, 148
en series de potencias, 147
Solucin
de la ecuacin diferencial, 8
general, 8
particular, 8
singular, 8
trivial, 8
Subamortiguado, 86
176
NDICE ALFABTICO
Sustituciones diversas, 35
Tabla de transformadas de Laplace, 124
Teorema
de convolucin, 116
de existencia y unicidad, 10, 11, 65
para la existencia de la transformada,
103
Transformada
de Laplace, 98
inversa, 98
Trayectorias ortogonales, 51
Valor caracterstico, 69
BIBLIOGRAFA
[1] Apostol, Tom. Calculus. Volmen 1. Seunda Edicin. Editorial Revert. 1988.
[2] Boyce, William E. y DiPrima, Richard C. Ecuaciones Diferenciales y Problemas
con Valores en la Frontera. Limusa. 1998.
[3] Coddington, E. A. An Introduction to Ordinary Differential Equations. Prentice
Hall.
[4] Derrick, William R. y Grossman, Stanley. Ecuaciones Diferenciales con Aplicaciones. Fondo Educativo Interamericano.
[5] Nagle R.-Saff E.-Snider A. Ecuaciones Diferenciales y Problemas con Valores en
la Frontera. Tercera Edicin. Pearson Educacin. 2000.
[6] Edwards C. H.-Penney D. E. Ecuaciones Diferenciales. Segunda Edicin. Prentice
Hall. 2001.
[7] Sotomayor Jorge. Lies de Equaes Diferenciais Ordinrias. Instituto de Matemtica Pura e Aplicada. 1979.
[8] Kreider D.-Kuller R.-Ostberg D.-Perkins F. Introduccin al Anlisis Lineal.
Parte 1. Fondo Educativo Interamericano, S.A. 1971.
[9] Zill G. Dennis Ecuaciones Diferenciales con Aplicaciones a Modelado. Sptima Edicin. Thomson Learning. 2002.