Documentos de Académico
Documentos de Profesional
Documentos de Cultura
APLICABLES A LA INGENIERÍA
Jorge A. Esquivel-Avila
Universidad Autónoma Metropolitana
Unidad Azcapotzalco
Mayo, 2009.
2
Prólogo
3
4
Capı́tulo 1
Números complejos
1.1. Definiciones.
Considere un punto en el plano: (x, y), donde x ∈ IR, y ∈ IR. Se define como
número complejo z = (x, y), a este par ordenado de números reales. Dos números
complejos son iguales si representan el mismo punto en dicho plano, por ello la
palabra ordenado. Esto es, si x = y, entonces (x, y) = (y, x). Además, x =
(z) = parte real del número complejo z, y = (z) = parte imaginaria del
número complejo z, al plano se le llama plano complejo, al eje horizontal se le
llama eje real, al eje vertical eje imaginario, y al conjunto de números complejos
se le denota por C.
En caso de que la parte imaginaria sea cero: y = (z) = 0, entonces el
número complejo correspondiente (x, 0) ocupa, en el plano complejo, un lugar
en el eje horizontal o eje real. Esto es, (x, 0) ∈ IR, y de esta manera se escribe
que (x, 0) = x. Entonces se tiene que IR ⊂ C. Esto es, los números reales
están representados por el eje horizontal del plano complejo. Por otro lado, si
x = (z) = 0, entonces al número (0, y), se le llama imaginario. En particular,
existe uno muy importante: (0, 1), que se llama unidad imaginaria y se le denota
por i.
5
6 CAPÍTULO 1. NÚMEROS COMPLEJOS
1.3. Propiedades.
De utilidad práctica son las siguientes, y que nos recuerdan las que usamos
al operar con números reales.
z1 + z2 = z2 + z1 , conmutatividad de la suma,
(z1 + z2 ) + z3 = z2 + (z1 + z3 ), asociatividad de la suma,
z1 · z2 = z2 · z1 , conmutatividad del producto,
(z1 · z2 ) · z3 = z2 · (z1 · z3 ), asociatividad del producto,
(z1 + z2 ) · z3 = z1 · z3 + z2 · z3 , distributividad del producto sobre la suma.
en donde omitimos el punto en el producto iy. Esta es una de las formas más
conocidas de escribir a un número complejo. Note que: (0, 1) · (0, 1) = −1, o bien
i2 = −1
1.6. Cociente.
Damos ahora una forma de calcular un cociente, asumiendo que nuestra
definición satisface la propiedad de que, si z = 0, entonces
z
= 1.
z
Suponga que z2 = 0, entonces
z1 z1 z2 z1 · z2 z1 · z2
= · = = .
z2 z2 z2 z2 · z2 |z2 |2
Aquı́ hemos usado una propiedad adicional, si z2 = 0, z4 = 0,
z1 z3 z1 · z3
· = .
z2 z4 z2 · z4
Damos dos más, para z2 = 0,
z1 z1
= ,
z2 z2
z1 |z1 |
= .
z2 |z2 |
Para ilustrar este procedimiento usamos los mismos números que en el primer
ejemplo: z1 = 25 − i 13 , z2 = 3 + i 12 , para calcular
2 1 2 1 1
5 − i3 5 − i3 3 − i2 ( 25 − i 13 ) · (3 − i 12 ) 2 31 6 31 12
1
= 1
· 1
= 1 2
= √ −i = √ −i √ .
3 + i2 3 + i2 3 − i2 |3 + i 2 | 37 30 5 15 37 5 37
8 CAPÍTULO 1. NÚMEROS COMPLEJOS
x = r cos θ, y = r sin θ,
π 5
θ2 = arg (z2 ) = π + = π.
4 4
Finalmente, la forma trigonométrica de ambos números queda
11 11 5 5
z1 = cos π + i sin π , z2 = cos π + i sin π .
6 6 4 4
Similarmente,
z1 r1 eiθ1 r1
= iθ
= ei(θ1 −θ2 ) .
z2 r2 e 2 r2
√
Ejemplificamos con los números z1 = 23 − i 12 , z2 = − √12 − i √12 . Recuerde que
ya conocemos sus formas trigonométricas, entonces
11 5
z1 = ei 6 π , z2 = ei 4 π .
De donde,
11 5 37
z1 · z2 = ei( 6 π+ 4 π) = ei 12 π .
Ahora,
−11 5 −11
1 1 55
−√ − i√ = ei 4 π = e−i 4 π .
2 2
−55
También, note que 4 π= −7(2π) + 14 π, entonces
−11
1 1 1 1 1
−√ − i√ = ei 4 π = √ + i √ .
2 2 2 2
7
Ilustramos con otro ejemplo estas operaciones. Calcule (−(1−i)
√
3+i)9
. Para ello,
√
primero obtenemos la forma polar de 1 − i, y de − 3 + i. El primer número
está en el cuarto cuadrante con partes real e imaginaria
√ iguales en valor absoluto.
La distancia al origen (valor absoluto) es igual a 2, entonces
√ 1
1 − i = 2e−i 4 π .
1.10. RAÍCES. TEOREMA FUNDAMENTAL DEL ÁLGEBRA. 11
El segundo número está en el segundo cuadrante con ángulo respecto al eje real
negativo igual a 16 π, y la distancia al origen es 2, entonces
√ 5
− 3 + i = 2ei 6 π .
El cociente es igual a
(1 − i)7 7 7 45 11 37
√ = 2 2 −9 e−i( 4 + 6 )π = 2− 2 e−i 4 π
(− 3 + i)9
11 40−3 11 3
= 2− 2 e−i 4 π = 2− 2 ei 4 π = 2−6 (−1 + i).
{z ∈ C : z m = z0 }.
Lo que nos da
1
r = r0m .
Esto es, todas las raı́ces tienen el mismo valor absoluto. Todas se encuentran
1
en el cı́rculo de radio r0m . Sólo falta encontrar el argumento de cada raı́z. Para
ello usamos la ecuación que las raı́ces deben satisfacer, sustituyendo el resultado
anterior,
eimθ = eiθ0 .
En vista de que eik(2π) = 1, para k = 0, 1, 2, 3, ..., la solución es
1
θ= (θ0 + k(2π)) , k = 0, 1, 2, 3, ...
m
Sólo existen m argumentos que representan raı́ces diferentes. En efecto, notamos
que cuando k = 0, m, los números coinciden porque eimθ = eiθ0 = ei(θ0 +2π) . Esto
12 CAPÍTULO 1. NÚMEROS COMPLEJOS
z 3 − 1 = 0.
z3 − 1
= z 2 + z + 1,
z−1
vemos que las otras dos soluciones satisfacen
z 2 + z + 1 = 0.
Completando cuadrados
2
1 3
z+ + = 0.
2 4
Entonces,
12
3 1 3
z + = − .
2 4
1
1
Calculamos − 34 2 . Para ello escribimos − 34 = 34 eiπ . Entonces, − 34 2 tiene las
siguientes dos raı́ces
√ √
3 1 1 3
cos π + i sin π =i ,
2 2 2 2
√ √
3 3 3 3
cos π + i sin π = −i .
2 2 2 2
De donde, las dos soluciones restantes de la ecuación son
√
1 3
z2 = − + i ,
2 √2
1 3
z3 = − − i .
2 2
Notamos que z3 = z 2 .
Damos otro ejemplo: Calcule todas las soluciones de la ecuación
z 6 + z 3 + 1 = 0.
Entonces,
12 12
1 3 3 iπ
z3 + = − = e .
2 4 4
De donde, para obtener las seis soluciones de la ecuación y usando los cálculos
del ejemplo anterior, debemos resolver
√
3 1 3
z = − +i ,
2 √2
1 3
z3 = − − i .
2 2
√ 2
√ 4
Para ello, escribimos la forma polar: − 12 + i 23 = ei 3 π , − 12 − i 23 = ei 3 π :
Entonces las seis soluciones son las raı́ces cúbicas de estos dos números
2 2
z1 = cos π + i sin π ,
9 9
8 8
z2 = cos π + i sin π ,
9 9
14 14
z3 = cos π + i sin π ,
9 9
4 4
z4 = cos π + i sin π ,
9 9
10 10
z5 = cos π + i sin π ,
9 9
16 16
z6 = cos π + i sin π .
9 9
−1 1
= −1 = .
1 −1
1.10. RAÍCES. TEOREMA FUNDAMENTAL DEL ÁLGEBRA. 15
Existen más falacias matemáticas usando números complejos. Dos libros ampli-
amente recomendados, escritos por un ingeniero eléctrico, sobre números com-
plejos, su historia y algo más, con numerosas aplicaciones a matemáticas puras
y aplicadas ası́ como a la tecnologı́a electrónica son los siguientes:
1. Paul J. Nahin, .An Imaginary Tale: The Story of i (the square root of
minus one)”, Princeton University Press, 1998.
2. Paul J. Nahin, ”Dr. Euler’s Fabulous Formula: Cures Many Mathematical
Ills”, Princeton University Press, 2006.
Existe traducción al español del primero: ”Esto no es real: la historia de i”,
Consejo nacional para la cultura y las artes, 2008.
16 CAPÍTULO 1. NÚMEROS COMPLEJOS
Capı́tulo 2
Transformada de Laplace
Aquı́, IR+ ≡ [0, ∞). Es costumbre usar letras mayúsculas para las transformadas
de las funciones escritas con minúsculas. A la función: K(t, s) = e−st , se le llama
núcleo de la transformada. la variable s puede ser compleja: s = σ + iγ ∈ C. A
continuación anotamos algunas propiedades y las ilustramos con ejemplos.
Decimos que la transformada de Laplace de una función f(t) existe, si el
domino D, de F (s), es un conjunto no vacı́o. Recordamos la definición de do-
minio, entonces
D = {s : |F (s)| < ∞}.
Sólo ası́ la transformada de Laplace tiene sentido, y se escribe
∞
F (s) = L(f)(s) = f(t)e−st dt, ∀s ∈ D.
0
máx |f(t)| ≤ K,
0≤t≤T
17
18 CAPÍTULO 2. TRANSFORMADA DE LAPLACE
|f(t)| ≤ M̂ eαt , ∀t ≥ T,
para algunas constantes M̂ > 0, α > 0. Bajo éstas hipótesis, la función f(t) es
de orden exponencial. Esto es, no crece más que una exponencial. Y esto implica
la existencia de la transformada de Laplace. Ciertamente, si la parte real de s
es tal que: (s) = σ > α > 0, entonces
De donde, si M = máx{K(T ), M̂ },
|f(t)| ≤ M eαt , ∀t ≥ 0.
en vista de que eαt |e−st | = eαt |e−(σ+iγ)t | = eαt e−σt |e−iγt | = e−(σ−α)t → 0,
cuando t → ∞. El domino está definido por
Considere la función
1, si t ≥ 0, t = 3,
g(t) =
5, si t = 3.
de donde
lı́m F (s) = 0.
s→∞
Para terminar ésta sección, demos un ejemplo de una función que crece más
2
que una exponencial, y cuya transformada de Laplace no existe: f(x) = eβt ,
con β > 0. En efecto, note que para cualesquier par de constantes M > 0, α > 0,
2 2
βt2 2 2 α α ln M α
e > M e ⇔ βt > ln M +αt ⇔ β t − t > ln M ⇔ t −
αt
> + .
β 2β β 2β
2
α ln M α
Esto es, f(t) > M eαt , para todo t > 2β
+ β
+ 2β
. Tratemos de calcular
su transformada de Laplace.
b
2
L(f)(s) = lı́m eβt e−st dt.
b→∞ 0
Note que
2 s 2 s2
eβt e−st = eβ(t− 2β ) e− 4β .
20 CAPÍTULO 2. TRANSFORMADA DE LAPLACE
De donde,
b
s2 s 2
L(f)(s) = e− 4β lı́m eβ(t− 2β ) dt.
b→∞ 0
s 2
Como, eβ(t− 2β ) ≥ 1, para cualquier valor de s, entonces
b
s2
L(f)(s) ≥ e− 4β lı́m dt = ∞.
b→∞ 0
2
Consecuentemente, la transformada de Laplace de f(x) = eβt , con β > 0, no
existe.
2.2. Inversa.
Se define la transformada inversa de s
→ F (s), como la función t
→ f(t) tal
que L(f)(s) = F (s). Y se denota por
Ejemplo, L−1 ( 1s )(t) = 1, ∀t ≥ 0. Pero también puede ser g(t) o también h(t), en
el ejemplo de la sección anterior.
Vamos a convenir en que la transformada inversa de Laplace de F (s) es
aquella función f(t), continua, tal que L(f)(s) = F (s). En el ejemplo sólo hay
una: f(t) = 1, ∀t ≥ 0.
En ocasiones, necesariamente la función es discontinua. En ese caso se toma
aquella con menor número de discontinuidades. En secciones posteriores, ilus-
traremos esta situación con varios ejemplos.
2.3. Linealidad.
Para cualquier par de funciones f : IR+ → IR : t
→ f(t), g : IR+ → IR : t
→
g(t), y constantes c1 ∈ C, c2 ∈ C, se tiene la propiedad de linealidad de L
1 1 2
L(2)(s) = L(1 · 1 + 1 · 1)(s) = 1 · L(1)(s) + 1 · L(1)(s) = + = .
s s s
2.4. TRASLACIÓN. 21
2.4. Traslación.
Queremos obtener la transformada de Laplace de f(t)eαt , donde α ∈ IR. De
la definición, encontramos la primera propiedad de traslación
∞ ∞
L(f(t)eαt )(s) = f(t)eαt e−st dt = f(t)e−t(s−α) dt = F (s − α).
0 0
Usando la identidad de Euler: eiβt = cos (βt) + i sin (βt), y separando las partes
real e imaginaria, se obtiene que
s β
L(cos (βt))(s) + iL(sin (βt))(s) = +i 2 .
s2 +β 2 s + β2
Esto es,
s β
L(cos (βt))(s) = , L(sin (βt))(s) = 2 .
s2 + β 2 s + β2
Aplicando la propiedad de traslación a estas transformadas, se obtienen dos
fórmulas más
s−α β
L(eαt cos (βt))(s) = , L(eαt sin (βt))(s) = .
(s − α)2 + β 2 (s − α)2 + β 2
Ya hemos calculado la transformada de las funciones seno y coseno. Sin
embargo, no sabemos como calcular la transformada del cuadrado de ellas o
de la multipliplicación entre ellas. Note que la transformada del cuadrado del
coseno no es igual al cuadrado de la transformada del coseno, esto es
2
s
L(cos2 (βt))(s) = (L cos (βt)(s))2 = ,
s2 + β 2
22 CAPÍTULO 2. TRANSFORMADA DE LAPLACE
la observación se aplica también para el cuadrado del seno. Para calcular ésta
transformada recurrimos a identidades trigonométricas. En efecto, usando la
linealidad de la transformada,
2 1 1 1 s
L(cos (βt))(s) = L(1 + cos (2βt))(s) = + .
2 2 s s2 + 4β 2
Similarmente,
2 1 1 s
L(sin (βt))(s) = − .
2 s s2 + 4β 2
Se puede comprobar, usando las dos expresiones anteriores, que
1
L(1)(s) = L(sin2 (βt) + cos2 (βt))(s) = .
s
O bien, que
s
L(cos (2βt))(s) = L(cos2 (βt) − sin2 (βt))(s) = .
s2 + 4β 2
De esta forma se pueden obtener, por ejemplo, las transformadas de Laplace de
funciones tales como
cos (βt − ϕ), sin (βt − ϕ), cos (βt) sin (γt), sin3 (βt), cos3 (βt), cos2 (βt) sin (γt), etc.
Sólo calcularemos las dos primeras, el resto se deja al lector como ejercicio.
Usando las identidades,
cos (βt − ϕ) = cos (βt) cos (ϕ) + sin (βt) sin (ϕ),
sin (βt − ϕ) = sin (βt) cos (ϕ) − cos (βt) sin (ϕ),
de una función. Consideramos funciones que no crecen más que una exponencial.
Aplicando la definición, e integrando por partes,
∞ b
d d −st d
L f (s) = f(t)e dt = lı́m f(t)e−st dt
dt 0 dt b→∞ 0 dt
b b
−st −st
= lı́m s f(t)e dt + f(t)e = sF (s) − f(0).
b→∞ 0
0
n!
L(eαt tn )(s) = .
(s − α)n+1
dn
L(tn f(t))(s) = (−1)n F (s), n = 1, 2, 3, ..., .
dsn
Ejemplos: Obtenga la transformada de teαt . Usando la fórmula, se obtiene
d 1 1
L(teαt )(s) = − = .
ds s − α (s − α)2
1 (s + iβ)2 s2 − β 2 2βs
L(teiβt )(s) = = = +i 2 .
(s − iβ)2 (s2 + β 2 )2 (s2 + β 2 )2 (s + β 2 )2
De donde,
s2 − β 2 2βs
L(t cos (βt))(s) = 2 2 2
, L(t sin (βt))(s) = 2 .
(s + β ) (s + β 2 )2
Note que,
(s + iβ)n+1
L(tn cos (βt))(s) + iL(tn sin (βt))(s) = n! .
(s2 + β 2 )n+1
(s − α + iβ)n+1
L(eαt tn cos (βt))(s) + iL(eαt tn sin (βt))(s) = n! .
((s − α)2 + β 2 )n+1
2.5. DERIVADAS E INTEGRALES. 25
n+1
(n + 1)! k
(s + iβ)n+1 = sn+1−k (iβ)
k!(n + 1 − k)!
k=0
npar
(n + 1)! 2k
nimpar
(n + 1)! 2k+1
= sn+1−2k (iβ) + sn−2k (iβ)
(2k)!(n + 1 − 2k)! (2k + 1)!(n − 2k)!
k=0 k=0
(n + 1)!(−1) β
npar k 2k (n + 1)!(−1)k β 2k+1
nimpar
= sn+1−2k + i sn−2k .
(2k)!(n + 1 − 2k)! (2k + 1)!(n − 2k)!
k=0 k=0
(−1)n −1
Donde, npar = [ n+1
2 ], nimpar = npar + 2 . Aquı́, [p] = parte entera de p.
Entonces,
n! (n + 1)!(−1)k β 2k
npar
L(tn cos (βt))(s) = 2 2
sn+1−2k .
(s + β )n+1 (2k)!(n + 1 − 2k)!
k=0
n! (n + 1)!(−1)k β 2k+1
nimpar
L(tn sin (βt))(s) = 2 2
sn−2k .
(s + β )n+1 (2k + 1)!(n − 2k)!
k=0
También,
n! (n + 1)!(−1)k β 2k
npar
L(e t cos (βt))(s) =
αt n
(s − α)n+1−2k .
((s − α)2 + β 2 )n+1 (2k)!(n + 1 − 2k)!
k=0
n! (n + 1)!(−1)k β 2k+1
nimpar
L(e t sin (βt))(s) =
αt n
2 2
(s−α)n−2k .
((s − α) + β )n+1 (2k + 1)!(n − 2k)!
k=0
(s − α)2 − β 2 2β(s − α)
L(eαt t cos (βt))(s) = , L(eαt t sin (βt))(s) = .
((s − α)2 + β 2 )2 ((s − α)2 + β 2 )2
1
I(s) = .
s2 + 100
10
Recordamos, de la sección cuatro, que L(sin (10t))(s) = s2 +102 . De donde, por
la lenealidad de L, se obtiene que
1 1
I(s) = = L(sin (10t))(s).
s2 + 100 10
Consecuentemente,
1 1 −1 1
i(t) = L−1 (I)(t) = L−1 (t) = L (L)(sin (10t)) = sin (10t).
s2 + 100 10 10
Demos otro ejemplo: si L = 1, R = 20, 1/C = 100, e(t) = cos (10t), entonces
s
E(s) = s2+10 2 , de donde
s2
I(s) = .
(s2 + 10s + 100)(s2 + 100)
2.7. FUNCIÓN ESCALÓN UNITARIO DE HEAVISIDE. 27
s2 s2 A B Cs + D
= = + + .
(s2 + 20s + 100)(s2 + 100) (s + 10)2 (s2 + 100) (s + 10)2 s + 10 s2 + 100
Al aplicar ésta técnica debemos tener cuidado en que: (1) el grado del poli-
nomio del numerador sea estrı́ctamente menor que el grado del polinomio del
denominador, y (2) el numerador y el denominador no tengan raı́ces comunes.
El ejemplo de arriba ilustra como se aplica en el caso en que las raı́ces del
denominador son reales repetidas y complejas. Ahora, es fácil identificar a la
transformada I(s). En efecto, de la linealidad de L,
A B Cs + D
2
+ + 2 = L(Ate−10t +Be−10t +C cos (10t)+D sin (10t))(s).
(s + 10) s + 10 s + 100
Una vez derterminadas las constantes: A, B, C, D, el problema queda resuelto.
Se obtiene que: A = 12 , B = − 20
1 1
, C = 20 , D = 0, de donde la corriente es
1 −10t
i(t) = e (10t − 1) + cos (10t) .
20
Si la ecuación diferencial es de orden mayor, se aplica la fórmula para derivadas
de orden superior y se sigue la misma secuencia de pasos. Por otro lado, si
en lugar de tener una ecuación se tienen dos con dos incógnitas, entonces el
procedimiento algebráico se complica al tener que resolver un sistema de dos
ecuaciones con dos incógnitas a las que se deberá aplicar la transformada inver-
sa, probablemente después de usar la técnica de descomposición en fraccciones
parciales. El procedimiento es el mismo si el número de ecuaciones e incógnitas
es mayor que dos. En secciones posteriores ilustraremos esto con ejemplos.
e−sa
L(Ha (t))(s) = .
s
La segunda propiedad de traslación también tiene la siguiente presentación
equivalente,
1
L−1 (F (s))(t) = L−1 (t) = te−10t .
(s + 10)2
Los siguientes términos tienen la forma: e−as F (s), cuya transformada inversa es
f(t − a)Ha (t). Observe que f(t) = te−10t , de donde f(t − a) = (t − a)e−10(t−a).
Esto es, basta con reemplazar t por t − a. Finalmente,
i(t) = te−10t − (t − π)e−10(t−π)Hπ (t) + (t − 2π)e−10(t−2π)H2π
− (t − 3π)e−10(t−3π)H3π (t) + (t − 4π)e−10(t−4π)H4π (t)
− (t − 5π)e−10(t−5π)H5π (t) + ... + etc..
O bien, si escribimos explı́citamente a los escalones, obtenemos
−10t
te , si 0 ≤ t < π,
−10t
te − (t − π)e−10(t−π), si π ≤ t < 2π,
i(t) = −10t −10(t−π) −10(t−2π)
te − (t − π)e + (t − 2π)e , si 2π ≤ t < 3π,
..., etc., ...
2.8. Escalamiento.
Si conocemos F (s), y queremos encontrar L(f(λt))(s), con λ > 0, entonces,
de la definición y mediante un cambio de variable: τ = λt, se obtiene
1 s
L(f(λt))(s) = F .
λ λ
30 CAPÍTULO 2. TRANSFORMADA DE LAPLACE
Entonces,
2π π −st
0
e(t)e−st dt 0
e dt 1 − e−πs 1 − e−πs
E(s) = = = = .
1 − e−2πs 1 − e−2πs s(1 − e−2πs ) s(1 − e−πs )(1 + e−πs )
De donde,
1
E(s) = .
s(1 + e−πs )
Al comparar ésto con lo obtenido en la sección anterior observamos que, aparente-
mente, son distintos. En efecto, sólo es apariencia, porque son idénticos. Para
poder entender porqué, necesitamos introducir una suma infinita de potencias
de la variable x, llamada serie geométrica. Siempre que |x| < 1, se cumple que
la suma infinita es igual a
∞
1
= xn = 1 + x + x2 + x3 + x4 + x5 + ... + etc....
1 − x n=0
∞
1 1 1 1 1 1
2= n
= 1 + + 2 + 3 + 4 + 5 + ... + etc....
n=0
2 2 2 2 2 2
Ahora, las formas de obtener E(s) dan el mismo resultado. Notamos que al
aplicar la fórmula para funciones periódicas fue necesario hacer uso de la serie
32 CAPÍTULO 2. TRANSFORMADA DE LAPLACE
geométrica. Para evitar hacer lo mismo en cada ejemplo, podemos hacerlo sólo
una vez al presentar la siguiente versión de dicha fórmula
T
∞
f(t)e−st dt T
−st
L(f)(s) = 0
−sT
= f(t)e dt e−nT s .
1−e 0 n=0
Esto es,
T
−st
L(f)(s) = f(t)e dt (1 + e−T s + e−2T s + e−3T s + ... + etc....).
0
En el ejemplo,
f(t) = g(t − 1) = t − 1, ∀t ∈ [1, 2),
como en efecto sucede. Y ası́ sucesivamente
En el ejemplo,
f(t) = g(t − n) = t − n, ∀t ∈ [n, n + 1).
Para calcular la transformada de Laplace de f(t), damos una representación
en términos de escalones. En efecto, note que
O bien,
∞
∞
f(t) = g(t − nT )HnT (t) − g(t − nT )H(n+1)T (t).
n=0 n=0
O bien,
∞
F (s) = G(s) − L{g(t + T )}(s)e−T s e−nT s .
n=0
Observe que sólo hay que encontrar dos transformadas, las de g(t) y g(t + T ). El
problema se simplifica al máximo. No es usual que la fórmula anterior aparezca
en los textos. Note que se puede escribir como
∞
F (s) = G(s) − L{g(t + T )}(s)e−T s e−nT s .
n=0
O bien,
1
F (s) = 2
1 + e−s + e−2s + e−3s + ...
s
1
− 2 e−s + e−2s + e−3s + ...
s
1
− e−s + e−2s + e−3s + ... .
s
Entonces,
1 1
−s
F (s) = 2
− e + e−2s + e−3s + ... .
s s
Como ejercicio, obtenga la transformada F (s) del ejemplo, usando la fórmula
dada al principio de ésta sección. Esto es, se debe comprobar que
t −st 1 ∞
te dt 1 1
F (s) = 0 −s
= te −st
dt e−ns = 2 − e−s + e−2s + e−3s + ... .
1−e 0 n=0
s s
O bien, que
1
−st 1 1
F (s) = te dt (1+e−s +e−2s +e−3s +...) = 2 − e−s + e−2s + e−3s + ... .
0 s s
Consecuentemente,
∞
1
−πs
−2nπs
E(s) = 1−e e .
n=0
s
O bien,
1
E(s) = 1 + e−2πs + e−4πs + e−6πs + ...
s
1
− e−πs + e−3πs + e−5πs + ...
s
Esto es,
1
E(s) = 1 − e−πs + e−2πs − e−3πs + e−4πs − e−5πs + e−6πs + ... .
s
Que es la misma expresión obtenida anteriormente para éste ejemplo. Observe
que el cálculo se ha reducido al máximo.
Además, si a > 0,
t
(iii) δa (τ ) dτ = Ha (t).
0
También,
t
0, si 0 ≤ t < a,
(iv) f(τ )δa (τ ) dτ =
0 f(a), si t ≥ a,
En particular, si f(t) = e−st , (ii) nos da la transformada de Laplace de la delta
de Dirac
(v) L(δa )(s) = e−as .
Observe que la fórmula para la derivada de una función se verifica al sustituir
la delta de Dirac y el escalón unitario:
e−as
e−as = L(δa )(s) = sL(Ha )(s) − Ha (0) = s .
s
Para cualquier función f(t) obtenemos, de (ii),
Para poder resolver el problema uno se pregunta sobre que forma tiene la función
voltaje para poder calcular su transformada de Laplace. Esto no es necesario.
En vista de que la integral en intervalos muy pequeños, de longitud , es igual a
uno, consecuentemente la altura que debe tener e(t), en esos intervalos, es tan
grande como del orden de 1 . En lugar de tratar de encontrar la transformada
de Laplace de una función, tal vez, muy complicada en los intervalos donde no
es cero, mejor modelamos la función voltaje por deltas de Dirac precisamente
en los lugares en donde toma valores muy grandes, tomando en cuenta que,
2.11. CONVOLUCIÓN. 37
ası́ como el voltaje, la integral de las deltas es igual a uno alrededor del punto
en donde están concentradas. De donde,
e(t) = δπ (t) + δ2π (t) + δ3π (t) + δ4π (t) + ... + etc....
s 1 10
F (s) = = − .
(s + 10)2 s + 10 (s + 10)2
Entonces,
s
f(t) = L−1 (t) = e−10t (1 − 10t).
(s + 10)2
Ahora, recuerde que
O bien,
0, si 0 ≤ t < π,
−10(t−π)
e (1 − 10(t − π)), si π ≤ t < 2π,
i(t) = −10(t−π)
e (1 − 10(t − π)) + e−10(t−2π)(1 − 10(t − 2π)), si 2π ≤ t < 3π,
..., etc., ...
2.11. Convolución.
Dadas dos funciones f : IR+ → IR, g : IR+ → IR, a la nueva función
t
(f ∗ g)(t) = f(t − τ )g(τ ) dτ,
0
38 CAPÍTULO 2. TRANSFORMADA DE LAPLACE
Esto es, basta hacer la convolución entre el voltaje, que es dato, y la función
g(t) = L−1 (G)(t), sin necesidad de calcular E(s). Sólo tenemos que obtener g(t)
y hacer la convolución indicada. Si damos un nuevo dato e(t), para las mismas
constantes L, R, C, y la misma condición inicial i(0) = 0, entonces la corriente
se calcula como la convolución entre la misma función g(t) anterior con el nuevo
voltaje e(t). A la función G(s) se le llama función de transferencia del sistema,
y sólo depende de la ecuación diferencial homogénea, esto es sin considerar al
voltaje. En otras palabras, G(s) depende de las propiedades fı́sicas del circuito.
Y ası́ sucesivamente,
−10t
te , si 0 ≤ t < π,
−10t
te − (t − π))e−10(t−π), si π ≤ t < 2π,
−10t
te − (t − π))e−10(t−π) + (t − 2π))e−10(t−2π), si 2π ≤ t < 3π,
i(t) = −10t
te − (t − π))e−10(t−π) + (t − 2π))e−10(t−2π)
−(t − 3π))e−10(t−3π), si 3π ≤ t < 4π,
...etc.... ...etc....
e(t) = δπ (t) + δ2π (t) + δ3π (t) + δ4π (t) + ... + etc....
esto es, t
i(t) = e−10(t−τ)(1 − 10(t − τ ))e(τ ) dτ.
0
Sin embargo, ahora los valores del voltaje son cero e infinito. Para poder calcular
la integral aplicamos la propiedad de la delta de Dirac
t
0, si 0 ≤ t < a,
f(τ )δa (τ ) dτ =
0 f(a), si t ≥ a,
Y ası́ sucesivamente,
0, si 0 ≤ t < π,
−10(t−π)
e (1 − 10(t − π)), si π ≤ t < 2π,
i(t) = −10(t−π)
e (1 − 10(t − π)) + e−10(t−2π)(1 − 10(t − 2π)), si 2π ≤ t < 3π,
...etc.... ...etc....
Escribiendo esto en términos de la función escalón, obtenemos
s2
s
√
e 4β π 2 2 β
−τ 2
= 1− √ e dτ .
2 β π 0
∞ 2
√
Donde, usamos el resultado: e−τ dτ = 2π . Además,
0
x
2 2
erf(x) = √ e−τ dτ,
π 0
es conocida como función error, muy usada en probabilidad, con la propiedad:
lı́mx→∞ erf (x) = 1. También, se usa la siguiente notación para el complemento
de la función error
erfc(x) = 1 − erf(x).
42 CAPÍTULO 2. TRANSFORMADA DE LAPLACE
De aquı́,
s2
−βt2 e 4β π s
L(e )(s) = erfc √ .
2 β 2 β
Note que
d 2 2
erf (t) = √ e−t ,
dt π
entonces
2
s2
e4 s e s42 s
−t2
L(erf(t))(s) = √ L(e )(s) = erfc = 1 − erf ,
s π s 2 s 2
y también
1 s2
s
L(erfc(t))(s) = 1 − e 4 erfc .
s 2
Ya conocemos la transformada de tn , con n = 1, 2, 3, ...,etc. Ahora, vamos
a encontrar una fórmula más general, para tγ , con −1 < γ ∈ IR. Para ello,
introducimos la siguiente función, llamada función Gamma
∞
Γ(z) = tz−1 e−t dt.
0
Ahora, como Γ(1) = 1, se tiene que Γ(2) = 1·Γ(1) = 1, Γ(3) = 2·Γ(2) = 2·1 = 2!,
Γ(4) = 3 · Γ(3) = 3 · 2! = 3!. Usando inducción matemática se muestra que
Γ(x + n) = (x + n − 1) · (x + n − 2) · (x + n − 3) · · · xΓ(x).
b
cos αt − cos βt ∞
u u 1 u2 + α2
L (s) = − 2 du = lı́m ln
t s
2
u +α 2 u + β2 b→∞ 2 u 2 + β 2 s
2
1 s + β2
= ln 2 .
2 s + α2
Haciendo, s → ∞, se obtiene
d
lı́m L f (s) = lı́m sF (s) − lı́m+ f(t).
s→∞ dt s→∞ t→0
2.13. TEOREMA DEL VALOR INICIAL Y VALOR FINAL. 45
Esto es, obtenemos el valor inicial de la función f(t) en términos del lı́mite al
infinito de su transformada multiplicada por s. Si ahora, hacemos que s → 0, se
obtiene
d
lı́m L f (s) = lı́m sF (s) − lı́m+ f(t).
s→0 dt s→0 t→0
Observe que
∞
d d
lı́m L f (s) = f(t) dt = lı́m f(t) − lı́m+ f(t).
s→0 dt 0 dt t→∞ t→0
Esto es, obtenemos el lı́mite al infinito de la función f(t), en términos del lı́mite
hacia el cero de su transformada multiplicada por s. Sin embargo, éste resultado
tiene sus limitaciones. En efecto, observe que al calcular
d
lı́m L f (s),
s→0 dt
lı́m f(t)
t→∞
exista. En caso de que 0 ∈ / Df , el teorema del valor final puede dar lı́mites
falsos. Considere las siguientes dos funciones.
1
1 = lı́m f(t) = lı́m sF (s) = lı́m s .
t→∞ s→0 s→0 s
46 CAPÍTULO 2. TRANSFORMADA DE LAPLACE
e(t) = δπ (t) + δ2π (t) + δ3π (t) + δ4π (t) + ... + etc....,
entonces,
s2
−πs
sI(s) = e + e−2πs + e−3πs + e−4πs + ... + etc.... .
(s + 10)2
Note que
s2
lı́m = 0,
s→0 (s + 10)2
pero
lı́m e−πs + e−2πs + e−3πs + e−4πs + ... + etc.... = ∞.
s→0
de donde,
1
e−πs + e−2πs + e−3πs + e−4πs + ... + etc.... = − 1.
1 − e−πs
Entonces,
s2 1
sI(s) = − 1 .
(s + 10)2 1 − e−πs
De donde,
s s
lı́m sI(s) = lı́m − 0.
s→0 s→0 (s + 10)2 1 − e−πs
Como
s
lı́m = 0,
s→0 (s + 10)2
basta calcular (se deja al lector)
s 1
lı́m = .
s→0 1 − e−πs π
Consecuentemente,
lı́m i(t) = lı́m sI(s) = 0.
t→∞ s→0
Resultado que concuerda con la solución obtenida en la sección 10. En efecto,
se obtuvo que
i(t) = Hπ (t)e−10(t−π) (1−10(t−π))+H2π (t)e−10(t−2π) (1−10(t−2π))+...+etc....
O bien,
0, si 0 ≤ t < π,
−10(t−π)
e (1 − 10(t − π)), si π ≤ t < 2π,
i(t) = −10(t−π)
e (1 − 10(t − π)) + e−10(t−2π)(1 − 10(t − 2π)), si 2π ≤ t < 3π,
..., etc., ...
De cualquiera de éstas dos expresiones, es claro que lı́mt→∞ i(t) = 0. Como lo
da el teorema del valor final, sin necesidad de calcular i(t).
Sin embargo, como ya se observó anteriormente, el teorema del valor final
no siempre es aplicable. Por ejemplo, si consideramos el mismo ejemplo anterior
pero con R = 0, L = 1, C −1 = 4, entonces
s2
−πs
sI(s) = e + e−2πs + e−3πs + e−4πs + ... + etc.... .
s2 +4
O bien,
s2 1
sI(s) = 2
− 1 .
s +4 1 − e−πs
Como antes, se obtiene que
s s
lı́m sI(s) = lı́m − 0 = 0.
s→0 s→0 s2 + 4 1 − e−πs
48 CAPÍTULO 2. TRANSFORMADA DE LAPLACE
i(t) = Hπ (t) cos (2(t − π))+H2π (t) cos (2(t − 2π))+H3π (t) cos (2(t − 3π))+...+etc....
O bien,
∞
i(t) = Hnπ (t) cos (2t − 2nπ).
n=1
Como el coseno es una función periódica con perı́odo igual a 2π, entonces
De donde,
∞
i(t) = cos (2t) Hnπ (t).
n=1
O bien,
0, si 0 ≤ t < π,
cos (2t), si π ≤ t < 2π,
2 cos (2t), si 2π ≤ t < 3π,
i(t) =
..., etc., ...
k cos (2t), si kπ ≤ t < (k + 1)π,
..., etc., ...
Note que la solución es un coseno con una amplitud que tiende√a infinito si
t → ∞. Observe que la frecuencia natural del sistema es: 2 = 4, mientras
que la del término derecho e(t), es: 2ππ = 2. Son iguales. Se da el fenómeno de
resonancia. Esto es, el lı́mite
lı́m i(t),
t→∞
no existe. El teorema del valor final no es aplicable. Note que en los dos ejemplos
anteriores, e(t) es el mismo voltaje. En el cálculo de sI(s), E(s) está multiplicada
por la transformada de una función que involucra a la exponencial e−10t , en el
primer ejemplo.
s2 20 100
=1− + .
(s + 10)2 s + 10 (s + 10)2
Mientras que en el segundo, E(s) está multiplicada por la transformada de una
función que involucra al seno sin (2t).
s2 4
=1− 2 .
s2 +4 s +4
Los dominios de las respectivas transformadas son diferentes. En el primer ejem-
plo incluye al cero, en el segundo no. Por ello, sólo en el primero, podemos com-
probar el teorema del valor final. En otras palabras, decimos que el teorema del
valor final es aplicable o válido siempre que el lı́mite
Esto es, que sea igual a una constante real c. Esto implica que la solución se
mantiene acotada y además, se acerca a un valor real cuando el tiempo crece.
Entonces se dice que la solución es estable. De otra forma, como vimos en el
ejemplo anterior, la solución no se acerca a ningún valor real para tiempos
grandes. En éste caso, se dice que la solución es inestable. Damos dos ejemplos
más.
Si cambiamos e(t) por t2 , en el primer ejemplo, obtenemos
2
sI(s) = .
s(s + 10)2
El lı́mite cuando s → 0, no existe en los reales. Si calculamos la solución, obten-
emos
2 1 1 1 1
I(s) = 2 2
=− + 2
+ + .
s (s + 10) 250s 50s 250(s + 10) 50(s + 10)2
De donde,
1 1 1 −10t 1
i(t) = − + t+ e + te−10t .
250 50 250 50
Vemos que el lı́mite cuando t → ∞, no existe en los reales. El teorema del valor
final no es aplicable. Si ahora, e(t) = t, entonces
1 1
lı́m i(t) = lı́m sI(s) = lı́m = .
t→∞ s→0 s→0 (s + 10)2 100
Si calculamos la solución, obtenemos
1 1 1 1
I(s) = = − − .
s(s + 10)2 100s 100(s + 10) 10(s + 10)2
De donde,
1 1 −10t 1
i(t) = − e − te−10t , lı́m i(t) = 0.
100 100 10 t→∞
Verificamos que, en éste caso, el teorema del valor final se cumple. De todos
los ejemplos anteriores concluimos que, tanto la ecuación como el término no
homogéneo, influyen en la aplicabilidad del teorema del valor final. Ambos se
reflejan en la forma de sI(s). Su denominador ha determinado la aplicabilidad
del teorema del valor final de la siguiente forma. Las raı́ces del denominador de
sI(s), también llamados polos de sI(s), deben ser estrı́ctamente menores que
cero, si son reales. Si hay raı́ces complejas, la parte real debe ser estrı́ctamente
menor que cero. Esto es, los polos de la función sI(s) deben estar en la región
del plano complejo a la izquierda del eje imaginario para que el teorema del
valor final sea válido. Esto se resume en el siguiente enunciado.
Teorema 1. Estabilidad. Sea f : [0, ∞) → IR : t
→ f(t). Suponga que f(t)
tiene transfromada de Laplace, y que los polos de la función sF (s) quedan a la
izquierda del eje imaginario. Entonces,
lı́m f(t) = lı́m sF (s) ∈ IR.
t→∞ s→0
50 CAPÍTULO 2. TRANSFORMADA DE LAPLACE
Esto es, f(t) se dice estable. De otra forma, el lı́mite no existe. ya sea porque
f(t) se acerca a ±∞ o bien porque oscila entre distintos valores en un intervalo
de la recta. En este caso se dice que f(t) es inestable.
En particular, la solución i(t) de una ecuación integro-diferencial, como la
del circuito de nuestros ejemplos, es estable si los polos de la función sI(s) están
a la izquierda del eje imaginario. Esto es, el lı́mite al infinito existe
Para ello vamos a usar el teorema del valor final. Entonces necesitamos encontrar
Concluimos, entonces que, después de un tiempo muy grande, las corrientes son
casi constantes e iguales a dos y uno, respectivamente. Note que esta conclusión
2.14. SISTEMAS DE ECUACIONES. 51
d
lı́m i1 (t) = −20 lı́m i1 (t) − 15 lı́m i2 (t) + 55 = 0,
t→∞ dt t→∞ t→∞
d 15 25 55
lı́m i2 (t) = − lı́m i1 (t) − lı́m i2 (t) + = 0.
t→∞ dt 2 t→∞ 2 t→∞ 2
Note que, 2s2 + 65s + 275 = (s + 5)(2s + 55), y separando en fracciones parciales
−1 110 −1 2 −1 4
i1 (t) = L =L −L ,
s(2s + 55) s 2s + 55
de aquı́
55
55
i1 (t) = 2 1 − e−( 2 )t , i2 (t) = 1 − e−( 2 )t
t = 0:
d
55 = i1 (0) = −20i1 (0) − 15i2 (0) + 55,
dt
55 d 15 25 55
= i2 (0) = − i1 (0) − i2 (0) + .
2 dt 2 2 2
Resolvemos para encontrar i1 (0), i2 (0), y obtenemos que i1 (0) = 0 = i2 (0).
Observe que estas son las mismas condiciones iniciales del problema anterior.
Consecuentemente, ahora el problema se resuelve como antes, concluyendo que
Series de Fourier
3.1. Motivación.
Recuerde que dado un vector en u ∈ IR2 , normalmente lo escribimos como
u = u1i + u2j.
Donde i, j, son vectores unitarios, miden una unidad, y tienen direcciones hori-
zontal apuntando en direccioón positiva al eje x, y vertical apuntando en direc-
cioón positiva al eje y, rspectivamente. Y las constantes u1 , u2 dan la magnitud
del vector en las direcciones horizontal y vertical, rspectivamente. Si consider-
amos otro vector v ∈ IR2 , diferente a u, entonces
v = v1i + v2j,
B2 = {i, j},
53
54 CAPÍTULO 3. SERIES DE FOURIER
3.2. Definición.
Considere una función f : IR → IR : t
→ f(t), periódica con perı́odo T > 0,
esto es,
f(t + T ) = f(t), ∀t ∈ IR,
∞
1
s(t) = a0 + {an cos (nωt) + bn sin (nωt)},
2 n=1
2π
donde, ω = T =la frecuencia, y el conjunto de constantes
1
a0 , an , bn , ∀n ≥ 1
2
Observe que la serie de Fourier es una suma. Sin embargo como es infinita se
le llama serie. Para definirla en forma más precisa, se hace en términos de un
lı́mite, esto es,
s(t) = lı́m sN (t),
N→∞
3.2. DEFINICIÓN. 55
1 N
sN (t) = a0 + {an cos (nωt) + bn sin (nωt)}
2 n=1
1
= a0 + a1 cos (ωt) + b1 sin (ωt) + a2 cos (2ωt) + b2 sin (2ωt)
2
+... + a(N−1) cos ((N − 1)ωt) + b(N−1) sin ((N − 1)ωt)
+aN cos (N ωt) + bN sin (N ωt).
N
1 1 1 1
sN = = 1 + + + ... + .
n=1
n 2 3 N
Nos damos cuenta que cada sumando se va haciendo mas pequeño, y podemos
∞
pensar que el lı́mite existe, esto es que n=1 n1 = c ∈ IR. Sin embargo es posible
mostrar que esto no es ası́. En efecto, considere 1 ≤ x ∈ IR. Note que x ≥ [x],
donde [x] = parte entera de x. Por ejemplo: [3,55] = 3. De donde,
1 1
≥ .
[x] x
Calculando la integral de cada lado, en el intervalo [1, N + 1], nos damos cuenta
N+1 1
que el área bajo la curva de la derecha es igual a 1 x dx = ln (N + 1).
Mientras que el área bajo la función de la izquierda, sin hacer la integral, es
1
igual a sN = N n=1 n , entonces
N
1
≥ ln (N + 1).
n=1
n
Al tomar el lı́mite,
∞
1
≥ lı́m ln (N + 1) = ∞.
n=1
n N→∞
56 CAPÍTULO 3. SERIES DE FOURIER
La suma que pensamos era igual a un número real, no lo es. La serie diverge. El
ejemplo muestra que deducir la convergencia o divergencia de una serie es un
asunto complicado. Existen criterios para resolver este problema. En particular,
en la siguiente sección daremos condiciones bajo las cuales es siempre posible
garantizar que la serie de Fourier si converge y además podemos saber a que
converge.
En la serie de Fourier aparecen, además de las constantes, coeficientes de
Fourier, el conjunto de funciones trigonométricas
BF = {1, cos (nωt), sin (nωt), ∀n ≥ 1}.
A éste conjunto se le llama base de Fourier trigonométrica, y tiene la
propiedad
de ser ortogonal en el siguiente sentido: la integral en el intervalo − T2 , T2 , de
la multiplicación entre dos de estas funciones es cero si son distintas y distinta
de cero si son iguales, es decir, para cualquier valor de n = 1, 2, 3, ..., y de
m = 1, 2, 3, ...,
T
2 2
1 · cos (nωt) dt = 0,
T − T2
T
2 2
1 · sin (nωt) dt = 0,
T − T2
T
1 2
1 · 1 dt = 1,
T − T2
T
2 2
cos (mωt) · sin (nωt) dt = 0,
T − T2
T
2 2
1, si n = m,
cos (mωt) · cos (nωt) dt =
T − T2 0, si n = m,
T
2 2
1, si n = m,
sin (mωt) · sin (nωt) dt =
T −2 T 0, si n = m.
El lector puede comprobarlas calculando directamente las integrales. Estas
relaciones de ortogonalidad sirven para deducir las fórmulas para calcular los co-
eficientes de Fourier. En efecto, recuerde que en la sección anterior mencionamos
la representación de vectores mediante elementos de una base. Ilustramos este
concepto con vectores en IR2 y la base canónica B2 = {i, j}. También, men-
cionamos que el objetivo de una serie de Fourier es muy similar. El vector es
ahora una función periódica, y la base BF , está formada por un número in-
finito de elementos: senos, cosenos, y una constante. La idea es representar a
cualquier función periódica mediante el lı́mite de una suma (serie) de elementos
de BF , donde las componentes de nuestra función (vector), son los coeficientes
de Fourier. Entonces, suponga que
∞
1
f(t) = a0 + {an cos (nωt) + bn sin (nωt)}.
2 n=1
3.2. DEFINICIÓN. 57
∞
T T
= a0 + {an · 0 + bn · 0} = a0 .
2 n=1
2
Esto es, la fórmula para calcular el primer coeficiente de Fourier. Note que hemos
usado las relaciones de ortogonalidad. Ahora, multiplicamos por cos (mωt), con
m fijo pero arbitrario: m = 1, 2, 3, ..., e integramos en el mismo intervalo,
T2 T2
1
f(t) cos (mωt) dt = a0 cos (mωt) dt
− T2 2 − T2
∞
! T
2
+ an cos (nωt) cos (mωt) dt
n=1 − T2
T
"
2
+bn sin (nωt) cos (mωt) dt
− T2
∞
∞
1 T T
= a0 · 0 + am + an · 0 + bn · 0 = am ,
2 2 2
n=1,n=m n=1
∞ ∞
1 T T
= a0 · 0 + an · 0 + b m + bn · 0 = bm ,
2 2 2
n=1 n=1,n=m
función, por ser constante, se le puede asociar cualquier perı́odo T > 0, ya que
f(t + T ) = 1 = f(t), ∀t ∈ IR, ∀T > 0.
Para obtener la serie de fourier correspondiente, debemos calcular los coefi-
cientes. Para ello usamos las relaciones de ortogonalidad de arriba, y obtenemos
que
T2
1 1
a0 = 1 dt = 1,
2 T − T2
T2
2
an = 1 · cos (nωt) dt = 0, n = 1, 2, 3, ...,
T − T2
T2
2
bn = 1 · sin (nωt) dt = 0, n = 1, 2, 3, ..., .
T − T2
Esto es, la función f(t), y su serie de Fourier s(t), son exactamente iguales. De
hecho, la idea de construir la serie de Fourier de cualquier función periódica
es dar su representación en términos de las funciones que están en la base de
Fourier BF . Esta idea es la misma que describimos en la primera sección de estas
notas al representar a un vector en IR2 en términos de la base canónica B2 . Los
coeficientes de Fourier son las componenetes, respecto a la base BF , de la función
periódica (vector) f(t). Si tomamos cualquier función f(t) ∈ BF , y queremos
representarla en términos de funciones de este conjunto, la respuesta es trivial:
la misma función es igual a su serie de Fourier. Regresando al caso de la primera
sección, si tomamos al vector u = i, entonces su representación, respecto a la
base B2 , es el mismo vector. Esto es, sus componentes son: u1 = 1, u2 = 0.
En el ejemplo de esta sección, notamos que una de las funciones en el conjunto
base de Fourier es precisamente la función constante igual a uno. Por ello, la
conclusión de que los coeficientes de Fourier (componentes) son todos iguales a
cero excepto 12 a0 , que es igual a uno. Otro ejemplo en la misma situación es,
f(t) = sin t, ∀t ∈ IR. Inmediatamente notamos que T = 2π, y ω = 1. Además,
sin t ∈ BF == {1, cos (nt), sin (nt), ∀n ≥ 1}.
Consecuentemente, ya que la función es continua, es igual a su serie de Fourier
∞
1 1
sin t = s(t) = a0 + {an cos (nt)+bn sin (nt) = a0 +a1 cos t+b1 sin t+...+...
2 n=1
2
∞ ∞
1 π 2 ((−1)n − 1)
s(t) = a0 + {an cos (nωt) + bn sin (nωt)} = + cos (nt).
2 n=1
2 π n=1 n2
Si observamos que
0, si n es par,
(−1)n − 1 =
−2, si n es impar,
60 CAPÍTULO 3. SERIES DE FOURIER
entonces
(−1)n − 1 −2
cos (nt) = cos ((2n − 1)t),
n2 (2n − 1)2
de donde
∞
π 4 1
s(t) = − cos ((2n − 1)t).
2 π n=1 (2n − 1)2
O bien,
π 4 1 1 1
s(t) = − (cos t + 2 cos (3t) + 2 cos (5t) + 2 cos (7t) + .... + ...)
2 π 3 5 7
Aunque no lo parezca, la función f(t) y su serie de Fourier s(t), son iguales.
Si la función es continua, esto lo garantiza el teorema de convergencia de Fourier.
Son dos representaciones distintas de la misma gráfica. Recuerde que el objetivo
de una serie de Fourier es dar una representación en términos de la base de
Fourier BF . La representación original de f(t) es a través de rectas. La que
nos da la serie de Fourier es en términos de funciones trigonométricas. Como
las rectas no son elementos en la base, la representación s(t) se ve diferente
a la función f(t), y parece un tanto increı́ble que las rectas se puedan escribir
usando senos y cosenos. Es a través de un lı́mite (suma infinita) que una suma de
funciones trigonométricas pueda ser igual a una sucesión de rectas. De hecho,
para lograr representar a la función f(t), se necesita un número infinito de
componentes diferentes de cero, estas son: 12 a0 , y an , con n impar. Entonces,
∞
π 4 1
s(t) = − cos ((2n − 1)t)
2 π n=1 (2n − 1)2
π 4 1 1 1
= − (cos t + 2 cos (3t) + 2 cos (5t) + 2 cos (7t) + .... + ...)
2 π 3 5 7
= f(t).
Es recomendable que el lector haga el ejercicio de graficar la suma finita sN (t),
que aproxima a la serie de Fourier, para algún número N , por ejemplo N = 5.
Observará que f(t) y sN (t), son muy parecidas, excepto por oscilaciones, que
disminuyen cuando N crece y desaparecen al tomar el lı́mite: N → ∞.
Regresando al resultado, recuerde que f(0) = 0, de donde
∞
π 4 1
0= − ,
2 π n=1 (2n − 1)2
esto es,
∞
1 1 1 π2
= 1 + + + ... + ... = ,
n=1
(2n − 1)2 32 52 8
que es un resultado conocido en series numéricas. Por otro lado, en el intervalo
t ∈ [0, π) se tiene que f(t) = t, entonces
∞
π 4 1
t= − cos ((2n − 1)t), t ∈ [0, π),
2 π n=1 (2n − 1)2
3.3. EXISTENCIA. 61
3.3. Existencia.
Aquı́ enunciamos el teorema de convergencia de Fourier que, bajo algunas
condiciones, garantiza que cualquier función periódica es igual, o casi igual, a
su serie de Fourier trigonométrica. Ilustraremos con ejemplos este teorema.
Hipótesis (H). Suponga que tanto f(t) como su derivada son continuas
a trozos, y las posibles discontinuidades son de tipo salto. Esto es, si f(t) es
discontinua en t = a, entonces los lı́mites por la derecha y por la izquierda:
f+ (a) = lı́mt→a+ f(t), f− (a) = lı́mt→a− f(t), existen pero son diferentes, y el
salto de la función f(t), en el punto t = a, es igual a la diferencia: f+ (a)−f− (a).
Si la función es continua en t = a, recuerde que f(a) = f+ (a) = f− (a).
1
(f+ (t) + f− (t)) = s(t)
2
∞
1
= a0 + {an cos (nωt) + bn sin (nωt)}.
2 n=1
Esto es, la serie de Fourier es igual al punto medio del salto: 12 (f+ (t) + f− (t)),
sólo en los puntos donde la función sea discontinua, y es igual al valor de la
función: 12 (f+ (t) + f− (t)) = f(t), en los puntos donde sea continua.
y tal que
f(t + 2π) = f(t), ∀t ∈ IR.
0 π
1 π 1
bn = f(t) sin (nωt) dt = − sin (nt) dt + sin (nt) dt
π −π π −π 0
1
= (cos (nt)|0−π − cos (nt)|π0 )
nπ
2 2
= (1 − cos (nπ)) = (1 − (−1)n ), n = 1, 2, 3, ..., .
nπ nπ
Consecuentemente, la función s(t) es
∞ ∞
1 2 (1 − (−1)n )
s(t) = a0 + {an cos (nωt) + bn sin (nωt)} = sin (nt).
2 n=1
π n=1 n
Si observamos que
0, si n es par,
1 − (−1)n =
2, si n es impar,
entonces
1 − (−1)n 2
sin (nt) = sin ((2n − 1)t),
n 2n − 1
de donde
∞
4 1
s(t) = sin ((2n − 1)t).
π n=1 2n − 1
O bien,
4 1 1 1
s(t) = (sin t + sin (3t) + sin (5t) + sin (7t) + .... + ...).
π 3 5 7
3.3. EXISTENCIA. 63
note que esta igualdad es evidentemente cierta ya que el seno en cero es igual a
cero,
(iii) el valor de la función f(t), si t ∈ (0, π), ya que en este intervalo abierto
la función es continua,
∞
4 1
sin ((2n − 1)t) = 1 = f(t), t ∈ (0, π).
π n=1 2n − 1
Note que en los extremos del intervalo (−π, π), la función es discontinua, y
el valor promedio del salto es igual a cero:
1 1 1 1
(f+ (−π) + f− (−π)) = (−1 + 1) = 0, (f+ (π) + f− (π)) = (−1 + 1) = 0,
2 2 2 2
de donde
∞
4 1
sin ((2n − 1) ± π) = 0,
π n=1 2n − 1
igualdad que es evidentemente cierta ya que el seno en cualquier múltiplo de π
es igual a cero.
Si ahora tomamos k = 1, entonces obtendremos el valor de la serie para t ∈
(−3π, −2π), t = −2π, y para t ∈ (−2π, −π), si tomamos el signo menos. Pero,
si tomamos el signo positivo, obtendremos el valor de la serie para t ∈ (π, 2π),
64 CAPÍTULO 3. SERIES DE FOURIER
∞
4 1 π
sin ((2n − 1) ) = 1,
π n=1 2n − 1 2
∞
(−1)(n−1) 1 1 1 π
= 1 − + − + ... + ... = .
n=1
2n − 1 3 5 7 4
Por otro lado, como f(t) y s(t) sólo difieren en puntos, podemos calcular la
siguiente integral como
∞
2
π π
16 π 1
2 2
|f(t)| dt = |s(t)| dt = 2 sin ((2n − 1)t) dt.
−π −π π −π n=1
2n − 1
Note que
π
|f(t)|2 dt = 2π.
−π
También,
∞
2
1
sin ((2n − 1)t)
n=1
2n − 1
∞
∞
1 1
= sin ((2n − 1)t) sin ((2m − 1)t)
n=1
2n − 1 m=1
2m − 1
∞
1 1
= sin ((2n − 1)t) sin ((2m − 1)t).
n,m=1
2n − 1 2m −1
3.4. UNICIDAD. 65
Entonces,
∞
2 ∞
π
16 π 1 16 1
2π = |f(t)|2 dt = 2 sin ((2n − 1)t) dt = .
−π π −π n=1
2n − 1 π n=1 (2n − 1)2
Lo que implica
∞
1 π2
2
= .
n=1
(2n − 1) 8
Resultado ya obtenido en la sección anterior de otra forma. Más adelante vere-
mos una generalización de esta manera de proceder llamada identidad de Par-
seval.
3.4. Unicidad.
Sea f : IR → IR : t
→ f(t) periódica con perı́odo T > 0, esto es, f(t + T ) =
f(t), ∀t ∈ IR, y suponga que f(t) satisace la hipótesis (H). Entonces, f(t) tiene
serie de Fourier s(t), tal que
∞
1 1
(f+ (t) + f− (t)) = s(t) = a0 + {an cos (nωt) + bn sin (nωt)},
2 2 n=1
π2 π
2 1 2
an = sin t cos (2nt) dt = {sin ((2n + 1)t) − sin ((2n − 1)t)} dt
π − π2 π − π2
2 1 π 1 π
= − cos ((2n + 1)t)|− π | −
2
cos ((2n − 1)t)|− π = 0, ∀n ≥ 1,
2
π 2n + 1 2 2n − 1 2
π2 π2
2 1
bn = sin t sin (2nt) dt = {cos ((2n − 1)t) − cos ((2n + 1)t)} dt
π − π2 π − π2
1 1 π 1 π
= sin ((2n − 1)t)|− π | −
2 2
sin ((2n + 1)t)|− π
π 2n − 1 2 2n + 1 2
1 2 π 2 π
= sin (2n − 1) − sin (2n + 1)
π 2n − 1 2 2n + 1 2
1 2 2 8n
= (−1)n+1 + = (−1)n+1 , ∀n ≥ 1.
π 2n − 1 2n + 1 π(4n2 − 1)
De donde,
∞ ∞
1 8n
s(t) = a0 + {an cos (2nt) + bn sin (2nt)} = 2 − 1)
(−1)n+1 sin (2nt)
2 n=1 n=1
π(4n
8 1 2 3
= sin (2t) − sin (4t) + sin (6t) − ... + ... .
π 3 15 35
Además,
1
(f+ (t) + f− (t)) = s(t), ∀t ∈ IR.
2
(2k−1)π
En particular, s(t) = 0, si t = ± 2 , k = 1, 2, 3, ..., ya que el punto medio
en cada discontinuidad es igual a cero. Esto es,
∞
8n
0= (−1)n+1 sin (n(2k − 1)π).
n=1
π(4n2 − 1)
Lo cual es evidentemente cierto ya que el seno de cualquier múltiplo de π es cero.
En cualquier otro punto t = ± (2k−1)π
2
, k = 1, 2, 3, ..., la función es continua, y
f(t) = s(t),
∞
8 n (2k − 1)π
f(t) = (−1)n+1 sin (2nt), ∀t = ± , k = 1, 2, 3, ...
π n=1 4n2 − 1 2
π
En particular, si t = 4,
1 π 8 ∞
n nπ
√ = sin = (−1)n+1
sin .
2 4 π n=1 4n2 − 1 2
3.5. LINEALIDAD. 69
Note que,
nπ
(−1)m−1 , si n = 2m − 1,
sin = m = 1, 2, 3, ...
2 0, si n = 2m,
De donde,
∞
π 2m − 1 1 3 5 7 9
√ = (−1)m−1 = − + − + − ... + ....
8 2 m=1 4(2m − 1)2 − 1 3 35 99 195 323
3.5. Linealidad.
Esta propiedad es muy útil para calcular series de Fourier. Denotemos por
sf (t), la serie de Fourier de la función f(t). Entonces se cumple que, para dos
funciones f(t), g(t), y constante c real o compleja, cualesquiera
sf+g (t) = sf (t) + sg (t),
scf (t) = csf (t).
En palabras: la serie de Fourier de f(t) + g(t), es igual a la suma de las series
de Fourier de f(t) mas la de g(t). La serie de Fourier de cf(t), es igual a la serie
de Fourier de f(t) multiplicada por la constante c.
Analicemos el siguiente el ejemplo.
1, si −π ≤ t < 0,
h(t) =
0, si 0 ≤ t < π,
y tal que
h(t + 2π) = h(t), ∀t ∈ IR.
Observe que ésta función es periódica con perı́odo T = 2π, entonces ω = 1.
Tambén note que,
1
h(t) = (1 − f(t)),
2
donde
−1, si −π ≤ t < 0,
f(t) =
1, si 0 ≤ t < π,
y tal que
f(t + 2π) = f(t), ∀t ∈ IR.
El perı́odo T = 2π, entonces ω = 1. Recuerde que la serie de Fourer de f(t) la
calculamos en la sección tres
∞
4 1
s(t) = sin ((2n − 1)t).
π n=1 2n − 1
O bien,
4 1 1 1
s(t) = (sin t + sin (3t) + sin (5t) + sin (7t) + .... + ...).
π 3 5 7
70 CAPÍTULO 3. SERIES DE FOURIER
∞
1 2 1
sh (t) = − sin ((2n − 1)t).
2 π n=1 2n − 1
O bien,
1 2 1 1 1
sh (t) = − (sin t + sin (3t) + sin (5t) + sin (7t) + .... + ...).
2 π 3 5 7
3.6. Paridad.
Una función h : IR → IR, es par si: h(−t) = h(t), ∀t ∈ IR. Es impar si
h(−t) = −h(t), ∀t ∈ IR. Recuerde las siguientes propiedades:
Recuerde que el seno es una función impar y el coseno es par. Dea aquı́ obten-
emos, si f : IR → IR : t
→ f(t) es periódica con perı́odo T > 0, y f(t) satisace la
3.6. PARIDAD. 71
hipótesis (H)
∞
1
(vi) f par ⇒ sf par, sf (t) = a0 + an cos (nωt) dt, la serie es de cosenos,
2 n=1
T T
1 2 2 4 2
a0 = f(t) dt, an = f(t) cos (nωt) dt, bn = 0, ∀n ≥ 1,
2 T 0 T 0
∞
(vii) f impar ⇒ sf impar, sf (t) = bn sin (nωt) dt, la serie es de senos,
n=1
T
4 2
a0 = 0, an = 0, bn = f(t) sin (nωt) dt, ∀n ≥ 1.
T 0
En los ejemplos que hemos dado podemos verificar las propiedades anteriores.
Note que de ahora en adelante, si la función es impar, ya no será necesario
calcular los coeficicentes a0 y an , ∀n ≥ 1, ya que son iguales a cero. Además el
cálculo de bn , ∀n ≥ 1, se puede hacer con la nueva fórmula en (vii), aprovechando
la propiedad (v). Similarmente, si la función es par, bn = 0, ∀n ≥ 1, y el cálculo
de a0 y an , ∀n ≥ 1, se puede hacer con las nuevas fórmulas en (vi), que son
implicadas por la propiedad (v).
Si la función no es par ni tampoco impar, entonces la serie es de senos y
cosenos. No hay simplificaciones en el cálculo de coeficientes, a menos que la
función sea igual a una combinación lineal (suma finita) de elementos de la base
de Fourier BF , como en el ejemplo, f(t) = sin3 t, ∀t ∈ IR, de la sección cuatro.
En tal caso, no es necesario calcular las integrales para poder encontrar los
coeficientes de Fourier.
Dada cualquier función f : IR → IR, siempre es posible escribirla como la
suma de una función par más una impar. En efecto, la siguiente identidad es
obvia
1 1
f(t) = {f(t) + f(−t)} + {f(t) − f(−t)}.
2 2
Sin embargo, observe que f1 (t) = 12 {f(t) + f(−t)} es una función par, mientras
que f2 (t) = 12 {f(t) − f(−t)} es una función impar. Entonces, la serie de Fourier
de cualquier función se puede ver, usando la linealidad, como la suma de dos
series de Fourier: la de una función par más la de una impar. Suponga que
queremos encontrar la serie de Fourier de
0, si −π ≤ t < 0,
h(t) =
1, si 0 ≤ t < π,
y tal que
h(t + 2π) = h(t), ∀t ∈ IR.
Observe que ésta función es periódica con perı́odo T = 2π, entonces ω = 1.
Vamos a construir las funciones par e impar cuya suma nos da h(t). Primero,
1, si −π ≤ t < 0,
h(−t) =
0, si 0 ≤ t < π,
72 CAPÍTULO 3. SERIES DE FOURIER
con
h(−t + 2π) = h(−t), ∀t ∈ IR.
De donde, la función par es
1 1
h1 (t) = {h(t) + h(−t)} = , π ≤ t < π,
2 2
con
h1 (t + 2π) = h1 (t), ∀t ∈ IR,
esto es
1
h(t) = , ∀t ∈ IR.
2
Por otro lado,
1 1 −1, si −π ≤ t < 0,
h2 (t) = {h(t) − h(−t)} =
2 2 1, si 0 ≤ t < π,
con
h2 (t + 2π) = h2 (t), ∀t ∈ IR.
Observe que la función impar es igual a un medio de la función f(t), considerada
en el ejemplo de la sección tres. De donde,
1
h(t) = h1 (t) + h2 (t) = (1 + f(t)).
2
Recuerde que la serie de Fourier de la función f(t) es
∞
4 1
sf (t) = sin ((2n − 1)t).
π n=1 2n − 1
O bien,
4 1 1 1
sf (t) = (sin t + sin (3t) + sin (5t) + sin (7t) + .... + ...).
π 3 5 7
Observe que por ser impar, a0 = 0 y an = 0, ∀n ≥ 1. También, recuerde que la
serie de Fourier de la función constante es igual a esa constante, en este caso un
medio. De donde, la serie de la función h(t), es
∞
1 2 1
sh (t) = + sin ((2n − 1)t).
2 π n=1 2n − 1
O bien,
1 2 1 1 1
sh (t) = + (sin t + sin (3t) + sin (5t) + sin (7t) + .... + ...).
2 π 3 5 7
3.7. TRASLACIÓN. AMPLITUD Y FASE. 73
y tal que
g(t + 2π) = g(t), ∀t ∈ IR.
Observe que ésta función es periódica con perı́odo T = 2π, entonces ω = 1.
Además, note que
1
g(t) = h t − π ,
4
donde h(t), es la función del ejemplo de la sección anterior. Observe, que g(t)
también se puede definir como
1, si −π ≤ t < − 34 π,
g(t) = 0, si − 34 π ≤ t < 14 π,
1, si 14 π ≤ t < π,
y tal que
g(t + 2π) = g(t), ∀t ∈ IR.
En palabras, las gráficas de las funciones g y h son iguales, sólo que la de g es
igual a la de h con el origen en t = 14 π, esto es, la gráfica es trasladada una
distancia 14 π a la derecha. Consecuentemente, la serie de Fourier de g(t) es
∞
1 2 1 1
sg (t) = + sin (2n − 1) t − π .
2 π n=1 2n − 1 4
74 CAPÍTULO 3. SERIES DE FOURIER
Note que,
1 1
sin (2n − 1) t − π = sin ((2n − 1)t) cos (2n − 1) π
4 4
1
− cos ((2n − 1)t) sin (2n − 1) π .
4
De donde,
∞
1 2 1 1
sg (t) = − sin (2n − 1) π cos ((2n − 1)t)
2 π n=1 2n − 1 4
1
− cos (2n − 1) π sin ((2n − 1)t) .
4
Observe que g(t) no es una función impar, como h(t), y tampoco es par. Por
ello, la serie es de cosenos y de senos,
1 1
a0 = ,
2 2
2 1
a2n−1 = − sin (2n − 1) π , ∀n ≥ 1
(2n − 1)π 4
2 1
b2n−1 = cos (2n − 1) π , ∀n ≥ 1
(2n − 1)π 4
O bien,
√
1 2 1 1
sg (t) = − cos t − sin t + (cos (3t) + sin (3t)) − (cos (5t) − sin (5t))
2 π 3 5
1
− (cos (7t) + sin (7t)) + .... + ... .
7
∞
1 1
(f+ (t) + f− (t)) = s(t) = a0 + {an cos (nωt) + bn sin (nωt)},
2 2 n=1
y los ángulos ϕn = π
2
− ψn , son las fases, definidas a través de
o bien, como
∞
1
s(t) = a0 + An sin (nωt + ψn ).
2 n=1
o bien, como
∞
1 2 1
sg (t) = + sin (2n − 1) t − π .
2 n=1 (2n − 1)π 4
Observe que ésta última presentación fue la que obtuvimos al aplicar la traslación
a la serie sh (t), para obtener sg (t).
76 CAPÍTULO 3. SERIES DE FOURIER
Sean f : IR → IR : t
→ f(t), g : IR → IR : t
→ g(t) periódicas, con perı́odo
T > 0, y suponga que satisacen la hipótesis (H), entonces
1
(f+ (t) + f− (t)) = sf (t)
2
∞
1
= a0 + {an cos (nωt) + bn sin (nωt)},
2 n=1
1
(g+ (t) + g− (t)) = sf (t)
2
∞
1
= c0 + {cn cos (nωt) + dn sin (nωt)},
2 n=1
T T
2 2
f(t)g(t) dt = sf (t)sg (t) dt.
− T2 − T2
! ∞
"
T
2
T
2 1
f(t)g(t) dt = a0 + an cos (nωt) + bn sin (nωt)}
− T2 − T2 2 n=1
! ∞
"
1
c0 + cm cos (mωt) + dm sin (mωt)} dt
2 m=1
T2 ! ∞
"
1 1
= a0 c0 + cm cos (mωt) + dm sin (mωt)} dt
2 − T2 2 m=1
∞ T2 ! ∞
"
1
+ an cos (nωt) c0 + cm cos (mωt) + dm sin (mωt)} dt
n=1 − T2 2 m=1
∞ T2 ! ∞
"
1
+ bn sin (nωt) c0 + cm cos (mωt) + dm sin (mωt)} dt
n=1 − T2 2 m=1
3.8. IDENTIDADES DE BESSEL Y DE PARSEVAL. 77
∞
! T T "
T 1 2 1 2
= a 0 c0 + a 0 cm cos (mωt) dt + a0 dm sin (mωt)} dt
2 m=1
2 − T2 2 − T2
∞
! T2 ∞ T2
1
+ a n c0 cos (nωt) dt + a n cm cos (nωt) cos (mωt) dt
n=1
2 − T2 m=1 − T2
T2 "
+an dm cos (nωt) sin (mωt) dt
− T2
∞
! T2 ∞ T2
1
+ b n c0 sin (nωt) dt + b n cm sin (nωt) cos (mωt) dt
n=1
2 − T2 m=1 − T2
T2 "
+bn dm sin (nωt) sin (mωt) dt
− T2
∞
T 1
= a 0 c0 + {an cn + bn dn } .
2 2 n=1
2
de Fourier que vamos a utilizar son, d2n−1 = (2n−1)π cos (2n − 1) 14 π , ∀n ≥ 1,
entonces
1 π 1 3 1
f(t)g(t) dt = − + = .
π −π 4 4 2
∞ ∞ ∞
1 8 1 1
a 0 c0 + {an cn + bn dn } = bn d n = 2 cos (2n − 1) π .
2 n=1 n=1
π n=1 (2n − 1)2 4
De donde,
∞
π2 1 1
= cos (2n − 1) π .
16 n=1 (2n − 1)2 4
O bien,
π2 1 1 1 1 1 1
√ = 1 − 2 − 2 + 2 + 2 − 2 − 2 + ... + ....
8 2 3 5 7 9 11 13
Considere ahora, las funciones en los ejemplos de las secciones cinco y seis
1, si −π ≤ t < 0,
f(t) =
0, si 0 ≤ t < π,
0, si −π ≤ t < 0,
g(t) =
1, si 0 ≤ t < π.
Ambas periódicas con T = 2π. Ninguna es par ni tampoco impar. Recuerde que
2
a0 = 1, an = 0, b2n−1 = − (2n−1)π , ∀n ≥ 1. Por otro lado, c0 = 1, cn = 0, d2n−1 =
2
(2n−1)π
, ∀n ≥ 1, entonces
π
1
f(t)g(t) dt = 0.
π −π
∞ ∞
1 1 4 1
a 0 c0 + {an cn + bn dn } = − 2 .
2 n=1
2 π n=1
(2n − 1)2
De donde,
∞
1 π2
2
= .
n=1
(2n − 1) 8
Resultado que hemos encontrado varias veces. La primera en la sección dos.
Finalmente, considere la función en la sección cuatro,
# π π
f(t) = sin t, t ∈ − , ,
2 2
y periódica con perı́odo T = π. Recuerde que bn = π(4n8n2 −1) (−1)n+1 , ∀n ≥ 1, y
como f(t) es impar, a0 = 0, an = 0, ∀n ≥ 1. Usando la identidad de Parseval
T π π
2 2
2 2 2
2 1 2
|f(t)| dt = sin t dt = {1 − cos (2t) dt = 1.
T − T2 π −π
2
π −π
2
3.9. FORMA COMPLEJA DE UNA SERIE DE FOURIER. 79
∞ ∞
1 2 2 2
64n2
a0 + an + b n = .
2 n=1 n=1
π 2 (4n2 − 1)2
De donde,
∞
n2 π2
= .
n=1
(4n2 − 1)2 64
Esto es,
2 2 2
π2 1 2 3
= + + + ... + ...
64 3 15 35
Note que si θ ∈ [0, 2π), y como el seno y el coseno son funciones periódicas,
con perı́odo 2π, entonces
cn e−inωt = cn e−inωt
1
= (an + ibn )(cos (−nωt) + i sin (−nωt))
2
1
= (an − ibn ) (cos (−nωt) − i sin (−nωt))
2
1
= (an − ibn ) (cos (nωt) + i sin (nωt))
2
1
= (an − ibn ) einωt .
2
Por otro lado, también note lo siguiente, ∀n ≥ 1,
T
1 1 2
(an − ibn ) = f(t){cos (nωt) − i sin (nωt)} dt
2 T − T2
T2
1
= f(t){cos (−nωt) + i sin (−nωt)} dt
T − T2
= c−n .
También,
e−inωt = e−i(−n)ωt .
Entonces, la serie de Fourier, ahora toma la forma
∞
1
s(t) = a0 + {an cos (nωt) + bn sin (nωt)}
2 n=1
∞
= c0 + cn e−inωt + cn e−inωt ,
n=1
∞
= c0 + c−n e−i(−n)ωt + cn e−inωt ,
n=1
−1
∞
= c0 e−i0ωt + cn e−inωt + cn e−inωt ,
n=−∞ n=1
∞
= cn e−inωt .
n=−∞
Tenemos que señalar que el cálculo para n = 0 debe hacerce por separado del
correspondiente a n = 0. Sucede que, al integrar en el último caso, frecuente-
mente se divide por n, como en éste ejemplo. Lo que tiene sentido sólo si n = 0.
82 CAPÍTULO 3. SERIES DE FOURIER
Ahora, considere n = 0,
T
3 π
−4 π
1 2
inωt 1 int int
cn = f(t)e dt = e dt + e dt
T − T2 2π −π 1
4π
1 − 3 inπ 1
= e 4 − e−inπ + einπ − e 4 inπ
2inπ
1 1 inπ −inπ 1 1 inπ
−inπ
= e 4 (e − 1) − e−inπ (1 − e2inπ ) = e4 e −1
2inπ 2inπ
1 1 inπ 1 1 inπ
= e4 (cos (nπ) − 1) = e4 ((−1) − 1)
n
2inπ 2inπ
i 1 inπ 0, si n es par,
= e4
nπ 1, si n es impar.
Entonces,
i 1
c2n−1 = e 4 i(2n−1)π , ∀n ∈ I.
(2n − 1)π
Y la serie de Fourier es
∞
1 i 1
s(t) = + e 4 i(2n−1)π e−i(2n−1)t.
2 n=−∞ (2n − 1)π
O bien,
∞
1 i 1
s(t) = + ei(2n−1)( 4 π−t) .
2 n=−∞ (2n − 1)π
Obviamente, la serie no se ve igual que como la obtuvimos anteriormente.
Sin embargo, ésta serie es idénticamente igual a la que calculamos en la sección
siete. Para que el lector se convenza de ello, separamos la serie en dos. Una serie
para ı́ndices negativos y otra para los positivos.
∞
i 1 1
ei(2n−1)( 4 π−t) =
n=−∞
(2n − 1)π 2
∞
i 1 i 1
+ ei(2n−1)( 4 π−t) − e−i(2n−1)( 4 π−t) .
n=1
(2n − 1)π (2n − 1)π
Note lo siguiente
1 1 1
e±i(2n−1)( 4 π−t) = cos (2n − 1)( π − t) ± i sin (2n − 1)( π − t) .
4 4
Entonces,
∞
1 2 1
s(t) = − sin (2n − 1)( π − t) .
2 n=1 (2n − 1)π 4
O bien,
∞
1 2 1 1
s(t) = + sin (2n − 1)(t − π) .
2 π n=1 2n − 1 4
3.10. LA TRANSFORMADA DE FOURIER. 83
las series de Fourier complejas, de las funciones periódicas, f(t), g(t), respec-
tivamente, y que satisfacen la hipótesis (H). Las identidad de Bessel tiene la
forma T ∞
1 2
f(t)g(t) dt = cn d n ,
T − T2 n=−∞
donde T
1 2
cn = f(t)einωt dt, ∀n ∈ I.
T − T2
84 CAPÍTULO 3. SERIES DE FOURIER
Entonces,
∞
∞ T
1
T
2 1 2
s(t) = f(τ )e inωτ
dτ e−inωt = f(τ )e−inω(t−τ) dτ.
n=−∞
T − T2 n=−∞
T T
−2
∞ T2
1
s(t) = (∆ω)n f(τ )e−iωn (t−τ) dτ.
2π n=−∞ − T2
entonces
∞ ∞ ∞ ∞
1 1
s(t) = f(τ )e−iω(t−τ) dτ dω = f(τ )eiωτ dτ e−iωt dω.
2π −∞ −∞ 2π −∞ −∞
Si la función es continua,
∞ ∞
1
f(t) = f(τ )eiωτ dτ e−iωt dω.
2π −∞ −∞
Observe que del lado derecho tenemos dos integrales. En la primera, sustituimos
como dato a f(t), y obtenemos una función de ω, a la que llamamos F (ω), esto
es ∞
F (ω) = f(τ )eiωτ dτ.
−∞
A la función ω
→ F (ω) se le llama Transformada de Fourier de f(t), y se le
denota por la misma letra, pero mayúscula, o bien por
∞
F (f)(ω) = F (ω) = f(τ )eiωτ dτ,
−∞
donde F : f
→ F es la Transformada de Fourier. Además, la integral de Fourier
nos da una fórmula para calcular, a partir de F (ω), la función f(t). Esto es, la
inversa de la transformada de Fourier, F −1 : F
→ f,
∞
1
F −1 (F )(t) = f(t) = F (ω)e−iωt dω.
2π −∞
Transformada de Fourier
87
88 CAPÍTULO 4. TRANSFORMADA DE FOURIER
4.2. Inversa.
Para recobrar la función f a partir de su transformada F , se utiliza la trans-
formada inversa de Fourier, a través de la siguiente fórmula
∞
−1 1
f(t) = F (F )(t) = F (ω)eiωt dω.
2π −∞
De hecho se tiene la siguiente identidad llamada integral de Fourier
∞ ∞
1
f(t) = f(τ )e−iωτ dτ eiωt dω.
2π −∞ −∞
Que se puede ver como: la transformada inversa de la transformada de f es igual
af
f(t) = F −1 (F (f))(t).
Aunque, si f tiene una discontinuidad de salto, en el punto t, el lado izquierdo
debe reemplazarse por
1
(f+ (t) + f− (t)),
2
en donde
f+ (t) = lı́m f(τ ), f− (t) = lı́m f(τ ).
τ→t+ τ→t−
Considere el ejemplo, f, de la sección anterior:
0, si t < −a,
1
2, si t = −a,
2 sin (aω)
F −1 (t) = 1, si −a < t < a,
ω
1
, si t = a,
2
0, si t > a.
Note que f(t) y F −1 (F )(t) sólo difieren en los puntos de discontinuidad: t = ±a.
4.3. LINEALIDAD. 89
4.3. Linealidad.
Para cualquier par de funciones f : IR → C : t
→ f(t), g : IR → C : t
→ g(t),
y constantes c1 ∈ C, c2 ∈ C, se tiene la propiedad de linealidad de F
F (c1 f + c2 g)(ω) = c1 F (ω) + c2 G(ω).
También, F −1 es lineal
F −1 (c1 F + c2 G)(t) = c1 f(t) + c2 g(t).
Ejemplo: Calcule la transformada de
0, si t < 0,
h(t) = 1, si 0 ≤ t < a, = H0 (t) − Ha(t).
0, si t ≥ a.
Note que h(t) = 12 (f(t) + g(t)), donde f y g son las funciones de los ejemplos
de la primera sección. Entonces
1 sin (aω) − i(1 − cos (aω))
H(ω) = F (h)(ω) = (F (ω) + G(ω)) = .
2 ω
Además,
(ix) f par ⇒ IR ω
→ F (ω) ∈ IR,
(x) f impar ⇒ IR ω
→ iF (ω) ∈ IR.
90 CAPÍTULO 4. TRANSFORMADA DE FOURIER
Las dos últimas propiedades dicen que, si ω ∈ IR, la transformada de una función
impar es puramente imaginaria, esto es, tiene parte real cero, mientras que la
transformada de una función par es real. En general, IR ω
→ F (ω) ∈ C. Esto
es, las partes real e imaginaria pueden ser diferentes de cero. Los ejemplos de
las secciones anteriores: f, g, h, ilustran estas propiedades.
Dada cualquier función f : IR → IR, siempre es posible escribirla como la
suma de una función par más una impar. En efecto, la siguiente identidad es
obvia
1 1
f(t) = {f(t) + f(−t)} + {f(t) − f(−t)}.
2 2
Sin embargo, observe que f1 (t) = 12 {f(t) + f(−t)} es una función par, mientras
que f2 (t) = 12 {f(t) − f(−t)} es una función impar. Considere la función h, dada
al final de la sección anterior. Recuerde que h(t) = 12 (f(t) + g(t)), donde f y g
son las funciones de los ejemplos de la primera sección. Ahora, note que
0, si t ≤ −a,
h(−t) = 1, si −a < t ≤ 0,
0, si t > 0.
Además, 12 {h(t) + h(−t)} = f(t), 12 {h(t) − h(−t)} = g(t). Recuerde que f es
par y g es impar. Entonces, se verifica lo dicho.
Si conocemos F (ω), y queremos encontrar F (f(λt))(ω), con λ = 0, entonces,
de la definición y mediante un cambio de variable: τ = λt, se obtiene
1 ω
F (f(λt))(ω) = F .
|λ| λ
Para ilustrar ésta propiedad, considere el ejemplo, h, de la sección anterior.
Calcule la transformada de
0, si t < 0,
k(t) = 1, si 0 ≤ t < 1,
0, si t ≥ 1.
Note que k(t) = h(at), de donde
1 ω sin ω − i(1 − cos ω)
F (k)(ω) = F = .
a a ω
Lo cual es inmediato porque k(t) = h(t), con a = 1. Vea el resultado de la
sección anterior. Considere otro ejemplo
0, si t ≤ −1,
l(t) = 1, si −1 < t ≤ 0,
0, si t > 0.
Ahora ya no podemos usar el resultado de la sección anterior, porque a > 0. Sin
embargo, note que l(t) = h(−at). Aquı́ no sólo escalamos el eje real, además le
cambiamos la dirección. Entonces
1 ω sin ω + i(1 − cos ω)
F (l)(ω) = F = .
a −a ω
4.5. SIMETRÍA. 91
4.5. Simetrı́a.
Observe que la transformada y su inversa sólo difieren en el signo de los ex-
ponentes de los núcleos y en la constante 2π. Debido a esto se tiene la propiedad
de simetrı́a, que consiste en calcular la transformada de Fourier de la función:
F : IR → C : t
→ F (t). Donde, sabemos que si el argumento de F es ω, entonces
F (ω) = F (f)(ω), o bien f(t) = F −1 (F )(t). Entonces, la fórmula de la propiedad
de simetrı́a es
∞ ∞
1
F (F )(ω) = F (t)e−iωt dt = 2π F (t)eit(−ω) dt = 2πf(−ω).
−∞ 2π −∞
Considere el ejemplo, f, de la primera sección y a su transformada F , pero ahora
como función de t. Nos preguntamos por F (F ). De la propiedad de simetrı́a y
de la discusión sobre las discontinuidades en la sección dos,
0, si −ω < −a,
0, si ω < −a,
1
2 , si −ω = −a, π, si ω = −a,
2 sin (at)
F (ω) = 2π 1, si −a < −ω < a, = 2π, si −a < ω < a,
t
1
, si −ω = a,
π, si ω = a,
2
0, si −ω > a. 0, si ω > a.
4.6. Traslación.
Queremos obtener la transformada de Fourier de f(t)eiαt , donde α ∈ IR. De
la definición, encontramos la primera propiedad de traslación
∞ ∞
F (f(t)eiαt )(ω) = f(t)eiαt e−iωt dt = f(t)e−it(ω−α) dt = F (ω − α).
−∞ −∞
4.7. Modulación.
De la primera propiedad de traslación, se tienen las siguientes fórmulas de
modulación
1
F (f(t) cos (αt))(ω) = (F (ω − α) + F (ω + α)).
2
1
F (f(t) sin (αt))(ω) = (F (ω − α) − F (ω + α)).
2i
Aquı́ hemos usado la identidad de Euler: e±iαt = cos (αt) ± i sin (αt), en las
formas: cos (αt) = 12 (eiαt + e−iαt ), sin (αt) = 2i
1
(eiαt − e−iαt ).
Para ejemplificarlas, considere nuevamente la función, f, de la primera sec-
ción, se obtiene que
sin a(ω + α) sin a(ω − α)
F (f(t) cos (αt))(ω) = + .
ω+α ω−α
sin a(ω + α) sin a(ω − α)
F (f(t) sin (αt))(ω) = −i − .
ω+α ω−α
Observe que f(t) cos (αt), f(t) sin (αt), son ventanas de las funciones seno y
coseno. Esto es, el seno y el coseno sólo se ven a través de la ventana en el
intervalo −a < t < a, y fuera de éste, las funciones son iguales a cero. Es-
tas ventanas pueden moverse a otro intervalo que no sea (−a, a), mediante la
segunda propiedad de traslación. Además, note que las consecuencias en las
transformadas sobre la paridad, son acordes a las propiedades (vii) − (x), en la
sección cuatro.
Note que ninguna de las funciones consideradas en los incisos (v) al (viii) es
absolutamente integrable, vea la sección uno para recordar este concepto. Se ex-
plica, entonces, porqué sus transformadas están en términos de deltas de Dirac.
Por otro lado, observe que el cálculo directo de la transformada de Fourier de
estas funciones, usando la definición, resulta muy complicado. Sin embargo, se
pueden obtener usando la teorı́a de distribuciones. Esta, en particular, es la que
formaliza el estudio de la delta de Dirac. Sin entrar en detalles, que están fuera
de los alcances del curso, las tansformadas anteriores deben entenderse en el
siguiente sentido
∞
(v)∗ F (1)(ω) ϕ(ω) dω = 2πϕ(0),
−∞
∞
(vi)∗ F (e−iat )(ω) ϕ(ω) dω = 2πϕ(−a).
−∞
∞
∗
(vii) F (cos (αt))(ω) ϕ(ω) dω = π(ϕ(α) + ϕ(−α)),
−∞
∞
(viii)∗ F (sin (αt))(ω) ϕ(ω) dω = −iπ(ϕ(α) − ϕ(−α)),
−∞
Donde, M = número de saltos, bk son los lugares en donde ocurren dichos saltos,
y dk = lı́mt→b+ f(t) − lı́mt→b− f(t) son los salto, medidos como el lı́mite por la
k k
derecha menos el lı́mite por la izquierda.
La fórmula (?) es incorrecta. En efecto, para el ejemplo anterior, tenemos
dos discontinuidades: M = 2, con b1 = −a, b2 = a, y con d1 = 1 − 0 = 1,
−iωbk
= eiaω − e−iaω = 2i sin (aω). Si
M
d2 = 0 − 1 = −1. Entonces k=1 dk e
sustituimos en (?), obtenemos
d 2 sin (aω)
(?) F f (ω) = iω − 2i sin (aω) = 0.
dt ω
96 CAPÍTULO 4. TRANSFORMADA DE FOURIER
notamos que hay que calcular los lı́mites. En vista de f±∞ = 0, y los lı́mites
de e±ibω , cuando b → ∞, no existen en C, su cálculo es difı́cil. Sin embargo,
se pueden obtener usando la teorı́a de distribuciones. Sin entrar en los detalles,
que están fuera de los alcances del curso, se demuestra lo siguiente
∞
1 ±iωb 1 ±iωb
lı́m e ϕ(ω) dω = πϕ(0), ∀ϕ ∈ D ⇔ lı́m e = πδ0 (ω).
b→∞ −∞ ±iω b→∞ ±iω
De aquı́,
d
F f (ω) = iωF (ω) − iπ(f−∞ + f∞ )ωδ0 (ω),
dt
generaliza la fórmula previa para derivadas. Para ilustrar que es correcta, con-
sideramos un ejemplo conocido y muy sencillo: f(t) = 1, ∀t ∈ IR, con F (ω) =
2πδ0 (ω). Entonces dtd
f(t) = 0, ∀t ∈ IR, f−∞ = 1 = f∞ . Sustituyendo en la
fórmula,
d
0=F f (ω) = iω2πδ0 (ω)−iπ(1+1)ωδ0 (ω) = iωF (ω)−iπ(f−∞ +f∞ )ωδ0 (ω),
dt
4.9. DERIVADAS E INTEGRALES. 97
En efecto,
b
1 −iωa
lı́m lı́m e−α(t−a) e−iωt dt = lı́m lı́m e − eαa e−(α+iω)b
b→∞ α→0 a b→∞ α→0 α + iω
1
−iωa 1 −iωa
= lı́m e − e−iωb = e + πδ0 (ω),
b→∞ iω iω
que es el resultado correcto. El último lı́mite se calculó mediante la teorı́a de
distribuciones que, como se mencionó antes, está fuera del alcance de estas notas.
Para evitar dicha dicultad es que, en varios textos, se intercambian los lı́mites.
Sin embargo, ésto no es válido.
Para terminar de convencer al lector del error al omitir πδ0 (ω), calculemos la
1 −iaω
transformada inversa de iω e . Vamos a mostrar que no se recupera la función
escalón. En efecto,
∞ usando la identidad de Euler, las propiedades de paridad, y
el resultado: 0 λ1 sin λ dλ = π2 , obtenemos
∞ ∞
1 −iaω 1 1 −iaω iωt 1 1 iω(t−a)
F −1 e (t) = e e dω = e dω
iω 2π −∞ iω 2π −∞ iω
1
1 ∞ 1 − 2 , si t < a,
= sin (ω(t − a)) dω = 1
π 0 ω 2
, si t > a.
Note que en t = a,
∞
b
−
1 −iaω 1 1 1 1 1
F −1 e (a) = dω = lı́m lı́m dω + dω = 0,
iω 2iπ −∞ ω →0 b→∞ 2iπ −b ω ω
1
por ser ω impar. Por otro lado,
∞
−1 1 1
F (πδ0 )(t) = δ0 (ω)eiωt dω = ,
2 −∞ 2
De donde,
0, si t < a,
1 −iaω
F −1 e + πδ0 (t) = 1
, si t = a,
iω 2
1, si t > a.
Se ve, entonces, que el término πδ0 (ω) es necesario. Para terminar la sección
damos las siguientes fórmulas que el lector puede demostrar fácilmente. Para
cualquier función f : IR → C,
d
(i) F (Ha (t)f(t)) (ω) = iωF (Ha (t)f(t))(ω),
dt
∞
−iaω
(ii) F (Ha (t)f(t))(ω) = e f(t + a)e−iωt dt,
0
∞
(ii)∗ F (Ha (t)f(t − a))(ω) = e−iaω f(t)e−iωt dt.
0
100 CAPÍTULO 4. TRANSFORMADA DE FOURIER
Se deja como ejercicio verificar las fórmulas anteriores para fα (t) = Ha (t)e−α(t−a)
que, cuando α es pequeño, aproxima a la función escalón Ha (t). Entonces,
1
(iii) F (fα (t))(ω) = e−iaω ,
α + iω
d iω
(iv) F fα (t) (ω) = e−iaω .
dt α + iω
No olvide que, cuando α → 0, (iii) no es la transformada de la función escalón.
Analice y discuta que pasa con (iv), en ambos lados, cuando α → 0.
Ası́,
F (e−βt )(ω) = 2πδiβ (ω) = 2πδ0 (ω − iβ).
Observe que si β = 0, recobramos la fórmula para la transformada de la función
constante igual a uno.
Ahora consideremos la función f(t) = e−β|t| . Calculando directamente la
transformada obtenemos
0 ∞
1 1
F (e−β|t| )(ω) = e(β−iω)t dω + e−(β+iω)t dω = + .
−∞ 0 β − iω β + iω
Entonces,
2β
F (e−β|t| )(ω) = .
β2 + ω2
Note que si β → 0, no recobramos la transformada de la función constante igual
a uno, porque los lı́mites de la integral y el de β → 0 no conmutan. Recuerde la
discusión en la sección de la transformada de la función escalón de Heaviside.
2
Calculemos la transformada de Fourier de la función f(t) = e−βt , conocida
en probabilidad y en ecuaciones en derivadas parciales, como núcleo de Gauss
o distribución Gaussiana. Usando la definición
∞ ∞
iω 2 iω 2
−βt2 −(βt2 +iω)t
F (e )(ω) = e dω = eβ ( 2β ) e−β(t+ 2β ) dω.
−∞ −∞
√ iω
Haciendo el cambio de variable, τ = β t + 2β , y usando que la integral
∞ −τ 2 √
−∞
e dτ = π, llegamos a
−βt2 π − ω4β2
F (e )(ω) = e .
β
También, recuerde que para estas funciones podemos calcular su serie de Fourier
compleja
∞
2π
f(t) = cn ein T t ,
n=−∞
2π
Por ejemplo, la función sin (βt), es periódica, de perı́odo T = β , y su serie de
Fourier compleja es
1
sin (βt) = (eiβt − e−iβt ),
2i
1
con c−1 = − 2i = −c1 , y el resto de los coeficientes iguales a cero. Su transfor-
mada de Fourier es
1 1
F (f)(ω) = 2π − δ−β (ω) + δβ (ω) = iπ(δ−β (ω) − δβ (ω)).
2i 2i
4.12. Convolución.
Dadas dos funciones f : IR → C, g : IR → C, a la nueva función
∞
(f ∗ g)(t) = f(t − τ )g(τ ) dτ,
−∞
Note que las dos últimas propiedades dan las fórmulas para la transformada
de una convolución y de un producto de funciones, respectivamente. Ejemplo:
sea f(t) = H−a (ω) − Ha(ω). Entonces, de (iv) y de la sección uno donde se
calculó F (ω) = F (f)(ω),
4 sin2 (aω)
F (f ∗ f)(ω) = F 2 (ω) = .
ω2
Además, de (v),
4 sin2 (at)
F (ω) = 2π(f ∗ f)(−ω).
t2
Calculemos la convolución, haciendo un cambio de variable en el último paso:
s = t − τ,
∞ a t+a
(f ∗ f)(t) = f(t − τ )f(τ ) dτ = f(t − τ ) dτ = f(s) ds.
−∞ −a t−a
104 CAPÍTULO 4. TRANSFORMADA DE FOURIER
En donde |F (ω)|2 = F (ω)F (ω), es el cuadrado del valor absoluto para números
complejos. Recuerde que F (ω) es el conjugado de F (ω), esto es
∞ ∞
F (ω) = f(t)e−iωt dt = f(t)eiωt dt.
−∞ −∞
En efecto,
∞ ∞ ∞ ∞
|F (ω)|2 dω = e−iω(t1 −t2 ) f(t1 )f(t2 ) dt1 dt2 dω
−∞ −∞ −∞ −∞
∞ ∞ ∞
= f(t1 )f(t2 ) dt1 dt2 e−iω(t1 −t2 ) dω
−∞ −∞ −∞
∞ ∞
2 sin b(t1 − t2 )
= f(t1 )f(t2 ) dt1 dt2 lı́m
−∞ −∞ b→∞ t1 − t2
∞ ∞
= 2π f(t1 )f(t2 )δ0 (t1 − t2 ) dt1 dt2
−∞ −∞
∞ ∞
= 2π f(t1 ) dt1 f(t2 )δ0 (t1 − t2 ) dt2
−∞ −∞
∞ ∞
= 2π f(t1 )f(t1 ) dt1 = 2π |f(t)|2 dt.
−∞ −∞
4.13. IDENTIDAD DE PARSEVAL-PLANCHEREL. 105
Ecuación de difusión
5.1. Introducción.
La también llamada ecuación de calor, modela la evolución de la temper-
atura, u(x, t), en un alambre de longitud L > 0, para tiempos t ≥ 0, donde
x ∈ [0, L] es la variable espacial.
Considere el tramo arbitrario del alambre, Ix = (x, x + ∆x) ⊂ [0, L], con
x ∈ (0, L). Hagamos un balance de la temperatura en Ix . Esto es, calculemos
la razón de cambio, en el tiempo, de la temperatura en el interior de Ix . Para
ello necesitamos un concepto importante: el flujo de calor, que denotamos por
q(x, t), y de acuerdo a la ley de Fourier es igual a
∂
q(x, t) = −k(x, t) u(x, t),
∂x
donde k(x, t) > 0 es la conductividad térmica, que depende del material, puede
ser variable a lo largo del alambre y cambiar con el tiempo. La ley anterior
implica que el calor fluye de lo caliente a lo frı́o. En efecto, si q(x, t) < 0, esto
∂
equivale a ∂x u(x, t) > 0, que a su vez implica que la temperatura aumenta al
avanzar en la dirección positiva de x. Esto es, la temperatura a la izquierda de
x es menor que a la derecha. Como el flujo de calor va de lo caliente a lo frı́o, en
este caso, va de derecha a izquierda. El signo negativo de q(x, t) indica que el
flujo va en dirección opuesta a la dirección positiva del eje x. Una interpretación
similar se da cuando q(x, t) > 0.
Regresando al balance de la temperatura en Ix , si no hay fuentes de calor
internas, y de acuerdo a lo anterior, la razón de cambio, en el tiempo, de la
temperatura en el interior de Ix , es igual a menos el flujo de calor a través de
los extremos de Ix ,
x+∆x
∂
u(η, t) dη = −q(η, t)|x+∆x
x .
∂t x
107
108 CAPÍTULO 5. ECUACIÓN DE DIFUSIÓN
Notamos que,
x+∆x x+∆x
∂ ∂
u(η, t) dη = u(η, t) dη,
∂t x x ∂t
y además
x+∆x x+∆x
∂ ∂ ∂
k(η, t)
u(η, t) = k(η, t) u(η, t) dη.
∂η x x ∂η ∂η
De donde,
x+∆x x+∆x
∂ ∂ ∂
u(η, t) dη = k(η, t) u(η, t) dη.
x ∂t x ∂η ∂η
Las condiciones se dan sobre la temperatura. Son datos. Deben surgir de las
condiciones que, desde el punto de vista del problema fı́sico, la temperatura
debe satisfacer en: t = 0, x = 0, y x = L.
En t = 0, suponemos conocida la temperatura,
Esto es, la función f(x) es dato. Vemos ahora que, el problema consiste en
conocer la temperatura para tiempos futuros, t > 0, si se conoce en el tiempo
presente, t = 0. Falta agregar que, son necesarias las condiciones en la frontera
para poder hacer esto.
Fı́sicamente, la conexión de un cuerpo acotado con el exterior, se da a través
de su frontera, que resulta ser una superficie cerrada. Piense, por ejemplo, en una
esfera. En caso de que el cuerpo sea tridimensional. Si es unidimensional, como
el caso del alambre, el interior del cuerpo es el intervalo abierto: (0, L), mientras
que la frontera son los puntos extremos del intervalo: x = 0, y x = L. Es a
través de estos puntos que podemos controlar la evolución de la temperatura.
Por ejemplo, suponga que para todo tiempo son impuestas las temperaturas en
los extremos,
u(0, t) = g(t), u(L, t) = h(t), t ≥ 0.
Esto es, g(t), h(t) son datos. A éstas se les conoce como condiciones de frontera
tipo Dirichlet. Entonces, la evolución de u(x, t) está determinada por la ecuación
de calor o difusión, a partir de una temperatura inicial, y de las condiciones de
frontera en x = 0, y x = L.
Suponga que, en lugar de fijar la temperatura en los extremos, preescribimos
el flujo. Esto es,
q(0, t) = ĝ(t), q(L, t) = ĥ(t), t ≥ 0.
Que, de acuerdo a la ley de Fourier, se traducen en
∂ ∂
u(0, t) = g(t), u(L, t) = h(t), t ≥ 0,
∂x ∂x
donde, ĝ(t) = −kg(t), ĥ(t) = −kh(t), son datos. A éstas, se les conoce co-
mo condiciones de frontera tipo Neumann. Por ejemplo, si los extremos están
aislados, entonces quedan como
∂ ∂
u(0, t) = 0, u(L, t) = 0, t ≥ 0,
∂x ∂x
Esto es, no hay flujo de calor a través de la frontera. No entra ni sale calor. Al
interior del alambre, el calor se conserva como en un termo. Por supuesto, puede
haber combinación de condiciones Neumann en un extremo con Dirichlet en el
otro. O bien combinaciones del tipo
∂ ∂
u(0, t) + ηu(0, t) = g(t), u(L, t) + νu(L, t) = h(t), t ≥ 0,
∂x ∂x
110 CAPÍTULO 5. ECUACIÓN DE DIFUSIÓN
∂ ∂2
(EDP) u(x, t) = k 2 u(x, t), t > 0, x ∈ [0, L],
∂t ∂x
(CF) u(0, t) = 0, u(L, t) = 0, t ≥ 0,
(CI) u(x, 0) = f(x), x ∈ [0, L].
d d2
X(x) T (t) = kT (t) 2 X(x), t > 0, x ∈ [0, L].
dt dx
Dividiendo por ku(x, t) = kX(x)T (t) = 0, en ambos lados,
1 d 1 d2
T (t) = X(x), t > 0, x ∈ [0, L].
kT (t) dt X(x) dx2
Note que el término izquierdo sólo depende de t, mientras que el derecho sólo
depende de x, y éstas dos variables son independientes. Puedo fijar una, por
ejemplo t = 1, y entonces
1 d 1 d2
T (t) = −λ = X(x), x ∈ [0, L],
kT (t) dt t=1 X(x) dx2
5.2. SEPARACIÓN DE VARIABLES. 111
En los dos primeros casos la solución obtenida es u(x, t) = X(x)T (t) = 0, que
no es la que buscamos. De aquı́, que la constante no es ni cero ni negativa.
Debe ser positiva como lo muestra el último caso, en donde
√ para que u(x, t) =
X(x)T (t) = 0, es necesario que B = 0, y además que λ L, sea igual a alguna
raı́z positiva de la función seno, esto es
√ √
sin ( λ L) = 0 ⇔ λ L = nπ, n = 1, 2, 3, ...
d
Tn (t) + λn kTn (t) = 0, t > 0.
dt
Cuya solución es
nπ 2
Tn (t) = Tn (0)e−λn kt = Tn (0)e−k ( L ) t.
O bien, que nπ
Tn (0) sin x = f(x), x ∈ [0, L].
L
Si casualmente, la condición inicial es alguna de éstas funciones seno, el problema
queda resuelto. Por ejemplo, suponga que L = π, k = 1, y que
Entonces, la condición inicial es satisfecha por u5 (x, t), con Tn (0) = 3. De donde,
la solución es
u(x, t) = 3e−25t sin (5x).
5.2. SEPARACIÓN DE VARIABLES. 113
para los mismos valores de L, k. Es claro que la solución está dada por u2 (x, t),
con Tn (0) = 4. Entonces
Si, ahora
f(x) = 4 sin (2x) + 3 sin (5x), x ∈ [0, π].
La solución es la suma de las dos anteriores
entonces, la solución está dada por la suma correspondiente a las mismas com-
ponentes,
P
np π 2
n π
bp e−k ( L ) t sin
p
u(x, t) = x .
p=1
L
Se puede demostrar que ésta función satisface la (EDP), las (CF), y la (CI),
siempre que
∞ nπ
f(x) = bn sin x .
n=1
L
114 CAPÍTULO 5. ECUACIÓN DE DIFUSIÓN
fe (−x) = −fe (x), ∀x ∈ IR, fe (x+2L) = fe (x), ∀x ∈ IR, fe (x) = f(x), ∀x ∈ [0, L].
Entonces, las constantes bn resultan ser los coeficientes de Fourier, que se cal-
culan como lo hicimos en el capı́tulo de series de Fourier
L nπ
2
bn = f(x) sin x dx, n = 1, 2, 3, ...
L 0 L
con
π
π π
2 2 2
bn = f(x) sin (nx) dx = x sin (nx) dx + (π − x) sin (nx) dx
π 0 π 0 π
2
π π
π 2 π
2 2
= cos (nx) dx − x cos (nx) − cos (nx) dx + (π − x) cos (nx)
nπ 0 π π
0 2
nπ nπ 2
2 2
= sin − π cos ,
nπ n 2 2
2
nπ
− n cos 2 , si n es par,
=
nπ n = 1, 2, 3, ...
4
n2 π sin 2 , si n es impar,
Entonces, separando la serie en dos, una para pares y otra para impares,
∞
∞
2 2
u(x, t) = b2n e−4n t sin (2nx) + b2n−1e−(2n−1) t sin ((2n − 1)x),
n=1 n=1
y sustituyendo
1 (−1)n+1 4 (2n − 1)π 4(−1)n+1
b2n = − cos (nπ) = , b2n−1 = sin = ,
n n (2n − 1)2 π 2 (2n − 1)2 π
5.2. SEPARACIÓN DE VARIABLES. 115
∞
π2 1 1 1 1
= 2
= 1 + 2 + 2 + 2 + ... + ...
8 n=1
(2n − 1) 3 5 7
Note que
π ∞
4 π π
u ,t < 2
= =u ,0 ,
2 n=1
(2n − 1) π 2 2
esto es, la temperatura es menor a la inicial si el tiempo t > 0. En cualquier
punto del alambre la temperatura decrece cuando el tiempo avanza. De hecho,
lı́m u(x, t) = 0.
t→∞
Se concluye que el alambre se enfrı́a cuando el tiempo crece. Sucede que el calor
se escapa por los extremos. Esto se puede entender al calcular el flujo de calor
en x = 0 y x = π. En efecto, de la ley de Fourier, el flujo que escapa por el
punto x = 0 es
∞
∂
q(0, t) =
u(x, t) =
2
nbn e−n t ,
∂x x=0 n=1
116 CAPÍTULO 5. ECUACIÓN DE DIFUSIÓN
Note que, los valores máximos de éstos flujos se dan en t = 0. De hecho, decrecen
cuando el tiempo crece, y se tienden a cero cuando el tiempo tiende a infinito.
Entonces, el flujo de calor que sale en t = 0, a través de los dos extremos, es
igual a
∞
∞
∞
n+1 8 (−1)n+1
q(0, 0) + q(π, 0) = (1 + (−1) )nbn = 2 (2n − 1)b2n−1 =
n=1 n=1
π n=1 (2n − 1)
Entonces,
q(0, 0) + q(π, 0) = 2 > 0.
Por la simetrı́a del problema, el flujo de calor, en cada extremo, es igual a uno,
en t = 0. Es decir, es positivo. Y decrece con el tiempo, hasta tender a cero
cuando t → ∞.
Como siguiente problema considere la ecuación homogénea sujeta a las condi-
ciones de frontera tipo Neumann homogéneas. Es decir, el alambre está térmi-
camente aislado.
∂ ∂2
(EDP) u(x, t) = k 2 u(x, t), t > 0, x ∈ [0, L],
∂t ∂x
∂ ∂
(CF) u(0, t) = 0, u(L, t) = 0, t ≥ 0,
∂x ∂x
(CI) u(x, 0) = f(x), x ∈ [0, L].
d d2
T (t) + λkT (t) = 0, t > 0, X(x) + λX(x) = 0, x ∈ [0, L].
dt dx2
5.2. SEPARACIÓN DE VARIABLES. 117
n=0 n=1
L
Y pedimos que
∞
nπ
f(x) = u(x, 0) = T0 (0) + Tn (0) cos x .
n=1
L
fe (−x) = fe (x), ∀x ∈ IR, fe (x+2L) = fe (x), ∀x ∈ IR, fe (x) = f(x), ∀x ∈ [0, L].
1 ∞
nπ 2
nπ
u(x, t) = a0 + an e−k ( L ) t cos x ,
2 n=1
L
con,
1 ∞ nπ
f(x) = a0 + an cos x .
2 n=1
L
5.2. SEPARACIÓN DE VARIABLES. 119
π
π π
2 2 2
an = f(x) cos (nx) dx = x cos (nx) dx + (π − x) cos (nx) dx
π 0 π 0 π
2
π π
π 2 π
2 2
= − sin (nx) dx + x sin (nx) + sin (nx) dx + (π − x) sin (nx)
nπ 0 π π
0 2
2
2 nπ
n
= 2 cos − 1 − (−1) ,
n2 π
2
n42π cos nπ 2 − 1 , si n es par,
= n = 1, 2, 3, ...
0, si n es impar,
Entonces,
∞
π 2
u(x, t) = + a2n e−4n t cos (2nx),
4 n=1
y sustituyendo
1 1 0, si n es par,
n
a2n = 2 (cos (nπ)−1) = 2 ((−1) −1) = n = 1, 2, 3, ...,
n π n π
− n22 π , si n es impar,
120 CAPÍTULO 5. ECUACIÓN DE DIFUSIÓN
o bien
∞
π2 1
= ,
8 n=1
(2n − 1)2
π
que ya sabemos que es cierto. Por otro lado, si sustituimos x = 2,
∞
π π 2 1
= + ,
2 4 π n=1 (2n − 1)2
y también
∂
(CF) u(0, t) = 0, u(L, t) = 0, t ≥ 0.
∂x
Algunas veces aparecen ecuaciones que, con una sencilla transformación,
pueden convertirse en una ecuación ya resuelta. Entonces, no hay necesidad de
hacer el cálculo de separación de variables. Por ejemplo considere el problema
Dirichlet homogéneo, pero con un término adicional que depende de u(x, t).
∂ ∂2
(EDP) u(x, t) = k 2 u(x, t) + αu(x, t), t > 0, x ∈ [0, L],
∂t ∂x
(CF) u(0, t) = 0, u(L, t) = 0, t ≥ 0,
(CI) u(x, 0) = f(x), x ∈ [0, L].
Donde α ∈ IR, es una constante conocida. Si α > 0, hay una inyección de calor
al interior del alambre proporcional a la temperatura u(x, t). Si α < 0, se trata
de una extracción de calor.
Note que
−αt ∂ ∂
−αt
e u(x, t) − αu(x, t) = e u(x, t) .
∂t ∂t
Entonces, la (EDP) se puede escribir, después de multiplicar ambos lados por
e−αt , como
∂
−αt ∂2
e u(x, t) = k 2 e−αt u(x, t) , t > 0, x ∈ [0, L].
∂t ∂x
De donde, si
v(x, t) = u(x, t)e−αt ,
el problema de arriba, en términos de v(x, t), es
∂ ∂2
(EDP) v(x, t) = k 2 v(x, t), t > 0, x ∈ [0, L],
∂t ∂x
(CF) v(0, t) = 0, v(L, t) = 0, t ≥ 0,
(CI) v(x, 0) = f(x), x ∈ [0, L].
Cuya solución ya la calculamos al principio de ésta sección. Consecuentemente,
u(x, t) = v(x, t)eαt , o bien
∞
2
nπ
− k ( nπ
L ) −α t
u(x, t) = bn e sin x .
n=1
L
∂ ∂2
(EDP) u(x, t) = k 2 u(x, t) + p(x, t), t > 0, x ∈ [0, L],
∂t ∂x
(CF) u(0, t) = 0, u(L, t) = 0, t ≥ 0,
(CI) u(x, 0) = f(x), x ∈ [0, L].
d nπ 2
Bn (t) = −k Bn (t) + pn (t), ∀n ≥ 1.
dt L
5.3. ECUACIÓN NO HOMOGÉNEA. 123
Despejando,
2
t 2
nπ nπ
Bn (t) = Bn (0)e−k ( L ) t+ pn (τ )e−k ( L ) (t−τ)
dτ.
0
De la (CI),
∞
nπ
f(x) = Bn (0) sin x .
n=1
L
Suponiendo que f(x) tiene serie de Fourier de senos, como lo hicimos en el
problema 2,
∞ nπ
f(x) = bn sin x .
n=1
L
donde bn son los coeficientes de Fourier. Entonces, la (CI) se satisface si
nπ
2 L
Bn (0) = bn = f(x) sin x dx.
L 0 L
De donde, la fórmula para encontrar a Bn (t) es
t
2 nπ 2
−k ( nπ
Bn (t) = bn e L ) t
+ pn (τ )e−k ( L ) (t−τ) dτ.
0
o bien
u(x, t) = 3e−25t sin (5x) + (1 + (t − 1)e−t ) sin x.
Observe que 3e−25t sin (5x) es la solución de la ecuación homogénea, en donde
la condición inicial influye. Por otro lado, (1 + (t − 1)e−t ) sin x, es la parte de
la solución que se se debe a la fuente interna, el término no homogéneo en la
ecuación. Note que, la temperatura final depende de la fuente interna, de hecho
t
−(t−τ)
lı́m u(x, t) = sin x = lı́m p1 (τ )e dτ sin x.
t→∞ t→∞ 0
pn (t) = bn e−t .
5.3. ECUACIÓN NO HOMOGÉNEA. 125
La solución es
∞
t
−n2 t −τ n2 τ
u(x, t) = bn e 1+ e e dτ sin (nx).
n=1 0
Haciendo la integral,
t ! −t
,
(1 + t)e si n = 1,
−n2 t −τ n2 τ
e 1+ e e dτ = 1 −t 2 −n2 t
0 n2 −1 e + (n − 2)e , si n ≥ 2.
Entonces,
∞
t
−t −n2 t −τ n2 τ
u(x, t) = b1 (1 + t)e sin x + bn e 1+ e e dτ sin (nx).
n=2 0
1 ∞ nπ
f(x) = a0 + an cos x .
2 n=1
L
Note que
∞ ∞
t nπ
1 nπ 2
lı́m u(x, t) = a0 + p0 (τ ) dτ + lı́m pn (τ )e−k ( L ) (t−τ) dτ cos x .
t→∞ 2 0 n=1
t→∞ 0 L
O bien,
u(x, t) = 2 − e−t − (1 + (t − 1)e−t ) cos x.
La temperatura final es
∞ t
1 −(t−τ)
lı́m u(x, t) = 2−cos x = a0 + p0 (τ ) dτ + lı́m p1 (τ )e dτ cos x,
t→∞ 2 0 t→∞ 0
donde hay una parte debida a la condición inicial como habı́amos visto en el
caso homogéneo, ésta es igual a 1. Por otro lado, hay otra parte debida a la
temperatura final que inyecta la fuente de calor, ésta es 1 − cos x.
Considere un ejemplo más elaborado, con L = π, k = 1,
x, si 0 ≤ x ≤ π2 ,
f(x) =
π − x, si π2 < x ≤ π,
y fuente interna
xe−t , si 0 ≤ x ≤ π2 ,
p(x, t) = −t
(π − x)e , si π2 < x ≤ π.
Como los datos son los mismos que en el ejemplo anterior, recuerde que
t ! −t
−n2 t −τ n2 τ ,
(1 + t)e si n = 1,
e 1+ e e dτ = 1 −t 2 −n2 t
0 n2 −1
e + (n − 2)e , si n ≥ 2.
Entonces,
1 −t
∞
1 −t −t 2 −n2 t
u(x, t) = a0 (2−e )+a1 (1+t)e cos x+ an e + (n − 2)e cos (nx).
2 n=2
n2 − 1
∞
π −t 1 −t 2 −4n2 t
u(x, t) = (2 − e ) + a2n e + (4n − 2)e cos (2nx).
4 n=1
4n2 − 1
O bien,
π
u(x, t) = (2 − e−t )
4
∞
2 1 1 −t 2 −4(2n−1)2t
− e + (4(2n − 1) − 2)e
π n=1 (2n − 1)2 4(2n − 1)2 − 1
cos (2(2n − 1)x).
Además,
∞
1 π π π
lı́m u(x, t) = a0 + p0 (τ ) dτ = + = .
t→∞ 2 0 4 4 2
La temperatura final depende del calor inicial, como en el caso homogéneo, y
de la fuente interna de calor. La contribución, en la temperatura final en el
alambre, de la fuente de calor depende de la forma que ésta tenga. En este caso,
dicha contribución es igual a la integral señalada arriba.
Se deja al lector calcular la solución de la misma (EDP), con (CI) f(x) y
fuente interna p(x, t), pero con las siguientes (CF) mixtas:
∂
(CF) u(0, t) = 0, u(L, t) = 0, t ≥ 0,
∂x
y también
∂
(CF) u(0, t) = 0, u(L, t) = 0, t ≥ 0.
∂x
5.4. CONDICIONES EN LA FRONTERA NO HOMOGÉNEAS. 129
∂ ∂2
(EDP) u(x, t) = k 2 u(x, t) + p(x, t), t > 0, x ∈ [0, L],
∂t ∂x
(CF) u(0, t) = g(t), u(L, t) = h(t), t ≥ 0,
(CI) u(x, 0) = f(x), x ∈ [0, L].
∂ ∂2
(EDP) v(x, t) = k 2 v(x, t) + p̂(x, t), t > 0, x ∈ [0, L],
∂t ∂x
(CF) v(0, t) = 0, v(L, t) = 0, t ≥ 0,
(CI) v(x, 0) = fˆ(x), x ∈ [0, L],
donde
∂ d x d
p̂(x, t) = p(x, t) − w(x, t) = p(x, t) − g(t) − (h(t) − g(t)),
∂t dt L dt
y
x
fˆ(x) = f(x) − g(0) − (h(0) − g(0)) .
L
Este problema, para v(x, t), se resuelve como en la sección anterior. Después, se
recupera u(x, t) por medio de la transformación: u(x, t) = v(x, t) + w(x, t).
130 CAPÍTULO 5. ECUACIÓN DE DIFUSIÓN
Note que la condición inicial se satisface: u(x, t) = f(x), y que el calor se escapa
por los extremos del alambre,
lı́m u(x, t) = 0.
t→∞
Problema 10. Dadas la temperatura inicial en el alambre, f(x), x ∈ [0, L], una
fuente interna de calor p(x, t), y flujos en la frontera proporcionales a g(t), h(t),
encuentre la temperatura u(x, t), para tiempos futuros y en cualquier punto del
alambre, t > 0, x ∈ [0, L], tal que
∂ ∂2
(EDP) u(x, t) = k 2 u(x, t) + p(x, t), t > 0, x ∈ [0, L],
∂t ∂x
∂ ∂
(CF) u(0, t) = g(t), u(L, t) = h(t), t ≥ 0,
∂x ∂x
(CI) u(x, 0) = f(x), x ∈ [0, L].
Ahora, se hace la siguiente transformación para hacer que las (CF) sean
homogéneas
v(x, t) = u(x, t) − w(x, t),
donde
x2
w(x, t) = g(t)x + (h(t) − g(t)) .
2L
Note que,
∂ ∂
w(0, t) = g(t), w(L, t) = h(t),
∂x ∂x
entonces
∂ ∂
v(0, t) = 0, v(L, t) = 0.
∂x ∂x
Las (EDP) y (CI) que debe satisfacer v(x, t) se obtienen sustituyendo u(x, t) =
v(x, t) + w(x, t), en el problema 9,
∂ ∂2
(EDP) v(x, t) = k 2 v(x, t) + p̂(x, t), t > 0, x ∈ [0, L],
∂t ∂x
∂ ∂
(CF) v(0, t) = 0, v(L, t) = 0, t ≥ 0,
∂x ∂x
(CI) v(x, 0) = fˆ(x), x ∈ [0, L],
donde
d x2 d k
p̂(x, t) = p(x, t) − x g(t) − (h(t) − g(t)) + (h(t) − g(t)),
dt 2L dt L
y
2
ˆ = f(x) − g(0)x − (h(0) − g(0)) x .
f(x)
2L
Este problema, para v(x, t), se resuelve como en la sección anterior. Después, se
recupera u(x, t) por medio de la transformación: u(x, t) = v(x, t) + w(x, t).
Damos el siguiente ejemplo
∂ ∂2
(EDP) u(x, t) = u(x, t) + p(x, t), t > 0, x ∈ [0, π],
∂t ∂x2
∂ ∂
(CF) u(0, t) = e−t , u(π, t) = 2e−t , t ≥ 0,
∂x ∂x
(CI) u(x, 0) = f(x), x ∈ [0, π],
132 CAPÍTULO 5. ECUACIÓN DE DIFUSIÓN
con
1 x2
p(x, t) = f(x) − − 2 x + e−t ,
π 2π
y
x2
x+ si 0 ≤ x ≤ si 0 ≤ x ≤ π2 ,
x2
π
2π + x, 2, x,
f(x) = = x+ +
x2 2π
x+ + π − x, si π
< x ≤ π. π − x, si π2 < x ≤ π.
2π 2
De donde,
x2 1 x, si 0 ≤ x ≤ π2 ,
p̂(x, t) = p(x, t) + x + + e−t = e−t
2π π π − x, si π2 < x ≤ π,
y
ˆ x2 x, si 0 ≤ x ≤ π2 ,
f(x) = f(x) − x + =
2π π − x, si π2 < x ≤ π.
El problema para v(x, t) ya está resuelto en la sección anterior,
π
v(x, t) = (2 − e−t )
4
∞
2 1 1 −t 2 −4(2n−1)2t
− e + (4(2n − 1) − 2)e
π n=1 (2n − 1)2 4(2n − 1)2 − 1
cos (2(2n − 1)x).
g(t), h(t). Al transformar las (CF), del problema original, a homogéneas, ambas
∞
contribuciones son iguales a 0 p̂0 (τ ) dτ = π4 .
Se deja al lector calcular la solución de la misma (EDP), con (CI) f(x) y
fuente interna p(x, t), pero con las siguientes (CF) mixtas:
∂
(CF) u(0, t) = g(t), u(L, t) = h(t), t ≥ 0,
∂x
y también
∂
(CF) u(0, t) = g(t), u(L, t) = h(t), t ≥ 0.
∂x
∂2 ∂2
(EDP) 2
u(x, t) = c2 2 u(x, t), t > 0, x ∈ [0, L],
∂t ∂x
(CF) u(0, t) = 0, u(L, t) = 0, t ≥ 0,
∂
(CI) u(x, 0) = f(x), u(x, 0) = g(x), x ∈ [0, L].
∂t
La constante c > 0 es la velocidad de onda, y es una propiedad del material
de la cuerda. Note que de las (CF), los extremos de la cuerda están fijos. Si las
(CF) no son homogéneas, y dependen del tiempo, entonces los extremos están en
movimiento. Si la ecuación no es homogénea, ésto indica que una fuerza externa
está actuando sobre cada punto de la cuerda y en cada tiempo. La solución se
obtiene por medio del metodo de separacion de variables, y las condiciones ini-
ciales deben tener serie de Fourier. Se deja al lector desarrollar el procedimiento
para éste problema y obtener la siguiente solución.
∞
nπc nπc nπ
u(x, t) = an cos t + bn sin t sin x ,
n=1
L L L
con
L nπ L nπ
2 2
an = f(x) sin x dx, bn = g(x) sin x dx, ∀n ≥ 1.
L 0 L nπc 0 L
∂2 ∂ 2 ∂
2
(EDP) u(x, t) + α u(x, t) = c u(x, t), t > 0, x ∈ [0, L],
∂t2 ∂t ∂x2
(CF) u(0, t) = 0, u(L, t) = 0, t ≥ 0,
∂
(CI) u(x, 0) = f(x), u(x, 0) = g(x), x ∈ [0, L].
∂t
Donde α > 0, es una constante que depende de las propiedades del material de
la cuerda.
Note que
2
α ∂ ∂ α2 ∂2
α
e2t 2
u(x, t) + α u(x, t) + u(x, t) = 2 e 2 t u(x, t) .
∂t ∂t 4 ∂t
∂2
α t ∂2
α α2 α t
2
e 2 u(x, t) = c2 2 e 2 t u(x, t) + e 2 u(x, t), t > 0, x ∈ [0, L].
∂t ∂x 4
De donde, si
α
v(x, t) = u(x, t)e 2 t ,
el problema de arriba, en términos de v(x, t), es
∂2 ∂2 α2
(EDP) 2
v(x, t) = c2 2 v(x, t) + v(x, t), t > 0, x ∈ [0, L],
∂t ∂x 4
(CF) v(0, t) = 0, v(L, t) = 0, t ≥ 0,
∂ α
(CI) v(x, 0) = f(x), v(x, 0) = g(x) + f(x), x ∈ [0, L].
∂t 2
5.5. OTRAS ECUACIONES CLÁSICAS. 135
Cuya solución se obtiene en forma muy similar a la del problema 10. Vamos a
bosquejar como resolverla sin hacer todo el cálculo de separación de variables.
Los detalles se dejan al lector. Al separar las variables, recuerde que se obtienen
dos ecuaciones diferenciales ordinarias, en donde existe una constante desconoci-
da, λ, que se obtiene al satisfacer las (CF). Precisamente, para que éstas últimas
se cumplan, la solución debe contener sólo senos en la variable x, como pasa en
el problema 10. También, λ = λn . Sin embargo, ahora
α2 nπ 2
λn + = , ∀n ≥ 1.
4c2 L
2nπc
λn > 0, si α < , sub − amortiguado,
L
2nπc
λn = 0, si α = , crı́ticamente amortiguado,
L
2nπc
λn < 0, si α > , super − amortiguado.
L
α
Después de calcular v(x, t), se obtiene que u(x, t) = v(x, t)e− 2 t . A continuación
presentamos el resultado final.
2πc
Si la constante de amortiguamiento es tal que α < L
, la solución es
!
∞
nπc 2 α2
−α
u(x, t) = e 2t an cos − t
n=1
L 4
"
nπc 2 α2 nπ
+bn sin − t sin x ,
L 4 L
donde
L nπ
2
an = f(x) sin x dx,
L 0 L
nπc 2 α2 α 2 L nπ
− bn − an = g(x) sin x dx, ∀n ≥ 1.
L 4 2 L 0 L
2nπc
En caso de que exista algún valor de n ≥ 1, tal que α = L , al cual
denotaremos por Nα . Esto es, α = 2NLα πc . Entonces, como α > 2nπc
L
, si n ≤
136 CAPÍTULO 5. ECUACIÓN DE DIFUSIÓN
2nπc
Nα − 1, y α < L , si n ≥ Nα + 1, la solución es
!
α −1
α2 nπc 2
N
−α
u(x, t) = e 2t an cosh − t
n=1
4 L
"
α2 nπc 2 nπ
+bn sinh − t sin x
4 L L
α Nα π
+e− 2 t (aNα + bNα t) sin x
L
!
∞
nπc 2 α2
−α
+e 2 t
an cos − t
L 4
n=Nα +1
"
nπc 2 α2 nπ
+bn sin − t sin x ,
L 4 L
Recuerde que sinh z = 12 (ez − e−z ), es el seno hiperbólico, cosh z = 12 (ez + e−z ),
es el coseno hiperbólico.
En caso de que exista algún valor de n ≥ 1, denotado también por Nα , tal
2(Nα −1)πc
que L < α < 2NLα πc . Esto es, α = 2nπcL , ∀n ≥ 1, pero α >
2nπc
L , si
2nπc
n ≤ Nα − 1, y α < L , si n ≥ Nα . La solución es
!
α −1
α2 nπc 2
N
−α
u(x, t) = e 2t an cosh − t
n=1
4 L
"
α2 nπc 2 nπ
+bn sinh − t sin x
4 L L
!
∞
nπc 2 α2
−α
+e 2 t
an cos − t
L 4
n=Nα
"
nπc 2 α2 nπ
+bn sin − t sin x ,
L 4 L
Sólo difieren en la velocidad y forma con la que se acercan a cero. Note que
en el primer caso, α es pequeño, y cada término de la serie se acerca a cero
α
oscilando, con un orden de convergencia exponencial, e− 2 t . En el segundo caso,
α
α es mayor. La convergencia a cero en forma oscilante y de orden e− 2 t , sucede
sólo para n ≥ Nα + 1. Mientras que para 1 ≤ n ≤ Nα , cada término de la
serie se acerca a cero sin oscilar. Esto es, el amortiguamiento afecta más a los
primeros
sumandos
de la serie. Si 1 ≤ n ≤ Nα − 1, el orden de convergencia es
α2 nπc 2
−α
2± 4 −( L ) t α
de e , y si n = Nα , el orden es de (1 + t)e− 2 t . Algo similar
sucede para el tercer caso.
2
En seguida damos ejemplos √ de dos casos anteriores. Si L = π, α = 2, c = 2,
entonces 2 = α < 2πc L = 2 2. Estamos en el primer caso. Además, si las (CI)
son f(x) = sin x, g(x) = − sin x, la solución es
u(x, t) = e−t cos t sin x.
Si L = π, α = 8, c2 = 4, entonces α = 2NLαπc = 8. Estamos en el segundo ca-
so, con Nα = 2. De donde, si las (CI) son f(x) = sin x+sin (2x)+sin (3x), g(x) =
−4{sin x + sin (2x) + sin (3x)}, la solución es
√ √
u(x, t) = e−4t {cosh (2 3 t) sin x + sin (2x) + cos (2 5 t) sin (3x)}.
Una pequeña variante del problema anterior recibe el nombre de ecuación
del telégrafo. Surge en la modelación de la transmisión de impulsos eléctricos
en cables largos.
∂2 ∂ 2 ∂
2
(EDP) u(x, t) + α u(x, t) + βu(x, t) = c u(x, t), t > 0, x ∈ [0, L],
∂t2 ∂t ∂x2
(CF) u(0, t) = 0, u(L, t) = 0, t ≥ 0,
∂
(CI) u(x, 0) = f(x), u(x, 0) = g(x), x ∈ [0, L].
∂t
Donde β > 0, es una constante que depende de las propiedades del cable. Su
resolución es muy similar a la ecuación de onda amortiguada. Sólo observe que,
α
al hacer la transformación v(x, t) = u(x, t)e 2 t , el problema en términos de v(x, t)
es
2
∂2 2 ∂
2
α
(EDP) v(x, t) = c v(x, t) + − β v(x, t), t > 0, x ∈ [0, L],
∂t2 ∂x2 4
(CF) v(0, t) = 0, v(L, t) = 0, t ≥ 0,
∂ α
(CI) v(x, 0) = f(x), v(x, 0) = g(x) + f(x), x ∈ [0, L].
∂t 2
Entonces, en la solución para la ecuación de onda amortiguada, sólo hay que
2 2
reemplazar α4 por α4 −β. Si consideramos las constantes fı́sicas que aparecen en
138 CAPÍTULO 5. ECUACIÓN DE DIFUSIÓN