Professional Documents
Culture Documents
espacio-fase
Presenta
Ciudad Universitaria
Cuernavaca, Morelos, Mayo del 2013
RECONOCIMIENTOS
Gracias!
FCQeI, UAEM vi ICF, UNAM
EN ESTA TESIS
NDICE GENERAL
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
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
8. Conclusiones 50
Apndices 53
NDICE DE FIGURAS
LA TRANSFORMADA DE FOURIER Y
LA RELACIN DE INCERTIDUMBRE
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.
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
dq f (q) g(q) = dp f (q ) g (q ).
(1.8)
dq f (q) = dp f (q ) .
2 2
(1.9)
[Q , P ] = C[Q, P]C1 = i
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()
[ dq f (q) A f (q)]
A = (1.17)
f 2
,
[ dq f (q) A2 f (q)]
m2A = (1.18)
f 2
,
(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.
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
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.
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.
v )g(
g( v ) = g(( + )
v ), v ) = g(
g( v ) , , , R, (2.8)
(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
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
0 s + it s + it
w(s, t, u) = sQ + tP + uH = s it 2u 2u . (2.16)
it s 2u 2u
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
F= v )f (g(
dHaar g( v ))g(
v ) G, (2.22)
vC(G)
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
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)
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
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.
= (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
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)
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
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
W (f m, ) = 1
2 dv exp(iv)f (m 2 v) f (m + 2 v),
1 1
(3.7)
R
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
=
W () n,m = Tr (W ())
Wm,n () N, (3.9)
m,nN
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
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) ,
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
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
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/.
(f ) = dqdp [W (f q, p) W (f q, p)]
= dqdp W (f q, p) 1. (4.10)
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.
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
q 2b q + 2b
Frect2 (q; a, b) = rect ( ) + rect ( ) (5.3)
a a
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.
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
(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)
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
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.
1 1
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)
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.
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
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
W (fo , f1 q, p) = d f0 (q 12 ) exp(p/) f1 (q + 21 ).
1
2
(6.1)
R
G (q) = ( ),
1 q2
()1/4
exp
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).
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)
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.
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.
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)
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
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
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.
t l+j m+k
W (l, m) = W (p, q)G(p l, q m) (7.9)
2 p=lj q=mk
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.
W (x, p) = d exp(ip)(x , x ),
1
2
R
(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
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 (x, p) = d( ) exp(ip)(x 21 ) (x + 12 )
1
2
d exp(ip)(x 21 ) (x + 12 ),
1
2
=
APNDICE C
FUNCIN DE WIGNER DEL
OSCILADOR ARMNICO
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
(1)l 1
Wl (q, p) = exp [(m)2 ( m
p
)]
2l l!
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
[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].
[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
[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
[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).
[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
[30] Wolf, K.B., Wigner distribution function for paraxial polychromatic optics, Opt.
Comm., 132, 343-353 (1996). 18
[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