ApuntesAnalisisDeFourier 2013092601

Apuntes de Anlisis de Fourier
MSc. Santiago Relos P.

Universidad Mayor de San Simn
10 de septiembre de 2013
2
ndice General
1 Anlisis de Fourier 5
1.1 Aspectos bsicos de la serie de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.1.1 Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2 La serie de Fourier de una funcin . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.2.1 Clculo de las constantes an , bn . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.3 Series de fourier en senos y cosenos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.3.1 El caso de una funcin par . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.3.2 El caso de una funcin impar . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.3.3 Desarrollo de una funcin en senos y cosenos . . . . . . . . . . . . . . . . . . 19
1.4 Convergencia de la serie de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
1.4.1 Convergencia en los extremos . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
1.4.2 El fenmeno de Gibbs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
1.5 Derivacin e integracin de las series de Fourier . . . . . . . . . . . . . . . . . . . . . 23
1.5.1 Integracin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
1.5.2 Derivacin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
1.6 La serie de Fourier compleja . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
1.7 Una aplicacin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
1.7.1 La ecuacin del calor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
1.7.2 La ecuacin de la onda . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
2 La transformada de Fourier 31
2.1 La integral de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
2.2 La integral de Fourier compleja y la transformada de Fourier . . . . . . . . . . . . . 34
2.3 Propiedades de la transformada de Fourier . . . . . . . . . . . . . . . . . . . . . . . . 37
2.4 Convolucin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
2.5 La transformada discreta de Fourier (TDF) . . . . . . . . . . . . . . . . . . . . . . . 45
2.5.1 La deduccin de la TDF . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
2.5.2 Propiedades de la DFT . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
2.5.3 La transformada inversa discreta de Fourier . . . . . . . . . . . . . . . . . . . 47
2.5.4 La identidad de Parseval . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
2.5.5 Relacin de la DF T y los coeficientes de Fourier . . . . . . . . . . . . . . . . 47
3
4 NDICE GENERAL
Captulo 1
Anlisis de Fourier
1.1 Aspectos bsicos de la serie de Fourier

1.1.1 Introduccin
Funciones peridicas
Se dice que una funcin f (x) es peridica si existe un nmero P tal que f (x + P ) = f (x) , el nmero
P ms pequeo que satisface esta propiedad se llama periodo. Es claro que para todo entero n se
cumple f (x + nP ) = f (x) .
Periodo
Ejemplo 1.1 Son funciones peridicas, de periodo 2, las funciones cos (x) y sin(x) .
Extensin peridica
Definicin 1.1 (Extensin peridica) Considrese una funcin f definida en [L, L] , definimos
su extensin peridica tomando la grfica de f en [L, L) y repitindola en cada intervalo de longitud
2L, la funcin fP definida de esta manera cumple fP (x + 2L) = fP (x) para todo x R, la funcin
fP es peridica de periodo 2L.
Ejemplo 1.2 Si f (x) = (x 1)3 (x 1) , x [0, 2.5] , la grfica y su extensin peridica se
5
6 CAPTULO 1. ANLISIS DE FOURIER
muestran a continuacin.
y f ( x) = ( x 1) 3 ( x 1)
2
0 1 2 2.5
Funcin extendida peridicamente

y
2
-1.5 -0.5 0 1 2 2.5 3.5 4.5 5 x
Ejercicios
1. Determinar los periodos de las siguientes funciones:
(a) f (x) = sin (ax) . Sol. 2/a.

(b) f (x) = sin (8x + 4) .
(c) f (x) = sin (6x) + sin (8x) . Sol.
(d) f (x) = sin (3x) + sin (5x) .

(e) f (x) = sin 32 x + 2 cos 53 x . Sol. 12
(f) f (x) = sin (1.4x) + 5 sin (0.2x) + cos (4x)
P P
2. Prubese que si f es funcin par entonces: P f (x) dx = 2 0 f (x) dx y si f es impar:
P
P f (x) dx = 0.
3. Si f es peridica de periodo P, entonces para todo nmero a :

P P +a
f (x) dx = f (x) dx
0 a
4. Sea P el periodo de f (x) = cos (ax) + sin (bx) , probar que existen enteros m, n tales que
a m
b = n.
5. Pruebe que f (x) = cos (t) + sin (1 + ) t no es peridica. (Sug. Emplee la conclusin del
ejercicio anterior)
1.1. ASPECTOS BSICOS DE LA SERIE DE FOURIER 7
Ortogonalidad de funciones exponenciales complejas

Teorema 1.2 Considrese el conjunto

ei2nx/P : n entero ,
entonces se verifica:
P
1 i2mx/P i2nx/P 0 m = n
e e dx =
P 0 1 m=n
Demostracin. Si n = m, entonces:
P P
1 1
ei2mx/P ei2nx/P dx = ei2(mn)x/P dx
P 0 P 0
P
1 P
i2(mn)x/P
= e
P i2 (m n) 0
1
i2(mn)
= e 1
i2 (m n)
= 0
Si m = n :
P P
1 i2mx/P i2nx/P 1
e e dx = dx = 1.
P 0 P 0
Ortogonalidad de las funciones seno y coseno

Ntese que:

i2mx/P i2nx/P 2mx 2mx 2nx 2nx
e e = cos + i sin cos i sin
P P P P
2mx 2nx 2mx 2nx
= cos cos + sin sin
P P P P
2mx 2nx 2mx 2nx
+i sin cos cos sin ,
P P P P
esto motiva el clculo de las siguientes integrales:

P
1 2mx 2nx
cos cos dx
P 0 P P
P
1 2mx 2nx
sin sin dx
P 0 P P
P
1 2mx 2nx
sin cos dx
P 0 P P
P
1 2mx 2nx
cos sin dx
P 0 P P
un clculo elemental da:

P
2 2mx 2nx 0 n = m
cos cos dx =
P 0 P P 1 n=m
P
2 2mx 2nx 0 n = m
sin sin dx =
P 0 P P 1 n=m
P
1 2mx 2nx
sin cos dx = 0, para todo m, n
P 0 P P
que puede escribirse tambin como:

P
2mx 2nx 0 n = m
cos cos dx = P
0 P P 2 n=m
P
2mx 2nx 0 n = m
sin sin dx = P
0 P P 2 n=m
P
2mx 2nx
0 P P
Observacin. La propiedad de ortogonalidad de las anteriores funciones se extiende a cualquier

intervalo [d, d + P ], es decir:
d+P
1 i2mx/P i2nx/P 0 m = n
e e dx =
P d 1 m=n
d+P
2mx 2nx 0 n = m
cos cos dx = P
d P P 2 n=m
d+P
2mx 2nx 0 n = m
sin sin dx = P
d P P 2 n=m
d+P
2mx 2nx
d P P
En efecto: Si m = n :
d+P d+P
1 i2mx/P i2nx/P 1
e e dx = ei2(mn)x/P dx
P d P d
d+P
1 P
i2(mn)x/P
= e
P i2 (m n) d
1
i2(mn)(d+P )/P
= e ei2(mn)d/P
i2 (m n)
1
= ei2(mn)d/P ei2(mn) ei2(mn)d/P

i2 (m n)
1
= ei2(mn)d/P ei2(mn)d/P
i2 (m n)
= 0
1.2. LA SERIE DE FOURIER DE UNA FUNCIN 9
Si n = m :
d+P d+P
1 i2mx/P i2nx/P 1
e e dx = dx
P d P d
= 1
la demostracin es anloga para las funciones seno y coseno.
1.2 La serie de Fourier de una funcin

Supngase que f es una funcin definida en [L, L], supngase existen nmeros an y bn tales que:
1 nx
nx
f (x) = a0 + an cos + bn sin

2 L L
n=1
para x [L, L] , ms adelante justificaremos este hecho.
1.2.1 Clculo de las constantes an , bn .

Aplicaremos las propiedades de las integrales de seno y coseno antes mencionadas. Con P = 2L y
d = L se encuentra:

L
mx nx
0 n = m
cos cos dx =
L L L L n=m
L

mx nx 0 n = m
sin sin dx =
L L L L n=m
L
mx nx
L L L
ms an:
L mx
L mx
cos dx = sin dx = 0.
L L L L
Clculo de a0 . Integramos f (x)

L L
1 nx
nx
f (x) dx = a0 + an cos + bn sin dx

L L 2 L L
n=1
L
1
= a0 dx
L 2
= La0
de donde:
L
1
a0 = f (x) dx.
L L
nx
nx
Clculo de an (n 1). Integramos f (x) cos (ntese que precisamente cos es el

L L
coeficiente de an )

L nx
1 L mx
mx
nx
f (x) cos dx = a0 + am cos + bm sin cos dx

L L L 2 m=1
L L L
L mx
nx
= am cos cos dx +
m=1 L L L
L mx
nx
bm sin cos dx
L L L
m=1
= Lan
luego:
L nx
1
an = f (x) cos dx, n = 1, 2, . . .
L L L
sta frmula es vlida para n = 0. {Esto justifica la eleccin de a0 = 2A0 }
nx
nx
Clculo de bn . Integramos f (x) sin (nuevamente ntese que sin es el coeficiente

L L
de bn )

L nx
1 L mx
mx
nx
f (x) sin dx = a0 + am cos + bm sin sin dx

L L L 2 m=1
L L L
L mx
nx
= am cos sin dx +
L L L
m=1
L mx
nx
bm sin sin dx
m=1 L L L
= Lbn
luego:
L nx
1
bn = f (x) sin dx, n = 1, 2, . . .
L L L
De todo lo anterior deducimos que una funcin f se expresa como:

1 nx nx

2 n=1
L L
donde:
L nx
1
an = f (x) cos dx, n = 0, 1, 2, . . .
L L L
L nx
1
bn = f (x) sin dx, n = 1, 2, . . .
L L L
Observacin importante: los resultados obtenidos siguen siendo vlidos en cualquier intervalo
de longitud P de la forma [d, d + P ] , en tal caso tendremos:

1 2nx 2nx
2 P P
n=1
donde:
d+P
2 2nx
an = f (x) cos dx, n = 0, 1, 2, . . .
P d P
d+P
2 2nx
bn = f (x) sin dx, n = 1, 2, . . .
P d P
Con d = L y P = 2L tendremos los anteriores resultados.
Ejemplo 1.3 Determinaremos la serie de Fourier de la funcin f (x) = |x| , x [, ] .

1
a0 = |x| dx

0
1
= xdx + xdx
0

1 1 2 0 1 2
= x + x
2 2 0

1 1 2 1 2
= +
2 2
=

1 nx
an = |x| cos dx

0
1
= (x cos nx) dx + (x cos nx) dx
0
2 (1 + (1)n )
=
n2

1 nx
bn = |x| sin dx

0
1
= (x sin nx) dx + (x sin nx) dx
0
= 0
por tanto la serie de Fourier de f (x) es:

1 2 (1 + (1)n )
+ cos nx
2 n2
n=1
Ms adelante justificaremos porqu podemos escribir:

1 2 (1 + (1)n )
f (x) = + cos nx, x [, ] ,
2 n=1
n2
al respecto, debemos dejar en claro los siguientes aspectos:

Observacin 1. x debe estar en el intervalo [, ] , cuando esto no ocurre la igualdad carece
de sentido, a continuacin se muestra un cuadro para ver esta situacin:

1 2 (1 + (1)n )
x 2 + cos nx f (x)
n2
n=1
0.5 0.50003 9 0.5
1.0 1.00003 9 1.0
1.5 1.50004 6 1.5
4.0 2.28311 5 4
4.0 2 2.28311 5 2. 28318 5

1 2 (1 + (1)n )
notemos que evidentemente f (x) = 2 + cos nx para x [, ] pero no
n2 n=1
fuera de este intervalo, sin embargo, la serie tiene las mismas imgenes en 4 y 4 2, ms adelante
justificaremos que en realidad la serie es peridica, de periodo 2.
Observacin 2. En la prctica, la suma infinita nunca puede realizarse, lo usual es realizar la
siguiente aproximacin:
N
1 2 (1 + (1)n )
f (x) + 2
cos nx, x [, ] ,
2 n=1
n
a continuacin mostramos las grficas para algunos valores de N comparadas con la grfica de |x|
en [, ] .
N =1 N =3
3
2.5
2.5
2 2
1.5 1.5
1 1
0.5
0.5
-4 -2 0 2 4 -4 -2 0 2 4
x x
N = 11 N = 51
3
3
2.5 2.5
2 2
1.5 1.5
1 1
0.5 0.5
-4 -2 00 2 4 -4 -2 00 2 x 4
x
Ejemplo 1.4 Consideremos ahora f (x) = x, definida en [, ].


1
a0 = x dx

= 0

1
an = (x cos (nx) ) dx

= 0

1
bn = (x sin (nx) ) dx

1
= (x sin (nx) ) dx

1 sin nx nx cos nx
=
n2

1 n cos (n) +n cos (n)
=
n2 n2
2 (1)n+1
= , {Ntese que cos (n) = (1)n }
n
por tanto su serie de Fourier es;

2 (1)n+1
f (x) = sin (nx)
n
n=1
20
2 (1)n+1
Con 20 trminos de la serie se tiene: f (x) = sin (nx)
n
n=1
y

3
-4 -2 00 2 4 x
-1
-2
-3

50
2 (1)n+1
Con 50: f (x) = sin (nx)
n
n=1
y

3
- - - 00 1 2 3
3 2 1 - x
1
-
2
-
3

Ejemplo 1.5 Considere la funcin f (x) = x2 x, definida en [0, 1], determinaremos su serie de
Fourier. Notemos que en este caso P = 1.
Clculo de a0 :
1
2
a0 = x2 x dx
1 0
1
=
3
Clculo de an .

2 1 2
an = x x cos (2nx) dx
1 0
2 2 2 1
1
2 2 n2
4 n x sin 2nx 2 sin 2nx + 4nx cos 2nx 1
2n (cos 2nx + 2nx sin 2nx)
=
2n
0
1 1
2 2 n2
(4n) 2n (1) 1 (1)
= 2n
2n 2n
1
=
2 n2
Clculo de bn .

2 1 2
bn = x x sin (2nx) dx
1 0

1
4 2 n2 x2 cos 2nx + 2 cos 2nx + 4nx sin 2nx 1 (sin 2nx 2nx cos 2nx) 1
2 2 2n
= 4 n
n
0
1
2 2
1 1 1
2 2 4 n + 2 2n (2n) 2 2 (2) 2n (2n)
= 4 n 4 n
n n
n sin 2n + cos 2n 1
=
23 n3
= 0
Por tanto:

1
f (x) = a0 + an cos (nx) + bn sin (nx)
2
n=1

1
= a0 + an cos (2nx) + bn sin (2nx)
2 n=1

1 cos (2nx)
= +
6 2 n2
n=1
Con dos armnicos se encuentra:

2

1 cos (2nx)
f (x) 6 +
2 n2
n=1
y
0.4
0.2
-1 1
00
-2
2
x
-0.2
-0.4
20
cos (2nx)
y con 20 armnicos: f (x, 20) = 16 +
n=1
2 n2
0.4
0.2
-1 1
-2 00 2
-0.2 x
-0.4
Ejercicios
Hallar las series de Fourier de las siguientes funciones. Suponga que se extiende peridicamente en
R.
1.

0 para x [3, 0]
f (x) =
x para x [0, 3]

nx nx
Sol. 3
4 + 3
n2 2 [(1)n 1] cos 3 + 3
n (1)n+1 sin 3 .
n=1
2. f (x) = e4x , x [2, 2] .

8(1)n 8
8 n(1)
n
Sol. a0 = 18 e8 e8 , an = e8 e8 64+ 2 n2 , bn = e e 64+ 2 n2
3. f (x) = |sin x| , x [, ]
4. f (x) = x2 2x, definida en (0, 2) .
4
(a) Sol. a0 = 43 , an = , bn = 0, n 1.
2 n2
5. f (x) = x2 + 2x en (0, 2)

2 4n
(a) Sol. 3 + 3 3 cos (nx)
n
n=1

x (0, 1)
6. f (x) = en (0, 2)
x + 1 (1, 2)

(1)n 1 1 (1)n
(a) Sol. f (x) = 2 2 n2 cos (nx) + sin (nx)
n=1
n

0 x (5, 0)
7. f (x) =
3 x (0, 5)

3 3(1cos n)
(a) Sol. 2 + n sin nx
5
n=1
8. f (x) = x2 definida en (0, 2) .

42
4 4

(a) Sol. 3 + n2 cos nx n sin nx
n=1
9. Sea f (x) = cos (ax) donde a2 no es entero y x [, ] . Halle su serie de Fourier y luego
probar:

1 1 1 1
= 2a + + +
sin (a) 2a2 a2 12 a2 22 a2 32
1.3. SERIES DE FOURIER EN SENOS Y COSENOS 17
1.3 Series de fourier en senos y cosenos

Si una funcin tiene algunas propiedades de simetra, las frmulas para los coeficientes de Fourier
tienen algunas simplificaciones.
Definicin 1.3 (Funcin par e impar) Sea f una funcin definida en (L, L) . Si f (x) = f (x)
para todo x (L, L) , f se llama funcin par. Si f (x) = f (x) para todo x (L, L) , f se
llama funcin impar.
La propiedad fundamental de estas funciones se presenta en el siguiente resultado.
Teorema 1.4 Si f es una funcin par en (L, L), entonces:

L L
f (x) dx = 2 f (x) dx
L 0
Teorema 1.5 Si f es una funcin impar en (L, L), entonces:

L
f (x) dx = 0
L
Adems:
Teorema 1.6 El producto de funciones pares e impares satisface:
funcin f funcin g funcin fg

par par par
par impar impar
impar par impar
impar impar par
1.3.1 El caso de una funcin par

Supngase que f es una funcin par en (L, L). Los coeficientes de Fourier son
L
2 2nx
an = f (x) cos dx
2L L 2L
nx
2 L
= f (x) cos dx, n = 0, 1, 2, . . .
L 0 L
L nx
2
bn = f (x) sin dx = 0, n = 1, 2, . . .
2L L L
Ejemplo 1.6 En el ejemplo 1.3 pgina 11 Se a calculado la serie de Fourier de la funcin f (x) = |x| ,
x [, ] .
a0 =
2 (1 + (1)n )
an =
n2
bn = 0
por tanto la serie de Fourier de f (x) es:

1 2 (1 + (1)n )
+ cos nx
2 n=1
n2
1.3.2 El caso de una funcin impar

Supngase que f es una funcin impar en (L, L). Los coeficientes de Fourier son
L
2 2nx
an = f (x) cos dx = 0, n = 0, 1, 2, . . .
2L L 2L
nx
2 L
bn = f (x) sin dx
L L L
nx
2 L
= f (x) sin dx, n = 1, 2, . . .
L 0 L
Ejemplo 1.7 En la pgina 12, ejercicio 1.4 se ha calculado la serie de Fourier de f (x) = x, definida
en [, ].
a0 = 0
an = 0
2 (1)n+1
bn = ,
n
por tanto su serie de Fourier es:

2 (1)n+1
sin (nx)
n=1
n
1.3. SERIES DE FOURIER EN SENOS Y COSENOS 19
1.3.3 Desarrollo de una funcin en senos y cosenos

Si una funcin f est definida en el intervalo (0, L) , entonces:
(a) la serie de Fourier en cosenos est dado por
1 nx
f (x) = a0 + an cos
2 n=1
L
donde
2 L nx
an = f (x) cos dx, n = 0, 1, 2, . . .

L 0 L
(b) la serie de Fourier en senos est dado por:

nx
f (x) = bn sin
n=1
L
donde
2 L nx
bn = f (x) sin dx, n = 0, 1, 2, . . .

L 0 L
Ejercicios
1. Desarrollar las siguientes funciones en trminos de (i) senos y (ii) cosenos
(a) f (x) = 1 en (0, 1)

4 sin ((2n + 1) x) 2 (1 (1)n ) sin (nx)
Sol. (i) (que es igual a ), (ii) 1
n=0
(2n + 1) n=1
n
(b) f (x) = sin x en (0, /2).

8 (1)n n 2 4 cos (2nx)
Sol. (i) 2
sin (2nx), (ii) +
(4n 1) (4n2 1)
n=1 n=1

x x (0, 4)
(c) f (x) =
8 x x (4, 8)

32 1 n nx
Sol. (i) 2 sin 2 sin 8 ,
n2
n=1

16 1 n+1 n nx
(ii 2 + 2 n2
(1) 1 + 2 cos 2 cos 8
n=1
2. Demostrar que para 0 x :

2 cos (2nx)
(a) x ( x) =
6 n2
n=1

8 sin ((2n 1) x)
(b) x ( x) =
n=1 (2n 1)3
3. Use el anterior problema para probar:

1 2 (1)n1 2 (1)n1 3
= , = , =
n=1
n2 6 n=1 n2 12 n=1 (2n 1)3 32
1.4 Convergencia de la serie de Fourier

Definicin 1.7 (Funcin continua a pedazos) Sea f definida en [a, b] excepto quizs en un
nmero finito de puntos. Se dice que f es continua a pedazos si:
1. f es continua en [a, b] excepto quizs en un nmero finito de puntos.
2. Los lmites laterales limxa+ f (x) y limxb f (x) existen y son finitos.
3. Si x0 (a, b) es un punto de discontinuidad, entonces los lmites laterales en este punto existen
y son finitos.
Ejemplo 1.8 La siguiente funcin es continua a pedazos en [5, 2]

x2 6x 8 x [5, 1]

2x2 x (1, 1)
f (x) =

x [1, 2]

sin (x) (2, 4]
y
2
-5 -4 -3 -2 -1 0 1 2 3 4 x
-1
-2
-3
Definicin 1.8 (Funcin suave a pedazos) Una funcin f es suave a pedazos en [a, b] si f y f
son continuas a pedazos en [a, b] .
Ejemplo 1.9 Con referencia al ejemplo 1.8, su derivada es

2x 6 x [5, 1)

4x x (1, 1)
f (x) =

1 (1, 2)

cos (x) (2, 4]
ntese que f (x) es continua a pedazos en [5, 4] por tanto f es suave a pedazos en dicho intervalo.
Definicin 1.9 (Lmites por la izquierda y derecha) Los lmites por la izquierda y por la
derecha en un punto a se escribirn como:
f (a+) = lim f (x)

xa+
f (a) = lim f (x)
xa
1.4. CONVERGENCIA DE LA SERIE DE FOURIER 21
Teorema 1.10 (Convergencia de la serie de Fourier)Sea f suave a pedazos en [L, L] , en-

tonces la serie de Fourier de f converge a
f (x+) + f (x)
para x (L, L) ,
2
en particular si f es continua en x, la serie converge a f (x) .
Ejemplo 1.10 Nuevamente nos referimos al ejemplo 1.8, a continuacin se muestra las grficas de
la funcin y su serie de Fourier terica.
y y
2 2
1 1
1
2
-5 -4 -3 -2 -1 0 1 2 3 4 x -5 -4 -3 -2 -1 1
0 1 2 3 4 x
2
-1 -1
-2 -2
-3 -3
Funcin (fx) Grfica de la serie de Fourier
debe notarse que la serie de Fourier converge a f (x) en (5, 1)(1, 1)(1, 2)(2, 4) y al promedio
de lmites laterales en los puntos de discontinuidad, ms concretamente a:
f (1+) + f (1) 2 + (3) 1

= = en x = 1
2 2 2
f (1+) + f (1) 1 + 2 1
= = en x = 1
2 2 2
f (2+) + f (2) 0 + (2)
= = 1 en x = 2
2 2
Ejemplo 1.11 Considrese el ejemplo 1.4 pgina 12 donde f (x) = x, definida en [, ] . Se prueba
que su serie de Fourier es

2 (1)n+1
sin (nx) ,
n
n=1
puesto que f es continua en (, ) podemos escribir

2 (1)n+1
f (x) = sin (nx) , para todo x (, ) .
n=1
n
1.4.1 Convergencia en los extremos

Si f est definida en [L, L] el teorema 1.10 no dice sobre la convergencia en (L, L) pero no
dice nada sobre la convergencia en L y L. En esta seccin discutiremos la convergencia en los
extremos. Debemos notar que aunque la funcin f est definida slo en [L, L] , su serie de Fourier
est definida en toda la recta real en donde la serie sea convergente. Para tener coherencia entre f y
su serie de Fourier, consideramos la extensin peridica de f a toda la recta real, vease la definicin
1.1 pgina 5. a continuacin se muestra la grfica de una funcin f definida en [L, L] extendida
peridicamente en R.
2L L L 2L x
Funcin extendida peridicamente
Llamando fP a la extensin peridica y aplicando el teorema 1.10 debemos tener que la serie en L
converge a:
fP (L) + fP (L+) f (L) + f (L+)
=
2 2
anlogamente en L se tiene:
fP (L) + fP (L+) f (L) + f (L+)

=
2 2
por tanto la serie de Fourier converge en L y L al mismo punto.
1.4.2 El fenmeno de Gibbs

Nuevamente consideremos el ejemplo 1.4 pgina 12 donde f (x) = x, definida en [, ] y extendida
peridicamente. Se prueba que

2 (1)n+1
f (x) = sin (nx) ,
n
n=1
esta serie converge a x para todo x = , 2, . . . y converge a 0 para x = , 2, . . . .,

A continuacin se presentan algunos grficos que corresponden a algunos valores de M en
M
2 (1)n+1
f (x, M) = sin (nx)
n
n=1
1.5. DERIVACIN E INTEGRACIN DE LAS SERIES DE FOURIER 23
M =2 M=4 M = 10

2 2 2
1 1 1
-2
0
0 2 -2 0 2 -2
-1
0 2
-1 -1
-2

-2 -2

M = 20 M = 30

2 2
1 1
-2
-1
0 2
-
2 -1
0 2
-2 -2

Se puede apreciar que a medida que M crece la convergencia en los puntos de continuidad es
rpida, no as en los puntos de discontinuidad, ms an en estos puntos poco a poco se presenta
un pico en el salto hacia arriba y hacia abajo. La longitud de este salto es aproximadamente 18%
de la magnitud del salto de la discontinuidad (la diferencia de los lmites laterales). Para nuestro
ejemplo el salto es 2, por tanto la magnitud del salto hacia arriba y hacia abajo es aproximadamente
(0.18) (2) = 1. 13.
1.5 Derivacin e integracin de las series de Fourier

1.5.1 Integracin
Sea f (x) una funcin que que tiene una serie de Fourier, entonces el desarrollo de la serie de Fourier
de f (x) puede integrarse trmino a trmino y la serie integrada converge a la integral de f (x) .
Concrtamente si f es peridica de periodo P con desarrollo

1 2nx 2nx
2 n=1
P P
entonces para 0 x1 < x x

x x
x x
1 2nx 2nx
f (x) dx = a0 dx + an cos
dx + bn sin dx
x1 2 x1 n=1 x1 P x1 P

1 P an 2nx x P bn 2nx x
= a0 (x x1 ) + sin cos
2 2n P x1 2n P x1
n=1

1 P an 2nx 2nx1 P bn 2nx 2nx1
= a0 (x x1 ) + sin sin cos cos
2 n=1
2n P P 2n P P
de donde:
x

1 P an 2nx 2nx1 P bn 2nx 2nx1
f (x) dx = a0 (x x1 )+ sin sin cos cos
x1 2 2n P P 2n P P
n=1
claramente la parte izquierda de la anterior igualdad no es una serie de Fourier por la presencia del
trmino 12 a0 x, sin embargo transponiendo trminos se puede observar que se tendr el desarrollo en
x
serie de Fourier de g (x) = x1 f (x) dx 12 a0 x.
Ejemplo 1.12 Nuevamente consideremos el ejemplo 1.4 pgina 12donde f (x) = x, definida en
[, ] y extendida peridicamente. Se prueba que

2 (1)n+1
x= sin (nx) ,
n=1
n
entonces integrando de 0 a x se encuentra:

1 2 2 (1)n+1 x
x = sin (nx) dx
2 n=1
n 0

2 (1)n+1 1 cos nx
=
n n
n=1

2 (1)n+1 2 (1)n+1
= cos nx
n2 n2
n=1 n=1

2 (1)n+1 2 (1)n
= + cos nx
n=1
n2 n=1
n2
Para verificar este desarrollo calcularemos por separado la serie de Fourier de g (x) = 12 x2 ,
deninido en (, ) . Claramente esta funcin es par, por tanto en su desarrollo slo aparecen
trminos en cosenos.
4 1 2 1
a0 = x dx = 2
2 0 2 3

4 1 2
an = x cos (nx) dx
2 0 2
n
2 (1)
=
n2
por tanto:

1 2 1 2 2 (1)n
x = + 2
cos nx
2 3 n=1
n
2 (1)n+1
slo nos falta probar que 13 2 = n=1 , para esto empleamos la anterior igualdad con
n2
x = 0, en tal caso se tendr:

1 2 (1)n
0 = 2 +
3 n2
n=1
de donde:

1 2 2 (1)n 2 (1)n+1
= =
3 n2 n2
n=1 n=1
con lo que termina la verificacin.
1.5. DERIVACIN E INTEGRACIN DE LAS SERIES DE FOURIER 25
1.5.2 Derivacin
Teorema 1.11 Sea f continua en [L, L] y supongamos que f (L) = f (L) . Sea f (x) continua a
pedazos en [L, L] . Entonces f (x) es igual a su serie de Fourier para x [L, L] .,

1 nx nx

2 n=1
L L
y en cada donde en (L, L) donde f (x) existe,
n nx

nx
f (x) = an sin + bn cos
n=1
L L L

1 x (0, 1)
Ejemplo 1.13 Sea f (x) = , es una funcin impar, por tanto slo se tienen
1 x (1, 0)
trminos en seno.
0 1
2
bn = sin (nx) dx sin (nx) dx
2 1 0
1 + (1)n
= 2
n
por tanto su serie de Fourier es:

2 (1 + (1)n )
f (x) = sin (nx)
n=1
n
si derivamos trmino a trmino se encuentra:

f (x) = 2 (1 + (1)n ) cos (nx)
n=1
La anterior serie no es convergente1 . Este resultado se explica por el hecho de que la funcin f
no es contnua.
Ejemplo 1.14 Consideremos ahora la funcin f (x) = 1 x2 definida en (1, 1) . Esta funcin es
par por tanto slo se tienen trminos en coseno.
1
2 4
a0 = 1 x2 dx =
2
1 3
1
2
an = 1 x2 cos (nx) dx
2 1
(1)n
= 4 2 2
n
1

Como se sabe si el n esimo trmino de una serie an converge entonces lim an = 0. De donde se deduce que
n=1 n

si lim an = 0, entonces an no es convergente.
n n=1
por tanto la serie de Fourier es:

2 (1)n
1 x2 = + 4 2 2 cos nx
3 n=1 n
derivando obtenemos

(1)n
2x = 4 sin nx.
n
n=1
Ejercicio
Pruebe que la funcin peridica f (x) = x, x (T, T ) extendida peridicamente tiene como serie
de Fourier
2T x 1 2x 1 3x 1 4x
f (x) = sin sin + sin sin +
T 2 T 3 T 4 T
integrando trmino a trmino esta serie pruebe que g (x) = x2 , x (T, T ) extendida peridicamente
tiene serie de Fourier

1 2 4T 2 x 1 2x 1 3x 1 4x
g (x) = T 2 cos 2 cos + 2 cos 2 cos +
3 T 2 T 3 T 4 T
1.6 La serie de Fourier compleja

Supngase que f es una funcin peridica con periodo P y

1 2nx 2nx
2 P P
n=1
tomando en cuenta que:
2nx 1 i2mx/P
cos = e + ei2mx/P
P 2
2nx i
sin = ei2mx/P ei2mx/P

P 2
se tiene:
1 i2mx/P
i

1
f (x) = a0 + an e + ei2mx/P bn ei2mx/P ei2mx/P
2 n=1
2 2

1 1 i2mx/P 1 i2mx/P
= a0 + (an ibn ) e + (an + ibn ) e
2 2 2
n=1
ntese que

2 P 2 (n) x
an = f (x) cos dx
P 0 P

2 P 2nx
= f (x) cos dx
P 0 P
= an
1.7. UNA APLICACIN 27
anlogamente, se puede probar que:

bn = bn
definimos:
1
cn = (an ibn )
2
claramente:
1 1
cn = (an + ibn ) y c0 = a0
2 2
por tanto:

f (x) = c0 + cn ei2mx/P + cn ei2mx/P

n=1

= c0 + cn ei2mx/P
n=
n=0

= cn ei2mx/P
n=
Finalmente notemos que:

1
cn = (an ibn )
2

12 P 2nx 2nx
= f (x) cos i sin dx
2P 0 P P

1 P
= f (x) ei2nx/P dx
P 0
La expansin

P
i2nx/P 1
f (x) = cn e , cn = f (x) ei2nx/P dx,
n=
P 0
se llama serie de Fourier compleja.
1.7 Una aplicacin

En esta seccin se presenta una tcnica para calcular la solucin de una ecuacin diferencial a
derivadas parciales, concretamente resolveremos las ecuaciones del calor y la onda.
1.7.1 La ecuacin del calor

La siguiente ecuacin diferencial modela el flujo del calor sin fuentes en un alambre uniforme cuyos
extremos se mantienen a temperatura constante cero:
u (x, t) 2 u (x, t)
=
t x2
u (0, t) = u (L, t) = 0, t>0
u (x, 0) = f (x) , 0<x<L
donde u (x, t) es la temperatura del alambre en el punto x y en el tiempo t.

Sean X = X (x) , T = T (t) supngase que u (x, t) = X (x) T (t) , entonces:
u 2u
= XT , = X T
t x2
reemplazando estas derivadas en la ecuacin del calor se encuentra:
XT = X T
de donde
T X
= ,
T X
puesto que cada lado de esta ecuacin es funcin de una sla variable, se debe tener forzosamente
T X
= = k, con k una constante. Por tanto se tienen las ecuaciones diferenciales ordinarias:
T X
T kT = 0 y X kX = 0,
de las condiciones de frontera se encuentra:

De u (0, t) = u (L, t) = 0 para t > 0, se encuentra X (0) T (t) = X (L) T (t) = 0 luego X (0) =
X (L) = 0.
As se tiene la ecuacin diferencial ordinaria
X kX = 0, X (0) = X (L) = 0,
resolvamos esta ecuacin tomando en cuenta tres casos:

Caso k > 0. La ecuacin caracterstica es r2 k = 0, es decir r = k, por tanto la solucin
general es
X (x) = A1 e kt + A2 e kt ,
para encontrar las constantes A1 y A2 aplicamos las condiciones de frontera, por tanto:
A1 + A2 = 0

L k
A1 e + A2 eL k
= 0

el determinante de la matriz de coeficiente de este sistema homogneo es D = eL k eL k = 0
para todo k > 0, por tanto la nica solucin es: A1 = A2 = 0, es decir, no existe una solucin no
nula para k > 0.
Caso k = 0. La solucin en este caso es:
X (x) = A1 + A2 x,
aplicando las condiciones de frontera,
A1 = 0
A1 + A2 L = 0
de donde A1 = A2 = 0. Nuevamente en este caso no se tienen soluciones no nulas.

1.7. UNA APLICACIN 29

Caso k < 0. En este caso la ecuacin caracterstica es r2 k = 0, de donde r = i k, por
tanto la solucin general es:

X (x) = A1 cos kx + A2 sin kx
aplicando condiciones de frontera:
A1 = 0

A1 cos kL + A2 sin kL = 0

de donde: A2 sin kL = 0, para tener soluciones no triviales elegimos kL = n, para n N.
por tanto las soluciones no triviales de la ecuacin diferencial son:
Xn = an , n = 1, 2, . . .

Ahora que tenemos soluciones no triviales, buscamos T (t) . De kL = n, se encuentra k =
n2 2
2 , por tanto se tiene la ecuacin diferencial:
L
n2 2
T + T =0
L2
de donde para n = 1, 2, . . . se tiene la solucin
n2 2
t
Tn = bn e L2
por tanto la solucin general de la ecuacion diferencial dada es
n2 2 nx
t
u (x, t) = cn e L2 sin
L
n=1
Finalmente aplicando la condicin u (x, 0) = f (x) , se encuentra

nx
cn sin = f (x) , 0 < x < L.

L
n=1
esto muestra que las constantes de integracin cn se encuentran realizando el desarrollo en serie de
Fourier en senos de la funcin f (x) en el intervalo (0, L) .
1.7.2 La ecuacin de la onda

Considrese el problema de una cuerda estirada entre dos puntos. Se quiere determinar una funcin
u (x, t) que proporcione el desplazamiento de la cuerda en cualquier punto x [0, L] y cualquier
instante t 0. Este problema se modela con:
2 u (x, t) 2 u (x, t)
= 2
2t x2
u (0, t) = u (L, t) = 0, t>0
u (x, 0) = f (x) , 0<x<L
u
(x, 0) = g (x) , 0<x<L
t
(Resolver el problema)
Captulo 2
La transformada de Fourier
Las series de Fourier se emplean para representar funciones peridicas cuando se satisfacen ciertas
condiciones. Si la funcin no es peridica, entonces no puede representarse con una serie Fourier
para todo x R. Sin embargo cuando esto ocurre an podemos representar f en trminos de seno
y coseno, aunque en este caso la sumatoria se convertir en integral, la idea es simple, suponemos
que el periodo de la funcin es infinito.
2.1 La integral de Fourier

Sea f una funcin no peridica tal que |f (x)| dx < y es suave a pedazos en cada intervalo
[L, L] , entonces sabemos que en [L, L] f tiene serie de Fourier, esta es:
L L ny

1 1 nx
f (y) dy + f (y) cos dy cos
2L L n=1
L L L L
L ny

1 nx
+ f (y) sin dy sin
L L L L
haremos que L , para esto definimos:
n
wn = y wn wn1 = = w
L L
(claramente w 0 si L ), con esto, la anterior serie se escribe como:
L L
1 1
f (y) dy w + f (y) cos (wn y) dy cos (wn x)
2 L n=1 L
L
+ f (y) sin (wn y) dy sin (wn x) w
L
tomando L , se tienen los siguientes resultados:
L
f (y) dy w 0
L

L
f (y) cos (wn y) dy cos (wn x) w (f (y) cos (wy) dy) cos (wx) dw
n=1 L 0

L
f (y) sin (wn y) dy sin (wn x) w (f (y) sin (wy) dy) sin (wx) dw
n=1 L 0
31
32 CAPTULO 2. LA TRANSFORMADA DE FOURIER
por tanto la serie de Fourier, cuando L queda como

1 1
(f (y) cos (wy) dy) cos (wx) + (f (y) sin (wy) dy) sin (wx) dw
0
que puede escribirse como:

[Aw cos (wx) + Bw sin (wx)] dw
0
donde Aw y Bw son

1
Aw = f (y) cos (wy) dy

1
Bw = f (y) sin (wy) dy,

Definicin 2.1 (Integral de Fourier) Se define como

[Aw cos (wx) + Bw sin (wx)] dw
0
donde Aw y Bw se llaman los coeficientes de la integral de Fourier.
Por las hipotesis hechas sobre f, sabemos que:

f (x+) + f (x)
= [Aw cos (wx) + Bw sin (wx)] dw.
2 0
Ejemplo 2.1 Sea a > 0, definimos

eax x0
f (x) =
0 x<0
y
2
-3 -2 -1 0 1 2 3 x
-1
ax
e , x 0
f (x) = , con a = 2
0, x < 0
1
Notemos que f (x) dx = 0 eax dx = a < .

1

1 ay
= e cos (wy) dy
0
2.1. LA INTEGRAL DE FOURIER 33

1 a w
= 2 2
eay
cos wy + 2 2
e ay
sin wy
a +w a +w 0
1 a
=
a2 + w2
1
Bw = f (y) sin (wy) dy

1
= f (y) sin (wy) dy
0

1 w a
= 2 eay
cos wy e ay
sin wy
a + w2 a2 + w2
0
1 w
=
a2 + w2
Por tanto la integral de Fourier para esta funcin es:

1 a cos (wx) w sin (wx)
[Aw cos (wx) + Bw sin (wx)] dw = 2 dw.
0 0 a2 + w 2 a + w2
Puesto que el nico punto de discontinuidad es x = 0, se tiene:

0 x<0
1 a cos (wx) w sin (wx)
2 dw = 1/2 x = 0
0 a2 + w2 a + w2 ax
e x>0
Ejemplo 2.2 Considrese la siguiente funcin:

1 |x| 1
f (x) =
0 |x| > 1

claramente |f (x)| < . Calculamos Aw y Bw .

1

1 1
= cos (wy) dy
1
2 sin w
=
w

1
Bw = f (y) sin (wy) dy

1
1
= sin (wy) dy
1
= 0
Ntese que Bw es cero, como se esperaba. Por tanto la integral de Fourier es:

2 sin w
[Aw cos (wx) + Bw sin (wx)] dw = cos (wx) dw
0 0 w

2 cos wx sin w
= dw
0 w
De acuerdo al marco terico se debe tener:

1 |x| < 1
2 cos wx sin w
dw = 1/2 x = 1
0 w
0 |x| > 1
Ejercicios
Hallar la integral de Fourier correspondiente a las siguientes funciones:

|x| 2 cos (wx)
1. f (x) = e . Sol. dw
0 (1 + w2 )

4 w sin (wx)
2. f (x) = xe|x| . Sol. dw.
0 (1 + w2 )2

x, |x| 1 2 sin w + w cos w
3. f (x) = . Sol. sin (wx) dw.
0, |x| > 1 0 w2
4. Utilizar la funcin f (x) = xex , x [0, ) , para probar:

1 w2 2w
2 cos (wx) dw = sin (wx) dw
0 (1 + w2 ) 0 (1 + w2 )2
para x 0.
2.2 La integral de Fourier compleja y la transformada de Fourier

Si f es suave a pedazos en cada intevalo de la forma [L, L] entonces:

f (x+) + f (x) 1 1
= (f (y) cos (wy) dy) cos (wx) + (f (y) sin (wy) dy) sin (wx) dw
2 0

1
= f (y) [cos (wy) cos (wx) + sin (wy) sin (wx)] dy dw
0

1
= f (y) cos (w (y x)) dy dw
0

1
= f (y) eiw(yx) + eiw(yx) dy dw
2 0
mediante propiedades de integracin se puede probar que:

f (x+) + f (x) 1
= f (y) eiw(yx) dy dw
2 2
esta es la representacin compleja de la integral de Fourier, con

Cw = f (y) eiwy dy

2.2. LA INTEGRAL DE FOURIER COMPLEJA Y LA TRANSFORMADA DE FOURIER 35
se tiene:
f (x+) + f (x) 1
= Cw eiwx dw
2 2
Cw se llamar coeficiente de la integral de Fourier compleja de f.

Definicin 2.2 (Transformada de Fourier) Dada una funcin f para el cual |f (x)| dx <
, la transformada de Fourier de f es la funcin definida por

F [f] (w) = f (x) eiwx dx.

Por comodidad en lugar de escribir F [f] (w) en ocasiones escribiremos simplemente f(w) .
Definicin 2.3 (Transformada inversa de Fourier) Se define por

1
f (x) = f(w) eiwx dw,
2

a veces escribiremos F 1 f(w) (x) = f (x) . La transformada y su inversa constituyen un par de
transformadas para la transformada de Fourier.
Ejemplo 2.3 Sea a > 0, y
eax x0
f (x) =
0 x<0
La Transformada de Fourier es:

F [f (x)] (w) = eax eiwx dx
0

eax eiwx
=
a + iw 0
1
=
a + iw
La funcin de Heaviside
La funcin de Heaviside se define por:

1 x0
H (x) =
0 x<0
para a R, una traslacin de H es H (x a) .
H( x) H( x a)
y y
1 1
x a x
Funcin de Heaviside Funcin de Heaviside trasladada
Una propiedad de la funcin de Heaviside es: H (x) = 1 H (x) .

La funcin pulso
Para a > 0, la funcin pulso se define por:

k a x < a
f (x) =
0 x < a, x a
k( H( x + a) H( x a) )
y
a a x
La transformada de la funcin pulso para w = 0 es:

F [k (H (x + a) H (x a))] (w) = k (H (x + a) H (x a)) eiwx dx

a
= k eiwx dx
a
2k sin (aw)
=
w
Si w = 0, a
f(0) = k dx = 2ka
a
luego:
2k sin (aw)
w = 0
F [k (H (x + a) H (x a))] (w) = w
2ka w=0
Todas las funciones definidas de a pedazos pueden escribirse en trminos de la funcin de Hea-
viside.
Ejemplo 2.4 Sea a > 0, y

eax x0
f (x) =
0 x<0
Puede escribirse como f (x) = H (t) eax , recordemos que
1
F H (t) eax (w) = .
a + iw
Ejemplo 2.5 Sea
0 x<a
f (x) = 1 ax<b

0 bx
2.3. PROPIEDADES DE LA TRANSFORMADA DE FOURIER 37
entonces:
f (x) = 0 + H (x a) 1 + H (x b) (0 1)
= H (x a) H (x b)
Ejemplo 2.6 Sea

0 x < 2
2
x 2 x < 1
f (x) =
2x
1x<2

0 2x
entonces:

f (x) = 0 + H (x + 2) x2 + H (x 1) 2x x2 + H (x 2) (0 2x)

= H (x + 2) x2 + H (x 1) 2x x2 H (x 2) (2x)
Observacin. La anterior funcin pudo tambin escribirse como:
f (x) = (H (x + 2) H (x 1)) x2 + (H (x 1) H (x 2)) 2x
2.3 Propiedades de la transformada de Fourier

Linealidad
Si y son complejos, entonces:
F [f (x) + g (x)] (w) = F [f (x)] (w) + F [g (x)] (w)
Corrimiento en x
Si x0 es un nmero real:

F [f (x x0 )] (w) = f (x x0 ) eiwx dx

En esta ltima integral hagamos el cambio u = x x0 . Con este cambio:

F [f (x x0 )] (w) = f (u) eiw(u+x0 ) du

= eiwx0 f (u) eiwu du

= eiwx0 F [f (x)] (w)
= eiwx0 f(w)
por tanto:
F [f (x x0 )] (w) = eiwx0 f(w)
La versin inversa del teorema de corrimiento es:

f (x x0 ) = F 1 eiwx0 f(w) (x)
Corrimiento en frecuencia
Si w0 es cualquier nmero real:

F eiw0 x f (x) (w) = eiw0 x f (x) eiwx dx

= f (x) ei(ww0 )x dx

= F [f (x)] (w w0 ) .
Ntese que si f(w) = F [f (x)] (w) , entonces

F eiw0 x f (x) (w) = f(w w0 ) .
La versin inversa es
eiw0 x f (x) = F 1 f(w w0 ) (x) .
Escalado
Si a es un nmero real no nulo, entonces:

F [f (ax)] (w) = f (ax) eiwx dx

con el cambio u = ax, se encuentra:

1
dx = du
a
1. Si a > 0, entonces se encuentra:

1
F [f (ax)] (w) = f (u) ei(w/a)u du
a
1 w
= f
a a
2. Si a < 0, entonces se encuentra:

1
F [f (ax)] (w) = f (u) ei(w/a)u du
a

1
= f (u) ei(w/a)u du
a
1 w
= f
a a
por tanto
1 w
F [f (ax)] (w) = f
|a| a
La versin inversa es w

|a| f (ax) = F 1 f (x) .
a
2.3. PROPIEDADES DE LA TRANSFORMADA DE FOURIER 39
Inversin en x

F [f (x)] (w) = f (x) eiwx dx

= f (u) ei(w)u du

= f (u) ei(w)u du

= f(w)
Simetra

F f (x) (w) = f(x) eiwx dx

= f (y) eiyx dy eiwx dx

= 2f (w)
Ntese que la integral de Fourier se defini como:

1 iwy
f (x) = f (y) e dy eiwx dw
2
Tabla de transformadas
f (x) f(w) parmetro
2
e|x|
1 + w2
2 sin (aw)
F [(H (x + a) H (x a))] (w) = w = 0 aR
w
2a w=0
1 a|w|
ae a>0
a2 + x2 2 w2 /4a
eax a e a>0
eiax f(x) f(w a) aR
f (x a) eiaw f(w) aR
ibw
w
f (ax + b) 1
|a| e
a f a = 0, b R
a
xn f (x) in f(n) (w) nN
f(w a) f(w + a)
f (x) sin (ax) aR
2i
f(w a) + f(w + a)
f (x) cos (ax) aR
2
1
eax H (x) Re (a) > 0
a + iw
1
xeax H (x) Re (a) > 0
(a + iw)2
xn1 ax 1
e H (x) Re (a) > 0
(n 1)! (a + iw)n
Ejercicios
Hallar la transformada de Fourier de:

1, x [0, 1]
2i
1. f (x) = 1, x [1, 0) . Sol. w (cos w 1)

0, x>1
2. f (x) = 5 [H (x 3) H (x 1)] . Sol. 10

we
2iw sin w

3. f (x) = 5e3(x5) . Sol. 5 3 e(5iww /12)
2 2
4
4. f (x) = H (x k) ex/4 . Sol. 1+4iw e
(1+4iw)k/4
5. f (x) = H (x k) x2 . Sol. La solucin no est en trminos de funciones elementales.

2iw6
6. f (x) = 2H (x 2) e3x . Sol. 2e3+iw
2iw+6 e2iw+2
7. f (x) = H (2 x) e3x + ex . Sol. e 3iw + 1iw
24
8. f (x) = 3e4|x+2| . Sol. 16+w2
e2iw
9. f (x) = H (x 3) e2x
12 12
10. f (x) = 3e4|x| cos (2x) . Sol. 16+(w2)2
+ 16+(w+2)2
sin x i
2|w+1|
11. f (x) = Sol. 4 e e2|w1|
4 + x2
1
12. f (x) = H (x 1) e5(x+2) . Sol. e15iw
5 + iw
Hallar la transformada inversa de:
2

13. f(w) = 9e(w+4) /32 . Sol. 18 2 e8x e4ix
2
e(2w6)i
14. f(w) = . Sol. H (x + 2) e10(53i)x
5 (3 w) i
1 + iw 3x
15. f(w) = . Sol. H (x) 2e e 2x
6 w2 + 5iw
2.4 Convolucin
b b
Definicin 2.4 Sean f, g funciones
definidas en R tales que a f (x) dx y a f (x) dx existen en todo
intervalo [a, b] . Supngase que |f (u) g (x u)| du < . En estas condiciones la convolucin de
f y g se define por:
(f g) (x) = f (u) g (x u) du

Es fcil probar el siguiente resultado:
2.4. CONVOLUCIN 41
Teorema 2.5 Supongamos que f g y f g existen entonces:
1. f g = g f
2. f (g + h) = f g + f h
Ejemplo 2.7 Sea f (x) = H (x) e2x , g (x) = H (x) e5x , entonces:

(f g) (x) = f (u) g (x u) du

= H (u) e2u H (x u) e5(xu) du

5x
= e H (x u) e3u du
0
para evaluar esta integral consideramos los siguientes casos:
H( x u) con x < 0 H( x u) con x > 0

y y
1 1
x 0 u 0 x u
(a) x < 0, en este caso

3u 5x
H (x u) e du = e 0 e3u du = 0
0 0
(b) x > 0, en este caso

x
3u 5x
H (x u) e du = e 1 e3u du
0 0
1 3x
= e5x e 1
3
1 2x
= e e5x
3
por tanto
1 2x
(f g) (x) = H (x) e e5x .
3
Ejemplo 2.8 Sea f (x) = H (x + 2) H (x 2) , g (x) = H (x) e5x , entonces:

(f g) (x) = f (u) g (x u) du

= (H (u + 2) H (u 2)) H (x u) e5(xu) du

2
5x
= e H (x u) e5u du
2
para evaluar esta integral consideramos los siguientes casos:
H( x u) con x < 2 H( x u) con - 2 < x < 2 H( x u) con x > 2

y y y
1 1 1
x 2 0 2 u 2 0 x 2 u 2 0 2 x u
(a) x < 2
2
(f g) (x) = e5x H (x u) e5u du
2
2
= e5x 0 e5u du = 0
2
(b) 2 < x < 2

2
5x
(f g) (x) = e H (x u) e5u du
2
x
5x
= e 1 e5u du
2
1
= 1 e5(x+2)
5
(c) x > 2
2
5x
(f g) (x) = e H (x u) e5u du
2
2
= e5x 1 e5u du
2
1 5(x2)
= e e5(x+2)
5
Por tanto

1 5(x+2)

1 5(x2) 5(x+2)

1
5(x+2)
(f g) (x) = 0 + H (x + 2) 1e + H (x 2) e e 1e
5 5 5
1
1
= H (x + 2) 1 e5(x+2) H (x 2) 1 e5(x2)
5 5

Teorema 2.6 Supngase que f y g son continuas en R y que |f (x)| dx < , |g (x)| dx <
. Entonces
1.

(f g) (x) dx = f (x) dx g (x) dx

2.4. CONVOLUCIN 43
2. Convolucin en el tiempo
F [(f g) (x)] (w) = F [f (x)] (w) F [g (x)] (w)
3. Convolucin en la frecuencia
1
F [f (x) g (x)] (w) = F [f (x)] (w) F [g (x)] (w)
2
Demostracin.
1.

(f g) (x) dx = f (u) g (x u) du dx

= f (u) g (x u) du dx

= f (u) g (x u) dx du

= f (u) g (x u) dx du

= f (u) g (x) dx du

= f (u) du g (x) dx

= f (x) dx g (x) dx

2.

F [(f g) (x)] (w) = (f g) (x) eiwx dx

= f (u) g (x u) du eiwx dx

iwu
iw(xu)
= f (u) e g (x u) e du dx

= f (x) eiwx g (x) eiwx dx

iwx
iwx

= f (x) e dx g (x) e dx

= F [f (x)] (w) F [g (x)] (w)
3. De la definicin 2.3 (Pgina 35) se tiene

1
f (x) = f(w) eiwx dw
2
entonces:

F [f (x) g (x)] (w) = f (x) g (x) eiwx dx

1
= f (y) e dy g (x) eiwx dx
iyx
2

1
= f(y) g (x) eix(wy) dy dx
2

1 ix(wy)
= f (y) g (x) e dx dy
2

1 ix(wy)
= f (y) g (x) e dx dy
2

1
= f(y) g (w y) dy
2

1
= f(x) g (w x) dx
2
1
= F [f (x)] (w) F [g (x)] (w)
2
Ejemplo 2.9 Determinaremos la transformada inversa de
2 sin 2w
w (5 + iw)
En primer lugar ntese que
2 sin 2w 2 sin 2w 1
=
w (5 + iw) w (5 + iw)
y

1 2 sin 2w
F (x) = H (x + 2) H (x 2)
w

1
F 1 (x) = H (t) e5x ,
5 + iw
por tanto aplicando el anterior teorema:

1 2 sin 2w 1
F (t) = (H (x + 2) H (x 2)) H (t) e5x ,
w (5 + iw)
en el ejemplo 2.8 (pgina 41) se prueba que:
1
1
(H (x + 2) H (x 2)) H (t) e5x = H (x + 2) 1 e5(x+2) H (x 2) 1 e5(x2)

5 5
por tanto:

1
1 2 sin 2w 1 1
F (t) = H (x + 2) 1 e5(x+2) H (x 2) 1 e5(x2)
w (5 + iw) 5 5
2.5. LA TRANSFORMADA DISCRETA DE FOURIER (TDF) 45
Ejercicios
Mediante convolucin determinar la transformada inversa de Fourier de:
1
1. , Sol. xe4x H (x)
(4 + iw)2
1 1
3t
2. , Sol. 5 e H (t) + e2t H (t)
(2 + iw) (3 iw)
1
3. , Sol. H (t) e2t e3t
(2 + iw) (3 + iw)
sin (4w) 1
3(t4)
4. , Sol, 6 e 1 H (t 4) + 16 e3(t+4) + 1 H (t + 4)
w (3 + iw)
1
5. , Sol. 16 e|x| 1 2|x|
12 e
(1 + w2 ) (4 + w2 )
2.5 La transformada discreta de Fourier (TDF)

2.5.1 La deduccin de la TDF
Considrese el k-simo coeficiente de Fourier ck para una funcin g de periodo P, por los resultados
del anterior captulo se tiene

1 P
ck = g (x) ei2kx/P dx.
P 0
P
Tomemos en [0, P ] la particin xj = j , j = 0, 1, . . . , N, entonces empleando la suma de Riemann
N
se obtiene
N1
1 P P P
ck g j ei2kj N /P
P j=0 N N
N1
1 P
= g j ei2kj/N
N N
j=0
esto motiva la definicin de transformada discreta de Fourier.
Definicin 2.7 (Transformada discreta de Fourier)Dado N nmeros complejos {hj }N1

j=0 , la
transformada discreta de Fourier es el conjunto de nmeros {Hk } donde:
N1

Hk = hj ei2kj/N
j=0
para k = 0, 1, 2, . . .
2.5.2 Propiedades de la DFT

Teorema 2.8 Sea {hj }N1 N1
j=0 un conjunto de N nmeros y {Hk } su DF T, anlogamente {gj }j=0 un
conjunto de N nmeros y {Gk } su DF T. Entonces se cumplen las siguientes propiedades:
1. Linealidad. Para todo par de nmeros a y b la DF T de {ahj + bgj }N1

j=0 es {Hk + Gk } .
2. Periodicidad. Para cada entero k se tiene Hk+N = Hk .
3. Inversin. Para j = 0, 1, . . . , N 1,
N1
1
hj = Hk ei2jk/N .
N
k=0
Demostracin. La linealidad y la periodicidad de sejan como ejercicio. Para demostrar la

inversin, partimos de la parte derecha.
N1 N

1 N1

1 1
Hk ei2jk/N = hm ei2km/N ei2jk/N
N N
k=0 k=0 m=0
N

1 N1

1 i2k(mj)/N
= hm e
N
k=0 m=0
N 1
N1
1
i2k(mj)/N
= hm e
N m=0
k=0
en la ltima parte de lo anterior se tienen N sumas. Si m = j, se tiene:

N1

N1
k
ei2k(mj)/N = ei2(mj)/N
k=0 k=0
N
1 ei2(mj)/N
=
1 ei2(mj)/N
1 ei2(mj)
=
1 ei2(mj)/N
11
=
1 ei2(mj)/N
= 0
1aN
(aqu hemos hecho uso de la frmula: 1 + a + a2 + + aN1 = 1a )
Por otra parte se m = j, se tiene:
N1
N1

i2k(mj)/N
e = ei2k(jj)/N
k=0 k=0
N1

= 1
k=0
= N
por tanto:
N1 N1
N1
1 1
Hk ei2jk/N = hm ei2k(mj)/N
N N m=0
k=0 k=0

1
= 0 + 0 +
"# + 0$ + !"#$
hj N + !0 + 0 +
"# + 0$
N !
m=1,2,...,j1 m=j m=j+1,j+2,...,N
= hj
esto muestra el resultado.
2.5.3 La transformada inversa discreta de Fourier

Definicin 2.9 (La tranformada inversa discreta de Fourier) La tranformada discreta inversa
de fourier de {Gk }N 1
k=0 se define por
N1

gj = Gk ei2kj/N
k=0
para todos los enteros j = 0, 1, 2, . . .
2.5.4 La identidad de Parseval
N1
N1
1
|hj |2 = |Hk |2 .
N
j=0 k=0
2.5.5 Relacin de la DF T y los coeficientes de Fourier

Sea f una funcin peridica de periodo P, sea ck el k esimo coeficiente de su serie de Fourier,
entonces por lo visto anteriormente:

1 P
ck = f (x) ei2kx/P dx
P 0
N1
1 P
f j ei2kj/N .
N N
j=0

P
Con hj = f j , j = 0, 1, . . . , N 1, se tiene:
N
N1
1 1
ck hj ei2kj/N = Hk
N j=0 N
donde Hk es la DF T de {hj }N 1
j=0 . Se puede probar que para una buena aproximacin de debe tener:
k 18 N.
Ejemplo 2.10 Considere la funcin f (x) = x2 x, definida en [0, 1] extendida peridicamente.

Solucin. En la seccin anterior establecimos que
1
a0 =
3
1
an = , n = 1, 2, . . .
n2
2
bn = 0, n = 1, 2, . . .
Por tanto:
1
cn = (an ibn ) .
2
En el intervalo [0, 1] tomemos una particin con N = 30, es decir
1
xj = j, j = 0, 1, . . . , 29,
30
por tanto:
29
1 j i2nj/30
c (n) = f e
30 30
j=0
a continuacin presentamos una tabla de los valores exactos y los aproximados:
n cn exacta cn aproximado error absoluto

0. . 16667 . 16648 1.90 104
1. 5. 0661 102 5. 0846 102 1. 85 104
2. 1. 2665 102 1. 2852 102 1. 87 104
3. 5. 629 103 5. 8179 103 1. 889 104
4. 3. 1663 103 3. 3582 103 1. 919 104
5. 2. 0264 103 2. 2222 103 1. 958 104
6. 1. 4072 103 1. 608 103 2. 008 104
7. 1. 0339 103 1. 2408 103 2. 069 104
8. 7. 9157 104 1. 006 103 2. 1443 104
28. 6. 4618 105 1. 2852 102 1. 2787 102

29. 6. 0239 105 5. 0846 102 5. 0786 102
se debe notar que: cn = cn , ms an los valores de cn para los cuales n 6 los errores empiezan
a crecer. La funcin f tomando los coeficientes aproximados hasta n = 4 es:
f (x) = c0 + c1 ei2x + c2 ei4x + c3 ei6x + c4 ei8x

+c1 ei2x + c2 ei4x + c3 ei6x + c4 ei8x

= . 16648 + 5. 0846 102 ei2x + ei2x + 1. 2852 102 ei4x + ei4x

+5. 8179 103 ei6x + ei6x + 2. 2222 103 ei8x + ei8x
por tanto:
f (x) 1. 1636102 cos 18. 85x+2. 5704102 cos 12. 566x+. 10169 cos 6. 2832x+4. 4444103 cos 25. 133x. 16
-0.05
-0.1
-0.15
-0.2
-0.25
-4 -2 0 2 4
x
Observacin. Como se sabe, f (x) exacto es

1 cos (2nx)
f (x) = +
6 2 n2
n=1
4 cos (2nx)
con 4 armnicos se tiene: f (x) 16 + n=1 . La grafica de la diferencia es:
2 n2
0.01
0.005
-4 -2 00 2 4
x
-0.005
-0.01

ApuntesAnalisisDeFourier 2013092601

Hochgeladen von

Dokumentinformationen

Originaltitel

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

ApuntesAnalisisDeFourier 2013092601

Hochgeladen von

Copyright:

Verfügbare Formate

Apuntes de Anlisis de Fourier

MSc. Santiago Relos P.

1.1 Aspectos bsicos de la serie de Fourier

Ejemplo 1.2 Si f (x) = (x 1)3 (x 1) , x [0, 2.5] , la grfica y su extensin peridica se

Funcin extendida peridicamente

-1.5 -0.5 0 1 2 2.5 3.5 4.5 5 x

(a) f (x) = sin (ax) . Sol. 2/a.

3. Si f es peridica de periodo P, entonces para todo nmero a :

Ortogonalidad de funciones exponenciales complejas

Ortogonalidad de las funciones seno y coseno

esto motiva el clculo de las siguientes integrales:

un clculo elemental da:

que puede escribirse tambin como:

Observacin. La propiedad de ortogonalidad de las anteriores funciones se extiende a cualquier

= ei2(mn)d/P ei2(mn) ei2(mn)d/P

la demostracin es anloga para las funciones seno y coseno.

1.2 La serie de Fourier de una funcin

f (x) = a0 + an cos + bn sin

para x [L, L] , ms adelante justificaremos este hecho.

1.2.1 Clculo de las constantes an , bn .

Clculo de a0 . Integramos f (x)

f (x) dx = a0 + an cos + bn sin dx

Clculo de an (n 1). Integramos f (x) cos (ntese que precisamente cos es el

f (x) cos dx = a0 + am cos + bm sin cos dx

Clculo de bn . Integramos f (x) sin (nuevamente ntese que sin es el coeficiente

f (x) sin dx = a0 + am cos + bm sin sin dx

De todo lo anterior deducimos que una funcin f se expresa como:

f (x) = a0 + an cos + bn sin

Ejemplo 1.3 Determinaremos la serie de Fourier de la funcin f (x) = |x| , x [, ] .

por tanto la serie de Fourier de f (x) es:

Ms adelante justificaremos porqu podemos escribir:

al respecto, debemos dejar en claro los siguientes aspectos:

Ejemplo 1.4 Consideremos ahora f (x) = x, definida en [, ].

por tanto su serie de Fourier es;

Con dos armnicos se encuentra:

2. f (x) = e4x , x [2, 2] .

4. f (x) = x2 2x, definida en (0, 2) .

8. f (x) = x2 definida en (0, 2) .

1.3 Series de fourier en senos y cosenos

La propiedad fundamental de estas funciones se presenta en el siguiente resultado.

Teorema 1.4 Si f es una funcin par en (L, L), entonces:

Teorema 1.5 Si f es una funcin impar en (L, L), entonces:

Teorema 1.6 El producto de funciones pares e impares satisface:

funcin f funcin g funcin fg

1.3.1 El caso de una funcin par

1.3.2 El caso de una funcin impar

1.3.3 Desarrollo de una funcin en senos y cosenos

an = f (x) cos dx, n = 0, 1, 2, . . .

bn = f (x) sin dx, n = 0, 1, 2, . . .

(a) f (x) = 1 en (0, 1)

2. Demostrar que para 0 x :

3. Use el anterior problema para probar:

1.4 Convergencia de la serie de Fourier

1. f es continua en [a, b] excepto quizs en un nmero finito de puntos.

Ejemplo 1.8 La siguiente funcin es continua a pedazos en [5, 2]

Ejemplo 1.9 Con referencia al ejemplo 1.8, su derivada es

f (a+) = lim f (x)

Teorema 1.10 (Convergencia de la serie de Fourier)Sea f suave a pedazos en [L, L] , en-

en particular si f es continua en x, la serie converge a f (x) .

Funcin (fx) Grfica de la serie de Fourier

f (1+) + f (1) 2 + (3) 1

puesto que f es continua en (, ) podemos escribir

1.4.1 Convergencia en los extremos

Ejemplo 2.4 Sea a > 0, y

Ntese que si f(w) = F [f (x)] (w) , entonces