4.4.

Series de Fourier
4.4.1. Definición
Sea f una función periódica de periodo T = 2L y ademas f es seccionalmente continua
en [−L, L]. La serie de Fourier asociada a la función f esta definido por
∞
a X  nπx   nπx 
f (x) = 0 + an cos + bn sen
2 n=1
L L

donde a0 , an y bn son escalares reales, y se denominan, los coeficientes de Fourier de la

serie.

4.4.2. Lema
Sea f una función periódica de periodo T = 2L y ademas f es seccionalmente continua
en [−L, L]; si la serie de Fourier de f es:
∞
a0 X  nπx   nπx 
f (x) = + an cos + bn sen (i)
2 n=1
L L

entonces los coeficientes de Fourier de la serie (i) están dados por:

1 L
Z
(I) a0 = f (x) dx.
L −L

1 L
Z  nπx 
(II) an = f (x) · cos dx ∀n = 1, 2, . . . .
L −L L

1 L
Z  nπx 
(III) bn = f (x) · sen dx ∀n = 1, 2, . . .
L −L L
Prueba

Prueba de I: integrando la serie (i) desde −L y L se obtiene

Z L Z L Z L ∞
a0 X  nπx   nπx 
f (x) dx = dx + an cos + bn sen dx
−L −L 2 −L n=1 L L
Z L ∞
X L
Z ∞ Z L
a  nπx  X  nπx 
f (x) dx = 0 (2L) + an cos dx + bn sen dx . . . (ii)
−L 2 n=1 −L L n=1 −L L

58
  nπx   nπx 
empleando el hecho de que la función sen es impar, y que la función cos
L L
es par, se obtiene de (ii)
Z L ∞
X Z L  nπx  ∞
X Z L  nπx 
f (x) dx = a0 L + 2an cos dx + bn sen dx
−L n=1 −L L −L L
|n=1 {z }
0
  nπx  L
Z L ∞ sen 
L
X 
f (x) dx = a0 L + 2an 
nπ
  +0

−L n=1 
L 0

Z L ∞
X
Luego f (x) dx = a0 L + 2an · (0) + 0, esto es
−L n=1

Z L
1
a0 = f (x) dx
L −L

 mπx 
Prueba de II: Multiplicando la serie (i) por cos , e integrando desde −L hasta
L
L se obtiene:
Z L  mπx  Z L  mπx  X∞ Z L  nπx   mπx 
f (x) · cos dx = a0 · cos dx + an cos cos dx
−L L −L L n=1 −L L L
X∞ Z L  nπx   mπx 
+ bn sen cos dx · · · (iii)
n=1 −L L L
 nπx   mπx 
Ademas, sabemos que la función: sen cos es una función impar, entonces
L L
Z L  nπx   mπx  Z L  mπx 
sen cos dx = 2a0 cos dx
−L L L 0 L
∞
X Z L  nπx   mπx 
+ bn sen cos dx
n=1 −L L L
Z L  mπx 
ademas se sabe que dx = 0 · · · (iv)
cos
L 0
Luego de la igualdad de (iv) queda de la forma siguiente
Z L  mπx  ∞
X Z L  nπx   mπx 
f (x) cos dx = 2an cos cos dx · · · (v)
−L L n=1 −L L L

Ahora analizando la igualdad (v), se presenta dos casos

59
Caso (1). Si m 6= n

De la serie del lado derecho de (v) y empleando el producto de cosenos se obtiene:

∞ Z L  nπx   mπx  ∞ Z L
X X  πx πx 
2an cos cos dx = an cos(m + n) + cos(n − m) dx
n=1 −L L L n=1 −L L L

integrando se obtiene:
 πx πx L
Z L  mπx  ∞ sen(m + n) sen(n − m)
L + L 
X
f (x) cos dx = an ·  π π
−L L n=1 (m + n) (n − m)


L L 0
Z L  mπx 
De aquı́ se obtiene: f (x) cos dx = 0
−L L
Luego no se obtiene nada.

Caso 2: m = n

reemplazando en (v), la serie desaparece y se obtiene

Z L  mπx  Z L  mπx 
2
f (x) cos dx = 2am cos dx
−L L −L L

integrando
Z L  mπx  Z L    
2πx
f (x) cos dx = 2am cos + 1 dx
−L L −L L
   L
2mπx


sen 
 L 
= am 
 + x = am · L

2mπ 
L 
0
Z L
1  mπx 
Luego am = f (x) cos dx ∀n = 1, 2, 3, . . .
L −L L

Prueba de III Ejercicio.

4.4.3. Ejemplos
(1) Halle la serie de Fourier de la función

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

60
 Solución

Se observa que f es periódica de periodo T = 2π, ademas f es discontinua en

x = 0, por la tanto f es seccionalmente continua en h−π, πi, ademas L = π,
Luego f admite serie de Fourier
∞
a0 X  nπx   nπx 
f (x) = + an cos + bn sen (i)
2 n=1
L L

hallaremos los coeficientes de Fourier de la serie

1 π
Z 0 Z π
1 π
Z  Z
1
a0 = f (x) dx = 0 dx + (π − x) dx = (π − x) dx
π −π π −π 0 π 0
π
x2  π2

1 π
a0 = πx − = , luego a0 = (ii)
π 2 0 π(2) 2

de otro lado
Z π  Z π Z π 
1 1
an = f (x) · cos(nx) dx = 0 · cos(nx) dx + (π − x) · cos(nx) dx
π −π π −π −π
Z π
a0 = (π − x) · cos(nx) dx; integrando por partes se obtiene
−π
 π π π 
1 sen(nx)  sen(nx)  cos(nx) 
an = π· −x +
π n 0 n 0 n2 0
(−1)n − 1
 
1 cos(nπ) − 1 1
a0 = 0−0+ = (cos(nπ) − 1) =
π n2 πn2 πn2

(−1)n − 1
Luego an = . . . (iii)
πn2
1 π
Z Z 0 Z π 
1
En forma análoga bn = f (x) sen(nx) dx = 0 dx + (π − x) sen(nx) dx
Z π π −π π −π 0
1
Luego bn = (π − x) sen(nx) dx = . . . (iv)
0 n
Finalmente reemplazando (ii), (iii) y (iv) en (i) se obtiene
∞ 
π X ((−1)n − 1)

sen(nx)
f (x) = + cos(nx) +
4 n=1 n2 · π n

La serie de Fourier de f .

(2) Halle la serie de Fourier de la función f definida por:


x − 6π; 6π ≤ x < 7π;
f (x) = ; f (x + 2π) = f (x)
8π − x; 7π ≤ x ≤ 8π

61
Solución

Se observa que la función f es periódica de periodo T = 2π, ademas f es conti-

nua en [6π, 8π], por lo tanto f es seccionalmente continua en [6π, 8π]. Entonces f
admite serie de Fourier.
∞
a X
f (x) = 0 + an · cos(nx) + bn sen(nx) (i)
2 n=1

hallando los coeficientes de Fourier de la serie (i)

1 π 1 π+7π 1 8π
Z Z Z
a0 = f (x) dx = f (x) dx = f (x) dx
π −π π −π+7π π 6π

esto es, por una propiedad de función periódica integrable.

Z 7π Z 8π 
1
Luego a0 = (x − 6π) dx + (8π − x) dx = π 2
π 6π 7π

También
Z π  Z 8π 
1 1
an = f (x) · cos(nx) dx = f (x) · cos(nx) dx
π −π π 6π
Z 7π Z 8π 
1
= (x − 6π) cos(x) dx + (8π − x) cos(nx) dx
π 6π 7π
(cos(nx) − 1)
=2
πn2
Ademas
Z 8π 
1
bn = f (x) · sen(nx) dx
π 6π
Z 7π Z 8π 
1
= (x − 6π) sen(x) dx + (8π − x) sen(nx) dx
π 6π 7π

operando se obtiene bn = 0 ∀n = 1, 2, . . .

Luego la serie de Fourier de f es de la forma

∞
π 2 X ((−1)n − 1)
f (x) = + 2 · cos(nx).
2 n=1
πn2

62
4.4.4. Operaciones con Series de Fourier
Sean f y g funciones periódicas de periodo T = 2L que admite serie de Fourier, donde:
∞
a0 X  nπx   nπx 
f (x) = + an · cos + bn · sen
2 n=1
L L
∞
ab X  nπx   nπx 
g(x) = 0 + abn · cos + bbn · sen
2 n=1
L L

entonces se verifica.

(i) (f ± g) admite serie de Fourier en [−L, L], donde sus coeficientes de Fourier son:

(a0 ± ab0 ), (an ) ± abn ), (bn ± bbn )

(ii) La función (c · f ) admite serie de fourier en [−L, L] donde sus coeficientes de Fourier
son:

c · a0 , c · an , c · b n c es una constante real

4.5. Convergencia de la Serie de Fourier

4.5.1. Definición.(Función Suave por Tramos)
Sea f : [a, b] → R una función definida en [a, b]; decimos que la función f es suaves
por tramos s.s.s.

(i) f es continua por tramos en [a, b]

(ii) f 0 es continua por tramos en ha, bi.

4.5.2. Teorema.(Primer Teorema de Convergencia)

Sea f una función periódica de periodo T = 2L que admite serie de Fourier en [−L, L];
esto es
∞
a0 X  nπx   nπx 
f (x) = + an · cos + bn · sen
2 n=1
L L

Si f una función suave por tramos en h−L, Li, entonces para cada x ∈ h−L, Li, la
serie de Fourier converge a f (x); excepto en los puntos de discontinuidad esto es, si
x0 ∈ h−L, Li es un punto de discontinuidad, entonces la serie de fourier de f converge a
1

f (x+ ) + f (x 0 ) +
2 0

63
4.5.3. Observación
1. si f es periódica de periodo de T = 2L y continua en [−L, L] entonces la serie de
Fourier converge a f (x) ∀x ∈ [−L, L]; esto es;
∞
a0 X  nπx   nπx 
+ an · cos + bn · sen → f (x)
2 n=1
L L

2. Si x 0 ∈ h−L, Li es un punto de discontinuidad de f entonces la serie de fourier de

f en x0 converge
∞
a0 X  nπx   nπx  1
f (x+ +


+ an · cos + bn · sen → ) + f (x 0 )
2 n=1
L L 2 0

3. f (x+
0
) = lı́m+ f (x), f (x−
0
) = lı́m− f (x)
x→x0 x→x0

4. Se puede hallar la convergencia de la serie, sin necesidad de obtener la serie de

Fourier de f .

4.5.4. Ejemplos

0; −π ≤ x < 0
1.- Sea f (x) = ; f (x + 2π) = f (x)
π − x; 0≤x≤π
Halle la serie de Fourier de f y halle la función donde la serie converge.

Solución

De lo estudiado en (4.4.3), la serie de Fourier de f es

∞
π X ((−1)n − 1) sen(nx)
+ 2
· cos(nx) +
4 n=1 nπ n

para visualizar a donde converge la serie, veamos si f es suave por tramos.

Ya sabemos que f es continua por tramos en [−π, π], ahora veamos que f 0 es continua
por tramos en h−π, πi

0 0 −π < x < 0
f (x) = ;
−1 0<x<π

luego x = 0 es punto de discontinuidad de f 0 , ademas f (0+ ) = −1; f (0− ) = 0 existen,

luego f 0 es continua por tramos en h−π, πi.

Por lo tanto f es una función suave por tramos puesto que f es discontinua en x = 0
entonces
f (0+ ) + f (0− ) 0+π π
= =
2 2 2

64
Luego la serie de Fourier de f converge a

∞  0, −π < x < 0
π X ((−1)n − 1) sen(nx)  π
+ · cos(nx) + = , x=0
4 n=1 n2 π n  2

π − x, 0<x<π

2.- Sea la función f definida por:

 π
 5 · sen x; −2π ≤ x < −
2



 π
 5; x=


f (x) = π 2 ; f (x + 4π) = f (x)
x2 ; − <x<2
2



7 · cos x; 2≤x<π




4x; π ≤ x ≤ 2π


Sin necesidad de hallar la serie de Fourier de f , halle la función donde la serie converge.

Solución

De la función f se observa que f es periódica de periodo T = 4π.

π
Ademas se observa que f es discontinua en x1 = − ; x2 = 2; x3 = π y existen los
2
limites laterales de f en cada punto de discontinuidad. Luego f es continua por tramos
en [−π, π], entonces f admite serie de Fourier.

Ahora, veamos si f es suave por tramos.

Derivando se obtiene.
 π
 5 · cos x; −2π < x < −
2



 π
f 0 (x) = 2x; − <x<2
2
−7 · sen x; 2<x<π




4; π < x < 2π


π
Luego f 0 es discontinua en γ1 = − , γ2 = 2, γ3 = π; sin embargo, en cada uno de los
2
puntos de discontinuidad existe los limites laterales de f 0 . Luego f 0 es continua por tramos
en h−π, πi; por lo tanto f es suave por tramos.

Ahora hallaremos la función donde la serie de Fourier converge.

En los puntos de discontinuidad de f se obtiene:

π+ π− π
f (− ) + f (− ) − +5 π 2 + 20
2 2 = 2 =
2 2 4

65
 f (2+ ) + f (2− ) 4 + 7 · cos(2)
=
2 2
f (π + ) + f (π − ) 4π − 7
=
2 2
Luego la serie de Fourier f converge a la función siguiente
 π
 5 · sen x; −2π < x < −



 2


π 2 + 20 π


x=−


 ;



 2 2

π


x2 ; −


 <x<2


 2
∞  nπx  
a0 X  nπx  
+ an · cos + bn · sen = 4 + 7 · cos(2)
2 n=1
2π 2π  ; x=2
2










 7 · cos x; 2<x<π



4π − 7




 ; x=π



 2



4x; π < x < 2π

4.5.5. Observación
1. Del ejemplo (1), la serie de Fourier de f nos puede ser útil para hallar ciertas series
números reales.

Sabemos

∞  0, −π < x < 0
π X ((−1)n − 1) sen(nx)  π
+ · cos(nx) + = , x=0
4 n=1 n2 π n  2

π − x, 0<x<π

Ahora, si x = 0 se obtiene
∞
π X ((−1)n − 1) sen(n · 0) π
+ 2
· cos(n · 0) + =
4 n=1 nπ n 2
∞
π X ((−1)n − 1) π
+ =
4 n=1 n2 π 2
∞
X ((−1)n − 1) π
2
=
n=1
nπ 4

66
 luego el valor de la serie de números reales es:
∞
X ((−1)n − 1) π
2
=
n=1
nπ 4

2. Si f es continua en [−L, L] y f 0 es continua por tramos en h−L, Li, entonces la serie

de Fourier de f converge a la función f (x), ∀x ∈ h−L, Li, esto es:
∞
a0 X  nπx   nπx 
+ an · cos + bn · sen = f (x) ∀x ∈ h−L, Li
2 n=1
L L

4.5.6. Teorema.(Segundo Teorema de Convergencia)

Sea f una función periódica de periodo T = 2L, que admite serie de Fourier en [−L, L].
Si f es suave por tramos en h−L, Li, entonces la serie de Fourier converge a la función
f (x) ∀x ∈ h−L, Li, exceptos en los puntos de discontinuidad, pues en dichos puntos la
f (x+
i
) + f (x−
i
)
serie converge a .
2
Ademas si existen las derivadas laterales: f 0 (−L+ ) y f 0 (L− ), entonces, en ambos extremos
f (−L+ ) + f (L− )
−L y L la serie de Fourier converge a .
2

4.5.7. Ejemplo
Sea la función f definida por:
 −x
e ; −2 ≤ x < 1
f (x) = ; f (x + 4) = f (x)
−2x2 ; 1≤x≤2

Sin necesidad de hallar la serie de Fourier, halle la función donde converge la serie
∀x ∈ [−2, 2]

Solución

Se observa que f es periódica de periodo T = 4 y continua por tramos en [−2, 2], donde
f es discontinua en x = 1. Veamos si f es suave por tramos

−e−x ;

0 −2 < x < 1
f (x) =
−4x; 1<x<2

Luego f 0 es continua por tramos en h−2, 2i y discontinua en x = 1, donde existe los limites
laterales de f 0 . Luego f es suave por tramos.
Ahora hallaremos los limites laterales en el punto discontinuidad x = 1 y en los extremos
x = ±2.
Se tiene
f (1+ ) + f (1− ) e−1 − 2 0
= ; f (−2+ ) = −e2 ; f 0 (2− ) = −8
2 2

67
Ademas
f (−2+ ) + f (2− ) e2 − 8
=
2 2
Luego empleando el segundo teorema de convergencia, la serie de Fourier: converge a la
función
 −x
 e ; −2 < x < 1
−1

∞

 e − 2
a0 X  nπx   nπx    ; x=1
+ an · cos + bn · sen = 22
2 L L  −2x ; 1<x<2
n=1  2
e − 8


; x = ±2


2

4.5.8. Observación
1.- Consideremos la función periódica de periodo T = 2π

−1; −π ≤ x < 0
f (x) =
1; 0≤x≤π
∞
X 2
Esta función admite una serie de Fourier y esta dado por [1 − (−1)n ] sen(nx),
n=1
nπ
ademas esta serie converge a

 −1; −π < x < 0
∞ 
X 2 
0; x=0
[1 − (−1)n ] sen(nx) = (α1 )
nπ  1; 0 <x<π
n=1 
0; x = ±π


A partir de dicha serie de Fourier, se desea hallar el valor de la serie real

∞
X (−1)n
n=1
2n + 1
π
evaluando en (α1 ) para x = se obtiene
2
∞
X 2  π
(1 − (−1)n ) sen n =1 (α2 )
n=1
nπ 2

desarrollando la serie (α2 )

2(1 − (−1)) 2(1 − 1) 2(1 + 1) 2(1 − 1)
(1) + · sen(π) + (−1)+ · sen(2π) + · · · = 1
π 2π 3π 4π
4 4 4 4
+0− +0+ − + ··· = 1
π 3π 5π 7π
∞ ∞
X 4(−1)n+1 X (−1)n+1 π
= 1, esto es =
n=1
π(2n − 1) n=1
2n − 1 4


68
4.6. Derivación e Integración de Series de Fourier
4.6.1. Teorema.(Derivación)
Sea f una función periódica de periodo T = 2L, continua en [−L, L] cuya serie de
Furier esta dado por
∞
a0 X  nπx   nπx 
f (x) = + an · cos + bn · sen
2 n=1
L L

Si f 0 es continua por tramos en [−L, L], ademas existe f 00 (x) ∀x ∈ h−L, Li y se verifica
que f (−L) = f (L), entonces
∞
X nπ  nπx  nπ  nπx 
f 0 (x) = bn · · cos − an · · sen
n=1
L L L L

4.6.2. Teorema.(Integración)
Sea f ua función periódica de periodo T = 2L y seccionalmente continua en [−L, L];
entonces para x ∈ [−L, L], la integral de la serie de Fourier esta dado por
Z x Z x ∞ Z x     
a0 X nπt nπt
f (t) dt = dt + an · sen + bn · sen dt
−L −L 2 n=1 −L
L L
esto es
Z x ∞
a0 LX1n  nπx  h  nπx  io
f (t) dt = (x + L) + an · sen − bn · cos − (−1)n
−L 2 π n=1 n L L

4.6.3. Ejemplos
1. Sea f (x) = |x|, −π ≤ x ≤ π; f (x + 2π) = f (x)

Halle la derivada de la serie de Fourier de f

Solución

−x; −π ≤ x < 0
f (x) = ; f es continua en todo R; luego f es continua en
x; 0≤x≤π
[−π, π]; L = π.

Hallando los coeficientes de Fourier de la serie.

1 π
Z
a0 = f (x) dx = π
π −π
1 π ((−1)n − 1)
Z  nπx 
an = f (x) · cos dx = 2
π −π π πn2
Z π
1  nπx 
bn = f (x) · sen dx = 0
π −π π

69
 Luego la serie de Fourier de f es
∞
π X ((−1)n − 1)
f (x) = + 2 · cos(nx), ∀x ∈ [−π, π]
2 n=1 πn2

De otro lado derivando la función f se obtiene


0 −1; −π < x < 0
f (x) = Luego f 0 es continua por tramos en h−π, πi
1; 0<x<π

Ademas, f (−π) = f (π) = π. Luego derivando la serie de Fourier, se obtiene

∞ ∞
0
X −2n [(−1)n − 1] · sen(nx) X 2 [1 − (−1)n ] sen(nx)
f (x) = = .
n=1
πn2 n=1
πn

2. Sea f (x) = |x|, −π ≤ x ≤ π y f (x + 2π) = f (x)

Halle la integral de la serie de Fourier de f

Solución

Sabemos que la serie de Fourier de f en [−π, π] es

∞
π X ((−1)n − 1)

−x; −π ≤ x < 0
+ 2 · cos(nx) =
2 n=1 πn2 x; 0≤x≤π

Ahora hallaremos la derivada la integral de la serie desde −π hasta x

Luego
x x ∞ Z x
((−1)n − 1)
Z Z
π X
f (r) dr = dt + 2 · cos(nr) dr
−π −π 2 n=1 −π
πn2
x ∞
((−1)n − 1)
Z
π X
f (r) dr = (x + π) + 2 3
· sen(nx) (i)
−π 2 n=1
πn

De otro lado se sabe

 Z x
−x; −π ≤ x < 0
f (x) = ; debemos hallar: f (r) dr
x; 0≤x≤π −π

• Si x ∈ h−π, 0i:
Z x x
x
r2 
Z
1
−r dr = −  = − x2 − π 2

f (r) dr =
−π −π 2 −π 2

70
 • Si x ∈ [0, π]:
Z x Z 0 Z x Z 0 Z x
f (r) dr = f (r) dr + f (r) dr = −r dr + r dr
−π −π 0 −π 0

Luego
x
0 x
r2  r2  π 2 x2
Z
f (r) dr = −  +  = +
−π 2 −π 2 0 2 2

Fácilmente se obtiene
 2 2
Z x  π −x ;

−π ≤ x < 0
f (r) dr = 2
2 2 (ii)
−π
π + x
; 0≤x≤π


2
Luego de (i) y (ii) se obtiene
 2
∞
π − x2
n ; −π ≤ x < 0

π 2 X [(−1) − 1] 
2
(x − π) + · sen(nx) = 2 2 (iii)
2 π n=1
n3  π +x ;

0≤x≤π
2


4.6.4. Observación
π
1.- Si reemplazamos x = en la expresión (iii), se obtiene
2
∞
π π 2 X [(−1)n − 1] π π 2 + π/4
( − π) + · sen(n · ) =
2 2 π n=1 n3 2 2
∞
3π 2 2 X [(−1)n − 1] π 5π 2
+ · sen(n · ) =
4 π n=1 n3 2 8
∞
2 X [(−1)n − 1] π 5π 2 6π 2 π2
· sen(n · ) = − = −
π n=1 n3 2 8 8 8
∞
X [(−1)n − 1] π π3
luego · sen(n · )= 
n=1
n3 2 16

4.7. Serie de Fourier de Senos y Cosenos

Se sabe que la función f es periódica de periodo T = 2L y continua por tramos en
[−L, L], entonces la serie de Fourier esta dado por:
∞
a0 X  nπx   nπx 
+ an · cos + bn · sen
2 n=1
L L

71
Sin embargo en muchas aplicaciones existe la necesidad de expresar mediante series de
Fourier definidas en ciertos intervalos de la forma h0, Li, esto es f : h0, Li → R, donde f
no es periódica ni definida en todo R.
Si deseamos representar mediante serie de Fourier a este tipo de funciones, primeramente
de debe extender a la función f , con una extension periódica, donde la función extendida
sea una función par o impar.

4.7.1. Serie de Fourier de Cosenos

Sea f : h0, Li → R una función real definida en h0, Li, extendiendo la función f a una
función periódica y par de periodo T = 2L, se obtiene

f (x); 0<x<L
fp (x) = ; fp (x + 2L) = fp (x)
f (−x); −L < x < 0

Luego, la serie de Fourier de cosenos para esta función esta dado por:
∞
a0 X  nπx 
+ an · cos = fp (x) = f (x); 0 < x < L
2 n=1
L
Z L Z L
2 2  nπx 
donde a0 = f (x) dx; an = f (x) · cos dx
L 0 L 0 L

4.7.2. Serie de Fourier de Senos

Sea f : h0, Li → R una función real definida en h0, Li, extendiendo la función f a una
función periódica y impar de periodo T = 2L, se obtiene

f (x); 0<x<L
fi (x) = ; fi (x + 2L) = fi (x)
−f (−x); −L < x < 0

Luego, la serie de Fourier de senos para esta función esta dado por:
∞
X  nπx 
bn · sen = fi (x) = f (x); 0 < x < L
n=1
L
Z L
2  nπx 
donde bn = f (x) · sen dx
L 0 L

4.7.3. Ejemplos
(1) Sea f (x) = x2 ; 0 < x < π

Halle la serie de cosenos de f

72
 Solución

Extendiendo a la función f a una función periódica, par y de periodo T = 2π, se ob-

tiene
 2
x; 0<x<π
fp = 2 ; fp (x + 2π) = fp (x)
x; −π < x < 0
Luego la serie de Fourier de cosenos es
∞
a0 X
fp (x) = + an · cos(nx)
2 n=1
π
2π 2 2 π 2 (−1)n 4
Z Z
2 2
donde a0 = x dx = ; an = x · cos(nx) dx =
π 0 3 π 0 n2
Luego se obtiene
∞
π 2 X (−1)n 4
f (x) = + · cos(nx), 0 < x < π
3 n=1
n2

(2) Si f (x) = x2 ; 0 < x < π

Halle la serie de cosenos de f

Solución

Extendiendo f , como función periódica, impar de periodo T = 2π se obtiene

 2
x; 0<x<π
fi (x) = 2 ; fi (x + 2π) = fi (x)
−x ; −π < x < 0
Luego la serie de Fourier de senos es
∞
X
fi (x) = bn · sen(nx)
n=1
Z π  
2 2 n 4 2π 4
donde bn = x · sen(nx) dx = (−1) 3
− − 3
π 0 πn n nπ
Luego se obtiene
∞    
X
n 4 2π 4
f (x) = (−1) − − 3 sen(nx)
n=1
πn3 n nπ

(3) Sea la función definida por:


2Kx
 L ; 0 < x < L/2



f (x) =

 2k

 (L − x); L/2 < x < L
L

73
 a) Halle la extension par de f en [−L, L] y grafique

b) Halle la serie de cosenos de f

c) Halle la extensión impar de f en [−L, L] y grafique

d) Halle la serie de senos de f

Solución

a) La extensión par de f y periódica de periodo T = 2L es


2k
(L + x); −L < x < −L/2


L








 2k
 − L x; −L/2 < x < 0



fp (x) = ; fp (x + 2L) = fp (x)

 2kx

 ; 0 < x < L/2
L








 2k

 (L − x); L/2 < x < L
L

-L -L/2 L/2 L

Gráfica de la función fp (x)

b) La serie de Fourier de Coseno es
∞
a X  nπx 
fp (x) = 0 + an · cos
2 n=1
L
(Z )
2 L L/2
Z Z L
2 2k 2k
donde a0 = f (x) dx = x dx + (L − x) dx = k
L 0 L 0 L L/2 L
(Z )
2 L L/2
Z Z L
nπx 2 2k nπx 2k nπx
an = f (x)·cos dx = x · cos dx + (L − x) · cos dx
L 0 L L 0 L L L/2 L L

74
 4k h  nπ 
n
i
an = · 2 · cos − (−1) − 1 , luego se obtiene
n2 π 2 L
∞
X 4k h  nπ 
n
i  nπx 
f (x) = · 2 · cos − (−1) − 1 · cos
n=1
n2 π 2 L L
c) La extensión impar periódica de f es

2k
− (L + x); −L < x < −L/2


L








 2k
 L x; −L/2 < x < 0



fi (x) = ; fi (x + 2L) = fi (x)

 2kx

 ; 0 < x < L/2
L








 2k

 (L − x); L/2 < x < L
L
graficando fi se obtiene

-L -L/2 L/2 L

-k

d) la serie de Fourier de seno de fi es

∞
X  nxπ 
fi = bn · sen
n=1
L
(Z )
2 L L/2
Z  nxπ  Z L
2 2kx  nxπ  2k  nxπ 
donde bn = f (x)·sen = · sen dx + (L − x) · sen
L 0 L L 0 L L L/2 L L
 nπ 
8k · sen
bn = 2 , luego
n2 π 2
 nπ 
∞ 8k · sen
2 · sen nxπ = f (x); 0 < x < L
X  

n=1
n2 π 2 L


75
4.8. Serie de Fourier de forma Compleja
4.8.1. Teorema.(Serie de Fourier Compleja)
Sea f una función compleja de periodo T = 2L y secionalmente continua en [−L, L],
si la serie de Fourier de f es
∞
a0 X  nπx   nπx 
f (x) = + an · cos + bn · sen
2 n=1
L L
La serie de Fourier compleja esta dado por:
nπx nπx
+∞ i 1
Z L −i
cn · e L , donde cn = L
X
f (x) = f (x) · e
n=−∞
2L −L
Prueba

Sea la serie de Fourier en la forma real de f

∞
a X  nπx   nπx 
f (x) = 0 + an · cos + bn · sen (i)
2 n=1
L L
a partir de (i) se obtendrá la serie de fourier compleja de la función f .

De la formula de Euler se sabe

nπx
i  nπx   nπx 
e L = cos + i sen (ii)
L L
nπx
−i
L = cos nπx − i sen nπx
   
e (iii)
L L
sumando (ii) y (iii) se obtiene:
nπx nπx
 nπx  1 i −i
cos = (e L + e L ) (iv)
L 2
restando (ii) y (iii) se obtiene:
nπx nπx
i −i
 nπx  (e L − e L )
sen = (v)
L 2i
reemplazando (iv) y (v) en (i) se obtiene
nπx nπx nπx nπx
a0 X an
∞ i −i bn i L −i
f (x) = + · [e L + e L ]+ [e −e L ]
2 n=1
2 2i
nπx nπx nπx nπx
a
∞
an i −i ibn i −i
· [e L + e L ]− [e L − e L ]
X
f (x) = 0 +
2 n=1
2 2

76
ordenando adecuadamente se obtiene
nπx nπx
a
∞
(an − ibn ) i (a + ibn ) −i
e L + n L
X
f (x) = 0 + e
2 n=1
2 2

Luego
nπx nπx
a0 X
∞ i −i
f (x) = + cn e L + k n e L (vi)
2 n=1

(an − ibn ) (a + ibn )

donde cn = , kn = n
2 2
los coeficientes de Fourier de (i) se obtiene
1 1 L i L
 Z Z 
nπx nπx
cn = f (x) · cos dx − f (x) · sen dx
2 L −L L L −L L
nπx
1
 Z L
1 nπx nπx

1
Z L −i
L dx
 
cn = f (x) · cos − sen dx = f (x) · e
2L L −L L L 2L −L
también
nπx
(a + ibn ) 1
Z L i
kn = n = f (x) · e L dx
2 2L −L

denotemos por kn = cn = cn , luego reemplazando en (vi)

nπx nπx
a0 X
∞ i −i
f (x) = + cn e L + cn e L (vii)
2 n=1

nπx
1
Z L −i 1
Z L
Ademas cn = f (x) · e L dx, entonces c0 = f (x) dx
2L −L 2L −L
1 L
Z
a
Luego 2c0 = f (x) dx = a0 , esto es c0 = 0
L −L 2
reemplazando en (vii) se obtiene
nπx
+∞ i
cn · e L ;
X
f (x) = c0 + (viii)
n=−∞
n6=0

nπx
1
Z L −i
donde cn = f (x) · e L dx
2L −L

Luego la expresión (viii) es la serie de Fourier en la forma compleja de f .

77
4.8.2. Observación
1.- A partir de la serie de Fourier compleja, se puede hallar la serie de Fourier real de f .

(an − ibn ) (a + ibn )

Se sabe cn = ; kn = n
2 2
Luego 2cn = an − ibn ; 2kn = an + ibn . . . (ix)

sumando las igualdades de (ix) se obtiene

an = cn + kn (x)

restando las igualdades de (ix) se obtiene

bn = cn − kn (xi); ademas a0 = an = c0 + k0 (xii)

luego de (x), (xi) y (xii) se obtienen los coeficientes de Fourier de la serie de Fourier real
de f .

4.8.3. Ejemplo
Sea la función definida por:

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

Halle el desarrollo de la serie de Fourier compleja de f .

Solución

La función f es periódica de periodo T = 2π, ademas f es continua por tramos en

[−π, π]

Sabemos que la serie de compleja de Fourier es

nπx
i +∞
f (x) = c0 +
X
cn e π = c0 +
X
cn einπx
n=−∞
n6=0
Z π Z 0 Z π 
1 −inπx 1 −inπx −inπx
donde cn = f (x) · e dx = −1 · e dx + 1·e dx
2π −π 2π −π 0
Z π
i i n 1
cn = [cos(nπ) − 1] = [(−i) − 1], ademas c0 = f (x) dx = 0
nπ nπ 2π −π
Luego la serie de Fourier compleja esta dado por:
+∞
X i
f (x) = [(−1)n − 1] einx
n=−∞
nπ

78
luego esta serie compleja converge a

 1; 0<x<π
+∞ 
X i 
−1; −π < x < 0
[(−1)n − 1] einx =
nπ  0; x=0
n=−∞ 
0; x = ±π


4.8.4. Ejemplo
Dado la función f (x) = x2 ; −π < x < π; f (x + 2π) = f (x)
• Halle la serie de Fourier complejo de f .
• A partir de la serie de Fourier complejo, halla la serie de Fourier real.
Solución

La función f es continua en h−π, πi ademas f es una función periódica de periodo T = 2π

+∞
X
Luego f (x) = c0 + cn einx . . . (i); donde
−∞
Z π Z π
1 −inπx 1
cn = f (x) · e dx = x2 · e−inπx dx integrando se obtiene
2π −π 2π −π
2 · cos(nπ) 2 · (−1)n
cn = = ; también
n2 n2
Z π
1 π2
c0 = x2 dx = . Luego la serie de fourier complejo es de la forma :
2π −π 3
+∞ +∞
X
inx π2 X 2 · (−1)n inx
c0 + cn e = + 2
e = f (x)
n=−∞
3 n=−∞
n
n6=0 n6=0

Ahora hallemos la serie de Fourier real de f

an − ibn a + ibn
se sabe cn = ; kn = n
2 2
an = cn + kn , 2(−1)n
de allı́ se obtiene . . . (ii); donde cn = kn , puesto que: cn = ,
bn = i(cn − bn ) n2
2(−1)n
kn = cn = ∀n
n2
π2 π2
También c0 = ; k0 = , reemplazando en (ii), se obtiene
3 3
2(−1)n 2(−1)n 4(−1)n
an = 2
+ = ;
n n2 n2
2(−1)n 2(−1)n

bn = i − =0y
n2 n2
π2 π2 2π 2
a0 = + =
3 3 3

79
Luego se ha obtenido los coeficientes de Fourier de la serie de Fourier real de f ; esto es:
∞
2π 2 X 4(−1)n
+ , 2
· cos(nx) = f (x); −π ≤ x ≤ π
3 n=1
n

Luego esta serie converge a:

∞
2π 2 X 4(−1)n

x2 ; −π < x < π
+ , · cos(nx) = (iii)
3 n2 π2; x = ±π
n=1

4.8.5. Observación
1.- Si x = 0, de (iii) se obtiene:
∞ ∞
2π 2 X 4(−1)n 2π 2 X 4(−1)n
+ , · cos(0) = 0; + , =0
3 n=1
n2 3 n=1
n2

∞ ∞
X 4(−1)n−1 2π 2 X 2(−1)n−1 π2
luego: = ; =
n=1
n2 3 n=1 n2 3
2.- Si x = 1: de (iii) se obtiene:
∞
2π 2 X 4(−1)n
+ , · cos(n) = 1, Luego se obtiene
3 n=1
n2
∞
X 2(−1)n−1 2π 2 − 3
, · cos(n) =
n=1
n2 6

80
5. La integral y Transformada de Fourier
5.1. La integral de Fourier
Sabemos de la sección anterior que si una función f es periódica entonces dicha función
se puede expresar mediante serie de Fourier.
Supongamos que una función f : R → R es no periódica, deseamos estudiar que condi-
ciones debe satisfacer dicha función para poder expresarlo mediante una serie o mediante
una integral. Sea fL : h−L, Li → R una función periódica de periodo T = 2L y continua
por tramos en h−L, Li; luego su representación en serie de Fourier es
∞
a0 X  nπx   nπx 
fL (x) = + an · cos + bn · sen
2 n=1
L L
nπ
Si consideramos wn = se tiene la serie
L
∞
a X
fL (x) = 0 + an · cos wn x + bn · sen wn x (i)
2 n=1

1 L 1 L 1 L
Z Z Z
donde a0 = f (v) dv; an = f (v) cos(wn v) y bn = f (v) sen(wn v)
L −L L L −L L L −L L
reemplazando en (i) se obtiene:
Z L ∞ 
1 L
Z 
1 X
fL (x) = f (v) dv+ f (v) cos wn v dv cos wn x
2L −L L n=1
L −L L
 Z L  
1
+ f (v) sen wn v dv sen(wn x)
L −L L
esto es
Z L ∞  Z L
1 1X
fL (x) = fL (v) dv + cos wn x · fL (v) cos wn v dv
2L −L L n=1 −L
Z L 
+ sen wn x · fL (v) sen wn v dv (ii)
−L

(n + 1)π nπ
Ahora, hacemos 4w = wn+1 − wn , esto es 4w = −
L L
π 4w 1
Luego 4w = y = . . . (iii)
L π L
Reemplazamos (iii) en (ii)
Z L ∞  Z L
1 4w X
fL (x) = f (v) dv + cos wn x · fL (v) cos wn v dv
2L −L L π n=1 −L
Z L 
+ sen wn x · fL (v) sen wn v dv
−L

81
Luego
Z L ∞  Z L
1 1X
fL (x) = fL (v) dv + cos wn x · 4w · fL (v) cos wn v dv
2L −L π n=1 −L
Z L 
+ sen wn x · 4w · fL (v) sen wn v dv (iv)
−L

La representación de (iv) es valida para cualquier L fijo arbitrariamente grande pero finito.

Ahora si hacemos que L → ∞, consideraremos

lı́m fL (x) = f (x) donde f : R → R, es una función real no periodica definida en todo R.
L→∞

Asumiremos que f es absolutamente en todo R, esto es, existen los limites

Z a Z +∞ Z 0 Z b
lı́m |f (x)| dx = |f (x)| dx = lı́m −f (x) dx + lı́m f (x) dx
a→∞ −a −∞ a→−∞ a b→+∞ 0

Aplicando limite en (iv) se obtiene

Z L ∞  Z L
1 1X
lı́m fL (x) = f (x) = lı́m fL (v) dv + cos wn x · 4w · lı́m fL (v) cos wn v dv
L→∞ L→∞ 2L −L π n=1 L→∞ −L
Z L 
+ sen wn x · 4w · lı́m fL (v) sen wn v dv
L→∞ −L

Aplicando limite se obtiene

∞  Z +∞
1X
f (x) = 0 + cos wn x · fL (v) cos wn v dv
π n=1 −∞
Z +∞ 
+ sen wn x · fL (v) sen wn v dv 4w (v)
−∞

π
Ademas, desde que 4w = → 0, entonces parece plausible que la serie infinita (v) se
L
convierta en una integral desde 0 hasta +∞, esto es

1 +∞
Z  Z +∞ Z +∞ 
f (x) = cos wx · f (v) cos wv dv + sen wx · f (v) · sen wv dv dw
π 0 −∞ −∞

Luego
Z +∞  Z +∞
1
f (x) = cos wx · f (v) cos wv dv
0 π −∞
Z +∞ 
1
+ sen wx · f (v) · sen wv dv dw (vi)
π −∞

82
Ahora se introduce la notación
1 +∞ 1 +∞
Z Z
A(w) = f (v) · cos wv dv; B(w) = f (v) · sen wv dv
π −∞ π −∞

Reemplazando en (vi) se obtiene

Z +∞
f (x) = [cos wx · A(w) + sen wx · B(w)] dw (vii)
0

Luego se concluye, que la función no periódica se puede expresar mediante una integral,
denominada la integral de Fourier de f .

5.1.1. Teorema
Sea f : R → R una función real; si f es continua por tramos en todo intervalo acotado
de R, f admite derivadas laterales en cada punto x ∈ R y si ademas f es absolutamente
integrable en todo R, entonces f se puede representar por las integral de Fourier (vii),
ademas la serie de Fourier converge a:

f (x); Si f es continua en x

Z +∞ 

[cos wx · A(w) + sen wx · B(w)] dw = + −
0  f (x0 ) + f (x0 ) ;

Si f es discontinua en x0
2

5.1.2. Ejemplo
1.- Dado la función

1; |x| < 1
f (x) = Halle la integral de Fourier
0; |x| ≥ 1

Solución

83
Ahora se introduce la notación
1 +∞ 1 +∞
Z Z
A(w) = f (v) · cos wv dv; B(w) = f (v) · sen wv dv
π −∞ π −∞

Reemplazando en (vi) se obtiene

Z +∞
f (x) = [cos wx · A(w) + sen wx · B(w)] dw (vii)
0

Luego se concluye, que la función no periódica se puede expresar mediante una integral,
denominada la integral de Fourier de f .

5.1.1. Teorema
Sea f : R → R una función real; si f es continua por tramos en todo intervalo acotado
de R, f admite derivadas laterales en cada punto x ∈ R y si ademas f es absolutamente
integrable en todo R, entonces f se puede representar por las integral de Fourier (vii),
ademas la serie de Fourier converge a:

f (x); Si f es continua en x

Z +∞ 

[cos wx · A(w) + sen wx · B(w)] dw = + −
0  f (x0 ) + f (x0 ) ;

Si f es discontinua en x0
2

5.1.2. Ejemplo
1.- Dado la función

1; |x| < 1
f (x) = Halle la integral de Fourier
0; |x| ≥ 1

Solución

Redefiniendo f se tiene

 1; −1 < x < 1
f (x) = 0; 1<x<∞ ; es claro que f es continua
0; −∞ < x < −1


por tramos e todo el intervalo acotado de R.

Ademas f es absolutamente integrable

Z +∞ Z 1
|f (x)| dx = dx = 2 Luego f admite integral de Fourier, esto es
−∞ −1
Z +∞
f (x) = [A(w) cos wx + B(w) sen wx] dw
0

83
Ahora hallaremos A(w) y b(w)
Z −1
1 +∞
Z Z 1 Z +∞ 
1
A(w) = f (v) cos wv dv = 0 · cos wv dv + cos wv dv + 0 · cos wv dv
π −∞ π −∞ −1 1
1 1
Z
2 sen x
A(w) = cos wv dv = ; también
π −1 πw
1 +∞ 1 1
Z Z
B(w) = f (v) · cos wv dv = sen wv dv = 0
π −∞ π −1
Luego la integral de Fourier de f esta dado por:
Z +∞
2 · sen x · cos wx
f (x) = dw; luego la integral converge a
0 πw

∀x ∈ R − ±1
(
Z +∞
2 · sen w · cos wx f (x) :
dw = 1
0 πw x = ±1
 2
 1;
 −1 < x < 1
= 0; x > 1 ∨ x < −1 (i)
1
 ; x = ±1

2
Luego de (i) se obtiene
 π
 ; |x| < 1
2




+∞

sen w · cos wx 
Z
= 0; |x| > 1
0 w 


 π;


x = ±1

4

5.1.3. Observación
1. De la integral de Fourier de f obtenida en el ejemplo anterior, si x = 0, se obtiene
Z ∞
sen · cos w(0) π
dw = esto es
0 w 2
Z ∞
sen w π
dw =
0 w 2
∞
sen w · cos w
Z
π
2. Si x = 1; se obtiene dw =
0 w 4

5.1.4. Ejemplo
e−x ;

x>0
Dado la función f (x) =
ex ; x<0

84
Halle la integral de Fourier de f

Solución

Se observa que f es continua por tramos en todo intervalo acotado de R; f es discontinua

en x = 0

Luego f admite integral de Fourier

Z +∞
f (x) = [A(x) cos wx + B(w) sen wx] dw; donde
0
1 +∞ 1 +∞ v 1 +∞ −v
Z Z Z
A(w) = f (v) · cos wv dv = e · cos wv dv + e · cos wv dv
π −∞ π −∞ π 0
2
A(w) = , tambien
π(1 + w2 )
1 +∞
Z
B(w) = f (v) · sen wv dv = 0
π −∞

Luego la integral de Fourier de f es

2 ∞ cos wx
Z
dw, y dicha integral converge a:
π 0 1 + w2
 −x
2
Z ∞
cos wx  e ; x>0
x
dw = e ; x<0
π 0 1 + w2
1; x=0


5.1.5. Observación
1. Del ejemplo anterior
Z ∞ Z ∞
2 cos 3w cos 5w π
si x = 5, entonces dw = e−5 . Luego dw = e−5
π 0 1 + w2 0 1+w 2 2
2 R ∞ cos w(−1)
2. Si x = −1, entonces dw = e−1
π 0 1 + w2
Z ∞
cos wx π
Luego 2
dw = e−1
0 1+w 2
3. La integral de Fourier de una función f , también se emplea para calcular ciertas
integrales impropias de funciones en R.

5.1.6. Integral de Fourier de Seno y Coseno

Sea f : R → R una función en R, continua por tramos en todo intervalo acotado,
ademas existe las derivadas laterales en cada punto x ∈ R, y f es absolutamente integrable,

85
entonces la integral de Fourier de f es
Z ∞
f (x) = [A(w) cos wx + B(w) sen wx] dw (i)
0

donde
1 +∞
Z
A(w) = f (v) · cos wv dv (ii)
π −∞
1 +∞
Z
B(w) = f (v) · sen wv dv (iii)
π −∞

(I) Integral de Foirier de Seno

Si la función f es una función impar , entonces de (ii) se obtiene

1 +∞
Z Z a
1
A(w) = f (v) · cos wv dv = lı́m f (v) cos wv dv = 0
π −∞ π a→∞ −a

Luego se obtiene la integral en (i)

Z +∞
f (x) = B(w) · sen wx dw (iv)
0

donde B(w) es como (iii)

Esta integral de (iv) se denomina la integral de Fourier de Seno.

(II) Integral de Fourier de Coseno

Si la función f es una función par, entonces de (iii) se obtiene

1 +∞
Z Z a
1
B(w) = f (v) · sen wv dv = lı́m f (v) sen wv dv = 0
π −∞ π a→∞ −a

reemplazando en (i) se obtiene

Z +∞
f (x) = A(w) · cos wx dw (v)
0

donde A(w) es como (ii), la integral de (v) se denomina la integral de Fourier de

Coseno.

5.1.7. Ejemplo
Sea la función f (x) = e−x , x > 0

Halle la integral de Fourier de Seno y Coseno de f

86
Solución

a) Sea fp una función extensión par de f

 −x
e ; x>0
fp (x) = x ; Luego la integral de Fourier de Cosenos es
e ; x<0
Z ∞
f (x) = A(w) · cos wx dw; donde
0
1 +∞ 2 +∞
Z Z
A(w) = fp (x) · cos wv dv = f (v) · cos wv dv; esto por
π −∞ π 0
fp (x) · cos x (es función par); luego
2 +∞ −v
Z Z +∞
2 2
A(w) = e · cos wv dv = ; f (x) = cos wx dw
π 0 π(1 + w2 ) 0 π(1 + w2 )

b) Sea fi es una función, extensión impar de f

 −x
e ; x>0
fi (x) = x luego la integral de Fourier de Senos es
−e ; x<0
Z +∞
f (x) = B(w) · sen wx dw; donde
0
2 +∞ 2 +∞ −x
Z Z
2w
B(w) = fi (v) · sen wv dv = e · sen wv dv =
π 0 π 0 π(1 + w2 )

reemplazando se obtiene
+∞ +∞
2w · sen wx w · sen wx
Z Z
2
f (x) = 2
dw = dw
0 π(1 + w ) π 0 1 + w2

5.2. Integral Compleja de Fourier

5.2.1. Teorema
Sea f : R → R una función real donde f es continua por tramos en todo intervalo
acotado de R y f es absolutamente integrable en todo R entonces la integral compleja de
Fourier esta expresado por
Z +∞ Z +∞
1
f (x) = iwx
cw · e dw; donde cw = f (v)e−iwv dv
2π −∞ −∞

Prueba. Puesto que f es continua por tramos y ademas es absolutamente integrable,

entonces f admite la integral de Fourier
Z +∞
f (x) = [A(w) · cos wx + B(w) · sen wx] dw (i)
0

87
 Z +∞ Z +∞
1 1
donde A(w) = f (v) · cos wv dv; B(w) = f (v) · sen wv dv
π −∞ π −∞

reemplazando esto en (i) se obtiene

1 +∞
Z Z +∞  Z +∞  
f (x) = f (v) · cos wv dv · cos wx + f (v) · sen wv dv · sen wx dw
π 0 −∞ −∞

luego
1 +∞
Z Z +∞ 
f (x) = f (v) {cos wv · cos wx + sen wv · sen wx} dv dw
π 0 −∞
1 +∞
Z Z +∞ 
f (x) = f (v) · {cos(wv − wx)} dv dw (ii)
π 0 −∞
R +∞
consideremos G(w) = −∞ f (v) {cos(w + wx)} dv

se verifica que G es una función par, esto es, G(w) = G(−w), luego reemplazando en
(ii) se obtiene
1 +∞
Z
f (x) = G(w) dw (iii)
π 0
Ademas de la propiedad de función par se sabe
Z +∞ Z +∞
1 +∞
Z Z +∞
G(w) dw = 2 G(w) dw; esto es; G(w) dw = G(w) dw
−∞ 0 2 −∞ 0

reemplazando en (iii) se obtiene

Z +∞ Z +∞ Z +∞ 
1 1
f (x) = G(w) dw = f (v) · cos(wv − wx) dv dw (iv)
2π −∞ 2π −∞ −∞
Z +∞ Z +∞ 
1
Afirmación (1) f (v) · sen(wx − wv) dv dw (v)
2π −∞ −∞

En efecto
Z +∞
Sea H(w) = f (v) · sen(wx − wv) dv probaremos que H(w) es una función impar
−∞
Z +∞
H(−w) = f (v) · sen(−wx + wv) dv
−∞
Z +∞
=− f (v) · sen(wx − wv) dv = −H(w)
−∞

Luego H(w) = −H(w), Luego H es impar, reemplazando en (v)

Z +∞
1
H(w) dw = 0, pues H es función impar
2π −∞

88
Luego
Z +∞ Z +∞ 
1
f (v) · sen(wx − wv) dv dw = 0
2π −∞ −∞

también
Z +∞ Z +∞ 
i
f (v) · sen(wx − wv) dv dw = 0 (vi)
2π −∞ −∞

Sumando (vi) en (iv) se obtiene

Z +∞ Z +∞ 
1
f (x) = f (v) · cos(wx − wv) dv dw+
2π −∞ −∞
Z +∞ Z +∞ 
1
+i f (v) · sen(wx − wv) dv dw
2π −∞ −∞

Luego se obtiene
Z +∞ Z +∞ 
1
f (x) = f (v) {cos(wx − wv) + i sen(wx − wv)} dv dw
2π −∞ −∞

Luego se obtiene
Z +∞ Z +∞ 
1 iw(x−v)
f (x) = f (v) · e dv dw (viii)
2π −∞ −∞

La expresión (viii) denota la integral compleja de Fourier de f otra forma de expresar

Z +∞ Z +∞
1
f (x) = cw · e1wx
dw; donde cw = f (v) · e−iwv dv
2π −∞ −∞

cn se denomina, el coeficiente de la integral compleja de Fourier

5.2.2. Ejemplo
1.- Sea f (x) = e−a|x| , ∀x ∈ R, halle la integral compleja de Fourier de f

Solución
 −ax
e ; x≥0
f (x) = ax Se observa que f es continua en todo R y es absolutamen-
e ; x<0
te convergente.
Luego f admite la integral compleja de Fourier
Z +∞
1
f (x) = cw eiwx dw donde
2π −∞
Z +∞ Z 0 Z +∞
−iwv −iwv
cw = f (v) · e dv = av
e ·e dv + e−av · e−iwv dv
−∞ −∞ 0
Z 0 Z +∞
2
cw = ev(a−iv) + e−v(a−iw) dv = 2
−∞ 0 a + w2

89