Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Introduccin.
Condiciones de Dirichlet.
Desarrollo en Series de Fourier.
Coeficientes de Fourier.
Algunas consideraciones de simetra.
Funciones discontinuas. Fenmeno de Gibbs.
Expansin de Fourier de medio rango.
Series de Fourier para funciones complejas.
a).- Introduccin.
En cursos previos de Matemticas se ha visto que dos vectores y (distintos de cero) son
ortogonales, cuando su producto interno es cero; en una generalizacin de este concepto, es muy
comn hacer una analoga en el caso de funciones definidas en un cierto dominio, y decir que dos
funciones distintas son ortogonales cuando su producto interno es cero.
Funciones ortogonales
Definicin. Se dice que un conjunto de funciones { ()} es ortogonal en el intervalo < < si dos
funciones cualesquiera () y () de dicho conjunto cumplen que
0
( , ) = () () = {
=
Sin embargo, debido a la propiedad de ortogonalidad, las integrales del lado derecho son cero,
excepto cuando m = n, as que la expresin anterior se reduce a
f (t )n (t )dt cn n (t )n (t )dt
a
de donde podemos despejar los coeficientes cn del desarrollo propuesto para f(t).
f (t ) cnn (t )
n 0
donde
cn
f (t )n (t )dt
n (t )
cn f (t )n (t )dt .
a
En particular, las funciones peridicas (como el seno y el coseno) de frecuencias distintas, pero
mltiplos de una frecuencia fundamental, son ortogonales y forman un conjunto completo, por lo que son
una buena opcin para realizar un desarrollo de la forma descrita lneas arriba.
En lo que sigue analizaremos los desarrollos para una funcin f(t) en trminos de una suma de
senos y cosenos.
Tal representacin se llama serie de Fourier y, a diferencia de la serie de Taylor, puede describir
funciones que no son completamente continuas o diferenciables. Adems, son fciles de diferenciar e
integrar, sus mdulos son fciles de evaluar y cada trmino incluye solamente una frecuencia
caracterstica.
Este ltimo punto es importante porque, como se ver ms adelante, la serie de Fourier se utiliza
a menudo para representar la respuesta de un sistema a una entrada peridica, y esta respuesta a menudo
depende directamente de la frecuencia de entrada.
Las series de Fourier se utilizan en una amplia variedad de situaciones fsicas, por ejemplo, las
vibraciones de una cuerda finita, la dispersin de la luz por una rejilla de difraccin, la transmisin de una
seal de entrada a travs de un circuito electrnico, etc.
6-2
En la siguiente figura se muestra un ejemplo de funcin que puede representarse como una serie
de Fourier sin necesidad de modificarla, toda vez que presenta una periodicidad evidente.
Por otro lado, si consideramos la figura que se muestra a continuacin, vemos que la funcin
representada del lado izquierdo no presenta periodicidad, sin embargo se le puede introducir una
periodicidad, logrando una extensin peridica de la funcin, que se muestra en el lado derecho.
6-3
Resumiendo.
Se dice que una funcin f(t) es peridica, con periodo T, si
el dominio de f(t) contiene tanto a t como a t + T; y
f(t+T) = f(t)
Aunque 2T tambin satisface las condiciones anteriores, el valor mnimo de T ser el que usaremos
en lo que sigue.
En otras palabras, cualquier funcin peridica se puede reescribir como una suma de funciones
armnicas multiplicadas por constantes a determinar: an y bn.
En el desarrollo anterior, se considera que la funcin f(t) tiene una periodicidad definida; sin
embargo, ms adelante veremos que aunque la funcin no sea peridica podremos hacer un anlisis de
Fourier mediante la transformada integral de Fourier.
6-4
Un ejemplo grfico.
Otros ejemplos.
f (t )
a0
(an cos nt bn sin nt )
2 n 1
(6.1)
Vale la pena mencionar que en esta expresin se ha separado el trmino cuando n = 0, de la definicin de
Serie de Fourier dada en la seccin anterior, y ahora la sumatoria empieza en n = 1.
6-5
continuacin.
Si multiplicamos la expresin (6.1) por (cos mt) e integramos de 0 a T encontramos que
T
2
an f (t ) cos ntdt
T 0
para
n 1, 2,3,...
a0
2
f (t )dt
T 0
Por otro lado, multiplicando la expresin (6.1) pero ahora por (sin mt), e integrando de 0 a T,
encontramos que
T
bn
2
f (t ) sin ntdt
T 0
para
n 1, 2,3,...
a0
(an cos nt bn sin nt )
2 n 1
an
2
f (t ) cos ntdt
T 0
bn
2
f (t ) sin ntdt
T 0
a0
2
f (t )dt
T 0
2
T
Un ejemplo.
Determina la representacin en series de Fourier de la siguiente funcin f(t).
Solucin.
Primero determinemos el periodo T, y escribamos la expresin matemtica de la funcin f(t),
resultando que
T=2
y
1, 0 t 1
f (t )
0, 1 t 2
A continuacin calculemos los coeficientes del desarrollo de Fourier
T
2
2
a0 f (t )dt f (t )dt 1dt 0dt 1 0 1
T 0
20
0
1
2
2
an f (t ) cos ntdt
T 0
sin n
sin n t
1cos n tdt 0dt
n
n 0
0
1
1
como estamos considerando que n es un entero, este ltimo resultado se anular, por lo que
an 0
Por otro lado, el coeficiente bn est dado por
2
2
bn f (t ) sin ntdt
T 0
cos n t 1 cos n
1sin n tdt 0dt
n
0
0
1
1
cos n (1)n
con lo que
bn
1 (1)n
n
6-7
f (t )
1 1 (1)n
sin n t
2 n1 n
f (t )
1 2
2
2
sin t
sin 3 t
sin 5 t
2
3
5
Es importante mencionar que la serie obtenida anteriormente, en principio, es una serie infinita;
sin embargo, en muchas situaciones ser suficiente considerar un nmero finito de trminos para obtener
la aproximacin deseada, toda vez que conforme sumamos trminos el resultado va convergiendo a la
funcin original f(t).
Lo que puede apreciarse mejor en la siguiente secuencia de imgenes correspondientes a la serie
de Fourier recin construida.
sin t
sin t
sin t
2
2
sin 3t
sin 5t
3
5
2
2
2
2
sin 3t
sin 5t
sin 7t
sin 9t
3
5
7
9
6-8
sin t
sin t
2
sin 3t
3
2
2
2
sin 3t
sin 5t
sin 7t
3
5
7
1 2
2
2
sin t
sin 3t
sin 23t
2
3
23
Antes de continuar vale la pena escribir las siguientes identidades que pueden resultar tiles en el
anlisis de Fourier
sin( x) sin x
cos( x) cos x
sin n 0
cos n (1) n
sin 2n 0
cos 2n 1
Otro ejemplo.
Dada f(t) = t definida en el intervalo [-1,1] y con periodo T = 2, bosqueje la grfica entre t = -3 y t = 3 y
calcule los coeficientes de la serie de Fourier correspondiente.
Solucin.
La grfica de la funcin tiene la forma
As que
a0
2
2
f (t )dt f (t )dt
T 0
T 1
1
1
t2
2
1 1
tdt
0
2 1
2
2 1
an
2
f (t ) cos ntdt t cos n tdt
T 1
1
sin n t
t sin n t
an
dt
n 1 1 n
1
6-9
an 0
cos n cos(n )
0
n 2 2
2
bn f (t )sin ntdt t sin n tdt
T 1
1
es decir
cos n t
t cos n t
bn
dt
n 1 1 n
2 2
n
n 1
1
n
n 2 2
n
n
2 cos n
2(1)
n
n
Con lo anterior, para la funcin f(t) = t definida en el intervalo [-1,1] y con periodo T = 2, la serie
de Fourier resulta ser
2(1)n1
sin n t
n
n 1
f (t )
o expandida en sus primeros trminos
f (t )
sin t
2
2
sin 2 t
sin 3 t
2
3
Un ejercicio.
Dada v(t) = 2 t en el intervalo [0,2], v(t) = 0 en el intervalo [2,4] y con periodo T = 4, (a) bosqueje la
grfica entre t = 0 y t = 12; y (b) calcule los coeficientes de la serie de Fourier correspondiente.
Solucin.
(a) La grfica es
6-10
2
2
a0 v(t )dt 2 1
T 0
4
an
2
2[1 (1) n ]
v
(
t
)
cos
n
tdt
T 0
n 2 2
bn
2
2
v(t ) sin ntdt
T 0
n
1 2[1 (1)n ]
n t 2
n t
v(t )
cos
sin
2 2
2 n1 n
2 n
2
Cuya grfica, considerando los primeros 10 y 50 trminos, es
2.0
2.0
1.5
1.5
1.0
1.0
0.5
0.5
10
12
10
12
6-11
Funcin par
Una funcin f(t) es par si su grfica es simtrica
respecto al eje vertical, tal como se muestra en la
figura.
f (t ) f (t )
para todo valor de t en el dominio de definicin.
6-12
Funcin impar
Una funcin f(t) es impar si su grfica es
antisimtrica respecto al eje vertical, tal como se
muestra en la figura.
f (t ) f (t )
para todo valor de t en el dominio de definicin.
se anula, es decir
fimpar (t )dt 0
6-13
4
a0
T
T /2
f (t )dt ,
4
an
T
T /2
mientras que
6-14
f (t ) cos ntdt
bn 0
a0 an 0
4
bn
T
T /2
f (t ) sin ntdt
En este punto mencionaremos, sin probar, que el valor de la funcin en trminos de la Serie de
Fourier en la discontinuidad ser el promedio de los valores que toma f(t) en la discontinuidad.
6-15
1
lim f (td ) f (td )
2 0
0
f (t )
F
0
T
t 0
2
T
0t
2
para
para
6-16
Uno puede aumentar la cantidad de trminos en la serie, con la idea de que el desarrollo se va a
mejorar, pero esto no termina siendo cierto, al menos, no en la parte de la discontinuidad.
Por lo anterior, resulta muy til extender la funcin no peridica en una funcin peridica antes
de calcular su representacin en serie de Fourier.
La serie de Fourier de esta funcin peridica representara entonces correctamente a la funcin
no peridica en el intervalo deseado.
6-17
Por ejemplo, si consideramos una funcin no peridica tal como la mostrada a continuacin.
6-18
Otro ejemplo.
La funcin peridica mostrada a continuacin
Como puede verse, para la misma funcin f(t), las diferentes extensiones implican modificar el
periodo, en el caso recin mostrado, un dominio inicialmente entre 0 y L, se mantiene sin cambios para
una extensin normal, pero se duplic para las extensiones par e impar.
6-19
f (t )
a0
an cos nt
2 n 1
que slo contiene el desarrollo en trminos de cosenos, por lo que se le conoce como Serie coseno de
Fourier de medio rango.
Serie seno de Fourier de medio rango
Definicin. Si la funcin no peridica se extiende mediante una funcin impar entonces los coeficientes an
se anulan y, por lo tanto, el desarrollo de la funcin se reduce a
f (t ) bn sin nt
n 1
que slo contiene el desarrollo en trminos de senos, por lo que se le conoce como Serie seno de Fourier
de medio rango.
Un ejemplo.
Encuentre el desarrollo en series de Fourier para la funcin f(t) = t2 para el intervalo 0 < t 2.
Solucin. En este caso la funcin tiene la siguiente representacin grfica
6-20
Lo primero que tenemos que hacer es transformarla en una funcin peridica, as que en este caso
consideraremos una expansin par, por lo que ahora tenemos una funcin tal como la mostrada a
continuacin
En este caso, hemos extendido el rango de inters de 0 < t 2, a -2 < t 2, con lo que la funcin extendida
satisface que
f(-t) = f(t)
adems, el periodo de la funcin extendida es T = 4, tal que
f(t + 4k) = f(t)
donde k es un entero cualquiera.
Con lo anterior, la serie de Fourier que obtengamos, debe representar a f(t) en el intervalo
-2 < t 2, pero no afuera.
Como la extensin que realizamos es par, podemos aplicar las condiciones de simetra presentadas
anteriormente, de tal manera que los coeficientes bn sern cero y tendremos una serie coseno de Fourier
de medio rango
f (t )
a0
an cos nt
2 n 1
as que nuestra tarea ser calcular los coeficientes a0 y an, lo que haremos a continuacin.
De la definicin
T
2
2
a0 f (t )dt t 2 dt
T0
4 2
2
2
t 3 23 8
4 2
t dt
40
3 0 3 3
Mientras que
2
2
2 nt
an f (t ) cos ntdt f (t ) cos
dt
T 0
T 0
T
T
2
4 2
2 nt
nt
an t 2 cos
dt t cos
dt
4 2
40
4
2
2
nt
t 2 cos
dt
2
0
2
que podemos resolver usando integracin por partes, para obtener sucesivamente,
2
2
4
nt
nt
an t 2 sin
t
sin
dt
2
n
0
0
2
8 2
8
nt
nt
2 2 t 2 sin
2 2 cos
dt
n n
2 0 n 0
2
16
16
n
2 2 cos n 2 2 1
n
n
2
Con lo que la serie coseno de Fourier para f(t) = t2 en el intervalo -2 < t 2, se escribe como
1
4
nt
f (t ) 16 2 2 cos
3
2
n 1 n
n
Queda de tarea para el lector interesado, construir la serie seno de Fourier para esta funcin,
mediante una extensin impar de f(t).
n=0
n=1
6-22
n=2
n=3
n = 10
n = 50
2n
exp i
t
T
T 0
T
cn
c0
1
f (t )dt .
T 0
6-23
t dt
Esta relacin se puede derivar de manera similar a como se hizo la derivacin de los coeficientes
reales an y bn; slo que en este caso, se debe multiplicar el desarrollo de f(t) por
2m
exp i
T
exp i
0
2m
T
2n
t exp i
T para m n
t dt
0 para m n
an ibn
c n 12 an ibn
cn
1
2
Si f(t) es real entonces c-n = cn*, donde el asterisco (*) significa complejo conjugado.
Un ejemplo.
Encuentre una serie de Fourier compleja para f(t) = t3 en el intervalo -3 < t < 3.
Solucin. En este caso debemos escribir una serie de la forma
f (t )
2n
exp i
T
T 0
T
cn
1 3
n
t exp i
6 3
3
t dt
1 3
n
t exp i
6 3
3
cn
cn
t dt
162 n 2 2 6
1
i (1) n
6
n3 3
cn i (1)
27 n 2 2 6
n3 3
c0
1
f (t )dt
T 0
3
1 3
t dt 0
6 3
6-24
Por lo que la serie de Fourier compleja para f(t) = t3 est dada por
f (t ) i
27
(1)
n
2
n
exp i
3
cuya grfica, calculada considerando los valores de n indicados, junto con f(t) = t3, se muestra a
continuacin.
20
20
10
10
10
10
20
20
-5 < n < 5
30
30
20
20
10
10
10
10
20
20
30
30
6-25