Escolar Documentos
Profissional Documentos
Cultura Documentos
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
numero 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 numero
Z b 1
kf k = f 2 (x) dx 2
Por ejemplo, las funciones f1 (x) = x2 y f2 (x) = x3 son ortogonales en el intervalo [1, 1]
puesto que
Z 1 Z 1 1 6 1
hf1 , f2 i = x2 x3 dx = x5 dx = x 1 = 0
1 1 6
Definicion 4.1.3. Se dice que un conjunto de funciones {n }
n=0 es ortogonal en el intervalo [a, b]
si
Z b
hm , n i = m (x)n (x) dx = 0, m 6= n
a
Si {n }
n=0 es un conjunto ortogonal de funciones en el intervalo [a, b] con la propiedad de que
kn k = 1 para cualquier n, entonces se dice que {n }
n=0 es un conjunto ortonormal en el intervalo
[a, b].
65
4.1. FUNCIONES ORTOGONALES 66
2
1 cos(x) cos(2x)
De esta forma el conjunto { , , , . . . , } es ortonormal en [, ].
2
Nota 4.1.5. De manera analoga puede probarse que el conjunto
1 cos(x) cos(2x) sen(x) sen(2x)
{ , , ,..., , ,...,}
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 }
n=0 un conjunto ortogonal de funciones en el intervalo [a, b] y sea f una funcion
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]
Z b Z b Z b Z b
f (x)m (x) dx = c0 0 (x)m (x) dx + c1 1 (x)m (x) dx + + cn n (x)m (x) dx + . . .
a a a a
Por ortogonalidad, cada termino del lado derecho de la ultima ecuacion es cero, excepto cuando
n = m. En este caso, se tiene
Z b Z b Z b
f (x)n (x) dx = cn n (x)n (x) dx = cn 2n (x) dx
a a a
Por tanto,
X
f (x) = cn n (x)
n=0
donde los coeficientes cn vienen dados por
Rb
f (s)n (s) ds hf, n i
cn = a R b =
2 kn k2
a n (s) ds
4.2. SERIES DE FOURIER 67
esto es,
X hf, n i
f (x) = n
kn k2
n=0
0, si < x <
f (x) = 2
1, si x <
2
De acuerdo con la definicion de los coeficientes de Fourier:
1
Z
3
a0 = ds =
2
2
n1
(
1 sen( n
2 )
Z
(1) 2
an = cos(ns) ds = = n , si n es impar
n 0, si n es par
2
Z n 1
1 cos(n) cos( 2 ) n , si n es impar
bn = sen(ns) ds = + = 1 n
n n n (1 + (1) 2 ), si n es par
2
4.3. DESARROLLOS DE SERIES DE FOURIER DE FUNCIONES PARES E IMPARES 68
Si f es una funcion par en (p, p), entonces los coeficientes de la serie de Fourier se convierten
en:
1 p 2 p
Z Z
a0 = f (s) ds = f (s) ds
p p p 0
pues f (x) es par.
1 p 2 p
Z Z
n n
an = f (s) cos( s) ds = f (s) cos( s) ds, n = 1, 2, . . .
p p p p 0 p
pues f (x) cos( n
p x) es par.
Z p
1 n
bn = f (s) sen( s) ds = 0, n = 1, 2, . . .
p p p
pues f (x) sen( n
p x) es impar.
5
3 2 1 0 1 2 3
Ejemplo 4.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:
an = 0, n = 0, 1, 2, . . .
2 2 4(1)n+1
Z
n
bn = x sen( s) ds = , n = 1, 2, . . .
2 0 2 n
Entonces la serie de Fourier es
4 X (1)n+1 n
sen( x)
n 2
n=1
5
3 2 1 0 1 2 3
5
3 2 1 0 1 2 3
3. (Traslacion) definir la funcion mediante f (x) = f (x + p) para x (p, 0), lo que dara origen
a una serie de Fourier general.
4.4. Convergencia
El siguiente teorema expresa las condiciones suficientes de convergencia de una serie de Fourier
en un punto.
Teorema 4.4.1. Sean f y f 0 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
donde f (x+ ) y f (x ) denotan los lmites de f en x por la derecha y por la izquierda, respectivamente.
Si la funcion es periodica de perodo 2p el resultado anterior se tiene para cualquier x R, no
solo para el intervalo (p, p).
j n x
El conjunto de funciones {e } constituyen un sistema ortogonal con respecto al producto
p
La serie
j n x
X
cn e p
n=
se llama serie de Fourier compleja de f , donde los coeficientes son:
Z p
1 j n s
cn = f (s)e p ds
2p p
La serie de Fourier compleja de una funcion y la serie de Fourier de una funcion son en realidad
la misma. es decir, dos maneras distintas de escribir lo mismo.
De la definicion de cn , an y bn se tiene que, para cada numero n > 0
an jbn an + jbn
cn = , cn =
2 2
y
a0
c0 =
2
Las series de Fourier representan funciones definidas en un intervalo de la recta o, equivalen-
temente, 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 perodo 2p, entonces su serie de Fourier en forma compleja es
Z p
X 1 j n s j n x
( f (s)e p ds)e p
n=
2p p
n
Llamando n = y
p Z p
h() = f (s)ejs ds
p
la expresion anterior se escribe:
1 X
(n n1 )h(n )ejx
2 n=
que tiene el aspecto de una suma de Riemann. En el lmite tendramos
Z Z
1
( f (s)ejs ds)ejx d
2
que contiene lo que se llama transformada de Fourier
Z
F(f )() = f (s)ejs ds =
Z Z
= f (s) cos(s) ds + j f (s) sen(s) ds =
4.5. TRANSFORMADA DE FOURIER 72
Z Z
= f (s) cos(s) ds j f (s) sen(s) ds
y la formula de inversion que dara f a partir de la transformada:
Z
1
f (x) = F(f )()ejx d =
2
Z Z
1
= F(f )() cos(x) d + j F(f )() sen(x) d
2
Nota 4.5.1. La definicion vara segun los gustos en la aparicion de ciertas constantes, por ejemplo
el exponente puede ser 2jx; en ese caso, la formula de inversion no lleva el factor 1/2 multi-
plicando. Ademas, el exponente casi siempre lleva signo , pero algunos autores usan signo +(en
este caso, el signo aparece en la formula de inversion).
Nota 4.5.2. Una condicion suficiente para que exista la transformada de Fourier es que f sea
absolutamente integrable en (, ) y que f y f 0 sean continuas en todo intervalo finito.
Rt F (f )()
La transformada de Fourier de una funcion definida como f (s)ds es j .
Escalado:
1
La transformada de Fourier de f (at), a 6= 0 es |a| F(f )( a ).
Desplazamiento:
Convolucion:
R
La transformada de Fourier de f (t)g(t) es F(f )()F(g)( u)du
R
La transformada del producto de convolucion f (s)g(t s)ds es F(f )()F(g)()
4.5. TRANSFORMADA DE FOURIER 73
Amplitud
Amplitud
1 1
0 0
1/2 0 1/2 1 0 1
t t
Amplitud
1 1
0 0
Ejemplo 4.5.3. Sea f el pulso rectangular dado por la funcion caracterstica del intervalo [ 12 , 12 ],
es decir,
1, si 12 x 12
f (x) =
0, en otro caso
entonces
Z
F(f )() = f (s)ejs ds =
Z 1
2
F(f )() = ejs ds =
21
Z 1 Z 1
2 2
= cos(s) ds j sen(s) ds =
12 12
1 1 1 1 1 1
= (sen( ) sen( )) + j (cos( ) cos( )) =
2 2 2 2
2
= sen( )
2
La funcion del segundo miembro se suele llamar seno cardinal y se representa por sinc.
Ejemplo 4.5.4. La transformada de g(x) = e2|x| es la funcion
4
F(g)() = 2
4 + 2
4.6. BOLETIN 2 74
4.6. Boletn 2
1. Calcula la serie de Fourier de la funcion
1 |x|, si |x| 1
f (x) =
0, si 1 < |x| 2
2. Calcula la serie de Fourier de la funcion
0, si x < 0
f (x) =
x, si 0 x
3. Calcula las series de Fourier de las funciones | sen(x)| y | cos(x)| en el intervalo (, ).
4. Se define la funcion f (x) = x(1 x) para 0 x 1. Calcula la serie de Fourier de la
reflexion impar de f .
5. Se define la funcion f (x) = 1 2x para 0 x 1. Calcula la serie de Fourier de la reflexion
par de f .
6. Se define la funcion f (x) = x para 0 x 1. Calcula la serie de Fourier de la traslacion de
f , definida por f (x) = f (1 + x), para 1 x < 0.
7. Calcula mediante integracion la transformada de Fourier de la funcion triangulo definida
por:
1 |x|, si |x| 1
f (x) =
0, si |x| > 1
8. Calcula mediante integracion la transformada de Fourier de la funcion decaimiento exponen-
cial truncado definida por:
0, si x 0
f (x) =
ex , si x > 0