CONTENIDO DE POTENCIA DE UNA FUNCIN PERIDICA

Denicin.- El contenido de potencia de una peridica f(x) en el periodo T,

que se nota CP(f), est denido como el valor cuadrtico medio
CP(f) =
1
T
_ T
2

T
2
[f(x)]
2
dx
Teorema.- Si f
1
(x) y f
2
(x) son dos funciones peridicas que tienen el mismo
periodo T, se tiene:
CP(f) =
1
T
_ T
2

T
2
f
1
(x)f
2
(x)dx =
1

n=1
(C
1
)
n
(C
2
)
n
,
donde (C
1
)
n
y (C
2
)
n
son los coecientes complejos de las series de Fourier
de f
1
(x) y f
2
(x), respectivamente.
Teorema de Parseval.- Si f
1
(x) es una funcin peridica con periodo T,
entonces
1
T
_ T
2

T
2
[f(x)]
2
dx =
+1

n=1
|C
n
|
2
.
Demostracin
Sea la serie de Fourier de f en forma exponencial
f(x) =
+1

n=1
C
n
e
in
p
x
Por la propiedad anterior, se tiene:
1
T
_ T
2

T
2
[f(x)]
2
dx =
+1

n=1
C
n
C
n
=
+1

n=1
|C
n
|
2
,
Corolario.- Sea f una funcin continua de periodo T, entonces
1
T
_ T
2

T
2
[f(x)]
2
dx =
1
4
a
2
0
+
1
2
+1

n=1
_
a
2
n
+ b
2
n
_
Demostracin
Por el teorema de Parseval, se tiene:
CP(f) =
1
T
_ T
2

T
2
[f(x)]
2
dx =
+1

n=1
|C
n
|
2
= |C
0
|
2
+ 2
+1

n=1
|C
n
|
2
=
_
_
1
2
a
0
_
_
2
+ 2
+1

n=1
_
_
anibn
2
_
_
2
=
1
4
a
2
0
+
1
2
+1

n=1
_
a
2
n
+ b
2
n
_
LA TRANSFORMADA DE FOURIER
Cuando una funcin f(x) es peridica con periodo 2p se ha podido desarrollar
la funcin como una serie de Fourier en forma trigonomtrica o compleja sin
mayor dicultad.
Si p crece y tiende al innito, la funcin deja de ser peridica y se convierte
en una funcin denida por x (; +), en este caso ya no se puede realizar
una serie de Fourier. Por ello se dene una operacin denominada Transformada
de Fourier.
1
Anteriormente hemos visto que si f(x) es una funcin continua denida para
x (p; p), la serie de Fourier en forma compleja se expresa como sigue:
f(x) =
+1

n=1
1
2p
_
p
p
f(u)e

n
p
(ux)i
du
Ahora nos preguntamos: que pasara si p ?
Para ello, vamos a introducir la representacin siguiente:
Si z
n
=
n
p
, z
n+1
=
(n+1)
p
, z
n
= z
n+1
z
n
=

p
, entonces
zn

=
1
p
. Por lo tanto:
f(x) =
+1

n=1
z
n
_
1
2
_
p
p
f(u)e
zn(ux)i
du
_
Evidentemente que cuando p ; nuestra serie nos recuerda a la suma
integral
f(x) =
_
+1
1
dz
_
1
2
_
+1
1
f(u)e
z(ux)i
du
_
=
_
+1
1
e
izx
_
1
2
_
+1
1
f(u)e
izu
du
_
dz
A la expresin
1
2
_
+1
1
f(u)e
izu
du, se conoce con el nombre de transforma-
cin de Fourier de la funcin f(x) para x (; +). Tambin se denomina
integral de Fourier y se representa como:
F(z) = F f(x) =
1
2
_
+1
1
f(u)e
izu
du
Por otro lado;
f(x) =
1
2
_
+1
1
F(z)e
izx
dz
se denomina inversin de la transformada de Fourier o tambien Transformada
inversa de Fourier.
Varios autores, escriben
F(z) =
_
+1
1
f(u)e
izu
du,
entonces, la expresin de inversin, tomar la forma:
f(x) =
1
2
_
+1
1
F(z)e
izx
dz:
Para darle, mayor simetra a estas expresiones, deniremos a la Transfor-
mada de Fourier y la Transformada inversa de Fourier como:
F(z) =
1
2
p
2
_
+1
1
f(u)e
izu
du y f(x) =
1
2
p
2
_
+1
1
F(z)e
izx
dx.
PROPIEDADES DE LA TRANSFORMADA DE FOURIER
Si f(x) es una funcin real, entonces se cumple:
F f(x) = F(z) =
1
2
p
2
_
+1
1
f(u)e
izu
du
=
1
2
p
2
_
+1
1
f(u) [cos(uz) i sin(uz)] du
=
1
2
p
2
_
+1
1
f(u) cos(uz)du
i
2
p
2
_
+1
1
f(u) sin(uz)du
Si llamamos:
R(z) =
1
2
p
2
_
+1
1
f(u) cos(uz)du y I(z) =
1
2
p
2
_
+1
1
f(u) sin(uz)du,
tendremos que:
F(z) = R(z) + iI(z).
La transformacin de Fourier es en general una funcin compleja; si en par-
ticular:
2
i) Si f(x) es real, se tiene que f(x) es par, entonces F(z) = R(z) ser real,
ya que f(u) cos(uz) ser par y
R(z) =
2
_
2

_
+1
1
f(u) cos(uz)du, mientras
_
+1
1
f(u) sin(uz)du = 0.
Llamamos
2
_
2

_
+1
0
f(u) cos(uz)du transformacin coseno de Fourier y, la
representamos como:
Fc(z) =
2
_
2

_
+1
0
f(u) cos(uz)du.
ii) Si f(x) es real, se tiene que f(x) es impar, entonces F(z) = I(z) ser
totalmente imaginaria, ya que f(u) sin(uz) ser impar y
I(z) =
2
_
2

_
+1
1
f(u) sin(uz)du, mientras
_
+1
1
f(u) cos(uz)du = 0.
Llamamos
2
_
2

_
+1
0
f(u) sin(uz)du transformacin seno de Fourier y, la
representamos como:
Fs(z) =
2
_
2

_
+1
0
f(u) sin(uz)du.
Veamos ahora que si f(x) es real.
Como: F(z) = R(z) + iI(z), entonces F(z) = R(z) iI(z):
Luego: F(z) = F

(z)
Toda funcin f(x) puede escribirse como:
f(x) =
f(x)+f(x)
2
+
f(x)f(x)
2
.
Llamamos:
f(x)+f(x)
2
= f
p
(x) parte par de f(x)
f(x)+f(x)
2
= f
i
(x) parte impar de f(x).
Ejemplo
Si f(x) = e
x
, se puede escribir como:
f(x) = e
x
=
e
x
+e
x
2
+
e
x
e
x
2
= cosh(x) + sinh(x), donde:
cosh(x) es la parte par de e
x
y cosh(x) es la parte impar de e
x
.
Como:
F f(x) = F f
p
(x) + F f
i
(x) = R(z) + iI(z), de donde:
F f
p
(x) = R(z) y F f
i
(x) = iI(z).
La Transformada de Fourier evidentemente satisface la propiedad de lineal-
idad, es decir:
F c
1
f
1
(x) + c
2
f
2
(x) = c
1
F f
1
(x) + c
2
F f
2
(x) :
Esta propiedad es fundamental para la existencia de F f(x) = F(z), esto
indica que
_
+1
1
|f(u)| du < . (f es absolutamente convergente). Pues:
_
_
e
izu
_
_
= |cos(uz) i sin(uz)| =
2
_
cos
2
(uz) + sin
2
(uz) = 1.
Luego:
_
+1
1
|f(u)| du =
_
+1
1
|f(u)| 1du
=
_
+1
1
|f(u)|
_
_
e
izu
_
_
du
=
_
+1
1
_
_
f(u)e
izu
_
_
du.
Por tanto, si la funcin f(u) es absolutamente convergente, la Transformada
de Fourier ser tambin absolutamente convergente.
Ms adelante veremos que existe la Transformada de Fourier de funciones
que no son absolutamente convergentes.
3
EJERCICIOS
Determinar la transformada de Fourier de las funciones siguientes:
1) f(x) =
1; si [x[ _ a
0; si [x[ > a
Gracando la funcin
f(x) =
1; si [x[ _ 2
0; si [x[ > 2
-4 -2 2 4
-1
1
2
3
x
y
Ingresando la funcin en la Transformada de Fourier, se tiene:
F(z) =
1
2
p
2
_
_
a
1
0e
izu
du +
_
a
a
1e
izu
du +
_
+1
a
0e
izu
du
_
=
1
2
p
2
_
a
a
e
izu
du
=
1
2
p
2
_

1
iz
_ _
e
iuz

a
a
=
2
_
2

e
iza
e
iza
2i
1
z
=
2
_
2

sin(az)
z
2) f(x) =
xe
x
; si x < 0
xe
x
; si x > 0
Gracando la funcin f(x) =
xe
x
; si x < 0
xe
x
; si x > 0
-4 -2 2 4
-1
1
x
y
Ingresando la funcin en la Transformada de Fourier, se tiene:
F(z) =
1
2
p
2
_
_
0
1
ue
u
e
izu
du +
_
+1
0
ue
u
e
izu
du
_
4
=
1
2
p
2
_
_
0
1
ue
(1iz)u
du +
_
+1
0
ue
(1+iz)u
du
_
=
1
2
p
2
_
_
ue
(1iz)u
1iz
_
0
1

_
0
1
e
(1iz)u
1iz
du +
_
ue
(1+iz)u
(1+iz)
_
+1
0
+
_
+1
0
e
(1+iz)u
1+iz
du
_
=
1
2
p
2
_
0
_
e
(1iz)u
(1iz)
2
_
0
1
+ 0
_
e
(1+iz)u
(1+iz)
2
_
+1
0
_
=
1
2
p
2
_

1
(1iz)
2
_
e
0
e
1
_

1
(1+iz)
2
_
e
1
e
0
_
_
=
1
2
p
2
_

1
(1iz)
2
(1 0)
1
(1+iz)
2
(0 1)
_
=
1
2
p
2
_

1
(1iz)
2
+
1
(1+iz)
2
_
=
1
2
p
2
_
(1+iz)
2
+(1iz)
2
(1+z
2
)
2
_
=
1
2
p
2
_
12iz+z
2
+12izz
2
(1+z
2
)
2
_
=
1
2
p
2
_
4iz
(1+z
2
)
2
_
3) f(x) =
e
ax
; si x _ 0
0; si x < 0
Gracando la funcin f(x) =
e
ax
; si x _ 0
0; si x < 0
-4 -2 2 4
-1
1
2
x
y
Ingresando la funcin en la Transformada de Fourier, se tiene:
F(z) =
1
2
p
2
_
_
0
1
0e
izu
du +
_
+1
0
e
au
e
izu
du
_
=
1
2
p
2
_
+1
0
e
(a+iz)u
du
=
1
2
p
2
_
e
(a+iz)u
(a+iz)
_
1
0
=
1
2
p
2
_

1
a+iz
_
e
1
e
0
_
_
=
1
2
p
2
_

1
a+iz
(0 1)
_
=
1
2
p
2
1
a+iz

aiz
aiz
=
1
2
p
2
aiz
a
2
+z
2
=
1
2
p
2
_
a
a
2
+z
2

iz
a
2
+z
2
_
4) f(x) =
1
jxj
a
; si [x[ < 0
0; si [x[ _ 0
cuando a > 0.
Gracando la funcin f(x) =
1
jxj
a
; si [x[ < a
0; si [x[ _ a
5
-3 -2 -1 0 1 2 3
1
2
x
y
Ingresando la funcin en la Transformada de Fourier, se tiene:
F(z) =
1
2
p
2
_
_
a
1
0e
izu
du +
_
a
a
(1
juj
a
)e
izu
du +
_
+1
a
0e
izu
du
_
Como la funcin f(x) es par, tenemos que:
F(z) =
1
2
p
2
2
_
a
0
(1
u
a
) cos(zu)du
=
2
2
p
2
__
a
0
cos(zu)du
1
a
_
a
0
ucos(zu)du

=
2
_
2

__
sin(zu)
z
_
a
0

1
a
_
usin(zu)
(1iz)u
z
_
a
0
+
1
za
_
a
0
sin(zu)du
_
=
2
_
2

_
sin(az)sin(0)
z

1
a
_
a sin(au)0 sin(0)
z
_
+
1
za
_

cos(zu)
z
_
a
0
_
=
2
_
2

_
sin(az)
z

a sin(az)
z

1
za
_
cos(az)cos(0)
z
__
=
2
_
2

_
1cos(az)
az
2
_

2
2
=
2
_
2

_
2 sin
2
(az)
az
2
_
5) f(x) = e

x
2
2
Gracando la funcin f(x) = e

x
2
2
f(x) = e

x
2
2
-5 -4 -3 -2 -1 0 1 2 3 4 5
0.5
1.0
x
y
Ingresando la funcin en la Transformada de Fourier, se tiene:
F(z) =
1
2
p
2
_
1
1
e

u
2
2
e
izu
du
=
1
2
p
2
_
1
1
e

u
2
2
+izu

du
=
1
2
p
2
_
1
1
e

1
2
[(u
2
+2izuz
2
)+z
2
]
du
=
1
2
p
2
_
1
1
e

1
2
[(u+iz)
2
+z
2
]
du
=
1
2
p
2
e

z
2
2
_
1
1
e

1
2
(u+iz)
2
du
6
=
e

z
2
2
2
p
2
_
1
1
e
(
u+iz
2
p
2
)
2
du
Haciendo un cambio de variables
r =
u+iz
2
p
2
du =
2
_
2dr
F(z) =
e

z
2
2
2
p
2
_
1
1
e
r
2
2
_
2dr
=
e

z
2
2
2
p

_
1
1
e
r
2
dr
Por teorema
_
1
1
e
x
2
dx =
2
_
, se tiene:
F(z) =
e

z
2
2
2
p

2
_
. Luego:
F(z) = e

z
2
2
.
e

x
2
2
, Fourier transform is:
_
2
_
e

1
2
w
2
_
2
_
e

1
2
w
2
, Is Fourier transform of e

1
2
x
2
_
1
1
e

x
2
2
e
iwx
dx =
_
2
_
e

1
2
w
2
Puede verse que la imagen coincide con la funcin f(x) = e

x
2
2
.
6) f(x) = xe
x
2
Gracando f(x) = xe
x
2
, se tiene:
y = xe
x
2
-10 -8 -6 -4 -2 2 4 6 8 10
-0.3
-0.2
-0.1
0.1
0.2
0.3
x
y
Ingresando la funcin en la Transformada de Fourier, se tiene:
F(z) =
1
2
p
2
_
1
1
ue
u
2
e
izu
du
=
1
2
p
2
_
1
1
e
izu
e
u
2
udu
Sea t = e
izu
dt = ize
izu
du, v =
_
e
u
2
udu =
1
2
e
u
2
F(z) =
1
2
p
2
_
_

1
2
e
u
2
izu
_
1
1

iz
2
_
1
1
e
u
2
izu
du
_
Por teorema de lmites
_

1
2
e
u
2
izu
_
1
1
= 0.
7
F(z) =
1
2
p
2
_

iz
2
_
1
1
e
u
2
izu
du
_
=
iz
2
2
p
2
_
1
1
e
(u
2
+
izu

)
du
=
iz
2
2
p
2
_
1
1
e

h
(u
2
+
izu

z
2
4
2
)+
z
2
4
2
i
du
=
ize

z
2
4
2
2
2
p
2
_
1
1
e
(u
2
+
izu

z
2
4
2
)
du
=
ize

z
2
4
2
2
p
2
_
1
1
e
(u+
iz
2
)
2
du
=
ize

z
2
4
2
2
p
2
_
1
1
e
(
2
p
(u+
iz
2
))
2
du
Sea r =
2
_
(u +
iz
2
) dr =
2
_
du du =
dr
2
p

F(z) =
ize

z
2
4
2
2
p
2
_
1
1
e
r
2
dr
2
p

=
ize

z
2
4
2
2
p
2
2
p

_
1
1
e
r
2
dr
Por teorema
_
1
1
e
x
2
dx =
2
_

F(z) =
ize

z
2
4
2
2
p
2
2
p

2
_
:Luego:
F(z) =
ize

z
2
4
2
2
p
2
xe
x
2
, Fourier transform is:
1
2
i

we

1
4
w
2
8