Está en la página 1de 23

Matemática IV (MAT024)

Campus Santiago San Joaquı́n


Apuntes de Clases
Tema: Series de Fourier

Contenidos

Clase 1: Series de Fourier; Coeficientes de Fourier

Clase 2: Desarrollos de medio rango; Integral de Fourier.

Clase 1

El espacio SC] − L , L[

Se define el espacio vectorial SC] − L, L[ como el conjunto de todas las funciones continuas
por partes en ] − L, L[ . Esto es, a lo más tienen un número finito de discontinuidades, en los
cuales los lı́mites laterales

Notación
f x+

lı́m+ f (x) = 0
x→x0
Notación
f x−

lı́m− f (x) = 0
x→x0

existen. Además en los extremos, los limites laterales correspondientes tambien existen.

En SC] − L , L[ diremos que dos funciones son iguales, si son iguales punto a punto, salvo
un número finito de puntos.
A PUNTES DE C LASES M ATEM ÁTICA UTFSM

Proposición 1.1. SC] − L, L[ con la suma usual de funciones y el producto escalar usual es un
R-Espacio vectorial.

La demostración es elemental y se puede dejar como ejercicios.

Definición 1.1. En SC] − L, L[ se define el producto

ZL
hf , gi = f (x)g(x) dx
−L

Se cumple:

Proposición 1.2. Para f ; f1 ; f2 ; g ∈ SC] − L, L[ y α ∈ R . Se tiene.

1. hf , f i ≥ 0 .

2. hf , f i = 0 ⇔ f ≡ 0 (es la función nula, en el sentido de la definición anterior).

3. hf , gi = hg , f i .

4. hf1 + f2 , gi = hf1 , gi + hf2 , gi .

5. hαf , gi = hf , αgi = αhf , gi .

Las demostraciones son elementales y se pueden dejar como ejercicio. Luego se cumple:

Proposición 1.3. SC] − L , L[ es un espacio vectorial con producto punto.

Ejemplo 1.1.

Zl
h1 , 1i = dx = 2L
−L

 nπx E ZL  nπx 
L
D L  nπx

1 , cos = cos = sen = 0
L L nπ L


−L −L

 nπx E ZL  nπx 
L
D L  nπx 
1 , sen = sen = − cos = 0

L L nπ L


−L −L

MAT024 2 J.B.I./ N.C.F./L.G.C.


A PUNTES DE C LASES M ATEM ÁTICA UTFSM


D  nπx   mπx E ZL  nπx   mπx   L n = m
sen , sen = sen sen dx =
L L L L 
0 n 6= m
−L


D  nπx   mπx E ZL  nπx   mπx   L n = m
cos , cos = cos cos dx =
L L L L 
0 n 6= m
−L

D  nπx   mπx E ZL  nπx   mπx 


sen , cos = sen cos dx = 0
L L L L
−L

De aquı́ se tiene

Proposición
La familia
n  nπx   nπx  o
B = 1 , cos , sen
L L n∈N

Es una familia ortogonal en SC] − L, L[ y por tanto linealmente independiente.

Para Espacios vectoriales de dimensión fı́nita se cumple:

Proposición 1.4. Sean V un espacio vectorial ; B = {v1 , v2 , . . . , vn } una base ortogonal de V y


w ∈ V , entonces se cumple

hw , v1 i hw , v2 i hw , vn i
w = v1 + v2 + · · · + vn
hv1 , v1 i hv2 , v2 i hvn , vn i

Además si H = h v1 , v2 , . . . , vr i con r < n entonces la proyección ortogonal de w ∈ V es el


vector

hw , v1 i hw , v2 i hw , vr i
proyH (w) = v1 + v2 + · · · + vr
hv1 , v1 i hv2 , v2 i hvr , vr i

Y proyH (w) es la mejor aproximación de w por elementos de H , o bien proyH (w) es el punto de H
más próximo a w .

MAT024 3 J.B.I./ N.C.F./L.G.C.


A PUNTES DE C LASES M ATEM ÁTICA UTFSM

Las demostraciones se hacen (o debieran hacerse) en Mate 2 . Nos gustarı́a poder replicar
estas propiedades en Espacios Vectoriales con producto punto, de dimensión infinita. En
particular en SC] − L , L[ .

Observación 1.1. Sea f ∈ SC] − L, L[ y suponer que


∞    
a0 X kπx kπx
f (x) = + ak cos + bk sen
2 k=1
L L

Entonces, salvo el tema de la convergencia de la serie, se debe cumplir para n ∈ N fijo

* ∞     +
D  nπx E a0 X kπx kπx  nπx 
f (x) , cos = + ak cos + bk sen , cos
L 2 k=1
L L L

Usando las propiedades del producto punto y la ortogonalidad de la familia B queda


D  nπx   nπx E
= an cos , cos
L L

Despejando an se tiene:
D  nπx E
f (x) , cos ZL
L 1  nπx 
an = D  nπx   nπx E = f (x) cos dx
cos , cos L L
L L −L

Analogamente haciendo los mismos cálculos


D  nπx E
f (x) , sen ZL
L 1  nπx 
bn = D  nπx   nπx E = f (x) sen dx
sen , sen L L
L L −L

ZL
a0 hf (x) , 1i 1
= ⇒ a0 = f (x) dx
2 h1 , 1i L
−L

Definición 1.2. Sea f ∈ SC] − L, L[ . Llamaremos Serie de Fourier de f a la serie trigo-


nométrica
∞    
a0 X kπx kπx
+ ak cos + bk sen
2 k=1
L L

Los coeficientes

MAT024 4 J.B.I./ N.C.F./L.G.C.


A PUNTES DE C LASES M ATEM ÁTICA UTFSM

ZL ZL ZL
1 1  nπx  1  nπx 
a0 = f (x) dx ; an = f (x) cos dx ; bn = f (x) sen dx
L L L L L
−L −L −L

Se llaman coeficientes de Fourier de f .

Definición 1.3. Sea f ∈ SC] − L, L[ Diremos que f es suave a pedazos si f y f 0 son


continuas a pedazos y además en los puntos de discontinuidad los lı́mites laterales, tanto de
f como de f 0 existen y son fı́nitos. Lo mismo para los lı́mites laterales en los extremos del
intervalo.

Se cumple:

Teorema
Sea f ∈ SC] − L, L[ suave a pedazos, entonces la serie de Fourier de f converge a f (x)
en todos los puntos de continuidad . En los puntos de discontinuidad la serie converge
al promedio
f (x+ ) + f (x− )
2

Observación 1.2. Sea f ∈ SC] − L, L[ una función suave a pedazos, considerar la extensión
periodica definida por la ecuación f (x + 2L) = f (x) . Ası́ f está definida en todo R .
Entonces la serie de Fourier converge a f (x) en todos los puntos de continuidad y converge
al promedio
f (x+ ) + f (x− )
2
en los puntos de discontinuidad. Esto incluye tambien los extremos del intervalo ] − L, L[ .

Observar que en los puntos de continuidad el promedio anterior coincide con f (x) , pues los
lı́mites laterales son iguales a f (x) . Ası́ decimos que la serie converge a f (x) en promedio.

Ejemplo 1.2. Sea f (x) = |x| para −π < x < π y suponer que f (x + 2π) = f (x) . Los
coeficientes de Fourier para f son:

Zπ Zπ
1 2
a0 = |x| dx = x dx = π
π π
−π 0

Zπ Zπ
1 2
an = |x| cos(nx) dx = x cos(nx) dx
π π
−π 0

MAT024 5 J.B.I./ N.C.F./L.G.C.


A PUNTES DE C LASES M ATEM ÁTICA UTFSM

Integrando por partes


u = x → du = dx
sen(nx)
dv = cos(nx) dx → v =
n
La integral queda

 
π Zπ
2 x sen(nx)
1
=  − sen(nx) dx
π n n
0 0

2
= (cos(nπ) − cos(0))
n2 π

0  si n es par
2 n

= 2 ( (−1) − 1) =
nπ  −4

si n es impar
n2 π


1
bn = |x| sen(nx) dx = 0
π
−π

pues se trata de la integral de una función impar entre −π y π .

Ası́

∞ ∞
π X 2 n π 4X 1
|x| = + 2
( (−1) − 1) cos(nx) = − cos((2n − 1)x)
2 n=1 n π 2 π n=1 (2n − 1)2

para todo −π < x < π . En particular para x = 0 se tiene:



π2 X 1
=
8 n=1
(2n − 1)2

Ejemplo 1.3. Sea f (x) = x con −1 < x < 1 , suponer además que f (x + 2) = f (x) . Los
coeficientes de Fourier para f (x) son

MAT024 6 J.B.I./ N.C.F./L.G.C.


A PUNTES DE C LASES M ATEM ÁTICA UTFSM

Z1
1
a0 = x dx = 0
1
−1

Z1
1
an = x cos(nπx) dx = 0
1
−1

Por otra parte

Z1 Z1
1
bn = x sen(nπx) dx = 2 x sen(nπx) dx
1
−1 0

Haciendo integración por partes queda


 1 
x cos(nπx) 1 2
= 2 − + 2 2 sen(nπx)  = (−1)n+1

nπ nπ nπ
0

Luego para todo x ∈ ] − 1 , 1[ se cumple la igualdad

∞  
X 2 n+1 2 1 1 1
x = (−1) sen(nπx) = sen(πx) − sen(2πx) + sen(3πx) − sen(4πx) + · · ·
n=1
nπ π 2 3 4

1
En particular para x = se cumple
2
       
1 2 π  1 3π 1 5π 1 7π
= sen + sen + sen + sen + ···
2 π 2 3 2 5 2 7 2

 
2 1 1 1 1 1
= 1− + − + − + ···
π 3 5 7 9 11

Despejando

π 1 1 1 1 1
= 1− + − + − + ···
4 3 5 7 9 11
De donde se pueden obtener aproximaciones de π con tantos decimales como se desee.

MAT024 7 J.B.I./ N.C.F./L.G.C.


A PUNTES DE C LASES M ATEM ÁTICA UTFSM

Observar que si evaluamos en x = 1 entonces la serie converge a 0, que corresponde al


f (1+ ) + f (1− ) (−1) + 1
promedio = .
2 2

Proposición 1.5. Para una función f ∈ SC] − L, L[ suave a pedazos se cumple


(i) Si f es una función impar, entonces a0 = an = 0 para todo n ∈ N . En tal caso la serie de
Fourier para f es una serie senoidal.
(ii) Si f es una función par, entonces bn = 0 para todo n ∈ N y la serie de Fourier de f es una
serie cosenoidal.

Las demostraciones son elementales y se realizan en un curso básico de integración.

Ejemplo 1.4. Considerar f (x) = x2 con −π < x < π y suponer que f (x + 2π) = f (x) .
Observar que se trata de una función par y por tanto

bn = 0 ; ∀n ∈ N

Por otra parte


Zπ Zπ
1 2 2 2π 2
a0 = x dx = x2 dx =
π π 3
−π 0

Zπ Zπ
1 2 2
an = x cos(nx) dx = x2 cos(nx) dx
π π
−π −π

 
2
π Zπ
2 x sen(nx)
2
=  − x sen(nx) dx
π n n
0 0


4
=− x sen(nx) dx

0

 
π Zπ
4  x cos(nx)
1
=− − + cos(nx) dx
nπ n n
0 0

4 cos(nπ) 4
= 2
= 2 (−1)n
n n

MAT024 8 J.B.I./ N.C.F./L.G.C.


A PUNTES DE C LASES M ATEM ÁTICA UTFSM

Luego

2 π2 X (−1)n
x = +4 cos(nx)
3 n=1
n2

para todo x ∈] − π , π[ . Observar que incluso en los extremos del intervalo se cumple la
igualdad anterior. Más aún, la serie no solo aproxima a x2 en el intervalo [−π , π] sino en
toda su extensión periodica.
Evaluando en x = π la serie de Fourier converge a π 2 y se tiene:

π2 X 1 1 1 1
= 2
= 2 + 2 + 2 + ···
6 n=1
n 1 2 3

Ejemplo 1.5. Sea α un número real no entero.

(i) Encontrar el desarrollo en serie de Fourier de la función

f (x) = cos αx −π <x<π

Solución

Observar que f es una función par y por tanto los bn son todos 0.

Por otra parte

Z π
π
1 1 sen αx
a0 = cos αx dx =
π −π π α −π

1
= (sen απ − sen(−απ))
απ

2 sen απ
=
απ

Para n = 1 , 2 , 3 , . . . se tiene
Z π
1
an = cos αx cos nx dx
π −π

Z π
2 1
= (cos(α + n)x + cos(α − n)x) dx
π 0 2

MAT024 9 J.B.I./ N.C.F./L.G.C.


A PUNTES DE C LASES M ATEM ÁTICA UTFSM

 π
1 sen(α + n)x sen(α − n)x
= +
π α+n α−n 0

 
1 sen(α + n)π (α − n)π
= +
π α+n α−n

 
1 sen απ cos nπ + sen nπ cos απ sen απ cos nπ − sen nπ cos απ
= +
π α+n α−n

 
1 n sen απ n sen απ
= (−1) + (−1)
π α+n α−n

(−1)n sen απ
 
1 1
= +
π α+n α−n

(−1)n sen απ
 
α−n+α+n
=
π α 2 − n2

(−1)n 2α sen απ
=
π (α2 − π 2 )


sen απ X 2α(−1)k sen απ
∴ cos αx = + 2 − k2)
cos kx
απ k=1
π (α


sen απ 2α sen απ X (−1)n
cos αx = + 2 − n2
cos nx
απ π n=1
α

(ii) Usar esta serie para calcular el valor de la suma



!
1 1 X 2α
− .
π α n=1 n2 − α2

Solución

En x = π se cumple que la serie converge a

f (π + ) + f (π − ) cos απ + cos απ
= = cos απ
2 2

MAT024 10 J.B.I./ N.C.F./L.G.C.


A PUNTES DE C LASES M ATEM ÁTICA UTFSM

Luego


sen απ 2α sen απ X (−1)n
cos απ = + 2 − n2
cos nπ
απ π n=1
α

1 2α X 1
cotg απ = +
απ π n=1 α − n2
2


!
1 1 X 2α
= −
π α n=1 n2 − α2

Observación 1.3. Sea f suave a pedazos. Considerar la serie de Fourier de f


∞    
a0 X kπx kπx
+ ak cos + bk sen
2 k=1
L L

Hacer

* ∞
+
a0 X  nπx   nπx 
kf k2 = f, + an cos + bn sen
2 n=1
L L


a0 X D  nπx  E D  nπx  E
= hf , 1i + an f , cos + bn f , sen
2 n=1
L L


a0 X
= La0 + an Lan + bn Lbn
2 n=1

ZL ∞
1 a2 X 2
2
dx = 0 + an + b2n

⇒ f (x)
L 2 n=1
−L

Identidad de Parseval
Sea f ∈ SC] − L , L[ suave a pedazos y sean a0 , an y bn los coeficientes de Fourier de
f . Se cumple

ZL ∞
1 2 a2 X 2
(f (x)) dx = 0 + an + b2n
L 2 n=1
−L

MAT024 11 J.B.I./ N.C.F./L.G.C.


A PUNTES DE C LASES M ATEM ÁTICA UTFSM

Ejercicio 1.1. Sea f : ]a, b[→ R suave a pedazos. Probar que f admite una Serie de Fourier
de la forma
∞    
ao X 2nπx 2nπx
+ an cos + bn sen
2 n=1
b−a b−a

convergente a f en promedio. Encontrar los coeficientes de Fourier.

Ejemplo 1.6. Sea f (x) = x definida en ]0, π[ ; y suponer que f (x + π) = f (x) . Observar
que f admite una serie de Fourier en las condiciones del ejercicio anterior. Hacer


2
a0 = x dx = π
π
0


2
an = x cos(2nx) dx
π
0

 
π Zπ
2 x sen(2nx)
1
=  − sen(2nx) dx = 0
π 2n 2n
0 0


2
bn = x sen(2nx) dx
n
0

 
π Zπ
2 x cos(2nx)
1 1
= − + cos(2nx) dx = −
π 2n 2n n
0 0

Luego para 0 < x < π , se cumple



π X sen(2nx)
x = − (en promedio)
2 n=1 n

(
x 0≤x<1
Ejercicio 1.2. Use la función f (x) =
1−x 1≤x≤2
Para probar que

1 1 1 1 π2
+ + + + ··· =
12 32 52 72 8

MAT024 12 J.B.I./ N.C.F./L.G.C.


A PUNTES DE C LASES M ATEM ÁTICA UTFSM

Desarrollos de medio rango

Sea f : [0 , L[ → R suave a pedazos. Queremos aproximar f mediante una serie cosenoidal


o senoidal, segun sea el caso y la necesidad, para ello podemos extender f a todo el intervalo
] − L , L[ de modo que la extensión sea par (fe) o impar (fb) . En tal caso encontramos una
serie cosenoidal que converge (en promedio) a fb en el intervalo ] − L , L[ y en particular
converge (en promedio) a f en el intervalo [0 , L[ . Asimismo podemos encontrar una serie
senoidal que converge a fb (en promedio) en el intervalo ] − L , L[ y en particular converge
(en promedio) a f en el intervalo [0 , L]

Sea fe la extensión par de f al intervalo ] − L , L[ .



 f (x) para 0 ≤ x < L
f (x) =
e
 f (−x) para − L < x < 0

Los coeficientes de Fourier para fe quedan

ZL ZL
1 2
a0 = fe(x) dx = f (x) dx
L L
−L 0

ZL ZL
1  nπx  2  nπx 
an = fe(x) cos dx = f (x) cos dx
L L L L
−L 0

bn = 0

Ası́


a0 X  nπx 
f (x) = +
e an cos ∀ −L<x<L (en promedio)
2 n=1
L

En particular para 0 ≤ x < L se cumple


a0 X  nπx 
f (x) = + an cos (en promedio)
2 n=1
L

Luego para f se cumple:

MAT024 13 J.B.I./ N.C.F./L.G.C.


A PUNTES DE C LASES M ATEM ÁTICA UTFSM

Serie Cosenoidal
Sea f : [0 , L[ → R suave a pedazos, entonces


a0 X  nπx 
f (x) = + an cos ; ∀0 ≤ x < L (en promedio)
2 n=1
L

Donde los coeficientes se calculan como:

ZL ZL
2 2  nπx 
a0 = f (x) dx ; an = f (x) cos dx
L L L
0 0

Por otra parte, sea fb la extensión impar de f al intervalo ] − L , L[



 f (x) para 0 ≤ x < L
fb =
 −f (−x) para − L < x < 0

Los coeficientes de Fourier para fb son

ao = an = 0

ZL ZL
1  nπx  2  nπx 
bn = fb(x) sen dx = f (x) sen dx
L L L L
−L 0

Luego fb se puede representar como


X  nπx 
fb(x) = bn sen ∀ −L<x<L (en promedio)
n=1
L

En particular para 0 ≤ x < L se cumple


X  nπx 
f (x) = bn sen (en promedio)
n=1
L

De este modo f se puede expresar mediante una serie senoidal.

MAT024 14 J.B.I./ N.C.F./L.G.C.


A PUNTES DE C LASES M ATEM ÁTICA UTFSM

Serie Senoidal
Sea f : [0 , L[ → R suave a pedazos, entonces

X  nπx 
f (x) = bn sen ; ∀0 ≤ x < L (en promedio)
n=1
L

Donde:

ZL
2  nπx 
bn = f (x) sen dx
L L
0

Ejemplo 1.7. Sea


 π
 x 0≤x≤
 2
f (x) =
 π−x π
<x<π

2
Hallar su serie cosenoidal.

solución:

 
Zπ Zπ/2 Zπ
2 2 π
a0 = f (x) dx =  x dx + (π − x) dx =

π π 2
0 0 π/2

 
ZL Zπ/2 Zπ
1 2
an = f (x) cos(nx) dx =  x cos(nx) dx + (π − x) dx

π π
0 0 π/2

 
2 2  nπ  1 n
= cos − 2 (1 + (−1) )
π n2 2 n

 − 2

si n = 2k con k impar
= k2π
0 en todos los otros casos

Luego para todo 0 ≤ x < π :



π 2X 1
f (x) = − cos(2(2n − 1)x)
4 π n=1 (2n − 1)2

MAT024 15 J.B.I./ N.C.F./L.G.C.


A PUNTES DE C LASES M ATEM ÁTICA UTFSM

Ejemplo 1.8. Considere la función f (x) = sen2 (x) con 0 < x < π .

1. Encuentre la serie senoidal para f .

2. Calcule la suma
1 1 1 1
− + − + ···
1 · 3 · 5 3 · 5 · 7 5 · 7 · 9 7 · 9 · 11

solución:

1. Para n 6= 2 se tiene:

Z π
2
bn = sen2 (x) sen(nx) dx
π 0
Z π
2 1
= (1 − cos(2x)) sen(nx) dx
π 0 2
Z π Z π
1 1
= sen(nx) dx − cos(2x) sen(nx) dx
π 0 π 0
Z π Z π
1 1
= sen(nx) dx − [sen((n + 2)x) + sen((n − 2)x)] dx
π 0 2π 0

  π
1 n 1 cos((n + 2)x) cos((n − 2)x)
= − [(−1) − 1] + +
nπ 2π n+2 n−2
0
 
1 1 n
= − 2 [1 − (−1)n ]
π n n −4



 0 Si n es par

=
8
 − Si n es impar


(n − 2)n(n + 2)π

Para n = 2 facilmente se concluye que b2 = 0

Luego se tiene:

 
2 8 1 1 1 1
sen (x) = − sen(x) + sen(3x) + sen(5x) + sen(7x) + · · ·
π (−1) · 1 · 3 1·3 ·5 3·5·7 5·7 ·9

π
2. Evaluando en x = se cumple:
2

MAT024 16 J.B.I./ N.C.F./L.G.C.


A PUNTES DE C LASES M ATEM ÁTICA UTFSM

 
8 1 1 1 1 1
1 =− − − + − + − ···
π 1·3 1·3·5 3·5·7 5·7·9 7 · 9 · 11

Despejando

π 1 1 1 1 1
− = − + − + ···
8 3 1·3·5 3·5·7 5·7·9 7 · 9 · 11

Luego se tiene:

1 1 1 1 3π − 8
− + − + ··· =
1·3·5 3·5·7 5·7·9 9 · 11 · 13 24

Ejemplo 1.9. Sea f : [0, π[ → R definida por f (x) = x(π − x)

1. Encontrar la serie senoidal de Fourier de f .

solución:

Z π
2
bn = x(π − x) sen(nx) dx
π 0

 Z π Z π 
2 2
= π x sen nx dx − x sen nx dx
π 0 0

π 2 (−1)n+1 (−1)n+1 π
 
2 2 n
= − + 3 (1 − (−1) )
π n n n


0 n par
4 
= 3 (1 − (−1)n ) = 8
πn  n impar
n3 π


8X 1
∴ x(π − x) = sen((2n − 1)x) 0≤x≤π
π n=1 (2n − 1)3


X (−1)n+1
2. Use lo anterior para calcular la suma de la serie .
n=1
(2n − 1)3

MAT024 17 J.B.I./ N.C.F./L.G.C.


A PUNTES DE C LASES M ATEM ÁTICA UTFSM

solución:

π
Evaluando en x =
2
∞ ∞
π2 8 X (−1)n+1 X (−1)n+1 π3
= ⇒ =
4 π n=1 (2n − 1)3 (2n − 1)3 32
(2n−1)3

MAT024 18 J.B.I./ N.C.F./L.G.C.


A PUNTES DE C LASES M ATEM ÁTICA UTFSM

De la Serie de Fourier a la Integral de Fourier

Sea f una función suave a pedazos, integrable en R . Se quiere representar f a traves de


una integral, de la misma forma como una función periodica se representa como una serie.
Para ello restringimos f al intervalo ] − L , L[ de tal forma que f se puede representar
mediante serie de Fourier y luego hacemos que L → ∞ . Ası́:


a0 X  nπx   nπx 
f (x) = + an cos + bn sen
2 n=1
L L

 
ZL ∞ ZL  
1 X
1 nπt  nπx 
= f (t) dt + f (t) cos dt cos

2L n=1
L L L
−L −L

 
ZL  
1 nπt  nπx 
+ f (t) sen dt sen
L L L
−L

nπ nπ π
Hacer αn = . Con esto L = y ∆α = αn+1 − αn = .
L αn L
Se cumple:
∆α → 0 ⇔ L→∞

Luego f (x) se puede reescribir como

 L   L  
ZL ∞ Z Z
∆α 1 X
f (x) = f (t) dt +  f (t) cos(αn t) dt cos(αn x) +  f (t) sen(αn t) dt sen(αn x) ∆α
2π π n=1
−L −L −L

Para todo x ∈] − L , L[ (en promedio) . Observar que este último sumando corresponde a
una suma de Riemman para la función
 L   L 
Z Z
g(α) =  f (t) cos(αt) dt cos(αx) +  f (t) sen(αt) dt sen(αx)
−L −L

Luego haciendo ∆α → 0 (o equivalentemente L → ∞ ) se tiene por una parte

ZL
∆α
lı́m f (t) dt = 0
∆α→0 2π
−L

Y por la otra

MAT024 19 J.B.I./ N.C.F./L.G.C.


A PUNTES DE C LASES M ATEM ÁTICA UTFSM

∞ Z∞
1X 1
lı́m g(αn ) ∆α = g(α) dα
∆α→0 π π
n=1 0

Ası́:

Z∞ Z∞ Z∞
    
1
f (x) =  f (t) cos(αt) cos(αx) +  f (t) sen(αt) sen(αx) dα
π
0 −∞ −inf ty

Integral de Fourier
Sea f : R → R suave a pedazos, entonces
Z∞
1
f (x) = [A(α) cos(αx) + B(α) sen(αx)] dα
π
0

Donde los coeficientes se calculan como:


Z∞ Z∞
A(α) = f (t) cos(αt) dt ; B(α) = f (t) sen(αt) dt
−∞ −∞

La integral converge a f (x) en los puntos de continuidad y al promedio


f (x+ ) + f (x− )
en los puntos de discontinuidad.
2

Z∞
Observación 1.4. (i) si f es par, entonces B(α) = 0 y A(α) = 2 f (t) cos(αt) dt y
0

Z∞ Z∞ Z∞
 
1 2 
f (x) = A(α) cos(αx) dα = f (t) cos(αt) dt cos(αx) dα
π π
0 0 0

Z∞
(ii) Si f es impar, entonces A(α) = 0 y B(α) = 2 f (t) sen(αt) dt y
0

Z∞ Z∞ Z∞
 
1 2 
f (x) = B(α) sen(αx) dα = f (t) sen(αt) dt sen(αx) dα
π π
0 0 0

MAT024 20 J.B.I./ N.C.F./L.G.C.


A PUNTES DE C LASES M ATEM ÁTICA UTFSM

(
1 |x| ≤ 1
Ejemplo 1.10. Encuentre la integral de Fourier de f (x) =
0 |x| > 1
Z ∞
sen(w)
Calcule dw
0 w

Solución:

Observar que f (x) es una función par, por tanto B(w) = 0

Z ∞
A(w) = 2 f (x) cos(wx) dx
0

Z 1
=2 cos(wx) dx
0

1
sen(wx)
=2 ·
w
0

sen(w)
=2 ·
w
Z ∞
1 sen(w)
Con esto f (x) = 2 cos(wx) dw (en promedio)
π 0 w
Evaluando en x = 0 se tiene

2 ∞ sen(w) ∞
Z Z
sen(w) π
f (0) = 1 = dw ⇒ dw =
π 0 w 0 w 2

Pues f es continua en x = 0 .

Ejemplo 1.11. Considerar f (x) = x e−|x| . Observar que


Z Z∞ ∞ !

x e−|x| dx = 2 x e−x dx = 2 −x e−x − e−x = 2



R 0 0

Luego f puede ser representado por una integral.


Observar que f es una función impar y por tanto A(w) = 0 . Por otra parte
Z∞ Z∞
4w
B(w) = t e−|t| sen(wt) dt = 2 t e−t sen(wt) dt =
(1 + w2 )2
−∞ 0

El cálculo de la integral se hace integrando por partes varias veces. A modo de ejemplo:

MAT024 21 J.B.I./ N.C.F./L.G.C.


A PUNTES DE C LASES M ATEM ÁTICA UTFSM

Z∞ ∞
Z∞
t e−t sen(wt) dt = − e−t (1 + t) sen(wt) + w e−t (1 + t) cos(wt) dt


0 0 0

La primera parte es 0, ası́ que queda:

Z∞
 ∞ 

= w − e−t (2 + t) cos(wt) − w e−t (2 + t) sen(wt) dt


0 0

Z∞ Z∞
= 2w − w2 t e−t sen(wt) dt − 2w2 e−t sen(wt) dt
0 0

Despejando queda:

Z∞ Z∞
 
1
t e−t sen(wt) dt = 2w − 2w2 e−t sen(wt) dt
1 + w2
0 0

La continuación del cálculo de la integral se deja como ejercicio.


Volviendo a la integral de Fourier y considerando la continuidad de f , se tiene
Z∞
4 w
x e−|x| = sen(wx) dw
π (1 + w2 )2
0

Observación 1.5. Para una función f definida en R+ 0 se puede considerar una extensión
par de ella y obtener ası́ una representación de f mediante una integral cosenoidal, la cual
converge, en promedio, a f (x) para todo x ≥ 0 . Queda
Z∞ Z∞ Z∞
 
1 2 
f (x) = A(w) cos(wx) dw = f (t) cos(wt) dt cos(wx) dw
π π
0 0 0

Analogamente se puede considerar una extensión impar y obtener ası́ una representación de
f mediante una integral senoidal, la cual converge, en promedio, a f (x) para todo x ≥ 0 .
Queda
Z∞ Z∞ Z∞
 
1 2 
f (x) = B(w) sen(wx) dw = f (t) sen(wt) dt sen(wx) dw
π π
0 0 0

Los argumentos son iguales a como se hizo para obtener series senoidales o cosenoidales
para una función definida en [0 , L[ .

MAT024 22 J.B.I./ N.C.F./L.G.C.


A PUNTES DE C LASES M ATEM ÁTICA UTFSM

Ejemplo 1.12. Considerar


 π
 sen(x) 0≤x≤π
2

f (x) =

 0 x>π

f puede representarse mediante una integral senoidal haciendo

Z∞
B(α) = 2 f (t) sen(αt) dt
0


π
=2 sen(t) sen(αt) dt
2
0


π
= [cos((1 − α)t) − cos((1 + α)t)] dt
2
0

entonces para α 6= 1 se tiene


" π #
π sen((1 − α)t) sen((1 + α)t)
= −

2 1−α 1+α


0

π sen(απ)
=
1 − α2

Por lo tanto
Z ∞
sen(απ) sen(αx)
f (x) = 2 dα
0 1 − α2

MAT024 23 J.B.I./ N.C.F./L.G.C.