76 / Lecciones de Mecnica Cuntica a a

Matrices en Cuntica a

En este cap tulo se dar una introduccin a la mecnica matricial: a o a se denirn las matrices en mecnica cuntica y se estudiar el lgebra a a a a a que satisfacen dichas matrices, al igual que su evolucin temporal. Se o har un repaso general de algunos temas del lgebra lineal, en especial la a a solucin a los problemas de autovalores, autovectores y diagonalizacin o o de matrices. Finalmente se resolver el oscilador armnico lineal por a o el mtodo matricial, basados en el desarrollo original propuesto por e Heisenberg.

7.1

Decimotercera leccin o

En esta leccin deniremos las matrices en mecnica cuntica y o a a el lgebra que satisfacen dichas matrices. Estudiaremos igualmente su a evolucin temporal. o

7.1.1 Denicin de los elementos matriciales o

Sea () la funcin de onda que describe el sistema f o sico la cual un observable est normalizada a la unidad ( d = 1) y sea O a (operador lineal acotado y herm tico) asociado a la magnitud f sica O, del cual conocemos su espectro de autovalores y autofunciones, es decir, conocemos las soluciones al problema On = on n . Por ser el conjunto de autofunciones n () un conjunto completo de funciones, podemos escribir () = an n (), con an = d . n
n

77

78 / Lecciones de Mecnica Cuntica a a

Escribamos ahora el valor esperado del observable F asociado a la magnitud f sica F y utilicemos la expansin anterior de la funcin de onda: o o F

d F =
m n

a an m

d F n = m
m n

a an fmn , m

donde se ha hecho la denicin o fmn d F n , m (7.1)

con fmn el elemento matricial de la transicin del estado m al estado o n, de la magnitud f sica F , en la representacin de la magnitud f o sica que se representa con O. Ntese que al igual que en el lgebra lineal, se cumple para la matriz o a herm tica adjunta que (f )mn = d F n = m d(F m ) n = (
d F m ) = fnm , n

que coincide con su transpuesto complejo conjugado, donde se ha usado el hecho que (F ) = F . Igualmente, ntese que para un operador o = F ), se cumple que fmn = fnm ; es decir, herm tico u autoadjunto (F para cada elemento de la matriz, su transpuesto es igual a su complejo conjugado.

7.1.2 Dependencia temporal

Para obtener la dependencia temporal de los elementos matriciales se debe trabajar en la representacin de la energ es decir, hacer la o a; expansin de la funcin de onda en autofunciones del Hamiltoniano o o las cuales tienen la dependencia temporal n (, t) = eiEn t/ 0 (), con n H0 () = En 0 (). Ahora los elementos matriciales fmn (t) tendrn una a n n dependencia temporal dada por fmn (t) = d (, t)F n (, t) = ei(Em En )t/ m n d0 ()F o () m (7.2)

0 = eimn t fmn ;

Matrices en Cuntica / 79 a
0 donde se han hecho las deniciones mn (Em En )/ y fmn n o d0 ()F o (). De la primera denicin se puede chequear la prom piedad mn = ml + ln , para cualquier valor de l. Ntese ahora que la derivada temporal de los elementos matriciales o de un operador est dada por a d 0 fmn (t) = imn eimn t fmn = imn fmn (t) (7.3) dt

7.1.3 Algebra de matrices

Para ver que algebra satisfacen las matrices de la mecnica cuntica, a a es necesario ver primero que las matrices en cuntica no satisfacen todas a las convenciones que satisfacen las matrices del lgebra lineal. Para a empezar vemos que a F n = =
l

al l , con al =

d = l

d F n = fln l

lo cual implica

. . ; fln l = F n = . l l . (7.4) de donde puede verse que la aplicacin de un operador sobre una funcin o o es equivalente a la multiplicacin del vector la asociado a la funcin, o o por la matriz cuadrada asociada con el operador, que no es el caso del lgebra lineal donde la mencionada operacin es equivalente a la a o multiplicacin de la matriz asociada al operador por el vector columna o asociado a la funcin. Sin embargo, a pesar de esto, las matrices de o la mecnica cuntica satisfacen la misma lgebra de las matrices del a a a lgebra lineal, como veremos a continuacin. a o f11 f12 f13 f21 f22 f23 l fln = (1 , 2 , 3 , . . . ) f31 . . . . . . . . . Suma de matrices Sean F y G dos observables asociados a las magnitudes f sicas F y G respectivamente. De acuerdo a la denicin de las matrices en mecnica o a

80 / Lecciones de Mecnica Cuntica a a

cuntica, vemos a que corresponde el elemento matricial (f + g)mn : a a (F + G)n =

l

l (f + g)ln ;

donde (f + g)ln = d (F + G)n = l d F n + l d Gn = fln + gln l

de acuerdo a la linealidad del operador integral de la matemtica. a Es decir, hemos probado que (f + g)mn = fmn + gmn , relacin que o coincide con la operacin suma de matrices del lgebra lineal. o a Producto de matrices Sean F y G dos observables asociados a las magnitudes f sicas F y G respectivamente. De acuerdo a la denicin de las matrices en mecnica o a cuntica, vemos a que corresponde el elemento matricial (f g)mn : a a (F G)n
l

l (f g)ln = F (Gn ) = F
k

k gkn =

(F k )gkn =
k k

(
l

l flk )gkn =
l

l
k

flk gkn ,

de donde puede verse que (f g)ln = k flk gkn , relacin que coincide con o la operacin del producto de dos matrices en el lgebra lineal. o a Multiplicacin de un escalar complejo por una matriz o Sea F un observable asociado a la magnitud f sica F y sea b un nmero complejo arbitrario. De acuerdo a la denicin de matrices en u o mecnica cuntica, vamos a que corresponde el elemento matricial a a e )mn : (bF (bF )n = l (bf )ln ,
l

Matrices en Cuntica / 81 a

donde (bf )ln = d bF n = b d F n = bfnl , ya que b es una l l constante en la variable de integracin. Lo anterior coincide con el proo ducto de una matriz por un escalar en el lgebra lineal. a De las anteriores relaciones podemos concluir que, el lgebra de las a matrices de la mecnica cuntica, coincide con el lgebra de las matrices a a a denida en el lgebra lineal. a Podemos entonces, al igual que en el lgebra lineal, denir la matriz a identidad Iln = ln la cual es el elemento neutro de la multiplicacin de o matrices y la matriz cero Oln = 0ln la cual es el elemento neutro de la suma de matrices. Igualmente podemos denir el inverso de una matriz (f 1 )ln tal que (f 1 f )ln = (f f 1 )ln = ln , su determinante |f |, su traza la cual es igual a n fnn , su transpuesto (f T )nm = fmn , etc.. En particular, denimos una matriz unitaria U como aquella que satisface la relacin U 1 = U , lo cual tiene como consecuencia que o las las (e igualmente las columnas) de la matriz U son ortonormales entre s Estas matrices unitarias son muy utiles para realizar las llama. das transformaciones lineales las cuales me dejan invariante el espacio matemtico de representaciones. a

7.2

Decimocuarta leccin o

En esta leccin repasaremos los conceptos de autovalores, autoveco tores y diagonalizacin de matrices nitas del lgebra lineal y la relacin o a o que hay entre estas operaciones.

7.2.1 Autovalores y autovectores

Sea f una matriz n n con n un nmero natural. Queremos ahora u resolver el problema f v = xv, (7.5) donde x, los autovalores y v los autovectores de la matriz (f )lm , son las incognitas del problema. La ecuacin (7.5) es equivalente a las siguientes n ecuaciones lineales o (f v)l =
m

flm vm = x(v)l = xvl ,

82 / Lecciones de Mecnica Cuntica a a

para l = 1, 2, . . . n, las cuales podemos escribir de la forma flm vm xvl =

m m

(flm xlm )vm = 0,

(7.6)

donde vl es la elsima componente del vector v. El anterior conjunto de e n ecuaciones lineales lo podemos escribir matricialmente de la siguiente manera 0 v1 f11 x f12 f13 f14 . v2 0 f21 f22 x f23 . . f31 f32 f33 x . . v3 = 0 , (7.7) . . f41 . . . . . . . . . . . ecuaciones que tienen solucin no trivial (diferente del vector cero) solo o si el determinante f11 x f12 f13 f14 . f21 f22 x f23 . . f31 f32 f33 x . . = 0, (7.8) f41 . . . . . . . . . ecuacin llamada en la matemtica secular y que podemos escribir o a simblicamente como o ||f xI|| = 0. (7.9) La ecuacin (7.8) es una ecuacin algebraica de grado n, la que tiene o o en principio n soluciones independientes. Cada uno de esos n valores es llamado un autovalor de la matriz f . Reemplazando ahora cada autovalor calculado en la ecuacin (7.7), obtenemos su correspondiente o vector, llamado el autovector asociado a respectivo autovalor. Aunque en principio las n ecuaciones lineales representadas por (7.7) para un autovalor espec co xi , i = 1, 2, . . . n, podr resolversen para an i obtener completamente las n incognitas vk , k = 1, 2, . . . n, no es exactamente de esa manera ya que debido a la restriccin (7.8) hay una o ecuacin que no es independiente de las otras, quedando solo n 1 o ecuaciones independientes en (7.7), obteniendose de esta manera todas i i las incognitas vk en funcin de una sola (por ejemplo v1 ), la cual se o i podr determinar por normalizacin del autovector v . a o

Matrices en Cuntica / 83 a

7.2.2 Diagonalizacin de matrices o

Sea de nuevo f la matriz n n de la seccin anterior. Busquemos o ahora si existe una matriz unitaria S (S 1 = S ) tal que S 1 f S = f D , (7.10)

con (f D )lk = f k lk una matriz diagonal. Multiplicando (7.10) a derecha por la matriz S obtenemos la ecuacin f S = Sf D , un conjunto de n2 o ecuaciones lineales las cuales son (f S)lk = (Sf D )lk , l, k = 1, 2, 3, . . . n. Aplicando la propiedad que satisface la multiplicacin de matrices teo nemos flm Smk =
m m D Slm fmk = m

Slm f k mk = Slk f k = f k
m

Smk lm , (7.11)

o equivalentemente (flm f k lm )Smk = 0,

m

(7.12)

donde ntese la similitud que hay entre esta ecuacin y la ecuacin de o o o autovalores y autovectores de f (7.6). Efetivamente, mbas ecuaciones a son las mismas siempre y cuando identiquemos f k = x y Smk = vm . Es decir, los valores de la diagonal de f D sern los autovalores de f y a las columnas de la matriz S sern los autovectores normalizados a la a unidad de la matriz f , con el autovector colocado en la posicin en la o que va su autovalor correspondiente.

7.3

Decimoquinta leccin o

En esta leccin aplicaremos lo que aprendimos en las dos lecciones o anteriores, para resolver el problema del oscilador armnico simple de o manera matricial, basados en el clculo original presentado por Heisena berg en 1925.

84 / Lecciones de Mecnica Cuntica a a

7.3.1 El oscilador armnico matricial o

La energ potencial para un oscilador armnico simple unidimena o 2 sional est dada por la expresin V (x) = Kx /2 = m 2 x2 /2, donde a o K, m y son la constante, la masa y la frecuencia clsica del oscilaa dor, las cuales estn relacionadas entre si por la ecuacin = K/m. a o Lo anterior produce un Hamiltoniano de la forma H= p2 1 x + m 2 x2 2m 2 (7.13)

Utilizando ahora la segunda ley de Newton y la relacin clsica entre o a la fuerza y la energ potencial, tenemos a F = dV (x)/dx = Kx = m 2 x = m de donde podemos concluir que d2 x + x 2 = 0. dt2 (7.14) d2 x ; dt2

7.3.2 Matriz posicin o

Introduciendo la hiptesis que la posicin x es una matriz n n o o (al nal se tomar el l a mite en que n ) tenemos entonces las n2 ecuaciones lineales d2 x ( 2 )ls + (x)ls 2 = 0, (7.15) dt Trabajando nuestras matrices en la representacin de la energ y utio a 0 itls lizando la relacin (7.3) tenemos que xls (t) = xls e o lo cual implica xls (t) = ils x0 eitls , ls
2 (donde x dx/dt). Derivando una vez ms tenemos xls = ls xls , lo a cual, reemplazado en la ecuacin (7.15), nos d la expresin o a o 2 eitls (ls 2 )x0 = 0, ls

(7.16)

Matrices en Cuntica / 85 a

de donde podemos concluir que nuestros elementos matriciales x0 difels rentes de cero, son solo aquellos para los cuales se satisface la relacin o ls = (El Es )/ = ; es decir, son diferentes de cero solo aquellos que satisfacen la relacin El Es = . Utilizando ahora el postuo lado de Planck de la cuantizacin de la energ podemos interpretar o a, la anterior relacin como la emisin de un quantum de energ para el o o a caso Es+1 Es = o la absorcin de un quantum de energ para el o a caso Es1 Es = . Concluimos de este anlisis que la emisin de a o energ corresponde a la situcin a o s+1,s = +, y la absorbcin corresponde a o s1,s = . (7.18) (7.17)

As pus, los unicos elementos matriciales de la posicin que son di e o ferentes de cero son aquellos que se encuentran encima y debajo de la diagonal principal de la matriz x. O sea, se cumple que solo xs,s1 = 0. Para determinar ahora el valor de los elementos matriciales de la posicin que son diferentes de cero, se utiliza primero la hiptesis que o o 0 los elementos matriciales xls independientes del tiempo, son reales y que la matriz de la posicin independiente del tiempo es herm o tica; es 0 0 0 0 decir, se cumple que (x )ls = xls = xsl = xsl . O sea que los elementos matriciales de la posicin independientes del tiempo son simtricos. o e Luego se utiliza el postulado de cuantizacin para el par de variables o cannico conjugadas x y px , es decdir se debe satisfacer que [px , x] = o px x xpx = i para x y px matrices cuadradas. Es decir se debe satisfacer que xx xx = i I/m. Utilizando ahora el producto de matrices se tiene de la relacin anterior o

86 / Lecciones de Mecnica Cuntica a a

que (xx)ls (xx)ls =

k

(xlk xks xlk xks ) =

i ls m

= i
k

(lk xlk xks ks xlk xks ) xlk xks (lk ks ).

k

= i

(7.19)

Tomando ahora solo los elementos de la diagonal (l = s) en la ecuacin o 0 a anterior y utilizando la simetr de xks y la antisimetr de ks tenemos a i i , m k k k (7.20) isk iks 0 0 donde se ha hecho uso del hecho que xsk xks = e e xsk xks = x0 x0 . sk ks Lo anterior nos permite escribir esta ultima ecuacin como o xsk xks (sk ks ) = i x0 x0 (sk ks ) = i sk ks 2sk (x0 )2 = sk ks (x0 )2 = /2m, sk
k

donde solo los elementos con k = s 1 son diferentes de cero, lo cual implica que s+1,s (x0 )2 + s1,s (x0 )2 = [(x0 )2 (x0 )2 ] = /2m, s,s+1 s,s1 s+1,s s,s1 donde se ha hecho uso de las ecuaciones (7.17) y (7.18). La anterior ecuacin es equivalente a la relacin o o (x0 )2 (x0 )2 = /(2m) = 1/(22 ), s+1,s s,s1 (7.21)

lo que corresponde a una progresin aritmtica no acotada superioro e mente, pero si acotada por debajo, ya que el trmino de la derecha es e positivo y por lo tanto el primer trmino de la izquierda en (7.21) debe e dominar sobre el segundo trmino. Ntese que hemos introducido por e o 2 conveniencia la notacin = m/ . o Como el nivel cero de la energ lo podemos colocar en cualquier a lugar de nuestro espectro, podemos empezar a contar nuestros elementos matriciales en s = 0, con la condicin x0,1 = 0, con lo que nuestra o

Matrices en Cuntica / 87 a

relacin (7.21) satisface la condicin de tener una cota inferior (y no o o tener cota superior). Esta ecuacin se convierte ahora en una frmula o o de recurrencia que nos permite escribir las siguientes relaciones: s = 0 : (x0 )2 = 1/22 , 1,0 s = 1 : (x0 )2 = 1/22 + (x0 )2 = 2/22 , 2,1 1,0 s = 2 : (x0 )2 = 1/22 + (x0 )2 = 3/22 , 3,2 2,1 s = 3 : (x0 )2 = 1/22 + (x0 )2 = 4/22 , 4,3 3,2 ... = .... 0 (xs,s1 )2 = s/(22 ).

Es decir, hemos encontrado que nuestros elementos matriciales de la 0 posicin, diferentes de cero, son x0 o s/( 2), lo cual s,s1 = xs1,s = nos permite escribir la matriz posicin, independiente del tiempo, de la o siguiente manera x0 x0 x0 00 01 02 x0 x0 x0 x0 = 10 11 12 x0 . . 20 . . . . . . . . . = 1 . 2 . 0 1 0 0 . 1 0 2 . 0 0 2 0 3 . 0 0 3 . . ;

7.3.3 Matriz momentum lineal

De acuerdo a la denicin px = mx podemos escribir pls = imls xls , o lo que implica que 0 0 p0 s+1,s = ims+1,s xs+1,s = imxs+1,s = im s/( 2), 0 0 p0 s1,s = ims1,s xs,s1 = imxs1,s = im s/( 2),

88 / Lecciones de Mecnica Cuntica a a

donde de nuevo se ha hecho uso de las ecuaciones (7.17) y (7.18). Lo anterior nos permite escribir la matriz 0 i 1 0 0 . m i 1 0 i 2 0 0 . . px = 0 i 2 0 i 3 . 2 0 0 i 3 . .

7.3.4 Matriz diagonal de la energ a

Las anteriores relaciones nos permiten escribir los siguientes productos de matrices: 0 1 0 0 . 0 1 0 0 . 1 1 0 2 . 1 0 0 2 . 0 0 2 , (x ) = 2 0 0 2 0 3 . 2 0 3 . 2 0 0 3 . . 0 0 3 . . es decir 0+1 0 1 0 1+2 (x0 )2 = 2 2 1 2 0 2 3 0 De igual manera podemos calcular 0 i 1 0 2 2 m i 1 0 i 2 0 2 (px ) = 0 i 2 22 0 0 0 i 3 es decir 0+1 0 1 2 0 m2 2 0 1+2 0 2 3 (p0 )2 = x 2+3 0 22 1 2 0 0 2 3 0 3+4 . . . . . 1 2 0 0 2 3 2+3 0 0 3+4 . . . . . . . , . .

0 i 1 . 0 i 1 . 0 i 2 . 0 0 i 2 . 0 0 i 3

Matrices en Cuntica / 89 a

Combinando las expresiones anteriores obtenemos E0 = (p0 )2 m 2 (x0 )2 x + 2m 2 1 0 0 0 0 3 0 0 = 2 0 0 5 0 . . 0 7

. . . . .

(7.22)

De la anterior expresion podemos concluir que la matriz para la energ del oscilador armnico simple la podemos escribir de la forma a o
0 Ens = (n + 1/2) ns , s = 0, 1, 2, . . . ,

(7.23)

que corresponden a los autovalores del Hamiltoniano del oscilador armnio co simple, los cuales por estar en la representacin de la energ no solo o a son diagonales si ne que tambin son independientes del tiempo. e

Problemas
1. Para la matrix herm tica 3 3 1 0 i A = 0 1 0 . i 0 1 Halle: Sus autovalores. Sus autovectores. La matriz unitaria S que la diagonalize. Compruebe que S satisface S 1 AS = Ad

162 / Lecciones de Mecnica Cuntica a a