MATEMÁTICAS ESPECIALES II - 2020

PRÁCTICA 9
Parte 1 - Series de Fourier

Cualquier función periódica f (x), razonablemente adecuada, tiene una representación en series infinitas de
términos trigonométricos. Estas series trigonométricas se conocen como series de Fourier ; son análogas a
las series de Taylor en el siguiente sentido: ambos tipos de series proven una manera de expresar funciones
complicadas en términos de ciertas funciones elementales.
I Definición. Una función f (x) se dice periódica si existe un número L 6= 0 (llamado perı́odo) tal que
f (x + L) = f (x) para todo x ∈ (−∞, ∞).

I Propiedades.

- Si f (x) es una función periódica con perı́odo L y n ∈ Z; entonces f (x) también tiene perı́odo nL.
- Una función constante puede ser considerada una función periódica con perı́odo arbitrario; es decir,
cualquier número real es un perı́odo posible.
- Si f (x) y g(x) son funciones periódicas con perı́odo L y a, b ∈ R; entonces la combinación lineal
af (x) + bg(x) y el producto f (x)g(x) también son funciones periódicas con perı́odo L.

Ejemplo 1.
a) La función f (x) = 3 + cos x − sin x + 5 cos 2x + 17 sin 3x tiene perı́odo L = 2π, ya que es una combinación
lineal de senos y cosenos de múltiplos enteros de x; todas son funciones periódicas con perı́odo L = 2π.
   
b) Si p es un número fijo, las funciones sin πx p y cos πx p son periódicas con perı́odo L = 2p.

c) La función M (x) = x − [x] (llamada función mantisa) es periódica con perı́odo L = 1.

 ? ? ?

1. Sean f1 (x) y f2 (x) funciones periódicas con perı́odos L1 y L2 , respectivamente. Mostrar que si, L1 y
L2 son conmensurables, entonces existe un número positivo L tal que (f1 + f2 )(x) = (f1 + f2 )(x + L).
Determinar L.
Ayuda: dos números reales se dicen conmensurables cuando su cociente es igual a un número racional.

2. Sea f (x) una función integrable y perı́odica con perı́odo L. Probar que:
Z L Z L+a
(a) f (x)dx = f (x)dx, 0 < a < L.
0 a
Z a Z L+a
Ayuda: mostrar primero que f (x)dx = f (x)dx.
0 L
Z L Z L/2
(b) f (x)dx = f (x)dx
0 −L/2
Z b Z L/2
(c) f (x)dx = f (x)dx, (b − a) = L
a −L/2

3. Sea f (x) una función suave a trozos y periódica con perı́odo L. Para todo x ∈ R, se definen
Z x
F (x) = f (t) dt y G(x) = F (x) − f0 x;
0

siendo f0 el valor promedio de f (x) en el intervalo [0, L]. Probar que la función G(x) también es periódica
con perı́odo L.
4. Sea f (x) una función diferenciable y periódica con perı́odo L. Mostrar que f 0 (x) también es periódica con
perı́odo L.

? ? ?

I Definición. Sea f (x) una función seccionalmente continua en [−p, p]. La serie
a0 X  nπx   nπx 
S(x) = + an cos + bn sin ,
2 p p
n≥1

donde los coeficientes a0 , an y bn están definidos por

1 p 1 p p
Z Z  nπx  Z
1  nπx 
a0 = f (x) dx; an = f (x) cos dx; bn = f (x) sin ;
p −p p −p p p −p p

es la serie de Fourier asociada a f (x). Los coeficientes se denominan coeficientes de Fourier de f (x)
con respecto al sistema trigonométrico
n1 πx πx 2πx 2πx nπx nπx o
, cos , sin , cos , sin , · · · cos , sin ,· · · .
2 p p p p p p

El sistema trigonométrico tiene la siguiente propiedad de ortogonalidad : si ϕn (x) y ϕm (x) representan

dos funciones cualesquiera de la familia,

Z p  0
 m 6= n
ϕn (x) ϕm (x) dx = p m = n 6= 0
−p  p m=n=0

2
I Observaciones.
- A diferencia de las series de Taylor, definidas solamente cuando la función es indefinidamente derivable,
la única condición para que las series de Fourier estén definidas es que la función sea integrable sobre un
intervalo. Recordemos que hay funciones integrables con infinitas discontinuidades. Es decir, el concepto
de series de Fourier es mucho menos restrictivo que el de series de Taylor. Esta es una de las grandes
ventajas de la teorı́a de Fourier: puede aplicarse a funciones muy generales.

- Si se cambiara el valor de una función en un número finito de puntos, esto no afectarı́a para nada a
los coeficientes de Fourier de esa función porque estos se calculan por medio de integrales. Tampoco es
importante que una función no esté definida en un conjunto finito de puntos porque esto no afecta su
integrabilidad ni el valor de su integral.

- De acuerdo a su definición, el término constante a0 /2 en la serie de Fourier de f (x) representa el valor

promedio de f (x) en el intervalo [−p, p].

- Como veremos más adelante, la hipótesis de periodicidad no es restrictiva para la aplicación de la teorı́a
de Fourier.

Ejemplo 2.
Encontrar la serie de Fourier asociada a la función onda cuadrada definida por

0 −π ≤ x < 0
f (x) = ; f (x + 2π) = f (x).
1 0≤x<π

De acuerdo a la definición, f (x) es periódica con perı́odo L = 2π.

Usando las fórmulas para calcular los coeficientes, se tiene

1 π 1 π
Z Z
a0 = f (x) dx = 1 dx = 1
π −π π 0
π
1 π 1 π
Z Z
sin nx 
an = f (x) cos nx dx = cos nx dx = =0
π −π π 0 nπ 0
(
1 π
Z
1 π
Z
cos nx π 1 − cos nπ 0 n par
bn = f (x) sin nx dx = sin nx dx = −  = = 2
π −π π 0 nπ 0 nπ n impar
nπ
Como un número impar puede escribirse de la forma 2k + 1; con k número entero, la serie de Fourier asociada
a f (x) será
1 2X 1
S(x) = + sin(2k + 1)x.
2 π 2k + 1
k≥0

Cuál es la relación entre la función f (x) y su serie de Fourier S(x)?. La serie de Fourier asociada a f (x), es una
serie convergente? Si es convergente, a qué función converge?
Antes de pasar a los resultados teóricos, comencemos por investigar el comportamiento de S(x) gráficamente.
En la siguiente figura, se muestran las gráficas correspondientes a distintas sumas parciales.
Se observa que, a medida que k crece, las k−ésimas sumas parciales se vuelven mejores aproximaciones de la
función onda cuadrada. Aparentemente, la gráfica de Sk (x) se acerca cada vez más a la gráfica de f (x) excepto
en los puntos de discontinuidad.

Teorema (convergencia puntual de las series de Fourier). Sea f (x) una función continua a trozos
en [−p, p], cuya derivada existe y es continua a trozos. Entonces, la serie de Fourier asociada a f (x) converge
en cada punto x ∈ [−p, p] y su suma,
a0 X  nπx   nπx 
S(x) = + an cos + bn sin ,
2 p p
n≥1

verifica las siguientes relaciones:

- S(x0 ) = f (x0 ) si x0 ∈ (−p, p) y f (x) es continua en el punto x0 ,

−
f (x+
0 ) + f (x0 )
- S(x0 ) = si x0 ∈ (−p, p) y f (x) es dicontinua en el punto x0 ,
2
f (−p+ ) + f (p− )
- S(−p) = S(p) = .
2
f (x+ ) + f (x− )
Fuera del intervalo [−p, p], la serie converge a la extensión periódica de la función .
2

I Observaciones.
- Las condiciones dadas en este teorema solo son suficientes para la convergencia de la serie de Fourier; de
ninguna manera son necesarias. A fin de obtener una mejor comprensión del contenido del teorema, es
útil considerar algunas clases de funciones que no satisfacen las condiciones asumidas. Entre las funciones
que no son incluidas en el teorema están, principalmente, aquellas con discontinuidades infinitas en el
intervalo [−L, L], tales como 1/x2 cuando x → 0 o ln |x − L| cuando x → L. También están excluidas las
funciones que tienen un número infinito de discontinuidades en este intervalo acotado; sin embargo, tales
funciones se encuentran raramente en las aplicaciones.

- A pesar de que cada término en la serie S(x) es diferenciable infinita veces, una serie de Fourier puede
converger en una suma que no es diferenciable o incluso que no es continua.
Ejemplo 3.
Volvamos a la serie de Fourier asociada a la función onda cuadrada. Del Teorema de convergencia puntual, se
tiene

a) en un punto donde f (x) es continua; por ejemplo, x0 = π/2,

S(π/2) = f (π/2) = 1

b) en x0 = 0, donde f (x) tiene una discontinuidad tipo salto,

1  1
S(0) = lim+ f (x) + lim− f (x) = ,
2 x→0 x→0 2

c) en los puntos extremos x0 = ±π,

1  1
S(±π) = lim + f (x) + lim− f (x) = .
2 x→−π x→π 2

Como una aplicación curiosa, el Teorema de convergencia permite calcular sumas de series numéricas. En efecto,
del resultado a) se deduce

1 2X 1  (2k + 1)π  π X (−1)k

S(π/2) = 1 = + sin → = .
2 π 2k + 1 | {z2 4 2k + 1
k≥0 } k≥0
(−1)k

I Fenómeno de Gibbs. Volvamos a la representación en series de Fourier de la función onda cuadrada. En

la vecindad de los puntos de discontinuidad, las sumas parciales no convergen suavemente al valor medio que
predice el Teorema de convergencia (ver gráficos del Ejemplo 2.). En lugar de esto, tienden a sobrepasar el valor
de la función en cada extremo del salto, como si las sumas parciales no pudieran acomodarse a la curva cerrada
requerida en este punto. Este comportamiento es tı́pico de las series de Fourier en puntos de discontinuidad y
se conoce como fenómeno de Gibbs.
Para obtener más información sobre este fenómeno, es conveniente considerar el error ek (x) = f (x) − Sk (x). En
la siguiente figura se muestra la gráfica de |ek (x)| en función de x para k = 8 y L = 1.

La cota superior mı́nima de |e8 (x)| es 0.5 y se alcanza cuando x → 0 y cuando x → 1. A medida que k
aumenta, el error disminuye en el interior de intervalo (donde f (x) es continua), pero la cota superior mı́nima
no disminuye. Por lo tanto, no podemos reducir uniformemente el error en todo el intervalo aumentando
el número de términos.
 Supongáse que f (x) y f 0 (x) son funciones seccionalmente continuas en [−p, p].
I Series de Cosenos. Si f (x) es par, entonces

f (x+ ) + f (x− ) a0 X  nπx 

= + an cos , −p ≤ x ≤ p.
2 2 p
n≥1

En efecto, por la definición de los coeficientes de Fourier, se tiene

2 p
  nπx   Z
f (x) cos es par a = f (x) dx,
 0
 


 p  p Z0
p
f (x) es par → → 2  nπx 
an = f (x) cos dx,
 f (x) sin nπx
 
p 0 p
 
es impar
 

p

bn = 0;

I Series de Senos. Si f (x) es impar, entonces

f (x+ ) + f (x− ) X  nπx 

= bn sin , −p ≤ x ≤ p.
2 p
n≥1

Nuevamente, por la definición de los coeficientes de Fourier, se tiene

  nπx  
f (x) cos es impar a = 0,
 0
 

 p 
an = 0, Z
f (x) es impar → →
 nπx  2 p  nπx 
 bn = f (x) sin dx.
 
 f (x) sin

es par

p p 0 p

Ejemplo 4.
Encontrar la serie de Fourier de la función diente de sierra definida por f (x) = x, para −L < x < L, y
f (x + 2L) = f (x).
Dado que f (x) es una función impar, los coeficientes de Fourier serán

an = 0; n = 0, 1, 2, · · ·
Z L
2  nπx  2  L 2   nπx  nπx  nπx L 2L
bn = x sin dx = sin − cos  = (−1)n+1 .

L 0 L L nπ L L L 0 nπ

Luego, la serie de Fourier para f (x) es

2L X (−1)n+1  nπx 
S(x) = sin , −∞ < x < ∞.
π n L
k≥1

Observemos que la función f (x) es discontinua en los puntos ±L, ±3L, · · · En esos puntos, se comprueba
fácilmente que S(x) converge a la semisuma de los valores laterales de f (x); es decir, a cero, como lo determina
el Teorema de convergencia puntual. Finalmente, se tiene

f (x+ ) + f (x− )
S(x) = , −∞ < x < ∞.
2
En la siguiente figura, se muestra la suma parcial correspondiente a n = 9. El fenómeno de Gibbs también está
presente cerca de los puntos de discontinuidad.
 ? ? ?

5. Cada una de las siguientes funciones se asume extendida de manera periódica fuera de su intervalo de
origen. En cada caso, encuentre la serie de Fourier para la función extendida y trace la gráfica de la
función a la que converge la serie indicando el valor en cada discontinuidad.

−1, −π < x < 0,
(a) f (x) =
1, 0 < x < π.
π X (−1)k
i. A partir de la serie hallada en el inciso anterior, probar que = .
4 2k − 1
k≥1

4 X sin((2k − 1)x)
Solución: S(x) = .
π 2k − 1
k≥1


0, −π < x ≤ 0,
(b) f (x) =
x, 0 < x < π.
π2 X 1
i. A partir de la serie hallada en el inciso anterior, probar que = .
8 (2k − 1)2
k≥1

π 2 X cos((2k − 1)x) X sin(kx)

Solución: S(x) = − + (−1)k .
4 π (2k − 1)2 k
k≥1 k≥1

(c) f (x) = 1 − x2 , −1 ≤ x ≤ 1.
π2 X (−1)k+1
i. A partir de la serie hallada en el inciso anterior, probar que = .
12 k2
k≥1

2 4 X cos(kπx)
Solución: S(x) = − 2 (−1)k .
3 π k2
k≥1


0, −π ≤ x ≤ 0,
(d) f (x) =
sin x, 0 ≤ x ≤ π.
π−2 X (−1)k+1
i. A partir de la serie hallada en el inciso anterior, probar que = .
4 (2k − 1)(2k + 1)
k≥1

1 2X cos 2kx 1
Solución: S(x) = − + sin x.
π π (2k − 1)(2k + 1) 2
k≥1
 6. ? Sea δ > 0. La función impulso unitario con centro en t0 está definida por



 0, 0 ≤ t < t0 − δ



1

I(t − t0 ) = , t0 − δ ≤ t < t0 + δ


 2δ


0, t0 + δ < t ≤ 2π


Obtener los coeficientes de Fourier de I(t − t0 ). Luego, calcular lim a0 , lim ak y lim bk .
δ→0 δ→0 δ→0

? ? ?

Al resolver problemas con ecuaciones diferenciales, es muy útil expandir en series de Fourier de perı́odo 2L a
una función f (x) originalmente definida sobre el intervalo [0, L]. Existen varias maneras de lograr este objetivo.
En particular, se puede

a) definir una función f P (x), con perı́odo 2L, tal que


f (x), 0 ≤ x ≤ L,
f P (x) =
f (−x), −L ≤ x < 0.

La función f P (x) es una extensión par de la

función f (x). La serie de Fourier de f P (x) será,
entonces, una serie de cosenos que representa a
f (x) en [0, L] únicamente.

b) definir una función f I (x), con perı́odo 2L, tal que


 f (x), 0 < x < L,
f I (x) = 0, x = 0, x = L,
−f (−x), −L < x < 0.


La función f I (x) es una extensión impar de la

función f (x). La serie de Fourier de f I (x) será,
entonces, una serie de senos que representa a f (x)
en (0, L) únicamente.
 I Series de Fourier de medio rango.
Sea f (x) una función suave a trozos definida en un intervalo [0, p]. Supóngase que f (x) es extendida al
intervalo [−p, 0]. Entonces, si
- la extensión es par , la serie de Fourier asociada a f P (x) tendrá la forma
a0 X nπx
S P (x) = + an cos ,
2 p
n≥1

donde los coeficientes de Fourier de f P (x) quedan determinados por

2 p 2 p
Z Z
nπx
a0 = f (x) dx; an = f (x) cos dx.
p 0 p 0 p

- la extensión es impar , la serie de Fourier asociada a f I (x) tendrá la forma

X nπx
S I (x) = bn sin ,
p
n≥1

donde los coeficientes de Fourier de f I (x) quedan determinados por

2 p
Z
nπx
bn = f (x) sin dx.
p 0 p

Cada serie converge

f (x+ ) + f (x− )
- a para todo x ∈ (0, p),
2
f P (x+ ) + f P (x− )
- a para todo x ∈ (−p, 0) si la extensión fue par,
2
f I (x+ ) + f I (x− )
- a para todo x ∈ (−p, 0) si la extensión fue impar.
2
De esta manera, toda función f (x), suave a trozos, definida en un intervalo [0, p] puede ser expresada como
una serie de cosenos o como una serie de senos.

Ejemplo 5.

1 − x, 0 < x ≤ 1,
Considere la función f (x) = Se puede representar a f (x) como una serie de cosenos o
0, 1 < x ≤ 2.
como una serie de senos. Graficar la función suma correspondientes a cada una de estas series en el intervalo
−6 ≤ x ≤ 6.
En este caso, p = 2, por lo tanto la serie de cosenos de f (x) converge a la extensión periódica par de f (x) con
perı́odo 2p = 4.
Similarmente, la serie de senos de f (x) converge a la extensión periódica impar de f (x) con perı́odo 2p = 4.

I Observación. En muchos casos de interés no son relevantes los valores de f (x) fuera del intervalo original
(0, L); por esto, la elección entre una serie coseno o por una serie seno se determina por la forma en que se
prefiera representar f (x) en el intervalo (0, L).

? ? ?

7. En cada caso, se proporciona una función f (x) definida en un intervalo 0 < x < L. Encuentre las series
coseno y seno de Fourier de f (x) y trace las gráficas de las dos extensiones de f (x) a las cuales estas series
convergen.

 0, 0 ≤ x < 1,
(a) f (x) = 1, 1 ≤ x < 2,
0, 2 ≤ x < 3.


Solución:
√
P 1 2 31 2πx 1 4πx 1 8πx 1 10πx 
f (x) = − cos − cos + cos − cos + ··· ,
3 π 2 3 4 3 8 3 10 3
2  πx 2 3πx 1 5πx 1 7πx 2 9πx 
f I (x) = sin − sin + sin + sin − sin + ··· .
π 3 3 3 5 3 7 3 9 3

(b) f (x) = L − x en (0, L).

Solución:
L 4L X 1 (2k + 1)πx 2L X 1 kπx
f P (x) = + 2 2
· cos , f I (x) = · sin .
2 π (2k + 1) L π k L
k≥0 k≥1

(c) f (x) = x(π − x) en (0, π).

Solución:
π 2 X cos 2kx 8 X sin(2k + 1)x
f P (x) = − ;, f I (x) = .
6 k2 π (2k + 1)2
k≥1 k≥0


sin x, 0 < x ≤ π/2,
(d) f (x) =
0, π/2 ≤ x < π.
Solución:
1 4 1 x 1 3x 1 4x 1 5x 1 7x 
f P (x) = − − cos + cos + cos + cos + cos + ··· ,
π π 3 2 5 2 6 2 21 2 45 2
1 4 1
 x 1 3x 1 5x 1 7x 1 9x 
f I (x) = sin x − sin + sin − sin + sin − sin + ··· .
2 π 3 2 5 2 21 2 45 2 77 2
 8. ?
(a) Sea fb(x) la extensión periódica a R de la extensión impar de la función definida por
π−x
f (x) = 0 ≤ x ≤ π.
2

Encontrar la serie de Fourier asociada a fb(x). Graficar a f (x) y a la función lı́mite de la serie hallada.
(b) Sea gb(x) la extensión periódica a R de la extensión impar de la función definida por

 x(π − 1) 0 ≤ x < 1,

g(x) = 2
x−π

 1 ≤ x ≤ π.
2
Encontrar la serie de Fourier asociada a gb(x). Graficar a g(x) y a la función lı́mite de la serie hallada.
(c) Usando los resultados anteriores, deducir la igualdad
X sin n X  sin n 2 π−1
= = .
n n 2
n≥1 n≥1

? ? ?

Teorema (integración término a término de las series de Fourier). Sea f (x) una función continua
a trozos en [−p, p]. La serie de Fourier asociada aZf (x) puede integrarse término a término, desde a hasta
x
x, y la serie resultante converge uniformemente a f (t) dt; siempre que a y x estén en (−p, p).
a

Teorema (convergencia uniforme de las series de Fourier). Sea f (x) una función continua en [−p, p],
cuya derivada existe y es continua por tramos en (−p, p). Si f (x) asume valores iguales en los extremos del
intervalo; es decir, f (−p) = f (p), la serie de Fourier asociada a f (x) converge uniformemente en el intervalo
[−p, p].
Teorema (derivación término a término de las series de Fourier). Sea f (x) una función continua
en [−p, p], cuya derivada existe y es continua por tramos en (−p, p). Si f (x) asume valores iguales en los
extremos del intervalo; es decir, f (−p) = f (p), la serie de Fourier asociada a f (x) puede derivarse término
a término y la serie resultante converge a f 0 (x).

I Observación. Una función continua y derivable a trozos está determinada de manera única por su serie de
Fourier.

Ejemplo 6.
En el Ejemplo 4, se encontró la serie de Fourier asociada a la función f (x) = x, −L < x < L, y f (x+2L) = f (x).
Haciendo L = 1, podemos escribir

2 X (−1)n+1
x= sin(nπx), −1 < x < 1.
π n
k≥1

Esperamos que la integración término a término de esta serie converja a la integral de x. Entonces, si x ∈ (−1, 1),
Z x
2 X (−1)n+1 x X (−1)n+1 
Z x
1
t dt = sin(nπt) dt = 2π − cos(nπt)  .

0 π n 0 n nπ 0
k≥1 k≥1
De donde se obtiene
x2 2 X (−1)n+1 2 X (−1)n+1 1 2 X (−1)n
= 2 2
− 2 2
cos(nπx) = + 2 cos(nπx), −1 < x < 1.
2 π n π n 6 π n2
k≥1 k≥1 k≥1
| {z }
π2
12

x2
que es precisamente la serie de Fourier asociada a la función g(x) = , −1 < x < 1 (ver ejercicio 5c)).
2
? ? ?

9. ? Suponga que la serie de Fourier asociada a f (x) converge uniformemente a f (x) en (−p, p). Probar la
identidad de Parseval
1 p a2 X 2
Z
(f (x))2 dx = 0 + (ak + b2k ).
p −p 2
k≥1

10. ? Considere la función 2−periódica definida por f (x) = |x| en (−1, 1).
(a) Hallar la serie de Fourier asociada a f (x).
(b) Usar el criterio de Weierstrass para probar que la serie converge uniformemente a f (x) para todo x.
(c) Comprobar que la serie que resulta de derivar término a término la serie hallada en el inciso (a)
converge a f 0 (x).
 MATEMÁTICAS ESPECIALES II - 2020
PRÁCTICA 9
Parte 2 - Integral de Fourier

Z ∞
I Definición. Una función f (x) es (absolutamente) integrable en R si |f (x)|dx < ∞.
−∞
| {z }
kf (x)k1
I Definición. Sea f (x) una función integrable en R. Se denomina transformada de Fourier de f (x) a
la función compleja Z ∞
1
F (ω) = F[f (x)] = f (x)e−iωx dx.
2π −∞

La transformada de Fourier se puede interpretar como un operador, es decir, una aplicación que transforma
funciones en funciones. Desde este punto de vista, una primera propiedad importantı́sima de este operador
es su linealidad.
Proposición. Si f (x) y g(x) son funciones integrables en R y a, b constantes en C, entonces

F[af (x) + bg(x)] = aF[f (x)] + bF[g(x)].

I Observación. La transformación de Fourier se basa en el núcleo e−iωx = cos ωx − i sin ωx. Debido a que las
funciones trigonométricas son las que se utilizan para describir fenómenos ondulatorios, las transformadas de
Fourier aparecen con frecuencia en los estudios de ondas y en el análisis de señales. La salida de un interferómetro
estelar, por ejemplo, implica una transformación de Fourier del brillo a través de un disco estelar. La distribución
de electrones en un átomo se puede obtener de una transformada de Fourier de la amplitud de los rayos X
dispersados en una colisión. En mecánica cuántica, la naturaleza ondulatoria de la materia y la descripción de
la materia en términos de ondas se apoyan en las propiedades de la transformada de Fourier.

Ejemplo 1.

1 |x| ≤ a
a) Encontrar la transformada de Fourier de la función impulso rectangular definido por fa (x) = .
0 |x| > a
Su transformada de Fourier se puede calcular por integración directa. En efecto,
Z ∞ Z a
1 1 1 1 a a sin aω
F[fa (x)] = fa (x)e−iωx dx = e−iωx dx = e−iωx −a = .
2π −∞ 2π −a 2π (−iω) π aω
En la siguiente figura, se muestran las gráficas de la función f (x) (en rojo) y de 2πF[f (x)] (en azul).
b) Encontrar la transformada de Fourier de la función f (x) = e−|x| .
Por definición,
Z ∞ Z ∞
1  0 x −iωx
Z
1 −iωx

F[f (x)] = f (x)e dx = e e dx + e−x e−iωx dx
2π −∞ 2π
Z ∞ −∞ 0
1  0 (1−iω)x
Z 
−(1+iω)x
= e dx + e dx
2π −∞ 0
1 1 1
= + = .
2π(1 − iω) 2π(1 + iω) π(1 + ω 2 )

En la siguiente figura, se muestran las gráficas de la función f (x) (en rojo) y de 2πF[f (x)] (en azul).

2
c) Encontrar la transformada de Fourier de la función campana de Gauss f (x) = e−x .
Por definición,
∞ ∞ 2 ∞ 2
e−ω /4 e−ω /4
Z Z Z
1 −iωx 1 −x2 −iωx −(x−iω/2)2
F[f (x)] = f (x)e dx = e e dx = e dx = √ .
2π −∞ 2π −∞ 2π −∞ 2 π
√
| {z }
π

Se concluye, entonces, que la tansformada de Fourier de una función de Gauss es otra función de Gauss. En la
siguiente figura, se muestran las gráficas de la función f (x) (en rojo) y de 2πF[f (x)] (en azul).
 ? ? ?

11. Sea a un número real positivo. Encontrar la transformada de Fourier de las siguientes funciones

1 − a|x|, |x| ≤ 1/a
(a) f (x) =
0, |x| > 1/a

sin ax, |x| ≤ π/a
(b) f (x) =
0, |x| > 1/a
(c) f (x) = (u(x + 1/2) − u(x − 1/2)) cos ax.

12. Sea f (x) una función integrable en R con transformada de Fourier F (ω). Probar las siguientes propiedades
algebraicas de la transformación de Fourier.
h i
(a) Conjugación: F f (x) = F (−ω),
1 ω
(b) Dilatación: F[f (ax)] = F , a ∈ R,
|a| a
(c) Traslación: F[f (x − x0 )] = F (ω)e−iωx0 ,
(d) Modulación: F[f (x)eiω0 x ] = F (ω − ω0 ),
(e) Dualidad: 2πF[F (−x)] = f (ω).
Prueba. Como la variable de integración es muda, se puede cambiar x → µ en la definición de la
transformada de Fourier de f (x). Haciendo esto,
Z ∞ Z ∞
1 −iωx 1
F (ω) = f (x)e dx = f (µ)e−iωµ dµ
2π −∞ 2π −∞

Cambiando el parámetro de la transformación ω → x, se tiene

Z ∞
1
F (x) = f (µ)e−ixµ dµ.
2π −∞

De nuevo, como la variable de integración es muda, se puede cambiar µ → ω

Z ∞ Z l
1 −ixω
F (x) = f (ω)e dω → 2πF (−x) = lim f (ω)eiωx dω;
2π −∞ l→∞ −l

de donde se deduce que f (ω) es la transformada de Fourier de 2πF (−x) (ver Teorema de inversión).

? ? ?

Ejemplo 2.
a) Determinar la transformada de Fourier de la función g(x) = e−b|x| ; b > 0.
Usando el resultado del Ejemplo 1b) y la propiedad de dilatación, tendremos

1 1 b
F[g(x)] = ·  = .
b π 1 + ( ω )2 π(ω 2 + b2 )
b

b) Determinar la transformada de Fourier de la siguiente función:

 
 0, x < 1,
g(x) = 1, 1 < x < 5,
0, x > 5.


Sea f2 (x) la función impulso rectangular del Ejemplo 1a) con a = 2. Claramente, g(x) = f2 (x − 3). Usando la
propiedad de traslación, tendremos

sin 2ω e−5iω − e−iω

F[g(x)] = F[f2 (x − 3)] = e−3iω F[f2 (x)] = e−3iω =i .
πω 2πω


cos x, |x| ≤ π
c) Determinar la transformada de Fourier de la función g(x) = .
0, |x| > π
sin πω
Sea fπ (x) la función impulso rectangular del Ejemplo 1a) con a = π. Entonces, F (ω) = . Usando la
πω
propiedad de linealidad y de modulación, tendremos

(F[fπ (x)eix ] + F[fπ (x)e−ix ]) F (ω − 1) + F (ω + 1) sin(ω − 1) sin(ω + 1)

F[fπ (x) cos x] = = = + .
2 2 2π(ω − 1) 2π(ω + 1)

sin x
d) Determinar la transformada de Fourier de la función g(x) = .
x
sin ω
Sea f1 (x) la función impulso rectangular del Ejemplo 1a) con a = 1. Entonces, F (ω) = . Usando la
πω
propiedad de dualidad, tendremos
h sin x i  1 |ω| ≤ 1 h sin x i 1  1 |ω| ≤ 1
2π F[F (−x)] = 2 F = = f (ω) → G(ω) = F =
x 0 |ω| > 1 x 2 0 |ω| > 1

? ? ?

13. Comprobar que f (x) es integrable en R. Luego, calcular su transformadas de Fourier.

2
(a) f (x) = ex−x
(b) f (x) = sgn(x)e−|x|
(c) f (x) = e−ax u(x); a > 0.

14. Sea f (x) una función integrable en R con transformada de Fourier F (ω). Determinar F[f (x) sin(ω0 x)] en
función de F (ω).

15. Considere las siguientes funciones:

 

 0, x < −1 
0, x<2
1 + x, −1 < x < 0 x − 2, 2 < x < 3
 
f1 (x) = y f2 (x) = .

 x, 0<x<1 
 x − 3, 3 < x < 4
0, x>1 0, x>4
 

(a) Cómo se relacionan f1 (x) y f2 (x)?

(b) Hallar F[f1 (x)] y F[f2 (x)] aplicando la definición.
(c) Hallar F[f2 (x)] a partir de F[f1 (x)].
 (d) Hallar F[f1 (x) + f2 (x)].


1 − |x|, |x| < 1
16. Considere la función f (x) = . Encontar:
0, |x| ≥ 1

(a) F[f (x)],

(b) F[f (2x)],
(c) F[f (x − 2)],
h sin2 (x/2) i
(d) F .
(x/2)2

? ? ?

I Propiedades analı́ticas de la transformación de Fourier.

En lo que sigue, se asume que f (x) es una función integrable en R con transformada de Fourier F (ω).
1
1. F (ω) es uniformemente continua y |F (ω)| ≤ kf (x)k1 .
2π
Prueba. Se ve inmediatamente que F (ω) está acotada; en efecto,

1  ∞
Z  Z ∞
−iωx
 1
|F (ω)| = f (x)e dx ≤
 |f (x)| dx.
2π  −∞ 2π −∞

Para probar la continuidad, se analizará el lı́mite cuando h → 0 de la siguiente expresión

1  ∞
Z Z ∞  Z ∞
−i(ω+h)x −iωx 1
|f (x)||e−ihx − 1| dx.

|F (ω + h) − F (ω)| = f (x)e dx − f (x)e dx ≤

2π  −∞ −∞ 2π −∞

Para ello, tengamos en cuenta que

|e−ihx − 1| → 0 cuando h → 0,
Z ∞
1 1
|f (x)||e−ihx − 1| dx ≤ kf (x)k1 .
2π −∞ π
Entonces, Z ∞
1
lim |F (ω + h) − F (ω)| = |f (x)| lim |e−ihx − 1| dx = 0
h→0 2π −∞ h→0

Luego, F (ω) es continua. La uniformidad se deduce porque la cota no depende de ω.

2. Si f (x) es continua en R; lim f (x) = 0 y f 0 (x) es integrable en R, entonces F[f 0 (x)] = iωF (ω).
x→±∞
Prueba. Integrando por partes,
Z ∞ ∞ iω ∞
Z
0 1 0 −iωx 1 −iωx 
F[f (x)] = f (x)e dx = f (x)e + f (x)e−iωx dx = iωF (ω).
2π −∞ 2π 2π −∞

−∞

Este resultado se puede aplicar sucesivamente si f (x) tiene más derivadas continuas que tiendan a cero
cuando x → ±∞. En este caso,
F[f (n) (x)] = (iω)n F (ω).
 3. Si xf (x) es integrable en R, entonces F (ω) es derivable y F 0 (ω) = F[−ixf (x)].

Prueba. Se puede derivar bajo el signo integral usando el Teorema I (ver Apéndice); la integrabilidad de
xf (x) es suficiente para ello.
4. lim F (ω) = 0.
|ω|→∞

Prueba. Como eiπ = −1, podemos escribir

Z ∞ Z ∞
1 π 1 π
F (ω) = − f (x)e−iω(x− ω ) dx = − f (ζ + )e−iωζ dζ .
2π −∞ 2π −∞ ω
| {z }
π
x→ζ+
ω
Entonces,
Z ∞ Z ∞ Z ∞
1  −iωζ π  1  π  −iωζ
2F (ω) = f (ζ)e ) dζ − f (ζ + )e−iωζ dζ = f (ζ) − f (ζ + ) e dζ
2π −∞ −∞ ω 2π −∞ ω

que tiende a cero cuando ω tiende a ∞ por la continuidad de la integral.

? ? ?

17. Considere la función f (x) = e−α|x| , con α > 0. Hallar F[f 0 (x)]; podrı́a calcularse a partir de F[f (x)]?
2
18. Determinar la transformada de Fourier de la función f (x) = xe−x .

? ? ?

Junto con la transformada de Fourier, se introduce la antitransformada de Fourier . Se trata de otro

operador, inverso de la transformación de Fourier en el siguiente sentido.
Teorema de inversión (convergencia puntual). Sea f (x) una función integrable en R con transformada
de Fourier F (ω). Si f (x) tiene derivada seccionalmente continua en cada intervalo finito del eje real, entonces
l
f (x+ ) + f (x− )
Z
−1
F [F (ω)] = lim F (ω)eiωx dω = .
l→+∞ −l 2
| {z }
Integral de Fourier

Por tratarse de una fórmula integral, la transformación inversa de Fourier es una operación lineal.
El teorema de inversión tiene una consecuencia importante: permite probar que la transformada de Fourier
es (bajo ciertas condiciones) un operador inyectivo.
Proposición. Sean f (x) y g(x) funciones integrables en R, con transformadas de Fourier F (ω) y G(ω),
respectivamente. Supongamos que ambas funciones son continuas con derivadas seccionalmente continuas.
Si se cumple que F (ω) = G(ω) para todo ω ∈ R entonces f (x) = g(x) para todo x ∈ R.

Ejemplo 3.
 Z ∞
sin(aω) cos(ωx)
Usar el resultado del Ejemplo 1a) para evaluar la integral dω.
−∞ ω
A partir del Teorema de inversión,
∞ l
f (x+ ) + f (x− )
Z Z
1
F (ω) = f (x)e−iωx dx → lim F (ω)eiωx dω = .
2π −∞ l→+∞ −l 2

Entonces, usando el resultado del Ejemplo 1a), tendremos


Z l Z ∞  1, |x| < a
1 sin(aω) iωx
lim F (ω)eiωx dω = e dω = 1/2, |x| = a
l→+∞ −l π −∞ ω
0, |x| > a


De donde,

Z ∞
sin(aω) cos(ωx)  1, |x| < a Z ∞
sin(aω) sin(ωx)
dω = π 1/2, |x| = a y dω = 0.
−∞ ω −∞ ω
0, |x| > a


En particular, si x = 0, se obtiene
Z ∞ Z ∞
sin(aω) sin(aω)
dω = 2 dω = π.
−∞ ω 0 ω

? ? ?

19. Hallar la transformada de Fourier de las siguientes funciones:


sin x, |x| ≤ π/2
(a) f (x) =
0, |x| > π/2
A qué valor converge la integral de Fourier en los puntos x = ±0 y x = ±π/2?


 0, x < −2
x + 1, −2 ≤ x < 0

(b) f (x) =

 x − 1, 0 ≤ x < 2
0, x≥2

A qué valor converge la integral de Fourier en los puntos x = 0 y x = ±2?
1 − x2 , |x| ≤ 1

(c) f (x) =
0, |x| > 1
Z ∞
x cos x − sin x x 3π
Aplicando el resultado anterior, mostrar que 3
cos dx = − .
0 x 2 16

20. Usando el Teorema de inversión para la función f (x) = e−x u(x), probar que

Z ∞ 
 π 0 x < 0,
ω sin ωx + cos ωx
dω = x = 0,
0 1 + ω2  2−x

πe x>0

? ? ?
 Teorema de convolución. Sean f (x) y g(x) funciones integrables en R con transformadas de Fourier F (ω)
y G(ω), respectivamente. Entonces,
Z ∞
(f ∗ g)(x) = f (x − τ )g(τ ) dτ → F[(f ∗ g)(x)] = 2πF (ω)G(ω).
−∞

Ejemplo 4.
1
a) Determinar la transformada inversa de G(ω) = F[g(x)] = .
(1 + ω 2 )2
De acuerdo al Ejemplo 1b),
1 1
F (ω) = F[e−|x| ] = → πF (ω) =
π(1 + ω 2 ) 1 + ω2
Luego, aplicando el Teorema de convolución,
Z ∞
π π
G(ω) = πF (ω) · πF (ω) = F[e−|x| ∗ e−|x| ] → g(x) = e−|x−τ | e−|τ | dτ.
2 2 −∞

Ahora, usando la definición

 Z x Z 0 Z ∞
τ τ −x
x < 0, e e dτ + e τ x−τ
e dτ + e−τ ex−τ dτ = (1 − x)ex ,



Z ∞ 
 −∞ x 0
e−|x−τ | e−|τ | dτ =
−∞ 
 Z 0 Z x Z ∞
eτ eτ −x dτ + e−τ eτ −x dτ + e−τ ex−τ dτ = (1 + x)e−x .

 x > 0,

−∞ 0 x

Finalmente,
π
g(x) = (1 + |x|)e−|x| .
2
Z ∞
2
b) Resolver la ecuación integral y(τ )y(x − τ ) dτ = e−x .
−∞

Supongamos que y(x) es una función que admite transformada de Fourier. Haciendo Y (ω) = F[y(x)] y tomando
la transformada de Fourier a ambos lados de la ecuación integral, se obtiene
2 2
2 e−ω /4 e−ω /8
F[y(x) ∗ y(x)] = F[e−x ] → 2π(Y (ω))2 = √ → Y (ω) = .
2 π 2π 3/4
2
Observemos que Y (ω) es se parece bastante a la transformada de Fourier de la función f (x) = e−x . En efecto,
comparando con el resultado del Ejemplo 1c), podemos escribir
2 √ √ 2 √ √
e−ω /8 2 1 e−(ω/ 2) /4 2 1  ω  2 √
−( 2x)2
= · √ · √ = · √ · F √ = · F[e ].
2π 3/4 π 1/4 2 2 π π 1/4 2 2 π 1/4
| {z }
Propiedad de dilatación

Luego, por el Teorema de inversión, la solución buscada será

h e−ω2 /8 i √
−1 2 −2x2
y(x) = F = e .
2π 3/4 π 1/4

c) Resolver la ecuación diferencial y 00 (x) + 2y 0 (x) + y(x) = xe−x u(x).

Supongamos que y(x) y sus derivadas son funciones que admiten transformada de Fourier. Tomando la trans-
formada de Fourier a ambos lados de la ecuación diferencial, se obtiene
1
F[y 00 (x)] + 2F[y 0 (x)] + F[y(x)] = F[xe−x u(x)] = .
2π(1 + iω)2
Asumiremos que y(x) y su derivada primera son funciones continuas y que ambas tienden a cero cuando x → ±∞.
Bajo estas hipótesis,
F[y 0 (x)] = iωF[y(x)]; F[y 00 (x)] = −ω 2 F[y(x)].
Denotando Y (ω) = F[y(x)], tendremos
1 1 1
−ω 2 Y (ω) + 2iωY (ω) + Y (ω) = (1 + iω)2 Y (ω) = → Y (ω) = ·
2π(1 + iω)2 (1 + iω) 2π(1 + iω)2
2

Luego, usando el Teorema de convolución,

Y (ω) = 2πF[xe−x u(x)] · F[xe−x u(x)] = F[xe−x u(x) ∗ xe−x u(x)]

Finalmente, usando el Teorema de inversión,


Z ∞  0, x<0 x3 −x
x
τ e−τ u(τ )(x − τ )e−(x−τ ) u(x − τ ) dτ =
Z
y(x) = −x = e u(x).
−∞  e τ (x − τ ) dτ, x>0 6
0

? ? ?

21. Utilizar la transformación de Fourier para hallar una solución de

(a) y 00 (x) + 5y 0 (x) + 6y(x) = e−αx u(x).
(b) y 00 (x) + 6y 0 (x) + 8y(x) = f (x) = sgn (x)e−|x| .
Qué caracterı́sticas tiene la solución hallada?

? ? ?

Dada una función f (x) en (0, ∞) se define su transformada de Fourier en cosenos como

1 ∞
Z
Fc (ω) = f (x) cos ωx dx ← función par de ω.
π 0

Se comprueba fácilmente que coincide con la transformada de Fourier usual de la extensión par de f (x) a
todo R. En este caso, Z ∞
f (x+ ) + f (x− )
=2 Fc (ω) cos ωx dω x ≥ 0.
2 0

Análogamente, se define la transformada de Fourier en senos como

1 ∞
Z
Fs (ω) = f (x) sin ωx dx ← función impar de ω;
π 0

que coincide con la transformada de Fourier usual de la extensión impar de f (x) a todo R (multiplicada por
i). Además, Z ∞
f (x+ ) + f (x− )
=2 Fs (ω) sin ωx dω x ≥ 0.
2 0
Ejemplo 5.
Encontrar la transformada de Fourier en cosenos de la función f (x) = e−ax ; a > 0, x ≥ 0.
Integrando por partes, se tiene
Z ∞
1 1 a
Fc (ω) = e−ax cos ωx dx = .
π 0 π a2 + ω 2

𝑓 𝑃 (x) 𝐹𝐶 (𝜔)

En este caso, como f (x) es continua en [0, ∞), la aplicación del teorema de inversión conduce a
Z ∞
2a ∞ cos ωx
Z
f (x) = 2 Fc (ω) cos ωx dω → e−ax = dω, x ≥ 0.
0 π 0 a2 + ω 2

En particular, si x = 1, Z ∞
cos ω π −a
dω = e .
0 a2+ω 2 2a

? ? ?

22. Resolver la ecuación integral

Z ∞ 
1, 0 < ω < π
(a) f (x) sin ωx dx =
0 0, ω>π

2 (1 − cos πx)
Solución: f (x) = , x > 0.
π x
Z ∞ 
1 − ω, 0 ≤ ω ≤ 1
(b) f (x) cos ωx dx =
0 0, ω>1

2 (1 − cos x)
Solución: f (x) = , x > 0.
π x2

? ? ?
I La transformada de Laplace está fuertemente relacionada con la transformada de Fourier. Para analizar
esta relación, consideremos la transformada de Laplace de una función f (t),
Z ∞
L[f (t)] = e−st f (t) dt Re s > α, (1)
0

donde α es un número real que depende de f (t) y establece una restricción sobre Re s necesaria para que la
integral converja. Si escribimos s = s1 + is2 ; con s1 , s2 ∈ R, la integral (1) puede escribirse como
Z ∞ Z ∞
−(s1 +is2 )t
L[f (t)] = e f (t) dt = e−s1 t f (t)e−is2 t dt s1 > α.
0 0

Entonces, si se define
 Z ∞
0, t<0
g(t) = → L[f (t)] = e−is2 t g(t) dt .
f (t)e−s1 t t≥0 −∞
| {z }
F (s)

La integral F (s) tiene la forma de la transformada de Fourier de g(t). Luego, si g(t) satisface las condiciones
suficientes para que exista la integral de Fourier asociada, se tiene que, para s = γ + is2 y γ > α,
Z R
−γt 1
g(t) = f (t)e = lim F (c + is2 )eis2 t ds2 , t > 0. (2)
2π R→∞ −R

Finalmente,
Z γ+iR
1
f (t) = lim F (s)est ds, t>0 ← Integral de inversión compleja.
2πi R→∞ γ−iR

La integral de Inversión compleja se puede calcular utilizando la Teorı́a de los residuos.

Sean sn (n = 1, 2, · · ·, N ) las singularidades de F (s).
Sean

R0 = max |sn |,
n

R > R0 + γ.
Consideremos el semi-cı́rculo
π 3π
s = γ + Reiθ , 2 ≤θ≤ 2 .

Entonces,

|sn − γ| < |sn | + γ ≤ R0 + γ < R;

es decir, todas las singularidades de F (s) están
en el interior de la curva LR ∪ CR .
Aplicando la Teorı́a de los residuos,
Z X Z
est F (s) ds = 2πi Res(est F (s), sn ) − est F (s) ds.
LR 1≤n≤N CR
Luego, bastará con probar que Z
lim est F (s) ds = 0.
R→∞ CR

Obviamente, esto no será cierto para cualquier F (s). Haremos la siguiente hipótesis: para todos los puntos
s sobre CR , existe una constante positiva MR tal que |F (s)| < MR y, además, MR → 0 a medida
que R → ∞. En estas condiciones, usando la representación paramétrica de la curva CR y el Lema de
Jordan,
π
φ=θ−
2
 z 3π/2
}|
π
{
πeγt
Z Z Z
est F (s) ds ≤ sup |F (s)| e(γ+R cos θ)t R dθ = sup |F (s)|Reγt e−Rt sin φ dφ <
 
 MR .

CR s∈CR π/2 s∈CR t
|0 {z }
π
<
Rt

? ? ?

23. ? Calcular la transformación inversa de Laplace de las siguientes funciones utilizando el Teorema de
inversión compleja:
3
(a) F (s) =
s(s2 − 4)(s + 2)
e−2s
(b) F (s) =
s2 (s
− 1)
se−3s
(c) F (s) =
(s2 + 4)2
s
(d) F (s) = 2
s + 2s − 8
 APÉNDICE

I Teorema I (Continuidad y derivabilidad de integrales paramétricas). Sea f (x, t) una función

definida en I × (a, b) (donde I es un intervalo acotado de R). Supongamos que, para cada t, la función f (·, t)
es integrable en I y definimos Z
F (t) = f (x, t) dx.
I

- Si la función t 7→ f (x, t) es continua en t0 para cada x ∈ I y existe g1 , función integrable en I, tal que
|f (x, t)| ≤ g1 (x) en casi todo punto de I para t en un entorno de t0 , entonces F es continua en t0 .
- Si la función t 7→ f (x, t) es derivable en un entorno de t0 y existe g2 , función integrable en I, tal que
∂ 
 f (x, t) ≤ g2 (x)
 
∂t
en casi todo punto de I para t en un entorno de t0 , entonces F es derivable en t0 y
Z
0 ∂
F (t0 ) = f (x, t0 ) dx.
I ∂t

Cuando decimos en casi todo punto estamos aceptando que la hipótesis no se cumpla en un conjunto de puntos
aislados; hay que entender que ese conjunto es independiente de t.