Notas AED 2005 06 Web PDF

Universidad de La Laguna Curso: 2005-06
NOTAS de
ANLISIS
ESPECTRAL DE
DATOS
Jess J. Fuensalida
Instituto de Astrofsica de Canarias
Una introduccin al anlisis de Fourier experimental

Universidad de La Laguna 2/48 Curso: 2005-06
ADVERTENCIA
Estas Notas no deben considerarse como la materia nica del

curso. De hecho, su contenido es parcial respecto al programa de
la asignatura, aunque refleja una parte considerable del temario.
Ha de entenderse como una herramienta de aclaracin y consulta,
ya que en algunos apartados extiende conceptos (muy
especialmente en el Cap. 6), adems del soporte de las figuras.
NDICE
1.- INTRODUCCIN
2.- SERIES DE FOURIER 5/48

2.1.- Descomposicin de Fourier de una funcin
5/48
peridica
2.2.- Representacin en frecuencias 6/48
2.3.- Aplicacin a una onda cuadrada 6/48
2.4.- Ortogonalidad 11/48
2.5.- Representacin mdulo y fase 12/48
2.6.- Potencia media de una funcin 15/48
3.- INTEGRAL DE FOURIER 18/48

3.1.- Anotacin compleja 18/48
3.2.- Descomposicin de Fourier de una funcin no-
19/48
peridica
3.3.- Transformada de Fourier 20/48
3.4.- Propiedades de simetra 23/48
3.5.- Teorema de escalado 24/48
3.6.- Teorema de desplazamiento 24/48
3.7.- Teorema de la derivada 24/48
3.8.- Catlogo de transformadas de funciones
25/48
relevantes
4.- CONVOLUCIN Y CORRELACIN 27/48

4.1.- Convolucin y deconvolucin (sin ruido) 27/48
4.2.- Propiedades de la convolucin 28/48
4.3.- Correlacin cruzada 29/48
4.4.- Teorema de Parseval 31/48
4.5.- Funcin de autocorrelacin 32/48
5.- TRANSFORMADA DISCRETA DE FOURIER 34/48

5.1.- Muestreo de una seal 34/48
5.2.- Transformada de Fourier discreta (DFT) 38/48
5.3.- Transformada rpida de Fourier (FFT) 39/48
5.4.- Efecto de pxel 40/48
6.- ESTADSTICA CON TRANSFORMADA DE

42/48
FOURIER. RUIDO
6.1.- Probabilidad y parmetros (introduccin) 42/48
6.2.- Esperanza estadstica 42/48
6.3.- Funcin caracterstica y momentos 43/48
6.4.- Momentos centrales 45/48
6.5.- Probabilidad condicional e independencia
46/48
estadstica
6.6.- Distribucin de una suma de variables aleatorias
46/48
independientes
6.7.- Teorema del lmite central 48/48
Anlisis Espectral de Datos 5/48 Jess J. Fuensalida
Universidad de La Laguna Instituto de Astrofsica de Canarias
2.- SERIES DE FOURIER
2.1.- Descomposicin de Fourier de una funcin peridica.

Sea f(x) una funcin peridica de periodo T. sta se puede desarrollar en base a cosenos
y senos de la siguiente forma:

2
f (t ) = a 0 + (a n cos n b t + bn sen n b t ) si b (2.1)
n =1 T
en donde
f ( ) 1 d 1

f ( ) d siendo b t

a0 = = (2.2)

2
1 d

f ( ) cos n d 1

f ( ) cos n d

an = = (2.3)

cos n d
2
f ( )sen n d 1

f ( )sen n d

bn = = (2.4)

sen n d
2
Al trmino ao se le denomina componente continua o d.c. (direct current)

habitualmente en ingeniera.
Un desarrollo expresado de esta forma se conoce como desarrollo en serie de Fourier.

Se puede apreciar que los sucesivos trminos del desarrollo estn fijados por frecuencias
mltiplos de b, que se denominan harmnicos de b y a los trminos de orden n=1, es
decir los de b se llama harmnico fundamental.
Las expresiones anteriores pueden tambin escribirse de forma ms general como

2nx 2nx
f ( x) = a0 + a n cos + bn sen
n =1 T T
+T
1 2
f ( x ) dx
T T
a0 =
2
Anlisis Espectral de Datos 6/48 Universidad de La Laguna
+T 2
1 2nx
an = f ( x ) cos dx
T T 2 T
2
+T 2
1 2nx
bn = f ( x ) sen dx
T T 2 T
2
donde x puede representar la variable espacio o tiempo.
Este desarrollo en serie converge a f(x) si se cumplen las condiciones de Dirichlet:
a) f(x) est definida y sea uniforme excepto, como mucho, en un nmero finito de
puntos en ]-T/2,T/2[.
b) f(x) sea peridica fuera de ]-T/2,T/2[ con periodo T.
c) f(x) y f '(x) son cuasicontinuas en ]-T/2,T/2[.
Las condiciones (a), (b) y (c) exigidas a f(x) son suficientes, pero no necesarias, aunque
generalmente se cumplen en la prctica.
2.2.- Representacin en frecuencias.

Una vez expresada la funcin f(t) como serie de Fourier segn el apartado anterior,
dicha funcin puede quedar absolutamente representada con los coeficientes an y bn.
stos pueden ser considerados como una funcin discreta respecto a la variable =nb.
Es decir, los coeficientes an pueden ser representados por la funcin a(nb) y los bn
como b(nb). Por tanto, f(t) quedara representada por estas funciones expresadas de la
siguiente forma:

a ( ) = a n ( n b )
0

b( ) = bn ( n b )
1
Es decir, un conjunto de deltas de Dirac equidistantes con un intervalo b.
2.3.- Aplicacin a una onda cuadrada.

Una onda cuadrada es una funcin peridica respecto al tiempo o espacio
unidimensional que toma dos valores diferentes alternativamente y de igual duracin.
En la fig. 2.3.1, se representa una onda cuadrada de amplitud la unidad, es decir, alterna
entre los valores 1 y -1, respecto a =bt de modo que el periodo es 2 rad.
Instituto de Astrofsica de Canarias 7/48 Jess J. Fuensalida
f
c u a
i ii iii
Fig. 2.3.1.- Onda cuadrada de amplitud 1 y periodo 2 rad.
Para expresar esta funcin como serie de Fourier, aplicaramos las expresiones 2.2, 2.3
y 2.4. Dado que la funcin se repite cada periodo, extendemos las integrales entre + y -
:

f ( ) 1 d 1

f ( ) d = 0

a0 = =

2
1 d

ya que en un periodo, la parte positiva es idntica que la negativa. Es decir, la

componente d.c. es nula, porque oscila alrededor de y=0. Si lo hiciera para y=c, c R
constante, sera a0=c.
f ( ) cos n d 1

f ( ) cos n d

an = =

cos n d
2

2 + 2 +
= 1 cosn d + + 1 cosn d + 1 cosn d
1

1
443 1
442
2
442443 +12 442443
i ii iii
siendo cada trmino i, ii, y iii correspondiente a las partes indicadas en la fig. 2.3.1.
= 1
{ 1
n [sen n ]
2
+ 1
n [sen n ]+

2
2
1n [sen n ]+ 2
+
}
= 2
n
{ sen( n 2 ) + sen n 2 } = n2 {2 sen n 2 }
Por tanto, los primeros valores son

a 0 = 0, a1 = 4 , a 2 = 0, a3 = 13 4 , a 4 = 0, a5 = 1 4
5 , ...
Para los coeficientes bn,

f ( )sen n d 1

f ( )sen n d

bn = =

sen n d
2

2 + 2 +
= 1 1 sen n d + + 1 sen n d + 1 sen n d
1 2
442 443 1 442443 +12 442443
i ii iii
= 1
{ 1
n [cos n ]
2
+ 1
n [cos n ]+

2
2
1n [cos n ]+ 2
+
}
= 2
n
{ cos( n 2 ) + cos n 2 } = 0
Es decir, bn = 0.
Luego,
fcua= 4/ (cos bt - 1/3 cos 3bt + 1/5 cos 5bt - 1/7 cos 7bt + 1/9 cos 9bt - ...)
En las figuras 2.3.2a y 2.3.2b, se muestran los resultados con diferentes harmnicos. Se
puede apreciar que las amplitudes de los harmnicos de mayor orden son menores y sin
embargo son las encargadas de ajustar los saltos bruscos, es decir, cuanto ms saltos
bruscos tenga la seal, mayor composicin en altas frecuencias tendr.
Serie de Fourier de Onda Cuadrada (f=10 Hz)

Cuadrada
1,5 Sum(1..5)
Cos1
1
Cos3
0,5 Cos5
0
0 0,05 0,1 0,15
-0,5
-1
-1,5
tiem po (s)
Fig. 2.3.2a.- Comparacin de una onda cuadrada con el desarrollo de Fourier hasta el
harmnico 5.
Serie de Fourier de Onda Cuadrada (f=10 Hz)

Cuadrada
1,5 Sum(1..9)
Cos1
1
Cos3
0,5 Cos5
Cos7
0
Cos9
0 0,05 0,1 0,15
-0,5
-1
-1,5
tiem po (s)
Fig. 2.3.2b.- Comparacin de una onda cuadrada con el desarrollo de Fourier hasta el
harmnico 9.
Composicin en Frecuencias de Onda

Cuadrada
1,5
Amplitud
0,5
0
0 10 20 30 40 50 60 70 80 90 100 110 120 130 140 150 160
-0,5
Frecuencia (Hz)
Fig. 2.3.3.- Composicin en frecuencias de un onda cuadrada.
Sin embargo, si tratamos el caso de la misma funcin pero desplazada respecto al Y

(Fig. 2.3.4), podemos advertir que los valores de los coeficientes de la serie de Fourier
cambian.
f c u a
i ii
Fig.2.3.4.- Onda cuadrada desplazada respecto al eje Y
Siguiendo la fig. 2.3.4,
f ( ) cos n d 1

f ( ) cos n d

an = =

cos n d
2

+
0

= 1 cos n d + + 1 cos n d
1
= 1
{ 1
n
[sen n ]0 + 1
n
[sen n ]0+ }
= 1
n
{ sen 0 + sen ( n ) + sen n sen 0} = 0
Es decir, an = 0.
Para los coeficientes bn,

f ( )sen n d 1

f ( )sen n d

bn = =

sen n d
2

+
0
= 1 1 sen n d + + 1 sen n d
0
= 1
{+ 1
n [cos n ]0 1n [cos n ]0
+
}
= 1
n
{cos 0 cos( n ) cos n + cos 0} = n2 {1 cos n }
Por tanto, los primeros valores son

b1 = 4 , b2 = 0, b3 = 13 4 , b4 = 0, b5 = 1 4
5 , ...
Hay que resaltar que no son iguales a los an del caso par.
Se puede generalizar de este ejemplo que si la funcin es par, el desarrollo de Fourier

no contendr componentes impares, es decir, los trminos de senos sern nulos,
como es el caso de la fig. 2.3.1. Y, si la funcin es impar, el desarrollo de Fourier no
contendr componentes pares, es decir, los trminos de cosenos sern nulos, como
es el caso de la fig. 2.3.4. Adems, se aprecia que para una funcin determinada
expresada como par, los coeficientes an no son iguales a los bn de la funcin expresada
como impar.
2.4.- Ortogonalidad.
Se dice que 2 funciones, f() y g() son ortogonales si y solo si

2
f ( ) g ( ) d = 0
1
en el intervalo (1, 2)
Esto quiere decir que f() no contiene componentes de g(), y viceversa.

Las funciones sinusoidales de diferentes frecuencias pueden formar una base ortogonal
en intervalo (1, 1+).
Son ortogonales cos n y sen m?
+T / 2
cos t sen t dt = ?
T / 2
b b
+ +
sen 2 1
cos sen d = d = [cos 2 ] = 0
+

2 4
sen 2 = 2 sen cos
+ +
sen sen 2 d = 2 sen

2
cos d =
2
3
[
sen 3 ]
+
=0

cos 2 = cos 2 sen 2

cos 2 = 1 2 sen 2
cos 2 = 1 sen 2
+ + +
cos cos 2 d = cos d 2 sen cos d

2
= [sen ]
+ 2
3
[
sen 3 ] +
=0
Es decir, sen y cos son ortogonales as como sen y sen2 y tambin cos y cos2. Y
as se puede extender entre sen n y cos m y sen k y cos l n,m,k,l N.
NOTA: Dos funciones f() y g() son ortonormales si y solo si, adems de ser
ortogonales, cumplen:
2 2
[ f ( )] d = [g ( )] d = 1
2 2
1 1
sen n y cos m no son ortonormales porque,
+T
2
T
cos n b x dx =
2
T
2
2
+T
2
T
sen n b x dx =
2
T
2
2
(Ver apartado 2.6)
2.5.- Representacin mdulo y fase.
Como hemos visto en el apartado 2.4 que cos nbt y sen nbt son ortogonales, podemos
representar an cos nbt + bn sen nbt a modo de vectores.
Por lo tanto,
bn = c n sen n cn
bn
n
a n = c n cos n
n
y entonces, la suma de cada orden,
an
a n cos n b t + bn sen n b t = c n cos n b t cos n + c n sen n b t sen n
= c n cos(n b t n )
Y del grfico obtenemos,
c n = a n2 + bn2
bn b
tg n = , , n = arctg n
an an
Con lo que, el desarrollo de Fourier podemos expresarlo,

f (t ) = a0 + c n cos(n b t n )
n =1
De forma similar, podemos obtener una expresin respecto a n.
bn = c n cos n
a n = c n sen n
a n cos n b t + bn sen n b t = c n sen n cos n b t + c n cos n sen n b t
= c n sen(n b t + n )
Y, como ms arriba,
c n = a n2 + bn2
an a
tg n = , , n = arctg n
bn bn
De esta forma, el desarrollo de Fourier queda,

f (t ) = a 0 + c n sen(n b t + n )
n =1
En las figuras 2.5.1a y b mostramos las representaciones para dos casos de valores an y
bn.
Desfase de coseno + seno (f=10 Hz)

1*Seno
1,5 1*Cos
1*Cos + 1*Seno
1
0,5
0
0 0,05 0,1 0,15
-0,5
-1
-1,5
tiem po (s)
Fig. 2.5.1a.- Resultante de una cierta componente con n=n=/4.

Ocurre cuando an = bn.
Desfase de coseno + seno (f=10 Hz)

0,4142*Seno
1,5 1*Cos
1*Cos + 0,4142*Seno
1
0,5
0
0 0,05 0,1 0,15
-0,5
-1
-1,5
tiem po (s)
Fig. 2.5.1b.- Resultante de una componente con n=/8 y n=3/8.
En las grficas 2.5.1 obtenemos la suma a partir de un coseno y seno con diferentes
amplitudes. Podemos apreciar como la distancia en radianes desde el mximo de la
resultante al mximo de la componente coseno y la distancia de la resultante al
mximo de la componente seno.
Para el caso mostrado en 2.5.1a, calculamos,
bn 1
n = arctg = arctg = rad
an 1 4
an 1
bn 1 4
c n = a n2 + bn2 = 2
que se puede comprobar en la grfica.
Para el caso mostrado en 2.5.1b, calculamos,
bn 0.4142
an 1 8
an 1 3
bn 0.4142 8
c n = a n2 + bn2 = 1 + 0.4142 2 = 1.0824
que se puede comprobar en la grfica.
2.6.- Potencia media de una funcin

La potencia media que desarrolla la funcin f(x) (recordamos que a lo largo del curso
utilizaremos indistintamente la variable x y t como variable independiente, excepto en
ejemplos especficos) a lo largo de un periodo se define,
+T 2
1 2
Pf =
T [ f ( x)] dx
T
2
Si usamos el desarrollo en an y bn,
2
1
+T
2
a 0 + (a n cos n b x + bn sen n b x) dx
Pf =
T
T n =1
14444244443
2 n
+T +T 2 +T
0
1 2 1 2 1 2
= a 02 dx + ( n ) dx + 2a 0 ( n )dx
T T 2 T T n =1 T T n =1
142 4
3 142 4 42444 3 142 4 42444 3
i ii iii
a02
De desarrollar ii aparecern trminos del tipo:

+T
1 2
(I) a n bm cos n b x sen m b x dx

T T
2
+T
1 2
(II) a n a m cos n b x cos m b x dx

T T
2
+T
1 2
(III) bn bm sen n b x sen m b x dx

T T
2
Calculemos cada uno de estos trminos,
(I) Si tenemos en cuenta que
1
sen cos = [sen( ) + sen( + )] entonces,
2
+T
1 1 2
= a n bm [sen(m n) b x + sen(m + n) b x ] dx = 0
T 2 T 2
cada integral de los senos es =0, tanto para mn

como para m=n.
(II) Si tenemos en cuenta que
1
cos cos = [cos( ) + cos( + )] entonces,
2
+T
1 1 2
= a n a m [cos(n m) b x + cos(n + m) b x ] dx
T 2 T 2
=0 Si mn (ortogonales)
+T
1 1 2 1 a n2
= a n2 [1 + cos 2n b x ] dx = T Si m=n
T 2 T 2 T 2
(III) Si tenemos en cuenta que
1
sen sen = [cos( ) cos( + )] entonces,
2
+T
1 1 2
= bn bm [cos(n m) b x cos(n + m) b x ] dx
T 2 T 2
=0 Si mn (ortogonales)
+T
1 21 2 1 bn2
= bn [1 cos 2n b x ] dx = T Si m=n
T 2 T 2 T 2
Por lo tanto, la POTENCIA MEDIA:
a2 b2
( )

1 1
Pf = a 02 + n + n = a 02 + a n2 + bn2 = a 02 + c n2
n =1 2 2 2 n =1 2 n =1
Como hemos visto en el apartado 2.4 y en ste ms arriba, la potencia media de cada
componente con amplitud 1 es 1/2. Por lo tanto, la potencia media de f(x) es la suma
de la potencia de cada componente, ms la potencia de la componente continua
(TEOREMA DE PARSEVAL de series de Fourier).
De este resultado, podemos atisbar el inters de una representacin de la potencia en

funcin de la frecuencia con lo que apreciaremos fcilmente la contribucin de cada
harmnico a la potencia de la funcin completa. A esta representacin se denomina
ESPECTRO DE POTENCIAS, que se tratar con ms detalle en el prximo captulo.
3.- INTEGRAL DE FOURIER
3.1.- Anotacin compleja

Sabemos que,
cos = 1
2
[e i
+ e i ]
[
sen = i 12 e i e i ]
luego,
a n i n b x a n i n b x
a n cos n b x = e + e
2 2
bn i n b x b i n b x
bn sen n b x = i e +i n e
2 2
Por lo tanto,

a n ibn i n b x a n + ibn i n b x
f (x ) = a 0 + + = dne b
in x
e e (3.1)
n =1 2 n =1 2 n =
siendo,
d 0 = a0
a n ibn
dn =
2
a n + ibn
d n = = d n* (* conjugada)
2
Entonces, podemos expresar estos coeficientes:
a n ibn
dn =
2
11
+T / 2 +T / 2
1
2 T 2 T/ 2
= f ( x ) cos n b x dx i f ( x ) sen n b x dx
T
2 T / 2
+T / 2
1
=
T f ( x) [cos n
T / 2
b x i sen n b x ] dx
+T / 2
1 i n b x
=
T f ( x)
T / 2
e dx (3.2)
Expresin que es vlida para valor entero n, es decir, positivo, negativo o cero.
Queda claro, por tanto, que los coeficientes dn son complejos, por lo que,
1
dn = a n2 + bn2
2
bn
arg(d n ) = arctg
an
Los dn se pueden relacionar con la representacin mdulo y fase:
cn = 2 d n
n = arg(d n )
3.2.- Descomposicin de Fourier de una funcin no-peridica

En el desarrollo de Fourier de una funcin peridica, el intervalo de frecuencias entre
trminos consecutivos es,
= (n + 1) b n b
Es decir,
2
= b =
T
Pero, podemos considerar una funcin no-peridicas como una peridica con un T = .
Luego, si T 0. (3.3)
Por lo tanto, ya no tiene sentido hablar de una distribucin discreta de componentes

sino continua.
Sustituyendo (3.2) en (3.1), es decir,

+T / 2
1 i n b x
dn =
T f ( x)
T / 2
e dx en
+T / 2
1
f (x ) = dn e
i n b x i n b x i n b x
n =
=
n = T
f ( x)
T / 2
e dx e
pero, como hemos visto antes,
1 b 1
= =
T 2 2
Luego, la expresin anterior quedara,
+T / 2
1
f (x ) = f ( x)
i n b x i n b x
e dx e (3.4)
2 n = T / 2
Si ahora, como mencionamos al principio, consideramos que es una variable

continua, es decir, 0 ,
nb , es decir, una variable continua. Y,
Con esto, (3.4) quedara como,
+ +
1
f (x ) =
i x i x
2 f ( x)

e dx e d
1442443
F ( )
+
1 i x
f ( x) =
2 F ( )

e d
3.3.- Transformada de Fourier.

Las expresiones obtenidas en el apartado anterior,
+
i x
F ( ) = f ( x)

e dx
+
1 i x
f ( x) =
2 F ( )

e d
se denominan ecuaciones integrales de Fourier.
F() es la transformada de Fourier de f(x),

y f(x) es la transformada inversa de Fourier de F().
Las condiciones suficientes (no necesarias) para que las integrales se cumplan son:
a) f(x) est definida y sea uniforme excepto, como mucho, en un nmero finito de
puntos.
b) f(x) y f '(x) son cuasicontinuas.
1
c) f(x) se reemplace por [ f ( x + 0) + f ( x 0)] , si x es un punto de discontinuidad.
2
+
d)

f ( x) dx converja. Es decir, f(x) sea absolutamente integrable en (-, +).
En la definicin de las integrales, existe una controversia, o falta de acuerdo, en la

eleccin de la constante. Est claro que, al aplicar sucesivamente la Transformada de
Fourier y la transformada inversa de Fourier, debera resultar la funcin original f(x). Es
decir,
+ +
1
f (x ) =
i x i x
2 f ( x)

e dx e d
1442443
F ( )
Pero, dependiendo de las variables utilizadas, la constante a multiplicar ser diferente

para que resultado vuelva a ser f(x). Veamos TRES posibles formas:
I) La utilizada hasta ahora.
+
i x
F ( ) = f ( x)

e dx
+
1 i x
f ( x) =
2 F ( )

e d
II) Si utilizamos la frecuencia, = 2 u d = 2 du. NOTA: utilizaremos la

letra u para indicar la variable conjugada de x, es decir la frecuencia
espacial. Recordad que la variable conjugada de t es .
+
i 2 u x
F (u ) = f ( x)

e dx
+
i 2 u x
f ( x) = F (u)

e du
III) A partir de la opcin (I), algunos autores (Mathews & Walker, 1970, p.102), por
razones de simetra en las expresiones, definen,
+
1 i x
F ( ) =
2 f ( x)

e dx
+
1 i x
f ( x) =
2 F ( )

e d
Realmente, en cada campo de la Ciencia se han venido utilizando definiciones de la

Transformada de Fourier con ligeras diferencias, lo que provoca algunos inconvenientes
al consultar textos de distintas disciplinas. Obliga, indudablemente, a una atencin ms
vigilante. Englobando las distintas convenciones, y si suponemos que r es la variable
conjugada de la variable s en dominio de medida, se pueden expresar como,
12
2 +
i 2 r s
F (r ) = f (s ) e ds
(2 )(11) 2
12
2 +
i 2 r s
f (s ) = F (r )e ds
(2 )(1+1) 2
donde,
1 2 Campo
0 -1 Fsica Cuntica
1 1 Matemticas e Ingeniera de Sistemas
1 -1 Estadstica
-1 -1 Fsica Clsica
0 2 Procesamiento de Seal y ptica
La eleccin (I) corresponde a 1 =1 y 2 =1. La (II) se obtiene con 1 =0 y 2 =2, y

ser la que usaremos habitualmente desde ahora para la transformada de Fourier y
la transformada inversa.
3.4.- Propiedades de simetra.

Como hemos visto,
+ + +
i 2 u x
F (u ) =

f ( x) e dx =

f ( x) cos 2 u x dx i f ( x)

sen 2 u x dx
el trmino del coseno transforma la parte par de la funcin, mientras que el trmino del
seno transforma la parte impar de la funcin.
f(x) F(u)
Real y Par Real y Par
Real e Impar Imaginario e Impar
Imaginario y Par Imaginario y Par
Complejo y Par Complejo y Par
Complejo e Impar Complejo e Impar
Real y Asimtrico Complejo y Hermtico
Imaginario y Asimtrico Complejo y Antihermtico
Real y Par + Imaginario e Impar Real
Real e Impar + Imaginario y Par Imaginario
Par Par
Impar Impar
ATENCIN: La relacin que se indica en la tabla tambin se cumple de la columna

derecha hacia la izquierda. Es decir que, por ejemplo, si f(x) (DOMINIO DE MEDIDA)
es imaginaria e impar, entonces F(u) (DOMINIO DE FRECUENCIAS) ser real e
impar.
NOTA:
Hermtico (C funcin compleja):

C(-u) = C* (u)
a) Parte real par, Re[C(-u)] = Re[C(u)]

b) Parte imaginaria impar, Im[C(-u)] = -Im[C(u)]
Antihermtico (C funcin compleja):
C(-u) = - C* (u)
a) Parte real impar, Re[C(-u)] = - Re[C(u)]

b) Parte imaginaria par, Im[C(-u)] = Im[C(u)]
Por otra parte, F(u) ser, generalmente, una funcin compleja. Como hemos visto en el
apartado 3.1, la potencia que contribuye cada frecuencia es el mdulo cuadrado. Por
tanto, llamaremos ESPECTRO DE POTENCIAS de f(x) a |F(u)|2 . Es decir, como ya
vimos en los apartados 2.5 y 2.6, la fase no desarrolla potencia.
3.5.- Teorema de escalado.
Si F() = F [f(t)]
[ ] 1
F f (a t ) = a F ( / a ) a
Es decir, si estiramos una funcin en un dominio, se encoge en el otro. Y viceversa.
3.6.- Teorema de desplazamiento.
Si F(u) = F [f(x)]
F [ f ( x a )] = e
i 2 ( a ) u
F (u )
Es decir, una traslacin de la funcin (desplazamiento) en un dominio, conlleva la

existencia de una fase lineal en la transformada de la funcin.
3.7.- Teorema de la derivada.
Si F(u) = F [f(x)]
F [ f ( x)] = i 2 u F (u )
Es decir, la derivada de la funcin en el dominio transformado correspondiente, adems

de multiplicar por una recta con pendiente 2, produce un intercambio de las partes real
e imaginaria.
Aplicando dos veces este teorema, obtenemos,
F [ f ( x ) ] = 4 u F (u )
2 2
Y consecuentemente,
F [f (n
( x) ] = (i 2 u )
n
F (u )
3.8.- Catlogo de transformadas de funciones relevantes
f(x) F(u) = F [f (x)]

(x) 1
Delta en el origen Constante
A cos 2uox A
2
[ (u u o ) + (u + u o )]
Coseno Dos deltas reales (par)
A sen 2uox A
2 i[ (u + u o ) (u u o )]
Seno Dos deltas imaginarias (impar)
A ei 2 uo x A[ (u u o )]
Seno + coseno Una delta en la frecuencia
0 , , x < L 2AL sinc(2 uL)

A 2 L (x ) = A , , L < x < L
0 ,, x > L

Funcin pulso centrado en el origen y ancho 2L Sinc (1er cero en 1/2L)
x2 1 u2
A 1

1
, , =
2
2
e Ae
2 u2
, , u =
2 2.345 2
( Ancho a mitad de altura)
Gaussiana Gaussiana
x u
2 1 2 1
,, u =
Ae
2 u
u +
2
2

2
Exponenciales en modo par Lorentziana
para x < 0 1 1
E(x)= 10 ,,,, (u ) +
para x > 0 2 i 2 u
Escaln (Heaviside)
+
1 +
n
(x nxo ) xo
u xo

n = n =
Peine (tren de deltas) Peine (tren de deltas)
Adviertan que,
+
F (0) = f ( x)

dx
y por tanto, si max[f(x)]=f(0), el ancho equivalente we, es,
f ( x) dx
F (0)
we
= +
f (0)
F (u )

du
Se usa habitualmente con funciones de pico, como la gaussiana o la funcin sinc.

4.- CONVOLUCIN Y CORRELACIN
4.1.- Convolucin y deconvolucin (sin ruido)
Si F [f(t)]=F() y F [g(t)]=G() entonces
Cul ser la F [f(t) g(t)] ?
Sea h(t) f(t) g(t) y F [h(t)]=H() .
Definicin de Transformada de Fourier
+
i 2 t
H ( ) =

f (t ) g (t ) e dt
g (t )
644 47 4 44 8
+
+
i 2 t i 2 t
=

f (t ) G ( ) e

d e

dt
+ +
i 2 ( ) t
=

f (t )G ( ) e d dt
+
+ i 2 ( ) t
= G ( ) f (t ) e

dt d

+
= G ( ) F ( ) d (1)

De igual forma, es fcil ver que:
+ +
i 2 t

F ( ) G ( ) e d =
f ( s ) g ( t s ) ds

(2)
144 42 4 44 3
Se denomina CONVOLUCIN de f por g.
Y se representa por f g
O lo que es igual:
F [f(t) g(t)]=F() G() (3)
Para interpretar la operacin de convolucin habra que tener en cuenta que,
+
f(t) g(t) = f ( s ) g [ ( s t ) ] ds

Es decir, los valores de la funcin convolucin es el resultado del producto de f(t) por
g(t), cuando g(t), una vez girada respecto al eje de ordenadas, corre el eje de abscisas.
En algunos procesos experimentales se conoce g(t) (o f(t) ) y se puede medir f(t)

g(t) , de modo que se puede obtener f(t) :
F [f(t) g(t)]
f (t) = F -1
(4)
G()
A esta operacin se le llama DECONVOLUCIN. En presencia de ruido este proceso

es mucho ms complicado requiriendo siempre una etapa de filtrado y, por ello, se ver
en el apartado 7.6.
4.2.- Propiedades de la convolucin

La funcin de convolucin cumple las siguientes propiedades:
a) Conmutativa
f g = g f (4.5)
b) Asociativa
f ( g h ) = (f g ) h (4.6)
c) Distributiva
f (g + h)= f g +f h (4.7)
Adems cumple las siguientes relaciones:
F [f g h]=F G H (4.8)
F [f ( g h )]=F ( G H ) (4.9)
4.3.- Correlacin cruzada

Una funcin similar a la convolucin, aunque con implicaciones diferentes es la funcin
correlacin cruzada. Antes de tratarla, veamos, primeramente, qu es la transformada de
f *, si f(t) = F -1 [F()].
Por la definicin de transformada de Fourier,

+ +
i 2 t i ( ( )+ 2 t )
f (t ) = F ( ) e d = F ( ) e d

i ( )
F ( ) = F ( ) e
+
i ( ( )+ 2 t )
f (t ) = F ( ) e d
*
+
i ( ) i 2 ( t )
=

F ( ) e e d
+
i ( ) i 2 t
f (t ) = F ( ) e e d
*
F*()
f*(-t) = F -1
[F*()]. (4.10)
Cul ser, entonces, la F

-1
[G () F*()] ?
si f(t) = F -1
[F()]
y g(t) = F -1
[G()]
Por otra parte, sabemos por la expresin 2-4.1 y por el apartado 4.3 que,

p ( s ) q (t s ) ds
F -1
[Q () P ()] =
+

p (t s ) q ( s ) ds
Entonces, siguiendo la pregunta anterior,
F -1
[G () F*()] = F -1
[G ()] F -1
[F*()]
g(t) f *(-t)
+
= g (s) f ( s t ) ds
*
s = k+t, t = s-k

+
= g (k + t ) f ( k ) dk
*
(4.11)

Cualquiera de estas 2 integrales se denomina CORRELACIN CRUZADA de f con g.

Y se representa por f k g
O lo que es igual:
+ *
F [f(t) k g(t)] = F f ( s ) g ( s + t ) ds

* (4.12)
F [f(t) k g(t)] =F () G()
Tngase en cuenta que f y g pueden ser complejas.
4.4.- Teorema de Parseval 1

Siguiendo la expresin (1-4.1) del apartado anterior,
+ +
i 2 ux
f ( x) g ( x) e dx = G( ) F (u ) d

que se debe cumplir tambin para u = 0 , es decir,
+ +
f ( x) g ( x) dx = G ( ) F ( ) d

Si f(x) es real F(u) es hermtico, o sea, F(- ) = F* ( ).
+ +
f ( x) g ( x) dx = ( ) G( ) d
*
F

que es el Teorema de Parseval.
Y si adems es el caso que f(x) = g(x)
+ +
[ f ( x )]
2 2
dx = F (u ) du

Es decir, como era de esperar, la energa en los dos dominios tiene que ser igual.
1
Tambin se conoce como teorema de Plancherel (1885-1967), ya que lo demostr de forma ms general.
En tal caso, habitualmente se reserva el nombre de Parseval (1755-1836), que lo expuso con anterioridad,
para los casos ms particulares de funciones peridicas.
Para el caso general de funciones complejas en los dos dominios,
+ +
f ( x) g ( x) dx = F (u) G (u ) du
* *
4.5.- Funcin de autocorrelacin

Se llama funcin de autocorrelacin de f(t) a la correlacin cruzada consigo misma. Es
decir f = g, entonces
+ *
Se denomina AUTOCORRELACIN de f.
f ( s ) f ( s + t ) ds Y lo representaremos por f k f

De modo que,
*
F [f(t) k f(t)] =F () F() = |F() |2
que se conoce como (4.13)
Teorema de Wiener-Khinchin
Es decir, la Transformada de Fourier de la Funcin de Autocorrelacin de una

cierta funcin es igual al Espectro de Potencias de la misma.
Tambin se utiliza como funcin de autocorrelacin normalizada la siguiente definicin:

f * ( s ) f ( s + x ) ds
(x) = (4.14)
+

f * ( s ) f ( s ) ds
De modo que, (0) = 1

El ancho equivalente de la autocorrelacin wa (Apart. 3.8) es,
f ( x) k f * ( x)dx
F (0)
2
wa =
=
[ f ( x) k f * ( x) ]
x =0
+
F (u)
2
du

+ +
f ( x)dx f
*
( x)dx
=
+

f ( x)

f * ( x)dx
5.- TRANSFORMADA DISCRETA DE

FOURIER
5.1.- Muestreo de una seal

En la actualidad es muy poco corriente el tratamiento de la informacin en forma
analgica. Una parte fundamental de la experimentacin cientfica es el procesamiento
de los datos, que se hace en forma digital, nica viable utilizando ordenadores. Adems,
una vez transformada la informacin en forma digital, sta se almacena y transfiere
mucho ms eficientemente.
El primer paso en este proceso es muestrear la funcin que alberga la informacin, es

decir, seleccionar algunos valores de la funcin, de los infinitos posible, separados un
intervalo constante de la variable independiente. Por tanto, obtendremos un conjunto
de valores discretos de la funcin.
Llegados a este punto, nos irrumpe una pregunta, cul debera ser el intervalo de
muestreo requerido para que la serie de muestras defina totalmente la funcin original?.
La respuesta ms simple sera que el intervalo de muestreo fuera tan pequeo como
fuera posible. Aun asumiendo la vacuidad de la contestacin, subyace que debe existir
un cierto intervalo crtico para el cual la serie de datos aloje toda la informacin.
Adelantamos que, de existir ese valor, el uso de intervalos menores no proporcionaran
ms informacin que la obtenida con aquel, y, si al contrario, usamos un intervalo de
muestreo mayor, la informacin extrada falseara la funcin verdadera. La eleccin de
un intervalo de muestreo menor que el crtico, implica la necesidad y el consumo de
mayores recursos, tanto en las prestaciones de la instrumentacin para lograrlo como
para el almacenamiento y transmisin.
Cuntas muestras necesitaramos conocer en un periodo de un coseno para que fuera

posible reconocerle como tal? Parece claro que menos de 2 muestras equidistantes en un
periodo nos llevara a confundir la amplitud y el periodo verdadero del coseno.
Estudiemos, de un modo prctico, el comportamiento de varios intervalos de muestreo

aplicados a una funcin simple. En la Fig. 1, se representa, en color rojo, la suma de dos
cosenos de frecuencia de 20 Hz y 40 Hz. Utilizaremos esta funcin para estudiar el
efecto del intervalo de muestreo. En la figura 2 se sealan con lneas verticales las
posiciones correspondientes a las muestras de la funcin con un intervalo de 0.025 s.
Apreciamos que la funcin continua que ajusta a estos valores es un coseno de amplitud
0.75 y frecuencia 20 Hz con una continua de 3.
1+0.75*Cos20
1+1*Cos40
4 (1+1*Cos 40) +(1+ 0.75*Cos20)
3.5
2.5
1.5
0.5
0
0 0.05 0.1 0.15
tiem po (s)
Fig. 1.- Generacin de una funcin simple (en rojo)

para estudiar el efecto del intervalo de muestreo,
como suma de 2 cosenos (en azul y verde).
3+0.75*Cos20
(1+1*Cos 40) +(1+ 0.75*Cos20)
4
3.5
2.5
1.5
0.5
0
0 0.025 0.05 0.075 0.1 0.125 0.15 0.175
tiem po (s)
Fig. 2.- Ajuste (curva en azul) a las muestras de la

funcin (en rojo) con un intervalo de 0.025 s.
Corresponde a un coseno de amplitud 0.75, frecuencia
20 Hz y componente continua de 3.
En la figura 3 encontramos que el mejor ajuste de una funcin continua es tambin un

coseno de 20 Hz pero con una amplitud de 1.75 y componente continua de 2. Nos
percatamos as que slo para intervalos menores que 0.0125 (lneas verticales de la
figura 1) queda definida la funcin original (en rojo).
2+1.75*Cos20
(1+1*Cos 40) +(1+ 0.75*Cos20)
4
3.5
2.5
1.5
0.5
0
0 0.017 0.033 0.05 0.067 0.083 0.1 0.117 0.133 0.15 0.167
tiem po (s)
Fig. 3.- Como en la figura 2 pero con un intervalo de

0.01666 s.
Teorema del muestreo (o de Nyquist-Shannon).- Sea f(t) una funcin de

banda limitada, es decir, cumple que F [f (t)]=F () = 0 para | | > M . Entonces f(t)
est unvocamente determinada (sera totalmente reconstruida) por las muestras de la
funcin f(n ), n = 0, 1, 2, ... siempre que
m > 2 M donde m = 1/ , que se denomina frecuencia de muestreo.
Es decir, el intervalo de muestreo tiene que ser el inverso de 2 veces la frecuencia

mxima M.
A partir de los ejemplos expuestos en este apartado, resaltemos algunos resultados

donde subyacen consecuencias valiosas de aplicacin general. Para simplificar,
consideramos una representacin de los coeficientes an , ya que las funciones utilizadas
son cosenos.
4
Original
an 3.5 30 Hz = 1/ (2*0.01666 s) con 0.01666
con 0.025
3 3
20 Hz = 1/ (2*0.025 s) 40 Hz = 1/ (2*0.0125 s)
2.5
2
2
2
1.75
1.5
1 0.75 1
0.75
0.5
0
0 10 20 30 40 50
Frecuencia (Hz)
Fig. 4.- Representacin de las amplitudes an de las

componentes de la funcin original y de los resultados de
muestrearla con diferentes intervalos. Se indica tambin los
lmites de frecuencia fijados en cada caso por el intervalo de
muestreo.
En la figura 4, apreciamos que, aunque la frecuencia del coseno resultante con los
intervalos de muestreo de 0.01666 s. y 0.025 s. es la misma, la amplitud y la
componente continua son distintas. En ambos casos se detecta una sola componente,
cuando la funcin original est compuesta por dos diferentes. Se seala tambin las
frecuencias (flechas) que corresponden a los lmites impuestos por los intervalos
usados. Aunque este punto se discutir ms profundamente en el siguiente apartado,
advertimos que los valores de las amplitudes detectadas en caso, son la suma de las
amplitudes de la funcin original a cada lado referido a la frecuencia lmite
correspondiente. Por ejemplo, en el caso de 0.025 s, la componente continua es la suma
de la original ms la amplitud en 40 Hz de la original. De igual forma, en el caso de
0.01666 s, la componente continua es igual que la original pero la amplitud en 20 Hz
(1.75) es la suma de la amplitud en 20 Hz y en 40 Hz de la original.
Para un cierto intervalo de muestreo , la frecuencia mxima que puede ser registrada es
1
N = , y se denomina frecuencia de Nyquist.
2
5.2.- Transformada de Fourier discreta (DFT)

Tratemos ahora el caso de la transformada de Fourier de una funcin discreta.
Asumimos en este trmino el concepto de una funcin muestreada equidistantemente.
Llamaremos D [ f (t ), ] a la funcin resultante de muestrear la funcin f(t) con un
intervalo de muestreo . Es decir,
+
D [ f (t ), ] = f (t ) (t n )

F F F
+
1 n
F {D [ f (t ), ]} = F ( )

1
De modo que si F()=F[f(t)], y = entonces,
2 M
F()
F{D[f(t),]}
-1/ 1/
Donde la parte en lnea discontinua se repite desde - hasta + en intervalos de 1/. De

modo que, F{D[f(t),]} es una funcin peridica y continua. Ntese la justificacin del
teorema de muestreo explicado en el apartado 5.1 y, por tanto, el efecto de Aliasing si
1
> .
2 M
El muestreo de una funcin no puede ser de extensin infinita. Es decir, la toma de

datos siempre se producir en un tiempo finito. Llamaremos DN [ f (t ), ] la funcin
discreta en el sentido anterior con N datos. Es decir,
N 1
DN [ f (t ), ] = f (t ) (t n )
n =0
N 1
= f (n ) (t n )
n =0
La transformada de Fourier F{DN[f(t),]} es una funcin discreta de N datos

separados por el intervalo de frecuencia 1/N.
+N /2 m
D [ f (t ), ] e
i 2 n
dm = N
N
N
n= N / 2
que no depende de , luego es una sucesin de N datos segn el orden m,
+N / 2
1 m
f (n ) e
i 2 n
dm = N
N n= N / 2
donde f (n) es la sucesin de N datos segn el orden n. Es decir, la transformada de

Fourier discreta (DFT), se puede obtener numricamente como una sucesin de datos
sin considerar, durante los clculos, la variable independiente. El tiempo consumido por
2
un ordenador para el clculo de una DFT es proporcional a N .
5.3.- Transformada Rpida de Fourier (FFT)

Para mantener la consistencia en la nomenclatura, denominaremos {F(m)}m a la
sucesin de valores que corresponden a la transformada de Fourier numrica de la
sucesin de datos {f(n)}n , que representa a la funcin original f(t). Por tanto,
N 1 mn
1
F (m ) = f (n ) e
i 2
N
N n =0
Supongamos, por simplicidad, que N sea un nmero par. Entonces, podemos escribir,
N2 1 m (2 n )
N
1
m ( 2 n +1)

1 2
F (m ) = f (2n ) + f (2n + 1)
i 2 i 2
N n =0 e N
n =0
e N

Observemos que, {f(2n)}n es la seleccin de los datos que ocupar una posicin par de la
sucesin {f(n)}n y los {f(2n+1)}n , los que ocupan una posicin impar. Entonces,

N
1
N
1

1 1 2 mn m
1 2 mn

F (m ) = ( ) e 2 e N ( )
i 2 i 2 i 2
2 N n =0
f 2 n N + N f 2 n + 1 e 2 N
2 4424443
14 142 444244443
n =0
F p(m ) F i(m )

Es decir,
1 m

F (m) = Fp (m ) + e N Fi (m )
i 2
2
donde Fp(m) es la Transformada de Fourier de la parte de la sucesin {f(n)}n que ocupan
una posicin par (n par, incluyendo n=0). Y Fi(m), lo mismo para los n impar.
Con esta expresin slo obtenemos la mitad de los datos de la transformada completa.
As, si aplicamos esta frmula a los restantes m+N/2 rdenes, tenemos,
N 1 m

F m + = Fp (m ) e N Fi (m )
i 2
2 2
El proceso se puede repetir en cascada. Este concepto es la base del algoritmo Cooley &
Tukey (1965), fundamento de todas las rutinas de clculo de la transformada rpida de
Fourier.
5.4.- Efecto de pxel

Hasta ahora, hemos considerado el muestreo de una funcin como el resultado de
multiplicar por una funcin tren de deltas, espaciadas por un cierto intervalo constante.
Sin embargo, en realidad el proceso es una integracin de la funcin en un entorno de la
posicin de cada delta. Al ancho de ese entorno se le llama pxel (picture element).
Supongamos que la respuesta de cada pxel la podemos representar por una nica
funcin p(x).
f(x)
x
nN (x-n xo)
xo
x
p(x)
x
p
Si llamamos P [f(x),xo,p] a la funcin resultante de muestrear la funcin f(x) con un

intervalo de muestreo xo y tamao de pxel p,
N
P [ f ( x), x 0 , p ] = [ f ( x) p ( x)] ( x nx 0 )
n
Y el efecto en la transformada de Fourier se deduce de la expresin,
N
m
F {P [ f ( x), x0 , p ]} = [F (u ) P (u )] u
m x0
6.- ESTADSTICA con Transformada de

FOURIER. RUIDO
6.1.- Probabilidad y parmetros (introduccin)

Supongamos una funcin g(t) que vara aleatoriamente con el tiempo. Si hacemos una
representacin de la cantidad de veces que la funcin toma cada valor especfico g,
obtenemos otra funcin P(g) que se denomina distribucin de probabilidades. Si
P( g )
hacemos + 100 , lo tendramos en tanto por ciento (%).
P( g )dg

Otros nombres usados son: distribucin de frecuencias estadsticas, ley de

probabilidad, funcin de densidad de probabilidad y funcin de distribucin. La
cantidad P(g)dg es la frecuencia estadstica relativa o probabilidad con la que la
funcin g(t) toma valores entre g y g+dg.
6.2.- Esperanza estadstica

Se define la esperanza estadstica de una funcin f(t), E[f(t)] = <f(t)>, con una
distribucin P(t) de la variable t, a las expresiones,
f (t ) P(t )
< f (t ) >= t
para una distribucin discreta (1)
P(t )
t
< f (t ) >=
f (t ) P(t )dt para una distribucin continua (2)
P(t )dt
6.3.- Funcin caracterstica y momentos
La funcin (h), resultante de hacer la transformada de Fourier de P(g), se denomina

funcin caracterstica1 asociada a la distribucin de probabilidad P(g). Es decir, segn
la definicin (convencin) asumida en este curso (Apart. 3.3),
+
(h ) =
i 2 h g
P( g ) e

dg
Por lo tanto, tambin podemos expresarlo en trminos de una esperanza estadstica,
i 2 h g
(h ) =< e >
Utilizando la exponencial en forma de serie de Taylor,

1 2 1 3 k
e = 1+ + + + ... = < < +
2! 3! k =0 k!
entonces (recordemos que 0!=1),
( i 2 h g ) k
(h ) =< > < g < +
k =0 k!
La esperanza estadstica de una suma de funciones es la suma de las esperanzas de cada

trmino si la variable estadstica es la misma, es decir si la distribucin de probabilidad
es la misma. Por lo tanto, aplicando la definicin de esperanza estadstica,
g
k
( i 2 h ) k
P( g )dg
(h ) = +
k =0 k!
P( g )dg
Se designa momento de orden k de g(t) a la esperanza estadstica de las

correspondientes potencias de la variable estadstica g. Por lo tanto,
1
En el campo de la Estadstica, habitualmente se utiliza la convencin 1=1, y 2=-1 en la definicin de
la Transformada de Fourier (ver Apart. 3.3). Esta eleccin conlleva distintas constantes en algunas
expresiones deducidas de la funcin caracterstica, por ejemplo en los momentos. Para ms detalles ver el
Apndice 6-A, al final del captulo.
g
k
P( g )dg
< gk > =
+

P( g )dg
Es corriente usar el smbolo k <g >. Si g toma valores discretos, toma la expresin,
k
g k
n Pn
<g > = k n =
+
P
n =
n
El momento de orden 1, se denomina media de la distribucin, 1 =<g>.
Esto implica que podemos expresar la funcin caracterstica en funcin de sus

momentos. Esto es,
( i 2 h ) k
(h ) = k
k =0 k!
Ahora bien, siguiendo el Apart. 3.7, como (h) es la transformada de Fourier de P(g),
entonces,
F 1
[ (h)] = i 2
'
g P( g )
aplicando sucesivamente,
F 1
[ (k
]
(h) = (i 2 g ) k P ( g )
[
( k (h) = F (i 2 g ) k P( g ) ]
+
i 2 h g
( k (h) = (i 2 ) k g
k
P( g ) e dg

para h=0,
+
( k (0) = (i 2 ) k g
k
P( g ) dg

y como,
+
(0) = P( g )

dg
los momentos estadsticos se pueden expresar,

k
1 ( k (0)
k < g k > =
i 2 (0)

6.4.- Momentos centrales
Se llama momento central de orden k, mk, de la variable aleatoria g, a la siguiente

esperanza estadstica,
mk =< ( g < g >) k >

luego,
+
(g )
k
P( g )dg
mk =
+
P( g )dg

entonces, m1=0.
El momento central de orden 2, m2, es la varianza 2,
2 m2 =< ( g < g >) 2 >=< g 2 > < g > 2

Es decir,
2 m2 = 2 2
En general, los momentos centrales en forma de serie son,
k
k
mk = (1) k l l k1l si 0=1
l =0 l
Los momentos centrales son, por tanto, los momentos tomados alrededor de la media
(momento de orden 1). Si se toman alrededor de cualquier valor go ser,
mk ( g 0 ) =< ( g g 0 ) k >
A veces es til expresar las derivadas del logaritmo neperiano ln (h) en funcin de los
momentos centrales (la primera derivada es directamente proporcional a la media, ).
Las 7 primeras derivadas son,
[ln (h)] h=0 = (i

(1
2 )
[ln (h)] h=0 = (i

(2
2 ) 2 m2
[ln (h)] h=0 = (i

(3
2 ) 3 m3
[ln (h)] h=0 = (i

(4
[
2 ) 4 m4 3m22 ]
[ln (h)] h=0 = (i 2 ) 5 [m5 10m3 m2 ]
(5
[ln (h)] h=0 = (i

(6
[
2 ) 6 m6 15m4 m2 10m32 + 30m23 ]
[ln (h)] h=0 = (i 2 ) [m ]
(7 7
7 21m5 m2 35m4 m3 + 210m3 m22
De modo que, se puede obtener el ln (h) en funcin de los momentos centrales
sustituyendo las derivadas anteriores en el desarrollo de Taylor alrededor de h=0,
1 1
ln (h) = (i 2 h) [ln (h)] ( i 2 h) 2 [ln (h)] (i 2 h) 3 [ln ( h)]
(1 (2 (3
h =0
+ h=0
+ h=0
+ ...
2 3!
6.5.- Probabilidad condicional e independencia estadstica

Consideremos que en un experimento se produce un suceso A con una probabilidad
P(A) y nos preguntamos por la probabilidad de otro suceso B una vez conocido el
suceso A, es decir la probabilidad condicional de B conocido A, P(BA).
P( A I B) Teorema de Bayes: Si P(A)

P ( B | A) = y P(B) no son cero,
P( A) P ( B | A) P ( A) = P ( A | B ) P ( B )
P(AB) es la probabilidad conjunta de A y B o, denotado de otra forma, P(AB).
Si A y B son estadsticamente independientes
P ( B | A) = P( B)
Por lo tanto,
P ( AB ) = P ( A) P ( B )
6.6.- Distribucin de una suma de variables aleatorias

independientes
Sean 2 funciones g1(t) y g2(t) (variables aleatorias) que toman valores
independientemente con distribuciones P1(g1) y P2(g2). Cul es la distribucin y los
momentos de la variable suma gT =g1+g2?
Anlisis Espectral de Datos 48/48
47 Universidad de La Laguna
Como g1 y g2 toman valores en el mismo dominio, escribiremos P1(g) y P2(g). Segn el

Apart. 6.3, la funcin caracterstica de gT es,
i 2 h gT i 2 h g1 i 2 h g 2
g (h ) =< e >=< e e >
T
Como los valores de g1(t) y g2(t) son independientes1 tambin lo sern las exponenciales
respectivas, entonces,
i 2 h g1 i 2 h g 2
g (h ) =< e >< e >
T
Por lo tanto,
g + g (h ) = g (h ) g (h )
1 2 1 2
Como la funcin caracterstica es la transformada de Fourier de la respectiva

distribucin de probabilidad, la correspondiente a la suma de las variables ser la
convolucin entre las distribuciones de cada variable individual,
Pg + g ( g ) = Pg ( g ) Pg ( g )
1 2 1 2
A partir de esto, podemos obtener fcilmente los primeros momentos ms utilizados.

Cul es la media de la variable suma, g1+g2?
Hemos visto en el apartado anterior 6.4 que, y como g

1+ g2
(h ) = g1 (h ) g2 (h ) ,
(g1 (h) g (h) + g (h) (g1 (h)

g1 + g 2 =
1
(i 2 )
[
ln g + g (h)
1 2
] (1
h =0
=
1
1
(i 2 )
2 1
g ( h) g ( h)
2

1 2 h =0
1 (g1 (0) 1 (g1 (0)

g1+ g 2 = 1 + 2
(i 2 ) g (0) (i 2 ) g (0)
1 2
14442444 3 14442444 3
g1 g2
De forma similar podemos obtener la varianza de la suma de 2 variables independientes.
[ ]
(2
1
g21 + g 2 = ln g1 + g 2 ( h )
(i 2 ) 2 h =0
1
Si dos variables aleatorias z1 y z2 son independientes entonces, (z1-<z1>) y (z2-<z2>) son ortogonales, es
decir, la covarianza entre z1 y z2 es igual a cero (cuidado, no siempre cuando la covarianza es cero implica
que las variables son independientes): <(z1-<z1>)(z2-<z2>)>=0 <z1 z2>=<z1><z2>
Instituto de Astrofsica de Canarias 49/48
48 Jess J. Fuensalida
g21 + g 2 =
1 g1 g1 g1(
( 2 (h) (h) (1 (h) )2
+ 2 2
(
(g2 (h) g (h) (g1 (h)
2
2

)
2
(i 2 ) 2
g ( h) 2
g ( h)
1 2 h =0
( 2 (0) (1 (0) 2 ( 2 (0) (1 (0) 2

1 1 g 1 +
g 1 g2 g2
g21 + g 2 =
(i 2 ) g (0) g (0) (i 2 ) g (0) g (0)
2 2
1 1 2 2
144444 42444444 3 144444 42444444 3
2g 2g
1 2
6.7.- Teorema del lmite central

Si g1, g2, ..., gn son variables aleatorias con distribuciones de probabilidad Pi(g), no
necesariamente idnticas, con medias <g1>, <g2>, ..., <gn> y con varianzas 12, 22, ...,
n2 y si componemos la nueva variable aleatoria,
1 n
gi < gi >
gS =
n i =1 i
cada trmino del sumatorio es una variable de =0 y =1 y, por tanto gS tiene S =0 y

S =1.
Entonces, bajo ciertas condiciones, Condiciones suficientes:

g2
1 S Deben existir 2 nmeros
lim PS ( g ) =
n
e 2
p y q tal que,
n
Es decir, la distribucin PS(g) de la variable gS tiende a i2 > p > 0

una gaussiana cuando el nmero de variables es < gi < gi > > 3
< q

i
suficientemente grande.
Fijmonos que gS es la suma de variables, por lo tanto, su distribucin de probabilidad

ser la convolucin de las distribuciones de cada trmino del sumatorio. Al incrementar
n, la convolucin mutua de las distribuciones se acerca a una gaussiana.

Notas AED 2005 06 Web PDF

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Notas AED 2005 06 Web PDF

Cargado por

Copyright:

Formatos disponibles

Universidad de La Laguna Curso: 2005-06

Una introduccin al anlisis de Fourier experimental

Estas Notas no deben considerarse como la materia nica del

2.- SERIES DE FOURIER 5/48

3.- INTEGRAL DE FOURIER 18/48

4.- CONVOLUCIN Y CORRELACIN 27/48

4.5.- Funcin de autocorrelacin 32/48

5.- TRANSFORMADA DISCRETA DE FOURIER 34/48

6.- ESTADSTICA CON TRANSFORMADA DE

2.- SERIES DE FOURIER

2.1.- Descomposicin de Fourier de una funcin peridica.

Al trmino ao se le denomina componente continua o d.c. (direct current)

Un desarrollo expresado de esta forma se conoce como desarrollo en serie de Fourier.

Las expresiones anteriores pueden tambin escribirse de forma ms general como

donde x puede representar la variable espacio o tiempo.

Este desarrollo en serie converge a f(x) si se cumplen las condiciones de Dirichlet:

2.2.- Representacin en frecuencias.

Es decir, un conjunto de deltas de Dirac equidistantes con un intervalo b.

2.3.- Aplicacin a una onda cuadrada.

Fig. 2.3.1.- Onda cuadrada de amplitud 1 y periodo 2 rad.

ya que en un periodo, la parte positiva es idntica que la negativa. Es decir, la

Por tanto, los primeros valores son

Para los coeficientes bn,

Serie de Fourier de Onda Cuadrada (f=10 Hz)

Serie de Fourier de Onda Cuadrada (f=10 Hz)

Composicin en Frecuencias de Onda

Fig. 2.3.3.- Composicin en frecuencias de un onda cuadrada.

Sin embargo, si tratamos el caso de la misma funcin pero desplazada respecto al Y

Fig.2.3.4.- Onda cuadrada desplazada respecto al eje Y

Siguiendo la fig. 2.3.4,

Para los coeficientes bn,

Por tanto, los primeros valores son

Se puede generalizar de este ejemplo que si la funcin es par, el desarrollo de Fourier

Se dice que 2 funciones, f() y g() son ortogonales si y solo si

Esto quiere decir que f() no contiene componentes de g(), y viceversa.

Son ortogonales cos n y sen m?

sen 2 = 2 sen cos

sen sen 2 d = 2 sen

cos 2 = cos 2 sen 2

cos cos 2 d = cos d 2 sen cos d

sen n y cos m no son ortonormales porque,

(Ver apartado 2.6)

2.5.- Representacin mdulo y fase.

Y del grfico obtenemos,

Con lo que, el desarrollo de Fourier podemos expresarlo,

De forma similar, podemos obtener una expresin respecto a n.

a n cos n b t + bn sen n b t = c n sen n cos n b t + c n cos n sen n b t

De esta forma, el desarrollo de Fourier queda,

Desfase de coseno + seno (f=10 Hz)

Fig. 2.5.1a.- Resultante de una cierta componente con n=n=/4.

Desfase de coseno + seno (f=10 Hz)

Fig. 2.5.1b.- Resultante de una componente con n=/8 y n=3/8.

Para el caso mostrado en 2.5.1a, calculamos,

que se puede comprobar en la grfica.

Para el caso mostrado en 2.5.1b, calculamos,

c n = a n2 + bn2 = 1 + 0.4142 2 = 1.0824

que se puede comprobar en la grfica.

2.6.- Potencia media de una funcin

Si usamos el desarrollo en an y bn,

De desarrollar ii aparecern trminos del tipo:

(I) a n bm cos n b x sen m b x dx

(II) a n a m cos n b x cos m b x dx

(III) bn bm sen n b x sen m b x dx