P.

Universidad Catlica de Chile o Facultad de F sica Mecnica Cuntica 1 a a Profesor Max Baados n

Ayudant 5 a
Ignacio Reyes (iareyes@uc.cl)

Herramientas matemticas de la Mecnica Cuntica a a a 1. Desigualdad de Schwarz y Traza de un operador

a) Demuestre la desigualdad de Schwarz usando la notacin de Dirac: o | | |2 | | b) Demuestre que la traza del producto de tres operadores es c clica: T r{AB C} = T r{B C A} = T r{C AB} c) Demuestre que la traza es invariante bajo cambios de base. (2) (1)

1.1.

Solucin o

a) Como muchas otras, la desigualdad de Schwarz se basa en el hecho de que, para todo vector | L2 , su norma es no negativa: 0 | (3)

Ahora consideramos una combinacin lineal compleja dada por | = | + | , C. Recordemos que el bra o asociado al ket | es |. Reemplazando esto en lo anterior, 0 | + | | + | = | + | + | + | (4)

Esta es una desigualdad muy general, vlida para cualquier C y dos kets cualesquiera | , | (no necesaa riamente normalizados). Hay un muy particular que retorna la desigualdad de Schwarz; la idea elegirlo con tal de eliminar los dos ultimos trminos. Eso puede lograrse escogiendo e = | | = | | (5)

pues recordemos que el producto interno es un espacio de Hilbert se dene como antiliherm tico. Introduciendo este parmetro en la anterior desigualdad, tenemos: a 0 | | | | | | + | | | | 0 | | | | | | (6) (7)

Ahora, como | > 0 para todo ket no nulo (en el caso nulo Schwarz se cumple trivialmente), es leg timo multiplicar ambos lados de la desigualdad por este nmero real, y reordenando tenemos: u 0 | | | | | | | |
| | |2

(8) (9)

como se ped (recuerden que | = | ). a

 b) Recordemos que en la estructura matemtica de la mecnica cuntica, un operador A se representa como a a a una matriz Aij = i |A|j , cuyas entradas dependen de la base particular elegida |n . Denimos la traza de un operador como la traza de la matriz asociada, es decir: T r{A} =
i

i | A |i =
i

Aii

(10)

Entonces la traza del producto de tres operadores es: T r{AB C} =

i

i | AB C |i

(11)

Como vimos, suele ser util aprovechar la relacin de completitud de una base ortonormalizada: o |j
j

j | = I

(12)

operador que podemos introducir de la forma T r{AB C} =

i

i | ABIC |i i | A
i j

(13) j | B
k

= =
i,j,k

|j

|k

k | C |i

(14) (15)

i | A |j

j | B |k

k | C |i

Pero los tres brakets dentro de la suma son simplemente nmeros complejos que conmutan y pueden reordenarse u dependiendo del orden que queramos, por ejemplo: T r{AB C} =
i,j,k

j | B |k j | B
j k

k | C |i i | A |j |k k | C
i

(16) (17) (18)

= =
j

|i i | A |j

j | B C A |j = T r{B C A}

y anlogamente para el otro orden. a c) Ahora supongamos tener otra base ortonormalizada {|uj }. Entonces vemos que la traza escrita en la primera base: T r{A} =
i

i | A |i

(19)

puede expresarse en la otra base introduciendo una identidad: T r{A} =

i

i |
j

|uj

uj | A |i =
i,j

i |uj uj |A|i

(20)

y como ambos trminos en la sumatoria son nmeros complejos, podemos reordenarlos: e u T r{A} =
i,j

uj |A|i i |uj =
j

uj | A
i

|i i | |uj

(21) (22)

=
j

uj | A |uj

Vemos que la traza es exactamente la misma, independiente de la base elegida (algo que ya sabemos del lgebra a matricial). 2

2.

Brakets

Sean {|n } los autoestados de cierto operador H (por ejemplo el Hamiltoniano). Asumiendo que los |n constituyen una base discreta ortonormal, denimos el operador U (m, n) segn: u U (m, n) = |m n | (23) a) Calcular el operador adjunto, U (m, n). b) Calcular el conmutador [H, U (m, n)]. c) Demostrar que se cumple U (m, n)U (p, q) = nq U (m, p). d) Calcular su traza, T r{U (m, n)}. e) Sea A un operador, cuyos elementos de matriz son Amn = m |A|n . Demostrar: A=
m,n

Amn U (m, n)

(24)

f) Mostrar que Apq = T r{AU (p, q)}.

2.1.

Solucin o

a) Cmo se dene, dado un operador A, su adjunto A ? Esto se basa en la asociacin entre kets y bras; la o o idea es realizar el mapeo |A = A | A| | A (25) y aplicando esta idea a la propiedad antiherm tica del producto interno, es claro que 1 | A |2 = 2 | A |1

(26)

entonces la idea es escribir el lado derecho de (26) y luego leer directamente el resultado para U (m, n). Tenemos: 2 | U (m, n) |1

2 | m n |1

= 2 | m

n |1

(27) (28)

= m |2 1 |n

y por ultimo, como son nmeros complejos, los conmutamos para que nos quede de la misma forma que el lado u izquierdo de (26) 2 | U (m, n) |1 = 1 |n m |2 (29) de donde podemos inferir: U (m, n) = |n m | (30)

b) Como dijimos, un operador slo se dene en trminos de su accin sobre los vectores (o bien, sobre una o e o base). La idea es que s sabemos cmo actua el Hamiltoniano sobre la base de autoestados. El conmutador es o un operador, por lo tanto, debemos hacerlo actuar sobre un vector arbitrario | = ci |i : [H, U (m, n)] | = H U (m, n) U (m, n)H
i

ci |i ci Ei |i
i

(31) (32) (33) (34) (35) (36)

=H
i

ci |m n |i U (m, n)
ni

= Hcn |m
i

ci Ei |m n |i
ni

= cn Em |m cn En |m = (Em En )cn |m = (Em En )U (m, n)

i

ci |i

= (Em En )U (m, n) | 3

Como se cumple para todo vector arbitrario, podemos decir que: [H, U (m, n)] = (Em En )U (m, n) c) Esto es directo: U (m, n)U (p, q) = |m n |q p | = nq U (m, p)
nq

(37)

(38)

d) Ahora calcularemos la traza igual que antes. Debe notarse que U (m, n) es un operador donde m, n estn jos a y son libres, por lo que al sacar la traza debemos sumar en otra variable, i: T r{U (m, n)} =
i

i |m n |i = nm

(39)

lo que nos indica que la traza valdr 1 solamente para el conjunto de operadores U (m, m) = |m m |. a Para conocer quin es, veamos cmo acta sobre un vector e) Ahora consideremos un operador arbitrario A. e o u arbitrario | = ci |i A
i

ci |i =
i

ci I A |i =
i

ci
j

|j

j | A |i
Aji

(40)

=
i,j

Aji ci |j

(41)

que no ha quedado exactamente como buscbamos. Para eso, veamos quin es ci , tomando i | sobre | (lo a e mismo de siempre, tomar producto interno en una expansin para deducir los coecientes): o i | = i |
k

ck |k = ci

(42)

que reemplazando en lo anterior, nos da: A | =

i,j

Aji i | |j =
i,j

Aji |j

i |

(43) (44)

=
i,j

Aji U (j, i) |

que era lo pedido. f) Por ultimo T r{AU (p, q)} =

i

i | A |q

p | i = p | A |q = Apq

(45)