La Mecnica Cuntica

martes, 11 de agosto de 2009

La notacin bra-ket de Dirac
La notacin bra-ket de Dirac unifica en una misma smbologa la descripcin de los
operadores y las cantidades observables que podemos llevar a cabo en la Mecnica
Matricial (con matrices actuando como operadores) y la descripcin que podemos llevar
a cabo en la Mecnica Ondulatoria (con operadores diferenciales actuando como
operadores).

Considrese la siguiente representacin del vector x = (x
1
, x
2
, x
3
) que podemos llevar a
cabo utilizando vectores unitarios de base (los super-ndices no son exponentes):
x = x
1
(1, 0, 0) + x
2
(0, 1, 0) + (0, 0, x
3
)

Ahora supngase que llevamos a cabo la misma representacin usando vectores
columna en lugar de vectores rengln, identificando tras esto a cada vector columna de
una manera que al principio parecer algo peculiar:


La representacin que tenemos destacada de color amarillo formada por una lnea
vertical a la izquierda y un parntesis angulado a la derecha es esencialmente lo que
llamamos un ket.

Retendremos la convencin segn la cual dada una cantidad compleja z cualesquiera:
z = x + iy

el conjugado complejo de dicha cantidad se representa con un asterisco puesto como
super-ndice:
z
*
= x - iy

La notacin bra-ket de Dirac se basa en dos smbolos fundamentales, siendo uno de
ellos el bra:


y siendo el otro el ket:


El uso ms sencillo de ambos smbolos consiste en unirlos para representar con ello el
producto interno de dos vectores o dos funciones. Cuando esto se hace, el bra siempre
se pone a la izquierda, y el ket siempre se pone a la derecha, estando de este modo
encerrado todo entre dos parntesis angulados (las palabras bra y ket derivan de la
palabra inglesa bracket).

La operacin ms sencilla que se puede llevar a cabo consiste en la adicin de dos kets:


Para que dos kets puedan ser sumados, deben ser del mismo tipo, lo cual implica
que no podemos sumar las funciones de onda propias de la Mecnica Ondulatoria a los
vectores y matrices propios de la Mecnica Matricial, y si vamos a sumar vectores y
matrices propios de la Mecnica Matricial stos tienen que ser del mismo tipo. A modo
de ejemplo, si partimos de las siguientes dos funciones de onda:


entonces tras representar estas funciones de onda como kets:


podemos representar la adicin de dichos kets en la notacin de Dirac de la manera
siguiente:


PROBLEMA: Sumar todos los kets que sea posible sumar de los mostrados a
continuacin:


Puesto que para poder sumar dos kets estos tienen que ser del mismo tipo, las nicas
sumas de kets que pueden ser llevadas a cabo aqu son las siguientes:


Cada ket puede ser multiplicado por una constante numrica cuyo cuadrado d la
probabilidad de ocurrencia del estado representado por el ket, de modo tal que podemos
hacer combinaciones como la siguiente:


en la cual la probabilidad de que en un experimento se d el estado simbolizado por el
primer ket es |a| y la probabilidad de que se d el estado simbolizado por el segundo ket
es |b| . Por lo general, cuando se suman dos o ms kets lo que tenemos es una
superposicin de estados que d lugar a una nueva situacin, como lo muestra la
siguiente figura en la cual tenemos una suma de dos los nicos dos estados posibles:


Habiendo nicamente dos estados posibles en el ejemplo que se acaba de dar, la
relacin de abajo nos indica que la suma de las probabilidades de obtener cualquiera de
los dos estados debe ser igual a la unidad, a la certeza.

Tanto en el Analisis Vectorial como en el Algebra Lineal estamos familiarizados con el
concepto del producto escalar o producto interno de dos vectores a y b definido en su
quintaesencia en un espacio tridimensional Euclideano como el producto de las
magnitudes de dichos vectores multiplicado por el coseno del ngulo que forman dichos
vectores.
a b = |a| |b| cos()

Bajo un sistema de coordendas rectangulares Cartesianas en donde cada uno de los
vectores a y b est especificado por las tres componentes que son iguales a sus
proyecciones sobre cada uno de los ejes coordenados:
a = (a
1
, a
2
, a
3
)

b = (b
1
, b
2
, b
3
)

en donde las componentes vectoriales son nmeros reales, no resulta difcil el
comprobar que el producto interno de los vectores a y b en funcin de sus componentes
sobre los ejes coordenados est dado por la siguiente relacin:
a b = a
1
b
1
+ a
2
b
2
+ a
3
b
3


Si queremos definir un concepto similar dentro de la Mecnica Cuntica, el problema
que se nos presenta de inmediato es que las componentes de los vectores no slo pueden
ser nmeros reales, tambin pueden ser nmeros complejos o imaginarios. Necesitamos
antes que nada redefinir de alguna manera, desde el punto de vista estrictamente
matemtico sin entrar todava a ningn detalle, el concepto de producto interno de dos
cantidades cuando una de ellas o ambas pueden ser nmeros complejos. Se ha
comprobado en la prctica que una de las formas ms convenientes de hacerlo es de la
manera siguiente:


en donde el asterisco para los componentes del vector a (destacados de color rojo)
indica que se debe tomar el conjugado complejo del elemento (invirtiendo el signo del
factor imaginario i en donde lo haya). Obsrvese que aqu se ha dado un paso
importante, se ha supuesto que la definicin ser vlida para vectores con una
dimensin mayor que tres, lo cual aunque no tenga mucho sentida desde el punto de
vista fsico s puede ser adoptado desde el punto de vista matemtico sin problema
alguno. Obsrvese tambin que el orden en el cual se especifica el producto de los
vectores a y b es importante, ya que si se sigue un orden inverso entonces de acuerdo a
la definicin que se acaba de dar el producto interno ser:


Resalta el hecho de que, bajo esta definicin, el producto interno de dos vectores no es
conmutativo. Sin embargo, observando el hecho de que si tomamos el conjugado
complejo en ambos miembros de la igualdad anterior (usando el hecho de que el
conjugado de la suma de nmeros complejos es igual a la suma de sus conjugados
complejos, y el hecho de que el conjugado complejo de un producto es igual al producto
de los conjugados):


Esto significa que:


En la Mecnica Matricial, representamos el producto interno de dos vectores x
i
y x
j
con
la notacin bra-ket simbolizado de la siguiente manera con un bra puesto a la izquierda
unido a un ket puesto a la derecha juntando ambos bra y ket de la siguiente manera:


Obsrvese que al llevarse a cabo la unin de un bra con un ket la doble lnea vertical
que se forma con la lnea vertical venida del bra y la lnea vertical venida del ket se
funden en una sola lnea vertical (|). Esto es algo que siempre se hace cuando
surgen dobles lneas verticales en operaciones llevadas a cabo con bras y kets. Siendo el
producto interno de dos vectores un nmero, lo que tenemos arriba es esencialmente un
nmero.

Tomando como base la conclusin que se haba obtenido para dos vectores con
componentes complejos:


procediendo por analoga podemos asentar como relacin fundamental para la
definicin del producto interno entre un bra y un ket lo siguiente:


El caso ms frecuente en la Mecnica Cuntica es que los componentes que son usados
a modo de vectores que sean ortogonales (independientes el uno del otro) estando cada
uno de ellos normalizado (con su longitud igual a la unidad), o sea, vectores
ortonormales. En este caso, podemos destacar el uso de vectores normalizados con
algn otro tipo de notacin, por ejemplo u
i
y u
j
, juntando ambos bra y ket de igual
manera:


En este caso, cuando los vectores u
i
y u
j
son vectores ortogonales y normalizados, esto
es, ortonormales, entonces el producto interno de los mismos debe ser el siguiente:


En esta definicin utilizamos el delta de Kronecker para el cual
ij
.=.1 cuando i.=.j y

ij
.=.0 cuando i..j. El bra asignado al vector u
i
le d una representacin matricial como
un vector rengln, mientras que el ket asignado al vector u
j
le d una representacin
matricial como un vector columna. Si se trata del mismo vector, con i.=.j, entonces la
longitud del vector es 1 puesto que el vector se supone que est normalizado, y si se
trata de dos vectores diferentes tomados de la misma base entonces con i..j el producto
interno es igual a cero reflejando el hecho de que los dos vectores son ortogonales.

A todo ket le podemos asignar un bra que es su dual correspondiente. Dado un ket,
podemos obtener su bra dual tomando el conjugado complejo del ket, lo cual significa
cambiarle el signo a todas las instancias en donde aparezca el nmero imaginario i.

PROBLEMA: Dado el siguiente ket:


obtngase un bra que sea su dual de modo tal que al tomar el producto interno de
ambos el resultado sea igual a la unidad.

Puesto que la longitud del ket proporcionado no es igual a la unidad, multiplicaremos
dicho ket por una constante de normalizacin A:


El bra que corresponde a este ket lo obtenemos tomando el conjugado complejo del ket:


Para que el producto de este bra con su ket que es su dual sea igual a la unidad, la
condicin de normalizacin requiere que:


Con esta condicin podemos obtener la constante de normalizacin A:


De este modo, tanto el bra como el ket normalizados que forman un par dual son los
siguientes:


En forma similar a como lo hacemos con los vectores de la Mecnica Matricial, en la
Mecnica Ondulatoria representamos el producto interno de dos funciones del mismo
tipo pero con un nmero cuntico diferente de una manera como la siguiente:


En general, dadas dos funciones y , la notacin bra-ket:


representa algo como:


Aunque tengamos dos funciones diferentes (x) y (x), estas deben estar definidas
sobre el mismo espacio vectorial (de la misma dimensin), y para llevarse a cabo el
producto interno de las mismas tomamos el conjugado complejo de la funcin que
aparece en el bra, en este caso *(x), para que el resultado final sea un nmero real, ya
que si el resultado final fuese un nmero imaginario o complejo la base matemtica no
nos sirve para representar cantidades fsicas en la Mecnica Cuntica.

PROBLEMA: Demostrar que:


La demostracin pedida se puede llevar a cabo de la siguiente manera:


En general, podemos sacar constantes fuera de un producto bra-ket, siempre y cuando se
tenga cuidado de observar en qu parte del producto bra-ket se encuentra la constante
que ser sacada fuera, ya sea en el bra o en el ket. Si una constante K se encuentra en el
bra, entonces al ser sacada fuera debe salir como el conjugado complejo de K, esto es,
como K*; y si la constante se encuentra en el ket, entonces al ser sacada fuera deber
salir tal cual, esto es, como K, sin que se le tome su conjugado complejo al sacarla
fuera.


En trminos de algo que los matemticos puros reconocen como un espacio funcional
(el cual es tema de estudio del Anlisis Funcional que a su vez trata acerca de las
funciones de funciones), podemos concebir al bra como una instruccin para llevar a
cabo la siguiente operacin:


sobre algo que se le ponga al bra del lado derecho, en donde el hueco simbolizado
como AA representa el espacio vaco a espera de ser llenado por la funcin que el bra
encuente a su lado derecho, por ejemplo el ket que representa a la funcin m:


PROBLEMA: Demostrar, usando la notacin bra-ket para ello, que el siguiente
conjunto de funciones:


es un conjunto ortonormal. Cul ser la dimensin del espacio vectorial en este
problema?

Evaluaremos primero el producto interno de la funcin
0
consigo misma:


Puesto que el producto interno de la funcin
0
consigo misma es igual a la unidad,
podemos ver que la funcin est normalizada.

Ahora evaluaremos el producto interno de la funcin
1
consigo misma:


Puesto que el producto interno de la funcin
1
consigo misma tambin es igual a la
unidad, podemos ver que la funcin tambin est normalizada.

En general, para cualquiera de las funciones
n
del conjunto, tenemos:


Resulta claro que todas las funciones estn normalizadas.

Falta ver si las funciones son ortogonales entre s, para lo cual tenemos que evaluar el
siguiente producto interno:


siendo m n. Recurriendo a la frmula de Euler:


tenemos entonces dos integrales a evaluar:


Llevando a cabo ambas integraciones:


El segundo trmino (destacado en color rojo), siendo una funcin par, al ser evaluado
entre los lmites -1 y +1 se vuelve cero, dejndonos nicamente con el primer trmino,
que tras la toma de lmites se vuelve:


Por hiptesis, estamos considerando que m y n son dos enteros diferentes. En tal caso, el
argumento de la funcin senoidal ser un mltiplo entero de . Pero el seno de un
mltiplo entero de siempre ser igual a cero. Entonces, cuando m y n son diferentes, el
producto interno las dos funciones de onda ser igual a cero, esto es, sern ortogonales.

Se concluye que el conjunto dado de funciones es ortonormal, esto es, ortogonales entre
s y normalizadas a la unidad, lo cual podemos expresar con la ayuda del delta de
Kronecker:


cumplindose de este modo la condicin para que un conjunto de funciones pueda ser
considerado una base ortonormal.

Puesto que tenemos un total de 9 funciones independientes la una de la otra, la
dimensin del espacio vectorial en este problema es igual a 9. Si utilizamos un nmero
adicional de funciones similares, puesto que para un sub-ndice mximo N tenemos
2N+1 vectores (funciones) de base linealmente independientes la dimensin del espacio
vectorial ser igual a 2N+1.

Si tenemos una funcin expandible sobre una representacin en series ortogonales
como es el caso de las series de Fourier en las que la funcin peridica que est siendo
expandida es igual a la suma de una cantidad infinitamente grande de las amplitudes de
una frecuencia fundamental y sus harmnicas, podemos entresacar una de las
componentes de la serie (
i
) en particular tomando el producto interno de la siguiente
manera:


La expansin de una funcin en una serie infinita de componentes
i
separados el uno
del otro con los componentes u
i
tomados de una base ortonormal se representa de la
siguiente manera:


En la notacin bra-ket tenemos adems operadores. Por regla general, un operador O
acta sobre un ket que est puesto a su derecha. En la Mecnica Matricial, el operador
por lo general es una matriz que acta sobre un vector u:


mientras que en la Mecnica Ondulatoria el operador puede ser un operador diferencial
actuando sobre una funcin de onda :


Un operador, despus de haber actuado sobre un ket, generalmente resulta en otro ket, el
cual puede ser utilizado para formar posteriormente un producto con un bra:


En la Mecnica Ondulatoria hemos visto ya que una cantidad observable tal como la
energa que pueda ser representada como un operador acta sobre una funcin de onda
en una eigen-ecuacin que nos regresa (del lado derecho de la eigen-ecuacin) la
funcin de onda multiplicada por una cantidad que es a su vez el eigenvalor que se
medir en el laboratorio relacionado con dicha observable:


siendo la eigenfuncin de onda asociada con el eigenvalor. Con la notacin bra-ket, la
representacin de algo como lo anterior se lleva a cabo utilizando kets sobre los cuales
acta el operador que los antecede:


escribindose entonces una eigen-ecuacin del modo siguiente:


En un sistema con estados ligados, habr ciertos kets de importancia especial, los
eigenkets propios del sistema, que podemos denotar como:


con la propiedad de que:


en donde a, b, c, ... son simples nmeros (las cantidades observables a ser medidas con
algn aparato). El conjunto de nmeros:


es el conjunto de eigenvalores del operador.

Habiendo visto que existe una dualidad importante entre los bras y los kets, esto nos
sugiere que un operador no slo debe ser capaz de actuar sobre kets, tambin debe ser
capaz de actuar sobre bras, lo cual resulta ser cierto aqu, excepto que para que un
operador pueda actuar sobre un bra tiene que hacerlo sobre el bra que est situado
inmediatamente a su izquierda.

Un operador X acta siempre sobre el ket que est situado a su derecha, y el producto
resultante viene siendo otro ket:


Un operador X acta siempre sobre el bra que est situado a su izquierda, y el
producto resultante viene siendo otro bra:


Adaptarse a esta nueva realidad requiere algo de prctica, del mismo modo que una
persona que toda su vida ha estado acostumbrada a escribir con su mano derecha no
necesariamente empezar a escribir de inmediato con su mano izquierda con la misma
facilidad. La eigen-ecuacin en la cual se utiliza un bra en lugar de un ket es la
siguiente:


Este detalle nos permite llevar a cabo de una manera sencilla algunas demostraciones
que de otra manera nos confundiran fcilmente al obscurecerse los detalles con la
notacin.

Si el operador O es una matriz, y si lo que queremos hacer es entresacar cierto
componente de la matriz, lo hacemos tomando el triple producto matricial que se
muestra a continuacin:


En esta representacin, se utiliza el bra para simbolizar un vector rengln u
i
, y el ket
para simbolizar un vector columna u
j
. El producto matricial de O con u
j
nos entresaca
una columna completa de la matriz O, la columna j, mientras que el producto posterior
de u
i
con O nos entresaca el elemento situado en el rengln i del vector columna
obtenido de la operacin previa, dndonos de este modo el elemento O
ij
de la matriz O.

PROBLEMA: Definir el bra y el ket requeridos para entresacar de la siguiente matriz:


el elemento situado en el segundo rengln y en la tercera columna.

El elemento situado en el segundo rengln y en la tercera columna es el nmero 2. Lo
podemos extraer de la siguiente manera con el producto matricial triple mostrado:


La multiplicacin de la segunda matriz por la tercera matriz nos producir un vector
columna cuyos elementos sern todos los elementos de la tercera columna de la segunda
matriz, entre los cuales est el nmero 2 que queremos entresacar. Y la multiplicacin
de la primera matriz por la matriz resultante de la operacin anterior nos producir una
matriz de un solo elemento, que es el nmero 2. Entonces el bra y el ket requeridos para
la extraccin vienen siendo los siguientes:


En las expresiones que se muestran a continuacin:


tenemos un operador matricial X al cual con la expresin en la primera lnea se le
entresaca el elemento situado en el primer rengln y la primera columna de la matriz, en
la segunda lnea se tiene al elemento situado en el segundo rengln y en la segunda
columna de la matriz, en la tercera lnea se tiene al elemento situado en el tercer rengln
y en la tercera columna de la matriz, y as sucesivamente. Puesto que, por definicin, la
suma de los elementos de una matriz situados a lo largo de su diagonal principal se
define como la traza de la matriz, esto nos permite definir la traza de un operador de
la siguiente manera:


En notacin bra-ket, representamos una expansin Fourier (sobre cualquier base de
funciones ortonormales, no necesariamente trigonomtricas) de la siguiente manera:



PROBLEMA: Ya se ha visto previamente que cuando el conmutador de Born de dos
operadores es igual a cero, se tienen observables compatibles que pueden ser medidas
simultneamente sin lmite terico a la precisin de las mediciones simultneas que se
llevan a cabo. Supngase que se tienen dos observables compatibles cuyos operadores
asociados son A y B, y supngase que los eigenvalores de A no son degenerados
formando los mismos una matriz diagonal. Demustrese entonces que los elementos
matriciales del operador B tambin sern todos diagonales (esto es, la matriz asociada
con el operador B ser tambin una matriz diagonal).

La condicin de Born para dos observables compatibles es la siguiente:


Encapsulando ambos lados de lo anterior entre un bra y un ket, tenemos entonces el
siguiente desarrollo:


Obsrvese que en la sexta lnea del desarrollo, mientras que en el segundo trmino se ha
hecho actuar al operador A sobre el ket que est a su derecha devolvindonos el ket y el
eigenvalor a (un nmero) con el cual est asociado el ket, en el primer trmino se ha
hecho actuar al operador A sobre el bra que est a la izquierda devolvindonos un ket y
el eigenvalor b con el cual est asociado el ket. De la sptima lnea podemos ver que
para a..b la nica manera en la cual la expresin obtenida puede ser cierta ser
teniendo:


lo cual es la principal caracterstica de una matriz diagonal. Y para a.=.b, la expresin
ser vlida aunque ninguno de los elementos del operador B sea igual a cero. Entonces
la matriz B es una matriz diagonal. Esto refleja algo que habamos visto con
anterioridad: para que dos matrices sean conmutativas (generalmente hablando, dejando
fuera los casos triviales) ambas matrices deben ser diagonales, o deben poder ser
diagonalizadas simultneamente.

Ahora bien, al actuar un operador O sobre un ket que representa a una funcin que
puede ser expandida en una serie ya sea finita o infinita de funciones ortonormales de
base, en la notacin bra-ket esto permite meter el operador O dentro de la sumatoria
para actuar directamente sobre las funciones de base usadas para la expansin de una
funcin :


Podemos hacer operaciones con bras y kets haciendo substituciones como sea necesario
a nuestros propsitos, tal como aplicar un bra a la anterior expansin Fourier para
obtener lo siguiente:


Supngase ahora que tenemos un conjunto ortonormal completo de funciones
j
que
satisface que satisface la definicin de ortonormalidad:


Puesto que los
j
forman un conjunto completo, cualquier funcin de onda permisible
puede ser expandida (expansin de Fourier) sobre dicho conjunto de funciones
ortonormales:


Del mismo modo:


Supngase ahora un operador Q que acta sobre una funcin de onda tal:


Multiplicando ambos miembros por el conjugado complejo
k
* de
k
e integrando
sobre todo el espacio:


En la expresin que tenemos del lado derecho de la igualdad, podemos sacar fuera de la
integral el smbolo de la sumacin, ya que generalmente hablando los signos de
integracin y sumacin son intercambiables, adems de sacar fuera tambin a las
constantes a'
j
:


Pero lo que tenemos en el lado derecho de la igualdad ya haba sido definido como algo
que cumple con la condicin de ortonormalidad por ser el conjunto de funciones
j
que
satisface la definicin de ortonormalidad, o sea:


Obsrvese que en el paso intermedio se ha aplicado la propiedad del delta de Kronecker
que elimina todos los trminos de la sumatoria excepto aqul trmino para el cual j.=.k.
Entonces esto nos deja en nuestra relacin inicial lo siguiente:


Podemos compactar esto mediante la notacin bra-ket de Dirac teniendo entonces:


Obsrvese que en la segunda lnea se ha substitudo el producto bra-ket por Q
kj
, definido
como un elemento matricial del operador Q:


En notacin matricial lo que hemos obtenido lo podemos escribir de la siguiente
manera:
Qa = a'

Hemos dejado de trabajar entonces con la Mecnica Ondulatoria y estamos trabajando
ya plenamente dentro de la Mecnica Matricial? No precisamente, porque al hablar de
un elemento matricial Q
kj
del operador Q estamos hablando de un operador Q que no
necesariamente es una matriz convencional. El elemento Q
kj
del operador Q, en el
desarrollo empleado para obtenerlo, depende no de otras matrices o vectores sino de
funciones de onda que ciertamente no son matrices. De cualquier manera, la potencia de
la notacin bra-ket de Dirac es que los resultados que se obtengan mediante la misma
puede hacerse extensible tanto a la Mecnica Matricial como a la Mecnica Ondulatoria
sin cambio alguno, lo cual nos viene a confirmar nuevamente que pese al hecho
innegable de que ambas ramas de la Mecnica Cuntica utilizan tcnicas matemticas
diferentes en el fondo reflejan la misma filosofa estructural, ya que de no ser as
entonces la Mecnica Matricial y la Mecnica Ondulatoria podran predecir resultados
diferentes para un mismo experimento, lo cual sera una verdadera calamidad para
quienes creen en la unificacin terica de la Fsica.

Puesto que los bras y los kets no son operadores, se sobreentiende que si dos kets estn
escritos en sucesin uno tras otro dentro de una expresin, los kets pueden ser
intercambiados de posicin sin que esto resulte en consecuencias mayores, un hecho
que puede ser utilizado ventajosamente en la simplificacin de expresiones. Podemos
llamar a este hecho la conmutatividad de los kets:


Del mismo modo, se sobreentiende tambin que si dos bras estn escritos en sucesin
uno tras otro dentro de una expresin, los bras pueden ser intercambiados de posicin
sin que esto resulte en consecuencias mayores, un hecho que puede ser utilizado
ventajosamente en la simplificacin de expresiones. Podemos llamar a este hecho la
conmutatividad de los bras:


En rigor de verdad, dos kets en sucesin uno tras otro es una circunstancia que
pudiramos considerar ilegal, al igual que dos bras en sucesin uno tras otro. Sin
embargo, esta es una situacin que puede surgir (y de hecho surge) en algn paso
intermedio de algn desarrollo que estemos llevando a cabo. Si el lector siente alguna
incomodidad con lo que tenemos arriba, se pueden agregar parntesis para volver ambas
expresiones legales:


Ahora bien, si formamos un producto matricial con un bra puesto a la izquierda y con
un ket puesto a la derecha, ya hemos visto que obtendremos un nmero como el
resultado de ese producto interno. Pero si formamos un producto con un ket puesto a la
izquierda y un bra puesto a la derecha, entonces el resultado de esa operacin ser
indudablemente una matriz. Y si los vectores que son utilizados para formar dicha
matriz son ortonormales, el resultado ser indudablemente la matriz identidad I. Se
acostumbra representar esto de la siguiente manera:


Si estamos pensando en los u
k
como vectores ortonormales, esto ltimo tal vez pueda
parecer un poco desconcertante, puesto que aparentemente tenemos en el lado izquierdo
el nmero 1 en lugar de la matriz identidad I, mientras que en el lado izquierdo tenemos
una sumacin. Es en estos casos en los que, dentro de la Mecnica Matricial, se
sobreentiende que el 1 en realidad representa a la matriz identidad (algo que
desafortunadamente muchos textos no aclaran). Y la sumacin en el lado izquierdo es el
resultado lgico de la sumacin de los vectores para formar una matriz. De cualquier
modo, dentro de la Mecnica Ondulatoria, el 1 no representa la matriz identidad sino
que es realmente el nmero 1.

PROBLEMA: Demostrar que:


Expandiendo la sumatoria, vemos que tenemos que evaluar lo siguiente:



Tomando para los vectores de base:
u
1
= (1, 0, 0)

u
2
= (0, 1, 0)

u
3
= (0, 0, 1)

empezamos escribiendo u
1
en notacin ket como un vector columna y en notacin bra
como un vector rengln:


De este modo, al bra lo podemos tomar como una matriz 3x1 y al ket lo podemos tomar
como una matriz 1x3, y de acuerdo con las reglas de multiplicacin para las matrices el
producto matricial en el orden ket-bra est definido en virtud de que el nmero de
columnas que corresponde al ket (que es 1) es igual al nmero de renglones que
corresponde al bra (que es tambin 1), siendo el resultado una matriz 3x3. De este
modo, el producto de ambos en el orden ket-bra nos genera la siguiente matriz:


Escribimos ahora u
2
en notacin ket como un vector columna y en notacin bra como
un vector rengln:


En este caso, el producto de ambos en el orden ket-bra nos genera la siguiente matriz:



Por ltimo, escribimos a u
3
en notacin ket como un vector columna y en notacin bra
como un vector rengln:


En este caso, el producto de ambos en el orden ket-bra nos genera la siguiente matriz:


Slo nos queda ya llevar a cabo la suma de trminos para poder obtener el resultado
final:


Debe ser claro que este resultado ser valido tanto para un espacio vectorial finito
(como el de este problema que es de dimensin tres) como para un espacio vectorial
infinito, siempre y cuando las funciones de base sigan siendo ortonormales.

PROBLEMA: Supngase que el operador Hamiltoniano de energa de un sistema de
dos estados est definido de la siguiente manera:


en donde es una constante con unidades de energa. Encuntrese para este sistema los
eigenvalores de su energa as como las eigenfunciones que corresponden a estos
valores expresadas como una combinacin lineal de los kets |1> y |2>.

Empezaremos por simplificar un poco la expresin proporcionada para el Hamiltoniano:


Definiremos a continuacin los ket de base de la siguiente manera:


Definidos as los kets de base, entonces los bras que son duales a estos kets lgicamente
sern:


Lo que est entre los parntesis en la expresin para el Hamiltoniano es simplemente la
suma de cuatro productos externos, que evaluada como lo hemos visto con anterioridad
nos proporciona la siguiente expresin:


La ecuacin esencial, esto es, la ecuacin de Schrdinger independiente del tiempo, fija
la eigen-ecuacin del Hamiltoniano de la siguiente manera:


Puesto que estamos considerando que se trata de un sistema de dos estados, podemos
representar la funcin de onda como:


La eigen-ecuacin matricial se puede escribir del modo siguiente:


Juntando en la eigen-ecuacin lo que tenemos arriba, se llega entonces al siguiente
determinante:


La solucin del determinante nos conduce a los eigenvalores que son posibles para este
sistema de dos estados:


Repitiendo mecnicamente los mismos pasos que fueron dados al principio de esta obra
en las entradas Vectores y matrices, llegamos entonces a la siguiente solucin para el
eigenvalor con signo positivo:


Obsrvese cmo, para mantener consistencia en la notacin, se ha representado a la
funcin de onda (resaltada con color magenta) como un ket. Esta eigen-funcin de onda
no est normalizada. Normalizndola de la manera usual, obtenemos:


En lo que respecta a la solucin para el eigenvalor con signo negativo, se tiene:


que una vez normalizada viene siendo:


De este modo, las eigen-ecuaciones para este sistema de dos estados, en notacin bra-
ket, vienen siendo las siguientes:


Reflejando el hecho de que en el lgebra bra-ket trabajamos con operadores que pueden
representar matrices, quiz la que puede ser considerada como la propiedad ms
importante de las operaciones matriciales, el axioma asociativo de multiplicacin,
aparece tambin al estar llevando a cabo operaciones legales de multiplicacin dentro
del lgebra bra-ket:
(AB)C = A(BC)

Esto significa que el siguiente producto, el cual representa a un operador actuando
sobre un ket:



puede ser considerado igual a lo siguiente tras un reacomodo de los parntesis de
acuerdo al axioma asociativo de multiplicacin:


ya que:


Con esto confirmamos que un operador actuando sobre un ket ser igual a otro ket (sin
tomar en cuenta la constante multiplicativa numrica que aparece como resultado de la
operacin). Esto significa que, si prescindimos de los parntesis, podemos interpretar la
siguiente expresin:


de dos maneras, ya sea como el operador |><| actuando sobre el ket |>, o
equivalentemente como el nmero <|> multiplicando al ket |>. Aunque esto puede
parecer ambiguo, en realidad la situacin no es tan mala como parece, ya que este hecho
sencillo permite llevar a cabo simplificaciones abreviadas.

Puesto que la multiplicacin de un vector (o una matriz) por la matriz identidad nos
regresa el mismo vector (o la misma matriz) sin alterar en nada lo que ya tenamos, lo
anterior puede ser utilizado ventajosamente para injertarlo entre los smbolos de un
producto interno bra-ket permitindonos un desarrollo posterior, como lo muestra el
siguiente ejemplo en el que tenemos el producto de dos operadores O y P dentro de un
producto interno bra-ket:


Obsrvese que cada vez que se injerta un producto bra-ket (en ese orden) usando
funciones de base normalizadas, es necesario anteceder tambin una sumatoria por cada
producto bra-ket injertado. Si hubisemos injertado dos productos bra-ket usando
funciones de base normalizadas, habramos tenido que anteceder todo con dos
sumatorias, y as sucesivamente. Lo que tenemos en amarillo es algo que hemos
injertado dentro del producto interno original, y siendo la unidad no nos debe cambiar
en nada la evaluacin de lo que obtenemos posteriormente. Pero observando ms de
cerca, podemos ver que al haber hecho la operacin que hemos hecho tenemos en
esencia dos operaciones nuevas dentro de la sumatoria; una de ellas nos entresaca el
elemento O
ik
del operador matricial O, mientras que la que le sigue nos entresaca el
elemento P
kj
del operador matricial P, tal y como lo hemos visto arriba.

Si con las operaciones definidas arriba entresacamos un elemento (O)
ij
de la
transconjugada de una matriz O, entonces esto puede representarse en la primera lnea
del siguiente desarrollo como se muestra a continuacin:


Obsrvese que en la segunda lnea del desarrollo hemos utilizado la propiedad de que
matriz es en esencia una matriz Hermitiana, o mejor dicho, un operador Hermitiano. En
la tercera lnea, hemos invetido el orden de los bras y los kets, tomando al mismo
tiempo el conjugado completo del elemento. Y en la cuarta lnea, lo que tenemos es el
conjugado complejo de la transpuesta de la matriz O, que es en esencia la definicin de
una matriz Hermitiana.

La notacin bra-ket de Dirac adems de ser elegante es sumamente verstil,
permitindonos expresar en forma compacta situaciones que con palabras nos llevara
un amplio espacio explicar, pudiendo extenderse la definicin para abarcar no slo una
funcin de onda para una partcula sino inclusive dos o ms, como lo muestra el
siguiente ejemplo:


en donde se lleva a cabo la evaluacin de una esperanza matemtica entre dos estados,
siendo el primer estado el producto de dos funciones de onda A y B asignadas a la
partcula 1 y a la partcula 2 respectivamente, y siendo el segundo estado el producto de
las mismas dos funciones de onda A y B pero asignadas a la partcula 2 y a la partcula
1 respectivamente. Como debe serlo en base a la definicin, para evaluar las integrales
mltiples que nos representa esta expresin bra-ket debemos tomar el conjugado
complejo de lo que va puesto del lado del bra, en este caso
A
(1)

B
(2)
.

PROBLEMA: Considrese el caso de una partcula en una caja confinada a moverse
unidimensionalmente dentro de una caja de longitud L. Supngase que la partcula se
encuentra inicialmente en el estado fundamental (o estado basal). Sbitamente, una de
las paredes es movida hacia afuera dndole a la longitud de la caja una dimensin
igual a 3L. Cul es la probabilidad de que la partcula se encuentre en el estado
fundamental en la nueva caja?

Identificando a la funcin de onda para una partcula en una caja de longitud L en el
estado fundamental como
1
(L)
y a la funcin de onda para una partcula en una caja de
longitud 3L en el estado fundamental como
1
(3L)
, la probabilidad de que la partcula
permanezca en el estado fundamental en la nueva caja despus de haber tenido el mismo
estado anteriormente est dada por:


En una entrada anterior ya habamos obtenido las funciones de onda para una partcula
encerrada en una caja movindose unidimensionalmente, y las funciones de onda para
dicha partcula en el estado fundamental tanto en una caja de longitud L como en una
caja de longitud 3L sern:


Tomando el producto interno de ambas funciones a lo largo de la longitud inicial L de la
caja:


Simplificando un poco sacando las constantes fuera de la integral:


Con la finalidad de evaluar la integral, haremos uso de la siguiente identidad
trigonomtrica:


Llevando a cabo la integracin, tomando los lmites y evaluando, tenemos entonces lo
siguiente para el producto interno de las dos funciones de onda:


El cuadrado de esta cantidad ser entonces la probabilidad que estamos buscando: