Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Resumen
Introducción
Por otra parte, von Neumann en su interés por encontrar una teorı́a
matemática que diera cuenta de los fenómenos aleatorios que aparecen en
la Mecánica Cuántica, se percata de que el modelo de Kolmogorov no era
suficiente para explicarlos. Ası́, se da a la tarea de construir una teorı́a más
amplia que contuviera a la Probabilidad Clásica y a su vez explicara los he-
chos de la Fı́sica Cuántica. Su punto de partida es una pareja (A, ρ) llamada
Espacio de Probabilidad Cuántico, donde A es un álgebra de von Neumann y
ρ : A → C es un estado o funcional lineal actuando en A que asocia números
no negativos a elementos no negativos tal que ρ(e) = 1, donde e es el ele-
mento identidad de A en el sentido de la Teorı́a de Algebras.
Notación
Conjuntos y Aplicaciones
Resumen I
Introducción V
Notación IX
1. Preliminares 1
1.1. Nociones Básicas de Operadores no Acotados . . . . . . . . . . 2
1.2. Productos Tensoriales y Espacios de Fock . . . . . . . . . . . . 4
1.3. Productos Tensoriales entre Operadores . . . . . . . . . . . . . 11
1.4. Productos Tensoriales Simétrico y Antisimétrico . . . . . . . . 12
1.5. El Espacio de Fock Simétrico . . . . . . . . . . . . . . . . . . 14
3. Aplicaciones 95
3.1. Relación entre Cálculos Estocásticos Clásico y Cuántico . . . . 95
3.1.1. Proceso de Posición y Movimiento Browniano . . . . . 99
xi
xii ÍNDICE GENERAL
D. Formulario 167
Bibliografı́a 169
Preliminares
1
2 Preliminares
Proposición
L 1.1. T es cerrable si y solo si siempre que la pareja (0, v) ∈
H H esté en G(T ), se tiene v = 0.
a) S ⊆ T =⇒ T ∗ ⊆ S ∗
b) S ⊆ T =⇒ T ⊆ S si S es cerrado.
2
2
X m
X m
P
En particular,
αi U0 ui
=
αi ui
. Definamos U1 m i=1 αi ui =
Pm i=1 i=1
i=1 αi U0 ui . La igualdad entre estas normas implica que U1 está bien definido
en el espacio M1 generado por S1 . Por (1.2), U1 es una isometrı́a lineal en M1
y, por tanto, es acotada. Por continuidad, podemos extender a U1 a una única
isometrı́a lineal U en la cerradura de M1 , que es H1 . Si V es otra extensión,
entonces U −V es un operador acotado que se anula en S1 y, por tanto, U = V .
Dadas las matrices A = (ai,j ) y B = (bi,j ) (que pueden ser complejas) del
mismo tamaño, se define su producto de Hadamard como la matriz A • B tal
que (A • B)i,j = (ai,j bi,j ). Es decir, el producto puntual de A y B.
Lema 1.6. Sean A y B dos matrices cuadradas complejas del mismo tamaño;
digamos n. Si x, y ∈ Cn , entonces hx, (A • B)yi = tr(Dx∗ AT Dy B).
Lema 1.7 (de Schur sobre el Producto de Hadamard). Sean A y B dos matri-
ces semidefinidas positivas de tamaño n. Entonces su producto de Hadamard
es semidefinido positivo.
Pn
De este modo, si f ∈ W , con f = i=1 αi 1ui para algunos αi escalares y
ui ∈ H, tendremos
X X
F (f, f ) = F αi 1 u i , αi 1 u i
X
= αi αj F (1ui , 1uj )
i,j
X
= αi αj K(ui , uj ).
i,j
≥ 0.
e
hλ(u), λ(v)i = hΠ(λ(u)), e
Π(λ(v))i
= F (1u , 1v )
= K(u, v).
8 Preliminares
Esto prueba (i) y (ii). Para la existencia del isomorfismo U basta con
aplicar el Teorema 1.5.
n
O
El conjunto {⊗ni=1 ui |ui ∈ Hi , i = 1, . . . , n} es total en Hi .
i=1
|hu, v ⊗ v2 i|
* 1 ! +
Xm1 X m1
= u, v1 − ηj u1,j + ηj u1,j ⊗ v2
j=1 j=1
* ! + * ! +
Xm1 m1
X
= u, v1 − η u
j 1,j ⊗ v 2 + u, η u
j 1,j ⊗ v 2
j=1 j=1
* ! + * ! +
Xm1 m1
X
≤ u, v1 − ηj u1,j ⊗ v2 + u, ηj u1,j ⊗ v2
j=1 j=1
!
* ! +
Xm1
Xm1
≤ kuk
v1 − ηj u1,j ⊗ v2
+ u, ηj u1,j ⊗ v2
j=1 j=1
* ! +
X m1
m1
X
= kuk
v1 − ηj u1,j
kv2 k + u, ηj u1,j ⊗ v2
j=1 j=1
10 Preliminares
* ! +
Xm1
< ǫkukkv2 k + u, ηj u1,j ⊗ v2
j=1
* ! !+
Xm1 Xm2 m2
X
= ǫkukkv2 k + u, ηj u1,j ⊗ v2 − η̃k u2,k + η̃k u2,k
j=1 k=1 k=1
* ! !+
X m1 Xm2
< ǫkukkv2 k + ǫkuk + u, ηj u1,j ⊗ η̃k u2,k
j=1 k=1
m m
X 1 X 2
= ǫkukkv2 k + ǫkuk + ηj η̃k hu, u1,j ⊗ u2,k i
j=1 k=1
= ǫkukkv2 k + ǫkuk,
Más aun,
( n )
Y
kT k = máx λi,ji , 1 ≤ ji ≤ mi
i=1
n
Y
= máx{|λi,j |, 1 ≤ j ≤ mi }
i=1
n
Y
= kTi k.
i=1
Nn de Hilbert y Ti ∈ B(H
Proposición 1.13. Sean Hi espacios
n
i ), 1 ≤ i ≤ n.
n
Entonces existe un único T ∈ B ( i=1 Hi ) que satisface
Qn T ⊗i=1 ui = ⊗i=1 Ti ui
para todos los ui ∈ Hi , 1 ≤ i ≤ n. Más aun, kT k = i=1 kTi k.
Proposición 1.14.
N Sean Hi espacios
N de Hilbert y Si , Ti ∈ B(Hi ), 1 ≤ i ≤ n.
Tomemos S = ni=1 Si y T = ni=1 Ti . Entonces:
Supongamos ahora que los eventos del i-ésimo experimento son descritos
por los elementos
Nn de P(Hi ) para un cierto Hi de Hilbert, con i = 1, . . . , n.
Sea H = i=1 H i . Si Pi ∈ P(Hi ), entonces veremos al evento Pi como el
elemento Pbi = I ⊗ I ⊗ · · · ⊗ I ⊗ Pi ⊗ I ⊗ · · · ⊗ I. De esta forma, Pbi ∈ P(H)
Nn Qn b
e interpretamos a P = i=1 Pi = i=1 Pi como el evento en que ocurren
simultáneamente los Pi en el i-ésimo experimento. Estos son los equivalentes
en Probabilidad Cuántica a los rectángulos medibles en productos de espa-
cios muestrales.
n Nn
por los elementos de P(H ⊗ ). Si Pi ∈ P(H), 1 ≤ i ≤ n, entonces i=1 Pi
significa el evento de que ocurran simultáneamente los eventos Pi . Si las
partı́culas i, j, con i < j, son intercambiadas y el cambio no puedeN serN detec-
tado,
N N entonces no debemos
N N poder
N Ndistinguir entre
N N los eventos P
N 1 N · · · Pn y
P1 · · · Pi−1 Pj Pi+1 · · · Pj−1 Pi Pj+1 · · · Pn , donde
en el segundo producto las posiciones de Pi y Pj se han intercambiado, pero
n
es claro que podemos hacer esta distinción. Esto sugiere que el espacio H ⊗
es demasiado grande y, por lo tanto, admite muchas proyecciones, por lo
que no es apto para describir eventos de n partı́culas idénticas. Debemos
restringirnos a un espacio menor que sea “invariante bajo permutaciones”.
Sean
s
H
n n
= {u ∈ H ⊗ |Uσ (u) = u para toda σ ∈ Sn } (1.8)
a
H
n n
= {u ∈ H ⊗ |Uσ (u) = ǫ(σ)u para toda σ ∈ Sn }, (1.9)
n
Ahora, necesitamos una forma de enviar los elementos de H ⊗ a los sub-
espacios anteriores:
14 Preliminares
n
Proposición 1.15. Sean E y F operadores en H ⊗ dados por
1 X
E = Uσ (1.10)
n! σ∈S
n
1 X
F = ǫ(σ)Uσ . (1.11)
n! σ∈S
n
1 X
hF (u1 ⊗ · · · ⊗ un ), F (v1 ⊗ · · · ⊗ vn )i = ǫ(σ)Πni=1 hui , vσ(i) i
n! σ∈S
n
1
= det((hui , vj i))
n!
Fs (H), y por tanto E(H) es denso. De esta forma, el ente (H, e, E(H), Fs(H))
es llamado Espacio de Fock Simétrico. Para brevedad, en este trabajo el con-
junto Fs (H) será denotado por F (H), y al espacio de Fock simétrico lo
nombraremos simplemente Espacio de Fock .
es no vacı́o.
−1
Observemos que cada Fi,j es continua y, por lo tanto, Fi,j [{0}] es cerrado
c
para cualquier par de ı́ndices. Ası́, U es cerrado por ser unión finita de cerra-
dos. Si U c = H, entonces H es una unión finita de cerrados. Por el Teorema
−1
de Categorı́a de Baire (Teorema 1.16), tendremos que algún Fi0,j0 [{0}] tiene
16 Preliminares
interior no vacio.
−1
Por otra parte, es fácil verificar que Fi,j [{0}] es un subespacio vectorial
de H. Pero el único subespacio vectorial de H con interior no vacı́o es el
−1
mismo H, ası́ que Fi0,j0 [{0}] = H. Esto signica que para cualquier u ∈ H, se
tiene hu, fi0 − fj0 i = 0. Por lo tanto fi0 = fj0 , lo cual es una contradicción.
Nótese que este resultado sigue siendo cierto para cualquier colección
{fi }i∈N . Mostremos ahora el importante
Teorema 1.18. Sea (H, e, E(H), F (H)) un espacio de Fock. Entonces los
elementos de e(H) son linealmente independientes.
zθi
donde cada gi : C → C viene
Pn dada por gi (z) = e . Como z fue arbritaria,
hemos probado que 0 = i=1 zi gi (igualdad de funciones). Pero cada θi es
distinta, de modo que las gi son linealmente independientes. Por lo tanto
zi = 0 para cualquier i ∈ {1, 2, . . . , n}, y eso significa que los e(fi )’s son
linealmente independientes, que es lo que se querı́a demostrar.
L∞ f√⊗n
Como e(f ) = n=0 n!
y
⊗2 ⊗n
En forma de coordenadas e(f ) = 1, f, f√2! , . . . , f√n! , · · · .
Comentarios
Los Espacios de Fock por sı́ mismos merecen un estudio propio. Para
conocer más sobre ellos, puede consultarse [16], en donde la teorı́a se desa-
rrolla a través de métodos de Variable Compleja.
Capı́tulo 2
21
22 El Cálculo Estocástico Cuántico
1 k+1
Sean λ = 2
− kuk2
y f = λu. Entonces
1
k ≥ kuk2 − Rehu, f i
2
2.1 Algunos Operadores en el Dominio Exponencial 23
1
= kuk2 − Rehu, λui
2
1
= kuk2 − λkuk2
2
1
= − λ kuk2
2
1 1 k+1
= − + kuk2
2 2 kuk2
= k + 1.
† (u)
Esta contradicción muestra que ea no es acotado para u 6= 0.
b) Demostremos que Γ(S) es acotado si kSk ≤ 1. Supongamos que kSk ≤ 1.
Sea f ∈ H. Notemos que
!
2
2
Xn
X n
Γ(S) αi e(fi )
=
αi e(Sfi )
i=1 i=1
X
= αi αj he(Sfi ), e(Sfj )i
i,j
X
= αi αj ehSfi ,Sfj i
i,j
X ∞
X hSfi , Sfj ik
= αi αj
i,j k=0
k!
∞
XX hSfi , Sfj ik
= αi αj
i,j k=0
k!
XX ∞
αi αj ⊗k ⊗k ⊗k ⊗k
= hS fi , S fj i
i,j k=0
k!
∞
X X
1
= αi αj hS ⊗k fi⊗k , S ⊗k fj⊗k i
k=0
k! i,j
n
2
1
X∞ X
=
αi S ⊗k fi⊗k
k!
k=0 i=1
!
2
1
X∞ n
⊗k X ⊗k
=
S αi fi
k!
k=0 i=1
24 El Cálculo Estocástico Cuántico
2
1
∞
X n
X
≤
αi fi⊗k
k!
k=0
i=1
∞
X 1 X
= αi αj hfi⊗k , fj⊗k i
k! i,j
k=0
X∞
1 X
= αi αj hfi , fj ik
k=0
k! i,j
∞
XX hfi , fj ik
= αi αj
i,j k=0
k!
X ∞
X hfi , fj ik
= αi αj
i,j k=0
k!
X
= αi αj ehfi ,fj i
i,j
X
= αi αj he(fi ), e(fj )i
i,j
2
Xn
=
αi e(fi )
.
i=1
k k kf k2
e 2 ke(f )k = e 2 e 2
≥ kΓ(S)e(f )k
= ke(Sf )k
kSf k2
= e 2 ,
2 3
Ejemplo 2.2. Sabemos que F (C) = ℓ2 (C) y e(z) = 1, z, √z 2! , √z 3! , · · · .
Entonces
1
(e(z
h
+ h) − e(z))
1 (z + h)2 (z + h)3 z2 z3
= h 1, z + h, √ , √ , · · · − 1, z, √ , √ , · · ·
2! 3! 2! 3!
2 2 3 3
(z + h) − z (z + h) − z
= h1 0, h, √ , √ ,···
2! 3!
(z + h)2 − z 2 1 (z + h)3 − z 3 1
= 0, 1, √ , √ ,··· .
h 2! h 3!
Como la convergencia débil en ℓ2 (N) es la convergencia entrada a entrada,
haciendo h → 0, tenemos
1 2z 3z 2
lı́m (e(z + h) − e(z)) = 0, 1, √ , √ , · · · .
h→0 h 2! 3!
Es decir, cuando h → 0, la red h1 (e(z + h) − e(z)) h converge débilmente
a
2z 3z 2
0, 1, √ , √ , · · · .
2! 3!
Un cálculo análogo muestra que
1
2z 3z 2
(e(z + h) − e(z))
→
0, 1, √ , √ , · · ·
h
2! 3!
26 El Cálculo Estocástico Cuántico
λ|u|. Luego, F (< u >) ∼ = F (C) = ℓ2 (N), de modo que con todo derecho
podemos escribir las igualdades
Por tanto,
e(exp(zS)f ) − e(f ) 1
= (e(ez Sf ) ⊗ e(f − Sf ) − e(Sf ) ⊗ e(f − Sf ))
z z
28 El Cálculo Estocástico Cuántico
e(ez Sf ) − e(Sf )
= ⊗ e(f − Sf ),
z
d d
Denotemos por e(f + zu) y e(exp(Sf )f ) a los lı́mites ante-
dz z=0 dz z=0
riores, respectivamente. Para cada u ∈ H y cada proyección ortogonal S ∈
B(H), definamos los operadores a† (u) y λ(S) en un dominio D que contenga
a los vectores exponenciales cumpliendo
d d
†
a (u)e(f ) = e(f + zu) y λ(S)e(f ) = e(exp(zS)f ) .
dz z=0 dz z=0
para cualquier vector exponencial e(f ). En ambos casos, los resultados pro-
puestos se siguen por extensión lineal.
Proposición 2.6. a† (u) y a(u) son cerrables. Por lo tanto existen a† (u) y
a(u).
Nótese que el Teorema 2.5 y la Proposición anterior implican que (a† (u))∗ ⊃
a(u) y (a(u))∗ ⊃ a† (u). Como a(u) ⊆ a(u) y a† (u) ⊆ a† (u), concluimos
(a† (u))∗ e(f ) = a(u)e(f ) y (a(u))∗ e(f ) = a† (u)e(f ) para cualquier e(f ) ∈ E.
Demostración.
hΦ(z, u, S, v)e(f ), Φ(z, u, S, v)e(g)i
† †
= hzea (u) Γ(S)ea(v) e(f ), zea (u) Γ(S)ea(v) e(g)i
† †
= |z|2 hea (u) Γ(S)ehv,f i e(f ), ea (u) Γ(S)ehv,gi e(g)i
† †
= |z|2 ehv,f i+hv,gi hea (u) Γ(S)e(f ), ea (u) Γ(S)e(g)i
† †
= |z|2 ehf,vi+hv,gi hea (u) e(Sf ), ea (u) e(Sg)i
= |z|2 ehf,vi+hv,gi he(Sf + u), e(Sg + u)i
= |z|2 ehf,vi+hv,gi ehSf +u,Sg+ui
= |z|2 ehf,vi+hv,gi+hSf +u,Sg+ui
2
= |z|2 ehf,vi+hv,gi+hSf,Sgi+hSf,ui+hu,Sgi+kuk .
1 2
En particular, lo anterior es cierto para las cuartetas (e− 2 kuk , tu, I, −tu)
y (1, 0, U, 0), para cualesquiera t ∈ R y u ∈ H, por lo que, si tomamos a t
como parámetro, obtenemos
[W1 (u)Γ(Us )W−1 (u)][W1 (u)Γ(Ut )W−1 (u)] = W1 (u)Γ(Us Ut )W−1 (u).
Wt (u) − I
lı́m φ = (a† (u) − a(u))φ.
t→0 t
34 El Cálculo Estocástico Cuántico
Wt (u) − I
e(f )
t
1
= [Wt (u)e(f ) − e(f )]
t
1 1 2
= [Φ(e− 2 ktuk , tu, I, −tu)e(f ) − e(f )]
t
1 − 1 ktuk2 a† (tu)
= [e 2 e Γ(I)ea(−tu) e(f ) − e(f )]
t
1 − 1 ktuk2 a† (tu)
= [e 2 e Γ(I)eh−tu,f i e(f ) − e(f )]
t
1 − 1 ktuk2 h−tu,f i a† (tu)
= [e 2 e e e(f ) − e(f )]
t
1 − 1 ktuk2 −htu,f i a† (tu)
= [e 2 e e(f ) − e(f )]
t
1 − 1 ktuk2 −htu,f i
= [e 2 e(f + tu) − e(f )]
t
1 − 1 ktuk2 −htu,f i
= [e 2 e(f + tu) − e(f )]
t
1 − 1 ktuk2 −htu,f i
= [e 2 [e(f + tu) − e(f ) + e(f )] − e(f )]
t
1 − 1 ktuk2 −htu,f i 1 2
= [e 2 [e(f + tu) − e(f )] + (e− 2 ktuk −htu,f i − 1)e(f )]
t
1 2 2
− 12 ktuk2 −htu,f i e(f + tu) − e(f ) e− 2 t kuk −thu,f i − 1
= e + e(f )
t t
1 2 2
→ e0 a† (u)e(f ) + [e− 2 t kuk −thu,f i (−tkuk − hu, f i)]|t=0e(f )
= a† (u)e(f ) − hu, f ie(f )
= a† (u)e(f ) − a(u)e(f )
= [a† (u) − a(u)]e(f ).
Γ[exp(itS)] − I
lı́m φ = λ(iS)φ,
t→0 t
W−1 (u)Γ(exp(itS))W1 (u) − I
lı́m φ = (a† (u) + λ(iS) − a(u))φ.
t→0 t
Teorema 2.13.
t2 2 itS −I)ui
he(0), Wt (u)e(0)i = e− 2 kuk y he(0), W−1 (u)Γ(eitS )W1 (u)e(0)i = ehu,(e .
Demostración.
1 2
he(0), Wt (u)e(0)i = he(0), Φ(e− 2 ktuk , tu, I, −tu)e(0)i
1 2 † (tu)
= he(0), e− 2 ktuk ea ea(−tu) e(0)i
− 21 ktuk2 † (tu)
= he(0), e ea e(0)i
− 21 ktuk2
= he(0), e e(tu)i
− 21 ktuk2
= e he(0), e(tu)i
− 21 ktuk2
= e eh0,tui
2
− t2 kuk2
= e .
1 2
he(0), W−1 (u)Γ(eitS )W1 (u)e(0)i = e− 2 kuk he(0), W−1 (u)Γ(eitS )e(u)i
1 2
= e− 2 kuk he(0), W−1 (u)e(eitS u)i
2 itS ui
= e−kuk ehu,e he(0), e(eitS u − u)i
itS
= e−hu,ui+hu,e ui
itS
= ehu,(e −I)ui .
Teorema 2.14. [Versión diferencial de los generadores de Stone] Sea {Ut }t∈R
una familia uniparamétrica fuertemente continua de operadores unitarios en
un espacio de Hilbert. Entonces existe un operador autoadjunto S no nece-
sariamente acotado con dominio en H tal que Ut = eitS para todo t ∈ R.
Ası́,
X n
X n
zi e(hi ) − φ
=
zi [e(hi ) − e(fi ) + e(fi )] − φ
i=1
i=1
X n Xn
=
zi [e(hi ) − e(fi )] + zi e(fi ) − φ
i=1
i=1
X n
X n
≤
zi [e(hi ) − e(fi )|
+
zi e(fi ) − φ
i=1 i=1
38 El Cálculo Estocástico Cuántico
n
X ǫ
< |zi |ke(hi ) − e(fi )k +
i=1
2
n
X ǫ ǫ
< |zi | +
i=1
2n|zi | 2
= ǫ.
Pn
Como i=1 zi e(hi ) ∈ E∗ , este conjunto es denso en F (H).
Como S † = S ∗ |E∗ , entonces D(S † ) = E∗ . Por tanto basta con ver que
E∗ ⊆ D((S †)∗ ). Sea f ∈ Loc. Por definición, e(f ) estará en D((S † )∗ ) si y solo
si la aplicación u 7→ he(f ), S † ui, de D(S † ) a C, es continua en 0 ∈ D(S † ).
Luego,
A(t) = a(1[0,t] )
A† (t) = a† (1[0,t] )
Λ(t) = λ(m(1[0,t] )).
Dado que los anteriores son casos particulares de aniquilación, creación y
segunda cuantización diferencial, entonces son admisibles y, además, A(t)† =
A(t)∗ |E∗ = [a(1[0,t] )]∗ |E∗ = a† (1[0,t] ) = A† (t). Luego, tiene sentido hablar de
los procesos A, A† y Λ. De hecho:
= h1[0,t] , f ie(f )
Z t
= f (x) dx [e(ft ) ⊗ e(f t )]
0
Z t
= f (x) dx · e(ft ) ⊗ e(f t )
Z0
= ft (x) dx · e(ft ) ⊗ e(f t ).
R+
N
Por lo tanto RA(t) = At I, donde At es la extensión lineal a todo Et del
mapeo e(ft ) 7→ ft dx · e(ft ), y ası́, A es adaptado.
Ahora veamos que los procesos anteriores son martingalas cuánticas. Para
ello, usaremos el Teorema 2.5. Sean s, t ∈ R+ , con s ≤ t, y f, g ∈ H∗ , tales
que ambas funciones se anulan en (s, ∞). Entonces
he(f ), A(t)e(g)i = e(f ), a(1[0,t] )e(g)
42 El Cálculo Estocástico Cuántico
Rt
Sea As (t)e(f t ) = s f dx · e(f t ). Extendamos linealmente a todo E∗t , y
denotemos de la misma forma a esta extensión. La admisibilidad de As (t) es
fácil de probar.
44 El Cálculo Estocástico Cuántico
Lema 2.22. Sea E = 1[t1 ,t2 )N E(t1 ) un proceso elemental. Entonces es adap-
tado si y solo si E(t1 ) = Et1 I, teniendo D(Et1 ) = E∗t1 .
Demostración. Supongamos
N que E es adaptado. Para Ncada tiempo t se da la
igualdad E(t) = Et I. En particular, E(t1 ) = Et1 I.
N
SupongamosN ahora que E(t1 ) = Et1 I. Sea t ≥ 0. Si t ∈
/ [tN
1 , t2 ), entonces
E(t) = Θ = Θ I. En caso contrario, E(t) = E(t1 ) = Et1 I, que es lo
que se querı́a probar.
2.3 Integración Estocástica Cuántica de Procesos Simples 45
donde este producto es el mismo que ya hemos definido. Nótese que en esta
situación, la integral no depende del tiempo.
O brevemente,
Z t
he(f ), M(t)e(g)i = he(f ), [βK (f, g)](s)E(s)e(g)i ds, (2.7)
0
2.3 Integración Estocástica Cuántica de Procesos Simples 49
Z t
donde M(t) = E(s) dK(s), siendo K cualquier martingala fundamental.
0
En conclusión:
Z t Z t
e(f ), E(s) dK(s) e(g) = he(f ), βK (f, g)E(s)e(g)i ds.
0 0
2
Nótese que aunque se llaman procesos simples, en realidad son los análogos a las
funciones escalonadas y no a las funciones simples de la Teorı́a de la Integral de Lebesgue.
50 El Cálculo Estocástico Cuántico
Xn Z t
= he(f ), [βK (f, g)](s)Ei (s)e(g)i ds
i=1 0
Z t n
X
= [βK (f, g)](s) he(f ), Ei (s)e(g)i ds
0 i=1
Z t Xm
= [βK (f, g)](s) he(f ), Fj (s)e(g)i ds
0 j=1
* m Z t
+
X
= e(f ), Fj (s) dK(s) e(g)
j=1 0
= he(f ), N(t)e(g)i.
Esto concluye la prueba. Nótese el uso de la Primera Forma Fundamental
en las tercera y penúltima lı́neas.
2.3 Integración Estocástica Cuántica de Procesos Simples 51
Obsérvese que lo dicho en el Corolario 2.26 sigue siendo válido para pro-
cesos simples. De la definición de integral de procesos simples podemos ver
que ciertas propiedades deseables de la integral se cumplen.
Rt Rt
0
zE(s) dA(s) = z 0
E(s) dA(s).
donde
0 si K1 = A ó K2 = A
1 si K1 = A† y K2 = A†
δK1 ,K2 (f, g)(s) = g(s) si K1 = A† y K2 = Λ (2.8)
f (s) si K1 = Λ y K2 = A†
f (s)g(s) si K1 = Λ y K2 = Λ.
Z t
= {hM1 (s)e(f ), βK2 (f, g)F (s)e(g)i
0
+ hβK1 (g, f )E(s)e(f ), M2(s)e(g)i
+ h[γK1 (f )] (s)E(s)e(f ), [γK2 (g)] (s)F (s)e(g)i} ds, (2.11)
donde
1 si K = A†
[γK (h)] (s) = h(s) si K = Λ (2.12)
0 si K = A.
Demostración. Supongamos que E y F son elementales. Si las fórmulas son
ciertas en este caso, lo serán, por aditividad, para los casos de procesos sim-
ples. Ası́, sean E = 1[a,b) E(a) y F = 1[c,d)F (c). Más aun, podemos suponer,
sin perder generalidad, que los intervalos [a, b) y [c, d) son disjuntos o coinci-
dentes dada la aditividad de la integral.
Notemos que bajo estas condiciones, la fórmula debe ser demostrada para
18 casos ( 9 casos cuando [a, b) y [c, d) son disjuntos, y otros nueve cuando
son coincidentes):
K1 A A A A† A† A† Λ Λ Λ
K2 A A† Λ A A† Λ A A† Λ
Veamos el caso en que los intervalos [a, b) y [c, d) son disjuntos. Supon-
gamos que b ≤ c. El caso d ≤ a es análogo. Tomemos un tiempo t < c.
Entonces M2 (t) = Θ y el lado izquierdo de (2.11) se anula. Pero si s ≤ t < c,
entonces F (s) = Θ = M2 (s), por lo cual cada sumando del lado derecho se
anula y se tiene la igualdad.
Z t
= E(s) dK1 (s) e(f ), F (c)(K2 (t ∧ d) − K2 (c))e(g)
0
Z t O
c
= E(s) dK1 (s) e(f ), Fc K2 (t ∧ d) e(g)
0
Z t O O
c
= E(s) dK1 (s) I e(f ), Fc K2 (t ∧ d) e(g)
0 c
Z t
= E(s) dK1 (s) e(fc ), Fc e(gc ) he(f c ), K2c (t ∧ d)e(g c )i
0
Z t c
= E(s) dK1 (s) e(fc ), Fc e(gc ) he(f c ), e(g c )ihe(f c ), e(g c )i−1
0 c
×he(fc ), e(gc )i−1 he(fc ), e(gc )i he(f c ), K2c (t ∧ d)e(g c)i
Z t
c c
= E(s) dK1 (s) e(fc ) ⊗ Ie(f ), Fc e(gc ) ⊗ Ie(g )
0 c
c c −1
×he(f ), e(g )i
×he(fc ), e(gc )i−1 he(fc ) ⊗ e(f c ), Ie(gc ) ⊗ K2c (t ∧ d)e(g c )i
= hM1 (c)e(f ), F (c)e(g)i he(f ), e(g)i−1
×he(f ), (K2 (t ∧ d) − K2 (c))e(g)i
Z t∧d
−1
= hM1 (c)e(f ), F (c)e(g)i he(f ), e(g)i [βK2 (f, g)](s) ds he(f ), e(g)i
c
Z t∧d
= [βK2 (f, g)](s) ds hM1 (c)e(f ), F (c)e(g)i
c
Z t
= hM1 (s)e(f ), [βK2 (f, g)](s)F (s)e(g)i ds.
0
La última lı́nea de la ecuación (2.13) junto con el Lema 2.30 nos dice que
Análogamente,
X
hE(c)e(f ), F (c)e(g)i = lı́m ηj hE(c)e(f ), e(gj )i. (2.16)
X Z t Z t
= lı́m ξj he(fj ), F (c)e(g)i βK2 (f, g)(s2) ds2 βK † (f, g)(s1 ) ds1
1
c c
X Z t Z t
= lı́m ξj βK † (f, g)(s1) βK2 (f, g)(s2)he(fj ), F (c)e(g)i ds2 ds1
1
c c
X Z t Z t
= lı́m ξj βK † (f, g)(s1) βK2 (f, g)(s2 )he(fj ), F (s2 )e(g)i ds2 ds1
1
c c
X Z t Z t
= lı́m ξj βK † (f, g)(s1) βK2 (fj , g)(s2)he(fj ), F (s2 )e(g)i ds2 ds1
1
c c
X Z t Z t
= lı́m ξj βK † (f, g)(s1) βK2 (fj , g)(s2)he(fj ), F (s2 )e(g)i ds2 ds1
1
c 0
X Z t Z t
= lı́m ξj βK † (f, g)(s1) e(fj ), F (s2 ) dK2 (s2 ) e(g) ds1
1
c 0
X Z t
= lı́m ξj βK † (f, g)(s1) he(fj ), M2 (t)e(g)i ds1
1
c
X Z t
= lı́m ξj βK † (f, g)(s1) he(fj ), M2 (s1 )e(g)i ds1
1
c
Z t
= βK † (f, g)(s1)hE(c)e(f ), M2 (s1 )e(g)i ds1
1
c
Z t
= βK † (f, g)(s1)hE(s1 )e(f ), M2 (s1 )e(g)i ds1
1
c
Z t
= βK † (f, g)(s)hE(s)e(f ), M2(s)e(g)i ds
1
0
Z t
= hβK † (f, g)(s)E(s)e(f ), M2 (s)e(g)i ds
1
0
Z t
= hβK1 (g, f )(s)E(s)e(f ), M2(s)e(g)i ds.
0
En conclusión,
Z t Z t
hE(c)e(f ), F (c)e(g)i βK2 (f, g)(s) ds βK † (f, g)(s) ds
1
c c
Z t
= hβK1 (g, f )(s)E(s)e(f ), M2(s)e(g)i ds. (2.17)
0
Por otra parte, usando la igualdad (2.16) en el segundo sumando del lado
2.3 Integración Estocástica Cuántica de Procesos Simples 57
Z t Z t
hE(c)e(f ), F (c)e(g)i βK2 (f, g)(s) ds βK † (f, g)(s) ds
1
c c
X Z t Z t
= lı́m ηj hE(c)e(f ), e(gj )i βK2 (f, g)(s2 ) ds2 βK † (f, g)(s1) ds1
1
c c
X Z t Z t
= lı́m ηj βK2 (f, g)(s2 ) βK † (f, g)(s1)hE(c)e(f ), e(gj )i ds1 ds2
1
c c
X Z t Z t
= lı́m ηj βK2 (f, g)(s2 ) βK † (f, g)(s1)hE(s1 )e(f ), e(gj )i ds1 ds2
1
c c
X Z t Z t
= lı́m ηj βK2 (f, g)(s2 ) βK † (f, gj )(s1 )hE(s1 )e(f ), e(gj )i ds1 ds2
1
c c
X Z t Z t
= lı́m ηj βK2 (f, g)(s2 ) βK † (f, gj )(s1 )hE(s1 )e(f ), e(gj )i ds1 ds2
1
c c
X Z t Z t
= lı́m ηj βK2 (f, g)(s2 ) βK † (f, gj )(s1 )he(f ), E † e(gj )i ds1 ds2
1
c
X Z t c Z t
† †
= lı́m ηj βK2 (f, g)(s2 ) e(f ), E (s1 ) dK1 (s1 ) e(gj ) ds2
c c
X Z t D
†
E
= lı́m ηj βK2 (f, g)(s2 ) e(f ), M1 (t)e(gj ) ds2
c
X Z t
= lı́m ηj βK2 (f, g)(s2 ) hM1 (t)e(f ), e(gj )i ds2
c
X Z t
= lı́m ηj βK2 (f, g)(s2 ) hM1 (s2 )e(f ), e(gj )i ds2
c
Z t
= βK2 (f, g)(s2 ) hM1 (s2 )e(f ), F (c)e(g)i ds2
c
Z t
= βK2 (f, g)(s2 ) hM1 (s2 )e(f ), F (s2 )e(g)i ds2
c
Z t
= βK2 (f, g)(s) hM1 (s)e(f ), F (s)e(g)i ds
0
Z t
= hM1 (s)e(f ), βK2 (f, g)(s)F (s)e(g)i ds.
0
58 El Cálculo Estocástico Cuántico
En conclusión:
Z t Z t
hE(c)e(f ), F (c)e(g)i βK2 (f, g)(s) ds βK † (f, g)(s) ds
1
c c
Z t
= hM1 (s)e(f ), βK2 (f, g)(s)F (s)e(g)i ds. (2.18)
0
donde γKi es como en (2.12). Ası́, sustituyendo las ecuaciones (2.17), (2.18)
y (2.19) en los sumandos de la igualdad (2.14), se tiene lo pedido.
Z t nD h i E
= M1 (s)e(f ), f (s)E2 (s) + f (s)g(s)F2 (s) + g(s)G2(s) e(g)
0
Dh i E
+ g(s)E1 (s) + g(s)f (s)F1 (s) + f (s)G1 (s) e(f ), M2 (s)e(g)
+ h[E1 (s) + f (s)F1 (s)] e(f ), [E2 (s) + g(s)F2 (s)] e(g)i} ds.
Clásica.
Z t
hJ1 (t)e(f ), J2 (t)e(g)i = hJ1 (s)e(f ), F (s)e(g)i ds
0
Z t
+ hE(s)e(f ), J2 (s)e(g)i ds.
0
Z t
Proposición 2.34. Sean J y M los procesos dados por J(t) = F (s) dT (s)
Z t 0
hM(t)e(f ), J(t)e(g)i
Z t
= hM(s)e(f ), F (s)e(g)i ds
0
Z t
+ h[βK (g, f )](s)E(s)e(f ), J(s)e(g)i ds (2.21)
0
hJ † (t)e(f ), M(t)e(g)i
62 El Cálculo Estocástico Cuántico
Z t
= hF † (s)e(f ), M(s)e(g)i ds
0
Z t
+ hF † (s)e(f ), [βK (f, g)](s)E(s)e(g)i ds. (2.22)
0
Z t
+ (s − a)[βK (g, f )](s)hE(a)e(f ), F (a)e(g)i ds
Z ta
= hM(s)e(f ), F (a)e(g)i ds
a
Z t
+ (s − a)[βK † (f, g)](s)hE(a)e(f ), F (a)e(g)i ds,
a
Rt
lo cual demuestra que la función t 7→ 0 hM(s)e(f ), F (s)e(g)i ds es absoluta-
mente continua y derivable, con derivada
Demostración.
Z t Sean M̃i y JZi , con i ∈ {1, 2}, los procesos dados por M̃i (t) =
t
Ei (s) dKi (s) y Ji (t) = Hi (s) dT (s). Entonces Mi = M̃i + Ji . Luego,
0 0
por la Proposición 2.34:
Z t
+ h[γK1 (f )] (s)e(f ), [γK2 (g)] (s)e(g)i ds
Z t0
= h[M̃1 (s) + J1 (s)]e(f ), [βK2 (f, g)E2 (s) + H2 (s)]e(g)i ds
0
Z t
+ h[βK1 (g, f )E1(s) + H1 (s)]e(f ), [M̃2 (s) + J2 (s)]e(g)i ds
Z0 t
+ h[γK1 (f )] (s)e(f ), [γK2 (g)] (s)e(g)i ds
Z t0
= hM1 (s)e(f ), [βK2 (f, g)E2(s) + H2 (s)]e(g)i ds
0
Z t
+ h[βK1 (g, f )E1(s) + H1 (s)]e(f ), M2 (s)e(g)i ds
Z0 t
+ h[γK1 (f )] (s)e(f ), [γK2 (g)] (s)e(g)i ds,
0
Una vez que tenemos nuestra Segunda Forma Fundamental con el proceso
de tiempo incluido, presentamos el análogo para la Primera Forma Funda-
mental:
66 El Cálculo Estocástico Cuántico
s 7→ kM(s)e(f )k2
d
kM(s)e(f )k2
ds
= 2RehM(s)e(f ), βK (f, f )(s)E(s)e(f )i + k [γK (f )] (s)e(f )k2
= 2RehβK (f, f )(s)M(s)e(f ), E(s)e(f )i + k [γK (f )] (s)e(f )k2
para casi toda s ∈ [0, t]. Usando la desigualdad 2Rehψ1 , ψ2 i ≤ kψ1 k2 + kψ2 k2 ,
válida en cualquier espacio de Hilbert, con ψ1 = βK (f, f )(s)M(s)e(f ) y ψ2 =
E(s)e(f ), obtenemos:
d
kM(s)e(f )k2
ds
≤ |βK (f, f )(s)|2kM(s)e(f )k2 + kE(s)e(f )k2 + k [γK (f )] (s)e(f )k2
= |f (s)|2kM(s)e(f )k2 + kE(s)e(f )k2 + k [γK (f )] (s)e(f )k2
= |f (s)|2 kM(s)e(f )k2 + ckE(s)e(f )k2
Z s
2 d
= exp − |f (r)| dr kM(s)e(f )k2
0 ds
Z s
− exp − |f (r)| dr |f (s)|2kM(s)e(f )k2 ,
2
0
tenemos
Z s
2 d
exp − |f (r)| dr kM(s)e(f )k2
ds
Z0 s
≤ exp − |f (r)| dr |f (s)|2kM(s)e(f )k2
2
0 Z s
+c exp − |f (r)| dr kE(s)e(f )k2 ,
2
0
por lo cual
Z s
d 2 2
exp − |f (r)| dr · kM(s)e(f )k
ds 0
Z s
≤ c exp − |f (r)| dr kE(s)e(f )k2 .
2
0
o equivalentemente,
kM(t)e(f )k2
Z t Z t Z s
2
≤ c exp |f (r)| dr · exp − |f (r)| dr kE(s)e(f )k2 ds
2
0
Z t Z0 t 0
Rt Rt
Pero en esta última expresión se tiene s
|f (r)|2 dr ≤ 0
|f (r)|2 dr, de
modo que
Z t Z t
2
kM(t)e(f )k ≤ c exp |f (r)| dr kE(s)e(f )k2 ds
2
0
Z t 0 Z t
2
= c exp |f (r)| dr kE(s)e(f )k2 ds,
0 0
Demostración.
R En la Segunda Forma Fundamental, sean g = f y M1 = M2 =
F dΛ. Análogamente al proceso para demostrar los estimados anteriores,
tenemos
d
kM(s)e(f )k2 = 2RehM(s)e(f ), |f (s)|2F (s)e(f )i + |f (s)|2kF (s)e(f )k2
ds
≤ kM(s)e(f )k2 + (|f (s)|2 + |f (s)|4)kF (s)e(f )k2 .
d −s
(e kM(s)e(f )k2 ) ≤ e−s (|f (s)|2 + |f (s)|4)kF (s)e(f )k2 ,
ds
70 El Cálculo Estocástico Cuántico
lo cual implica
Z t
2 t 2 4
kM(t)e(f )k ≤ e sup {|f (s)| + |f (s)| } kF (s)e(f )k2 ds
0≤s≤t 0
Z t
= κ(f, t) kF (s)e(f )k2 ds,
0
Rt
Demostración. Sea M(t) = 0
E(s) dT (s). Por la Proposición 2.33:
Z t
2
kM(t)e(f )k 2
=
E(s) dT (s) e(f )
0
Z t
= hM(s)e(f ), E(s)e(f )i + hE(s)e(f ), M(s)e(f )i ds
0
Z t
= 2RehM(s)e(f ), E(s)e(f )i ds.
0
d
Luego, kM(s)e(f )k2 ≤ kM(s)e(f )k2 + kE(s)e(f )k2 . Ası́, derivando la
ds
expresión e−s kM(s)e(f )k2 , obtenemos
d −s
e kM(s)e(f )k2
ds
d
= e−s kM(s)e(f )k2 − e−s kM(s)e(f )k2
ds
≤ e−s kM(s)e(f )k2 + kE(s)e(f )k2 − e−s kM(s)e(f )k2
= e−s kE(s)e(f )k2 .
Integrando, y tomando
Z t en cuenta que M(0)e(f ) = 0, concluimos que
e−t kM(t)e(f )k2 ≤ e−s kE(s)e(f )k2 ds, o equivalentemente,
0
Z t
2
kM(t)e(f )k ≤ et−s kE(s)e(f )k2 ds
Z0 t
≤ et kE(s)e(f )k2 ds
0
Z t
t
= e kE(s)e(f )k2 ds.
0
Z Z s
2
≤ 2 exp |f (r)| dr kE(r)e(f )k2 dr
R+ 0
Z s
= 2 exp kf k2 kE(r)e(f )k2 dr
0
En resumen:
Z s
2ekf k2
kE(r)e(f )k2 dr si K = A ó K = A†
Z s
2
Z0 s
E(r) dK(r) e(f )
≤ κ(f, t) kE(r)e(f )k2 dr si K=Λ
0
Z s0
e t
kE(r)e(f )k2 dr si K = T.
0
n o
2
En conclusión, si tomamos Ψ(f, t) = máx 2ekf k , κ(f, t), et , se tiene lo
pedido.
R+ ∋ r 7→ he(g), E(r)e(f )i
converge en F (H).
74 El Cálculo Estocástico Cuántico
R s R s
sucesiones 0 En (r) dK(r) e(f ) n∈N y 0 Fn (r) dK(r) e(f ) n∈N convergen
al mismo lı́mite.
kA − Bk2
Z s Z s
2
=
lı́m
En (r) dK(r) e(f ) − Fn (r) dK(r) e(f )
n→∞
0 0
Z s
2
=
lı́m
En (r) − Fn (r) dK(r) e(f )
n→∞
0
Z s
≤ lı́m Ψ(f, s) k[En (r) − Fn (r)]e(f )k2 dr
n→∞
Z0 s
= Ψ(f, s) lı́m k[(En (r) − E(r)) + (E(r) − Fn (r))]e(f )k2 dr
n→∞ 0
Z s
= Ψ(f, s) lı́m k[En (r) − E(r)]e(f )k2 dr
n→∞ 0
Z s
+Ψ(f, s) lı́m k[Fn (r) − E(r)]e(f )k2 dr
n→∞ 0
Z s
+2Ψ(f, s) lı́m Reh[En (r) − E(r)]e(f ), [E(r) − Fn (r)]e(f )i dr
n→∞ 0
Z s
≤ 2Ψ(f, s) lı́m k[En (r) − E(r)]e(f )kk[Fn (r) − E(r)]e(f )k dr
n→∞ 0
≤ 2ψ(f, s) lı́m kEn − Ekf,s kFn − Ekf,s
n→∞
= 0.
Por lo tanto A = B.
Pero
Z s
2
kgn (s) − gm (s)k2H =
(En (r) − Em (r)) dK(r) e(f )
0
Z s
≤ ψ(f, t) k[En (r) − Em (r)]e(f )k2 dr
Z0 t
≤ ψ(f, t) k[En (r) − Em (r)]e(f )k2 dr,
0
de modo que
Z 1/2
p t
2
sup kgn (s) − gm (s)kH ≤ Ψ(f, t) k[En (r) − Em (r)]e(f )k dr .
s∈[0,t] 0
Nótese que el lado derecho de esta desigualdad tiende a 0. Por tanto, kgn −
gm k∞ → 0 cuando n, m → ∞, y esto muestra que {gn } es de Cauchy en el
espacio C([0, t], F (H)). Como este espacio es completo, entonces gn converge
uniformemente a g. Esto concluye la prueba.
R R
Teorema 2.47. Si E es integrable, entonces ( E dK)† = E † dK † .
Demostración. Supongamos que {En } aproxima a E. Por la Proposicion 2.46,
{En† } aproxima a E † . Sea g ∈ Loc.
Z t Z t
† † † †
e(g), E (s) dK (s) e(f ) = e(g), lı́m En (s) dK (s) e(f )
0 0
* Z † +
t
= lı́m e(g), En (s) dK(s) e(f )
0
Z t
= lı́m En (s) dK(s) e(g), e(f )
0
Z t
= lı́m e(f ), En (s) dK(s) e(g)
0
Z t
= lı́m e(f ), En (s) dK(s) e(g)
0
Z t
= e(f ), lı́m En (s) dK(s) e(g)
0
Z t
= e(f ), E(s) dK(s) e(g)
0
*Z † +
t
= E(s) dK(s) e(f ), e(g)
0
* Z † +
t
= e(g), E(s) dK(s) e(f ) .
0
+ kE(r)e(f )k2 dr
0 Z s
Por tanto,
Z s Z s
2
kEn (r)e(f )k dr ≤ k[En (r) − E(r)]e(f )k2 dr
0 0
Z s
+ kE(r)e(f )k2 dr
0 Z s
+ 2Re h[En (r) − E(r)]e(f ), E(r)e(f )i dr .
0
Z s
≤ kE(r)e(f )k2 dr
0
Z s 1/2 Z s 1/2
2 2
+2 lı́m k[En (r) − E(r)]e(f )k dr kE(r)e(f )k dr
0 0
Z s
= kE(r)e(f )k2 dr.
0
En conclusión,
Z t Z t
e(f ), E(s) dK(s) e(g) − β (f, g)he(f ), E(s)e(g)i ds
K
0 0
Z t
= lı́m βK (f, g)he(f ), [En (s) − E(s)]e(g)i ds . (2.29)
0
80 El Cálculo Estocástico Cuántico
Por otra parte, sea C = sups∈[0,t] {|[βK (f, g)](s)|}, que es finito dado que
f, g ∈ Loc. Ası́:
Z t
lı́m βK (f, g)he(f ), [En (s) − E(s)]e(g)i ds
0
Z t
≤ lı́m C |he(f ), [En (s) − E(s)]e(g)i| ds
0
Z t
≤ C lı́m ke(f )kk[En (s) − E(s)]e(g)k ds
0
Z t 1/2
1/2 2
≤ Ct ke(f )k lı́m k[En (s) − E(s)]e(g)k ds
0
= 0.
siempre que estos lı́mites existan. Lo que haremos será probar que, efecti-
vamente, tales lı́mites existen. Como f y g son localmente acotadas, existen
C1 , C2 , C3 y C4 que cumplen
|[βK1 (g, f )](s)| ≤ C1
|[βK2 (f, g)](s)| ≤ C2
|[γK1 (f )](s)| ≤ C3
|[γK2 (g)](s)| ≤ C4
para toda s ∈ [0, t]. Sea C = máx{C1 , C2 , C3 , C4 }.
Tenemos:
Z t Z s
En (r) dK1 (r) e(f ), [βK2 (f, g)](s)Fn (s)e(g)
0 0
Z s
− E(r) dK1 (r) e(f ), [βK2 (f, g)](s)F (r)e(g) ds
0
Z t Z s
≤ En (r) dK1 (r) e(f ), [βK2 (f, g)](s)Fn (s)e(g)
0 0
Z s
− E(r) dK1 (r) e(f ), [βK2 (f, g)](s)F (s)e(g) ds
0
Z t Z s
≤ E (r) − E(r) dK (r) e(f ), [β (f, g)](s)F (s)e(g) ds
n 1 K 2 n
0 0
Z t Z s
+ E(r) dK1 (r) e(f ), [βK2 (f, g)](s)(F (s) − Fn (s))e(g) ds
0 0
Z t
Z s
≤
E (r) − E(r) dK (r) e(f )
k[βK2 (f, g)](s)Fn (s)e(g)k ds
n 1
0 0
Z t
Z s
+
E(r) dK (r) e(f )
k[βK2 (f, g)](s)(F (s) − Fn (s))e(g)k ds
1
0 0
Z t
Z s
≤ C
En (r) − E(r) dK1 (r) e(f )
kFn (s)e(g)k ds
0 0
Z t
Z s
+C
E(r) dK (r) e(f )
k(F (s) − Fn (s))e(g)k ds,
1
0 0
Z
s
−
E(r) dK1 (r) e(f ), [βK2 (f, g)](s)F (r)e(g) ds
0
Z t
Z s
≤ C
En (r) − E(r) dK1 (r) e(f )
kFn (s)e(g)k ds
0 0
Z t
Z s
+C
E(r) dK (r) e(f )
k(F (s) − Fn (s))e(g)k ds. (2.31)
1
0 0
Por el argumento
R t con que se concluyó la prueba
R t del Estimado Fundamen-
2 2
tal, se tiene que 0 kFn (s)e(f )k ds converge a 0 kF (s)e(f )k ds; en parti-
cular, esta sucesión es acotada, digamos por q. Por otra parte,
Z tZ s
k(En (r) − E(r))e(f )k2 dr ds
Z0 t Z0 t
≤ k(En (r) − E(r))e(f )k2 dr ds
0 0
Z t
= t k(En (r) − E(r))e(f )k2 dr.
0
Z t 1/2
√
≤ C2 q k[En (s) − E(s)]e(f )k2 ds
0
Z t 1/2 Z t 1/2
2 2 2
+C kE(s)e(f )k ds k[Fn (s) − F (s)]e(g)k ds .
0 0
Por tanto,
Z t
lı́m h[γK1 (f )] (s)En (s)e(f ), [γK2 (g)] (s)Fn (s)e(g)i ds
0
Z t
= h[γK1 (f )] (s)E(s)e(f ), [γK2 (g)] (s)F (s)e(g)i ds. (2.36)
0
Basta ahora con aplicar el Lema 2.30 y utilizar el hecho de tener que si
K es un integrador básico, entonces K † también lo es.
86 El Cálculo Estocástico Cuántico
Como sucede con las funciones de tipo integral en el cálculo usual, tam-
bién nos resulta que las integrales de procesos integrables son continuas. Más
precisamente:
Pero
n2
X
j(s) − 1 j −1
E e(f ) − E(s)e(f ) = 1[ j−1 , j ] (s)E e(f ) − E(s)e(f )
n n n n
k=1
= En (s)e(f ) − E(s)e(f ).
Entonces
Z t
= g(s)Ug† (s) dA(s) + I.
0
Ası́, Ug† satisface dUg† = gUg† dA con condición inicial Ug† (0) = I, de lo
cual concluimos que Ug† = Vg . Análogamente, Vf† = Uf .
L(t)
Z t Z t
† †
= f Uf dA e(u), gUg dA e(v) + he(u), e(v)i
0 0
Z t
†
+ f Uf dA e(u), e(v)
0
Z t
†
+ e(u), gUg dA e(v)
0
Z t Z s
†
= f Uf dA e(u), ugUg e(v) ds
0 0
Z t Z s
†
+ vf Uf e(u), gUg dA e(v) ds
0 0
Z t
+ hf Uf e(u), gUg e(v)i ds + he(u), e(v)i
Z0 t Z t
+ he(u), vf Vf e(v)i ds + he(u), ugUg e(v)i ds
0 0
Z t Z t
†
= ug f Uf dA e(u) + e(u), Ug e(v) ds
0 0
Z t Z t
†
+ vf Uf e(u), gUg dA e(v) + e(v) ds
0 0
Z t
+ f ghUf e(u), Ug e(v)i ds + he(u), e(v)i
0
2.7 Algunas Ecuaciones Diferenciales Estocásticas Cuánticas 91
Z t Z t
= ughUf e(u), Ug e(v)i ds + vf hUf e(u), Ug e(v)i ds
0 0
Z t
+ f ghUf e(u), Ug e(v)i ds + he(u), e(v)i
0
Z t
= (ug + vf + f g)hUf e(u), Ug e(v)i ds + he(u), e(v)i.
0
Por lo tanto
d
he(u), Wf (t)e(v)i
dt
1 2
= − |f (t)| − f (t)v(t) + u(t)f (t) he(u), Wf (t)e(v)i . (2.41)
2
Por otra parte, por la Primera Forma Fundamental,
Z t
†
e(u), f (s)Wf (s) dA (s) e(v)
0
Z t
= he(u), u(s)f (s)Wf (s)e(v)i ds
0
Z t
= u(s)f (s)he(u), Wf (s)e(v)i ds. (2.42)
0
Análogamente,
Z t
e(u), f (s)Wf (s) dA(s) e(v)
0
Z t
= v(s)f (s)he(u), Wf (s)e(v)i ds, (2.43)
0
Z t
2
e(u), |f (s)| Wf (s) dT (s) e(v)
0
2.7 Algunas Ecuaciones Diferenciales Estocásticas Cuánticas 93
Z t
= |f (s)|2 he(u), Wf (s)e(v)i ds. (2.44)
0
he(u), Wf (t)e(v)i + C
Z t
† 1 2
= e(u), (f (s)Wf (s) dA (s) − f (s)Wf (s) dA(s) − |f (s)| Wf (s) dT (s)) e(v) ,
0 2
para alguna constante C. Tomando t = 0, obtenemos C = he(u), Wf (0)e(v)i,
y de esta manera hemos demostrado que Wf satisface la ecuación diferencial
† 1 2
dWf = Wf f dA − f dA − |f | dT
2
con condición inicial Wf (0) = I.
Comentarios
Aplicaciones
95
96 Aplicaciones
d
Por otra parte, si φ ∈ E∗ entonces, por el Teorema 2.11, −i ds Ws (vt )|s=0φ =
isE(t)
E(t)φ. Por lo tanto Ws (vt )φ = e φ para cualesquiera s ∈ R y φ ∈ E∗ . En
particular para e(0), usando el Teorema 2.13, tendremos he(0), eisE(t) e(0)i =
s2 2 s2 2 s2
Rt
u2 (x) dx
he(0), Ws (vt )e(0)i = e− 2 kvt k = e− 2 kut k = e− 2 0 .
donde x = (x1 , . . . , xk ) ∈ Rk .
eixE(s) eiyE(t) e(f ) = Wx (vs )Wy (vt )e(f ) = W1 (xvs )W1 (yvt )e(f )
para cualquier vector exponencial restringido. Luego, por la ecuación (3.3),
deducimos que
W1 (xvs )W1 (yvt ) = W1 (xvs + yvt ) (3.4)
3.1 Relación entre Cálculos Estocásticos Clásico y Cuántico 99
en todo E∗
2
Recordemos que Z dada
t
f ∈L (R+ ), tal que f (x) ∈ R para toda x, el pro-
ceso estocástico f (s) dWs tiene distribuciones finitodimensionales
0 t≥0
Z t1 Z t2 Z tk
f (s) dWs , f (s) dWs , . . . , f (s) dWs ∼ N (0, C),
0 0 0
R ti ∧tj
donde la matriz de covarianzas C viene dada por Ci,j = 0
f 2 (s) ds. En
particular, esto es cierto si f ∈ H∗ es real-valuada.
Z t Z t
†
Es decir, los procesos f (s) d(A (s) + A(s)) y f (s) dWs
0 t≥0 0 t≥0
son distribucionalmente equivalentes.
Lema 3.4. Para cada z ∈ C, sea gz : R → C dada por gz (x) = ezx . Entonces
el conjunto {gz : z ∈ C} es total en el espacio L2 (R, B(R), µ), donde µ es la
distribución normal estándar.
0 = hφ, hz i
Z −x2 /2
zx− 21 z 2 e
= φ(x)e √ dx
R 2π
1 2
= e− 2 z hφ, gz i, ∀z ∈ C,
|Gn | ≤ M y Gn → G puntualmente.
R R
Entonces Gn Fn dµ → GF dµ.
Pm R∞
Si
Pm hk = j=1 c j 1 [aj ,bj ] con los [aj , bj ] disjuntos, entonces 0
hk (s) dWs =
c
j=1 j (W bj − W aj ). Como las W bj − W aj son variables aleatorias inde-
R∞
pendientes con distribución normal N(0, bj −aj ), se sigue P que 2 0 hk (s) dWs
tiene una distribución normal con media 0 y varianza m j=1 cj (bj −aj ) =
R∞ 2 2
R∞
0
hk (s) ds = khk k2 . Se concluye que 0 h(s) dWs tiene distribución
normal con media 0 y varianza khk22 .
P
b) Sea h = nj=1 cj 1[aj ,bj ] ∈ H con los [aj , bj ] disjuntos. Entonces las varia-
bles aleatorias Wbj − Waj tienen distribución N(0, bj − aj ) y son inde-
pendientes, de modo que:
Z R∞
Z Pm
h(s) dWs j=1 cj (Wbj −Waj )
e 0 dP = e dP
Ω Ω
m Z
Y
= ecj (Wbj −Waj ) dP
j=1 Ω
Ym
1 2
= e 2 cj (bj −aj )
j=1
1 Pm 2
= e 2 j=1 cj (bj −aj )
R
1 ∞ 2
= e 2 0 h (s) ds ,
Z R∞
Z R∞ R∞
h(s) dWs a(s) dWs i b(s) dWs
e 0 dP = e 0 e 0 dP.
Ω Ω
3.1 Relación entre Cálculos Estocásticos Clásico y Cuántico 105
R∞ R∞ R∞
Por
R∞ (a), las variables aleatorias 0
an (s) dW s , 0
a(s) dWs , 0
bn (s) dWs
y 0 b(s) dWs tienen distribución normal con media 0 y varianzas kan k22
kak22 kbn k22 y kbk22 , respectivamente. Ası́, por el Lema 3.5,
Z R R
∞ 1 ∞ 2
e 0 an (s) dWs dP = e 2 0 an (s) ds
Ω
Z R∞ R∞
1
a(s) dWs a2 (s) ds
e 0 dP = e2 0 .
Ω
R∞
an (s) dWs
Verifiquemos
R∞ las hipótesis
R∞ del Lema 3.6.R Sean Fn = e 0 ,F =
∞
e 0 a(s) dWs , Gn = ei 0 bn (s) dWs y G = ei 0 b(s) dWs .
R∞
RComo an → a en H, entonces kan k22 → kak22 . Es decir, 0
a2n (s) ds →
∞ 2
0
a (s) ds. Por lo tanto
Z R R
∞ 1 ∞ 2
e 0 an (s) dWs dP = e 2 0 an (s) ds
Ω
1
R∞ 2
e 2 0 a (s) ds
→ Z
R∞
= e 0 a(s) dWs dP.
Ω
→ F G dP
Z R R∞
∞
= e 0 a(s) dWs +i 0 b(s) dWs dP.
Ω
R R∞ R∞ R R∞
Pero Ω e 0 an (s) dWs +i 0 bn (s) dWs dP = Ω e 0 hn (s) dWs dP , y las hn son
escalonadas, ası́ que esta familia de integrales es constante e igual a 1.
Ası́, Z R
∞ R∞
e 0 a(s) dWs +i 0 b(s) dWs dP = 1,
Ω
106 Aplicaciones
es total en L2 (P ).
Demostración. Para demostrar lo anterior, dividiremos la prueba en varios
pasos. Recordemos que L2 (P ) denota al espacio L2 (Ω, F , P ).
Paso 1 Notemos que F es la σ-álgebra generada por la familia
{Wt : t ∈ Q+ }.
Como las trayectorias del browniano son continuas, se sigue que Wqn (w) →
Wt (w) para cada w ∈ Ω fija. Es decir, {Wqn (w)}n∈N converge puntual-
mente a Wt (w), y por tanto Wt es FQ+ -medible, lo cual muestra la
afirmación.
Paso 3 Notemos que el proceso {E[f |Fn ]}∞ n=0 es una martingala clásica aco-
tada en L2 (Ω, F , P ) y, por tanto, es convergente en L2 (Ω, F , P ).
P∞ 2
de modo que la serie j=0 kXj+1 − Xj k2 es convergente. Ası́, si n > m,
entonces
n−1
X n,m→∞
kXn − Xm k22 = kXj+1 − Xj k22 −−−−→ 0.
j=m
L2 L2 L1
Por otra parte, como Xl → Y , entonces 1A Xl → 1A Y , de donde 1A Xl →
1A Y y, ası́,
Z Z
Xl dP → Y dP. (3.7)
A A
= f dP.
A
108 Aplicaciones
R R
Para ver que f = Y , basta con demostrar que A f dP = A Y dP para
cualquier A ∈ F , ası́ que mostremos esta última igualdad. Sea L la
colección Z Z
L= A∈F : f dP = Y dP .
A A
R R
Demostraremos que σ(L) = F . Como R A f dP =R A Y dP para cualquier
cualquier A ∈ Fn , entonces A f dP = A Y dP para cualquier
n yS
A ∈ n≥0 Fn . Es fácil ver que esta unión es un Π-sistema.
Notemos que L es un Λ-sistema:
Si A, B ∈ L con A ⊆ B, entonces
Z Z Z Z Z Z
f dP = f dP − f dP = Y dP − Y dP = Y dP,
B−A B A B A B−A
y ası́, B − A ∈ L.
= lı́m Y dP
i→∞ Ai
3.1 Relación entre Cálculos Estocásticos Clásico y Cuántico 109
Z
= Y 1∪Ai dP
ZΩ
= Y dP,
∪Ai
R∞
Paso 4 Sea f ∈ L2 (P ) tal que f, e 0 h(s) dWs = 0 para toda h ∈ H.
{r1 , r2 , . . . , rn } = {t1 , t2 , . . . , tn }
y t1 < t2 < · · · < tn . Como E[f |Fn ] es Fn -medible, entonces E[f |Fn ] =
G(Wt1 , . . . , Wtn ) para alguna G : Rn → C Borel medible. Sea h =
n−1
X
i cj 1[tj ,tj+1 ] , con cj ∈ R arbitrarios. Entonces
j=1
R∞ Pn−1
e 0 h(s) dWs
= ei j=1 cj (Wtj+1 −Wtj )
es Fn -medible. Luego
D R∞ E
0 = f, e 0 h(s) dWs
D R∞ E
h(s) dWs
= E[f |Fn ], e 0
D Pn−1 E
= G(Wt1 , . . . , Wtn ), ei j=1 cj (Wtj+1 −Wtj )
Z Pn−1
= G(x1 , . . . , xn )ei j=1 cj (xj+1 −xj ) dPWt1 ,...,Wtn
Rn
110 Aplicaciones
Z Pn−1
= G(x1 , . . . , xn )D(x1 , . . . , xn )ei j=1 cj (xj+1 −xj )
dx1 dx2 · · · dxn ,
Rn
R R∞ R
1 ∞ 2
Pero por el Teorema 3.7, Ω e 0 f (s)+g(s) dWs − 2 0 (f (s)+g(s)) ds dP = 1, y
R∞
ası́, hU0 e(f ), U0 e(g)i = e 0 f g ds = he(f ), e(g)i.
3.1 Relación entre Cálculos Estocásticos Clásico y Cuántico 111
D R∞ R
1 ∞ 2
R∞ R
1 ∞ 2
E
= e 0 iλ1[0,t] f (s) dWs − 2 0 (iλ1[0,t] f (s)) ds , e 0 h(s) dWs − 2 0 h (s) ds
= hU0 e(iλ1[0,t] f ), U0 e(h)i
= he(iλ1[0,t] f ), e(h)i
R∞
= e 0 (−iλ)1[0,t] f (s)h(s) ds
Rt
= e−iλ 0 f (s)h(s) ds .
Por lo tanto
D Rt R∞ R∞ E Rt Rt 2
iλ f (s) dWs h(s) dWs − 21 h2 (s) ds f (s)h(s) ds− 12 λ2
e 0 ,e 0 0 = e−iλ 0 0
f (s) ds
. (3.8)
1
= 2
k(cos λFt − 1) + i(sin λFt − λFt )k22
λ Z
1
= 2
(cos λFt − 1)2 + (sin λFt − λFt )2 dP
λ Ω
Z 2 Z 2
cos λFt − 1 sin λFt − λFt
= dP + dP (3.10)
Ω λ Ω λ
2 R cos λFt −1 2 R 2 cos λFt −1 2
Pero cos λF
λFt −1
t
≤ 1 y Ω λ
dP = F
Ω t λFt
dP . Ası́,
por el Teorema de la Convergencia Dominda
Z 2 Z 2
cos λFt − 1 2 cos λFt − 1
lı́m dP = lı́m Ft dP
λ→0 Ω λ λ→0 Ω λFt
Z 2
cos λFt − 1
= Ft lı́m dP = 0,
Ω λ→0 λFt
y análogamente,
Z 2
sin λFt − λFt
lı́m dP = 0.
λ→0 Ω λ
Sustituyendo lo anterior en la ecuación (3.10), se concluye el lı́mite (3.9).
Ası́, usando la igualdad (3.8), tendremos, por una parte,
iλFt
e − 1 R ∞ h(s) dWs − 1 R ∞ h2 (s) ds
,e 0 2 0
λ
1 D iλFt R ∞ h(s) dWs − 1 R ∞ h2 (s) ds E D R ∞ h(s) dWs − 1 R ∞ h2 (s) ds E
= e ,e 0 2 0 − 1, e 0 2 0
λ
1 −iλ R t f (s)h(s) ds− 1 λ2 R t f (s)2 ds
= e 0 2 0 −1 .
λ
HaciendoR t λ → 0, por R∞
(3.9), el Rlado izquierdo de la igualdad anterior
h(s) dWs − 12 0∞ h2 (s) ds
tiende a hi 0 f (s) dWs , e 0 i, mientras que el lado derecho
Rt
a −i 0 f (s)h(s) ds (basta con derivar respecto a λ y evaluar esta derivada
en λ = 0).
Rt R∞ R
1 ∞ 2 Rt
En conclusión: −ih 0 f (s) dWs , e 0 h(s) dWs − 2 0 h (s) ds i = −i 0 f (s)h(s) ds,
o equivalentemente,
Z t R∞ R
Z t
1 ∞ 2
h(s) dW − h (s) ds
f (s) dWs , e 0 s 2 0 = f (s)h(s) ds.
0 0
3.1 Relación entre Cálculos Estocásticos Clásico y Cuántico 113
Z t
= g(s)hf (s)e(0), e(g)i ds
0
Z t
= f (s)g(s) ds. (3.13)
0
Q(t)n e(0)
n 02 †n 1 n †n−1 2 n
= t A e(0) + t 2 A e(0) + t 2 A†n−2 e(0) + · · ·
n n−1 n−2
n−k n †k
+t 2 A e(0) + · · ·
k
n−1 n †1 n n
+t 2 A e(0) + t 2 e(0)
1 0
n n n n+1 n
para ciertos reales tales que = 1, = 0, = y
k n n−1 0 1
n+1 n n
= (r + 1) + ,
r r+1 r−1
†k † k n
donde A = A (t) . Llamemos A-coeficientes a los reales . En el Apéndice
k
C damos un breve tratamiento de ellos.
3.1 Relación entre Cálculos Estocásticos Clásico y Cuántico 115
n = 1: 1 0
n = 2: 1 0 1
n = 3: 1 0 3 0
n = 4: 1 0 6 0 3
n = 5: 1 0 10 0 15 0
n = 6: 1 0 15 0 45 0 15
n = 7: 1 0 21 0 105 0 105 0
.... .. .. .. .. .. .. .. ..
.. . . . . . . . .
Para los siguientes ejemplos usaremos algunas propiedades de los A-
coeficientes, las cuales pueden consultarse en el Apéndice respectivo.
Por otra parte, puesto que W (t) tiene una distribución normal con media
0 y varianza t, haciendo uso del Corolario C.2, concluimos que
(
0 si n es impar
E[W (t)n ] = n!tn/2
(n/2)!2n/2
si n es par,
y
Z t Z t
Q(s) dTf (s) e(0), e(g) = hQ(s)e(0), e(g)i df (s)
0 0
Z tZ s
= g(u) du df (s).
0 0
Usando esta fórmula junto con los cálculos anteriores y la igualdad (3.13),
Z t
Tf (s) dQ(s) e(0), e(g)
0
3.1 Relación entre Cálculos Estocásticos Clásico y Cuántico 117
Z t
= hTf (t)Q(t)e(0), e(g)i − Q(s) dTf (s) e(0), e(g) ,
0
de donde
Z t Z t
Tf (s) dQ(s) e(0) = Tf (t)Q(t)e(0) − Q(s) dTf (s) e(0). (3.16)
0 0
En particular,
Z t
hQ(t)e(0), Q(t)e(f )i = 2 e(0), Q(s) dQ(s) e(f ) + the(0), e(f )i,
0
Rt
de donde concluimos que Q(t)2 e(0) = 2 0 Q(s) dQ(s) e(0) + te(0). Luego,
aplicando U en ambos lados, se obtiene
Z t
2
Wt = 2U Q(s) dQ(s) e(0) + t.
0
nR o Rt
t
Por lo tanto U 0
Q(s) dQ(s) e(0) =
Ws dWs . Es importante notar
0
Rt W 2 −t
aquı́ que hemos usado el hecho conocido de ser 0 Ws dWs = t2 , el cual
puede ser demostrado sin usar la Fórmula de Ito Clásica.
118 Aplicaciones
Usando el ejemplo
nR anterior, inducción
o yRel Teorema Espectral, se puede
t t
n
demostrar que U 0 Q(s) dQ(s) e(0) = 0 Wsn dWs , de donde se obtiene
el siguiente
En particular
n+2 Z t k
G′n+2 (t) 1 X n + 2 n + 2 − k n−k
= t 2 f (s) ds
n+2 n + 2 k=0 k 2 0
n+2 Z t k−1
1 X n+2 n+2−k
+ kt 2 f (t) f (s) ds .
n+2 k 0
k=0
Sean
n+2
X Z t k
n+2 n+2−k n−k
G̃1 (t) = t 2 f (s) ds y
k 2 0
k=0
n+2
X Z t k−1
n+2 n+2−k
G̃2 (t) = kt 2 f (t) f (s) ds ,
k 0
k=0
3.1 Relación entre Cálculos Estocásticos Clásico y Cuántico 119
n+2 Z t k
G̃1 (t) 1 X n + 2 n + 2 − k n−k
= t 2 f (s) ds
n+2 n + 2 k=0 k 2 0
Z t n+2
1 n + 2 n + 2 − (n + 2) n−(n+2)
= t 2 f (s) ds
n+2 n+2 k 0
Z t n+1
1 n + 2 n + 2 − (n + 1) n−(n+1)
+ t 2 f (s) ds
n+1 n+1 k 0
n Z t k
1 X n + 2 n + 2 − k n−k
+ t 2 f (s) ds
n+2 k 2 0
k=0
X n Z t k
1 n + 2 n + 2 − k n−k
= t 2 f (s) ds
n + 2 k=0 k 2 0
n Z t k
1 X (n + 1)(n + 2) n n + 2 − k n−k
= t 2 f (s) ds
n + 2 k=0 n + 2 − k k 2 0
Xn Z t k
n + 1 n n−k
= t 2 f (s) ds
2 k 0
k=0
n Z t k
n + 1 X n n−k
= t 2 f (s) ds .
2 k 0
k=0
n+2 Z t k−1
G̃2 (t) 1 X n+2 n+2−k
= kt 2 f (t) f (s) ds
n+2 n + 2 k=0 k 0
n+2 Z t k−1
1 X n+2 n+2−k
= kt 2 f (t) f (s) ds
n + 2 k=1 k 0
n+1 Z t k
1 X n+2 n+1−k
= (k + 1)t 2 f (t) f (s) ds
n+2 k+1 0
k=0
120 Aplicaciones
n+1 Z t k
1 Xn+2 n+1 n+1−k
= (k + 1)t 2 f (t) f (s) ds
n + 2 k=0 k + 1 k 0
n+1
X Z t k
n + 1 n+1−k
= t 2 f (t) f (s) ds .
k 0
k=0
Luego:
Z Z ( n Z s k )
t
G̃1 (s) t
n + 1 X n n−k
ds = s 2 f (u) du ds
0 n+2 0 2 k 0
k=0
Z t (X n
)
n+1 n n−k
= s 2 hAks e(f ), e(0)i ds
2 0 k
k=0
Z t (X n
)
n+1 n n−k
= s 2 he(f ), A†k
s e(0)i ds
2 0 k
k=0
Z t Xn
n+1 n n−k
= he(f ), s 2 A†ks e(0)i ds
2 0 k
k=0
Z
n+1 t
= he(f ), Qns e(0)i ds
2 0
Z t
n+1
= he(f ), Qns dTs e(0)i.
2 0
Similarmente,
Z t Z t
G̃2 (s)
ds = he(f ), Qn+1
s dQs e(0)i.
0 n+2 0
ha† (f )φ1 , a† (g)φ2i − ha(g)φ1, a(f )φ2i = hf, gihφ1, φ2i (3.18)
Este resultado, junto con los hechos de ser e(0) unitario y a(f )e(0) = 0,
para toda f ∈ H, nos permiten caracterizar nuevamente al Espacio de
Fermiones:
(2) Existe un vector unitario w en D tal que a† (f )n w está bien definido para
todos f ∈ H y n ≥ 1
(c) hw, a† (f )m wi = 0.
Demostración.
(a) Nótese que (2) equivale a que a† (f )m w ∈ D, de modo que el lado derecho
de la expresión en (a) tiene sentido, y se concluye fácilmente la igualdad
pedida.
(b) Por (a), en particular ha† (g)φ, a†(f )wi = hφ, a(g)a†(f )wi. Como a(g)w =
0, usando la ecuación de la RCC-I se tiene:
(c) hw, a† (f )m wi = ha(f )w, a†(f )m−1 wi = 0. Nótese que fue importante que
m ≥ 1.
Corolario 3.19. Con las condiciones del Lema anterior, se tiene que (a† (f )+
a(f ))n w es de la forma
n †n n †n−1 2 n †n−2 n−k n
= a w+α a w+α a w+· · ·+α a†k w+· · ·
n n−1 n−2 k
n−1 n †1 n n
+α a w+α w,
1 0
n
donde la colección : 0 ≤ k ≤ n son los A-coeficientes, α = kf k y
k
a†k = a† (f )k .
n−k+2 n †k−1
+kα a w +···
k
n n † n+1 n
+2α a w+α w+0
2 1
n †n+1 n
= a w+α a†n w
n n−1
n−2
X
n−k n
+ α a†k+1 w
k
k=0
Xn
n−k+2 n
+ kα a†k−1 w
k
k=2
n+1 n
+α w
1
n †n+1 n
= a w+α a†n w
n n−1
n−2
X n−2
X
n−k n †k+1 n−k n
+ α a w+ (k + 2)α a†k+1 w
k k+2
k=0 k=0
n
+αn+1 w
1
n †n+1 n
= a w+α a†n w
n n−1
n−2
X
n n
+ + (k + 2) αn−k a†k+1 w
k k+2
k=0
n+1 n
+α w.
1
Teorema 3.20. Con las condiciones del Lema 3.18, si además el conjunto
e entonces existe un único isomorfismo
{a† (f )n w : n ≥ 0, f ∈ H} es total en H,
unitario U : H e → F (H) tal que Uw = e(0) y Ua† (f )n w = a† (f )n e(0).
3.2 Correspondencia entre Bosones y Fermiones 127
Teorema 3.21. Los operadores de Weyl son una RCC-W en (H, F (H))
1 2
Demostración. Como W (u) = Φ(e− 2 kuk , u, I, −u) en el dominio exponencial
y este conjunto es total en F (H), bastará con probar la ecuación (3.21) para
estos vectores usando la definición del producto dada por (2.3) y el hecho de
ser Φ una representación:
1 2 1 2
W (u)W (v) = Φ(e− 2 kuk , u, I, −u)Φ(e− 2 kvk , v, I, −v)
1 2 1 2
= Φ((e− 2 kuk , u, I, −u)(e− 2 kvk , v, I, −v))
1 2 +kvk2 +2hu,vi)
= Φ(e− 2 (kuk , u + v, I, −u − v)
− 12 (kuk2 +kvk2 +2hu,vi) a† (u+v) a(−u−v)
= e e e
− 21 (kuk2 +kvk2 +2Rehu,vi+2iImhu,vi) a† (u+v) a(−u−v)
= e e e
−iImhu,vi − 21 ku+vk2 a† (u+v) a(−u−v)
= e e e e
−iImhu,vi − 21 ku+vk2
= e Φ(e , u + v, I, −(u + v))
−iImhu,vi
= e W (u + v),
que es lo que se querı́a probar.
f (g)w pertenece al
Por otra parte, nótese que para cada g ∈ H se tiene que W
dominio de r(f ). En efecto:
f(tf ) − I
W −2itImhf,gi f f(tf )w − Wf (g)w
lı́m f(g)w = lı́m e
W
W (g)W
t→0 t t→0 t
−2itImhf,gi f
f(g) lı́m e W (tf )w − w
= W ,
t→0 t
r(if ) − ir(f )
lo cual claramente existe. Para cada f ∈ H, sean a(f ) = y
2
r(if ) + ir(f )
a† (f ) = . Notemos que a(f )w = 0 y a† (f ) = ir(f )w.
2
Además, para todo t real y φ en el dominio de r(u) arbitraria:
f (tu)W
W f(v)φ
f(v)W
= e−2itImhu,vi W f(tu)φ
!
f (tu) − I
W
=⇒ −i f(v)φ
W
t
130 Aplicaciones
−i −2itImhu,vi f f f
= e W (v)W (tu) − W (v) φ
t
−i f
= W (v) [e −2itImhu,vi f f
− 1]W (tu) + W (tu) − I φ
t !
e−2itImhu,vi
− 1 f (tu) − I
W
f(v) −i
= W f (tu)φ − i
W φ .
t t
f(v)φ = W
r(u)W f (v)r(u)φ − 2Imhu, viW
f(v)φ (3.22)
para φ en el dominio de r(u). Luego,
f(v)w = 1 f(v)w
a(u)W (r(iu) − ir(u))W
2
1 f f
= W (v)r(iu)w − 2Im(−ihu, vi)W (v)w
2
1 f f
− iW (v)r(u)w − 2iImhu, viW (v)w
2
1 f f
= iW (v)r(u)w + 2Rehu, vi)W (v)w
2
1 f f
− iW (v)r(u)w − 2iImhu, viW (v)w
2
f(v)w.
= hu, viW
f(v)w, W
Más aun, es fácil ver que ha(u)W f (f )wi = hW f(v), a† (u)W
f(f )wi.
f (tf )w
Nótese que el hecho de ser r(f )w = −i dtd W implica
t=0
df f (tf )w.
W (tf )w = ir(f )W (3.23)
dt
En efecto. Obsérvense las igualdades
f ((t + h)f ) = W
W f(tf + hf ) = eiImhtf,hf i W
f (hf )W
f(tf ) = W
f (hf )W
f(tf ).
Luego,
f ((t + h)f )w − W
W f(tf )w f(hf )W
W f (tf )w − W
f(tf )w
lı́m = lı́m
h→0 h h→0 h
3.2 Correspondencia entre Bosones y Fermiones 131
f (hf ) − I
W
= lı́m f (tf )w
W
h→0 h
d f
= W (hf )W (tf )w
f
dh h=0
f(tf )w.
= ir(f )W
e
para todo x ∈ H.
De esta forma:
Z t
f
hW (tf )w, wi = hw, wi + f
ir(f )W (sf )w ds, w
0
Z t
= 1+ hir(f )Wf(sf )w, wi ds
0
Z t
= 1 − i hW f(sf )w, r(f )wi ds (por ser r(f ) autoadjunto)
0
Z t
= 1− hWf(sf )w, ir(f )wi ds
0
Z t
= 1− hWf(sf )w, a†(f )wi ds
0
Z t
= 1− f(sf )w, wi ds
ha(f )W
0
132 Aplicaciones
Z t
= 1− hf, sf ihWf(sf )w, wi ds
0
Z t
= 1 − kf k 2 f (sf )w, wi ds.
shW
0
1 = hw, wi
D E
f (g − f )w
= eiImhf,gi w, W
1 2
= eiImhf,gi e− 2 kg−f k .
R∞ R∞
f (s) dWs − 12 f (s)2 ds
e 0 0. Luego, se sigue que
Z ∞ R∞ R
1 ∞ 2
a(u)e(f ) = hu, f ie(f ) = u(s)f (s) ds e 0 f (s) dWs − 2 0 f (s) ds y
0
Z ∞ Z ∞ R∞ R∞
† f (s) dWs − 21 f (s)2 ds
a (u)e(f ) = u(s) dWs − f (s)u(s) ds e 0 0 .
0 0
mientras que
Z Z ∞ Z ∞
ha(v)e(f ), a(u)e(g)i = v(s)f (s) ds u(s)g(s) ds ehf,gi dP. (3.27)
Ω 0 0
y
Z t Z t
† †
a (ft ) = f (s) dA (s) y a(ft ) = f (s) dA(s).
0 0
con f ∈ Loc. Es claro que J(t) es autoadjunto y tiene una extensión uni-
taria. Además, deja al dominio exponencial restringido invariante y el proce-
so {J(t) : t ≥ 0} es adaptado.
Esto muestra que a(ft )J(t) = −J(t)a(ft ), y por lo tanto, J(t)a# (ft ) =
#
−a (ft )J(t). Finalmente:
he(u), (J(t) − J(0))e(v)i
= he(u), J(t)e(v)i − he(u), e(v)i
= he(u), e(−vt + v t )i − he(u), e(v)i
= he(ut ), e(−vt )ihe(ut ), e(v t )i − he(u), e(v)i
= he(ut ), e(−vt )ihe(ut ), e(vt )i−1 he(ut ), e(vt )ihe(ut ), e(v t )i − he(u), e(v)i
= he(ut ), e(vt )i−2 − 1 he(u), e(v)i
Rt
−2 0 uvds
= e − 1 he(u), e(v)i.
−2u(t)v(t)he(u), J(t)e(v)i,
Rt
que, por los cálculos anteriores, es igual a −2u(t)v(t)e−2 0
uvds
he(u), e(v)i.
y
hb† (ft )e(u), b(gt )e(v)i + hb† (gt )e(u), b(ft )e(v)i = 0.
Z t
+ f (s)g(s) ds he(u), e(v)i
0
Z t
= − hu(s)g(s)J(s)e(u), b(fs )e(v)i + hb(gs )e(u), v(s)f (s)J(s)e(v)i ds
0
Z t
+ f (s)g(s) ds he(u), e(v)i
0
Z t Z s
= − u(s)g(s)J(s)e(u), f (r)J(r) dA(r) e(v)
0 0
Z s
+ g(r)J(r) dA(r) e(u), v(s)f (s)J(s)e(v) ds
0
Z t
+ f (s)g(s) ds he(u), e(v)i
0
Z t
= −hb(gt )e(u), b(ft )e(v)i + f (s)g(s) ds he(u), e(v)i,
0
X Z t
= cj ck |f (s)|2 ds he(uj ), e(uk )i
j,k 0
Z t
= |f (s)|2 ds kψk2 .
0
Rt
Como 0 |f (s)|2 ds ≤ kf k2 < ∞, entonces los dos operadores son acotados
y sus normas no son mayores a kf k.
Z t
= f (s)he(f ), f1 (s)J(s)e(0)i ds
0
Z t
= f (s)f1 (s) ds, (3.33)
0
mientras que
Z t
he(f ), f1 (s) dA† (s) e(0)i = he(f ), a† (f1t )e(0)i
0
Z t
= f (s)f1 (s) ds. (3.34)
0
son funciones que cumplen con las hipótesis, entonces, por un lado, usando
la RCA y la Primera Forma Fundamental:
he(f ), b† (f1 )b† (f2 ) · · · b† (fn )b† (fn+1 )e(0)i
= (−1)n he(f ), b† (fn+1 )b† (f1 )b† (f2 ) · · · b† (fn )e(0)i
= (−1)n hb(fn+1 )e(f ), b† (f1 )b† (f2 ) · · · b† (fn )e(0)i
Z t
= (−1)n f (s)fn+1 (s)hJ(s)e(f ), b† (f1 )b† (f2 ) · · · b† (fn )e(0)i ds
0
Z t
= (−1)n f (s)fn+1 (s)he(f˜s ), b† (f1 )b† (f2 ) · · · b† (fn )e(0)i ds
0
Z t Z t Z sn Z s2
= (−1)n
f (s)fn+1 (s) e(fs ),˜ ··· † †
det[fi (sj )] dA (s1 ) · · · dA (sn ) e(0)
0 0 0 0
Z t Z t Z sn Z s2
= (−1)n f (s)fn+1 (s) f˜s (sn ) f˜s (sn−1 ) · · · f˜s (s1 ) det[fi (sj )] dScn ds
0 0 0 0
Z t Z t Z sn Z s2
= (−1)n
f (s)fn+1 (s) ··· ˜ ˜ c
det[fi (sj )]fs (s1 ) · · · fs (sn ) dSn ds
0 0 0 0
Z t Z tZ t Z t n
Y
= (−1)n f (s)fn+1 (s) ··· cn )
F(S cn ds.
f˜s (si )fi (si ) dS
0 0 0 0 i=1
3.2 Correspondencia entre Bosones y Fermiones 143
se tiene el siguiente:
144 Aplicaciones
Teorema 3.33. Sean H e y H dos espacios de Hilbert tales que existen dos
familias de operadores acotados B = {b(f ) : f ∈ H} y B† = {b† (f ) : f ∈ H}
con dominio He cumpliendo:
Para n = 1:
hb† (f1 )w, b† (g1 )wi = hw, b(f1)b† (g1 )wi
3.2 Correspondencia entre Bosones y Fermiones 145
Para n = 2:
Comentarios
La demostración del Teorema 3.8 es obra del doctor Garcı́a Corte, basada
en la prueba del Lema 1.1.2 de [11]. En este sentido, el trabajo expuesto sobre
las relaciones entre el isomorfismo U, que identifica a F (H) con L2 (P ) y a
Q(t)e(0) con Wt , y la integración estocástica cuántica es original del autor
de esta tesis. En particular, la representación de Q(t)n e(0) y su uso para
demostrar la versión de la Fórmula de Ito dada aquı́ fueron desarrollados por
nosotros.
múltiple. Es decir
Z t1 Z t2 Z tn
† n
Ua (f ) e(0) = ··· f (s1 )f (s2 ) · · · f (sn ) dWsn dWsn−1 · · · dWs1 .
0 0 0
Nociones Básicas de
Probabilidad Cuántica
151
152 Nociones Básicas de Probabilidad Cuántica
Los Espacios
1.1 El Espacio Muestral Ω: Es 1.2 El Espacio de Estados H:
un conjunto finito {1, 2, . . . , n}. Es un espacio de Hilbert complejo
de dimensión n.
153
Los Eventos
1.3 El conjunto de Eventos 1.4 El Conjunto de Eventos
FΩ : Es el conjunto de todos los P(H): Este es el conjunto de
subconjuntos de Ω. FΩ es un álge- todas las proyecciones en H. Un
bra de Boole con las operaciones elemento E ∈ P(H) es llamado
de un unión e intersección. En evento. Aquı́, en lugar de “∪ ” se
particular: tieneWla operación máx, denotada
por , y en lugar de “∩” tenemos
E ∩(F1 ∪F2 ) = (E ∩F1 )∪(E ∩F2 ). la operación mı́n, denotada por
V
. Si E1 , . . . , En ∈ P(H), estas
operaciones entre ellos represen-
tan, respectivamente, los eventos
de ocurrencia de al menos un Ei
y de ocurrencia de todos los Ei .
V W
Notemos que E (F1 F2 )
no V es W siempre
V igual a
(E F1 ) (E F2 ). La igualdad
se da únicamente si E, F1 y F2
conmutan uno con otro.
154 Nociones Básicas de Probabilidad Cuántica
cribir como
donde Eλ es la proyección sobre
X
f= λ1f −1 ({λ}) , el subespacio {u ∈ H|Xu = λu}
λ∈Sp(f )
y Eλ Eλ′ = Θ, siempre que λ, λ′ ∈
Sp(X), λ 6= λ′ y
de tal manera que X
Eλ = I.
1f −1 ({λ}) · 1f −1 (λ′ ) ≡ 0 λ∈Sp(X)
Distribuciones y Estados
1.7 Distribuciones p: Una dis- 1.8 Los Estados ρ: En Probabi-
tribución es una función de FΩ lidad Cuántica, tenemos un esta-
a R determinada por n números do ρ en lugar de una distribu-
p = (p1 , . . . , pn ) que satisfacen: ción p. Un estado es un operador
pi ≥ 0 no negativo en H con Trρ = 1.
X n
La probabilidad del evento E ∈
pi = 1. P(H) en el estado ρ se define co-
i=1
La probabilidad del evento E ∈ mo TrρE, y la probabilidad de
FΩ , bajo la distribución p, es que el observable X tome el valor
λ es
X
P (E; p) := pi .
i∈E
P (X = λ) := 1Sp(X) (λ)TrρEλ
Cuando no hay peligro de con-
fusión escribimos P (E) en lugar
de P (E; p). La probabilidad de
que una variable aleatoria f tome
el valor λ ∈ R es
P (f = λ) := P (f −1 ({λ})).
Apéndice B
Introducción al Cálculo
Estocástico Clásico
Notemos que para cada tiempo t ≥ 0 fijo, tenemos una variable aleatoria
w → Xt (w), w ∈ Ω. Por otra parte, fijando a w ∈ Ω, podemos considerar la
función t → Xt (w), t ≥ 0, la cual es llamada trayectoria de Xt .
Intuitivamente, puede ser útil pensar a cada w como una partı́cula in-
dividual o un experimento. Con esto en mente, Xt (w) puede representar la
posición, o resultado, al tiempo t de la partı́cula, o experimento, w. A veces
es conveniente escribir X(t, w) en lugar de Xt (w). Por lo tanto, podemos ver
al proceso X como una función de dos variables (t, w) 7→ X(t, w) que va de
R+ × Ω a Rn .
157
158 Introducción al Cálculo Estocástico Clásico
Nótese que si {Xt } es una versión de {Yt }, entonces ambos tienen las
mismas distribuciones finitodimensionales. Luego, desde el punto de vista
probabilı́stico, los dos procesos son el mismo, aunque sus trayectorias pueden
tener propiedades diferentes.
Para cada sucesión aproximante de procesos simples {Xn (t, ω)}, el lı́mite
Z ∞
lı́m Xn (s, ω)dWs
n→∞ 0
1
Es decir, para cada t ≥ 0, Ft es la σ-álgebra generada por Wt y Fs ⊆ Ft si s ≤ t
161
Hay que decir que esta integral extendida sigue cumpliendo las mismas
propiedades que la integral de procesos simples. Entre ellas, la Isometrı́a
de Ito. Ahora bien, para poder considerar a la integral como un proceso
dependiente del tiempo, supongamos que {Xt } es un proceso progresivamente
RT
medible y tal que E[ 0 X(s, ω)2 ds] < ∞ para alguna T ≥ 0. Tomemos el
proceso progresivamente medible {X T (s, ω)}s≥0 dado por
Rt
Teorema B.5 (Fórmula de Ito). Sea f ∈ C 2 (R) tal que E[ 0 f ′ (Ws )2 ds] <
∞ para alguna t > 0. Entonces, para casi toda s ∈ [0, t],
Z t Z
′ 1 t ′′
f (Wt ) − f (W0 ) = f (Ws ) dWs + f (Ws ) ds.
0 2 0
Para una discusión más detallada de su demostración, ası́ como de la
construcción de la Integral, puede revisarse [9], págs. 190-200.
Apéndice C
Consideraciones a los
A-coeficientes
163
164 Consideraciones a los A-coeficientes
Demostración.
1+2 3
a) Por inducción sobre n. Para n = 1, = . Observemos que
r r
2 1 2
= =1y = 0. Luego:
0 1 1
3 2 2 2
= 2 + =3=3
1 2 0 0
3 3 2
= 0=
2 2 1
3 3 2
= 1=
3 3 2
Formulario
167
168 Formulario
Z t
donde M(t) = E(s) dK(s)
0
donde
0 si K1 = A ó K2 = A
1 si K1 = A† y K2 = A†
δK1 ,K2 (f, g)(s) = g(s) si K1 = A† y K2 = Λ
f (s) si K1 = Λ y K2 = A†
f (s)g(s) si K1 = Λ y K2 = Λ
donde
1 si K = A†
[γK (h)] (s) = h(s) si K = Λ
0 si K = A
171
172 BIBLIOGRAFÍA
[11] D.Nualart, The Malliavin Calculus and Related Topics, Probability and
its Applications, Vol. 14, Springer Verlag, (1995).
173
174 ÍNDICE ALFABÉTICO