El fundamental del CO satura la desigualdad de Kennard exactamente — pm y — y ningún otro nivel lo hace. Ahí está, en una línea, el error que más veces se comete en este tema: coger una fórmula del oscilador que es verdad donde se dedujo y usarla justo al lado. Este potencial invita a eso como ningún otro, porque casi todo lo suyo sale redondo y casi nada de lo suyo es general. Hay tres ejes por los que una fórmula se sale de su sitio, y los seis problemas de abajo pasan por los tres.
El n. El fundamental es una gaussiana, y las gaussianas factorizan sus momentos pares: . Ningún otro nivel es una gaussiana y en ninguno vale esa factorización, aunque la identidad se escriba igual de bien y dé un número creíble. Antes de usar una identidad de gaussianas, di en qué estado estás.
Los grados de libertad. El ½ħω se paga una vez por grado de libertad, no una vez por sistema. Es el sitio natural de un factor 2 perdido, y no canta: «medio cuanto» suena igual de bien en cualquier dimensión.
El rango. Toda ley que empiece por «si la perturbación es pequeña» necesita el número que dice cuán pequeña, y ese número casi nunca se calcula. El problema 5 lo pide explícitamente, y no es una pregunta retórica.
Y una brújula de método, que ahorra páginas: elige el camino después de mirar la pregunta. Un valor esperado de x o de p, un elemento de matriz, un : eso es álgebra de a y a† y sale en dos líneas. Una forma de ψ, un nodo, una paridad, la probabilidad de estar más allá del retorno clásico: eso es Hermite y hay que integrar. El error caro es el segundo disfrazado del primero — lanzarse a integrar porque «es el oscilador y los osciladores se integran».
Los datos van impresos en cada enunciado, con las cifras que hacen falta para comprobarse: no hay que ir a buscarlos a los artículos. Las constantes fundamentales son las de CODATA 2022; las espectroscópicas del CO y de su isotopólogo, las de NIST.
Herramientas prestadas, que este módulo no deduce y van dichas: el teorema del virial, que el programa enuncia y comprueba numéricamente en el I.3 pero no deduce en ninguna parte, y del que el problema 5 usa además la forma general 2⟨T⟩ = ⟨x·V′(x)⟩, válida cuando V no es una potencia única; la ocupación térmica de un oscilador —Termario III.2, «La función de partición lo sabe todo»—, usada en el 1; la corrección de segundo orden del módulo II.8, que los problemas 3 y 5 reciben escrita; y la existencia de modos normales para dos grados de libertad acoplados —Mecanario II.3, «Los osciladores acoplados»—, en el problema 6. Ninguno de los seis necesita nada del II.4, y ninguno se contesta arrastrando un mando de los dos paneles.
El 13C16O ya está medio hecho en el módulo: el ejercicio 4 del artículo 01 comprobó que su constante de fuerza es la misma —eso es Born-Oppenheimer, y significa que no cambia k sino la curva V(r) entera— y el ejercicio 4 del artículo 04 predijo sus dos constantes espectroscópicas y su banda fundamental. Eso ya lo predijiste; aquí están las cifras, para no tener que ir a buscarlas — y esto es lo que ninguno de los dos ejercicios tocó: qué le pasa al resto del oscilador, y qué es lo único que se queda de verdad quieto.
Del 12C16O: μ = 6,856 u, ω̃e = 2169,81 cm⁻¹, ω̃exe = 13,288 cm⁻¹, xe = 6,124 × 10⁻³, k = 1901,86 N/m, ω = 4,087 × 10¹⁴ rad/s (2π/ω = 15,37 fs), x0 = 4,761 pm, ħω = 269,0 meV, punto cero armónico 134,51 meV —la quinta cifra hace falta en (b)—, θvib = 3122 K, banda fundamental medida 2143,27 cm⁻¹ y profundidad del pozo De = 10,98 eV. Del 13C16O, todo medido (NIST): μ13 = 7,1724 u, ω̃e = 2121,47 cm⁻¹, ω̃exe = 12,715 cm⁻¹ y banda fundamental 2096,07 cm⁻¹ — las tres en su versión medida, que es la que el ejercicio 4 del artículo 04 predijo y contra la que se contrasta. El factor ρ = √(μ12/μ13) no va impreso: es la primera línea del problema.
(a) Pasa a gigahercios el corrimiento de ω̃e entre los dos isotopólogos. Un espectrómetro heterodino de infrarrojo resuelve del orden de 1 MHz: ¿cuántas anchuras de resolución separan las dos especies? (b) Da ħω y el punto cero armónico del 13C16O, en meV, y cuántos meV baja el punto cero; comprueba que esa bajada es exactamente la mitad de lo que baja un cuanto entero, y di por qué. Y ahora la parte que paga: el artículo 04 publica la bajada real —la del punto cero espectroscópico , con las constantes medidas de cada isotopólogo— y son 2,98 meV. La tuya es armónica. Da la diferencia entre las dos en meV y explica de dónde sale, repartida en sus dos causas: qué término de G(0) no está en tu cuenta y cuánto aporta, y cuánto aporta que la ω̃e medida del isotopólogo no sea exactamente la escalada por ρ. Una de las dos se lleva más del noventa por ciento: di cuál. Después ordena k, ħω y x0 por la potencia de μ con que escala cada uno, con el exponente escrito, y da x0(13CO) en pm. (c) El ejercicio 1 del artículo 04 halló que el 12C16O alcanza ⟨n⟩ = 0,1 a 1302 K. ¿A qué temperatura la alcanza el 13C16O, y cuántos kelvin de diferencia son? Justifica por qué el factor de bajada es exactamente el de la frecuencia y no su cuadrado ni su raíz. (d) Que k no cambia lo dejó zanjado el ejercicio 4 del artículo 01 y por eso no se vuelve a pedir. Hay un segundo número del pozo que tampoco cambia y que nadie ha comprobado: la profundidad . Demuéstralo con las dos leyes de escala, y mide después cuánto se aparta de los 10,98 eV la De que sale de las constantes medidas del isotopólogo. Y ahora la que sí cambia, contra toda intuición: con —el ejercicio 3 del artículo 04, que para el 12C16O dio v = 81— demuestra cómo escala ese recuento y estima cuántos niveles vibracionales gana el isotopólogo pesado. Con todo eso delante, localiza en una frase el error de quien concluye que «el enlace del 13CO es más flojo, porque su raya se ha ido al rojo».
Pista
Todo sale de un solo exponente: con k fija, ω ∝ μ−1/2. Propágalo por cada definición antes de meter un solo número.
Ojo en (d): ω̃e y ω̃exe escalan con potencias distintas, así que su cociente no es invariante aunque De sí lo sea. Ahí está toda la sorpresa del apartado.
Comprobación: recalcula k con tu μ13 y tu ω13. Si no te devuelve los 1901,86 N/m de partida, tu ley de escala lleva μ o μ² donde tenía que llevar √μ.
El mismo electrón del artículo 01, ahora en una trampa isótropa de dos dimensiones con la misma ω y el mismo x0 = 1 nm en cada eje. Datos: m = me, x0 = 1,000 nm, k = 12,21 mN/m y ħω = 76,20 meV.
(a) Separa y escribe el espectro con (nx, ny) y con N = nx + ny. Da E(N = 0) y E(N = 1) en meV, y el cociente entre el punto cero de este oscilador y el del mismo electrón en una dimensión. (b) Halla la degeneración g(N). Cuéntala primero en (nx, ny) y después otra vez en la etiqueta polar (nr, m), donde nr = 0, 1, 2… cuenta nodos radiales, m es cualquier entero y el nivel N de antes es el que cumple 2nr + |m| = N; comprueba que los dos recuentos coinciden hasta N = 4. (c) ¿Satura el fundamental la desigualdad de Kennard en x y en y a la vez? ¿Y alguno de los dos estados de N = 1? (d) El II.2 demostró que en una dimensión los estados ligados no son degenerados, y aquí hay degeneración desde el primer nivel excitado. ¿Qué hipótesis de aquella demostración ha dejado de cumplirse — y en qué se apoya, entonces, la degeneración que sí hay?
Pista
H = Hx + Hy con los dos conmutando: las energías se suman y los enteros son independientes.
Ojo en (b): N = 2 no es sólo (2, 0) y (0, 2) — cuenta (1, 1). Y en (c), los dos ejes se miran por separado: un estado puede saturar en uno y fallar en el otro por un factor entero.
Comprobación: en la etiqueta polar, m = 0 aporta un estado y cada |m| ≠ 0 aporta dos. Si los dos recuentos discrepan en algún N, uno de los dos está contando de más.
El electrón del artículo 01 —m = me, x0 = 1,000 nm, k = 12,21 mN/m, ħω = 76,20 meV— se mete en un campo eléctrico uniforme ε = 100 kV/cm paralelo a x. El potencial pasa a ser . Para el último apartado tienes prestada, del II.8, la corrección de segundo orden a la energía del nivel n bajo una perturbación W:
(a) Completa el cuadrado y escribe H como el de un oscilador desplazado. ¿Cambian las energías? ¿Cambian las separaciones entre niveles? ¿Cambian las funciones de onda? (b) ¿Cuánto se mueve el mínimo, en pm, y qué porcentaje de x0 es? Da ⟨x⟩ en los estados n = 0 y n = 2 y explica en una línea por qué salen iguales. (c) ¿Cuánto baja cada nivel, en meV? Exprésalo como fracción de ħω y frente a kBT(300 K) = 25,85 meV. Con eso, di qué medida distinguiría este oscilador del de campo cero — y cuál no lo distinguiría nunca. (d) Un compañero calcula la corrección a primer orden en W = −eεx y obtiene cero. ¿Está mal el cálculo, o está mal la pregunta que se hizo? Calcula el segundo orden con la fórmula de arriba y compáralo con tu (c). Y demuestra después que el tercer orden y todos los siguientes son exactamente cero. Hay dos argumentos y conviene tener los dos: uno corto, que liquida los órdenes impares y sale de una propiedad de la matriz de x̂ en la base de |n⟩; y uno definitivo, que liquida todos, y que aparece solo si te preguntas qué le hace a Ĥ el operador de traslación .
Pista
½k(x − δ)² = ½kx² − kδx + ½kδ². El término lineal fija δ y el término constante es todo el efecto sobre la energía.
Ojo: completar el cuadrado no es un desarrollo en serie, y no compite con las perturbaciones. Una da el resultado entero; la otra, orden a orden — y la pregunta interesante del apartado (d) es cuántos órdenes hacen falta aquí.
Comprobación: δ = eε/k tiene que salirte en metros antes de que sustituyas nada, y tu bajada tiene que ser independiente de n. Si te depende de n, has perturbado el sitio equivocado.
El mismo electrón, sin campo —m = me, x0 = 1,000 nm, k = 12,21 mN/m, ħω = 76,20 meV—, se prepara en . Es el batido del problema 2 de la hoja del II.1 —allí en una caja, con la pregunta puesta en la probabilidad que cruzaba el centro— trasladado a un potencial que la mecánica clásica sí sabe resolver.
(a) Calcula ⟨x⟩(t) y ⟨p⟩(t). Da la amplitud de ⟨x⟩ en nm y su periodo en fs, y comprueba el teorema de Ehrenfest: m d⟨x⟩/dt = ⟨p⟩ y d⟨p⟩/dt = −k⟨x⟩. (b) ¿Se mueve σx? Da σx(t), los dos valores extremos en nm y su periodo. Compáralo con el periodo de ⟨x⟩ y explica el factor. (c) Forma σxσp(t) en unidades de ħ/2. ¿Satura la desigualdad de Kennard en algún instante del ciclo? Da el mínimo, el máximo y la fase ωt en la que ocurre el máximo. (d) Halla ⟨H⟩. Un oscilador clásico con esa misma energía tendría amplitud : calcúlala y compárala con la amplitud de ⟨x⟩ del apartado (a). El cociente es un número redondo. ¿Contradice a Ehrenfest, que aquí es una igualdad exacta?
Pista
x ∝ a + a†: de los cuatro elementos de matriz de la mezcla sólo dos son no nulos, y llevan e±iωt.
Ojo: σx² = ⟨x²⟩ − ⟨x⟩². En esta mezcla ⟨x²⟩ es constante —no hay |2⟩ que alimente el término de a²—, así que lo único que oscila es ⟨x⟩², y con el cuadrado viene el factor del periodo.
Comprobación: si tu Acl coincide con la amplitud de ⟨x⟩, revisa ⟨H⟩ — una mezcla a partes iguales no tiene la energía de ninguno de los dos sumandos.
Al muelle del CO se le añade un término cuártico, , con . Ese valor está elegido para que el efecto se vea, no para retratar al CO: el apartado (d) mide exactamente cuánto se aleja del CO real, y en qué sentido. El corrimiento del nivel n a primer orden es λ⟨n|x⁴|n⟩.
Del 12C16O: k = 1901,86 N/m, x0 = 4,761 pm, ħω = 269,0 meV y el parámetro pequeño xe = 6,124 × 10⁻³. Para el apartado (d), el Morse del ejercicio 3 del artículo 01 tiene a = 2,325 Å⁻¹ — que no debe aparecer en el resultado, pero sirve para comprobar por el camino largo lo que la vía corta da sin él.
(a) Demuestra la fórmula que el ejercicio 3 del artículo 02 usó sin deducirla: escribe ξ̂⁴ = (a + a†)⁴/4, quédate sólo con los productos que tienen tantas a como a†, y evalúa uno a uno. Di cuántos son y por qué son ésos. El artículo 02 obtuvo el caso n = 0 integrando la gaussiana, y ahí se le acabó el método: cuantifica lo que cuesta no darse cuenta. Evalúa 3⟨ξ²⟩1², que es lo que daría extender a n = 1 la factorización de momentos de una gaussiana, compáralo con tu ⟨ξ⁴⟩1 y da el error en %. (b) Da ΔE0, ΔE1 y ΔE2 a primer orden, en meV. ¿Cuánto se corre la raya 0 → 1 y hacia dónde? Escribe ΔEn+1 − ΔEn y di si las rayas se aprietan o se abren al subir n. (c) Y ahora, cuánto vale lo que acabas de hacer. Forma el cociente ⟨λx⁴⟩n / ⟨½kx²⟩n en forma cerrada y evalúalo en n = 0 y n = 2. Halla la amplitud ξ a la que λx⁴ iguala a ½kx² y el nivel n cuyo retorno clásico ξ = √(2n+1) llega a ella. Con eso, di hasta qué n te fías del apartado (b) — y, sin diagonalizar nada, argumenta si el primer orden se queda corto o se pasa. (d) El ejercicio 3 del artículo 01 desarrolló el potencial de Morse y le sacó dos términos más allá del armónico: un cúbico y un cuártico . Allí quedaron probadas también dos identidades que ahora valen su peso: y , con el parámetro pequeño de la molécula. Úsalas para demostrar que el cuártico real del CO tiene —sin que aparezcan ni De ni a en el resultado— y evalúalo con xe = 6,124 × 10⁻³. ¿Cuántas veces cabe en el 0,025 del enunciado? Y una pregunta que el tamaño no contesta: el artículo 04 dice hacia dónde se corren las rayas del CO real al subir n. Compáralo con lo que te ha salido en (b) y decide si un cuártico, con el signo que tiene el del Morse, puede ser la causa. Si no puede serlo, queda el cúbico: ¿por qué no corrige nada a primer orden, qué orden hay que subir para que corrija, y con qué signo lo hace? De ahí sale la anarmonicidad que se mide.
Pista
(a + a†)⁴ tiene dieciséis productos ordenados; sólo sobreviven al elemento diagonal los seis con dos a y dos a†. Normalordénalos con aa† = 1 + a†a en vez de expandir a lo bruto.
Ojo: ⟨ξ⁴⟩ = 3⟨ξ²⟩² es una identidad de gaussianas y |n⟩ sólo es gaussiana en n = 0. Aplicada a n = 1 da un número perfectamente creíble y mal.
Comprobación: el teorema del virial en su forma general, 2⟨T⟩ = ⟨x·V′(x)⟩ — que este módulo no deduce y que la caja de arriba declara prestada, porque la versión ⟨T⟩ = ⟨V⟩ que sí se ha usado sólo vale para una potencia única. Para V = V2 + V4 da ⟨T⟩ = ⟨V2⟩ + 2⟨V4⟩, y ⟨T⟩ + ⟨V2⟩ + ⟨V4⟩ tiene que devolverte En.
Dos masas iguales m en una recta, tres muelles: k entre la primera masa y su pared, kc entre las dos masas, k entre la segunda y la otra pared. Llamamos ω0 = √(k/m) y κ = kc/k. Al cuantizar, cada coordenada y su momento pasan a ser operadores con [x̂i, p̂j] = iħδij.
(a) Escribe H y pasa a las coordenadas q± = (x1 ± x2)/√2. Demuestra que H se parte en dos osciladores independientes —comprueba también que la energía cinética se parte, que es la mitad que se olvida— y da ω± en función de ω0 y κ. (b) Con kc = k: las dos frecuencias en unidades de ω0, la energía del fundamental E0 en unidades de ħω0, y cuánto ha subido respecto del par sin acoplo. Tomando como ω0 la del electrón del artículo 01 —ħω0 = 76,20 meV, x0 = 1,000 nm, k = 12,21 mN/m—, da ħω− y E0 en meV. (c) ¿Es el fundamental el producto de dos gaussianas, una en x1 y otra en x2? Calcula ⟨x1²⟩ en unidades de x0² y el cociente ⟨x1x2⟩/⟨x1²⟩, y responde con el número, no con la intuición. (d) Si las dos masas llevan la misma carga q, el dipolo es q(x1 + x2); si llevan cargas opuestas, q(x1 − x2). ¿Qué raya absorbe cada configuración, y a qué frecuencia? ¿Puede alguna de las dos ver las dos rayas? Enuncia la regla de selección que has usado y compárala con la Δn = ±1 del artículo 04.
Pista
El acoplo es ½kc(x1 − x2)², que en q− es un muelle más y en q+ no está.
Ojo: cada masa siente su muelle de pared y el acoplo, y el cambio a q± es ortogonal — el √2 tiene que aparecer también en el término del acoplo, no sólo en los de pared.
Comprobación de (c): un producto de gaussianas independientes en x1 y x2 daría ⟨x1x2⟩ = 0. Calcula ese valor esperado en q±, donde el estado sí factoriza, y mira qué te sale.
Fin del módulo II.3. Lo que se ha ganado tiene un nombre preciso: el primer potencial que no es constante a trozos y aun así se resuelve entero, y el primer método que no consiste en resolver una ecuación diferencial. Sabes de dónde sale el entero por los dos caminos —de cortar una serie para que ψ no explote, y de parar una escalera que no puede bajar de cero— y sabes que dan el mismo espectro equiespaciado En = ħω(n + ½), con un ½ que no se negocia porque es la anchura de la gaussiana hecha energía. Sabes calcular ⟨x²⟩, ⟨x⁴⟩ y ⟨n|x|m⟩ sin integrar un solo Hermite, y sabes que de ese último sale una regla de selección que convierte todo el espectro de absorción en una raya. Y tienes un oscilador que se puede comprar: 1902 N/m, 4,761 pm, un cuanto armónico de 269,0 meV, una banda fundamental medida en el infrarrojo medio y un punto cero de 134,1 meV —134,5 si te quedas en la parábola— que no se apaga enfriando.
Y esta hoja ha enseñado la propiedad que de verdad importa: el álgebra viaja. Ninguno de los seis problemas ha resuelto una ecuación diferencial nueva. El plano, el oscilador desplazado por un campo, el par acoplado y hasta el cuártico a primer orden se han contestado moviendo a y a† de sitio. Ése es el motivo de que este módulo sea la bisagra del nivel y no un potencial más del catálogo.
Lo que falta. El oscilador de aquí es de una dimensión y de una partícula: el tridimensional y el átomo de hidrógeno son el II.5, y la cuantización del campo electromagnético —donde cada modo de una cavidad es uno de estos osciladores y el ½ħω se convierte en la energía del vacío— es del Nivel III. El oscilador forzado y los estados coherentes no se han tocado. Y hay dos deudas de método que esta hoja ha contraído a la vista: la teoría de perturbaciones, que los problemas 3 y 5 han usado sin deducir —y el 5 ha tenido que acotar a mano hasta dónde vale, precisamente porque el módulo no trae su error—, y la ocupación térmica del problema 1, que es de Termario. Las dos se pagan: la primera en el II.8, la segunda ya está pagada en otro sitio del programa.
Pero la deuda que manda es de forma, y por eso el siguiente es el II.4, «El formalismo: espacio de Hilbert, observables y medida». Este módulo ha escrito |n⟩ trescientas veces como abreviatura de ψn, ha llamado «adjunto» a a† sin definir respecto de qué producto escalar, ha sumado sobre todos los estados intermedios en los problemas 3 y 5 dando por hecho que no falta ninguno, y ha usado la desigualdad de Kennard siete veces sin la relación de Robertson que la generaliza. El II.4 convierte cada una de esas abreviaturas en un objeto: el producto escalar como definición y no como integral, el conjunto completo como un teorema que se enuncia y se usa, los observables como operadores hermíticos con espectro, y la medida como postulado y no como cuento. a y a† son el primer par de operadores que va a tratar así — y entonces se podrá decir, por fin, qué es exactamente un operador que no se escribe como una derivada. Este párrafo está escrito aunque el II.4 no lo esté: saber hacia dónde iba un módulo es parte de haberlo entendido, y una deuda declarada vale más que un final limpio.