Lic. Jos M.

DE LA CRUZ UCAAN
MATEMATICA III
Mdulo: 1 Unidad: 2 Semana: 4
APLICACIONES DE
FOURIER
CONTENIDOS TEMTICOS
1. APLICACIONES DE FOURIER


1.1 Funciones Peridicas.
1.2 Serie Trigonomtrica de Fourier
1.3 Calculo de Coeficientes
1.4 Ortogonalidad
1.5 Ortogonalidad de Senos y Cosenos.
1.6 Funciones Pares e Impares.

DESARROLLO DE CONTENIDOS - SUBTTULOS
DEL TEMA
Series de Fourier
...
3
) 3 (
2
) 2 (
) (
) (
2
) (
1
+ + +
= =

=
t sen t sen
t sen
n
nt sen t
t f
n
t
La primera serie de Fourier de la historia
Euler 1744 escribe en una carta a un amigo:
Es cierto?

Observemos que en t = 0
hay problemas /2 = 0
La clave est en el concepto de funcin peridica.
Funciones Peridicas
Una funcin peridica f(t) cumple que para todo valor de
t:
f(t) = f(t + T).
Al valor mnimo, mayor que cero, de la constante T que
cumple lo anterior se le llama el periodo fundamental (o
simplemente periodo) de la funcin.
Observa que:
f(t) = f(t + nT), donde n = 0, 1, 2, 3,...

Cuestin: Es f(t) = cte. una funcin peridica?
Ejemplo: Cul es el periodo de la funcin


Si f(t) es peridica se debe cumplir:


Como cos(t + 2kt) = cos(t) para cualquier entero k,
entonces, para que se cumpla la igualdad, se
requiere que:
T/3 = 2k
1
t y T/4 = 2k
2
t.
Es decir:
T = 6k
1
t = 8k
2
t
con k
1
y k
2
enteros.
El valor mnimo de T se obtiene con k
1
= 4, k
2
= 3, es
decir, T = 24t.
? cos cos
4 3
) ( ) ( f(t)
t t
+ =
) ( ) ( T) f(t
T t T t
4 3
cos cos
+ +
+ = + ) ( ) ( f(t)
t t
4 3
cos cos + = =

Grfica de la funcin
0 50 100 150 200
-3
-2
-1
0
1
2
3
f(t)=cos(t/3)+cos(t/4)
t
f
(
t
)

24t
T
) ( ) ( f(t)
t t
4 3
cos cos + =
Es la suma de dos funciones peridicas una funcin
peridica?
Depende. Consideremos la funcin:

f(t) = cos(e
1
t) + cos(e
2
t).

Para que sea peridica se requiere encontrar dos
enteros m, n tales que:
e
1
T = 2t m y e
2
T = 2t n.
Es decir, que cumplan:

T = m/ (2t e
1
) = n/ (2t e
2
)
n
m
=
2
1
e
e
Ejemplo: para la funcin cos(3t) + cos((t+3)t)
tenemos que

Es peridica?
t +
=
e
e
3
3
2
1
0 5 10 15 20 25 30
-2
-1
0
1
2
f(t)=cos(3t)+cos((3+)t)
t
f
(
t
)

Para que exista periodicidad e
1
/ e
2
debe ser
un nmero racional (n/m).

Ejercicios: Encontrar el periodo de las
siguientes funciones, si es que son peridicas:

1) f(t) = sen(nt), donde n es un entero.
2) f(t) = sen
2
(2tt)
3) f(t) = sen(t) + sen(t + t/2)
4) f(t) = sen(e
1
t) + cos(e
2
t)
5) f(t) = sen(\2 t)
Si f
1
(t) tiene periodo T
1
y f
2
(t) tiene periodo T
2
,
es posible que f
1
(t) + f
2
(t) tenga periodo
T < min(T
1
,T
2
)?


T
1
= 5
T
2
= 5
T = 2,5
Podemos construir incluso un ejemplo de dos funciones de
igual periodo, cuya suma puede tener un periodo tan
pequeo como queramos. Sea N un entero, y definamos:

< <
s s
=
1
1
, 0
1
0 ), 2 (
) (
1
t
N
N
t t N sen
t f
t

< <
s s
=
1
1
), 2 (
1
0 , 0
) (
2
t
N
t N sen
N
t
t f
t
extendida peridicamente con T = 1:
+ < < + = t t f t f ), 1 ( ) (
1 1
extendida peridicamente con T = 1:
+ < < + = t t f t f ), 1 ( ) (
2 2

+ < < + + +
< s
= +
t t f t f
t t N sen
t f t f
), 1 ( ) 1 (
1 0 , ) 2 (
) ( ) (
2 1
2 1
t
N N
T
1
2
2 2
= = =
t
t
e
t
Puede una funcin f(t) cumplir la condicin
f(t) = f(t + T) para todo t y no tener un periodo
fundamental?

=
entero un es no si 0
entero un es si 1
) (
1
t
t
t f
1
enteros son no y si 0
enteros son y si 1
) ( ) (
1 1
=

+
+
= + =
T
T t t
T t t
T t f t f

=
entero un es o irracional es si 0
entero un no pero racional es si 1
) (
2
t
t
t f
1
enteros o es irracional son y si 0
enteros no pero racionales son y si 1
) ( ) (
2 2
=

+
+
= + =
T
T t t
T t t
T t f t f

= +
irracional es si 0
racional es si 1
) ( ) (
2 1
t
t
t f t f
T = ?
...
3
) 3 (
2
) 2 (
2
+ + + =
t sen t sen
t sen
t t
Cmo lo alcanz?
Volvamos al resultado
de Euler:

+ + =
+ + + =
... ) (
... ) (
3 2
3 2
t i t i it
t i t i it
e e t S e
e e e t S
t
t sen
i
e
e
t S
it
it
cos 1 2
1
2
1
1
) (

+ =

=
{ } ... ) 3 ( ) 2 ( ... ) 3 cos( ) 2 cos( cos
... ) (
2
1
3 2
+ + + + + + +
= + + + =

t sen t sen t sen i t t t

e e e t S
t i t i it

2
;
4
...
7
1
5
1
3
1
1
2
2
1
...
3
) 3 (
2
) 2 (
4
t t t
t
= + = + + =
+ = + + +
C C t
C t
t sen t sen
t sen

Integrando
trmino a trmino:
Utilizando la frmula de
Euler para cada trmino:
Particularizamos t
para encontrar C:
...
3
) 3 (
2
) 2 (
2
+ + + =
t sen t sen
t sen
t t
...
3
) 3 (
2
) 2 (
) (
2 2
...
3
) 3 (
2
) 2 (
) (
2
= +
+

+ =
+
t sen t sen
t sen
t
t sen t sen
t sen
t
t
t
19
(1) La funcin de Euler es peridica de periodo T = 2.

(2) La serie es una funcin impar.
No es sorprendente, pues se trata de suma de senos de
periodos enteros.

(3) En el intervalo 0 < t < 2, la serie aproxima a (-t)/2.
Pero no fuera del intervalo...

(4) Da saltos bruscos entre valores positivos y negativos.

(5) La aproximacin no es buena en "los extremos"...
Ninguna de estas dos ltimas cuestiones era conocida o
sospechada ni por Euler, ni por Fourier...
20
Joseph Fourier
En diciembre de 1807 Joseph
Fourier present un sorprendente
artculo a la Academia de Ciencias
en Pars. En l afirmaba que
cualquier funcin puede escribirse
en forma de serie trigonomtrica
semejante al ejemplo de Euler.

Polmica: Joseph-Louis Lagrange (1736-1813)
era uno de los muchos que opinaba que algo as
era simplemente imposible...
Jean Baptiste Joseph Fourier
1768-1830
Serie Trigonomtrica de Fourier
Algunas funciones peridicas f(t) de periodo T pueden
expresarse por la siguiente serie, llamada serie
trigonomtrica de Fourier





Donde e
0
= 2t/T se denomina frecuencia fundamental.
] ) ( ) cos( [ ) (
1
0 0 0 2
1

=
+ + =
n
n n
t n sen b t n a a t f e e
... ) 3 ( ) 2 ( ) ( ...
... ) 3 cos( ) 2 cos( ) cos( ) (
0 3 0 2 0 1
0 3 0 2 0 1 0
2
1
+ + + +
+ + + + =
t sen b t sen b t sen b
t a t a t a a t f
e e e
e e e
...
3
) 3 (
2
) 2 (
2
+ + + =
t sen t sen
t sen
t t
] ) ( ) cos( [ ) (
1
0 0 0
2
1

=
+ + =
n
n n
t n sen b t n a a t f e e
a
0
= 0, a
1
= 0, a
2
= 0 ...

b
1
= 1, b
2
= 1/2, b
3
= 1/3,...
Cmo calcular los coeficientes de la serie?
Dada una funcin peridica f(t), cmo se obtiene su
serie de Fourier?



Necesitamos calcular los coeficientes a
0
,a
1
,a
2
,...,b
1
,b
2
,...

Lo haremos gracias a la ortogonalidad de las
funciones seno y coseno.
] t) sen(n b t) (n [a a f(t)
n
n n

=
+ + =
1
0 0 0
2
1
cos
Ortogonalidad
Se dice que las funciones del conjunto {f
k
(t)}son
ortogonales en el intervalo a < t < b si dos funciones
cualesquiera f
m
(t), f
n
(t) de dicho conjunto cumplen:

=
=
=
}
n m para r
n m para
dt (t) (t)f f
n
b
a
n m
0
Ejemplo: las funciones t y t
2
son ortogonales en el
intervalo 1 < t < 1, ya que:



Ejemplo: Las funciones sen t y cos t son ortogonales
en el intervalo t < t <t, ya que
0
4
1
1 4
1
1
3
1
1
2
= = =

} }
t
dt t dt t t
0
2
cos
2
= =

}

t sen
tdt sent
Falta algo para demostrar en ambos casos la ortogonalidad?
Ortogonalidad de senos y cosenos
Aunque los ejemplos anteriores se limitaron a
un par de funciones, el siguiente es un
conjunto de una infinidad de funciones
ortogonales en el intervalo -
T
/
2
< t <
T
/
2
:

{1, cos(e
0
t), cos(2e
0
t), cos(3e
0
t),...,
sen(e
0
t), sen2e
0
t, sen3e
0
t,...}

con e
0
= 2t/T.





Vamos a verificarlo probndolo a pares:

1.- f(t) = 1 vs. cos(me
0
t):











Ya que m es un entero.
0
) 2 2 2
cos 1
0 0
0
2
2
0
0
2
2
0
= = =
= =

}
m
sen(m
m
) T/ sen(m
m
t) sen(m
t)dt (m
T/
T/ T/
T/
e
0
= 2t/T
2.- f(t) = 1 vs. sen(me
0
t):






3.- cos(me
0
t) vs. cos(ne
0
t):
0 2 cos 2 cos
1
cos
1
0 0
0
2
2
0
0
2
2
0
=

=
=

=

}
)] T/ (m )- T/ (m [
m
m
t) (m
t)dt sen(m
T/
T/ T/
T/

= =
=
=
}

0 2 /
0
t)dt t)cos(n cos(m
2 /
2 /
0 0
n m para T
n m para
T
T
e e
cos A cos B = [cos(A+B)+cos(A-B)]
cos
2
u = (1+cos2u)
e
0
= 2t/T
4.- sen(me
0
t) vs. sen(ne
0
t):




5.- sen(me
0
t) vs. cos(ne
0
t):
m,n cualquier para t)dt (n t) sen(m
T/
T/
0 cos
2
2
0 0
=
}

= =
=
=
}

0 2
0
2
2
0 0
n m para T/
n m para
t)dt t)sen(n sen(m
T/
T/
sen A sen B = [-cos(A+B)+cos(A-B)]
sen
2
A = (1-cos2u)
sen A cos B = [sen(A+B)+sen(A-B)]
Cmo calcular los coeficientes de la serie?
Vamos a aprovechar la ortoganilidad que acabamos de
demostrar del conjunto de funciones: {1, cos(e
0
t),
cos(2e
0
t), cos(3e
0
t),...,
sen(e
0
t), sen2e
0
t, sen3e
0
t,...}
con e
0
= 2t/T, en el intervalo -
T
/
2
< t <
T
/
2
, para calcular
los coeficientes a
0
,a
1
,a
2
,... , b
1
,b
2
,... de la serie de
Fourier:
] t) sen(n b t) (n [a a f(t)
n
n n

=
+ + =
1
0 0 0
2
1
cos
Multiplicando ambos miembros de la igualdad por cos(me
0
t) e
integrando de T/2 a T/2, obtenemos:
,... 3 , 2 , 1 ) cos( ) (
2 /
2 /
0
2
= =
}

m dt t m t f a
T
T
T
m
e

}
} }

=


+
+ =
1
2 /
2 /
0 0
1
2 /
2 /
0 0
2 /
2 /
0 0
2
1
2 /
2 /
0
cos
cos cos
cos ) cos( ) (
n
T
T
n
n
T
T
n
T
T
T
T
t)dt (m t) sen(n b
t)dt (m t) (n a
t)dt (m a dt t m t f e
0
0, si m 0
0, si m 0
T/2, si m = n
Observa que el caso anterior no incluye a a
0
, m = 0
que debemos tratar a parte:
}

=
2 /
2 /
0
) (
2
T
T
dt t f
T
a
T a
t)dt (m t) sen(n b
t)dt (m t) (n a
t)dt (m a dt t m t f
n
T
T
n
n
T
T
n
T
T
T
T
0
1
2 /
2 /
0 0
1
2 /
2 /
0 0
2 /
2 /
0 0
2
1
2 /
2 /
0
2
1
cos
cos cos
cos ) cos( ) (
=
+
+ =

}
} }

=


e
0
T, si m = 0
0, si m 0
T/2, si m = n
Similarmente, multiplicando por sen(me
0
t) e integrando de T/2 a
T/2, obtenemos:








,... 3 , 2 , 1 ) ( ) (
2 /
2 /
0
2
= =
}

m dt t m sen t f b
T
T
T
m
e

}
} }

=


+
+ =
1
2 /
2 /
0 0
1
2 /
2 /
0 0
2 /
2 /
0 0
2
1
2 /
2 /
0
cos
) (
n
T
T
n
n
T
T
n
T
T
T
T
t)dt t)sen(m sen(n b
t)dt t)sen(m (n a
t)dt sen(m a dt t) sen(m t f
0
0
0, si m 0
T/2, si m = n
Un ejemplo histricamente importante: Encontrar la serie de Fourier
para la funcin de onda cuadrada de periodo T:















La expresin para f(t) en
T
/
2
< t <
T
/
2
es:

1
f(t)
t
. . . -T
/
2
0

T
/
2
T . . .
-1

< <
< <
=
2
2
0 1
0 1
) (
T
T
t para
t para
t f
e
0
= 2t/T
Coeficiente a
0
:
}

=
2 /
2 /
1
0
) (
T
T
T
dt t f a
(

+ =
} }

2 /
0
0
2 /
2
0
T
T
T
dt dt a
(
(

+ =
0
2 /
2 /
0
2
T
T
T
t t
0 =

< <
< <
=
2
2
0 1
0 1
) (
T
T
t para
t para
t f
Coeficientes a
n
:
}

=
2 /
2 /
0
2
) cos( ) (
T
T
T n
dt t n t f a e
(

+ =
} }

2 /
0
0
0
2 /
0
2
) cos( 1 ) cos( 1
T
T
T n
dt t n dt t n a e e
0 ) (
1
) (
1
0
2 /
0
0 2 /
0
0
0
2
=
(
(

+ =

T
T
T
t n sen
n
t n sen
n
e
e
e
e
0 para = n

< <
< <
=
2
2
0 1
0 1
) (
T
T
t para
t para
t f
Coeficientes b
n
:
}

=
2 /
2 /
0
2
) ( ) (
T
T
T n
dt t n sen t f b e
=
(

+ =
} }

2 /
0
0
0
2 /
0
2
) ( ) (
T
T
T n
dt t n sen dt t n sen b e e
(
(

=
0
2 /
0
0 2 /
0
0
0
2
) cos(
1
) cos(
1
T
T
T
t n
n
t n
n
e
e
e
e
| | ) 1 ) (cos( )) cos( 1 (
1
= t t
t
n n
n
| | 0 para ) ) 1 ( 1
2
= = n
n
n
t

< <
< <
=
2
2
0 1
0 1
) (
T
T
t para
t para
t f
Finalmente, la serie de Fourier queda como







En la siguiente figura se muestran: la componente fundamental y
los armnicos 3, 5 y 7, as como la suma parcial de estos primeros
cuatro trminos de la serie para
e
0
= t (e
0
= 2t/T), es decir, T = 2:
| |
( )

=
+ + + =
1
0
0 5
1
0 3
1
0
) ) 1 2 (
1 2
1 4
) (
... ) 5 ( ) 3 ( ) (
4
) (
n
t n sen
n
t f
t sen t sen t sen t f
e
t
e e e
t
-1 -0.5 0 0.5 1
-1.5
-1
-0.5
0
0.5
1
1.5
Componentes de la Serie de Fourier
t
C
o
m
p
o
n
e
n
t
e
s

Suma
fundamental
tercer armnico
quinto armnico
sptimo armnico
| | ... ) 5 ( ) 3 ( ) (
4
) (
0 5
1
0 3
1
0
+ + + = t sen t sen t sen t f e e e
t
Nota:
Para expresarse como serie de Fourier f(t), no
necesita estar centrada en el origen. Simplemente
debemos tomar el intervalo, donde est definida, como
el periodo de la serie.
La ortogonalidad de las funciones seno y coseno no
slo se da en el intervalo de
T/2 a T/2, sino en cualquier intervalo que cubra un
periodo completo:

de t
0
a t
0
+ T, con t
0
arbitrario,

con el mismo resultado.
Habamos calculado
los coeficientes para:

< s
< s
=
T t T para
T t para
t f
2 / 1
2 / 0 1
) (

< <
< <
=
2 / 0 1
0 2 / 1
) (
T t para
t T para
t f
Si los calculamos para la misma funcin desplazada
tienen que ser los mismos:
1
f(t)
t
. . . -T
/
2
0

T
/
2
T . . .
-1
1
f(t)
t
. . . -T
/
2
0

T
/
2
T . . .
-1
Repite los clculos y comprubalo.
De hecho si repetimos
para cualquier intervalo
de longitud el periodo
T de la funcin, ser lo
mismo:
1
f(t)
t
. . .
t
0
t
0
+T
. . .
-1
} } } }
= = = =
+
T
T
T t
t
T
T
T
T
T
T
dt t f dt t f dt t f dt t f a ) ( ) ( ) ( ) (
2 2
0
2
2 /
2 /
1
0
0
0
} }
= = =
T
T
T
T
T
n
dt t n t f dt t n t f a ) cos( ) ( ... ) cos( ) (
0
2
2 /
2 /
0
2
e e
} }
= = =
T
T
T
T
T
n
dt t n sen t f dt t n sen t f b ) ( ) ( ... ) ( ) (
0
2
2 /
2 /
0
2
e e
43
Ejercicio: encontrar la serie de Fourier para
2
) (
t
t f

=
t
Calcula la serie de Fourier de la funcin peridica:
3
2
periodo de ) 3 cos( 1 ) (
t
= + = T t t f
) 3 cos( 1 ) ( ) cos( 1 ) (
definitiva en
todo para 0 ) ( )) 3 cos( 1 (
3
) ( ) (
2
1 si , 0
1 si , 1
) cos( )) 3 cos( 1 (
3
) cos( ) (
2
2 )) 3 cos( 1 (
3
) (
2
0
1
0
1
3
2
0
0 0
3
2
0
0 0
3
2
0
0
t t n sen b t n a t f
n dt t n sen t dt t n sen t f
T
b
n
n
dt t n t dt t n t f
T
a
dt t dt t f
T
a
n
n
n
n
T
n
T
n
T
+ = + + =
= + = =

=
=
= + = =
= + = =

} }
} }
} }

=
e e
e
t
e
e
t
e
t
t
t
t
Nota: a partir de ahora entenderemos que f(t) est definida slo en el
intervalo que especifiquemos. Y que la serie de Fourier la extiende
peridicamente, con periodo T igual al intervalo de definicin. En muchos
libros se habla de extender de forma par o impar una funcin. La serie
de Fourier extender peridicamente los patrones siguientes:
t
t
Extensin par
Extensin impar
Funciones Pares e Impares
Una funcin (peridica o no) se dice funcin par (o
con simetra par) si su grfica es simtrica respecto al
eje vertical, es decir, la funcin f(t) es par si
f(t) = f(-t)

t 2t
f(t)
t
t 2t
En forma similar, una funcin f(t) se dice funcin impar (o con
simetra impar), si su grfica es simtrica respecto al origen, es
decir, si cumple lo siguiente: -f(t) = f(-t)

t 2t
f(t)
t
t 2t
Ejemplo: Las siguientes funciones son pares o
impares?
f(t) = t + 1/t ,
g(t) = 1/(t
2
+1).

Solucin:
Como f(-t) = -t - 1/t = - f(t), por lo tanto f(t) es funcin
impar.
Como g(-t) = 1/((-t)
2
+1) = 1/(t
2
+1) = g(t), por lo tanto g(t)
es funcin par.
Ejemplo: La funcin h(t) = f(1+t
2
) es par o impar? (f es
una funcin arbitraria).

Solucin:
Sea g(t) = 1 + t
2
. Entonces h(t) = f(g(t)).
Por lo tanto h(-t) = f(g(-t)).
Pero g(-t) = 1+(-t)
2
= 1 + t
2
= g(t),
finalmente h(-t) = f(g(t)) = h(t), de modo que h(t) es
funcin par, sin importar como sea f(t).
Ejemplo: De acuerdo al ejemplo anterior, todas las
funciones siguientes son pares:

h(t) = sen (1+t
2
)
h(t) = exp(1+t
2
) + 5/ (1+t
2
)
h(t) = cos (2+t
2
) + 1
h(t) = (10+t
2
) - (1+t
2
)
1/2
etc...
Ya que todas tienen la forma f(1+t
2
).
Si f (x) es par:
}
=
a
dx x f
0
) ( 2
}

a
a
dx x f ) (
}
a
dx x f
0
) (
a
-a
}

a
a
dx x f ) (
Si f (x) es impar:
0 =
}

a
a
dx x f ) (
a
-a
}

a
a
dx x f ) (
Como la funcin sen(ne
0
t) es una funcin impar para
todo n y la funcin cos(ne
0
t) es una funcin par para
todo n, es de esperar que:

Si f(t) es par, su serie de Fourier no contendr
trminos seno, por lo tanto
b
n
= 0 para todo n.

Si f(t) es impar, su serie de Fourier no contendr
trminos coseno, por lo tanto a
n
= 0 para todo n.
Por ejemplo, la seal cuadrada, que hemos analizado:









Es una funcin impar, por ello su serie de Fourier no contiene
trminos coseno:
1
f(t)
t
. . . -T
/
2
0

T
/
2
T . . .
-1
| | ... ) 5 ( ) 3 ( ) (
4
) (
0 5
1
0 3
1
0
+ + + = t sen t sen t sen t f e e e
t
a) Obtener el desarrollo en serie de Fourier de las funciones
t t s s = = x x x g x x f en cos ) ( y sin ) (
Respuesta.
| |

=
+ + =
1
0
) sin( ) cos(
2
) (
n
n n
nx b nx a
a
x f
f(x) = |sen(x)|, x [-,], 2 peridica
Funcin par desarrollo en cosenos, b
n
= 0
| |
| | 1 ) 1 cos(
1
2 1
) 1 sin( ) 1 sin(
1
) cos( sin
2
) cos( ) (
1
2
0
0

=
= + + =
= = =
}
} }

t
t
t
t t
t
t t
t
n
n
dx x n x n
dx nx x dx nx x f a
n
impar n , 0 par; n ,
) 1 (
4
;
4
2
0
=

= =
n n
a
n
a a
t t
1 4
) 2 cos( 4 2
sin
2
1

=

=
n
nx
x
n
t t
f(x) = |cos(x)|, x [-,], 2 peridica
Funcin par desarrollo en cosenos, b
n
= 0
| |
}
} }
+ + =
= = =

2 /
0
2 /
0
) 1 cos( ) 1 cos(
2
) cos( cos
4
) cos( ) (
1
t
t t
t
t
t t
dx x n x n
dx nx x dx nx x g a
n
impar n , 0 par; n ,
) 1 (
4
;
4
2
0
=

= =
n n
a
n
a a
t t
1 4
) 2 cos( ) 1 ( 4 2
cos
2
1

=
n
nx
x
n
n
t t
GRACIAS