Regularización del efecto Casimir

Para empezar, permítanme decir que aunque el efecto Casimir es un tema de libro de texto estándar, el único libro de texto QFT que tengo a mi alcance es Weinberg y él no lo discute. Entonces, la única fuente que tengo actualmente sobre el tema es Wikipedia . Sin embargo, sospecho que esta pregunta es apropiada ya que no recuerdo que se haya abordado en otros libros de texto.

Ingenuamente, el cálculo de la presión de Casimir conduce a sumas infinitas y, por lo tanto, requiere regularización. Se pueden usar varios reguladores que arrojan la misma respuesta: función zeta, núcleo de calor, gaussiano, probablemente otros también. La pregunta es:

¿Cuál es la razón matemática por la que todos los reguladores arrojan la misma respuesta?

En términos físicos, significa que el efecto es insensible a la física detallada del corte UV, que en una situación real está relacionada con las propiedades de los conductores utilizados. La Wikipedia menciona que para algunas geometrías más complicadas, el efecto es sensible al corte, entonces, ¿por qué no lo es para el ejemplo clásico de planos paralelos?

EDITAR: Aaron proporcionó una maravillosa referencia de Terry Tao relevante para este problema. De este texto queda claro que la suma divergente de la energía del vacío se puede descomponer en una parte finita e infinita, y que la parte finita no depende de la elección del regulador. Sin embargo, el infinitoparte depende de la elección del regulador (ver eq 15 en el texto de Tao). Ahora, tenemos otro parámetro en el problema: la separación entre los planos conductores L. Lo que necesitamos mostrar es que la parte infinita no depende de L. Esto todavía parece un milagro, ya que debería suceder para todos los reguladores. Además, a menos que esté confundido, no funciona para el ejemplo de juguete de un escalar sin masa en 2D. Para este ejemplo, todos los términos en la suma de la energía del vacío son proporcionales a 1/L, por lo que la parte infinita de la suma asintótica también es proporcional a 1/L. Entonces tenemos un "milagro" que ocurre solo para geometrías y dimensiones específicas

Creo que la respuesta a la pregunta es que para las teorías renormalizables, la respuesta debe ser independiente de la regularización (una vez que elimina el corte/regularización).

Respuestas (5)

Consulte la brillante publicación de Terry Tao sobre la regularización de la función zeta aquí (nunca entendí el tema hasta que leí esta publicación). La respuesta corta es que todos calculan lo mismo, las asintóticas (adecuadamente definidas) de la suma divergente.

¡Gracias Aaron, un gran árbitro! Aunque creo que todavía hay algo que no está claro. Voy a editar la pregunta en consecuencia.
Tao es genial, pero simplemente no es una respuesta válida a la pregunta original. El texto de Tao es bastante puramente matemático y no hace ningún análisis físico (QFT, renormalización) de la situación en absoluto, es decir, las constantes de acoplamiento, los contratérminos o los reguladores, las simetrías que restringen las leyes de la física, si las hay, y la dependencia o independencia de los observables físicos en estos. cosas. Entonces -1.

Si bien, no sé si existe una prueba general, creo que el efecto Casimir de una teoría cuántica de campos renormalizable debería entenderse completamente mediante una teoría de renormalización sobre variedades con frontera. La característica clave es que, en general, no se puede despreciar la renormalización de las constantes de acoplamiento en los términos de contorno. Usando esta estrategia, Bondag y Vassilevich observaron que la renormalización del término de tensión superficial (la acción completa que incluye los términos superficiales se da en la ecuación 44) proporciona un contratérmino que cancela un término divergente en la energía de Casimir de una bola dieléctrica que no se puede cancelar. por la resta de energía del punto cero (como señalaron los mismos autores junto con Kirsten en un trabajo anterior). En el trabajo posterior, los autores verificaron que el modelo que incluye los términos de superficie es renormalizable en un ciclo.

Buena respuesta de física, +1, a diferencia de la simple producción barata de URL para los adorados ganadores de medallas de Fields que, a pesar de su grandeza, prácticamente no contribuyen a la respuesta a la pregunta original, es decir, qué se puede ajustar en los parámetros que describen estas situaciones físicas. (placas vs otras geometrías).
Uno tiene que entender que cualquier condición de frontera (como E=0) es una solución a las ecuaciones acopladas de cargas y campos. Entonces, el efecto Casimir es una interacción de cargos en QFT, no solo un "efecto de campo de vacío".

(Este argumento es para un sistema unidimensional, pero se pueden dar argumentos similares en dimensiones más altas. Trabajamos en unidades con C = = mi = 1 ).

Supongamos que tenemos algún procedimiento regulador parametrizado por un corte de impulso Λ . Entonces, por distancia L entre dos placas paralelas, podemos expandir la suma de energía regularizada en potencias de corte como

mi = a L Λ 2 + b L Λ + C L + O ( 1 Λ ) .
Podemos deducir la dependencia de a L y b L por análisis dimensional. Los dos primeros términos provienen de la contribución de energías muy altas a la suma. Por tanto, no pueden depender de cosas como, por ejemplo, la masa del electrón, que es insignificante a altas energías; la única escala de energía disponible es 1/L. Por lo tanto, la única dependencia permitida por el análisis dimensional es a L = α L , b L = β para algunas constantes adimensionales α y β . Entonces obtenemos
mi = α L Λ 2 + β Λ + C L + O ( 1 Λ ) .
Está claro que el segundo término desaparecerá cuando calculemos la fuerza. d mi / d L . ¿Qué pasa con el primer término? Observe que siempre hay un vacío en ambos lados de cualquier placa. Si movemos una placa por d X , entonces el primer término da un aumento de la energía del vacío a la izquierda por α Λ 2 d X , pero también da una disminución de la energía del vacío a la derecha por la misma cantidad. Por lo tanto, siempre que calculemos la derivada de la energía total del vacío, el primer término también desaparece.

Esto muestra que (en el límite de corte grande, de modo que el O ( 1 / Λ ) términos desaparecen) la fuerza proviene únicamente de C L , que de hecho es independiente del corte! Uno esperaría que el término sea realmente independiente de todos los detalles del regulador; la publicación de Terence Tao (ya mencionada en la respuesta de Aaron) prueba esto en un caso especial, es decir, el bosón libre sin masa.

Bien podrías haber hecho la misma pregunta de cualquier cálculo en mecánica cuántica: ¿por qué diferentes reguladores para cantidades formalmente divergentes dan el mismo resultado? La respuesta es que, suponiendo que esos reguladores no rompan simetrías importantes que afectan nuestras mediciones (como, por ejemplo, la invariancia de Lorentz), los reguladores solo interfieren con la física en el UV y dejan la física del IR igual. Si estamos interesados ​​en la física de baja energía, los diferentes reguladores dejarán intactas las cantidades que nos interesan y modificarán solo los detalles irrelevantes de alta energía. ¡Esto no es un milagro! Consulte también la discusión en: ¿Qué técnicas de renormalización están disponibles para 3+1 QED?

En el artículo original de Casimir, presentó una derivación que muestra que cualquier elección "sensata" de regulador dará el mismo resultado. Esto es esencialmente lo que dice Terry Tao en su publicación de blog, pero su publicación es bastante detallada y tal vez una presentación más digerible podría ser útil. Dice así:

En una caja unidimensional, las frecuencias se cuantifican a las de las ondas planas, ω norte = π norte dónde es el tamaño de la caja. Definamos entonces

mi ( ) = norte 1 2 ω norte
la suma de las energías de punto cero de estos modos. Ahora modifiquemos esta suma con un regulador (en su mayoría) arbitrario,
mi ( ) = π 2 norte norte   F   ( norte Λ )
donde simplemente multiplicamos cada término en la suma por F ( norte Λ ) . Sólo suponemos que esta función F ( X ) muere más rápido que X 1 , y eso F ( 0 ) = 1 . El primer requisito es simplemente que el regulador solo apague los modos a altas energías: las frecuencias UV atraviesan la caja. El segundo requisito es simplemente que el regulador no debería afectar el espectro en el IR.

Imaginemos ahora que tenemos un par de lugares separados a distancia a , dentro de una caja más grande de tamaño L , mostrado a continuación 1 :

ingrese la descripción de la imagen aquí

si nos vamos L fijo y variar a , la fuerza sobre las paredes de nuestras placas a distancia a es d mi / d a . la energia de la L a lado de la caja es

mi ( L a ) = π 2 norte norte ( L a )   F   ( norte ( L a ) Λ )

y si tomamos el límite continuo L , obtenemos

mi ( L a ) π 2 ( L a ) Λ 2 X F ( X ) d X
Así que ahora sumando la suma discreta entre las placas a la suma continua para el exterior de las placas, obtenemos
mi t o t a yo = mi ( a ) + mi ( L a ) = π 2 L Λ 2 X   F ( X ) d X + π 2 a ( norte   norte   F ( norte a Λ )   norte   F ( norte a Λ ) d norte )
La diferencia entre la suma de una función y su integral viene dada por la fórmula de Euler-Maclaurin:
norte = 1 norte F ( norte ) 0 norte F ( norte ) d norte = F ( 0 ) + F ( norte ) 2 + F ( 0 ) F ( 0 ) 12 + . . . B j F ( j 1 ) ( 0 ) + F ( j 1 ) ( norte ) j !
dónde B j son los números de Bernoulli.

Bien, ahora solo nos importan las partes de esta expresión que dependen de a , ya que vamos a diferenciar con respecto a a . Aislando estos términos,

mi t o t a yo = π F ( 0 ) 24 a B 4 4 ! 3 π 2 a 3 Λ 2 F ( 0 ) + . . .
donde el . . . términos son suprimidos por poderes crecientes de Λ . Si Λ se toma por grande, tiramos todo excepto el primer término; recordando lo que requerimos F ( 0 ) = 1 entonces obtenemos la fuerza de Casimir
F = d mi d a = π 24 a 2

Ahora, a menudo es un misterio para la gente por qué, por ejemplo, las manipulaciones esotéricas como la regularización zeta dan la respuesta correcta. El argumento anterior desmitifica por qué los buenos reguladores son buenos reguladores: puede expandir la diferencia entre la suma real sumada a un límite y la suma zeta (o cualquier suma, tal vez la suma del núcleo de calor) usando Euler-Maclaurin y mostrar que hay un universal pieza que no es tocada por la elección del corte. Las cosas malas solo pueden suceder si los reguladores rompen las simetrías.

Le preocupa que diferentes geometrías o dimensiones no funcionen, ¡pero funciona! Mientras el regulador no rompa la simetría de la geometría, está bien. No está claro cuál es tu 2 d El ejemplo escalar que tienes en mente es, pero si es un problema tipo Casimir, entonces la parte infinita ciertamente no dependerá de la separación de placas, así que estamos bien. Una respuesta anterior e interesante señala que, a veces, si las placas tienen un límite extraño, el regulador debe hacer algo más que "restar la energía del punto cero". que respeta las simetrías de la frontera.

1 Imagen (y derivación) robada descaradamente del libro de texto QFT de Matt Schwartz.

par de lugares -> par de platos
¿Cómo explica esto la regularización zeta? | ω 0 | s no es igual a 1!

Las cantidades que podemos medir en el laboratorio son finitas. Tenemos modelos matemáticos que, cuando se usan de manera ingenua, arrojan valores infinitos para las cantidades que podemos medir. Considere estos artefactos de valores infinitos del modelo/herramienta/método de cálculo matemático específico. Si uno puede identificar formas en las que un tipo particular de infinito surge consistentemente en un modelo/método matemático, entonces uno puede seguirle la pista y "restarlo si está apagado" (es decir, volver a normalizarlo) de manera consistente.

Si, para una forma particular de calcular, los infinitos surgen de manera aleatoria... entonces, no hay forma de eliminarlos de una manera matemáticamente consistente y no escuchas sobre esa forma en particular.

cada infinito se puede regularizar matemáticamente :) otra pregunta es si es admitido por el físico ...