Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Ecuaciones Diferenciales Ordinarias
Ecuaciones Diferenciales Ordinarias
ii
ndice general
I
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
3
3
4
4
4
5
6
7
9
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
11
11
14
20
23
29
30
31
31
35
.
.
.
.
.
.
.
.
.
iv
NDICE GENERAL
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
155
156
156
159
160
160
162
163
163
167
167
170
177
178
180
NDICE GENERAL
parciales
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
.
.
.
.
.
.
.
221
221
228
230
230
233
241
245
A. Apndice A
261
Afterword
263
1 Este captulo fue pirateado del libro:Elementary Dierential Equations with Boundary
Value Problems, William Trench, Ed. Brooks/Cole Publishing Co.
vi
NDICE GENERAL
Prefacio
Este libro est escrito para el curso de un semestre en ecuaciones diferenciales
ordinarias que los estudiantes de ingeniera del Sistema Nacional de Institutos
Tecnolgicos, al cual pertenece el Instituto Tecnolgico de Tehuacn, toman con
el nombre de Matemticas IV. Para la comprensin de los temas de este libro se
requiere del conocimiento de clculo elemental el cual es estudiado en los cursos
de Matemticas I y II.
Mi experiencia en la enseanza de las matemticas y de las materias de
especialidad relacionadas con las matemticas han influido tanto en el estilo de
la escritura como en la organizacin de este texto. As, sin sacrificio de rigor he
tratado de mantener la teora en un nivel simple haciendo nfasis en la modelacin de problemas y en los mtodos de solucin. Sin embargo, no he omitido
las pruebas de algunos teoremas cuando stas se justifican para la comprensin
de los mtodos y cuando la prueba no utiliza un conocimiento ms all del que
tengan los estudiantes de ingeniera. En general, he intentado explicar detalladamente algunas aplicaciones puesto que las ecuaciones diferenciales constituyen
la herramienta de modelacin ms importante para muchos de los problemas que
surgen en ingeniera.
En el captulo 1, presentamos bsicamente la definicin y clasificacin de las
ecuaciones diferenciales y el concepto de solucin.
En el captulo 2 incluimos los mtodos bsicos de solucin de las ecuaciones
diferenciales diferenciales de primer orden. As, presentamos los mtodos de
solucin para ecuaciones diferenciales de variables separables, ecuaciones diferenciales de coeficientes homogneos, ecuaciones diferenciales exactas y terminamos con la solucin de ecuaciones diferenciales lineales de primer orden.
En el captulo 3 estudiamos algunas aplicaciones de las ecuaciones diferenciales de primer orden. De esta manera incluimos el estudio de las trayectorias
ortogonales, algunos ejemplos de problemas de tasas y de mecnica y concluimos
el tema con la modelacin de circuitos elctricos simples.
El captulo 4 trata exhaustivamente los mtodos explcitos de solucin de
las ecuaciones diferenciales lineales de orden superior. En este captulo se presentan el mtodo de coeficientes indeterminados y el mtodo de variacin de
parmetros. El captulo termina con el estudio de la ecuacin de Cauchy-Euler.
En el captulo 5 estudiamos las soluciones en series de potencias de las ecuaciones diferenciales lineales.
vii
viii
Prefacio
Parte I
Ecuaciones diferenciales
ordinarias
Captulo 1
Introduccin a las
ecuaciones diferenciales
1.1.
Observaciones generales
Las ecuaciones diferenciales constituyen una de las herramientas ms importantes para la resolucin de problemas de la ingeniera y de la ciencia en general.
En las aplicaciones de la ingeniera, de la fsica y de la ciencia en general, se
concibe una ley y entonces se expresa mediante una ecuacin diferencial o un
sistema de ecuaciones diferenciales. Luego, la solucin de la ecuacin diferencial
o del sistema de ecuaciones diferenciales proporciona una explicacin completa
y cuantitativa de los estados y movimientos de las sustancias regidas por esta
ley. Por ejemplo, consideremos la segunda ley de movimiento de Newton. De
acuerdo con esta ley, la aceleracin a de un cuerpo de masa m es proporcional
a la fuerza resultante F que acta sobre el cuerpo con 1/m como la constante
de proporcionalidad; matemticamente, esto es
F = ma.
(1.1)
Si aplicamos esta ley para describir la cada libre de un cuerpo de masa m bajo
la influencia nica de la gravedad, la fuerza que acta sobre el cuerpo es igual
a mg, donde g es la aceleracin de la gravedad. Si utilizamos la variable y para
denotar la altura medida hacia abajo desde una posicin prefijada, entonces la
velocidad con la que cae el cuerpo est dada por
dy
v=
dt
y su aceleracin por
dv
d2 y
a=
= 2.
dt
dt
Con esta expresin de a, podemos escribir (1.1) como
m
d2 y
= mg
dt2
3
d2 y
= g.
(1.2)
dt2
Ahora, si complicamos un poco ms el problema considerando que el aire ejerce
una fuerza de resistencia proporcional a la velocidad, la fuerza resultante que
acta sobre el cuerpo es
F = mg kv,
por lo que (1.1) se convierte en
m
d2 y
dy
= mg k .
2
dt
dt
(1.3)
Las ecuaciones (1.2) y (1.3) son las ecuaciones diferenciales que expresan matemticamente la segunda ley de Newton.
1.1.1.
El problema que enfrentaremos en este curso es: dada una ecuacin tal
como dy/dx = 2xy, encontrar una funcin y = f (x) que satisfaga la
ecuacin. En pocas palabras, se desea resolver ecuaciones diferenciales.
Definicin 1 Si una ecuacin contiene las derivadas o diferenciales de una o
ms variables dependientes con respecto a una o ms variables independientes,
se dice que es una ecuacin diferencial.
1.2.
1.2.1.
du dv
= 5x
dx dx
dy
d2 y
3 2 5
+ 8y = 0
dx
dx
son ecuaciones diferenciales ordinarias.
Ejemplo 2
u v
+
=0
y
x
2x
u
u
+ 3y
=u
x
y
2u
= 6 (x + y)
xy
a2
2u
u
2u
= 2 3k
2
x
t
t
1.2.2.
d2 y
+5
dx2
dy
dx
4y = 7x
dy
+ 3y = 0
dx
dn y
dy d2 y
(1.4)
F x, y, , 2 , . . . , n = 0
dx dx
dx
El grado de una ecuacin diferencial ordinaria algebraica respecto a sus
derivadas es el grado algebraico de su derivada de mayor orden.
Ejemplo 4
d3 y
dx3
dy
dx
= 0.
d3 y
En este caso, como la derivada de mayor orden es
, el orden de la ecuacin
dx3
diferencial es 3. Elevando a la dcima potencia, obtenemos
2 #5
3 4 "
dy
d y
1
= 0.
dx3
dx
d3 y
, que es 4 es el grado de la ecuacin diferAs, por definicin, el grado de
dx3
encial.
1.2.3.
dn y
dn1 y
dy
+
a
(x)
+ + a1 (x)
+ a0 (x)y = g(x)
n1
n
n1
dx
dx
dx
x
+ 3x
+ 5y = 8ex
dx3
dx2
dx
son ecuaciones diferenciales ordinarias lineales de primero, segundo y tercer
orden, respectivamente.
2x3
1.3.
para todo x en I.
(1.5)
=
=
4 1/2
x3
x
x
4
16
3
3
x
x
=0
4
4
dy
dx
+1=0
y
(y 0 )2 + y 2 + 4 = 0
no tienen soluciones reales.Por qu?
Definicin 5 Una solucin explcita de una ecuacin diferencial de orden
n en un intervalo I es una funcin y = f (x) definida en I y que satisface
F x, f (x), f 0 (x), . . . , f (n) (x) = 0 para todo x en I.
(1.6)
f (x, y) = y 2 + x2 16 = 0
(1.7)
La relacin
es una solucin implcita en el intervalo (4, 4). Resolviendo la ecuacin (1.7)
en y en trminos de x, obtenemos
p
y(x) = 16 x2 .
Las funciones
y1 (x) =
y
p
16 x2
p
y2 (x) = 16 x2
(1.8)
(1.9)
estn definidas y son reales en [4, 4]. Diferenciando las ecuaciones (1.8) y
(1.9), obtenemos
x
y10 (x) =
16 x2
y
x
y20 (x) =
16 x2
Sustituyendo y10 (x) en la ecuacin diferencial (1.6), encontramos que
p
x
16 x2
+ x = x + x = 0
16 x2
y3 (x) =
16 x2 0 < x 4
satisface la relacin (1.7); sin embargo no es una solucin explcita de (1.6)
en el intervalo (4, 4), pues y3 (x) no es continua y por consiguiente no es
diferenciable en x = 0.
1.3.1.
Ms terminologa
(1.10)
2
Definicin 7 Una solucin de una ecuacin diferencial que no contiene parmetros arbitrarios se denomina solucin particular.
Ejemplo 12 Inmediatamente se ve que y = cex es una familia n-paramtrica
de soluciones de la ecuacin diferencial de primer orden y 0 = y. Para c =
0, 2 y 5 obtenemos las soluciones particulares y = 0, y = 2ex y y = 5ex ,
respectivamente.
Definicin 8 A veces, una ecuacin diferencial tiene una solucin que no puede
obtenerse asignando valores especficos a los parmetros de una familia de soluciones. A tal solucin se le llama solucin singular.
Ejemplo 13 Una familia uniparamtrica de soluciones de la ecuacin diferencial y 0 xy 1/2 = 0, est dada por y = (x2 /4 + c)2 . Cuando c = 0, resulta la
solucin particular y = x4 /16. Por otro lado, y 0 es una solucin singular
de la ecuacin diferencial ya que no puede obtenerse de la familia de soluciones
asignando un valore especfico al parmetro c.
10
Captulo 2
Ecuaciones diferenciales de
primer orden
2.1.
Teora preliminar
(2.1)
y(x0 ) = y0
(2.2)
sujeta a
dy
= f (x, y)
dx
y(x0 ) = y0
(2.3)
12
Figura 2.1:
si hubisemos pedido que una solucin de y 0 = y pase por el punto (1, 3) en lugar
de (0, 3), en tal caso, y(1) = 3 habra dado c = 3e1 y por lo tanto y = 3ex1 .
El grfico de esta funcin tambin se indica en la figura 2.1.
Al considerar un problema de valor inicial como (2.3) surgen dos preguntas
fundamentales:
Existe una solucin del problema?
Si es que existe una solucin, es la nica?
Geomtricamente, la primer pregunta es: de todas las soluciones de la ecuacin
diferencial (2.1) que existen en el intervalo I, hay alguna cuyo grfico pase por
(x0 , y0 )? Ver la figura 2.2.
El siguiente ejemplo muestra que la respuesta a la segunda pregunta a veces
es negativa.
Ejemplo 15 La figura 2.3 muestra que el problema de valor inicial
dy
xy 1/2 = 0
dx
y(0) = 0
tiene al menos dos soluciones en el intervalo < x < . Los grficos de
ambas funciones
x4
y0 y y=
16
pasan por (0, 0).
13
Figura 2.2:
Figura 2.3:
14
f
x
= 1/2 .
x
2y
f
= 2y
y
son continuas en todo el plano xy. Por lo tanto, por cualquier punto dado (x0 , y0 )
pasa una y slo una solucin de la ecuacin diferencial.
2.2.
Variables separables
(2.4)
15
Ejemplo 18 Resuelva
dy
= 1 + e2x .
dx
Solucin. Escribiendo la ecuacin en la forma
dy = (1 + e2x )dx
e integrando, obtenemos
y=
1
(1 + e2x )dx = x + e2x + c.
2
dy
= g(x).
dx
(2.5)
g(x)dx + c
(2.6)
(2.7)
16
Ejemplo 20 Resuelva
xy 4 dx + (y 2 + 2)e3x dy = 0
(2.8)
9
6
+c
+
y y3
(2.10)
17
2
.
|x 3|
Como una consecuencia del teorema 1, se puede demostrar que sta es la nica
solucin del problema, en el intervalo < x < 3.
Ejemplo 24 Resuelva
dy
x
=
dx
y
sujeta a y(4) = 3.
Solucin. Ya se ha visto que la ecuacin diferencial de la familia de crculos
concntricos x2 + y 2 = c2 es dy/dx = x/y. Ahora, es obvio que y dy = x dx
y por tanto
Z
Z
ydy = xdx
y2
2
x2
+ c1
2
18
Figura 2.4:
o
x2 + y 2 = c2
donde la constante 2c1 se reemplaza por c2 . Ahora bien, cuando x = 4 se tiene
y = 3 de modo que 16 + 9 = 25 = c2 . El problema de valores iniciales determina
as la solucin x2 +y 2 = 25. Como consecuencia del teorema 1, se puede concluir
que este es el nico crculo, de la familia de crculos, que pasa por por el punto
(4, 3). Ver la figura 2.4.
Uno nunca debiera sentirse totalmente satisfecho cuando resuelve ecuaciones
diferenciales. An cuando la solucin de una ecuacin de primer orden contenga
una constante arbitraria, ya se ha visto que es posible que no se puedan encontrar
todas las soluciones simplemente asignando valores diferentes a este parmetro.
Ejemplo 25 Resuelva
dy
= y2 4
dx
sujeta a y(0) = 2.
Solucin. Escribimos la ecuacin en la forma
dy
= dx
y2 4
y usamos fracciones parciales en el lado izquierdo. Tenemos
1
1
4
+ 4
dy = dx
y+2 y2
(2.12)
(2.13)
de modo que
As
1
1
ln |y + 2| + ln |y 2| = x + c1 .
4
4
y 2
= 4x + c2
donde
c2 = 4c1
ln
y + 2
(2.14)
19
Figura 2.5:
y
y2
donde
c = ec2
= ce4x
y+2
donde formalmente hemos reemplazado ec2 por c. Finalmente obtenemos
y=2
1 + ce4x
.
1 ce4x
(2.15)
1 = 1.
c + e4x
.
c e4x
(2.16)
20
(2.17)
= xdx
x2
=
+ c1
2
2
x2
+c
4
0,
x
4
2
+c
x<a
xa
2.3.
Ecuaciones homogneas
(2.18)
tiene la propiedad
M (tx, ty) = tn M (x, y)
decimos que tiene coeficientes homogneos o que es una ecuacin homognea. La cuestin importante es que una ecuacin diferencial homognea
siempre puede transformarse a una ecuacin separable por medio de una substitucin algebraica.
21
Figura 2.6:
Definicin 11 Se dice que f (x, y) es una funcin homognea de grado n, si
para algn nmero real n,
f (tx, ty) = tn f (x, y).
Ejemplo 26
f (x, y) = x 3 xy + 5y
p
f (tx, ty) = (tx) 3 (tx)(ty) + 5(ty)
p
= tx 3 t2 xy + 5ty
f (x, y) = x2 + y 2 + 1
f (tx, ty) = t2 x2 + t2 y 2 + 1 6= t2 f (x, y).
ya que t2 f (x, y) = t2 x2 + t2 y 2 + t2 . La funcin no es homognea.
22
Ejemplo 29
f (x, y) =
f (tx, ty) =
=
x
+4
2y
tx
+4
2ty
x
+ 4 = t0 f (x, y).
2y
y
x
n
n
f (x, y) = x f 1,
y f (x, y) = y f
,1
x
y
donde f (1, y/x) y f (x/y, 1) son ambas de grado cero.
Ejemplo 30 Vemos que f (x, y) = x2 + 3xy + y 2 es homognea de grado dos.
Por lo tanto
y
y y 2
2
f (x, y) = x 1 + 3
= x2 f 1,
+
x
x
x
"
#
2
x
x
x
+3
f (x, y) = y 2
+ 1 = y2f
,1 .
y
y
y
Mtodo de solucin: Una ecuacin de la forma M (x, y)dx+N (x, y)dy = 0,
donde M y N tienen el mismo grado de homogeneidad, pueden reducirse a
una ecuacin de variables separables utilizando cualquiera de las substituciones
y = ux o x = vy, donde u y v son nuevas variables dependientes. En particular,
si y = ux, entonces dy = udx + xdu. Por lo tanto, la ecuacin diferencial se
transforma en
M (x, ux)dx + N (x, ux)[udx + xdu] = 0.
Ahora, por la homegeneidad de M y N podemos escribir
xn M (1, u)dx + xn N (1, u)[udx + xdu] = 0
o
[M (1, u) + uN (1, u)] dx + xN (1, u)du = 0
de lo cual resulta
dx
N (1, u) du
+
=0
x
M (1, u) + uN (1, u)
23
Solucin. M (x, y) y N (x, y) son funciones homogneas de grado dos. Si hacemos y = ux, se obtiene
(x2 + u2 x2 )dx + (x2 ux2 )[udx + xdu]
x2 (1 + u)dx + x3 (1 u)du
1u
dx
du +
1+u
x
dx
2
du +
1 +
1+u
x
u + 2 ln |1 + u| + ln |x| + ln |c|
y
y
+ 2 ln 1 + + ln |x| + ln |c|
x
x
= 0
= 0
= 0
= 0
= 0
= 0.
Ejemplo 32 Resuelva
(2 xy y)dx xdy = 0.
Solucin. Los coeficientes M (x, y) y N (x, y) son homogneos de grado uno. Si
y = ux, la ecuacin diferencial se transforma en
dx
du
+
= 0.
x
2u 2u1/2
Sabemos que la integral del primer trmino puede calcularse mediante la sustitucin adicional t = u1/2 . El resultado es
dt
dx
+
t1
x
ln |t 1| + ln |x|
r
ln
1 + ln |x|
x
r
y
1
x
x
xy x
2.4.
= 0
= ln |c|
= ln |c|
= c
= c
Ecuaciones exactas
24
f
f
dx +
dy.
x
y
(2.19)
dy
5y 2x
.
=
dx
5x + 3y 2
25
(2.21)
f
f
dx +
dy
x
y
y
M (x, y) =
f
,
x
N (x, y) =
f
y
Por lo tanto
M
=
y
y
f
x
2f
=
=
yx
x
f
y
N
x
(2.22)
26
De esto resulta
g 0 (y) = N (x, y)
M (x, y)dx.
(2.24)
R
Es importante observar que la expresin N (x, y) (/y) M (x, y)dx es independiente de x puesto que
Z
Z
N (x, y)
M (x, y)dx
=
M (x, y)dx
x
y
x
y x
M
N
= 0.
=
x
y
Finalmente, integre (2.24) con respecto a y y sustituya el resultado en (2.23).
La solucin de la ecuacin es f (x, y) = c.
Nota: En el procedimiento anterior podramos haber empezado suponiendo
que f /y = N (x, y). Las expresiones anlogas de (2.23) y (2.24) seran
Z
f (x, y) = N (x, y)dy + h(x)
y
h0 (x) = M (x, y)
N (x, y)dy.
respectivamente.
En cualquiera de los casos, ninguna de estas expresiones debiera memorizarse. Adems, al investigar si la ecuacin diferencial es exacta, asegrese
de que es de la forma (2.22). A menudo, una ecuacin diferencial se escribe
G(x, y)dx = H(x, y)dy. En este caso, escriba la ecuacin como G(x, y)dx
H(x, y)dy = 0 e identifique M (x, y) = G(x, y) y N (x, y) = H(x, y).
Ejemplo 36 Resuelva
2xydx + (x2 1)dy = 0.
27
Figura 2.7:
Solucin. Si bien la ecuacin es separable, adems es exacta puesto que
N
M
= 2x =
.
y
x
Ahora bien, por el teorema 2 existe una funcin f (x, y) para la que
f
= 2xy
x
f
= x2 1.
y
= x2 + g 0 (y)
= x2 1.
Se deduce que
g 0 (y) = 1
2
g(y) = y.
28
f
x
N (x, y) =
f
.
y
Se tiene
de modo que
h0 (x) = 0
h(x) = c.
Ejemplo 38 Resuelva
(cos x sen x xy 2 )dx + y(1 x2 )dy = 0
sujeta a
y(0) = 2.
y2
(1 x2 ) + h(x)
2
= xy 2 + h0 (x)
= cos x sen x xy 2 .
29
h(x) =
1
= cos2 x.
2
Luego
y2
1
(1 x2 ) cos2 x = c1
2
2
o
y 2 (1 x2 ) cos2 x = c.
(c = 2c1 )
2.4.1.
Factor integrante
(2.25)
entonces
M (x, y) = 2y(y 1)
M
= 4y 2
y
N
= 2y 1.
x
(2.26)
30
y
M
N
= 4xy 2x
y
= 4xy 2x.
y
x
Como la ecuacin diferencial (2.26) es exacta, podemos utilizar el procedimiento
para resolver ecuaciones diferenciales exactas. As,
f
= 2xy(y 1)
x
Integrando con respecto a x,
f (x, y) =
= x2 y(y 1) + g(y)
o
f (x, y) = x2 (y 2 y) + g(y).
(2.27)
x2 (y 2 y) = c,
(c = c1 )
2.5.
Ecuaciones lineales
a1 (x)
dy
+ a0 (x)y = g(x).
dx
2.5.1.
31
Un factor integrante
(2.29)
Las ecuaciones diferenciales lineales tienen la propiedad de que siempre es posible encontrar una funcin (x) tal que
(x)dy + (x) [P (x)y f (x)] dx = 0
(2.30)
(x) =
(x) [P (x)y f (x)]
x
y
(2.31)
d
= P (x).
dx
Esta es una ecuacin diferencial separable a partir de la cual podemos determinar (x). Tenemos
d
= P (x)dx.
P (x)dx
(2.33)
2.5.2.
Mtodo de solucin
Para resolver una ecuacin diferencial lineal de primer orden, primero escrbala en laU forma (2.28). Despus, multiplique toda la ecuacin por el factor
integrante e P (x)dx .
El lado izquierdo de
U
P (x)dx dy
dx
+ P (x)e
P (x)dx
y=e
P (x)dx
f (x)
esU la derivada del producto del factor integrante por la variable dependiente:
e P (x)dx y. Escriba la ecuacin en la forma
U
d h U P (x)dx i
y = e P (x)dx f (x)
e
dx
32
Ejemplo 40 Resuelva
x
dy
4y = x6 ex .
dx
(2.34)
dx/x
= e4 ln |x| = eln x
= x4 .
dy
4x5 y = xex
dx
la cual es equivalente a
d 4
x y = xex .
dx
Integrando por partes, obtenemos
x4 y = xex ex + c
o
y = x5 ex x4 ex + cx4 .
Ejemplo 41 Resuelva
dy
3y = 0.
dx
Solucin. La ecuacin ya est en la forma (2.28). Por consiguiente, el factor
integrante es
U
e (3)dx = e3x
y en consecuencia
dy
3e3x y = 0
dx
d 3x
y =0
e
dx
e3x
e3x y = c
y por tanto
y = ce3x .
33
dy
+ xy = 0.
dx
Solucin. Escribimos
dy
x
+
y = 0.
dx x2 + 9
La funcin P (x) = x/(x2 + 9) es continua en < x < . Ahora bien, el
factor integrante de la ecuacin es
p
U
U
2
2
2
1
1
e xdx/(x +9) = e 2 2xdx/(x +9) = e 2 ln(x +9) = x2 + 9
de modo que
o
o
p
dy
x
x2 + 9
y=0
+
2
dx
x +9
i
d hp 2
x + 9y = 0
dx
p
x2 + 9 y = c.
c
.
y=
2
x +9
Ejemplo 43 Resuelva
dy
+ 2xy = x
dx
sujeta a y(0) = 3.
Solucin. Las funciones P (x) = 2x y f (x) = x son continuas en < x < .
El factor integrante es
U
2
e2 xdx = ex
de modo que
ex
o
Integrando
2
2
2
dy
+ 2xex y = xex
dx
2
d h x2 i
e y = xex
dx
ex y
=
=
=
xex dx
Z
2
1
ex (2xdx)
2
1 x2
e + c.
2
34
y=
1 7 x2
.
e
2 2
Figura 2.8:
Ejemplo 44 Resuelva
x
dy
+ y = 2x
dx
sujeta a y(1) = 0.
Solucin. La ecuacin puede escribirse en la forma
dy
1
+ y=2
dx x
donde P (x) = 1/x es continua en cualquier intervalo que no contiene al origen.
Como es un problema de valor inicial, resolvemos el problema en el intervalo
0 < x < .
El factor integrante es
dx/x
= eln |x| = x
35
Figura 2.9:
y por lo tanto
d
[xy] = 2x
dx
Integrando
xy = x2 + c.
La solucin general de la ecuacin es
y =x+
c
.
x
(2.35)
Sustituyendo la condicin inicial y(1) = 0, en la solucin general (2.35), obtenemos c = 1. Por lo tanto, la solucin del problema es
y =x
1
,
x
0 < x < .
(2.36)
2.5.3.
Ecuacin de Bernoulli
A la ecuacin diferencial
dy
+ P (x)y = f (x)y n ,
dx
(2.37)
36
(2.38)
Ejemplo 45 Resuelva
1
dy
+ y = xy 2 .
dx x
Solucin. Por (2.37) identificamos P (x) = 1/x, f (x) = x y n = 2. En consecuencia, por (2.38) sabemos que la transformacin w = y 1 conduce a
dw
1
w = x.
dx
x
El factor integrante de esta ecuacin diferencial lineal en el intervalo 0 < x <
es
U
1
e dx/x = e ln |x| = eln |x| = x1 .
Por lo tanto
Integrando
d 1
x w = 1.
dx
x1 w = x + c
o
w = x2 + cx.
x2
1
.
+ cx
Captulo 3
Aplicaciones de las
ecuaciones diferenciales de
primer orden
3.1.
Trayectorias ortogonales
(3.1)
es una familia uniparamtrica de curvas en el plano xy. Una curva que intersecta
las curvas de la familia (3.1) en ngulos rectos se denomina una trayectoria
ortogonal de la familia dada.
Ejemplo 46 Considere la familia de crculos
x2 + y 2 = c2
(3.2)
(3.3)
38
Figura 3.1:
Figura 3.2:
dos dimensiones las lneas de fuerza (lneas de flujo) y las curvas equipotenciales
son trayectorias ortogonales una de la otra. En la figura 3.2 se muestra un campo elctrico en torno a dos cuerpos de carga opuesta. Las lneas de fuerza se
indican mediante un trazo discontinuo mientras que las curvas equipotenciales
se muestran con un trazo continuo.
3.1.1.
Procedimiento para encontrar las trayectorias ortogonales de una familia dada de curvas
Paso 1: De la ecuacin
F (x, y, c) = 0
(3.4)
(3.5)
39
y = F (x, c)
(3.7)
(3.8)
y = kx.
(3.9)
es la familia de rectas
A continuacin utilizaremos el procedimiento establecido para encontrar la familia de trayectorias ortogonales de la familia de crculos.
Paso 1: Diferenciando la ecuacin
x2 + y 2 = c2
de la familia dada, obtenemos
x+y
dy
= 0.
dx
(3.10)
de la familia dada (3.8). Observe en este caso que el parmetro c automticamente fue eliminado.
Paso 2: Reemplazamos x/y por su recproco negativo en la ecuacin diferencial (3.10) para obtener la ecuacin diferencial
dy
y
=
dx
x
de las trayectorias ortogonales.
(3.11)
40
(3.12)
(3.13)
dy
= 2cx.
dx
(3.14)
Diferenciando, obtenemos
(3.15)
Paso 2: Ahora, encontramos la ecuacin diferencial de las trayectorias ortogonales reemplazando 2y/x en (3.15) por su recproco negativo, obteniendo
x
dy
= .
dx
2y
(3.16)
41
Figura 3.3:
3.2.
Problemas de tasas
3.2.1.
Ejemplo 49 La tasa en la cual los ncleos radioactivos se desintegran es proporcional al nmero de tales ncleos que estn presentes en una muestra dada.
La mitad del nmero original de los ncleos radioactivos se han desintegrado en
un periodo de 1,500 aos.
1. Qu porcentaje de los ncleos originales permanecern despus de 4,500
aos?
2. Cuntos aos se necesitarn para que quede solamente un dcimo del
nmero original de ncleos?
Formulacin matemtica.
Sea x la cantidad de ncleos radioactivos presentes despus de t aos. Entonces, dx/dt representa la tasa en la cual los ncleos se desintegran. Puesto
que los ncleos se desintegran en una tasa proporcional a la cantidad presente,
tenemos
dx
= Kx,
(3.17)
dt
donde K es una constante de proporcionalidad. La cantidad x claramente es
positiva; adems, puesto que x est decreciendo, dx/dt < 0. As, de la ecuacin
(3.17), se tiene que K < 0. Para enfatizar que x est decreciendo, preferimos
42
reemplazar K por una constante positiva precedida por un signo menos. As,
hacemos k = K > 0 y escribimos la ecuacin diferencial (3.17) en la forma
dx
= kx.
dt
(3.18)
1
x0 .
2
(3.20)
Solucin. La ecuacin diferencial (3.18) es separable; separando variables, integrando y simplificando, obtenemos
x = cekt .
Aplicando la condicin inicial (3.19), x = x0 cuando t = 0, encontramos que
c = x0 y de aqu obtenemos
x = x0 ekt .
(3.21)
An no se ha determinado k. As, aplicamos la condicin (3.20), x = 12 x0 cuando
t = 1, 500, en la ecuacin (3.21). Encontramos
1
x0 = x0 e1500k ,
2
o
k 1500 1
e
= ,
2
Finalmente
1/1500
1
=
2
(3.22)
t
x = x0 ek = x0
"
#
1/1500 t
1
2
43
t/1500
1
.
x = x0
2
(3.23)
t/1500
1
.
2
o
t=
3.3.
1500 ln 10
4985 aos.
ln 2
Problemas de mezclas
Ahora consideraremos problemas de tasas que involucran mezclas. Una substancia S fluye, a una tasa especfica, hacia una mezcla contenida en un recipiente,
y la mezcla se mantiene uniforme por agitacin. Adems, en tal situacin, esta
mezcla uniforme simultaneamente fluye, a otra tasa (generalmente diferente),
fuera del recipiente. El problema consiste en determinar la cantidad de sustancia
S presente en la mezcla en el tiempo t.
Suponiendo que x denota la cantidad de la sustancia S presente en el tiempo
t, la derivada dx/dt denota la tasa de cambio de x con respecto a t. Si ENTRA
denota la tasa a la cual S entra a la mezcla y SALE la tasa a la cual S sale de
la mezcla, la ecuacin bsica
dx
= EN T RA SALE
dt
puede resolverse para determinar la cantidad x de S en el tiempo t.
(3.24)
44
Figura 3.4:
Ejemplo 50 Un tanque inicialmente contiene 50 galones de agua pura. Al inicio, en el tiempo t = 0, una salmuera que contiene 2 lb de sal disuelta por galn
fluye al tanque a una tasa de 3 gal/min. La mezcla se mantiene uniforme mediante agitacin y la mezcla simultneamente fluye fuera del tanque a la misma
tasa. (Ver figura 3.4)
1. Qu cantidad de sal contendr el tanque en el tiempo t > 0?
2. Qu cantidad de sal contendr el tanque despus de 25 min?
3. Qu cantidad de sal contendr el tanque despus de un tiempo muy largo?
Formulacin matemtica.
Supongamos que x denota la cantidad de sal en el tanque en el tiempo t.
Utilizando la ecuacin bsica (3.24),
dx
= EN T RA SALE.
dt
La salmuera fluye a una tasa de 3 gal/min, y cada galn contiene 2 lb de sal.
As,
EN T RA = (2 lb / gal) (3 gal / min) = 6 lb / mn .
Puesto que la tasa del flujo de salida iguala a la tasa de entrada, el tanque contiene 50 galones de la mezcla en cualquier tiempo t. Estos 50 galones contienen
1
x libras de sal en el tiempo t, y as la concentracin de sal en el tiempo t es 50
x
lb/gal. As, puesto que la mezcla fluye hacia fuera del tanque a una tasa de 3
gal/min, tenemos
SALE =
3x
lb / gal (3 gal / mn) =
lb / mn .
50
50
45
(3.25)
x = 100 1 e3t/50 .
(3.27)
46
tambin,
SALE = (C lb/ gal)(3 gal/ min),
donde C lb/ gal denota la concentracin. Sin embargo, puesto que la tasa de
salida es diferente a la tasa de entrada, la concentracin no es tan simple. En
el tiempo t = 0, el tanque contiene 50 gal de salmuera. Ya que la salmuera
fluye a una tasa de 5 gal/ min pero sale a una tasa ms lenta de 3 gal/ min, hay
una ganancia neta de 5 3 = 2 gal/ min de salmuera en el tanque. As, a los t
minutos la cantidad de salmuera en el tanque es
50 + 2t gal.
De aqu que la concentracin C en el tiempo t minutos es
x
lb/ gal,
50 + 2t
y as
SALE =
3x
lb/ min.
50 + 2t
(3.28)
3
exp
dt = (2t + 50)3/2 .
2t + 50
Multiplicando la ecuacin diferencial por el factor integrante, tenemos
(2t + 50)3/2
o
As
dx
+ 3(2t + 50)3/2 x = 10(2t + 50)3/2
dt
i
d h
(2t + 50)3/2 x = 10(2t + 50)3/2 .
dt
(2t + 50)3/2 x = 2(2t + 50)5/2 + c
47
o
x = 4(t + 25) +
c
.
(2t + 50)3/2
c
(50)3/2
22, 500 2
.
x = 4t + 100
(2t + 50)3/2
3.4.
3.4.1.
Problemas en mecnica
Introduccin
dv
= KF,
dt
F
,
m
(3.30)
F = kma,
(3.31)
a=K
o
48
(3.32)
Figura 3.5:
Ahora consideremos un cuerpo B en movimiento rectilneo, esto es, en movimiento a lo largo de una lnea recta L. Seleccionamos en L un punto de referencia
49
dx
;
dt
dv
= F,
dt
(3.34)
d2 x
= F,
(3.35)
dt2
dv
mv
= F,
(3.36)
dx
donde F es la fuerza resultante que actua sobre el cuerpo. La forma a utilizar
depende de la manera en la que F est expresada. Por ejemplo, si F es una
funcin del tiempo t y se desea obtener la velocidad v como una funcin de t,
podramos utilizar (3.34); mientras que si F est expresada como una funcin
del desplazamiento x y deseamos encontrar v como una funcin de x, podramos
emplear (3.36).
m
3.4.2.
50
Ejemplo 52 Un cuerpo que pesa 8 lb cae partiendo del reposo desde una gran
altura hacia la tierra. Mientras cae, la resistencia del aire actua sobre l, por
lo que supondremos que esta resistencia (en libras) es numricamente igual a
2v, donde v es la velocidad (en pies por segundo). Determine la velocidad y la
distancia recorrida despus de t segundos.
Formulacin. Seleccionamos la direccin vertical hacia abajo a lo largo
de la ruta del cuerpo B como la direccin positiva del eje x y el origen en el
punto desde el cual el cuerpo comienza a caer. Las fuerzas que actuan sobre el
cuerpo son:
1. F1 , su peso, de 8 lbs, que acta hacia abajo y de aqu que sea positiva.
2. F2 , la resistencia del aire, numricamente igual a 2v, que acta hacia arriba
y de aqu que sea la cantidad negativa 2v
Vea la figura (3.6) para reforzar lo indicado.
Figura 3.6:
Entonces la segunda ley de Newton, es
m
dv
= F1 + F2
dt
8
32
1 dv
= 8 2v.
4 dt
= 14 ,
(3.37)
51
Puesto que el cuerpo empieza a caer del reposo, tenemos la condicin inicial
v(0) = 0.
(3.38)
(3.40)
52
1
2 v,
dv
1
= 160 v.
dt
2
(3.42)
dv
5
= 160 v 2 .
dt
8
53
dv
5
= 160 v 2 ,
dt
8
v(5) = v1 .
(3.43)
(3.44)
dv
1
= 160 v.
dt
2
(3.45)
1
t + c0 ,
10
(3.46)
(3.47)
dv
5
= 160 v 2 .
dt
8
(3.48)
54
o
ln
v 16
= 4t + c1 .
v + 16
(3.49)
16(ce4t + 1)
.
1 ce4t
(3.50)
110 20
e .
142
16
110
204t
+1
142 e
110 204t
1 142 e
(3.51)
3.4.3.
Fuerzas de friccin
Si un cuerpo se mueve sobre una superficie rugosa, enfrentar no slo la resistencia del aire sino tambin otra fuerza de resistencia debida a la rugosidad de
la superficie. Esta fuerza adicional se denomina friccin. En fsica se demuestra
que la friccin est dada por N , donde
1. es una constante de proporcionalidad denominada el coeficiente de friccin, que depende de la rugosidad de la superficie; y
2. N es la fuerza normal (esto es, perpendicular) que la superficie ejerce sobre
el cuerpo.
55
Ejemplo 54 Un objeto que pesa 48 libras se libera partiendo del reposo desde la
parte superior de un plano metlico inclinado el cual tiene una inclinacin de 300
con respecto a la horizontal. La resistencia del aire (en libras) numricamente
es igual a un medio de la velocidad (en pies por segundo), y el coeficiente de
friccin es un cuarto.
A. Cul es la velocidad del objeto 2 segundos despus de liberado?
B. Si el plano inclinado tiene 24 pies de largo, cul ser la velocidad cuando
el objeto alcance la parte ms baja?
Formulacin. La lnea de movimiento est sobre el plano. Elegimos el
origen en la parte ms alta del plano y la direccin positiva a lo largo del
del plano, pero hacia abajo. Si por el momento despreciamos la friccin y la
resistencia del aire, las fuerzas que actan sobre el objeto A son:
1. Su peso, 48 libras, que acta verticalmente hacia abajo; y
2. La fuerza normal, N , ejercida por el plano que acta hacia arriba en
direccin perpendicular al plano. (Ver la figura 3.7)
Figura 3.7:
Las componentes del peso, paralela y perpendicular al plano, tienen las magnitudes
48 sen 30 = 24
y
48 cos 30 = 24 3,
56
F2 = 6 3.
3. F3 , la resistencia del aire, cuyo valor es 12 v. Puesto que v > 0 y esta acta
en la direccin negativa, tenemos
1
F3 = v.
2
Aplicando
la segunda ley de Newton F = ma, donde F = F1 + F2 + F3 =
1
3 dv
= 24 6 3 v.
2 dt
2
(3.52)
(3.53)
= .
3
48 12 3 v
Su integracin y simplicacin conduce a
v = 48 12 3 c1 et/3 .
v = (48 12 3) 1 et/3 .
(3.54)
v(2) = (48 12 3) 1 e2/3 10,2 ft/ s.
Para responder la pregunta B, integramos (3.54) para obtener
x = (48 12 3) t + 3 et/3 + c2 .
x = (48 12 3) t + 3 et/3 3 .
57
24 = (48 12 3) T + 3 eT /3 3 ,
que puede ser escrita como
47 + 2 3
=
3e
T.
13
El valor de T que satisface esta ecuacin es aproximadamente 2,6. As, de la
ecuacin (3.54) la velocidad del objeto cuando alcanza la parte ms baja del
plano inclinado es aproximadamente
3.5.
Figura 3.8:
1. Una fuente de fuerza electromotriz (fem) E, digamos una batera o un
generador, que impulsa a las cargas elctricas y produce una corriente I.
Segn la naturaleza de la fuente, E puede ser constante o una funcin del
tiempo.
58
dI
.
dt
1
Q.
C
dQ
.
dt
Los estudiantes que no estn familiarizados con los circuitos elctricos encontrarn til pensar en la corriente I como el anlogo de la tasa en la que fluye el
agua en la tubera. La fem E juega el papel de una bomba de presin (voltaje)
que hace que el agua fluya. La resistencia R es el anlogo del rozamiento en la
tubera, que se opone al flujo produciendo una cada de la presin. La inductancia L es una especie de inercia que se opone a cualquier cambio en el flujo
produciendo una cada de la presin si el flujo aumenta y un aumento de presin
si el flujo decrece. La mejor manera de pensar en el condensador es visualizarlo
como un tanque cilndrico de almacenamiento en el que el agua entra por un
agujero en su fondo: cuando ms profunda est el agua en el depsito (Q) ms
cuesta bombear agua adicional en l; y cuanto mayor es la base del depsito
(C) para una cierta cantidad de agua almacenada, el agua es menos profunda
y cuesta menos bombear agua en l.
Estos elementos de circuitos actan conjuntamente de acuerdo a la ley de
Kirchho segn la cual la suma algebraica de las fuerzas electromotrices en un
1 Georg Simon Ohm (1787-1854) fue un fsico alemn cuya nica contribucin relevante fue
la ley aqu citada. Cuando la anunci en 1827 pareca demasiado maravillosa para ser cierta,
y nadie la crey. Ohm sufri con ello tal descrdito y fue tan maltratado que renunci a su
plaza de profesor en Colonia, y vivi muchos aos en la oscuridad y en la pobreza antes de
que se reconociera que estaba en lo cierto. Alumno suyo en Colonia fue Peter Dirichlet, que
habra de llegar a ser uno de los ms eminentes matemticos del siglo XIX.
59
dI
1
Q = 0,
dt
C
dI
1
+ RI + Q = E.
dt
C
(3.55)
dQ
d2 Q
1
+R
+ Q = E.
2
dt
dt
C
(3.57)
dI
+ RI = E
dt
(3.58)
dI
+ RI = E0 .
dt
Separando variables,
dI
1
= dt.
E0 RI
L
Integrando y utilizando la condicin inicial I = I0 cuando t = 0 obtenemos
R
ln(E0 RI) = t + ln(E0 RI0 ),
L
2 Gustav Robert Kirchho (1824-1887) fue un cientfico alemn cuyas investigaciones sobre
circuitos elctricos son familiares a todo estudiante de fsica elemental. Estableci adems los
principios del anlisis espectral y allan el camino a las aplicaciones de la espectroscospa en
la determinacin de la constitucin qumica de las estrellas.
60
luego
I=
E0
E0
+ I0
eRt/L .
R
R
Ntese que la corriente I consta de una parte estacionaria E0 /R y otra transitoria (I0 E0 /R)eRt/L que tiende a cero cuando t . En consecuencia,
la ley de Ohm E0 = RI es aproximadamente vlida para valores grandes de t.
Observemos tambin que si I0 = 0, entonces
I=
E0
1 eRt/L ,
R
y si E0 = 0, entonces I = I0 eRt/L .
Captulo 4
Mtodos explcitos de
solucin para las ecuaciones
diferenciales lineales de
orden superior
Prcticamente, las ecuaciones diferenciales lineales se originan en una variedad de aplicaciones de la ciencia e ingeniera. Afortunadamente, muchas de
las ecuaciones diferenciales lineales que as ocurren son lineales con coeficientes
constantes, para las que existen mtodos de solucin conocidos. El propsito de
este captulo es estudiar algunos de estos mtodos.
4.1.
Definicin 14
Una ecuacin diferencial ordinaria lineal de orden n en la variable dependiente y
y en la variable independiente x es una ecuacin que est, o puede ser expresada,
en la forma
an (x)
dn y
dn1 y
dy
+
a
(x)
+ + a1 (x)
+ a0 (x) y = g(x),
n1
dxn
dxn1
dx
(4.1)
donde an (x) 6= 0. Asumiremos que an (x), an1 (x), . . . , a0 (x) y g(x) son funciones reales continuas en el intervalo a x b y que an (x) 6= 0 para todo x en
a x b. La funcin g(x) del lado derecho de la ecuacin (4.1) se denomina el
trmino no homogneo, por lo que se dice que la ecuacin (4.1) es una ecuacin
diferencial ordinaria lineal no homognea de orden n. Si g(x) = 0, la ecuacin
61
62
(4.1) se reduce a
an (x)
dn y
dn1 y
dy
+
a
(x)
+ + a1 (x)
+ a0 (x) y = 0
n1
n
n1
dx
dx
dx
(4.2)
dy
d2 y
+3
5y = 0
dx2
dx
dn y
dn1 y
dy
+
a
(x)
+ + a1 (x)
+ a0 (x) y = g(x),
n1
dxn
dxn1
dx
(4.3)
donde an (x), an1 (x), . . . , a0 (x) y g(x) son funciones reales continuas en el intervalo a x b y an (x) 6= 0 para todo x en a x b.
2. Sea x0 cualquier punto del intervalo a x b, y supongamos que c0 , c1 , . . . ,
cn1 son n constantes reales arbitrarias.
Conclusin. Existe una solucin nica de (4.3) tal que
f (x0 ) = c0 ,
63
requisitos de continuidad establecidos en la hiptesis 1 del Teorema 3 en un intervalo especfico del eje x. Entonces, dado cualquier punto x0 de este intervalo y
cualesquiera n nmeros reales c0 , c1 , . . . , cn1 , el teorema nos asegura que existe
una solucin nica de la ecuacin diferencial que toma el valor c0 en x = x0 y
cuya k-sima derivada toma el valor ck para cada k = 1, 2, . . . , n 1 en x = x0 .
Adems, el teorema nos asegura que esta solucin nica est definida en toda x
del intervalo anteriormente mencionado.
Ejemplo 59 Considere el problema de valor inicial
d2 y
dy
+ 3x
+ x3 y = ex ,
2
dx
dx
y(1) = 2,
y 0 (1) = 5.
Los coeficientes 1, 3x y x3 , as como el trmino no homogneo ex de la ecuacin
diferencial son funciones continuas en el intervalo < x < . Aqu, el
punto x0 = 1 pertenece al intervalo y los nmeros reales c0 y c1 son 2 y 5,
respectivamente. Por lo tanto, el Teorema 3 nos asegura que existe una solucin
del problema de valor inicial y que sta es nica, y est definida en todo punto
x del intervalo < x < .
Ejemplo 60 Considere el problema de valor inicial
2
d3 y
d2 y
dy
+
x
+ 3x2
5y = sen x,
3
2
dx
dx
dx
y(4) = 3,
y 0 (4) = 5,
7
y 00 (4) = .
2
dn y
dn1 y
dy
+ an1 (x) n1 + + a1 (x)
+ a0 (x) y = 0
n
dx
dx
dx
tal que
f (x0 ) = 0,
(4.4)
64
65
+ 2y = 0.
dx3
dx2 dx
El Teorema 4 establece que la combinacin lineal c1 ex + c2 ex + c3 e2x tambin
es una solucin de la ecuacin diferencial, donde c1 , c2 y c3 son constantes
arbitrarias. Por ejemplo, particularmente la combinacin lineal
2
2 ex 3 ex + e2x
3
es una solucin.
Ahora consideraremos el concepto de solucin general de (4.2). Para entender
esta, primero introducimos los conceptos de dependencia lineal e independencia
lineal.
Definicin 16
Las n funciones f1 , f2 , . . . , fn se dicen linealmente dependientes en el intervalo
a x b si existen constantes c1 , c2 , . . . , cn , no todas cero, tal que
c1 f1 (x) + c2 f2 (x) + + cn fn (x) = 0
para toda x en a x b.
En particular, dos funciones f1 y f2 son linealmente dependientes en el intervalo
a x b si existen constantes c1 y c2 , no todas cero, tal que
c1 f1 (x) + c2 f2 (x) = 0
para toda x en a x b.
Ejemplo 64 Observamos que x y 2x son linealmente dependientes en el intervalo 0 x 1, ya que existen constantes c1 y c2 , no todas cero, tal que
c1 x + c2 (2x) = 0
para toda x en el intervalo 0 x 1. Por ejemplo, c1 = 2 y c2 = 1.
Ejemplo 65 Observamos que sen x, 3 sen x y sen x son linealmente dependientes en el intervalo 1 x 2, ya que existen constantes c1 , c2 y c3 , no
todas cero, tal que
c1 sen x + c2 (3 sen x) + c3 ( sen x) = 0
para toda x en el intervalo 1 x 2. Por ejemplo, c1 = 1, c2 = 1 y c3 = 4.
66
Definicin 17
Las n funciones f1 , f2 , . . . , fn se dicen linealmente independientes en el intervalo
a x b si no son linealmente dependientes en dicho intervalo. Esto es, las
funciones f1 , f2 , . . . , fn son linealmente independientes en el intervalo a x b
si la relacin
c1 f1 (x) + c2 f2 (x) + + cn fn (x) = 0
para toda x en a x b implica que
c1 = c2 = = cn = 0.
En otras palabras, la nica combinacin lineal de f1 , f2 , . . . , fn que es idnticamente cero en el intervalo a x b es la combinacin trivial
0 f1 (x) + 0 f2 (x) + + 0 fn (x) = 0.
Ejemplo 66 Observamos que x y x2 son linealmente independientes en el intervalo 0 x 1, puesto que c1 x + c2 x2 = 0 en el intervalo 0 x 1 implica
que c1 = 0 y c2 = 0.
El teorema siguiente est relacionado con la existencia de conjuntos de soluciones linealmente independientes de una ecuacin diferencial lineal homognea
de orden n y con la significancia de tales conjuntos linealmente independientes.
Teorema 5
La ecuacin diferencial lineal homognea de orden n (4.2) siempre posee n soluciones que son linealmente independientes. Adems, si f1 , f2 , . . . , fn son n soluciones linealmente independientes de (4.2), entonces cada solucin f de (4.2)
puede ser expresada como una combinacin lineal
c1 f1 (x) + c2 f2 (x) + + cn fn (x)
de estas n soluciones linealmente independientes mediante una eleccin apropiada de las constantes c1 , c2 , . . . , cn .
Dada una ecuacin diferencial lineal homognea de orden n, este teorema
nos asegura primero que existe un conjunto de n soluciones linealmente independientes. Asegurada la existencia de tal conjunto de n soluciones linealmente
independientes, el teorema nos dice que cualquier solucin de (4.2) puede ser
escrita como una combinacin lineal de tal conjunto linealmente independiente
de n soluciones mediante la eleccin adecuada de las constantes c1 , c2 , . . . , cn .
Ahora, supongamos que f1 , f2 , . . . , fn son n soluciones linealmente independientes de (4.2). Entonces, por el Teorema (4) conocemos que la combinacin
lineal
c1 f1 (x) + c2 f2 (x) + + cn fn (x)
(4.5)
donde c1 , c2 , . . . , cn son n constantes arbitrarias, es tambin una solucin de
(4.2). Por otro lado, por el Teorema (5) conocemos que si f es cualquier solucin de (4.2), entonces puede ser expresada como una combinacin lineal (4.5)
67
a x b,
+ 2y = 0.
dx3
dx2 dx
son linealmente independientes para toda x en < x < . As, ex , ex y e2x
constituyen un conjunto fundamental de soluciones de la ecuacin diferencial
dada, y su solucin general puede ser expresada como la combinacin lineal
c1 ex + c2 ex + c3 e2x ,
donde c1 , c2 y c3 son constantes arbitrarias. Escribimos la solucin general como
y = c1 ex + c2 ex + c3 e2x .
68
f1
f2
fn
0
0
0
f1
f
f
n
2
W (f1 , f2 , . . . , fn ) = ..
..
..
,
.
.
(n1) . (n1)
(n1)
f
f2
fn
1
Teorema 6
Las n soluciones f1 , f2 , . . . , fn de la ecuacin diferencial lineal homognea de
orden n (4.2) son linealmente independientes en el intervalo a x b si y
slo si el Wronskiano de f1 , f2 , . . . , fn es distinto de cero para alguna x en el
intervalo a x b.
Adicionalmente tenemos:
Teorema 7
El Wronskiano de n soluciones f1 , f2 , . . . , fn de (4.2) o es idnticamente cero
en a x b o nunca es cero en a x b.
As, si podemos encontrar n soluciones de (4.2), podemos aplicar los teoremas 6 y 7 para determinar si son linealmente independientes. Si son linealmente
independientes, entonces podemos formar la solucin general como una combinacin lineal de estas n soluciones linealmente independientes.
En el caso de la ecuacin diferencial lineal homognea de segundo orden
a2 (x)
d2 y
dy
+ a1 (x)
+ a0 (x) y = 0,
2
dx
dx
f1 f2
0
0
0
f1 f200 = f1 f2 f1 f2 .
sin x cos x
W (sen x, cos x) =
cos x sin x
= sen2 x cos2 x
= 1 =
6 0
69
para toda x real. As, puesto que W (sen x, cos x) 6= 0 para toda x real, concluimos
que sen x y cos x son soluciones linealmente independientes de la ecuacin diferencial dada en todo intervalo real.
Ejemplo 70 Las soluciones ex , ex y e2x de
d2 y
dy
d3 y
2 2
+ 2y = 0.
3
dx
dx
dx
son linealmente independientes en el intervalo < x < , ya que
x
e ex
e2x
1 1
1
= e2x 1 1 2
1 1
4
= 6 e2x 6= 0
4.1.1.
Reduccin de orden
En la seccin siguiente comenzaremos a estudiar los mtodos para la obtencin de soluciones explcitas de las ecuaciones diferenciales lineales de orden
superior. Aqu y en las secciones posteriores encontraremos que el teorema siguiente sobre la reduccin de orden es a menudo muy til.
Teorema 8
Hiptesis. Sea f una solucin no trivial de la ecuacin diferencial lineal homognea de orden n
an (x)
dn y
dn1 y
dy
+
a
(x)
+ + a1 (x)
+ a0 (x) y = 0.
n1
dxn
dxn1
dx
(4.6)
70
d2 y
dy
+ a1 (x)
+ a0 (x) y = 0.
2
dx
dx
(4.7)
Haciendo la transformacin
y = f (x) v,
(4.8)
(4.9)
d2 y
d2 v
dv
= f (x) 2 + 2f 0 (x)
(4.10)
+ f 00 (x) v.
2
dx
dx
dx
Substituyendo (4.8), (4.9) y (4.10) en (4.7), obtenemos
d2 v
dv
+ f 00 (x) v
a2 (x) f (x) 2 + 2f 0 (x)
dx
dx
dv
+ a1 (x) f (x)
+ f 0 (x) v + a0 (x)f (x) v = 0
dx
a2 (x)f (x)
d2 v
dv
+ [2a2 (x)f 0 (x) + a1 (x)f (x)]
dx2
dx
+ [a2 (x)f 00 (x) + a1 (x)f 0 (x) + a0 (x)f (x)] v = 0.
d2 v
dv
+ [2a2 (x)f 0 (x) + a1 (x)f (x)]
= 0.
dx2
dx
dw
+ [2a2 (x)f 0 (x) + a1 (x)f (x)] w = 0.
dx
(4.11)
f (x) a1 (x)
dw
= 2
+
dx.
w
f (x)
a2 (x)
71
Integrando, obtenemos
2
ln |w| = ln [f (x)]
o
w=
h R
c exp
a1 (x)
dx + ln |c|
a2 (x)
i
a1 (x)
a2 (x) dx
2
[f (x)]
y = f (x)
h
Z exp R
a1 (x)
a2 (x) dx
2
[f (x)]
dx.
(4.12)
La funcin definida en el lado derecho de (4.12), que de aqu en adelante denotaremos por h, realmente es una solucin de la ecuacin diferencial original
de segundo orden (4.7). Adems, esta nueva solucin h y la solucin original
conocida f son linealmente independientes, puesto que
W [f (x), h(x)] = 0
=
f (x) h0 (x) f 0 (x) f (x)v 0 + f 0 (x)v
Z
a1 (x)
2 0
= [f (x)] v = exp
dx 6= 0.
a2 (x)
As la combinacin lineal
c1 f + c2 h
es la solucin general de la ecuacin (4.7). Ahora resumimos estos resultados en
el teorema siguiente.
Teorema 9
Hiptesis.Sea f una solucin no trivial de la ecuacin diferencial lineal homognea de segundo orden
a2 (x)
d2 y
dy
+ a1 (x)
+ a0 (x) y = 0.
2
dx
dx
(4.13)
dw
+ [2a2 (x)f 0 (x) + a1 (x)f (x)] w = 0
dx
(4.14)
72
dv
en la variable dependiente w, donde w = dx
.
Conclusin 2. La solucin particular
i
h R
dx
exp aa12 (x)
(x)
w=
2
[f (x)]
d2 y
dy
2x
+ 2y = 0,
dx2
dx
(4.15)
dy
dv
=x
+v
dx
dx
73
y
d2 y
d2 v
dv
=
x
+2 .
dx2
dx2
dx
Substituyendo las expresiones para y, dy/dx y d2 y/dx2 en la ecuacin (4.15),
obtenemos
2
d v
dv
dv
2
(x + 1) x 2 + 2
2x x
+ v + 2xv = 0
dx
dx
dx
o
x(x2 + 1)
d2 v
dv
+2
= 0.
dx2
dx
2
2x
+ 2
dx.
x x +1
c(x2 + 1)
.
x2
1
h(x) = x x
= x2 1.
x
Por el Teorema 9 conocemos que esta es la solucin linealmente independiente
deseada. La solucin general de la ecuacin (4.15) puede ser expresada como la
combinacin lineal c1 x + c2 (x2 1) de las soluciones linealmente independientes
f y h. As, escribimos la solucin general de la ecuacin (4.15) como
y = c1 x + c2 (x2 1).
74
4.1.2.
La ecuacin no homognea
dn y
dn1 y
dy
+ an1 (x) n1 + + a1 (x)
+ a0 (x) y = g(x).
n
dx
dx
dx
(4.16)
dn y
dn1 y
dy
+ an1 (x) n1 + + a1 (x)
+ a0 (x) y = 0
n
dx
dx
dx
(4.17)
dn y
dn1 y
dy
+
a
(x)
+ + a1 (x)
+ a0 (x) y = g(x)
n1
n
n1
dx
dx
dx
(4.18)
75
dn y
dn1 y
dy
+
a
(x)
+ + a1 (x)
+ a0 (x) y = 0
n1
n
n1
dx
dx
dx
(4.19)
76
Teorema 11
Hiptesis
1. Sea f1 una integral particular de
an (x)
dn y
dn1 y
dy
+ an1 (x) n1 + + a1 (x)
+ a0 (x) y = g1 (x).
n
dx
dx
dx
(4.20)
dn y
dn1 y
dy
+ an1 (x) n1 + + a1 (x)
+ a0 (x) y = g2 (x).
n
dx
dx
dx
(4.21)
dn y
dn1 y
dy
+an1 (x) n1 + +a1 (x) +a0 (x) y = k1 g1 (x)+k2 g2 (x), (4.22)
n
dx
dx
dx
(4.23)
(4.24)
y
d2 y
+ y = tan x.
(4.25)
dx2
Hemos visto en el ejemplo 73 que una integral particular de la ecuacin (4.24)
est dada por
y = x.
Adems, podemos verificar (por sustitucin directa) que una integral particular
de la ecuacin (4.25) es
y = (cos x) ln | sec x + tan x|.
Por consiguiente, aplicando el Teorema 11, una integral particular de la ecuacin
(4.23) es
y = 3x 5(cos x) ln | sec x + tan x|.
4.2.
4.2.1.
77
dn y
dn1 y
dy
+
a
+ + a1
+ a0 y = 0
n1
dxn
dxn1
dx
(4.26)
= m emx ,
= m2 emx ,
..
.
dn y
dxn
= mn emx .
78
o
emx (an mn + an1 mn1 + + a1 m + a0 ) = 0.
(4.27)
4.2.2.
Races de un polinomio
Las races de un polinomio se pueden determinar mediante una tcnica basada en la divisin de polinomios denominada divisin sinttica. Los conceptos
relacionados con esta tcnica estn fundamentados en el siguiente teorema:
Teorema 12 (Algoritmo de la divisin)
Sean f (x) y g(x) dos polinomios cualesquiera definidos sobre el campo de los
nmeros complejos C. Si g(x) 6= 0, siempre existen dos polinomios nicos q(x)
y r(x), tambin definidos en el campo de los complejos tales que
f (x) = q(x)g(x) + r(x)
donde
r(x) = 0
79
80
7
1
8
2
4
6
3
3
0
x2 = 3
4.2.3.
Supongamos que las n races de (4.27) son todas reales y distintas, digamos
m1 , m2 , . . . , mn .
Entonces
em1 x , em2 x , . . . , emn x
son n soluciones distintas de (4.26). Adems, utilizando el Wronskiano se puede
mostrar que estas n soluciones son linealmente independientes. As, tenemos el
resultado siguiente.
Teorema 15
Considere la ecuacin diferencial lineal homognea de orden n con coeficientes
constantes (4.26). Si la ecuacin auxiliar (4.27) tiene las n races reales distintas
m1 , m2 , . . . , mn , entonces la solucin general de (4.26) es
y = c1 em1 x + c2 em2 x + + cn emn x ,
donde c1 , c2 , . . . , cn son constantes arbitrarias.
81
m2 3m + 2 = 0.
(m 1)(m 2) = 0, m1 = 1, m2 = 2.
Las races son reales y distintas. As, ex y e2x son soluciones y la solucin
general puede ser escrita como
y = c1 ex + c2 e2x .
Verificamos que ex y e2x son linealmente independientes. Su Wronskiano es
x
e e2x
W (ex , e2x ) = x
e 2 e2x
= e3x 6= 0.
4
+
+ 6y = 0.
3
2
dx
dx
dx
La ecuacin auxiliar es
m3 4m2 + m + 6 = 0.
4
1
5
1
5
6
6
6
0
m2 = 2,
m3 = 3,
y la solucin general es
y = c1 ex + c2 e2x + c3 e3x .
82
4.2.4.
(m 3)2 = 0.
m1 = 3,
m2 = 3
dv
+ 3e3x v,
dx
d2 v
dv
= e3x 2 + 6e3x
+ 9e3x v.
dx
dx
= e3x
d2 v
dv
dv
+ 9e3x v 6 e3x
+ 3e3x v + 9e3x v = 0
e3x 2 + 6e3x
dx
dx
dx
o
d2 v
= 0.
dx2
Haciendo w = dv/dx, tenemos la ecuacin de primer orden
e3x
e3x
dw
=0
dx
83
o simplemente
dw
= 0.
dx
Las soluciones de esta ecuacin de primer orden son simplemente w = c, donde c
es una constante arbitraria. Eligiendo la solucin particular w = 1 y recordando
que dv/dx = w, encontramos
v(x) = x + c0 ,
donde c0 es una constante arbitraria. Por el Teorema 9, conocemos que para
cualquier eleccin de la constante c0 , v(x)e3x = (x + c0 )e3x es una solucin de
la ecuacin diferencial de segundo orden dada. Adems, por el Teorema 9 conocemos que esta solucin y la solucin previamente conocida e3x son linealmente
independientes. Seleccionando c0 = 0 obtenemos la solucin
y = xe3x
de la ecuacin diferencial de segundo orden dada.
As, la solucin general de la ecuacin diferencial dada es
y = c1 e3x + c2 xe3x
o
y = (c1 + c2 x)e3x .
Con este ejemplo como gua, regresemos a la ecuacin diferencial general
de orden n (4.26). Si la ecuacin auxiliar (4.27) tiene una doble raz real m,
debemos esperar que emx y xemx sean soluciones linealmente independientes de
la ecuacin diferencial lineal homognea (4.26). Especficamente, supongamos
que la ecuacin caracterstica (4.27) tiene una doble raz real m y (n 2) races
reales distintas
m1 , m2 , . . . , mn2 .
Entonces, las soluciones linealmente independientes de (4.26) son
emx , xemx , em1 x , em2 x , . . . , emn2 x ,
y la solucin general puede ser escrita
y = c1 emx + c2 xemx + c3 em1 x + c4 em2 x + + cn emn2 x
o
y = (c1 + c2 x) emx + c3 em1 x + c4 em2 x + + cn emn2 x .
Similarmente, si la ecuacin auxiliar (4.27) tiene una triple raiz real m, las
soluciones linealmente independientes seran
emx , xemx , x2 emx .
La parte correspondiente de la solucin general se escribira como sigue
(c1 + c2 x + c3 x2 ) emx .
En el siguiente teorema se resume el caso 2.
84
Teorema 16
1. Considere la ecuacin diferencial lineal homognea de orden n con coeficientes
constantes (4.26). Si la ecuacin auxiliar (4.27) tiene la raz real que ocurre k
veces, entonces la parte de la solucin general de (4.26) que corresponde a esta
raz repetida k-veces es
(c1 + c2 x + c3 x2 + + ck xk1 ) emx .
2. Adicionalmente, si las races restantes de la ecuacin auxiliar (4.27) son los
nmeros reales distintos mk+1 , . . . , mn , entonces la solucin general de (4.26)
es
y = (c1 + c2 x + c3 x2 + + ck xk1 ) emx + ck+1 emk+1 x + + cn emn x .
3. Sin embargo, si algunas de las races restantes tambin son repetidas, entonces
las partes de la solucin general de (4.26) que corresponden a cada una de estas
races repetidas son expresiones similares a la que corresponde a m en la parte
1.
Consideremos algunos ejemplos.
Ejemplo 79 Encuentre la solucin general de
d3 y
d2 y
dy
4
3
+ 18y = 0.
dx3
dx2
dx
La ecuacin auxiliar
m3 4m2 3m + 18 = 0
o
y = (c1 + c2 x)e3x + c3 e2x .
Ejemplo 80 Encuentre la solucin general de
d3 y
d2 y
dy
d4 y
5
+
6
+4
8y = 0.
dx4
dx3
dx2
dx
La ecuacin auxiliar es
m4 5m3 + 6m2 + 4m 8 = 0,
con races 2, 2, 2, 1. La parte de la solucin general correspondiente a las tres
races repetidas es
y1 = (c1 + c2 x + c3 x2 )e2x
y la correspondiente a la raz 1 es
y2 = c4 ex .
4.2.5.
85
=
=
=
=
=
86
6 8i
6 36 100
=
= 3 4i.
m=
2
2
Las races son los nmeros complejos conjugados a bi donde a = 3 y b = 4.
La solucin general puede ser escrita como
y = e3x [c1 sen 4x + c2 cos 4x] .
Ejemplo 83 Encuentre la solucin general de
d4 y
d3 y
d2 y
dy
4 3 + 14 2 20
+ 25y = 0.
4
dx
dx
dx
dx
La ecuacin auxiliar es
m4 4m3 + 14m2 20m + 25 = 0.
La solucin de esta ecuacin requiere algo de trabajo. Las races son
1 + 2i,
1 2i,
1 + 2i,
1 2i.
Puesto que cada par de races complejas conjugadas es doble, la solucin general
es
y = ex [(c1 + c2 x) sen 2x + (c3 + c4 x) cos 2x]
o
y = c1 ex sen 2x + c2 xex sen 2x + c3 ex cos 2x + c4 xex cos 2x.
4.2.6.
87
Ahora apliquemos los resultados anteriores relacionados con la solucin general de una ecuacin diferencial lineal homognea con coeficientes constantes a
la resolucin de un problema de valor inicial.
Ejemplo 84 Resuelva el problema de valor inicial
d2 y
dy
6
+ 25y = 0,
dx2
dx
(4.28)
y(0) = 3,
(4.29)
y (0) = 1.
(4.30)
Notemos que por el Teorema 62 este problema tiene una solucin nica definida
para toda x en < x < . Ahora procedemos a encontrar esta solucin;
esto es, buscamos la solucin particular de la ecuacin diferencial (4.28) que
satisface las dos condiciones iniciales (4.29) y (4.30). Ya hemos encontrado la
solucin general de la ecuacin diferencial (4.28) en el ejemplo 82. Esta es
y = e3x [c1 sen 4x + c2 cos 4x] .
(4.31)
dy
= e3x [(3c1 4c2 ) sen 4x + (4c1 + 3c2 ) cos 4x] .
dx
(4.32)
De sta, encontramos
(4.33)
(4.34)
c2 = 3.
88
3x
2
3
sen 4x cos 4x .
y = 13e
13
13
As, podemos expresar la solucin en la forma alternativa
y = 13e3x sen(4x + ),
donde el ngulo est definido por las ecuaciones
3
sen = ,
13
2
cos = .
13
4.3.
4.3.1.
El mtodo
dn y
dn1 y
dy
+ an1 n1 + + a1
+ a0 y = g(x),
n
dx
dx
dx
(4.35)
donde los coeficientes a0 , a1 , . . . , an son constantes reales y el trmino no homogneo g(x) es en general una funcin no constante de x. Recuerde que la
solucin general de (4.35) puede ser escrita como
y = yc + yp ,
donde yc es la funcin complementaria, esto es, la solucin general de la ecuacin
homognea correspondiente, y yp es una integral particular, esto es, cualquier
solucin de (4.35) que no contiene constantes arbitrarias. En la seccin 4.2,
aprendimos cmo determinar la funcin complementaria; ahora consideraremos
los mtodos para la determinacin de una integral particular.
Consideraremos primero el mtodo de coeficientes indeterminados. Matemticamente hablando, la clase de funciones g para la que este mtodo se aplica realmente est muy restringida; pero esta clase estrecha matemticamente incluye
funciones de frecuente ocurrencia y de importancia considerable en varias aplicaciones de la fsica. Y este mtodo tiene una ventaja distintivasu aplicacin
es relativamente simple.
Primero introduciremos algunas definiciones preliminares.
Definicin 22
Denominaremos a una funcin una funcin de Coeficientes Indeterminados (CI)
si es (1) una de las funciones siguientes:
89
f 00 (x) = 6x,
f 000 (x) = 6 = 6 1,
f (n) (x) = 0
para n > 3.
Las funciones CI linealmente independientes de las cuales las derivadas sucesivas de f son mltiplos constantes o combinaciones lineales son
x2 ,
x,
1.
90
Observamos que si seguimos diferenciando ya no ocurrirn nuevos tipos de funciones. Cada derivada de f es una combinacin lineal de seis funciones CI dadas
por x2 sen x, x2 cos x, x sen x, x cos x, sen x, cos x. As, el conjunto
S = {x2 sen x, x2 cos x, x sen x, x cos x, sen x, cos x}
es el conjunto CI de la funcin f (x) = x2 sen x.
A continuacin desarrollaremos el mtodo de coeficientes indeterminados
para encontrar una integral particular yp de
an
dn y
dn1 y
dy
+ a0 y = g(x),
+
a
+ + a1
n1
n
n1
dx
dx
dx
(4.36)
91
= {ex },
= {sen x, cos x}.
92
B = 2,
C = 1,
Ejemplo 89 Resolver
dy
d2 y
3
+ 2y = 2x2 + ex + 2xex + 4e3x .
2
dx
dx
Solucin. La ecuacin homognea correspondiente es
dy
d2 y
3
+ 2y = 0
2
dx
dx
93
y la funcin complementaria es
yc = c1 ex + c2 e2x .
El trmino no homogneo es la combinacin lineal
2x2 + ex + 2xex + 4e3x
de las cuatro funciones CI dadas por x2 , ex , xex y e3x .
1. Formar el conjunto CI para cada una de estas funciones. Tenemos
S1
S2
S3
S4
=
=
=
=
{x2 , x, 1},
{ex },
{xex , ex },
{e3x }.
94
o
(2A 3B + 2C) + (2B 6A)x + 2Ax2 + 2De3x + (2E)xex + (2E F )ex
= 2x2 + ex + 2xex + 4e3x .
=
=
=
=
=
=
0,
0,
2,
4,
2,
1.
7
+ 2e3x x2 ex 3xex .
2
7
+ 2e3x x2 ex 3xex .
2
Ejemplo 90 Resolver
d4 y
d2 y
+
= 3x2 + 4 sen x 2 cos x.
dx4 dx2
95
= {x2 , x, 1},
= {sen x, cos x},
= {cos x, sen x}.
96
=
=
=
=
=
0
0
3
2
4.
Ejemplo 91 (Un problema de valor inicial) Para cerrar esta seccin, resolvamos el problema de valor inicial
dy
d2 y
2
3y = 2ex 10 sen x
2
dx
dx
(4.37)
97
y(0) = 2,
(4.38)
y 0 (0) = 4.
(4.39)
Por el Teorema 3, este problema tiene una solucin nica, definida para toda
x en < x < ; procedamos a encontrar dicha solucin nica. En el ejemplo
88 encontramos que la solucin general de la ecuacin diferencial (4.37) es
1
y = c1 e3x + c2 ex ex + 2 sen x cos x.
2
(4.40)
1
dy
= 3c1 e3x c2 ex ex + 2 cos x + sen x.
dx
2
(4.41)
De esta, tenemos
7
,
2
3c1 c2 =
5
.
2
3
,
2
c2 = 2.
Sustituyendo estos valores para c1 y c2 en la ecuacin (4.40) obtenemos la solucin nica del problema de valor inicial, la cual es
y=
4.4.
4.4.1.
1
3 3x
e + 2ex ex + 2 sen x cos x.
2
2
Variacin de parmetros
El mtodo
98
d2 y
dy
+ a1 (x)
+ a0 (x) y = g(x).
2
dx
dx
(4.42)
d2 y
dy
+ a1 (x)
+ a0 (x) y = 0.
dx2
dx
(4.43)
(4.44)
sea una integral particular de la ecuacin (4.42) (de aqu el nombre variacin
de parmetros).
Tenemos a nuestra disposicin las dos funciones, v1 y v2 con las cuales satisfacer a la nica condicin de que (4.44) sea una solucin de (4.42). Puesto
que tenemos dos funciones pero slo una condicin sobre ellas, tenemos la libertad de imponer una segunda condicin, con la condicin de que no violemos la
primera. Posteriormente estudiaremos cundo y cmo imponer esta condicin
adicional.
As asumimos una solucin de la forma (4.44) y escribimos
yp = v1 (x)y1 (x) + v2 (x)y2 (x).
(4.45)
(4.46)
(4.48)
99
(4.49)
g(x)
.
a2 (x)
(4.50)
(4.51)
y (x) y2 (x)
.
W [y1 (x), y2 (x)] = 10
y1 (x) y20 (x)
0 y2 (x)
g(x)
100
0
v2 (x) =
0
g(x)
a2 (x)
g(x)y1 (x)
=
.
(4.52)
Por lo tanto, una integral particular yp de la ecuacin (4.42) est definida por
yp = v1 (x)y1 (x) + v2 (x)y2 (x),
donde v1 y v2 estn definidas por (4.52).
4.4.2.
Ejemplos
(4.53)
(4.54)
donde las funciones v1 y v2 debern ser determinadas de manera que esta sea
una integral particular de la ecuacin diferencial (4.53). Entonces
yp0 (x) = v1 (x) cos x v2 (x) sen x + v10 (x) sen x + v20 (x) cos x.
A continuacin imponemos la condicin
v10 (x) sen x + v20 (x) cos x = 0,
(4.55)
quedando
yp0 (x) = v1 (x) cos x v2 (x) sen x.
De esta ecuacin
yp00 (x) = v1 (x) sen x v2 (x) cos x + v10 (x) cos x v20 (x) sen x.
(4.56)
(4.57)
101
As que tenemos las dos ecuaciones (4.55) y (4.57) de las cuales se determinan
v10 (x) y v20 (x):
v10 (x) sen x + v20 (x) cos x = 0,
v10 (x) cos x v20 (x) sen x = tan x.
Resolviendo este sistema de ecuaciones, obtenemos
0
cos x
tan x sen x
cos x tan x
=
v10 (x) =
= sen x,
1
cos x
sen x
cos x sen x
v20 (x) =
sen x
0
cos x tan x
sen x tan x
sen2 x
=
=
sen x
1
cos x
cos x
cos x sen x
cos2 x 1
= cos x sec x.
cos x
Integrando obtenemos
v1 (x) = cos x + c3 ,
(4.58)
102
El mtodo de variacin de parmetros se puede extender a ecuaciones diferenciales lineales de orden superior. A continuacin ilustramos esta extensin a
una ecuacin de tercer orden.
Ejemplo 93 Considere la ecuacin diferencial
d2 y
dy
d3 y
6
+ 11
6y = ex .
dx3
dx2
dx
(4.59)
La funcin complementaria es
yc (x) = c1 ex + c2 e2x + c3 e3x .
Entonces asumimos como una integral particular
yp (x) = v1 (x)ex + v2 (x)e2x + v3 (x)e3x .
(4.60)
(4.61)
(4.62)
dejando
Entonces
yp00 (x) = v1 (x)ex + 4v2 (x)e2x + 9v3 (x)e3x + v10 (x)ex + 2v20 (x)e2x + 3v30 (x)e3x .
Ahora imponemos la condicin
v10 (x)ex + 2v20 (x)e2x + 3v30 (x)e3x = 0,
(4.63)
(4.64)
dejando
De sta
yp000 (x) = v1 (x)ex + 8v2 (x)e2x + 27v3 (x)e3x + v10 (x)ex + 4v20 (x)e2x + 9v30 (x)e3x .
(4.65)
Sustituimos (4.60), (4.62), (4.64) y (4.65) en la ecuacin diferencial (4.59),
obteniendo
v1 (x)ex + 8v2 (x)e2x + 27v3 (x)e3x + v10 (x)ex + 4v20 (x)e2x + 9v30 (x)e3x
6v1 (x)ex 24v2 (x)e2x 54v3 (x)e3x + 11v1 (x)ex + 22v2 (x)e2x + 33v3 (x)e3x
6v1 (x)ex 6v2 (x)e2x 6v3 (x)e3x = ex
103
o
v10 (x)ex + 4v20 (x)e2x + 9v30 (x)e3x = ex .
(4.66)
As tenemos las tres ecuaciones (4.61), 4.63), (4.66) de las cuales se pueden
determinar v10 (x), v20 (x), v30 (x):
v10 (x)ex + v20 (x)e2x + v30 (x)e3x
v10 (x)ex + 2v20 (x)e2x + 3v30 (x)e3x
v10 (x)ex + 4v20 (x)e2x + 9v30 (x)e3x
Resolviendo este sistema, obtenemos
0 e2x
e3x
0 2e2x 3e3x
x
e 4e2x 9e3x
0
v1 (x) = x
e2x
e3x
ex
2x
e 2e
3e3x
x
2x
e 4e
9e3x
x
e
x
e
x
e
0
v2 (x) = x
ex
e
x
e
x
e
x
e
x
e
0
v3 (x) = x
ex
e
x
e
= 0,
= 0,
= ex .
6x 1 1
2 3
=
1 1 1
6x 1 2 3
1 4 9
1
= ,
0 e3x
0 3e3x
5x 1 1
e
1 3
ex 9e3x
=
= ex ,
2e6x
e2x
e3x
2e2x 3e3x
4e2x 9e3x
e2x
0
2e2x
0
4x 1 1
e
2x
x
1 2
4e
e
1
=
= e2x .
2x
3x
2e6x
2
e
e
2e2x 3e3x
4e2x 9e3x
1 x
1
1
3
xe + ex e2x + e2x e3x = xex + ex .
2
4
2
4
104
d2 y
dy
2x
+ 2y = 6(x2 + 1)2 .
dx2
dx
(4.67)
d2 y
dy
2x
+ 2y = 0.
dx2
dx
(4.68)
Entonces
yp0 (x) = v1 (x) 1 + v2 (x) 2x + v10 (x)x + v20 (x)(x2 1).
Ahora imponemos la condicin
v10 (x)x + v20 (x)(x2 1) = 0,
(4.69)
(4.70)
(4.71)
conduciendo a
De sta, obtenemos
(4.72)
As tenemos las dos ecuaciones (4.69) y (4.72) de las cuales determinar v10 (x)
y v20 (x); esto es, v10 (x) y v20 (x) satisfacen el sistema
v10 (x)x + v20 (x)(x2 1) = 0,
(x + 1) [v10 (x) + 2x v20 (x)] = 6(x2 + 1)2 .
2
105
0 x2 1
6(x2 + 1)
2x
6(x2 + 1)(x2 1)
v10 (x) =
= 6(x2 1),
=
2+1
x x2 1
x
1
2x
x
0
1 6(x2 + 1)
6x(x2 + 1)
=
= 6x.
v20 (x) =
2
x2 + 1
x x 1
1
2x
Integrando, obtenemos
v2 (x) = 3x2 ,
(4.73)
donde hemos seleccionado las constantes de integracin igual a cero. Sustituyendo (4.73) en (4.68), tenemos
yp (x) = (2x3 + 6x)x + 3x2 (x2 1)
= x4 + 3x2 .
Por consiguiente, la solucin general de la ecuacin (4.67) puede ser expresada
en la forma
y
4.5.
4.5.1.
= yc + yp
= c1 x + c2 (x2 1) + x4 + 3x2 .
La ecuacin de Cauchy-Euler
La ecuacin y el mtodo de solucin
dy
dn y
dn1 y
+ an1 xn1 n1 + + a1 x
+ a0 y = g(x),
n
dx
dx
dx
(4.74)
1 Esta frase se refiere normalmente a soluciones explcitas que se pueden expresar en trminos de funciones elementales : combinaciones finitas de potencias de x, races, funciones
exponenciales y logartmicas y funciones trigonomtricas directas e inversas.
106
dy
dn y
dn1 y
+ an1 xn1 n1 + + a1 x
+ a0 y = g(x)
n
dx
dx
dx
(4.75)
d2 y
dy
+ a1 x
+ a0 y = g(x).
2
dx
dx
(4.76)
=
=
1 d dy
dy d 1
1 d2 y dt
1 dy
+
=
2
x dx dt
dt dx x
x dt2 dx
x dt
1 d2 y 1
1 dy
1 d2 y dy
2
= 2
.
x dt2 x
x dt
x
dt2
dt
As
x
dy
dy
=
dx
dt
y
d2 y dy
d2 y
= 2 .
2
dx
dt
dt
Sustituyendo en la ecuacin (4.76) obtenemos
2
d y dy
dy
a2
+ a1
+ a0 y = g(et )
dt2
dt
dt
x2
o
A2
d2 y
dy
+ A1
+ A0 y = G(t),
2
dt
dt
(4.77)
107
donde
A2 = a2 ,
A1 = a1 a2 ,
A0 = a0 ,
G(t) = g(et ).
Esta es una ecuacin diferencial lineal de segundo orden con coeficientes constantes, que es lo que queramos demostrar.
Observacin 1 : Note que el coeficiente an xn en la ecuacin (4.75) es cero
para x = 0. As el intervalo bsico a x b, relacionado con los teoremas de
la seccin 4.1, no incluye a x = 0.
Observacin 2 : Observe que en la prueba anterior asumimos que x > 0. Si
x < 0, la substitucin adecuada sera x = et . A menos que se establezca otra
cosa, asumiremos que x > 0 cuando estemos buscando la solucin general de
una ecuacin diferencial de Cauchy-Euler.
Ejemplo 95 Resolver
x2
dy
d2 y
2x
+ 2 y = x3 .
dx2
dx
(4.78)
1 d2 y dt
1 dy
1 d2 y dy
d2 y
=
2
= 2
.
dx2
x dt2 dx
x dt
x
dt2
dt
As, la ecuacin (4.78) se transforma en
2
1 d y dy
1 dy
2
x
2x
+ 2 y = e3t
x2 dt2
dt
x dt
o
dy
d2 y
3
(4.79)
+ 2y = e3t .
2
dt
dt
La funcin complementaria de esta ecuacin es yc = c1 et +c2 e2t . A continuacin
buscamos una integral particular por el mtodo de coeficientes indeterminados.
Asumimos yp = Ae3t . Entonces yp0 = 3Ae3t , yp00 = 9Ae3t , y sustituyendo en la
ecuacin (4.79) obtenemos
2Ae3t = e3t .
As A =
es
1
2
1
y = c1 et + c2 e2t + e3t .
2
Finalmente, puesto que x = et , encontramos
1
y = c1 x + c2 x2 + x3 .
2
Esta es la solucin general de (4.78).
108
Ejemplo 96 Resolver
x3
2
dy
d3 y
2d y
4x
+ 8x
8y = 4 ln x.
3
2
dx
dx
dx
(4.80)
d2 y
1 d2 y dy
= 2
.
dx2
x
dt2
dt
d3 y
dx3
=
=
=
=
1 d d2 y dy
2 d2 y dy
x2 dx dt2
dt
x3 dt2
dt
3
2
2
d y dt
2 d y dy
1 d y dt
x2 dt3 dx
dt2 dx
x3 dt2
dt
3
2
2
1 d y d y
2 d y dy
2 3
x3 dt3
dt
x
dt2
dt
3
2
1 d y
d y
dy
3 2 +2
.
x3 dt3
dt
dt
d2 y
dy
1 d y
1 d y dy
1 dy
3
2
3 2 +2
4x
+ 8x
8y = 4t
x
x3 dt3
dt
dt
x2 dt2
dt
x dt
o
d2 y
dy
d3 y
7 2 + 14 8y = 4t.
3
dt
dt
dt
(4.81)
14A 8B = 0,
109
1
7
ln x .
2
8
dy
dx
dy
,
dt
x2
d2 y
dx2
d2 y dy
dt2
dt
y
d3 y
d2 y
dy
d3 y
a
3
+2 .
dx3
dt3
dt2
dt
A continuacin mostraremos (sin prueba) cmo encontrar la expresin en la que
el trmino general
dn y
xn n ,
dx
donde n es un entero positivo arbitrario, se reduce bajo la transformacin x = et .
El procedimiento es el siguiente.
x3
dk y
,
dtk
para cada k = 1, 2, 3, . . . , n.
d y
4. Iguale xn dx
n al resultado del paso 3.
d3 y
dt3 ,
r2 por
d2 y
dt2
y r por
dy
dt ,
tenemos
d3 y
d2 y
dy
3 2 +2 .
3
dt
dt
dt
3
d y
4. Igualando x3 dx
3 con esta ltima expresin, tenemos
x3
d3 y
d2 y
dy
d3 y
=
3
+2 .
3
3
2
dx
dt
dt
dt
110
Captulo 5
5.1.
5.1.1.
c0 + c1 (x x0 ) + c2 (x x0 ) + =
111
n=0
cn (x x0 )n ,
(5.2)
112
(5.3)
a1 (x)
a0 (x)
y P2 (x) =
.
a2 (x)
a2 (x)
Definicin 24
Una funcin se dice analtica en x0 si su serie de Taylor alrededor de x0 ,
X
f (n) (x0 )
(x x0 )n ,
n!
n=0
existe y converge a f (x) para toda x de algn intervalo abierto que incluya a x0 .
Notamos que todas las funciones polinomiales son analticas en (, ); de
la misma manera las funciones con valores ex , sen(x), y cos(x) son analticas en
(, ). Una funcin racional es analtica en todos los nmeros reales excepto
en los valores de x en los que el denominador es cero. Por ejemplo, la funcin
racional definida por 1/(x2 3x + 2) es analtica en todo nmero real con la
excepcin de x = 1 y de x = 2.
Definicin 25
El punto x0 se denomina un punto ordinario de la ecuacin diferencial (5.1) si
las funciones P1 (x) y P2 (x) de la ecuacin normalizada correspondiente (5.3)
son analticas en x0 . Si cualquiera de estas funciones no es analtica en x0 ,
entonces se dice que x0 es un punto singular de la ecuacin diferencial (5.1).
Ejemplo 97 Considere la ecuacin diferencial
d2 y
dy
+x
+ (x2 + 2) y = 0.
2
dx
dx
(5.4)
Aqu P1 (x) = x y P2 (x) = x2 +2. Las dos funciones P1 (x) y P2 (x) son funciones
polinomiales por lo que son analticas en todos los nmeros reales. As, todos
los puntos de esta ecuacin diferencial son puntos ordinarios.
113
d2 y
dy
1
+x
+ y = 0.
dx2
dx x
(5.5)
x
1
y P2 (x) =
.
(x 1)
x(x 1)
n=0
cn (x x0 )n ,
(2)
114
X
cn (x 2)n
n=0
alrededor del punto ordinario 2. Sin embargo, no estamos seguros de que exista
una solucin de la forma
X
cn xn
n=0
n=0
cn (x 1)n
5.1.2.
El mtodo de solucin
Ahora que sabemos que bajo ciertas condiciones la ecuacin (5.1) tiene soluciones en series de potencias de la forma (5.2) la pregunta inmediata es cmo
encontrar estas soluciones? En otras palabras, cmo determinamos los coeficientes c0 , c1 , c2 , . . . en la expresin
n=0
cn (x x0 )n
(2)
para que esta expresin realmente satisfaga la ecuacin (5.1)? Primero haremos
un breve esbozo del procedimiento para encontrar estos coeficientes y entonces
ilustraremos el procedimiento en detalle considerando ejemplos especficos.
Asumiendo que x0 es un punto ordinario de la ecuacin diferencial (5.1), as
que existen soluciones en potencias de (x x0 ), denotamos tal solucin por
y = c0 + c1 (x x0 ) + c2 (x x0 )2 + =
n=0
cn (x x0 )n .
(5.6)
X
dy
2
ncn (x x0 )n1
= c1 + 2c2 (x x0 ) + 3c3 (x x0 ) + =
dx
n=1
(5.7)
115
X
d2 y
2
=
2c
+6c
(xx
)+12c
(xx
)
+
=
n(n1)cn (xx0 )n2 , (5.8)
2
3
0
4
0
dx2
n=2
respectivamente. Ahora substituimos las series del lado derecho de (5.6), (5.7)
y (5.8) por y y sus primeras dos derivadas sucesivas en la ecuacin diferencial
(5.1). Entonces simplificamos la expresin resultante hasta que toma la forma
K0 + K1 (x x0 ) + K2 (x x0 )2 + = 0,
(5.9)
X
y=
cn xn .
(5.10)
n=0
X
dy
ncn xn1
=
dx n=1
y
X
d2 y
=
n(n 1)cn xn2 .
dx2 n=2
(5.11)
(5.12)
116
n=2
ncn xn1 + x2
n=1
cn xn + 2
n=0
cn xn = 0.
n=0
n=2
ncn xn +
n=1
cn xn+2 + 2
n=0
cn xn = 0.
(5.13)
n=0
n=2
(5.14)
en (5.13). Para reescribir la suma (5.14) para que la x tenga el exponente deseado
n, reemplazamos el exponente n 2 en (5.14) por una nueva variable m. Esto
es, hacemos m = n 2 en (5.14). Entonces n = m + 2, y ya que m = 0 para
n = 2, la suma (5.14) toma la forma
(m + 2)(m + 1)cm+2 xm .
(5.15)
m=0
(n + 2)(n + 1)cn+2 xn .
(5.16)
n=0
cn xn+2
(5.17)
cm2 xm .
(5.18)
n=0
obtenemos
m=2
X
cn2 xn .
(5.19)
n=2
117
(n + 2)(n + 1)cn+2 xn +
n=0
ncn xn +
n=1
cn2 xn + 2
n=2
cn xn = 0. (5.20)
n=0
Aunque x tiene la misma potencia n en cada suma en (5.20), los rangos de las
sumas no son las mismas. En la primera y en la cuarta suma n vara de 0 a , en
la segunda suma vara de 1 a , y en la tercera el rango es de 2 a . El rango
comn es de 2 a . A continuacin escribimos individualmente los trminos
en cada suma que no pertenecen al rango comn, y continuamos empleando la
notacin sigma para denotar el remanente de cada suma. Por ejemplo, en la
primer suma
X
(n + 2)(n + 1)cn+2 xn
n=0
(n + 2)(n + 1)cn+2 xn .
n=2
As reescribimos
(n + 2)(n + 1)cn+2 xn
n=0
en (5.20) como
2c2 + 6c3 x +
(n + 2)(n + 1)cn+2 xn .
n=2
ncn xn
n=1
en (5.20) como
c1 x +
ncn xn
n=2
y
2
cn xn
n=0
en (5.20) como
2c0 + 2c1 x + 2
n=2
cn xn .
118
(n + 2)(n + 1)cn+2 xn + c1 x +
n=2
ncn xn
n=2
n=2
cn xn = 0.
n=2
n=2
(5.21)
La ecuacin (5.21) est en la forma deseada (5.9). Para que (5.21) sea vlida
para toda x en el intervalo de convergencia |x x0 | < R, el coeficiente de cada
potencia de x en el lado izquierdo de (5.21) debe ser igualado a cero. Esto
conduce inmediatamente a las condiciones
2c0 + 2c2 = 0,
(5.22)
3c1 + 6c3 = 0,
(5.23)
y
(n + 2)(n + 1)cn+2 + (n + 2)cn + cn2 = 0,
n 2.
(5.24)
(5.26)
(n + 2)cn + cn2
,
(n + 1)(n + 2)
n 2.
(5.27)
4c2 + c0
.
12
(5.28)
119
5c3 + c1
.
20
3
40 c1 ,
(5.29)
5
3
40 c1 x
+ .
3 5
40 x
+ ),
(5.30)
(5.32)
y 0 (0) = 6.
(5.33)
cn xn .
(5.34)
n=0
X
dy
ncn xn1
=
dx n=1
(5.35)
120
X
d2 y
=
n(n 1)cn xn2 .
dx2 n=2
(5.36)
n=2
n(n 1)cn xn
n=2
ncn xn +
n=1
cn xn+1 = 0. (5.37)
n=0
n=2
n(n 1)cn xn
(n + 2)(n + 1)cn+2 xn + 3
n=0
ncn xn +
n=1
cn1 xn = 0.
n=1
(5.38)
El rango comn de las cuatro sumas en (5.38) es de 2 a . Podemos escribir
los trminos individuales en cada suma que no pertenezcan a este rango comn
y as expresar (5.38) en la forma
n=2
(n + 2)(n + 1)cn+2 xn
n=2
+ 3c1 x + 3
ncn xn + c0 x +
n=2
cn1 xn = 0.
n=2
X
[(n + 2)(n + 1)cn+2 + n(n + 2)cn + cn1 ] xn = 0. (5.39)
+
n=2
Para que (5.39) sea vlida para toda x en el intervalo de convergencia |x x0 | <
R, el coeficiente de cada potencia de x en el lado izquierdo de (5.39) debe ser
igualado a cero. Esto conduce a las siguientes relaciones
2c2 = 0,
(5.40)
c0 + 3c1 6c3 = 0,
(5.41)
y
(n + 2)(n + 1)cn+2 + n(n + 2)cn + cn1 = 0,
1
6 c0
n 2.
n 2.
1
2 c1 .
(5.42)
La frmula de
121
8c2 + c1
1
=
c1 ,
12
12
15c3 + c2
3
1
= c0 + c1 ,
20
8
8
Sustituyendo estos valores de c2 , c3 , c4 , c5 ,. . . en la solucin supuesta (5.34),
tenemos
c
c0 3c1
c1 3 c1 4
0
+
+
y = c0 + c1 x +
x + x +
x5 +
6
2
12
8
8
c5 =
y = c0 (1 + 16 x3 + 18 x5 + ) + c1 (x + 12 x3 +
1 4
12 x
+ 38 x5 + ).
(5.43)
15 4
8 x
+ ).
(5.44)
1 4
12 x
+ 38 x5 + ).
o
y = 4 + 6x +
11 3
3 x
+ 12 x4 +
11 5
4 x
+ .
(x2 1)
(5.45)
122
n=0
cn (x 2)n .
(5.46)
(t2 + 4t + 3)
(5.47)
X
y=
cn tn .
(5.48)
n=0
(3)
a1 (x)
a0 (x)
y P2 (x) =
.
a2 (x)
a2 (x)
123
3x
1
x2
y P2 (x) =
x2
x
.
1
En este ejemplo las series de Taylor para P1 y P2 alrededor x0 = 0 convergen para |x| < 1. As, la solucin (5.43) de (5.31) converge al menos
para |x| < 1.
5.2.
5.2.1.
d2 y
dy
+ a1 (x)
+ a0 (x) y = 0,
2
dx
dx
(1)
X
cn (x x0 )n
(2)
y=
n=0
X
r
cn (x x0 )n
(5.49)
y = |x x0 |
n=0
donde r es una constante real o compleja por determinar. Tal solucin claramente es una serie de potencias en x x0 multiplicada por una cierta potencia
de |x x0 |. Para establecer las condiciones bajo las cuales una solucin de esta
forma est asegurada, procedemos a clasificar los puntos singulares.
124
(x x0 )2 P2 (x)
(5.50)
dy
d2 y
x
+ (x 5) y = 0.
2
dx
dx
(5.51)
y = 0.
+
2
dx
2x dx
2x2
Aqu P1 (x) = 1/2x y P2 (x) = (x 5)/2x2 . Ya que P1 y P2 no son funciones
analticas en x = 0, concluimos que x = 0 es un punto singular de (5.51). Ahora
consideremos las funciones definidas por los productos
xP1 (x) =
1
2
x2 P2 (x) =
x5
2
de la forma (5.50). Los productos de estas dos funciones son funciones analticas
en x = 0, y as x = 0 es un punto singular regular de la ecuacin diferencial
(5.51).
Ejemplo 104 Considere la ecuacin diferencial
x2 (x 2)2
d2 y
dy
+ 2(x 2)
+ (x + 1) y = 0.
2
dx
dx
(5.52)
125
Aqu
P1 (x) =
2
2)
P2 (x) =
x2 (x
x+1
.
2)2
x2 (x
2
x2
(x 2)2 P2 (x) =
x+1
.
x2
X
r
y = |x x0 |
cn (x x0 )n
(49)
n=0
d2 y
dy
x
+ (x 5) y = 0.
2
dx
dx
(51)
Por el Teorema 20 concluimos que esta ecuacin tiene al menos una solucin
no trivial de la forma
X
r
|x|
cn xn ,
n=0
126
dy
d2 y
+ 2(x 2)
+ (x + 1) y = 0.
dx2
dx
(52)
As, conocemos que esta ecuacin tiene al menos una solucin no trivial de la
forma
X
cn (x 2)n ,
|x 2|r
n=0
X
|x|r
cn xn
n=0
5.2.2.
El mtodo de Frobenius
n=0
cn (x x0 )n ,
n=0
cn (x x0 )n+r ,
(5.53)
127
donde c0 6= 0.
2. Asumiendo que la derivacin trmino a trmino de (5.53) es vlida, obtenemos
X
dy
(n + r)cn (x x0 )n+r1
(5.54)
=
dx n=0
y
X
d2 y
=
(n + r)(n + r 1)cn (x x0 )n+r2
2
dx
n=0
(5.55)
Ahora sustituimos las series (5.53), (5.54) y (5.55) por y y sus primeras
dos derivadas, respectivamente, en la ecuacin diferencial (1).
3. Ahora procedemos (esencialmente como en la Seccin 5.1) a simplificar la
expresin resultante para que tome la forma
K0 (x x0 )r+k + K1 (x x0 )r+k+1 + K2 (x x0 )r+k+2 + = 0, (5.56)
donde k es un entero y los coeficientes Ki (i = 0, 1, 2, . . .) son funciones
de r y de ciertos coeficientos cn de la solucin (5.53).
4. Para que (5.56) sea vlida para toda x en el intervalo 0 < x x0 < R,
debemos establecer
K0 = K1 = K2 = = 0.
5. Al igualar a cero el coeficiente K0 de la potencia ms baja r+k de (xx0 ),
obtenemos una ecuacin cuadrtica en r, denominada la ecuacin indicial
de la ecuacin diferencial (1). Las dos races de esta ecuacin cuadrtica
a menudo se denominan los exponentes de la ecuacin diferencial (1) y
son los nicos valores posibles para la constante r en la solucin asumida
(5.53). As, en este paso se determina la constante desconocida r. Denotamos las races de la ecuacin indicial por r1 y r2 , donde Re(r1 ) Re(r2 ).
Aqu, Re(rj ) denota la parte real de rj (j = 1, 2); por supuesto si rj es
real, entonces Re(rj ) simplemente es rj .
6. Ahora igualamos a cero los coeficientes restantes K1 , K2 , . . . en (5.56). Esto
nos conduce a un conjunto de condiciones, que involucran a la constante
r, que deben ser satisfechas por los coeficientes cn en la serie (5.53).
7. Ahora sustituimos la raiz r1 por r en las condiciones obtenidas en el paso 6,
y entonces seleccionamos las cn para satisfacer estas condiciones. Si las cn
se seleccionan de esta manera, la serie resultante (5.53) con r = r1 es una
solucin de la forma deseada. Note que si r1 y r2 son reales y diferentes,
entonces r1 es la raz ms grande.
8. Si r1 6= r2 , debemos repetir el procedimiento del paso 7 utilizando la
raz r2 en lugar de r1 . De esta manera se obtendra una segunda solucin
de la forma deseada (5.53). Note que si r1 y r2 son reales y diferentes,
128
dy
d2 y
x
+ (x 5) y = 0.
2
dx
dx
(51)
cn xn+r ,
(5.57)
n=0
donde c0 6= 0. Entonces
X
dy
(n + r)cn xn+r1
=
dx n=0
y
(5.58)
X
d2 y
=
(n + r)(n + r 1)cn xn+r2 .
2
dx
n=0
(5.59)
(n+r)(n+r1)cn xn+r
n=0
(n+r)cn xn+r +
n=0
n=0
cn xn+r+1 5
cn xn+r = 0.
n=0
n=0
cn1 xn+r = 0
n=1
o
[2r(r 1) r 5] c0 xr
X
+
{[2(n + r)(n + r 1) (n + r) 5] cn + cn1 } xn+r = 0. (5.60)
n=1
129
5
2
y r2 = 1.
Estos son los denominados exponentes de la ecuacin diferencial (51) y son los
nicos valores posibles para la constante desconocida r de la solucin (5.57).
Note que son reales y diferentes.
Igualando a cero los coeficientes de la potencia ms alta de x en (5.60),
obtenemos la frmula de recurrencia
[2(n + r)(n + r 1) (n + r) 5] cn + cn1 = 0,
n 1.
(5.61)
cn1
,
n(2n + 7)
n 1.
(5.62)
5
2
c0
,
9
c2 =
c1
c0
=
,
22
198
c3 =
c2
c0
=
,...
39
7722
9/2
1
1
7722
x11/2 +
198 x
2
3
1
1
198 x 7722 x + ),
(5.63)
n 1,
130
cn1
,
n(2n 7)
n 1.
c2 = 16 c1 =
1
30 c0 ,
c3 = 13 c2 =
1
90 c0 , . . .
= c0 (x1 +
1
= c0 x
1
5
(1 +
+
1
5x
1
1 2
30 x + 90 x )
1 2
1 3
+ 30
x + 90
x ),
(5.64)
|x x0 |
n=0
cn (x x0 )n
131
y1 (x) = |x x0 |
donde c0 6= 0, y
cn (x x0 )n ,
(5.65)
cn (x x0 )n ,
(5.66)
cn (x x0 )n ,
n=0
r2
y2 (x) = |x x0 |
n=0
donde c0 6= 0.
Conclusin 2. Suponga que r1 r2 = N , donde N es un entero positivo.
Entonces la ecuacin diferencial (1) tiene dos soluciones no triviales linealmente
independientes y1 y y2 dadas respectivamente por
y1 (x) = |x x0 |r1
donde c0 6= 0, y
r2
y2 (x) = |x x0 |
n=0
n=0
cn (x x0 )n + Cy1 (x) ln |x x0 | ,
(65)
(5.67)
y1 (x) = |x x0 |
donde c0 6= 0, y
r1 +1
y2 (x) = |x x0 |
n=0
n=0
cn (x x0 )n ,
cn (x x0 )n + y1 (x) ln |x x0 | .
(65)
(5.68)
r1
n=0
cn (x x0 )n
132
y2 (x) = (x x0 )
n=0
cn (x x0 )n
n=0
cn (x x0 )n + Cy1 (x) ln |x x0 |
d2 y
dy
+x
+ (x2 3) y = 0
dx2
dx
(5.69)
X
y=
cn xn+r ,
(5.70)
n=0
133
X
dy
(n + r)cn xn+r1
=
dx n=0
X
d2 y
=
(n + r)(n + r 1)cn xn+r2 .
dx2 n=0
Sustituyendo (5.70) y sus derivadas en (5.69), encontramos
2
n=0
(n + r)cn xn+r
n=0
n=0
cn xn+r+2 3
cn xn+r = 0.
n=0
n=0
cn2 xn+r = 0
n=2
o
[2r(r 1) + r 3] c0 xr + [2(r + 1)r + (r + 1) 3] c1 xr+1
X
+
{[2(n + r)(n + r 1) + (n + r) 3] cn + cn2 } xn+r = 0. (5.71)
n=2
3
2
y r2 = 1.
(5.72)
134
y la frmula de recurrencia
[2(n + r)(n + r 1) + (n + r) 3] cn + cn2 = 0,
(5.73)
Haciendo r = r1 = 32 en (5.72), obtenemos 7c1 = 0 y de aqu que c1 = 0. Haciendo r = r1 = 32 en (5.73), obtenemos (despus de hacer algunas simplificaciones)
la frmula de recurrencia
n(2n + 5)cn + cn2 = 0,
n 2,
c0
,
18
c3 =
c1
= 0,
33
c4 =
c2
c0
=
,...
52
936
Note que todos los coeficientes impares son cero, puesto que c1 = 0. Haciendo
r = 3/2 en (5.70) y utilizando los valores de c1 , c2 , c3 , . . ., obtenemos la solucin
correspondiente a la raz ms grande r1 = 3/2. Esta solucin es y = y1 (x),
donde
1 2
1
y1 (x) = c0 x3/2 (1 18
x + 936
x4 ).
(5.74)
Ahora hagamos r = r2 = 1 en (5.72). Obtenemos 3c1 = 0 y de aqu que
c1 = 0. Haciendo r = r2 = 1 en (5.73), obtenemos la frmula de referencia
n(2n 5)cn + cn2 = 0,
n 2,
obtenemos
c2 =
c0
,
2
c3 =
c1
= 0,
3
c4 =
c2
c0
= ,...
12
24
En este caso, tambin todos los coeficientes impares son cero. Haciendo r =
1 en (5.70) y utilizando los valores de c1 , c2 , c3 , . . ., obtenemos la solucin
correspondiente a la raz ms pequea r2 = 1. Esta solucin es y = y2 (x),
donde
1 4
y2 (x) = c0 x1 (1 + 12 x2 24
x ).
(5.75)
Puesto que las soluciones definidas por (5.74) y (5.75) son linealmente independientes, la solucin general de (5.69) puede ser escrita como
y = C1 y1 (x) + C2 y2 (x),
donde C1 y C2 son constantes arbitrarias y y1 (x) y y2 (x) estn definidas por
(5.74) y (5.75), respectivamente.
135
dy
d2 y
x
(x2 + 54 ) y = 0.
2
dx
dx
(5.76)
X
y=
cn xn+r ,
(5.77)
n=0
X
dy
(n + r)cn xn+r1
=
dx n=0
X
d2 y
=
(n + r)(n + r 1)cn xn+r2 .
dx2 n=0
Sustituyendo (5.77) y sus derivadas en (5.76), encontramos
n=0
(n + r)cn xn+r
n=0
n=0
cn xn+r+2
5X
cn xn+r = 0.
4 n=0
X
X
(n + r)(n + r 1) (n + r) 54 cn xn+r
cn2 xn+r = 0
n=0
n=2
+
(n + r)(n + r 1) (n + r) 54 cn cn2 xn+r = 0. (5.78)
n=2
5
4
= 0 o r2 2r
5
4
= 0.
136
5
2
y r2 = 12 .
(r + 1)r (r + 1) 54 c1 = 0
(5.79)
y la frmula de recurrencia
(n + r)(n + r 1) (n + r) 54 cn cn2 = 0,
(5.80)
Haciendo r = r1 = 52 en (5.79), obtenemos 4c1 = 0 y de aqu que c1 = 0. Haciendo r = r1 = 52 en (5.80), obtenemos (despus de hacer algunas simplificaciones)
la frmula de recurrencia
n(n + 3)cn cn2 = 0,
n 2,
c0
,
25
c3 =
c1
= 0,
36
c4 =
c2
c0
=
,...
47
2457
Notamos que los coeficientes impares son cero. La expresin general del coeficiente par puede ser escrita como
c2n =
c0
,
[2 4 6 (2n)] [5 7 9 (2n + 3)]
n 1.
137
La Conclusin 2 del Teorema 21 nos dice que hay una solucin linealmente
independiente de la forma
n=0
(5.82)
donde C puede o no ser cero. Por supuesto, si C = 0, entonces la solucin linealmente independiente (5.82) ser de la forma (5.77) y podemos hacer r = r2 =
1/2 en la frmula (5.79) y en la frmula de recurrencia (5.80) y proceder como
en los ejemplos anteriores. Supongamos (con optimismo, pero sin justificacin)
que este es el caso.
As, haciendo r = 1/2 en (5.79) obtenemos 2c1 = 0 y de aqu que c1 = 0.
Haciendo r = 1/2 en (5.80) obtenemos la frmula de recurrencia
n(n 3)cn cn2 = 0,
n 2,
(5.83)
n2
x2
x4
x6
y2 (x) = c0 x1/2 1
2
24 2463
5
x
x7
+c3 x1/2 x3 +
+
+
25 2457
138
o
"
X
x2
x4
x2n
y2 (x) = c0 x
1
2
2 4 n=3 [2 4 6 (2n)] [3 5 7 (2n 3)]
"
#
X
x2n+1
1/2
3
x +
, (5.85)
+ c3 x
[2 4 6 (2n 2)] [5 7 9 (2n + 1)]
n=2
1/2
X
x2n
5/2
y11 (x) = x
1+
[2 4 6 (2n)] [3 5 7 (2n + 3)]
n=1
correspondiente a la raz ms grande 52 ; si hacemos c0 = 1 y c3 = 0 en (5.85)
obtenemos la solucin particular y = y21 (x), donde
"
#
X
x2n
x2
x4
1/2
y21 (x) = x
1
2
2 4 n=3 [2 4 6 (2n)] [3 5 7 (2n 3)]
correspondiente a la raz ms pequea 1/2. Estas dos soluciones particulares,
que tienen la forma asumida (5.77), son linealmente independientes. As, la
solucin general de la ecuacin diferencial (5.76) puede ser escrita como
y = C1 y11 (x) + C2 y21 (x),
(5.86)
X
x2n+1
1/2
3
x
x +
[2 4 6 (2n 2)] [5 7 9 (2n + 1)]
n=2
de la que c3 es el coeficiente en (5.85) puede ser escrita
5/2
"
#
x2n2
1+
[2 4 6 (2n 2)] [5 7 9 (2n + 1)]
n=2
"
#
X
x2n
5/2
1+
=x
[2 4 6 (2n)] [5 7 9 (2n + 3)]
n=1
(5.87)
139
dy
d2 y
+ (x2 3x)
+ 3 y = 0.
2
dx
dx
(5.88)
X
cn xn+r ,
(5.89)
y=
n=0
X
dy
(n + r)cn xn+r1
=
dx n=0
X
d2 y
=
(n + r)(n + r 1)cn xn+r2 .
2
dx
n=0
Sustituyendo (5.89) y sus derivadas en (5.88), encontramos
n=0
(n + r)cn xn+r+1
n=0
cn xn+r + 3
n=0
cn xn+r = 0.
n=0
n=0
n+r
(n + r 1)cn1 xn+r = 0
n=1
140
o
[r(r 1) 3r + 3] c0 xr +
n=1
n 1. (5.91)
n 1,
c2 =
c1
c0
= ,
2
2!
c3 =
c2
(1)n c0
c0
= , . . . , cn =
,...
3
3!
n!
x2 x3
(1)n xn
y1 (x) = c0 x3 1 x +
+ +
+ .
2!
3!
n!
Reconocemos la serie encerrada por los parntesis en esta solucin como la
expansin de Maclaurin de ex . Por lo tanto podemos escribir
y1 (x) = c0 x3 ex ,
(5.92)
141
n 1,
(5.93)
c4 =
c3
c2
= ,
2
2!
c5 =
c4
(1)n c2
c2
= , . . . , cn+2 =
,...
3
3!
n!
x4
x5
(1)n xn+2
+ +
+
y = c2 x x2 x3 +
2!
3!
n!
2
3
n n
x
x
(1) x
3
= c2 x 1 x +
+ +
+
2!
3!
n!
= c2 x3 ex .
n=0
(5.95)
142
(5.96)
dv
dy
= x3 ex
+ (3x2 ex x3 ex )v
dx
dx
(5.97)
De sta obtenemos
y
2
dv
d2 y
3 x d v
=
x
e
+ 2(3x2 ex x3 ex ) + (x3 ex 6x2 ex + 6xex )v. (5.98)
dx2
dx2
dx
Substituyendo (5.96), (5.97) y (5.98) por y y sus primeras dos derivadas, respectivamente, en la ecuacin diferencial (5.88) y haciendo algunas simplificaciones
obtenemos
d2 v
dv
x 2 + (3 x)
= 0.
(5.99)
dx
dx
Haciendo w = dv/dx, reducimos la ecuacin diferencial anterior a una ecuacin
diferencial de primer orden
x
dw
+ (3 x)w = 0,
dx
v=
y de aqu que
3 x
y2 (x) = x e
x3 ex dx
(5.100)
Z
x2 x3 x4
y2 (x) = x3 ex x3 1 + x +
+
+
+ dx
2
6
24
Z
1
1
x
= x3 ex
x3 + x2 + x1 + +
+ dx
2
6 24
Integrando trmino a trmino, obtenemos
1 1
1
1
1
y2 (x) = x3 ex 2 + ln x + x + x2 + .
2x
x 2
6
48
143
y2 (x) =
x5
1 1
x6
1
1
x3 x4 +
+
2 + x + x2 +
2
6
2x
x 6
48
+ 12 x3 ex ln x.
n=0
cn (x x0 )n ,
y2 = (x x0 )
n=0
cn (x x0 )n + y1 (x) ln(x x0 ).
144
5.3.
5.3.1.
La ecuacin diferencial
x2
dy
d2 y
+x
+ (x2 p2 )y = 0,
2
dx
dx
(5.101)
d2 y
dy
+
+ xy = 0,
dx2 dx
(5.102)
cn xn+r ,
(5.103)
n=0
n+r1
(n + r)(n + r 1)cn x
n=0
n+r1
(n + r)cn x
n=0
cn xn+r+1 = 0.
n=0
(n + r)2 cn xn+r1 +
n=0
r2 c0 xr1 + (1 + r)2 c1 xr +
cn2 xn+r1 = 0
n=2
(5.104)
n=2
Igualando el coeficiente de la potencia ms baja de x en (5.104) a cero, obtenemos la ecuacin indicial r2 = 0, la cual tiene races iguales r1 = r2 = 0.
Igualando los coeficientes de las potencias ms altas de x a cero en (5.104)
obtenemos
(1 + r)2 c1 = 0
(5.105)
145
y la frmula de recurrencia
(n + r)2 cn + cn2 = 0,
n 2.
(5.106)
n 2,
cn2
, n 2.
n2
De esta expresin sucesivamente obtenemos
cn =
c2 =
c0
,
22
c3 =
c1
= 0 (puesto que c1 = 0),
32
c4 =
c2
c0
= 2 2,...
42
2 4
Notamos que todos los coeficientes impares son cero y que los coeficientes pares
en general pueden ser escritos como
c2n =
22
42
(1)n c0
(1)n c0
=
,
2
2
6 (2n)
(n!)2 22n
n 1.
X
(1)n x 2n
y1 (x) = c0
.
(n!)2 2
n=0
X
(1)n x 2n
.
(n!)2 2
n=0
(5.107)
+
J0 (x) = 1
(1!)2 2
(2!)2 2
(3!)2 2
x2
x4
x6
= 1
+
+ .
(5.108)
4
64 2304
Ya que las races de la ecuacin indicial son iguales, conocemos del Teorema 21
que puede obtenerse de la Ecuacin (5.102) una solucin que sea linealmente
independiente de J0 , la cual debe ser de la forma
y=x
n=0
cn xn + J0 (x) ln x,
146
para 0 < x < R. Tambin, conocemos que tal solucin linealmente independiente
puede ser determinada mediante el mtodo de reduccin del orden. Del Teorema
4.7, conocemos que esta solucin linealmente independiente y2 est dada por
Z U dx/x
e
y2 (x) = J0 (x)
dx
[J0 (x)]2
y de aqu por
y2 (x) = J0 (x)
dx
x [J0 (x)]2
[J0 (x)] = 1
x2 3x4
5x6
+
+
2
32
576
y de aqu
1
2
[J0 (x)]
=1+
x2 5x4 23x6
+
+
+ .
2
32
576
As
y2 (x) =
=
=
=
1 x 5x3
23x5
J0 (x)
+ +
+
+ dx
x 2
32
576
x2 5x4
23x6
J0 (x) ln x +
+
+
+
4
128 3456
x2 x4
x6
x
5x4 23x6
J0 (x) ln x + 1
+
+
+
+
+
4
64 2304
4
128 3456
x2 3x4
11x6
+
+ .
J0 (x) ln x +
4
128 13824
1
1
3
3
1+
= 4 2
=
,
(1)3 4
2
2 (2!)
2
2 2 2
128
1
1 1
11
11
(1)4 6
1+ +
=
=
.
2
6
2
2 (3!)
2 3
2 6 6
13824
(1)2
22 (1!)2
x2
x4
1
1 1
x6
y2 (x) = J0 (x) ln x + 2 4
1
+
1
+
+
+
+
2
2 (2!)2
2
26 (3!)2
2 3
147
Adems, podramos sospechar que el coeficiente general c2n est dado por
(1)n+1
1 1
1
c2n = 2n
1 + + + +
, n 1.
2 (n!)2
2 3
n
Se puede demostrar que este es efectivamente el caso. As, podemos expresar y2
en la forma
X
1 1
1
(1)n+1 x2n
1
+
y2 (x) = J0 (x) ln x +
+
+
+
.
(5.109)
22n (n!)2
2 3
n
n=1
Ya que la solucin y2 definida por (5.109) es linealmente independiente de J0
podramos escribir la solucin general de la ecuacin diferencial (5.102) como
una combinacin lineal general de J0 y y2 . Sin embargo, usualmente esto no
se hace as; en lugar de ello, se acostumbra seleccionar una cierta combinacin
especial de J0 y y2 y tomar esta combinacin especial como la segunda solucin
de la Ecuacin (5.102). Esta combinacin especial est definida por
2
[y2 (x) + ( ln 2)J0 (x)] ,
1 1
1
= lm 1 + + + + ln n 0,5772.
n
2 3
n
La combinacin lineal especial se denomina la funcin de Bessel de segunda
clase de orden cero (forma de Weber) y comnmente se denota por Y0 . As,
usualmente se toma a Y0 como la segunda solucin de (5.102), donde
"
X
2
1 1
1
(1)n+1 x2n
Y0 (x) =
1
+
J0 (x) ln x +
+
+
22n (n!)2
2 3
n
n=1
+ ( ln 2) J0 (x)]
"
X
(1)n+1 x2n
2 x
1 1
1
1 + + + +
Y0 (x) =
ln + J0 (x) +
.
2
22n (n!)2
2 3
n
n=1
(5.110)
Por consiguiente, si elegimos Y0 como la segunda solucin de la ecuacin diferencial (5.102), la solucin general de (5.102) para 0 < x < R est dada por
y = c1 J0 (x) + c2 Y0 (x),
(5.111)
148
1
0.5
10
12
14
-0.5
-1
5.3.2.
Ahora consideraremos la ecuacin de Bessel de orden p para x > 0, y buscaremos sus soluciones para 0 < x < R. Esta es la ecuacin
x2
dy
d2 y
+x
+ (x2 p2 )y = 0,
dx2
dx
(101)
donde ahora se asume que p es un nmero real positivo. Enseguida vemos que
x = 0 es un punto singular regular de la Ecuacin (101): y puesto que buscamos
soluciones vlidas para 0 < x < R, podemos asumir una solucin
y=
cn xn+r ,
(5.112)
n=0
+
(n + r)2 p2 cn + cn2 xn+r = 0. (5.113)
n=2
(5.114)
(r + 1)2 p2 c1 = 0,
(n + r)2 p2 cn + cn2 = 0, n 2.
149
(5.115)
(5.116)
cn2
,
n(n + 2p)
n 2,
n 2,
(5.117)
=
=
(1)n c0
[2 4 (2n)] [(2 + 2p)(4 + 2p) (2n + 2p)]
(1)n c0
, n 1.
22n n! [(1 + p)(2 + p) (n + p)]
(1)n x2n+p
.
22n n! [(1 + p)(2 + p) (n + p)]
n=0
(5.118)
(1)n x 2n+p
.
n!(n + p)! 2
n=0
(5.119)
(N ) =
ex xN1 dx.
(5.120)
150
HL
n
1 0
- 4
- 2
- 5
- 1 0
(5.121)
N > 0.
(5.122)
151
(5.118) en la forma
y1 (x) = c0 (p + 1)
n=0
= c0 2p (p + 1)
(1)n x2n+p
+ p + 1)
22n n!(n
x 2n+p
(1)n
.
n!(n + p + 1) 2
n=0
(5.123)
(1)n x 2n+p
,
n!(n + p)! 2
n=0
(5.124)
dy
d2 y
+x
+ (x2 1)y = 0,
2
dx
dx
(5.125)
la cual es la ecuacin de Bessel de orden uno. Haciendo p = 1 en (5.124) obtenemos una solucin de la Ecuacin (5.125) la que se denomina funcin de Bessel
de primera clase de orden uno y se denota por J1 . Esto es, la funcin J1 est
definida por
X
(1)n x 2n+1
J1 (x) =
.
(5.126)
n!(n + 1)! 2
n=0
Las grficas de las funciones J0 , definida por (5.107), y J1 , definida por (5.126),
se muestran en la figura 5.3.
Hay varias propiedades interesantes de las funciones de Bessel de primera
clase que las grficas sugieren. En primer lugar, las grficas sugieren que J0 y
J1 tienen un comportamiento oscilatorio amortiguado y que los ceros positivos
de J0 y J1 estn separados. De hecho, puede mostrarse que para todo p 0 la
funcin Jp tiene un comportamiento oscilatorio amortiguado a medida en que
x y los ceros positivos de Jp y Jp+1 estn separados.
152
1
0.8
0.6
0.4
0.2
2
10
12
14
-0.2
-0.4
Figura 5.3: La grfica de J0 (x) se muestra en color rojo y la de J1 (x) en color
verde.
Conocemos que para todo p 0 una solucin de la ecuacin de Bessel
de orden p (101) est dada por (5.124). Ahora consideramos brevemente el
problema de encontrar una solucin linealmente independiente de (101). Ya
hemos encontrado tal solucin para el caso en el que p = 0; est dada por
(5.110). Para p > 0, hemos observado que si 2p no es un entero positivo, entonces
la ecuacin diferencial (101) tiene una solucin linealmente independiente de la
forma (5.112) correspondiente a la raz ms pequea r2 = p. A continuacin
trabajaremos con esta raz ms pequea.
Haciendo r = r2 = p en (5.115), obtenemos
(2p + 1)c1 = 0.
(5.127)
cn2
,
n(n 2p)
n 2,
n 2,
n 6= 2p.
(5.128)
(5.129)
153
1. Si 2p no es un entero positivo,
y2 (x) = c0 xp
1+
2n x2n
n=1
(5.130)
X
X
p
2n
p
2n
2n x
2n x
1+
+ c2p x 1 +
,
y2 (x) = c0 x
n=1
(5.131)
n=1
y2 (x) = c2p x
1+
n=1
2n
2n x
(5.132)
X
y2 (x) =
c2n x2np ,
(5.133)
n=1
(1)n x 2np
,
n!(n p)! 2
n=0
(5.134)
154
cn xn + CJp (x) ln x,
n=0
donde C 6= 0. Esta solucin linealmente independiente yp puede ser determinada por el mtodo de reduccin de orden. Entonces, la solucin general de la
ecuacin diferencial (101) puede ser escrita como una combinacin lineal general de Jp y yp . Sin embargo, como en el caso de la ecuacin de Bessel de orden
cero, se acostumbra elegir una combinacin lineal especial de Jp y yp y tomar
esta combinacin especial como la segunda solucin de la ecuacin (101). Esta
combinacin especial se denota por Yp y se define por
Yp (x) =
(
p1
x
1 X (p n 1)! x 2np
ln + Jp (x)
2
2 n=0
n!
2
)
!
n+p
n
x 2n+p
X
X1
1
1
1X
+
(1)n+1
(5.135)
,
+
2 n=0
k
k
n!(n + p)! 2
2
k=1
k=1
Captulo 6
La transformada de Laplace
En este captulo estudiaremos la transformada de Laplace, la cual constituye
una tcnica muy til para la solucin de problemas de valores iniciales. Bsicamente, la transformada de Laplace transforma una funcin f de una variable
real t en una funcin F de una variable real s. La caracterstica fundamental de
la transformada de Laplace es que es un operador que transforma un problema
de valor inicial que involucra una ecuacin diferencial lineal en un problema
algebraico que involucra la variable s.
La transformada de Laplace tiene una historia interesante. La integral que
define la transformada de Laplace apareci por primera vez en uno de los muchos
trabajos de Euler. Sin embargo, en Matemticas es una costumbre nombrar un
teorema con el nombre de la persona que enseguida de Euler lo haya descubierto,
ya que de no ser as se tendran centenares de teoremas con el nombre de Euler.
En este caso, fue el matemtico francs Pierre Simon Laplace (1749-1827) quien
utiliz esta integral en la teora de probabilidad y al ser la siguiente persona
despus de Euler en descubrir la integral, se le denomina con su nombre. Sin
embargo, esta tcnica operacional no fue utilizada por Laplace en la resolucin
de ecuaciones diferenciales.
Fue en el siglo XIX cuando estuvo de moda entre los cientficos e ingenieros
utilizar mtodos operacionales para resolver ecuaciones diferenciales cuando la
transformada de Laplace fue explotada para este fin. En particular, podemos decir que la transformada de Laplace, como una tcnica para la resolucin de ecuaciones diferenciales, fue "descubierta"por el ingeniero electricista ingls Oliver
Heaviside.
155
156
6.1.
6.1.1.
Definicin y existencia
Definicin 27 Sea f (t) una funcin real definida en [0, ). Sea s una variable
real. La transformada de Laplace de la funcin f es la funcin real definida por
Z
F (s) =
est f (t)dt,
(6.1)
0
para todos los valores de s para los cuales la integral existe. Denotaremos la
transformada de Laplace F de f por L{f } y a F (s) por L{f (t)}.
Ejemplo 111 Consideremos la funcin f definida por
f (t) = 1,
para
t > 0.
Entonces
L{1} =
=
lm
est 1 dt = lm
sb
1 e
s
s
1
=
s
est 1 dt = lm
est
s
L{1} =
(s > 0).
(6.2)
para
t > 0.
Entonces
L{t} =
=
lm
est t dt = lm
sb
est t dt = lm
1
e
1
2 (sb + 1) = 2
s2
s
s
b
est
(st
+
1)
s2
0
1
s2
(s > 0).
para
t > 0.
(6.3)
157
Entonces
L{eat } =
=
lm
est eat dt = lm
(as)b
e(as)t dt = lm
e
1
1
1
=
=
as
as
as
sa
As tenemos
L{eat } =
1
sa
e(as)t
as
para todo
s > a.
(s > a).
(6.4)
para
t > 0.
Entonces
L{sen t} =
est sen t dt = lm
est sen t dt
est
(s sen t + cos t)
= lm 2
b
s + 2
0
sb
e
= lm
(s
sen
b
+
cos
b)
b s2 + 2
s2 + 2
=
para todo s > 0.
s2 + 2
As tenemos
L{sen t} =
s2 + 2
(s > 0).
(6.5)
para
t > 0.
Entonces
L{cos t} =
=
=
=
lm
lm
est cos t dt = lm
b
0
est cos t dt
b
est
(s cos t + sen t)
s2 + 2
0
esb
s
(s cos b + sen b) + 2
2
2
s +
s + 2
s
s2 + 2
para todo
As tenemos
L{cos t} =
s
s2 + 2
s > 0.
(s > 0).
(6.6)
158
1
s
(b) L{tn } =
(c) L{eat } =
n!
sn+1
n = 1, 2, 3, . . .
1
sa
s2 + 2
s
(e) L{cos t} = 2
s + 2
(f ) L{senh t} = 2
s 2
s
(g) L{cosh t} = 2
s 2
(d) L{sen t} =
En cada uno de los ejemplos anteriores la integral definida por (6.1) existe
para algn intervalo de valores de s. Ahora, nuestro problema consistir en
determinar la clase de funciones f para la cual L{f } existe para s, digamos
en s > s0 . Para esto, necesitamos de algunos conceptos que a continuacin
consideraremos.
Definicin 28 Se dice que una funcin f es continua en tramos o seccionalmente continua en un intervalo finito a t b si hay un conjunto finito de
puntos a = t0 < t1 < < tn = b tal que
1. f es continua en cada uno de los subintervalos (ti1 , ti ) para i = 1, 2, . . . n,
y
f (t) existen
2. los lmites unilaterales f (ti +) = lm+ f (t) y f (ti+1 ) = lm
tti
tti+1
para i = 0, 1, . . . n 1.
Es importante sealar que si f es continua en a t b necesariamente
es seccionalmente continua en este intervalo. Tambin, si f es seccionalmente
continua en a t b entonces f es integrable en a t b.
Definicin 29 Se dice que una funcin f es de orden exponencial si existen
nmeros M > 0, t0 > 0 y tales que
|f (t)| M et
para toda t t0 .
(6.7)
159
6.1.2.
1
2
cos 2t}
(6.8)
160
1
2
6.2.
1 1 1
s2 + 2 2
s
=
+ 2
.
2 s 2 s + 4 2
s(s2 + 4 2 )
(6.9)
En la seccin anterior estudiamos el problema: dada una funcin f , definida para t > 0, encontrar su transformada de Laplace, la cual denotamos por
L{f (t)} o F (s). Ahora consideraremos el problema inverso: dada una funcin
F (s), encontrar una funcin f (t) cuya transformada de Laplace sea la funcin
dada F (s). Si F (s) representa la transformada de Laplace de la funcin f (t),
esto es, L{f (t)} = F (s), entonces f (t) es la transformada inversa de Laplace de
F (s), la cual se representa por f (t) = L1 {F (s)}. El teorema siguiente presenta
algunas transformadas inversas.
Teorema 25
2. L1 {
1
1. L1 { } = 1
s
n!
} = tn ,
sn+1
n = 1, 2, 3, . . .
1
} = eat
sa
a
L1
= sen at
s2 + a2
s
1
L
= cos at
s2 + a2
a
L1
= senh at
s2 a2
s
= cosh at
L1
s2 a2
3. L1 {
4.
5.
6.
7.
6.2.1.
161
s+5
s2 4
(6.10)
s+5
s
5
1
1
= L
+
L
s2 4
s2 4 s2 4
s
1
1
1
= L
+ 5L
s2 4
s2 4
s
2
1
5 1
= L
+ 2L
s2 4
s2 4
= cosh 2t +
5
2
senh 2t.
3s + 5
(s 1)(s + 1)
= 3
= 5
162
3s + 5
1
1
1
1
1
L
= 4L
L
(s 1)(s + 1)
s1
s+1
= 4et et .
6.2.2.
(6.11)
Ejemplo 122 Considere la funcin definida por f (t) = cos2 t. Esta funcin
satisface la hiptesis del Teorema 27 y puesto que f 0 (t) = 2 sen t cos t y
f (0) = 1, entonces utilizando la ecuacin 6.11 obtenemos
L{2 sen t cos t} = sL{cos2 t} 1
o
L{2 sen t cos t} = sL{cos2 t} 1.
Por (6.9),
L{cos2 t} =
s2 + 2 2
.
s(s2 + 4 2 )
As,
L{2 sen t cos t} =
s2 + 2 2
1.
(s2 + 4 2 )
s2 + 2 2
1
(s2 + 4 2 )
o
L{sen 2t} =
=
=
s2 + 2 2
1
(s2 + 4 2 )
2
(s + 4 2 ) (s2 + 2 2 )
(s2 + 4 2 )
2
.
s2 + 4 2
163
6.3.
6.3.1.
El mtodo
y(0) = y0 ,
(6.13)
(6.14)
+a
+ a0 L {y} = L {g(t)} . (6.15)
n1
1
n
n1
dt
dt
dt
Ahora aplicamos el Teorema 28 a
n
n1
y
d y
d
dy
L
, L
,...,L
dtn
dtn1
dt
en el lado izquierdo de la ecuacin (6.15). Utilizando las condiciones iniciales
(6.14), obtenemos
i
h
an sn Y (s) sn1 y(0) y (n1) (0)
i
h
+an1 sn1 Y (s) sn2 y(0) y (n2) (0) + +a1 [sY (s)y(0)]+a0 Y (s) = G(s),
164
y(0) = 4.
dy
dt
= sY (s) y(0)
= sY (s) 4.
48
,
s2 + 16
es decir
48
.
s2 + 16
Al despejar Y (s), de esta ltima ecuacin, obtenemos
(s + 4)Y (s) = 4 +
Y (s) =
4
48
4s2 + 112
+
=
.
2
(s + 4) (s + 4)(s + 16)
(s + 4)(s2 + 16)
(6.17)
165
= 4
= 0
= 112
11
3(s 4)
+
.
2(s + 4) 2(s2 + 16) (s2 + 16)
1
s
4
11 1
3 1
3 1
y(t) =
L
L
+ L
2
s+4
2
(s2 + 16)
2
(s2 + 16)
Por tanto, la solucin del problema de valor inicial es:
y(t) =
3
11 4t 3
cos 4t + sen 4t.
e
2
2
2
Ejemplo 124 Utilice la transformada de Laplace para resolver el siguiente problema de valor inicial:
y 00 5y 0 + 6y = e2x ex ,
y(0) = 1,
y 0 (0) = 0.
L {y 00 } 5L {y 0 } + 6L {y} = L e2x L ex .
1
1
,
s+2 s+1
166
o
s2 Y (s) s 0 5[sY (s) 1] + 6Y (s) =
o
(s2 5s + 6)Y (s) = s 5 +
1
1
s+2 s+1
1
1
s+2 s+1
por lo que
Y (s) =
=
s5
1
1
+
(6.18)
=
=
=
=
1
2
13
11.
+
.
(s 2)(s 3)(s + 1)(s + 2)
12(s 2) 20(s 3) 12(s + 1) 20(s + 2)
Por consiguiente,
Y (s) =
41
1
1
37
+
.
12(s 2) 20(s 3) 12(s + 1) 20(s + 2)
167
1
(s 2)
41
L1
20
1
(s 3)
1
(s + 1)
1
1
+ L1
20
(s + 2)
1
L1
12
6.4.
1
1
37 2t 41 3t
e e et + e2t .
12
20
12
20
1 2t
3 + 5et 185e4t + 123e5t .
e
60
Teoremas de traslacin
6.4.1.
Traslacin en el eje s
168
3
. Utilizando el Teorema 29, tenemos
s2 + 9
=
L e4t sen 3t
=
L {sen 3t}|ss4
3
s2 + 9
ss4
3
.
(s 4)2 + 9
3
2
(s + 2) (s + 1)
s + 1 s + 2 (s + 2)
(s + 2)3
En consecuencia
3
s + 3s2 + 2s 1
1
2
1
1
1
L
= L
+L
(s + 2)3 (s + 1)
s+1
s+2
1
1
1
1
+L
L
(s + 2)2
(s + 2)3
o
s3 + 3s2 + 2s 1
(s + 2)3 (s + 1)
(
)
(
)
1
1
1
+ 2L
= L
s ss+1
s ss+2
(
)
(
)
1
1 1 2
1
L
+ L
s2 ss+2
2
s3 ss+2
1
169
o
L1
s3 + 3s2 + 2s 1
(s + 2)3 (s + 1)
1
= et + 2e2t e2t t + e2t t2
2
1 2t
=
4 2et 2t + t2 .
e
2
Ejemplo 127 Utilice la transformada de Laplace para resolver el siguiente problema de valor inicial:
y 00 + 4y 0 + 4y = e2x ex ,
y(0) = 1,
y 0 (0) = 0.
L {y 00 } + 4L {y 0 } + 4L {y} = L e2x L ex .
1
1
,
s+2 s+1
1
1
s+2 s+1
1
1
s+2 s+1
por lo que
Y (s) =
=
1
1
s+4
+
(6.19)
170
=
=
=
=
1
7
14
7
=
+
.
3
2
3
(s + 2) (s + 1)
(s + 2) (s + 2)
(s + 2)
(s + 1)
Por consiguiente
Y (s) =
1
1
3
2
+
+
.
2
3
(s + 2) (s + 2)
(s + 2)
(s + 1)
2
3
1
1
1
1
+
L
L
y(t) = L1
+ L1
(s + 2)
(s + 2)2
(s + 2)3
(s + 1)
o
1
y(t) = 2L
1
1
1
1
1
1
1
+L
L
+ 3L
(s + 2)
(s + 2)2
(s + 2)3
(s + 1)
o
1
y(t) = 2L
(
)
(
)
(
)
1
1
1 1 2
1
+ 3L
+ L
s ss+2
s2 ss+2
2
s3 ss+2
(
)
1
1
L
s ss+1
1
y(t) = 2e2t + 3e2t t + e2t t2 et
2
1 2t
t
=
4 2e + 6t + t2 .
e
2
6.4.2.
Traslacin en el eje t
H
L
171
f t
25
20
15
10
Figura 6.1:
despus de cierto tiempo. Por consiguiente, resulta til definir una funcin que
tenga la propiedad de activar y desactivar una funcin a conveniencia. Esta
funcin especial, denominada funcin escaln unitario o funcin de Heaviside,
se define como 0 cuando se necesita apagar una funcin e igual a 1 cuando sea
necesario encender dicha funcin.
Definicin 30 La funcin escaln unitario U(t a) se define como sigue:
0, 0 t < a
U(t a) =
1, t a
As, cuando una funcin f definida para t 0 se multiplica por U(t a), la
funcin escaln unitario tiene la propiedad de apagar o desactivar la parte de
la funcin que corresponde a 0 t < a. Por ejemplo, si f (t) = t2 para t 0, y
deseamos apagar la parte de la grfica que corresponde a 0 t < 1, entonces el
producto t2 U(t 1) realizar dicha tarea (ver la grfica 6.1).
La funcin escaln unitario nos permite representar las funciones definidas en
tramos en una forma compacta. Por ejemplo, consideremos la funcin definida
en tramos que se muestra en la figura 6.2; esta funcin puede ser representada
por la funcin f (t) = 1 3 U(t 1) + 2 U(t 3).
En general, la funcin definida en tramos
f0 (t), 0 t < a
(6.20)
f (t) =
f1 (t), t a
donde se supone que f0 y f1 estn definidas en [0, ), es equivalente a
f (t) = f0 (t) f0 (t) U(t a) + f1 (t) U(t a).
(6.21)
H
L
172
ft
1
0.5
-0.5
-1
-1.5
-2
Figura 6.2:
La expresin 6.21 puede ser extendida
complejas. Por ejemplo,
f0 (t),
f1 (t),
f (t) =
f2 (t),
f (t) = f0 (t)f0 (t) U(ta)+f1 (t) U(ta)f1 (t) U(tb)+f2 (t) U(tb). (6.22)
Ejemplo 128 Exprese la funcin
3, 0 t < 2
2t 2, 2 t < 4
f (t) =
sen t, t 4
0, 0 t < a
f (t a) U(t a) =
.
f (t a), t a
(6.23)
173
H
L
f t
6
5
4
3
2
1
-1
Figura 6.3:
H
L
f t
6
t 0.
174
HL
f t
6
eas
.
s
(6.24)
175
obtenemos
L{f (t)} = L{1} 3 L{U(t 1)} + 2 L{U(t 3)}
1
es
e3s
=
3
+2
.
s
s
s
(6.25)
1
s
.
e
s2 + 4
2
, entonces L1 {F (s)} =
+4
sen 2t. Por consiguiente, utilizando la expresin 6.25, obtenemos
1
2
1 1
1
s
s
=
L
e
L
e
s2 + 4
2
s2 + 4
1
=
sen 2(t ) U(t ).
2
Solucin. Si identificamos a a = y F (s) =
s2
Con frecuencia necesitamos determinar la transformada de Laplace del producto de una funcin f (t) y la funcin escaln unitario U(ta) cuando la funcin
f (t) no tiene la forma desplazada f (t a). Para determinar esta transformada, utilizamos la Definicin 27, la definicin de U(t a) y la transformacin
u = t a; esto es
Z
Z
st
L{f (t) U(t a)} =
e f (t)dt =
es(u+a) f (u + a)du
a
176
2
1
2s
= e
.
+
s3 s2
Ejemplo 132 Utilice la transformada de Laplace para resolver el problema de
valor inicial siguiente:
y 00 5y 0 + 6y = f (t),
donde
f (t) =
y(0) = 0, y 0 (0) = 0
0, 0 t < 3/2
sen t, t 3/2.
se3s/2
.
s2 + 1
se3s/2
.
s2 + 1
2 1
3 1
1 1s
= e3s/2
+
.
5 s 2 10 s 3 10 s2 + 1
L{y} =
177
2 1
5 s2
3 1
10 s3
1 1s
10 s2 +1 ,
entonces
2 2t
3
1
e e3t +
(sen t cos t) ,
5
10
10
3
1
2 2(t3/2)
e3(t3/2) +
e
[sen(t 3/2) cos(t 3/2)] U(t3/2).
y(t) =
5
10
10
6.5.
Derivadas de transformadas
La transformada de Laplace de tn f (t) se obtiene diferenciando sucesivamente n veces la transformada de Laplace de f (t). Esto se indica en el teorema
siguiente.
Teorema 32 Si L{f (t)} = F (s), entonces
L{tn f (t)} = (1)n
dn
F (s),
dsn
n = 1, 2, 3, . . .
s
y n = 2, entonces
s2 + 4
s
d2
L{t cos 2t} = (1)
ds2 s2 + 4
3
8s
6s
=
2
2
3
(s + 4)
(s + 4)2
2
2s (s 12)
=
.
(s2 + 4)3
2
y(0) = 0, y 0 (0) = 4.
8s3
6s
2
+ 4)3
(s + 4)2
(s2
178
o
s2 Y (s) s 0 4 + 4Y (s) =
o
8s3
6s
2
2
3
(s + 4)
(s + 4)2
(s2
8s3
6s
2
3
+ 4)
(s + 4)2
(s2
4
6s
8s3
+ 2
+ 4) (s + 4)4 (s2 + 4)3
Ahora, como
6s
4
1 2
8s3
1
L
2
=
+
t 6t cos 2t + 8t3 3t + 192 sen 2t ,
(s2 + 4) (s2 + 4)4
(s + 4)3
96
6.6.
1 2
t 6t cos 2t + 8t3 3t + 192 sen 2t .
96
f ( )g(t )d
(6.27)
f ( )g(t )d
0
t
f (t )g()d
= g f (t).
179
1
2
obtenemos
Z
sen 2t cos 2t =
t
1
2
1
2
=
esto es,
sen 2t +
1
2 t sen 2t
1
2 t sen 2t.
sen 2t cos 2t =
=
1
4
1
4
t
cos 2(2 t) =0 ,
cos(2t)
1
4
cos(2t)
Teorema 33 (Teorema de convolucin) Si f (t) y g(t) son funciones continuas por tramos de orden exponecial en [0, ), F (s) = L{f (t)} y G(s) =
L{g(t)}, entonces
L{f g} = F (s)G(s).
Prueba. Por definicin
F (s) = L{f (t)} =
G(s) = L{g(t)} =
Z 0
es f ( )d
es g()d.
por lo que
Z
F (s)G(s) =
es f ( )d
0
Z
es g()d
es( +) f ( ) g() d d
1 Esto
no siempre es posible.
180
tenemos
est f ( ) g(t ) dt d
Z t
Z
=
est
f ( ) g(t ) d dt
0
Z0
=
est f g(t) = L{f g}.
F (s)G(s) =
t
0
Solucin. Con f (t) = sen 2t y g(t) = cos 2t, el teorema de convolucin establece
que la transformada de Laplace de la convolucin de f y g es el producto de sus
transformadas de Laplace:
Z t
L
sen 2 cos 2(t )d
= L {sen 2 } L {cos 2 }
0
=
=
6.6.1.
2
s
s2 + 4 s2 + 4
2s
2.
2
(s + 4)
6.6.2.
F (s)
L
f ( )d =
.
s
0
La forma inversa de esta expresin es
Z t
F (s)
1
f ( )d = L
,
s
0
6.6.3.
181
Ecuaciones integrodiferenciales
Figura 6.6:
di
1
+ Ri(t) + Q = E.
dt
C
Q=
dQ
dt
i( )d .
di
1
+ Ri(t) +
dt
C
i( )d = E.
(6.28)
di
+ 2i + 20
dt
(6.29)
182
Rt
0
i( )d =
I(s)
s
I(s)
s
= 100 2
s
s + 2002
I(s)
100s
= 2
s
s + 40000
(6.30)
2
s + 40s + 400 I(s) =
I(s) =
2000s2
+ 40000
s2
2000s2
(s + 20)2 (s2 + 40000)
2000
20000
20000(s + 990)
+
101(s + 20)2 10201(s + 20) 10201(s2 + 40000)
99
20000 20t 2000 20t 20000
+
+
e
e
cos 200t +
sen 200t .
i(t) =
10201
101
10201
20
H
L
En la Figura 6.7 se muestra una grfica de esta ltima expresin para i(t).
it
10
0.05
0.1
0.15
-5
-10
Figura 6.7:
0.2
6.6.4.
183
st
f (t)dt +
est f (t)dt
Por consiguiente,
L{f (t)} =
esT f (t) dt
184
Captulo 7
185
186
Este fue el punto crucial de la crisis. Las sumas infinitas de funciones trigonomtricas ya se conocan desde antes. Daniel Bernoulli (1700-1782) propuso tales sumas
en 1753 como soluciones al problema de modelacin de cuerdas en vibracin.
Ello haba sido desestimado por el ms grande de los matemticos, Leonhard
Euler (1707-1783). Quizs Euler oli el peligro que ello presentaba a su entendimiento del clculo. El comit que recibi el manuscrito de Fourier conformado por Pierre Simon Laplace (1749-1827), Joseph Louis Lagrange (17361813), Sylvestre Franois Lacroix (1765-1843), y Gaspard Monge (1746-1818),
influenciados por el rechazo de Euler elaboraron un resumen poco entusiasta
escrito por Simon Denis Poisson (1781-1840). En la dcada de 1820, las series
de Fourier producan sospechas debido a que contradecan el juicio establecido
con respecto a la naturaleza de las funciones.
Fourier hizo mucho ms que sugerir que la solucin a la ecuacin de calor
se expresa como una serie trigonomtrica. l proporcion un mtodo simple y
prctico para encontrar los coeficientes de dicha serie. Al hacerlo, produjo una
coleccin de soluciones verificables a problemas especficos. El mtodo de Fourier
podra realmente ser implementado. No poda ser rechazado sin considerar la
pregunta obligada de por qu trabaja.
Hay problemas con las series de Fourier, pero eran tan sutiles que ninguno en
el invierno de 1807-1808 los hubiera imaginado. No fue hasta la dcada de 1850
cuando Bernard Riemann (1826-1866) y Karl Weierstrass (1815-1897) pudieron
resolver la confusin que haba generado Fourier y claramente delinear las cuestiones reales.
7.2.
187
y, en consecuencia,
y 2 (x) dx =
(7.1)
y(x) y 00 (x) dx =
y(x) y 0 (x)|0
(y 0 (x))2 dx
0
(y 0 (x))2 dx.
(7.2)
Sin embargo, si y satisface cualquiera de las condiciones de frontera de los problemas 1 al 4, entonces
y(L) y 0 (L) y(0) y 0 (0) = 0;
por consiguiente, (7.1) y (7.2) implican que
RL
y 2 (x) dx =
(y 0 (x))2 dx.
188
y 00 + y = 0,
y(0) = 0,
y(L) = 0.
(7.3)
Solucin. A partir del teorema 35, cualquier eigenvalor de (7.3) debe ser positivo. Si y satisface (7.3) con > 0, entonces
y = c1 cos x + c2 sen x
La condicin de frontera y(0) = 0 implica que
donde c1 y c2 son constantes.
c1 = 0. Por tanto,y = c2 sen x. Ahora, la condicin
de frontera y(L) = 0
implica
que c2 sen L = 0. Para realizar c2 sen L = 0 con c2 6= 0 debemos
escoger = n/L, donde n es un entero positivo. Por tanto, n = n2 2 /L2
es un eigenvalor y
nx
yn = sen
L
es una eigenfuncin asociada.
Este resultado lo establecemos como un teorema.
Teorema 36 El problema de eigenvalor
y 00 + y = 0,
y(0) = 0,
y(L) = 0
tiene un nmero infinito de eigenvalores positivos n = n2 2 /L2 , con eigenfunciones asociadas
nx
yn = sen
, n = 1, 2, 3, . . .
L
No hay otros eigenvalores.
Teorema 37 El problema de eigenvalor
y 00 + y = 0,
y 0 (0) = 0,
y 0 (L) = 0
tiene el eigenvalor 0 = 0, con la eigenfuncin asociada y0 = 1, y un nmero
infinito de eigenvalores positivos n = n2 2 /L2 , con las eigenfunciones asociadas
nx
yn = cos
, n = 1, 2, 3, . . .
L
No hay otros eigenvalores.
189
(7.4)
Solucin. Del teorema 35, cualquier eigenvalor de (7.4) debe ser positivo. Si y
satisface (7.4) con > 0, entonces
y = c1 cos x + c2 sen x
= 0 implica
donde donde c1 y c2 son constantes.
La condicin de frontera y(0)
(2n 1)x
2L
(2n 1)x
,
2L
n = 1, 2, 3, . . .
(2n 1)x
,
2L
n = 1, 2, 3, . . .
190
(7.5)
y = c1 cos x + c2 sen x
(7.6)
(7.7)
c1 cos( L) + c2 sen( L) = c1 cos L + c2 sen L
Como
y
cos( L) = cos L
(7.8)
sen( L) = sen L
(7.9)
c2 sen L = 0
(7.10)
c1 sen L = 0.
(7.11)
nx
L
sen
nx
.
L
191
7.2.1.
Ortogonalidad
De manera ms general, decimos que las funciones (ya sea un nmero finito o
infinito) 1 , 2 , . . . , n , . . . son ortogonales en [a, b] si
Z
x
x
2x
2x
nx
nx
, sen
, cos
, sen
, . . . , cos
, sen
,...
L
L
L
L
L
L
(7.12)
(7.13)
sen
L
rx
L
rx
= 0.
dx = cos
L
r
L L
192
Si f (x) = cos mx/L y g(x) = cos nx/L, donde m y n son enteros positivos
distintos, entonces
Z
f (x) g(x) dx =
cos
mx
nx
cos
dx.
L
L
(7.15)
1
2
f (x) g(x) dx =
sen
L
mx
nx
sen
dx.
L
L
(7.16)
1
2
cos
dx = 0.
L
L
Si f (x) = sen mx/L y g(x) = cos nx/L, donde m y n son enteros positivos
(no necesariamente distintos), entonces
Z
f (x) g(x) dx =
L
sen
mx
nx
cos
dx = 0
L
L
porque el integrando es una funcin impar y los lmites son simtricos respecto
a x = 0.
7.3.
193
Series de Fourier I
a x b,
PN
m=1 cm m (x)
N = 1, 2, 3, . . .
f (x) =
cm m (x)
(7.18)
m=1
Rb
a
f (x) n (x) dx
,
Rb 2
(x)
dx
n
a
n = 1, 2, 3, . . .
(7.19)
(7.20)
m=1
Se puede mostrar que el acotamiento de las sumas parciales {fN }N=1 y la integrabilidad de f nos permiten intercambiar las operaciones de integracin y
suma a la derecha de (7.20), y reescribir (7.20) como
Z
f (x) n (x) dx =
a
m=1
cm
n (x) m (x) dx
n (x) m (x) dx = 0 si m 6= n,
(7.21) se reduce a
Z
f (x) n (x) dx = cn
a
2n (x) dx.
a
(7.21)
194
Rb
a
2n (x) dx 6=
f (x) n (x) dx
, n = 1, 2, 3, . . .
(7.22)
Rb 2
(x) dx
a n
P
Entonces, la serie infinita
n=1 cn n (x) se llama desarrollo de Fourier de
f (x)
7.3.1.
cn n (x),
a x b.
n=1
(7.23)
Series De Fourier
x
x
2x
2x
nx
nx
, sen
, cos
, sen
, . . . , cos
, sen
,...
L
L
L
L
L
L
12 dx = 2L,
cos2
L
nx
dx =
L
1
2
1 + cos
2nx
L
dx
L
L
2nx
x+
sen
=
2n
L
L
= L,
1
2
sen
2nx
1 cos
dx =
dx
L
L
L
L
L
2nx
sen
= 12 x
2n
L
L
= L,
2 nx
1
2
195
donde
a0 =
1
an =
L
1
L
y
bn =
1
2L
f (x) dx,
L
f (x) cos
nx
dx,
L
n 1,
f (x) sen
nx
dx,
L
n 1.
L
L
Advierta que a0 es el valor promedio de f en [L, L], mientras que los valores
de an y bn (para n 1) son el doble de los valores promedio de
nx
nx
f (x) sen
y f (x) cos
L
L
en [L, L], respectivamente.
7.3.2.
Definicin 33 Se dice que una funcin f es suave por partes en [a, b] si:
1. f tiene cuando mucho un nmero finito de puntos de discontinuidad en
(a, b);
2. f 0 existe y es continua excepto posiblemente en un nmero finito de puntos
en (a, b);
3. f (x+
mxx+ f (x) y f 0 (x+
mxx+ f 0 (x) existen si a x0 < b;
0 ) = l
0 ) = l
0
4.
f (x
0)
= lmxx f (x) y f
0
(x
0)
0 +
0
nmero finito de puntos en [a, b], se infiere que f (x+
0 ) = f (x0 ) y f (x0 ) = f (x0 )
excepto en un nmero finito de valores x0 en (a, b). Recuerde que f tiene una
X
nx
nx
an cos
+ bn sen
L
L
n=1
si L < x < L
f (x)
y f es continua en x;
f (x) + f (x+)
si L < x < L
F (x) =
y f es discontinua en x;
2
f
(L+)
+
f
(L)
si x = L o x = L.
2
(7.24)
196
f (x) + f (x+)
si L < x < L;
2
F (x) =
f
(L+)
+
f
(L)
si x = L.
2
Advierta que F es tambin suave por partes en [L, L], y F (x) = f (x) en
todos los puntos en el intervalo abierto (L, L), donde f es continua. Como
la serie en (7.24) converge a F (x) para toda x en [L, L], usted podra estar
tentado a inferir que el error
X
nx
nx
EN (x) = F (x) a0
an cos
+ bn sen
L
L
n=1
puede hacerse tan pequeo como se quiera para toda x en [L, L] escogiendo
N suficientemente grande. Sin embargo, esto no es cierto si f tiene una discontinuidad en alguna parte de (L, L) o si f (L+) 6= f (L). En este caso la
situacin es como sigue.
Si f tiene una discontinuidad de salto en un punto en (L, L), habr
secuencias de puntos {un } y {vn } en (L, ) y (, L), respectivamente, tales
que
lm uN = lm vN =
y
y
lm vN = L,
x, 2 < x < 0,
f (x) =
1
0<x<2
2,
en [2, 2] (Figura 7.1). Determine la suma de la serie de Fourier para 2
x 2.
197
Figura 7.1:
Solucin. Note que no nos preocupamos por definir f (2), f (0) y f (2). Sin
importar cmo se definan, f es suave por partes en [2, 2], y no afectan a los
coeficientes en la serie de Fourier
F (x) = a0 +
X
nx
nx
an cos
+ bn sen
2
2
n=1
En todo caso, el teorema 42 implica que F (x) = f (x) en (2, 0) y (0, 2), donde
f es continua, mientras que
f (2+) + f (2)
2
1
5
1
(2 + ) =
2
2
4
F (2) = F (2) =
=
y
F (0) =
=
Para resumir,
f (0) + f (0+)
2
1
1
1
(0 + ) = .
2
2
4
4,
x,
1
F (x) =
4,
2,
5
4,
x = 2,
2 < x < 0,
x = 0,
0<x<2
x = 2.
198
1
4
an
f (x) dx
2
Z 0
1
4
3
;
4
si n 1, entonces
(x) dx +
1
2
1
2
2
(cos n 1),
n2 2
1
2
1
2
1
(1 + 3 cos n).
2n
f (x) cos
2
0
nx
dx
2
nx
(x) cos
dx +
2
2
1
dx
2
nx
1
cos
dx
2
2
y
bn
f (x) sen
2
0
nx
dx
2
nx
(x) sen
dx +
2
2
1
nx
sen
dx
2
2
Por tanto,
F (x) =
nx
2 X cos n 1
3
cos
+ 2
2
4 n=1
n
2
1 X 1 + 3 cos n
nx
sen
.
2 n=1
n
2
m
3
nx
2 X cos n 1
cos
+ 2
4 n=1
n2
2
m
1 X 1 + 3 cos n
nx
sen
.
2 n=1
n
2
199
y
2
1.5
1
0.5
-2
-1
Figura 7.2:
7.3.3.
Calcular los coeficientes de Fourier de una funcin f puede ser tedioso; sin
embargo, a menudo se puede simplificar el clculo aprovechando las simetras
en f o en algunos de sus trminos. Consideremos que u y v estn definidas en
[L, L] y supongamos que
u(x) = u(x) y v(x) = v(x),
L x L.
Decimos entonces que u es una funcin par y v es una funcin impar. Tambin:
El producto de dos funciones pares es par.
El producto de dos funciones impares es par.
El producto de una funcin par y una funcin impar es impar.
Ejemplo 143 Las funciones u(x) = cos x y u(x) = x2 son pares, mientras
que v(x) = sen x y v(x) = x3 son impares. La funcin w(x) = ex no es ni par
ni impar.
Teorema 43 Suponga que u es par y v es impar en [L, L]. Entonces
1.
u(x) dx = 2
L
u(x) dx.
0
200
2.
3.
4.
5.
6.
v(x) dx = 0.
L
L
nx
u(x) cos
dx = 2
L
L
L
v(x) sen
L
L
nx
dx = 2
L
u(x) sen
nx
dx = 0.
L
v(x) cos
nx
dx = 0.
L
L
L
L
u(x) cos
nx
dx.
L
v(x) sen
nx
dx.
L
0
L
0
an cos
n=1
donde
1
a0 =
4
an =
bn =
1
2
1
2
(x2 x) dx,
(7.25)
(x2 x) cos
nx
dx,
2
n = 1, 2, 3, . . .
(7.26)
(x2 x) sen
nx
dx,
2
n = 1, 2, 3, . . .
(7.27)
2
Z 2
2
nx
nx
+ bn sen
2
2
nx
x2 cos
dx
2
0
Z 2
nx 2
nx
2
2
x sen
x sen
dx
2
n
2 0
2
0
Z
2
nx
nx 2
8
cos
x cos
dx
n2 2
2 0
2
0
"
#
2
8
2
nx
16
2 cos n
= (1)n 2 2 .
sen
n2 2
n
2 0
n
201
De (7.27),
bn
=
=
Por consiguiente,
F (x) =
nx
dx
2
0
Z 2
nx
nx 2
2
cos
x cos
dx
n
2 0
2
0
"
2 #
2
2
nx
4
= (1)n .
2 cos n
sen
n
n
2 0
n
x sen
nx
4 16 X (1)n
4 X (1)n
nx
cos
+ 2
+
sen
.
3 n=1 n2
2
n=1 n
2
x = 2,
4,
x2 x, 2 < x < 2,
F (x) =
4,
x = 2.
m
4 16 X (1)n
nx
cos
+ 2
2
3 n=1 n
2
m
4 X (1)n
nx
sen
.
n=1 n
2
an cos
n=1
donde
a0 =
y
an =
2
L
1
L
nx
,
L
f (x) dx
0
f (x) cos
nx
dx,
L
n 1.
202
-1
Figura 7.3:
2. Si f es impar, entonces la serie de Fourier de f en [L, L] es
F (x) =
bn sen
n=1
donde
2
bn =
L
f (x) sen
nx
,
L
nx
dx.
L
bn sen nx
n=1
donde
bn
En consecuencia,
x sen nx dx
Z
2
=
cos nx dx
x cos nx|0
n
0
2
2
2
= cos n + 2 sen nx = (1)n+1 .
n
n
n
0
0
X
(1)n
F (x) = 2
sen nx.
n
n=1
203
y
3
2
1
-3
-2
-1
-1
-2
-3
Figura 7.4:
0, x = ,
x, < x < ,
F (x) =
0, x = .
m
X
(1)n
sen nx
n
n=1
an cos nx.
n=1
Como f (x) = x si x 0,
a0 =
x dx =
0
x2
=
2 0
2
204
y, si n 1,
an
Z
2
x cos nx dx
0
Z
2
sen nx dx
x sen nx|0
n
0
2
2
cos nx = 2 (cos n 1)
n2
n
0
2
[(1)n 1] .
n2
=
=
=
=
Por tanto,
2 X (1)n 1
cos nx.
F (x) = +
2
n=0
n2
(7.28)
(1) 1 =
0
si n = 2m,
2 si n = 2m + 1,
los trminos en (7.28) para los cuales n = 2m son todos iguales a cero. Por
consiguiente, slo tenemos que incluir los trminos para los cuales n = 2m + 1;
es decir, podemos reescribir (7.28) como
F (x) =
4 X
1
cos(2m + 1)x.
2
m=0 (2m + 1)2
4X
1
cos(2n + 1)x.
2
n=0 (2n + 1)2
n=1
bn sen
nx
L
Por tanto,
nx
x(x2 L2 ) sen
dx
L
0
nx L
2
=
x(x2 L2 ) cos
n
L 0
#
Z L
nx
2
2
(3x L ) cos
dx
L
0
"
#
Z L
2L
nx L
nx
2
2
=
(3x L ) sen
x sen
dx
6
n2 2
L 0
L
0
"
#
Z L
3
12L2
nx
nx L
n 12L
=
cos
.
x
cos
dx
=
(1)
n3 3
L 0
L
n3 3
0
=
2
L
205
F (x) =
12L3 X (1)n
nx
sen
.
3
3
n=1 n
L
0, 1 < x < 12 ,
1, 12 < x < 12 ,
f (x) =
0, 12 < x < 1
en [1, 1] es
F (x) =
1
2 X (1)n1
+
cos(2n 1)dx.
2 n=1 2n 1
0, 1 x < 12 ,
12 , x = 12 ,
1, 12 < x < 12 ,
F (x) =
, x = 12 ,
2
0, 12 < x 1;
= F2N 1 (x)
=
N
1
2 X (1)n1
+
cos(2n 1)dx
2 n=1 2n 1
para N = 10, 20 y 30, respectivamente. Usted puede ver que aunque F2N1
aproxima bien a F (y, por consiguiente a f ) en grandes intervalos cuando N
crece, el valor mximo absoluto de los errores permanece aproximadamente igual
a 0,09 pero ocurre ms cerca de las discontinuidades x = 12 cuando N aumenta.
206
y
y=1.09
y=1.00
1
0.8
0.6
0.4
0.2
-1
1 y=- 0.09
Figura 7.5:
y
y=1.09
y=1.00
1
0.8
0.6
0.4
0.2
-1
1 y=- 0.09
Figura 7.6:
207
y
y=1.09
y=1.00
1
0.8
0.6
0.4
0.2
-1
1 y=- 0.09
Figura 7.7:
7.4.
Series de Fourier II
En esta seccin desarrollaremos las series de Fourier en trminos de las eigenfunciones de los problemas 1 al 4.
7.4.1.
Las eigenfunciones
x
2x
nx
, cos
, . . . , cos
,...
L
L
L
del problema con valor en la frontera (Problema 2)
1, cos
y 00 + y = 0,
y 0 (0) = 0,
y 0 (L) = 0
(7.29)
an cos
n=1
donde
a0 =
nx
,
L
f (x) dx
0
dx
0
1
=
L
f (x) dx
208
y=fHxL
Figura 7.8:
y
an
nx
dx
L
0
Z L
nx
cos2
dx
L
0
Z
nx
2 L
f (x) cos
dx,
L 0
L
f (x) cos
n = 1, 2, 3, . . .
X
nx
C(x) = a0 +
an cos
L
n=1
de f en [0, L], con
1
a0 =
L
y
an =
2
L
f (x) cos
f (x) dx
0
nx
dx,
L
n = 1, 2, 3, . . .
C(x) =
209
x = 0;
0<x<L
f (x),
y f es continua en x,
f (x) + f (x+)
0<x<L
,
y f es discontinua en x,
2
f (L),
x = L.
2
L
1
L
x dx =
L
1 x2
L
=
L 2 0
2
nx
dx
L
0
"
#
Z L
nx
2
nx L
sen
x sen
dx
n
L 0
L
0
Z L
2
nx
nx L
2L
sen
dx = 2 2 cos
n 0
L
n
L 0
2L
[(1)n 1]
2 2
n
4L
, n = 2m 1,
(2m 1)2 2
0,
n = 2m.
=
=
=
=
=
Por tanto,
C(x) =
x cos
1
(2n 1)x
L 4L X
cos
2
.
2
2
n=1 (2n 1)
L
7.4.2.
0 x L.
Las eigenfunciones
sen
x
2x
nx
, sen
, . . . , sen
,...
L
L
L
210
X
nx
bn sen
,
L
n=1
donde
bn
nx
dx
L
0
Z L
nx
sen 2
dx
L
0
Z
nx
2 L
f (x) sen
dx.
L 0
L
f (x) sen
bn sen
n=1
S(x) =
f (x) sen
nx
L
nx
dx,
L
x = 0;
0<x<L
f (x),
y f es continua en x,
f (x) + f (x+)
0<x<L
,
y f es discontinua en x,
2
0,
x = L.
211
y
y=fHxL
y=fHxL
Figura 7.9:
Ejemplo 150 Encuentre la serie seno de Fourier de f (x) = x en [0, L].
Solucin. Los coeficientes son
Z
2 L
nx
bn =
x sen
dx
L 0
L
"
#
Z L
nx
2
nx L
cos
=
x cos
dx
n
L 0
L
0
nx L
2L
2L
2L
+ 2 2 sen
= (1)n+1
= (1)n+1 .
n n
L 0
n
Por consiguiente,
nx
2L X (1)n
sen
.
S(x) =
n=1 n
L
7.4.3.
x, 0 x L,
0,
x = L.
Las eigenfunciones
cos
x
3x
(2n 1)x
, cos
, . . . , cos
,...
L
L
L
212
(7.30)
cn cos
n=1
(2n 1)x
2L
donde
Z
(2n 1)x
dx
2L
0
Z L
(2n 1)x
cos2
dx
L
0
Z
(2n 1)x
2 L
f (x) cos
dx.
L 0
2L
cn
f (x) cos
f (x),
0 x L,
f (2L x) L x 2L
en [0, 2L] (ver figura 7.10)Al aplicar el teorema 45 con f reemplazada por f3 y
L reemplazada por 2L se obtiene el siguiente teorema.
Teorema 47 Si f es suave por partes en [0, L] entonces la serie coseno de
Fourier mixta
X
(2n 1)x
CM (x) =
cn cos
2L
n=1
de f en [0, L], con
cn =
2
L
f (x) cos
(2n 1)x
dx,
2L
n = 1, 2, 3, . . .
213
y=fHxL
2L
y=fH2LxL
Figura 7.10:
converge para toda x en [0, L]; adems,
f (0+),
x = 0;
0<x<L
f (x),
y f es continua en x,
CM (x) =
f (x) + f (x+)
0<x<L
y f es discontinua en x,
0,
x = L.
(2n 1)
2L
0
#
Z L
(2n 1)x
sen
dx
2L
0
L
(2n 1)x
8L
8L
cos
=
= (2n 1)2 2 .
(2n 1)2 2
2L
0
214
Por tanto,
CM (x) =
El teorema 47 implica que
1
8L X
(2n 1)x
cos
.
2
2
n=1 (2n 1)
2L
CM (x) = x L,
7.4.4.
0 x L.
Las eigenfunciones
sen
x
3x
(2n 1)x
, sen
, . . . , sen
,...
L
L
L
dn sen
n=1
(2n 1)x
2L
donde
dn
(2n 1)x
dx
2L
0
Z L
(2n 1)x
sen 2
dx
2L
0
Z
(2n 1)x
2 L
f (x) sen
dx.
L 0
2L
f (x) sen
f (x),
0 x L,
f4 =
f (2L x) L x 2L
en [0, 2L] (ver figura 7.11)Al aplicar el teorema 46 con f reemplazada por f4 y
L reemplazada por 2L se obtiene el siguiente teorema.
215
y
y=fH2LxL
y=fHxL
2L
Figura 7.11:
Teorema 48 Si f es suave por partes en [0, L] entonces la serie seno de Fourier
mixta
X
(2n 1)x
SM (x) =
dn sen
2L
n=1
de f en [0, L], con
2
dn =
L
f (x) sen
(2n 1)x
dx,
2L
n = 1, 2, 3, . . .
0,
x = 0;
0<x<L
f (x),
y f es continua en x,
SM (x) =
f (x) + f (x+)
0<x<L
y f es discontinua en x,
f (L),
x = L.
Ejemplo 152 Encuentre la serie seno de Fourier mixta de f (x) = x en [0, L].
Solucin. Los coeficientes son
Z
2 L
(2n 1)x
dn =
x sen
dx
L 0
2L
"
L
(2n 1)x
4
x cos
=
(2n 1)
2L
0
#
Z L
(2n 1)x
cos
dx
2L
0
216
o
dn
4
(2n 1)
(2n 1)x
dx
2L
0
L
(2n 1)x
8L
sen
(2n 1)2 2
2L
=
=
cos
= (1)
n+1
8L
.
(2n 1)2 2
En consecuencia,
SM (x) =
8L X (1)n
(2n 1)x
sen
.
2
2
n=1 (2n 1)
2L
7.4.5.
0 x L.
an cos
n=1
con
1
a0 =
L
y
an =
2L2
n3 3
nx
,
L
0 x L,
(7.31)
nx
dx, n 1.
L
(7.32)
f (x) dx
217
bn sen
n=1
con
bn =
2L
n2 2
nx
,
L
0 x L,
f 00 (x) sen
nx
dx.
L
(7.33)
(2n 1)x
,
2L
cn cos
n=1
con
8L
cn =
(2n 1)2 2
f 00 (x) cos
0 x L,
(2n 1)x
dx.
2L
(7.34)
dn sen
n=1
con
dn =
8L
(2n 1)2 2
(2n 1)x
,
2L
f 00 (x) sen
0 x L,
(2n 1)x
dx.
2L
(7.35)
218
"
#
Z L
2L2
nx L
nx
00
000
= 3 3 f (x) sen
f (x) sen
dx
n
L 0
L
0
Z L
nx
2L2
f 000 (x) sen
dx
=
n3 3 0
L
1
L
(3Lx2 2x3 ) dx =
y
2
an =
L
1
L
L
x4
L3
=
Lx3
2 0
2
nx
dx,
L
n 1.
Evaluar esta integral directamente es una tarea laboriosa. Sin embargo, como
f 0 (x) = 6Lx 6x2 vemos que f 0 (0) = f 0 (L) = 0. Como f 000 (x) = 12, vemos en
(7.32) que si n 1 entonces
an
Por consiguiente,
Z
24L2 L
nx
= 3 3
sen
dx, n 1
n 0
L
nx L 24L3
24L3
cos
=
= 4 4 [(1)n 1]
44
n
L
n
0
3
48L
, n = 2m 1,
=
(2m 1)4 4
0,
n = 2m.
C(x) =
(2n 1)x
1
L3 48L3 X
cos
4
.
2
n=1 (2n 1)4
L
Ejemplo 154 Encuentre la serie seno de Fourier de f (x) = x(x2 3Lx + 2L2 )
en [0, L].
219
Solucin. Como f (0) = f (L) = 0 y f 00 (x) = 6(x L), vemos en (7.33) que
Z
12L L
nx
= 2 2
(x L) sen
dx
n 0
L
"
#
Z L
nx
nx L
12L2
cos
(x L) cos
=
dx
n3 3
L 0
L
0
L
12L3
nx L
12L2
L
= 3 3.
sen
=
3
3
n
n
L 0
n
bn
Por tanto
S(x) =
nx
12L3 X 1
sen
.
3 n=1 n3
L
16L
=
(2n 1)2 2
(2n 1)x
dx
2L
"0
L
(2n 1)x
32L2
(9x
4L)
sen
=
(2n 1)3 3
2L
0
#
Z L
(2n 1)x
9
sen
dx
2L
0
=
32L2
(1)n+1 5L
3
3
(2n 1)
L #
18L
(2n 1)x
+
cos
(2n 1)
2L
0
32L3
18
n
5
+
(1)
.
(2n 1)3 3
(2n 1)
En consecuencia,
CM (x) =
32L3 X
1
[(1)n 5
3
n=1 (2n 1)3
18
(2n 1)x
+
cos
.
(2n 1)
2L
220
Ejemplo 156 Haga lo mismo que en el ejemplo anterior, pero ahora para los
senos mixtos
f (x) = x(2x2 9Lx + 12L2 )
en [0, L].
Solucin. Como f (0) = f 0 (L) = 0 y f 00 (x) = 6(2x 3L), vemos en (7.35) que
dn
Z L
48L
(2n 1)x
(2x 3L) sen
dx
(2n 1)2 2 0
2L
"
#
L
Z L
(2n 1)x
(2n 1)x
96L2
cos
(2x 3L) cos
dx
2
(2n 1)3 3
2L
2L
0
0
"
L #
96L2
4L
(2n 1)x
3L
sen
(2n 1)3 3
(2n 1)
2L
0
3
96L
4
3 + (1)n
.
(2n 1)3 3
(2n 1)
=
=
=
=
Por tanto,
SM (x) =
96L3 X
(2n 1)x
1
4
n
3
+
(1)
sen
.
3 n=1 (2n 1)3
(2n 1)
2L
Captulo 8
La ecuacin de calor
Un modelo EDP (Ecuaciones Diferenciales Parciales) difiere de un modelo EDO (Ecuaciones Diferenciales Ordinarias) en que la variable de estado
depende de ms de una variable independiente, y el modelo resultante es una
ecuacin EDP. Mientras que una EDO puede modelar la evolucin de un sistema en el tiempo, y las observaciones son hechas en el tiempo, una EDP puede
modelar la evolucin de un sistema tanto en el tiempo como en el espacio; el
sistema puede ser observado tanto en un intervalo de tiempo y en una regin
espacial. Un modelo EDP puede ser tambin independiente del tiempo, pero
depender de varias variables espaciales. Para precisar el concepto, consideremos
el problema de determinar la temperatura en una barra de metal aislada lateralmente de longitud l y seccin transversal unitaria, cuyos dos extremos se
mantienen a cero grados y cuya temperatura inicialmente (en el tiempo cero)
vara a lo largo de la barra y est dada por la funcin f (x). Ver la figura 8.1.
Cmo se enfra la barra? En este caso, la variable de estado u es la temperatura, y depende tanto de cundo y en qu parte de la barra las mediciones son
tomadas. As, u = u(x, t), donde t es el tiempo y 0 < x < l. La ecuacin que
gobierna la evolucin de la temperatura u se denomina la ecuacin de calor
y tiene la forma
ut = a2 uxx
(8.1)
la cual es una ecuacin diferencial parcial (utilizaremos la notacin de subndice
para indicar la diferenciacin parcial). En otras palabras, la derivada parcial
de la temperatura con respecto a t es igual a la segunda derivada parcial de la
temperatura con respecto a x, multiplicada por una constante k = a2 . La con221
222
Figura 8.1: Barra de metal lateralmente aislada con temperatura cero en los
extremos. El calor fluye en la direccin-x, y u(t, x)es la temperatura de la seccin
transversal en x y en el tiempo t.
stante k, denominada la difusividad, es un parmetro conocido y una propiedad
de la barra; puede ser determinada en trminos de la densidad, calor especfico,
y la conductividad trmica del metal. As, la ecuacin de calor es un modelo
EDP. La condicin de que los extremos de la barra son mantenidos a cero grados
puede ser expresado con las ecuaciones
u(0, t) = 0,
u(L, t) = 0,
t > 0,
(8.2)
las cuales se denominan condiciones de frontera debido a que imponen condiciones sobre la variable de estado en la frontera del dominio espacial. La condicin de que la barra inicialmente tiene la temperatura f (x) grados se expresa
matemticamente por
u(x, 0) = f (x),
0 x L.
(8.3)
(8.4)
223
v(0, t) = 0,
v(L, t) = 0
y vxx = X 00 T,
XT 0 = a2 X 00 T,
T0
X 00
=
.
2
a T
X
Como la expresin del lado izquierdo de esta ecuacin es independiente de x
mientras que la del lado derecho es independiente de t, esta ecuacin puede
cumplirse para todo (x, t) slo si los dos lados son iguales a la misma constante,
a la que denominaremos constante de separacin, la que escribimos como ;
as
X 00
T0
= 2 = .
X
a T
Esta es equivalente a
X 00 + X = 0
y
T 0 = a2 T.
(8.5)
X(0) = 0,
X(L) = 0,
(8.6)
y X debe ser una eigenfuncin asociada a . Del teorema 36, los eigenvalores de
(8.6) son n = n2 2 /L2 , con eigenfunciones asociadas
Xn = sen
nx
,
L
n = 1, 2, 3, . . .
Tn = en
2 a2 t/L2
224
Sea
2 a2 t/L2
sen
como
nx
,
L
n = 1, 2, 3, . . .
nx
,
L
vn satisface (8.4) con f (x) = sen nx/L. De manera ms general, si 1 , 2 , . . . , m
son constantes y
vn (x, 0) = sen
um (x, t) =
m
X
n en
2 a2 t/L2
sen
n=1
nx
,
L
m
X
n sen
n=1
nx
.
L
n en
2 a2 t/L2
sen
n=1
donde
S(x) =
n=1
n sen
nx
,
L
(8.7)
(8.8)
nx
L
225
wn (z)
n=1
X
W 0 (z) =
wn0 (z)
n=1
z1 z z2 ,
n = 1, 2, 3, . . . ,
P
donde M1 , M2 , . . . , Mn , . . . son constantes tales que la serie n=1 Mn converge.
nx
12L3 X 1
sen
.
3 n=1 n3
L
Por tanto,
u(x, t) =
nx
12L3 X 1 n2 2 a2 t/L2
e
sen
.
3
3
n=1 n
L
Si ambos extremos de la barra estn aislados de manera que no pueda transmitirse calor, las condiciones de frontera son
ux (0, t) = 0,
ux (L, t) = 0,
t > 0.
226
n en
2 a2 t/L2
cos
n=1
donde
C(x) = 0 +
n cos
n=1
(8.9)
nx
,
L
nx
L
2
n =
L
f (x) cos
nx
dx,
L
n = 1, 2, 3, . . .
L 4L X
(2n 1)x
1
cos
2
.
2
n=1 (2n 1)2
L
En consecuencia,
u(x, t) =
2 2 2
2
1
L 4L X
(2n 1)x
e(2n1) a t/L cos
2
.
2
n=1 (2n 1)2
L
n=1
n e(2n1)
2 a2 t/4L2
sen
(2n 1)x
,
2L
(8.10)
227
donde
SM (x) =
n sen
n=1
(2n 1)x
2L
2
L
f (x) sen
(2n 1)x
dx.
2L
8L X (1)n
(2n 1)x
sen
.
2
2
n=1 (2n 1)
2L
Por tanto,
u(x, t) =
(2n 1)x
8L X (1)n (2n1)2 2 a2 t/4L2
e
sen
.
2 n=1 (2n 1)2
2L
n e(2n1)
2 a2 t/4L2
cos
n=1
donde
CM (x) =
n cos
n=1
(2n 1)x
,
2L
(2n 1)x
2L
2
L
f (x) cos
(2n 1)x
dx.
2L
(8.11)
228
Solucin. Del tercer ejemplo de la seccin Series de Fourier II, la serie coseno
de Fourier mixta de f en [0, L] es
CM (x) =
8L X
(2n 1)x
1
cos
.
2 n=1 (2n 1)2
2L
Por tanto,
u(x, t) =
8.1.1.
2 2 2
2
8L X
(2n 1)x
1
e(2n1) a t/4L cos
.
2 n=1 (2n 1)2
2L
Problemas no homogneos
Un problema de la forma
ut = a2 uxx + h(x), 0 < x < L, t > 0,
u(0, t) = u0 , u(L, t) = uL , t > 0,
u(x, 0) = f (x), 0 x L.
(8.12)
se puede transformar en uno que se puede resolver mediante separacin de variable. Escribimos
u(x, t) = v(x, t) + q(x),
(8.13)
donde q debe ser determinada. Entonces
ut = vt
y uxx = vxx + q 00
(8.14)
si
a2 q 00 (x) + h(x) = 0,
q(0) = u0 ,
q(L) = uL .
229
q(0) = 1,
q(1) = 1.
Por tanto,
u(x, t) = v(x, t) + x2 + x 1,
donde
vt = vxx , 0 < x < 1, t > 0,
v(0, t) = 0, v(1, t) = 0, t > 0,
v(x, 0) = x3 2x2 + 3x 1 (x2 + x 1)
= x(x2 3x + 2).
Del ejemplo 157 con a = 1 y L = 1,
v(x, t) =
12 X 1 n2 2 t
e
sen nx.
3 n=1 n3
En consecuencia
u(x, t) = x2 + x 1 +
12 X 1 n2 2 t
e
sen nx.
3 n=1 n3
u(L, t) = uL ,
t>0
ux (L, t) = uL ,
t > 0.
o bien
u(0, t) = u0 ,
ux (L, t) = uL ,
t > 0.
230
8.2.
La ecuacin de onda
8.2.1.
El movimiento de ondas es uno de los fenmenos que ocurren ms frecuentemente en la naturaleza. Podemos mencionar a las ondas electromagnticas, las
ondas de agua, las ondas de sonido y las ondas de presin en los slidos, como
ejemplos tpicos. En esta subseccin introduciremos un modelo simple para el
concepto de movimiento de ondas y desarrollaremos una de las EDP fundamentales, la ecuacin de onda, que describe tales fenmenos. El ejemplo que
utilizaremos para estos propsitos consiste en las vibraciones transversales de
una cuerda elstica y flexible, como por ejemplo, la de una guitarra.
Imaginemos una cuerda tensa de longitud L sujetada en sus extremos. Su
movimiento est descrito por una funcin u = u(x, t) que da el desplazamiento
vertical de cada punto x de la cuerda en el tiempo t. Nuestro postulado bsico es
que el desplazamiento u es pequeo. Implcitamente, asumimos que el movimiento es en el plano y ningn elemento de la cuerda se mueve horizontalmenteslo
verticalmente. En cada instante del tiempo asumimos que la cuerda tiene una
densidad (x, t), cuyas dimensiones son masa por unidad de longitud, y la tensin en la cuerda est dada por una funcin T (x, t), con dimensiones de fuerza.
Por convencin, T (x, t) es la fuerza en el segmento a la izquierda de x causado
por la parte de la cuerda que est a la derecha de x, y asumimos que la tensin
siempre est dirigida a lo largo de la tangente al perfil (o contorno) en x. Esta
ltima suposicin implica que la cuerda no es resistente a la flexin. A priori, no
conocemos o T . La figura muestra un segmento arbitrario de la cuerda entre
x = a y x = b. Denotamos el ngulo que forma la tangente con la horizontal
por (x, t), y observamos que
tan (x, t) = ux (x, t).
Para obtener una ecuacin del movimiento de la cuerda, apelamos al balance
de masa y a la segunda ley de Newton. Primero, el balance de masa implica que
la masa del segmento en cualquier tiempo t debe ser igual a su masa en la
posicin de equilibrio (la cual tomamos como la masa en el tiempo t = 0). En
smbolos, esto significa
Z
Z
p
(x, t) 1 + ux (x, t)2 dx =
0 (x)dx,
231
Observamos que el lado derecho de esta ecuacin puede ser escrito como
T (b, t) cos (b, t) [tan (b, t) tan (a, t)] ,
232
o
(t) (ux (b, t) ux (a, t)) .
Por consiguiente,
Z
b
a
Por el teorema fundamental del clculo podemos reescribir el lado derecho como
una integral, y obtenemos
Z
(8.16)
Si introducimos la funcin
c0 (x) =
p
0 /0 (x),
(8.17)
233
u(L, t) = 0,
t 0.
(8.19)
Para determinar un desplazamiento nico, tambin debemos imponer condiciones iniciales; esto es, establecemos tanto la posicin de la cuerda y su velocidad en el tiempo t = 0. Simblicamente,
u(x, 0) = f (x),
ut (x, 0) = g(x),
0 x L.
(8.20)
8.2.2.
La solucin formal
(8.21)
donde a = c0 .
Para este propsito, utilizaremos separacin de variables, por lo que buscamos funciones de la forma v(x, t) = X(x)T (t) que no son iguales cero y que
satisfagan
vtt = a2 vxx , v(0, t) = 0, v(L, t) = 0
para todo (x, t). Como
vtt = XT 00
vtt = a2 vxx si y slo si
y vxx = X 00 T,
XT 00 = a2 X 00 T,
T 00
X 00
=
.
a2 T
X
Con el fin de que esto se cumpla para todo (x, t), los dos lados deben ser iguales
a la misma constante; entonces
T 00
X 00
= 2 =
X
a T
que es equivalente a
X 00 + X = 0
y
T 00 + a2 T = 0.
(8.22)
234
nx
,
L
n = 1, 2, 3, . . .
nat n L
nat
+
sen
,
L
na
L
nat n L
nat
nx
=
n cos
+
sen
sen
L
na
L
L
y
vn
(x, t) =
t
nat
nat
na
nx
n sen
+ n cos
sen
.
L
L
L
L
Por tanto,
vn (x, 0) = n sen
nx
L
y
vn
nx
(x, 0) = n sen
.
t
L
En consecuencia, vn satisface (8.21) con f (x) = n sen nx/L y g(x) = n cos nx/L.
De manera ms general, si 1 , 2 , . . . , m y 1 , 2 , . . . , m son constantes y
um (x, t) =
m
X
nat n L
nat
nx
n cos
+
sen
sen
,
L
na
L
L
n=1
m
X
n=1
n sen
nx
L
y g(x) =
m
X
n=1
n sen
nx
.
L
235
X
nat n L
nat
nx
n cos
+
sen
sen
,
L
na
L
L
n=1
donde
Sf (x) =
n sen
nx
L
n sen
nx
L
n=1
Sg (x) =
n=1
(8.24)
2
L
2
L
y
n =
f (x) sen
nx
dx
L
g(x) sen
nx
dx.
L
x+at
Sg ( )d .
(8.25)
xat
1
[sen(A + B) + sen(A B)]
2
y
1
sen A sen B = [cos(A + B) cos(A B)]
2
resulta
cos
nx
1
n(x + at)
n(x at)
nat
sen
=
sen
+ sen
L
L
2
L
L
(8.26)
236
y
nat
nx
sen
sen
L
L
1
n(x + at)
n(x at)
= cos
cos
2
L
L
Z
n x+at
n
=
sen
d .
2L xat
L
(8.27)
De (8.26),
nat
nx
n cos
sen
L
L
n=1
n(x + at)
1X
n(x at)
n sen
+ sen
2 n=1
L
L
1
(8.28)
[Sf (x + at) + Sf (x at)] .
2
Puesto que puede mostrarse que una serie seno de Fourier puede integrarse
trmino a trmino entre dos lmites cualesquiera, (8.27) implica que
Z x+at
X
n
nat
nx
1 X
nL
n
sen
sen
sen
=
d
na
L
L
2a n=1
L
xat
n=1
!
Z x+at X
n
1
sen
d
=
2a xat n=1 n
L
Z x+at
1
Sg ( )d .
=
2a xat
=
h(x) h(0)
x
h0 (0) = lm
h(x) h(0)
.
x
x0
y
x0
h(x),
0xL
p(x) =
h(x), L < x < 0
y
< x < .
(8.29)
237
h(x),
0xL
q(x) =
h(x), L < x < 0
y
q(x + 2L) = q(x),
< x < .
(8.30)
238
x=- 3L x=- 2L
x=- L
x=0
x=L
x=2L
x=- L
239
y
x=- 3L x=- 2L
x=- L
x=0
x=L
x=2L
x=- L
(8.32)
00
00
f+
(0) = f
(L) = 0.
(8.33)
Prueba. Mostramos primero que Sg es diferenciable y Sf es dos veces diferenciable en (, ). Luego diferenciamos (8.25) dos veces respecto a x y t y
verificamos que (8.25) es una solucin real de (8.21).
Como f y g son continuas en (0, L), el teorema 46 del Captulo 7 implica
que Sf (x) = f (x) y Sg (x) = g(x) en [0, L]. Por consiguiente, Sf y Sg son las
extensiones peridicas impares de f y g. Como f y g son diferenciables en [0, L],
se infiere de (8.31) y (8.32), y del teorema 52(a) que Sf y Sg son diferenciables
en (, ).
Como Sf0 (x) = f 0 (x) en [0, L] (derivadas laterales en los puntos extremos), y
Sf0 es par (la derivada de una funcin impar es par), Sf0 es la extensin peridica
par de f 0 . Por hiptesis f 0 se puede diferenciar en [0, L]. Debido a (8.33), el
teorema 52(b) con h = f 0 y q = Sf0 implica que Sf00 existe en (, ).
240
1 0
1
S (x + at) + Sf0 (x at) +
[Sg (x + at) Sg (x at)] ,
2 f
2a
1 00
1 0
S (x + at) + Sf00 (x at) +
S (x + at) Sg0 (x at) ,
2 f
2a g
(8.34)
1
a 0
0
ut (x, t) =
S (x + at) + Sf (x at) + [Sg (x + at) + Sg (x at)] (8.35)
2 f
2
uxx (x, t) =
utt (x, t) =
a2 00
Sf (x + at) + Sf00 (x at) + Sg0 (x + at) Sg0 (x at) . (8.36)
2
2
Si se comparan (8.34) y (8.36) se ve que utt (x, t) = a2 uxx (x, t) para todo (x, t).
En (8.24) salta a la vista que u(0, t) = u(L, t) = 0 para toda t. En (8.25)
u(x, 0) = Sf (x) para toda x y, por tanto, en particular,
u(x, 0) = f (x),
0 x < L.
0 x < L.
1
96L4 X
(2n 1)x
sen
5 n=1 (2n 1)5
L
8L2 X
(2n 1)x
1
Sg (x) = 3
sen
.
n=1 (2n 1)3
L
241
En (8.24),
u(x, t) =
96L4 X
(2n 1)at
(2n 1)at
1
cos
sen
5 n=1 (2n 1)5
L
L
(2n 1)at
8L3 X
(2n 1)at
1
sen
sen
.
a 4 n=1 (2n 1)4
L
L
8.3.
Hasta aqu, nuestros modelos EDP han involucrado una dimensin espacial
y el tiempo. Debera ser claro para el lector que muchos, si no la mayora, de los
problemas fsicos ocurren en ms de una dimensin espacial. Por consiguiente,
en esta seccin desarrollaremos un modelo EDP para el flujo de calor en tres
dimensiones. Esta seccin requerir que el lector revise algunos conceptos de
clculo multivariable.
La idea es exactamente la misma que se manej en el problema de una
dimensin. Supongamos que es una regin en el espacio donde el calor est
fluyendo, y u = u(x, y, z) es la temperatura en el tiempo t en el punto (x, y, z)
en . Asumimos que la regin es homognea y est caracterizada por un calor
especfico constante c y una densidad constante . Ahora, supngase que B es
una esfera arbitraria contenida en . Ver la figura 8.7.
Aplicando el principio de balance de energa a B, se requiere que la tasa de
cambio de la cantidad total de energa calorfica en B sea igual a la tasa en la
que el calor fluye hacia B a travs de la frontera ms la tasa en la que la energa
calorfica es generada por cualquier fuente en B. La cantidad total de calor en
un elemento de volumen pequeo dV = dx dy dz es cudV , y as la cantidad
total de energa calorfica en B est dada por la integral en tres dimensiones
Z
cu dV.
B
RRR
, pero por concisin
Esta integral, a veces se escribe como una integral triple
B
adoptaremos la notacin de una integral nica. Asumimos que las fuentes de
calor (o sumideros) estn dados por una funcin puntual f = f (x, y, z, t), donde
f dV es la tasa en la que el calor es generado en dV ; as, la tasa en la que el
242
f dV.
(8.37)
243
1 2
3
+
+
.
x
y
z
(8.38)
244
1
f,
c
(8.41)
1
f,
c
245
(8.42)
(x, y, z) ,
(x, y, z) ,
8.3.1.
La solucin formal
246
=
=
=
=
f0 (x),
f1 (x),
g0 (y),
g1 (y),
0 x a,
0 x a,
0 y b,
0 y b,
(8.43)
247
248
(8.45)
X(0) = 0,
X(a) = 0
(8.46)
y
Y 00 Y = 0,
Y (b) = 0.
(8.47)
nx
,
a
n = 1, 2, 3, . . .
Y (b) = 0,
n(b y)
,
a
(8.48)
249
Entonces
vn (x, y) = Xn (x)Yn (y)
senh n(b y)/a
nx
=
sen
,
senh nb/a
a
por lo que vn (x, 0) = sen nx/a y vn satisface (8.45) con f (x) = sen nx/a. De
manera ms general, si 1 , . . . , m son constantes arbitrarias, entonces
um (x, y) =
m
X
n=1
nx
senh n(b y)/a
sen
senh nb/a
a
m
X
n sen
n=1
nx
.
a
Por consiguiente, si f es una funcin arbitraria suave por partes en [0, a], definimos la solucin formal de (8.45) como
u(x, y) =
n=1
nx
senh n(b y)/a
sen
,
senh nb/a
a
donde
S(x) =
n=1
n sen
(8.49)
nx
a
(8.50)
para n grande, de modo que la serie (8.49) converge si 0 < y < b; adems, como
tambin
cosh n(b y)/a
eny/a
senh nb/a
para n grande, el teorema 50, aplicado dos veces con z = x y dos veces con
z = t, muestra que uxx y uyy se obtienen diferenciando u trmino a trmino
250
12a3 X 1
nx
sen
.
3 n=1 n3
a
(8.51)
Para calcular valores aproximados de u(x, y), debemos usar sumas parciales de
la forma
m
12a3 X senh n(b y)/a
nx
um (x, y) = 3
sen
.
n=1 n3 senh nb/a
a
0 x 2,
0 y 1,
0 x 2,
k = 0, 1, 2, . . . , 10.
(8.52)
X 0 (0) = 0,
X 0 (a) = 0
(8.53)
251
3
2
z
1
1
0.8
0.6
0.4
0.2
y
1
0.5
1.5
0
2
0 x 2,
0 y 1.
u
3
2.5
2
1.5
1
0.5
0.5
1.5
0 x 10,
k = 0, . . . , 10.
252
Y (0) = 0.
(8.54)
Del teorema teorema 37 del Captulo 7 los eigenvalores de (8.54) son = 0, con
la eigenfuncin asociada X0 = 1, y n = n2 2 /a2 , con eigenfunciones asociadas
Xn = cos
nx
,
a
n = 1, 2, 3, . . .
Y (0) = 0,
a senh ny/a
.
n cosh nb/a
Entonces
vn (x, y) = Xn (x)Yn (y)
a senh ny/a
nx
=
cos
,
n cosh nb/a
a
De modo que
vn
nx
(x, b) = cos
.
y
a
Por tanto vn satisface (8.52) con f (x) = cos nx/a. De manera ms general, si
0 , . . . , m son constantes arbitrarias, entonces
m
aX
nx
senh ny/a
um (x, y) = 0 y +
n
cos
n=1 n cosh nb/a
a
253
f (x) = 0 +
nx
.
L
n cos
n=1
En consecuencia, si f es una funcin arbitraria suave por partes en [0, a], definimos la solucin formal de (8.52) como
u(x, y) = 0 y +
aX
nx
senh ny/a
n
cos
,
n=1 n cosh nb/a
a
donde
C(x) = 0 +
n cos
n=1
nx
a
y
2
n =
a
f (x) cos
0
nx
dx,
a
n = 1, 2, 3, . . .
1
(2n 1)x
a 4a X
cos
C(x) = 2
.
2 n=1 (2n 1)2
a
Por tanto,
u(x, y) =
(2n 1)x
senh(2n 1)y/a
ay 4a2 X
3
cos
.
3
2
n=1 (2n 1) cosh(2n 1)b/a
a
(8.55)
0 x 2,
0 y 1,
0 x 2,
k = 0, 1, . . . , 10.
254
1.5
1
z
0.5
1
0.8
0.6
0.4
0.2
y
1
0.5
1.5
0
2
0 x 2,
0 y 1.
u
1.4
1.2
1
0.8
0.6
0.4
0.2
0.5
1.5
0 x 2,
k = 0, 1, . . . , 10.
255
(8.56)
X 0 (a) = 0
(8.57)
y
Y 00 + Y = 0,
Y (0) = 0,
Y 0 (b) = 0.
(8.58)
(2n 1)y
,
2b
n = 1, 2, 3, . . .
Xn = cosh
(2n 1)(x a)
.
2b
(8.59)
256
Entonces
vn (x, y) = Xn (x)Yn (y)
(2n 1)y
cosh(2n 1)(x a)/2b
sen
,
=
cosh(2n 1)a/2b
2b
De modo que
(2n 1)y
.
2b
Por consiguiente, vn satisface (8.56) con g(y) = sen(2n 1)y/2b. De manera
ms general, si 1 , . . . m son constantes arbitrarias, entonces
vn (0, y) = sen
um (x, y) =
m
X
n=1
(2n 1)y
cosh(2n 1)(x a)/2b
sen
,
cosh(2n 1)a/2b
2b
m
X
n sen
n=1
(2n 1)y
.
2b
As, si g es una funcin arbitraria suave por partes en [0, b], definimos la solucin
formal de (8.56) como
u(x, y) =
n=1
donde
SM (y) =
n=1
n sen
(2n 1)y
2b
96b3 X
(2n 1)y
1
4
n
SM (y) = 3
3 + (1)
sen
.
n=1 (2n 1)3
(2n 1)
2b
257
(8.60)
X 0 (0) = 0
(8.61)
y
Y 00 + Y = 0,
Y 0 (0) = 0,
Y (b) = 0.
(8.62)
(2n 1)y
,
2b
n = 1, 2, 3, . . .
258
(2n 1)x
.
2b
(8.63)
2b cosh(2n 1)x/2b
.
(2n 1) senh(2n 1)a/2b
Entonces
vn (x, y) = Xn (x)Yn (y)
2b cosh(2n 1)x/2b
(2n 1)y
=
cos
,
(2n 1) senh(2n 1)a/2b
2b
De modo que
vn
(2n 1)y
(a, y) = cos
.
x
2b
Por consiguiente, vn satisface (8.60) con g(y) = cos(2n 1)y/2b. De manera
ms general, si 1 , . . . m son constantes arbitrarias, entonces
um (x, y) =
m
2b X
(2n 1)y
cosh(2n 1)x/2b
n
cos
,
n=1 (2n 1) senh(2n 1)a/2b
2b
m
X
n cos
n=1
(2n 1)y
.
2b
As, si g es una funcin arbitraria suave por partes en [0, b], definimos la solucin
formal de (8.60) como
u(x, y) =
2b X
(2n 1)y
cosh(2n 1)x/2b
n
cos
n=1 (2n 1) senh(2n 1)a/2b
2b
donde
CM (y) =
n=1
n cos
(2n 1)y
.
2b
1
8b X
(2n 1)y
cos
.
2 n=1 (2n 1)2
2b
En consecuencia,
u(x, y) =
(2n 1)y
16b2 X
cosh(2n 1)x/2b
cos
.
3 n=1 (2n 1)3 senh(2n 1)a/2b
2b
259
260
Apndice A
Apndice A
The appendix fragment is used only once. Subsequent appendices can be
created using the Chapter Section/Body Tag.
261
262
Afterword
The back matter often includes one or more of an index, an afterword, acknowledgements, a bibliography, a colophon, or any other similar item. In the
back matter, chapters do not produce a chapter number, but they are entered
in the table of contents. If you are not using anything in the back matter, you
can delete the back matter TeX field and everything that follows it.
263