Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/11 1

Curso 2
o
. Ingeniero de Telecomunicacin.
Ampliacin de Matemticas.
Leccin 4.
ANLISIS DE FOURIER.
Curso 2010-11
1 La serie de Fourier de una funcin
El planteamiento central de esta leccin es el siguiente. Dada una funcin peridica f(t), por
ejemplo de perodo 2, queremos escribirla como una combinacin en la que intervengan nica-
mente senos y cosenos, que son las funciones peridicas de perodo 2 ms simples y conocidas:
f(t) =?

X
n=0
[a
n
cos(nt) + b
n
sen(nt)] .
Una serie de este tipo recibe el nombre de serie trigonomtrica o serie de Fourier.
El problema de la representacin de una funcin mediante una serie trigonomtrica surge,
como veremos en la leccin 6, de la resolucin de ecuaciones en derivadas parciales. En torno a
1750, J. dAlembert, D. Bernoulli (17001782) y L. Euler estudiaron la ecuacin de ondas que
gobierna el problema de la cuerda vibrante, un problema planteado y estudiado por B. Taylor
(16851731) que haba obtenido soluciones en forma de funciones sinusoidales. DAlembert dio
una solucin muy general y Euler prob que si en el instante inicial la forma de la cuerda es una
combinacin nita de senos, entonces ocurrir lo mismo en cualquier instante posterior, dando
mucho ms tarde, en 1777, las frmulas que permiten calcular los coecientes de la combinacin.
En 1753, D. Bernoulli utiliz esta representacin para resolver el problema de la cuerda vibrante
para una posicin inicial cualquiera, pero su solucin suscit mucha controversia. Fue J.B. Fourier
(17681830) quien, al analizar en una famosa memoria presentada en 1807 la ecuacin que go-
bierna la transmisin del calor en una barra, retom las ideas de Euler y Bernoulli y obtuvo
resultados muy ajustados a los experimentos, colocando el estudio de las series trigonomtricas
que hoy llevan su nombre en el centro del escenario matemtico del S. XIX. La teora de
las series de Fourier tuvo a lo largo del siglo pasado profundas implicaciones para el anlisis
matemtico y es hoy en da una herramienta fundamental de la ingeniera de telecomunicacin.
En la teora de la seal y la comunicacin, cuando t es la variable temporal se dice que f(t)
es una seal peridica en tiempo continuo y cuando esta representacin en serie de funciones
trigonomtricas sea correcta, decimos que hemos descompuesto la seal en armnicos o modos
de vibracin.
2 Leccin 4. Anlisis de Fourier
En esta leccin estudiaremos bajo qu condiciones puede hacerse esta representacin, cmo
calcular los coecientes, los ejemplos ms importantes, algunas propiedades y la forma compleja
de las series de Fourier. Finalmente, para funciones seales no peridicas, se introduce la
transformada de Fourier que, aunque es muy similar y comparte muchas propiedades con la
transformada de Laplace, se emplea en contextos muy diferentes.
Funciones peridicas. Recordemos que una funcin f : R R es peridica de perodo T 6= 0
(o T-peridica) cuando existe T > 0 tal que
f(t + T) = f(t) para cualquier t R.
En ese caso se tiene automticamente que f(t + nT) = f(t) para cualesquiera t R y n Z.
Esto signica que sus valores se repiten a intervalos regulares y que su grca puede dividirse en
segmentos verticales de anchura T que son idnticos. Es obvio que si T es un perodo de f(t),
entonces tambin lo son T, 2T, 3T, . . . Salvo las funciones constantes, todas las funciones
peridicas de inters en las aplicaciones, en particular las funciones continuas no constantes,
tienen lo que se conoce como un perodo fundamental o mnimo; o sea, un perodo T > 0 tal que
f(t) no es -peridica para ningn valor 0 < < T.
Los ejemplos tpicos de funciones peridicas son las funciones trigonomtricas sen(t) y cos(t),
que son peridicas con perodo mnimo 2. Las funciones sen(2t) y cos(2t) tambin tienen
perodo 2 pero su perodo mnimo es . Ms generalmente, dados > 0, y n N, las
funciones sen(nt + ) y cos(nt + ) son peridicas de perodo mnimo T =
2
n
, porque
sen (n(t + T) + ) = sen (nt + + 2) = sen (nt + )
e igual con el coseno. Para medir la velocidad de repeticin de una funcin con perodo mnimo
T, se utiliza la frecuencia, a veces llamada frecuencia angular, denida como
frecuencia =
2
perodo
=
2
T
,
que se mide en radianes por segundo. En algunos textos se reserva la palabra frecuencia para la
inversa del perodo, 1/T que se mide en ciclos por segundoo hertzios.
Polinomios trigonomtricos. Un polinomio trigonomtrico con perodo T y frecuencia =
2/T es una funcin de la forma
f(t) =
1
2
a
0
+
n
0
X
n=1
[a
n
cos(nt) + b
n
sen (nt)]
(el factor
1
2
del trmino independiente es un convenio cuya justicacin daremos ms adelante).
En otras palabras, un polinomio trigonomtrico es una combinacin lineal de senos y cosenos que
tienen un perodo comn T. Los coecientes a
n
y b
n
de esta combinacin se llaman coecientes
de Fourier del polinomio. El ndice n
0
se llama grado del polinomio.
La razn del trmino polinomio es que las funciones sen(nt) y cos(nt) se pueden escribir
como una combinacin de productos de potencias de sen(t) y cos(t), como en las conocidas
expresiones
sen(2t) = 2sen (t) cos(t) y cos(2t) = (cos(t))
2
(sen (t))
2
.
Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/11 3
Y, viceversa, toda combinacin de productos de potencias de sen (t) y cos(t) es un polinomio
trigonomtrico.
La existencia de un perodo comn de las funciones involucradas es importante. La funcin
f(t) = cos(t) + cos(t) no es un polinomio trigonomtrico porque ni siquiera es peridica.
Sea f(t) =
1
2
a
0
+
P
n
0
n=1
[a
n
cos(nt) + b
n
sen(nt)] un polinomio trigonomtrico. Tomamos

0
=
1
2
a
0
. Para cada n = 1, 2, . . . , sea z
n
= a
n
+ jb
n
,
n
= |z
n
| =
p
a
2
n
+ b
2
n
y
n
= Arg(z
n
), es
decir el argumento que pertenece al intervalo (, ]. De esta forma
cos(
n
) =
a
n

n
y sen(
n
) =
b
n

n
y se tiene
a
n
cos(nt) + b
n
sen(nt) =
n
cos(nt +
n
),
as que podemos escribir el polinomio anterior como una suma de funciones coseno
f(t) =
0
+
1
cos(t +
1
) +
2
cos(2t +
2
) + +
n
0
cos(n
0
t +
n
0
)
donde el trmino
1
cos(t +
1
) se llama primer armnico o modo fundamental de vibracin.
Los coecientes
n
de los armnicos se llaman amplitudes y los ngulos
n
se llaman ngulos de
fase. En algunas ocasiones puede ser preferible usar funciones seno; ahora bien, puesto que se
verica cos(nt +
n
) = sen(nt +
n
+ /2), las amplitudes son iguales y los ngulos de fase
entre la expresin con el seno y la expresin con el coseno dieren en /2.
La expresin de un polinomio trigonomtrico en trminos de las amplitudes y las fases de sus
armnicos es muy intuitiva; nos dice que la funcin resultante consiste en superponer vibraciones
cos(nt +
n
) cuyas frecuencias son mltiplos enteros de la frecuencia del modo fundamental,
de mayor o menor amplitud y que van en fase (si
n
= 0), adelantadas (cuando
n
> 0, lo
que corresponde a deslizar la grca hacia la izquierda) o retrasadas (cuando
n
< 0, lo que
corresponde a deslizar la grca hacia la derecha) con respecto al armnico puro de la misma
frecuencia cos(nt).
Serie de Fourier. Sea ahora f(t) una funcin peridica de perodo T. La pregunta que se
plantea es saber si podemos obtener f como una combinacin necesariamente innita salvo
que f sea un polinomio trigonomtrico de armnicos de frecuencia = 2/T:
f(t)=?
1
2
a
0
+ a
1
cos(t) + b
1
sen(t) + a
2
cos(2t) + b
2
sen (2t) +
Este problema se desdobla en dos: En primer lugar, determinar los coecientes a
0
, a
1
, b
1
, . . .
adecuados y, posteriormente, establecer si la serie converge a la propia funcin f(t).
Con respecto al primer problema, razonamos como sigue. Si es cierto que se da la igualdad
y la convergencia de la serie permite la integracin trmino a trmino, entonces el coeciente a
0
de la expresin f(t) =
1
2
a
0
+
P

n=1
[a
n
cos(nt) + b
n
sen(nt)] es relativamente fcil de calcular:
si integramos sobre un perodo, obtenemos
Z
T
0
f(t) dt =
T
2
a
0
+

X
n=1

a
n
Z
T
0
cos(nt) dt + b
n
Z
T
0
sen(nt) dt

=
T
2
a
0
,
4 Leccin 4. Anlisis de Fourier
donde hemos usado que para cada n = 1, 2, . . . se tiene
Z
T
0
cos(nt) dt =
Z
T
0
sen (nt) dt = 0.
Para calcular los dems coecientes, Euler haba observado que dados un perodo T y la
frecuencia correspondiente = 2/T, entonces para cada m, n = 1, 2, . . . se tiene
Z
T
0
cos(nt) cos(mt) dt =
Z
T
0
sen (nt)sen (mt) dt =
(
0 si m 6= n,
T
2
si m = n
y tambin
Z
T
0
cos(nt)sen (mt) dt = 0.
As que, multiplicando la expresin f(t) =
1
2
a
0
+
P

n=1
[a
n
cos(nt) + b
n
sen(nt)] por cos(mt)
(para m = 1, 2, . . . ) e integrando sobre un perodo, obtenemos
Z
T
0
f(t) cos(mt) dt =
= a
0
Z
T
0
cos(mt) dt +

X
n=1

a
n
Z
T
0
cos(nt) cos(mt) dt + b
n
Z
T
0
sen(nt) cos(mt) dt

=
T
2
a
m
.
Anlogamente, multiplicando la expresin f(t) =
1
2
a
0
+
P

n=1
[a
n
cos(nt) + b
n
sen(nt)] por
sen(mt) (para m = 1, 2, . . . ) e integrando sobre un perodo, obtenemos
Z
T
0
f(t)sen (mt) dt =
= a
0
Z
T
0
sen (mt) dt +

X
n=1

a
n
Z
T
0
cos(nt)sen (mt) dt + b
n
Z
T
0
sen(nt)sen (mt) dt

=
T
2
b
m
.
Puesto que cos(0t) = 1, vemos que el valor de a
0
se puede obtener admitiendo m = 0 en la
expresin de a
m
; esto explica por qu el trmino constante de la serie se suele escribir
1
2
a
0
. En
resumen, los coecientes buscados son
a
m
=
2
T
Z
T
0
f(t) cos(mt) dt para m = 0, 1, 2 . . .
y
b
m
=
2
T
Z
T
0
f(t)sen(mt) dt para m = 1, 2, . . .
Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/11 5
Estas expresiones nos dicen cmo calcular los coecientes adecuados.
Deniciones. Sea f : R R una funcin continua a trozos y peridica de perodo T y sea
= 2/T. Los coecientes de Fourier de f son los nmeros denidos por
a
n
=
2
T
Z
T
0
f(t) cos(nt) dt para n = 0, 1, 2 . . . ,
y
b
n
=
2
T
Z
T
0
f(t)sen(nt) dt para n = 1, 2, . . .
Puesto que la funcin tiene perodo T, las integrales anteriores pueden hacerse sobre cualquier
intervalo de longitud T, por ejemplo [T/2, T/2].
La serie
1
2
a
0
+

P
n=1
[a
n
cos(nt) + b
n
sen(nt)], donde los a
n
y los b
n
son los correspondientes
coecientes de Fourier de una funcin f, se llama desarrollo en serie de Fourier, o simplemente
serie de Fourier, de f. Para indicar que una serie trigonomtrica es la serie de Fourier de una
funcin dada se suele escribir
f(t)
1
2
a
0
+

X
n=1
[a
n
cos(nt) + b
n
sen (nt)] .
Como antes, tomando
0
=
1
2
a
0
y

n
=
p
a
2
n
+ b
2
n
y
n
= arctan(b
n
/a
n
) (, ] para n = 1, 2, . . . ,
se tiene
a
n
cos(nt) + b
n
sen(nt) =
n
cos(nt +
n
),
as que podemos escribir la serie de Fourier de f como una superposicin de armnicos en trminos
de las amplitudes y las fases de la siguiente manera:
f(t)
0
+

X
n=1

n
cos(nt +
n
).
Si T es el perodo mnimo de f, entonces el trmino
1
cos(t +
1
) se llama primer armnico
o modo fundamental de vibracin. Los trminos a
n
cos(nt) + b
n
sen (nt) =
n
cos(t +
n
)
restantes se llaman componentes armnicos de f. Los coecientes
n
de los componentes ar-
mnicos se llaman amplitudes y los ngulos
n
se llaman ngulos de fase.
Los coecientes de Fourier o, alternativamente, las amplitudes y las fases son parmetros muy
importantes a la hora de estudiar una seal. Aparte de la representacin habitual de una seal
como una curva situando el tiempo en el eje de abscisas, en la prctica tambin se utilizan el
espectro discreto de amplitudes, que es la representacin de las amplitudes cuando situamos las
frecuencias en el eje de abscisas, y el espectro discreto de fases, que es la representacin de las
fases cuando situamos las frecuencias en el eje de abscisas. El adjetivo discreto alude al hecho de
que las frecuencias no varan de forma continua, sino como mltiplos de la frecuencia fundamental
, o sea, 0, , 2, 3, . . . , lo que se conoce como el dominio discreto de frecuencias de f.
6 Leccin 4. Anlisis de Fourier
En muchas aplicaciones, en particular en teora de la seal y de las comunicaciones, es ms til
una tercera forma de expresin, llamada forma compleja de la serie de Fourier, que consiste en
usar exponenciales complejas e
jnt
en vez de cos(nt) y sen(nt). Para construirla, sustituimos
las expresiones
cos(nt) =
e
jnt
+ e
jnt
2
y sen(nt) =
e
jnt
e
jnt
2j
en la serie
1
2
a
0
+
P

n=1
[a
n
cos(nt) + b
n
sen(nt)], obteniendo
f(t)
1
2
a
0
+
1
2

X
n=1

(a
n
jb
n
)e
jnt
+ (a
n
+ jb
n
)e
jnt

.
Escribiendo
c
0
= c
0
e
0
=
1
2
a
0
, c
n
=
1
2
(a
n
jb
n
) y c
n
= c
n
=
1
2
(a
n
+ jb
n
),
separando los trminos con ndice negativo de los que tienen ndice positivo y reordenando, la
serie de Fourier queda
f(t)

X
n=
c
n
e
jnt
,
que se llama forma compleja de la serie de Fourier de f. Los nmeros c
n
se llaman coecientes
de Fourier de la forma compleja y pueden calcularse de forma directa:
c
n
=
1
T
Z
T/2
T/2
f(t)e
jnt
dt para n = 0, 1, 2, . . .
Si lo que tenemos son los coecientes c
n
de la forma compleja, entonces los coecientes de
Fourier a
n
y b
n
, las amplitudes y las fases vienen dados por
a
n
= 2 Re(c
n
), b
n
= 2 Im(c
n
),
n
= 2 |c
n
| y
n
= arg(c
n
) (, ].
Cuando f(t) es una seal peridica de perodo fundamental T, las componentes de la forma
compleja se dan en las frecuencias 0, , 2, . . . Sin embargo, no es posible realizar fsica-
mente seales de frecuencia negativa, stas se han introducido por comodidad. Para obtener una
seal real a partir de cada componente c
n
e
jnt
debemos combinarla con c
n
e
jnt
para obtener,
teniendo en cuenta que c
n
y c
n
son conjugados,
c
n
e
jnt
+ c
n
e
jnt
= |c
n
| e
j
n
e
jnt
+ |c
n
| e
j
n
e
jnt
= 2 |c
n
| cos(nt +
n
).
En el caso complejo, la representacin de los mdulos |c
n
| cuando situamos las frecuencias po-
sitivas y negativas en el eje de abscisas se llama espectro complejo de amplitudes y es simtrico
con respecto al eje de ordenadas. Las amplitudes
n
= 2 |c
n
| = |c
n
| +|c
n
| se obtienen sumando
los valores correspondientes a las frecuencias n y n.
Naturalmente, an est pendiente el problema de saber si el desarrollo en serie de Fourier de
una funcin dada converge y, en ese caso, si su lmite es la funcin. Abordaremos ese problema
Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/11 7
en la siguiente seccin; ahora vamos a estudiar algunos ejemplos que nos indiquen qu podemos
esperar.
Ejemplos. (1) La serie de Fourier de un polinomio trigonomtrico es el propio polinomio.
(2) La serie de Fourier de la funcin de onda rectangular de perodo T denida en [T/2, T/2]
por
f(t) =

1 si T/2 < t < 0

1 si 0 < t < T/2
y extendida peridicamente a R es
f(t)
4

sen (t) +
1
3
sen(3t) +
1
5
sen (5t) +

,
siendo = 2/T. Vemos que no est claro a priori que la serie vaya a ser convergente.
(3) La serie de Fourier de la funcin dada por f(t) = ( t)( + t) para t y
extendida peridicamente a R es
f(t)
2
2
3
+ 4

cos(t)
1
4
cos(2t) +
1
9
cos(3t)
1
16
cos(4t) +

.
En este caso s est claro que la serie converge absolutamente para cada valor de t.
(4) La serie de Fourier de la funcin de onda dentada denida por f(t) = t/T para 0 < t < T
y extendida peridicamente a R es
f(t) 1/2
1

sen(t) +
1
2
sen(2t) +
1
3
sen (3t) +

con = 2/T.
(5) La serie de Fourier de la funcin de onda dentada denida por f(t) = t/T para T/2 <
t < T/2 y extendida peridicamente a R es
f(t)
1

sen(t)
1
2
sen(2t) +
1
3
sen (3t)
1
4
sen(4t) +

con = 2/T.
(6) Los coecientes de Fourier complejos de un tren de pulsos rectangulares dado como la
extensin peridica de la funcin denida en [T/2, T/2] por
f(t) =

k si 0 |t| < d/2,

0 si d/2 |t| < T/2,
son
c
n
=
k
T
Z
d/2
d/2
e
jnt
dt =
kd
T
sen(nd/2)
nd/2
siendo = 2/T. Los valores de c
n
son reales, lo que corresponde al hecho de que la funcin es
par, as que su espectro de fases es
n
= 0 para cada n. La funcin
sa(t) :=
(
1 si t = 0,
sen (t)
t
si t 6= 0,
8 Leccin 4. Anlisis de Fourier
se llama funcin de muestreo (sa viene de la palabra inglesa sampling) y es muy importante en
la teora de la seal precisamente porque los coecientes de Fourier complejos del tren de pulsos
rectangulares de nuestro ejemplo se pueden expresar como
c
n
=
kd
T
sa(nd/2).
A veces, en vez de la funcin de muestreo se trabaja con una funcin relacionada, llamada seno
cardinal que se dene como
sinc(t) := sa(t) :=
(
1 si t = 0,
sen (t)
t
si t 6= 0.
La forma real de la serie de Fourier queda como sigue
f(t)
dk
2
+
k

sen(d/2) cos(t) +
sen(2d/2)
2
cos(2t) +
sen(3d/2)
3
cos(3t) +

.
(7) Si consideramos la funcin 2 peridica f que toma los valores f(t) = cos(t/2) para
t [, ) se tiene que = 1 y para cada nmero entero n
c
n
=
1
2
Z

cos(t/2)e
jnt
dt =
1
2
Z

e
jt/2
+ e
jt/2
2

e
jnt
dt =
2(1)
n
(4n
2
1)
.
Series de Fourier de funciones pares e impares. Sea f : [L, L] R una funcin. Se
dice que f es una funcin par cuando f(t) = f(t) para cada t [L, L]; esto signica que su
grca es simtrica respecto del eje de ordenadas. Si f es par e integrable, entonces
Z
L
L
f(t) dt = 2
Z
L
0
f(t) dt.
Las constantes, los cosenos o las funciones f(t) = t
par
son ejemplos de funciones pares.
Se dice que una funcin f : [L, L] R es una funcin impar cuando f(t) = f(t) para
cada t [L, L]; esto signica que su grca es simtrica respecto del origen de coordenadas. Si
f es impar e integrable, entonces
Z
L
L
f(t) dt = 0.
Los senos o las funciones f(t) = t
impar
son ejemplos de funciones impares.
La suma y el producto de funciones pares o impares sigue la misma regla que los signos (con
par en el papel de positivo e impar en el de negativo). Otra propiedad til es que la
derivada de una funcin par es impar y viceversa.
Teorema. Sea f(t) una funcin continua a trozos y peridica de perodo T.
(1) Si f es una funcin par, entonces su desarrollo en serie de Fourier slo tiene funciones
coseno, lo que se conoce como una serie de Fourier en cosenos,
f(t)
1
2
a
0
+

X
n=1
a
n
cos(nt)
Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/11 9
siendo = 2/T y
a
n
=
4
T
Z
T/2
0
f(t) cos(nt) dt (n = 0, 1, 2, . . . ).
(Esto lo vemos en los Ejemplos 3 y 6 anteriores.)
(2) Si f es una funcin impar, entonces su desarrollo en serie de Fourier slo tiene funciones
seno, lo que se conoce como una serie de Fourier en senos,
f(t)

X
n=1
b
n
sen (nt)
siendo = 2/T y
b
n
=
4
T
Z
T/2
0
f(t)sen(nt) dt (n = 1, 2, . . . ).
(Esto lo vemos en los Ejemplos 2 y 5 anteriores.)
Vemos, entonces, que una funcin peridica es par cuando sus coecientes de Fourier complejos
son reales y que es impar cuando sus coecientes de Fourier complejos son imaginarios puros.
Veremos en la Leccin 6 que en ocasiones necesitaremos expresar una funcin como una serie
de Fourier de senos o como una serie de Fourier de cosenos en un intervalo dado. Esto se hace
deniendo la funcin de manera adecuada fuera de dicho intervalo para que sea par o impar.
Desarrollos de medio intervalo. Sea f : [0, L] R una funcin continua a trozos. Sea
T = 2L, entonces la extensin T-peridica y par de f es la funcin denida en el intervalo
[L, L] = [T/2, T/2] por
f
par
(t) =

f(t) si L t 0,
f(t) si 0 t L,
y extendida peridicamente a toda la recta real R. Obviamente, f
par
es una funcin par, as que
su desarrollo en serie de Fourier es una serie de cosenos que se conoce, en este contexto, como el
desarrollo de f en serie de cosenos en medio intervalo [0, L] y viene dado por
f(t)
1
2
a
0
+

X
n=1
a
n
cos(nt) en [0, L],
siendo = /L y
a
n
=
2
L
Z
L
0
f(t) cos(nt) dt (n = 0, 1, 2, . . . ).
La extensin T-peridica e impar de f es la funcin denida en [L, L] = [T/2, T/2] por
f
impar
(t) =

f(t) si L t 0,
f(t) si 0 t L,
y extendida peridicamente a toda la recta real R. Obviamente, f
impar
es una funcin impar, as
que su desarrollo en serie de Fourier es una serie de senos que se conoce, en este contexto, como
10 Leccin 4. Anlisis de Fourier
el desarrollo de f en serie de senos en medio intervalo [0, L] y viene dado por
f(t)

X
n=1
b
n
sen(nt) en [0, L],
siendo = /L y
b
n
=
2
L
Z
L
0
f(t)sen(nt) dt (n = 1, 2, . . . ).
Ejemplo. Sea f(t) = t para t [0, ]. Entonces, su extensin par y 2-peridica es la funcin
dada por f
par
(t) = |t| para t [, ] y extendida peridicamente a toda la recta real; el
desarrollo de f en serie de cosenos en [0, ] es
f(t)

2

4

cos(t) +
cos(3t)
3
2
+
cos(5t)
5
2
+

.
Para la misma funcin f, su extensin impar y 2-peridica viene dada por f
impar
(t) = t para
t [, ] y extendida peridicamente a toda la recta real; el desarrollo de f en serie de senos
en [0, ] es
f(t) 2

sen (t)
sen (2t)
2
+
sen (3t)
3

sen(4t)
4
+

.
2 Convergencia de las series de Fourier
Sea f : R R una funcin continua a trozos y peridica de perodo T y sea
f(t)
1
2
a
0
+

X
n=1
[a
n
cos(nt) + b
n
sen (nt)] ,
con = 2/T, su serie de Fourier. Hemos comentado que la armacin de que se da la igualdad
entre f y su serie de Fourier suscit mucha controversia a lo largo de la segunda mitad del
S. XVIII y comienzos del S. XIX. Esta controversia fue zanjada por P.G.L. Dirichlet (1805
1859): en 1829 dio la primera demostracin satisfactoria de que cierta clase de funciones, que
incluye prcticamente todas las de inters en las aplicaciones, son realmente iguales a las sumas
de sus series de Fourier.
Condiciones de Dirichlet. Sea f : R R una funcin peridica de perodo T. Se dice
que f satisface las condiciones de Dirichlet si en cada perodo la funcin f : [0, T] R es
continua salvo un nmero nito de discontinuidades de salto y slo tiene una cantidad nita
de mximos y mnimos locales estrictos. Puede probarse, en particular, que si una funcin
peridica es tal que ella y su derivada estn denidas y son continuas salvo un nmero nito
de discontinuidades de salto, entonces dicha funcin verica las condiciones de Dirichlet. Como
hemos dicho, prcticamente todas las funciones seales de inters en las aplicaciones las
verican.
Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/11 11
Teorema de convergencia de Dirichlet. Sea f : R R una funcin peridica de perodo T
que satisface las condiciones de Dirichlet y sea
f(t)
1
2
a
0
+

X
n=1
[a
n
cos(nt) + b
n
sen (nt)] ,
con = 2/T, su serie de Fourier.
(1) Si f es continua en un punto t, entonces la serie de Fourier converge en ese punto a f(t),
o sea,
1
2
a
0
+

X
n=1
[a
n
cos(nt) + b
n
sen (nt)] = f(t).
(2) Si f tiene una discontinuad de salto en un punto t, entonces la serie de Fourier converge
en ese punto al punto medio del salto, o sea,
1
2
a
0
+

X
n=1
[a
n
cos(nt) + b
n
sen (nt)] =
f(t

) + f(t
+
)
2
,
donde, como es habitual, f(t

) = lim
0,>0
f(t ) indica el lmite de f en t por la izquierda
y f(t
+
) = lim
0,>0
f(t + ) indica el lmite de f en t por la derecha.
El teorema nos dice, en particular, que si f satisface las condiciones de Dirichlet y redenimos
el valor de f en cada punto de discontinuidad como el punto medio del salto, o sea, poniendo
f(t) =
f(t

) + f(t
+
)
2
, entonces la suma de la serie de Fourier coincide con f(t) en cada t R.
Por eso, en lo que sigue, y salvo que se diga lo contrario, supondremos que esto se cumple.
Ejemplo. Hemos visto que la serie de Fourier de la funcin dada por f(t) = ( t)( +t) para
t y extendida peridicamente a R es
f(t)
2
2
3
+ 4

cos(t)
1
4
cos(2t) +
1
9
cos(3t)
1
16
cos(4t) +

.
Como f verica las condiciones de Dirichlet, tenemos de hecho que
f(t) =
2
2
3
+ 4

cos(t)
1
4
cos(2t) +
1
9
cos(3t)
1
16
cos(4t) +

para todo t [, ]. Si usamos el teorema de Dirichlet en t = obtenemos

0 =
2
2
3
+ 4

1
1
4

1
9

1
16

de donde se deduce que

1 +
1
4
+
1
9
+
1
16
+ =

2
6
,
resultado obtenido por primera vez por Euler en 1736 (usando otro mtodo).
12 Leccin 4. Anlisis de Fourier
El fenmeno de Gibbs. El teorema de Dirichlet nos dice que, en los puntos de discontinuidad,
la grca de la suma de la serie de Fourier pasa por el punto medio del salto. Si se dibujan las
sumas parciales se ve que en las cercanas de los puntos de discontinuidad se reduce la velocidad
de convergencia de la serie y que la grca de la suma parcial oscila alrededor de la grca de la
funcin. Cuando se aumenta el nmero de trminos, las oscilaciones se condensan a ambos lados
del punto pero su amplitud no parece decrecer. Esto se conoce como el fenmeno de Gibbs,en
honor de J.W. Gibbs (18391903) que lo analiz en 1899 probando que la amplitud de la oscilacin
a cada lado de la grca de la funcin tiende a ser
1
2
Z

0
sen(t)
t
dt 1 0.0895 veces el tamao
del salto, o sea, aproximadamente el 9% del tamao del salto. Veamos un ejemplo. Consideremos
la funcin de onda rectangular de perodo 2 denida en [, ] por
f(t) =

1 si < t < 0
1 si 0 < t <
y extendida peridicamente a R. Su serie de Fourier es
4

sen (t) +
1
3
sen (3t) +
1
5
sen(5t) +

.
Mostramos a continuacin las sumas parciales hasta los sumando
1
25
sen (25t) y
1
35
sen (35t) donde
se observa claramente el fenmeno de Gibbs.
10 5 0 5 10 15
1.5
1
0.5
0
0.5
1
1.5
10 5 0 5 10 15
1.5
1
0.5
0
0.5
1
1.5
3 Propiedades de las series de Fourier
En lo que queda de seccin, supondremos que f y g son funciones peridicas de perodo T (reales
o complejas) que verican las condiciones de Dirichlet y cuyos desarrollos en serie de Fourier
compleja son, respectivamente,
f(t) =

X
n=
c
n
e
jnt
y g(t) =

X
n=
d
n
e
jnt
,
Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/11 13
siendo = 2/T.
Linealidad. Si p y q son nmeros complejos, entonces la serie de Fourier de pf(t) + qg(t) es
pf(t) + qg(t) =

X
n=
(pc
n
+ qd
n
)e
jnt
.
Traslacin en el tiempo. Si t
0
es un nmero real, entonces la serie de Fourier de la funcin
trasladada f(t t
0
) es
f(t t
0
) =

X
n=
c
n
e
jnt
0
e
jnt
=

X
n=
c
n
e
jn(tt
0
)
.
En particular, f(t) y f(t t
0
) tienen el mismo espectro de amplitudes pero distintas fases.
Escalado en el tiempo. Si p es un nmero real, entonces la funcin f(pt) es peridica de
perodo T/p y frecuencia p. Su serie de Fourier es
f(pt) =

X
n=
c
n
e
jn(p)t
.
O sea, f(t) y f(pt) tienen las mismas amplitudes y fases pero correspondientes a frecuencias
distintas.
Derivacin de las series de Fourier. La regla de la cadena muestra que la derivada de una
funcin peridica es peridica y tiene el mismo perodo. Si f es una funcin continua y peridica
de perodo T y su derivada f
0
verica las condiciones de Dirichlet, entonces, la serie de Fourier
de f puede derivarse trmino a trmino de manera que si
f(t) =
1
2
a
0
+

X
n=1
[a
n
cos(nt) + b
n
sen(nt)] ,
entonces
f
0
(t)

X
n=1
[nb
n
cos(nt) na
n
sen(nt)]
para cada t R.
Ejercicio: reescribir esta propiedad en trminos de la forma compleja de la serie de Fourier.
Integracin de las series de Fourier. A diferencia de la operacin de derivacin, la integral
de una funcin no necesariamente vuelve a ser peridica. Sea f una funcin peridica con perodo
T y consideremos la funcin F(t) =
R
t
t
0
f() d. Entonces la funcin F es T-peridica si y slo
si a
0
=
2
T
R
T
0
f(t) dt = 0. En caso contrario, se tiene que la funcin
R
t
t
0
f() d
1
2
a
0
(t t
0
)
es T-peridica. Si adicionalmente la funcin f verica las condiciones de Dirichlet, entonces, la
serie de Fourier de f puede integrarse trmino a trmino de manera que si
f(t) =
1
2
a
0
+

X
n=1
[a
n
cos(nt) + b
n
sen (nt)]
14 Leccin 4. Anlisis de Fourier
y t
0
, t [T/2, T/2], entonces
Z
t
t
0
f() d
1
2
a
0
(t t
0
) =

X
n=1

b
n
(cos(nt
0
) cos(nt))
n
+
a
n
(sen(nt) sen(nt
0
))
n

.
Ejercicio: reescribir esta propiedad en trminos de la forma compleja de la serie de Fourier.
Convolucin. Los coecientes complejos de Fourier de f(t)g(t) =
P

n=
h
n
e
jnt
son
h
n
=

X
k=
c
k
d
nk
=

X
k=
c
nk
d
k
.
Multiplicacin. Se verica que
1
T
Z
T
0
f(t)g(t) dt =

X
n=
c
n
d
n
.
Igualdad de Parseval. Se verica que
1
T
Z
T
0
|f(t)|
2
dt =

X
n=
|c
n
|
2
=
1
4
a
2
0
+
1
2

X
n=1

a
2
n
+ b
2
n

.
En particular, la serie de los cuadrados de los coecientes complejos de Fourier es convergente.
Cuando f(t) es una seal peridica de perodo fundamental T, esta igualdad puede inter-
pretarse de la siguiente manera. La integral P =
1
T
Z
T
0
[f(t)]
2
dt se llama media cuadrtica o
potencia media de f. Por ejemplo, si f(t) representa el voltaje que se aplica a una resistencia de
1 ohmio, entonces la potencia media de f coincide con la potencia elctrica media (energa por
unidad de tiempo medida en watios) disipada por la resistencia en cada perodo. Ahora bien, la
potencia media de cada uno de los armnicos presentes en la seal es
P
0
=
1
T
Z
T
0
[a
0
/2]
2
dt =
1
4
a
2
0
,
P
n
=
1
T
Z
T
0
[a
n
cos(nt) + b
n
sen (nt)]
2
dt =
1
2
a
2
n
+
1
2
b
2
n
= 2 |c
n
|
2
(n = 1, 2, . . . ),
luego la igualdad de Parseval nos dice que la potencia media de la seal es la suma de las potencias
medias de sus componentes armnicos, P =

P
n=0
P
n
=

P
n=
|c
n
|
2
. Por eso, la representacin de
los valores |c
n
|
2
cuando situamos las frecuencias en el eje de abscisas se llama espectro discreto
de potencias.
Teorema de la mejor aproximacin y convergencia en media cuadrtica. Sea f una
funcin peridica de perodo T que verica las condiciones de Dirichlet, sea
f(t)
1
2
a
0
+

X
n=1
[a
n
cos(nt) + b
n
sen (nt)] =

X
n=
c
n
e
jnt
Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/11 15
su serie de Fourier y sea
f
m
(t) =
1
2
a
0
+
m
X
n=1
[a
n
cos(nt) + b
n
sen (nt)] =
m
X
n=m
c
n
e
jnt
el polinomio trigonomtrico obtenido como la suma m-sima de dicha serie. Entonces f
m
es,
de todos los polinomios trigonomtricos de grado m y perodo T, el que mejor se aproxima a f
en media cuadrtica; es decir, si g
m
es un polinomio trigonomtrico de grado m distinto de f
m
,
entonces
1
T
Z
T
0
[f(t) f
m
(t)]
2
dt <
1
T
Z
T
0
[f(t) g
m
(t)]
2
dt
y, adems,
lim
m
1
T
Z
T
0
[f(t) f
m
(t)]
2
dt = 0.
Para obtener este resultado aplicamos el teorema de la mejor aproximacin estudiado en la
asignatura de lgebra al espacio vectorial V formado por todas las aplicaciones peridicas de
perodo T que verican las condiciones de Dirichlet, dotado del poducto escalar
hf, gi =
2
T
Z
T
0
f(t)g(t) dt,
y al subespacio M formado por todos los polinomios trigonomtricos de grado menor o igual a
n. Una base ortonormal de dicho subespacio est formado por las funciones

1
2
, cos(t), sen(t), ..., cos(nt), sen (nt)

.
4 La transformacin de Fourier
La representacin integral de Fourier. Hemos visto que la forma compleja de la serie de
Fourier de una funcin f peridica de perodo T que verica las condiciones de Dirichlet es
f(t) =

X
n=
c
n
e
jnt
,
donde = 2/T y los coecientes de Fourier vienen dados por
c
n
=
1
T
Z
T/2
T/2
f(t)e
jnt
dt para n = 0, 1, 2, . . .
Si nuestra seal no es peridica, no podemos esperar que sea posible representarla median-
te una serie de Fourier. Una de las contribuciones decisivas de Fourier fue tratar una funcin
no peridica como si fuera una funcin con perodo innito, lo que le llev a la posibilidad de
16 Leccin 4. Anlisis de Fourier
representarla no como una serie cuyos trminos corresponden a mltiplos de la frecuencia fun-
damental 0, , 2, 3, . . . , sino como una integral cuya variable de integracin es una frecuencia
que se mueve de manera continua. Veamos cul fue su razonamiento.
Partiendo de una funcin peridica y combinando las expresiones anteriores, obtenemos
f(t) =

X
n=
c
n
e
jnt
=

X
n=
"
1
T
Z
T/2
T/2
f(t)e
jn
d
#
e
jnt
.
Sean
n
= n las frecuencias presentes y llamemos
n
=
n

n1
= = 2/T a la diferencia
entre dos frecuencias consecutivas. Entonces podemos escribir
f(t) =

X
n=
"
1
2
Z
T/2
T/2
f()e
j
n

d
#
e
j
n
t

n
.
Ahora, para cada R denimos
F
T
() =
Z
T/2
T/2
f()e
j
d,
con lo que la igualdad previa puede escribirse como
f(t) =
1
2

X
n=
F
T
(
n
)e
jnt

n
.
Si T es muy grande, podemos interpretar esta suma como una suma de Riemann de la integral
impropia
1
2
Z

F
T
()e
jt
d
1
2

X
n=
F
T
(
n
)e
jnt

n
= f(t).
En consecuencia, si hacemos T y consideramos la funcin F dada por
F() = lim
T
F
T
() =
Z

f()e
j
d,
entonces cabe esperar que se verique la igualdad
f(t) =
1
2
Z

F()e
jt
d,
que se llama representacin integral de Fourier de la funcin f.
Este razonamiento no siempre es correcto ya que el paso al lmite con T puede no
funcionar como se espera. Esto ocurre, por ejemplo, con la funcin constante f(t) = 1, para la
que la integral que dene F() no es convergente. Sin embargo, como en el caso de las series
de Fourier, existe una clase amplia de funciones para las que dicha representacin s es vlida.
Esta clase incluye todas las seales de inters en las aplicaciones ya que en la prctica las seales
tienen una duracin nita.
Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/11 17
Condiciones de Dirichlet para la integral de Fourier. Se dice que una seal real o compleja
f(t), denida para cada t R, satisface las condiciones de Dirichlet para la integral de Fourier
si f(t) es absolutamente integrable en R, o sea,
Z

|f(t)| dt < ,
y, adems, en cada subintervalo nito se verica que f(t) es continua salvo un nmero nito de
discontinuidades de salto y que sus partes real e imaginaria slo tienen una cantidad nita de
mximos y mnimos locales estrictos.
Teorema de convergencia de la integral de Fourier. Si f satisface las condiciones de
Dirichlet para la integral de Fourier, entonces para cada R se tiene que la integral
F() =
Z

f(t)e
jt
dt
es convergente. Adems, asumiendo que en las discontinuidades de salto de la funcin f se tiene
que f(t) =
f(t

) + f(t
+
)
2
, tambin se verica la igualdad
f(t) =
1
2
Z

F()e
jt
d
que se llama representacin integral de Fourier de la funcin f.
Deniciones. Sea f una funcin que satisface las condiciones de Dirichlet para la integral de
Fourier. Entonces la funcin F() denida para cada R por
F() =
Z

f(t)e
jt
dt
se llama transformada de Fourier de f y proporciona la representacin en el dominio continuo
de frecuencias de la funcin f. Como ocurre con la transformada de Laplace, una notacin muy
habitual para la transformada de Fourier es F{f}.
Cuando tengamos una funcin en el dominio de la frecuencia F() y calculemos la funcin
f(t) en el dominio del tiempo cuya transformada de Fourier es la funcin F dada, diremos que
f es la transformada de Fourier inversa o, coloquialmente, la anti-transformada de F; es decir,
f(t) = F
1
{F}(t) =
1
2
Z

F()e
jt
d.
Puesto que el valor de F() para cada variable real es un nmero complejo, suele represen-
tarse usando una grca para su mdulo |F()| y otra para su argumento principal arg(F())
(, ] que se conocen, respectivamente, como espectro de amplitudes y espectro de fases de f.
Ejemplos. (1) La transformada de Fourier de la funcin exponencial unilateral
f(t) = h
0
(t)e
t
=

0 si t < 0,
e
t
si t > 0,
18 Leccin 4. Anlisis de Fourier
con Re() > 0, es
F() =
1
+ j
.
(2) La transformada de Fourier del pulso rectangular
f(t) =

1 si |t| < d/2,

0 si d/2 < |t| ,
es
F() = dsa(d/2) = d sinc(d/2) = 2
sen (d/2)

.
5 Propiedades de la transformacin de Fourier
Es obvio que formalmente hay una relacin estrecha entre la transformacin de Fourier y tanto la
transformacin de Laplace como las series de Fourier. No es de extraar, entonces, que muchas
de las propiedades de la transformacin de Laplace y de las series de Fourier que hemos visto
sean vlidas para la transformacin de Fourier. En lo que sigue supondremos que las funciones
que aparecen verican las condiciones de Dirichlet para la integral de Fourier.
Linealidad. Si a y b son nmeros complejos entonces la transformada de Fourier de la suma
af(t) + bg(t) es aF() + bG(). O sea,
F{af + bg} = aF{f} + bF{g}.
Propiedad de simetra o de dualidad. La transformada de Fourier de F(t) es 2f()
(esto es simplemente una forma de reescribir la segunda parte del teorema de convergencia de la
integral de Fourier).
Transformadas de funciones pares e impares. Si f es una funcin par, entonces su trans-
formada de Fourier viene dada por
F() = 2
Z

0
f() cos() d
y, teniendo en cuenta que F vuelve a ser una funcin par, concluimos que
f(t) =
2

Z

0
Z

0
f() cos() cos(t) d

d.
La funcin que representa aqu el papel de la transformada de Fourier
F
c
{f}() =
Z

0
f() cos() d
se llama transformada coseno de f.
Si f es una funcin impar, entonces su transformada de Fourier viene dada por
F() = 2j
Z

0
f()sen() d
Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/11 19
y, teniendo en cuenta que F vuelve a ser una funcin impar, concluimos que
f(t) =
2

Z

0
Z

0
f()sen ()sen(t) d

d.
La funcin que representa aqu el papel de la transformada de Fourier
F
s
{f}() =
Z

0
f()sen () d
se llama transformada seno de f.
Escalado en el dominio del tiempo. La transformada de Fourier de f(at) viene dada por
F(/a)
|a|
; es decir
F{f(at)} () =
1
|a|
F{f} (/a) .
Inversin en el dominio del tiempo. La transformada de Fourier de la funcin f(t) es
F() (observe que esta propiedad no es ms que un escalado en el dominio del tiempo con
a = 1).
Desplazamiento, o traslacin, en el dominio de la frecuencia. Si
0
es un nmero real
entonces la transformada de Fourier de e
j
0
t
f(t) es F(
0
). O sea,
F{e
j
0
t
f(t)} () = F{f}(
0
).
Desplazamiento, o traslacin, en el dominio del tiempo. Si t
0
es un nmero real entonces
la transformada de Fourier de la funcin trasladada f(t t
0
) es e
jt
0
F(). En otras palabras,
F{f(t t
0
)} = e
jt
0
F{f}.
Derivacin en el tiempo. Si tanto f(t) como f
0
(t) verican las condiciones de Dirichlet, se
verica que la transformada de Fourier de la derivada f
0
(t) de una funcin derivable f(t) es
(j)F(). Es decir,
F{f
0
} () = (j)F{f} () .
Aplicando esto a f
0
tenemos, como consecuencia, la transformada de la derivada segunda
F{f
00
} () =
2
F{f} () .
Ms generalmente,
F{f
(n)
} () = (j)
n
F{f} () , para n = 1, 2, . . .
(siempre que f(t), f
0
(t), ..., f
(n)
(t) cumplan las condiciones de Dirichlet).
Derivacin en la frecuencia. Si la funcin tf(t) verica las condiciones de Dirichlet, entonces
la transformada de Fourier de f(t) es derivable y se tiene que la transformada inversa de
d
d
F()
es jtf(t). Ms generalmente,
F
1

d
n
d
n
F()

= (jt)
n
f(t), para n = 1, 2, . . .
20 Leccin 4. Anlisis de Fourier
Producto de convolucin en el tiempo. Dadas dos funciones f y g en el dominio del tiempo,
su producto de convolucin es la funcin (f g) denida para t R por
(f g)(t) =
Z

f()g(t ) d.
(Es claro que si las funciones f y g son causales, entonces esta denicin coincide con la dada
en la leccin anterior.) Este producto de convolucin tambin es conmutativo, asociativo y
distributivo y, como en el caso de la transformada de Laplace, su propiedad ms importante es
que su transformada de Fourier es el producto de las transformadas de Fourier de los factores:
F{f g} () = F()G().
Producto de convolucin en la frecuencia (o multiplicacin en el tiempo). Dadas dos
transformadas de Fourier F y G, su producto de convolucin en el dominio de la frecuencia es la
funcin (F G)() denida para R por
(F G)() =
Z

F()G( ) d.
Entonces
F{f(t)g(t)} () =
1
2
F() G().
Teorema de Parseval. La energa total asociada con una funcin f : R R se dene como
Z

|f(t)|
2
dt.
Si una funcin tiene energa total nita, entonces su transformada de Fourier tambin y, de hecho,
se tiene
Z

|f(t)|
2
dt =
1
2
Z

|F()|
2
d.
Transformadas de Fourier generalizadas. Hemos visto que, interpretndola de manera ade-
cuada, la funcin de impulso o funcin delta de Dirac permite modelar mediante la transformacin
de Laplace algunas situaciones de inters en la prctica. Ocurre lo mismo con la transformacin
de Fourier. Usando las propiedades de la funcin delta tenemos que
F{
t
0
(t)}() =
Z

t
0
(t)e
jt
dt = e
jt
0
y, en particular,
F{
0
(t)}() = 1.
Usando la propiedad de dualidad nos quedara, entonces,
F{1}() = 2
0
() y F{e
j
0
t
}() = 2

0
()
Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/11 21
transformadas que, como se puede comprobar, funcionan bien en la representacin integral de
Fourier; es decir,
F
1
{2

0
()}(t) =
1
2
Z

0
()e
jt
d = e
j
0
t
.
Se dice entonces que la funcin e
j
0
t
admite una transformada de Fourier generalizada que es
F{e
j
0
t
}() = 2

0
() y, en particular, que la transformada de Fourier generalizada de la
funcin constante 1 es 2
0
().
Transformada de Fourier generalizada de una funcin peridica. Si tenemos una funcin
peridica f(t) de perodo T
0
y frecuencia
0
que verica las condiciones de Dirichlet, entonces su
desarrollo en serie de Fourier es
f(t) =

X
n=
c
n
e
jn
0
t
.
Por tanto, su transformada de Fourier generalizada es un tren de impulsos
F() = 2

X
n=
c
n

0
( n
0
)
que ocurren en los valores de su espectro discreto de frecuencias 0,
0
, 2
0
, . . .
Otra forma de expresar el desarrollo en serie de Fourier de una funcin peridica f(t) es la
siguiente: Sea g(t) un perodo de f(t), es decir, si denotamos por I un intervalo cualquiera de
longitud T, entonces
g(t) =

f(t) si t I,
0 en otro caso.
En ese caso, podemos expresar f como
f(t) =

X
n=
g(t nT
0
).
Es ms, si G() es la transformada de Fourier de g, entonces
c
n
=
1
T
Z
I
f(t)e
jn
0
t
dt =
1
T
Z
I
g(t)e
jn
0
t
dt
=
1
T
Z

g(t)e
jn
0
t
dt =
1
T
G(n
0
),
lo que nos permite escribir
f(t) =
1
T

X
n=
G(n
0
)e
jn
0
t
que se conoce como suma de Poisson.
22 Leccin 4. Anlisis de Fourier
6 Ejercicios
Ejercicio 1. Qu relacin deben mantener dos frecuencias positivas
1
y
2
para que la funcin
f(t) = sen(
1
t) + sen(
2
t) sea un polinomio trigonomtrico? Cuando eso ocurra, cul ser su
perodo?
Ejercicio 2. Determina el desarrollo en serie de Fourier de las siguientes funciones, que estn
denidas como se indica en el intervalo [, ] y se extienden peridicamente a toda la recta
real:
1. f(t) = t cos(t)
2. f(t) = t
2
3. f(t) = |sent|
4. f(t) = e
t
.
Ejercicio 3. Desarrolla en serie de Fourier en el intervalo [, ] la funcin
f(t) =

0 si < t < 0,
si 0 < t < .
A partir de este desarrollo, deduce el de
g(t) =

1 si < t < 0,
1 si 0 < t < .
Dibuja las funciones a las que tienden las series obtenidas en el intervalo [5, 5].
Ejercicio 4. Halla los siguientes desarrollos en serie de Fourier de la funcin f(t) = t
2
.
1. En el intervalo [0, 2].
2. En el intervalo [, ].
3. En serie de senos en el intervalo [0, ].
4. En serie de cosenos en el intervalo [0, ].
5. La serie compleja en [, ].
Ejercicio 5. Desarrolla en serie de Fourier en el intervalo [, ] la funcin
f(t) =

0 si < t < 0,
sen t si 0 < t < .
Dibuja la funcin a la que tiende las serie obtenida en el intervalo [6, 8].
Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/11 23
Ejercicio 6. Desarrolla en serie de Fourier en el intervalo [, ] la funcin
f(t) =

0 si < t < 0,
t si 0 < t < .
Dibuja la funcin a la que tiende las serie obtenida en el intervalo [5, 5] y aplica el teorema
de Dirichlet para deducir las siguientes igualdades:

X
n=1
1
(2n 1)
2
= 1 +
1
3
2
+
1
5
2
+
1
7
2
+ =

2
8

X
n=1
1
n
2
= 1 +
1
2
2
+
1
3
2
+
1
4
2
+ =

2
6
.
Ejercicio 7. Halla los desarrollos en serie de Fourier de la funcin f(t) = 1 cos
2
(t) que se
piden a continuacin:
1. En el intervalo [0, 2].
2. En el intervalo [, ].
3. En serie de senos en el intervalo [0, ].
4. En serie de cosenos en el intervalo [0, ].
5. La serie compleja en [, ].
Dibuja las correspondientes sumas obtenidas en [4, 4].
Ejercicio 8. Una seal con perodo T consiste en un pulso de altura a y duracin < T que
luego decae a 0. Determina sus desarrollos en series de Fourier real y compleja en el intervalo
[0, T] suponiendo que situamos el origen de tiempos precisamente cuando se produce uno de los
saltos desde 0 hasta a.
Ejercicio 9. Cul es el desarrollo en serie de Fourier de senos de la funcin f(t) = 1 en el
intervalo [0, 1]?
Ejercicio 10. Determina el desarrollo en serie de Fourier de senos de la funcin f(t) = e
t
en el
intervalo [0, 2].
Ejercicio 11. Desarrolla en sendas series de Fourier de senos y de cosenos en el intervalo [0, 1]
la funcin f(t) = t.
Ejercicio 12. Halla los siguientes desarrollos en serie de Fourier de la funcin f(t) = |t|.
1. En el intervalo [0, 2] (en senos y cosenos).
2. En el intervalo [1, 1].
3. En serie de senos en el intervalo [0, 1].
24 Leccin 4. Anlisis de Fourier
4. En serie de cosenos en el intervalo [0, 1].
Ejercicio 13. Determina la transformada de Fourier de cada una de las siguientes funciones (a
representa un nmero real positivo).
1. f(t) = e
a|t|
2. f(t) = |t| e
a|t|
3. f(t) = e
a|t|
t
n
para n = 1, 2, . . .
4. f(t) = e
a|t|
sen(bt)
5. f(t) = e
a|t|
cos(bt).
Ejercicio 14. Determina la transformada de Fourier de cada una de las siguientes funciones (a
representa un nmero con parte real positiva y h
0
es la funcin de salto de Heaviside).
1. f(t) = te
at
h
0
(t)
2. f(t) = t
n
e
at
h
0
(t) para n = 1, 2, . . .
3. f(t) = e
at
sen(
0
t)h
0
(t)
4. f(t) = e
at
cos(
0
t)h
0
(t).
Ejercicio 15. Calcula la transformada de Fourier de las siguientes funciones
1. El pulso denido por
f(t)=

k si 2 < t < 0,
k si 0 < t < 2,
0 en otro caso.
2. La funcin triangular
f(t)=

1 |t| /T si |t| < T,

0 si |t| > T.
3. El pulso sinusoidal f(t) = sen(t/T) si 0 < t < T y f(t) = 0 en otro caso.
Ejercicio 16. Calcula la transformada de Fourier de las siguientes funciones (cosenos vistos a
travs de ventanas, windowed cosines en ingls).
1. f(t) = cos(
0
t) [h
0
(t + d) h
0
(t d)]
2. f(t) = cos(
0
t) [h
0
(t) h
0
(t 2d)],
Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/11 25
donde d y
0
son nmeros reales positivos.
Ejercicio 17. Usando la propiedad de dualidad, calcula las transformadas de Fourier de la
funcin de muestreo sa(t) y de la funcin seno cardinal sinc(t).
Ejercicio 18. Usa la representacin integral de Fourier para hallar la transformada inversa de
la funcin
F() =

2 si 0 < < 2,
2 si 2 < < 0,
0 en otro caso.
Comprueba el resultado usando la propiedad de dualidad.
Ejercicio 19. Usa la representacin integral de Fourier para hallar la funcin cuyo espectro de
amplitudes es 2 [h
0
( + 3) h
0
( 3)] y cuyo espectro de fases es
3
2
.
Ejercicio 20. Usando las propiedades de la transformada de Fourier, halla, en trminos de
la transformada F() de una cierta funcin f(t), la transformada de Fourier de las siguientes
funciones.
1. f
1
(t) = f(t 1) + f(t 1).
2. f
2
(t) = f(3t 6).
3. f
3
(t) = f
00
(t 1).
Ejercicio 21. Sabiendo que F{e
|t|
} =
2
1 +
2
, halla F{te
|t|
} y aplica la propiedad de dualidad
para calcular F{4t/(1 + t
2
)
2
}.
Ejercicio 22. Prueba las siguientes armaciones.
1. Si f es par y real, entonces F{f(t)} es par y real.
2. Si f es impar y real, entonces F{f(t)} es impar e imaginaria pura.
Ejercicio 23. Halla f(t) sabiendo que la transformada de Fourier de g(t) = f(t) cos(t) es
F{g(t)}() =

1 si || < 2,
0 en otro caso.
Ejercicio 24. Halla las transformadas de Fourier generalizadas de las funciones sen(t), cos(t)
y e
j(t+)
.
Ejercicios y cuestiones de exmenes de cursos anteriores.
Ejercicio 25. Halla la forma compleja de la serie de Fourier de la onda triangular denida en el
intervalo [1, 1] por
tri(t) = 1 |t|
y extendida 2-peridicamente.
26 Leccin 4. Anlisis de Fourier
Ejercicio 26. (1) Sea f(t) la funcin denida por f(t) = t para 0 t < 1 y extendida
peridicamente a toda la recta real. Calcula la forma compleja de la serie de Fourier de f y
dibuja la funcin a la que converge dicha serie en el intervalo [2, 2].
(2) Aplica la forma compleja de la igualdad de Parseval para deducir el valor de

P
n=1
n
2
.
Ejercicio 27. Enuncia y demuestra la igualdad de Parseval para las series de Fourier reales.
Ejercicio 28. Enuncia y demuestra la propiedad de traslacin en el tiempo para la transforma-
cin de Fourier.
Ejercicio 29. Enuncia y demuestra la propiedad de convolucin en el tiempo para la transfor-
macin de Fourier.
Ejercicio 30. (1) Enuncia las condiciones de Dirichlet para la transformacin de Fourier y el
correspondiente Teorema de Convergencia.
(2) Utiliza el teorema mencionado en el apartado anterior para calcular la funcin continua
cuya transformada de Fourier es la funcin F() = e
||
para R.
Ejercicio 31. Sea f el pulso rectangular dado por f(t) = 1 si |t| < 1 y f(t) = 0 si |t| 1.
Calcula su transformada de Fourier y sala para deducir el valor de
Z

sen (x)
x
dx.
Ejercicio 32. La transformada de Fourier de una funcin f(t) es F() =
j
cosh()
. Calcula la
transformada de Fourier de la funcin g(t) = f
0
(2t 1) enunciando las propiedades que utilices.
Ejercicio 33. Aplica la transformacin de Fourier al problema de valor inicial
y
0
+ 2ty = 0 con y(0) = 1
para hallar la transformada de Fourier de la funcin f(t) = e
t
2
.
7 Bibliografa
Para desarrollar esta leccin pueden consultarse los siguientes textos, en especial el de James
(que incluye algunas aplicaciones a la ingeniera).
[517.9/3-EDW] C.H. Edwards y D.E. Penney, Ecuaciones diferenciales elementales, Cap. 8.
[517.9/2-SIM] G.F. Simmons, Ecuaciones diferenciales, Cap. 6.
[51:62/ADV] G. James, Advanced Modern Engineering Mathematics, Cap. 4 (secciones 4.1 a 4.6)
y Cap. 5 (secciones 5.1 a 5.5)