CURSO: CLCULO 4

Tema: SERIE DE FOURIER

UNIVERSIDAD
PRIVADA DEL NORTE N
1. Serie de Fourier.
1.1. Introducci on.
Las series de Fourier surgieron durante el siglo XVIII como una solucion formal a la
ecuaci on de onda cl asica. M as tarde, fueron utilizadas para describir los procesos fsicos en los
que los acontecimientos se repiten en un patron regular. Por ejemplo, una nota musical por lo
general consiste de una simple nota, llamada fundamental, y una serie de vibraciones auxiliares,
llamados sobretonos. El Teorema de Fourier proporciona el lenguaje matem atico que nos permite
describir con precisi on esta compleja estructura.
1.2. Series de Fourier.
Una de las glorias supremas de las matem aticas del siglo XIX fue el descubrimiento de
que la serie innita,
f (t) =
a
0
2
+

n=1
a
n
cos
_
nt
L
_
+b
n
sen
_
nt
L
_
(1)
puede representar una funcion f (t) bajo ciertas condiciones generales. Estas series, llamadas
series de Fourier, convergen hacia la funcion f (t) en cada punto del intervalo [L, L] con posible
excepci on de puntos de discontinuidad y puntos extremos del intervalo. Debido a que cada
termino tiene un perodo de 2L, la suma de la serie tambien tiene el mismo perodo. El termino
fundamental de la funcion peri odica f (t) es el termino para n = 1, mientras que los armonicos
son el resto de los terminos cuyas frecuencias son m ultiplos enteros del termino fundamental.
Ahora tenemos que encontrar alg un metodo sencillo para calcular los coecientes a
n
y b
n
para un funcion f (t) dada. Como un primer intento, podemos integrar (1) termino a termino
desde L a L. En el lado derecho, todas las integrales multiplicadas por a
n
y b
n
desaparecen
debido a que el promedio de cos (nt/L) y sen (nt/L) es cero. Por lo tanto, nos quedamos con,
Facultad de Ingeniera Ciclo 2013-2
Departamento de Ciencias Cajamarca
1
UNIVERSIDAD
PRIVADA DEL NORTE N
a
0
=
1
L
_
L
L
f (t) dt (2)
En consecuencia a
0
es dos veces el valor medio de f (t) sobre un perodo.
A continuaci on multiplicamos cada lado de (1) por cos (mt/L), en donde m es un entero
prejado.
Integrando de L a L,
_
L
L
f (t) cos
_
mt
L
_
dt =
a
0
2
_
L
L
cos
_
mt
L
_
dt+
+

n=1
a
n
_
L
L
cos
_
nt
L
_
cos
_
mt
L
_
dt+ (3)
+

n=1
b
n
_
L
L
sen
_
nt
L
_
cos
_
mt
L
_
dt
Los terminos a
0
y b
n
desaparecen por integracion directa. Finalmente todas las integrales a
n
desaparecen cuando n = m. Consecuentemente (3) se reduce a,
a
n
=
1
L
_
L
L
f (t) cos
_
nt
L
_
dt (4)
porque
_
L
L
cos
2
(nt/L)dt = L. Ahora, multiplicando ambos lados de (1) por sen (mt/L) (m
es nuevamente un entero prejado), e integrando de L a L,
b
n
=
1
L
_
L
L
f (t) sen
_
nt
L
_
dt (5)
Aunque (2), (4) y (5) nos dan a
0
, a
n
y b
n
, para funciones periodicas sobre el intervalo
[L, L], en ciertas situaciones es conveniente considerar el intervalo [, + 2L], en donde es
cierto n umero real. En este caso, (1) todava ofrece la serie de Fourier de f (t) y,
Facultad de Ingeniera Ciclo 2013-2
Departamento de Ciencias Cajamarca
2
UNIVERSIDAD
PRIVADA DEL NORTE N
a
0
=
1
L
_
+2L

f (t)dt
a
n
=
1
L
_
+2L

f (t) cos
_
nt
L
_
dt (6)
b
n
=
1
L
_
+2L

f (t) sen
_
nt
L
_
dt
Estos resultados se mantienen para una funcion f (t) peri odica extendida desde el menos innito
al m as innito. Por lo tanto, los resultados deben permanecer inalterados, al pasar del intervalo
[L, L] al nuevo intervalo [, + 2L].
Ahora nos formulamos las siguientes interrogantes: que tipo de funciones tienen series de
Fourier?; si la funcion es discontinua en un punto que valor tendr a su serie de Fourier?. Estas
interrogantes fueron respondidas por Dirichlet en la primera mitad del siglo XIX. Sus resultados
pueden resumirse como sigue,
1.3. Teorema de Dirichlet.
Si para el intervalo [L, L], la funcion f (t): a) tiene valor unico, b) esta acotada, c)
tiene a lo sumo un n umero nito de m aximos y mnimos y d) tiene s olo un n umero nito de
discontinuidades (continua por partes) y si e) f (t + 2L) = f (t) para valores de t fuera de
[L, L], entonces,
f (t) =
a
0
2
+
N

n=1
a
n
cos
_
nt
L
_
+b
n
sen
_
nt
L
_
(7)
converge a f (t) para N en los valores de t para los que f (t) es continua, y a
1
2
[f (t
+
) +f (t

)]
en los puntos de discontinuidad.
Las cantidades t
+
y t

denotan a los puntos innitesimalmente situados a la derecha y a

la izquierda de t. Los coecientes en (7) son calculados por (2), (4) y (5). Una funcion f (t) es
acotada si se cumple la desigualdad: |f (t)| M con cierta constante M para todos los valores
de t. Dado que las condiciones de Dirichlet a)-d) son muy debiles es muy raro que no existan
series de Fourier para funciones en el campo aplicativo ingenieril y cientco.
Facultad de Ingeniera Ciclo 2013-2
Departamento de Ciencias Cajamarca
3
UNIVERSIDAD
PRIVADA DEL NORTE N
Figura 1: Un producto de la Revoluci on Francesa, (Jean Baptiste) Joseph Fourier (1768-1830) ocupo cargos
en el Imperio Napole onico durante su temprana carrera. Despues de la cada de Napoleon en el poder, Fourier
dedic o su talento exclusivamente a la ciencia. A pesar que gano el premio del Instituto de Francia en 1811 por su
trabajo en difusion del calor, la crtica a su rigor matematico y generalizaci on, le llevo a publicar el libro clasico
Theorie analytique de la chaleur en 1823. En este libro presento al mundo la serie que lleva su nombre.
Ejemplo 1 Vamos a encontrar la serie de Fourier para la funci on:
f (t) =
_
0, < t 0
t, 0 t <
(8)
Calculamos los coecientes de Fourier a
n
y b
n
usando (6) para L = y = . Obtenemos
luego que,
a
0
=
1

f (t)dt =
1

_

0
tdt =

2
(9)
a
n
=
1

_

0
t cos (nt)dt =
1

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

0
(10)
=
cos (n) 1
n
2

=
(1)
n
1
n
2

(11)
b
n
=
1

_

0
t sen (nt)dt =
1

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

0
= (12)
Facultad de Ingeniera Ciclo 2013-2
Departamento de Ciencias Cajamarca
4
UNIVERSIDAD
PRIVADA DEL NORTE N
=
cos n
n
=
(1)
n+1
n
(13)
para n = 1, 2, 3, . . .. En consecuencia, la serie de Fourier para la funci on f (t) es:
f (t) =

4
+

n=1
(1)
n
1
n
2

cos (nt) +
(1)
n+1
n
sen (nt) = (14)
=

4

2

m=1
cos [(2m1) t]
(2m1)
2

n=1
(1)
n
n
sen (nt) (15)
Figura 2: Suma parcial de la serie de Fourier para la funcion (8).
Notamos que en los puntos t = (2n 1) , en donde n = 1, 2, 3, . . . la funci on salta de
cero a . Entonces, a que valores converge la serie de Fourier en estos puntos?. De acuerdo
con el teorema de Dirichlet, la serie converge a la media de los valores de la funci on justo a la
derecha e izquierda del punto de discontinuidad, es decir, ( + 0) /2 = /2.
Facultad de Ingeniera Ciclo 2013-2
Departamento de Ciencias Cajamarca
5
UNIVERSIDAD
PRIVADA DEL NORTE N
En los demas puntos la serie converge a f (t). Como muestra la gura 2, las correcciones suce-
sivas han sido hechas para el valor medio de la serie, /2. Como cada harmonico es adicionado,
la serie de Fourier se ajusta mejor a la funci on en el sentido del mnimo cuadrado:
_
+2L

[f (x) f
N
(x)]
2
dx = minimum (16)
en donde f
N
(x) es la serie de Fourier truncada de N terminos.
Ejemplo 2 Calculemos la serie de Fourier para la funci on f (t) = |t|, la cual es denida sobre
el rango t .
De la denicion de los coecientes de Fourier, tenemos:
a
0
=
1

__
0

tdt +
_

0
tdt
_
=

2
+

2
= (17)
a
n
=
1

__
0

t cos (nt)dt +
_

0
t cos (nt)dt
_
= (18)
=
nt sen(nt) + cos (nt)
n
2

|
0

+
nt sen(nt) + cos (nt)
n
2

0
= (19)
=
2
n
2

[(1)
n
1] (20)
y
b
n
=
1

__
0

t sen (nt)dt +
_

0
t sen (nt)dt
_
= (21)
=
nt cos (nt) sen (nt)
n
2

|
0

nt cos (nt) sen (nt)

n
2

0
= 0 (22)
para n = 1, 2, 3, . . ..
Facultad de Ingeniera Ciclo 2013-2
Departamento de Ciencias Cajamarca
6
UNIVERSIDAD
PRIVADA DEL NORTE N
Consecuentemente,
|t| =

2
+
2

n=1
[(1)
n
1]
n
2
cos (nt) =

2

4

m=0
cos [(2m1) t]
(2m1)
2
(23)
para t .
Ejemplo 3 Algunas veces la funci on f (t) es par o impar. Podemos usar esta propiedad para
simplicar nuestro trabajo?. La respuesta es s.
Sea f (t) una funci on par. Entonces,
a
0
=
1
L
_
L
L
f (t)dt =
2
L
_
L
0
f (t)dt (24)
y
a
n
=
1
L
_
L
L
f (t) cos
_
nt
L
_
dt =
2
L
_
L
0
f (t) cos
_
nt
L
_
dt (25)
mientras que,
b
n
=
1
L
_
L
L
f (t) sen
_
nt
L
_
dt = 0 (26)
Aqu hemos utilizado las propiedades:
_
L
L
f
p
(x)dx = 2
_
L
0
f
p
(x)dx y
_
L
L
f
i
(x)dx = 0.
Por lo tanto, si tenemos una funci on par, simplemente calcularemos a
0
y a
n
con (24) y (25) y
b
n
= 0. Dado que la correspondiente serie contiene solo terminos coseno, a menudo es llamada
serie coseno de Fourier.
De manera similar, si f (t) es impar, entonces
a
0
= a
n
= 0, y b
n
=
2
L
_
L
0
f (t) sen
_
nt
L
_
dt (27)
Facultad de Ingeniera Ciclo 2013-2
Departamento de Ciencias Cajamarca
7
UNIVERSIDAD
PRIVADA DEL NORTE N
Consecuentemente, si tenemos una funci on impar, simplemente calculamos b
n
con (27) y a
0
=
a
n
= 0. Dado que la correspondiente serie contiene solo terminos senos, usualmente es llamada
serie senos de Fourier.
Ejemplo 4 En el caso que f (x) sea una funci on constante y/o trigonometrica, es mas facil
encontrar la correspondiente serie de Fourier por inspecci on antes de usar (6).
Por ejemplo, encontremos la serie de Fourier para la funci on f (x) = sen
2
(x), denida sobre el
rango x .
Comenzamos reescribiendo f (x) = sen
2
(x) como f (x) =
1
2
[1 cos (2x)]. Notamos que cual-
quier funci on denida sobre el rango x tiene la serie de Fourier
f (x) =
a
0
2
+

n=1
a
n
cos (nx) +b
n
sen (nx) = (28)
=
a
0
2
+a
1
cos (x) +b
1
sen (x) +a
2
cos (2x) +b
2
sen (2x) +. . . (29)
De otro lado,
f (x) =
1
2

1
2
cos (2x) (30)
=
1
2
+ 0 cos (x) + 0 sen (x)
1
2
cos (2x) + 0 sen (2x) +. . . (31)
Consecuentemente, por inspecci on, podemos inmediatamente escribir que
a
0
= 1, a
1
= b
1
= 0, a
2
=
1
2
, b
2
= 0, a
n
= b
n
= 0, n 3. (32)
De tal modo que en lugar de la expansion usual que envuelve a un n umero innito de terminos
seno y coseno, nuestra serie de Fourier contiene solo dos terminos y es simple:
f (x) =
1
2

1
2
cos (2x), x (33)
Facultad de Ingeniera Ciclo 2013-2
Departamento de Ciencias Cajamarca
8
UNIVERSIDAD
PRIVADA DEL NORTE N
Ejemplo 5 (Silenciamiento de los neum aticos de nieve)
Una aplicacion de las series de Fourier para un problema en la industria, ocurri o ha-
ce varios a nos, cuando los conductores descubrieron que los neum aticos de nieve producen un
silbido sobre pavimento seco. Los sonidos del neum atico son producidos principalmente por la
interacci on dinamica entre los elementos de rodadura con la supercie de la carretera. Como
cada elemento de rodadura pasa por la zona de contacto, esto aporta con un pulso de energa
ac ustica al campo ac ustico total emitido por el neum atico.
Figura 3: Espaciamiento temporal (sobre dos periodos) y espectro de frecuencias de los pasos del neumatico de
nieve uniformemente espaciados.
Para pasos regularmente espaciados suponemos que la liberaci on de la energa ac ustica
es como en la parte superior de la Figura 3. Si realizamos el an alisis de Fourier para esta
distribucion, tenemos que:
a
0
=
1

_
_
/2+
/2
1dt +
_
/2+
/2
1dt
_
=
4

, (34)
Facultad de Ingeniera Ciclo 2013-2
Departamento de Ciencias Cajamarca
9
UNIVERSIDAD
PRIVADA DEL NORTE N
en donde es la mitad de la anchura del paso y
a
n
=
1

_
_
/2+
/2
cos (nt)dt +
_
/2+
/2
cos (nt)dt
_
= (35)
=
1
n
_
sen (nt) |
/2+
/2
+ sen (nt) |
/2+
/2
_
= (36)
=
1
n
_
sen
_

n
2
+n
_
sen
_

n
2
n
_
+
+sen
_
n
2
+n
_
sen
_
n
2
n
_
] (37)
=
1
n
_
2 cos
_

n
2
_
+ 2 cos
_
n
2
__
sen (n) = (38)
=
4
n
cos
_
n
2
_
sen (n) (39)
Dado que f (x) es una funci on par, b
n
= 0
Ahora surge la pregunta sobre c omo ilustrar mejor los coecientes de Fourier. Luego mostraremos
que cualquier harmonico puede ser representado como una simple onda A
n
cos (nt/L +
n
) o
A
n
sen (nt/L +
n
), en donde la amplitud A
n
=
_
a
2
n
+b
2
n
En el marco inferior de la Figura 3, se uso MatLab para gracar esta amplitud, usualmen-
te llamada amplitud o espectro de frecuencia
1
2
_
a
2
n
+b
2
n
como funci on de n para un = /12
elegido arbitrariamente. Aunque el valor de afectara a la forma exacta del espectro, los argu-
mentos cualitativos que presentemos permaneceran sin cambios. Hemos a nadido el factor
1
2
de
modo que nuestra denicion del espectro de frecuencias sea consistente con la de una serie de
Fourier compleja. El espectro de amplitud en la gura 3 muestra que el espectro para pasos de
neum aticos periodicamente colocados tiene su amplitud mas grande en peque nos n. Esto produce
un tono fuerte mas armonicas fuertes porque el fundamental y sus armonicos son los termi-
nos dominantes en la representacion de la serie de Fourier. Claramente este zumbito fuerte y
monotono es indeseable. C omo podemos evitarlo?. As como una marcha a paso de soldados
producen un sonido alto uniforme.
Facultad de Ingeniera Ciclo 2013-2
Departamento de Ciencias Cajamarca
10
UNIVERSIDAD
PRIVADA DEL NORTE N
Variemos ahora el intervalo entre las pisadas de modo que la distancia entre cualquier pisada
y su vecino mas cercano no sea igual que el ilustrado en la Figura 4. Otra vez realizamos su
an alisis Fourier y obtenemos lo siguiente:
Figura 4: Espacio temporal y espectro de frecuencias del sonido interespaciado nouniforme de la banda de
rodadura.
a
0
=
1

_
_
/2+
/2
1dt +
_
/4+
/4
1dt
_
=
4

, (40)
a
n
=
1

_
_
/2+
/2
cos (nt)dt +
_
/4+
/4
cos (nt)dt
_
(41)
a
n
=
1
n
sen (nt) |
/2+
/2
+
1
n
sen (nt) |
/4+
/4
(42)
=
1
n
_
sen
_
n
2
n
_
sen
_
n
2
+n
__
+
Facultad de Ingeniera Ciclo 2013-2
Departamento de Ciencias Cajamarca
11
UNIVERSIDAD
PRIVADA DEL NORTE N
+
1
n
_
sen
_
n
2
+n
_
sen
_
n
2
n
__
(43)
y
b
n
=
1

_
_
/2+
/2
sen (nt)dt +
_
/4+
/4
sen (nt)dt
_
= (44)
=
1
n
_
cos
_
n
2
n
_
cos
_
n
2
+n
__

1
n
_
cos
_
n
2
+n
_
cos
_
n
2
n
__
(45)
b
n
=
2
n
_
sen
_
n
4
_
sen
_
n
2
__
sen (n) (46)
Se utiliz o un script de MatLab para calcular la amplitud de cada armonico en funci on de n y los
resultados fueron trazados en la Figura 4. El punto importante es que nuestra nueva elecci on para
el espaciamiento de las bandas de rodadura ha reducido o eliminado algunos de los armonicos
en comparacion con el caso de bandas de rodadura equidistantes. En cuanto al lado negativo
notamos algunos de los armonicos que anteriormente estaban ausentes. Sin embargo, el efecto
neto es ventajoso porque las bandas de rodadura producen menos ruido con mayor frecuencias
en lugar de un fuerte ruido con menor frecuencias.
Si extendiesemos esta tecnica para bandas de rodadura ubicadas completamente al azar, se pro-
ducira muy poco ruido a altas frecuencias y el ruido total sera comparable a la que se genera
por otras fuentes dentro del coche. Para encontrar la distribucion de las bandas de rodadura
con el ruido mas blanco, se utiliza el proceso de ensayo y error. Asumiendo una distribucion,
podemos realizar un analisis de Fourier para obtener el espectro de frecuencias. Si en el espectro
hay picos, podemos ajustar los elementos de la distribucion de la banda de rodadura inuyentes
y analizar la distribucion obtenida. Estar a listo cuando no aparecen los picos.
2. Propiedades de las series de Fourier.
En la secci on anterior se presento la serie de Fourier y mostro la forma de calcularla dada la
funci on f (t). En esta secci on vamos a examinar algunas propiedades particulares de estas series:
Facultad de Ingeniera Ciclo 2013-2
Departamento de Ciencias Cajamarca
12
UNIVERSIDAD
PRIVADA DEL NORTE N
2.1. Diferenciaci on de las series de Fourier.
En ciertos casos solo tenemos la representacion en serie de Fourier de una funci on f (t). Po-
demos encontrar la derivada o la integral de f (t) simplemente diferenciando o integrando su
serie de Fourier termino a termino?. Es esto v alido?. Consideremos primeramente el caso de
diferenciacion.
Considerar la function f (t) de periodo 2L con derivada f

(t). Supongamos que podemos extender

f

(t) como una serie de Fourier. Esto implica que f

(t) es continua excepto en un n umero nito

de puntos y f (t) es continua sobre el intervalo que empieza en t = y naliza en t = + 2L.
Entonces
f

(t) =
a

0
2
+

n=1
a

n
cos
_
nt
L
_
+b

n
sen
_
nt
L
_
, (47)
en donde se han denotado los coecientes de Fourier de f

(t) con apostrofos. Calculamos los

coecientes de Fourier,
a

0
=
1
L
_
+2L

(t) dt =
1
L
[f ( + 2L) f ()] = 0, (48)
si f ( + 2L) = f (). Similarmente, por integracion por partes,
a

n
=
1
L
_
+2L

(t) cos
_
nt
L
_
dt (49)
=
1
L
_
f (t) cos
_
nt
L
__
|
+2L

+
n
L
2
_
+2L

f (t) sen
_
nt
L
_
dt (50)
=
nb
n
L
(51)
y
b

n
=
1
L
_
+2L

(t) sen
_
nt
L
_
dt (52)
Facultad de Ingeniera Ciclo 2013-2
Departamento de Ciencias Cajamarca
13
UNIVERSIDAD
PRIVADA DEL NORTE N
=
1
L
_
f (t) sen
_
nt
L
__
|
+2L

n
L
2
_
+2L

f (t) cos
_
nt
L
_
dt (53)
=
na
n
L
. (54)
Consecuentemente, si tenemos la funci on f (t) cuya derivada f

(t) es continua excepto en un

n umero nito de puntos y f () = f ( + 2L), entonces
f

(t) =

n=1
n
L
_
b
n
cos
_
nt
L
_
a
n
sen
_
nt
L
__
. (55)
Es decir, la derivada de f (t) est a dada por una diferenciacion termino a termino de la serie de
Fourier de f (t).
Ejemplo 6 La serie de Fourier para la funci on periodica:
f (t) =
_

_
0 t 0,
t 0 t /2,
t /2 t ,
f (t) = f (t + 2) (56)
es
f (t) =

8

1

n=1
cos [2 (2n 1) t]
(2n 1)
2

2

n=1
(1)
n
(2n 1)
2
sen [(2n 1) t] . (57)
Dado que f (t) es continua en el intervalo completo (, ) y f () = f () = 0, podemos
encontrar f

(t) tomando la derivada de (57) termino a termino:

f

(t) =
2

n=1
sen [2 (2n 1) t]
2n 1

2

n=1
(1)
n
2n 1
cos [(2n 1) t] . (58)
Esta es la misma serie de Fourier que se obtendra mediante el c alculo de la serie de Fourier
para:
Facultad de Ingeniera Ciclo 2013-2
Departamento de Ciencias Cajamarca
14
UNIVERSIDAD
PRIVADA DEL NORTE N
f

(t) =
_

_
0 t 0,
1 0 t /2,
1 /2 t ,
f (t) = f (t + 2) (59)
2.2. Integracion de las series de Fourier.
Para determinar si podemos encontrar la integral de f (t) por integraci on termino a termino de
su serie de Fourier, se considera la forma de la antiderivada de f (t):
F (t) =
_
t
0
_
f ()
a
0
2
_
d (60)
Ahora
F (t + 2L) =
_
t
0
_
f ()
a
0
2
_
d +
_
t+2L
t
_
f ()
a
0
2
_
d (61)
= F (t) +
_
L
L
_
f ()
a
0
2
_
d (62)
= F (t) +
_
L
L
f () d La
0
= F (t) , (63)
de modo que F (t) tiene un periodo de 2L. Por consiguiente, podemos expander F (t) como la
serie de Fourier:
F (t) =
A
0
2
+

n=1
A
n
cos
_
nt
L
_
+B
n
sen
_
nt
L
_
. (64)
Para A
n
,
A
n
=
1
L
_
L
L
F (t) cos
_
nt
L
_
dt (65)
Facultad de Ingeniera Ciclo 2013-2
Departamento de Ciencias Cajamarca
15
UNIVERSIDAD
PRIVADA DEL NORTE N
=
1
L
_
F (t)
sen (nt/L)
n/L
_
|
L
L

1
n
_
L
L
_
f (t)
a
0
2
_
sen
_
nt
L
_
dt (66)
=
b
n
n/L
. (67)
Similarmente,
B
n
=
a
n
n/L
. (68)
Por lo tanto,
_
t
0
f () d =
a
0
t
2
+
A
0
2
+

n=1
a
n
sen (nt/L) b
n
cos (nt/L)
n/L
(69)
Esto es identico a una integracion termino a termino de la serie de Fourier de f (t). Por lo
tanto, siempre podemos encontrar la integral de f (t) por una integraci on termino a termino de
su serie de Fourier.
Ejemplo 7 La serie de Fourier para f (t) = t para < t < es:
f (t) = 2

n=1
(1)
n
n
sen (nt) . (70)
Para encontrar la serie de Fourier de f (t) = t
2
, integramos (70) termino a termino y encontra-
mos que,

2
2
|
t
0
= 2

n=1
(1)
n
n
2
cos (nt) . (71)
Facultad de Ingeniera Ciclo 2013-2
Departamento de Ciencias Cajamarca
16
UNIVERSIDAD
PRIVADA DEL NORTE N
3. Expansiones en rango medio.
En ciertas aplicaciones, encontraremos que necesitamos una representacion en serie de Fourier
para una funci on f (x) aplicada sobre el intervalo (0, L) antes que sobre (L, L). Debido a que
podemos denir libremente la funci on en el intervalo (L, 0), lo mas sencillo es tener una serie
que consta solo de senos o cosenos. En esta secci on vamos a mostrar c omo podemos obtener las
llamadas expansiones de rango medio.
Recordemos c omo en el Ejemplo 3 vimos que si f (x) es una funci on par, entonces b
n
= 0 para
todo n. Similarmente, si f (x) es una funci on impar, entonces a
0
= a
n
= 0 para todo n. Nosotros
usaremos estos resultados para encontrar la expansion de Fourier en rango medio mediante la
extensi on de la funci on denida en el intervalo (0, L) ya sea como una funci on par o impar
en el intervalo de (L, 0). Si extendemos f (x) como una funci on par, tendremos una serie de
cosenos en rango medio; y si extendemos f (x) como una funci on impar, obtendremos una serie
de senos en rango medio.
Es importante recordar que la expansion en rango medio es un caso especial de la serie general
de Fourier. Para una funci on f (x) se puede construir ya sea una serie seno de Fourier o una
serie coseno de Fourier sobre el intervalo (L, L). Ambas series dan un resultado correcto sobre
el intervalo (0, L). Cual elegir?, depende de si queremos trabajar con una serie de Fourier de
senos o de cosenos.
Ejemplo 8 Vamos a encontrar la expansion sinusoidal de rango medio de
f (x) = 1, 0 < x < (72)
Empezamos por la denicion de la funci on impar periodica

f (x)
_
1 < x < 0
1 0 < x <
(73)
con

f (x + 2) =

f (x). Dado que

f (x) es impar, a
0
= a
n
= 0 y
b
n
=
2

_

0
1 sen (nx) dx =
2
n
cos (nx) |

0
(74)
=
2
n
[cos (n) 1] =
2
n
[(1)
n
1] . (75)
Facultad de Ingeniera Ciclo 2013-2
Departamento de Ciencias Cajamarca
17
UNIVERSIDAD
PRIVADA DEL NORTE N
La expansion en rango medio de la serie seno de Fourier para f (x) es entonces:
f (x) =
2

n=1
[1 (1)
n
]
n
sen (nx) =
4

m=1
sen [(2m1) x]
2m1
(76)
En contraposicion calculemos la expansion en rango medio de la serie coseno de Fourier para
f (x) = 1, 0 < x < . Ahora, tenemos que b
n
= 0,
a
0
=
2

_

0
1dx = 2, (77)
y
a
n
=
2

_

0
cos (nx) dx =
2
n
sen (nx) |

0
= 0, (78)
Por lo tanto la expansion en rango medio de la serie coseno de Fourier es igual al unico termino:
f (x) = 1, 0 < x < (79)
Esto es perfectamente razonable. Para formar una expansion coseno en rango medio, extendemos
f (x) como una funci on par en el intervalo (, 0). En este caso, obtendramos

f (x) = 1
para < x < . Por ultimo, tomamos nota de que la serie de Fourier de una constante es
simplemente la constante. En la pr actica es imposible calcular (76) en forma exacta y se suman
solamente los primeros N terminos.
Facultad de Ingeniera Ciclo 2013-2
Departamento de Ciencias Cajamarca
18
UNIVERSIDAD
PRIVADA DEL NORTE N

Indice
1. Serie de Fourier. 1
1.1. Introducci on. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2. Series de Fourier. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.3. Teorema de Dirichlet. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
2. Propiedades de las series de Fourier. 12
2.1. Diferenciacion de las series de Fourier. . . . . . . . . . . . . . . . . . . . . . . 13
2.2. Integracion de las series de Fourier. . . . . . . . . . . . . . . . . . . . . . . . . 15
3. Expansiones en rango medio. 17
Facultad de Ingeniera Ciclo 2013-2
Departamento de Ciencias Cajamarca
19