Capítulo 7 ¿Por qué son estables los átomos? — El nacimiento de la mecánica cuántica¶
Resumen de los capítulos anteriores: En los capítulos 5–6 recorrimos el tronco de la relatividad. La relatividad especial reescribió el tiempo y el espacio, y la relatividad general describió la gravedad como curvatura del espaciotiempo. A partir de aquí volvemos a la otra crisis que dejamos pendiente en Cap. 4 —el problema de la estabilidad atómica— y retomamos el tronco de la teoría cuántica.
Objetivo de este capítulo
- La mecánica cuántica se trata sistemáticamente en Mecánica Cuántica Cap. 1
- En este capítulo recibimos de forma comprimida sus resultados principales, mientras prestamos especial atención a la estructura que conecta directamente con la teoría de cuerdas: la cuantización mediante operadores de creación y aniquilación del oscilador armónico, y localizamos el punto de confluencia con el tronco relativista
Cómo leer este capítulo
Este capítulo está escrito asumiendo que ya has leído Mecánica Cuántica Prólogo. La crisis de la física clásica, el modelo de Bohr, la ecuación de Schrödinger, las relaciones de conmutación y el principio de incertidumbre, la solución algebraica del oscilador armónico y el espín ya están derivados en Mecánica Cuántica, así que aquí solo resumimos los resultados. En su lugar, enfatizamos la estructura de "operadores de escalera y niveles de energía" y "la energía del punto cero como suma de energías mínimas" que reaparecen en la teoría de cuerdas, y organizamos "la incompatibilidad entre la ecuación de Schrödinger y la relatividad especial" que trata Mecánica Cuántica Cap. 27, conectándola con el flujo de la Parte III de este libro.
%%{init: {"theme": "default", "themeCSS": ".edgePath .path, .flowchart-link { stroke-width: 2px !important; }"}}%%
flowchart LR
subgraph A["Desarrollado en Mecánica Cuántica"]
A1["Crisis de la física clásica<br/>Planck / Bohr"]
A2["Función de onda y<br/>ecuación de Schrödinger"]
A3["Relaciones de conmutación<br/>y principio de incertidumbre"]
A4["Oscilador armónico<br/>(solución algebraica)"]
A5["Espín<br/>(matrices de Pauli)"]
end
subgraph B["Contenido propio enfatizado en este capítulo"]
B1["Operadores de escalera<br/>a, a†"]
B2["Energía del punto cero<br/>ℏω/2"]
B3["Infinitos osciladores armónicos<br/>= cuantización de la cuerda"]
end
subgraph C["Puente hacia el siguiente capítulo"]
C1["Colisión con la relatividad<br/>→ Teoría cuántica de campos (Cap. 8)"]
end
A4 --> B1
B1 --> B2
B2 --> B3
A2 --> C1
A3 --> C1Fig. 7.1: Posicionamiento de este capítulo y su relación con los anteriores y siguientes
7.1 Resumen de puntos clave: La crisis de la física clásica y el modelo de Bohr¶
🟡 Lina: Ya que recorrimos el tronco de la relatividad, ahora volvemos al tronco de la teoría cuántica. El punto de partida es el "colapso de la física clásica" que mencionamos en Cap. 4. A finales del siglo XIX, aparecieron sucesivamente fenómenos que no podían explicarse dentro del marco de la mecánica de Newton y el electromagnetismo de Maxwell. Dejo los detalles para Mecánica Cuántica Cap. 1 y resumo en Tabla 7.1「Crisis de la física clásica y sus soluciones」 solo las conclusiones necesarias para la Parte III.
Tabla 7.1: Crisis de la física clásica y sus soluciones
| Crisis | Núcleo de la contradicción | Quien la resolvió | Ecuación clave |
|---|---|---|---|
| Catástrofe ultravioleta de la radiación del cuerpo negro | La predicción clásica diverge a altas frecuencias | Planck (1900) | \(E = nh\nu\) |
| Efecto fotoeléctrico | Lo determinante es la frecuencia, no la intensidad de la luz | Einstein (1905) | \(K = h\nu - W\) |
| Estabilidad del átomo | El electrón cae en espiral en \(10^{-11}\) segundos | Bohr (1913) | \(E_n = -13.6\,\mathrm{eV}/n^2\) |
🔵 Kai: Las tres involucran la constante de Planck \(h\), ¿verdad? Pero lo de Bohr de "en los estados estacionarios no se radia" o "el momento angular es un múltiplo entero de \(\hbar\)"... ¿no se asume sin explicar por qué es así?
🟡 Lina: Exacto. La constante que atraviesa todo es \(h \approx 6.626\times 10^{-34}\,\mathrm{J\cdot s}\) y \(\hbar = h/(2\pi)\). La naturaleza no se comporta de forma continua sino discreta (a saltos) — ese es el punto de partida de todo. En el modelo atómico de Bohr para el hidrógeno, los radios permitidos para el electrón son
y solo pueden tomar valores discretos. \(a_0\) se llama el radio de Bohr y corresponde al radio de la órbita más interna (\(n = 1\)). Los niveles de energía correspondientes son \(E_n = -13.6\,\mathrm{eV}/n^2\) de la tabla, donde \(n = 1\) es la energía más baja (estado fundamental) — se explicó que el átomo no puede caer por debajo de esto.
✅ Verificación de comprensión: ¿Cuál es la constante física que aparece en común en las tres crisis de la física clásica (radiación del cuerpo negro, efecto fotoeléctrico, estabilidad atómica)? ¿Y cuál es la propiedad fundamental de la naturaleza que implica?
Respuesta
Lo que aparece en común es la constante de Planck \(h\) (o \(\hbar = h/(2\pi)\)). Esto indica que la naturaleza no se comporta de forma continua sino discreta (a saltos). La energía y el momento angular no pueden tomar valores arbitrarios, sino solo valores discretos en unidades de \(h\).
⚪ Mei: Es decir, la hipótesis de Bohr fue confirmada en que "concuerda con los experimentos", pero "por qué se cumple esa condición" quedó introducido desde fuera del modelo — como teoría está incompleta.
🟡 Lina: Exacto. La respuesta al "por qué" se dio por primera vez con la mecánica cuántica de 1925-26. Además, el radio de Bohr \(a_0\) que Bohr obtuvo con su hipótesis provisional, posteriormente en la mecánica cuántica puede rederivarse sin asumir la condición cuántica de Bohr — esta transición misma es evidencia de que la mecánica cuántica contiene correctamente el modelo de Bohr y lo supera.
📖 Conexión con Mecánica Cuántica: La derivación del radio de Bohr se puede hacer de 3 maneras. (i) Directamente desde la condición cuántica de Bohr (Mecánica Cuántica Cap. 1), (ii) Minimizando \(E(r)\sim \hbar^2/(2m_er^2) - e^2/(4\pi\varepsilon_0 r)\) a partir del principio de incertidumbre (Mecánica Cuántica 8.9「Aplicación: principio de incertidumbre y estabilidad del átomo」), (iii) Resolviendo exactamente la ecuación de Schrödinger con potencial de simetría esférica (Mecánica Cuántica Cap. 16). Tanto (ii) como (iii) no requieren hipótesis adicionales.
7.2 Resumen de puntos clave: La función de onda y la ecuación de Schrödinger¶
🟡 Lina: En 1924, de Broglie propuso que "si la luz es tanto onda como partícula, entonces partículas como el electrón también deben ser ondas". La longitud de onda de la onda de materia correspondiente a una partícula con momento \(p\) es \(\lambda = h/p\). Combinando el análisis de ondas planas con la relación clásica de energía \(E = p^2/(2m) + V(x)\), se obtiene la ecuación de Schrödinger dependiente del tiempo para la función de onda \(\Psi(x, t)\):
La derivación y motivación física se detallan en Mecánica Cuántica Cap. 7.
🟡 Lina: Es decir, aplicando las sustituciones \(E \to i\hbar\,\partial_t\), \(p \to -i\hbar\,\partial_x\) a la expresión clásica de energía \(E = p^2/(2m) + V\), la ecuación de Schrödinger surge directamente (Fig. 7.2「Procedimiento de cuantización」).
Fig. 7.2: Procedimiento de cuantización. Se "promueven" las magnitudes físicas clásicas (valores numéricos) a operadores. Relación de energía clásica → ecuación de operadores (ecuación de Schrödinger): esta correspondencia se aplica repetidamente para partículas, campos y cuerdas.
⚪ Mei: Ya veo, simplemente "promoviendo" valores numéricos clásicos a operadores se determina la forma de la ecuación. Como la regla de sustitución está fijada, si cambia la relación de energía clásica de partida, también cambia la ecuación resultante, ¿no?
🟡 Lina: Así es. Dicho al revés, una vez fijado el punto de partida, la ecuación queda determinada casi automáticamente — apenas hay margen de elección.
🟡 Lina: Correcto. Y mediante la interpretación probabilística de Born, \(|\Psi(x, t)|^2\, dx\) da la probabilidad de encontrar la partícula en la posición \(x \sim x+dx\) en el instante \(t\), y la integral sobre todo el espacio se normaliza a 1. Para estados estacionarios \(\Psi(x, t) = \psi(x)\, e^{-iEt/\hbar}\), la ecuación de Schrödinger independiente del tiempo \(\hat{H}\psi = E\psi\) determina los valores propios de energía \(E\).
🔵 Kai: "Sustituir valores numéricos por operadores" es una operación muy audaz, ¿no? ¿Se puede usar en otras situaciones?
🟡 Lina: Buena pregunta. Este procedimiento se llama cuantización (quantization). De hecho, más adelante se aplica repetidamente el mismo procedimiento: al campo en Cap. 8 y a la cuerda en Cap. 14. Cada vez se abre un mundo nuevo.
🔵 Kai: Así que solo repitiendo el mismo procedimiento, el objeto se extiende de "partícula → campo → cuerda". Pero por qué funciona esta sustitución... todavía me queda la duda.
🟡 Lina: Esa duda es correcta. El "por qué funciona" se justifica a posteriori porque los resultados concuerdan con los experimentos — ese es el carácter axiomático de la mecánica cuántica. A medida que avances, verás más el poder de este procedimiento, así que por ahora acepta que "esta es la regla" y sigamos adelante.
🔵 Kai: Dejo el "por qué" pendiente y primero veré hasta dónde llega esta regla... Pero una cosa que me inquieta: esta sustitución parte de la expresión no relativista \(E = p^2/(2m) + V\), ¿verdad? Si aplico la misma sustitución a la relación relativista de energía \(E^2 = p^2c^2 + m^2c^4\), ¿qué pasaría?
🟡 Lina: Buena intuición. La respuesta a esa pregunta la veremos al final de este capítulo.
📖 Punto de vista importante: \(E \to i\hbar\,\partial_t\), \(p \to -i\hbar\,\partial_x\) para "promover la expresión clásica de energía a una ecuación de operadores" — esta es la operación fundamental de la mecánica cuántica. La usaremos repetidamente en las secciones siguientes.
✅ Verificación de comprensión: ¿En qué consiste el procedimiento de cuantización? ¿Qué sustitución de operadores se realiza para la energía y el momento clásicos, respectivamente?
Respuesta
La cuantización es el procedimiento de "promover" magnitudes físicas clásicas (valores numéricos) a operadores. Concretamente, se sustituye \(E \to i\hbar\,\partial_t\), \(p \to -i\hbar\,\partial_x\). Aplicando esta sustitución a la relación clásica de energía \(E = p^2/(2m) + V\), se obtiene la ecuación de Schrödinger. Este procedimiento se aplica repetidamente también en la teoría cuántica de campos y en la teoría de cuerdas.
7.3 Resumen de puntos clave: Operadores, relaciones de conmutación y principio de incertidumbre¶
🟡 Lina: Al sustituir posición y momento por los operadores \(\hat{x} = x\), \(\hat{p} = -i\hbar\,\partial/\partial x\), para cualquier función de onda se cumple
(la relación de conmutación canónica). La derivación está en Mecánica Cuántica Cap. 8.
🔵 Kai: Eso significa que el orden en que se multiplican los operadores afecta el resultado, ¿verdad?
🟡 Lina: Así es. De aquí se deriva el principio de incertidumbre. Intuitivamente, cuando dos operadores no conmutan, no se puede hacer cero simultáneamente la "dispersión" de los valores medidos de cada uno. La formulación matemática de esto es la desigualdad de Robertson. Antes de entrar en la fórmula, confirmemos la notación. \(\langle \cdots \rangle\) es el valor esperado — el símbolo que representa el promedio cuando se prepara un estado muchas veces y se repite la misma medición. \(\Delta A\) es la dispersión (desviación estándar) de los valores medidos de la magnitud física \(A\), definida como \(\Delta A = \sqrt{\langle \hat{A}^2 \rangle - \langle \hat{A} \rangle^2}\) — es decir, se toma la raíz cuadrada de "la media del cuadrado de los valores medidos" menos "el cuadrado de la media de los valores medidos". En estadística del instituto aprendiste que la varianza es \(\sigma^2 = \frac{1}{n}\sum(x_i - \bar{x})^2\), y si la expandes obtienes \(\overline{x^2} - \bar{x}^2\) ("media de cuadrados − cuadrado de la media") — es exactamente la misma estructura. Representa cuánto se dispersan los resultados cuando preparas el mismo estado muchas veces y mides \(A\). Usando estos, la desigualdad de Robertson se escribe como
El lado derecho \(\langle [\hat{A}, \hat{B}] \rangle\) es "el valor esperado (promedio) del conmutador" — cuánto no conmutan los dos operadores, promediado en ese estado.
🔵 Kai: O sea, ¿la "no conmutatividad" pone un límite inferior al producto de las dispersiones?
🟡 Lina: Exactamente. Los pasos de la demostración los dejo en Mecánica Cuántica Cap. 8. Lo importante es la conclusión: mientras el conmutador no sea cero, no se pueden hacer cero ambas dispersiones simultáneamente. En particular, con \(\hat{A} = \hat{x}\), \(\hat{B} = \hat{p}\) y sustituyendo \([\hat{x}, \hat{p}] = i\hbar\), el lado derecho es \(\frac{1}{2}|\langle i\hbar \rangle| = \frac{1}{2}\hbar\) (\(i\hbar\) es una constante, así que sin importar en qué estado se tome el valor esperado, sigue siendo \(i\hbar\); tomando el valor absoluto da \(\hbar\)), y se obtiene
Este es el principio de incertidumbre de Heisenberg — lo he visualizado en Fig. 7.3「Visualización del principio de incertidumbre」, míralo junto con las fórmulas.
Fig. 7.3: Visualización del principio de incertidumbre. Izquierda: si el paquete de ondas es estrecho en el espacio de posiciones (\(\Delta x\) pequeño), se extiende en el espacio de momentos (\(\Delta p\) grande). Centro: y viceversa. Derecha: la igualdad \(\Delta x \cdot \Delta p = \hbar/2\) se satisface en el estado fundamental (paquete gaussiano), y la región por debajo de esta curva está físicamente prohibida.
🟡 Lina: Y lo importante es que esta desigualdad no se debe a que "el aparato de medición perturba la partícula". Es una consecuencia de la estructura matemática misma: los operadores no conmutan.
⚪ Mei: Es decir, por muy preciso que sea el aparato de medición, no se puede eludir — no es un problema del aparato, sino una restricción incorporada en la estructura de la teoría.
🟡 Lina: Exacto. Y el principio de incertidumbre también proporciona la razón fundamental del hecho que Bohr postuló provisionalmente: "el electrón no cae al núcleo". Si confinas un electrón en una región de radio \(r\) aproximado, entonces \(\Delta x \sim r\), y por el principio de incertidumbre \(\Delta x \cdot \Delta p \gtrsim \hbar\) tenemos \(\Delta p \sim \hbar/r\). La estimación de la energía cinética es \(\langle T\rangle \sim (\Delta p)^2/(2m_e) \sim \hbar^2/(2m_er^2)\), que crece al disminuir \(r\). Por otro lado, el potencial de Coulomb es \(-e^2/(4\pi\varepsilon_0 r)\), cuyo crecimiento en \(r \to 0\) es \(1/r\), más lento que \(1/r^2\), así que a cierto radio el crecimiento de la energía cinética domina. Al minimizar la energía total se obtiene \(r_{\min} \sim a_0\) (Mecánica Cuántica 8.9「Aplicación: principio de incertidumbre y estabilidad del átomo」).
🔵 Kai: ¡Ah, cuanto más lo confinas, más se agita e intenta escapar, así que no puede caer del todo — el principio de incertidumbre actúa como barrera!
✅ Verificación de comprensión: ¿El principio de incertidumbre significa que "el aparato de medición perturba la partícula y por eso hay un límite de precisión"? Si no es así, ¿cuál es su esencia?
Respuesta
No es un problema del aparato de medición. El principio de incertidumbre es una consecuencia de la estructura matemática misma: los operadores de posición y momento no conmutan (\([\hat{x}, \hat{p}] = i\hbar\)). A través de la desigualdad de Robertson se deduce \(\Delta x \cdot \Delta p \geq \hbar/2\), que es una restricción de principio imposible de eludir con ningún método de medición.
🔵 Kai: Así que el radio de Bohr sale sin la hipótesis de "cuantización del momento angular" de Bohr. Pero, ¿por qué la estimación del principio de incertidumbre y la solución exacta de la ecuación de Schrödinger dan exactamente el mismo \(a_0\)? ¿Es coincidencia?
🟡 Lina: No es coincidencia. La estimación del principio de incertidumbre es la operación de "minimizar la energía bajo \(\Delta x \cdot \Delta p \sim \hbar\)", y la solución exacta de la ecuación de Schrödinger es la operación de "encontrar el valor propio más bajo del hamiltoniano" — ambas parten de la misma física (la relación de conmutación canónica de la mecánica cuántica) y encuentran el mismo estado de energía mínima por caminos diferentes. Por eso la coincidencia es inevitable.
🟡 Lina: Y lo que es relevante para la teoría de cuerdas es precisamente esta perspectiva: "las relaciones de conmutación determinan la estructura cuántica". En Cap. 14 se impone una relación de conmutación isomorfa a \([\hat{a}, \hat{a}^\dagger] = 1\) sobre los modos de vibración de la cuerda para cuantizarla — las herramientas que preparamos en la siguiente sección se usan directamente allí.
📖 Preparación para la teoría de cuerdas: La relación de conmutación canónica — "una sola línea de fórmula" — es la columna vertebral de la mecánica cuántica, la teoría cuántica de campos y la teoría de cuerdas. En la siguiente sección tratamos el oscilador armónico como ejemplo concreto.
7.4 Oscilador armónico y operadores de escalera — La preparación más importante para la teoría de cuerdas¶
🟡 Lina: A partir de aquí está el contenido propio de este capítulo. La solución algebraica del oscilador armónico se trata en detalle en Mecánica Cuántica Cap. 9, pero como en la teoría de cuerdas cada modo de vibración de la cuerda se comporta como un oscilador armónico independiente, necesitamos tener a mano la estructura de los operadores de escalera. Vamos a seguir los pasos de la derivación uno por uno, llegando hasta las conexiones con la teoría de cuerdas.
Reescritura del hamiltoniano¶
🟡 Lina: El hamiltoniano del oscilador armónico — la energía total del sistema (energía cinética + energía potencial) expresada en términos de posición y momento — al cuantizarlo se convierte en
El primer término \(\hat{p}^2/(2m)\) corresponde a la energía cinética, y el segundo \(m\omega^2\hat{x}^2/2\) a la energía potencial del resorte. Tiene la forma de una suma de cuadrados — es decir, una "suma de cuadrados" de \(\hat{x}^2\) y \(\hat{p}^2\).
🔵 Kai: Suma de cuadrados... Con números ordinarios se puede factorizar como \(a^2 + b^2 = (a+ib)(a-ib)\), ¿verdad? ¿Se puede hacer lo mismo con operadores? Pero como el orden importa con operadores, no parece tan simple...
🟡 Lina: Buena observación. Precisamente ese "el orden importa" es la clave. Intentamos la misma idea con operadores. ¿Podemos escribirlo como un producto de "\(\hat{x} + (\text{algo})\hat{p}\)" y "\(\hat{x} - (\text{algo})\hat{p}\)"? — esa es la motivación de los operadores de escalera. Ajustando dimensiones y coeficientes, obtenemos
El símbolo \(\dagger\) (daga) representa una operación llamada "conjugación hermítica", pero en este contexto puedes pensar simplemente que es la operación de sustituir \(i\) por \(-i\). ¿Por qué basta con eso? Porque \(\hat{x}\) y \(\hat{p}\) son operadores que al medirlos dan valores reales (operadores reales), así que al aplicar \(\dagger\) no cambian, y el coeficiente \(\sqrt{m\omega/(2\hbar)}\) también es real y no cambia — al final solo \(i\) cambia a \(-i\). El significado general de la conjugación hermítica se trata en Mecánica Cuántica (Mecánica Cuántica Cap. 8 en adelante), así que por ahora solo recuerda que "\(\hat{a}\) y \(\hat{a}^\dagger\) son un par que solo difiere en el signo de \(i\)". Sin embargo, como los operadores no conmutan, \(\hat{a}^\dagger\hat{a}\) y \(\hat{a}\hat{a}^\dagger\) no son iguales — vamos a calcular esa "diferencia".
⚪ Mei: Crear "un par con el signo de \(i\) invertido" y expresar el hamiltoniano como su producto — es la versión para operadores de la factorización ordinaria.
🟡 Lina: Exacto. Expandiendo \(\hat{a}\hat{a}^\dagger - \hat{a}^\dagger\hat{a}\) a partir de las definiciones, solo sobrevive el término \(\hat{x}\hat{p} - \hat{p}\hat{x} = i\hbar\), y obtenemos
Aquí, el conmutador satisface la propiedad distributiva \([A + B,\, C] = [A, C] + [B, C]\) y \([A,\, B + C] = [A, B] + [A, C]\) (se verifica directamente desde la definición del producto de operadores). Usándola y expandiendo en 4 términos:
Los términos \([\hat{x}, \hat{x}] = 0\), \([\hat{p}, \hat{p}] = 0\) se anulan, y solo quedan los 2 términos que contienen \([\hat{x}, \hat{p}] = i\hbar\). Usando la propiedad "las constantes se sacan del conmutador" — \([A,\, cB] = c[A, B]\) (cuando \(c\) es un número):
Como \([\hat{p}, \hat{x}] = -[\hat{x}, \hat{p}] = -i\hbar\), el primer término es \(\frac{-i}{m\omega}\cdot [\hat{x}, \hat{p}] = \frac{-i}{m\omega}\cdot i\hbar = \frac{\hbar}{m\omega}\), y el segundo es \(\frac{i}{m\omega}\cdot [\hat{p}, \hat{x}] = \frac{i}{m\omega}\cdot(-i\hbar) = \frac{\hbar}{m\omega}\), sumando:
Es decir, queda demostrado que \([\hat{a}, \hat{a}^\dagger] = 1\).
🔵 Kai: ¡Vaya, después de todo ese cálculo complejo, al final queda limpiamente \(= 1\)!
🟡 Lina: Sí, esa es la mayor recompensa de haber definido los operadores de escalera. Usando el operador número \(\hat{N} \equiv \hat{a}^\dagger\hat{a}\), el hamiltoniano se comprime a
quedando reducido únicamente al problema de valores propios del operador número. La razón del nombre "operador número" se verá enseguida — los valores propios de este operador son exactamente \(n = 0, 1, 2, \ldots\), es decir, "cantidades". El desplazamiento de \(1/2\) es precisamente la huella de que los operadores no conmutan — el origen de la energía del punto cero.
✅ Verificación de comprensión: ¿A qué forma compacta se puede reescribir el hamiltoniano del oscilador armónico al introducir los operadores de escalera \(\hat{a}, \hat{a}^\dagger\)? ¿Cuál es la ventaja de esta reescritura?
Respuesta
Se reescribe como \(\hat{H} = \hbar\omega(\hat{N} + 1/2)\) (donde \(\hat{N} = \hat{a}^\dagger\hat{a}\) es el operador número). La ventaja es que el hamiltoniano, que era una forma cuadrática en \(\hat{x}\) y \(\hat{p}\), queda condensado en el problema de valores propios de un solo operador \(\hat{N}\). Conociendo el valor propio \(n\) de \(\hat{N}\), la energía se determina inmediatamente como \(E_n = \hbar\omega(n + 1/2)\).
⚪ Mei: El \(\hat{H}\) que era una forma cuadrática en \(\hat{x}\) y \(\hat{p}\) queda plegado en una forma que solo depende de un operador \(\hat{N}\).
🟡 Lina: Exacto. Ese es el punto de belleza. Basta con conocer el valor propio \(n\) de \(\hat{N}\) para determinar la energía — esta idea de "condensar el problema de valores propios en un solo operador" demuestra su poder en Cap. 14 cuando se cuantiza la cuerda.
La escalera de niveles de energía¶
🟡 Lina: A partir de \(\hat{H} = \hbar\omega(\hat{a}^\dagger\hat{a} + 1/2)\) y \([\hat{a}, \hat{a}^\dagger] = 1\), si calculamos la relación de conmutación entre \(\hat{H}\) y \(\hat{a}^\dagger\) — en \([\hat{a}^\dagger\hat{a},\, \hat{a}^\dagger] = \hat{a}^\dagger\hat{a}\hat{a}^\dagger - \hat{a}^\dagger\hat{a}^\dagger\hat{a}\), sustituyendo \(\hat{a}\hat{a}^\dagger\) en el primer término por la relación de conmutación \(\hat{a}\hat{a}^\dagger = \hat{a}^\dagger\hat{a} + 1\), obtenemos \(\hat{a}^\dagger(\hat{a}^\dagger\hat{a} + 1) - \hat{a}^\dagger\hat{a}^\dagger\hat{a} = \hat{a}^\dagger\hat{a}^\dagger\hat{a} + \hat{a}^\dagger - \hat{a}^\dagger\hat{a}^\dagger\hat{a} = \hat{a}^\dagger\), por tanto
⚪ Mei: Con una sola relación de conmutación aparece la estructura "\(\hat{a}^\dagger\) sube la energía en \(\hbar\omega\)" y "\(\hat{a}\) la baja".
🟡 Lina: Veamos qué significa esto. Aquí uso la notación \(|n\rangle\) — es una notación (llamada notación de Dirac o ket) que representa "el estado con número cuántico de energía \(n\)", y se refiere al mismo estado que la función de onda \(\psi_n(x)\). Cuando escribes \(\psi_n(x)\), te preocupa la forma concreta como función de la posición \(x\), pero lo que queremos hacer ahora es solo el álgebra de operadores "al aplicar \(\hat{a}^\dagger\) la energía sube un escalón" — no usamos el valor concreto en la posición \(x\). Por eso es más limpio usar \(|n\rangle\) que solo especifica "estado \(n\)". Cuando \(\hat{H}|n\rangle = E_n|n\rangle\), al hacer actuar \(\hat{H}\) sobre \(\hat{a}^\dagger|n\rangle\) — aquí, de la definición del conmutador \([\hat{H}, \hat{a}^\dagger] = \hat{H}\hat{a}^\dagger - \hat{a}^\dagger\hat{H}\), despejando obtenemos \(\hat{H}\hat{a}^\dagger = \hat{a}^\dagger\hat{H} + \hbar\omega\,\hat{a}^\dagger\), por tanto
Es decir, \(\hat{a}^\dagger|n\rangle\) es un estado propio con energía \(E_n + \hbar\omega\). De manera similar, \(\hat{a}|n\rangle\) es un estado propio con energía \(E_n - \hbar\omega\).
🔵 Kai: \(\hat{a}^\dagger\) "sube un escalón" y \(\hat{a}\) "baja un escalón"... pero ¿qué pasa si sigues bajando? ¿La energía no se vuelve negativa?
🟡 Lina: Buena pregunta. En el oscilador armónico, tanto la energía cinética como el potencial son mayores o iguales que 0, así que los valores propios de \(\hat{H}\) son necesariamente no negativos — si sigues bajando con \(\hat{a}\) llegas a un "estado que ya no se puede bajar más". Ese es el estado fundamental que satisface \(\hat{a}|0\rangle = 0\) (el lado derecho es el vector cero, es decir, "ya no hay estado"). La energía de este estado es
Aplicando \(\hat{a}^\dagger\) \(n\) veces a \(|0\rangle\) se obtiene el \(n\)-ésimo estado excitado, y las energías se disponen equiespaciadas:
He dibujado esta estructura de escalera equiespaciada en Fig. 7.4「Niveles de energía del oscilador armónico y operadores de escalera」. Mirando la figura, incluso en el nivel más bajo \(n = 0\) la energía no es cero sino que queda \(\hbar\omega/2\) — esa es la energía del punto cero. Veámoslo en detalle a continuación.
Fig. 7.4: Niveles de energía del oscilador armónico y operadores de escalera. Los niveles de energía equiespaciados \(E_n = \hbar\omega(n + 1/2)\) se representan como una "escalera". \(\hat{a}^\dagger\) sube un escalón y \(\hat{a}\) baja uno. Incluso en el estado fundamental \(|0\rangle\) queda una energía del punto cero de \(\hbar\omega/2\).
⚪ Mei: El número cuántico \(n\) es simultáneamente el "número del nivel de energía" y "cuántas veces se ha aplicado \(\hat{a}^\dagger\)". \(\hat{a}^\dagger\) sube un escalón, \(\hat{a}\) baja uno — esta estructura de escalera es muy fácil de organizar.
🔵 Kai: "Subir un escalón", "bajar un escalón"... parece como si estuvieras añadiendo o quitando algo de uno en uno. Si \(n\) es "la cantidad de algo", entonces \(\hat{a}^\dagger\) parece "añadir 1"... pero ¿la cantidad de qué?
🟡 Lina: Buena intuición. De hecho, en el siguiente capítulo (teoría cuántica de campos), \(\hat{a}^\dagger\) y \(\hat{a}\) se reinterpretan precisamente como operadores que "crean" y "aniquilan" una partícula. \(n\) representa "el número de cuantos" — esta descripción en términos de partículas es el punto de partida de la teoría cuántica de campos.
⚪ Mei: Ya veo — ahora \(n\) es "el número del nivel de energía", pero en el siguiente capítulo se reinterpreta como "el número de partículas". La operación de subir un escalón con \(\hat{a}^\dagger\) corresponde a "crear una partícula".
🔵 Kai: Si es "el número de partículas", ¿eso significa que se pueden tratar situaciones donde las partículas aumentan o disminuyen? Es un mundo completamente diferente al de la ecuación de Schrödinger que sigue a una sola partícula... Pero espera, si las partículas "nacen", ¿qué pasa con la conservación de la energía? No se puede crear de la nada, ¿verdad?
🟡 Lina: Buena pregunta. La conservación de la energía no se viola — para producir una partícula se necesita aportar la energía correspondiente. \(E = mc^2\) es precisamente lo que nos dice "cuánto es esa cantidad". Por ejemplo, para crear un par de partícula y antipartícula de masa \(m\), se debe suministrar al menos \(2mc^2\) de energía desde fuera. La energía se conserva, y parte de ella se "convierte" en masa. Esta historia la veremos en la última sección, junto con por qué se necesita un marco donde el número de partículas pueda cambiar.
Significado de la energía del punto cero \(\hbar\omega/2\)¶
🟡 Lina: El hecho de que incluso en el estado fundamental \(E_0 = \hbar\omega/2 \neq 0\) se debe a que el principio de incertidumbre prohíbe un estado con \(\Delta x = 0\), \(\Delta p = 0\). De hecho, en el estado fundamental
se satisface la igualdad, siendo un estado de incertidumbre mínima (paquete gaussiano).
🔵 Kai: Que "no puede estar completamente en reposo" es la esencia de la energía del punto cero.
🟡 Lina: Así es. Además, esto no es un artefacto matemático, sino un fenómeno real confirmado experimentalmente: la no solidificación del helio a presión normal, el efecto Casimir, los espectros de vibración molecular, entre otros (detalles en Mecánica Cuántica Cap. 9).
✅ Verificación de comprensión: ¿Cuál es la razón física de que la energía del estado fundamental del oscilador armónico sea \(E_0 = \hbar\omega/2 \neq 0\) (energía del punto cero)?
Respuesta
El principio de incertidumbre prohíbe que posición y momento sean simultáneamente cero (\(\Delta x = 0\) y \(\Delta p = 0\)). La partícula no puede estar completamente en reposo y en el estado fundamental conserva un mínimo de energía cinética y potencial. El estado fundamental es un estado de incertidumbre mínima (paquete gaussiano) donde se satisface la igualdad \(\Delta x \cdot \Delta p = \hbar/2\).
Preludio a la teoría de cuerdas¶
🟡 Lina: Ahora viene lo que conecta directamente con la teoría de cuerdas. Lo trataremos en detalle en Cap. 14, pero voy a adelantarte un avance. La cuerda es un "hilo" unidimensional, así que para describir su posición se necesitan dos parámetros — \(\tau\) que representa el avance del tiempo y \(\sigma\) que representa la posición a lo largo de la cuerda (en una cuerda de guitarra, la coordenada que especifica algún punto desde el extremo izquierdo hasta el derecho). Las coordenadas espaciotemporales de cada punto de la cuerda se escriben como \(X^\mu(\tau, \sigma)\). \(\mu\) es la etiqueta de la dirección espaciotemporal (\(\mu = 0\) para el tiempo, \(\mu = 1, 2, \ldots\) para el espacio). Si hacemos la expansión de Fourier (el método de representar una vibración periódica como superposición de vibración fundamental, doble, triple, etc.), obtenemos
(aquí se adopta la convención \(\sigma \in [0, 2\pi]\)). Hay muchos símbolos, pero no te asustes — primero captemos la visión general. La fórmula se divide en dos grandes partes, como indican las llaves de arriba: la primera mitad es "dónde está la cuerda en su conjunto y cómo se mueve (movimiento del centro de masa)", y la segunda mitad son "las vibraciones sobre la cuerda". En la parte de las vibraciones, \(\alpha_n^\mu\) es la amplitud de la onda que se propaga hacia la derecha sobre la cuerda, y \(\tilde{\alpha}_n^\mu\) (con tilde) es la amplitud de la onda que se propaga hacia la izquierda — dos tipos de ondas que existen independientemente. Por ahora es suficiente con recordar que "las vibraciones de la cuerda se describen mediante conjuntos de coeficientes de Fourier \(\alpha_n^\mu\) (derecha) y \(\tilde{\alpha}_n^\mu\) (izquierda)". La razón por la que \(\sum_{n \neq 0}\) incluye \(n\) negativos y los detalles de la condición de realidad \(\alpha_{-n}^\mu = (\alpha_n^\mu)^*\) se tratan en Cap. 14.
🔵 Kai: La fórmula es grande, pero entiendo que se divide en "centro de masa + vibraciones". ¿Podrías explicarme un poco más cada símbolo?
🟡 Lina: Por supuesto. Primero, \(x_0^\mu\) es la posición del centro de masa de la cuerda, \(p_0^\mu\) es el momento del centro de masa — la parte que indica dónde está la cuerda en el espacio y hacia dónde se mueve. El \(2\alpha'\) en \(2\alpha' p_0^\mu\tau\) es "el coeficiente que convierte momento en velocidad" — la parte que en mecánica de partículas sería \(1/m\) en \(x = x_0 + (p/m)t\), que en la cuerda se reemplaza por \(2\alpha'\) (porque en lugar de la masa de la cuerda entra la tensión). \(\alpha'\) (alfa prima) es un nuevo parámetro definido usando la tensión \(T\) (la cantidad introducida en Cap. 6) como \(\alpha' = 1/(2\pi T)\), y cuanto más tensa está la cuerda, menor es \(\alpha'\). Como \(\sqrt{\alpha'}\) corresponde a la escala de longitud de la cuerda \(\ell_s\) (el tamaño típico de la cuerda), \(\alpha'\) es también una constante que determina "cuán grande es la cuerda". Por ahora basta con pensar en ella como "una constante que representa la rigidez = tamaño de la cuerda".
🔵 Kai: Entiendo, \(x_0\) y \(p_0\) son la posición y momento del centro de masa, \(\alpha'\) es la rigidez de la cuerda. ¿Y \(\tau\) y \(\sigma\)?
🟡 Lina: Piensa en una cuerda de guitarra — \(\tau\) es el avance del tiempo (la coordenada temporal sobre la superficie bidimensional — llamada hoja de mundo — que la cuerda barre con el tiempo), \(\sigma\) es la posición a lo largo de la cuerda (la coordenada del extremo izquierdo al derecho de la cuerda). Además del movimiento del centro de masa (la parte \(x_0^\mu + p_0^\mu\tau\)), las vibraciones que ocurren sobre la cuerda se representan como superposición de ondas (serie de Fourier). \(n = 1\) es la vibración fundamental, \(n = 2\) es la segunda armónica, y así sucesivamente. \(e^{-in(\tau - \sigma)}\) corresponde a una onda que se propaga hacia la derecha sobre la cuerda, y \(e^{-in(\tau + \sigma)}\) a una que se propaga hacia la izquierda. Recuerda de la física del instituto que \(\sin(\omega t - kx)\) era una onda viajera hacia la derecha — cuando \(t\) y \(x\) se combinan con signos opuestos, a medida que avanza el tiempo la forma de onda se desplaza en la dirección positiva de \(x\). Por la misma razón, la combinación \(\tau - \sigma\) representa una onda que se propaga en la dirección positiva de \(\sigma\) (hacia la derecha) (por la fórmula de Euler \(e^{i\theta} = \cos\theta + i\sin\theta\), la exponencial compleja es una combinación de \(\cos\) y \(\sin\), así que es una forma conveniente de representar vibraciones y ondas). En una cuerda de guitarra la vibración también se propaga en ambas direcciones, ¿verdad? Es decir, la primera mitad de la fórmula \(x_0^\mu + p_0^\mu\tau\) es "el movimiento de traslación de toda la cuerda", y la \(\sum\) de la segunda mitad son "las vibraciones sobre la cuerda", donde las vibraciones se dividen en ondas hacia la derecha \(\alpha_n^\mu\) y ondas hacia la izquierda \(\tilde{\alpha}_n^\mu\) — esa es la estructura.
⚪ Mei: Ya veo, el movimiento del centro de masa y las vibraciones se separan limpiamente, y la parte de vibraciones se divide además independientemente en ondas hacia la derecha y hacia la izquierda — una estructura muy organizada.
🟡 Lina: Exacto. Y ahora viene el punto importante — esto todavía es la historia de coeficientes de Fourier clásicos, pero cuando apliquemos el procedimiento de "promover a operadores" que acabamos de aprender, ¿qué crees que pasará con esta independencia? De hecho, la estructura "independiente a nivel clásico" se mantiene incluso después de la cuantización. Hasta aquí, \(\alpha_n^\mu\) (amplitud de onda hacia la derecha) y \(\tilde{\alpha}_n^\mu\) (amplitud de onda hacia la izquierda) son coeficientes de Fourier clásicos — simples valores numéricos. Al aplicar el procedimiento de cuantización que aprendimos antes (la misma idea que \(E \to i\hbar\,\partial_t\), \(p \to -i\hbar\,\partial_x\): la operación de promover cantidades clásicas a operadores), los \(\alpha_n^\mu\) se "promueven" a operadores y satisfacen relaciones de conmutación con esencialmente la misma estructura que los \(\hat{a}, \hat{a}^\dagger\) que acabamos de aprender:
(con \(m, n > 0\) enteros positivos). El \(m\) del lado derecho no es la masa, sino el mismo número de modo que el subíndice \(m\) del lado izquierdo.
🔵 Kai: En el lado derecho aparece directamente el número de modo \(m\). Es un poco diferente al \([\hat{a}, \hat{a}^\dagger] = 1\) del oscilador armónico...
🟡 Lina: Buena observación. Verifiquemos con un ejemplo concreto: si \(m = n = 3\), el lado derecho es \(3\,\eta^{\mu\nu}\); si \(m = 2,\, n = 5\), entonces \(\delta_{25} = 0\) y el lado derecho es cero. Es decir, gracias a \(\delta_{mn}\), los modos con \(m \neq n\) tienen conmutador cero (son mutuamente independientes), y solo cuando \(m = n\) el lado derecho es \(m\,\eta^{\mu\nu}\). Este \(m\) extra es reflejo del factor \(1/n\) que multiplica cada coeficiente de modo en la fórmula de la expansión de Fourier — es decir, \(\alpha_n^\mu\) es el coeficiente de Fourier "crudo" sin normalizar. Enseguida, al redefinir \(\hat{a}_n^\mu \equiv \alpha_n^\mu/\sqrt{n}\), el \(m\) desaparece y volvemos a la misma forma que el oscilador armónico. Aquí se define \(\alpha_n^{\mu\dagger} \equiv \alpha_{-n}^\mu\) — es decir, el operador \(\alpha_n^\mu\) con \(n\) positivo es el lado de "aniquilación", y \(\alpha_{-n}^\mu = \alpha_n^{\mu\dagger}\) correspondiente a \(-n\) negativo es el lado de "creación"). Aquí \(\alpha_n^{\mu\dagger}\) es la conjugación hermítica de \(\alpha_n^\mu\) — en la fórmula de la expansión de Fourier, si el coeficiente \(\alpha_n^\mu\) con \(n > 0\) es el operador que "baja un escalón de la onda (la aniquila)", entonces \(\alpha_n^{\mu\dagger}\) es su pareja que "excita un escalón (la crea)" (la misma relación que \(\hat{a}\) y \(\hat{a}^\dagger\) del oscilador armónico). Redefiniendo \(\hat{a}_n^\mu \equiv \alpha_n^\mu/\sqrt{n}\) (\(n > 0\)), la relación de conmutación se convierte en
Verifiquemos: sustituyendo \(\alpha_m^\mu = \sqrt{m}\,\hat{a}_m^\mu\) en la relación de conmutación original, obtenemos \(\sqrt{m}\cdot\sqrt{n}\,[\hat{a}_m^\mu, \hat{a}_n^{\nu\dagger}] = m\,\delta_{mn}\,\eta^{\mu\nu}\). Dividiendo ambos lados por \(\sqrt{m}\cdot\sqrt{n}\): \([\hat{a}_m^\mu, \hat{a}_n^{\nu\dagger}] = \frac{m}{\sqrt{mn}}\,\delta_{mn}\,\eta^{\mu\nu}\), y como el lado derecho tiene \(\delta_{mn}\) multiplicando, cuando \(m \neq n\) todo el lado derecho es cero — así que solo hay que considerar el caso \(m = n\). Cuando \(m = n\), \(\sqrt{mn} = \sqrt{m \cdot m} = m\) y \(\frac{m}{\sqrt{mn}} = \frac{m}{m} = 1\). Por tanto se obtiene \([\hat{a}_m^\mu, \hat{a}_n^{\nu\dagger}] = \delta_{mn}\,\eta^{\mu\nu}\) — es decir, el coeficiente del número de modo desaparece limpiamente.
⚪ Mei: Con una sola redefinición desaparece el \(m\) extra y se reduce a la misma forma que el oscilador armónico. Qué satisfactorio.
🟡 Lina: Para componentes espaciales del mismo tipo (\(\mu = \nu = i\)), \(\eta^{ii} = +1\), así que es isomorfo al \([\hat{a}, \hat{a}^\dagger] = 1\) del oscilador armónico — se confirma que cada modo se comporta como un oscilador armónico independiente. Aquí \(\delta_{mn}\) es la delta de Kronecker (\(1\) cuando \(m = n\), \(0\) cuando \(m \neq n\)), y \(\eta^{\mu\nu}\) es la métrica de Minkowski que apareció en Cap. 5 (\(\eta^{\mu\nu} = \mathrm{diag}(-1, +1, +1, +1)\)). Para componentes espaciales (\(\mu = \nu = i\)), \(\eta^{ii} = +1\) y sale el mismo signo positivo que en \([\hat{a}, \hat{a}^\dagger] = 1\) del oscilador armónico. En cambio, para la componente temporal \(\eta^{00} = -1\) y el signo se invierte — el problema de los "estados de norma negativa" se trata en Cap. 14.
🔵 Kai: Si cada modo es un oscilador armónico independiente, ¿eso significa que hay tantos pares \(\hat{a}, \hat{a}^\dagger\) como modos haya?
🟡 Lina: Exactamente. Es decir, cuantizar la cuerda = cuantizar simultáneamente infinitos osciladores armónicos. Por cada número de modo \(n = 1, 2, 3, \ldots\) y dirección espaciotemporal \(\mu\), surge un par "\(\hat{a}, \hat{a}^\dagger\)". Recuerda las vibraciones de una cuerda de guitarra — he dibujado desde la vibración fundamental hasta los modos de alta frecuencia en Fig. 7.5「Modos de vibración de la cuerda y expansión de Fourier」, para que captes la imagen.
Fig. 7.5: Modos de vibración de la cuerda y expansión de Fourier. Arriba: vibración fundamental \((n=1)\), segunda armónica \((n=2)\), tercera armónica \((n=3)\). Abajo izquierda: una forma general de la cuerda es superposición de estos. Abajo centro: vibraciones de una cuerda cerrada (onda derecha \(\alpha_n\) + onda izquierda \(\tilde{\alpha}_n\)). Abajo derecha: resumen de que la cuantización de cada modo es isomorfa al oscilador armónico \([\hat{a}, \hat{a}^\dagger] = 1\).
✅ Verificación de comprensión: Describe en una frase la relación entre la cuantización de la cuerda y el oscilador armónico. ¿Por qué es necesario estudiar con cuidado un solo oscilador armónico en este capítulo?
Respuesta
Cuantizar la cuerda equivale a "cuantizar simultáneamente infinitos osciladores armónicos". Al expandir la posición de la cuerda en serie de Fourier, los coeficientes de cada modo de vibración se comportan como osciladores armónicos independientes, cada uno satisfaciendo una relación de conmutación isomorfa a \([\hat{a}, \hat{a}^\dagger] = 1\). Por tanto, si se comprende la estructura de los operadores de escalera de un solo oscilador armónico, eso se reutiliza tantas veces como modos haya en la teoría de cuerdas.
⚪ Mei: Por eso la estructura de un solo oscilador armónico que estamos estudiando ahora se reutiliza directamente en la teoría de cuerdas.
🟡 Lina: Exacto. Y la energía del punto cero de la cuerda es la suma de \(\hbar\omega_n/2\) de cada modo:
En el caso de la cuerda, igual que en una cuerda de guitarra, las frecuencias son múltiplos enteros de la fundamental \(\omega_n = n\,\omega_1\), así que esto se convierte en
una suma divergente.
🔵 Kai: Si sale infinito, ¿no carece de significado físico?
🟡 Lina: Es una pregunta natural. De hecho, si sumas \(1 + 2 + 3 + \cdots\) directamente, diverge, pero usando una prescripción matemática llamada regularización por función zeta, se puede asociar consistentemente a esta suma el valor finito \(-1/12\). La "función zeta" es la función estudiada por el matemático Riemann \(\zeta(s) = \sum_{n=1}^\infty 1/n^s\) (una serie infinita que converge para \(s > 1\)), y al "extenderla" formalmente a \(s = -1\) se obtiene \(\sum n = \zeta(-1) = -1/12\) — de ahí viene el nombre.
🔵 Kai: \(1 + 2 + 3 + \cdots = -1/12\)... ¡¿!? ¿De verdad se puede confiar en eso?
🟡 Lina: Contradice la intuición, sí. Pero aunque "reemplazar una suma divergente por un valor finito" suene a truco de magia, los resultados obtenidos con esta prescripción no contradicen los experimentos ni la consistencia interna de la teoría — por eso se confía en ella como un procedimiento físicamente significativo. El mecanismo detallado se trata en Cap. 14, así que por ahora solo recuerda que "existe un método para controlar la suma infinita de la energía del punto cero". Y el hecho de que esta prescripción funcione consistentemente determina el sorprendente resultado de la dimensión crítica \(D = 26\) (cuerda bosónica). La energía del punto cero que aprendimos en este capítulo conecta directamente con uno de los resultados más profundos de la teoría de cuerdas. @exercise: Suma divergente de la energía del punto cero y dimensión crítica \(D = 26\) → Problema A-2. Suma divergente de la energía del punto cero y dimensión crítica D = 26
🟡 Lina: Y si escribimos el número de excitación de cada modo \(n\) como \(N_n\), el estado de toda la cuerda queda completamente especificado por la lista "hasta qué escalón está excitado cada modo" \(\{N_1, N_2, N_3, \ldots\}\). La perspectiva de leer \(N_n\) como "el número de cuantos en el modo \(n\)" se llama descripción de números de ocupación — se especifica el estado indicando cuántos cuantos hay en cada modo. Esta descripción de números de ocupación demuestra su verdadero poder tanto en el siguiente capítulo (teoría cuántica de campos) como en la teoría de cuerdas.
⚪ Mei: Claro, como cada modo es independiente, basta con enumerar los números cuánticos \(N_n\) de cada modo para determinar el estado de toda la cuerda — una estructura muy fácil de organizar.
Tabla 7.2: Objeto de cuantización y reaparición de la "estructura de oscilador armónico"
| Objeto | Relación de conmutación | Significado del número cuántico | Capítulo |
|---|---|---|---|
| Oscilador armónico unidimensional | \([\hat{a}, \hat{a}^\dagger] = 1\) | \(n\) = nivel de energía | Este capítulo |
| Campo escalar libre | \([\hat{a}_{\vec{k}}, \hat{a}_{\vec{k}'}^\dagger] = \delta(\vec{k}-\vec{k}')\) | \(n_{\vec{k}}\) = número de partículas con momento \(\vec{k}\) | Cap. 8 |
| Modos de vibración de la cuerda | \([\hat{a}_m^\mu, \hat{a}_n^{\nu\dagger}] = \delta_{mn}\eta^{\mu\nu}\) | \(N_n\) = número de excitación del modo \(n\) | Cap. 14 |
Patrón de operadores de escalera que se repite a lo largo de este capítulo
- De la relación de conmutación canónica \([\hat{x}, \hat{p}] = i\hbar\) se deriva \([\hat{a}, \hat{a}^\dagger] = 1\)
- El hamiltoniano se comprime a \(\hat{H} = \hbar\omega(\hat{a}^\dagger\hat{a} + 1/2)\)
- \(\hat{a}^\dagger\) y \(\hat{a}\) suben y bajan la energía un escalón a la vez
- De la existencia del estado de energía mínima surgen naturalmente los números cuánticos \(n = 0, 1, 2, \ldots\)
- La energía del punto cero del estado fundamental es consecuencia directa del principio de incertidumbre
Este patrón se repite con variaciones en Cap. 8 (cuantización del campo), Cap. 14 (cuantización de la cuerda), Cap. 17 (extensión fermiónica de la supercuerda). Es importante asentarlo bien aquí.
7.5 Resumen de puntos clave: Espín¶
🟡 Lina: Independientemente del movimiento en el espacio de posiciones, las partículas poseen una cantidad llamada espín — un momento angular intrínseco. No es una rotación clásica, sino un grado de libertad puramente cuántico.
🔵 Kai: Se llama "rotación" pero no es lo mismo que girar sobre sí misma, ¿verdad?
🟡 Lina: El modelo que mejor funciona trata al electrón como "partícula puntual", así que no tiene sentido que un punto "gire sobre sí mismo". En el experimento de Stern-Gerlach, un haz de átomos de plata que pasa por un campo magnético se divide exactamente en 2 — si fuera rotación continua, debería dispersarse en forma de abanico, pero solo toma valores discretos. Es un grado de libertad puramente cuántico que no puede explicarse con rotación clásica — es de ese tipo. Los detalles están en Mecánica Cuántica Cap. 5 Introducción mediante el experimento de Stern-Gerlach, Mecánica Cuántica Cap. 17 Formulación con matrices de Pauli, Mecánica Cuántica Cap. 18 Partículas idénticas y estadística. Resumiendo solo las conclusiones necesarias para la Parte III:
Tabla 7.3: Resumen de las propiedades básicas del espín
| Aspecto | Contenido |
|---|---|
| Número cuántico de espín \(s\) | Toma valores \(0, \tfrac{1}{2}, 1, \tfrac{3}{2}, 2, \ldots\) |
| Componente \(z\) del espín | \(S_z = \hbar m_s\), con \(m_s = -s, -s+1, \ldots, s\) (\(2s+1\) valores) |
| Relaciones de conmutación | \([\hat{S}_i, \hat{S}_j] = i\hbar\,\epsilon_{ijk}\,\hat{S}_k\) (ver nota abajo; isomorfas al momento angular orbital) |
| Bosones (\(s\) entero) | Pueden entrar tantos como se quiera en el mismo estado. Fotón (\(s = 1\)), gravitón (\(s = 2\)), Higgs (\(s = 0\)) |
| Fermiones (\(s\) semientero) | Solo 1 por estado (principio de exclusión de Pauli). Electrón, quarks (\(s = 1/2\)) |
Significado de \(\epsilon_{ijk}\) (símbolo completamente antisimétrico): Los índices \(1, 2, 3\) corresponden respectivamente a las direcciones \(x, y, z\). \((i,j,k) = (1,2,3), (2,3,1), (3,1,2)\) da \(+1\); \((1,3,2), (3,2,1), (2,1,3)\) da \(-1\); si algún índice se repite, da \(0\). Es decir, permutaciones cíclicas de \((1,2,3)\) dan \(+1\), intercambiar vecinos da \(-1\). Ejemplo: \([\hat{S}_x, \hat{S}_y] = i\hbar\,\hat{S}_z\), \([\hat{S}_y, \hat{S}_x] = -i\hbar\,\hat{S}_z\).
⚪ Mei: "¿Por qué el espín entero corresponde a bosones y el semientero a fermiones?" — esa razón aún no se ha explicado, ¿verdad?
🟡 Lina: Correcto. Eso se demuestra por primera vez con el teorema de espín-estadística de la teoría cuántica de campos (Mecánica Cuántica Cap. 18 o Teoría Cuántica de Campos Teoría Cuántica de Campos Cap. 5). Por ahora acepta solo el resultado. La distinción bosón/fermión es el eje de clasificación más importante que aparece repetidamente en este libro. Por ejemplo —
- Cap. 9 Clasificación de partículas del modelo estándar (bosones que median fuerzas / fermiones que constituyen la materia)
- Cap. 15 Espectro de la cuerda bosónica (que incluye el gravitón)
- Cap. 17 Teoría de supercuerdas (extensión que incluye fermiones)
En todos ellos, "espín entero vs semientero" determina la estructura interna. Dejando los detalles del espín para Mecánica Cuántica, en este libro basta con tener a mano la clasificación de Tabla 7.3「Resumen de las propiedades básicas del espín」.
✅ Verificación de comprensión: Explica la diferencia entre bosones y fermiones desde el punto de vista del número cuántico de espín y la posibilidad de ocupar el mismo estado.
Respuesta
Los bosones son partículas con número cuántico de espín \(s\) entero (\(0, 1, 2, \ldots\)) y pueden entrar tantos como se quiera en el mismo estado cuántico (ejemplo: fotón, gravitón). Los fermiones son partículas con espín semientero (\(1/2, 3/2, \ldots\)) y por el principio de exclusión de Pauli solo puede haber 1 en cada estado cuántico (ejemplo: electrón, quarks). Esta distinción se demuestra mediante el teorema de espín-estadística de la teoría cuántica de campos.
7.6 La pregunta pendiente — La colisión entre relatividad y teoría cuántica¶
🟡 Lina: La mecánica cuántica explica con asombrosa precisión el mundo microscópico: átomos, moléculas, enlaces químicos, semiconductores, superfluidos, etc. Pero tiene un defecto decisivo.
🔵 Kai: ¿Un defecto...? ¿Con lo poderosa que es?
🟡 Lina: No es compatible con la relatividad especial.
🔵 Kai: ¿Eh? ¿En qué no es compatible?
🟡 Lina: Mira de nuevo la ecuación de Schrödinger dependiente del tiempo:
El lado izquierdo tiene una derivada de primer orden en el tiempo, y la parte espacial del lado derecho tiene una derivada de segundo orden. Como confirmamos en Cap. 5, la relatividad especial exige que el tiempo y el espacio se traten en pie de igualdad mediante la métrica de Minkowski \(\eta_{\mu\nu}\). Por tanto, esta ecuación cambia de forma bajo transformaciones de Lorentz — no es covariante relativista.
🔵 Kai: El orden de la derivada no es el mismo en ambos lados.
Tabla 7.4: Incompatibilidad entre la ecuación de Schrödinger y la relatividad especial
| Aspecto | Ecuación de Schrödinger | Requisito de la relatividad especial |
|---|---|---|
| Derivada temporal | 1er orden (\(\partial/\partial t\)) | Tiempo y espacio en pie de igualdad |
| Derivada espacial | 2º orden (\(\partial^2/\partial x^2\)) | Tiempo y espacio en pie de igualdad |
| Transformación de Lorentz | Cambia de forma (no covariante) | Se requiere que la forma no cambie |
| Relación de energía | \(E = p^2/(2m) + V\) (no relativista) | \(E^2 = p^2c^2 + m^2c^4\) |
| Número de partículas | Fijo (se asume que se conserva) | Creación de pares posible con \(E = mc^2\) |
🟡 Lina: Exacto. Este defecto estructural produce dos consecuencias graves cuando se intenta forzar la compatibilidad con la relatividad:
- Aparición de soluciones de energía negativa — La raíz cuadrada de la relación energía-momento relativista \(E^2 = p^2c^2 + m^2c^4\) tiene una rama con \(E < 0\). Dirac la interpretó como antipartículas.
- No conservación del número de partículas — Si hay energía mayor que \(E = mc^2\), pueden generarse pares partícula-antipartícula del vacío. La ecuación de Schrödinger, donde el número de partículas está fijo, no puede describir esto.
⚪ Mei: Es decir, la "equivalencia entre energía y masa" que enseña la relatividad permite que nazcan partículas, pero el marco de la mecánica cuántica no puede tratar procesos donde el número de partículas cambia — una incompatibilidad fundamental.
🔵 Kai: Si las partículas pueden aumentar o disminuir, el método de seguir "la función de onda de una sola partícula" como en Schrödinger no sirve, ¿verdad? Entonces, ¿qué se toma como objeto fundamental a seguir?
🟡 Lina: Exactamente. Para compatibilizar la relatividad y la mecánica cuántica se necesita un nuevo marco que permita "que el número de partículas cambie". Ese marco es la teoría cuántica de campos que tratamos en Cap. 8. Se promueve el campo mismo a operador y se describe las partículas como excitaciones del campo. Los \(\hat{a}^\dagger\) (operador de creación) y \(\hat{a}\) (operador de aniquilación) que aprendimos en este capítulo se convierten directamente en las herramientas que describen la creación y aniquilación de partículas — esa correspondencia es hermosa.
✅ Verificación de comprensión: ¿Cuál es la razón estructural por la que la ecuación de Schrödinger no es compatible con la relatividad especial? ¿Y cuáles son las dos consecuencias físicas que esto genera?
Respuesta
La ecuación de Schrödinger tiene derivada de primer orden en el tiempo y de segundo orden en el espacio, así que bajo transformaciones de Lorentz (que exigen tratar tiempo y espacio en pie de igualdad) su forma cambia. Las consecuencias de esta incompatibilidad son: (1) Al tomar la raíz cuadrada de la relación energía-momento relativista aparecen soluciones de energía negativa, requiriendo la existencia de antipartículas. (2) Con energía mayor que \(E = mc^2\) se pueden crear pares partícula-antipartícula, y un marco que sigue la función de onda de una partícula no puede describirlo porque el número de partículas no se conserva.
%%{init: {"theme": "default", "themeCSS": ".edgePath .path, .flowchart-link { stroke-width: 2px !important; }"}}%%
flowchart TD
A["Ecuación de Schrödinger<br/>∂/∂t es de 1er orden, ∂²/∂x² es de 2º orden"]
B["No es invariante Lorentz"]
C["Ecuaciones de onda relativistas<br/>(Klein-Gordon, Dirac)"]
D["Soluciones de energía negativa<br/>→ antipartículas"]
E["No conservación del número de partículas<br/>→ creación y aniquilación de pares"]
F["Teoría cuántica de campos (Cap. 8)"]
G["Teoría de cuerdas (Cap. 13 en adelante)"]
A --> B
B --> C
C --> D
C --> E
D --> F
E --> F
F --> GFig. 7.6: Camino desde la ecuación de Schrödinger hasta la teoría cuántica de campos y la teoría de cuerdas
🔵 Kai: Aquí es donde los troncos de la relatividad y la teoría cuántica chocan frontalmente por primera vez. Pero "promover el campo mismo a operador", ¿eso es como hacer la sustitución \(E \to i\hbar\,\partial_t\), pero ahora aplicada al campo? El campo es una cantidad que tiene un valor en cada punto del espacio, así que ¿el objeto a sustituir es infinito en número...?
🟡 Lina: Exactamente así. En cada punto del espacio hay una cantidad equivalente a "posición y momento", y a cada una se le impone una relación de conmutación — así que se cuantizan infinitos grados de libertad a la vez. Y de esa colisión nace la descripción de campo que trasciende la descripción de partículas, y más allá espera la descripción de cuerda — esa es la historia de la segunda mitad de este libro.
📖 Conexión con Mecánica Cuántica: La ecuación de Klein-Gordon y la ecuación de Dirac, así como la interpretación del mar de Dirac, se tratan en Mecánica Cuántica Cap. 27. En la Parte III de este libro, los reconstruimos en el siguiente capítulo desde el ángulo de "la necesidad de una teoría con número variable de partículas = teoría cuántica de campos".
Avance del próximo capítulo¶
La ecuación de Schrödinger cambia de forma bajo transformaciones de Lorentz. El tronco de la relatividad (capítulos 5-6) y el tronco de la teoría cuántica (este capítulo) finalmente chocan de frente aquí. En Cap. 8 title, nos adentraremos en la audaz idea de promover el campo mismo a operador — la teoría cuántica de campos — y construiremos el marco para describir la creación y aniquilación de pares. Presenciemos el momento en que los operadores de escalera \(\hat{a}, \hat{a}^\dagger\) que obtuvimos en este capítulo se reinterpretan como operadores de aniquilación y creación de partículas.
Problemas de práctica¶
📝 Ejercicios:
- Suma divergente de la energía del punto cero y dimensión crítica \(D = 26\) → Problema A-2. Suma divergente de la energía del punto cero y dimensión crítica D = 26
Referencias¶
- Mecánica Cuántica Cap. 1 Las 3 crisis de la física clásica y el modelo de Bohr
- Mecánica Cuántica Cap. 7 Función de onda y ecuación de Schrödinger
- Mecánica Cuántica Cap. 8 Relaciones de conmutación, principio de incertidumbre y estabilidad atómica
- Mecánica Cuántica Cap. 9 Problemas estacionarios unidimensionales y solución algebraica del oscilador armónico
- Mecánica Cuántica Cap. 15 Álgebra del momento angular — generalización de los operadores de escalera
- Mecánica Cuántica Cap. 5・Mecánica Cuántica Cap. 17・Mecánica Cuántica Cap. 18 Espín
- Mecánica Cuántica Cap. 27 Ecuaciones de Klein-Gordon y Dirac, y el problema de energía negativa
- David Tong, Lectures on Quantum Field Theory, Ch.1 (por qué la mecánica cuántica sola no es suficiente)
- Carlo Rovelli, Reality Is Not What It Seems, Ch.6–7 (nacimiento y completitud de la mecánica cuántica)
Feedback on this page
Let us know if something was unclear, incorrect, or could be improved.