Está en la página 1de 46

SERIES DE FOURIER

Definicin
Llamaremos funcin peridica de perodo X a toda funcin 0 tal que :
0 > 0 > X

a> H970

con X la menor de las constantes en


Observacin
Si X es el perodo de 0 , se cumple que 0 > 8X 0 > a8
Ejemplos
1.- si 0 > =/8> se tiene que X #1
2.- si 0 > -9=#> se tiene que X 1
3.- si 0 > =/8#>-9=#> se tiene que X

1
#

Ejercicio
>
Determinar el perido de la funcin 0 > -9= #>
$ -9= %

Solucin
Se debe cumplir que : 0 > 0 > X
#>X
>
-9= #>
-9= >X
$ -9= % -9=
$
%

y como el coseno es peridica de perodo #1 , se debe cumplir que


#X
$

=#5 1

X
%

#5" 1 X =$5 1 X )5" 1

con lo cual X #%1

Observacin
si 0 > -9=A" > -9=A# >
se tiene que 0 es peridica si
A" X =#5 1 A# X #5" 1

A"
A#

5
5"

Ejemplo
>
si 0 > -9= #>
$ -9= % se tiene que

#
$
"
%

)
$

luego, es peridica y de lo anterior se sabe que X #%1


Ejemplo
si 0 > -9=$> -9=& 1> se tiene que

$
&1

luego, no es peridica
Ejemplo
si 0 > $=/8# >, se tiene que 0 > $ "-9=#>

#
es decir 0 >

$
#

$# -9=#> por lo tanto se debe cumplir que

-9=#> -9=#> #X
por lo tanto X 1

#X #5 1 X 5 1

Teorema
Si 0 es peridica de perodo X entonces '! 0 >.> '!X 0 >.>
"

"X

Demostracin
Sea > >" X .> .>"
si > ! >" X !

' 0 >.> ' 0 >" X .>"


!
!X
"

con lo cual

si > " >" X "


"X

'!X 0 >" .>" '!X 0 >.>


"X

"X

Teorema
Si 0 es peridica de perodo X entonces '

+ X
#
+ X
#

0 >.> '

Demostracin
Se tiene que '

+ X
#
+ X
#

0 >.> '

por Teo. anterior se tiene

+ #
X
#

'

'
'

0 >.> '
X

X
#

+ X
#

X
#
X
#

X
#

0 >.> '
X

+ #

X
#

+ X
#

+ X
#

X
#

0 >.> '

0 >.>

0 >.>

X
#
+ X
#

0 >.>
0 >.>

X
#
X
#

0 >.>

Teorema
Si 0 es peridica de perodo X entonces '

+ X
#
+ X
#

0 >.> '

X
#
X
#

0 >.>

Demostracin
Se tiene que '

+ X
#
+ X
#

0 >.> '

por Teo. anterior se tiene

0 >.> '
X

X
#

+ #
X
#

'

'
'

+ X
#

+ X
#
X
#
X
#
X
#

+ X
#
X
#

0 >.> '

0 >.>

+ X
#

X
#

0 >.> '

X
#
+ X
#

0 >.>
0 >.>

0 >.>

Teorema
Si 0 es peridica de perodo X entonces 'X

X >

0 >.> '! 0 >.>


>

Demostracin
Se tiene que '! 0 >.> '!X 0 >.> 'X
Teo anterrior con ! ! , " > )
>

>X

>X

0 >.>

Teorema
Si 0 es peridica de perodo X y 1> '! 0 0 . 0
>

'

se cumple que 1 es peridica de perodo X ==3

X
#

X
#

0 0 . 0 !

Demostracin
Se tiene que 1> '! 0 0 . 0 con lo cual
>

1> X '!

>X

'

'

0 0 . 0 ' 0 0 . 0 'X
X

>X

XX
#

! X
#
X
#

X
#

0 0 . 0 '! 0 0 . 0 '
>

0 0 . 0

0 0 . 0 '! 0 0 . 0
X

X
#

>

0 0 . 0 1>

con lo cual 1> X 1> ==3 '

X
#
X
#

0 0 . 0 !

Definicin
Sea 0 funcin de perodo X tal que se puede representar por la serie
trigonomtrica
0 > +! +" -9= #X1> +# -9= %X1> +$ -9= 'X1>
," =/8 #X1> ,# =/8 %X1> ,$ =/8 'X1>
+! ! +8 -9= #8X1> ,8 =/8 #8X1>
_

8"

Diremos en tal caso que 0 esta representada por la SERIE DE FOURIER


donde los +8 ,8 se llaman coeficientes de Fourier
es decir
0 > +! ! +8 -9= #18> ,8 =/8 #18>
_

8"

Observacin
Si 0 es una funcin peridica de perodo #1, se tendra que, si 0 puede ser
representada por una serie de Fourier, su serie de Fourier asociada es del
tipo
0 > +! ! +8 -9=8> ,8 =/88>
_

8"

Observacin
Dada 0 qp funcin peridica de perodo #1
y la serie de Fourier asociada converge uniformenente a 0
en 1 1 se tiene que sus coeficientes +8 ,8 estn unicamente
determinados por 0 .
Si 0 es continua debe cumplirse que :
' 0 >.> +! ' .> ! +8 ' -9=8>.> ,8 ' =/88>.>
1
1
1
1
1

8"

+! >1 .> ! +8 8" =/88>1 ,8 8" -9=8>1


_

8"

#1+! ! #1+!
con lo cual +!

" '
#1 1 0 >.>

por otro lado, como

0 > +! ! +8 -9=8> ! ,8 =/88>


_

8"

8"

se tiene que
0 > -9=5> +! -9=5> ! +8 -9=8> -9=5>
_

8"

! ,8 =/88> -9=5>
_

8"

luego debe cumplirse que


' 0 >-9=5>.> +! ' -9=5>.>
1
1
1

! +8 '1 -9=8> -9=5>.>


_

8"
_

! ,8 '1 =/88> -9=5>.>


8"

es decir '1 0 >-9=5>.> +5 '1 -9=# 5>.> +5 1


1

con lo cual +5

"'
1 1 0 >-9=5>.>
1

a5

analogamente, si consideramos que


0 > =/85> +! =/85> ! +8 -9=8> =/85>
_

8"

! ,8 =/88> =/85>
_

8"

integrando se tiene ,5

"'
1 1 0 >=/85>.>
1

a5

Observacin
Analogamente, si 0 es peridica de perodo X , que puede ser expresada
por la serie de Fourier
_
0 > +! ! +8 -9= #18> ,8 =/8 #18>
X

8"

se tiene que sus coeficientes de Fourier son :


+!

"
X

,5

#
X

'

'

X
#
X
#
X
#

X
#

0 >.> +5

#
X

'

X
#
X
#

0 >-9= #5X1> .> a5

0 >=/8 #5X1> .> a5

Definicin
Sea

0 qp funcin peridica de perodo X ,

con 0 R.I. en

X
#

X# , entonces la serie de Fourier de 0 es

+! ! +8 -9= #1X8> ,8 =/8 #1X8>


_

8"

en donde los coeficientes de Fourier estn determinados por la formula


de Euler
+!

"
X

,8

#
X

'

'

X
#
X
#
X
#

X
#

0 >.> +8

#
X

'

X
#
X
#

0 >-9= #8X1> .> a8

0 >=/8 #8X1> .> a8

Observacin (Caso particular )


Sea

0 qp funcin peridica de perodo #1,

con 0 R.I. en 1 1 , entonces la serie de Fourier de 0 es


+! ! +8 -9=8> ,8 =/88>
_

8"

en donde los coeficientes de Fourier estn determinados por la formula


de Euler
+!

" '
#1 1 0 >.>
1

,8

+8

"'
1 1 0 >-9=8>.>

"'
1 1 0 >=/88>.>
1

a8

a8

Definicin
Sea 0 qp funcin
Se dice que
1.-

0 es funcin par ssi aB 0 B 0 B

2.-

0 es funcin impar ssi aB 0 B 0 B

Ejemplo
1.- 0 B B es par

; 0 B =/8B es impar

Teorema
Sean 0 , 1 qp funcines
Se cumple que
1.-

Si 0 es par y 1 es par entonces 0 1 es par

2.-

Si 0 es par y 1 es impar entonces 0 1 es impar

3.-

Si 0 es impar y 1 es impar entonces 0 1 es par

Observacin
Sea

0 qp funcin peridica de perodo X ,


X
#

con 0 R.I. en

X# , donde su serie de Fourier es

+! ! +8 -9= #1X8> ,8 =/8 #1X8>


_

8"

Se cumple que
1.- Si 0 es par

entonces a5 ,5 !

1.- Si 0 es impar

entonces a5 ! +5 !

Corolario
Sea

0 qp funcin peridica de perodo X ,

con 0 R.I. en

X
#

X# entonces

1.- si 0 es par su serie es : +! ! +8 -9= #1X8>


_

+!

#
X

8"

' # 0 >.>
!
X

+8

%
X

' # 0 >-9= #1X8> .> a8


!
X

2.- si 0 es impar su serie es : ! ,8 =/8 #1X8> con


_

8"

,8

%
X

' # 0 >-9= #1X8> .> a8


!
X

10

con

Observacin
Dada 0 qp funcin peridica de perodo X
y la serie de Fourier asociada converge uniformenente a 0
en X# X# se tiene que sus coeficientes +8 ,8 estn unicamente
determinados por 0 .
Si 0 es continua debe cumplirse que :
'

0 >.> +! '
X

X
#

X
#

X
#

.>

! +8 '
_

X
#

8"

X
#

+! >

X
#
X
#

! +8
_

8"

-9= #1X8> .>

,8 '

X
#
X
#

=/8 #1X8> .>

.>
X
#18> #
#18 =/8 X X
X

#
,8 #X18 -9= #1X8> X

+! X
con lo cual +!

"
X

por otro lado, como

'

X
#
X
#

0 >.>

0 > +! ! +8 -9= #1X8> ! ,8 =/8 #1X8>


_

8"

8"

se tiene que
0 > -9= #1X5> #" +! -9= #1X5>

! +8 -9= #1X8> -9= #1X5>


_

8"
_

! ,8 =/8 #1X8> -9= #1X5>


8"

11

luego debe cumplirse que


'

X
#
X
#

0 >-9= #1X5> .>

"
'#
# +! X
X

-9= #1X5> .>

! +8 '
_

8"
_

! ,8 '
8"

es decir '

X
#
X
#

+5 '

0 >-9= #1X5> .>

con lo cual +5

#
X

'

X
#
X
#

X
#
X
#
X
#

X
#

X
#
X
#

-9= #1X8> -9= #1X5> .>


=/8 #1X8> -9= #1X5> .>

-9=# #1X5> .> +5

0 >-9= #1X5> .> a5

analogamente, si consideramos que


0 > =/8 #1X5> #" +! =/8 #1X5>

! +8 -9= #1X8> =/8 #1X5>


_

8"
_

! ,8 =/8 #1X8> =/8 #1X5>


8"

integrando se tiene ,5

#
X

'

X
#
X
#

0 >=/8 #1X5> .> a5

con lo cual
+!

"
X

'

+8

#
X

'

,8

#
X

'

X
#
X
#

0 > .>

X
#
X
#
X
#
X
#

0 >-9= #1X8> .> a8


0 >=/8 #1X8> .> a8

12

X
#

Ejemplo
Determinar la serie de Fourier de la funcin

" 1 B!

!
B ! 1 con 0 B #1 0 B
0 B

"
!B1

Solucin

Es claro que 0 es impar , luego la serie es


! ,8 =/88B con
_

8"

,8

2'
1 !

=/88B.B

#""8
81

es decir
! ,8 =/88B
_

8"

luego 0 B

%
1

!
_

8"

%
1 =/8B
%
1

!
_

8"

"
#8" =/8#8

"
#8" =/8#8

13

"$ =/8$B "& =/8&B

"B

"B

Ejemplo
Determinar la serie de Fourier de la funcin
" #> 1 > !
1
0 >
" #>

!>1
1
Solucin

con 0 B #1 0 B

Es claro que 0 es par de perodo #1, luego la serie es


+! ! +8 -9=8> con
_

8"

es decir +!
+8

2'
1 !

"

"'
1 !

"

+8

#>
1 .>

#>
1 -9=8>.>

"'
1 !

"
1 >
2'
1 !

"
>#
1 !

#>
1 -9=8>.>

-9=8>.>

% '
1# !

1%# '! >-9=8>.> 8#%1# -9=81 "


)
con lo cual +#8" #8"
8
# 1#
1

)
luego, la serie es ! #8"
# 1 # -9=#8 ">
_

8"

!
_

es decir 0 B

8"

)
#8"# 1# -9=#8

14

">

>-9=8>.>

Ejemplo
Determinar la serie de Fourier de la funcin
"

0 >
!

Solucin

1 >!
con 0 B #1 0 B

!>1

Es claro que 0 no es par , no es impar luego la serie es


+! ! +8 -9=8> ! ,8 =/88B
_

con

8"
1
" '
+! = #1
0 >.>
1

,8

+8

"'
1 1 0 >=/88>.>
1

" '
#1 1 0 >.>
1

es decir +!

" '
#1 1 .>
!

+8

"'
1 1 0 >-9=8>.>

,8

"'
1 1 0 >=/88>.>

"'
1 1 0 >-9=8>.>

8"

"
81 "

luego 0 >

a8
" '
#1 1 0 >.>
!

" '
#1 !

0 >.>

"
#

"'
1 1 -9=8>.>
!

#
81

8"

15

8 :+<
8 37:+<

"
1# ! #8"
=/8#8 ">
_

"'
1 1 =/88>.>

-9=81
"
#

a8

"

81 -9=8> 1
!

Ejemplo
Determinar la serie de Fourier de la funcin
" 1 B!
0 B
con 0 B #1 0 B

"
!B1
Solucin
se tiene que el grfico de 0 es

Es claro que 0 es impar , luego la serie es


! ,8 =/88B con

% '
#1 !

,8

8"

es decir ! ,8 =/88B
_

8"

=/88B.B

%
1 =/8B
%
1

!
_

8"

"$ =/8$B "& =/8&B

"
#8" =/8#8

%
luego 0 B ! #8"1
=/8#8 "B
_

8"

16

#""8
81

"B

Ejemplo
Determinar la serie de Fourier de la funcin
" $> 1 > !
1
0 >
" $>

!>1
1
Solucin

con 0 > #1 0 >

Es claro que 0 es par ya que 0 > 0 > , luego la serie es


+! ! +8 -9=8> con
_

+!

8"

"'
1 !

+8

2'
1 !

"

"
8#

$>
1 -9=8>.>

"
1

"
>

' '
1# !

$>
1 .>

$>#
#1 !

>-9=8>.>

"
#
#'
1 !

-9=8>.>

"8 "

con lo cual +#8"

#
#8"#

luego, la serie es 0 >

"
#

#
! #8"
# -9=#8 ">
_

8"

Observacin
No es necesario que el intervalo de integracin sea simetrico respecto al
origen , lo necesario es que la integral se considere en un perodo

17

Ejemplo
Determinar la serie de Fourier para la funcin
#
0 >

"
#

>!
"
#

!>

Solucin
Se tiene que X " ,con 0 impar , luego
#
X

,8

+8 ! a8 !

' # 0 >=/8#18>.> #' # 0 >=/8#18>.> a8


"
"
"

"

#
#' " 0 >=/8#18>.> #'! 0 >=/8#18>.>
"

#
%' " =/8#18>.> %'! =/8#18>.>
"

% #1"8 -9=#18>

!
"
#

% #1"8 -9=#18>!

"
#

% #1"8 " -9= 81 % #1"8 -9=18 "


% #1"8 # #-9=81

%
18 "

"8

!
)
18

%
18 "

-9=81

=3 8 :+<
=3 8 37:+<

por lo tanto
0 >

_
)! "
1
#8" =/8##8
8"

18

"1>

Ejemplo
Determinar la serie de Fourier para la funcin

" %>

X
0 >

%>
" X

X
#

>!
con 0 > X 0 >
X
#

!>

Solucin
Se tiene que su perodo es X y es par, luego
+!

"
X

'

+8

#
X

'

#
X

X
#

0 >.>
X

#
X
#

'

X
#

.>
X

0 >-9= #1X8> .>

X
#

'

"
X

!
X
#

) '
X # X
!

%>
#18>
X -9= X .>

>-9= #1X8> .>

,8

)
8# 1 #
#
X

'

X
#

X
#
X
# %>

"
X

'

X
#
!

%>
X .>

-9= #1X8> .>


-9= #1X8> .>

%
8# 1# "

-9=81

=3 8 :+<
=3 8 37:+<

X
#

0 >=/8 #1X8> .>


X

por lo tanto

'

'

X
#

%>
X .>

"' ' #
#18>
X # ! >-9= X .>

#
X

) ' #
#18>
X # ! >-9= X .>

#
X

'

"
X

#
X

'

X
#
X
#

=/8 #1X8> .> !

0 > " ! 8#)1# -9=#8 "A! >


_

8"

19

"

Observacin
Si 0 es peridica de perodo X tal que
0 > +! ! +8 -9=8A! > ,8 =/88A! >
_

8"

se tiene que :
+8 -9=8A! > ,8 =/88A! >
+8# ,8# ++#8,# -9=8A! >
8

,8
+#8 ,8# =/88A! >

donde ++#8,# , +,#8,# circunferencia de radio 1


8

por lo tanto existe )8 tal que


-9=)8

+8
+#8 ,8#

y =/8)8

,8
+#8 ,8#

con lo cual :

+8 -9=8A! > ,8 =/88A! >


+8# ,8# -9=)8 -9=8A! > =/8)8 =/88A! >
+8# ,8# -3=8A! > )8
es decir 0 > +! ! +8# ,8# -3=8A! > )8
_

8"

-! ! -8 -3=8A! > )8
_

8"

donde -! +9 y -8 +8# ,8# -9=)8


=/8)8

,8
+#8 ,8#

y )8 >1" +,88

20

+8
+#8 ,8#

Observacin
Por otro lado, se tiene que en los nmeros complejos:
-9=) 3=/8) /3)

luego -9=) 3=/8) /3)

de donde podemos decir que :


-9=)

/3) /3)
#

=/8)

/3) /3)
#3

de deonde en general, se tendra que


-9=8)

/38) /38)
#

=/88)

/38) /38)
#3

Ejemplo
Determine la serie de Fourier de la funcin peridica 0 > =/8& >
Solucin
Como 0 > =/8& > /

3>

/3> &

#3

"
&3>
$#3 /

&/$3> "!/3> "!/3> &/$3> /&3>

"
&3>
$#3 /

/&3> &/$3> &/$3> "!/3> "!/3>

/&3> /&3>
$#3

&/

=/8&>
"'

"
"' =/8&>

$3>

/$3>
$#3

"! /

3>

/3>
$#3

& =/8$>
"! =/8>
"'
"'

&
"' =/8&>

21

&
) =/8>

Ejemplo
Determine la serie de Fourier de la funcin peridica
0 > =/8# >-9=$ >
Solucin
3>
3>
3>
3>
Como 0 > =/8# >-9=$ > / /
# / /
$
#3
#
/

3>

#3>

/#3> # /3> /3>


#
%3

&3>

/$3> #/3> #/3> /$3> /&3>

$#

/3> # /3> /3> # /3> /3>


# #
#3

/&3> /&3>
$#

-9=&>
"'

/$3> /$3>
$#

-9=$>
"'

") -9=>

%3>

3>

#/%3>
/3> /3>

"'
#

3>

/
# / $#

"
"' -9=&>

-9=>
)

"
"' -9=$>

Teorema(Condiciones de Dirichlet)
Si una funcin peridica 0 de perodo X satisface las condiciones
1.- 0 tiene un nmero finito de discontinuidades en un perodo
2.- 0 tiene un nmero finito de mximos y mnimos en un perodo
#
3.- ' X 0 >.>
X

Entonces 0 puede ser representada por una serie de Fourier que es covergente a
la funcin 0

22

Ejemplo
Determine la serie de Fourier de la funcin peridica
0 > > con > 1 1 de perodo #1
Definicin
Diremos que una funcin 0 es continua por tramos en el intervalo X# X#
si satisface las siguientes condiciones
1.- 0 tiene un nmero finito de discontinuidades en un perodo
2.- 0 tiene un nmero finito de mximos y mnimos en un perodo
Observacin
Si > >! es un punto de discontinuidad de 0 , se cumple que la serie

0 >
! 0 >!
#

de Fourier de 0 en >! converge a

donde

0 >
! lim 0 > y 0 >! lim+ 0 >
>>!

>>!

Teorema
Si +8 ,8 son los coeficientes de Fourier de la serie que representa a 0
entonces
lim +8 lim ,8 !
8_

Demostracin

8_

"' #
X X
X

Se tiene que

0 ># .>

y como

+#!
%

#" ! +8# ,8#


_

8"

#" ! +8# ,8# es convergente, se debe cumplir que


_

8"

lim +8# ,8# !

8_

+#!
%

lim +8

es decir

8_

23

lim ,8 !

8_

Ejemplo

"
!
Si 0 >

"

=3 1 B !
=3
B! B1
=3
!B1

con 0 > #1 0 >

se tiene que su serie de Fourier es


0 > 1% =/8> $" =/8$> &" =/8&>
en donde
si >

1
#

0 1# "

con lo cual

" 1% =/8 1# $" =/8 $#1 &" =/8 &#1


1% "
1
%

"

"
$

"
$

"
&

"
&

"
(

"
(

luego, se tendr que

en > ! se tiene que 0 ! ! y como es un punto de discontinuidad


""
#

! 1% =/8! $" =/8! &" =/8!

es decir ! !

24

Ejemplo
Sea 0 qqqqp una funcin peridica de perodo $ y tal que
0 > > si >

i)
ii)

$
#

Determine la serie de Fourier de 0


Usando lo anterior, pruebe que
!
_

"
#8"#

8!

1#
)

Solucin
0 > +! ! +5 -9= #5X1> ,5 =/8 #5X1>
_

5"

y como X $ y 0 es par se tiene que ,5 ! a 5


luego 0 > +! ! +5 -9= #5$1>
_

5"

"' #
$ $ 0 >.>
$

donde +!

#' #
$ ! > .>
$

#' #
$ !
$

> .>

y +5

#
$

' # 0 >-9= #5$1> .>


$

#
$

' >-9= #5$1> .> $# ' # >-9= #5$1> .>

#
$

$#

#
' $ >-9= #5$1> .> $# '! >-9= #5$1> .>

#
$

#$ #5$>1 =/8 #5$1>

#$ #5$>1 =/8 #5$1>

*
#51>

#51# -9= $ $
!

*
#51>

#51# -9= $ !

25


!
$
#

' # >-9= #5$1> .>

$#

>#
$

$
#

$
%

#$ #5*1# #$ #5*1# -9=5 1


#$ #5*1# -9=5 1 #$ #5*1#

%$ #5*1# %$ #5*1# -9=5 1


#5"#1# #5"#1# -9=5 1

"#
#51#

" -9=5 1
!

si 5 es par
si 5 es impar

'
51#

por lo tanto
0 >
ii)

$
%

_
#1#8">
' !
"

1#
#8"# -9=
$
8"

como 0 es continua en
0 $#

$
%

0 $#

$
%

0 $#

$
%

luego

$
#

es decir !
_

8"

$
%

$
#

se tiene que

_
#1#8" $#
' !
"
-9=

#
#
1
#8"
$
8"
_
' !
"
1#
#8"# -9=1 #8
8"
_
' !
"
#
1
#8"#
8"

pero 0 $# $#

_
' !
"
1#
#8"#
8"

"
#8"#

"

1#
)

26

$
#

Ejemplo
Sea 0 qqqqp una funcin tal que

0 B " B si # B # y 0 B % 0 B aB

Determine el desarrollo en serie de Fourier de 0 ,

i).

Calcule !
_

ii)

7"

"
#7"#

Solucin
i)

Se tiene que 0 es una funcin de perodo % que satisface las condiciones de


Dirichlet en cada punto, luego en
0 B +! ! +5 -9= 51#B ,5 =/8 51#B como 0 es par, es claro que ,5 !
_

5"

0 B +! ! +5 -9= 51#B donde


_

luego

5"

+! 4" '2 0 B.B 2" '! " B.B !


2

+5

"'
5 1B
# # 0 B-9= # .B
#

# '
51 !

=/8 51#B .B

!
)
5 # 1#

'! " B-9= 51#B .B por partes

5 # 1#

-9= 51#B !
#

si 5 es par
si 5 es impar

0 B ! +5 -9= 51#B
_

5"

ii)

0 #

_
) !
"
1#
#8"# -9=#8
8"

!
_

8"

"
#8"#

1#
)

"5

, por lo tanto
_
#8"1B
) !
"

#
1
#8"# -9=
#
8"

"1 "
!
_

%
5# 1# "

8!

27

"
#8"#

1#
)

_
) !
"
1#
#8"#
8"

Ejemplo
Sea 0 qqqqp una funcin tal que
0 B =/8+B con + !

Determine el desarrollo en serie de Fourier de 0

i).

Calcule !
_

ii)

7"

"7 7
%7# "

Solucin
i)

1
+

Se tiene que el perodo de 0 es X

, con 0 par, luego

0 B +! ! +5 -9=#5+B donde
_

5"

+ ' #+
1 1
1

+!

+ ' #+
1 1
1

0 B.B

#+

#+

=/8+B.B

' #+1 0 B-9=#5+B.B


1

#+
1

+5

#+

#+ ' #+
1 !
1

=/8+B .B

#
1

'!#+ =/8+B-9=#5+B.B
1

%+
1

' #+ =/8#5 "+B =/8#5 "+B.B


1

#+
1

#+
1

-9=#5"+B

#5"+

0 B

#
1

-9=#5"+B
!#+
#5"+
1

! 1%5)5# " -9=#5+B


_

#
1

5"

ii)

Evaluando en B
1
0 #+

)
1

!
_

5"

#
1

" 5
%5# "

1
#+

)5
1%5# " ,

1) !
_

5"

por lo tanto

5
%5# " -9=#5+B

se tiene

1) !
_

5"

"

#
1

%5# "

-9= 5 1 "

!
_

7"

28

#
1

1) !
_

5"

" 7
%7# "

1
)

"
%

"5 5
%5# "

Ejemplo
Hallar la Serie de Fourier de la funcin :
0 B -9=!B con

1 B 1 de perodo X #1

Solucin
como 0 claramente es par y el perodo es #1 se tiene que
0 B +! ! +5 -9= #5#11B +! ! +5 -9=5B
_

5"

5"

#
#1

con +!

donde

' 0 B.B
1
1

#
!1

"
1

=/8!B!
1

+5

#
#1

' -9=!B.B
1
1

#
!1

#
1

' -9=!B.B
!
1

=/8!1

' 0 B-9=5B.B
1
1

' -9=!B-9=5B.B
!

"
1

' -9=!B-9=5B.B
1
1

#
1

"
1

#!=/8 !1
1

5B
=/8!!5

=/8!5B 1
!
!5

"8
!# 5#

con lo cual
0 B

#
!1

=/8!1

#!=/8 !1
1

!
_

8"

"8
!# 8# -9=8B

es decir
-9=!B

#
!1

=/8!1

#!=/8 !1
1

29

!
_

8"

"8
!# 8# -9=8B

Ejemplo
Sea -5 5 una sucesin tal que -! ! -5 _
_

5"

Sean 0 qqqqp una funcin tal que


0 B -! ! -5 =/8 $1#5B y X el perodo de 0
_

5"

i).

Calcule X

ii)

Si para todo B ! X# 0 B B Calcule -5 a5

Solucin

i)

para determinar el perodo se debe cumplir que


#1 5
X

ii)

$1 5
#

%
$

como 0 ! -! , se tiene que -! ! ya que 0 B !


luego 0 B ! -5 =/8 $1#5B
_

5"

#' #
$15B
X X 0 B=/8 # .B
X

con lo cual -5

$
$
$# ' # 0 B=/8 $1#5B .B $'! B=/8 $1#5B .B
#

$
#B-9= $1#5B

$1 5
!
#

$
#B-9= $1#5B

$1 5
!

$
''
#

30

-9= $1#5B
$15 .B

%"5
$1 5

5"

Ejemplo
Sea 0 ! 1qqqqp una funcin tal que

0 B -9=1B "

Determine el desarrollo en serie de Fourier de la extensin impar de 0


Solucin
como la extensin es impar y el perodo es # se tiene que
0 B ! ,5 =/8 #5#1B ! ,5 =/85 1B
donde

5"

5"

#
#

,5

' 0 B=/85 1B.B


"
"

# '! -9=1B "=/85 1B.B


"

# '! -9=1B=/85 1B =/85 1B.B


"

# '! -9=1B=/85 1B.B # '! =/85 1B.B


"

"

-9=511B
5 1 1

51
-9=
5 1 1

""5
5 1 1


luego

2
5 1 1

5"

-9=511B "
!
5 1 1

-9= 51
5 1 1

""5
5 1 1

2
5 1 1
%
51 ,

0 B ! #5121
_

"
5 1 1

1B

# -9=5
51
!
"

"
511

1
# -9=5
# 5"1
51

# ""
51

,
5 par
5 impar

2
#511 =/8#5 1 B

31

!
_

5"

%
#5"1 =/8#5

"1B

Ejemplo
Sea 0 1 1qqqqp una funcin tal que 0 B /B
i).

Demuestre que aB 1 1 , su serie de Fourier es:


0 B

ii)

" 1
1 /

"

_
# ! /1 "8 "
8# " -9=8B
1
8"

Evaluando la serie de Fourier de 0 en B 1# demuestre que


1
#=/82 1#

"
" #! %7
# " -9=8B
_

7"

Solucin
i)

Como 0 es continua y satisface la condicin de Dirichlet en cada punto


de 1 1, se tiene que
0 B +! ! +5 -9=5B ,5 =/85B
_

5"

como 0 es par, es claro que ,5 !


0 B +! ! +5 -9=5B donde
_

luego

" '
#1 1 0 B.B
1

+!

5"

1" '! /B .B

B
"'
1 1 / -9=5 B.B
1

+5

"'
1 !

#'
1 !

/B .B

/B -9=5 B.B por partes

1
5
# / " "
#
1
5 "

con lo cual, se tiene que


0 B 1" /1 " 1# ! /
_

8"

32

/1 "
1

"8 "
8# " -9=8B

ii)

En particular para B

0 1#

" 1
1 /

1
#

se tiene que:

"

_
# ! /1 "8 "
8# " -9=8 1#
1
8"

de donde se tiene que -9=8 1#

!
"m

si 5 es impar
si 5 #7

con lo cual
0 1# 1" /1 " 1# ! /
_

7"

"27 "
%7# "

"m

/1 "
m
1" /1 " 1# ! %7
# " "
_

7"

/1 "
1 "

es decir

10 1#
/1 "

1/ #

/1 "
1
/#

" #!

"m
%7# "

" #!

"m
%7# "

7"
_

7"

1 1
#
# / # /
#

1/ #
#=/82 1#

" #!
_

1/ #

"m
%7# "

"m
%7# "

7"

7"

1/ #
/1 "

" #!

#!

7"

" #!
_

7"

"m
%7# "

"m
%7# "

33

Ejemplo
Sea 0 qqqqp una funcin tal que
0 B =/8+B con + !

Determine el desarrollo en serie de Fourier de 0

i).

Calcule !
_

ii)

7"

"7 7
%7# "

Solucin
i)

1
+

Se tiene que el perodo de 0 es X

, con 0 par, luego

0 B +! ! +5 -9=#5+B donde
_

5"

+ ' #+
1 1
1

+!

+ ' #+
1 1
1

0 B.B

#+

#+

=/8+B.B

' #+1 0 B-9=#5+B.B


1

#+
1

+5

#+

#+ ' #+
1 !
1

=/8+B .B

#
1

'!#+ =/8+B-9=#5+B.B
1

%+
1

' #+ =/8#5 "+B =/8#5 "+B.B


1

#+
1

#+
1

-9=#5"+B

#5"+

0 B

#
1

-9=#5"+B
!#+
#5"+
1

! 1%5)5# " -9=#5+B


_

#
1

5"

ii)

Evaluando en B
1
0 #+

)
1

!
_

5"

#
1

" 5
%5# "

1
#+

)5
1%5# " ,

1) !
_

5"

por lo tanto

5
%5# " -9=#5+B

se tiene

1) !
_

5"

"

#
1

%5# "

-9= 5 1 "

!
_

7"

34

#
1

1) !
_

5"

" 7
%7# "

1
)

"
%

"5 5
%5# "

Observacin

Sean + ! y 0 ! +qp funcin


Como representar a 0 mediante el desarrrollo de una serie
trigonomtrica ?
Lo ms conveniente consiste en extender 0 por medio de una funcin
peridica de perodo #+ y representar a dicha funcin por medio de su serie
de Fourier ,serie que en particular representara a la 0 inicial
1.- Extensin par de 0
0: qp peridica de perodo #+ definida en + + por
0 B

+B!

0: B
0 B

!B+
por ser par su desarrollo en serie no contiene senos
2.- Extensin impar de 0
En el caso en que 0 ! ! 0 admite tambien una extensin impar
03 qp peridica de perodo #+ definida en + + por
0 B + B !
03 B

0 B

!B+
por ser impar su desarrollo en serie no contiene cosenos

35

Ejemplo
Sea 0 ! 1# qqqqp una funcin tal que 0 B =/8B
y 0: qqqqp la extensin par de 0
i).
ii)

Determine 0: B para todo B 1# 1#


Encuentre la serie de Fourier de 0:

Solucin
i).

0: B

B ! 1#
B 1# !

0 B
si
0 B , si

B ! 1#
=/8 B aB 1# 1#
B 1# !

=/8B
si

=/8B , si
ii)

Como 0: es peridica de perodo 1 y par, se tiene que su serie es de la forma


0: B +! ! +5 -9=#5B donde
_

5"

"'#
1 1 0 B.B
1

+!

"'#

1 1 =/8 B .B
1

#'#

1 1 =/8 B -9=#5 B.B


1

+5

#' #
1 ! =/8 B .B

% ' # =/8 #5"B=/8#5" B


.B
1 !
#
1

#'#
1 ! =/8 #5
1


0: B

%
1%5# "
#
1

"B =/8#5 " B.B

con lo cual, se tiene que

1% ! -9=#8B
%8# "
_

8"

36

#
1

%'#
1 ! =/8 B-9=#5 B.B
1

Ejemplo
Sea 0 ! "qqqqp una funcin tal que

! si
B!
0 B
" B si ! B "
Demuestre que

1B
La extensin impar de 0 , es 03 B 1# ! =/88
para todo B
8
_

i).

! "
_

ii)

8"

7"

#7"

7"

1
%

( indicacin : Evale 0 #"

Solucin
i)

Como 03 es peridica de perodo # e impar, se tiene que su serie es de la forma


03 B ! ,5 =/8 5 1B donde

,5 #'! " B=/85 1B.B

"

5"

#
51

con lo cual, se tiene que si 03 es la extensin impar de 0 entonces


para todo B
03 B 03 B
#

! 5#1 =/85 1B
_

8"

03 es continua ,salvo en enteros de la forma #7 con 7 . Sin embargo


03 #7 03 #7
#

03 ! 03 !
#

por lo tanto, como 03 B


ii)

Evaluando 03 en B
03 "#

#
1

"
#

8"

"

""
#

03 B 03 B
#

! 03 #7
#
1

! =/881B
_

8"

se tiene

! =/8 # 81
5
_

"
#

#
1

37

! "
_

8"

7"

#7"

! "
#7"
_

8"

7"

1
%

Ejemplo
Sea 0 ! 1qqqqp una funcin tal que

0 B -9=1B "

Determine el desarrollo en serie de Fourier de la extensin impar de 0


Solucin
como la extensin es impar y el perodo es # se tiene que
0 B ! ,5 =/8 #5#1B ! ,5 =/85 1B
donde

5"

5"

#
#

,5

' 0 B=/85 1B.B


"
"

# '! -9=1B "=/85 1B.B


"

# '! -9=1B=/85 1B =/85 1B.B


"

# '! -9=1B=/85 1B.B # '! =/85 1B.B


"

"

-9=511B
5 1 1

51
-9=
5 1 1

""5
5 1 1


luego

2
5 1 1

5"

-9=511B "
!
5 1 1

-9= 51
5 1 1

""5
5 1 1

2
5 1 1
%
51 ,

0 B ! #5121
_

"
5 1 1

1B

# -9=5
51
!
"

"
511

1
# -9=5
# 5"1
51

# ""
51

,
5 par
5 impar

2
#511 =/8#5 1 B

38

!
_

5"

%
#5"1 =/8#5

"1B

Ejemplo
Sea 0 ! 1qqqqp una funcin tal que
i).
ii)

0 > #>

Determine la extensin par de 0 y grafquela


Determine el desarrollo en serie de Fourier de medio rango para la
extensin par de 0

Solucin
i)

Sea 0: 1 1qqqqp la extensin par, luego


0: >

ii)

#>
#>

> ! 1
> ! 1

su grafico es:

como la extensin es par y el perodo debe ser #1 se tiene que


0: > +! ! +5 -9= #5#11> +! ! +5 -9= 5 >
donde +!

5"

5"

"
1

' #>.> 1
!
1

luego +5

!
)
5# 1

y +5

si 5 par
si 5 impar

0: > +! ! +5 -9= 5 > 1


_

5"

y como 0: ! ! se tiene que


!
_

es decir

5"

1
#5"#

#
1

' #>-9=5 >.> %


!
1

1#
)

39

con lo cual

_
)!
1
1
#5"#
5"

_
)!
1
1
#5"#
5"

""8
5# 1

-9=#5 " >

Ejemplo
Sea 0 ! "qqqqp una funcin tal que 0 B

B
#

i).

Determine la extensin par 0: " "qqqqp de 0

ii)

Encuentre la serie de Fourier de la extensin par de 0


"
Calcule ! #5"
#
_

iii)

5!

Solucin
i)

0: B

ii)

Como es de perodo X # y la extensin es par hay que determinar los +5

0 B si
!B"
0 B si " B !

B
donde +! "# '" 0: B.B "# '" # .B '!
"

"

"

B
#

B
#
B
#

.B

si
!B"
si " B !

"
%

B
+5 '" 0: B-9=5 1B.B '" # -9=5 1B.B
"

"

'! B-9=5 1B.B


"

!
de donde +5

luego 0: B

iii)

B
#

si 5 es par
si 5 es impar

#
51#
"
%

_
# ! -9=#5"1B
1#
#5"#
5"

Evaluando en B ! , se tiene
1
es decir ! #5"
#
_

5"

1#
)

"5 "
51#

0
#

"
%

!
_

es decir

5!

40

_
1
# !
1#
#5"#
5"
1
#5"#

1#
)

B
#

Teorema
Si 0 > es continua por tramos y la integral del valor absoluto de 0
es finita en X# X#
lim '

entonces

8_

X
#

X
#

0 >-9=8A! >.>

lim '

8_

X
#

X
#

0 >=/88A! >.> !

Demostracin
Como por las hipotersis los coeficientes de Fourier existen y del Teo. anterior
lim +8 lim ,8 !

8_

8_

lim X" '

8_

lim '

8_

0 >-9=8A! >.> lim X" '


X

X
#

8_

0 >-9=8A! >.> lim '


X

X
#

8_

X
#
X
#

X
#
X
#

0 >=/88A! >.> !

0 >=/88A! >.> !

Teorema

Si 0 > es continua en X# X# con 0 X# 0 X# donde 0 > es continua


por tramos y diferenciable
entonces la serie de Fourier de
0 > +! ! +8 -9=8 A! > ,8 =/88 A! > con A!
_

8"

#1
X

se puede derivar y se tiene que


0 > ! 8 A! +8 =/88 A! > ,8 -9=8 A! > con A!
_

8"

Demostracin

Como 0 > es continua por tramos y diferenciable , su serie de Fourier


converge a ella, es decir
0 > !! ! !8 -9=8 A! > "8 =/88 A! >

8"

41

#1
X

donde !8

#
X

#
X

'

"8

'
X
#

X
#

X
#

0 >-9=8 A! >.> a8 !
X

0 >=/88 A! >.> a8

integrando por partes, se tiene


#
X

!8

0 >-9=8 A! >

8 A! ,8
#
X

"8

X
#
X
#

0 >=/88 A! >

X
#
X
#

8 A! '

X
#
X
#

8 A! '

X
#
X
#

0 >=/88 A! >.>
0 >-9=8 A! >.>

8 A! +8
y como 0 X# 0 X# se tiene que !! ! , con lo cual
0 > ! 8 A! ,8 -9=8 A! > 8 A! +8 =/88 A! >

8"

! 8 A! +8 =/88 A! > ,8 -9=8 A! >


_

8"

Teorema
Si 0 > es continua por tramos en X# X# con 0 > X 0 >
entonces la serie de Fourier de
0 > +! ! +8 -9=8 A! > ,8 =/88 A! > con A!
_

8"

#1
X

se puede integrar y se tiene que


"
' # 0 >.> +! ># >" ! 8A
,8 -9=8 A! ># -9=8 A! >"
>
!
_

>

"

"
! 8A
+8 =/88 A! ># =/88 A! >"
!
_

8"

8"

42

APROXIMACIN MEDIANTE UNA SERIE FINITA DE FOURIER


Observacin
Sea W5 >

"
# +!

! +8 -9=8A! > ,8 =/88A! >


5

la suma parcial de los #8 " primeros terminos de la serie asociada a


0 > en el intervalo X# X#
Si se aproxima 0 por W5 , se tendra que
0 > "# +! ! +8 -9=8A! > ,8 =/88A! > &5 >
5

8"

donde &5 > 0 > W5 > es la diferencia o error entre 0 > y W5 >
con el cual se tiene que
"' #
X X
X

I5

0 > W5 ># .>

"' #
X X
X

"' #
X X
X

&5 ># .>

0 > #" +! ! +8 -9=8A! > ,8 =/88A! ># .>


5

8"

es llamado error cuadrtico medio


Observacin
Si 0 > se aproxima por W5 > tal que
0 >

"
# +!

! +8 -9=8A! > ,8 =/88A! > &5 >


5

8"

se cumple que I5 es el mnimo error cuadrtico medio, es decir cumple la


`I5
`I5
condicin :
`+n ! `, n para todo 8

43

Teorema
"' #
X X
X

I5

" #
% +!

0 > .>

5
"!
+8#
#
8"

,8#

Demostracin
"' #
X X

"' #
X X

Se tiene que I5

&5 ># .>

"' #
X X

0 > W5 ># .>

0 ># #0 >W5 > W5 ># .>

"' #
X X
X

#' #
X X
X

0 > .>

"' #
X X
X

0 >W5 >.>

W5 ># .>

en donde , para
#' #
X X
X

# +! ' #
X # X
X

0 >W5 >.>

0 >.> X# ! +8 '

X# ! ,8 '

X
#

8"

X
#

+! # ' #
# X X
X

8"

"' #
X X
X

+#!
#

W5 > .>

8"

X
#

"' #
X X

0 >-9=8A! >.>

0 >=/88A! >.>
5

8"

X
#
X
#

X
#
X
#

0 >-9=8A! >.>

0 >=/88A! >.>

! +8# ! ,8#
X

X
#

0 >.> ! +8 # '

! ,8 # '
#

8"

8"

+#!
#

! +8# ,8#
5

8"

#" +! ! +8 -9=8A! > ,8 =/88A! ># .>


5

8"

"% +!# "# ! +8# ,8# por ortogonalidad de las funciones


5

8"

44

con lo cual al sustituir se tiene


"' #
X X
X

I5

0 ># .> X# '

"' #
X X

0 ># .>

"' #
X X

0 ># .>

0 >W5 >.> X" '


X

X
#

X
#

X
#

W5 ># .>

+#!
#

! +8# ,8# %" +!# #" ! +8# ,8#

+#!
%

#" ! +8# ,8#

8"

8"

8"

Teorema
#' #
X X
X

0 ># .>

+#!
#

! +8# ,8#
5

8"

Demostracin
"' #
X X

"' #
X X

I5

&5 ># .>

luego

"' #
X X
X

I5 !

es decir

"' #
X X
X

con lo cual

#' #
X X

0 ># .> %" +!# #" ! +8# ,8# !


5

8"

0 ># .> %" +!# #" ! +8# ,8#


5

8"

es decir

0 > W5 ># .> !

0 > .>

" #
# +!

45

! +8# ,8#
5

8"

Teorema(Parseval)
Si +! +8 ,8 son los coeficientes de Fourier de la serie asociada a la funcin
0 > de perodo X entonces
_
"!
+8#
#
8"

"' #
X X

0 > .>

+#!
%

"' #
X X

0 ># .>

+#!
%

#" ! +8# ,8#

,8#

Demostracin
X

como I5

8"

"' #
X X

0 > .>

"' #
X X

0 ># .>

se tiene que I5"

5"
"!
# +8# ,8#
8"
5
#
+!
"!
+8# ,8#
% #
8"

+#!
%

#
#
#" +5"
,5"

#
#
I5 "# +5"
,5"

donde los I5 estn formados por terminos no negativos y no crecientes


por lo cual la sucesin I5

es convergente

y como lim &5 lim 0 > W5 > !


8_

8_

lim I5 !

se tiene que

8_
"' #
X X
X

con lo cual

0 > .>

"' #
X X
X

es ecir

0 ># .>

+#!
%

+#!
%

_
"!
+8#
#
8"

,8# !

#" ! +8# ,8#


_

8"

46