El proceso de Ornstein-Uhlenbeck, el oscilador armnico cuntico y la frmula de o a o Feynman-Kac

Oswaldo Gonzlez Gaxiola a gaxiola@oso.izt.uam.mx y Roberto Quezada Batalla roqb@xanum.uam.mx Departamento de Matemticas UAM-Iztapalapa, a Av. San Rafael Atlixco 186,Col. Vicentina, 09340 Iztapalapa, Mxico D.F. e

Abstract Presentamos de una manera intuitiva el modelo matemtico del a oscilador armnico cuntico y discutimos brevemente la frmula de o a o Feynman-Kac en trminos de lgebras de operadores. e a

Introduccin o

Debido a la poca comunicacin entre matemticos y f o a sicos que ocurre desde los estudios de licenciatura, algunas de las ms interesantes y profundas a relaciones entre matemticas y f a sica son accesibles slo para los investio gadores que estudian matemticas y f a sica a nivel avanzado. Este es el caso de la frmula de Feynman-Kac para perturbaciones del oscilador armnico o o cuntico, un resultado fundamental de la F a sica-Matemtica que combina a conceptos de f sica y matemticas, aparentemente sin relacin alguna. a o

Apoyado por conacyt, Proyecto 37491-E.

Cuando Mark Kac [2] trataba de entender un trabajo de Richard Feynman [1], encontr una demostracin de lo que desde entonces se conoce como o o frmula de Feynman-Kac. Esta frmula es una representacin integral de la o o o accin del semigrupo de contracciones asociado con el Hamiltoniano de una o part cula cuntica que evoluciona bajo la inuencia de la fuerza producida por a un potencial. Se trata de una integral sobre un espacio de dimensin innita o respecto de la medida de Wiener. Actualmente el nombre de Feynman-Kac tambin se aplica a otras representaciones integrales que dan la solucin de e o una ecuacin diferencial en forma cerrada y que permiten obtener estimao ciones a priori de las soluciones, sus propiedades asintticas y estimaciones o para los valores propios de los operadores involucrados. En este trabajo presentamos al lector una breve discusin de la frmula de o o Feynman-Kac para el oscilador armnico cuntico en el contexto de lgebras o a a de operadores. Nuestro propsito es ilustrar con este bello ejemplo, cmo la o o f sica terica y la matemtica se enriquecen mutuamente. La formulacin en o a o trminos de lgebras de operadores permitir, por una parte, que el lector e a a se informe sobre el potencial de aplicaciones de la teor de lgebras de opa a eradores. Por otra parte, nos permitir describir al lector la manera en que a muchos conceptos matemticos se pueden extender a un contexto no cona mutativo a travs de extensiones no conmutativas de lgebras conmutativas e a clsicas. Este tipo de extensiones son un ingrediente fundamental de teor a as matemticas muy recientes que se desarrollan en estrecha relacin con la a o F sica Cuntica, como la Geometr y la Probabilidad Cunticas. a a a

Brev sima introduccin a la Mecnica o a Cuntica a

La Mecnica Cuntica es un modelo matemtico del mundo f a a a sico. Para describirlo introduciremos los conceptos de estado, observable, valor esperado y ley dinmica. a Estados. Un estado es una descripcin completa de un sistema f o sico. En mecnica cuntica un estado (estado puro) es un rayo en un espacio a a de Hilbert complejo. Recurdese que un espacio de Hilbert complejo es un e espacio vectorial sobre los complejos, que tiene un producto interno , que es denido positivo y sesquilineal, es decir, es lineal en una coordenada y lineal conjugado en la otra, y el espacio es completo en la norma inducida

por el producto interno. Un rayo en un espacio de Hilbert complejo H es una clase de equivalencia de vectores u H bajo la relacin de equivalencia: u v si y slo si u = zv, o o para algn z C. Podemos tomar como representante de cada clase a un u vector unitario u, ( u = 1). Pero ntese que el vector ei u, R, tambin o e representa al mismo rayo. Observables. Una observable es una propiedad del sistema f sico que se puede medir, como la energ la posicin o el momento. En mecnica a, o a cuntica las observables se representan por operadores autoadjuntos. Es dea cir, una observable A es una transformacin lineal de H en s mismo que o satisface la condicin A = A donde A es el adjunto de A denido mediante o la condicin o u, Av = A u, v , que debe cumplirse para todo u, v H. Valores esperados(Regla de Born, 1926). El valor esperado de una observable A en un estado u est dado por el nmero real u, Au . Por ejemplo, el a u valor esperado de A en uno de sus vectores propios u es u, Au = u, au = a, donde a es el valor propio de A asociado con u. Dinmica. En la representacin de Schrdinger la evolucin de un sistema a o o o cuntico se especica indicando cmo cambian los estados del sistema con el a o transcurso del tiempo. Este movimento de los estados se realiza mediante una familia de transformaciones unitarias Ut de H en s mismo que, de acuerdo con el Teorema de Stone ver [6], est generada por un operador autoadjunto a H, llamado Hamiltoniano del sistema. De manera que si u es el estado inicial del sistema entonces ut = Ut u satisface la ecuacin de Schrdinger o o d ut = iHut . dt Ejemplo: Supngase que podemos aislar una part o cula y observar su movimiento sobre una linea recta. Es decir, tenemos un aparato que nos permite detectar las seales que ella emite. Supongamos tambin que el n e movimiento de esta part cula se realiza dentro de un campo que genera una energ potencial V . a Un modelo de mecnica cuntica para este sistema es el que consiste del a a espacio de Hilbert H = L2 (R), el espacio de las funciones medibles en la 3

recta cuyo mdulo al cuadrado es una funcin integrable. Los estados del o o sistema son rayos en este espacio y las observables operadores autoadjuntos no necesariamente acotados. La observable que corresponde con la energ a total de la part cula es el Hamiltoniano d2 + V, 2m dx2 donde V denota al operador de multiplicacin inducido por la funcin V : o o (V u)(x) = V (x)u(x), es la constante de Planck reducida y m es la masa de la part cula. El movimiento de esta part cula est descrito por la correspondiente a ecuacin de Schrdinger o o H= d d2 ut = ut + V u t , dt 2m dx2 con la condicin inicial u0 = u. Si la part o cula se encuentra en un estado ut , el valor esperado de la observable 1[a,b] , con a < b, es decir del operador de multiplicacin inducido por la funcin indicadora del intervalo [a, b], es o o i
b

ut , 1[a,b] ut =

ut (x)1[a,b] (x)ut (x)dx =

a

|ut (x)|2 .

Este valor esperado se interpreta como la probabilidad de que al medir la posicin de la partcula se obtenga un valor en el intervalo [a, b], cuando el o experimento se ha preparado en el estado u.

El oscilador armnico cuntico. o a

Consideremos ahora el caso de una part cula movindose en una recta bajo e la inuencia de la energ potencial correspondiente a un oscilador armnico a o
k clsico, es decir, V (x) = 1 m 2 x2 , donde = a es la frecuencia de os2 m cilacin. o La imagen f sica que conviene tener en mente no es la de un sistema masa-resorte, sino la idea de una caja negra que emite y absorbe energ en a mltiplos de una cantidad ja quantum, propuesta por Planck en 1900. Si u queremos conocer la dinmica del sistema, debemos resolver la ecuacin de a o Schrdinger o

2 1 2 t (x) = (x) + m 2 x2 t (x), 2 t t 2m x 2

con la condicin inicial t=0 (x) = (x). o Resolvamos esta ecuacin por el mtodo de separacin de variables, es o e o decir, buscaremos soluciones de la forma t (x) = f (t)(x). Derivando y sustituyendo en la ecuacin se obtiene la identidad o i d 1 d2 1 f (t) = ( (x) + m 2 x2 (x)), 2 f (t) dt (x) 2m dx 2 que se cumple si existen valores constantes E tales que i de donde resulta f (t) = e ~ t ; y d2 1 (x) + m 2 x2 (x) = E(x), 2 2m dx 2
2
iE

df = Ef, dt

o equivalentemente H = E, que es un problema de valores propios para el Hamiltoniano H. Por simplicidad de ahora en adelante supondremos que , m y son d2 todas iguales a 1. Con esta convencin tenemos que H = 1 dx2 + 1 x2 . Deo 2 2 d namos los operadores P = i dx y Q el operador de multiplicacin inducido o d d d2 por la funcin identidad I(x) = x, entonces P 2 = i dx (i dx ) = dx2 , o 1 (Q2 )(x) = x2 (x), y por lo tanto H = 2 (P 2 + Q2 ). Dirac propuso la si1 1 guiente factorizacin H = 2 (P iQ) 2 (P +iQ), pero P y Q son operadores o que no conmutan, de hecho, si denotamos por [P, Q] al conmutador de P y Q, tenemos que ([P, Q])(x) = i d d (x(x)) x(i (x)) = i(x), dx dx

es decir, [P, Q] = iI. No obstante sigamos la idea de Dirac, si tal factorizacin fuera posible, desarrollando el producto tendr o amos 1 i 1 1 (P iQ) (P + iQ) = H + [P, Q] = H + I, 2 2 2 2 que es una factorizacin de H + 1 I, pero esto es suciente para nuestro o 2 propsito. o 5

1 Pongamos nombre a los factores de Dirac. Sean a = 2 (P iQ) y 1 a = 2 (P + iQ), entonces H = a a + 1 y adems [a, a ] = I, [H, a] = a 2 a y [H, a ] = a . Si existiera una funcin 0 tal que a0 = 0, entonces o 1 1 H0 = (a a + 2 I)0 = 2 0 . Es decir, 0 ser un vector propio de H con a 1 valor propio asociado igual a 2 . Un clculo simple muestra que la ecuacin a o d a0 = 0 es equivalente con dx 0 (x) = x0 (x), que es una ecuacin lineal de o

a primer orden con solucin general de la forma 0 (x) = ce 2 . Si adems o 1 4 pedimos que 0 sea un estado, es decir, 0 = 1, entonces c = y 0 resulta ser la Gaussiana 0 (x) = 4 e 2 que en mecnica cuntica se llama a a estado fundamental o estado base del oscilador armnico cuntico. La razn o a o de este nombre es la siguiente, como [H, a ] = a , usando repetidamente esta relacin resulta que o 1 Han 0 = an H0 + [H, an ]0 = an 0 + [H, a ]a(n1) 0 + a [H, a(n1) ]0 2 1 = = (n + )an 0 . 2 n Es decir, las funciones (a 0 )n0 son vectores propios de H con valores pro1 pios (n + 2 )n0 . Tomando en cuenta que los vectores propios de un operador autoadjunto son ortogonales y que a n0 2 = n!, con un poco ms de traa bajo podemos concluir que se cumple lo siguiente. Teorema 3.1. El espectro de H es el subconjunto n + ciones n = (n!)
1 2 1 2
1 x2

x2

: n 0 y las fun-

an 0 : n 0

forman una base ortonormal de L2 (R).

En la gura 1 se bosquejan las grcas de los primeros elementos de esta a base ortonormal. De acuerdo con el mtodo de separacin de variables, a partir de todo e o esto podemos concluir que la solucin de la ecuacin de Schrdinger se puede o o o (n+ 1 )t 2 2 (x), con representar en la forma t (x) = n0 cn e n n0 cn < . Continuemos con nuestro anlisis del oscilador armnico cuntico. Con a o a 1 1 un clculo simple se ve que a n = (n+ 2 )n+1 , an = n 2 n1 y a an = nn . a Ntese que a a es un operador autoadjunto y su valor esperado en el estado o n es n , a an = n , nn = n. Por esta razn n se llama el estado de n part o culas. Las relaciones anteriores aceptan la siguiente interpretacin: si el oscilador armnico cuntico se o o a encuentra en el estado n , entonces 6

0.7 0.6 0.5 0.4 0.3 0.2 0.1 -4 -2 0.6 0.4 0.2 -4 -2 -0.2 -0.4 2 4 2 4

0.6 0.4 0.2 -4 -2 -0.2 -0.4 -0.6 0.6 0.4 0.2 -4 -2 -0.2 -0.4 -0.6 2 4 2 4

Figura 1: Estado fundamental y primeros vectores propios de H. u u culas (i) (El operador de nmero) El operador a a indica el nmero de part en ese estado. (ii) (El operador de creacin) El operador a aade ( o crea) una part o n cula al estado n , incrementando la energ del sistema en unidades. a (iii) (El operador de aniquilacin) El operador a aniquila una part o cula del estado n disminuyendo la energ del sistema en unidades. a Otra consecuencia importante de la relacin [P, Q] = iI que se llama o relacin cannica de conmutacin, es el principio de incertidumbre de Heiseno o o berg. Proposicin 3.2. (Principio de incertidumbre de Heisenberg) Sean o A y B dos operadores autoadjuntos en un espacio de Hilbert H tales que [A, B] = iC, donde C es un operador autoadjunto que conmuta con A y B. Sea u H un vector unitario y def nase para k 1, Ak = u, Ak u y V ar(A) = A2 A 2 . Entonces V ar(A) V ar(B) C .

Ntese que con a = A y b = B se tiene o (A aI)2 = A2 2a A + a2 = A2 a2 = V ar(A) 7

y [A aI, B bI] = iC. Entonces reemplazando A y B por A aI y B bI respectivamente, si es necesario, podemos suponer que a = b = 0. Ahora 1 1 1 AB = (AB + BA) + [A, B] = (AB + BA) + iC, 2 2 2 por lo tanto Au, Bu = u, ABu = Consecuentemente 1 (| u, (AB + BA)u |2 + C 2 ) = | Au, Bu |2 Au 4 = u, A2 u u, B 2 u = V ar(A)V ar(B). Esto demuestra que V ar(A)V ar(B) C 2 . Este resultado acepta la siguiente interpretacin: en ningn estado las o u observables A y B se pueden medir simultaneamente sin error. O bien, entre ms precisa es la medicin de A, ms imprecisa ser la medicin de B. a o a a o
2

Au, Bu +i

Au, Bu =

1 i u, (AB+BA)u + C . 2 2

Bu

El proceso del oscilador armnico cuntico. o a

Para mayor simplicidad conviene trasladar el espectro de H, de manera que el conjunto de sus valores propios sea N. Llamaremos H0 al Hamiltoniano trasladado, es decir, 1 d2 1 1 + x2 . 2 2 dx 2 2 Se puede establecer (ver [5]) que H0 genera un semigrupo de contracciones H0 = Pt = etH0 t 0,

resulta que Pt es un operador autoadjunto y positivo denido para cada t 0, es decir, u, Pt u 0, u L2 (R) y Pt = Pt . 8

Denotaremos por Mf el operador de multiplicacin inducido por f sobre o L2 (R) para f C0 (R), es decir, Mf g(x) = f (x)g(x), g C0 (R).

El proceso del oscilador armnico es una familia (Bt )tR de variables o aleatorias Gaussianas con media cero y covarianza 1 E(Bt Bs ) = e|ts| . 2 Este proceso se llama en Probabilidad el proceso de velocidades de OrnsteinUhlenbeck, pues Uhlenbeck y Ornstein denieron un proceso xt con trayectorias diferenciables tal que dxt = Bt . dt 1 Es posible demostrar que Bt = 2 et be2t , donde bt es el movimiento browniano. El proceso Bt tiene trayectorias continuas y si (, F, P ) es el espacio de Probabilidad donde est denido podemos pensar a como el a espacio de trayectorias continuas del proceso, = { : R R : continua, (t) = Bt ()}.

Tenemos el siguiente teorema cuya demostracin se puede hallar en [5]. o Teorema 4.1. Sean f0 , ..., fn L2 (R), < s0 < s1 < ... < sn < . Entonces E(f0 ((s0 )) fn ((sn ))) = 0 , Mf0 et1 H0 Mf1 etn H0 Mfn 0 , (1)

donde ti = si si1 , i = 1, 2, ..., n. Adems P es la unica medida de probaa bilidad que satisface la relacin (1). o Un espacio algebraico de probabilidad (ver [3]) es un par (A, ) donde A es una -lgebra y es un estado sobre A. Una *-lgebra es un lgebra compleja a a a de Banach con una aplicacin (involucin) a a aditiva, lineal conjugada, o o involutiva ((a ) = a) y (ab) = b a , tal que a a = a 2 para cada a A. Un estado es un -funcional ((a ) = (a) ) que env elementos positivos a de A , es decir, elementos de la forma a a en reales positivos y preserva la unidad, es decir, (e) = e, donde e es la unidad en A. Si A no es conmutativa el par (A, ) es un espacio de Probabilidad Cuntica. Todo espacio de Probabilidad Clsica es un espacio algebraico a a de probabilidad pues basta reemplazar la terna (, F, P ) por el par (L (, F, P ), ) 9

donde L (, F, P ) es la -lgebra de todas las funcionales complejas, Fa medibles y acotadas en con la involucin dada por la conjugacin y es el o o estado sobre L (, F, P ) denido mediante (f ) =

f dP = Ef.

La frmula (1) nos da una relacin entre la Probabilidad Clsica y la o o a Probabilidad Cuntica; es decir, hay dos conceptos de valor esperado involua crados en esta frmula. El lado izquierdo es el valor esperado de una variable o aleatoria denida sobre el espacio de Probabilidad (, F, P ) y el lado derecho es el valor esperado de una variable aleatoria en un espacio de Probabilidad Cuntica. En el lado derecho de (2) se tiene el valor esperado del operador a autoadjunto Mf0 et1 H0 Mf1 etn H0 Mfn de la -lgebra B(L2 (R)) respecto a del estado denido por (A) = 0 , A0 , el cual es el valor esperado de A en el estado fundamental, vacuum expectation. En este ultimo caso (B(L2 (R)), ) es un espacio algebraico de probabilidad, de hecho, un espacio de Probabilidad Cuntica. a Denicin 4.2. Denimos la traslacin como la accin de R sobre dada o o o para cada a R por a (x) = (x + a). Y la reexin de en dada para cada por o r(t) = (t). La cual invierte el sentido del tiempo. Ntese que r es un homeomorsmo de que satisface o r2 = id, ra = a r, a R.

Una propiedad importante del proceso Bt es la siguiente. Proposicin 4.3. P es invariante bajo traslaciones s (t) = (t + s), y bajo o la reexin r(t) = (t). o

10

Perturbaciones del oscilador armnico o (Frmula de Feynman-Kac) o

Un problema fundamental en F sica Cuntica es describir la dinmica de un a a oscilador armnico cuntico cuando ste se encuentra bajo la inuencia de o a e otro sistema que produce una energ potencial V . En este caso el Hamila toniano tiene la forma H = H0 + MV , donde V es una funcin continua, o V : R [0, ), la energ potencial del campo producido por el otro sisa tema. La dinmica quedar totalmente caracterizada por el operador H si se a a demuestra que ste es autoadjunto, pues en este caso se sabe que la coe rrespondiente ecuacin de Schrdinger tiene una unica solucin global, i.e., o o o vlida para todo tiempo t R. Demostrar que H es un operador autoadjunto a es un problema fundamental de la F sica Matemtica. a Ahora bien, existen tres formas equivalentes de describir a un operador autoadjunto (sus tres caras): 1. Un operador autoadjunto denido sobre un subespacio denso de H. 2. Una medida espectral denida sobre R. 3. Un grupo unitario (representacin unitaria del grupo aditivo de R) o fuertemente continuo. La equivalencia entre 1 y 2 es la versin de John von Neumann del teorema o espectral y la equivalencia entre 1 y 3 es el Teorema de Stone, ver [6]. En particular H0 , tiene una cara ms, que se puede obtener a partir de a la medida espectral correspondiente E como su transformada de Laplace:

Pt =
0

et E(d).

Este es un semigrupo (representracin del semigrupo aditivo de los reales o nonegativos) de contracciones, Pt 1 , fuertemente continuo. El correspondiente grupo unitario se dene mediante la transformada de Fourier de E: Ut = eit E (d).
0

11

La equivalencia de 3 con la existencia del semigrupo Pt est demostrada en a [4], una versin ms detallada se encuentra en [5]. Resulta que el generador o a innitesimal de Pt es el operador H0 , i.e., Pt = etH0 . Anlogamente, el problema de la adjunticidad de H se puede tratar de a manera indirecta contruyendo un semigrupo de contracciones (Qt )t0 en o L2 (R) cuyo generador innitesimal sea H alguna extensin autoadjunta o de este operador. Esto es lo que Feynman describi en [1] y Mark Kac o demostr en [2], de hecho se tiene o f 0 , Qt g0 =

f (B0 )g(Bt )e

Rt
0

V (Bs )ds

dP,

para todo par de funciones f, g L2 (R, 2 (x)dx). Esta es la frmula de o 0 Feynman-Kac para perturbaciones del oscilador armnico cuntico, el lector o a interesado puede consultar una demostracin en [7]. o En esta seccin describiremos otra construccin de Qt en trminos de o o e lgebras de operadores, esto nos permitir mostrar al lector cmo los mtodos a a o e de lgebras de operadores se aplican en la solucin de problemas interesantes a o de la F sica Cuntica, esperamos que esto despierte su curiosidad. a Denamos dos operadores unitarios Ut y R sobre L2 () mediante (Ut F )() = F (t ), y (RF )() = F (r), tR F L2 ().

(Ut )tR es un grupo fuertemente continuo de operadores unitarios en L2 (), y se tiene la relacin o RUt = Ut R. Para cada f C0 (R) considrese el operador (f ) sobre L2 () dado por e (f )F () = f ((0))F (), f C0 (R), F L2 ().

La aplicacin f (f ), dene una -representacin de C0 (R) sobre L2 (). o o Sea A el lgebra dbilmente cerrada de operadores sobre L2 () generada a e por {(f ) : f C0 (R)} {Ut : t 0}. A es un lgebra de operadores no conmutativa y no autoadjunta sobre L2 (), a ver [4]. 12

Un subespacio cerrado M de L2 () se dice que es semi-invariante bajo el lgebra A, ver [5], si la proyeccin Q sobre M satisface QABQ = QAQBQ a o para todos A, B A. o Proposicin 5.1. La transformacin lineal o Mf 0 (f ) 1, f C0 (R).

Se extiende de manera unica a una isometra W de L2 (R) en L2 (). Adems a W satisface Ps1 Mf1 Ps2 Mf2 ...Psn Mfn = W Us1 (f1 )Us2 (f2 )...Usn (fn )W, para n 1 y para si R, si 0 y fi C0 (R). Como consecuencia directa de la igualdad (2), se tiene que si A y B son operadores en el lgebra A de la forma a A = Us1 (f1 )Us2 (f2 ) Usm (fm ), B = Ut1 (g1 )Ut2 (g2 ) Utn (gn ), (2)

donde si , ti 0, gi , fi C0 (R), entonces W AW W BW = W ABW. Tambin como consecuencia de la Proposicin anterior se tiene el siguiente e o resultado. Corolario 5.2. El rango de W es un subespacio semi-invariante para el lgebra de operadores A. a Es decir, si W : L2 (R) L2 () es una isometr y si E es la proyeccin a o sobre W (L2 (R)) entonces E = W W . Procederemos ahora a construir el semigrupo de contracciones {Qt }t0 , que tendr a -H como su generador innitesimal y adems Q = Qt t 0. a a t Para cada t 0 denamos el funcional (cociclo) Ct : (0, ) mediante Rt Ct () = e 0 V ((s))ds . La familia {Ct }t0 tiene las siguientes propiedades: (i) 0 < Ct () 1, C0 () = 1, ; 13

(ii) Ct+s () = Cs ()Ct (s ), (propiedad de cociclo). Proposicin 5.3. Las condiciones (i) y (ii) son sucientes para que la fao milia At = MCt Ut sea un semigrupo de contracciones en L2 (). Adems, a At A para cada t 0. Sea E la proyeccin W W . Puesto que {MCt Ut : t 0} es un semigrupo o en A y por el Corolario, W (L2 (R)) L2 () es un subespacio semi-invariante de A, tenemos que EMCs+t Us+t E = EMCs Us MCt Ut E = EMCs Us EMCt Ut E. De aqu se sigue que la familia de operadores {Qt : t 0} en L2 (R), denidos por Qt = W MCt Ut W = W At W, es un semigrupo de contracciones fuertemente continuo. Con un poco ms a de trabajo se ve que Qt = Qt ; es decir, Qt es autoadjunto para cada t 0. Siendo {Qt }t0 , un semigrupo fuertemente continuo tiene un generador innitesimal H, que ser una extensin de (H0 + V ). Es decir, a o etH = Qt

o bien etH = W MCt Ut W.

(3)

La ecuacin (3) es la frmula de Feynman-Kac para peturbaciones del oso o cilador armnico cuntico en trminos de lgebras de operadores. o a e a Si en la ecuacin (3) V 0, entonces Ct 1 y tenemos o Pt = etH0 = W Ut W. Es decir, el semigrupo del oscilador armnico Pt tiene una dilatacin generada o o por el grupo de traslaciones Ut en el espacio de probabilidad (, P ). En el caso en que V = 0, podemos decir que el semigrupo perturbado etH tiene una dilatacin de la forma MCt Ut , que es una perturbacin de o o (Ut )tR a travs del cociclo Ct el cual fue denido en trminos de V . e e

References
[1] R. P. Feynman, Space-time approach to nonrelativistic quantum mechanics, Rev. Modern Physics 20, (1948), 367-387. 14

[2] M. Kac, On some connections between probability theory and dierential equations, Proc. 2nd Berk. Symp. Math. Statist. Probability, (1950), 189215. [3] Accardi L. Quantum Probability: an introduction to some basic ideas and trends, en Modelos Estocsticos II, Aportaciones Mateticas (Ina a vestigacin) 16, (2000), 1-128. o [4] Arveson W. Ten Lectures on Operator Algebras, Conference Board of the Mathematical Sciences by the AMS, Vol. 55; Providence, R. I. 1983. [5] Gaxiola G. O. Dos Algebras de Operadores Relacionadas con la Dinmica a del Oscilador Armnico Cuntico. Tesis de Maestr en Matemticas; o a a a UAM-Iztapalapa, Mxico D.F. 2001. e [6] M. Reed and B. Simon, Methods of Modern Mathematical Physics, II, Fourier Analysis, Self-Adjointness, Academic Press, New York, 1975. [7] B. Simon, Functional Integration and Quantum Physics, Academic Press, New York, 1979. [8] Sarason D. On Spectral Sets Having Connected Complement, Acta Sci. Math. (Szeded), 26, (1975), 289-299.

15