3.

6 Convergencia de las Series de Fourier

Hasta aqu hemos concentrado nuestra atencin en determinar la expansin en serie
de Fourier correspondiente a una funcin peridica f (t ) dada. En realidad, este es un
ejercicio de integracin ,ya que solo hay que calcular los coeficientes an y bn usando
las frmulas respectivas y despus sustituir estos valores en (2.3) o (2.4).No hemos
considerado todava la pregunta de si es o no la serie de Fourier as obtenida una
representacin vlida de la funcin peridica f (t ) .

En esta seccin presentaremos un conjunto de condiciones que nos aseguren que

f (t ) tiene una expansin en serie de Fourier convergente. Estas condiciones
conocidas como las condiciones de Dirichlet, pueden expresarse en la forma del

Teorema 2.2 : Las Condiciones de Dirichlet

Si f (t ) es una funcin peridica acotada que en cualquier periodo tiene

a) un nmero finito de mximos y mnimos aislados, y

b) un nmero finito de puntos de discontinuidad finita

entonces la expansin en serie de Fourier de f (t ) converge a f (t ) en todos los

puntos donde f (t ) es continua y al promedio de los lmites por la derecha y por la
izquierda de f (t ) en puntos donde f (t ) es discontinua (esto es al promedio de los
lmites)

Ejemplo Apoyndose en las grficas de las funciones dadas, dar las razones por las
cuales ellas no cumplen las condiciones de Dirichlet en el intervalo 0 t 2

1 1
a ) f (t ) y b) f (t ) sen
3t t 2

1 1
Grfica de la funcin f (t ) Grfica de la funcin f (t ) sen
3t t 2
Las condiciones del teorema 2 son suficientes para asegurar que una expansin en serie de
Fourier de f (t ) existe. Sim embargo, no son condiciones necesarias para la convergencia, y no
se puede concluir que una representacin en serie de Fourier no existe si no se satisfacen estas
condiciones .De hecho, las condiciones necesarias en f (t ) para la existencia de una serie de
Fourier convergente no se conocen an. En la prctica, esto no causa ningn problema, ya que
para casi todas las aplicaciones prcticas concebibles las funciones que estn involucradas
satisfacen las condiciones del teorema 2 y por tanto tienen representacin en serie de Fourier.

3.5 Funciones Definidas sobre un intervalo Finito

Uno de los requerimientos del teorema de Fourier es que la funcin que se desea expandir debe
ser peridica .Por tanto ,una funcin f (t ) que no es peridica no puede tener una
representacin en serie de Fourier que converja a ella para todo valor de t .Sim embargo,
podemos obtener una expansin en serie de Fourier que represente a una funcin no peridica
f (t ) que est definida slo sobre un intervalo de tiempo finito 0 t .Esto se hace con
mucha frecuencia para resolver problemas con valores en la frontera que involucran ecuaciones
diferenciales parciales, tales como la consideracin del flujo de calor a lo largo de una barra o la
vibracin de un resorte. Son posibles varias representaciones en serie de Fourier de f (t ) ,
vlidas solo en el intervalo 0 t .

a) Serie de recorrido Completo

Supongamos que la funcin f (t ) dada est definida slo en el intervalo finito de tiempo
0 t .Entonces para obtener una representacin en serie de Fourier de recorrido completo
de f (t ) definimos la extensin peridica t de f (t ) por

t f (t ) 0 t
t (t )
b) Serie de seno y del coseno de medio recorrido

En vez de desarrollar la extensin peridica t de f (t ) ,es posible formular extensiones

peridicas que sean pares o impares ,de manera que la serie de Fourier resultante de las
funciones peridicas extendidas consistan solo de trminos con cosenos o de trminos con
senos.

Para una funcin f (t ) definida slo sobre un intervalo finito 0 t .su extensin peridica
par F (t ) es la funcin peridica par definida por

f (t ) 0 t
F (t )
f (t ) t 0
F t 2 F (t )

Como una ilustracin, la extensin peridica par F (t ) de la funcin f (t ) mostrada en la

figura anterior se muestra en la figura 2.2

Para una funcin f (t ) definida slo sobre el intervalo finito 0 t ,su extensin peridica
impar G (t ) es la funcin peridica impar definida por

f (t ) 0 t
G(t )
f (t ) t 0
G t 2 G (t )
Derivacin e Integracin de series de Fourier

Como los efectos suavizantes del proceso de integracin tienden a eliminar discontinuidades,
mientras que el proceso de derivacin tiene el efecto opuesto, no es sorprendente que sea ms
probable la posibilidad de integrar una serie de Fourier que realizar su derivacin.

Integracin de series de Fourier

Teorema 2.3 : Una expansin en serie de Fourier de una funcin peridica f (t ) que satisface
las condiciones de Dirichlet puede integrarse trmino a trmino, y la serie integrada converge a
la integral de la funcin f (t ) .

De acuerdo con este teorema, si f (t ) satisface las condiciones de Dirichlet en el

intervalo t y tiene una expansin en serie de Fourier

a0
f (t ) (an cos n t bn sen nt )
2 n 1

entonces para t1 t

1
f (t ) dt a0 dt an cos nt bn sen nt dt
t t t
t1 t1 2 t
n 1 1

1
b a
a0 t t1 n cos nt1 cos nt n sen nt sen nt1
2 n 1 n n

Si la funcin dada f (t ) es continua a pedazos, en lugar de continua, sobre el intervalo

t entonces hay que tener cuidado de asegurar que el proceso de integracin se lleve
a cabo adecuadamente sobre los diversos sub-intervalos .
Derivacin de serie de Fourier

Teorema 2.4: Si f (t ) es una funcin peridica que satisface las condiciones de Dirichlet
entonces su derivada f (t ) , siempre que exista, puede encontrarse por derivacin trmino a

trmino de la serie de Fourier de f (t ) si y solo si la funcin f (t ) es continua en todas

partes y la funcin f (t ) tiene expansin en serie de Fourier (esto es f (t ) satisface las
condiciones de Dirichlet).

Si f (t ) es continua en todas partes y tiene una expansin en serie de Fourier

a0
f (t ) (an cos n t bn sen nt )
2 n 1

Entonces por el teorema 2.4. Si f (t ) satisface las condiciones requeridas, su expansin en serie
de Fourier es

f (t ) n bn cos n t n an sen n t
n 1