Series de Fourier

1.1 funciones peridicas

La difraccin tiene lugar cuando alguna perturbacin ondulatoria

interacciona con distribuciones peridicas de objetos. La condicin de
periodicidad es la clave principal de la existencia de la difraccin. Las
redes cristalinas se pueden modelar en forma de distribuciones
peridicas de densidad electrnica. Estas distribuciones peridicas
tridimensionales son equivalentes, en concepto, a las funciones
peridicas unidimensionales.
En este seminario vamos a intentar abordar la aplicacin de la
herramienta matemtica conocida como "Transformada de Fourier" al
problema de la difraccin.
En resumen podemos decir que un diagrama de difraccin representa la
imagen de Fourier de una determinada distribucin peridica (rendijas,
agujeros, tomos, molculas...), lo cual es ms que suficiente para que
comencemos abordando los conceptos de periodicidad y transformada
de Fourier.
Funciones peridicas
Una funcin es peridica si cumple la condicin de periodicidad, es decir,
si despus de cada cierto intervalo de tiempo o espacio constante,
llamado periodo, la funcin adquiere el mismo valor de partida.
Matemticamente, esta condicin la podemos expresar de la siguiente
forma
(Ec.1)
donde T es el periodo caracterstico de la funcin f(t).

Figura 1. Ejemplo de funcin peridica con periodo T.

Como podemos ver en la figura 1, si conocemos la forma de la funcin en
el intervalo [0,T], la conocemos en todo el espacio, debido a que con una
simple traslacin de periodo T, podemos extender su campo de
existencia hasta donde nos sea necesario. Esta es una caracterstica
intrnseca de las funciones peridicas. Teniendo en cuenta esta

caracterstica, intentemos evaluar cualitativamente el aspecto que debe

de tener la imagen recproca (transformada de Fourier) asociada a una
funcin peridica f(t). Consideremos para ello que la funcin f(t), solo se
encuentra definida en el intervalo acotado 0,T.
Sabemos que en un intervalo acotado, 0,L, la funcin la podemos
representar como una combinacin lineal de funciones armnicas, que
llamamos series de Fourier.
La caracterstica principal de estas series, es que solo estn permitidos
unos determinados valores propios o frecuencias propias, en funcin de
las condiciones de borde a las que estuviese sometida la funcin.
Fijndonos en este hecho, ser de esperar que el aspecto de la
transformada de Fourier de la funcin f(t), peridica y definida en el
intervalo [0,T], sea discreto. De hecho, esta discretizacin, deber de
ser proporcional al periodo en el que se encuentra definida la funcin, es
decir proporcional al inverso del periodo T. La figura 2, muestra lo que
cabe esperar respecto al aspecto de la transformada de Fourier,
asociada a la funcin peridica f(t).

Figura 2. Aspecto cualitativo de la imagen recproca de una funcin

peridica.

Imagen recproca de una funcin peridica

Para poder ir ms all y averiguar cual ser la distribucin de amplitud
que tiene la imagen recproca de una funcin peridica genrica,
deberemos de estudiar analticamente este tipo de funciones. Si
aplicamos la definicin de transformada de Fourier a la funcin peridica
f(t), obtenemos que

(Ec.2)

Si realizamos el cambio de variable, t= t + T, vemos que la igualdad (Ec.2)

adquiere la forma

(Ec.3)
Comparando las ecuaciones (Ec.2) y (Ec.3), apreciamos que, para que se
cumpla la igualdad, debe de cumplirse la condicin

lo que tiene como consecuencia el hecho de que los nicos valores

posibles de w sern aquellos que cumplan que

Para cualquier valor entero de n. Por lo tanto solo aparecen, como

frecuencias propias posibles, las wn proporcionales al inverso del
periodo, tal y como habamos deducido cualitativamente en el apartado
anterior. Esta caracterstica de discretizacin de las funciones
peridicas, nos permite representar su imagen recproca como una
combinacin lineal de funciones delta de Dirac.
En forma temporal el aspecto de la imagen recproca ser

Anlogamente, la forma espacial tendr el aspecto

(Ec.4)

(Ec.5)
Intuitivamente podramos decir que una funcin peridica genrica f(t),
posee una funcin transformada de Fourier con el aspecto de una serie de
Fourier. Vemoslo aplicando la definicin general de transformada de f(t) a
la ecuacin 4,

como integrar sobre deltas de Dirac es sencillo, debido a que

llegamos, en definitiva, a la forma en serie de Fourier

(Ec.6)
Lo que acabamos de ver tiene como consecuencia inmediata que cualquier
funcin f(t) o f(x), peridica y analtica en el intervalo, 0 < t < T, se
encuentra definida en todo el espacio de tiempos o de posiciones [-infinito,
+infinito], como ya habamos intuido cualitativamente.
Para calcular los coeficientes an de la serie, aplicamos el mtodo, tan
resolutivo, de multiplicar por el factor
ecuacin 6 e integrar sobre el intervalo [0,T],

ambos miembros de la

Despus de operar, obtenemos como coeficientes de la serie de Fourier

(Ec.6), la expresin general

(Ec.7)
Para el coeficiente a0 la ecuacin se simplifica notablemente, de forma
que

El significado geomtrico de este nmero es el valor medio de la

amplitud de la funcin f(t) en el intervalo [0,T]. De hecho, a 0 es la
primera aproximacin, la ms grosera, a la funcin f(t) en dicho
intervalo, tal y como se muestra en la figura 3.

2
Figura 3. Primer trmino del desarrollo de Fourier de la funcin f(t).

El resto de los an ponderan las amplitudes de los sucesivos armnicos que

describirn, cada vez mejor, la forma de la funcin peridica evaluada.
Forma trigonomtrica de la serie de Fourier
Hasta ahora hemos visto el desarrollo en serie de Fourier, de las
funciones peridicas, en la forma ms general, es decir, en forma
compleja. Consideremos ahora, el desarrollo de la funcin peridica f(t),
en la forma trigonomtrica siguiente, ms conocida por todos
(Ec.8)
Los coeficientes del desarrollo, los podemos obtener, con la filosofa de
antes, multiplicando ambos miembros de la ecuacin 8 por cos nt, para
calcular los coeficientes An, o por sen nt, para los Bn y posteriormente,
integrar sobre el intervalo de existencia 0, 2Pi. Aplicando este mtodo
obtenemos las ecuaciones de los coeficientes

(Ec.9)
y
(Ec.10)
No es necesario utilizar siempre el intervalo 0, 2Pi, puede utilizarse
cualquier intervalo de longitud igual al periodo, 2Pi. De hecho, es ms
interesante utilizar el intervalo -Pi a Pi, en algunos casos.
Dependiendo de la simetra de las funciones evaluadas, obtendremos
desarrollos de Fourier con formas especficas que carecern de
determinados trminos. Veamos como ejemplo la siguiente funcin

Como vemos en la figura 4, esta es una funcin impar, lo que indica que
existirn trminos en seno. Adems, es simtrica respecto a Pi/2, lo que
significa que no aparecern los trminos pares del seno, debido a que
esos trminos no son simtricos en dicho valor. De esta forma, para n
impar tendremos como coeficientes de la serie de Fourier asociada,

Una vez conocidos los coeficientes del desarrollo Bn, podemos expresar la
funcin en la forma desarrollada

Si representamos sucesivas aproximaciones para n cada vez mayor,

apreciamos que la aproximacin es convergente para zonas fuera de las
proximidades de los puntos de discontinuidad, donde aparece el fenmeno
de Gibbs. En el lmite cuando consideramos infinitos trminos, dicha
perturbacin tiende a minimizarse, como muestra la figura 4.

Figura 4. Desarrollo de Fourier para n=1 y n=15 de una funcin impar.

Desarrollo de Fourier y la simetra

Realicemos una clasificacin de las caractersticas que presentan las
series de Fourier en funcin de la simetra intrnseca a las funciones
peridicas genricas. Consideremos el conjunto de funciones pares
(figura 5), donde se cumple que f(2Pi n-t)=f(t), para cualquier valor
entero de n. En este caso, en el desarrollo en serie de Fourier, podemos
intuir, por las propiedades de la funcin coseno, que solo aparecern
trminos en coseno, esto es, los coeficientes B n sern nulos.

3
4
Figura 5. Funcin par simtrica respecto a 0, con periodo 2Pi.
Si consideremos, el conjunto de las funciones impares (figura 6), f(2Pi nt)=-f(t), para cualquier valor entero de n podemos deducir, por las
propiedades de la funcin seno, que solo aparecern trminos en seno,
esto es, los coeficientes An sern nulos.

Figura 6. Funcin impar simtrica respecto a 0, con periodo 2Pi.

Consideremos tambin un nuevo conjunto de funciones conocido como
funciones pares, simtricas respecto a Pi/2 (figura 7), que son aquellas que
cumplen la condicin f(Pi/2+ t)=f(Pi/2-t). Estas funciones solo tendrn
trminos pares en el coseno, es decir, Bn=0 y A 2n+1=0.

Figura 7. Funcin par simtrica respecto a Pi/2, con periodo 2Pi.

Por supuesto podemos generalizar las series de Fourier para representar
funciones con un periodo L, distinto de 2Pi, como hemos visto al principio, si
realizamos el cambio de variable

Conseguimos que un intervalo de longitud 2Pi en la variable t, se

transforma en un intervalo de longitud L en la variable x. Las ecuaciones
8, 9 y 10 se transformarn en estas otras

(Ec.11)
Todas las consideraciones que hemos realizado sobre la simetra de las
funciones son, por supuesto, aplicables al nuevo intervalo as definido.
Se debe de dejar claro lo que el intervalo fundamental o periodo L,
representa para un determinado problema. Supongamos que una funcin
f(x) viene definida en el intervalo 0<x<a. Esta funcin, por supuesto,
podremos desarrollarla en serie de Fourier con periodo L=a, en la forma

Para una funcin f(x) arbitraria, necesitaremos en su desarrollo, tanto

trminos seno como coseno, es decir, un desarrollo slo en senos o slo en
cosenos (con periodo a), sera incompleto. Pero, aqu est la magia, podemos
desarrollar f(x) slo en senos de la siguiente manera. Definimos, en el
intervalo a<x<0, una funcin suplementaria (artificial), con la forma
f(-x)= -f(x), tal que el periodo de la nueva funcin ser ahora L = 2a. De
esta forma, podremos describirla en la forma

Lo que hemos conseguido de esta forma ha sido evitar los trminos

coseno del desarrollo, pero a cambio hemos duplicado el nmero de
trminos en senos teniendo, en definitiva, un conjunto completo de
funciones que describen de forma analtica a la funcin f(x) en el
intervalo 0<x<a. De la misma forma, podramos desarrollar tambin f(x)
en una serie que solo contuviera cosenos, con periodo 2a, definiendo
artificialmente la funcin f(-x)=+f(x) en el intervalo a<x<0.

Ejercicios resueltos:

1) Serie de Fourier de una funcin peridica de perodo distinto a 2. Hallar la

serie trigonomtrica de Fourier para la funcin peridica definida por:

t2

f (t )

0t2

f (t 2) f (t )

SOLUCIN

Aqu T = 1. Hallemos en primer lugar los coeficientes. Son:

a n t cos ntdt
2

por partes

2nt cos( nt ) 2 sen( nt ) n 2 2 t 2 sen( nt )

n 3 3
0

4n cos( 2n ) 2 sen( 2n ) 4n 2 2 sen( 2n )

4
2 2
3 3
n
n
2

2nt sen( 2n ) 2 cos( nt ) n 2 2 t 2 cos( nt )

bn t sen ntdt

0
n 3 3
0
2

4n sen( 2n ) 2 cos( 2n ) 4n 2 2 cos( 2n )

2
1
3 3
3 3
n
n
n

El coeficiente a0 debemos calcularlo por separado, dado que la forma de an

obtenida arriba no est definida para n = 0. Calculamos, as:

t3
a 0 t cos 0tdt
0
3
2

8
3

De esa forma, la serie de Fourier buscada ser:

f (t )

4 4
4

2 2 cos nt
sen nt
3 n 1 n
n

2) Aprovechamiento de la serie de Fourier para calcular una serie numrica. Dada

, t 0
t , 0 t

f (t )

a) Obtener la serie trigonomtrica de Fourier de f(t).

b) Graficar la suma de esa serie en [-4; 4].
c) Aprovechar dicha serie para calcular la suma de los recprocos de los cuadrados
de todos los enteros impares positivos.

SOLUCIN

Podemos hacer una extensin peridica de esta funcin, considerndola como de

perodo 2. De esa manera tenemos T = y podemos calcular los coeficientes como:

1 a 2T
nt
f (t ) cos
dt

T
1 a 2T
nt
bn
f (t ) sen
dt
a
T
T
an

1
1 0
1
f (t ) cos( nt )dt cos( nt )dt t cos( nt )dt

0
sen n
1
cos n n sen n
1

2
2 (cos n 1)
2
n
n
n
n

an

bn

S(t)
t

1
1 0
1
f (t ) sen( nt )dt sen( nt )dt t sen( nt )dt

0
1 cos n sen n n cos n 1

(1 2 cos n )
n
n
n
n 2

El coeficiente a0 lo calculamos por separado y da:

a0

f (t ) cos(0t )dt
-/2

dt

tdt

2
-

De modo que la serie queda:

S (t )

1
1

2 (cos n 1) cos nt (1 2 cos n ) sen nt

4 n 1 n
n

b) Para graficar la suma de la serie, recordemos que coincide con la funcin en los
puntos en que sta es continua, y converge a la semisuma de los lmites laterales en
los puntos de discontinuidad. Tenemos as:

Los puntos gordos indican los valores que alcanza la serie en los puntos de
discontinuidad, que son la semisuma de los lmites laterales en cada caso.

c) Para evaluar la serie numrica que nos piden, evaluaremos la serie en un punto
adecuado. A todas luces el punto ms sencillo para evaluar la serie es t = 0. All
tenemos que los sen(nt) se hacen todos cero y los cos(nt) se hacen todos unos. De
esa manera la serie quedara:

S (0)

(cos n 1)
4 n 1 n 2

El valor de cos(n) ser -1 cuando n sea impar, y 1 cuando n sea par. Por ende,
resultar que (cos(n) - 1) es -2 cuando n es impar, y 0 cuando n es par. De esa
manera, en la serie sobreviven slo los trminos impares, y en ellos reemplazamos
(cos(n) - 1) por -2. As podemos escribir:

S ( 0)

4 n 1 (2n 1) 2

Pero por otro lado, y de la grfica anterior, es S(0) = -/2. Reemplazando esto
arriba queda:

2
2

1
2

2
2
2
4 n 1 (2n 1) 2
4
8
n 1 ( 2n 1)
n 1 ( 2n 1)

Obtuvimos as la suma de los recprocos de todos los naturales al cuadrado, como

nos peda el enunciado.

3) Serie compleja de Fourier. Desarrollar en serie compleja de Fourier f(t) = e-t,

donde - < < . Aprovechar ese resultado para calcular la suma de la serie

(1) n

2
2
n

SOLUCIN

Hallaremos en primer lugar los coeficientes:

1
cn
2

i nt

1
dt
2

( i n ) t

1
e e i n e e i n
2 ( in )

1
dt
e ( i n ) t
2 ( in )

frmula de Euler

e
cos n
2 ( in )

Luego:

f (t ) c n e int / T

e
e e ( in )
cos( n )e i nt
cos( n )e i nt
2
2
2 ( in )
2 ( n )

Esta equivalencia es vlida en todos los puntos de continuidad de f, en particular en

el 0. Si evaluamos ahora la serie en 0, debe dar lo mismo que f(0), esto es, 1. Por
otro lado la exponencial eint, evaluada en 0, es igual a 1. De all tenemos:

f ( 0) 1

e ( in )
cos( n )
2 ( 2 n 2 )

Obsrvese por otra parte que los trminos en in con n positivo se anularn con los
que tienen n negativo, de modo que podemos escribir:

e
e e
(1) n
2
n
cos(
n

1
)

2
2
2
2
2
2
2 ( n )
e e
2 ( n )
( n )

4) Serie cosenoidal de Fourier. Dada la funcin

1 ,
2 ,

f (t )

0 t 2

a) Desarrollarla en serie cosenoidal de Fourier.

b) Hallar la suma de la serie en los intervalos (0; /2), (/2; ) y en los puntos 0 y

(1) n

n 1 2n 1

c) Calcular la suma de la serie

SOLUCIN

Para que una serie de Fourier sea de slo cosenos la funcin debe ser par. Por
ende, debemos plantear una extensin peridica de f tal que sea simtrica
respecto al eje de ordenadas. Vemos que eso lo logramos planteando que la
extensin peridica sea igual a 1 en (-/2; 0) y a 2 entre (-; -/2). Aparece como
natural en ese caso que el perodo sea 2. La grfica ser:

-3/2

/2

3/2
f(t)

1
-/2

Donde las lneas gruesas marcan la funcin original, y las de puntos la extensin
peridica. Vemos que para calcular los coeficientes conviene tomar el intervalo que
va de -/2 a 3/2, de modo de hace slo dos integrales por coeficiente. Por otra
parte slo debemos calcular los coeficientes a, dado que la funcin es par y su
desarrollo no tendr senos. Tenemos as:

an

1
f (t ) cos ntdt
/ 2

3 / 2

/2

3 / 2

/2

/2

1 cos ntdt 2 cos ntdt

3n
2
n

2 sen

Por otro lado es fcil calcular que a0 es 3. De esa forma:

S (t ) 32

3n
2 cos nt
n

2 sen

n 1

Para calcular la serie que nos piden, tengamos en cuenta que S(0) = 1 (coincide con
el valor de la funcin, que es continua en ese punto). El cos( nt) es 1 en el mismo
punto. As tendremos:

S (0) 1 32
n 1

3n
2
n

2 sen

Sabemos adems que el sen(3n/2) en esa sumatoria vale 0 para n pares, y alterna
entre -1 y 1 para n impares. Ms precisamente, vale (-1)k para n = 2k - 1. De ese
modo, slo sobrevivirn los trminos impares, y ser:

2(1) n
2(1) n
(1) n

12

4
n 1 ( 2n 1)
n 1 ( 2n 1)
n 1 2n 1

S (0) 1 32

Que es el valor que buscbamos.

4) Desarrollar en serie de Fourier la funcin peridica de periodo 2
.Representar grficamente y estudiar la convergencia de la serie en R:

i)

Calculo de los coeficientes de Fourier

Usando el mtodo de integracin por partes se tiene:

Luego el coeficiente es:

Por lo tanto la serie de Fourier ser:

En todos los puntos de continuidad de la serie converge a f(x) y el los

puntos de discontinuidad del tipo x = + 2n con n Z., la serie
converge a

.
2

5) Desarrollar en serie de Fourier la funcin peridica de periodo 2,

definida por:
Sol:
La funcin f es par por lo cual obtendremos una serie de cosenos, que
tiene la forma: