Teora preliminar.

Es muy comn que en muchos problemas de ciencias e ingeniera aparezcan

funciones especiales conocidas como funciones peridicas. Es de mucha utilidad
expresar este tipo de funciones en trminos de las funciones trigonomtricas seno
y coseno.

Al realizar estudios acerca de la conduccin del calor de manera analtica, el fsico

matemtico Jean Baptiste Joseph Fourier desarroll la teora que permite expresar
a una funcin como una serie trigonomtrica en trminos de senos y cosenos.
Al estudiar y resolver la ecuacin diferencial del calor, Fourier aport una de las
herramientas ms poderosas hasta entonces conocidas por la ciencia y que
represent incluso una de las contribuciones ms significativas en la historia de las
matemticas; curiosamente, aun cuando lleva su nombre no fue Fourier el precursor
de esta teora, sino Daniel Bernoulli y Leonhard Euler.

Funciones peridicas.

Para iniciar el estudio de las series de Fourier es necesario conocer los conceptos
de funcin peridica, par e impar. Recordemos de la definicin 1 de la seccin 3.6
que una funcin f (t) se dice peridica de periodo T si f (t) =f (t + T) para todo t en su
dominio.
Por induccin es fcil observar que si f (t) es una funcin peridica de periodo T,
entonces
f (t + nT) = f (t) para todo valor de t en su dominio y n nmero entero.
El siguiente ejemplo muestra dos funciones peridicas de inters en nuestro estudio
sobre las series de Fourier.

Ejemplo 1: Las funciones peridicas sin y cos .

Demostrar que las funciones sin y cos son peridicas con periodo 2L.

Solucion.
(+2)
Se verifica que sin = sin( + 2) desarrollamos

(+2)
Sin = sin( cos 2 + sin 2 cos

(+2)
sin = sin cos(2 ) = 1, sin(2) = 0

Concluimos que la funcin sin es peridica de periodo 2L.


Un procedimiento anlogo muestra que la funcin cos tambin es peridica y de

periodo 2L.
 Funciones pares e impares.

Para justificar el teorema de Fourier nos ser de mucha utilidad recordar los
conceptos de funciones par e impar, ya que sus propiedades nos facilitarn el
clculo de integrales definidas en un periodo centrado alrededor del cero.
Presentamos la siguiente definicin.

Funciones par e impar

1. Una funcin f (t) se dice par si f (t) = f (t).
2. Una funcin f (t) se dice impar si f (t) = f (t).

Geomtricamente, una funcin par es simtrica respecto al eje y, mientras que una
funcin impar es antisimtrica en el origen. La FIGURA 5.1 muestra la grfica de
una funcin par y la FIGURA 5.2 muestra la grfica de una funcin impar.

Ejemplo 2: Funciones pares e impares

1. Dado que |t| = |t|, cos (t) = cost y () 2 = 2 , n , concluimos que las
funciones |t|, Cos t, 2 son pares.
2. Dado que (t) = (), sen() = t y () 2+1 = ( 2+1 ), con n ,
concluimos que las funciones t, sen t y 2+1 son impares.

En el siguiente teorema se listan algunas de las propiedades ms conocidas y tiles

de las funciones pares e impares.

Teorema 1: Propiedades de las funciones pares e impares

1. El producto de dos funciones pares es par.

2. El producto de dos funciones impares es par.
3. El producto de una funcin par y una funcin impar es impar.

4. Si f (t) es una funcin par, entonces () dt = 20 () dt

5. Si f (t) es una funcin impar, entonces () dt = 0
6. Toda funcin f (t) impar definida en t =0 satisface f (0)= 0
Demostracin 1)
Sean f (t) y g(t) dos funciones pares y definamos h(t) = f (t)g(t); dado que
h(t) = f (t)g(t) = f (t)g(t) = h(t), se verifica que h(t) es una funcin par.

Demostracin 2)
Sean f (t) y g(t) dos funciones impares y definamos h(t) = f (t)g(t) ; dado que
h(t) = f (t)g(t) = (f (t))( g(t)) = f (t)g(t) = h(t) , se verifica que h(t) es una funcin
par.

Demostracin 3)
Sean f (t) una funcin par y g(t) una funcin impar. Definamos h(t) = f (t)g(t); dado
que h(t) = f (t)g(t) = f (t)(g(t)) = f (t)g(t) = h(t), se verifica que h(t) es una
funcin impar.

Demostracin 4)
Sea f (t) una funcin par, al considerar el cambio de variable t = u, tenemos que
cuando t = 0, entonces u = 0, y cuando t = a, entonces u = a; luego
0
() = () + ()
0
0
() = () + () = , =
0
0
() = () + () () = ()
0

() = () + ()
0 0

() = 2 ()
0

Demostracin 5)
Sea f (t) una funcin impar, de la misma forma que en el inciso anterior, si
consideramos el cambio de variable t = u tenemos que cuando t = 0, entonces u =
0, y cuando t = a, entonces u = a; luego
0
() = () + ()
0
0
() = () + () = , =
0
0
() = () + () () = ()
0

() = () + ()
0 0

() = 0

Demostracin 6)
Si f (t) es impar entonces se cumple que f (t) = f (t) para todo t en el dominio, en
particular si f (t) est definida para t = 0 se satisface que f (0) = f (0), de donde f
(0) + f (0) = 0.
Dado que f (0) = f (0) concluimos f (0) = 0.

Funciones ortogonales

En la observacin 2 de la seccin 2.2 dejamos como un ejercicio al lector demostrar

que el conjunto de todas las funciones continuas sobre el intervalo [a, b], definido
por
C [a, b] f: [a, b] | f es continua en [a, b]

Resulta ser un espacio vectorial al considerar las operaciones usuales del clculo
para sumar funciones y para multiplicar una funcin por un escalar real. Como tal,
el conjunto C [a, b] adquiere todas las propiedades de los espacios vectoriales y son
aplicables todos los conceptos correspondientes tales como combinacin lineal,
dependencia lineal, independencia lineal, base y dimensin, entre otros.
En el lgebra lineal se demuestra de manera formal que C [a, b] es un espacio
euclideano; es decir, existe en l un producto interno que se presenta en la siguiente
definicin.

Definicin 2: El producto interno en C [a, b].

En el espacio vectorial C [a, b] se define el producto interno de las funciones f (t) y
g(t) por

() () = ()()

El producto interno tambin se conoce como producto punto o producto escalar.
Como un buen ejercicio, podemos verificar sin mucha dificultad que el producto
definido anteriormente satisface las condiciones establecidas en la definicin formal
de producto interno; es decir, si f, g, h C [a, b] y k , entonces

1. f g
2. f g = g f
3. kf g = f kg = k (f g)
4. f (g + h) = f g + f h
5. f f 0
6. f f = 0 si y solo si f = 0
Ejemplo 3: Producto punto de dos funciones.

Calcular el producto punto f (t) g(t) de las funciones indicadas.

a) f (t) = y g(t) = 3 2 en el espacio C [0,1]
b) f (t) = sen t y g(t) = cost en el espacio C [-, ]

Solucin a)
1
por definicin 3 2 = 0 3 2 = 3 = 1

Solucin b)

Tenemos sent cost = cost dt = 0

Lo anterior se sigue de inmediato por tratarse de la integral de una funcin impar

definida sobre un periodo centrado en cero, como se demostr en el teorema 1.

Una vez definido el producto interno en el espacio C [a, b], es posible abordar otros
conceptos tiles en nuestro propsito de justificar el teorema de Fourier, como
norma y conjunto ortogonal.

Definicin 3: La norma de una funcin.

1. Sea f (t) C [a, b], se define la norma de f (t) como | f (t) | = () ()

2. Se dice que el conjunto {1 (), 2 (), , ()} C [a, b] es ortogonal sobre el
intervalo [a, b] si

0
() () = {
=

Donde c , c 0 para 1i, j n.

Ejemplo 4: La norma de una funcin.

Dadas las funciones f (t) = sent y g(t) = cost en el espacio C [, ], calcular a) |f (t)|
y b) | g(t) |.

Solucin a)

|()| = = 2 =

Solucin b)

|()| = = 2 =
Ejemplo 5: Un conjunto ortogonal.

Demostrar que el conjunto {sent, sen2t, cost, cos2t} C [, ] es ortogonal.

Solucin
Para demostrar la ortogonalidad del conjunto de funciones en el intervalo [, ] es
necesario calcular los productos punto entre todas las parejas posibles de
funciones. Para simplificar los clculos aplicamos los resultados mostrados en el
teorema 1, es decir

2 = 2 = 2 2 = 0
0

= = 0


2 = 2 = 0


2 = 2 = 0


2 2 = 2 2 = 0


2 = 2 = 2 2 = 0
0

|| = 2 =

|2| = 2 2 =

|| = 2 =

|2| = 2 =

Se verifica que el producto interno de dos funciones diferentes es cero y el producto

interno de una funcin consigo misma es una constante; de manera que, por la
definicin 3, el conjunto es ortogonal en el intervalo [, ].

Ejemplo 6: Las funciones peridicas sin y cos

Demostrar que el conjunto {sin , cos } C [L, L] con n es ortogonal en

el intervalo [L, L].

Solucin
Para mostrar la ortogonalidad es necesario que evaluemos todos los productos
posibles entre dos elementos del conjunto dado. De esta manera,


) = 0, ,

0
) = {
=

0
) = {
=

Por lo anterior, el conjunto {sin , cos } es ortogonal en el intervalo [L, L].

Teorema 2: Todo conjunto ortogonal es linealmente independiente.

Demostracin
Sea {1 (), 2 (), , ()} C [a, b] un conjunto ortogonal de funciones.
Consideremos la combinacin lineal igualada con cero

1 1 () + 2 2 () + + () = 0

Sea () {1 (), 2 (), , ()} para algn k =1,2,, n y calculemos el producto

interno

() (1 1 () + 2 2 () + + ()) = 0

Por las propiedades del producto interno podemos escribir

1 ( () 1 ()) + 2 ( () 2 ()) + + ( () ()) + + ( () ()) = 0

Como el conjunto {1 (), 2 (), , ()} es ortogonal, se cumple que () () =

(0

),

Donde c , c 0 para 1 i, j n; entonces,

1 ( () 1 ()) + 2 ( () 2 ()) + + ( () ()) + + ( () ()) = 0

De donde | ()|2 = 0 y por tanto = 0 para todo K=1, 2,, n. concluimos que
el conjunto {1 (), 2 (), , ()} es linealmente independiente.