Mecánica Cuántica Avanzada — Carlos Pena 7-1

7. Formalismo de matriz S: generalidades.

[Ros XVI.7, Ynd 22.2]

Motivación

El formalismo visto hasta ahora es aplicable, en su mayor parte, a la dispersión

elástica a dos cuerpos que interactúan mediante un potencial central. Esto constituye
una seria limitación, ya que los procesos elásticos son sólo una pequeña parte de los
que es necesario estudiar para comprender la estructura de la materia.

Σl �E�
Considérense, por ejemplo, los procesos de colisión en log E
que un electrón choca con un átomo, un núcleo,
σl (ER )
ERu otra
partı́cula subatómica. Para energı́as E . 1 eV, Eel pro- ∼ 100 GeV
ceso será esencialmente siempre elástico. Si la energı́a es (interacciones débiles)
del orden de algunos eV, el choque del electrón con un
átomo podrá modificar el estado del mismo (incluso, posi-
blemente, ionizarlo), y empezarán aΓ ser posibles los pro-
∼ 1 GeV
cesos inelásticos. Cuando la energı́a del electrón es del
(estructura hadrónica)
orden de muchos keV el proceso se vuelve relativista, y em-
pieza a ser posible generar partı́culas nuevas en el estado E
ER
final a través de un proceso de conversión masa–energı́a.
Una energı́a del orden de los MeV permitirı́a modificar ∼ 10 MeV
el estado del núcleo atómico; una del orden de los GeV (estructura nuclear)
sondear la estructura interna de protones y neutrones en
me c2
términos de quarks y gluones; una del orden de decenas
o cientos de GeV involucrarı́a la interacción débil, cuya ∼ keV
escala tı́pica es MZ c2 ≈k + 90
×
iε GeV. Todos estos procesos
k + iε
× (estructura atómica)
presentan canales
× inelásticos. Ahora mismo,
× con nuestro
−k − iε −k − iε
formalismo sólo podrı́amos estudiar el escalón más bajo,
E  keV, de modo que serı́a imposible explotar las ca-
� keV
pacidades de los experimentos de colisión para estudiar la
(régimen elástico)
estructura subatómica.
La ecuación de Lippmann-Schwinger permite tratar potenciales no centrales,
y es un punto de partida potencial para estudiar la dispersión inelástica, ya que
no parte de hipótesis restrictivas sobre el proceso tratado. De hecho, las técnicas
basadas en el formalismo de Lippmann-Schwinger encuentran muchas aplicaciones
en varias áreas de la fı́sica. Por otra parte, un programa basado en dicho formalismo
presupone que se conoce el hamiltoniano del sistema, y que el mismo es de la forma
Ĥ = Ĥ0 + V̂ . En la práctica, esto puede constituir una limitación para estudiar
sistemas en los que el hamiltoniano tenga una estructura, o cuando directamente
7-2 Mecánica Cuántica Avanzada — Carlos Pena

sea difı́cil construirlo (como ocurre a menudo en teorı́a cuántica relativista. Por
ello serı́a útil desarrollar un formalismo que permita extraer la máxima cantidad
de información de un proceso de dispersión con el mı́nimo de hipótesis sobre las
propiedades del sistema. Esta reflexión llevó a Wheeler y a Heisenberg a desarrollar,
de manera paralela el llamado formalismo de matriz S a principios de los años
1940.

Estados asintóticos y evolución temporal: operador matriz S

Supongamos que {|α; ti} es un conjunto completo de estados ortonormales de un

sistema cuántico a tiempo t, donde α es un ı́ndice colectivo que denota todos los
números cuánticos de un conjunto completo de operadores que conmutan (posición,
momento, o energı́a de las partı́culas; spin; cargas; . . . ). Definimos los estados
asintóticos del sistema como
|αiin := lim |α; ti ,
t→−∞
(7.1)
|αiout := lim |α; ti ,
t→+∞

Por lo demás, las únicas hipótesis que haremos serán:

(i) Tanto {|αiin } como {|αiout } son conjuntos completos de estados ortonormales
de un sistema libre (o, más en general, de un sistema que sabemos tratar de
manera exacta).

(ii) Existe un operador evolución temporal unitario Û (t2 , t1 ) ∀t2 , t1 . Una versión
más fuerte de esta hipótesis es que el sistema sea invariante bajo traslaciones
temporales y exista un hamiltoniano Ĥ, ya que en ese caso siempre se puede
reconstruir el operador evolución temporal definiendo

i
 
Û (t2 , t1 ) := exp − Ĥ(t2 − t1 ) . (7.2)
~

La hermiticidad Ĥ = Ĥ † asegura que Û (t2 , t1 ) es unitario.

Definimos el operador matriz S como

Ŝ := lim Û (t2 , t1 ) . (7.3)

t1 →−∞
t2 →+∞

Ŝ describe la evolución temporal entre el pasado remoto y el futuro lejano, de manera

que contiene toda la información sobre la dinámica del sistema. En particular,
sintetiza la información que querrı́amos extraer de un proceso de dispersión: en el
Mecánica Cuántica Avanzada — Carlos Pena 7-3

mismo controlamos el estado inicial del sistema y su dinámica (e.g. lanzamos un

haz partı́culas libres) a t = −∞, dejamos que el sistema evolucione llevando a cabo
interacciones a t ∼ 0, y medimos los resultados de la colisión (que, en general, son
de nuevo partı́culas libres) a t = +∞.
Es importante subrayar que, puesto que los estados in y out describen el mismo
sistema, la relación entre las bases {|αiin } y {|αiout } dada por la matriz S es esen-
cialmente una rotación de la base que contiene la información sobre la interacción.
La amplitud de probabilidad de que el sistema pase de un estado |αi del sistema
libre en t = −∞ a un estado |βi del mismo sistema en t = +∞ estará dada por los
elementos de matriz del operador Ŝ

Sβα = hβ|Ŝ|αi = out hα|βiin . (7.4)

Esto es equivalente a
Z
|αiin = Sβα |βiout , (7.5)
β

donde β representa una integral (para números cuánticos continuos) o una suma
R

(idem discretos) sobre todos los valores posibles de los números cuánticos.

Unitariedad

La unitariedad del operador evolución temporal conlleva necesariamente la del op-

erador matriz S. Es interesante ver cómo se expresa dicha propiedad en términos de
elementos de matriz y estados asintóticos:
Z Z Z
∗ 0 ∗ 0
Sβα0 Sβα = out hβ|α iin out hβ|αiin = in hα |βiout out hβ|αiin . (7.6)
β β β

Pero, por hipótesis, el conjunto de estados out es completo,

Z
|βiout out hβ| = 1̂ , (7.7)
β

luego
Z
∗ 0
Sβα 0 Sβα = in hα |αiin = δαα0 , (7.8)
β

o, en lenguaje operatorial,

Ŝ † Ŝ = Ŝ Ŝ † = 1̂ . (7.9)
7-4 Mecánica Cuántica Avanzada — Carlos Pena

Amplitudes de transición y matriz de reacción

Como ya hemos mencionado, la relación entre las bases {|αiin } y {|αiout } dada por
la matriz S es esencialmente una rotación de la base que contiene la información
sobre la interacción. En ausencia de interacciones, es natural elegir |αiin = |αiout ,
de modo que

(libre)
Sαα0 = δαα0 ⇔ Ŝ (libre) = 1̂ . (7.10)

Para aislar la parte del operador Ŝ que contiene las interacciones de la descripción
de la evolución en ausencia de las mismas, se definen, en lenguaje de operadores, el
operador matriz de reacción o matriz R

Ŝ = 1̂ − R̂ , (7.11)

y, en lenguaje de elementos de matriz, las amplitudes de transición del estado

|αiin al estado |βiout

Sβα = δβα + iδ(Eα − Eβ )δ (3) (pα − pβ )Tβα . (7.12)

Nótese que en este último caso se ha supuesto implı́citamente que las interacciones
conservan el momento y la energı́a (i.e. que el sistema es invariante bajo trasla-
ciones espaciales y temporales, respectivamente), y se han extraı́do explı́citamente
las correspondientes deltas de Dirac que expresan la conservación de la amplitud
Tβα . Dichas deltas también están contenidas en la notación colectiva δβα del primer
término. Evidentemente, la relación entre las dos cantidades está dada por

Rβα = −iδ(Eα − Eβ )δ (3) (pα − pβ )Tβα . (7.13)

Es interesante reescribir la ligadura de unitariedad (7.9) en términos de R̂ y

Tβα . En el primer caso se obtiene

(1̂ − R̂)† (1̂ − R̂) = (1̂ − R̂)(1̂ − R̂)† = 1̂ ⇔ R̂ + R̂† = R̂† R̂ = R̂R̂† , (7.14)

mientras que en el segundo es fácil llegar a

Z
∗ ∗
Tβα − Tαβ =i δ(Eα − Eγ )δ (3) (pα − pβ )Tγβ Tγα . (7.15)
γ

Más adelante utilizaremos esta expresión para demostrar una versión generalizada
del teorema óptico.
Mecánica Cuántica Avanzada — Carlos Pena 7-5

Imagen de Dirac o de interacción

Recuérdese que en la descripción mecanocuántica de un sistema siempre es posible

elegir entre la imagen de Schrödinger, en la que la dependencia temporal está en los
estados del espacio de Hilbert asociado al sistema, y la imagen de Heisenberg, en la
que está en los operadores que actúan sobre los estados. Hasta ahora hemos estado
asumiendo implı́citamente que trabajábamos en la imagen de Schrödinger. Para
terminar la introducción de conceptos y notación asociados al formalismo de matriz
S, construiremos una imagen “intermedia”, llamada de Dirac o de interacción, en
la que se distingue entre la dependencia temporal asociada a la interacción y la que
está asociada a la evolución libre. Para ello tendremos que usar la versión fuerte
de la hipótesis sobre evolución temporal, en la que postulamos la existencia de Ĥ y
construimos Û (t2 , t1 ) a partir de él.
Recordemos que la relación entre estados y operadores en las imágenes de
Schrödinger y Heisenberg está dada por
i
|α; tiS −−−−→ |αiH = e ~ Ĥt |α; tiS
i i
(7.16)
ÂS −−−−→ ÂH (t) = e ~ Ĥt ÂS e− ~ Ĥt .

En la imagen de Schrödinger, la evolución temporal de los estados está dada por la

ecuación de Schrödinger dependiente del tiempo

∂
i~ |α; tiS = Ĥ|α; tiS , (7.17)
∂t
mientras que en la imagen de Heisenberg los operadores evolucionan de acuerdo con
la ecuación
∂ i
ÂH (t) = [Ĥ, ÂH (t)] . (7.18)
∂t ~
Para introducir la imagen de interacción, comenzamos separando el hamilto-
niano en dos partes: una libre (o más en general, soluble), que en el contexto del
formalismo de matriz S será aquella de la que son autoestados los estados asintóticos;
y el resto, que contiene las interacciones no triviales,

Ĥ = Ĥ0 + Ĥ (int) , (7.19)

y definimos los estados y los operadores como

i
|α; tiI := e ~ Ĥ0 t |α; tiS ,
i i
(7.20)
ÂI := e ~ Ĥ0 t ÂS e− ~ Ĥ0 t .
7-6 Mecánica Cuántica Avanzada — Carlos Pena

Para construir la evolución temporal de operadores y estados, basta utilizar las ecua-
ciones correspondientes de la imagen de Schrödinger en el cálculo de las derivadas
temporales de ambos. Para los operadores se obtiene
∂ ∂ n i Ĥ0 t i
o
ÂI (t) = e~ ÂS e− ~ Ĥ0 t
∂t ∂t (7.21)
i
= [Ĥ0 , ÂI (t)] .
~
La ecuación de evolución para los estados requiere algo más de trabajo. Empezamos
haciendo
∂ ∂ n i Ĥ0 t o
i~ |α; tiI = i~ e~ |α; tiS
∂t ∂t
i ∂
 
= i~
i
Ĥ0 e ~ Ĥ 0 t i
|α; tiS + e ~ Ĥ0 t
|α; tiS (7.22)
~ ∂t
i i
= −Ĥ0 e ~ Ĥ0 t |α; tiS + e ~ Ĥ0 t [Ĥ0 + Ĥ (int) ]|α; tiS .

El primer término del segundo miembro es igual a −Ĥ0 |α; tiI , mientras que el se-
gundo término se puede reescribir como
i i i i i
e ~ Ĥ0 t [Ĥ0 + Ĥ (int) ]|α; tiS = e ~ Ĥ0 t Ĥ0 e− ~ Ĥ0 t |α; tiI + |e ~ Ĥ0 t Ĥ (int)
{z e
− ~ Ĥ0 t
} |α; tiI ,
| {z }
(int)
=Ĥ0 =ĤI
(7.23)

con lo que finalmente obtenemos

∂ (int)
i~ |α; tiI = ĤI |α; tiI . (7.24)
∂t