Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Series y transformadas de
Fourier
1
2 Domingo Alcaraz Candela
( )= ( )+ ()
con ∈ R, también tiene periodo . Por (2.1) se tiene que para cualquier
∈ Z
( + )= ( ) para todo ∈ R
por tanto,
2 3
también son periodos1 de ( ).
El problema principal de este capítulo será la representación de varias
funciones de periodo = 2 en términos de las funciones simples, de periodo
2 ,
{1 cos sin cos (2 ) sin (2 ) cos ( ) sin ( ) }
llamado sistema trigonométrico.
-3 -2 -1 1 2 3 -3 -2 -1 1 2 3 -3 -2 -1 1 2 3
x -0.5
x -0.5
x
-0.5
-3 -2 -1 1 2 3 -3 -2 -1 1 2 3 -3 -2 -1 1 2 3
x x x
-0.5 -0.5 -0.5
Z
cos ( ) sin ( ) =0 (2.3)
−
⎧
Z ⎨ 0 si 6= ,
cos ( ) cos ( ) = (2.4)
− ⎩
si = .
⎧
Z ⎨ 0 si 6=,
sin ( ) sin ( ) = (2.5)
− ⎩
si = .
Las series que surgirán serán de la forma
+∞
0 + cos + sin + cos (2 ) + = 0 +X ( cos ( )+ sin ( ))
1 1 2
2 2
=1
(2.6)
2
Recordar que
sin ± sin = 2 · sin ±2 · cos ∓ 2
cos + cos = 2 · cos 2+ · cos −2
cos − cos = −2 · sin +2 · sin − 2
4 Domingo Alcaraz Candela
es decir, se supone que esta serie converge y que tiene a ( ) como su suma.
Dada una función ( ) como esta, quieren determinarse los coeficientes y
de la serie trigonométrica correspondiente.
Determinemos 0.
Al integrar ambos miembros de (2.7) se obtiene
Z Z " +∞
#
0 +
X
() = ( cos ( )+ sin ( ))
− − 2
=1
3
Recordar que cualquier situación en la que está involucrada una serie funcional su
convergencia requiere preocuparse por el comportamiento de sus sumas parciales
0
()= + ( cos ( ) + sin ( )) .
2 =1
=1
2.2 Series de Fourier 5
Además sabemos de (2.2) que las integrales del segundo miembro son cero.
Consecuentemente,
() = 0 ,
Z−
es decir, Z
1
0= ()
−
Determinemos ahora 1 2 y 1 2
Multipliquemos (2.7) por cos ( ), donde ∈ Z+, e integremos de −
a :
!
Z Z Ã +∞
X
( ) cos ( ) = 0+
( cos ( ) + sin ( )) cos ( )
− − =1
0 cos ( )
µ Z Z ¶
++∞
=1 cos ( ) cos ( ) + sin ( ) cos ( ) .
− −
− −
y de (2.3)
+∞
X Z
sin ( ) cos ( ) = 0.
=1 −
4
La idea consiste en suponer que la serie es uniformemente convergente, lo que permite
integrar término a término.
6 Domingo Alcaraz Candela
Consecuentemente
Z
( ) cos ( ) =
−
1R
= − ( ) cos ( ) para todo ≥0.
1R (2.8)
= − ( ) sin ( ) para todo 0.
+∞
X
0
()= + ( cos ( )+ sin ( )) (2.9)
2 =1
=1
y y
4 4
2 2
-3 -2 -1 1 2 3 -3 -2 -1 1 2 3
x x
-2 -2
-4
-4
4 µ ¶
= sen 4 1
1 2= sen + sen 3
3
y 4
y 4
2 2
-3 -2 -1 1 2 3 -3 -2 -1 1 2 3
x x
-2 -2
-4 -4
4 P
2 4 P
3
3= sen (2 + 1) 4= sen (2 + 1)
1 1
2 +1
2 +1
=0 =0
de ( ) representa a ( ), se escribe
()= ()
()∼ ()
con una tilde ∼, lo que indica que la serie trigonométrica del segundo miem-
bro tiene los coeficientes de Fourier de ( ) como coeficientes7 , por lo que
se trata de la serie de Fourier de ( )
El siguiente paso es plantear el problema de la convergencia de la serie
de Fourier: hasta qué punto la serie de Fourier de una función es una rep-
resentación válida de la misma. Nuestro propósito es presentar de manera
adecuada un conjunto de condiciones que garanticen que la serie de Fourier
de una función no solamente converja, sino que además converja a la función
considerada.
( + 2 ) = ( ).
9 − +
Observar que si ( ) es continua en 0, entonces =
0
=
0
( 0) y la serie de
Fourier converge a ( 0 ) ya que
( +0) + ( −0) ( 0 ) + ( 0)
= = ( 0) .
2 2
2.3 Otras formas de las series de Fourier 9
= ,
entonces
µ ¶
()=
Si definimos µ ¶
( )=
=1
10 Domingo Alcaraz Candela
1R
= − ( ) cos ( ) para todo 0.
≥
1R (2.11)
= − ( ) sin ( ) para todo ∈N.
µ ¶ (2.12)
1R
= − ( ) sin para todo ∈ N.
1R2
= − ( ) sin ( 0 ) para todo ∈N .
2
y si es impar, entonces
Z
() = 0.
−
resultado
Teorema 2.3.1 Serie de Fourier de funciones pares e impares
Sea una función 2 -periódica integrable de Riemann en [− ].
(i) Si es par la serie de Fourier de es una serie de Fourier de cosenos
0
+∞
X ³ ´
()∼ + cos (2.13)
2
=1
0
10
La gráfica de esta función es simétrica con respecto al eje .
11
la gráfica de una función impar es simétrica respecto del origen de coordenadas
12 Domingo Alcaraz Candela
+∞
X ³ ´
sin (2.15)
=1
y3
-3 -2 -1 1 2 3
x
-1
-2
-3
La función ∗
( ) de la siguiente gráfica
2k
‐3 ‐ ‐ 0 2 3 4 5
es la suma de la función ( ) del Ejemplo 2 y la constante . Por tanto, a
partir de dicho ejemplo y del Teorema 2.3.2 se concluye que
µ ¶
4 1 1
∗
( )= + sin + sin (3 ) + sin (5 ) + .
3 5
()= + si − ≤ y ( +2 ) = ( ).
‐3 ‐ ‐ 0 2 3 4 5
2.3.3. Serie de Fourier en notación compleja
= cos + sin
y
−
= cos − sin
hallamos, con = , que
− − − −
cos ( )= y sin ( )= . (2.18)
2 2
Sustituyendo ahora (2.18) en (2.17) se obtiene
+∞ µ
1 X − − − −
() ∼ 0+ + ¶
2 =1 2
µ 2
X
1 +∞ ¶
− + 2
= 0+ + −
2 2
=1
y si denotamos
0 − +
= 0 = y = −
2 2 2
entonces
+∞
X ¡ −
¢
()∼ 0+ + −
=1
o equivalentemente
+∞ +∞
X X
−
() ∼ 0 + + −
=1 =1
X
+∞ X−1
= 0+ +
=1 =−+∞
X
+∞ −1
X
= +
=0 =−+∞
+∞
X
= .
=−+∞
−
1 Z
= ( ) (cos ( ) − sin ( ))
2 Z−
1 −
= () 0
2 −
y
Z 1 Z
1
− = ( ) cos ( ) + ( ) sin ( )
2 − 2 −
Z
1
= ( ) (cos ( ) + sin ( ))
2
−
1 Z
= ()
2 −
para todo ∈ N.
Claramente también podemos escribir
Z
1 −
= ()
2 −
.
−
+∞
X Z
()= ( ), = 1 () − ( ) .
=−∞ 2 −
()= si − ≤ y ( +2 )= ()
Z +∞
−
F [ ( )] ( ) = () . (2.19)
−∞
−
l´ım ¯ ( ) = lı́m | ( )| = 0
−→±∞ −→±∞
¯
por lo que las funciones reales que tendrán transformada de Fourier tienen
12
La integral impropia
+∞ +∞
() = () + ()
−∞ −∞
= lı́m () = lı́m ()
−→+∞ − −→÷∞
y entonces
+∞
() = + .
−∞
Si
+ = +∞− (+∞)
lı́m ()
−→+∞ −
a éste límite le llamaremos valor principal de Cauchy de la integral impropia. Este valor
principal coincide con el de la integral cuando ésta es convergente, por lo que en la integral
impropia de la integral de Fourier se considera su valor principal.
2.4 Transformada de Fourier 17
y 1.0
0.8
0.6
0.4
0.2
-4 -3 -2 -1 1 2 3 4
-0.2 x
-0.4
2
y
-20 -10 10 20
x
-1
( ) y F [ ( )] ( )
2.0
y
1.5
1.0
0.5
-4 -3 -2 -1 1 2 3 4
x
( ) y F [ ( )] ( )
2.0
y
1.5
1.0
0.5
-4 -3 -2 -1 1 2 3 4
x
( ) y F [ ( )] ( )
2.4.1. Propiedades
Existencia
1. ( ) es continua a trozos en R.
2.4 Transformada de Fourier 19
2. ( ) es absolutamente integrable13 en R.
F[ ( )+ ( )] ( ) = F [ ( )] ( ) + F [ ( )] ( ) . (2.20)
l´ım ()=0
| |−→+∞
y 0
continua a trozos en R. Entonces
£ ¤
F 0 ( ) ( ) = F [ ( )] ( ) (2.21)
£ Z +∞
¤
F 0
() ( )= 0
() −
−∞
Z +∞
£ − ¤ =+∞ −
= () =−∞
+ ()
−∞
= F [ ( )] ( )
13
R| ( )| +∞
20 Domingo Alcaraz Candela
ya que
¯ () −
l´ım = lı́m | ( )| = 0
| |−→+∞ | |−→+∞
¯
Mediante dos aplicaciones sucesivas de (2.21) se obtiene
h 00
i £ ¤
F () ( )= F 0
( ) ( ) = ( )2 F [ ( )] ( ) = − 2F [ ( )] (). Se
h i
F )
( ) ( ) = ( ) F [ ( )] ( ) .
− 2
Ejemplo 13 Determinar la transformada de Fourier de .
Cambio de escala
Sea 0. Si es una función continua y absolutamente integrale en R,
entonces
1 ³ ´
F [ ( )] ( ) = F [ ( )]
La demostración de este resultado se realiza mediante el cambio de vari-
able = donde = y como 0
si −→ +∞ =⇒ = −→ +∞,si
−→ −∞ =⇒ = −→ −∞.
Por lo tanto
Z +∞
−
F[ ( )] ( ) = ( )
−∞
Z +∞
1 −
= ( )
−∞
Z +∞ ³ ´
1 − 1
= ( ) = F[ .
−∞
( )]
−∞
− ||
Ejemplo 14 Determinar la transformada de Fourier de con 0.
2.5 Transformada de Fourier inversa 21
Derivada de la transformada
Si es una función continua y absolutamente integrale en R, entonces
F [ ( )] ( ) = F [ · ( )] ( )
2
− 2
Ejemplo 15 Determinar la transformada de Fourier de .
Convolución
F( ∗ ) = F( ) ·F ( ). (2.22)
Como
µZ +∞ ¶ µZ +∞ ¶
− −
F ( ) ·F ( ) = () ( )
−∞ −∞
Z +∞ Z +∞
= () ( ) − (+ )
−∞ −∞
Z +∞ µZ +∞ ¶
−
= ( − ) ( )
−∞
−∞
Z +∞
= −
( ∗ ) = F( ∗ )
−∞
−∞
3. Existe Z +∞
| ( )| +∞
−∞
y escribimos
Z +∞
−1 1
F [ ( )] ( ) = ( )
2 −∞
−∞
F
−→
() ( )
←−
F−1
2 −∞
14
Si no se cumple esta condición diremos que la fórmula integral de Fourier es válida
o se cumple casí por todas partes. En las discontinuidades (que son de dalto finito) la
fórmula converge a:
1 − +
+ .
2
2.6 Ejercicios propuestos 23
3. Deducir el valor de Z +∞
sen .
0
4. Consideremos la función
⎧
⎨ 0 si −5 ≤ 0
()= y ( + 10) = ( ).
⎩
3 si 0 ≤ 5
Se pide:
+ + + = .
12 22 32 6
0 L
‐L 0 L 2L
para después extender esta nueva función como una función periódica
de periodo 2 y, como es par, representarla como una serie de
Fourier de cosenos. O puede extenderse ( ) como una función
impar en el intervalo − ≤ ≤ , como en la figura
‐L 0 L 2L
para después extender esta nueva función como una función periódica
de periodo 2 y, como es impar, representarla por una serie de
Fourier de senos. Estas dos series se llaman los dos desarrollos de
medio rango de la función ( ), la cual está dada sólo en “la mitad
del rango” (la mitad del intervalo de periodicidad de estas series).
⎧ 2
si 0
⎨
⎪ 2
()=
⎪ 2 ( − ) si
⎩ ,
2
26 Domingo Alcaraz Candela
0 L/ L
()=
⎩
0 si | | 1
y su transformada inversa
Z
2 +∞
()= F [ ( )] ( ) cos ( ) .
0
⎪ −1 −2 ≤ −1
⎪
⎨
c) ()= 1 −1 ≤ 1
⎪ −1 1≤ 2
⎪
⎩
0 ≥2
µ ¶ µ ¶
1 1
d) ()= 0
+ − 0
−
2 2
µ µ ¶ µ ¶¶
1 1
e) ()= 0 + − 0 − sin (2 )
2 2
⎧
⎨ sen ( ) | |≤
f) ()= 0
⎩
0 | |
¡ ¡ ¢ ¡ ¢¢
g) ( ) = 0 + 1 2 − 0 − 1 cos
2
( ); 0
⎧
⎪ 0 ||
2
⎪
⎨
h) ()= 1 ||
2 2
⎪
⎪
⎩ 2 ||
2
2. Calcula la convolución ( ∗ ) ( ) en los siguientes casos:
⎧
⎨ 1 | |≤
a) ( ) = 0 b) ( ) = −| |
⎩
0| |
28 Domingo Alcaraz Candela
( )= 2 +1