Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Series de Fourier1
Series de Fourier1
Las series e integrales de Fourier constituyen un tema clasico del Analisis Matematico. Desde
su aparicion en el siglo XVIII en el estudio de las vibraciones de una cuerda, las series de
Fourier se han convertido en un instrumento indispensable en el analisis de ciertos fenomenos
periodicos de la Fsica y la Ingeniera. La idea fundamental se basa en aproximar la funcion,
no por una serie de potencias (desarrollo de Taylor), sino por una serie de funciones periodicas
(senos y cosenos).
En lo que sigue consideraremos que las funciones con las que se trabaja son Riemann
integrables en el intervalo correspondiente (bastara, por ejemplo, suponer que son continuas
salvo en un n
umero finito de puntos donde presentan discontinuidades de salto).
Entonces la norma que induce este producto escalar de una funcion f definida en el
intervalo [a, b] es el n
umero
)1
( b 2
f (x) dx 2
f =
a
Definici
on 0.1.2. Dos funciones f1 y f2 son ortogonales en el intervalo [a, b] si
b
f1 , f2 =
f1 (x)f2 (x) dx = 0
a
Por ejemplo, las funciones f1 (x) = x2 y f2 (x) = x3 son ortogonales en el intervalo [1, 1]
puesto que
1
1
[ 1 ]1
2 3
f1 , f2 =
x x dx =
x5 dx = x6 1 = 0
6
1
1
Definici
on 0.1.3. Se dice que un conjunto de funciones {n }
n=0 es ortogonal en el intervalo
[a, b] si
b
m , n =
m (x)n (x) dx = 0,
m = n
a
Si {n }
n=0 es un conjunto ortogonal de funciones en el intervalo [a, b] con la propiedad
de que n = 1 para cualquier n, entonces se dice que {n }
n=0 es un conjunto ortonormal
en el intervalo [a, b].
0 , n =
1 cos(nx) dx =
]
[1
sen(nx) = 0,
n
n = 0
)
1 (
m , n =
cos(mx) cos(nx) dx =
cos((m + n)x) + cos((m n)x) dx =
2
2
m+n
mn
0 =
)1
dx 2 = 2
y para n > 0,
n =
cos (nx) dx
) 12
(1
=
2
)1
[1 + cos(2nx)] dx 2 =
1 cos(x) cos(2x)
, . . . , } es ortonormal en [, ].
De esta forma el conjunto { , ,
2
es ortonormal en [, ].
Es conocido que, dada una base ortogonal en un espacio vectorial de dimension finita,
cualquier elemento de dicho espacio vectorial puede representarse como combinacion lineal
de los elementos de esa base. Nuestro objetivo es extender esta propiedad a un espacio de
dimension infinita.
Sea {n }
on
n=0 un conjunto ortogonal de funciones en el intervalo [a, b] y sea f una funci
definida en ese intervalo. Los coeficientes cm , m = 0, 1, 2, . . . , para los que
f (x) = c0 0 (x) + c1 1 (x) + + cn n (x) + . . .
se calculan multiplicando esta expresion por m e integrando en el intervalo [a, b]
f (x)m (x) dx = c0
a
Por tanto,
f (x) =
cn n (x)
n=0
f (s)n (s) ds
f, n
=
b
n 2
2 (s) ds
a n
esto es,
f (x) =
f, n
n=0
n 2
2
{1, cos( x), cos( x), . . . , sen( x), sen( x), . . . ,}
p
p
p
p
es ortogonal en [p, p].
Sea f una funcion que admite un desarrollo en serie del conjunto anterior, es decir:
a0
n
n
f (x) =
+
(an cos( x) + bn sen( x))
2
p
p
n=1
1
a0 =
p
f (s) ds
p
n
1 p
f (s) cos( s) ds,
an =
p p
p
p
1
n
bn =
f (s) sen( s) ds,
p p
p
n = 1, 2, . . .
n = 1, 2, . . .
La serie
a0
n
n
+
(an cos( x) + bn sen( x))
2
p
p
n=1
0, si < x <
2
f (x) =
1, si x <
2
De acuerdo con la definicion de los coeficientes de Fourier:
1
3
a0 =
ds =
2
2
{
n1
(1) 2
)
sen( n
1
2
, si n es impar
=
an =
cos(ns) ds =
n
2
n
0,
si n es par
{ 1
n
1
cos(n) cos( 2 )
,
si n es impar
n
n
bn =
+
=
sen(ns) ds =
1
2 ),
(1
+
(1)
si n es par
n
n
n
2
Si f es par, entonces
Si f es impar, entonces
f (x) dx = 2
f (x) dx.
0
f (x) dx = 0.
a
1 p
2 p
a0 =
f (s) ds =
f (s) ds
p p
p 0
pues f (x) es par.
n
n
2 p
1 p
f (s) cos( s) ds =
f (s) cos( s) ds, n = 1, 2, . . .
an =
p p
p
p 0
p
pues f (x) cos( n
x) es par.
p
1
bn =
p
f (s) sen(
p
n
s) ds = 0,
p
n = 1, 2, . . .
Ejemplo 0.3.1. La funcion f (x) = x2 es par en el intervalo (2, 2) y por tanto su desarrollo
de Fourier sera en serie de cosenos.
De acuerdo con la definicion de los coeficientes de Fourier:
2 2 2
8
a0 =
s ds =
2 0
3
2
2
n
16(1)n
, n = 1, 2, . . .
an =
s2 cos( s) ds =
2 0
2
n2 2
bn = 0, n = 1, 2, . . .
Entonces la serie de Fourier es
4 16 (1)n
n
+ 2
cos( x)
2
3 n=1 n
2
bn =
2
p
an = 0,
p
0
n = 0, 1, 2, . . .
n
f (s) sen( s) ds, n = 1, 2, . . .
p
y la serie de Fourier es
n=1
bn sen(
n
x)
p
Ejemplo 0.3.2. La funcion f (x) = x es impar en el intervalo (2, 2) y por tanto su desarrollo
de Fourier sera en serie de senos.
De acuerdo con la definicion de los coeficientes de Fourier:
bn =
2
2
an = 0, n = 0, 1, 2, . . .
n
4(1)n+1
s sen( s) ds =
,
2
n
n
4 (1)n+1
sen( x)
n=1
n
2
n = 1, 2, . . .
5
4
3
2
1
0
1
2
3
4
5
3
0.4. CONVERGENCIA
10
5
4
3
2
1
0
1
2
3
4
5
3
0.4. Convergencia
El siguiente teorema expresa las condiciones suficientes de convergencia de una serie de
Fourier en un punto.
Teorema 0.4.1. Sean f y f continuas a trozos en el intervalo (p, p), es decir, continuas
excepto en un numero finito de puntos donde presentan discontinuidades de tipo finito. Entonces la serie de Fourier de f en el intervalo converge a f (x) en los puntos x en los que la
funcion es continua.
En los puntos x en los que la funcion es discontinua la serie de Fourier converge al
promedio:
f (x+ ) + f (x )
2
+
11
El conjunto de funciones {e
j n
x
p
cn e j
n
x
p
n=
an jbn
,
2
cn =
an + jbn
2
a0
2
Las series de Fourier representan funciones definidas en un intervalo de la recta o, equivalentemente, funciones periodicas en la recta. Para representar funciones definidas en toda
la recta y no periodicas, se sustituye por la transformada de Fourier. Ahora es conveniente
trabajar en forma compleja, como hemos indicado que se puede hacer para las series. Formalmente se puede deducir una expresion de la transformada de Fourier a partir de la serie.
Supongamos que f es una funcion periodica de periodo 2p, entonces su serie de Fourier en
forma compleja es
c0 =
1
(
2p
n=
Llamando n =
f (s)ej
ds)ej
n
y
p
h() =
p
n
s
p
f (s)ejs ds
n
x
p
12
1
(n n1 )h(n )ejx
2 n=
f (s) cos(s) ds + j
f (s) cos(s) ds j
f (s) sen(s) ds =
f (s) sen(s) ds
1
f (x) =
F(f )()ejx d =
2
j
1
F(f )() cos(x) d +
F(f )() sen(x) d
=
2
2
Nota 0.5.1. La definicion vara seg
un los gustos en la aparici
on de ciertas constantes, por
ejemplo el exponente puede ser 2jx; en ese caso, la formula de inversion no lleva el
factor 1/2 multiplicando. Ademas, el exponente casi siempre lleva signo , pero algunos
autores usan signo +(en este caso, el signo aparece en la formula de inversion).
Nota 0.5.2. Una condicion suficiente para que exista la transformada de Fourier es que
f sea absolutamente integrable en (, ) y que f y f sean continuas en todo intervalo
finito.
Amplitud
Amplitud
13
1/2 0 1/2
1 0 1
Escalado:
La transformada de Fourier de f (at), a > 0 es a1 F(f )( a ).
Desplazamiento:
La transformada de Fourier de f (t t0 ) es ejt0 F(f )().
La transformada de Fourier de ej0 t f (t) es F(f )( 0 ).
La transformada de Fourier de f (t) cos(0 t) es
Convolucion:
La transformada de Fourier de f (t)g(t) es
Ejemplo 0.5.3. Sea f el pulso rectangular dado por la funcion caracterstica del intervalo
[ 12 , 12 ], es decir,
{
f (x) =
si 12 x
en otro caso
1,
0,
1
2
entonces
F(f )() =
f (s)ejs ds =
F(f )() =
1
2
12
ejs ds =
Amplitud
Amplitud
14
1.5
1.5
1.5
1.5
1
2
=
12
cos(s) ds j
1
2
sen(s) ds =
12
1
1
1
1
1
1
(sen( ) sen( )) j ( cos( ) + cos( )) =
2
2
2
2
2
= sen( )
La funcion del segundo miembro se suele llamar seno cardinal y se representa por sinc.
Ejemplo 0.5.4. La transformada de g(x) = e2|x| es la funcion
F(g)() =
4
+ 2
4 2