En esta entrada vamos a dar el salto de una teoría clásica a una teoría cuántica. Es decir, vamos a cuantizar de verdad una teoría. El ingrediente esencial para cuantizar una teoría clásica es precisamente conocer muy bien dicha teoría y, por supuesto, elegir un procedimiento de cuantización.
Aquí vamos a sacar provecho de las entradas sobre el oscilador armónico y vamos a cuantizar esta teoría. Intentaremos hacerlo todo pormenorizado y con calma. Este simple ejemplo, que de hecho es uno de los más importantes de toda la física, nos permitirá ver en todo su explendor un proceso de cuantización y de ver las diferencias entre una descripción clásica y una cuántica de los fenómenos físicos.
Preparando la cuantización
Como hemos visto en la entrada de Estados y Observables y en la de ¿Qué es cuantizar?
En la física clásica los estados y observables no se distinguen:
Los estados vienen dados por la especificación de los valores las funciones que representan magnitudes y observables, especialmente posiciones y momentos.
En la física cuántica por otro lado tenemos de un lado los estados, que contienen la información sobre el sistema. Y los observables que son objetos matemáticos que sacan la información de dentro de los estados a través de una determinada regla.
Por tanto cuantizar es pasar de las funciones clásicas a los estados cuánticos y los observables cuánticos representados por operadores (en el sentido matemático).
Pero queda un ingrediente más, en la física, las propiedades dinámicas (es decir de la evolución temporal de los sistemas) se extraen a través de una operación denominada paréntesis de Poisson. Sin embargo esta operación actúa sobre «observables clásicos» que al fin y al cabo son funciones (que toman valores dependientes del tiempo generalmente). Si vamos a pasar a la cuántica no podemos usar esta operación porque los observables ya no son funciones sino esas cosas que llamamos operadores.
Precisamente el proceso de cuantización ha de proponer una nueva operación que contenga la información de cómo obtener la evolución temporal en el rango cuántico. Y en este caso emplearemos la famosa prescripción de Dirac, así que trabajaremos en lo que se llama cuantización canónica.
Cuantización Canónica: Siguiendo los pasos a Dirac.
Nos vamos a centrar en la posición, que como vamos a tratar con el ejemplo del oscilador, viene dada por la función x y el momento p (masa de la partícula por la velocidad en la dirección x).
Los observables clásicos serán funciones de posiciones y momentos.
La energía total del sistema viene dada por , la posición simplemente por x, el momento simplemente por p. Así nuestros observables clásicos serán siempre de la forma F(x,p), es decir una función tanto de posiciones como de momentos (aunque está claro que el observable puede depender únicamente de uno de ellos). La energía total depende tanto de x, como de p, como es evidente por la fórmula. Sin embargo, la posición sólo depende de x, etc.
Y en la entrada del Hamiltoniano introdujimos el paréntesis de Poisson como una operación entre las funciones dependientes de los observables clásicos. Así dados dos observables clásicos F(x,p) y G(x,p) podemos definir la operación paréntesis de Poisson:
{F,G}
Dirac lo que nos dice es:
Tenemos que convertir los observables clásicos en observables cuánticos:
1.- La función F ha de ser sustituida por el operador
2.- Y la operación que condensa la dinámica ya no es el paréntesis de Poisson, { , } sino el conmutador entre operadores [ , ].
Y la relación entre paréntesis de Poisson y conmutador es la siguiente:
{F,G}
¿Cómo funciona esto?
Dado que cualquier observable clásico es función de x’s y p’s, bastará con encontrar esta relación para posiciones y momentos.
El paso de funciones clásicas a operadores cuánticos es sutil y demostrar que un determinado observable clásico le corresponde un determinado operador se tiene que postular muchas veces y después comprobar que se verifica la relación de conmutación. Existen justificaciones matemáticas, pero son terriblemente técnicas y ciertamente aburridas. Así que aquí vamos a proponer la forma del operador, estudiar como actúa y ver que verifica la condición de cuantización canónica de Dirac.
La posición clásica dada por x se representa cuánticamente por un operador . Este operador tiene una actuación simple, si tenemos un estado cuántico representado por una función de la posición
este operador simplemente multiplica la función por su posición:
El momento clásico dado por p se representa cuánticamente por un operador . Este operador calcula el cociente de como varía el estado cuántico dado por
(
) cuando variamos la posición una cantidad pequeña
, es decir calcula su derivada respecto a la posición, y lo multiplica por
:
Lo que tiene que ocurrir es que:
{
}
Como vimos en la entrada del Hamiltoniano, {x,p}=1. Por tanto se tiene que cumplir:
Comprobemos esto y para ello tenemos que introducir ciertas cosas que, nos resultarán familiares.
Para empezar, ¿qué es el conmutador?
El conmutador es una operación entre operadores que se define del siguiente modo (llamaremos aquí a los operadores latex \hat{B}$ ):
¿Os suena? esta es justamente la operación que introdujimos en el RETO 😉
Pero esta operación actúa sobre operadores, y los operadores han de actuar sobre algo, por si mismos están vacíos de contenido. Aquí vale la analogía con la máquina expendedora, la máquina por si misma no hace nada, hay que proporcionarle algo (en este caso una función) para que de un resultado. Así que la anterior expresión la hemos de entender así:
Donde la función f depende (o puede depender) de posiciones o momentos o tiempo.
Así que apliquemos esto a nuestros operadores momento y posición, empleando una función :
Ahora pongamos la actuación de cada operador:
Entonces tenemos:
Al primer término no hay que hacerle nada, pero el segundo término implica la derivada de un producto de funciones, en este caso la y la
. La derivada de un producto de funciones fg se calcula según esta regla:
La derivada del primero por el segundo sin derivar más el primero sin derivar por la derivada del segundo.
Por tanto tenemos que el conmutador queda:
Agrupando y recordando que dx/dx = 1 (ver la entrada sobre el mecanismo de Higgs):
Por lo tanto podemos decir:
Lo que se suele simplificar en la notación en:
entendiendo que hay una función arbitraria sobre la que actúa el conmutador.
Es claro que se satisface la regla de Dirac que habíamos presentado antes, la relación entre el paréntesis de Poisson y el conmutador. Asombroso.
¿Cómo queda el Hamiltoniano cuantizado?
Clasicamente, el Hamiltoniano es (estudiaremos el del oscilador armónico pero la técnica es general):
Ahora lo convertimos a operador cuántico:
Si sustituimos el operador momento y el operador posición por su actuación sobre funciones tenemos:
La doble derivada se puede escribir así: (eso implica que cuando actúa sobre una función hay que derivar una vez, y el resultado volverlo a derivar. Dado que la posición actúa multiplicando funciones basta poner la x multiplicando.
Pero eso es un operador, entonces tiene que actuar sobre una función :
Pero ¿qué información contenía el Hamiltoniano? Pues la energía total del sistema, por lo tanto podemos decir:
Y esta es la ecuación fundamental del sistema oscilador armónico cuántico. Al resolver esta ecuación encontraremos los estados del oscilador que tienen una energía E dada. Esta es la ecuación de Schrödinger del oscilador armónico. En la versión extendida tenemos:
Conclusión:
En esta entrada hemos cuantizado el oscilador armónico. Hemos aplicado el método propuesto por Dirac que se basa en un cambio de funciones clásicas a operadores para representar los observables y un cambio de la operación que condensa la dinámica, del paréntesis de Poisson (en la física clásica) al conmutador (en la física cuántica).
En sucesivas entregas resolveremos esta ecuación y estudiaremos las energías del sistema, veremos como el sistema no puede tener cualquier energía, sino que toma determinados valores y no cualquier otro. Esta es una característica inédita en la física clásica donde la energía puede tomar cualquier valor. En cuántica, en situaciones determinadas, la energía del sistema sólo puede tomar ciertos valores. Discutiremos este punto ampliamente.
Si alguno está interesado volvemos a insistir en leer, seguir y hacer lo propuesto en el RETO, porque pronto desvelaremos su utilidad en mecánica cuántica.
Nos seguimos leyendo…
Muchas gracias a ricardocosan por sus comentarios.
Estoy estudiando ingeniería mecatrónica, pero mi corazón está en las MATEMÁTICAS y en la FÍSICA, en Junio fui a la IV Escuela Mexicana de Teoría de Cuerdas Y Supersimetría y me dieron muchísimos ánimos para seguir con una maestría en esto y por qué no, un Doctorado 🙂 y con esto me siento optimista para entender todos esos conceptos, procedimientos, caminos y hasta las matemáticas que se necesitan para desarrollar estas Teorías tan bonitas. Agradezco este esfuerzo que hacen ya que noto la forma en la que he podido introducirme en estos temas.
Hola cc, me encanta esta serie, quisiera saber si vas a continuar con ella algún día, es que es símplemente maravillosa
Pingback: ¿Aburridos/as?… ¿Cuantizamos? Parte I | Cuentos Cuánticos | Ciencia y Arte
Pingback: Prohibido conmutar I | Cuentos Cuánticos
Pingback: El problema de la mecánica cuántica. | Cuentos Cuánticos
Asombrosa forma de aprender algo que creìa olvidado, gracias por su asistencia CC y seguirè la secuencia, preparàndome para lo que ha de venir que creo que es emocionante y no parece muy dificil.
Realicè un ejercicio de la derivada de un producto de funciones fgh y no se si està correcto, esto es´ d(fgh)/dx)=df(gh)+f(dg h/dx+gdh/dx), ya veremos si esto puede llevarse a cabo asì.
Efectivamente, muy bien tienes que aplicar dos veces la regla de la derivada del producto y listo. Lo escribo en latex para que se vea bien:
Ooooooooooohhhhhhh, maravilloso, soy Ing. Quìmico, tengo 66 años, estoy refrescàndome la memoria con los conocimientos que expone en este blog CC, con esto me divierto mucho, ya que sigo la secuencia sin perderme nada.
Genial, nos alegramos mucho de que te guste y de que sigas las entradas en secuencia.
Un saludo.
Solo para tener en cuenta. Estoy en Firefox y algunas fórmulas no se ven bien, aparece la palabra latex junto con $.
Creemos que no es problema del navegador sino de que algunas veces las fórmulas no se compilan bien. Hemos arreglado las que hemos visto, si aparecen algunas nuevas sin compilar por favor dinos cuáles son.
Muchas gracias y un abrazo.
Buena entrada, aumentando el suspense para lo que va a venir.
a mitad de texto, y el operador momento al cuadrado coge un signo menos en el hamiltoniano por la
.
Un par de erratas: se te pasó sin compilar un
Como opinión personal en la presentación, yo soy más de mantener los gorros de operador en todo momento para no confundir al personal y hacer las cosas más visuales.
Un saludo.
Corregidas las erratas… y sí, lo de los gorros tiene sentido, voy a ver si lo metemos
Muchas gracias