You are on page 1of 71

Anlisis de seales en

espacio-fase

Una tesis presentada a la


Universidad Autnoma del Estado de Morelos
para obtener el grado de
Licenciado en Ingeniera Mecnica
en la Facultad de Ciencias Qumicas e Ingeniera

Presenta

Alejandro Ricardo Urza Pineda


Asesores:
Dr. Kurt Bernardo Wolf Bogner
Dr. Juvenal Rueda Paz

Alejandro Ricardo Urza Pineda


2013
Universidad Nacional Autnoma de Mxico
Instituto de Ciencias Fsicas
Departamento de Fsica Terica y Computacional
FCQeI, UAEM iii ICF, UNAM
La tesis del C. Alejandro Ricardo Urza Pineda ha sido revisada y aceptada por el
siguiente comit revisor.

Dr. Kurt Bernardo Wolf Bogner

Dr. Juvenal Rueda Paz

Dr. Horacio Martnez Valencia

Dr. Humberto Saint-Martin Posada

Ing. Hctor Domnguez Sotelo

Ciudad Universitaria
Cuernavaca, Morelos, Mayo del 2013
RECONOCIMIENTOS

He de hacer su debido reconocimiento de las siguientes personas y entidades, que


influyeron gran medida a la buena realizacin de este trabajo.

A mi familia, que en mi madre y padre siempre he encontrado el apoyo necesario


para seguir mis sueos y anhelos. A mis hermanos por ser de gran ayuda emocional
con sus locuras y ocurrencias en los momentos difciles
A todo el equipo de amigos y asesores que conform durante la realizacin de ste
trabajo. Dr. Kurt Bernardo Wolf, en cuya persona he encontrado un invaluable
gua de pensamientos e inquietudes y cuya gran enseanza en el tema y ancdotas
propias del mismo se ve reflejada aqu. Dr. Juvenal Rueda Paz, que aunque
de ltimo momento se requiri su apoyo, lo ofreci de manera generosa. Qum.
Guillermo Krzstch Gmez, por el gran inters y apoyo que da con da mostr
sobre la realizacin de ste trabajo; y por compartir da con da el lugar de trabajo
conmigo. Fs. Jared Figueroa Cervantes, que desde el punto de vista de un
colega estudiante mostr gran empata y apoyo, sacndome de dudas en uno que
otro embrollo. Consejo de Ciencia y Tecnologa, CONACyT, que a travs del
proyecto ptica Matemtica fue de ayuda econmica en la realizacin del presente.
Instituto de Ciencias Fsicas, por haber sido un lugar ameno y propicio para el
estudio y la buena realizacin de este trabajo.
A los profesores y compaeros del Instituto de Ciencias Fsicas y del Instituto
de Matemticas (Unidad Cuernavaca), cuyas discusiones y aportaciones acerca del
tema de ste trabajo terminaran en una buena obra.
Y quisiera agradecer y reconocer a mis compaeros de la carrera de Ingeniera
Mecnica de la FCQeI: Uzziel Caldio, Carolina Ros, Eduardo Rosel, Roberto Es-
trada, Luis Mixquititla, Sergio Ros, Isaac Lira, Ral Soto, Fernando Rodrguez y
ms, que me deben perdonar por no mencionarlos. Por siempre darme el empujn a
sus muy peculiares maneras de seguir mi sueo de una carrera de investigacin que
comienzo a trazar.

Gracias!
FCQeI, UAEM vi ICF, UNAM

EN ESTA TESIS

Se recapitula la teora de transformadas de Fourier

Se aprendi y recapitul la teora de grupos de Heisenberg-Weyl

Se aprendi y defini la funcin de Wigner obtenida de la teora de grupos de


Heisenberg-Weyl

Se busc y se defini una forma de medir negatividades de la funcin de Wigner

Se aprendi cmo utilizar la funcin de Wigner para analizar distribuciones y


seales abstractas y reales

Se realiz un anlisis de vibraciones en mquinas utilizando la versin discreta


de la funcin de Wigner

Se obtuvieron resultados del anlisis anterior y se resaltan las ventajas en


comparacin con slo en anlisis de Fourier estndar

Se propone una posible lnea de investigacin futura basada en los resultados


obtenidos del anlisis de vibraciones
RESMEN

El siguiente trabajo presenta la teora de distribuciones en espacio-fase de la


cual la funcin de Wigner goza un lugar especial en la representacin de sistemas
cunticos y anlogos clsicos; por sto que sea considerada una representacin de
la fenomenologa cuntica a la par de la representacin de Schrdinger; y ms an,
como se mostrar a travs del texto, es una poderosa herramienta de anlisis en
sistemas reales.
El primer captulo presenta la teora clsica de Fourier, la cual sirve como puen-
te de transicin entre dos representaciones equivalentes de un sistema fsico. Se
presentan las transformadas cannical lineales como la familia de transformaciones
donde pertenecen los pares de transformacin de Fourier. Se muestra que cada par
de transformacin (en especfico para la transforada de Fourier clsica, la transfor-
mada fracciona y la transformada cannica lineal) existe una relacin que acota la
incertidumbre de definicin entre ellas.
El segundo captulo introduce el grupo de Heisenberg-Weyl, del cual se obtienen
los elementos algebrcos con los que se construye intrincadamente la funcin de Wig-
ner a travs de operaciones definidas sobre el grupo, actuando stas sobre matrices
elegidas como generadores de los elementos. Se introduce el anillo del grupo y la
derivacin del operador de Wigner sobre el grupo de Heisenberg-Weyl.
El tercer captulo detalla la obtencin de la funcin de Wigner como un valor
de expectacin del operador de Wigner. Se introduce la funcin de Wigner expl-
cita para seales abstractas y su derivacin para el tratamiento de seales reales y
distribuciones de densidad.
El cuarto captulo muestra algunas de las propiedades de la funcin de Wigner.
El quinto captulo se desarrolla el anlisis de seales provenientes del experimento
de la triple rendija, el cual arroja indicios de un alto ndice de enredamiento. Se
realiza el anlisis en espacio-fase del oscilador armnico, sus estados coherentes, y la
superposicin de dos de stos. Por ltimo, se muestra cmo de la superposicin de
estados coherentes del oscilador armnico se obtiene un enredamiento a travs de sus
patrones de interferencia, llamada la sonrisa del gato, se minimiza esta interferencia
al aplicar un mtodo de ventaneo por medio de funciones gaussianas.
El sexto captulo presenta a la sonrisa del gato como una forma de obtener
informacin hologrfica de la funcn original, sto con el fin de mostrar que es
posible realizar una reconstruccin de una senal a partir de la informacin contenida
trmino oscilante de la funcin de Wigner
FCQeI, UAEM ix ICF, UNAM

NDICE GENERAL

1. La transformada de Fourier y la relacin de incertidumbre 1


1.1. Transformadas de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.1.1. Transformada discreta de Fourier (TDF) . . . . . . . . . . . . . 2
1.1.2. Transformada integral de Fourier (TIF) . . . . . . . . . . . . . . 2
1.1.3. Transformacin fraccional de Fourier (TFrF) . . . . . . . . . . . 3
1.2. Transformadas cannicas lineales (TCLs) . . . . . . . . . . . . . . . . . 6
1.2.1. Operadores, transformada integral y kernel . . . . . . . . . . . . 6
1.3. Relacin de Incertidumbre . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.3.1. Notacin bra-ket y formulacin general de la relacin de in-
certidumbre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.3.2. Relaciones de incertidumbre en transformadas . . . . . . . . . . 8

2. Grupo de Heisenberg-Weyl 10
2.1. lgebra, grupo de Lie y mapeo exponencial . . . . . . . . . . . . . . . . 10
2.1.1. lgebra de Lie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
2.1.2. Mapeo exponencial y grupos de Lie . . . . . . . . . . . . . . . . 11
2.2. Grupo de Heisenberg-Weyl (gHW) . . . . . . . . . . . . . . . . . . . . . 11
2.2.1. Representacin del grupo en matrices . . . . . . . . . . . . . . . 11
2.2.2. Del lgebra al grupo . . . . . . . . . . . . . . . . . . . . . . . . . 12
2.2.3. Anillo del gHW . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.3. Operador de Wigner sobre gHW . . . . . . . . . . . . . . . . . . . . . . . 13

3. Representacin en espacio fase: funcin de Wigner 15


3.1. Justificacin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
3.2. Funcin de Wigner . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16

4. Propiedades de la funcin de Wigner y estados enredados 19


4.1. Propiedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
4.1.1. La funcin de Wigner es real . . . . . . . . . . . . . . . . . . . . 19
4.1.2. La funcin de Wigner est acotada . . . . . . . . . . . . . . . . . 20
4.1.3. La funcin de Wigner es mayormente positiva . . . . . . . . . . 20
4.1.4. La funcin de Wigner es covariante bajo transformaciones ca-
nnicas lineales . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
FCQeI, UAEM x ICF, UNAM
4.2. Negatividad de la funcin de Wigner e indicador de enredamiento en
seales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22

5. Anlisis de seales 23
5.1. Experimento de la tripe rendija . . . . . . . . . . . . . . . . . . . . . . . 23
5.2. Distribuciones de densidad: Oscilador armnico, estados coherentes y
su superposicin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
5.2.1. Soluciones de oscilador armnico . . . . . . . . . . . . . . . . . . 28
5.3. Estados coherentes del oscilador . . . . . . . . . . . . . . . . . . . . . . . 31
5.4. Superposicin de estados coherentes . . . . . . . . . . . . . . . . . . . . 33
5.5. La sonrisa del gato y su atenuacin con una ventana gaussiana . . . . 36

6. Uso de la sonrisa para holografa 40


6.1. Funcin de Wigner . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
6.2. Estados gato . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
6.3. Reconstruccin hologrfica . . . . . . . . . . . . . . . . . . . . . . . . . . 41

7. Aplicacin: Anlisis de seales de vibracin en mquinas reales 43


7.1. Mquina de rotacin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
7.2. Equipo para captura de datos . . . . . . . . . . . . . . . . . . . . . . . . 44
7.3. Anlisis del plano-fase resultante bajo funcin de Wigner . . . . . . . . 45
7.3.1. Mtodo y algoritmo de anlisis: Distribucin-pseudo Wigner-
Ville . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
7.3.2. Anlisis y resultados . . . . . . . . . . . . . . . . . . . . . . . . . 47

8. Conclusiones 50

Apndices 53

A. Derivacin alternativa de la funcin de Wigner 53

B. La funcin de Wigner es real 55

C. Funcin de Wigner del oscilador armnico 56


FCQeI, UAEM xi ICF, UNAM

NDICE DE FIGURAS

1.1. Plano clsico de variables conjugadas . . . . . . . . . . . . . . . . . . . . 4


1.2. Transformacin fraccional de Fourier para una funcin rectngulo . . 5

4.1. Soportes espaciales de la Funcin de Wigner . . . . . . . . . . . . . . . 21

5.1. Funcines rectngulo en el experimento de las rendijas . . . . . . . . . 24


5.2. Planos-fase de la funcin de Wigner para 1,2 y 3 rendijas . . . . . . . . 25
5.3. Espacios-fase de la funcin de Wigner para 1,2 y 3 rendijas . . . . . . 26
5.4. Plano fase y representacin en tres dimensiones de la funcin de Wig-
ner en el experimento de tres rendijas . . . . . . . . . . . . . . . . . . . 27
5.5. Funciones de onda del oscilador armnico . . . . . . . . . . . . . . . . . 30
5.6. Funciones de Wigner del oscilador armnico . . . . . . . . . . . . . . . . 30
5.7. Magnitudes de la negatividad en la funcin de Wigner del oscilador
armnico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
5.8. Estados coherentes y sus respectivas funciones de Wigner . . . . . . . 32
5.9. Estados coherentes en superposicin . . . . . . . . . . . . . . . . . . . . 35
5.10. Magnitudes del parmetro de negatividad en la funcin de Wigner
para la superposicin de estados coherentes . . . . . . . . . . . . . . . . 35
5.11. Perfiles de oscilacin del trmino de interferencia . . . . . . . . . . . . . 36
5.12. Planos fase de la funcin de Wigner atenuada . . . . . . . . . . . . . . . 38
5.13. Magnitudes del perfil de la funcin de Wigner atenuada . . . . . . . . 38

6.1. Curvas de nivel de la funcin de Wigner de un estado gato compuesto 41

7.1. Esquema del arreglo experimental . . . . . . . . . . . . . . . . . . . . . . 44


7.2. Grficas de los datos del movimiento vibracional vertical y de sus
planos fase de la mquina en sus tres regmenes . . . . . . . . . . . . . 48
CAPTULO 1

LA TRANSFORMADA DE FOURIER Y
LA RELACIN DE INCERTIDUMBRE

En ste primer captulo se introducen las transformadas de Fourier discreta,


integral, fraccional y su generalizacin en las transformadas cannicas lineales, as
como la relacin de incertidumbre entre pares de transformadas de funciones.

Dentro de las herramientas matemticas ms usadas en la fsica e ingeniera se


encuentran las transformadas lineales, una en especial es la transformada de Fourier
que convierte una funcin de una variable en otra funcin cuya variable es la can-
nica conjugada de la primera. Esta transformada es usada en el anlisis de sistemas
lineales, estudios de antenas, ptica, modelado de procesos aleatorios, teora de pro-
babilidad, mecnica cuntica y problemas de valor en la frontera [1], y ultimamente
ha sido usada en la restauracin de datos astronmicos [2].

Una propiedad importante de los pares de transformadas sucede cuando una es-
trecha forma de onda da lugar a un amplio espectro de frecuencias y una amplia
forma de onda da lugar a un estrecho espectro de frecuencias, donde ambos anchos de
banda no pueden ser arbitrariamente pequeos simultneamente. ste es un resul-
tado puramente matemtico llamado teorema del producto espacio-ancho de banda;
que, aplicado a la mecnica cuntica, se torna en el principio de incertidumbre de
Heisenberg. Este teorema dicta que: el producto del ancho de los mdulos cuadrados
(definidos como las desviaciones estndar de las funciones) siempre tiene una cota
mnima. Ejemplo de esto es que en las piezas musicales, un tono puro no puede ser
arbitrariamente corto y an as tener una frecuencia bien definida. Muchos autores
dan por hecho que la transformada de Fourier no es nicamente un trmino mate-
mtico, sino que son un conjunto completo de proposiciones acerca de un fenmeno
fsico. Las transformadas de Fourier en esencia descomponen o separan una forma de
onda o funcin en funciones caractersticas (senos, cosenos o exponencial complejo)
de diferente frecuencia de cuya suma (o integracin) se obtiene la forma de onda
original.
FCQeI, UAEM 2 ICF, UNAM
1.1. Transformadas de Fourier
Ahora se resumir la teora de las transformadas de Fourier que contempla las
siguientes tres transformaciones, las cuales sern aplicadas posteriormente a la defi-
nicin de la funcin de Wigner para el anlisis de seales.

1.1.1. Transformada discreta de Fourier (TDF)


Cuando se requiere calcular el espectro de una forma de onda en un ordenador
(PC), no es posible hacerlo a travs de un clculo en coordenadas continuas (en
efecto, una integral en la transformada de Fourier) debido a la naturaleza discreta
de la construccin del ordenador, as como al lenguaje de clculo inherente a su
sistema; para esto, existe una transformada de Fourier relacionada a la solucin de
ste y otros problemas, la llamada transformada discreta de Fourier o TDF.
La TDF es una transformacin lineal y unitaria definida en un espacio vectorial
V N por la matriz F = Fmn con elementos
Fmn = N 1/2 exp(2inm/N ) = Fnm = FN n,N m = FN n,m , (1.1)
donde, N es la dimensin del espacio o dimensin de la secuencia discreta de nmeros
y m, n Z mod N son los ndices de los elementos de matriz.
Se verifica que (1.1) es una transformacin unitaria m,n , ya que
(F F)mn = Fmk

Fnk = N 1 exp[2ik(n m)/N ] = m,n ,
k k

donde
Fmk es la compleja conjugada de Fmk , lo que resulta en (F1 = F ).
Entonces las coordenadas de un vector f en dos bases vectoriales de V N relacio-
nadas por la transformacin de Fourier como se muestra en [4], son de la forma
f = Ff = fm = N 1/2 fn exp(2imn/N ), (1.2)
n

f = F1 f = fn = N 1/2 fm exp(2imn/N ). (1.3)


m

1.1.2. Transformada integral de Fourier (TIF)


Teniendo V N con N finita en la TDF, se deja que N crezca sin restriccin y se
observa el comportamiento de la transformacin en el lmite N .
Para la derivacin de la forma integral se toman espacios vectoriales de dimensin
(2N + 1),1 nuevos sistemas de ndices e intervalos en las variables de coordenadas
discretas, definiendo funciones paso f(N ) (q), f(N ) (p), asumiendo que en tanto N
, las funciones paso convergen a una funcin Riemann-integrable en el intervalo
de integracin. Como se muestra en [4], se obtiene el par de transformacin:

f(p) = (2)1/2 dq f (q) exp(iqp),



(1.4)

f (q) = (2)1/2 dp f(p) exp(iqp),



(1.5)

donde f(p) es la transformada integral (o continua) de Fourier (TIF) de f (q) en


(1.4) y f (q) es la transformada integral inversa de f(p) en (1.5).
1
Se toma N (2N + 1) para tener un intervalo simtrico de aplicacin; m, n {N, N +
1, ..., 0, ..., N 1, N }.
FCQeI, UAEM 3 ICF, UNAM
Operaciones y propiedades
La TIF tiene un conjunto de operaciones y propiedades que igualmente son apli-
cables a la forma discreta, integral o fraccional como se ver posteriormente. Entre
las propiedades y operaciones ms importantes se encuentran: Combinacin lineal,
traslacin, multiplicacin, convolucin y diferenciacin.
En el cuadro (1.1) se muestra la definicin de estas y otras propiedades de la
transformada de Fourier.

Operacin / Propiedad f (q) f(p)


Combinacin lineal f (q) + g(q), , R f(p) + g(p), , R
f (q + r) exp(irp)f(p)
Traslacin
exp(isq)f (q) f(p + s)
Multiplicacin f (q) g(q) (2) (f g)(p)
1/2

Convolucin (f g)(q) (2)1/2 f(p) g(p)


dn f (q)/dq n (ip)n f(p)
Diferenciacin
(iq)n f (q) dn f(p)/dpn
Dilatacin f (aq) a1 f(p/a)
Conjugacin compleja f (q) f(p)
Inversin f (q) f(p)

Cuadro 1.1: Propiedades y operaciones de la transformacin de Fourier

1.1.3. Transformacin fraccional de Fourier (TFrF)


La transformacin fraccional de Fourier pertenece a la clase de las representa-
ciones en tiempo-frecuencia ms utilizadas, en todas estas representaciones normal-
mente se usa un plano con dos ejes ortogonales para representar el par de variables
conjugadas (q, q ), como se ve en la Fig. (1.1).
Si se representa a la funcin f (q) sobre el eje q y a su transformacin f(q) sobre el
eje q , se puede ver a la TIF como una rotacin de de los ejes en sentido contrario a
las manecillas del reloj por un ngulo de /2 rad.
Entonces, la transformacin fraccional de Fourier (TFrF) es

(F f )(q)] = f (q ) = dq f (q)F (q, q ),



(1.6)

donde F (q, p) es el kernel de la transformacin dependiente del parmetro en un


intervalo [0, 2) definido por [9, 10]

exp(i{ 12 cot()(q 2 + q 2 ) csc()qq }), n


ei/4 ei/2


2 sin()
F (q, p) = (q q ),
= 2n (1.7)



(q + q ),
= (2n + 1).

La TFrF ha sido ampliamente estudiada [5, 8, 9] sabindose ahora que la TFrF


de una funcin f (q) existe bajo las misma condiciones para las cuales la TIF de
f (q) existe. El kernel de la transformacin fraccional cumple con las siguientes pro-
piedades:
FCQeI, UAEM 5 ICF, UNAM

Figura 1.2: Aproximaciones sucesivas de la transformacin fraccional para una fun-


cin rectngulo con = 0.01, 0.05, 0.2, 0.7, 1.3, /2. Lnea roja: parte real, lnea azul:
parte imaginaria.
FCQeI, UAEM 6 ICF, UNAM
f (q) f (q), cuando 0 y f (q) f(q) cuando /2.

La TFrF cumple a su vez con las propiedades de la TIF presentadas en el cuadro


(1.1) y otras especficas [8, 9]. As como tambin la bien conocida identidad de
Parseval para la TIF puede ser extendida a la TFrF

dq f (q) g(q) = dp f (q ) g (q ).


(1.8)

De la cual se puede deducir la propiedad de conservacin de norma, si f (q) = g(q),


entonces f (q ) = f (q ) y se tiene que

dq f (q) = dp f (q ) .

2 2
(1.9)

1.2. Transformadas cannicas lineales (TCLs)


Las TCLs son una clase de transformadas integrales de tres parmetros las
cuales incluyen a las transformadas de Fourier anteriormente vistas. Las TCLs son
construidas partiendo de la solucin de un problema de operadores encontrado en
la teora de las transformadas integrales. A continuacin se resume el planteamiento
del problema y su solucin, para una revisin ms extensa vase [4].

1.2.1. Operadores, transformada integral y kernel


Sean Q y P dos operadores definidos por su accin sobre funciones diferenciables
como
(Qf )q = qf (q), (1.10)
df (q)
(Pf )q = i , (1.11)
dq
esto es, el operador Q multiplica a la funcin por la variable de la que depende, y
el operador P deriva la funcin y la multiplica por -i.
El problema consiste en obtener las combinaciones lineales de los operadores Q
y P bajo la accin de un operador C cualquiera,

Q = CQC1 = dQ bP, (1.12)

P = CPC1 = cQ aP, (1.13)


donde a, b, c, d son constantes reales. El conmutador de (1.12) y (1.13) resulta en

[Q , P ] = C[Q, P]C1 = i

con como matriz unitaria. Entonces los cuatro parmetros a, b, c, d se relacionan


de la forma
ad bc = 1.
Se puede caracterizar el operador de transformacin CM por la matriz unimodu-
lar
M = ( ),
a b
(1.14)
c d
FCQeI, UAEM 7 ICF, UNAM
el cual sirve para la realizacin del operador linear como una transformada integral
con un kernel de la forma CM (q , q). Esta realizacin en concreto es

f M (q ) = (CM f )(q ) = dq f (q) CM (q, q ), (1.15)


R

donde la linealidad se satisface de forma inmediata debido a la forma integral. La


determinacin de la forma del kernel CM (q , q) se realiza por su accin sobre un
apropiado espacio de funciones, la derivacin completa se encuentra en [4], pg. 383,
donde se obtiene que
CM = (2b)1/2 exp(i/4) exp[i(aq 2 2q q + dq 2 )/2b] (1.16)
con el cual se puede mostrar que si

M=( ),
0 1
1 0
se obtiene la forma de la TIF multiplicada por un factor fase: exp(i/4), y si

M=( ),
cos() sin()
sin() cos()

se obtiene la forma de la TFrF multiplicada por un factor fase (ei/4 ei/2 ).


Las TCLs cuentan asimismo con las propiedades de inversin, composicin de
transformaciones (la cual corresponde a una multiplicacin de matrices de kernel de
las respectivas transformaciones) y la conocida identidad de Parseval, de la cual se
desprende nuevamente la propiedad de conservacin de norma.

1.3. Relacin de Incertidumbre


Dentro del marco del anlisis seales, las relaciones de incertidumbre estn acota-
das sobre las concentraciones o dispersiones de la energa de la seal en dos dominios
(variables). En su forma ms general, las relaciones de incertidumbre se establece
entre aquellos operadores Hermitianos A y B que no conmutan, sino que
[A, B] = iC,
con C otro operador lineal. La parte central de la relacin de incertidumbre es el
conjunto de propiedades estadsticas (media A , media cuadrada m2A y varianza A2 )
de un operador A definidas como los promedios ponderados, normalizados por el
cuadrado de la norma de la funcin (o seal) a tratar, estos se definen como

[ dq f (q) A f (q)]
A = (1.17)
f 2
,

[ dq f (q) A2 f (q)]
m2A = (1.18)
f 2
,

[ dq f (q) (A A )2 f (q)] [ dq f (q) (A2 2A A + A2 )2 f (q)]


A2 = =
f 2 f 2
[ dq f (q) A f (q)]
= m2A A (2 A ) = m2A A2 .

(1.19)
f 2
FCQeI, UAEM 8 ICF, UNAM
1.3.1. Notacin bra-ket y formulacin general de la relacin
de incertidumbre
Existe una forma notacional ms sencilla de representar las propiedades estads-
ticas de una funcin, esta forma viene dada por la notacin introducida por P.A.M.
Dirac [14].. En esta notacin, las propiedad estadsticas de la relacin de incerti-
dumbre, se representan de la forma
A = A, (1.20)
m2A = A2 , (1.21)
A2 = A2 , (1.22)
con A = A A.
Si la media de la funcin entre dos operadores A, B se anula, esto es A =
B = 0, entonces se prueba que para todo operador hermitiano autoadjunto el
producto de sus varianzas es

A B = A2 B2

= AABB
AB Cauchy-Schwarz
= AB

(AB AB )
1
2i
= C
1
2i
= C
1
(1.23)
2
lo cual establece que la cota mnima en la cual existen las dispersiones es 21 del
conmutador C.

1.3.2. Relaciones de incertidumbre en transformadas


TIF
Considerando los operadores Q, P cuyo conmutador resultante es i, se tiene que
imathbbm1 = C, y la multiplicacin de dispersiones respectiva resulta en
1
f f , (1.24)
2
donde f representa la dispersin de la funcin original f (q) y f representa la
dispersin de su TIF.

TFrF
En la TFrF los operadores Q, P toman una forma ms general la cual refleja la
dependencia del parmetro presente en el kernel de la TFrF, y como se puede
observar en [15], la multiplicacin de las dispersiones en la TFrF es
sin[(q q)/2]
f f , (1.25)
4
con q y q variables conjugadas de la TFrF.
FCQeI, UAEM 9 ICF, UNAM
TCL
La multiplicacin de las dispersiones de una funcin f (q) y su TCL, satisface la
relacin
b
f f M , (1.26)
4
donde b es el parmetro (1-2) de la matriz unimodular (1.14).
CAPTULO 2
GRUPO DE HEISENBERG-WEYL

A continuacin se presenta una revisin de la teora matemtica en la cual est


basada la realizacin de la funcin de Wigner. Se introduce el lgebra de Heisenberg-
Weyl como la base generadora con la cual se obtendrn los elementos del grupo de
Heisenberg-Weyl bajo la accin de cuantizacin de Weyl [16].

2.1. lgebra, grupo de Lie y mapeo exponencial


2.1.1. lgebra de Lie
Un lgebra de Lie, A, consta de una base de generadores {Xi }N
i=0 el cual forma
un espacio vectorial de dimensin N, cuyos elementos son combinaciones lineales

v ) = v1 X 1 + v2 X 2 + + vN X N ,
A( v = {vi }N
i=1 R .
N
(2.1)

Dos bases diferentes de estos generadores cumplen con los parntesis de Lie,
[, ] A A A, los cuales resultan explcitamente en un nuevo generador

[Xi , Xj ] = i cki,j Xk A,
N
(2.2)
k=1

donde cki,j = ckj,i son constantes de estructura reales que caracterizan el lgebra.
Los elementos del lgebra de Lie que nos interesan pueden ser realizados mediante
operadores diferenciales o matrices, los primeros actuando en espacios de funciones
de variables continuas, y los segundos en componentes discretos de vectores columna,
los cuales pueden ser finitos o infinitos.

Representacin del lgebra en matrices


Un elemento genrico del lgebra de Lie puede ser representado por una matriz
de tamao N N , esto basado en el hecho de que un generador del lgebra elegido
como el Hamiltoniano H de un sistema, con una base de Kronecker (m,n ) apropiada,
puede ser representado por una matriz hermitiana H = Hm,n con elementos

Hm,n = (m , H n )N = Hn,m

, m, n N R, (2.3)
FCQeI, UAEM 11 ICF, UNAM
entonces asumiendo que la base de generadores {Xi }N
i=1 del lgebra de Lie A contiene
al espacio vectorial VN , con N R su dominio comn de accin; y, como en (2.3),
los elementos de A son

v ) = Am,n (
A( v ), m, n R. (2.4)

Am,n (
v ) = (m , A(
v ) n )N = vi (Xi )m,n ,
N
(2.5)
i=1

con mN m
m = 1 como matriz unitaria; la correspondencia entre el conmutador
de Lie [A, B] de los operadores respectivos y el conmutador de matrices [A, B] se
cumple; por tanto, las matrices representan satisfactoriamente el lgebra.

2.1.2. Mapeo exponencial y grupos de Lie


Sea X una matriz de N N entradas reales o complejas. El exponencial de X,
denotado por eX exp(X), es la matriz de N N entradas dada por la serie de
potencias

1
eX = exp(X) = Xk . (2.6)
k=0 k!

Si se considera un lgebra de Lie de dimensin N = N , los elementos genricos


del lgebra de la forma (2.1) pertenecen al espacio vectorial N -dimensional VN . Estos
elementos generan el grupo de Lie, G, N -dimensional bajo el mapeo exponencial
X eX , con elementos
v ) = exp (i vi Xi ) G,
N
g( (2.7)
i=1

donde v C(G) RN , esto es, v pertenece a la traza Cartesiana en RN , que cubre


una vez la conexin entre los elementos del lgebra y el grupo, a su vez, los elementos
v constituyen la parametrizacin polar del grupo. Esta parametrizacin admite dos
propiedades caractersticas,

v )g(
g( v ) = g(( + )
v ), v ) = g(
g( v ) , , , R, (2.8)

y la identidad del grupo dada por g(0) = g0 .

2.2. Grupo de Heisenberg-Weyl (gHW)


2.2.1. Representacin del grupo en matrices
Exponenciar una matriz que representa al lgebra en (2.4, 2.5) significa que los
v ) G obtenidos van a actuar sobre el vector N -dimensional del espacio
elementos g(
de estados VN , esto es
E(g) = exp(iA) = Em,n (g), (2.9)
Em,n (g) = (m , g n )N = (m , exp(iA) n )N , (2.10)
cuya accin explcitamente es

(g(
v f ))m = Em,n (g(
v ))fn , Em,n (g(
v )) G
N
g f = E(g)f , (2.11)
n=1
FCQeI, UAEM 12 ICF, UNAM
La multiplicacin de elementos g1 g2 se da por el producto de las matrices que
representan los elementos, la unidad se obtiene por la matriz del elemento g0 , el
inverso del elemento de la matriz es igual al inverso de la matriz misma, la asocia-
tividad por tanto se mantiene. Por ltimo, si el lgebra A es auto-adjunta, significa
que su mapeo exponencial es unitario y bajo el producto punto de dos vectores en
VN con la matriz E(g) se obtiene

(f1 , E(g)f2 )N = (E(g) f1 , f2 )N = (E(g 1 )f1 , f2 )N (2.12)


= (E(g(1 ) v ))f1 , E(g( v))f2 )N , (2.13)
Em,n (g(v )) = Em,n (g(
v ) ) = En,m (g(
1
v )) ,

2.2.2. Del lgebra al grupo


El lgebra de Heisenberg-Weyl (aHW) est dada por tres generadores Q, P, H,
cuyos parntesis de Lie1 son

[Q, P] = iH, [H, Q] = 0, [H, P] = 0. (2.14)

Para representar el aHW se hace el uso de matrices de 3 3 con generadores de


la forma2

0 1 1 0 1 1 0 0 0
Q = 1 0 0 , P = i 1 0 0 , H = 0 2 2 , (2.15)
1 0 0 1 0 0 0 2 2

Se pueden obtener elementos de esta lgebra haciendo combinaciones de sus


generadores en forma w(s, t, u) = sQ + tP + uH, con Q, P, H aHW y s, t, u R, por
tanto w(s, t, u) aHW. En representacin matricial esto es

0 s + it s + it
w(s, t, u) = sQ + tP + uH = s it 2u 2u . (2.16)
it s 2u 2u

Realizando la exponenciacin de la forma matricial de w (2.16) se obtiene la


forma del elemento dentro del grupo de Heisenberg-Weyl (gHW)

W(s, t, u) = exp(iw(s, t, u))


1
= 1 iw w2 + , (2.17)
2
se verifica que esta representacin no necesita trminos de orden superior ya que es
nilpotente, en efecto, wn = 0 con n 3. Explicitamente (2.17) es un elemento en
forma matricial

1 t is t is
W(s, t, u) = is t 1 2iu 12 (s2 + t2 ) 2iu 12 (s2 + t2 ) , (2.18)
is + t 2iu + 12 (s2 + t2 ) 1 + 2iu + 21 (s2 + t2 )
1
En efecto, los conmutadores de los operadores o generadores.
2
La forma de las matrices depende de los elementos de grupo que se deseen obtener al expo-
nenciar los elementos que representan el lgebra.
FCQeI, UAEM 13 ICF, UNAM
(2.18) es llamada parametrizacin polar del grupo. Si dos elementos de gHW se
operan en forma de composicin, se obtiene la regla con la cual se rige la operacin
en el grupo de la forma

W(s, t, u)W(s , t , u ) = W (s + s , t + t , u + u + 12 [ts st ]) . (2.19)

Estos nuevos elementos pueden ser llamados y representarse en la forma

(s, t, u) = exp[i(sQ + tP + uH)]


= exp[isQ] exp[itP ] exp [i (u + 21 st) H]
= exp[itP ] exp[isQ] exp [i (u 12 st) H] R3 . (2.20)

2.2.3. Anillo del gHW


Espacio de funciones sobre gHW
Un espacio de funciones diferenciable y cuadrticamente integrable en L2 (G)
parametrizado por la traza cartesiana C(G), cuyas medida invariante de Haar 3 se
caracteriza por el producto interno de dos funciones

(f1 , f2 )G = dg f1 (g) f2 (g) v )dN vf1 (


( v ) f2 (
v ), (2.21)
gG vC(G)

donde (v ) es una funcin de peso sobre el grupo que caracteriza la invarianza de


la medida de integracin.

Anillo del grupo


En un grupo G existe una estructura llamada anillo, que se caracteriza por ser
un espacio vectorial G con una base generadora dada por los elementos g G. Si
G es un grupo de Lie N -dimensional, el anillo determina un espacio de dimensin
infinita el cual contiene operadores integrales sobre los elementos del grupo G, cuya
funcin caracterstica sobre el grupo es

F= v )f (g(
dHaar g( v ))g(
v ) G, (2.22)
vC(G)

que acta sobre cualquier espacio VN de representaciones en los que elementos de G


actan. En particular, si VN es finito, la ec. (2.22) puede ser representada por una
matriz de N N entradas.

2.3. Operador de Wigner sobre gHW


Definiendo el operador del cual se obtendr la funcin de Wigner, se consideran
los elementos g G tratados en parametrizacin polar v C(G) con {X}N i=0 de la
3
Una medida invariante de Haar es una forma de asignar un volumen invariante sobre el espacio
de integracin de las funciones del grupo, en el cual el dominio de integracin es todo el grupo
que se caracteriza por ser invariante bajo traslaciones derechas e izquierdas, entonces la medida
v )dN v G.
v ) = (
invariante Haar permite la invarianza del elemento diferencial dg(
FCQeI, UAEM 14 ICF, UNAM
base generadora del lgebra de Lie como

v ) E( = exp (i vi Xi ) G,
N
g( v , X) (2.23)
i=1

donde E( E(g, X)
v , X) se caracteriza por ser una funcin operador-valuada sobre
el grupo. Pero, ya que los generadores Xi no conmutan, es decir Xi Xj Xj Xi , el
operador E debe evaluarse de forma ordenada; en cambio, si se introducen cantidades
conmutables {i }Ni=0 , R, se puede obtener la misma funcin (2.23) como

= exp (i vi i ) = exp (i C(G),


N
E(
v , ) v ) (2.24)
i=1

con lo cual se observa que la nueva funcin obtenida (2.24), puede ser tratada como
v ). La parametrizacin polar del grupo (2.18) ofrece
la correspondencia clsica de g(
un marco de referencia con el cual comparar el par de operadores (2.23, 2.24) con lo
que se define el G-operador de Wigner como la funcin operador-valuada dada por
= (E(, ),
WG () E(, X))
G (2.25)
= v )dN v E(
( E(
v , )
v X), (2.26)
vC(G)

v )dN v exp (i vi (Xi i )) ,


N
= ( (2.27)
i=1
vC(G)

donde el rango del argumento recorre sobre RN , caracterizado por ser un espacio
Euclidiano N -dimensional, llamado espacio de meta-fase, el cual contiene una estruc-
tura que puede ser identificada como el espacio-fase del Hamiltoniano del sistema,
el cual subyace en G.
CAPTULO 3
REPRESENTACIN EN ESPACIO
FASE: FUNCIN DE WIGNER

En este captulo se aborda la definicin de la funcin de Wigner sobre el grupo


para su aplicacin a seales (estados o funciones de onda). Se definen los estados
(o seales) puros y enredados (entangled ). Se estipula la justificacin de por qu la
funcin de Wigner es apropiada para el anlisis de estos estados y en especial qu in-
formacin se puede obtener de un estado enredado haciendo uso de esta herramienta
de anlisis.

3.1. Justificacin
En Mecnica Cuntica un sistema microscpico se describe por medio de un
vector de estado q = (q),1 o por un operador de densidad ; pero, stos son
objetos matemticos abstractos y es difcil obtener informacin significativa de ellos.
La representacin en espacio-fase de una funcin de onda que se obtiene por medio
de la funcin de Wigner no contiene ms informacin que la funcin original, pero
es una forma ms sencilla de visualizar esta informacin. En relacin con esto, la
representacin en espacio fase es apropiada para considerar la conexin entre los
sistemas clsicos y cunticos.
Si se restringe al anlisis de sistemas unidimensionales cuya evolucin es descrita
por medio de los operadores A, B, se observa que si la relacin de conmutacin
cumple con [A, B] = ih, entonces es imposible describir un espacio-fase genuino,
debido a la restriccin que impone la relacin de incertidumbre de Heisenberg (1.23).
An as se puede hacer uso de ciertos objetos que dependan de los valores propios
de los operadores A, B, sto es, A, B a, b, donde a, b son nmeros complejos. Pero
hacer esto requiere una serie de sacrificios, el ms significativo es que la distribucin
puede llegar a admitir valores negativos, haciendo que la distribucin no cumpla en
el sentido estadstico del concepto.
A pesar de esto, la funcin de Wigner es una poderosa herramienta que nos
permite obtener una representacin fehaciente de la informacin contenida en la
1
Donde este vector de estado describe todas las posibles funciones de onda en cualquier instante,
con como un vector columna de tantas componentes como la dimensin del sistema analizado.
FCQeI, UAEM 16 ICF, UNAM
seal.2 La cual puede ser usada sobre funciones de estado puros, sto es, seales sin
patrones de interferencia no separables, con lo cual se puede extraer informacin
precisa sobre qu frecuencias ocurren a qu tiempo, sto en una nica impresin
de toda la seal. Cuando se trata de seales puras, la suma de dos sistemas que
evolucionan presenta un tipo de interferencia clsica que con la representacin en
espacio-fase de la funcin de Wigner podemos discernir con facilidad qu frecuencias
pertenecen a qu seal sin ambigedad3 ; pero, cuando se trata de seales en las
cuales la interferencia est directamente relacionada con la evolucin del sistema
(en efecto, la evolucin de cada subsistema que lo compone), es imposible realizar
una separacin de stos sin perder informacin y alterar el anlisis; este tipo de
seales se llaman enredadas. Entonces, la funcin de Wigner nos presenta una forma
viable de obtener informacin de la seal al representarla en el espacio-fase, donde las
caractersticas del enredamiento adquieren un significado especfico, el cual depende
de los patrones de interferencia que se obtengan al hacer interactuar los subsistemas
del sistema total.

3.2. Funcin de Wigner

En un sistema Hamiltoniano perteneciente a G, se define la G-funcin de Wigner


de una seal f VN , como el valor de expectacin del G-operador de Wigner (2.26),
(2.27) en el estado de observacin (o anlisis). La funcin de Wigner se define usan-
do el producto interno (de funciones) de la seal sobre el conjunto de puntos que
pertenecen a N (2.3)

= (f , W ()f
W (f ) )N =
fm n = f W()f
Wm,n ()f , (3.1)
m,nN

= Wm,n (),
donde, recordando que W() es la matriz asociada al G-operador de
Wigner.
En su artculo de 1932, cuando E. Wigner public por primera vez la funcin,
lo hizo para establecer correciones en el modelo mecano-cuntico de un sistema en
equilibrio, l necesitaba una herramienta tal que pudiera obtener informacin al
mismo momento de una funcin de estado, algo que la solucin de la ecuacin de
Schrdinger no realizaba, aunque l en ese entonces slo se limit a enunciar la
funcin,4 y derivar algunas propiedades que serviran a su propsito.
Deseando poder dar la funcin de Wigner en su forma original, se puede tomar

2
Una seal que puede ser contenida por una funcin de onda clsica o cuntica, cuya corres-
pondencia semi-clsica se logra por la representacin en espacio-fase de la funcin de Wigner.
3
Ms an, ste tipo de seales pueden ser separadas y analizadas en forma aislada.
4
En este mismo artculo E. Wigner hace notar que esta funcin en especial haba sido usada
antes por l y el fsico hngaro Le Szilrd
FCQeI, UAEM 17 ICF, UNAM
la G-funcin de Wigner y obtenerla de sta en la forma

= (f , E(g, )
W (f ) g f )N
gG

(f , g f )N
= E(g, )
gG

v ) exp(i
= dg( , D(
v )(f v )f )N ,
gG

v ) exp(i
= dg(
v )(D( 1
)f , D( 12 v)f )N , (3.2)
2v
gG

donde en (3.2) se ha hecho uso de las propiedades de unitariedad y fraccionalizacin


de la parametrizacin polar del grupo, (2.13).5
Si se normaliza el G-operador de Wigner sobre todo el espacio de meta-fase
RN , se obtiene

d W ()
= g(
v ) dN exp(i
N
v )
RN gG RN

= (2)N v )dN v (
( v )g(
v)
vC(G)
0,
= (2) (0)g
N
(3.3)

es el elemento identidad del grupo. Si ahora se integra la funcin de


donde g0 = g(0)
Wigner de una seal f (3.2), resulta que es proporcional a la norma cuadrada de la
funcin misma,6 entonces


d W (f ) v ) dN exp(i
= f , g( f )N = (2)N (0)f
2N . (3.4)
N
v )g
RN
gG RN

Seales
Con el fin de obtener la forma explcita de la funcin de Wigner para seales (con-
tinuas o discretas), se observa que en (3.2), las matrices conjugadas, D( 12 v), D( 12 v)
representan en realidad una traslacin en direcciones opuestas de los elementos
v C(G), que a su vez pertenecen al grupo G, al estar operando sobre f , esto
es, actuando sobre un vector columna de coordenadas m, entonces se tiene que las
coordenadas de este vector sern desplazadas conforme la matriz D dicte operando
mediante un producto punto de la forma

(D( 12 v)f , D( 21 v)f )N = Dm,n ( 12 v) fm



Dm ,n ( 21 v) fm , (3.5)
m,m ,nN

5
v ) est definida sobre la parametri-
Cabe aclarar que esta fraccionalizacin en dos matrices D(
zacin polar del grupo de Heisenberg-Weyl.
6
(f, f )N = fm

fm = f f , f N = (f , f )N
mN
FCQeI, UAEM 18 ICF, UNAM
se observa entonces que {v } es un conjunto de coordenadas de integracin de la
v ) d
transformacin sobre el grupo, por lo cual la medida de integracin es dg( v.
Tomando (3.5) y volviendo a (3.2), se tiene que

=
W (f ) v exp(i
d m,n ( 1 v) fm
v )D
Dm ,n ( 21 v) fm , (3.6)
2
gG m,m ,nN

Y como se demuestra en [30] para funciones monocromticas, (3.6) es

W (f m, ) = 1
2 dv exp(iv)f (m 2 v) f (m + 2 v),
1 1
(3.7)
R

que coincide con la forma presentada por E. Wigner.7


Como se presentara posteriormente, sta funcin evaluada es estrictamente real,
pero no necesariamente positiva en todo el espacio-fase de anlisis.

De seales a distribuciones
Como se puede observar en (3.7), la funcin de Wigner toma una funcin de onda
f , realiza una correlacin de desplazamientos conjugados para luego aplicar una
transformacin tipo TF con la cual se logra la expansin del dominio de definicin
de la funcin al espacio-fase (bajo Wigner); pero, si el sistema anlizado no es
representado por una sla funcin de onda, sino por una distribucin de densidad
, dada por
= m m,n n , (3.8)
m,nN

que representa todas la posibles funciones de onda de un sistema. La funcin de


Wigner de una distribucin de densidad de acuerdo con (3.1) es definida como

=
W () n,m = Tr (W ())
Wm,n () N, (3.9)
m,nN

donde Tr es la traza (suma) sobre la diagonal de los elementos matriciales de



(W ()).
Esta definicin de la funcin de Wigner en trminos de una distribucin de
densidad es usada para describir estados enredados, ya que si contiene funciones de
onda las cuales estn ligadas por medio de interferencias no separables (cunticas),
entonces no es posible partir la distribucin para eliminar la interferencia; en cambio,
se debe tratar la distribucin como la nica forma de obtener informacin de los
estados de la funciones de onda que componen el sistema, de aqu pues que la
funcin de Wigner sea una forma de transformar la informacin contenida en una
distribucin con enredamiento a una representacin en espacio-fase, la cual puede
ayudar a tomar deducciones del comportamiento del sistema y las interferencias
inherentes que presenta.

7
Vase el apndice A para una forma alternativa de formular la funcin de Wigner dada por
W. Schleich en [19], la cual hace uso de propiedades de traslacin de los dominios de la funcin en
espacio fase.
CAPTULO 4
PROPIEDADES DE LA FUNCIN DE
WIGNER Y ESTADOS ENREDADOS

El siguiente captulo est dedicado a la especificacin de las propiedades de la


funcin de Wigner que la hacen adecuada para el tratamiento de seales enredadas,
stas propiedades a su vez hacen que la funcin de Wigner sea una herramienta
matemtica tan eficiente que la descripcin mecano-cuntica dada por la ecuacin
de Schrdinger sea fielmente representada por la funcin de Wigner en espacio-fase,
sto con ayuda de las condiciones de cuantizacin de Weyl, que dan una estruc-
turacin de la formulacin la cual contiene toda la informacin de la evolucin de
los estados cunticos. Dentro del anlisis de seales, las propiedades que conlleva la
funcin de Wigner permiten realizar observaciones precisas sobre el comportamiento
de la informacin contenida en la misma, ya que por ejemplo, una seal elctrica en
funcin del tiempo puede ser representada por una funcin con parmetros comple-
jos, la funcin de Wigner como ya se dijo en el captulo anterior, siempre es real al
ser evaluada, esto lleva a que la representacin en espacio-fase que se obtenga estar
en correspondencia directa con la fenomenologa fsica del sistema analizado.

4.1. Propiedades
4.1.1. La funcin de Wigner es real
Si una distribucin de probabilidad P (q, p) describe un sistema real y representa
en forma Hermitiana a la funcin de onda (q), entonces

P (q, p) = M (q, p) ,

donde M (q, p) es un operador auto-adjunto que depende de las coordenadas q y p,


entonces, P (q, p) es real, por tanto (3.2), (3.6) y (3.7) son reales.1

1
Para una demostracin vase el apndice B
FCQeI, UAEM 20 ICF, UNAM
4.1.2. La funcin de Wigner est acotada
La funcin de Wigner (3.7) no puede tomar valores arbitrariamente grandes
(cuando f = 1), sto es, existe una cota superior. Recordando la definicin de la
funcin de Wigner

W (f q, p) = d exp(ip )f (q 21 ) f (q + 12 ),
1
2
(4.1)
R

en la cual se puede interpretar el integrando como el producto escalar de dos fun-


ciones de onda de la forma

g1 ( ) = exp(ip )f (q 21 ) g2 ( ) = f (q + 12 ),
1 1
y (4.2)
2 2
correspondiente a los estados g1 , g2 en notacin de Dirac. Entonces, sustituyendo
(4.2) en (4.1) se obtiene

W (f q, p) = d g1 ( )g2 ( ) = g1 g2 .
1 1

(4.3)
R

Tomando la magnitud de (4.3)

W (f q, p) = g1 g2 ,
1

y con la ayuda de la desigualdad de Cauchy-Schwarz para dos funciones de onda
normalizadas
g1 g2 2 g1 g2 g1 g2 = 1 1.
Se establece entonces que la funcin de Wigner tiene como cota superior

W (f q, p)
1
, (4.4)

con lo cual se asegura que la funcin de Wigner puede crecer rpidamente, pero
nunca ser mayor que el valor 1/.

4.1.3. La funcin de Wigner es mayormente positiva


Por otra parte, la funcin de Wigner puede tomar valores negativos. Sean 1 , 2
un par de distribuciones de densidad, la traza del producto de estas dos distribucio-
nes est dada por

Tr(1 , 2 ) = 2 dq dp W (1 q, p)W (2 q, p), (4.5)


R R

donde W (i q, p) es la funcin de Wigner del operador de densidad i , para i = 1, 2.


Entonces, si se pide que 1 , 2 sean ortogonales
Tr(1 , 2 ) = 0, (4.6)
sto implica que
dq dp W (1 q, p)W (2 q, p) = 0, (4.7)
R R
lo que significa que en el producto de W (1 q, p) con W (1 q, p), alguna de las dos
debe tomar valores negativos para satisfacer la condicin de ortogonalidad impuesta.
FCQeI, UAEM 22 ICF, UNAM
4.2. Negatividad de la funcin de Wigner e indica-
dor de enredamiento en seales
La negatividad de la funcin de Wigner ha sido ligada a la no-localidad, sto
de acuerdo con la interpretacin de variables escondidas en la descripcin mecano-
cuntica de las funciones de estado, sabindose mediante las desigualdades de Bell
[22] y la no-localidad de estados investigada por Einstein-Rosen-Podolsky (EPR)
[23]. En realidad, Bell argumentaba que un estado EPR puede no exhibir efectos de
no localidad debido a que su funcin de Wigner es mayormente positiva (como se
mostr anteriormente) y que puede admitir variables no visibles en descripcin de
correlaciones de estado.
Un simple indicador de la no-clasicidad de la funcin de Wigner depende del volu-
men de la parte negativa de la funcin misma [25]. Recordando la definicin de la fun-
cin de Wigner (4.1), la cual satisface la condicin de normalizacin dqdpW (q, p) =
1. Existe el doble volumen de la parte negativa en la integracin de la funcin de
Wigner, que se puede mostrar como

(f ) = dqdp [W (f q, p) W (f q, p)]

= dqdp W (f q, p) 1. (4.10)

Tratando como un parmetro que caracteriza las propiedades de no-clasicidad


es posible obtener informacin de cundo los estados tratados contienen enredamien-
to caracterstico.
De hecho, cantidades relacionadas [19] con el volumen de negatividad que contie-
ne la funcin de Wigner han sido ampliamente usadas para describir los efectos de
interferencia que determinan una comparacin entre los sistemas clsicos y cunticos
con enredamiento.
CAPTULO 5
ANLISIS DE SEALES

Este captulo est enfocado a la aplicacin del marco terico presentado en cap-
tulos anteriores. Se desarrollan las representaciones en espacio-fase de seales puras
y con enredamiento. Se obtienen propiedades relevantes con la funcin de Wigner.
Especficamente se realiza un anlisis del experimento de tripe rendija, la cual, en
su versin de doble rendija, fue el parteaguas en la distincin de estados clsicos y
cunticos. Se realiza el anlisis de los estados base y coherentes del oscilador arm-
nico, y la superposicin de dos estados coherentes donde la interferencia no-clsica
es un claro indicador de enredamiento entre los estados.

5.1. Experimento de la tripe rendija


El experimento de las rendijas1 inicialmente demostr cmo la luz puede presen-
tar propiedades de partcula y onda simultneamente. La primera prueba del com-
portamiento probabilstico de la luz se obtuvo de las conclusiones de este arreglo
experimental, en el cual los patrones de interferencia observados no eran explicados
por un teora corpuscular; sino que, fue necesaria la introduccin de una explicacin
en trminos ondulatorios para obtener una teora coherente en correspondencia con
la observacin. Concretamente, el experimento consiste en hacer pasar una onda
plana de luz (monocromtica) a travs de un arreglo de rendijas la cual incide en
un pantalla localizada a la distancia focal, despus, donde se plasman los patrones
de interferencia.
Se simula el experimento de Young con un arreglo de tres rendijas rectangulares
como funcin de entrada para la funcin de Wigner, porque adicionalmente el resul-
tado obtenido con la representacin clsica de la teora ondulatoria, se manifiesta
una dependencia espectral de las distancias entre rendijas con las magnitudes de las
partes negativas de la incertidumbre (sonrisa del gato) no-clsica asociada.
Se define la rendija con la relacin

1, q <


1
1 2
rect(q) = 2 , q =

1
(5.1)



2

0, q >
1
2

1
Originalmente realizado por Thomas Young a principios del s. XIX.
FCQeI, UAEM 24 ICF, UNAM
La funcin de rendija operada por la funcin de Wigner es una representacin
analtica aproximada de los frentes de onda.
Se define la funcin de onda de rendija introduciendo en la ecuacin (5.1) un par
de parmetros con los cuales se controla la magnitud de apertura y separacin entre
ellas. Para una, dos y tres rendijas se tiene

Frect1 (q; a) = rect ( )


q
(5.2)
a

q 2b q + 2b
Frect2 (q; a, b) = rect ( ) + rect ( ) (5.3)
a a

Frect3 (q; a, b) = rect ( ) + rect ( ) + rect ( ),


qb q q+b
(5.4)
a a a
donde a 1, b 0 Z+ son el parmetro de ancho y separacin entre rendijas.
Cuando a = 1 y b = 0, es decir, hay superposicin de rendijas en el punto de origen
de los desplazamientos, figura 5.1.

Figura 5.1: Funcines rectngulo en el experimento de las rendijas. a) Una rendija,


ec. (5.2) b) Dos rendijas, ec. (5.3) c) Tres rendijas, ec. (5.4)

Tomando la definicin de la funcin de superposicin de rendijas (5.4), sustitu-


yendo en (3.7) se tiene que la funcin de Wigner es




p sin(2q + a)(2 cos(2pb) + 1), q < 2
2 a

W (Frecta,b q, p) = p4 sin(2q b + a) cos(pb), q 2b < a2

(5.5)



p sin(2q b + a),
2
q b < a2

que como se puede ver, (5.4) es una funcin evaluada por partes debido a las con-
diciones que debe satisfacer en trminos de los parmetros a, b y las coordenadas q.
De esta ecuacin se puede observar una forma sinc de dos dimensiones, al igual
que la transformada de Fourier de una funcin rectngulo es una funcin sinc uni-
dimensional.
FCQeI, UAEM 28 ICF, UNAM
a=1 a=2 a=3 a=4 a=5 a=6 a=7 a=8 a=9 a = 10
b=0 18 72 162 288 450 648 882 1152 1458 1800
b=1 12 38 96 190 320 486 688 926 1200 1510
b=2 18 48 86 152 250 384 554 760 1002 1280
b=3 18 66 108 158 236 342 480 654 864 1110
b=4 18 72 138 192 254 344 462 608 786 1000
b=5 18 72 156 234 300 374 476 606 764 950
b=6 18 72 162 264 354 432 518 632 774 944
b=7 18 72 162 282 396 498 588 686 812 966
b=8 18 72 162 288 426 552 666 768 878 1016
b=9 18 72 162 288 444 594 732 858 972 1024
b=10 18 72 162 288 450 624 786 936 1074 1200

Cuadro 5.1: Tabla de valores calculados para dqdp W (Frecta,b q, p) que muestra


una minimizacin del parmetro de negatividad en el experimento de tres rendijas.

5.2. Distribuciones de densidad: Oscilador armni-


co, estados coherentes y su superposicin
El oscilador armnico unidimensional guarda un lugar nico en la fenomenologa
fsica debido a su simplicidad aunado a sus nicas caractersticas en describir un
sistema, en el caso clsico se trata de una representacin de las oscilaciones de una o
ms partculas bajo condiciones establecidas, en el anlogo cuntico se trata de un
modelo por ms eficiente de tratar sistemas cunticos con simplicidad y elegancia,
debido tambin a que es de los pocos sistemas cunticos que admite una solucin
analtica completa bajo la ecuacin de Schrdinger.

5.2.1. Soluciones de oscilador armnico


El operador Hamiltoniano que describe al oscilador armnico es

p2 1
H = + m 2 q 2 , (5.6)
2m 2
d/dq es el operador momento en el espacio de configuracin, m es la
donde p = ih
masa de la partcula y es la frecuencia angular de la misma.
Cualitativamente ste operador puede ser visto como la ecuacin que describe
un crculo de la forma, con m = = h =1

H = (p2 + q 2 ),
1
2

donde {q, p} son respectivamente las coordenadas de posicin y momento. Entonces,


el anlisis del Hamiltoniano se reduce al anlisis de un crculo en dos dimensiones, el
cual claramente es invariante bajo rotaciones alrededor del origen de coordenadas,
ms an, bajo cualquier composicin de transformaciones cannical lineales [26].
FCQeI, UAEM 29 ICF, UNAM
La solucin de la ecuacin de Schrdinger con el Hamiltoniano (5.6) en el espacio
de configuracin tiene la forma [19]
1

qn = n (q) = ( ) exp ( 12 (m2 2 q 2 )) Hn (mq),


m2 2 4 1
(5.7)
n
2 n!

donde n es el nmero de cuantos del oscilador y Hn es el n-simo polinomio de


Hermite.3
Como se vi anteriormente en el Captulo 3, Secccin 3.3 y como lo muestra
el apndice A, la evaluacin de la funcin de Wigner de una funcin de onda es
la tranformada de Fourier de las coordenadas desplazadas de la funcin misma.
Entonces, tomando (5.7), sustituyendo en la definicin de la funcin de Wigner
(3.7) y realizando la integracin se obtiene que la funcin de Wigner del oscilador
armnico es [19], apndice C

(1)n p 2 p 2
W (n q, p) = exp ( [( ) + (mq) 2
]) L n (2 [( ) + (mq)2 ]) ,
h hm hm
(5.8)
donde Ln es el n-simo polinomio de Laguerre.

Resultados

Es posible entonces analizar los estados de energa del oscilador armnico (que
dependen del parmetro n) por medio de la funcin de Wigner, esto es, W (n q, p)2 ;
as tambin se puede analizar en busca de cantidades negativas como indicadores de
no-clasicidad en la funcin de onda original, (5.7)
En la figura 5.5 se pueden observar los dos estados ms bajos del oscilador ar-
mnico, se nota que el estado a), cuando n = 0 corresponde exactamente a una
distribucin gaussiana, sto es, no contiene partes negativas, lo que va en corres-
pondencia con su funcin de Wigner en la parte a) de la figura 5.6. Sin embargo, al
observar el estado b) cuando n = 1, figura 5.5, se observa que la funcin de onda del
oscilador toma valores negativos, lo cual va en correspondencia con su funcin de
Wigner en b), figura 5.6; lo cual muestra por una parte, que como se mencion antes,
la funcin de Wigner no es una distribucin en el sentido probabilista estricto, ya que
estas cantidades negativas no lo permiten y, por otro lado, muestra la no-clasicidad
inherente que contiene el oscilador armnico, no-clasicidad que ser vista como un
fenmeno caracterstico cuando se enredan estados por medio de superposicin.
Ahora, debido a la simetra radial que presenta la funcin de Wigner del oscilador
armnico, podemos observar que las marginales de sta funcin son idnticas en
forma tanto en la direccin de integracin q como en la direccin de integracin p,
esto es

dq W (n q, p) = dp W (n q, p), (5.9)

si se calculan los marginales del primer y segundo estado de la funcin de Wigner


3
En este captulo slo se har uso de la solucin independiente del tiempo para el oscilador
armnico.
FCQeI, UAEM 31 ICF, UNAM

Figura 5.7: Magnitudes de la negatividad en la funcin de Wigner del oscilador


armnico. Estados n = 0 a n = 5. En valor igual a 1, la negatividad es nula.

5.3. Estados coherentes del oscilador


Los estados coherentes del oscilador armnico se obtienen desplazando el estado
base del oscilador armnico, n = 0. Estos estados son de gran importancia en la
teora cuntica, ya que son los estados que ms se aproximan a la representacin
clsica de una partcula, en un movimiento restringido a un potencial cuadrtico de
oscilador.
Tomando la Ecuacin (5.7) con n = 0,
1

0 (q) = ( ) exp ( 21 m2 2 q 2 ) ,
m2 2 4

Para que el estado coherente represente un estado anlogo al del oscilador bajo el
desplazamientodel estado base de ste, se ha de realizar un desplazamiento por una
cantidad q0 = 2/m, con 0, y simultneamente reducir la energa potencial
por una cantidad mq 2 /2 = 2 , con lo cual

(q) = ( ) exp ( 12 (mq 2 )2 ) .


m2 2 4
(5.10)

El clculo de la funcin de Wigner en la Ecuacin (5.10) se realiza de manera
anloga a la de la funcin de onda del oscilador armnico, con la diferencia que no de-
pende del nmero de cuantos n, y se ha introducido el parmetro de desplazamiento
, entonces, tomando (5.10) y sustituyendo en (3.7), se tiene que

W (q, p) = ( ) exp [(mq 2 )2 p2 ] .
1
(5.11)

FCQeI, UAEM 33 ICF, UNAM
Observando la Ecuacin (5.11), se puede notar la forma gaussiana y sabiendo

que d exp( 2 ) = , entonces




W ( q, ( ) [(q 2 )2 p2 ]
1
dqdp p) = dqdp

exp



dqdp exp((q 2)2 ) exp(p2 )
1
=




dqdp exp(Re[(q 2)2 ]) exp(Re[p2 ]),
1
=


si q 2 > 0 y p > 0


dqdp W ( q, p) = dqdp exp((q 2) ) exp(p )
1 2 2

= ( ) = 1

Lo cual muestra que el valor de dqdp W ( q, p) siempre es la unidad inde-


pendientemente de que valores tome el parmetro de desplazamiento , luego, un
estado coherente siempre est valuado positivamente.

5.4. Superposicin de estados coherentes


Mencionado anteriormente, la superposicin de estados es un principio que surge
de la descripcin puramente cuntica, en la cual emerge un enredamiento nico
representado como un patrn de interferencia dependiente de la interaccin de los
estados, como el de su distancia de separacin en el espacio-fase, el cual muestra
cuantitativa y cualitativamente estos patrones de interferencia.
La forma de obtener una estricta superposicin de dos estados coherentes, es
hacer que estos sean ortogonales debido a que la simple suma implica una no orto-
gonalidad, luego, es necesario buscar un factor que mida la no ortogonalidad de los
dos estados en superposicin. Pero, debido a que el tratamiento realizado va sobre
la medicin de las partes negativas que se obtienen de la funcin de Wigner, se ha
de simplificar el anlisis a una suma de dos estados coherentes, Ecuacin (5.10), de
la forma
(q) = (q) + (q), (5.12)
donde los desplazamientos por y determinan la intensidad de interferencia de
los estados en superposicin.
Por tanto, de la evaluacin de la funcin de Wigner se obtienen tres trminos,
dos de los cuales son los relativos a los estados puros y un tercero que refleja la
interferencia no-clsica entre los dos primeros
W ( q, p) = W ( q, p) + W ( q, p) + Wint(,) (q, p),
donde Wint(,) (q, p) define la interaccin de los dos estados con interferencia, este
trmino es el principal indicador de la no-clasicidad de los estados superpuestos, es
decir, determina el enredamiento cuntico de los mismos.
FCQeI, UAEM 34 ICF, UNAM
Para evaluar la funcin de Wigner de los estados en superposicin se tiene que,
por la Ecuacin (5.12)


1 1

(q) = ( ) exp ( 21 (mq 2 )2 ) + ( ) exp ( 21 (mq + 2 )2 ) ,


m2 2 4 m2 2 4

es la ecuacin explcita que define la suma de los estados coherentes, tomando es-
ta ecuacin y sustituyndola en la definicin de la funcin de Wigner se obtiene
finalmente, con m = 1 y = 1


W (q, p) = exp((q 2)2 (p + 2)2 ) + exp((q 2)2 (p 2)2 )
1 1


2 2
+ cos(2 2(q 12 2)) exp((q 2)2 p2 ),
2
(5.13)

donde claramente el primer y segundo trmino representan al primer y segundo


estado coherente, mientras que el tercero se debe a la interferencia entre los primeros.

Resultados
Se observa en la figura 5.9 que la separacin de los estados coherentes en su-
perposicin conlleva a un patrn de interferencia; este patrn es llamado la sonrisa
del gato. Se puede observar que mientras la separacin entre estados aumenta, la
sonrisa comienza a hacerse ms cerrada y con ms picos, tambin llamados dientes,
por tanto, a mayor separacin, la sonrisa se compacta: La magnitud de la parte
negativa de la sonrisa est en razn directa con su parte positiva, esto es, presenta
simetra respecto al plano de origen. Se desprende de lo anterior que existe simetra
entre estados coherentes. Aunque la magnitud se conserve independientemente de
la separacin entre estados, es posible obtener informacin, debido a que el patrn
de interferencia se vuelve ms denso al aumentarla.
Para obtener informacin sobre el comportamiento del patrn de interferencia,
nos remitiremos al anlisis de los estados de oscilador y de los estados coheren-
tes puros del mismo. Entonces, calculando los diez primeros valores del indicador
dqdp W ( q, p), de = 0 a = 9.

Como se puede observar en la figura 5.10, cuando la separacin es = 0, no


existe negatividad ya que no se tiene trmino de interferencia entre estados por estar
superpuestos en el mismo punto del espacio fase. Conforme la separacin aumenta,
la magnitud de la negatividad se incrementa hasta llegar a un mximo con una
separacin de = 4, a partir de la cual la magnitud de la negatividad se conserva.
En la figura 5.9 se observa que en efecto, la magnitud de la negatividad se conserva,
y que el nmero de dientes en la regin de interferencia aumenta conforme una
proporcin directa con la separacin de los estados coherentes. En el hipottico caso
de una separacin que tiende al infinito, se tiene que la magnitud de la negatividad
sigue conservada, pero se tendr un empaquetamiento denso de infinito nmero de
dientes en la sonrisa o patrn de interferencia.
FCQeI, UAEM 37 ICF, UNAM
por tanto es necesaria la aplicacin de una ventana (en ste caso Gaussiana) que
nos muestre de forma ms amable la informacin contenida en la sonrisa.
Aislando el trmino que contiene el patrn de interferencia, se tiene

Wint() (Gq, p) = 2Re [exp(p2 q 2 + 2ip)]



exp((p2 + q 2 )) cos(2p),
2
=2 (5.15)

cuyo perfil, cuando q = 0, se observa en la figura 5.11, que muestra las oscilaciones
especficas que se desean minimizar con el ventaneo gaussiano.
En concreto, atenuar esta interferencia se logra analticamente convolucionando
el trmino oscilante con la ventana gaussiana, que en este caso es de la forma

H (q, p) = exp([q 2 + p2 ]), (5.16)

donde es un parmetro que permite el incremento o decremento de la forma


gaussiana, tratando de hacer que la ventana cubra total o parcialmente la magnitud
de la intereferencia, dependiendo si se quiere eliminar por completo el patrn de
interferencia o solo minimizarlo respectivamente.
Convolucionando (5.16) con (5.15) se tiene que

F, (r, s) = dqdp 2Re [exp(p2 q 2 + 2ip) exp([(r q)2 + (s p)2 ])]



(5.17)

2 + (r2 + s2 ) 2is
= 2Re [exp ( )] .
2
(5.18)
(1 + )2 1+

Donde el argumento en la exponencial se ve amortiguado por el parmetro , el


cual disminuye la magnitud de la oscilacin.

Resultados
Se muestra que la eleccin del parmetro influye directamente en la minimiza-
cin del patrn de interferencia.
En la figura 5.12 se observa el trmino de interferencia de los planos fase de la
funcin de Wigner atenuada, esto cuando = 5 y = 1/2, /2, , 2. Se observa que
cuando = 1/2 se tiene en la sonrisa una cantidad mnima de dientes, conforme el
valor de aumenta los dientes comienzan a cerrarse, es decir, comienzan a aumentar,
como se ven en b), c) y d), las partes negativas presentadas como zonas oscuras se
distribuyen entre los dientes.
Lo que esta representacin no muestra es la magnitud de los dientes, tomando el
perfil de la funcin de Wigner atenuada, q = 0 en (5.18). Se observa en la figura 5.13
que cuando = 1/2 la magnitud de los dientes es mnima, sin embargo, cuando
aumenta de magnitud los dientes aumentan al igual que su magnitud, esto se puede
observar en la parte b), c) y d).
FCQeI, UAEM 39 ICF, UNAM
En la siguiente tabla se muestran los valores calculados del parmetro de nega-
tividad dqdp W (F, q, p) desde = 0 a = 10 y = 1/2, /2, , 2.

= 1/2 = /2 = = 2
=0 49.4789 5.01326 2.50663 1.25331
=1 20.8812 3.39771 1.96892 1.09252
=2 1.5695 1.05775 0.954208 0.723671
=3 0.0210105 0.151257 0.285322 0.364244
=4 0.0000500938 0.00993525 0.0526384 0.139311
=5 2.12717108 0.00029976 0.00599166 0.0404871
=6 1.608751012 4.15434106 0.000420793 0.00894106
=7 2.166941017 2.64461108 0.0000182333 0.00150038
=8 5.198481023 7.733121011 4.87462107 0.000191318
=9 2.221141029 1.038671013 8.04066109 0.0000185375
= 10 1.690231036 6.40821 1017 8.183121011 1.36485106

Un valor < 1 muestra una magnitud grande del parmetro en los primeros
valores de , tal es el caso de = 1/2, donde observa que se comienza con un
valor grande, pero conforme la separacin aumenta, el parmetro muestra una
tendencia decreciente muy rpida, lo cual al llegar a una separacin de = 10, el
valor calculado de dqdp W (F10,1/2 q, p) 0, y el tratamiento casi ha atenuado

todo rastro del patrn de interferencia. Diferente es lo que pasa con < 1, donde
rpidamente hay una cada en la magnitud del parmetro, ejemplo, = , 2; pero,
a diferencia de lo que pas en el primer caso, esta sbita disminucin va acompaada
de una subsecuente y lenta cada en el valor conforme aumenta y, como se puede
deducir, la relacin entre y dicta que con valores grandes de se necesita un
valor pequeo de y viceversa, esto con fines prcticos en los cuales el que analiza
mediante ventaneo decida si quiere una gran separacin con mnima interferencia o
poca separacin e igual, una mnima interferencia.
Como lo demuestra E.C.G. Sudarshan et. al. [28], la convolucin de dos funciones
de Wigner donde el trmino de convolucin sea punto-a-punto no-negativo satisface
las condiciones para las cuales sta operacin es estrictamente positiva, lo cual es
cien por ciento cierto cuando se trata de una Gaussiana; pero, cuando se tratan
otras funciones ms exticas y que tienen partes negativas, lo anterior no se puede
asegurar.
CAPTULO 6
USO DE LA SONRISA PARA
HOLOGRAFA

Es posible que la invencin ms influyente en las ciencias pticas y relacionadas


sea la holografa. La holografa es una tcnica de almacenamiento de informacin
desarrollada por Dennis Gabor [27] en 1948. El mtodo original est basado en la
transmitividad de una placa fotogrfica expuesta a un haz de luz proveniente de
un objeto iluminado por otro haz de luz coherente. En este captulo se presenta
tericamente cmo el trmino de interferencia entre dos seales (sonrisa del gato)
contiene la informacin hologrfica de la primera seal con respecto a la segunda, a
lo cual sigue la reconstuccin de la informacin contenida en la sonrisa.

6.1. Funcin de Wigner


En el modelo paraxial de seales monocromticas, con una longitud de onda
0, la funcin de Wigner entre dos seales f0 (q) y f1 (q) se define como

W (fo , f1 q, p) = d f0 (q 12 ) exp(p/) f1 (q + 21 ).
1
2
(6.1)
R

En los captulos anteriores se utiliz la Ecuacin (6.1) cuando f0 = f1 , lo cual se


interpreta como la cuasi-probabilidad de encontrar el sistema en un estado definido
sobre el espacio-fase. Cuando f0 f1 , se le ha llamado de diferentes formas en la
literatura.
Lohmann [28] muestra que durante la produccin ptica de una seal, la funcin
de Wigner verdadera est convolucionada en (q, p) con una Gaussiana de la forma

G (q) = ( ),
1 q2
()1/4
exp
2

donde el producto de anchuras es mnimo, satisfaciendo la relacin de Heisenberg


para la igualdad, Ecuacin (1.24). Por tanto, la funcin de Wigner medida es la
intensidad (G f )(q, p)2 en la pantalla.
FCQeI, UAEM 41 ICF, UNAM
6.2. Estados gato

Figura 6.1: Curvas de nivel de la funcin de Wigner de un estado gato compuesto


de la suma de dos Gaussianas con = 1 y una separacin de 5 unidades. Ntese los
tres trminos en el plano fase, donde el trmino central es la sonrisa.

Como se vi en la Seccin 5.4, la superpsicin de dos estados en combinacin


lineal f0 +f1 sobre la funcin de Wigner resulta en un descomposicin de tres trminos
reales

W (f0 + f1 , f0 + f1 q, p) = W (f0 , f0 q, p) + W (f1 , f1 q, p) + S(f0 , f1 q, p), (6.2)

donde
S(f0 , f1 q, p) = 2Re[W (f0 , f1 q, p)]. (6.3)
En las Figuras 5.9 y 6.1 estos tres trminos son claramente reconocibles. La
caracterstica dominante es el trmino cruzado (6.3), llamada sonrisa del gato, como
se mencion en el captulo anterior en la Ecuacin (5.15).

6.3. Reconstruccin hologrfica


De la teora ptica clsica se sabe que la transmitividad de una placa fotogrfica
expuesta a un haz de objetivo f1 (q, z) iluminado por un haz coherente distinto
f0 (q, z) en el plano estndar z = 0 es

f0 (q) + f1 (q)2 = f0 (q)2 + f1 (q)2 + 2Re[f0 (q) f1 (q)], (6.4)

y que produce un holograma unidimensional. Los primeros dos trminos varian muy
poco sobre la pantalla, resultando en una iluminacin de fondo constante. Por otro
lado, el tercer trmino es ltamente oscilante, y en algunas partes puede ser negativo.
FCQeI, UAEM 42 ICF, UNAM
Cuando se integra la Ecuacin (6.3) sobre p se encuentra la proyeccin sobre q,
con lo cual se introduce la funcin hologrfica

H(f0 , f1 q) = dp S(f0 , f1 q, p)



= 2Re dp W (f0 , f1 q, p)

R
= 2Re[f0 (q) f1 (q)]. (6.5)

Se observa que (6.5) es exactamente el trmino de interferencia en (6.4). Por


tanto, la proyeccin del trmino de sonrisa contiene la informacin hologrfica del
haz f1 bajo la referencia del haz f0 .
CAPTULO 7
APLICACIN: ANLISIS DE SEALES
DE VIBRACIN EN MQUINAS
REALES

En este captulo se realiza un anlisis en tiempo-frecuencia de las seales ob-


tenidas de una mquina real para estudiar vibraciones. Se analizan estas seales
mediante la versin discretizada de la funcin de Wigner, llamada: distribucin de
Wigner-Ville. Mediante este mtodo se buscan las frecuencias naturales de oscilacin
de la mquina, as como resonancias y frecuencias residuales debidas a un mal mon-
taje, un mal engrasado de los rodamientos, etc., esto caracterizando tres regmenes
de movimiento: dos transitorios, en el arranque y parada, y uno estable durante la
velocidad nominal.

7.1. Mquina de rotacin


Se trabaj con una mquina pedaggica llamada rotorkit, localizada en el labo-
ratorio de vibraciones mecnicas del Centro de Investigacin en Ingeniera y
Ciencias Aplicadas CIICAp a cargo del Dr. Juan Carlos Garca Castrejn. Este
rotorkit consta de un motor de corriente directa de velocidad regulable, se encuentra
conectado a un eje de aluminio descansando en un par de rodamientos extremos,
todo el equipo sobre un banco de trabajo dedicado.
El rotorkit es un Bently-Nevada RK-4, cuyo propsito es bsicamente de ensean-
za, ya que puede reproducir cierto tipo de fenmenos encontrados en las mquinas
reales bajo funcionamiento industrial, como resonancias, desbalanceo, perturbacio-
nes de carcasa, etc. El eje que transmite el movimiento rotatorio del motor es de
aluminio, sobre ste se coloca un disco de pruebas para balanceo. La unidad de
control de velocidad maneja los parmetros de velocidad mxima y aceleracin o
desaceleracin del motor. Las especificaciones son:

Velocidad mxima: 10 000 RPM

Rampa mxima de subida o bajada (aceleracin o desaceleracin): 15 000


RPM/Min
FCQeI, UAEM 44 ICF, UNAM
En la Figura 7.1 se muestra un esquema con la disposicin de los elementos:
motor, eje de aluminio, disco de balanceo y unidad de control del rotor.

Figura 7.1: Esquema del arreglo experimental. Superior izquierda: Unidad de control
del motor y unidad concentradora de sensores. Inferior derecha: a) motor, b) eje de
aluminio, c) soporte de sensores y sensores, d) rodamientos e), disco de balanceo.

7.2. Equipo para captura de datos


Se cont con un par de proxmetros, dispuestos sobre un soporte a 90 grados
entre s, como se observa en la Figura 7.1. Estos proxmetros estn calibrados para
generar una diferencia de potencial de 5mV entre la punta del sensor y la superficie
del eje, con lo cual, las vibraciones del eje son convertidas en fluctuaciones de la
diferencia de potencial, as, el adquisidor de datos traduce los cambios de la diferen-
cia de potencial en desplazamientos con respecto al centro de rotacin del eje. Los
sensores son conectados a un concentrador de datos Bently-Nevada de 4 canales.
La recoleccin y procesamiento de datos lo realiza un adquisidor Nicolet-Compass
corriendo un software de procesamiento Prism, que permite controlar los parmetros
de: resolucin vertical y horizontal, llamadas lines y span respectivamente, as
como el nmero de puntos a muestrear y el intervalo de muestreo. El software des-
pliega en tiempo real la forma de onda y la transformada de Fourier del movimiento
rotatorio del eje. La configuracin del software en los tres regmenes de movimiento
fue:
Nmero de datos a muestrear: 4096 = 212
Delta del tiempo: 3.1 ms
Resolucin vertical: 1600 lneas
FCQeI, UAEM 45 ICF, UNAM
Resolucin horizontal: 125 lneas

Por tanto, dado que se tomarn 4096 datos con intervalos de 3.1ms entre mues-
tras, la ventana de anlisis es de 12.7s aproximadamente. Estos juegos de datos son
exportados como tablas en un archivo de texto plano, el cual contiene en una colum-
na el intervalo de tiempo y en otra las amplitudes de los desplazamientos, para este
anlisis, verticales. Una vez adquiridos los datos para el arranque, estable y parada,
se procede a su anlisis en el plano fase.

7.3. Anlisis del plano-fase resultante bajo funcin


de Wigner
7.3.1. Mtodo y algoritmo de anlisis: Distribucin-pseudo
Wigner-Ville
El mtodo de anlisis empleado hace uso de la versin discreta de la funcin de
Wigner (3.7) desarrollada por Claasen y Mecklenbrauker [31], dada por
=
W (t, ) = 2 exp(i2 )s(t + )s (t ) (7.1)
=

La forma de (7.1) para una seal muestreada s(n), de n = 0 a n = N 1 tiene la


forma
1 N 1
W (l, k) = exp ( )s(l + n)s (l n)
i4nk
(7.2)
N n=0 N
donde s(m) = 0 para m < 0 y m > N 1. La Ecuacin (7.2) tiene periodicidad de N /21
y aunque el muestreo de la seal s(t) satisface el criterio de estabilidad de Nyquist,
an existen componentes de aliasing 2 en la funcin de Wigner. Un tratamiento hecho
a la seal para evitar el aliasing es el uso de la forma analtica de esta seal antes
de realizar el cmputo de la funcin de Wigner. En 1948, J. Ville [32] propuso el uso
de la seal analtica en la representacin tiempo-frecuencia de una seal real.
La justificacin para usar una forma analtica de la seal original de debe al
hecho de que en el dominio de las frecuencias, las componentes negativas de las
amplitudes pueden hacerse cero. En rigor, matemticamente deben de considerarse
todas las componentes del plano de fase, en la prctica no es una desventaja, ya
1
De (7.2) se desprende que

1 N 1 i4
W [l, k + m(N /2)] = exp ( n(k + m(N /2)))s(l + n)s (l n)
N n=0 N
1 N 1 i4nk
= exp ( ) exp ( imn2)s(l + n)s (l n)
N n=0 N
= W (l, k)

Ya que exp(imn2) = 1 para m Z+


2
El aliasing es un fenmeno asociado a cualquier dispositivo o proceso donde la informacin
se divide en muestras individuales. Se puede concebir como una interferencia donde hay cierta
proporcin entre el muestreo y la estructura repetitiva de los datos, como los patrones de Moir;
estos patrones son la sonrisa del gato revisada en los Captulos 5 y 6.
FCQeI, UAEM 46 ICF, UNAM
que solo las componentes positivas de las frecuencias tienen una interpretacin en
la fsica clsica. La componente imaginaria de la seal se obtiene en va de una
transformada de Hilbert. Por lo cual la seal analtica se expresa con

s(t) = sr (t) + iH{sr (t)} (7.3)

donde s(t) es la nueva seal analtica, sr (t) es la seal real de entrada y H{sr (t)}
es la transformada de Hilbert generada por la convolucin () de la seal original
con un impulso respuesta h(t) de 90 grados en cambio de fase definida como:


2 sin2 ( 2 t)
H{sr (t)} = (sr h)(t) = d sr ( )h(t ), h(t) = , t0 .

(7.4)

t

0, t=0

La forma discreta (e infinita) de la convolucin (7.4) se toma con



H{sr (n)} = sr (m)h(n m). (7.5)
m=

Ya que los resultados de la experimentacin de vibracin son datos muestreados


compuestos de N puntos, recogidos en intervalos t, se aplica la forma discreta
equivalente de la funcin de Wigner
2N 1
W (mt, k) = 2t exp(ink/N )s[(m + n)t]s [(m n)t] (7.6)
n=0

donde = /(2N t).


El algoritmo computacional de anlisis usado, basado en la transformada rpida
de Fourier (FFT), es la realizacin hecha por Shin y Jeon [33] del texto de Wahl y
Bolton [34], e implementado por Krtzsch y Rueda en Mathematica 8

W (mt, k) = Re{2t F F T [corr(i)]}, (7.7)



s(m + i 1)s (m i + 1), m i
corr(i) = para 1 i N + 1

,


0, m<i
corr (i) = corr(2N i + 2), para 2 i N

Cuando se discretizan datos es conveniente reducir la fuga causada por discon-


tinuidades presentes en el registro finito de los mismos, para este fin se emple una
ventana modificada de Hamming3


0.54 0.46 cos(10t/T ), 0 t T /10

D(t) = T /10 t 9T /10

1.0,

0.54 0.46 cos(10(T t)/T ), 9T /10 t T.

Una vez obtenida la distribucin de Wigner se desea minimizar la interferencia


y los valores negativos presentes en el espacio-fase resultante, para sto se emple
3
Esta ventana es usada debido a que embona el valor y la derivada de los dos extremos de la
fila de datos, y eso evita los brincos y frecuencias fantasma.
FCQeI, UAEM 47 ICF, UNAM
una funcin de ventana Gaussiana en el dominio de tiempo-frecuencia. La ventana
Gaussiana tiene la forma

Gj,k (q, p) = exp [ {( 2 ) + ( 2 )}] ,


1 p2 q2
(7.8)
2jkt 2j 2k

Esta funcin de ventana Gaussiana se convoluciona con la distribucin de Wigner

t l+j m+k
W (l, m) = W (p, q)G(p l, q m) (7.9)
2 p=lj q=mk

La funcin de Wigner obtenida por la aplicacin de esta ventana Gaussiana es


llamada Distribucin-pseudo Wigner-Ville (PWVD). De los resultados obtenidos
de este tratamiento se realiz el anlisis e intepretacin del funcionamiento de la
mquina real.

7.3.2. Anlisis y resultados

Como se apunt en captulos anteriores, la funcin de Wigner es una represen-


tacin matemtica que de forma completa muestra el dominio mixto de tiempo
y frecuencia. En el plano fase discreto obtenido de la PWVD, dos caractersticas
especficas definen una seal en el dominio temporal: el tiempo medio y la duracin.
Mencionado en el Captulo 1, la transformada de Fourier de una seal se com-
pone por la suma de sinuoides de diferentes frecuencias y se conoce espectro de la
seal, que en analoga con el dominio temporal, especifca tambin una densidad de
energa localizada mayormente en las frecuencias ms relevantes en el plano fase. Se
puntualiza la existencia de una frecuencia media asociada con su desviacin estndar
llamada ancho de banda.
Debido a que tiempo y frecuencia son dos variables conjugadas cannicas, existe
la limitacin de no poder definir las dos simultneamente, esto es, un efecto de mejora
en la resolucin de una de ellas empeora la resolucin de la otra y viceversa (cuando
los operadores asociados a estos observables no conmutan, Cap. 1). En el plano fase se
pueden encontrar perturbaciones tan significativas, que en muchas ocasiones dificulta
la interpretacin de los resultados, especialmente al presentarse multifrecuencias. Es
debido a esto que sea necesario conocer con precisin las caractersticas de resolucin
temporal y espectral para la aplicacin que se va a utilizar y decidir el conjunto de
parmetros y variables ms adecuados para la representacin y anlisis de resultados.
El inters principal de nuestro anlisis se centra en la identificacin de la fre-
cuencia natural de la mquina y la presencia de sus armnicos, as como de las
frecuencias residuales y de reaccin al cambio de torca en el eje debido a las tazas
de aceleracin que este experimenta.
FCQeI, UAEM 48 ICF, UNAM

Figura 7.2: Grficas de los datos del movimiento vibracional vertical y de sus planos
fase de la mquina en sus tres regmenes. La primera columna corresponde al rgimen
de arranque, la segunda al estable y la tercera corresponde a la parada de la mquina.
La primera fila muestra la variacin de la distancia respecto del tiempo. La segunda
fila muestra los perfiles de las frecuencias a diferentes tiempos. La tercera fila muestra
los planos fase en tiempo y frecuencia. La cuarta fila es la representacin de tres
dimensiones en tiempo, frecuencia y amplitud; la amplitud de sta representacin
se corresponde con aquella de los perfiles de frecuencias en la segunda fila.

Cuando la mquina se encuentra en proceso de arranque el plano fase, primera


columna Figura 7.2, revela que, al inicio del tiempo experimental ocurre un levanta-
miento considerable de este plano durante 4s aproximadamente, marcando la ocu-
rrencia a 120Hz4 , esta se desvanece de manera asinttica con un corrimiento hacia
frecuencias ms altas durante un segundo, este comportamiento en el primer arm-
nico de la frecuencia fundamental es debido a que la ventana de anlisis slo toma
parte de la pendiente de arranque, sin llegar a tomar datos de movimiento estable.
A los 10s del tiempo experimental se presenta una seal de 7.5Hz que da lugar a un
4
Las frecuencias mostradas en la Figura 7.2 presentan una desviacin del valor debido al m-
todo discreto de clculo utilizado, es por ello que las frecuencias de 60Hz y 120Hz no se plasman
exactamente en esos valores, pero sabemos, debido al experimento, que los valores son correctos.
FCQeI, UAEM 49 ICF, UNAM
tren de frecuencias sesgadas, con corrimiento amortiguado de poca amplitud hacia
mayores frecuencias y tiempos. Aparece entre ellas un pico justamente en 60Hz,
mostrando as que durante el arranque la frecuencia debida a la velocidad nominal
de 3600 RPM se alcanza a este tiempo.. El tren de seales corresponde a la reaccin
en vibracin que experimenta el eje debido al cambio de torca en la aceleracin del
motor que lo impulsa.
Durante el rgimen de movimiento estable se observa en el plano fase, segunda
columna Figura 7.2, una marca de 60Hz sostenida durante todo el tiempo expe-
rimental, esta corresponde a la frecuencia de rotacin fundamental de la mquina.
Cabe aclarar que en la representacin de tres dimensiones los bordes aparecen re-
dondeados por al alisamiento Gaussiano efectuado durante el clculo. Debido a la
periodicidad de la transformada finita de Fourier, de un 15 % a un 25 % de los bordes
deben tacharse; pero lo cierto es que una marca a 60Hz se hace patente mientras
dura el rgimen.
Al realizar la desaceleracin para detener la rotacin de la mquina, sta no lo
hace de manera abrupta sino que disminuye la torca de manera paulatina como se
aprecia en el plano fase de la tercera columna Figura 7.2. A los 60Hz se destaca una
marca que pertenece a los ltimos segundos del rgimen estacionario, se levanta desde
el comienzo del tiempo experimental hasta alrededor de 5s, a partir de los cuales
desvanece rpidamente en forma variable hacia frecuencias menores. La diferencia de
amplitud con la de la marca en el rgimen estable indica la disminucin de energa
al desacelerar. Prximo a los 10s aparece, al igual que en el arranque, un tren de
frecuencias el cual esta vez disminuye en frecuencia mientras aumenta en el tiempo.
Basado en lo anterior se llega a la conclusin de que la mquina en la cual se
experiment se encuentra en general en buen estado, balanceada de buena manera
y sin problemas de componentes flojos o en mal estado, esto debido a que los dos
transientes de arranque y parada ocurren a las frecuencias y tiempos estipulados
por la velocidad de rotacin; ms an, en el rgimen estable la presencia nica de la
frecuencia fundamental nos indica que las vibraciones del eje sobre los rodamientos
es pequea y no tiene efecto destructivo sobre la evolucin del movimiento. No se
observan resonancias o algn otro tipo de seal no deseada.
CAPTULO 8
CONCLUSIONES

Se estudi la funcin de Wigner como una herramienta matemtica para el tra-


tamiento y anlisis de seales en espacio-fase. Se revis su construccin con base a
la teora de Fourier y se deriv su forma clsica a partir de la accin de los elementos
en el grupo de Heisenberg-Weyl. Se revisaron sus principales propiedades caracters-
ticas y se defini un parmetro mediante el cual se mide la cantidad de negatividad
presente en el espacio fase, esto como un indicador de no clasicidad y enredamiento
de las seales procesadas.
Concluyendo, la funcin de Wigner es una excelente herramienta para el anlisis
de seales tipo Gaussianas, como los estados de oscilador cuntico y los estados cohe-
rentes. En el anlisis de seales tipo rendija se concluye que con ciertas previsiones1
se puede tener un arreglo de estas de tal forma que se disminuya la interferencia
producida por el arreglo experimental, esto se logr midiendo varias combinaciones
de anchura y separacin de tal forma que cada combinacin determinaba un par-
metro de negatividad, por tanto, se buscaron aquellos arreglos que lo disminuyen.
Se obtuvo que la disminucin mediante ventaneo Gaussiano en el caso continuo de
la funcin de Wigner de estados superpuestos es dependiente de la separacin, esto
es, para cada valor de separacin entre estados, existe un parmetro de ventana
que disminuye o atena la interferencia a un mnimo, mas no se encontr un valor
invariante que disminuya esta interferencia ni mucho menos que la haga nula. Se
mostr como el trmino de interferencia puede ser usado como un elemento en la
reconstruccin hologrfica de seales, esto basado en el hecho conocido de la teora
ptica convencional, obteniendo una forma anloga a esta mediante las marginales
de la funcin de Wigner. En la parte de aplicacin se concluy que la forma discre-
ta de la funcin de Wigner puede ser usada con xito para caracterizar el estado
de funcionamiento de una mquina real, y se concluy que el uso de una ventana
Gaussiana discreta debe ser usada para resaltar los elementos que caracterizan este
funcionamiento, en este caso, las frecuencias naturales y residuales del movimiento.
Una lnea de trabajo a futuro podra ser la determinacin concisa de que la
negatividad presente en el espacio-fase no necesariamente determina que se trata
de una seal no-clsica, ya que, como se observa en la Figura 7.2 del Captulo 7,
el espacio-fase de las seales de la mquina real contienen cierta parte negativa,
1
Como que el dominio de anlisis en el espacio-fase se ve fraccionado debido a la definicin
inicial de las funciones que definen las rendijas.
FCQeI, UAEM 51 ICF, UNAM
dando lugar a que el sistema pueda ser no-clsico, pero ya que no hay nada ms
real que una mquina en funcionamiento se encuentra una disyuntiva que necesita
aclaracin.
Otra lnea posible de explotar sera la creacin de un algoritmo optimizado y
comercializable para el monitoreo de vibraciones en mquinas reales. Basado en la
funcin discreta de Wigner y el ventaneo Gaussiano discreto, se puede crear un
algoritmo que muestre en tiempo-real el estado de funcionamiento de la mquina,
extendiendo con creces los beneficios por sobre el anlisis de slo la transformada
rpida de Fourier.
Hoja en Blanco
APNDICE A
DERIVACIN ALTERNATIVA DE LA
FUNCIN DE WIGNER

La siguiente formulacin de la funcin de Wigner est basada en la descripcin


mecano-cuntica de Heisenberg quien describi la transicin de los niveles n a n en
un tomo. Heisenberg hizo nfasis en el hecho de que no es el movimiento en el nivel
n o el nivel n lo que importa, sino el hecho del salto cuntico n n . En relacin
a sto, se ha de definir el salto del movimiento de una partcula de la posicin x a
la posicin x , entonces, en analoga al salto cuntico descrito, se define la distancia
entre posiciones de la forma x x . Heisenberg estableci que la intensidad de
transicin entre estados est dada por un operador matricial.1
En el caso de una partcula movindose en una dimensin, el operador de densi-
dad es el operador indicado que describe el estado de la partcula, el cual sugiere
la matriz x x que describe el salto cuntico del estado x al estado x . Se
puede definir el centro del salto por x = (x x )/2 e introducir un nuevo par de
coordenadas en remplazado de x , x , el centro x y la distancia por
1 1
x = x y x = x + .
2 2
El salto cuntico es entonces x + 12 x 12 . Ciertamente se asocia el momento
p con el salto cuntico x x de la partcula. Ya que la distribucin del momento
de una partcula partiendo de su representacin en la distribucin espacial est
dada por la transformada de Fourier, es entonces que la funcin de Wigner es una
transformada de Fourier

W (x, p) = d exp(ip)(x , x ),
1
2
R

del operador de densidad (x, ) en la representacin de posicin en las variables x


y , cambiando variables se obtiene que

(x , x ) = (x + , x ) = x + x .
1 1 1 1
2 2 2 2
1
La transicin de estados de un dipolo est dada por el momento del dipolo de la forma
n n .

FCQeI, UAEM 54 ICF, UNAM
Entonces, la transformada de Fourier es realizada sobre las variables (x , x ) que
llevan a las variables (x, p), que son reconocidas como las variables en la represen-
tacin de espacio fase de la funcin de Wigner, entonces el resultado de la TF

W (x, p) = d exp(ip) x + x .
1 1 1
2 2 2
R

El factor de escala 1/2 se incluye para que la propiedad de normalizacin se


cumpla, sto es
dx dp W (x, p) = 1.
R R

Ahora, si se tratan estados puros en los cuales la distribucin de densidad cambia


por el vector de estado puro , sto es = , se tiene que

W (x, p) = d exp(ip) (x 12 )(x + 21 ),


1
2
(A.1)
R

con (x) = x, con lo cual se observa que (A.1) corresponde a la forma presentada
en (3.6). Es as pues que la funcin de Wigner pueda verse como la transformada de
Fourier de las posiciones desplazadas de la funcin de onda del estado .
APNDICE B
LA FUNCIN DE WIGNER ES REAL

Para probar que la funcin de Wigner es real se necesita que su compleja conju-
gada de la funcin (q) sea igual a la funcin de Wigner original

W (q, p) = W (q, p).

Sea (A.1) la funcin de Wigner de la funcin de onda (q), entonces

W (q, p) = d exp(ip){ (q 21 )(q + 12 } ,


1
2
R

sabiendo que ( ) = , y con el cambio = , entonces


W (x, p) = d( ) exp(ip)(x 21 ) (x + 12 )
1
2

d exp(ip)(x 21 ) (x + 12 ),
1
2
=

donde en el ltimo paso se hizo el cambio en el orden del intervalo de integracin


(, ) (, ) con lo cual d( ) d, entonces se observa que

d exp(ip)(x 21 ) (x + 12 ) = d exp(ip) (x 12 )(x + 21 )


1 1
2 2

W (q, p) = W (q, p)

(B.1)
FCQeI, UAEM 56 ICF, UNAM

APNDICE C
FUNCIN DE WIGNER DEL
OSCILADOR ARMNICO

La evaluacin de la funcin de Wigner de la funcin de onda del oscilador ar-


mnico (5.7) se realiza efectuando la transformada de Fourier de la funcin de onda
desplazada.
Entonces, sea
1

l (q) = ( ) exp ( 12 (m2 2 q 2 )) Hl (mq),


m2 2 4 1
(C.1)
l
2 l!
la funcin de onda del oscilador armnico en el espacio de configuracin. Sustitu-
yendo (C.1) en la definicin de la funcin de Wigner (A.1)

W (q, p) = d exp(ip) (q 21 )(q + 12 ),


1
2
R

se tiene que evaluar la integral


1

Wl (q, p) = ( ) [exp ( 21 (mq 21 )2 ) Hl (mq 12 )]


1 m2 2 4 1
2
d exp(ip)
2 l l!

[exp ( 21 (mq + 12 )2 ) Hl (mq + 12 )]
1 1 exp(m2 2 q 2 )

d exp (i m 4 ) Hl (mq 2 )Hl (mq + 2 ).


p
= 1 2 1 1
2 2l l!

(C.2)

Completando el cuadrado en el exponente del integrando

2 p 2 p 2 p 2
( ) 2 i (i )( ) = ( + i ) ( ) ,
p p
2 2 m m m 2 m m
e introduciendo una nueva variable de integracin
p
= +i ,
2 m
FCQeI, UAEM 57 ICF, UNAM
con lo cual la ec. (C.2) se convierte en

Wl (q, p) = exp [(m)2 ( m )]


1 1 p
2l l!

d exp(2 )Hl (m + i m )Hl (m + i m ).


1 p p

Que con la relacin de simetra de los polinomios de Hermite, Hl () = (1)l Hl (),


se tiene que

(1)l 1
Wl (q, p) = exp [(m)2 ( m
p
)]
2l l!

d exp(2 )Hl ( i m + m)Hl ( i m


1 p p
m),

la cual permite aplicar la integracin conocida


d exp(2 )Hl ( + 1 )Hl ( + 2 ) = Ll (21 2 ),


1
2l l!

donde Ll denota el l-simo polinomio de Laguerre.


Por tanto, usando sto y la relacin

p 2
(i + mq) (i mq) = ( ) (mq)2
p p
m m m
se encuentra que la evaluacin y expansin de la funcin de Wigner es

(1)l p 2 p 2
Wl (q, p) = exp [ {( ) + (mq)2 }] Ll [ {( ) + (mq)2 }] . (C.3)
m m
BIBLIOGRAFA

[1] Brigham, E.O., The Fast Fourier Transform and Its Applications, (Englewood
Cliff, NJ: Pretince-Hall, Inc., 1988). 1

[2] Brault, J.W. y White, O.R., The analysis and restoration of astronomical data
via the fast Fourier Transform, Astron. & Astrphys., 13, pp. 169-189 (2001). 1

[3] Bracewell, R.N., The Fourier Transforms and Its Applications, (New York:
McGraw-Hill Book Company, 1965).

[4] Wolf, K.B., Integral Transforms in Science and Engineering, (New York: Ple-
num Publ. Corp, 1979). 2, 6, 7

[5] Gaskill, J.D., Linear System, Fourier Transforms, and Optics, (New York: John
Wiley & Sons, 1978). 3

[6] Oppenheim, A.V., Schafer, R.W. y Buck, J.R., Discrete-time signal processing,
(Upper Saddle River, NJ: Prentice Hall, Inc., 2, 1988).

[7] Alonso, M.A., Wigner functions in optics: describing beams as ray bundles and
pulses as particle ensembles, Adv. Opt. Photon. 3, 272-365 (2011).

[8] Almeida, L.B., The Fractional Fourier Transform and Time-Frecuency Repre-
sentations, IEEE Transactions on Signal Processing, 42, 11, 3084-3091, (1994).
3, 6

[9] Namias, V., The fractional order Fourier transform and its application to quan-
tum mechanics, J. Inst. Appl. Math. 25, 241-265 (1980). 3, 6

[10] Condon, E.U., Immersion of the Fourier tranform in a continuous group of


functional transformations, Proc. National Academy of Sciences 23, 158-164,
(1937). 3

[11] Ashok, V.N. y Prabhu, K.M.M., The fractional Fourier transform: theory, im-
plementation and error analysis, Microprocessors and Microsystems, 27, 511-
521 (2003).
FCQeI, UAEM 59 ICF, UNAM
[12] Williamson B., [en lnea], (2000: Australian National University), The Uncer-
tainty Principle, 2000, http://users.cecs.anu.edu.au/ williams/uncertainty.pdf
[Consulta: 1 Mayo 2012].

[13] de Bruijn N.G., [en lnea], (Technological University, Eindho-


ven, Netherlands), Uncertainty Principles in Fourier Analysis,
http://alexandria.tue.nl/repository/freearticles/597595.pdf [Consulta: 1
Mayo 2012].

[14] Dirac P.A.M., A new notation for quantum mechanics, Mathematical Procee-
dings of the Cambridge Philosophical Society, 35, 416-418, (1939). 8

[15] Ozaktas, H.M., Alper Kutay, M. y Zalevsky Z., The Fractional Fourier trans-
form with applications in optics and signal processing, (John Wiley & Sons Ltd.,
2001) 8

[16] Weyl, H., Quantenmechanik und Gruppentheorie, Zeitschrift fr Physik, 46,


(1927). 10

[17] Sattinger D.H. y Weaver O.L., Lie Groups and Algebras with Applications To
Physics, Geometry, and Mechanics, (New York: Springer-Verlag, 1993).

[18] Wigner E., On the Quantum Correction for Thermodynamic Equilibrium, Phys.
Rev. 40, 749-759 (1932).

[19] Schleich, W.P., Quantum Optics in Phase Space, (Berlin: Wiley-VCH, 2001)
18, 22, 29

[20] Garca-Caldern, G. y Moshinsky, M., Wigner distribution functions and the


representation of canonical transformations in quantum mechanics, J. Phys. A:
Math. Gen., 13, L185-L188, (1980). 21

[21] Schuch, D. y Moshinsky, M., Wigner Distribution Functions and the Represen-
tation of Canonical Transformations in Time-Dependent Quantum Mechanics,
SIGMA, 4, (2008). 21

[22] Bell J.S., Speakable and Unspeakable in Quantum Mechanics, (Cambridge: Cam-
bridge University Press, 1987) 22

[23] Einstein A., Podolsky B. y Rosen N., Phys. Rev. 47 777, 1935. 22

[24] Gabor D., Theory of Communications, Trans. Inst. Electr. Eng., 3, 429-456,
(1946).

[25] Kenfack, A. y Zyczkowski, K., Negativity of the Wigner function as indicator


of non-classicality, J. Opt. B: Quantum Semiclass. Opt. 6, 396-404 (2004). 22

[26] Han D., Kim Y.S. y Noz, M.E., Linear canonical transformations of coherent
and squeezed states in the Wigner phase space, Phys. Rev. A. 37, 3. 807-814
(1988). 28

[27] Gabor, D., A new microscope principle, Nature 161, 777-778 (1948). 40

[28] Lohmann, A., Optics Comm. 42 (1980). 39, 40


FCQeI, UAEM 60 ICF, UNAM
[29] Jagannathan, R., Simon R., Sudarshan, E.C.G. y Vasudevan R., Phys. Lett. A.
120, 4. 161-164 (1987).

[30] Wolf, K.B., Wigner distribution function for paraxial polychromatic optics, Opt.
Comm., 132, 343-353 (1996). 18

[31] Claasen T.A.C.M. y Mecklenbrauker W.F.G., The Wigner distribution - a tool


for time-frequency signal analysis - part 2: Discrete-time signals, Philips J.
Research, 35, 276-350 (1980). 45

[32] Ville, J., Thorie et Applications de la Notion de Signal Analytique, Cables et


Transmission, 2a, 1. 61-74 (1948). 45

[33] Shin, Y.S. y Jeon, J.J., Pseudo Wigner-Ville Time-Frequency Distribution and
its Application to Machinery Condition Monitoring, Journal of Shock and Vi-
bration, 1, 65-76 (1993). 46

[34] Wahl T.J. y Bolton J.S., The Application of the Wigner Distribution to the
Identification of Structure-borne Noise Components, Journal of Sound and Vi-
bration, 163 1, 101-122 (1993). 46