Series de Fourier 705

I CAPTULO XIV I
1 1 4 . SERIES DE FOURIER.-I
114.1. FUNCIONES PERIDICAS.-I
DEFINICIN.- Se dice que una funcin f: R ~ R es peridica, si existe un nmero
positivo "T" tal que f(t +T) =f(t), Y tER. l nmero T recibe el
nombre de periodo de la funcin f(t).
r
f(t) f(t)
t
.................. T ..................
I
............... T ...............
Ejemplo.- Graficar y determinar el periodo de la funcin f(l) =(_1)[1
1
1]
Solucin
Setiene que s, 2n:S; t <2n +1 => [1 t 1] =2n, n E Z, de donde
f(t) =(_1)211 =1 => f(t) = 1, VnEZ
S 2n +l :s; t <(2n +1) +1 => [1 t 1] =2n +1, V n E Z, de donde
f(t) =(_1)211+1 =-1 => f(t) =-1, V n E Z
706 Eduardo Espinoza Ramos
f(t)
11----,
o -3,
,
,
,
t
L---I -1
f(t +2) =f(t), \;f tER. Luego f(t) es peridica de periodo T =2
Ejemplo.- Las funciones 1, sen t, sen 2t, sen 3t, ..., sen nt ; cos t, cos 2t, cos 3t, ..., cos nt
son funciones peridicas para el caso en que f(t) =sen t
f(t)
1
t
o
-- T =21t ---+
Para el caso en que f(t) =sen 2t
f(t)
o
t
---T = 1t---~
Para el caso en que f(t) =sen 3t
Series de Fourier 707
f(t)
o
t
T = 21t_+
3
OBSERV ACION.- S f(t +T) =f(t), V tER
f(t +2T) =ft +T) +T) =f(t +T) =ftt)
f(t +3T) =ft +2T) +T) =ftt +2T) =f(t)
f(t +nT) =f(t), V n E Z+, V tER
f(t - T) =ft - T) +T) =f(t)
f(t - 2T) =ft - 2T) +T) =f(t - T) ,=f(t)
f(t - 3T) =ft - 3T) +T) = ftt - 2T) =f(t)
r
f(t - nT) =ftt), V n EZ"
Luego s f(t +T) =f(t) => f(t +nT) =f(t), V n E Z, tER
Por ejemplo.- sen (t +21t), V tER => sen (t +2nT) = scn t, V tER
Ejemplo.- Demostrar que la funcin f(t) =constante, es una funcin peridica de
periodo T para cualquier valor positivo de T.
Solucin
Sea f(t) =k la funcin constante
Si f(t) = k, entonces f(t +T) = k por ser funcin constante de donde f(t) = f(t +T),
para todo t, por lo tanto ftt) es una funcin peridica de periodo T.
708 Eduardo Espinoza Ramos
OBSERVACIN.- Si f(t)=cosOJt+cOS0J2t es peridica => :3n,n2 EZ tal que
cos OJ(t +T) +cos OJ2(1+T) =cos OJt +cos OJ2t
De donde OJT =2nlr /\ OJ2T =2n2lr => ~ =!!L EQ
~ n2
Por ejemplo.- Hallar el periodo de f(t) =cos 2t +cos J2t de donde ~ =~ ~Q,
~ J 2
entones f(t) =cos 2t +cos J2t no es peridica.
Ejemplo.- Hallar el periodo de la funcin f(t) =cos!.. +cos!.. +cos!..
3 4 5
Solucin
1 lit t t
Por definicin se tiene: cos-(t +T) +cos-(t +T) +cos-(t +T) =cos- +cos- +cos-
3 4 5 3 4 5
1
-T =2lrn
3
1
-T =2lrn2 =>
4
1
-T =2lrn3
5
T =6lr n
T=8;rn2
T=10;rn3
resolviendo el sistema: para esto m.c.m. (6,8,10) = 120 de donde ni =20, n2 =15,
n3 =12. Luego T = 120 1t (periodo mnimo)
OBSERV ACIN.-
Si f Y g son peridicas con periodo T, entonces h =af +bg, a y b constantes, es
tambin peridica con periodo T.
Si f Y g son peridicas con periodo T, entonces f.g es tambin peridica con
periodo T.
Series de Fourier 709
En efecto: f(t +T) =f(t) /\ g(t +T) =g(t), V tER
=> (f.g)(t +T) = f(t +T) g(t +T) = f(t).g(t) =(f.g)(t)
.. (f.g)(t +T) =(f.g)(t), V tER
TEOREMA.- Si f(t) es una funcin peridica con periodo T entonces se cumple:
r
i)
T T
f-{ f(t) dt =t:f(t)dt
2 2
ii) [ +1f(t)dt =i f(t)dt
Demostracin
Como f(t) es peridica con periodo T, entonces f(t +T) =f(t), V tER ... (1)
Hacemos t +T =z => t =z - T reemplazando en (1) tenemos: f(t) =fez - T)
I I I+T
consideremos la integral f(t)dt = fez - T)dz = f(t)dt
a a 'a+T
donde t = z - T => a ~ t ~~ => a ~ z - T ~~ => a +T ~z ~~+T
i
{J i{J+T
f(t)dt = f(t)dt
a a+T
.(*)
puesto que cualquier variable puede reemplazar al diferencial de lavariable.
T T T
i) f-+; f{t)dt =[ lf(t)dt +[;2f(t)dt
222
aplicando el resultado de (*) alaprimera integral del 2do miembro
T T T T T T
f-{ f(t)dt =[~f(t)dt +[;2f(t)dt =[;2f(t)dt +[~f(t)dt =t:f(t)dt
2 2 2 2 2 2
T T
f-{ f(t)dt) t:f(t)dt
2 2
.. (**)
ii) Si sehace a =0, ~=t en (*) se tiene: if(t)dt = [ +1f(t)dt
710 Eduardo Espinoza Ramos
T
Si en (**) hacemos a = se obtiene:
2
r r
1f(t)dt =1f(t)dt
2
.. (***)
TEOREMA.- S f(t +T) =f(t), V tER, s g(t) = ff{t)dt, entonces:
r
g(t +T) =g(t) <=> tf(t)dt =O
2
Demostracin
+
T
+
T
( +
T
g(t +T) = 1 f(t +T)dt = 1 f(t)dt = 1f(t)dt +J , f(t)dt
(1)
de laparte (***) y (ii) del teorema anterior se tiene:
r T T
1f(t)dt =1f(t)dt , +f(t)dt =ff(t)dt
2
..(2)
T
reemplazando (2) en (1) se tiene: g(t +T) = 1f(t)dt +ff(t)dt =g(t) = ff(t)dt
2
T
1f(t)dt =ff(t)dt - ff(t)dt =O
2
T
de donde 1f(t)dt =O
2
TEOREMA.- Si f(t +T) = f(t), V tER, entonces SI F(t) = ff(t)dt _ a~t
T
demostrar que F(t +T) =F(t), V tER donde ao =~ ~ f(t)dt
T J 2-
2
Demostracin
f
+T a f+T a t a T
F(t+T)= f(t+T)dt--.JL(t+T)= f(t)dt--O--_o-
222
I
r f+T a t a T B
T
f a t a T
= f(t)dt+ f(t)dt--O--_O- = 2 f(t)dt+ f(t)dt--O--_o-
2 2 _!. . 2 2
2 -
Series de Fourier 711
F(t +T) =F(t), \i tER
114.2. FUNCIONES ORTOGONALES.-
DEFINICIN.- Se dice que dos funciones reales gni (t) Y gn (t) son ortogonales en el
intervalo a~t ~b.
F
S la integral del producto gm(t).g n (t) sobre este intervalo a 5 t ~b es igual a cero, es
decir: fs; (t)gn (t)dt =0, m*n ... (*)
r
OBSERV ACIONES.-
G) Un conjunto de funciones reales go' g,g 2 , , que satisface (*) para todos los
I ~ pares de funciones distintos en el conjunto, es un "conjunto ortogonal" de funciones
en ese intervalo.
r
o La integral N(gm (t =fg;, (t)dt .(**)
se llama Norma de la funcin gn (t) en el intervalo a~t ~b
[
o Un conjunto ortogonal de funciones, go' g,...,gni ,oO., en el intervalo a ~t ~b, tal
que cuyas funciones tiene norma 1 satisface las relaciones:
r
f
-{ O si m *n, n =0,1,2, ...
gm (t)gn (t)dt - .
a 1 SI m =n, n =0,1,2, ...
.. (***)
un conjunto de este tipo recibe el nombre de conjunto "Ortonormal" de funciones en
el intervalo a~t ~b
Ejemplo.- El conjunto de funciones:
~
I
{ l, cos rn.r, coscv2t, ... , cosncv2t, ... , sencvot, ... , senncvot} es un conjunto
T T
ortogonal en el intervalo -- ~t ~-
2 2
712 Eduardo Espinoza Ramos
Solucin
(!) S gm (t) =l Y gn (t) =cos nJot, entonces
S1
' 2rc
Jo=- ~
T
T
tl.cosnJot dt=O s nee O
2
T
@ S gn (t) =1, gm(1) =sen mJot entonces tsen(mJot)dt =O, V m
2
o Si gn (t) =cos nJot, gm (1) =cos mJot, entonces:
rtcos(nJot). cos(mJot)dt ={~, S: i : : : *
2 2
o Si gn (t) =cos(nJot) y gni (t) =sen(mJot) , entonces:
T
tcos(nJot) sen(mJot)dt =0, V n, V m
2
o Si gn (t) =sen(nJot) y gm(1) =sen(mJot) , entonces:
T
J 3
{
O, si m *n
sen(nJot) sen(mJot)dt = .
!.. 1, SI m =n *
2
OBSERV ACIN.- Dado un conjunto ortogonal podemos obtener un conjunto
Ortononnal dividiendo cada funcin entre la raz cuadrada de su
norma.
Ejemplo.- El conjunto { l, cos Jot, ... , cos nJot, ... , sen Jot, ... , sen nJot} donde
T T T
N(l) = (2 dt, N(cos nJot) = (2 cos n%t dt =! y N(sen na\t) = (2 sen' n%t dt =!,
J !.. J !.. 2 E 2
2 2 2
. l cos J o! sen %!
entonces el conjunto (Fr' ~ ,... , ~ ,... )
es un conjunto Ortonormal.
714
{ _.": si - K<I<O
a) f(t) = 4
f(t +21t) =f(t)
" si 0< t <"
4
b)
t
f(t +21t) =f(t)
f(t) =7.'
-1t<t <n,
e)
t2 ,,2
f(t)=---, -1t<t<1t y f(t+21t)=f(t)
4 12
d) f(t) =t
3
, -1t<t <1t Y f(t +21t) =f(t)
e) f(t) =e
l tl
, -1t<t <1t Y f(t +21t) =f(t)
114.4. SERIES DE FOURIER.-I
Eduardo Espinoza Ramos
Si la funcin f(t) es peridica con periodo T y que puede representarse por medio de una
serie trigonomtrica de la forma:
00
f(t) =a; +~ )an cos(na>ot) +b; sen(nJof)]
n=1
... (1)
a esta serie se le llama serie trigonomtrica de Fourier, a la serie (1) tambin puede
representarse del siguiente modo
00
f(t) =eo +Len cos(na>ot-B
n
)
n=1
... (2)
En efecto:
~ 2 2 an bn
a
n
cos(na>ot) +b; sen(na>ot) = alJ +b
n
( cos(naJol ) +J sen(nmot)
~ 2 2 2 b2
a
n
+b
n
a" + n
. ~ 2 2 an bn
defimmos: en = a
n
+b" , cos Bn = , sen Bn =J
2 2 2 2
~ an +b
n
a
n
+b
n
Series de Fourier 715
... (3)
ahora reemplazamos (3) en (1) Y se obtiene:
r
o c 00
f(t) =a; +L(a
n
cos nJol +b
n
sen nJot) =e
o
+Len cos(n%t - Bn)
,,=1 n=1
r
F
00
f(t) =eo +Len cos(n%t - Bn)
n=1
donde e
o
=~ y Bn =arctg( ~) y adems en =~a~+b,; y Bn =arctg( ~) se conoce
2 ; .
como: Amplitudes armnicos y ngulos de fase respectivamente.
114.5. EVALUACIN DE LOS COEFICIENTES DE FOURIER.-I
Mediante la relacin de ortogonalidad del conjunto de funciones
{l,cos Jot, cps 2J
o
t, ... , cos nJot, ... , sen nJot, ... , sen 2J
o
t, sen Jot,... } podemos evaluar
los coeficientes: ao, a
n
, b; d la serie de Fourier

00
J(t) =a; +~ )an cos(n%t) +b" sen(n%t)]
n=1 .
... (1)
donde %=2" (frecuencia angular fundamental)
T
En efecto: integrando laecuacin (1) de _ ! .... a T
2 2
T T 00 T 00 T
.G . f(t)dt =a; .G . dt +L; .G . cos(n%t)dt +Lb
n
.G . sen(n%t)dt .. (2)
2 2 n=1 2 n=1 2
pero por la ortagonalidad del conjunto de funciones se tiene:
716 Eduardo Espinoza Ramos
T
~ cos(nJot)dt =O, V n7:- O,
2
T
~ sen(nJot)dt =O, V nEZ
2
... (3)
ahora reemplazamos (3) en (2) se tiene:
T T
(2 f(t)dt=a
o
(2 dt+O+O=~ T,dedonde
J -~ 2 J -~ 2
2 2
T
2B
ao =- f(t)dt
T .2
2
multiplicando la expresin (1) por cos(mmot) e integrando de - T a! '- se tiene:
2 2
T T 00 T
~ f(t) cos(mJot)dt =i ~cos(mJot)dt +L. ~ cos(nJot) cos(mJot)dt +
2 2 11=1 2
00 T
+Lb; ~ sen(nJot) cos(mJot)dt
n=1 2
.(4)
pero por laortagonalidad del conjunto de funciones se tiene:
T T T
B
B ~
T
- cos(nJot)dt =O, sen(nJot)dt =O, cos(n%t) cos(m%t)dt =- , m=n=D... (5)
_~ t t. 2
2 2 2
ahora reemplazando (5) en (4) se tiene:
T
B
T
f(t)cos(mJot)dt =O+a
m
-+0 (m=n),
_~ 2
2
de donde
T
2j l
a
n
=- f(t) cos(n%t)dt
T T
2
ahora multiplicamos (1) por sen(mmot) e integrando de _ T a T
2 2
T T 00 T
~ f(t) sen(mJot)dt =a; ~ sen(mmot)dt +L, ~ cos(nJot) sen(mmot)dt +
2 2 n=1 2
00 T
+Lb" ~ sen(nJot) sen(mJot)dt ... (6)
n=1 2
Series de Fourier 717
por laortogonalidad del conjunto de funciones se tiene:
T
tsen(m{t)dt=O,
2
T T
t
t
T
- ca:; (nQt)sen(m{t)dt=O, - sen(nQt)sen(nUl {t)dt=-, m=n=O ... (7)
T T 2
2 2
reemplazando (7) en (6) se obtiene:
T
~
T T
f(t) sen(m%t)dt =O +O +b
m
- =b
m
-
_ ! 2 2
2
,
(m=n) de donde
T
2t
b; =- f(t) sen(n%t)dt
T T
2
r
Ejemplo.-
e! ) Encontrar la serie de Fourier para la funcin f(t) =el en el intervalo (-re, re),
f(t +2re) =f(t)
Solucin
f(t)
/
e
1t
~
I I
I I I
I I
I
I I I I I
-31t -21t - 1 t O
1 t 21 t 3 1 t
t
<X)
f(t) =a; +L(a
n
cos(n%t) +b; sen(n%t
zr=I
2" 2"
donde T =2re, %=- =- =1, por lo tanto
T 2"
00
f(t) =a; +L(a
n
cos nt +b
n
sen nt), de donde
n=l
"

718 Eduardo Espinoza Ramos
T f[
2 ~ 2 f 2 (_ 1)" senh zr
a
n
=- f(t)cosnt dt=- el cosnt dt=-.~ ~ ---
T _~ 27r _ ~ 7r (n
2
+1)
2 2
T f[
2 ~ 2 f t -2 (_1)n n senh 7 "
b; =- f(t)sennt dt=- e sennt dt=-.~ ~ ---
T _~ 27r .: 7r (n
2
+1)
2 2
00 n
f()
Zsenhx [2 (-1) senh zr 2(-1t nsenh7r ]
t = + cos nt sen nt
27r 7r (n
2
+1) 7r(n
2
+1)
n=l
senhn Zsenhst oo (_I)n
.. f(t)=--+ -2-(cosnt-sennt)
7r 7r n +1
n=l
o Hallar la serie de Fourier de la funcin dado por f(t) =(_ 1)[1/1]
Solucin
Graficando la funcin se tiene:
-3
1
-21 -1
1
1 1 1
1 1 1
L-.....!
o
------t 1
1 1 1
1 1 1
1 1 1
f(t)
1 r----
1 1 1
1 1 1
1 1 1
L-....--I-1
1 1 2
1
31 4
1
1 1 1 1
1 1 1 1
~ ~
La funcin f(t) es peridica: f(t +2) =f(t), V t
00
f(t) =a; +[a
n
cos(n%t)+b
n
sen(n\t)]
n=l
27r 27r
de donde T =2, > o =- =- =7r por lo tanto
T 2 '
00
f(t)= a; +[a
n
cos(n7rt)+b" sen(n7rt)]
n=l
..(1)
Series de Fourier
719
T
a
o
=2 ~ f(t)dt= r(-l il tl l dt=-[dt+ rdt=O
T 1~ L -1 1
2
... (2)
T
. =2 ~ f(t)coSnJrt dt= r(-l i1t1l cosn1l "t dt=O
T 1~ L
2
.. (3)
T
b; =2 ~ f(t)senn1l "tdt= r(-li
111l
senn1l"t dt=
T 1~ 11
2
=-(lsea nst t dt+ rseu nx : dt=_l _(1_(-l )n -(-w+1) =~ (1-(-W)
11 .b nst nst
{
4. .
b
2 ( (n - SI n es I mpar
n =- 1--1) )=n1l "
n1l " .
SI n es par
4
b
2n
-
1
= , n =1,2,3, ...
(2n -1)1l"
. (4)
co
f(t)
_-_ 4Lsen(2n -1)1l "t
ahora reemplazando (2), (3), (4) en (1) setiene:
1l " 2n-1
n; 1
o Hallar la serie de Fourier de la funcin cuya grfica es:
f(t)
-31t -21t -1t 1t
21t
Solucin
Los puntos (-1t,0), (O,1l "2) , (1t,0) estn en laparbola
x
2
+Ax+By+C=O entonces y=1l "2 _x
2
720 Eduardo Espinoza Ramos
Entonces f(t)=,,2-t
2
, -1t~t~1t Y f(t+21t)=f(t), VtER
2"
Como %=- y T =21t entonces aJo =l
T
eo
Luego f(t) =a; +(a
n
cos nt +b
n
sen nt), donde
n=1
2 [ l [ 2 2 2 r 2 2 2 2 t
3
/; r 4,,2
a
o
=- f(t)dt=- (" -t )dt=- (" -t )dt =-(" t--] =-
T; r " -I r " ,,3 o 3
2,,2 <Xl (-lr+1
f(t)=--+4 2 cosnt
3 n
n=1
OBSERV ACI N.- Para calcular la suma de una serie infinita por ejemplo:
2 2 <Xl ( Ir+1 oc (-lr+1
Para t =O => ,,2 =feO) =~+4 - 2 de donde
3 n n
2
n=1 11=1
12
Parat=1t =>
{
-1
Encontrar la serie de Fourier para la funcin f(t) definida por: f(t) = '
1,
T
-- <t <O
2
T
0< t <-
2
f(t +T) =f(t), V tER

r
Series de Fourier 721
1f---......,
00
J(t) =a; +L(a
n
cos noJol +b; sen nQ)t)
,,; 1
f(t)
Solucin
o
T
2J 3
a" =- J(t) cos nQ)tdt
T _ '!.
2
T
2
'---..., -1
: : ..
T T
=~[ f~ /(t)cosnQ)t dt+ fJ(t)cosnQ)t dt] =: [- f'!.cosnQ)t di+ fcosnQ)t dt]
2 2
T
-_ 2[ sen(n%t)jO sen(noV)jz 2 sen(-J l"n) sen x
T
T+ ] =-[0+ +---0]=0
nw
o
-z n% o T nQ) nQ)
:.l a,,=OI, v s e z:
2 J3~ 2 [ f~ 2 [ f~2 T T
ao=- J(t)dt=-[ J(t)dt+ J(t)dt]=-[- dt+ dt]=-[--+-]=O
T _ '! . T _ '! . T _ '! . T 2 2
2 2 2
:. ao =O
b" =: tJ(t) sen nQ)tdt =~[f ' ! . J(t) sen nQ)tdt +rJ(t) sen nQ)tdt]
2 2
T T
2 [ f 2 cos(nwot) j o cos(nwot) l:
=-[- sennQ)t dt+ sen(nQ)t)dt] =-[ T+ 2]
T _ '! . T nQ) -"? nQ) o
2 -
=2[(_1 __ cos(nJl "_(cosnJl " __ 1_)]
T nw
o
nwo nQ) n%
=2(_ 2_ 2cos nJl ")=i(l-cosnJ l"),
T n% nw
o
T n%
(
=i(l-coS nJl ")=~(l-cos nJl "), como cos ntt =(-Ir
T 2Jl" n nn
T

722 Eduardo Espinoza Ramos

si n es par
de donde b = 4
2n-1 (2n -l)/r
si n es impar
00 00
f(/) =~ b
2n
-
1
sen nOJot =~ 4 sen nst I
e: ~(2n-l)/r
n=1 n=1
GG
f(/) =~ 4sen n/r I
~ (2n-I )/r
1/=1
o Encontrar la serie de Fourier de la funcin definida por: f(t) =t para el intervalo <vrr,n>
y f(t +27t) =f(t)
Solucin
f(t)
t
La serie de Fourier de la funcin f(t) se expresa:
00
f(/) =a; +L(a
n
cos mont +bl / sen nOJot) , donde
11=1
T T
2 {2 2 (2
ao =T 12.: f(/)dt =T 12.: I dt =o, por ser f(t)
2 2
impar
T T
2 D 2 D
a =- f(t) cos nOJot dt =- I cos nOJot dt =O
n T _ 2.: 2/r _ 2.:
2 2
puesto que: t cos nOJol es funcin impar
T T
2D 2B Ir d
b =- f(/) sen nmot dt =- t sen nOJol dt =- t sen nOJol I
n T _~ 21T 2.: /r -Ir
2 2
Series de Fourier 723
=~ [sennV _ tcosnJot]/1r =~[(-1)" Jr +(-1)" Jr] =3(-1)"
Jr (nJo)2 nJo -Jr Jr n n n
00
.. f(t) =2~,: >-Itsennt
n
@ Encontrar la serie de Fourier para la funcin f(t) definida por f(t) =t
2
en el intervalo
<-n.n> y f(t +21t) =f(t)
Solucin
f(t)
o 1t 27t
La serie de Fourier de la funcin f(t) se expresa
00
f(t) =a; + (a
n
cos nJot +b
n
sen nJot) , donde
n=!
t
T [ 3 2 2 2 1 2 t Jr 1 3 3 2Jr
ao =- f(t)dt=- t dt=-/ =-[Jr +Jr ]=-
T!.. Jr =n 3Jr -Ir 3Jr 3
2
r
T
2t
a
n
=- f(t) cos nJot dt ,
T _ ! ..
2
2Jr
donde (iJo =- =1 => (iJo =l
T
r
1 [ 2 d l {t
2
sennt 2tcosnt 2 /Ir 4
a =- t cos nt t =- . + - sen nt] =-2 cos nJr
n Jr -Ir Jr n n
2
n
3
-,T n
r
r
{
4 .
-2 SI n es par
n
a
ll
=
4. .
-; SI n es I mpar
de donde
(-1)" 4
; =--2-
n
[

1
724 Eduardo Espinoza Ramos
T
2~
b" =- f(t) sen nmot dt, donde
T _ ! ..
2
2"
l
O
=-=1
T
l [ 2 1 (2 2t 2cosnt /Ir
b,,=- t senntdt=-(--cosnt+-
2
sennt+ 3 )
" -Ir "n n n-Ir
,,2 OO (-1)"
de donde se tiene b; =O, por lo tanto f(t) =- +4 -2- cos nt
3 n
,,=1
14.6. APROXIMACIN
FOURIER.-
MEDIANTE UNA SERIE FINITA DE
.
k
Consideremos s, (t) =a; +a" cos nmot +b; sen nmot)
,,=1
(1)
La suma de los (2k + 1) trminos de una serie de Fourier que representa f(t) en el
T T
intervalo - - <t <-. Si f(t) se aproxima por Sk (t) , es decir:
2 2
k
ao ~
f(t) =2+~ (a" cos nmot +b" sen nmo
t
) +Ck (t)
,,=1
(2)
00
donde cdt) = (a" cos nmot +b; sen nmot)
n=k+1
.(3)
entonces:
... (4)
Ck (t) es la diferencia o error entre f(t) y su aproximacin, entonces el error cuadrtico
medio es denotado por Ek Y est definido como:
..(5)
Series de Fourier 725
114.7. TEOREMA 1.-1 Si se aproxima la funcin f(t) por una serie finita de Fourier
Sk (t). Entonces esta aproximacin tiene la propiedad de ser l
mnimo error cuadrtico medio.
Demostracin
Como Ek =~ ~ [J(t) - Sk (t)]2 dt y Sk (t) =~ +~ (a
n
cos naV +b; sen nmot)
T ! ! 2 ~
"2 n=1
T k
Entonces e, =~ ~ [J(t)-~ - L(a
n
cosnmot+bn sennmot)fdt
T!~ 2
2 n=1
r
r
Consideremos E como una funcin de ao, a
n
y b
n
, entonces para que el error
cuadrtico medio E k sea un mnimo, se debe cumplir que:
r
oEk =O oEk _ O oEk - O ti
oao ' can - , o b" - , n =1, 2, ..., k. En e ecto:
r
1 t~ ao t~1 k t~ 1 L
k
t~
=-- f(t)dt+- dt+- a, cosnmot dt+- b; sennmot dt
T T 2T!.. T'!.. T t.
2 2 ,,=1 2 n=1 2
T
pero como 1cos nmot dt =o, para n:t o;
2
T
tsennmot dt =o, \::111 =1,2,3, ... Y
2
T
2t
ao =- f(t)dt
T !..
2
T
~ ~ (2 f(t)dt =ao
T!!.. 2
2
ee, ao ao
entonces setiene: -- =-- +- +O+O=O
oao 2 2
de donde 8E
k
=O
oao
726 Eduardo Espinoza Ramos
T k k
8E
k
2 ~ ao" L
-=-- T[f(t)--- ~ ancosnmot- b"sennmot]cosnmot dt
8a
n
T _ 2
2 n=1 n=1
T T k T
=-~ C2 f(t)cosnmot dt+ ao C2 cosnmot dt+~ " a" C2 cos
2
nmot dt
TE T Lz T~ E
2 2 n=1 2
k T
+: Lb" tsennmotcosnmotdt
n=1 2
k
a
o
2 T 2
L
=-a +-(O)+-a .-+- b (O) =-a +a =O
"T T
n
2 T n ""
,,=1
8E
k
.. - =O, n=1, 2, ..., k
8a"
8E
k
anlogamente se prueba que - =O, n =1,2,3, ..., k
8a"
114.8. TEOREMA 2 .- 1 El error cuadrtico Ek en una aproximacin a f(t) por Sk (t)
T
e, =~ C2 [f(t) - s, (t)]2 dt se reduce
T Lz
2
definida por
T 2 k
1 ~ 2 ao l
L
2 2
Ek =- [f(t)] dt ---- (a
n
+b
n
)
T E. 4 2
2 ,,=1
Demostracin
T
Desarrollando Ek =~ C2 [f(t) - S, (t)f dt setiene:
T l E .
2
T T T
e, =~ C2 [f(t)fdt-~ C2 f(t).Sk(t)dt+~ C2 [Sk (t)]2 dt ... (a)
T l E . T l E . T l E .
2 2 2
calculando las dos ultimas integrales se tiene:
2 ~~ 2 ~~ ao L
k
- f(t).Sk(t)dt =- f(t)[-+ (a" cosnmot+b" sennmot)]dt
T E. T E. 2
2 2 n=1
Series de Fourier 727
=~ ~ f(t)dt+ ~ an(~ ~ f(t)cosnJotdt)+ ~ bl l an(-.?~ ~ f(t)sennJotdt)
T Lz ~ T!! ~ T I r
2" n;l, 2" , n;1 '-' 2"_ -v- ~
b
ll
... (13)
k
+(L (a
n
cosnJot +b; sen nJot2]dt
n; 1
T ? T k
l t - 2 a

I t L 2 - [Sdt)] dt =-+- [ (a
n
cosnJot+b
n
sennJot)] dt
T T 4 T T
2" 2" ,,; 1
k
[(a" cosnJot +b; sen nJot)]2 =[al cOSJ ot +a
2
cos2J ot +...+ak coskJot
1/=1
728 Eduardo Espinoza Ramos
k k k
= ~ a~ cos
2
nwot+ ~ b,; sen
2
nJot+ 2 ~ ; cosnot.cosmJot+
n ==1 n=-l n,m=l. ne m
k k
+2 b"b
m
sen nJotsen mJot+2anb
m
cos nJot.sen mJol .. (*)
lI.m=l. n*-m n,m=l
ahora multiplicando por 1 e integrando en (*) se tiene:
T
k T k T
+~ ana
m
t.~ osnJot.c~ smJot d~ +: ~ b"bm t.sennJol .senmJot dt
n,m=1 2 o n,m=l , 2 '
o
2~ ~ l~ 2 2
+y: L,anb
m
!2:cosnWol .senmJot dt=2'L,(a" +b,,)
n,m=1 ,2 ' ,,=1
o
... (y)
Luego al reemplazar (P), (y) en (a) se tiene:
T 2 k
1t 2 ao l 2 2
E
k
=- [f(t)]dt---- (an+b
n
)
T T 4 2
'2 n=1
OBSERV ACIONES.-
entonces E >O, k =1,2,...
r

Series de Fourier 729

entonces
T 2 k
11 2 ao I 2 2
- [/(t)] dt---- (a +b )~O
TT 42 n n '
2 n=1
de donde
114.9. TEOREMA 3.- (TEOREMA DE PARSEV AL).-I
Si ao, a
n
y b
n
, para n =1,2,..., son los coeficientes de Fourier en la expresin de
Fourier de una funcin peridica f(t) con periodo T, entonces
Demostracin
T 2 k
1~_ 2 ao l 2 2 _
Como Ek =- [/(t)]dt---- (an+b
n
), V'k-I ,2, ...
T t 4 2
2 n=1
Entonces {Ek } k~1 , es una sucesin de trminos positivos
Ahora analizaremos si la sucesin es decreciente es decir:
T ? k
1 ~ 2 ao 1 2 2 l? 2
Ek+1 =- [f(t)] dt---- (a
n
+bn)--(a
k
+
1
+b
k
+
l
)
T t. 4 2 2
, 2 n=1 ,
Ek
1 2 2
Entonces Ek+1 =Ek --(ak+1 +b
k
+
I
), dedonde
2
1 2 2
Ek+1 - Ek =--(ak+1 +b
k
+
l
) <O => Ek+1 <Ek
2
.'
730 Eduardo Espinoza Ramos
por lo tanto la sucesin {Ek} k<! l es decreciente pero (0:5 Ek+l :5E :5E
2
:5El) es decir
que la sucesin {Edk<!l es acotada, por lo tanto la sucesin {Edk<!l es convergente y
lim Ek =0
k~'X!
pero
T 2 k
lim Ek =lim(~ {2 [f(t)fdt-~ -~ ~ (a~ +b,; =O
k~oo k~ ex; T !.!: 4 2L.J
2 1/=1
Ejemplo.- Aproximar la funcin f(t) =t en el intervalo <-1t,1t> mediante una serie
infinita de Fourier de 5 trminos que sean diferentes de cero, calcular
tambin el error cuadrtico medio en la aproximacin.
f (t )
Solucin
f(t) =t, t E<-rt,n>
t
21
T =21t, %=- =l
T
La serie de Fourier de la funcin f(t) =t es:
ex;
f(t) =a; +L(a
n
cosn%t+b
n
sen%t), donde:
n=l
2 ~~ l [
ao =- T f(t)dt =- dt =O por ser f(t) =t
T _ 1 I r
2
impar
2 ~~ 1 [
a
n
=- rf(t)cosn%t dt=- tcosnt dt=O
T _ 1 I r
2
puesto que la funcin t cos nt es
. 1 1
I mpar en <-- - >
2' 2
2~~ I [ 2 f b =- f(t)senn%t dt=- tsennt dt=- tsennt dt
nT.!: 1
1r
st
2
Series de Fourier 731
o
~
2 1 t /If 2 1 tr
=-[-sen nt --cos nt] =-[-sen ntr --cosntr]
tr n
2
n o tr n
2
n
2
=--cosntr,
n
de donde b; =_~ (_l )n =~(_ l)n-I
n n
~2 ~(_ 1)11-1
f(t) =~ -; ; (_ l)n-I sennt =2~ --n-sel 1nt, sabemos que
n=1 n=1
00
s, (t) =a; +L(a
n
cosnJot +b; sennJot)
n=1
s
1 [2 1L4 tr
2
tr
2
Es =- t dt-- 2=--2[l+0.25+0.111+ ...+0.04] =--2.9272=0.363
2tr If 2 n 3 3
n=1
Es =0.363
Ejemplo.- Hallar la sene de Fourier de la funcin f(t) =t
3
-tr
2
t, - 1t ~t ~n;
f(t) =f(t + 21t), aplicar el teorema de Parseval al resultado para calcular la
suma de la serie ! nl6
n=1
f (t )
3n
2
8
Solucin
f(1t) =f(-n) =O
n
t
2
f(t)=t
3
-trt es una funcin impar
entonces ao =a n =O
73 2 Eduardo Espinoza Ramos
Luego la serie de Fourier es: f(t) =~ b; sennt, donde b; =~ ~ f(t)sennt dt
L..., T 12:
n=1 2
b; =~ [f(t) sennt dt, puesto que f(t) sen nt, es funcin par
I r ,
2[32 2[3 2[
b; =r (t -r t)sen nt dt =r( t sen nt dt -r t sen nt dt)
(1)
[
3 t
3
cos nt 3 2 6t 6 / I r
t sennt dt=[ +-2 t sennt+
3
cosnt-
4
sennt]
n n n n o
1 3( 1) 6r()" r3 n 6r n
= --r - +- -1 =--(-1) +-(-1)
n n
3
n n
3
..(2)
[
tcosnt 1 /I r r n
tsennt dt =(---+-sent) =--(-1)
n n
2
o n
..(3)
reemplazando (2) Y (3) en (1) se tiene:
2 r3 n 6r " 2 r) n
b; =-[--(-1) +-(-1) -r (-- (-1)]
r n n
3
n
f(t) =12~ (_ 1)" sennt
.. L ..., n
3
n=1
00
para calcular la suma de la serie Ln
16
' aplicaremos el teorema de Parseval
,,=1
Series de Fourier 733
I 2 7 4 7 2 7 00 1 o o 1 1 16 6 ,,6
-[~-~+~]=144"'" - po r lo tanto -=-[-]" =-
,,7 5 3 L . . , . n
6
n
6
144 105 945
n=1 n=1
114.10. CONVERGENCIA DE LA SERIE DE FOURIER.-I
Seafuna funcin peridica co nperio do T y sea
o c
J(t) =a; +Can cosn %t+b
n
sen n %t)
n=1
(1)
2"
do nde % =- y a
n
y b; so nlo s co eficientes deFo urier def(t)
T
k
Pro blema 1.- S s, (t) =a; + (a
n
co sn %t +b; senn %t)
n=1
... (2)
2"
La suma de lo s (2k + 1) trmino s de la serie de Fo urier de f(t) do nde Jo =- y
T
ento nces:
1
2 f~sen (k +- )(z -t)
S k (t) =- J(t) 2 dz
T T z-t
? 2senI"tl.. (--)
- - u 2
Demo stracin
k k
Co mo Sdt) =a; +a
n
cosn %t+ b
n
senn%t
11=1 n=1
12f~ k 2f~
=-[- J(t)dt]+ (- J(t)cosn %zdz)cosn %t
2 t r T t.
2 n=1 2
k T
+(~. G:J(t)sen n JOz dz)sen n %!
n=1 2
734 Eduardo Espin oza Ramos
lf~ k 2f~
=- f(t)dt+ - f(z)(cosn %z. cosn Jol+sen n aJ z. sen n %t)dz
T T T T
" 2 n=I"2
lf~ k 2fT
=- f(z)dz+ - f(z)cosn %(z-t)dz
T !. . T !. .
2 11=1 2
2f~ 1 k
=- f(z)dz[-+ cosn %(z-t)]dz
T T 2
"2 11=1
. . (a)
1 1 aJos
sabemo sque: sen%(n +-)s - sen%(n - -)s =2sen- co sn %s , ento nces
2 2 2
k k
~[sen%(n +~)s-sen %(n -~)s] =2sen%S ~ cosn %s
~ 2 2 2 ~
11=1 11=1
3%s %S 5 3 1 1
[sen-- - sen-] +[sen- %S - sen- %s] +...+[senaJo(k +- )s - sen%(k - -)s] =
2 2 2 2 2 2
k
%s 1 %s
=2sen- cosn %s =sen%(k +-)s -sen-
222
11=1
k
Luego sen %(k+~)s-sen %s =2sen%S ~ cosn %s, (s==z- t)
2 2 2 ~
11=1
k
1 %s 1
sen %(k+-)s =2sen-[-+ cosn %s]
2 2 2
11=1
1
senaJo(k +-)(z -t) 1 ~
___ ---'2=-- __ =_+~ co sn % (z - t)
2sen -%-(z-t) 2 11=1
2
(J3)
reemplazando (P) en(a) setiene:
1
2 T 1 k 2 T senaJo(k +- )(z - t)
S k (t) =- f2 f(z)[-+ ~ co snaJo (z-t)]dz =- f2 f(z) 2 dz . . . (*)
TI!. . 2~ TI!. . %
2 n=1 2 2sen
2
(z-t)
Series de Fourier 735
Pro blema 2.- Demo strar que la expresin (*) se puede escribir co mo
l
2 t
T
sen(k +- )%A
Sk(t)=- 2 f(t+A) 2 A dA
T T %
2 " 2sen--
2
Demo stracin
En laexpresin asterisco (*) hacemo s z- t =A de do nde dz =dA
adems
T l
2 t-t sen(k +-)%A
Sk =- - f(t+A) 2 A dA pero f(t+A+T)=f(t+A)
T t. , 2 %
2 sen--
2
l
sen(k+-)%A 1 k
------'~=--A:-- =2 +I.co sn %A ento nces
2sen-- n =l
2
l 1
sen (k+-)%(A+T) 1 ~ l ~ sen (k+-)%A
~(A +T) =2+ . L . J COSn%A +T) =2 +. L . J COSn %A = ~A
2sen n =l n =l 2sen(--)
2 2
ento nces
r
r
r
po r lo tanto lafuncin integrando es peridica co n perio do T en lavariable "A"
T T
adems sabemo s que: S f(t +T) =f(t), V t ento nces f_lf(t)dt =1f(t)dt
2 2
r
F
r
r
1
2 t
T
sen(k +-)%A
:. Sk(t) =- 2 f(X+t) 2 A dA
T T lo
O
2 " 2sen--
2
r
r
r
r Pro blema 3.- Sea f(t) una funcin peridica, co n perio do T, integrable abso lutamente
en un perio do . Ento nces en to do punto de co ntinuidad do nde existe la
derivada, la serie de Fo urier de f(t) co nverge al valo r f(t), es decir
lims, (t) =f(t)
k~o o
Demo stracin
:
r
736 Eduardo Espin oza Ramos
1
2 ~: sen (k+-)%A.
Sea Sk(t)=- - f(t+A. ) 2 dA.
T t %A.
2 2sen -
2
(1)
1
sen(k +- )%A. 1 k
Sea t un punto de co ntinuidad de f(t), co mo ~A. ="2 +L co sn %A. , ento nces
2sen- n=1
2
1
T sen (k+-)%A. T k T
~ 2 A. dA. =.!. ~ dA. +~ ~ co sn%A. dA. =T ,de do nde setiene:
!~ % 2 Jr L . J Lz 2
2 2sen- 2 ,,=1 2
2 ' ,
o
1 1
2 ~T sen (k +- )%A. 2 ~T sen (k +- )%A.
- 2 2 A. dA. =1 Y f(t) =- 2 f(t) 2 A. dA. , luego tenemo s:
T t. % T t. %
2 2sen- 2 2sen -
2 2
1 1
~
T sen (k+-)%A. ~T sen (k+-)%A.
Sk(t)-f(t)=l: 2 f(t+A. ) 2 dA. -l: 2 2 A. dA.
T t 2sen %A. T t. 2 %
2
, sen-
- 2
1
2 ~T sen (k +- )%A.
=- 2 [f(t +A. )- f(t)] 2 dA. , co nsideremo s
T t. 2sen%A.
2
T
f(A. +t)-f(t) 2~ 1
g(A. ) = , ento nces: Sk(t)- f(t) =- g(A. )sen (k+-)%A. dA.
2sen%A. T r 2
2
T
lim[Sk(t)- f(t)] =liml: ~g(A. )sen (k+. !. )%A. . u =O
k-+oo k-+oo T Lz 2
2
:. limSk(t)=f(t)
k-+oo
OBSERV ACIONES.-
o Si a" y b; so n sucesio nes de lo s co eficientes de Fo urier de f(t) :::}
lim =a
n
=limb; =O. En efecto :
n~o o n--+oo
, k T , k T
GOL ' 2
2
1' GO
L
2 2 21
2
Sabemo s que -+ (a~+bll)::;- f-(t)dt y -+ (all+b
ll
)-- f(t)dt
2 T T 2 T T
~ 2 ~ 2
es co nvergente (Ek) co n limite cero ento nces:

Series de Fourier 737

lim(a; +b, ~) =O~ lima
n
=limb; =O
n-+oo n-i>oo n . . . . oo
o Si f(t) es una funcin co ntinua po r tramo s y la integral del valo r de f(t) es finita
T
( (2 If(t) Idt <(0) ento nces _ T <t <T
!~ 2 2
2
T T
lim (2 f(t)cosn fJotdt= lim (2 f(t)sen n fJotdt=O
n--+oo !~ n--+oo Lz
2 2
; : :
T
co mo (2_ T If(t) Idt <00 ~ 3 ; y b
n
tal que lim: =limb; =O
!~ 11-+00 n-+oo
2
T T
ento nces lim (2 f(t)cosn fJot dt =lim (2 f(t)sen n fJot dt
n--+ao!~ n--+oo!~
2 2
r
114.11. LEMA (EL LEMA DE RIEMANN LABESGUE).-I
Si ges una funcin co ntinua po r tramo s en [a,b], ento nces
r
lim [g(X) sen(A x)dx =lim [g(X)COS(AX)dx =O
A- - +OO A- - +oo
Demostracin
r
Demo straremo s que: lim [g(X)Sen (AX)dX =O
-<--+00
r
Hacemo s I(A) =[g(x)sen (AX)dX, a~x ~b
(1)
r
ysea x =t +t r a~x ~b ~
A'
r
r
f
-~ f-~ 2 t r t r -< t r
I(A) = g(t +-)~en A(t +-)dt =- g(t +-)sen At dt
.: A I ,,_ ~ A
2 A
[
f
738 Eduardo Espin oza Ramos
Ir
es decir: I(A)=- r-; g(x+ Jr)senAx dx
_ Ir A
A
.. (2)
sumando (1) y (2) tenemo s:
a-~
A
a b b-~
A
2I(A)=- f--!g(x- :)SenAx dx+ f g(x)sen Ax dx
A
[
Jr f- Jr
=- g(x+-)sen Ax dx= g(x+-)sen Ax dx+
~ A A
A
Ir
+r- g(x)sen Ax dx+ r_~g(X)SenAX d:x
A
=-[_ ~g(x+ ~)SenAx dx+ f- [g(X)-g(x+ ~)SenAX dx+ r_~g(X)SenAX dx
A A
co nsideremo s que g (x) es co ntinua en [a,b], ento nces en este caso 3 M >Otal que
Ig(x)l: 5: M, V X E [a,b] ento nces
12I(A)I=2II(A)I:5: [_ ~lg(X+~)ldx+ f-~, g(X)-g(X+~)'dx+ r_ ~lg(X)ldx
A A
Ir
Jr Jr fA Jr
ento nces 12I(A) 1: 5: Mb-b+-)+M(a -a +-)+ I g(x)- g(x+-) 1dx
A A A
Jr f~ Jr
= 2M -+ I g(x)- g(x+-) 1 dx
A A
..(*)
.
<&

Series de Fourier 739

OBSERV ACION.- Dado E>O, :30>0/ Iy- x] <E ~ I g(y)-g(x) I <E ento nces A ~o o
1t 1t 1t
I(x+-)-xl=-<& ~ Ig(x+
1
)-g(x)I<&
A . x /L
1t 1 1t
Luego po r (*) y lao bservacin setiene: I I(A. ) 1$ M -+-&(b -a --) ~ O
A . 2 A .
. . . . . . . . .
o o
e
II(A. ) 1$ -(b-a) <e
2
limI(A. ) =O
A- +<Xl
Pro blema 4.- Sea f(t) una funcin co ntinua po r tramo s, peridica co n perio do T.
Ento nces ento do punto de disco ntinuidad de f(t) tiene una derivada de
derecha eizquierda; laserie de Fo urier de f(t) co nverge a . . !. . (f(t+) +g(r
2
Demo stracin
Pro baremo s que:
k
Do nde Sk(t) =a; +(a
n
cosn %t+b
n
senn'o l)
n=l
I
r
r
r
1
2 r
T
sen(k +- )%A.
Tambin sabemo s que: Sk(t) =- 2 f(t+A. ) 2 A. dA.
T t. %
2 2sen-
2
1 1
r
T sen(k+-)%A. 2 fT sen(k+-)%A.
Sk(t+) =~ 2 f(t+ +A. ) 2 dA. +- 2 f(/+ +A. ) 2 A. dA.
T t. 2sen %A. T 2sen %
2 2 2
Es decir:
Ento nces
(1)
740 Eduardo Espin oza Ramos
1
2 ~T sen (k+-)%A.
Setieneadems - 2 2 A. dA. =l
r !. . %
2 2sen--
2
Enestaintegral, lafuncin integrando esunafuncinpar.
1 1 l
2 ~T sen (k+-)%A. 4 r
T
sen (k+-)%A. 4 f- sen(k+-)%A.
1=- 2 2 dA. =- 2 2 dA. =- 2 dA.
r !. . %A. r %A. r !. . %A.
2 2sen- 2sen- 2 2sen-
2 2 2
T 1
3. . f2 sen(k +"2)%A. dA. =.!.
r.t 2 %A. 2
sen--
ento nces: 2, ento nces:
1
2 f- sen(k +- )%A. 1
_ 2 dA. =-
r u. %A. 2
2 2sen--
2
l
f-
sen(k +-)%A.
. !. f(t-) =3. . f(C) 2 dA. ,
2 T T %A.
"2 2sen--
2
co nsideremo s:
T 1 T 1
2 ~ sen (k+-)%A. 1 2 rf(t"- +A. )sen (k+-)%A.
_ 2 f(t++A. ) 2 dA. --f(t+)=- 2 2 dA. -
T T %A. 2 T %A.
"2 2sen- 2sen-
2 2
l
2 r
T
sen (k+-)%A.
__ 2 f(t+) 2 dA.
T 2sen %A.
2
r

Series de Fourier
741
2 fT sen (k +~)%, 1
=- 2[f(t++2)-f(t+)] 2 d2
T 2sen %2
2
aho ra sea g(
1) -_f(t
T
+2 ) - f(t
T
) (~)' bi d ti id o 1
/l. . : : . . . . . . . . : . . ---. . : . ----=. : -'--'- ento nces g 1\. esta ien e mi ay es co ntinua uego
2sen %2
2
T 1 T
2 r sen (k+-)%2 1 2 r 1
esintegrable- 2f(t++2) 2 --f(t+)=- 2
g
(2)sen (k+-)%2d2
T 2 %2 2 T 2
sen-
2
to mando limite cuando k ~ 00
T 1 T
2 t sen (k +-)%2 1 2 t 1
lim[- 2 f(t++2) 2 2 --f(t+)]= lim- 2 g(2)sen (k+-)%2d2=O
k. . . . . co T !. . . % 2 k. . . . . o o T L 2
2 2sen- 2
2

T 1
2 t sen(k +-)%2 1
dedo nde lim- - r+2 ) 2, 2 d 2 =- f(t+)
k ..... "fOT !. . . % 2
? 2sen-
- 2
anlo gamente
F
r OBSERV ACIN.- Sk : co nstante, ento nces: limS k (t+) =limS k (C) =limS k (t)
k . . . . . '" k . . . . . cc k. . . . . cc
r
r
14.12. DIFERENCIACIN E INTEGRACIN DE LA SERIE DE
FOURIER.-
r
TEOREMA.-
Sea f(t) una funcin co ntinua en [_!. ,!. ] y f(- T) =f(!. ) y f'(t) es
2 2 2 2
co ntinua po r tramo s y diferenciable. Ento nces laserie de Fo urier de:
r
00
f(t) =a; +~ (a
n
co sn av +bn sen n %t)
n ;1
r
742 Eduardo Espin oza Ramos
sepuede derivar trmino atrmino para o btener
C10
f'(t) =Ln J
o
(-a
n
senn a>ot+b; co sn Jot)
n ;1
Demostracin
f(t +T) =f(t), V t ento nces f' (t +T) =f' (t) y
a:
1'(1) =~o +L(a
n
co sn a>o/+fJn senn a>ot)
n ;1
T
do nde al! =~ f2 f'(t)cosn a>ot dt, integrando po r partes
T !E.
2
{
U =co sn a>ot '=> {dU =-n a>o senn a>ot dt
dv =f'(t)dt v =f(t)
2 ~ 2 lE. ~
a" =T !E. f'(t)cosn a>ol dt =Tf(t)cosn a>ol ~E. - !2::-n a>of(t)sen n a>ol dt
222
T
2 T T 2 ~?
= -[f(-)(-I)" - f(--)(-I)"]+n a>o(-) f(t)sen n a>ot dt
T 2 2 T E.
2
T
2~
= n a>o[- f(t)sen n (Vot dt] =n a>ob
n
=> a" =n Job
ll
T E .
2
T
fJn =~ f2 f '(l) sen (n a>ot )dt , integrando po r partes tenemo s:
T !E.
2
{
U =senn a>ot {dU =n J
o
co sn a>ot
Sean =>
dv =f'(t)dt v =f(t)
Series de Fourier 743
T
2 T n OJoT T T 2n OJo ~
=-[f(-)sen --- f(--)sen n cv
o
(--)]--- f(t)cosn cvot dt
T 2 2 2 2 T T
, '" 2
T
= -n OJo[~ {2 f(t)cosn OJot dt] =-n OJoa
ll
:::? fin =-n cvoan
T Ir
2
T T
Y a
O
=~ ~f'(t)dt =~[f(t)]/\ =0
T !! T --
" 2 2
00
Ento nces: f'(t) =,n OJo[b
n
cosn OJot -a
n
senn OJot]
n=1
r
Ejemplo .- f(t) =,,2 -t", -1t:5:t:5:rt; f(t +21t) =f(t), V t
de f(t) es decir:
f(t)
1t
2
'"
/
/
/
/
1t
t
f(t)
Hemo s calculado su serie de Fo urier

2,,3 , OO ( l)n+1
f(t)=-+4 --2-cosn t y
3 n
n=1
-1t
r
f'(t) =-2t, co ntinua po r tramo s y
r
su serie deFo urier ser:
r
r
~ (_ I)n
=4L..J-n-sen n t
n=1
t
F
f'(t) =4~ (_I)n+1 (-n)sen n t
L..J n 2
n=1
r
r
r
r
~

,
TEOREMA.-
Sea f(t) una funcin co ntinua po r tramo s en el intervalo <_T ,T >Y
2 2
00
f(t +T) =f(t), ento nces: f(t) =a; +L (a
n
cosn OJot+b
n
sen n OJot);
n=1
seintegra trmino atrmino para o btener:
744 Eduardo Espin oza Ramos
J .
2 a ~ 1
f(t)dt =~(t2 -t\)+ L . . . J-[-bn (cosn o~h -cosn m t)+an (sen n o~h -sen n bt\)]
, 2 n b
n =\
T T
do nde t"t
2
E<--,->, t, <t
2
2 2
Demostracin
Co mo f(t +t) =f(t), '<: / t Y F(t) = i f(t)dt _ a~t
Ento nces F(t+T)=F(t), v r, luego F'(t)=f(t)-~
2
00
Sea F(t) =a; +L (a
n
cosn bt +fin sen n mot) (la representacin de su serie de
n ='
T
Fo urier) do nde a
n
=~ i2 F(t) co sn OJa!dt , integrando po r partes.
T Ir
2
{
U =F(t)
Sea
dv =co sn mot dt
i
dU=F'(t)dt
=> v =senn W t, ento nces:
n b
T T T
2 t () d 2 sen (n mot) F( )/2 2 tF'(t)sen (n mot) d
a
n
=- F t co s n mot t = . t T - - t
T E. T nw -- T E. n mo
2 2 2
T
2 1 T n w T T n moT. 2 t'
=-. -[F(-)sen ---F(--)sen (---)]--- F (t)sen n W t dt
T n w , 2 2 . 2 2 , n moT f
o
T T
12t 12t ao
=--[- F'(t)sen n w t dt] =--[- (f(t)--)sen n W t dt
n mo T E. n mo T E. 2
2 2
T T
=__ 1_[~i2 f(t)sen n mot dt- ao i2 sen n mot dt]
n mo T Lz T Ir
2 ,2 ,
o (po r ser impar)
Series de Fourier
745
a = _ _ I_ [b -O]=-~
n "
n % n %
b
n
=> a" =--
"%
r
/3n =3. . f2 F(t) senn %l dt, integrando po r partes
TE
2
r
{
dll =F '(t)dt
11 =F(t)
Sea => cosn 1
{ dv =sen n %t dt v = %
n %
r T r
2 B 2 cosn Jol t: 2 B F'(t)cosn Jol dt
/3n =- 1'F(t)sen n %tdt=-(-F(t) ) 21'-- r
T _ T nJ -- T _ nJ
2 2 2
r
2 Jr (" Jr)n ] 1 2 B ' d
=---[F(-) -1) -F(--)(-1 +-[- F (t)cosn %t t]
Tn w
o
2 2 n % T t
2
r
2(-1)" T T 1 2 B ao
=--[F(--)-F(-)]+-[- (f(t)--)cosn %t dt]
Tn % 2 2 n % T!. . 2
2
T r
2(-lt T T 1 2 B ao B-
=--[F(--)-F(-)]+-[- f(t)cosn %t dt-- cosn %t dt]
Tn % 2 2 n % T !. . T t.
2 2
'--------v--'
o
r
2(-1)" T T 1 2 B
=--[F(--)-F(-)]+-[- f(t)cosn %t dt]
Tn J
o
2 2 n % T r
2
2(-1)" T T .
/3n =--[F(--)-F(-)]+-
Tn % 2 2 n Jo
a t
pero F(t) =.bf(t)dt -T =>
r
T r aoT
F(-) = f(t)dl--
2 4
r
T [2 aoT
F(--) = f(t)dt +-
2 4
746 Eduardo Espin oza Ramos
T T f~ aoT r~a T [ f: a T
F(--)-F(-) = f(t)dt+-- f(t)dt+- =- fet)dt- - f(t)dt+_
o
-
2 2 4 4 ~ 2
2
T
=_ (2 f(t)dt +aoT =_aoT +aoT =O
1~ 2 2 2
2
n =~
.. PII
n mo
00
Luego F(t) =a
o
+~_ I_ [-bn cosn mot+an sen n lot]
2 ~n mo
n ='
00
ao l
F(t
2
) =- + -[ -b
ll
co sn mot2 +al/ senn l
o
t
2
]
2 n mo
n ='
00
Fet
2
)-F(t, ) =L -I-[-b
ll
cosn lot
2
+al/ sen n l
o
t
2
]-
n =' n mo

2
a t I" a t
.b f(t)dt - ~ 2 - .b f(t)dt + ; , =
00
= ~_ I_ [bn ecosn l2!' -COSn lo(2)+al/(sen n lot
z
-sen n mot, )]
~n lo
1/='
Ejemplo .- Dada lafuncin f(t) =(2, 0< t<2n: y f(t +2n:) =f(t).
a) Hallar laserie de Fo urier delafuncin f(t).
b) Cul es el punto de co nvergencia de la serie de Fo urier de f(t) en cada punto de
disco ntinuidad?
Series de Fourier 747
e)
00 n
Hallar lasuma de laserie (~I;
n =1
d) Hallar laserie de Fo urier de !. . . (t
2
- 1f2) , apartir de laparte (a)
3
e)

o o l 1f2
Hallar lasuma de laserie (- +-)
n
3
n
2
n =1
So lucin
; : :
a) Graficando lafuncin f(t) =t 2, O<t <2n
f(t)
o 21t 41t 61t 81t
t
La serie deFo urier delafuncin f(t) =(2 es:
-
r
00
f(t) =a; +(a
n
cosn %t+b
n
sen n %t), do nde
n =1
T
2 t l [ 2 . l t
3
/ lf 21f
2
ao =- f(t)d( =- t dt =-- =-
T E. 1f lf 1f 3 -lf 3
2
T
; =~ (2 f(t) co sn %t dt ==L[t
2
co sn t dt, integrando po r partes
T Lz 1f lf
2
,..
{
2 jdU :::2t dt
ti == t
: : : : > sennr
dv =cosn t dt v:::-
n
-
r
r
,
748 Eduardo Espin oza Ramos
1[ 2 1t
2
sen n t I'. 1[2tsen n t 2 [
a, , =- tcosn tdt=-( ) -- dt=-- tsen n tdt
; r " ,; r n v -n; ; r" n n x "
o
=_~[_ tcosn t +sen n t]/" =4(-1)"
n x n n
2
-Ir n
2
T
b; =~ t2 f(t) senn OJotdt =~[ t
2
senn t dt , integrando po r partes
; r!~ ; r "
2
{
U =t
2
dv =sen n t dt
j
dU =2t dt
=> cosn t
v=---
n
1 t
2
cosn t I'. 2 [
b; =-( ) +- tcosn t dt
; r n -Ir n ;r "
00 2 00
a ; r 4(-1)"
f(t)=-. iL + a"cosn t=-+ --2-cosn t
2 3 n
1/=1 ,,=1
2 OO ( Ir
f(t)=!!--. +4 ~cosn t
3 n
,,=1
b)
f(2;r-) = lim f(t) =4; r2 y lim f(t) =f(2;r+) =o ento nces
1-+2, , - 1-+2, , +
e)
f( )
2 ; r2 4 '" (-Ircosn t ; r2 +4 00 (-Irco snO =o
Co mo t =t =- + 2 para t=0,
3 n 3 n
2
n=1 11=1
Series de Fourier 749
d)
2 00
2 lr <-Ircosnt . .
Como t =- +4 2' Integrando setiene:
3 n
11=1
rt2dt= r!C..dY+4~(-?" rcosntdt ~ .c..=lr2t+4~(-I)n sennt
.b .b 3 L., sn .b 3 3 ~ n
3
n=1 11=1
r
I
r
~
[
? 00
2 lr- 4L<-t)" cosnt
como t = - + para t= 1t
3 11
2
n=1
114.13. EJERCICIOS DESARROLLADOS.-I
Hallar la serie de Fourier de la funcin dada po, 1(')={- :: '
f(t) Solucin
-lr<t<O
O<t<lr
1 t---...,
2lr 2lr
liJo =T= 2lr =1, T = 21t
-n I
I
I
o
La serie de Fourier de f(t) es
t
co
n =a; +<ancosnmot+bnsennmot)
n=1
750 Eduardo Esplnoza Ramos
2 r~ 1 [ 1 f 7'( [ 7'(
ao =- Tj(t)dt =- j(t)dt =-[ --dt+ -dt]
T_ 7'(lr 7'( lr4 4
2
1 7'( /0 7'( /lr 7'( 7'( 7'(
=-[--t] +[-t] =-+-=-
7'(4 lr4 0442
T
. =~ ~j(t)cosnt dt =~ [j(t)cosnt dt =.!..[ (: f(t)cosnt dt+ ff(t)cosnt dt]
T !.?. 7'( lr 1r !lr
2
1 f 7'( [ 7'( 1 =r sent /lr
=-[ --cosnt dt+ -cosnt dt] =-[--- +-- ]=0
7'( lr 4 4 4 n -lr n o
T
b; =~ ~f(t)sennt dt =~ [j(t)sennt dt =~[ f f(t)sennt dt+ fj(t)sennt dt]
T!.?. 7'( n 1! lr'
2
1 f 7'( [ 7'(
=-[ --sennt dt+ -sennt dt]
7'( lr 4 4
si n es par
si n es impar
b _ 1
2n-l - 2n-l
00
f(t) =a; +(a
n
cos nt +b; sen nt)
n=l
00
.. /(/) =7'( +~ sen(2n -1)t
4 L ...J 2n-l
n=l
o Encontrar la serie de Fourier para la funcin f(t) =I Asen aJol I
Solucin
Series de Fourier
751
f(t)
Como f(t) es una funcin impar, entonces b; =O
co
Luego la serie de Fourier de la funcin f{t) es: f(t) = a; +La
n
cos naJol y T = 1t
n=1
2[ 2r =- -Asen av dt+- Asen%t dt
l ~ l
2
Ir
2 ACOS%t /0 2 Acos%t /2 2l
=-[ Ir]--[ ], %=-=2
l % -2 l W
o
o T
1 1 1 2A 4A
=-[(A -(-A)]--[-A -A] =-(2A)+- =-
l l l l l
4A
.. ao=-
l
T Ir
2~ 2B
a
n
=- f(t) cos n%t dt =- I Asen%t I cos n%t dt
T t l ~
2 2
Ir
=~[ f~-Asen%tcosn%t dt+ fAsen%tcosn%t dt]
2
2A f 1 r; 1
=-[ --(sen(l +n)%t +sen(l- n)%t)dt + - (sen(l +n)wot +sen(l- n)%t)dt
l _~ 2 2
2
Ir
A cos(l +n)w t cos(l- n)%1 / o cos(l +n)%t cos(l- n)wot /2
=-[( + ) -( + )
l (l+n)%t (l-n)% -~ (l+n)% (l-n)% o
752 Eduardo Espinoza Ramos
_ A[( 1 ) (cos(l+n)Jl" cos(l-n)Jl" (cos(l+n)Jl" cos(l-n)Jl"
-- + - + )- + )
Jl" (l+n)cq (l-n)cq (1+n)cq (l-n)cq (1+n)cq (l-n)cq
+I 1 + 1 )]
(n +1)cq (l-n)cq
=~[ (_2_+_2_)- 2cos(l+n)Jl" 2cos(1-n)Jl"]
cqJl"l+n l-n l+n l-n
=~[ -4--2(cos(l-n)Jl" +cos(l-n)Jl")]
2Jl" l-n
2
l+n l-n
{
A 4 1 1 .
-[ ---2(------] SI n es par
2Jl" 1-n
2
1+n 1-n
= ~[ -4--2(-1-+-1-)] si n es impar
2Jl" l-n
2
l+n l-n
{
~[ -4-+-4-] si n es par
a = 2Jl" l-n
2
l-n
2
n A 4 4
-[ -- ---] si n es impar
2Jl" l-n
2
1-n
2
SI n es par
si n es impar
Luego a
2n
= 4A( 1 )= 4A(_1_)
Jl" (1-(2n)2 Jl" 1-4n
2
00
ao 4A 1
f(t)=-+ -(--)cos2ncqt
2 Jl" 1-4n
2
n=1
00
2A 4A 1
f(t)=-+- ---2 cos2nJot
Jl" Jl" 1-4n
n=1
o Desarrollar f(t) =e'?" cos(rsent) en serie de Fourier(Sugerencia: usar la serie de
potenciaspara e' cuando z =re
jl
)
Solucin
eje +-je e
jt
_ e- jt
Como cosO= , senO=---
2 2j
eil +e-jt
r(--) ejrsenl +e-jrsent
f(t) =ercosl cos(rsent) =e 2
2
Series de Fourier 753
f()
1 [rejt -re - jt ] .
t =- e +e , entonces se tiene:
2
1 :oo (re!' ) +(re -}t r 1 oo r
n
f(t)=- =- _(e}11l +e-}Ilt)
2 n! 2 n!
n=1 11=1
,-
I
1 oo r
n
. . 1 00 r"
=1+- _(e
JI1l
+e-
J
/lt)=I+_ ~ -cosnt
2 n! 2L.J
n
!
n=1 11=1
I OO /1
f(t)=I+- ~cosnt
2 n!
/1=1
r

{
t +1 .
Encontrar la serie de Fourier para lafuncin f(t) = '
-t+ 1 ;
Solucin
-1~t~O
O~t~l
t:
I
r
r
\ /,
, / \
, / ,
\ / ,
\ / \
/
Graficando la funcin f(t)
se tiene: T =2
-4 -3 -2 -1 2 3 4
2tr
(Uo=-=tr
T
observamos que f E P C[ -l,l], es decir: f(t +2) =f(t), V tER Y f V
p
=>
0C0
ao ~
f(t) =2"+ L.Jancosntrt, b; =0
n=1
T
donde a
o
=f .c :f(t) =Lf(t)dt = I f(t)dt +i f(t)dt
2