UTN - FRA * Anlisis de Seales y Sistemas.

Prof. R. Abascal
13. La Serie de Fourier.
13.1 - Periodicidad de las seales de variable continua:
Se dice que una seal es peridica si para todo valor de la variable independiente t se cumple que
y ( t ) = y ( t + NT
o
) N = 1, 2, , !, " " "
NT
o
se denomina perodo de la funcin"
Perodo fundamental T
o
es el menor valor positivo para el cual se cumple la ecuacin anterior"
Se denomina frecuencia fundamental f
o
al valor inverso de T
o
"
Ejemplo 1: #unciones sinusoidales"
y ( t ) = sen t
$n e%ecto,
sen ( t + T
o
) = sen t
si T
o
= 2
$l per&odo %undamental de esta %uncin es, por lo tanto, 2 "
Ejemplo 2:
Tambi'n es peridica, de per&odo T
o
en (eneral distinto de 2 , una %uncin como la representada
en el (r)%ico si(uiente*
Ejemplo 3:
+unque en la mayor&a de las aplicaciones %&sicas de las %unciones peridicas la variable
independiente es el tiempo, el concepto de periodicidad es independiente del si(ni%icado %&sico de la
variable"
Sea la %uncin
( ( , ) = ( ( , + N -
o
) N = 1, 2, , " " "
$sta %uncin es peridica de per&odo %undamental -
o
y su %recuencia %undamental ser) por
consi(uiente
%
o
= 1 . -
o
13.2 - Familia de funciones peridicas.
Ao 200 ! 2"#$%"!&'.doc
y ( t )
/ T
o
T
o
+ 2T
o

2T
o
+
t
UTN - FRA * Anlisis de Seales y Sistemas.
Prof. R. Abascal
Si multiplicamos la variable independiente por una constante cualquiera +, la %uncin si(ue siendo
peridica, pero su per&odo %undamental se modi%ica" $n e%ecto* Sea
sen + t = sen + ( t + T
o
) = sen ( + t + + T
o
)
$sta %uncin es peridica si
+ T
o
= 2
0ero en este caso, el per&odo es distinto de 2 " $n e%ecto, despe1ando, el per&odo %undamental
resulta*
T
o
=
2

+
Si + 2 1, T
o
es una %raccin de 2 "
Si multiplicamos el valor de + por una sucesin de n3meros N enteros* N = 1, 2, , !, " " "
estaremos en presencia de una familia de funciones de per&odo %undamental T
o
"
Ejemplo 1:
Sea una %uncin sinusoidal % ( t ) cualquiera, y
+ =
o
,
donde
o
es la %recuencia an(ular %undamental que caracteri4a a la %amilia" $ntonces
% (
o
t ) = % 5
o
( t + N T
o
)6 = % (
o
t + N
o
T
o
)
$sta %uncin es peridica si

o
T
o
= 2
+ partir de aqu& se pueden establecer las si(uientes relaciones*
%
o
= 1 . T
o
, y
o
= 2 %
o
= 2 . T
o

$l per&odo %undamental es en este caso*
T
o
=
2

o
Ejemplo 2: 7a %uncin
, ( t ) = cos
o
t
es peridica" $n e%ecto,
, ( t + N T
o
) = cos
o
( t + N T
o
) = cos
o
( t + 2

)
7o mismo,
, ( t ) = sen
o
t
etc"
Ejemplo 3: $s i(ualmente peridica la %amilia de %unciones
% ( t ) = e
i 8
o t
siendo 8 = /, 9 1, 9 2, " " "
$n particular, cada una de las %unciones de esta %amilia tiene una %recuencia %undamental m3ltiplo
de %
o
y por tanto un per&odo %undamental que es una %raccin de T
o "
Ao 200 2 2"#$%"!&'.doc
UTN - FRA * Anlisis de Seales y Sistemas.
Prof. R. Abascal
:ualquier combinacin lineal de %unciones pertenecientes a esta %amilia ser) tambi'n peridica, con
%recuencia %undamental m3ltiplo de %
o
" 0or e1emplo*
+
, ( t ) =
8
e
i8
ot
= " " " +
;
e
;i
ot
+
;2
e
;i2
ot
+
;1
e
;i
ot
+
o
+

+
1
e
i
ot
+
2
e
i2
ot
+

e
i
ot
+ " " "
<esarrollando las e,ponenciales anteriores como sumatoria de senos y cosenos, resulta
, ( t ) = " " " +
;
(cos
o
t ; i sen
o
t ) +
;2
(cos 2
o
t ; i sen 2
o
t ) +
+
;1
(cos
o
t ; i sen
o
t ) +
o
+
1
(cos
o
t + i sen
o
t ) +
+
2
(cos 2
o
t + i sen 2
o
t ) +

(cos
o
t + i sen
o
t ) +" " "
#actoreando a=ora la i(ualdad anterior, se tiene
, ( t ) = " " " + (
;
+

) cos
o
t + (
;2
+
2
) cos 2
o
t + (
;1
+
1
) cos
o
t +
+
o
+ i (
1
;
;1
) sen
o
t + i (
2
;
;2
) sen 2
o
t + i (

;
;
) sen
o
t + " " "
Simblicamente*
+ +
, ( t ) =
8
cos 8
o
t + i
8
sen 8
o
t (1"1)
8 = o 8 = 1
<onde*

o
=
o
> tambi'n, para todo 8 /

8
=
8
+
; 8
y
8
=
8
;
; 8

13.3 - Serie de Fourier:
?na %uncin peridica de per&odo %undamental T
o
, puede ser representada mediante una serie
tri(onom'trica como la (1"1), siempre y cuando sea posible determinar los valores de los
coe%icientes a
8
y b
8
" $n tal supuesto, se puede establecer la i(ualdad*
% ( t ) =
a
o
+ a
1
cos
o
t + a
2
cos 2
o
t + " " " + b
1
sen
o
t + b
2
sen 2
o
t + " " "
2
o, en %orma simblica*
+
% ( t ) =
a
o
+ ( a
8
cos 8
o
t + b
8
sen 8
o
t ) (1"2)
2 8 = 1
$sta e,presin, conocida como desarrollo de la %uncin % ( t ) en Serie de #ourier, resulta id'ntica a
la (1"1), con slo =acer*
a
o
= 2
o
, a
8
=
8
y b
8
= i
8
7a ra4n de ele(ir a
o
= 2
o
tendr) sentido al determinar las e,presiones de los coe%icientes de la
serie en el par)(ra%o si(uiente"
Ao 200 # 2"#$%"!&'.doc
UTN - FRA * Anlisis de Seales y Sistemas.
Prof. R. Abascal
13.4 - eterminacin de los coeficientes de la Serie de Fourier: !"lculo de a
o
.
Si la %uncin ori(inal % ( t ) conver(e uni%ormemente en el intervalo entre / y 2 , inte(r)ndola en
dic=o intervalo, se tiene*
2 2 2 2
% ( t ) d t =
a
o
d t + a
8
cos 8
o
t d t + b
8
sen 8
o
t d t
o o 2 8 = 1 o 8 = 1 o
0ero todas las inte(rales del se(undo t'rmino, con e,cepcin de la primera, son nulas por tratarse
de inte(rales de senos o cosenos entre / y 2. 0or tanto, resulta que
2 2 2
% ( t ) d t =
a
o
d t =
a
o
t = a
o

o 2 o 2 o
<e aqu&, despe1ando a
o
obtenemos el valor de este coe%iciente
2
a
o
=
1
% ( t ) d t
o
13.# - !"lculo de los coeficientes a
$
% b
$
:
@ultipliquemos a=ora ambos miembros de la (1"2) por cos m
o
t, y lue(o inte(remos como
antes entre / y 2" Aesulta*

cos m
o
t " % ( t ) =
a
o
cos m
o
t + a
8
cos 8
o
t "cos m
o
t + b
8
sen 8
o
t "cos m
o
t
2 8 = 1 8 = 1
$ inte(rando en ambos miembros*
2
cos m
o
t " % (t ) dt =
o
2 2 2
=
a
o
cos m
o
t dt + a
8
cos 8
o
t "cos m
o
t dt + b
8
sen 8
o
t "cos m
o
t dt
o 2 o 8 =1 o 8 =1 (1")
7a primera inte(ral del se(undo miembro es nula pues es la inte(ral de una %uncin coseno en un
per&odo o en un n3mero entero de per&odos" > la tercera inte(ral es tambi'n nula, por ser asimismo
la inte(ral de una %uncin seno en un n3mero entero de per&odos" $n e%ecto*
sen 8
o
t " cos m
o
t =
1
sen 5 (8 + m )
o
t 6 + sen 5 ( 8 ; m )
o
t 6
2
Aecordemos que 8 y m son n3meros enteros"
$l valor de la se(unda inte(ral en la e,presin (1") depende de 8 y m" $n primer lu(ar, notemos
que si 8 m, dic=a inte(ral es nula, pues*
Ao 200 " 2"#$%"!&'.doc
UTN - FRA * Anlisis de Seales y Sistemas.
Prof. R. Abascal
cos 8
o
t " cos m
o
t =
1

cos 5 (8 + m )
o
t 6 + cos 5 (8 ; m )
o
t 6
2
> si a=ora descomponemos la inte(ral en una suma de otras dos inte(rales, cuyos inte(randos son
respectivamente los dos sumandos encerrados entre llaves en la ecuaciBn anterior, cada una de las
inte(rales mencionadas ser) nula por id'ntica ra4n (Cnte(rales de la %uncin coseno en un n3mero
entero de per&odos)"
0ero si 8 = m, tendremos*
2 2 2
a
8
cos 8
o
t " cos m
o
t dt = a
8
cos
2
m
o
t dt =
a
8
( 1 + cos 2m
o
t ) dt =
o o 2 o
2 2 2
=
a
8
( dt + cos 2m
o
t dt ) =
a
8
dt = a
8
= a
m
(pues 8 = m )
2 o o 2 o
Ntese que tambi'n aqu& la se(unda inte(ral es nula" Dueda en de%initiva*
2
% (t ) cos m
o
t dt = "a
m
o
<espe1ando a
m
de esta i(ualdad, resulta*
2
a
m
=
1
% (t ) cos m
o
t dt
o
<e %orma completamente similar, pero multiplicando la (1"2) por sen m
o
t en lu(ar de cos m
o
t
se determinan los coe%icientes b
m
2
b
m
=
1
% (t ) sen m
o
t dt
o
$stas e,presiones se conocen como frmulas de Euler - Fourier.
Nota: Si % ( t ) es peridica de per&odo T
o
= 2 , es indi%erente calcular la inte(ral entre / y 2 o
entre y + . 0or e1emplo, en el caso de a
m
2
a
m
=
1
% (t ) cos m
o
t dt

=
1
% (t ) cos m
o
t dt
o
Ntese tambi'n que el denominador, , es el semiper&odo de la %uncin"
13.& - Funciones peridicas de per'odo distinto de 2:
Si el per&odo de la %uncin % ( t ) es distinto de 2, se obtienen e,presiones similares*
Ao 200 2"#$%"!&'.doc
UTN - FRA * Anlisis de Seales y Sistemas.
Prof. R. Abascal
To.2
a
o
=
2
% ( t ) d t
T
o
; T
o
.2
T
o
.2
a
m
=
2
% ( t ) cos m
o
t dt
T
o
; T
o
.2
T
o
.2
b
m
=
2
% ( t ) sen m
o
t dt
T
o
; T
o
.2
Eeri%icaremos a continuacin la valide4 de estas e,presiones" $n primer lu(ar, como el per&odo de %
( t ) es distinto de 2 es decir T
o
2, llamando

T
o
= ",
2
tenemos que
T
o
= 2 "
Si =acemos el cambio de variable, , = t . , en el dominio de la nueva variable el per&odo, que
llamaremos -
o
, vuelve a ser 2 "
-
o
= T
o
. = 2 (13.4)
Eisuali4aremos esto en %orma (r)%ica*
t
/ 2 T
o

,
/ 2
<e acuerdo con la ecuacin (1"!), ser)*
% ( , ) = % ( , + -
o
) = % ( , + 2 )
$l desarrollo #ourier de % ( , ) es

% ( , ) = % (
t
) =
a
o
+ [ a
m
cos ( m
o
t
) + b
m
sen ( m
o
t
)]
2 m = 1
Teniendo en cuenta que cuando t = es , = , podemos de%inir, para los coe%icientes, la
ecuacin (en'rica si(uiente*

a
m
=
1
% ( , ) cos (m
o
, ) " d ,

Ao 200 & 2"#$%"!&'.doc
UTN - FRA * Anlisis de Seales y Sistemas.
Prof. R. Abascal
> como = T
o
. 2, reempla4ando se tiene
To.2
a
m
=
2
% ( , ) cos m
o
, " d,
T
o
; To.2
F tambi'n, cambiando el nombre de la variable muda de inte(racin*
To.2
a
m
=
2
% ( t ) cos m
o
t " dt
T
o
; To.2
<e modo similar se obtienen las e,presiones correspondientes a los coe%icientes a
o
y b
m
"
13.( - )*presin comple+a de la Serie de Fourier:
$l desarrollo en serie de #ourier de una %uncin peridica es, como se =a visto*

% ( t ) =
a
o
+ ( a
8
cos 8
o
t + b
8
sen 8
o
t )
2 8 = 1
Si e,presamos las %unciones seno y coseno en %orma e,ponencial*

% ( t ) =
a
o
+ ( a
8

e
i8ot
+ e
;i8ot
+ b
8

e
i8ot
; e
;i8ot
)
2 8 = 1 2 2 i
+(rupando los coe%icientes de i(ual &ndice, se lle(a a

% ( t ) =
a
o
+ [(
a
8
;
i
b
8
) e
i8ot
+ (
a
8
+
i
b
8
) e
;i8ot
6
2 8 = 1 2 2
:on un cambio adecuado del nombre de los coe%icientes, se puede poner*

% ( t ) = c
o
+ ( c
8
e
i8ot
+ c
8
e
;i8ot
)
8 = 1
$n esta e,presin, los coe%icientes responden a las %rmulas si(uientes*
To.2
c
o
=
a
o
=
1
% ( t ) d t
2 T
o
; To.2
> c
8
=
1
( a
8
; i b
8
)
2
To.2 To.2
c
8
=
1
% ( t ) cos 8
o
t d t ;
i
% ( t ) sen 8
o
t d t
T
o
; To.2 T
o
; To.2
Ao 200 ' 2"#$%"!&'.doc
UTN - FRA * Anlisis de Seales y Sistemas.
Prof. R. Abascal
To.2
c
8
=
1
% ( t ) ( cos 8
o
t ; i sen 8
o
t ) d t
T
o
; To.2
F, si lo e,presamos en %orma e,ponencial*
To.2
c
8
=
1
% ( t ) e
;i8
ot
d t
T
o
; To.2
c
8
es un comple1o, cuyo con1u(ado es*
To.2
c
8
=
1
% ( t ) e
i8
ot
d t
T
o
; To.2
> siendo % ( t ) una %uncin real, se veri%ica que c
8
= c
8

0or tanto, uni%icando ambos resultados, se obtiene la expresin compleja de la serie de Fourier*
+
% ( t ) = c
8
e
i8
ot
(1"G)
;
13., - !ondiciones de conver-encia de iric.let:
<e%inen la conver(encia de las series de #ourier* ?na serie es conver(ente cuando cumple las tres
condiciones de <iric=let, que se enuncian a continuacin*
a ) % ( t ) es continua, o presenta un n3mero %inito de discontinuidades en un per&odo"
b ) % ( t ) tiene un n3mero %inito de m),imos y m&nimos en un per&odo"
c ) 7a inte(ral del mdulo de # ( t ) en un per&odo es %inita*
To.2
% ( t ) d t = @ @
; To.2
Ao 200 % 2"#$%"!&'.doc