Documentos de Académico
Documentos de Profesional
Documentos de Cultura
c
Manuel Calixto Molina
Septiembre 2016
2
Índice general
3
4 Índice general
II Funciones Especiales 89
4. Funciones especiales elementales 91
4.1. Ecuación y funciones de Hermite . . . . . . . . . . . . . . . . . . . . . . . 92
4.2. Ecuación y funciones de Laguerre . . . . . . . . . . . . . . . . . . . . . . . 93
4.3. Ecuación y funciones de Jacobi . . . . . . . . . . . . . . . . . . . . . . . . 93
4.3.1. Ecuación y funciones de Legendre . . . . . . . . . . . . . . . . . . . 93
4.3.2. Ecuación y funciones de Chebyshev . . . . . . . . . . . . . . . . . . 94
4.3.3. Ecuación y funciones de Gegenbauer . . . . . . . . . . . . . . . . . 95
IV Apéndices 133
A. Demostración del Teorema de Picard 135
V Biliografı́a 143
6 Índice general
Parte I
1
Capı́tulo 1
3
4 Capı́tulo 1. Ecuaciones diferenciales ordinarias de primer orden
La aplicación que a cada solución x(t) de (1.1) le hace corresponder el vector ~z(t) =
(x(t), x′ (t), . . . , x(n−1) (t)) establece una correspondencia entre los espacios de soluciones
de (1.1) y de (1.2).
Esta traducción de una EDO de orden n a un sistema equivalente de n EDOs de
orden 1 resulta útil, más que desde un punto de vista práctico, desde una perspectiva
puramente teórica. Haremos uso extensivo de esta correspondencia entre ambos espacios
de soluciones; en particular, con vistas a la demostración de teoremas de existencia y
unicidad en el Apéndice A y también en el siguiente Capı́tulo.
En los denominados “problemas de valores iniciales” (por contraposición a los “pro-
blemas con condiciones en la frontera”, véase más adelante), la condición (1.1) sobre la
1.1. Generalidades sobre EDOs: existencia, unicidad y sensibilidad 5
x2 + t2 x′ = 0, x(0) = 0 (1.4)
x = ϕ(t, c1 , c2 , . . . , cn ),
2. hallar la solución particular de la EDO que satisfaga las condiciones iniciales dadas
(si ésta existe).
dx(t) G(t)
=− ⇒ F (x)dx + G(t)dt = 0 (1.6)
dt F (x)
se dice que las variables son separables y la solución se obtiene por integración directa-
mente Z Z
F (x)dx + G(t)dt = c (1.7)
Ejemplo 1.2.1. Modelo de Malthus. El modelo más simple es el que supone que la velo-
cidad de nacimientos es proporcional al tamaño de la población vn = nP e, igualmente, la
velocidad de defunciones es proporcional al tamaño de la población vd = mP . Se supone,
además, que la población es cerrada, es decir, no hay migración. Entonces la igualdad
anterior se convierte en esta otra
dP (t)
= (n − m)P (t) (1.8)
dt
donde n y m son las tasas de nacimiento y defunción relativas constantes. Si integramos
respecto de t, resulta
P (t) = P0 ekt , k = n − m,
donde P0 es la población en el instante inicial t0 . Vemos que el crecimiento es exponencial.
Si k > 0, este crecimiento lleva a superpoblacón a largo plazo. Si k < 0, se produce la
extinción de la población a largo plazo.
Ejemplo 1.2.3. Modelo logı́stico. La idea fundamental que sustenta este modelo es la
siguiente: la limitación de recursos y de espacio hace imposible un crecimiento indefinido
y, en general, a largo plazo debe de haber algún reajuste. En 1836 Verhulst propuso que
cuando una población alcanza un tamaño demasiado grande debe de producirse un proceso
de autolimitación. En algunas poblaciones (como en la mosca de la fruta, poblaciones de
bacterias, células de levadura, protozoos, etc), el ı́ndice de natalidad n(t) disminuye cuando
8 Capı́tulo 1. Ecuaciones diferenciales ordinarias de primer orden
Las crı́ticas más importantes que puede hacerse a este modelo son:
Se considera la constante M independiente de la población en el pasado.
No se tiene en cuenta el hecho de que, para muchas especies, los individuos necesitan
un periodo de tiempo importante para alcanzar la maduración y estar en condicio-
nes de reproducirse. Para corregir este problema, se suelen considerar modelos con
retardo (no los consideraremos aquı́).
El efecto Allee. En muchas poblaciones naturales, cuando el tamaño es muy bajo se
hace muy difı́cil el que la hembra encuentre al macho para la procreación. En estos
casos, la tasa de crecimiento relativo varı́a un ritmo muy bajo. Sin embargo, en el
modelo logı́stico este ritmo es constante e igual k. Una forma de obtener un modelo
que recoja el efecto Allee es proponer una tasa de crecimiento relativo de la forma
Ṗ
= a0 + a1 P + a2 P 2
P
1.2. Separación de variables 9
que posee una variación no constante (de hecho, lineal). Se demuestra que, tomando
a0 , a1 > 0 y a2 < 0, se da cuenta del efecto Allee.
Ejercicio 1.2.4. Dı́a del juicio contra extinción. Considere ahora que el ı́ndice de na-
talidad es proporcional al número de parejas (P/2), es decir: n(t) = kP (t) y que el
ı́ndice de mortalidad es constante m(t) = m0 . Resuelva la ecuación diferencial dPdt(t) =
(n(t) − m(t))P (t) para este caso y demuestre que:
ln C
1. Si la población inicial es P0 > m0 /k, entonces la población diverge para t → m0
con C = P0 /(P0 − m0 /k) (“dı́a del juicio final”)
2. Si la población inicial es P0 < m0 /k, entonces la población tiende a cero para t → ∞
(“extinción”).
Ejemplo 1.2.5. Modelo de Ludwig. En ciertas ocasiones, una población que se ajusta a un
modelo logı́stico puede verse afectada negativamente por la presencia de otros individuos
que no tienen su existencia completamente ligada a la de los primeros pero que, de alguna
forma, se aprovechan de su existencia. En 1978, Ludwig propuso un modelo para estudiar
una población de larvas que estaban desfoliando ciertos bosques de abetos canadienses.
Estas larvas, junto con otras, sirven de alimento a ciertos pájaros. Estos no tienen sus
vidas ligadas a las larvas, pues pueden migrar con facilidad para buscar otro alimento,
pero en presencia de las larvas son sus depredadores naturales. El modelo propuesto tiene
la forma
dP (t) P
= kP (1 − ) − f (P )
dt M
El término f (P ) es el efecto negativo de los pájaros sobre la tasa de crecimiento absoluto.
Para determinar la forma exacta de f (P ), se hacen los siguientes supuestos:
1. Si P es próximo a 0, f (P ) también debe serlo, pues los pájaros se irán a otro lado
para buscar alimento.
2. f (P ) debe ser acotada para valores grandes de P , pues la capacidad de depredación
de los pájaros es limitada.
Ejercicio 1.2.6. Propagación de rumores. Entre los alumnos de esta asignatura se extien-
de el rumor de que este problema va a caer en el examen final de Junio. Si hay 70 alumnos
matriculados y el rumor se extiende de manera proporcional al número de alumnos que
todavı́a no lo han oı́do, ¿cuántos dı́as tardarán en saberlo 60 alumnos si a los dos dı́as ya
lo saben 40?. Nota: se supone que en t = 0 ningún alumno conoce el rumor.
Ejercicio 1.2.7. Desintegración de elementos radiactivos. El radio se desintegra a una
velocidad proporcional a la cantidad presente. Se ha comprobado además que en 1600
años desaparece la mitad de la cantidad inicial. Hallar la ecuación de desintegración,
ası́ como la cantidad perdida al cabo de 100 años. Repı́tase el cálculo con radiocarbono,
cuya semivida es de 5.600 años.
10 Capı́tulo 1. Ecuaciones diferenciales ordinarias de primer orden
Teniendo en cuenta que nieva regularmente a una velocidad constante w, se tiene que
h(t) = h0 + wt. Además, la máquina debe mantener el volumen V de nieve por unidad
de tiempo constante, es decir, V = h(t)ẋ(t)L, donde x(t) es la distancia recorrida por
la máquina y L es la anchura de la carretera (constante). De esta forma, la ecuación
V
diferencial a resolver es ẋ(t) = h0 , que tiene dos constantes desconocidas, V /(Lw)
Lw( w
+t)
y h0 /w, más la constante de integración. Para calcularlas, sabemos que, a las 12 horas,
x(0) = 0 (sale la máquina quitanieves), que, a las 13 horas, x(1) = 2 (ha recorrido 2
km) y también que, a las 14 horas, x(2) = 3 (ha recorrido 3=2+1 km). Nótese que la
hora en que empezó a nevar es 12 − h0 /w, ya que el tiempo que transcurre desde que
empieza a nevar
√ (h(t) = 0) hasta que sale la máquina quitanieves es t0 = h0 /w. Solución:
t0 = 2/(1 + 5) ≃ 0,62, es decir, unos 37 minutos antes de las 12.
dV (t) dy p
= −av −→ A(y) = −aα 2gy
dt dt
Ejercicio 1.2.15. ¿Qué tiempo T se necesita para que se desagüe √ un embudo cónico de
10 cm de altura y ángulo en el vértice α = 60o (es decir, y = x/ 3) por un orificio de 0.5
cm2 en el fondo del embudo?.
Ejercicio 1.2.17. Un tanque tiene la forma que se obtiene al hacer girar la parábola
x2 = by alrededor del eje de las Y . La profundidad del agua es de 4 metros al mediodı́a,
cuando se retira un tapón circular del fondo. a las 13 horas la profundidad del agua es de
1 metro. Encontrar a qué hora se vaciará por completo el tanque. Si el radio superior de
la superficie del tanque es de 2 metros, ¿cuál es el radio del agujero?.
12 Capı́tulo 1. Ecuaciones diferenciales ordinarias de primer orden
Ejercicio 1.2.18. La clepsidra, reloj antiguo de agua, era un cuenco del que salı́a agua
de un pequeño agujero del fondo. Se usaba en las cortes griegas y romanas para medir
el tiempo de discurso de los oradores, para evitar que se prolongaran demasiado. Hallar
la forma que debe tener la curva de revolución y = y(x) para que el agua fluya a ritmo
constante dydt
= k. Ayuda: utilize la ley de Torricelli y tenga en cuanta que, para una
superficie de revolución en torno al eje Y, las secciones transversales (y=cte.) son circulares
k 2 πx4
con área A(y) = πx2 . Solución y = 2a 2 α2 g
Ejercicio 1.2.19. Flujo de calor a través de una pared. Bajo ciertas condiciones, la can-
tidad de calor Q (calorı́as/segundo) que fluye a través de un muro viene dada por:
dT (x)
Q = −kA ,
dx
donde k (cal/(cmo C) es la conductividad del material, A (cm2 ) es el área de la superficie
del muro perpendicular a la dirección del flujo de calor y T (x) (o C) es la temperatura
en un cierto punto x (cm) en el interior del muro. Encontrar el número de calorı́as por
hora que fluye a través de la superficie de un frigorı́fico de área A = 1m2 y espesor
d = 125cm si el material tiene conductividad k = 0,0025 y si se sabe que la Temperatura
en la cara interior es de T (0) = −5o C y en la cara exterior es de T (d) = 75o C. Solución
Q = 16cal/seg ⇒ flujo de calor en una hora= 3600Q = 57,600cal.
Ejercicio 1.2.21. Problema de un nadador. Un rio de anchura 2a fluye hacia el norte (en
la dirección del eje Y), de manera que la lı́neas x = ±a representan las riberas del rio.
Suponga que la velocidad del agua aumenta a medida que nos aproximamos al centro del
rio de la forma ~vR = v0 (1 − x2 /a2 )ĵ. Supongamos que un nadador parte del punto (−a, 0)
en la ribera occidental y nada hacia el este (en la dirección del eje X), con respecto al
agua, con una velocidad constante ~vN = vN î. Ası́, la velocidad del nadador respecto a un
observador en la orilla es ~vn′ = ~vR + ~vn y el ángulo que forma la dirección del nadador con
el eje X en cada punto es tan α = vR /vn = dy/dx. ¿Qué distancia rio abajo alcanzará el
nadador la otra orilla?.
se dice que ésta es lineal. La solución general puede calcularse fácilmente mediante cua-
draturas
R de la siguiente manera: multiplicando ambos lados de la igualdad anterior por
a(t)dt
e (factor integrante), el término de la izquierda puede escribirse como una derivada
total como: R
R d(e a(t)dt x) R
a(t)dt
e (ẋ + a(t)x) = = e a(t)dt f (t).
dt
Integrando y despejando la variable dependiente x, la solución general queda:
R
Z R
− a(t)dt a(t)dt
x(t) = e f (t)e dt + C
donde C es una constante de integración arbitraria a fijar por la condición inicial x(t0 ) =
x0 . Para el caso más sencillo en que a(t) = a =constante, puede verse que la solución de
ẋ + ax = f (t) con condición inicial x(t0 ) = x0 viene dada por la expresión:
Z t
x(t) = ea(τ −t) f (τ )dτ + e−a(t−t0 ) x0 . (1.10)
t0
ce gr/ℓ
re ℓ/min
❄
x(t) gr
V (t) ℓ
rs ℓ/min
❄
donde Z
rs rs
dt = ln((re − rs )t + V0 )
V (t) re − rs
y Z Z
R rs rs
dt
re ce (t)e V (t) dt = re ce (t)[(re − rs )t + V0 ] re −rs dt, (1.11)
Ejercicio 1.3.10. Un estudiante de fı́sica decide poner fin a su vida porque no entiende
las ecuaciones diferenciales lineales de primer orden. Para ello construye un dispositivo
que consta de (a) una conducción que comunica el tubo de escape de su coche con el
habitáculo interior y (b) una bomba que extrae aire del interior del vehı́culo y lo expulsa
al exterior. Una vez que el coche se pone en marcha, la conducción introduce en el vehı́culo
un 80 % de monóxido de carbono CO (ce = 0,8) a una velocidad de re = 1 litros de aire
por segundo) y una bomba extrae aire del interior a la misma velocidad. El volumen del
habitáculo interior es de V0 = 3 m3 y se admite que en todo momento el CO se distribuye
de forma homogénea por el habitáculo. El coche es blindado y ha sido trucado para no
poder abrirse desde dentro y para que el motor no pueda apagarse una vez arrancado.
Al iniciar el proceso de suicidio, el estudiante se arrepiente y, tras desesperados y fallidos
intentos por salir del coche, recuerda que guarda un teléfono móvil en la guantera, el cual
usa para llamar a su madre. Si una proporción de un 5 % de monóxido de carbono es letal
y la madre tarda 5 minutos en llegar, ¿consigue salvarse nuestro estudiante?.
Solución: una concentración del 5 % se alcanza en 193.6 segundos (es decir, algo más de
tres minutos). “Mala suerte”.
Ejercicio 1.3.12. El lago Erie tiene un volumen de 458 km3 y el flujo de entrada y salida
se realizan ambos a razón de 175 km3 por año. Suponga que inicialmente su concentra-
ción de contaminantes es de 5 gramos de contaminante por cada litro de agua, y que la
16 Capı́tulo 1. Ecuaciones diferenciales ordinarias de primer orden
concentración de contaminantes que ingresa en el agua del lago es de 1 gramo por litro.
Suponiendo que el agua se mezcla perfectamente en el lago, ¿cuánto tiempo pasará para
que la concentración de contaminantes en el lago se reduzca a 2 gramos por litro?.
Solución: 3.628 años
v = k1 (a − x) − k2 x.
resistiva, en total F = −mg − kv, de forma que la ecuación diferencial del movimiento
del cohete es (dedúzcala):
m(t)v̇ + kv = −m(t)g + δc,
ecuación lineal no homogénea que admite un factor integrante Φ(t) = (m0 − δt)−k/δ
(dedúzcalo). Supongamos que tenemos un cohete con un peso inicial de 25 toneladas,
de las cuales 20 son mezcla de combustible que se quemará a una tasa de 1 ton/s. La
velocidad de escape del gas es de 1km/s. Se enciende en t = 0 con y(0) = 0 y v(0) = 0.
Encuentre la velocidad (en km/hora) al consumirse todo el combustible: 1) si no hay
rozamiento, 2) si el rozamiento es de k = 0,2
Ejercicio 1.3.16. Masa variable. Una gota de lluvia esférica que parte del reposo, cae
por acción de la gravedad. Si recoge vapor de agua (supuesto en reposo) a un ritmo pro-
porcional a su superficie dm
dt
= k4πr 2 , y su radio inicial es r0 , demostrar que su aceleración
en el instante t es:
g 3r04
a= 1+ .
4 r(t)4
En particular, a = g/4 si el radio inicial es cero. Ayuda: recuerde que d~ p
dt
= F~ y que
4 3
dp = d(mv) = vdm + mdv y que F = mg, donde m = 3 πr (para densidad igual a uno).
Considere la velocidad v como función del radio, de manera que la aceleración se escribe
como a = v̇ = dv
dt
= dv dr
dr dt
. Deduzca entonces que la relación entre la velocidad y el radio
2 4 3 dv(r)
es 4πkr v(r) + 3 πr k dr = mg y calcule v(r).
∂U ∂U
dU(x, t) = dx + dt = 0. (1.13)
∂x ∂t
En ese caso la solución viene dada por U(x, t) =constante. La condición necesaria y
suficiente para que (1.12) sea exacta es que las derivadas cruzadas sean iguales, es decir:
∂2U ∂2U ∂M ∂N
= ⇔ = . (1.14)
∂x∂t ∂t∂x ∂t ∂x
En algunos casos una ecuación que no es exacta se puede se puede convertir en exacta
multiplicandola por un factor integrante (al igual que en el caso de la ecuación lineal).
Ejercicio 1.4.1. Resuelva el ejercicio 1.3.16 encontrando una función U(v, r) para la
ecuación exacta (4πkr 2 v(r) − mg)dr + 34 πr 3 kdv = 0.
18 Capı́tulo 1. Ecuaciones diferenciales ordinarias de primer orden
Ejercicio 1.4.2. Cadena que desliza desde una mesa. Una cadena de longitud L y den-
sidad λ está sobre una mesa, de manera que un trozo de longitud x cuelga y el otro de
longitud L − x está sobre la mesa. El peso P = mg = λxg de la parte que cuelga ejerce
una fuerza que hace que la cadena deslize sobre la mesa (supongamos sin rozamiento) y
caiga al suelo. La ecuación de Newton establece que
dp d d
= F ⇒ (mv) = (λxẋ) = λẋ2 + λxẍ = P = λxg.
dt dt dt
Considerar la velocidad v como una función de x, de maner que la aceleración ẍ = dv
dt
=
dv dx dv
dx dt
= v dx . Demostrar que la ecuación anterior no es exacta pero admite un factor
integrante Φ(x) = x. Encontrar entonces la función U(x, v) =constante.
p √ Si L = 4 y en
el instante inicial x(0) = 1 y v(0) = 0, demostrar que v(x) = 2g/3 x3 − 1/x. Con un
programa de integración numérica, demostrar entonces que el tiempo que tarda la cadena
en abandonar la mesa es aproximadamente T = 0,54 segundos
Consideremos ahora un cambio de función incógnita x(t) → y(t). Dada una ecuación
diferencial ẋ = f (t, x), si hacemos un cambio de variable x = φ(t, y), tenemos que
21
22 Capı́tulo 2. Sistemas de ecuaciones y ecuaciones lineales de orden superior
0 1 0 ··· 0 0
..
0 0 1 . 0 0
..
0
0 0 . 0 0
A(t) = . . . .. . .
. . . . . . . . . .
.
..
0 0 0 . 0 1
− aan0 (t)
(t)
− aan1 (t)
(t)
− aan2 (t)
(t)
· · · − an−2
an (t)
(t)
− an−1 (t)
an (t)
y
~b(t) = (0, 0, · · · , 0, f (t)/an (t))T ,
donde T indica trasposición. Aquı́ hemos supuesto que an (t) es distinto de cero en algún
intervalo donde es válida esta identificación.
Esta traducción de una EDO de orden n a un sistema equivalente de n EDOs de
orden 1 nos resultará útil aquı́, más que desde un punto de vista práctico, desde una
perspectiva teórica. Haremos uso extensivo de esta correspondencia entre ambos espacios
de soluciones.
Existen dos tipos de problemas, dependiendo del tipo de restricciones sobre la solución
general de (2.1), que son:
2.1. Generalidades y estructura del espacio de soluciones 23
Notación operatorial
A veces es útil denotar ẋ = dx
dt
= Dx, donde el sı́mbolo D = dtd se llama operador
diferencial porque transforma una función diferenciable en otra función. Las derivadas de
n
orden superior se pueden expresar como “potencias”de D, como ddtnx = D n x. Las expre-
siones polinómicas en D, como L = D 2 + 3tD + 5 también son operadores diferenciales.
En general:
Definición 2.1.3. Se define un operador diferencial de orden n como:
Principio de superposición
La propiedad de linealidad de L permite, dadas dos o mas soluciones de L(x) = 0,
encontrar otra. Esta idea viene expresada de manera precisa en el siguiente teorema
Teorema 2.1.6. Sean x1 , x2 , . . . , xk soluciones de la ecuación diferencial homogénea de
orden n L(x) = 0, donde t está en un intervalo I. La combinación lineal
Sustituyendo t por t0 ,
α1~v1 + α2~v2 + · · · + αn~vn = ~0,
pero esto contradice el hecho de que ~v1 , ~v2 , . . . ~vn sea una base de Rn , luego ~z1 , ~z2 , . . . ~zn
son linealmente independientes. Para ver que son un sistema generador, supongamos que
~z es una solución de (DIn − A)~z = ~0 y pongamos ~z (t0 ) = ~v . Sean α1 , α2 , . . . , αn ∈ R las
coordenadas de ~v en la base ~v1 , ~v2 , . . . ~vn de Rn . Entonces
cuyas columnas ~z1 , ~z2 , . . . ~zn son un sistema fundamental S diremos que son matrices
fundamentales M[S] = Z de (DIn − A)~z = ~0 ↔ L(x) = 0.
Entre las familias F = {x1 (t), x2 (t), . . . , xn (t)} de soluciones de L(x) = 0 distinguire-
mos las que constituyen un sistema fundamental de las que no a través del Wronskiano,
que se define como el determinante
x1 (t) x2 (t) · · · xn (t)
x′ (t) ′
x2 (t) ··· ′
xn (t)
1
W [F ](t) = det(M[F ](t)) = .. .. .. .. .
. . . .
(n−1) (n−1) (n−1)
x1 (t) x2 (t) · · · xn (t)
Teorema 2.1.11. Sean x1 (t), x2 (t), . . . , xn (t) soluciones de L(x) = 0. Entonces las si-
guientes afirmaciones son equivalentes:
(i) La familia F = {~z1 , ~z2 , . . . ~zn }, formada por los vectores con componentes ~zk =
(n−1)
(xk , x′k , . . . , xk ), es un sistema fundamental;
para funciones adecuadas ci (t), i = 1, . . . , n. Para comprenderlo mejor, hacemos uso del
isomorfismo lineal entre el espacio de soluciones de L(x) = 0 y (DIn − A)~z = ~0. Ası́, la
ecuación (2.7) puede escribirse de manera equivalente como
donde hemos utilizado que (DIn − A)~zk = ~0, k = 1, . . . , n para las columnas ~zk de la
matriz fundamental Z(t). Si queremos que ~zp cumpla la ecuación no homogénea ~zp′ (t) =
A(t)~zp (t) + ~b(t), se concluye que
Z Z −
→
W [S](t)
Z(t)~c (t) = ~b(t) ⇒ ~c(t) =
′
Z −1
(t)~b(t)dt = dt,
W [S](t)
ensayaremos funciones del tipo x(t) = eλt que, sustituidas en la ecuación anterior L(x) =
0, nos queda L(eλt ) = eλt L[λ] = 0, donde
Teorema 2.2.1. La solución general de (2.9) es una combinación lineal de las funciones
0 = L[D](tk eγt ) = L[D](tk eβt cos(ωt) + itk eat sen(ωt)) = L[D](tk eβt cos(ωt)) + iL[D](tk eat sen(ωt)),
de modo que también será cierta para k. Es inmediato comprobar también que dichas
soluciones son linealmente independientes.
Veamos algunos ejemplos
Ejemplo 2.2.2. (Raices reales y distintas) Queremos hallar la solución general de
ẍ − 4ẋ − 5x = 0. Ensayando x(t) = eλt tenemos la ecuación caracterı́stica λ2 − 4λ − 5 = 0
que tiene como raı́ces λ = 5, −1. La solución general es pues x(t) = C1 e5t + C2 e−t
Ejemplo 2.2.3. (Raices reales dobles) Queremos hallar la solución general de ẍ +
4ẋ + 4x = 0. Ensayando x(t) = eλt tenemos la ecuación caracterı́stica λ2 + 4λ + 4 = 0 que
tiene como raı́ces λ = −2 doble. La solución general es pues x(t) = C1 e−2t + C2 te−2t
Ejemplo 2.2.4. (Raices complejas) Queremos hallar la solución general de ẍ + 2ẋ +
5x = 0. Ensayando x(t) = eλt tenemos la ecuación caracterı́stica λ2 + 2λ + 5 = 0 que tiene
como raı́ces λ± = −1 ± 2i, luego, utilizando la fórmula de Euler
podemos poner eλ± t = e(−1±2i)t = e−t e±i2t = e−t (cos(2t) ± i sen(2t)). Tomando las partes
real e imaginaria, la solución general se escribe x(t) = C1 e−t cos(2t) + C2 e−t sen(2t)
Ejercicio 2.2.5. Resolver 4ẍ + 25x = 0 con condiciones iniciales x(0) = 10, ẋ(0) = 25.
Respuesta: x(t) = 10(cos(5t/2) + sen(5t/2)).
Ejercicio 2.2.6. Hallar la√ solución √
general de ẍ − 4ẋ − x = 0.
Respuesta: x(t) = e2t (C1 e 5t + C2 e− 5t ).
Ejercicio 2.2.7. Hallar la solución general de 4ẍ − 20ẋ + 25x = 0.
Respuesta: x(t) = e5t/2 (C1 + C2 t).
Ejercicio 2.2.8. Hallar la solución general de ẍ + 10ẋ + 25x = 0.
Respuesta: x(t) = e−5t (C1 + C2 t).
Ejemplo 2.2.11. Resolver ẍ + 10ẋ + 25x = 20 cos(2t). Según el ejemplo 2.2.8 la solución
general de la ecuación homogénea es xh (t) = e−5t (C1 + C2 t). Como el lado derecho de
la ecuación dada tiene un coseno y éste no aparece dentro del sistema fundamental de
soluciones de la ecuación homogénea (es decir, no existe “resonancia” en este caso), se
ensaya una solución particular del tipo xp (t) = A cos(2t) + B sen(2t), con lo cual:
Ejemplo 2.2.12. Resolver ẍ + 4ẋ + 4x = e−2t . Según el ejemplo 2.2.3 la solución general
de la ecuación homogénea es xh (t) = e−2t (C1 + C2 t). Como el lado derecho de la ecuación
diferencial coincide con una de las soluciones de la ecuación homogénea, en este caso existe
resonancia. Además, la multiplicidad es m = 2. Esto implica que la solución particular a
ensayar es ahora de la forma xp (t) = At2 e−2t , que introducida en la ecuación diferencial
nos da A = 1/2. Ası́, la solución general es:
1
x(t) = xh (t) + xp (t) = e−2t (C1 + C2 t + t2 ).
2
En los ejemplos anteriores, las constantes arbitrarias C1 y C2 se fijan con las condiciones
iniciales x(t0 ) = x0 y ẋ(t0 ) = ẋ0 . Por ejemplo:
34 Capı́tulo 2. Sistemas de ecuaciones y ecuaciones lineales de orden superior
Observación 2.2.14. Nótese que las condiciones iniciales se imponen una vez calculada
la solución general x(t) = xh (t) + xp (t). Es un ERROR bastante frecuente que el alumno
imponga las condiciones iniciales sobre sólo xh (t), sin tener en cuenta la solución particular
xp (t), algo que NO es correcto.
ẍ + β ẋ + x = sen(ωt)
ẍ + β ẋ + x = e−at sen(ωt)
Ejercicio 2.2.18. Escribir la solución general (en función de dos constantes arbitrarias)
de la ecuación diferencial
a) β = 2, A = B = 0.
Respuesta: x(t) = xh (t) = C1 e−t + C2 te−t
b) β = 2, a = A = 1, B = ω = 0.
Respuesta: x(t) = xh (t) + xp (t) = xh (t) + 12 t2 e−t
2.2. EDOs lineales con coeficientes constantes 35
c) β = 2, a = 1, A = B = t, ω = 0
Respuesta: x(t) = xh (t) + 16 t3 e−t
d) β = 2, a = 1, A = t2 , B = ω = 0
1 4 −t
Respuesta: x(t) = xh (t) + 12 te
e) β = 0, A = B = 0
Respuesta: x(t) = x′h (t) = C1 cos t + C2 sen t
f) β = 0, a = 1, A = B = t, ω = 0
Respuesta: x(t) = x′h (t) + 21 (e−t + te−t )
g) β = a = 0, A = B = ω = 1.
Respuesta: x(t) = x′h (t) + −t
2
(sen(t) − cos(t))
h) β = a = 0, A = t, B = 0, ω = 1
Respuesta: x(t) = x′h (t) + 4t cos t + 41 t2 sen t
i) β = a = 0, A = B = t, ω = 1
Respuesta: x(t) = x′h (t) + 14 (t − t2 ) cos t + 41 (t + t2 ) sen t
¿En qué caso o casos se produce “resonancia” ?
Ejercicio 2.2.19. (Práctica de ordenador) Obtenga las soluciones de los ejercicios
anteriores usando el comando DSolve de Mathematica descrito en la página 109 de la
referencia [5] y represente gráficamente las soluciones.
con coeficientes
Z T Z T
1 jπ 1 jπ
αj = f (t) cos t dt, βj = f (t) sen t dt.
T −T T T −T T
donde sólo intervienen potencias impares del desplazamiento x debido que la fuerza
restauradora debe ser impar Fe (t, x) = −Fe (t, −x).
1) Ley de Hooke. El caso más sencillo e ideal es aquél en el cual las carac-
terı́sticas fı́sicas del resorte no cambian con el tiempo, es decir, cuando
k1 (t) = k > 0 es independiente del tiempo, con lo cual la fuerza elástica
queda:
Fe (t, x) = −kx.
2) Resorte desgastable. Sin embargo, en el mundo real es lógico esperar que el
resorte de debilite (o “pierda brı́o”) conforme pasa el tiempo; por ejemplo,
de la forma k1 (t) = ke−αt , k, α > 0. En este caso, la EDO del sistema
“masa-resorte”
mẍ + ke−αt x = 0
2.3. PVI: Vibraciones mecánicas y eléctricas 37
se transforma en una
d2 x dx
Ec. de Bessel (ν = 0) : s2 + s + s2 x = 0. (2.13)
ds2 ds
mediante el cambio de variable
r
2 k −αt/2
s= e .
α m
La solución de esta ecuación se obtiene por desarrollo en serie de potencias
(véase el siguiente capı́tulo) y puede escribirse en términos de las funciones
de Bessel de primera y segunda clase de la forma:
r ! r !
2 k −αt/2 2 k −αt/2
x(t) = c1 J0 e + c2 Y 0 e .
α m α m
FHxL
2 Lineal
x
-2 -1 1 2 3 Duro
-2
Blando
-4
-6
Figura 2.1: Fuerza Fe (x) = −kx − k3 x3 para un resorte lineal (k3 = 0), uno duro (k3 > 0) y
uno blando (k3 < 0)
donde los valores absolutos garantizan que la fuerza viscosa se oponga siempre al
movimiento.
El hecho de que la fuerza viscosa sea Fv (|x| > |a|) < 0 y Fv (|x| < |a|) >
0 significa que la partı́cula se acelera para |x| < |a| y se retarda para
|x| > |a| (o, de otra forma, la partı́cula absorbe energı́a cuando |x| < |a|
y disipa cuando |x| > |a|) tendiendo, por tanto, permanecer en oscilación
estacionaria. Este es el resultado del Teorema de Liénard (véase el libro
de ecuaciones diferenciales de Simmons, página 518), el cual asegura para
ecuaciones como la de van der Pol la existencia de una única trayectoria
cerrada que rodea al origen en el plano de fases, a la que tienden en forma
de espirales todas las demás trayectorias cuando t → ∞.
b) Fuerza viscosa no lineal. Para velocidades no tan pequeñas, y dependiendo
del tipo de medio viscoso, a veces es necesario añadir nuevos términos en el
desarrollo de Fv , por ejemplo:
En la siguiente sección sólo consideraremos el caso lineal independiente del tiempo, con
lo cual, la ecuación a estudiar es:
ẍ + ω02 x = 0.
Figura 2.2: La amplitud de las oscilaciones decrece con el tiempo para un oscilador subamor-
tiguado
vHxL
Figura 2.3: Órbita espiral en el plano de fases “velocidad-posición” para un oscilador subamor-
tiguado
2.3. PVI: Vibraciones mecánicas y eléctricas 41
Figura 2.4: La amplitud de las oscilaciones decrece con el tiempo para un oscilador crı́ticamente
amortiguado
xHtL
Β>Ω0
Β=Ω0
F0
ẍ + ω02x = cos(ωe t).
m
F0 /m
x(t) = c1 cos ω0 t + c2 sen ω0 t + 2 cos ωe t .
| {z } ω0 − ωe2
s.g.hh | {z }
s.p.n.h.
Caben estudiar aquı́ dos fenómenos interesantes dependiendo de los valores relativos de
la frecuencia natural ω0 y la frecuencia externa ωe .
Pulsaciones ωe ≈ ω0
Tomemos, por ejemplo, como condiciones iniciales
x(0) = 0 F0 /m
⇒ x(t) = (cos ωe t − cos ω0 t)
ẋ(0) = 0 ω02 − ωe2
F0 /m ω0 − ωe ω0 + ωe
= 2 sen t sen t ,
ω02 − ωe2 2 2
| {z }
A(t)
2.3. PVI: Vibraciones mecánicas y eléctricas 43
xHtL
donde se ha utilizado la identidad trigonométrica: cos a−cos b = −2 sen 12 (a−b) sen 12 (a+b).
La solución anterior se interpreta como una oscilación rápida de frecuencia ω0 +ω
2
e
(la media
aritmética de la frecuencia natural y la externa) modulada o envuelta por una oscilación
lenta de frecuencia pequeña ω0 −ω 2
e
cuando las frecuencias externa y natural son muy
parecidas ωe ≈ ω0 (¡pero distintas!). Véase figura 2.6.
Este fenómeno recibe el nombre de latidos o pulsaciones y es la base de la amplitud
modulada (AM) en las emisoras de radio, donde el sonido audible (de menor frecuen-
cia) modula o envuelve a las ondas de radio (de alta frecuencia). También es fácilmente
detectable durante la “afinación de una guitarra”.
Resonancia pura ωe = ω0
xHtL
Figura 2.7: Crecimiento lineal en el tiempo de la amplitud para una resonancia pura
44 Capı́tulo 2. Sistemas de ecuaciones y ecuaciones lineales de orden superior
Cuando la frecuencia externa ωe coincide exactamente con la frecuencia natural del sis-
tema ω0 (en ausencia de rozamiento), el método de los coeficientes indeterminados (teore-
ma 2.2.9) nos sugiere una solución particular del tipo xp (t) = t(A1 cos(ωe t) + A2 sen(ωe t)).
Introduciendo esta solución particular en la ecuación diferencial obtenemos que A1 =
0, A2 = F2ω 0 /m
e
, con lo cual, la solución general de la ecuación no homogénea es la suma
de la solución general de la homogénea (s.g.h.) más una particular de la no homogénea
(s.p.n.h.):
F0 /m
x(t) = c1 cos ω0 t + c2 sen ω0 t + t sen ω0 t .
| {z } 2ω0
s.g.hh | {z }
s.p.n.h.
En este caso, el coeficiente A(t) es lineal en el tiempo y ello supone que la amplitud de
las oscilaciones crezca indefinidamente (véase la figura 2.7).
Este fenómeno se denomina resonancia pura, y puede conllevar la rotura del resorte
cuando la amplitud de las oscilaciones alcanza el lı́mite elástico del material del que está
fabricado dicho resorte. Esta es la vertiente “negativa” de la resonancia, la cual puede
presentarse como un efecto “pernicioso” en las vibraciones de ciertas estructuras en cons-
trucción. No obstante, este fenómeno también subyace a la fabricación de sintonizadores,
como los de una radio, que “filtran” una determinada frecuencia (véase sección 2.3.5 sobre
la aplicación a la teorı́a de circuitos).
Ejercicio 2.3.1. Una lavadora está montada sobre un grueso cojinete de caucho que
actúa como un resorte. El peso de la máquina deprime el cojinete 1cm. Cuando el rotor
gira a ω radianes por segundo ejerce una fuerza vertical de F0 cos ωt Newtons. ¿A qué
velocidad (en revoluciones por segundo) ocurrirán vibraciones de resonancia?. Desprecie
el rozamiento.
Β=1
Β=12
Β=14
Β=18
r
1
ωe
Figura 2.8: Dependencia del factor de amplificación ρ(r) con r ≡ ω0
para distintos valores de
viscosidad β
donde se ha definido:
1 ωe
Factor de amplificación : ρ(r) = p , r≡ ,
(1 − r 2 )2 + 4β 2 r 2 ω0
2βωe
Desfase : δ = arctan .
ω02 − ωe2
En la figura 2.8 tenemos un gráfico de la dependencia del factor de amplificación ρ
en función del cociente r ≡ ωωe0 . Observamos que ρ(r) presenta un máximo para r =
1 ⇒ ωe = ω0 , o sea, cuando la frecuencia de la fuerza externa coincide con la frecuencia
natural de oscilador del resorte. Dicho máximo es más pronunciado conforme el coeficiente
de rozamiento β es más pequeño, tendiendo a la resonancia pura (estudiada en el apartado
anterior) en el lı́mite β → 0. En este caso, la amplitud A(ωe ) de las oscilaciones es máxima.
Es decir:
ωe ≈ ω0
Si ⇒ A(ωe ) >> 1 → Resonancia.
β << 1
La solución general de la ecuación no homogénea será la suma de la solución general de
la homogénea (s.g.h.) más la solución particular de la no homogénea (s.p.n.h.) calculada
anteriormente. Es decir:
xg.n.h. (t) = xg.h. (t) + xp (t) = e−βt B cos(ωt + ϕ) + A(r) cos(ωe t − δ),
| {z } | {z }
Parte transitoria Parte estacionaria
46 Capı́tulo 2. Sistemas de ecuaciones y ecuaciones lineales de orden superior
xHtL
Ωe =4Ω0
t
Ωe =Ω0
donde B y ϕ son constantes arbitrarias a fijar por las condiciones iniciales x(0) = x0 y
ẋ(0) = v0 ; recuerde
p que la frecuencia para el movimiento amortiguado no forzado se definı́a
2
como: ω ≡ ω0 − β 2 . La solución general de la homogénea xg.h. (t) se ve fuertemente
amortiguada por el factor e−βt , de manera que es insignificante pasado un cierto tiempo
t >> 1/β y supone, por lo tanto un término transitorio o solución transitoria. Pasado ese
tiempo, la solución general de la no homogénea tenderá a la solución particular, es decir,
xg.n.h. (t) ≈ xp (t), t >> 1/β, que se denomina parte estacionaria o solución de estado
estacionario.
Ejercicio 2.3.2. Supóngase un automóvil que pesa m = 1T on, cuya suspensión consiste
en un muelle de k = 1000T on/m, que atraviesa unas bandas sonoras en forma sinusoidal
y(s) = 0,4 cos( 2πs
L
) metros, donde s = vt es la distancia recorrida y L = 6m es la distancia
entre bandas. Se pide:
Ejercicio 2.3.3. (Práctica de ordenador) Experimente con los distintos tipos de os-
ciladores, representando resonancias y pulsaciones usando los comandos de Mathematica
descritos en la página 119 de la referencia [5].
i
L
+
E (t) C
caı́das de tensión o voltajes en los elementos de un circuito debe ser igual a la fuerza
electromotriz aplicada”):
1
Lq̈ + Rq̇ + q = E(t),
C
|{z} |{z} |{z}
VL VR
VC
Ejercicio 2.3.4. (Radio de galena). Una radio de galena consiste en un circuito RCL con
capacitancia de C faradios (F ) variable. Dadas una inductancia de L henrios (H) y una
resistencia de R ohmios (Ω), ¿qué valor de C hace que su circuito entre en resonancia con
una emisora que emite a ω = 1000 kHz?.
x -
Y6
Fibra neutra
X-
| {z }
Elemento diferen
ial de viga
En la figura 2.11 mostramos el aspecto general que presenta una viga horizontal al
encorvarse bajo las cargas que soporta, las cuales se suponen verticales. Imaginemos la
viga descompuesta en delgadas láminas horizontales. Debido al encorvamiento, las láminas
situadas en la región superior de la viga se encuentran comprimidas, en tanto que las
situadas en la región inferior están estiradas. Ambas regiones están separadas por una
capa cuyas fibras no están ni estiradas ni comprimidas; esa capa recibe el nombre de capa
o superficie neutra. Según la figura 2.11, la intersección de la superficie neutra con el plano
XY nos define una curva llamada fibra neutra. Consideremos ahora un elemento diferencial
longitudinal de la viga, tal como se ilustra en la figura 2.12, sometido a momentos flexores
de signo opuesto M(x+dx) = −M(x−dx) (para que el elemento no gire) en los extremos.
El elemento de viga experimenta una flexión tal que su fibra neutra toma la forma de un
arco de circunferencia de radio R. Otra fibra situada a una distancia y por encima de la
neutra tendrá un radio R−y; entonces, la deformación longitudinal unitaria (o porcentaje
en cambio de longitud), definida como el cociente: ((longitud de la fibra contraı́da) -
(longitud de la fibra neutra))/(longitud de la fibra neutra), será:
(R − y)dθ − Rdθ y
ǫxx = =− , (2.15)
Rdθ R
C
d
M (x dx) Y
j R 6
9M x ( + dx)
Fibra
jj
)
jj
q 1
11
Fibra neutra
YY i
y
-
xx (x; y )
X
Figura 2.12: Elemento longitudinal diferencial de viga y esfuerzo normal y momento flexor
que soporta debido a la acción del material situado a izquierda y derecha
Æ0 (x)
6 Æa3 (x)
Æa2 (x)
Æa1 (x)
a1 a2 a3 a3 a2 a1
-x
Todas estas definiciones se pueden formalizar aún más y esto constituye parte de la doc-
trina denominada Teorı́a de Distribuciones. Para nuestros fines será suficiente con saber
que la fuerza cortante en un punto x de la viga puede calcularse como:
Z x Z x X Z x X
F (x) = F (0) + q(l)dl = (w(l) + Wi δ(l − xi ))dx = w(l)dl + Wi ,
0 0 i 0 x>xi
Recuerde que F (x) tiene discontinuidades de salto en las posiciones xi donde están
localizadas las cargas concentradas Wi . Por lo tanto la curva elástica y(x) será, en gene-
ral, una función continua con derivada segunda y ′′ continua (es decir, de clase C 2 ), con
puntos angulosos donde están localizadas las cargas concentradas. Si no existen cargas
concentradas, la función y(x) será de clase C 3 .
Y
6 Condi
iones de
ontorno:
` X
...................................... -
Soporte simple y(0) = y(`) = y 00
(0) = y (`) = 0
00
.....................................
Viga empotrada y(0) = y(`) = y (0) = y (`) = 0
0 0
.....................................
Viga en voladizo
y(0) = y (0) = y (`) = y (`) = 0
0 00 000
Figura 2.14: Condiciones de contorno para vigas con soporte simple, empotradas y en voladizo
+ ′ +
condiciones de empalme : y(x− ′ −
i ) = y(xi ), y (xi ) = y (xi ),
a izquierda y derecha de los puntos xi donde se aplican las cargas concentradas. Veamos
algunos ejemplos:
2.4. PVF: Flexión y pandeo en vigas 53
Y
6
x
z }| {
x=2
z }| { W
-
6 6 X
?
V1 = !` + W=2 ? x;y)
(
V2 = !` + W=2
!x
0 <x<`
Figura 2.15: Viga en soporte simple sometida a su propio peso y a una carga W concentrada
en x = ℓ
y6
x2
x22
-
x1 - -
qM0 x21 - x2 2l - )
O R M0 -x
6 6
wx?1 Q1 Q2
wx?2 ?
w`+2 W w`+2 W
W
Figura 2.16: Viga con soporte interconstruido sometida a su propio peso y a una carga W
concentrada en x = ℓ/2
Viga en voladizo
Una viga horizontal de longitud ℓ está apoyada en su extremo izquierdo y libre en
el derecho (véase figura 2.17). Encontrar la ecuación de su curva elástica y su deflexión
máxima o flecha de flexión cuando:
1. La viga está sometida a su propio peso por unidad de longitud (carga) w =cte.
w wℓ4
Solución: EIy(x) = 24 (4ℓx3 − 6ℓ2 x2 − x4 ), ymax = − 8EI
2. La viga está sometida a su propio peso y a una carga W localizada en el extremo
w
libre (véase figura 2.17). Solución: EIy(x) = 24 (4ℓx3 − 6ℓ2 x2 − x4 ) + W (x3 /6 −
wℓ 4 3
ℓx2 /2), , ymax = −( 8EI +W ℓ
3EI
)
2.4. PVF: Flexión y pandeo en vigas 55
y
6
`
-
M j
0
x
- ` x
2 -
-
x
6 O
Q(x; y )
V = w` + W ? R
w(` x)
?
W
Figura 2.17: Viga en voladizo sometida a su propio peso y a una carga W concentrada en
x=ℓ
6Y
y + dy ............................
y ..........................
..
..
.. ..
- . .
x x + dx
-X
F F
Figura 2.18: Pandeo de una viga sometida a una fuerza axial F de compresión
π 2 EIz 2
Fn = n , n = 1, 2, 3, . . . .
ℓ2
Estas fuerzas se llaman cargas crı́ticas. La curva de deflexión y(x) que corresponde a la
2
mı́nima carga crı́tica, F1 = π ℓEI 2
z
(carga de Euler ), es y1 (x) = A sen(πx/ℓ), que se cono-
ce como primer modo de desviación. Las curvas de deflexión correspondientes a cargas
superiores Fn , n = 2, 3, . . . se corresponden con modos de desviación donde la columna
tiene algún tipo de restricción fı́sica o guı́a en xn = Ln (véase la figura 2.19). La columna
no se desviará para otras cargas intermedias que no sean estas cargas crı́ticas (o auto-
valores) Fn . Este es un problema parecido al de la cuerda giratoria que desarrolamos en
6y
-x n=1
6
- n=2
6
- n=3
la siguiente sección, donde la cuerda adopta ciertas formas (modos de desviación) para
2.4. PVF: Flexión y pandeo en vigas 57
donde L denota ahora una matriz n × n cuyos coeficientes Lij [D] son operadores lineales
como los definidos en (2.5), ~x = (x1 , . . . , xn ) es la función (vectorial) incógnita y f~ =
(f1 , . . . , fn ) son los términos inhomogeneos (“estı́mulos externos”).
Solución:
Algoritmo de triangulación de Gauss
Derivando la segunda ecuación respecto de t y sustituyendo ẋ1 en la primera, obtenemos
una ecuación sólo para la variable x2 :
ẍ2 + x2 = et − 1 (2.20)
x2 = c1 sen t + c2 cos t + et /2 − 1.
2.5. Sistemas de EDOs lineales con coeficientes constantes: generalidades 59
Método de Cramer
También se puede resolver el sistema por el método de Cramer, poniéndolo como L[D]~x =
f~(t), donde ~x = (x1 , x2 ), f~(t) = (et , t) y la matriz:
D 1
L[D] = .
1 −D
donde las barras verticales denotan “determinantes” en los cuales D debe tratarse como
un mero factor, excepto cuando multiplica al término independiente f~(t), en cuyo caso
entendemos Df1 = f˙1 y Df2 = f˙2 . Teniendo esto en cuenta, calculamos
t
D 1 D e
|L[D]| = = −D 2 − 1, t
1 t =1−e
1 −D
La ventaja es que podemos usar la expresión compacta (1.10) y adaptarla a nuestro caso:
Z t
~x(t) = e−A(τ −t) f~(τ )dτ + eA(t−t0 )~x0 , (2.22)
t0
donde ahora la condición inicial es ~x0 = (x1 (t0 ), x2 (t0 )) y por la exponencial de una matriz
A entendemos su desarrollo en serie de Taylor:
A2 t2 A3 t3
eAt = I + At + + + ... (2.23)
2! 3!
Ejercicio 2.5.2. Utilizando el desarrollo en serie, demuéstrese que dtd eAt = AeAt = eAt A
(Nota: esto no es cierto en general si la matriz A no es constante) y que eA(t+τ ) = eAt eAτ
(Nota: en general eA+B 6= eA eB a no ser que A y B conmuten, es decir, que AB = BA) y
−1
que eP DP = P eD P −1 para P matriz invertible.
Para calcular la exponencial de una matriz no es necesario en general sumar la serie
(2.23). Si la matriz A es diagonalizable A = P DP −1 (con P la matriz de paso de vec-
tores propios y D = diag(λ1 , λ2 , . . . ) la matriz diagonal de valores propios λi ), se puede
demostrar que
−1 t
eAt = eP DP = P eDt P −1
donde ahora puede calcularse directamente eDt = diag(eλ1 t , eλ2 t , . . . ). Por ejemplo, para
el caso que nos ocupa, la ecuación caracterı́stica
λ −1
|A − λI| = 0 ⇒ = 0 ⇒ λ2 + 1 = 0 ⇒ λ± = ±i
1 λ
nos da dos raı́ces complejas. Los vectores propios los calculamos imponiendo:
λ −1 x 0
A~v± = λ±~v± ⇒⇒ (A − λ± )~v± = ~0 ⇒ ± ±
= .
1 λ± y± 0
Resolviendo estos dos sistemas de dos ecuaciones (dependientes) con dos incógnitas x± , y±
cada una, podemos tomar como solución, por ejemplo:
−i i −1 i/2 1/2
~v± = (±i, 1) ⇒ P = , P = ,
1 1 −i/2 1/2
donde, para escribir P , hemos tomado los vectores propios ~v± = (±i, 1) por columnas en
el orden: primero ~v− y segundo ~v+ . Teniendo en cuenta que
λ t −it
Dt e − 0 e 0
e = = ,
0 eλ+ t 0 eit
se comprueba que (hágase), tras un poco de álgebra, y de usar la fórmula de Euler, se
tiene:
At Dt −1 cos t − sen t
e = Pe P = .
sen t cos t
2.5. Sistemas de EDOs lineales con coeficientes constantes: generalidades 61
Dicho sistema se dice que es “autónomo” al no depender V~ (x, y) = (Vx (x, y), Vy (x, y))
del tiempo t. Podemos pensar en dicho sistema como el campo de velocidades de un
fluido, de manera que (x(t), y(t)) son las trayectorias o “lı́neas de corriente”. Los puntos
de equilibrio (x0 , y0) donde V~ (x0 , y0 ) = 0 se corresponderı́an con “remansos” en los cuales
el fluido está “estático”. Queremos estudiar la estabilidad de dichos puntos de equilibrio.
Usando nuestra analogı́a con fluidos podrı́amos comparar este problema con el de un
barquito que navega cerca de estos puntos y queremos saber si pasado un tiempo, el
fluido lo mantendrá alrededor de dichos puntos o lo alejará de los mismos. En un entorno
suficientemente pequeño del punto (x0 , y0 ) tenemos que:
)
Vx (x, y) ≃ Vx (x0 , y0 ) + ∂Vx (x
∂x
0 ,y0 )
(x − x0 ) + ∂Vx (x0 ,y0 )
∂y
(y − y 0 ),
∂Vy (x0 ,y0 ) ∂Vy (x0 ,y0 )
Vy (x, y) ≃ Vy (x0 , y0 ) + ∂x
(x − x0 ) + ∂y
(y − y0 )
de manera que, definiendo x1 = x − x0 y x2 = y − y0 se linealiza la ecuación diferencial
(2.24) quedando de la forma
!
∂Vx (x0 ,y0 ) ∂Vx (x0 ,y0 )
ẋ1 = a11 x1 + a12 x2 a11 a12 ∂x ∂y
A= = ∂Vy (x0 ,y0 ) ∂Vy (x0 ,y0 ) (2.25)
ẋ2 = a21 x1 + a22 x2 a21 a22 ∂x ∂y
62 Capı́tulo 2. Sistemas de ecuaciones y ecuaciones lineales de orden superior
donde hemos definido la matriz Jacobiana de V~ en (x0 , y0 ) como A. Este sistema linealiza-
do de 2 dos EDOs de primer orden acopladas se puede llevar a una EDO lineal homogenea
de segundo orden
ẍ1,2 − tr(A)ẋ1,2 + det(A)x1,2 = 0
con coeficientes tr(A) = ∇ ~ · V~ (x0 , y0 ) (la divergencia de V~ en (x0 , y0 )) y det(A) =
J(V~ (x0 , y0 )) (el Jacobiano de V~ en (x0 , y0 )). Ensayando x1,2 (t) = eλt tenemos:
p
λ = (tr(A) ± tr(A)2 − 4 det(A))/2
de manera que tendremos estabilidad cuando Real(λ) < 0 ya que entonces x1,2 (∞) → 0,
o lo que es lo mismo, x(∞) → x0 e y(∞) → y0 .
En la figura 2.20 se hace una representación gráfica de distintos tipos de puntos crı́ticos
en un diagrama tr(A) − det(A). Los nodos lı́mite y los vórtices no están completamente
determinados. En particular:
2.5. Sistemas de EDOs lineales con coeficientes constantes: generalidades 63
1. Si (2.25) tiene un nodo lı́mite en (x0 , y0 ) entonces (2.24) tiene o bien un nodo o una
espiral.
2. Si (2.25) tiene un vórtice en (x0 , y0) entonces (2.24) tiene o bien un vórtice o una
espiral.
Espirales
ẋ = x + 3y 1 3
A= , det(A) = 3, tr(A) = 1.
ẏ = −x −1 0
- 10 -5 5 10
-2
-4
-6
Vórtices
ẋ = −y 0 −1
A= , det(A) = 1, tr(A) = 0.
ẏ = x 1 0
Puntos de silla
ẋ = y 0 1
A= , det(A) = −1, tr(A) = 0.
ẏ = x 1 0
64 Capı́tulo 2. Sistemas de ecuaciones y ecuaciones lineales de orden superior
-3 -2 -1 1 2 3
-1
-2
-3
-4 -2 2 4
-2
-4
Nodos
ẋ = x 1 0
A= , det(A) = 2, tr(A) = 3.
ẏ = −x + 2y −1 2
-4 -2 2 4
-5
Ejercicio 2.5.8. Demuestre que (0,0) es un punto silla inestable del sistema bidimensional
no lineal:
ẋ = 4x + 2y + 2x2 − 3y 2
ẏ = 4x − 3y + 7xy
k1 m1 k2 m2 k3
-
x1 x2
-
Figura 2.25: Dos masas conectadas entre sı́ y a dos paredes por tres resortes (lı́neas punteadas)
y que se desplazan x1 y x2 desde su posición de equilibrio
Para resolverlas ensayamos una solución del tipo xi (t) = Ai eλt , obteniendo un sistema:
m1 λ2 + k1 + k2 −k2 A1 0
= (2.27)
−k2 m2 λ2 + k2 + k3 A2 0
x1 (t) = C1 cos ω1 t+C2 sen ω1 t+C3 cos ω2 t+C4 cos ω2 t = E1 cos(ω1 t+φ1 )+E2 cos(ω2 t+φ2 )
✻✻
✲ ✲
✻✻
✛ ✲
masas en direcciones opuestas: modo antisimétrico (véase figura 2.27). Para para “activar”
este modo, las condiciones iniciales deben ser: x1 (0) = −x2 (0) y ẋ1 (0) = −ẋ2 (0).
Cualesquiera otras condiciones iniciales dan lugar a una superposición de ambos modos
(simétrico y antisimétrico). Nótese que, ya que la energı́a de un oscilador es proporcional
a su frecuencia al cuadrado, el modo antisimétrico tiene más energı́a que el simétrico.
Esto es intuitivo, ya que en el caso antisimétrico los tres muelles están en “tensión”,
mientras que en simétrico, el muelle central juega el mismo papel que una barra rı́gida
(no acumula energı́a elástica). En otras palabras, cuesta más excitar el modo antisimétrico
que el simétrico.
Ejercicio 2.6.2. Repetir el problema para masas y constantes elásticas iguales añadiendo
una fuerza externa F2 (t) = cos(3t) que actúa sobre la masa m2 . ¿Existe resonancia si k = 3
y m = 1?
y
✻
yk
yk−1 ..
..
.. ..
.. ..
.. .. ..
.. .. ..yk+1
.. .. ..
.. .. ..
. . . ✲ x
(k − 1)a ka (k + 1)a
Supongamos que tenemos N partı́culas de masa m unidas unas a otras por medio de
cuerdas elásticas de masa despreciable y tensión T , separadas una distancia horizontal
x = a =constante, cuyo movimiento se produce en la dirección del eje y, como el la figura
2.28. Sobre la partı́cula k actúa la fuerza debida a sus vecinas (k − 1) y (k + 1), de manera
que la segunda ley de Newton dice que:
d2 yk yk − yk−1 yk − yk+1 T
m 2
= −T −T = (yk−1 − 2yk + yk+1). (2.28)
dt a a ma
Si los extremos de la cuerda son fijos, tomaremos y0 = 0 = yN +1 . En el lı́mite al continuo de
muchas partı́culas, N → ∞, a → 0, conservando la masa total M = Nm, de manera que
2.6. Sistemas de EDOs lineales con coeficientes constantes: aplicaciones fı́sicas 69
m
a
→ σ = NMa =constante (densidad) se obtiene la ecuación de ondas para las oscilaciones
transversales de una cuerda [véase también más adelante la ecuación (7.2) para otra
derivación de la ecuación de ondas]:
∂ 2 y(t, x) 2
2 ∂ y(t, x)
= c ,
∂t2 ∂x2
Ejercicio 2.6.7. Discuta los modos normales de vibración para una cuerda discreta con
N = 2, 3, 4, . . . masas.
R1
R2 7 I2 L2 L1
I1
E(t)
Este sistema de ecuaciones de primer orden acopladas se puede escribir en forma compacta
como L[D]I~ = E(t)
~ donde I~ = (I1 , I2 ), E
~ = (0, E) y
L12 D L2 D + R2
L[D] = .
L1 D + R1 L12 D
donde, como ya comentamos en la sección 2.19, entendemos que DE(t) = Ė(t). Teniendo
en cuenta esto las ecuaciones anteriores quedan:
Ejercicio 2.6.9. Repita el problema para una fuerza electromotriz variable E(t) =
E0 sen(ωt) (corriente alterna). ¿Existe posibilidad de resonancia?.
k1 l/min
k21 l/min
?
................... .............................
V1 l V2 l
x1 (t) gr x2 (t) gr
-
k12 l/min
?
k2 l/min
dx1 x2 x1
= k1 ce + k21 − k12 ,
dt V2 (t) V1 (t)
dx2 x1 x2
= k12 − (k21 + k2 ) .
dt V1 (t) V2 (t)
Cramer:
D + k12 − kV212 − kV212
x1 = k1 ce
V1
− k12 D + k21V+k 2 0 D + k21 +k2
V1 2 V2
D + k12 − kV212 D + k12 k1 ce
V1 x2 = V1
− k12 D + k21V+k 2 − k12 0
V1 2 V1
1 n √ √
x2 (t) = −10(8162 + 8315 33)eλ− t − 10(8162 − 8315 33)eλ+ t
9251
−1650(115 + 58t)e−t .
Sustituyendo t = 2 tenemos: x1 (2) ≃ 15,53, x2 (2) ≃ 14.
Ejercicio 2.6.11. Idem que el ejercicio anterior, pero ahora se incorpora agua pura al
tanque 1. Calcule la cantidad de sal en ambos tanques transcurrida una hora si inicial-
mente habı́a x1 (0) = x2 (0) = 25 kg de sal.
Solución: x1 (60) ≃ 0,078, x2 (60) = 0,34. Las raı́ces de la ecuación caracterı́stica son
λ+ = −0,081, λ− = −0,3686.
2.6. Sistemas de EDOs lineales con coeficientes constantes: aplicaciones fı́sicas 73
Ejercicio 2.6.12. Idem que el ejercicio anterior, pero ahora V1 = 100 y V2 = 300, k12 = 25
ℓ/min y k21 = 15 ℓ/min. Por otro lado, al tanque 1 se incorpora agua salada, con una
concentración dependiente del tiempo ce = e−t/2 kg/ℓ, a razón de ke = 10 ℓ/min y del
tanque 2 escapa salmuera a razón de ks = 10 ℓ/min. Calcule la cantidad de sal en ambos
tanques transcurridos 2 minutos si inicialmente habı́a x1 (0) = x2 (0) = 5 kg de sal.
Solución: x1 (2) ≈ 13 kg,x2 (2) ≈ 9 kg
Ejercicio 2.6.13. Idem que el ejercicio anterior, pero ahora V1 = 100 y V2 = 200 litros
de salmuera, k12 = 20 ℓ/min y k21 = 10 ℓ/min. Por otro lado, al tanque 1 se incorpora
agua salada, con una concentración dependiente del tiempo ce = sen(t/2) kg/ℓ, a razón
de ke = 10 ℓ/min y del tanque 2 escapa salmuera a razón de ks = 10 ℓ/min. Calcule la
cantidad de sal en ambos tanques transcurridos 2 minutos si inicialmente habı́a x1 (0) =
x2 (0) = 10 kg de sal.
Solución: x1 (2) ≈ 15,666 kg,x2 (2) ≈ 12,423 kg
Ejercicio 2.6.14. (Practica de ordenador). Considere cuatro tanques de salmuera
colocados en los vértices de un cuadrado y conectados por los lados del cuadrado, como
muestra la figura 2.31, con volúmenes iniciales de V1 = 100, V2 = 200, V3 = 300 y V4 = 400
litros respectivamente. La salmuera se bombea de un tanque a otro en sentido horario con
velocidades k12 = 20 ℓ/min, k23 = 20 ℓ/min, k34 = 10 ℓ/min y k41 = 10 ℓ/min. Por otro
lado, al tanque 1 se incorpora agua salada, con una concentración dependiente del tiempo
ce = te−t kg/ℓ, a razón de ke = 10 ℓ/min y del tanque 3 escapa salmuera a razón de
ks = 10 ℓ/min. Realize una representación gráfica de la cantidad de sal en cada tanque en
los primeros 20 minutos, si inicialmente habı́a x1 (0) = x2 (0) = x3 (0) = x4 (0) = 10 kg de
sal. Ayuda: consulte la página 114 de la referencia [5] y use el comando NDSolve para la
solución numérica de EDOs con Mathematica, descrito en la página 116 de la referencia
[5] .
ke , ce
❄
k12 ✲ V2
V1
✻
k41 k23
❄
V4 ✛ V3
k34
ks
❄
establece entonces que la cantidad de calor Q que ingresa o abandona por unidad de tiempo
un elemento infinitesimal de volumen dado localizado en ~r es igual a la divergencia (flujo
por unidad de volumen) del vector corriente de calor a través de las paredes. Sabiendo
que la relación entre calor y temperatura viene dada a través de la expresión Q = cρT ,
donde ρ denota la densidad y c la capacidad calorı́fica del material, nos queda la siguiente
Ecuación en Derivadas Parciales:
∂T (~r, t) 1 ~ ~ κ ~2
=− ∇ J(~r, t) = ∇ T (~r, t)
∂t cρ cρ
donde estamos denotando Tk (t) ≡ T (kL/N, t), de manera que la Ecuación en Derivadas
Parciales (2.29) queda reducida a un Sistema de N −1 Ecuaciones Diferenciales Ordinarias
de primer orden como:
κN 2
Ṫk (t) = (Tk−1 (t) − 2Tk (t) + Tk+1 (t)) , k = 1, . . . , N − 1, (2.31)
cλL2
(0)
con condiciones iniciales Tk (0) = Tk , k = 1, . . . , N − 1 y de contorno T0 (t) = a, TN (t) = b
(para extremos en contacto con termostatos a temperaturas constantes a y b, respectiva-
mente). Cuando se alcanza el estado estacionario
κNx2 κNy2
Ṫi,j = (Ti−1,j − 2Ti,j + Ti+1,j ) + (Ti,j−1 − 2Ti,j + Ti,j+1 ), (2.35)
cσL2x cσL2y
i = 1, . . . , Nx − 1, j = 1, . . . , Ny − 1.
Tomando por ejemplo Lx = Ly y Nx = Ny (placa cuadrada), en el estado estacionario se
verifica:
Ṫi,j (t) = 0 ⇒ Ti,j = (Ti+1,j + Ti−1,j + Ti,j+1 + Ti,j−1 )/4, (2.36)
es decir, la temperatura en cada punto es la media aritmética de los puntos adyacentes.
Ejercicio 2.6.19. (Práctica de ordenador) Considérese la placa de la figura 2.32. Los
lados de la placa coincidentes con los ejes X e Y se mantienen a temperatura de 100 grados
centı́grados, mientras que los dos lados restantes se mantienen a cero grados. Tomando
como condición inicial Ti,j = 50 grados, i, j = 1, 2, y L = 3, σ = κ = c = 1, describa la
evolución de la temperatura en el tiempo. ¿Cuál es la temperatura a largo plazo (estado
estacionario)?.
2.6. Sistemas de EDOs lineales con coeficientes constantes: aplicaciones fı́sicas 77
Y
6
0o
T1;2 T2;2
0o
100o
T1;1 T2;1
-X
100o
M2
ẋ = x(1 − x − β12 y)
M1
k2 M2 M1
ẏ = y(1 − y − β21 x) (2.38)
k1 M1 M2
k2 M2 M2
y llamando q = ,b
k1 M1 12
= β12 M 1
, b21 = β21 M
M2
1
llegamos a
ẋ = x(1 − x − b12 y)
ẏ = qy(1 − y − b21 x). (2.39)
Resolución de ecuaciones
diferenciales mediante series de
potencias
79
80 Capı́tulo 3. Resolución de ecuaciones diferenciales mediante series de potencias
con cn ciertos coeficientes a calcular. Antes de ello, hagamos un breve repaso de las series
de potencias.
Radio de convergencia:
P∞ El criterion del cociente o D’ Alembert nos indica que una
condición para que n=0 cn (x − x0 ) converja absolutamente es que
P∞ n
Una serie de potencias define una función f (x) = n=0 cn (x − x0 ) cuyo
dominio es el intervalo de convergencia de la serie. Si el radio de convergencia es R >
0, entonces
R f es continua, diferenciable e integrable en el intervalo (x0 − R, x0 + R)
′
y f e f pueden calcularse derivando e integrando término a término la serie.
Una función f es analı́tica en un punto x0 si ésta puede representarse mediante
una serie de potencias centrada en x0 con un radio de convergencia R > 0. Un
2
ejemplo de función no analı́tica en x0 = 0 es f (x) = e−1/x , ya que todas las
derivadas f (n) (0) = 0 son nulas en x0 = 0, con lo cual la serie de Taylor es cero,
pero f (x) 6= 0 en general.
Dos series son iguales dentro de su radio de convergencia si son iguales término
a término. Por lo tanto, una serie es cero si todos sus coeficientes cn son cero
Suma de series. Sea n0 < n1 , entonces:
∞
X ∞
X nX
1 −1 ∞
X
an (x−x0 )n + bn (x−x0 )n = an (x−x0 )n + (bn + cn )(x−x0 )n . (3.4)
n=n0 n=n1 n=n0 n=n1
que desciende hasta el entero positivo más pequeño posible. También podemos expresar
el término general de otra forma sacando factor común
que, a su vez, se puede definir en términos de la función Gamma Γ que, para argumento
n entero positivo, coincide con Γ(n + 1) = n!. El sı́mbolo de Pochhammer nos será de
mucha utilidad para expresar de forma cerrada los términos generales de las recurrencias.
El paquete Mathematica dispone del comando Pochhammer[a,n].
Tomemos ahora m + 2 = 3k + 1 y m − 1 = 3k − 2 = 3(k − 1) + 1 y llamemos c3k+1 = bk .
La recurrencia nos dice en este caso
−bk−1 (−1)2 bk−2 (3k − 1)!!!
bk = = = · · · = (−1)k b0 ,
(3k + 1)3k [(3k + 1)3k][(3(k − 1) + 1)3(k − 1)] (3k + 1)!
o en términos de sı́mbolos de Pochhammer
−bk−1 (−1)2 bk−2 (−1)k b0
bk = = = ··· = k .
9(k + 1/3)k [9(k + 1/3)k][9((k − 1) + 1/3)(k − 1)] 9 (4/3)k k!
lo cual implica
donde p(x) y q(x) están en la definición 3.2.1. Si las raı́ces r1 y r2 son iguales, entonces
surge el problema de cómo encontrar otra solución y2 linealmente independiente. Este
problema puede surgir curiosamente también cuando las raı́ces r1 y r2 difieren en un
entero. Veamos un ejemplo.
Ejemplo 3.2.4. Al resolver xy ′′ + y = 0 obtenemos la ecuación indicial r(r − 1) = 0, con
soluciones r1 = 0 y r2 = 1. En este caso se puede ver (comprobar) que las relaciones de
recurrencia producen exactamente el mismo resultado
∞
X (−1)n
y1 (x) = xn+1 .
n=0
n!(n + 1)!
es también solución. En efecto, ensayando y2 (x) = c(x)y1 (x) y nombrando c′ (x) = u(x),
′ ′
nos queda una ecuación lineal de primer
R orden ′para u de la 2formaRu + (2y1 /y1 + P )u = 0
que admite
R un factor
R integrante exp[ (P + 2y1 /y1 )dx] = y1 exp( P dx), de manera que
c(x) = [exp(− P (x)dx)/y12(x)]dx, dando el resultado (3.9).
No obstante, el cálculo de y2 de esta forma suele ser bastante tedioso. Veamos una
forma más operativa, ensayando una segunda solución que contiene un logaritmo, algo
que ya se intuye en la ecuación (3.9). Haremos un cambio (x − x0 ) → x para desplazar el
punto singular a x = 0. Los resultados se resumen en el siguiente teorema.
Teorema 3.2.6. Consideremos la ecuación y ′′ + P (x)y ′ + Q(x)y = 0 donde x0 = 0 es
un punto singular regular, es decir, las funciones p(x) = xP (x) y q(x) = x2 Q(x) son
analı́ticas en x = 0 y admiten un desarrollo convergente en serie de potencias
∞
X ∞
X
p(x) = pn xn , q(x) = qn xn ,
n=0 n=0
para |x| < R donde R > 0 es el mı́nimo radio de convergencia de ambas series. Sean
r1 ≥ r2 (consideraremos solo el caso real) las raı́ces de la ecuación indicial
r(r − 1) + p0 r + q0 = 0.
86 Capı́tulo 3. Resolución de ecuaciones diferenciales mediante series de potencias
Entonces, bien en el intervalo −R < x < 0 o bien en 0 < x < R, existe una solución de
la forma
∞
X
r1
y1 (x) = |x| c(1) n
n x , (3.10)
n=0
(1) (1)
donde cn se obtiene de la recurrencia con r = r1 y c0 = 1. Ahora pueden darse tres
casos:
(2) (2)
donde cn se obtiene de la recurrencia con r = r2 y c0 = 1. Este es el caso tratado en
el ejemplo 3.2.3. En este caso está siempre asegurada la existencia de dos soluciones
y1 e y2 linealmente independientes que convergen al menos para |x| < R.
donde C es una constante que podrı́a ser cero, en cuyo caso no habrı́a término
logaritmico en la solución.
En los tres casos, las dos soluciones y1 e y2 forman un conjunto fundamental de soluciones
de y ′′ + P (x)y ′ + Q(x)y = 0 en torno a x = 0 que convergen al menos para |x| < R y
definen funciones analı́ticas en algun entorno de x = 0.
4x2 y ′′ + 8xy ′ + y = 0
por este procedimiento y por desarrollo en serie de potencias en torno al punto singular
regular x = 0 y verificar que se llega a soluciones equivalentes. Resolver también
4x2 y ′′ + 17y = 0
1
con raices m± = 2
± 2i complejas.
Funciones Especiales
89
Capı́tulo 4
91
92 Capı́tulo 4. Funciones especiales elementales
xy ′′ + (1 + α − x)y ′ + λy = 0 (4.2)
que Pn (1) = 1. Se puede demostrar que existe una fórmula general para Pn dada por
(fórmula de Rodrigues)
[n/2]
1 X (−1)k (2n − 2k)! n−2k 1 dn 2
Pn (x) = n x = n (x − 1)n , n = 0, 1, 2, . . . . (4.7)
2 k=0 k!(n − k)!(n − 2k)! 2 n! dxn
donde [n/2] denota aquı́ el entero mayor más pequeño o igual que n/2.
Nótese que, haciendo uso de la ecuación diferencial [(1 − x2 )y ′]′ = −α(α + 1)y = 0 de
donde se sigue que
tipo) de grado α. Comprobar que los polinomios de primer y segundo tipo también resultan
de las identidades trigonométricas
Nótese que
1 1
cos(αθ) = (eiαθ + e−iαθ ) = ((cos θ + i sen θ)α + (cos θ − i sen θ)α ).
2 2
√
Poniendo cos θ = x y sen θ = 1 − x2 , es fácil obtener la expresión de los polinomios
Tα (x) y Uα (x) para un cierto α.
Funciones hipergeométricas y
funciones de Bessel
97
98 Capı́tulo 5. Funciones hipergeométricas y funciones de Bessel
xy ′′ + (γ − x)y ′ − αy = 0. (5.6)
Γ(1 − γ) Γ(1 − γ)
ỹ2 (x) = U(α, γ; x) = F (α, γ; x)+ x1−γ F (α−γ+1, 2−γ; x).
Γ(α − γ + 1) Γ(α − γ + 1)
(5.8)
En Mathematica está implementada con el comando HypergeometricU[a, b, z]. La
solución general de (5.6) es una combinación lineal de y1 e ỹ2 .
4. Si p2 (z) = 1 (de grado cero) en (5.2) y q1′ 6= 0 entonces, haciendo el cambio z = a+bx,
se llega a la ecuación de Hermite
Una solución es y1 (x) = F (−ν/2, 1/2, x2 ) y otra y2 (x) = xF (−(ν − 1)/2, 3/2, x2) =
Hν (x) que coincide con los polinomios de Hermite. Cuando ν es entero, ésta es la
ecuación de autovalores del oscilador armónico cuántico y sus soluciones son los
polinomios de Hermite.
Polinomios de Laguerre
Recordamos que los polinomios de Laguerre Lαn (x) satisfacen la ecuación
xy ′′ + (1 + α − x)y ′ + ny = 0 (5.14)
que se puede llevar fácilmente a la hipergeométrica confluente (5.6) dando (la constante
de normalización se determina evaluando en x = 0)
Γ(n + α + 1)
Lαn (x) = F (−n, 1 + α, x) (5.15)
n!Γ(α + 1)
donde Cn es una constante de normalización que se determina evaluando en x = 0, dando
Cn = Γ(n+α+1)
n!Γ(α+1)
Polinomios de Hermite
Recordamos que los polinomios de Hermite Hn (x) satisfacen la ecuación
x2 y ′′ + xy ′ + (x2 − ν 2 )y = 0. (5.18)
5.2. Ecuación y funciones de Bessel 101
r 2 − ν 2 = 0 ⇒ r = ±ν
que puede tener potencias negativas de x y ser convergente solo en (0, ∞). La indepen-
dencia de ambas funciones está asegurada siempre que 2ν no sea un entero. Tamién, si
ν 6∈ Z, la llamada función de Bessel de segunda especie de orden ν
cos(νπ)Jν (x) − J−ν (x)
Yν (x) = (5.21)
sen(νπ)
es linealmente indepndiente de Jν . Para ν = m entero, se puede ver que Ym (x) =
lı́mν→m Yν (x) existe (salvo en lı́mx→0+ Ym (x) = −∞) y que es independiente de Jm . Sin
embargo J−m (x) = (−1)m Jm (x). También se puede ver que Jm (−x) = (−1)m Jm (x), es
decir, tiene la paridad de m y puede extenderse por tanto a los x < 0. También, a partir
de la ecuación diferencial, se puede deducir la relación de recurrencia:
x2 y ′′ + xy ′ + (α2 x2 − ν 2 )y = 0. (5.23)
x2 y ′′ + xy ′ − (α2 x2 + ν 2 )y = 0. (5.24)
hacer el cambio de variable s = iαx (imaginario puro) para llevarla a la forma (5.18) y
escribir la solución general en términos de las funciones de Bessel modificadas de primera
y segunda clase
π I−ν (x) − Iν (x)
Iν = i−ν Jν (ix), Kν (x) = . (5.25)
2 sen νπ
1 − 2a ′ a2 − p2 c2
y ′′ + y + (b2 c2 x2c−2 + )y = 0, p ≥ 0. (5.26)
x x2
hacer el cambio de variable s = bcc e y(x) = u(x)(s/b)a/c para llevarla a la forma (5.18)
y demostrar que la solución general se puede escribir como
mẍ + ke−αt x = 0
d2 x dx
s2 2
+ s + s2 x = 0. (5.28)
ds ds
mediante el cambio de variable r
2 k −αt/2
s= e .
α m
La solución de esta ecuación puede escribirse entonces en términos de las funciones de
Bessel de primera y segunda clase de orden ν = 0 como
r ! r !
2 k −αt/2 2 k −αt/2
x(t) = c1 J0 e + c2 Y 0 e .
α m α m
5.2. Ecuación y funciones de Bessel 103
Véase la sección 7.1.3 donde surge la ecuación de Bessel al estudiar las vibraciones
radiales de un tambor en coordenadas polares. Para la resolución de la correspondiente
ecuación en derivadas parciales será de utilidad la denominada serie de Fourier-Bessel que
describimos a continuación.
105
Capı́tulo 6
107
108 Capı́tulo 6. Método de separación de variables
T̈ X ′ Ṫ X ′′ Ṫ X′ G
A +B +C +D +E +F = . (6.4)
T XT X T X XT
6.2. Método de separación de variables 109
Intentamos que esta ecuación se separe en dos sumandos de la forma S1 (t) = S2 (x) de
manera que, siendo funciones distintas y de diferente variable, la única forma de que se
cumpla esta ecuación es que ambas sean constantes e iguales, es decir, S1 (t) = λ = S2 (x),
con λ una constante. En efecto, si fijamos t = t0 en S1 (t0 ) = S2 (x) y variamos x, obtenemos
que S2 (x) es constante y viceversa. En nuestro caso, para simplificar, supondremos que
A, B, ,̇F son constantes y que B = G = 0. De esta forma nuestra EDP se nos reduce a
dos EDOs en variables t y x separadas como:
T̈ Ṫ X ′′ X′
S1 (t) = A + D + F = λ = −C −E = S2 (x). (6.5)
T T X X
La constante λ no es arbitraria en general, sino que se ve sometida a restricciones al
imponer condiciones de contorno como por ejemplo y(t, 0) = 0 = y(t, L). Pensemos por
ejemplo en extremos x = 0 y x = ℓ de una cuerda sujetos al eje x o en extremos de
una varilla de longitud ℓ a tempertura y = 0, etc, en cualquier instante de tiempo.
Consideremos por simplicidad el caso C = 1, E = 0, de manera que
X ′′
S2 (x) = − = λ, (6.6)
X
que tiene como solución general X(x) = c1 sen(kx) + c2 cos(kx), para k 2 = λ > 0 (consi-
deraremos solo este caso por simplicidad). La condición de contorno y(t, 0) = 0 = y(t, ℓ)
implica X(0) = 0 = X(ℓ). La primera condición X(0) = 0 ⇒ c2 = 0, mientras que
X(ℓ) = 0 ⇒ c1 sen(kℓ) = 0 lo que implica que, o bien c1 = 0 (solución trivial que no nos
interesa), o bien kℓ = nπ para cualquier n ∈ Z. Esto último quiere decir que los valores
de k están “cuantizados”, tomando los valores propios
kn = nπ/ℓ, n ∈ Z. (6.7)
A las soluciones Xn (x) = sen(kn x) se les denomina funciones propias (o “modos normales”
′′
de vibración, en el caso de la ecuación de ondas). De echo, la ecuación − XX = λ puede verse
como un problema de autovalores −X ′′ = λX del operador derivada segunda −d2 /dx2
(“momento lineal al cuadrado en Mecánica Cuántica”). Como X−n = −Xn y X0 = 0,
solo el conjunto {Xn , n ∈ N es linealmente independiente. Es más, cualquier función
combinación lineal de las Xn del tipo
X
X(x) = Bn sen(kn x) (6.8)
n∈N
fp (t)
✻
.. .. .. 1 .. .. .. ..
.. .. .. .. .. .. ..
.. .. .. .. .. .. ..
.. .. .. .. .. .. ..
.. .. .. .. .. .. ..
. . . . . . . ✲ t
-3 -2 -1 0 1 2 3
Las soluciones (6.8) que hemos obtenido son impares, X(−x) = −X(x), por la con-
dición de contorno X(0) = 0, que elimina las soluciones de tipo coseno. Otro tipo de
condiciones de contorno, como las condiciones periódicas X(x0 ) = X(x0 + ℓ), tienen en
cuenta ambas soluciones: seno y coseno. Es más, la condición sen(kx) = sen(k(x + ℓ)) o
cos(kx) = cos(k(x + ℓ)), se cumple ahora para
2π
kn = n, n = 0, 1, 2, . . .
ℓ
[Nótese el factor 2 de diferencia respecto a (6.7)]. Una solución arbitraria X(x) se podrá
escribir como combinación lineal de soluciones de tipo seno y coseno como
∞
A0 X
X(x) = + An cos(kn x) + Bn sen(kn x), (6.9)
2 n=1
1
sen a cos b = (sen(a + b) + sen(a − b)),
2
1
cos a cos b = (cos(a + b) + cos(a − b)),
2
1
sen a sen b = (cos(a − b) − cos(a + b)),
2
6.3. Series de Fourier 111
Ejemplo 6.3.1. (Tren de pulsos) Calcula los coeficientes de Fourier (6.10) para el tren
de pulsos de la figura 6.1.
Solución: Como el periodo es ℓ = 2, tenemos que kn = nπ. Eligiendo por ejemplo x0 = 0
en (6.10) y dado que X(x) = 1 en el intervalo [0, 1[ y X(x) = 0 en el intervalo [1, 2[,
tenemos que los coeficientes espectrales son:
Z 1 t=1
sen(πnx) sen(πn)
An = cos(πnx)dx = = = 0, n 6= 0,
0 πn t=0 πn
Z 1
1 − (−1)n 0, si n = 2m (par)
Bn = sen(πnx)dx = = 2 .
0 πn πn
, si n = 2m + 1 (impar)
Nótese que los coeficientes Bn decrecen con n de la forma Bn ∼ n1 , de manera que las
funciones propias con n grande contribuyen cada vez menos a la serie de Fourier. Este
tipo de comportamiento n1 es tı́pico de los desarrollos de Fourier funciones continuas a
trozos, como es el tren de pulsos. En la práctica, algunas veces no es necesario considerar
los infinitos términos de la serie (6.9), ya que los primeros términos (primeros armónicos)
retienen ya una información considerable sobre la función X, como puede comprobarse en
la figura 6.2, donde se compara el tren de pulsos con su desarrollo de Fourier hasta orden
N = 1, 3, 5 y 7.
1 1 1 1
f(t) fp (t)
✻ ✻
1 ............. ..
..
..
..
..
..
.. extensión✲ .. .. ..
.. periódica .. .. ..
.. .. .. ..
.. ✲ . . . ✲
0 1 t -2 -1 0 1 2 t
Véase la figura 6.4, donde se compara el diente de sierra con su desarrollo de Fourier
N
1 X 1
X(x) = − sen(2πnx) (6.11)
2 n=1 πn
hasta orden N = 1, 3 y 5.
Nótese otra vez que los coeficientes Bn decrecen con n de la forma Bn ∼ n1 , com-
portamiento tı́pico, como hemos dicho antes, de los desarrollos de funciones continuas a
trozos. Daremos un teorema que especifica el tipo de comportamiento de los coeficientes
de Fourier para distintos tipos de funciones:
114 Capı́tulo 6. Método de separación de variables
Teorema 6.3.3. Dada una función f (x) que verifica las condiciones de Dirichlet (véase
después) en un intervalo [x0 , x0 + ℓ], los coeficientes de Fourier (6.10) tienen un compor-
tamiento asintótico de la forma:
S(xs ) = 12 (X(x− +
s ) + X(xs )) (media aritmética de los valores de X a izquierda y derecha
del salto). Se dice entonces que X y su serie de Fourier S coinciden en media y se pone
simplemente X = S.
Teorema 6.3.7. (Integración término a término) Siempre que X cumpla las con-
diciones de Dirichlet, puede intercambiarse suma por integral en su desarrollo en serie:
Z x2 ∞ Z x2 Z x2
A0 X
X(x)dx = (x1 − x2 ) + An cos(kn x)dx + Bn sen(kn x)dx. (6.12)
x1 2 n=1 x1 x1
con cn = an + ibn = |cn |e−iφn ciertos coeficientes complejos por determinar [|cn | =
p
a2n + b2n denota el módulo y φn = arctan(bn /an ) el argumento]. Como se puede com-
probar fácilmente, las exponenciales complejas verifican las propiedades de ortogonalidad
siguientes:
Z x0 +ℓ
ei(kn −km )x dx = ℓδn,m . (6.15)
x0
Multiplicando ambos lados de la igualdad (6.14) por e−ikm t e integrando término a término
la serie (se supone que X verifica las condiciones de Dirichlet), utilizando las propiedades
de ortogonalidad (6.15), se llega una expresión para los coeficientes espectrales complejos:
Z x0 +ℓ
1
cm = X(x)e−ikm x dx. (6.16)
ℓ x0
Al ser la función X(x) real, ésta coincide con su conjugada X̄(x), lo que quiere decir que:
∞
X ∞
X
ikn x
X(x) = cn e = X̄(x) = c̄m e−ikm x .
n=−∞ n=−∞
116 Capı́tulo 6. Método de separación de variables
c−n = c̄n .
Utilizando ésta propiedad y la fórmula de Euler, eix = cos x + i sen x, podemos escribir la
serie compleja (6.14) como:
∞
X
X(x) = c0 + (cn + c̄n ) cos(kn x) + i(cn − c̄n ) sen(kn x),
n=1
y comparando con la serie real (6.9) llegamos a una relación entre los coeficientes espec-
trales reales y complejos:
A0 An − iBn
An = cn + c̄n , Bn = i(cn − c̄n ), c0 = ⇒ cn = .
2 2
En el siguiente Capı́tulo aplicaremos estas técnicas a la resolución de algunas EDPs
de interés en Fı́sica.
Capı́tulo 7
117
118 Capı́tulo 7. Las ecuaciones de ondas, del calor y de Laplace
tan(θ) = ∂y(x)/∂x
Y
dy ds
y(x) b
dx
X T~
0 x x + dx ℓ
∂ 2 y(t, x) ∂ 2 y(t, x)
T = ρ .
∂x2 ∂t2
7.1. Ecuación de ondas: cuerdas, vigas y membranas vibrantes 119
∂ 2 y(t, x) 2
2 ∂ y(t, x)
= v . (7.2)
∂t2 ∂x2
que significan que los extremos de la cuerda permanecen fijos, sujetos al eje X en los
puntos x = 0 y x = ℓ. Además, existen también
∂y(t, x)
condiciones iniciales: y(t, x)|t=0 = y0 (x), = ẏ0 (x), (7.4)
∂t t=0
que establecen el perfil inicial y0 (x) que adopta la cuerda en cada punto x y su veloci-
dad inicial ẏ0 (x). Esta es la versión continua de la cuerda discreta discutida en (2.28) y
que interpreta la ecuación de ondas como un sistema “grande” de osciladores acoplados,
aproximando la derivada segunda por
∂ 2 y(t, x)
≃ (y(t, x − h) − 2y(t, x) + y(t, x + h)/h2 .
∂x2
Los métodos de discretización, que sustituyen un conjunto de Rn por un retı́culo de
espaciado h pequeño, consiguen aproximar en general la EDP por un sistema grande (pero
no infinito) de EDOs. También puede discretizarse el tiempo, resultando en un sistema
algebraico de ecuaciones lineales. Existen otros métodos de reducción de una EDP a un
sistema algebraico, como el Método de los Elementos Finitos, muy popular en ingenierı́a
pero imposible de abordar aquı́. La ecuación de ondas es lineal y homogenea y puede
abordarse por el método de separación de variables y series de Fourier explicado en el
tema anterior.
Ejercicio 7.1.1. Pruébese con constante α ≥ 0 y véase que la única solución compatible
con las condiciones de contorno es la trivial y = 0.
120 Capı́tulo 7. Las ecuaciones de ondas, del calor y de Laplace
Ejercicio 7.1.2. Cuerda pulsada. Obtener la solución general para una cuerda de longitud
L pulsada en su centro y que parte del reposo, como la de la figura 7.2. ¿Qué condición
inicial estimula el armónico n = 2 como modo dominante?, ¿y el n = 3?. Solución:
An = n4bL
2 π 2 sen(nπ/2).
6
(
b=2
| {z }
............................................................. - x
L=2
| {z }
L
Ejercicio 7.1.4. Membrana vibrante. La ecuación diferencial que describe las vibraciones
verticales de una membrana cuadrada de lados Lx , Ly es:
∂ 2 z(t, x, y) ∂ 2 z(t, x, y) ∂ 2 z(t, x, y)
= v2 +
∂t2 ∂x2 ∂y 2
Pulse la membrana (elija z0 (x, y)) para estimular los modos (m, n): a) (1,0), b) (0,1), c)
(1,1), como modos dominantes.
y condiciones iniciales
X IV (x) T̈ (t)
=α=− 4 ,
X(x) a T (t)
Ejercicio 7.1.5. Pruébese con constante α ≤ 0 y véase que la única solución compatible
con las condiciones de contorno es la trivial y = 0.
7.1. Ecuación de ondas: cuerdas, vigas y membranas vibrantes 123
Para calcular las constantes An se utilizará la condición inicial y(x, 0) = y0 (x) = ay(y−L),
que da la forma inicial de la viga. Usando las relaciones de ortogonalidad de los senos (7.9),
tenemos (calculad la integral)
Z
2 L
An = y0 (x) sen kn xdx
L 0
Ejercicio 7.1.6. Considérese el caso de soporte interconstruı́do, con condiciones de con-
torno
1. y(0, t) = 0, y(L, t) = 0 (la viga esta fija en sus extremos)
2. y ′(0, t) = 0, y ′ (L, t) = 0 (viga empotrada en sus dos extremos)
y calcúlese por algún procedimiento numérico (por ejemplo, usando el comando “Fin-
dRoot”de Mathematica) la frecuencia fundamental. Aplicar al caso en que L = 120 pies
(1 pie≈30.48 cm), ρ = 7,75gr/cm3, E = 2 × 1012 dinas/cm2 , I = 9000cm4 y demostrar
que unos soldados marchando a unos 120 pasos por minuto encima de esta viga (puente)
podrı́an romperlo (es decir, el puente entrarı́a en “resonancia”).
donde u(t, r, θ) = z(t, x(r, θ), y(r, θ)). Consideremos el caso en que existe simetrı́a angular,
es decir, el caso en que u no depende de θ. Separando variables u(t, r) = τ (t)ρ(r) y
sustituyendo en la ecuación de ondas obtenemos
ρ′′ + ρ′ /r T̈
=λ= 2 , (7.15)
ρ v T
donde λ es una constante que tomaremos negativa λ = −α2 (compruébese que el caso
λ > 0 no conduce a soluciones oscilatorias). Identificamos la ecuación radial
con la ecuación paramétrica de Bessel (5.23) de orden ν = 0, cuya solución general viene
dada por
ρ(r) = c1 J0 (αr) + c2 Y0 (αr).
Como lı́mx→0 Y0 (x) = −∞, eliminaremos esta solución tomando c2 = 0. La condición de
contorno u(t, R) = 0 impone J0 (αR) = 0, de manera que α = αn = xn /R, dodne xn son
los ceros de la función de Bessel J0 (x) (se calculan numéricamente). La solución de la
parte temporal τ̈n = −αn v 2 τn es τn (t) = An cos ωn t + Bn sen ωn t, donde ωn = αn v son las
frecuencias del tambor (encontrar la frecuencia fundamental ω1 ). La solución general es
∞
X ∞
X
u(t, r) = τn (t)ρn (r) = (An cos ωn t + Bn sen ωn t)J0 (αn r).
n=1 n=1
nuevo la EDP a estudiar. Sabemos que el calor “fluye” de las zonas más calientes a las
más frı́as, es decir, sigue la dirección contraria al gradiente de temperaturas:
~ r , t) = −κ∇T
J(~ ~ (~r, t),
donde u(r, θ) = T (x(r, θ), y(r, θ)). Abusaremos de notación y denotaremos de nuevo por
T (r, θ) = u(r, θ), simplemente para acordarnos de que u es la temperatura en la placa
circular. Separando variables T (r, θ) = ρ(r)Φ(θ) y sustituyendo en la ecuación de Laplace
(7.21) obtenemos
r 2 ρ′′ (r) + rρ′ (r) Φ′′ (θ)
=λ=− , (7.22)
ρ(r) Φ(θ)
donde λ es una constante que tomaremos positiva λ = α2 (compruébese que el caso λ < 0
no conduce a soluciones periódicas en θ).
1. La parte angular conduce a la ecuación Φ′′ (θ) = −α2 Φ(θ) que tiene como solución
general Φ(θ) = Acosαθ + B sen αθ. La condición de periodicidad Φ(θ + 2πm) = Φ(θ)
implica que α = n ∈ Z (debe ser entero)
Las constantes An y Bn se obtienen a partir de las condiciones de contorno (no hay condi-
ciones iniciales en el caso estacionario), que tomaremos como T (R, θ) = ψ(θ) [temperatura
ψ(θ) en el borde exterior de la placa circular de radio R]. Teniendo en cuenta las relaciones
de ortogonalidad para senos y cosenos:
Z 2π Z 2π
sen nθ sen mθdθ = πδm,n = cos nθ cos mθdθ, (7.25)
0 0
[y cero para productos de senos por cosenos] podemos calcular facilmente las constantes
An y Bn multiplicando ambos lados de (7.24) por sen nθ y cos nθ, poniendo T (R, θ) = ψ(θ)
e integrando, de manera que
Z 2π Z 2π
1 1
An = n cos nθψ(θ)dθ, Bn = n sen nθψ(θ)dθ, n ∈ N, (7.26)
R π 0 R π 0
1
R 2π
junto con A0 = 2π 0
ψ(θ)dθ [temperatura media en el borde]. Este problema se denomina
también problema de Dirichlet para el cı́rculo de radio R.
Ejercicio 7.2.7. Hallar la solución general del problema de Dirichlet para un cı́rculo de
radio R con condición de contorno T (R, θ) = ψ(θ) = (θ − π)(θ + π).
Ejercicio 7.2.8. Demostrar que la distribución estacionaria de temperaturas para una
tuberı́a cilı́ndrica de radio interior R1 y exterior R2 por la que circula un fluido a tempe-
rarura T1 viene dada por:
ln(r/R1 )
T (r, θ, z) = T1 + (T2 − T1 )
ln(R2 /R1 )
donde T2 es la temperatura exterior. Ayuda: nótese que se ha eliminado el punto r = 0
haciendo un agujero en el cı́rculo (sección transversal de la tuberı́a), de manera que el
argumento que eliminaba las soluciones ρ(r) = c2 r −n y ρ(r) = c4 ln r de la ecuación
7.2. Ecuación de la difusión del calor 129
donde λ es una constante, que tomaremos positiva (estudiese el caso negativo). Veamos
la parte radial y la parte angular.
1. La parte radial, escribiendo λ = n(n + 1), queda
2. La parte angular conduce a la ecuación sen θΘ′′ + cos θΘ′ + λ sen θΘ = 0. Haciendo
el cambio de variable q = cos θ y Θ(arc cos q) = P (q), se puede comprobar que se
llega a la ecuación de Legendre (4.4) en la variable q, es decir
Las soluciones básicas son entonces Tn (r, θ) = An r n Pn (cos θ) y la solución general T (r, θ) =
P ∞
n=0 Tn (r, θ). Haciendo uso de las relaciones de ortogonalidad (4.8) entre polinomios de
Legendre y de la condición de contorno T (R, θ, φ) = ψ(θ), se pueden calcular los coefi-
cientes An mediante la integral
Z
2n + 1 π
An = ψ(θ)Pn (cos θ) sen θdθ. (7.30)
2Rn 0
131
132 Capı́tulo 8. Introducción a los problemas de Sturm-Liouville
Parte IV
Apéndices
133
Apéndice A
135
136 Apéndice A. Demostración del Teorema de Picard
Recı́procamente, si si ~z(x) es una función continua que verifica (A.4), entonces ~z (x0 ) = ~z0 ;
además (A.4) implica que ~z (x) es derivable y su derivada es
comenzando por la función constante ~z0 (x) ≡ ~z0 , dicha sucesión convergerá a la solución
buscada. En efecto, veamos que dicha iteración {~zn }∞ n=0 converge uniformemente a la
solución ~z (x) siempre que f~(x, ~z ) y ∂zk f~(x, ~z ), k = 0, 1, . . . n − 1 estén acotadas en el
137
recinto cerrado Ω, lo cual se cumple efectivamente al ser ambas continuas por hipótesis
(teorema de Weierstrass). Es decir, la continuidad de f~ y ∂zk f~ en un cerrado Ω implica
que:
kf~(x, ~z)k ≤ M, k∂zk f~(x, ~z )k ≤ Kk ≤ máx {Kk } ≡ K. (A.6)
k=0,...,n−1
Apréciese que para que la familia {~zn }∞ n=0 esté bien definida necesitamos que k~
zm (x) −
~
~z0 k ≤ r para cada x ∈ Eh (x0 ), para que ası́ pueda evaluarse f (x, ~zm (x)) a la hora de
calcular ~zm+1 . Esto no es problema porque ~z0 cumple trivialmente esta propiedad y, pro-
cediendo por inducción, si ~zm (x) la cumple, entonces
Z x
k~zm+1 (x) − ~z0 k =
~(t, ~zm (t))dt
≤ M|x − x0 | ≤ Ma ≤ r,
f
x0
f~(t, ~z1 (t)) − f~(t, ~z0 (t)) = (~z1 (t) − ~z0 (t)) · ∂~z f~(t, ~z∗ (t)),
y la acotación k∂zk f~(x, ~z )k ≤ K, ∀(x, ~z ) ∈ Ω dada por la segunda desigualdad en (A.6).
La combinación del teorema del valor medio y la acotación implica la llamada condición
de Lipschitz 2 en la variable ~z
kf~(x, ~z1 (x)) − f~(x, ~z0 (x))k ≤ Kk~z1 (x) − ~z0 (x)k. (A.8)
R
R
b b
Se ha utilizado que
a f~(t)dt
≤ a kf~(t)kdt para una función f~ : [a, b] → Rn continua, junto con la
1
De aquı́ se deduce la convergencia uniforme en Ea (x0 ) de la sucesión (~zn )∞ n=0 a una cierta
función continua ~z : Ea (x0 ) → Br (~z0 ). Más aún, la convergencia uniforme de las funciones
~zm y la continuidad uniforme de f~ (recuérdese que toda función continua definida en
un compacto es uniformemente continua) implican que (fijo x) las funciones f~(t, ~zm (t)),
restringidas al intervalo de extremos t y t0 , convergen uniformemente a f~(t, ~z (t)). Esto
permite tomar lı́mites bajo el signo integral en (A.5) y deducir (A.4) para todo x ∈
Ea (x0 ), con lo que ~z(x) será solución de (A.3). Finalmente, para demostrar la unicidad,
supongamos que ~q(x) es solución de (A.3) en Ea (x0 ), entonces definiendo
encontramos que:
K mp
k~q(x) − ~zm (x)k ≤ |x − x0 |m
m!
para todo m y t ∈ Ea (x0 ) y, en consecuencia, ~q(x) = ~z (x).
Observación A.0.2. Siguiendo la demostración del teorema anterior, vemos que se puede
debilitar la hipótesis de continuidad de ∂zk f~ sustituyéndola por la condición de Lipschitz
(A.8), llegando a un enunciado más potente del teorema A.0.1, ya que hay muchas fun-
ciones con derivadas parciales no continuas que, no obstante, verifican la condición de
Lipschitz. Si abandonamos la condición de Lipschitz y suponemos tan sólo que f~(x, ~z ) es
continua en Ω, todavı́a es posible probar que el problema de valores iniciales (A.1,A.2)
tiene solución (teorema de Peano), pero no necesariamente única. A tı́tulo de ejemplo,
consideremos el problema
y ′ = 3y 2/3 , y(0) = 0, (A.9)
y sea Ω = [−1, 1] × [−1, 1]. Aquı́ f (x, y) = 3y 2/3 es obviamente continua en Ω. Además,
y1 (x) = x3 e y2 (x) = 0 son soluciones diferentes de (A.9) válidas para todo x ∈ Ω, ası́
que ciertamente el problema de valores iniciales (A.9) admite solución, pero ésta no es
única. La explicación de la no unicidad reposa en el hecho de que ∂y f (x, y) = 2y −1/3 no
es continua en Ω, y tampoco f (x, y) satisface la condición de condición de Lipschitz (A.8)
sobre el rectángulo Ω = [−1, 1] × [−1, 1], ya que el cociente de incrementos f (0,y)−f
y−0
(0,0)
=
−1/3
3y no es acotado en cualquier entorno del origen.
Apéndice B
139
140 Apéndice B. Método de los coeficientes indeterminados
Teorema B.0.1. Dada la EDO lineal con coeficientes constantes L(y(x)) = b(x) o
D~z(x) = A~z + ~b(x), 1 supongamos que
b(x) = eβx (p(x) cos(ωx) + q(x) sen(ωx)),
donde p(x) y q(x) son polinomios de grado a lo sumo k ≥ 0. Sea µ = β + iω. Entonces se
tienen las siguientes posibilidades:
(i) Si µ NO es raı́z del polinomio caracterı́stico L(λ) = 0 en (2.10), entonces L(y) =
b(x) tiene una solución particular de la forma yp (x) = eβx (r(x) cos(ωx)+s(x) sen(ωx)),
con r(x) y s(x) polinomios de grado a lo sumo k.
(ii) Si µ es raı́z del polinomio caracterı́stico (2.10) con multiplicidad m, entonces L(y) =
b(x) tiene una solución particular de la forma yp (x) = eβx xm (r(x) cos(ωx)+s(x) sen(ωx)),
con r(x) y s(x) polinomios de grado a lo sumo k.
Demostración: utilizaremos la versión compleja
L(ȳ) = ȳ (n) + an−1 ȳ (n−1) + · · · + a1 ȳ ′ + a0 ȳ = eµx v(x) = b̄(x), (B.1)
de la ecuación real L(y) = b(x), donde v(x) = p(x)−iq(x) es un polinomio de grado menor
o igual que k con coeficientes complejos. Demostraremos que existe una solución compleja
ȳp : R → C de (B.1) de la forma ȳp (x) = xm eµx w(x), donde m es la multiplicidad de µ
como solución de
λn + an−1 λn−1 + · · · + a1 λ + a0 = 0
(m = 0 si µ no es raı́z de la ecuación) y w(x) = r(x) − is(x) es un polinomio de gra-
do menor o igual que k con coeficientes complejos. La parte real yp (x) ≡ ℜ(ȳp (x)) =
eβx xm (r(x) cos(ωx)+s(x) sen(ωx)) será pues solución de L(y) = b(x) con b(x) = ℜ(b̄(x)) =
ℜ(eµx v(x)) = eβx (p(x) cos(ωx) + q(x) sen(ωx)).
Nótese que la ecuación (B.1) se puede reescribir en términos de la descomposición en
producto de monomios (D − γj )mj , con γj una raı́z de (2.10) de multiplicidad mj , de la
siguiente forma:
(D − γ1 )m1 (D − γ2 )m2 . . . (D − γr )mr (D − µ)m ȳ = eµx v(x), (B.2)
donde admitimos la posibilidad de que µ sea o no sea una raı́z, poniendo en este último
caso: m = 0 ⇒ (D − µ)0 = 1. Procedamos por partes:
a) Comencemos por el caso m = 0, o sea, cuando µ no es raı́z de (2.10). Bastará
probar que existe un polinomio w(x) de grado ≤ k tal que ȳp (x) = eµx w(x) es solución de
(D − γj )ȳ(x) = eµx ṽ(x) (B.3)
para algún polinomio ṽ(x) de grado ≤ k. En efecto, sustituyendo ȳp (x) en (B.3)
eµx ṽ(x) = ȳp′ (x) − γj ȳp (x) = eµx (w ′ (x) + µw(x) − γj w(x)) ⇒ ṽ(x) = (µ − γj )w(x) + w ′(x).
1
Cambiamos ligeramente de notación respecto al Capı́tulo 2 y denotamos por y(x) la variable depen-
diente y por x la independiente
141
ṽ0 = (µ − γj )w0 + w1 ,
ṽ1 = (µ − γj )w1 + 2w2 ,
···
ṽk−1 = (µ − γj )wk−1 + kwk ,
ṽk = (µ − γj )wk ,
que obviamente tiene solución por ser µ 6= γj (µ no es raı́z). Procediendo de forma iterada
llegamos a que existe w(x) tal que ȳp (x) = eµx w(x) es solución de (B.2) con m = 0.
b) Analizamos a continuación el caso en que µ sea una raı́z con multiplicidad m = n ⇒
mj = 0. Se trata de comprobar que ȳp (x) = xn eµx w(x) es una solución de (D − µ)n ȳ =
eµx v(x) con w(x) un polinomio de grado ≤ k. De hecho demostraremos bastante más: que
para cada n ≥ 1 y l ≥ 0 la ecuación
tiene una solución de la forma ȳp (x) = xl+n eµx w(x), con w(x) un polinomio de grado ≤ k.
Razonemos por inducción sobre n y supongamos n = 1. La función ȳp (x) = xl+1 eµx w(x)
será solución de (D − µ)ȳ = xl eµx v(x) si y sólo si
xl eµx v(x) = µxl+1 eµx w(x) + [(l + 1)xl w(x) + xl+1 w ′(x)]eµx − µxl+1 eµx w(x),
o sea,
v(x) = (l + 1)w(x) + xw ′ (x),
o igualando coeficientes de igual grado
v0 = (l + 1)w0 ,
v1 = (l + 2)w1 ,
···
vk−1 = (l + k)wk−1 ,
vk = (l + k + 1)wk ,
Biliografı́a
143
Bibliografı́a
Bibliografı́a básica
[1] Dennis G. Zill, Michael R. Cullen, Matemáticas Avanzadas para la ingenierı́a, Vol.
1: Ecuaciones Diferenciales, Tercera Edición, McGraw-Hill Interamericana (2008).
Tiene un volumen aparte con soluciones a los problemas planteados.
[2] William E. Boyce, Richard C. DiPrima, Elementary Differential Equations and Boun-
dary Value Problems, Wiley (2012). Tiene un volumen aparte con soluciones a los
problemas planteados.
[4] Dennis G. Zill, Michael R. Cullen, Differential Equations with Boundary-Value Pro-
blems, 7th edition, Brooks/Cole, Cengage Learning (2009)
[5] M. Calixto, Prácticas de Matemáticas con Mathematica para Ingenieros. Ed. Morpi
2002. http://hdl.handle.net/10317/1128
Temas: 7, 8, 9, 10 y 13.
[9] L. C. Andrews, Special functions of mathematics for engineers, Oxford Science Pu-
blications, 1998.
145
146 Bibliografı́a
[15] C.H. Edwards & D.E. Penney, Ecuaciones diferenciales elementales y problemas con
condiciones en la frontera, Prentice-Hall Hispanoamericana (1994).