MATEMATICA V (93.

57)
1 Series de Fourier
Seg un vimos, toda combinaci on lineal de se nales peri odicas
x(t) =
N

n=1
a
n
x
n
(t) (1)
donde cada se nal x
n
(t) tiene perodo fundamental T
n
resulta per odica si y s olo si T
n
/T
m
es un n umero
racional, 1 n, m N. En particular x(t) de (1) ser a peri odica si T
n
= T
0
/n para T
0
> 0 jo. Mas
a un, en este caso el perodo fundamental de x(t) ser a T
0
.
De esto surge naturalmente la pregunta: dada una se nal peri odica de perodo fundamental T
0
, se
podr a escribir como combinaci on lineal de funciones peri odicas? Y de ser as, como encontramos
aquellas funciones y como calculamos los coecientes de la combinaci on lineal? En lo que sigue
trataremos de contestar estos interrogantes.
1.1 Series generalizadas de Fourier
Sea 1 un K-espacio vectorial con producto interno , y sea =
k
, k IN un conjunto ortogonal
(esto es
n
,
m
= 0 n ,= m) tal que 0 / .
Consideremos para cada n IN, S
n
= gen
1
, . . . ,
n
. Como
1
, . . . ,
n
es un conjunto lineal-
mente independiente entonces, dado w S
n
, existe una unica familia de coeentes c
1
, . . . , c
n
K
tales que
w =
n

k=1
c
k

k
.
Para obtener los escalares c
j
, notamos que
w,
j
=
_
n

k=1
c
k

k
,
j
_
=
n

k=1
c
k

k
,
j
= c
j

j
,
j
,
y como 0 / ,
j
,
j
= |
j
|
2
,= 0, 1 j n, por lo que
c
j
=
w,
j

j
,
j

=
w,
j

|
j
|
2
. (2)
Si en particular el conjunto es ortonormal, esto es, |
j
| = 1 j IN,de (2) obtenemos
c
j
=
w,
j

|
j
|
2
. (3)
Observaci on 1 Las ecuaciones (2) y (3) muestran la importancia de contar con una base ortogo-
nal/ortonormal de un subespacio en la determinacion de las coordenadas de cualquier vector de ese
subespacio en tal base.
1
S
n
v
n
v
0
Figure 1: Proyeccion ortogonal
Consideremos ahora el siguiente problema: dado w 1, tal que w / S
n
, encontrar v
n
S
n
que
mejor aproxime a v en el sentido de minimizar su distancia a S
n
, es decir |v v
n
| = min
wSn
|v w|.
Intuitivamente, v
n
es la proyeccion ortogonal de v sobre S
n
(Figura 1.1).
Antes de demostrar esta aseveraci on, recordemos la nocion de proyeccion ortogonal.
Denicion 1 Dados un K espacio vectorial 1 con producto interno , , un subespacio S de 1 y un
vector v 1, la proyeccion ortogonal de v sobre S es el unico vector P
S
(v), de S tal que
v P
S
(v), s = 0 s S. (4)
Observaci on 2 Si s
1
, , s
k
es una base de S, entonces se verica
w = P
S
(v) v w, s
j
= 0 1 j r. (5)
Demostremos ahora la aseveraci on: sea s S
n
cualquiera, entonces
|v s|
2
= |v P
Sn
(v) +P
Sn
(v) s|
2
y como P
Sn
(v) s S
n
, de (4) resulta que v P
Sn
(v), P
Sn
(v) s = 0 y por lo tanto, por el teorema
de Pit agoras,
|v P
Sn
(v) +P
Sn
(v) s|
2
= |v P
Sn
(v)|
2
+|P
Sn
(v) s|
2
|v P
Sn
(v)|
2
,
por lo tanto |v s| |v P
Sn
(v)| y la igualdad se da s olo cuando s = P
Sn
(v).
Calculemos ahora P
Sn
(v). Dado que P
Sn
(v) S
n
, existe un unico conjunto de escalares c
1
, . . . , c
n

K, tal que P
Sn
(v) =

n
k=1
c
k

k
. Pero de acuerdo con (5), v P
Sn
(v),
j
= 0 1 j n, de donde
para todo j,
_
v
n

k=1
c
k

k
,
j
_
= 0 v,
j

n

k=1
c
k

k
,
j
= 0 v,
j
c
j

j
,
j
= 0,
con lo que
2
j, c
j
=
v,
j

j
,
j

=
v,
j

|
j
|
2
y (6)
P
Sn
(v) =
n

k=1
v,
k

k
,
k

k
. (7)
Denicion 2 c
j
dado por (6) es el j-esimo coeciente generalizado de Fourier de v en el sistema .
Observaci on 3
1. Notamos de (6)-(7) que los coecientes generalizados de Fourier de v en el sistema son unicos.
2. Si n < m, S
n
S
m
, por lo que para todo v, P
Sn
(v) S
m
y por lo tanto, por la denicion de
proyeccion ortogonal sobre S
m
,
|v P
Sm
(v)| |v P
Sn
(v)|. (8)
Por otra parte,
|v|
2
= |v P
Sn
(v) +P
Sn
|
2
= |v P
Sn
(v)|
2
+|P
Sn
|
2
= |e
n
|
2
+|P
Sn
|
2
,
siendo e
n
= v P
Sn
(v) el n-esimo error de aproximacion de v. Pero
|P
Sn
|
2
= P
Sn
, P
Sn
=
_
n

k=1
c
k

k
,
n

j=1
c
j

j
_
=
n

k=1
n

j=1
c
k
c

k
,
j
=
n

k=1
[c
k
[
2
|
k
|
2
,
con lo que
|v|
2
=
n

k=1
[c
k
[
2
|
k
|
2
+|e
n
|
2
. (9)
De (8) se deduce que |e
n
| |e
n+1
| para todo n IN, por lo que la sucesion numerica |e
n
| n IN
es mon otona decreciente y acotada inferiormente (por 0), por lo cual existe lim
n
|e
n
| = 0.
En consecuencia existe

k=1
[c
k
[
2
|
k
|
2
= lim
n
n

k=1
[c
k
[
2
|
k
|
2
= |v|
2
lim
n
|e
n
| = |v|
2

2
. (10)
De aqu obtenemos la Desigualdad de Bessel:

k=1
[c
k
[
2
|
k
|
2
|v|
2
. (11)
Es natural preguntarse bajo que condiciones se dar a la igualdad en la ecuaci on (11), es decir cu ando
= 0. Se puede demostrar que tal ser a el caso cuando es un conjunto completo:
3
Denicion 3 Se dice que 1 es completo si dado v 1 tal que v, = 0 para todo ,
entonces v = 0.
De acuerdo con (10), para un conjunto completo vale la Igualdad de Parseval

k=1
[c
k
[
2
|
k
|
2
= |v|
2

k=1
[c
k
[
2
|
k
|
2
_1
2
= |v|. (12)
Observaci on 4 En este caso escribimos v

k=1
c
k

k
, donde el smbolo lo debemos entender en
el sentido que la serie de la derecha converge a v en norma, es decir,
lim
n
_
_
_
_
_
n

k=1
c
k

k
v
_
_
_
_
_
= 0.
Decimos adem as que

k=1
c
k

k
es la serie (generalizada) de Fourier asociada con v.
1.2 Series exponencial y trigonometrica de Fourier
En lo que sigue nos restringiremos al tratamiento de las series exponencial y trigonometrica de Fourier.
Para ello consideremos t
0
R
|
y T > 0 jos y el siguiente conjunto de funciones:
/
2
(t
0
,T)
=
_
x : [t
0
, t
0
+T] K :
_
t
0
+T
t
0
[x(t)[
2
dt <
_
.
/
2
(t
0
,T)
es un K-espacio vectorial con las operaciones
(x
1
+x
2
)(t)

= x
1
(t) +x
2
(t),
( x
1
)(t)

= x
1
(t)
para todo t [t
0
, t
0
+T], todo K y x
1
, x
2
/
2
(t
0
,T)
cualesquiera.
Identicamos con la funcion nula 0, el conjunto de todas las funciones /
2
(t
0
,T)
que verican
_
t
0
+T
t
0
[(t)[
2
dt = 0. (13)
De esta forma se puede considerar que 0 es toda aquella funcion que verica (13).
Ejemplo 1 Sean T = t
n
, n IN [t
0
, t
0
+ T] y k
n
, n IN K sucesiones cualesquiera. Si
denimos
(t) =
_
k
n
si t = t
n
0 si t [t
0
, t
0
+T]T ,
entonces 0.
4
De lo anterior, conclumos que la igualdad entre dos funciones x
1
y x
2
en /
2
(t
0
,T)
se dene en los
siguientes terminos:
x
1
= x
2

_
t
0
+T
t
0
[x
1
(t) x
2
(t)[
2
dt = 0.
Por otra parte, se puede comprobar que , : /
2
(t
0
,T)
/
2
(t
0
,T)
K denido por
x
1
, x
2

=
_
t
0
+T
t
0
x
1
(t)x

2
(t)dt, (14)
es un producto interno en /
2
(t
0
,T)
.
De ahora en m as, notaremos f
0
= 1/T y
0
= 2f
0
= 2/T.
El siguiente teorema, cuya demostracion omitimos, nos permite obtener los coecientes de la serie
exponencial de Fourier de una se nal x /
2
(t
0
,T)
.
Teorema 1 El conjunto e
in
0
t
, n ZZ es ortogonal y completo en /
2
(t
0
,T)
con el producto interno
, denido en (14).
Es inmediato comprobar las siguientes igualdades:
e
in
0
t
, e
im
0
t
=
_
t
0
+T
t
0
e
in
0
t
e
im
0
t
dt =
_
0 si n ,= m
T si n = m.
(15)
De acuerdo con (6), los coecientes de la serie exponencial de Fourier de x /
2
(t
0
,T)
, vienen dados
por
X
k
=
x, e
ik
0
t

e
ik
0
t
, e
ik
0
t

=
1
T
_
t
0
+T
t
0
x(t)e
ik
0
t
dt k ZZ, (16)
y de (7), la serie exponencial de Fourier asociada con x es
x(t)

kZZ
X
k
e
ik
0
t
, (17)
mientras que la igualdad de Parseval ser a en este caso (ver ecuaci on (12))

kZZ
[X
k
[
2
=
1
T
_
t
0
+T
t
0
[x(t)[
2
dt. (18)
El siguiente teorema, cuya demostracion al igual que antes omitimos, nos permite obtener los
coecientes de la serie trigonometrica de Fourier de una se nal x /
2
(t
0
,T)
.
Teorema 2 El conjunto 1, cos n
0
t, sen m
0
t, n, m IN es ortogonal y completo en /
2
(t
0
,T)
con el
producto interno , denido en (14).
5
Por abuso de notaci on, 1 denota la funcion que a cada t [t
0
, t
0
+t] le asigna el n umero 1 K Es
inmediato comprobar las siguientes igualdades:
1, 1 =
_
t
0
+T
t
0
1dt = T,
cos n
0
t, cos n
0
t =
_
t
0
+T
t
0
cos
2
n
0
tdt =
T
2
, (19)
sen n
0
t, sen n
0
t =
_
t
0
+T
t
0
sen
2
n
0
tdt =
T
2
.
Los coecientes de la serie trigonometrica de Fourier de x /
2
(t
0
,T)
, vienen dados por
a
0
=
x, 1
1, 1
=
1
T
_
t
0
+T
t
0
x(t)dt,
a
n
=
x, cos n
0
t
cos n
0
t, cos n
0
t
=
2
T
_
t
0
+T
t
0
x(t) cos n
0
tdt n IN, (20)
b
n
=
x, sen n
0
t
sen n
0
t, sen n
0
t
=
2
T
_
t
0
+T
t
0
x(t) sen n
0
tdt n IN.
y la serie trigonometrica de Fourier asociada con x es
x(t) a
0
+

nIN
a
n
cos n
0
t +b
n
sen n
0
t. (21)
En cuanto a la igualdad de Parseval, en este caso tenemos de (12) que
[a
0
[
2
T +

nIN
[a
n
[
2
T
2
+[b
n
[
2
T
2
=
_
t
0
+T
t
0
[x(t)[
2
dt
2[a
0
[
2
+

nIN
[a
n
[
2
+[b
n
[
2
=
2
T
_
t
0
+T
t
0
[x(t)[
2
dt. (22)
Observaci on 5 Como vimos, para el calculo de los coecientes de Fourier dado por (16) y (19)
utilizamos los valores de x(t) para t [t
0
, t
0
+ T], y obtuvimos las series asociadas a x(t) dadas por
(17) y (22). Supongamos que la serie exponencial (que consideramos sin perdida de generalidad, ya
que para la trigonometrica valen las mismas conclusiones que obtendremos a continuaci on) converge
a x(t) en el intervalo [t
0
, t
0
+T] esto es,
x() =

kZZ
X
k
e
ik
0

[t
0
, t
0
+T].
Como para cualquier n ZZ

kZZ
X
k
e
ik
0
(+nT)
=

kZZ
X
k
e
ik
0

= x(),
deducimos que la suma de la serie representa a la extensi on periodica de perodo T de x(t) (Figura 5).
(Aqu se puede presentar el problema que x(t
0
+T) ,= x(t
0
). En este caso convenimos que la extension
x
e
(t) de x(t) se realiza de forma que x
e
(t
0
+kT) = x(t
0
) t ZZ.)
6
t
0
T t
0
+ T
t
t
0 t
0
+ T
Figure 2: Extensi on peri odica de una se nal
Por lo tanto si ahora x(t) es una funcion peri odica de perodo T e y = x[
[t
0
,t
0
+]
es la restriccion de x
al intervalo [t
0
, t
0
+T] para alg un t
0
arbitrario, y la serie exponencial de Fourier asociada a y aproxima
a esta ultima, tambien lo har a con x(t), para valores de t que no est an en el intervalo [t
0
, t
0
+T]. En
particular, si la serie converge a y() para alg un [t
0
, t
0
+T] jo, tambien converger a a x(
n
) para

n
= +nT, n ZZ.
De acuerdo con la observacion precedente, consideraremos de aqu en m as que x(t) es peri odica de
perodo T.
Teniendo en cuenta esta ultima suposici on, y dado que e
in
0
t
, cos n
0
t y sen n
0
t son tambien
funciones peri odicas de perodo T, obtenemos las siguientes igualdades, que ser an utiles para el calculo
de los coecientes de Fourier.
_
t
0
+T
t
0
x(t)e
in
0
t
dt =
_
T
0
x(t)e
in
0
t
dt =
_ T
2

T
2
x(t)e
in
0
t
dt
_
t
0
+T
t
0
x(t) cos n
0
t dt =
_
T
0
x(t) cos n
0
t dt =
_ T
2

T
2
x(t) cos n
0
t dt
_
t
0
+T
t
0
x(t) sen n
0
t dt =
_
T
0
x(t) sen n
0
t dt =
_ T
2

T
2
x(t) sen n
0
t dt
_
t
0
+T
t
0
x(t) dt =
_
T
0
x(t) dt =
_ T
2

T
2
x(t) dt
1.2.1 Algunas propiedades de las series de Fourier
En lo que sigue demostraremos algunas propiedades de las series de Fourier. Las dos primeras valen
para las series generalizadas de Fourier, mientras que las siguientes valen para las trigonometricas y/o
las exponenciales.
1. Unicidad: Si el sistema ortogonal es completo, el desarrollo de Fourier es unico en el siguiente
sentido: si x
1
y x
2
tienen los mismos coecientes de Fourier, entonces x
1
= x
2
(esta igualdad
signica en realidad que |x
1
x
2
| = 0).
En efecto, dado un vector cualquiera v 1, si todos sus coecientes de Fourier son 0, entonces
v,
n
= 0
n
, y por la competitud de , resulta v = 0. Supongamos ahora que x
1
y x
2
tienen los mismos coecientes de Fourier, entonces x
1
x
2
,
n
= x
1
,
n
x
2
,
n
= 0
n
,
por lo que x
1
x
2
= 0, esto es, x
1
= x
2
en el sentido antes mencionado.
7
2. Linealidad: Sean x e y dos vectores de 1, de coecientes de Fourier X
n
, n IN e Y
n
, n
IN respectivamente, y sean , K. Entonces, los coecientes de Fourier de x + y son
X
n
+Y
n
, n IN.
En efecto, de (6) y las propiedades de linealidad del producto interno, obtenemos
x +y,
n
= x,
n
+y,
n
= X
n
+Y
n
n IN.
3. Coecientes de la series exponencial y desplazamiento en : Sea x(t) peri odica de perodo T y
supongamos que X
n
, n ZZ son sus coecientes de la serie exponencial y sea y(t) = x(t +),
entonces
Y
n
=
1
T
_
t
0
+T
t
0
y(t)e
in
0
t
dt =
1
T
_
t
0
+T
t
0
x(t +)e
in
0
t
dt
=
1
T
_
t
0
+T
t
0
x(t +)e
in
0
(t+)
e
in
0
(
dt = X
n
e
in
0

. (23)
4. Coecientes de la series exponencial y la trigonometrica: relaciones: Sea x(t) peri odica de
perodo T y supongamos que X
n
, n ZZ y a
0
, a
n
, b
m
, n IN, m IN son sus coecientes de
la serie exponencial y la trigonometrica respectivamente. Entonces,
X
0
=
1
T
_
t
0
+T
t
0
x(t)dt = a
0
.
X
0
se denomina el valor medio de la se nal x(t).
Sea ahora n IN, entonces
X
n
=
1
T
_
t
0
+T
t
0
x(t)e
in
0
t
dt =
1
T
_
t
0
+T
t
0
x(t)(cos n
0
t i sen n
0
t)dt
=
1
T
_
t
0
+T
t
0
x(t) cos n
0
tdt i
1
T
_
t
0
+T
t
0
x(t) sen n
0
t)dt =
1
2
(a
n
ib
n
),
X
n
=
1
T
_
t
0
+T
t
0
x(t)e
in
0
t
dt =
1
T
_
t
0
+T
t
0
x(t)(cos n
0
t +i sen n
0
t)dt
=
1
T
_
t
0
+T
t
0
x(t) cos n
0
tdt +i
1
T
_
t
0
+T
t
0
x(t) sen n
0
t)dt =
1
2
(a
n
+ib
n
).
Tenemos pues las siguientes relaciones
X
0
= a
0
, X
n
=
1
2
(a
n
ib
n
), X
n
=
1
2
(a
n
+ib
n
), n IN, (24)
5. x(t) es una se nal real: Entonces los coecientes de la serie trigonometrica ser an tambien reales
y
X
n
=
1
T
_
t
0
+T
t
0
x(t)e
in
0
t
dt =
_
1
T
_
t
0
+T
t
0
x(t)e
in
0
t
dt
_

= X

n
n IN. (25)
8
6. x(t) es una se nal par: tendremos que x(t) cos n
0
t es una funcion par y x(t) sen n
0
t es impar,
por lo que
a
0
=
1
T
_
t
0
+T
t
0
x(t)dt =
2
T
_ T
2
0
x(t)dt,
a
n
=
2
T
_
t
0
+T
t
0
x(t) cos n
0
tdt =
4
T
_ T
2
0
x(t) cos n
0
tdt, (26)
b
n
=
2
T
_
t
0
+T
t
0
x(t) sen n
0
tdt = 0,
por lo que resultara, de acuerdo con (24),
X
n
= X
n
=
a
n
2
n IN. (27)
7. x(t) es una se nal impar: tendremos que x(t) cos n
0
t es una funcion impar y x(t) sen n
0
t es
par, por lo que
a
0
=
1
T
_
t
0
+T
t
0
x(t)dt = 0,
a
n
=
2
T
_
t
0
+T
t
0
x(t) cos n
0
tdt = 0, (28)
b
n
=
2
T
_
t
0
+T
t
0
x(t) sen n
0
tdt =
4
T
_ T
2
0
x(t) sen n
0
tdt,
por lo que resultara, nuevamente de acuerdo con (24),
X
n
= X
n
= i
b
n
2
n IN. (29)
Ejemplo 2
Determinemos los coecientes de la serie exponencial de Fourier de la onda cuadrada de la gura
1:
x(t) =
_
_
_
A si 0 [t[
T
4
A si
T
4
< [t[ <
T
2
,
x(t) = x(t +T) t R
|
.
Notamos que x(t) es en este caso simetrica respecto del eje de abcisas por lo que X
0
= 0, es
decir, el valor medio es nulo. Ademas x(t) es par, por lo que b
n
= 0 n IN. En este caso resulta
m as sencillo calcular los coecientes de la serie trigonometrica a partir de (26) y luego obtener
los de la exponencial a partir de (27). En consecuencia,
a
n
=
4
T
_ T
2
0
x(t) cos n
0
tdt =
4A
T
_ T
4
0
cos n
0
tdt
4A
T
_ T
2
T
4
cos n
0
tdt
=
4A
T
_
sen n
0
t
n
0

T
4
0

sen n
0
t
n
0

T
2
T
4
_
=
4A
n
0
T
_
2 sen n
0
T
4
sen n
0
T
2
_
,
9
A
t
A

T
4
T
4
3T
4
Figure 3: Onda cuadrada
y recordando que
0
T = 2, obtenemos
a
n
=
4A
n
0
T
2 sen
_
n
0
n
2
_
=
_

_
4A
n
si n = 4k 3

4A
n
si n = 4k 1 k IN.
0 si n = 2k
En consecuencia,
X
n
=
_

_
2A
|n|
si [n[ = 4k 3

2A
|n|
si [n[ = 4k 1 k IN.
0 si [n[ = 2k
(30)
1. 2. Determinemos los coecientes de la serie exponencial de Fourier de la se nal de la gura 2:
y(t) =
_
_
_
A si 0 t
T
2
A si
T
2
< t < T,
y(t) = y(t +T) t R
|
.
Podramos calcular los coecientes a partir de la formula (16), pero en este caso se puede hacer
en forma m as directa observando que y(t) = x(t
T
4
),(donde x(t) es la onda cuadrada anterior
de la gura 1) y aplicando la formula (23) de los coecientes de una se nal desplazada en =
T
4
a los X
n
dados por (30). Pero
e
in
0

= e

in
0
T
4
= e

in
2
=
_
_
_
i si [n[ = 4k 3
i si [n[ = 4k 1 k IN.
0 si [n[ = 2k
10
A
t
A
T
2
T
Figure 4: Onda cuadrada desplazada en
T
4
por lo que
Y
n
= X
n
e

in
2
=
_
_
_
2A
in
si n es impar
0 si n es par
(31)
3. Determinemos los coecientes de la serie exponencial de Fourier de se nal de la gura 3:
z(t) =
_
_
_
2A si 0 t
T
2
0 si
T
2
< t < T,
z(t) = z(t +T) t R
|
.
En este caso, z(t) = y(t) + w(t), siendo y(t) la se nal del punto anterior y w(t) = A. La serie
exponencial de Fourier de w(t) tendra un unico coeciente no nulo, a saber, W
0
= A. Por lo
tanto, de acuerdo con la propiedad de linealidad y con (31), tendremos
Z
n
= Y
n
+W
n
=
_

_
A si n = 0
2A
in
si n es impar
0 si n es par
(32)
Ejemplo 3 Encontremos la serie trigonometrica de Fourier de la onda triangular (ver gura 3)
x(t) = A
_
1
4[t[
T
_
, 0 [t[
T
2
, x(t) = x(t +T) t R
|
.
Dado que x(t) es una funcion par, b
n
= 0 n IN. Asimismo, dado que es simetrica respecto del
11
t
2A
T
2
T
Figure 5: Onda cuadrada desplazada en ordenadas
A
t
A
T
2
Figure 6: Onda triangular
eje de abcisas, su valor medio es cero, es decir a
0
= 0. Debemos pues determinar s olo los coecientes
a
n
, n IN. de acuerdo con (26) tenemos, recordando que
0
T = 2,
a
n
=
4
T
_ T
2
0
A
_
1
4t
T
_
cos n
0
tdt =
4A
n
0
T
_
n
0
T
2
0
_
1
4
n
0
T
_
cos nd
=
2A
n
_
n
0
_
1
4
n
0
T
_
cos d =
2A
n
_
n
0
cos d
4A
n
2

2
_
n
0
cos d
=
4A
n
2

2
(1 cos n) =
4A
n
2

2
(1 (1)
n
) =
_
_
_
8A
n
2

2
si n es impar
0 si n es par.
Por lo tanto tendremos
x(t)
8A
n
2

n0
cos(2n + 1)
0
t
(2n + 1)
2
.
12
1.2.2 Representaci on espectral de se nales. Segunda parte: se nales periodicas.
En esta secci on consideraremos exclusivamente se nales reales. Sea pues x(t) una se nal real peri odica
de perodo T. Veamos como a partir de las series de Fourier trigonometrica y exponencial asociadas
con ella podemos obtener sus representaciones espectrales unilateral y bilateral respectivamente.
Serie trigonometrica y representacion espectral unilateral: de acuerdo con (21),
x(t) a
0
+

nIN
a
n
cos 2nf
0
t +b
n
sen 2nf
0
t,
con f
0
= 1/T. Pero dado que a
n
cos 2nf
0
t +b
n
sen 2nf
0
t = c
n
cos(2nf
0
t +
n
) con
c
n
=
_
a
2
n
+b
2
n
,
n
= arctan
b
n
a
n
resulta, observando que c
0
= a
0
y que
0
= 0 y denotando N
0
= IN 0,
x(t)

nIN
0

_
c
n
e
in
e
i2nfot
_
=
_
_

nIN
0
c
n
e
in
e
i2nfot
_
_
.
Tenemos nuevamente que x(t) se obtiene como la parte real de la suma (en este caso de la serie) de
fasores rotatorios x
n
(t) =

X
n
e
i2nf
0
t
, siendo ahora

X
n
= c
n
e
in
. Obtendremos como en el caso de
sumas nitas, los diagramas espectrales unilaterales de amplitud y fase. La frecuencia con que se
asocia cada fasor

X
n
es ahora f
n
= nf
0
.
Amplitud
c
0
c
1
c
2
c
n
f f
0
2f
0
nf
0
Fase
f
0

1
f
2f
0
nf
0

n
Figure 7: Diagrama espectral unilateral
Ejemplo 4 Consideremos nuevamente la onda triangular del ejemplo 3. En este caso,
a
n
=
_
_
_
8A
n
2

2
si n es impar
0 si n es par.
por lo que
n
= 0 y c
n
= a
n
n IN
0
, con lo que los diagramas espectrales unilaterales son los de la
gura 8.
13

2
8A
Amplitud
c1
c3
c5
f f0 3f0 5f0
Fase
f0 f 3f0 5f0
Figure 8: Diagrama espectral unilateral del ejemplo 4
Serie exponencial y representacion espectral bilateral: de acuerdo con (17), tenemos en este caso
x(t)

kZZ
X
k
e
ik
0
t
.
Pero dado que x(t) es una se nal real, de acuerdo con (25) X
n
= X

n
, por lo que si X
n
= [X
n
[e
in
entonces [X
n
[ = [X
n
[, y
n
=
n
, es decir, el m odulo del coeciente exponencial de Fourier es una
funcion par de n y la fase una funcion impar de n, por lo que
x(t)

nZZ
X
n
e
i2nf
0
t
=

nZZ
[X
n
[e
in
e
i2nf
0
t
,
es decir que la serie exponencial de Fourier de x(t) se puede escribir como una serie de fasores rotatorios
y como antes podemos obtener el espectro bilateral, como muestra la gura 9.
Amplitud
[X
0
[
[X
1
[
[X
2
[
[X
n
[
f f
0
2f
0
nf
0 f
0
2f
0 nf
0
Fase
f
0
f
0

1
f
2f
0
2f
0
nf
0
nf
0

n
Figure 9: Diagrama espectra bilateral
14
Ejemplo 5 Consideremos la onda cuadrada desplazada en
T
4
del ejemplo 2. Los coecientes de la
serie exponencial de Fourier son (ver (31))
Y
n
=
_
_
_
2A
in
si n es impar
0 si n es par,
por lo que
[Y
n
[ =
_
_
_
2A
|n|
si n es impar
0 si n es par,
,
n
=
_

2
si n es impar positivo

2
si n es impar negativo
0 si n es par.
Por lo tanto, el diagrama espectral bilateral es el de la gura 10.

2
8A
Amplitud
[X
1
[
[X
3
[
[X
5
[
f f
0
3f
0
5f
0
f
0
3f
0
5f
0
Fase
f
0 f
0
f 3f
0
5f
0 3f
0
5f
0

2
Figure 10: Diagrama espectral bilateral del ejemplo 5
1.3 Desarrollo en series de senos y cosenos
Sea x(t) una se nal denida en [0, L]. Entonces de acuerdo al tipo de extension que hagamos de ella,
obtendremos diferentes desarrollos en series trigonometricas de Fourier, a saber.
1. Extensi on periodica: es la que vimos anteriormente: asumimos que el perodo es T = L y

0
L = 2, la extension viene dada por
x(t +kL) = x(t) t [0, L), k ZZ,
15
L L 2L t 0
Figure 11: Extensi on peri odica
con lo que los coecientes de Fourier ser an:
a
0
=
1
T
_
T
0
x(t)dt =
1
L
_
L
0
x(t)dt,
a
n
=
2
T
_
T
0
x(t) cos n
0
tdt =
2
L
_
L
0
x(t) cos
_
n2
L
t
_
dt, (33)
b
n
=
2
T
_
T
0
x(t) sen n
0
tdt =
2
L
_
L
0
x(t) sen
_
n2
L
t
_
dt.
La serie trigonometrica de Fourier ser a en este caso,
x(t) a
0
+

n1
a
n
cos
_
n2
L
t
_
+b
n
sen
_
n2
L
t
_
. (34)
2. Extensi on par. Serie de cosenos: Asumimos que el perodo es T = 2L y
0
L = , y la extension
viene dada por
L L
t
Figure 12: Extensi on par
x(t) = x(t) t [0, L]
x(t + 2kL) = x(t) t [L, L], k ZZ,
16
con lo que los coecientes de Fourier ser an:
a
0
=
1
T
_
T
0
x(t)dt =
1
2L
_
L
L
x(t)dt =
1
L
_
L
0
x(t)dt,
a
n
=
2
T
_
T
0
x(t) cos n
0
tdt =
2
2L
_
L
L
x(t) cos
_
n2
2L
t
_
dt
=
2
L
_
L
0
x(t) cos
_
n
L
t
_
dt, (35)
b
n
= 0.
La serie trigonometrica de Fourier ser a en este caso,
x(t) a
0
+

n1
a
n
cos
_
n
L
t
_
. (36)
3. Extensi on impar. Serie de senos: Asumimos que el perodo es T = 2L y
0
L = , y la extension
viene dada por
L L t
Figure 13: Extensi on impar
x(t) = x(t) t (0, L]
x(t + 2kL) = x(t) t (L, L]), k ZZ,
x(kL) = 0 k ZZ.
con lo que los coecientes de Fourier ser an:
a
0
= a
n
= 0,
b
n
=
2
T
_
T
0
x(t) sen n
0
tdt =
2
2L
_
L
L
x(t) sen
_
n2
2L
t
_
dt
=
2
L
_
L
0
x(t) sen
_
n
L
t
_
dt. (37)
17
La serie trigonometrica de Fourier ser a en este caso,
x(t)

n1
b
n
sen
_
n
L
t
_
. (38)
Ejemplo 6 Dada la se nal x(t) de la gura 14:
1
t
x(t)

Figure 14: Se nal del ejemplo 6

x(t) =
_
0 si 0 t <

2
1 si

2
< t ,
obtener los desarrollos en series de Fourier de su extension peri odica, su extension par y su extension
impar.
Extensi on periodica: dado que con la notaci on anterior L = , obtenemos de (33),
a
0
=
1

_

0
x(t)dt =
1

2
dt =
1
2
,
a
n
=
2

_

0
x(t) cos 2ntdt =
2

2
cos 2ntdt
=
2
2n
sen 2nt[

2
= 0,
b
n
=
2

_
T
0
x(t) sen 2ntdt =
2

2
sen 2ntdt
=
2
2n
sen 2nt[

2
=
1
n
(cos 2n cos n)
=
_

2
n
si n es impar
0 si n es par.
La serie de Fourier es, de acuerdo con (34),
x(t)
1
2

2

n1
sen(2n 1)t
2n 1
.
18
Extensi on par: de (35) obtenemos
a
0
=
1

_

0
x(t)dt =
1

2
dt =
1
2
,
a
n
=
2

_

0
x(t) cos ntdt =
2

2
cos ntdt
=
2
n
sen nt[

2
=
2
n
_
sen n sen
n
2
_
,
=
_

2
n
si n = 4k 3, k IN
2
n
si n = 4k 1, k IN
0 si n es par.
b
n
= 0.
El desarrollo en serie de cosenos de x(t) ser a, de acuerdo con (36),
x(t)
1
2

2

(cos t
1
3
cos 3t +
1
5
cos 5t . . . ).
Extensi on impar: de (37) obtenemos
a
0
= an = 0,
b
n
=
2

_

0
x(t) sen ntdt =
2

2
sen ntdt
=
2
n
cos nt[

2
=
2
n
_
cos n cos
n
2
_
,
=
_

_
2
n
si n es impar

4
n
si n = 4k 2, k IN
0 si n = 4k, k IN.
El desarrollo en serie de senos de x(t) ser a, de acuerdo con (38),
x(t)
2

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

( sen 2t +
1
3
sen 6t +
1
5
sen 10t +. . . ).
1.4 Convergencia de las series de Fourier
En esta secci on estudiaremos la convergencia de las series tanto exponencial como trigonometrica
de Fourier, aunque sin perdida de generalidad eventualmente demostraremos los teoremas para las
primeras, quedando para el lector las demostraciones en el caso de las series trigonometricas de Fourier.
Si bien habamos obtenido m as arriba un resultado para la convergencia de las series general-
izadas de Fourier (vease la Observacion 4) ese resultado es acerca de la convergencia en norma. Aqu
estudiaremos los problemas de convergencia puntual y uniforme.
19
Consideraremos se nales x : [t
0
, t
0
+ T] K, no necesariamente continuas, con la convenci on que
es una discontinuidad de x(t) si (t
0
, t
0
+T) o si = t
0
o = t
0
+T y consideramos la extension
peri odica de x(t).
Denimos en la forma usual los lmites laterales por derecha e izquierda como x(
+
) = lim
t,t>
x(t)
y x(

) = lim
t,t<
x(t) respectivamente.
Una discontinuidad de x(t) tal que x(
+
) y x(

) existen es una discontinuidad de salto o de

primera especie.
Una se nal x : [t
0
, t
0
+ T] K es continua a trozos si en cada [a, b] [t
0
, t
0
+ T], x tiene una
cantidad nita de discontinuidades y estas son salto.
Las derivadas latereales por derecha e izquierda se denen, cuando los lmites involucrados existen,
como
x

(
+
) = lim
h0
+
x( +h) x(
+
)
h
y x

) = lim
h0
+
x(

) x( h)
h
.
Observaci on 6 x es derivable en si y s olo si x(

) = x(
+
) = x() y x

(
+
) y x

) existen y son
iguales.
Teorema 3 (Teorema de la convergencia puntual) sea x : [t
0
, t
0
+T] K continua a trozos con una
discontinuidad de tipo salto en y supongamos que x

(
+
) y x

) existen. Entonces la serie de

Fourier evaluada en converge a
x(
+
) +x(

)
2
.
En particular, si x es derivable en , la serie de Fourier converge en a x().
Demostraci on: la omitimos .
Ejemplo 7 Estudiar la convergencia puntual de la se nal x : [, ] R
|
de la gura 15,

t
Figure 15: Se nal del ejemplo 7
x(t) =
_
_
_
1
2
( t) si 0 t

1
2
( +t) si t < 0.
Se puede ver que
x(0
+
) =

2
, x(0

) =

2
, x

(0
+
) = x

(0

) =
1
2
,
20
y que x(t) es derivable en el resto de los puntos de [, ].
Su serie de Fourier es
y(t) =

n1
sen nt
n
y de acuerdo con el teorema 3, vale que x(t) = y(t) t ,= 0, e y(0) =
x(0
+
)+x(0

)
2
= 0.
Si en particular t =

2
, dado que
sen
n
2
=
_
_
_
1 si n = 4k 3, k IN
1 si n = 4k 1, k IN
0 si n es par,
,
tenemos que

4
= x
_

2
_
= y
_

2
_
=

n1
(1)
n+1
2n 1
.
Ejemplo 8 Veamos si es posible analizar mediante el teorema 3 la convergencia en t = 0 de la se nal
x : [, ] R
|
dada por
x(t) =
_
_
_
t sen
1
t
si 0 < t
1 +t si t 0.
La discontinuidad de x en t = 0 es de salto, ya que
x(0
+
) = lim
t0
+
x(t) = lim
t0
+
t sen
1
t
= 0, x(0

) = lim
t0

x(t) = lim
t0

1 +t = 1.
Sin embargo, x

(0
+
) no existe pues
x(0 +h) x(0
+
)
h
= h
_
sen
1
h
_
1
h
= sen
1
h
,
que no converge cuando h 0
+
. Por lo tanto el teorema no se puede aplicar en este caso.
Teorema 4 (Teorema de la convergencia uniforme) Sea x : [t
0
, t
0
+T] K continua tal que x(t
0
) =
x(t
0
+T) y que x

es continua a trozos en [t
0
, t
0
+T]. Entonces la serie de Fourier de x converge a x
absoluta y uniformemente en [t
0
, t
0
+T].
Demostraci on: consideremos sin perdida de generalidad la serie exponencial de Fourier, y sean c
n
, n
ZZ y C
n
, n ZZ los coecientes de Fourier de x y x

respectivamente.Entonces
C
0
=
1
T
_
t
0
+T
t
0
x

(t)dt =
1
T
[x(t
0
+T) x(t
0
)] = 0
C
n
=
1
T
_
t
0
+T
t
0
x

(t)e
in
0
t
dt
=
1
T
[x(t
0
+T)e
in
0
(t
0
+T)
x(t
0
)e
in
0
t
0
] +in
0
1
T
_
t
0
+T
t
0
x(t)e
in
0
t
= i n
0
c
n
n ,= 0.
21
Por otra parte
0
_
[C
n
[
1
n
_
2
= [C
n
[
2

2
n
[C
n
[ +
1
n
2

1
n
[C
n
[
1
2
[C
n
[
2
+
1
2n
2

1
n
n
0
[c
n
[
1
2
[C
n
[
2
+
1
2n
2
[c
n
[
1
2
0
[C
n
[
2
+
1
2
0
n
2
.
En consecuencia

nZZ
[c
n
[ = [c
0
[ +

n=0
[c
n
[ [c
0
[ +

n=0
1
2
0
[C
n
[
2
+

n=0
1
2
0
n
2
< ,
donde hemos utilizado la igualdad de Parseval para x

en la primera serie y el hecho que la segunda

serie converge.
Pero entonces,

nZZ

c
n
e
in
0
t

nZZ
[c
n
[ < ,
y por lo tanto la serie

nZZ
c
n
e
in
0
t
converge absoluta y uniformemente en [t
0
, t
0
+ T]. La demostracion concluye notando que para x se
cumplen las hip otesis del teorema 3 de la convergencia puntual para todo t [t
0
, t
0
+T], por lo que
x(t) =

nZZ
c
n
e
in
0
t
t [t
0
, t
0
+T].
Ejemplo 9 Sea la se nal x : [, ] R
|
dada por x(t) = [t[. Entonces, x es continua, x() =
x() = , y adem as
x

(t) =
_
1 si 0 < t <
1 si < t < 0,
y x

(0
+
) = 1, x

(0

) = 1, por lo que x

tiene una discontinuidad de tipo salto. Como estamos en las

condiciones del teorema de la convergencia uniforme, tendremos que en [, ] la serie trigonometrica
de Fourier de x
E(t) =

2

4

n1
cos(2n 1)t
(2n 1)
2
converge uniformemente a x.
Corolario 1 Sea x : [t
0
, t
0
+T] K continua a trozos, continua en (a, b) [t
0
, t
0
+T] y tal que x

es
continua a trozos en (a, b). Entonces la serie de Fourier de x converge a x absoluta y uniformemente
en todo [a
1
, b
1
] (a, b).
22
Demostraci on: la omitimos.
Teorema 5 (Teorema de la derivaci on) Sea x : [t
0
, t
0
+T] K continua tal que x(t
0
) = x(t
0
+T) y
que x

es continua a trozos en [t
0
, t
0
+ T], y sean c
n
, n ZZ los coecientes de la serie exponencial
de Fourier de x. Entonces en cada punto [t
0
, t
0
+T] donde existan x

(
+
) y x

), se tiene que
x

(
+
) +x

)
2
=

n=0
i n
0
c
n
e
in
0

.
En otras palabras, la serie de Fourier de x

se obtiene derivando termino a termino la serie de Fourier

de x.
Demostraci on: de acuerdo con las hip otesis, x

cumple las condiciones del teorema 3 de la convergencia

puntual, por lo que, si d
n
, n ZZ son sus coecientes exponenciales de Fourier, de acuerdo con ese
teorema tendremos
x

(
+
) +x

)
2
=

nZZ
d
n
e
in
0

. (39)
Pero, por otro lado,
d
0
=
1
T
_
t
0
+T
t
0
x

(t)dt =
1
T
[x(t
0
+T) x(t
0
)] = 0
d
n
=
1
T
_
t
0
+T
t
0
x

(t)e
in
0
t
dt
=
1
T
[x(t
0
+T)e
in
0
(t
0
+T)
x(t
0
)e
in
0
t
0
] +in
0
1
T
_
t
0
+T
t
0
x(t)e
in
0
t
= i n
0
c
n
n ,= 0.
Con lo que, reemplazando en (39), obtenemos
x

(
+
) +x

)
2
=

n=0
in
0
c
n
e
in
0

.
Ejemplo 10 Consideremos nuevamente la se nal x : [, ] R
|
dada por x(t) = [t[. Entonces, x es
continua, x() = x() = , y adem as como
x

(t) =
_
1 si 0 < t <
1 si < t < 0,
y x

(0
+
) = 1, x

(0

) = 1, x

es continua a trozos y tiene en t = 0 una discontinuidad de salto y

x

(t) = 0 t ,= 0 . Entonces, para cada t ,= 0 estamos en las condiciones del teorema 5. Dado que
[t[ =

2

4

n1
cos(2n 1)t
(2n 1)
2
,
x

(t) =
4

n1
sen (2n 1)t
2n 1
t ,= 0.
23
Teorema 6 (Teorema de la integraci on) Sea x : [t
0
, t
0
+T] K continua a trozos, y sean c
n
, n ZZ
los coecientes de la serie exponencial de Fourier de x. Entonces para todo t [t
0
, t
0
+T],
_
t
t
0
x()d = c
0
(t t
0
) +

n=0
1
in
0
_
e
in
0
t
e
in
0
t
0
_
,
en otras palabras, la serie exponencial de Fourier de la integral de x se obtiene integrando termino a
termino la serie exponencial de Fourier de x.
Demostracion: Consideremos X(t) =
_
t
t
0
x()d c
0
t. Entonces X(t) es continua con derivada (x(t)
c
0
) continua a trozos y adem as X(T +t
0
) = X(t
0
) = c
0
t
0
. Por lo tanto, y por el teorema 4, la serie
exponencial de Fourier de X (de coecientes C
n
, n ZZ) converge uniformemente a X en [t
0
, t
0
+T],
es decir
X(t) =

nZZ
C
n
e
in
0
t
, t [t
0
, t
0
+T].
Entonces, para todo n ,= 0,
C
n
=
1
T
_
t
0
+T
t
0
X(t)e
in
0
t
=
1
in
0
T

X(t)e
in
0
t

t
0
+T
t
0
+
1
in
0
T
_
t
0
+T
t
0
(x(t) c
0
)e
in
0
t
dt
=
1
in
0
T
_
t
0
+T
t
0
x(t)e
in
0
t
dt
c
0
in
0
T
_
t
0
+T
t
0
e
in
0
t
dt
=
1
in
0
T
_
t
0
+T
t
0
x(t)e
in
0
t
dt =
c
n
in
0
.
Por lo tanto,
X(t) = C
0
+

n=0
c
n
in
0
e
in
0
t
, t [t
0
, t
0
+T],
y para determinar C
0
, notamos que
c
0
t
0
= X(t
0
) = C
0
+

n=0
c
n
in
0
e
in
0
t
0
C
0
= c
0
t
0

n=0
c
n
in
0
e
in
0
t
0
,
por lo que
X(t) = c
0
t
0

n=0
c
n
in
0
e
in
0
t
0

n=0
+
c
n
in
0
e
in
0
t
= c
0
t
0
+

n=0
+
c
n
in
0
_
e
in
0
t
e
in
0
t
0
_
, t [t
0
, t
0
+T].
Finalmente,
_
t
t
0
x()d = X(t) +c
0
t = c
0
(t t
0
) +

n=0
+
c
n
in
0
_
e
in
0
t
e
in
0
t
0
_
, t [t
0
, t
0
+T].
24
Ejemplo 11 Consideremos x : [, ] R
|
dada por x(t) = 1 + t. En este caso es facil ver que su
serie exponencial de Fourier es
1 +

n=0
i
(1)
n
n
e
int
.
En consecuencia, si X(t) =
_
t

x()d tendremos, de acuerdo con el teorema 6, que para todo

t [, ], vale
X(t) = t + +

n=0
(1)
n
n
2
_
e
int
e
in
_
= t + +

n=0
(1)
n
n
2
_
e
int
(1)
n
_
.
25