SERIES DE FOURIER

El concepto de series de Fourier no es fcil de asimilar y por lo mismo, trataremos de introducirlo de

una forma sencilla, a travs de un planteamiento matemtico similar al de Serie de Taylor que se estudia
en los cursos de Clculo, es decir, como un problema de representacin de funciones como series de
ciertas funciones particulares.
Sea

una funcin definida en un intervalo de la forma

Queremos saber si es posible representar a

planteamos el siguiente:
Problema:
Podemos encontrar nmeros
(1)

, tal que

existe.

como una serie de senos y cosenos. Formalmente,

tales que se cumpla la siguiente igualdad:

?

Observacin:
Ntese que el trmino , aparentemente est aislado del resto de la serie, pero en realidad podramos
integrarlo a ella, si hacemos que la suma comience desde
. Sin embargo, para seguir con la
costumbre de los autores de los libros de texto, seguiremos la escritura tal y como se plante en el
problema anterior.
Para poder maniobrar ms fcilmente con la igualdad (1), veamos primero el siguiente:
LEMA. i) Si n, m son enteros no negativos y distintos entre s, entonces:

ii) Para cualquier

iii) Para cualquier entero positivo n:

Demostracin. Es una simple integracin, en todos los casos.

Regresando al problema planteado arriba, vemos que si efectivamente se da la igualdad, entonces
podemos integrar miembro a miembro, y si esta integracin se puede realizar trmino a trmino,
entonces:

donde hemos usado el lema inciso (i) y (ii), para concluir que todas las integrales dentro de la serie, son
0.
De aqu podemos despejar el primer coeficiente para obtener:

Para encontrar los dems coeficientes, seguimos la siguiente tctica: elegimos un entero positivo k y
multiplicamos (1) por el trmino
:

Y enseguida integramos como antes:

Por el lema inciso (i) y (ii), todas las integrales del lado derecho son 0, excepto aquellas cuando el
integrando es de la forma
y con
. Por el lema inciso (iii), esta ltima integral, toma
el valor de L y de aqu que:

De esta igualdad, podemos despejar el coeficiente

para obtener:

Igualdad que es vlida para todo

El procedimiento para obtener los coeficientes restantes, es similar, solo que ahora multiplicamos la
igualdad (1), por
:

Como antes, integramos trmino a trmino:

Otra vez por el lema, todas las integrales son 0, excepto cuando el integrando es de la forma
y con
, y en este caso, dicha integral vale L. Por lo tanto, tenemos que:

De donde, despejamos los coeficientes

Igualdad que es vlida para todo

Todo este anlisis, nos lleva a la siguiente:
Definicin. (Series y coeficientes de Fourier)
Sea

una funcin definida en un intervalo de la forma

Entonces:
i) Los coeficientes de Fourier de

en

son los nmeros:

, tal que

existe.

,
,
ii) La serie de Fourier de

donde

en

es:

son los coeficientes de Fourier definidos en (i).

Ejemplo 1.
Sea
, para
. Calcular la serie de Fourier de esta funcin.
Solucin. En este caso, vemos que
y
. Por lo tanto, los coeficientes de Fourier para esta
funcin son:

De esta forma, la serie de Fourier de

en el intervalo

est dada por:

Desarrollando algunos trminos de esta serie, sta se ve como sigue:

Observe que en este ejemplo, todos los coeficientes

son 0, y por lo tanto, la serie de Fourier contiene
solamente trminos de senos. Esto no es una casualidad, sino ms bien una consecuencia de propiedades
intrnsecas de
.
Ejemplo 2.
Calcular la serie de Fourier para la funcin definida como sigue:

Solucin. En este caso,

, por lo tanto, los coeficientes quedan como sigue:

Por lo tanto, la serie de Fourier de

en el intervalo

es:

Desarrollando algunos trminos, tenemos que la serie inicia como sigue:

Es importante entender qu significa la serie de Fourier de una funcin dada. Esta suma corre desde
hasta el infinito. Por lo tanto, si tomamos la suma desde
hasta
, entonces esta funcin
debe aproximar a nuestra funcin
, y se espera que entre mayor sea el valor de k, mejor ser la
aproximacin a
.
Esto puede verse y entenderse mejor, si usamos un paquete como el Mathematica. De hecho, podemos
hacer un pequeo programa que nos grafique a
y a varias aproximaciones para distintos valores de
k, para entender mejor el propsito de la serie de Fourier.
Escriba el siguiente programa en Mathematica y crralo, para ver el efecto.

Al evaluarlo en Mathematica, obtendr una serie de grficas (correspondientes a los valores de

hasta
, como sigue:

A continuacin, siga las siguientes instrucciones:

Despus de la evaluacin, haga doble click en la primera grfica y observe el efecto que produce
Mathematica.
Enseguida, dle valores mayores a
y observe como la aproximacin cada vez es ms buena.
Finalmente cambie los datos correspondientes al ejemplo 2 y observe nuevamente el efecto
producido.
Para escribir en Mathematica la funcin del ejemplo (2), debe escribirla como sigue:

Las dems instrucciones son iguales, pero no olvide modificar la serie de Fourier correspondiente a esta
funcin.
Una vez que se halla comprendido bien cual es la idea de una serie de Fourier, podemos seguir
avanzando en el aspecto terico y propiedades de esta serie.
Como hicimos observar al final del ejemplo 1, los coeficientes
para la serie de Fourier de esa
funcin, son todos cero. Comentamos que esto no era casualidad, y ha llegado el momento de aclarar
para qu tipo de funciones podemos saber con anticipacin, y sin hacer el clculo correspondiente, si los
coeficientes
o
son cero.
Esto tiene que ver con si la funcin dada, es par o impar.
Recordemos estas definiciones y veamos el resultado correspondiente.
FUNCIONES PARES E IMPARES
Definicin.

Una funcin
,

se llama funcin par en el intervalo

si

cumple que

Graficamente, una funcin es par si es simtrica respecto al eje . As, una grfica tpica de una funcin
par, se ve como sigue:

Algunos ejemplos clsicos de funciones pares son:

1.
es una funcin par en cualquier intervalo
2.

es una funcin par en el intervalo

.
.

El nombre de funcin par es debido a que todas las funciones de la forma

natural par, son funciones pares.

, donde k es un nmero

De la propiedad geomtrica de las funciones pares, es claro que si calculamos

, estamos

calculando el area bajo la curva, y puesto que la funcin es simtrica respecto al eje y, entonces esta
integral equivale a dos veces el valor de

Una prueba formal de este resultado se da en los cursos de Clculo.

LEMA. Si
es una funcin par en el intervalo
entonces:

Pasemos ahora a las funciones impares.

Definicin.

Una funcin

se llama funcin impar en el intervalo

si cumple que

,
.
Graficamente, una funcin
es impar si es simtrica respecto al origen. As, una grfica tpica de una
funcin impar, se ve como sigue:

Algunos ejemplos clsicos de funciones impares son:

1.
es una funcin impar en cualquier intervalo
2.

es una funcin impar en el intervalo

.
.

El nombre de funcin impar es debido a que todas las funciones de la forma

natural impar, son funciones impares.

, donde k es un nmero

De la propiedad geomtrica de las funciones impares, vemos que el valor de

difieren por un signo y por lo tanto el valor total de

y el valor de

se anula. Una prueba formal se da

en los cursos de Clculo.

LEMA. Si

es una funcin impar en el intervalo

entonces:

Al combinar bajo productos funciones pares e impares, stas se comportan como cuando multiplicamos
nmeros positivos y negativos, siguiendo las leyes de los signos.
Informalmente hablando, tenemos las siguientes propiedades:
(par)(par) = par
(par)(impar) = impar
(impar)(impar) = par
La demostracin de estas propiedades es muy simple. Pongamos por ejemplo, que
es una funcin par y
es una funcin impar. De aqu tenemos que:
lo que demuestra que

es una funcin impar.

Pasemos a ver el resultado que nos indica qu sucede con los coeficientes y la serie de Fourier de
funciones pares e impares.
TEOREMA. Sea
i) Si

integrable en el intervalo

. Entonces:

es una funcin par, entonces la serie de Fourier de

en

es:

donde:

,
ii) Si

es una funcin impar, entonces la serie de Fourier de

en

es:

donde:
,
Demostracin. i) Supongamos que
es par. Entonces por las propiedades de las funciones pares e
impares,
es par,
, y por uno de los lemas anteriores, se sigue que:

Tambin,

es impar,

, y por el otro lema se sigue que,

ii) Es completamente anlogo al inciso (i).

Ejemplo 3.
Calcular la serie de Fourier para la funcin
, en el intervalo
.
Solucin. Sabemos que
es par, y por lo tanto, solamente calculamos los coeficientes
Tenemos que:

Por lo tanto, la serie de Fourier de

en

es:

Ejemplo 4.
Calcular la serie de Fourier de la funcin definida como:

Solucin. De la grfica de la funcin,

vemos que se trata de una funcin impar. Por lo tanto, para calcular su serie de Fourier, nicamente
calculamos los coeficientes :

Por lo tanto la serie de Fourier de

De hecho, observamos que si

entonces

en

es:

entonces

, mientras que si

. Por lo tanto, la serie de Fourier se puede escribir como: