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
#

>X

XX
#

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=A! > +# -9=#A! > +$ -9=$A! >
," =/8A! > ,# =/8#A! > ,$ =/8$A! >
"# +! ! +8 -9=8 A! > ,8 =/88 A! > con A!
_

8"

#1
X

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

donde los +8 ,8 se llaman coeficientes de Fourier

Observacin
Si 0 es una funcin peridica de perodo #1, se tendra que A! "
con lo cual, si 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 .>
1

! +8 8" =/88>
_

8"

1
1

,8 8" -9=8>1
1

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

Definicin
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
+8 1" '1 0 >-9=8>.> a8 !
,8

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

a8

Corolario
Sea

0 qp funcin peridica de perodo #1,

con 0 R.I. en 1 1 entonces

1.- si 0 es par su serie es :
"
# +!

! +8 -9=8> con
_

+8

8"

2'
1 !

0 >-9=8>.> a8 !

2.- si 0 es impar su serie es :

! ,8 =/88> con
_

,8

8"

2'
1 !

0 >=/88>.> a8

Ejemplo
Determinar la serie de Fourier de la funcin

"

!
0 B

"

1 B!

B ! 1

!B1

con 0 B #1 0 B

Solucin

Es claro que 0 es impar , luego la serie es

! ,8 =/88B con
_

,8

8"

es decir ! ,8 =/88B
_

8"

2'
1 !

=/88B.B

%
1 =/8B
%
1

!
_

8"

#""8
81

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

"
#8" =/8#8

"B

Ejemplo
Determinar la serie de Fourier de la funcin
"
0 B

"
Solucin

1 B!
con 0 B #1 0 B

!B1

Es claro que 0 es impar , luego la serie es

! ,8 =/88B con

2'
1 !

,8

8"

es decir ! ,8 =/88B
_

8"

=/88B.B

%
1 =/8B
%
1

!
_

8"

10

#""8
81

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

"
#8" =/8#8

"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 , luego la serie es

"
# +!

! +8 -9=8> con
8"

es decir +!
+8

2'
1 !

2'
1 !

"

2'
1 !

"

+8

#>
1 .>

#>
1 -9=8>.>

2
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"

11

>-9=8>.>

Ejemplo
Determinar la serie de Fourier de la funcin
"

Solucin

1 >!

0 >
!

con 0 B #1 0 B

!>1

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

"
# +!

con

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

8"

+8
,8

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

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

"'
1 1 0 >.>
1

es decir +!

"'
1 1 .>
!

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

,8

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

"
81 "

luego 0 >

"'
1 1 0 >.>
!

1" '! 0 >.>

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

#
81

8"

12

8 :+<
8 37:+<

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

"'
1 1 =/88>.>

-9=81
"
#

a8

"

+8

a8 !

"

81 -9=8> 1
!

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

!>1
1

con 0 B #1 0 B

Solucin
Es claro que 0 es par , luego la serie es
"
# +!

! +8 -9=8> con
_

8"

es decir +!
+8

2'
1 !

2'
1 !

"

"
8#

"

+8
$>
1 .>

$>
1 -9=8>.>

2'
1 !

2
1

"

>

' '
1# !

$>
1 -9=8>.>

$>#
#1 !

"

>-9=8>.>

"8 "

con lo cual +#8"

#
#8"#

luego, la serie es 0 >

"
#

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

8"

13

#'
1 !

-9=8>.>

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 :
'

X
#
X
#

#
"
'
+
.>
!
#
X
#
X
_
#
X

0 >.>

! +8 '
8"

#
"

+
>
!
#
X

-9=8A! >.> ,8 '

X

X
#
X
#

=/88A! >.>

! +8
_

8"

.>

#
"

8A! =/88A! > X

X

#
"

,8 8A
-9=8A
>
!
!
X
X

"# +! X
con lo cual +!

#
X

por otro lado, como

'

X
#
X
#

0 >.>

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

_

8"

8"

se tiene que
0 > -9=5A! > "# +! -9=5A! >

! +8 -9=8A! > -9=5A! >

_

8"
_

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

8"

luego debe cumplirse que

14

'

X
#

#
"
'
+
!
#
X
X

X
#

0 >-9=5A! >.>

-9=5A! >.>

! +8 '
_

8"
_

! ,8 '
8"

es decir '

X
#

-9=8A! > -9=5A! >.>

X
#
X
#

X
#

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

X

=/88A! > -9=5A! >.>

X
#

X
#

X
#

con lo cual +5

#
X

'

X
#
X
#

-9=# 5A! >.> +5

0 >-9=5A! >.> a5

analogamente, si consideramos que

0 > =/85A! > "# +! =/85A! >

! +8 -9=8A! > =/85A! >

_

8"
_

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

8"

integrando se tiene ,5

#
X

'

X
#
X
#

0 >=/85A! >.> a5

con lo cual
+8

#
X

'

,8

#
X

'

X
#
X
#
X
#
X
#

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

15

X
#

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
Ejemplo
Determinar la serie de Fourier para la funcin
#
0 >

"
#

>!
!>

"
#

Solucin
#1
"

Se tiene que X " A!

#1

#
#
+8 #' " 0 >-9=8A! >.> #' " 0 >-9=#18>.> a8 !
"

"

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

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

% #1"8 =/8#18>

!
"
#

% #1"8 =/8#18>

+! #' " 0 >.> !

"
#

luego +8 ! a8 !

16

!
"
#

! si 8 !

#
X

,8

' # 0 >=/88A! >.> #' # 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"

17

"1>

Ejemplo
Determinar la serie de Fourier para la funcin

" %>

X
0 >

%>
" X

X
#

>!
con 0 > X 0 >
X
#

!>

Solucin
Se tiene que A!
+8

#
X

'

#
X

X
#

#1
X

0 >-9=8A! >.>

X
#

'

!
X
#

) '
X # X

%>
X -9=8A! >.>

#
X

"' ' #
X # ! >-9=8A! >.>
X

+!
,8

!
'

X
#

0 >.>
X

#
X

'

#
X

#
X

'

X
#

.>
X

X
#

0 >=/88A! >.>
X

'

!
X
#

%>
X =/88A! >.>

) '
%>
X # X X =/88A! >.>
!

-9=8A! >.>
-9=8A! >.>

#
X

'

#
X
#
X

'

%>
X .>

X
#

'

-9=81

X
#

#
X

'

X
#
!

%>
X .>

=/88A! >.>

X
#
X
# %>

=/88A! >.>

) ' #
X # ! >=/88A! >.>
X

por lo tanto

X
#
X
# %>

%
8# 1# "

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

)
8# 1 #

#
X

X
#

) ' #
X # ! >-9=8A! >.>

>-9=8A! >.>

'

'

#
X

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

_

8"

18

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

19

+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&>

20

&
) =/8>

Ejemplo
Determine la serie de Fourier de la funcin peridica
0 > =/8# >-9=$ >
Solucin
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> /3>

# #
#3

/&3> /&3>
$#

-9=&>
"'

/$3> /$3>
$#

-9=$>
"'

") -9=>

%3>

3>

3>
3>
#/%3>
/ /

"'
#

3>

/
# / $#

"
"' -9=&>

-9=>
)

"
"' -9=$>

Ejemplo
Determine la serie de Fourier de la funcin peridica
0 > > con > 1 1 de perodo #1

21

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
5

0 > "# +! ! +8 -9=8A! > ,8 =/88A! > &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 >

8"

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

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

22

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 '
5

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"

! +8# ! ,8#
X

X
#

0 >.> ! +8 # '

! ,8 # '
5

+#!
#

! +8# ,8#
8"

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

5

8"

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

8"

23

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#
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# !

8"

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

8"

es decir

0 > W5 ># .> !

0 > .>

" #
# +!

24

! +8# ,8#
8"

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

0 > .>

+#!
%

"' #
X X

0 ># .>

+#!
%

#" ! +8# ,8#

_
"!
+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"

25

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
X

#
3.- ' X 0 >.>
#

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

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
de Fourier de 0 en >! converge a

0 >
! 0 >!
#

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

>>!

26

donde

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

lim ,8 !

8_

8_

Demostracin
"' #
X X
X

Se tiene que

0 ># .>

+#!
%

y como

+#!
%

#" ! +8# ,8#

8"

#" ! +8# ,8# es convergente

8"

se debe cumplir que lim +8# ,8# ! con lo cual

8_

lim +8

8_

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% "

"
$

"
&

"
(

luego, se tendr que

27

1
%

"

"
$

"
&

"
(

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

""
#

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

es decir ! !

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

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_

lim X" '

8_

lim '

8_

8_

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

X

X
#

8_

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

X

X
#

8_

28

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"

donde !8

#
X

#
X

'

"8

'
X
#

X
#

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

0 >=/88 A! >.> a8
X

integrando por partes, se tiene

!8

#
X

0 >-9=8 A! >

8 A! ,8
"8

#
X

X
#
X
#

0 >=/88 A! >

8 A! +8

29

X
#
X
#

8 A! '

X
#
X
#

8 A! '

X
#
X
#

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

#1
X

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! >"
>
!
>

"

8"

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

30