Fluctuaciones cunticas

Franklin Alds
October 19, 2015

Procesos estocsticos

Definicin 1.1 (Variable estocstica). Una variable estocstica es un objeto matemtico X definida por
un conjunto de posibles valores x llamado espacio muestral y una distribucin de probabilidad P (x) sobre
este conjunto.
Axiomas de una distribucin de probabilidades:
i. x, P (x) 0
R
ii. I P (x)dx = 1
iii. La probabilidad que X tenga un valor entre x y x + dx est dada por: P (x)dx.
Si X es una variable estocstica bien definida, entonces cualquier cantidad Y relacionada a X mediante
Y = f (X) es tambin una variable estocstica bien definida, en particular tambin las funciones de una
variable adicional t escrita de la forma Y (t) = f (X, t).
Definicin 1.2 (Proceso estocstico). Un proceso estocstico Y (t) es una funcin del tiempo y de una
variable estocstica Y (t) = f (t, X).
Definicin 1.3 (funcin muestra). Se llama funcin muestrao realizacin de un proceso estocstico a
Yx (t) = f (t, x), es decir a Y evaluada en un posible resultado x.
El valor
R esperado de Y est dado por:
hY (t)i = Yx (t)P (x)dx
Definicin 1.4 (Probabilidad conjunta). Se define la probabilidad conjunta como la probabilidad que Y
tome un valor y1 al tiempo t1 , y2 a t2 ,...., y yn al tiempo tn . Matemticamente la podemos expresar
como:
R
Pn (y1 , t1 ; y2 , t2 ; ...; yn , tn ) = (y1 Yx (t1 ))(y2 Yx (t2 ))(yn Yx (tn ))P (x)dx
Definicin 1.5 (Probabilidad condicional). La probabilidad condicional es la probabilidad que Y tome
los valores yk+1 al tiempo tk+1 , ...., yn al tiempo tn , sabiendo que su valor es y1 al tiempo t1 ,...., yk al
tiempo tk .
Definicin 1.6 (Proceso Markoviano). Un procesomarkoviano es un proceso estocstico endeonde la
probabilidad condicional de que Y tome el valor yn al tiempo tn est nicamente determinado solo por el
valor yn1 al tiempo tn1

Movimiento Browniano

2.1

Introduccin

2.2

Formulacin matemtica

Actuando sobre una partcula de masa m, tenemos dos fuerzas:

i. Una fuerza viscoza la cual est dando por la misma frmula que en hidrodinmica macroscpica,
esto es: mdx/dt con m = 6a, siendo la viscocidad y a el dimetro de la partcula.

ii. Una fuerza fluctuante (t) que representa los incesantes impactos de las molculas del lquido sobre
la partcula Browniana. Todo lo que sabemos sobre ella es que es indeferentemente positiva y
negativa y que su magnitud es tal que mantiene la agitacin de la partcula que la resistencia
viscosa dejara sin ella.
De acuerdo a la segunda ecuacin de Newton F = ma.
d(t)
= m(t) + (t) si nombramos a m como obtenemos la ecuacin de Langevin.
m
dt

2.3

Ecuacin de Langevin

d
La ecuacin de Langevin es una ecuacin diferencial de la forma: m (t) = (t) + (t) Cada colisin
dt
implica un cambio de la velocidad de las partculas. El nmero de colisiones dependen escencialmente de
la velocidad presente y no de las velocidades en los instantes anteriores, por lo tanto la velocidad de una
partcula Browniana es un preceso Markoviano.
Podemos asumir que tiene una distrubucin Gaussiana que implica que la istribucin de probabilidades
es:
R
2
e1/4 d ( )
R
P () = R
2
De1/4 d ( )
en donde es una constante. De la distribucin Gaussiana tenemos que:
* hi (t)i = 0
* hi (t)k (t0 )i = 2ik (t t0 )
* h1 (t1 )....2n+1 (t2n+1 )i = 0

Cuantizacin estocstica de un campo escalar

Esta cuantizacin fu desarrollada por Pairsi y Wu, la principal analoga entre la teora cuntica de
campos Ecucldea y la mecnica estadstica es que la medida de la integral de camino est estrechamente
relacionada con la distribucin de Boltzman de la mecnica estadstica, esto implica que las funciones
eucldeas de Green pueden ser interpretadas como las funciones de correlacin de sistemas estadsticos
en equilibrio.
Definicin 3.1 (Funciones de Green). Las funciones de Euclideanas de Green se obtienen como:
R
Dei/~SE (x1 ).....(xn )
R
h(x1 ).....(xn )i = I
Dei/~SE
I
La idea fundamental al realizar la cuantizacin estocstica es considerar la medida de la integral
ei/~SE
de camino eucldea R
como la distribucin estacionaria de un proceso estocstico. Para su
Dei/~SE
I
formulacin vamos a tomar en cuenta los siguientes aspectos:
i. Se cambia el campo (x) por un campo con una coordenada adicional (x, t), con t un tiempo
ficticio.
El vector x es el vector en un espacio Eucldeo n-dimensional y la coordenada x0 es el tiempo
real. Si imaginamos que el sistemaest acoplado a un reservorio de calor ficticio a temperatura T,
entonces ste estar en equilibrio al cabo de un gran tiempo ficticio t.
ii. Se requiere que la evolucin en el tiempo ficticio de est descrita por la ecuacin de Langevin.
Dada por: (x, t)/t = SE /(x, t) + (x, t) La accin eucldea ser la generalizacin de la
accin usual incluyendo tambin la integral sobre el tiempo ficticio, y la definimos como:
Z



(x, t)
SE = dtdxn L (x, t),
x

Por lo tanto:
SE
(x, t)

Z
=

"






dt d x
L (x0 , t0 ), 0 (x0 , t0 )
L (x0 , t0 ), 0 (x0 , t0 )
(x, t)
x
( (x, t))
x
0 n 0

SE
= 0 es simplemente la ecuacin de campo clsica. En la ecuacin de Langevin
Cabe notar que (x,t)
el ruido blanco Gaussiano ha estado introducido con correlaciones dadas por:

* h(x, t)i = 0
* h(x1 , t1 )(x2 , t2 )i = 2 (x1 x2 )(t1 t2 )
y en general:
* h(x1 , t1 )...(x2k+1 , t2k+1 )i = 0
Las correlaciones estn definidas por la media sobre el ruido con distribucin Gaussiana:
R 2
R
1
D (...)e 4 dx dt (x,t)
R
h...i = R
1
2
D e 4 dx dt (x,t)
iii. Dando algunas condiciones iniciales a t = t0 , debemos resolver la ecuacin de Langevin, denotando
la solcin como (x, t). Las funciones de correlacin de estn definidos como antes tomando el
promedio gaussiano sobre .
R 2
R
1
D e 4 dx dt (x,t) (x1 , t1 )... (xk , tk )
R
h (x1 , t1 )... (xk , tk )i =
R
1
2
D e 4 dx dt (x,t)
La afirmacin central en la cuantiacin estocstica es que el lmite cuando t > se logra el
equilibrio, y que las funciones de correlacin de tieden a las correspondientes funciones de
Green, es decir:
lim h (x1 , t)... (xk , t)i = h(x1 )...(xk )i
t

Teora de perturbaciones y cuantiacin estocstica

Definicin 4.1 (Transformada de Fourier). Se define la transformada de Fourier de una funcin (x, t)
de la forma:
(k, t) =

eikx (x, t)dn x

Vamos a resolver la ecuacin de Langevin de forma perturbativa, para ello supongamos que la interaccin puede ser descrita en forma de un potencial escalar, de tal manera que la accin est dada por:
Z

SE = dn xdt[( )( ) + m2 2 + 3 ]
3!
Por lo tanto la ecuacin de Langevin con la accin Eucldea anterior es:

(x, t) = ( 2 m2 ) 2 +
t
2
Tomando la transformada de Fourier de (x, t), la ecuacin de Langevin nos queda:
Z n n

d pd q
(k, t) = (k 2 + m2 )(k, t)
(p, t)(q, t)(k p q) + (k, t)
t
2!
(2)n
La funcin de Green de la ecuacin diferencial ser:
G = (k 2 + m2 )G + (t)

con G(k, t) = 0, t < 0, resolviendo tenemos:

G(k, t) = e(k

+m2 )t

(t)

La ecuacin de Langevin est dada por:

Z
2
2
(k, t) =
d G(k, t )(k, ) + ce(k +m )t

escribiendo esto como:

(k, 0) = 0 (k)
obtenemos:
0

e (k

+m2 )

( )d + c = 0

as:
t

Z
(k, t)

e(t )(k

+m2 )

(e (k

( )d + (

+m2 )

+ 0 )et(k

+m2 )

)d

Z t

(e(t )(k

+m2 )

( ) + 0 et(k

+m2 )

)d

Equivalencia con la ecuacin de Schrdinger

La expresin para la ecuacin de Schrodinger es:
i~

|i

= H|i
t

(1)

En un tiempo infinitesimal  esta ecuacin se convertir en la siguiente:

i
|()i |(0)i = H|(0)i
~

(2)

Ahora, si llevamos esta expresin a la representacin de coordenadas obtenemos:

i ~2 2
(x, ) (x, 0) = [
+ V (x, 0)](x, 0)
~ 2m x2
Comparemos el resultado con la prediccin de la integral de caminos del mismo orden de :
Z
(x, ) =
U (x, , x0 )(x0 , 0)dx0

(3)

(4)

El clculo de U () es sencillo debido al hecho de que aqu no se necesita ninguna integracin de los
caminos porque hay una sola tajada de tiempo  entre el inicio y el final, por tanto:
U (x, , x0 ) = (
0

m 1 i[ m(xx0 )2 V ( x+x0 ,0)] 1

2
2
~
)2 e
2~i

(5)

xx
Asumimos que V ( xx
2 , t) = V ( 2 , 0) porque el factor de tiempo  es extremadamente pequeo, de
modo que cualquier variacin de V en el intervalo de tiempo [0, ] produce un efecto de segundo orden.

Entonces:

m 1
(x, ) = (
)2
2~i

ei[

m(xx0 )2
2

1
V ( x+x
2 ,0)] ~

(x0 , 0)dx0

(6)

Analicemos el factor:
e

im(xx0 )2
2~

(7)

Este oscila muy rpido con x x0 dado que  es infinitesimal y que ~ es muy pequeo. En este caso, la
nica contribucin sustancial para la integral del exponencial ocurre cuando la fase es estacionaria.
Los nicos puntos estacionarios son x = x0 donde la fase tiene un mnimo valor de cero. Sea = x x0 ,
entonces la regin de coherencia estar en:
m 2

(8)
2~
O lo que es lo mismo:
|| (

2~ 1
)2
m

Utilizando este cambio de variable se obtiene:

Z
m 1 im2 i V (x+ ,0)
2
(x, ) = (
)2
e 2~ e ~
(x + , 0)d
2~i

(9)

(10)

Ahora, por las caractersticas de  se trabajar en el primer orden de  y en el segundo orden de . Las
expansiones son:
2 2
+
+ ...
(11)
(x + , 0) = (x, 0) +
x
2 x2

i
i

i
e ~ V (x+ 2 ,0) = 1 V (x + , 0) + ... = 1 V (x, 0) + ...
(12)
~
2
~
Dado que los trminos de y  pueden ser despreciados se tienen:
Z
m 1 im2
i
2 2
2
(x, ) = (
)
e 2~ [(x, 0) V (x, 0)(x, 0) +
+
]d
2~i
~
x
2 x2

(13)

Esta es una integral Gaussiana que nos arroja como resultado:

(x, ) = (

2~i 1
~ 2~i 1 2 i 2~i 1
m 1
) 2 [(x, 0)(
)2
(
)2
(
) 2 V (x, 0)(x, 0)]
2~i
m
2im m
x2
~ m

(14)

O lo que es lo mismo:
i ~2 2
(x, ) (x, 0) = [
+ V (x, 0)](x, 0)
~ 2m x2
Que es la expresin es la ecuacin equivalente al planteamiento de Schrodinger.

(15)