SERIE TRIGONOMTRICA DE FOURIER

ENFOQUE VECTORIAL

Sea V el espacio vectorial de las funciones f(x) definidas en
el intervalo p x p s s .
Se define un producto interno sobre este espacio vectorial
como
}

=
p
p
dx x g x f g f ) ( ) ( , (1)
Sea

|
|
.
|

\
|
=
|
|
.
|

\
|
|
|
.
|

\
|
=
|
|
.
|

\
|
= K K , 2 , 1 , 0 , cos , , 3 , 2 , 1 , n
p
x n
n
p
x n
sen S
t t
(2)
es decir
)
`

|
|
.
|

\
|
|
|
.
|

\
|
|
|
.
|

\
|
|
|
.
|

\
|
|
|
.
|

\
|
|
|
.
|

\
|
= K ,
3
cos ,
3
,
2
cos ,
2
, cos , , 1
p
x
p
x
sen
p
x
p
x
sen
p
x
p
x
sen S
t t t t t t
(3)
un conjunto ortogonal de V y por lo tanto, una base ortogonal de
V , donde cualquier funcin de V puede representarse como una
combinacin lineal de los elementos de la base, esto es
V x f
p
x n
b
p
x n
a C x f
n
n n
e
|
|
.
|

\
|
|
|
.
|

\
|
+
|
|
.
|

\
|
+ =

=
) ( ; sen cos ) (
1
0
t t
(4)
Para demostrar que S es una base ortogonal de V bastar
demostrar que el producto interno de todo par de funciones (o
vectores) diferentes del Conjunto S debe ser igual a cero. Esto lo
podemos ver de la siguiente manera,
m n dx
p
x m
p
x n
p
x m
p
x n
p
p
= =
|
|
.
|

\
|
|
|
.
|

\
|
=
|
|
.
|

\
|
|
|
.
|

\
|
}

; 0 cos cos cos , cos

t t t t
(5)
m n dx
p
x m
p
x n
p
x m
p
x n
p
p
= =
|
|
.
|

\
|
|
|
.
|

\
|
=
|
|
.
|

\
|
|
|
.
|

\
|
}

; 0 sen sen sen , sen

t t t t
(6)
m n dx
p
x m
p
x n
p
x m
p
x n
p
p
, ; 0 cos sen cos , sen =
|
|
.
|

\
|
|
|
.
|

\
|
=
|
|
.
|

\
|
|
|
.
|

\
|
}

t t t t
(7)
Comprobemos (5)
m n dx
p
x m
p
x n
p
x m
p
x n
p
p
= =
|
|
.
|

\
|
|
|
.
|

\
|
=
|
|
.
|

\
|
|
|
.
|

\
|
}

; 0 cos cos cos , cos

t t t t
Sea
t u t u
u
t
t
u
t
u
= = = =
= = =
, Si ; , 0 Si
,
p
d ,
p x x
dx d
p
dx x
p
( ) ( ) ( ) ( ) u u u
t
u u
t
t
d m n
p
m n
}

= cos cos cos , cos

Usando la identidad trigonomtrica
( ) ( ) [ ] u u u u ) cos( ) cos(
2
1
cos cos m n m n m n + + =
se tiene que
( ) ( ) ( ) ( ) [ ] u u u
t
u u
t
t
d m n m n
p
m n
}

+ + = cos cos
2
1
cos , cos
( ) ( ) ( ) ( ) [ ] u u u
t
u u
t
t
d m n m n
p
m n
}

+ + = cos cos
2
cos , cos
( ) ( ) 0
) sen( ) sen(
2
cos , cos =
(

+
+
+
=

t
t
u u
t
u u
m n
m n
m n
m n p
m n
La verificacin de 6) y 7) se realiza de manera anloga.
Para la determinacin de los coeficientes
n n
b a C y ,
0
de 4)
procedemos de la siguiente manera:
Se integran ambos miembros de 4) de p a p

=
|
|
.
|

\
|
|
|
.
|

\
|
+
|
|
.
|

\
|
+ =
1
0
sen cos ) (
n
n n
p
x n
b
p
x n
a C x f
t t

} } } }

=

|
|
.
|

\
|
|
|
.
|

\
|
+
|
|
.
|

\
|
+ =
1
0
sen cos ) (
n
p
p
n
p
p
n
p
p
p
p
dx
p
x n
b dx
p
x n
a dx C dx x f
t t
Las integrales bajo el signo de sumatoria son todas nulas
debido a que
|
|
.
|

\
|
|
|
.
|

\
|
p
x n
p
x n t t
sen y cos son ortogonales a 1 en el intervalo,
luego
) 2 ( ) (
0 0
p C x C dx x f
p
p
p
p
= =

}
de donde
}

=
p
p
dx x f
p
C ) (
2
1
0
Si hacemos que
0 0
2
1
a C = se tiene que

}

=
p
p
dx x f
p
a ) (
2
1
2
1
0
luego
}

=
p
p
dx x f
p
a ) (
1
0
Ahora multipliquemos ambos miembros de 4) por cos
|
|
.
|

\
|
p
x mt
e
integremos de p a p

} } } }

=

|
|
.
|

\
|
|
|
.
|

\
|
|
|
.
|

\
|
+
|
|
.
|

\
|
|
|
.
|

\
|
+
|
|
.
|

\
|
=
|
|
.
|

\
|
1
0
cos sen cos cos cos cos ) (
n
p
p
n
p
p
n
p
p
p
p
dx
p
x m
p
x n
b dx
p
x m
p
x n
a dx
p
x m
C dx
p
x m
x f
t t t t t t
Por la ortogonalidad tenemos

=
=
=
|
|
.
|

\
|
}

0 ; 2C
, 3 , 2 , 1 ; 0
cos
0
0
m p
m
dx
p
x m
C
p
p
K
t
De 7) tenemos que

m n dx
p
x m
p
x n
p
p
, ; 0 cos sen =
|
|
.
|

\
|
|
|
.
|

\
|
}

t t
Por 5) tenemos que

=
|
|
.
|

\
|
=
=
|
|
.
|

\
|
|
|
.
|

\
|
}
}

m n dx
p
x n
m n
dx
p
x m
p
x n
p
p
p
p
cos
0;
cos cos
2
t
t t
Entonces se tiene que

K , 3 , 2 , 1 ; cos ) ( = = =
|
|
.
|

\
|
}

m n p a dx
p
x m
x f
m
p
p
t
de donde
K , 3 , 2 , 1 cos ) (
1
= =
|
|
.
|

\
|
=
}

m n dx
p
x m
x f
p
a
p
p
m
t
o bien
K , 3 , 2 , 1 cos ) (
1
=
|
|
.
|

\
|
=
}

n dx
p
x n
x f
p
a
p
p
n
t
Ahora multipliquemos ambos miembros de 4) por sen
|
|
.
|

\
|
p
x mt
e
integremos de p a p

} } } }

=

|
|
.
|

\
|
|
|
.
|

\
|
|
|
.
|

\
|
+
|
|
.
|

\
|
|
|
.
|

\
|
+
|
|
.
|

\
|
=
|
|
.
|

\
|
1
0
sen sen sen cos sen sen ) (
n
p
p
n
p
p
n
p
p
p
p
dx
p
x m
p
x n
b dx
p
x m
p
x n
a dx
p
x m
C dx
p
x m
x f
t t t t t t
Por la ortogonalidad tenemos que

K , 3 , 2 , 1 ; 0 sen
0
= =
|
|
.
|

\
|
}

n dx
p
x m
C
p
p
t
De 7) tenemos que

m n dx
p
x m
p
x n
p
p
, ; 0 sen cos =
|
|
.
|

\
|
|
|
.
|

\
|
}

t t
De 6) tenemos que

; sen
; 0
sen sen
2

=
|
|
.
|

\
|
=
=
|
|
.
|

\
|
|
|
.
|

\
|
}
}

m n dx
p
x n
m n
dx
p
x m
p
x n
p
p
p
p
t
t t
Por lo tanto
K , 3 , 2 , 1 ; sen ) ( = = =
|
|
.
|

\
|
}

m n p b dx
p
x m
x f
m
p
p
t
de donde
K , 3 , 2 , 1 ; sen ) (
1
= =
|
|
.
|

\
|
=
}

m n dx
p
x m
x f
p
b
p
p
m
t
o bien
K , 3 , 2 , 1 ; sen ) (
1
=
|
|
.
|

\
|
=
}

n dx
p
x n
x f
p
b
p
p
n
t
Resumiendo:
A la serie

=
|
|
.
|

\
|
|
|
.
|

\
|
+
|
|
.
|

\
|
+ =
1
0
sen cos
2
) (
n
n n
p
x n
b
p
x n
a
a
x f
t t
se le llama,

Serie Trigonomtrica de Fourier de la Funcin f(x)
definida en el intervalo, p x p s s ,
en donde

}

=
p
p
dx x f
p
a ) (
1
0
p dx
p
x n
x f
p
a
p
p
n
=
|
|
.
|

\
|
=
}

t
cos ) (
1
y
}

|
|
.
|

\
|
=
p
p
n
dx
p
x n
x f
p
b
t
sen ) (
1
son los

Coeficientes de la Serie de Fourier,

Coeficientes de Fourier
o
Coeficientes de Euler