Cálculo de Tr[logΔF]Tr[log⁡ΔF]\mathrm{Tr}[\log \Delta_F]

Estoy atascado con este problema durante bastante tiempo. Tengo un propagador en la representación del momento (de esta pregunta de Phys.SE ), que parece

Δ ~ F ( pags ) = 1 ( pags 0 ) 2 ( ( norte π / L ) 2 + metro 2 ) + i ϵ

quisiera saber como hago para calcular T r [ Iniciar sesión Δ F ] para, en general, este tipo de propagadores. El propagador en la representación de posición se vería así,

Δ F ( X X ) = norte = 1 d pags 0 ( 2 π ) 2 mi i pags 0 ( X 0 X 0 ) mi i norte π L ( z z ) 1 ( pags 0 ) 2 ( ( ( norte π / L ) 2 + metro 2 )
donde he reemplazado la integral sobre pags z con una suma sobre norte .

EDITAR 1: con el propagador dado, puedo escribir que Trace sea,

Tr Iniciar sesión Δ = norte d pags 0 Iniciar sesión ( pags 0 2 ( norte π L ) 2 + metro 2 )
pero esto es divergente tanto en los límites de pags 0 Supongo. No he introducido ningún corte también. ¿Cómo renormalizo esto dado el contexto de este problema?

PD: Lo siento, soy un principiante con QFT y cálculos integrales de ruta. Sería útil si pudiera obtener una respuesta bastante explícita. Más precisamente, deseo saber cuál es el significado de T r [ Iniciar sesión Δ F ] .

Acabo de recordar que este cálculo se hace en este apéndice A de arxiv:1303.6559. La suma matsubara es equivalente a la discrecionalidad en la dirección L (esto se hace en el espacio euclidiano). Creo que eso debería hacer el trabajo.
El trlog corresponde a la contribución a la energía libre (es decir, al logaritmo de la función de partición) de un modo gaussiano (libre). Por ejemplo, puede calcular la función de partición de un solo oscilador armónico de esa manera.
Estás calculando tal cantidad porque querías extraer la fuerza de Casimir. Simplemente tome (menos) la derivada wrt para L de su expresión en el espacio de cantidad de movimiento, el resultado es finito. Por cierto, no creo que tu propagador sea correcto ya que depende solo de la diferencia X X mientras que tiene dos límites que rompen las traducciones, por lo que debería ser una función separada de X y X
Consejos de LaTeX (ver edición): Trate de evitar usar \frac dentro de otros denominadores; si su fracción es lo suficientemente pequeña, una barra invertida está bien y se ve mejor. Si necesita corchetes más grandes, use \left( ... \right) en lugar del comando \big. Evite corchetes anidados del mismo tipo; si corresponde, haga que uno sea cuadrado y el otro normal. El símbolo de una traza no debe estar en cursiva, al igual que R mi ( z ) debiera ser R mi ( z ) , o incluso ( z ) .

Respuestas (2)

Por lo que he leído de su publicación original, parece que está tratando de calcular la fuerza de Casimir a partir de la energía del vacío. Recordar la relación entre la integral de trayectoria y la energía del vacío.

mi S [ ϕ ] D ϕ = mi β mi 0
en el limite β , donde he ido al espacio euclidiano. Para una teoría escalar libre en (1 + 1) dimensiones, para el efecto Casimir, tenemos que imponer condiciones de contorno de Dirichlet en la dimensión espacial. Explícitamente, tenemos que hacer la integral
Exp ( 1 2 ϕ ( X ) ( 2 + metro 2 ) ϕ ( X ) d 2 X ) D ϕ
Esta es una integral gaussiana fácil, dada por
1 det ( 2 + metro 2 ) = mi 1 2 Tr Iniciar sesión ( 2 + metro 2 )
Calcular Tr Iniciar sesión ( 2 + metro 2 ) , es más fácil sumar sobre los estados de impulso (recuerde que obtenemos un factor de β para asegurarnos de que estamos contando los estados con el peso correcto)
β norte = 1 Iniciar sesión ( ( pags 0 ) 2 + ( π norte L ) 2 + metro 2 ) d pags 0 2 π
Descomponiendo el registro y enviando la suma como un producto, obtenemos
β Iniciar sesión ( norte = 1 ( π norte L ) 2 ) d pags 0 2 π + β Iniciar sesión ( norte = 1 ( 1 + ( L ( pags 0 ) 2 + metro 2 π norte ) 2 ) ) d pags 0 2 π
El último término es un producto convergente (seno hiperbólico), solo necesitamos regular el segundo término. El mejor método para esto es la regularización de la función Zeta, que describiré brevemente. Si tenemos un producto de la forma norte a norte , podemos formar la función Zeta asociada ζ A ( s ) = norte a norte s . Simplemente tome la derivada y haga una línea de álgebra para mostrar que norte a norte = mi ζ A ( 0 ) . La idea básica del regulador es que, si bien el producto puede divergir, la función Zeta puede tener una continuación analítica para s = 0 que da un valor finito. Para a norte = ( π norte / L ) 2 , obtenemos
ζ A ( s ) = ( L π ) 2 s ζ ( 2 s )
donde un Zeta sin subíndice es solo la función Riemann Zeta. Tomando la derivada y exponenciando, el regulador nos da norte = 1 a norte = 2 L . Poniendo todo junto, obtenemos
Tr Iniciar sesión ( 2 + metro 2 ) = β Iniciar sesión ( 2 pecado ( L ( pags 0 ) 2 + metro 2 ) d pags 0 2 π
más algunos L constante independiente que no nos importa. Debería poder calcular la energía del estado fundamental y luego la fuerza de Casimir mediante la diferenciación, a partir de la comparación con la integral de trayectoria. ¡Espero que esto haya ayudado!

Editar: mi argumento original era un poco descuidado, así que lo limpié. Además, tendrá que hacer un truco en el que introduzca una tercera placa para evitar que las infinitas contribuciones del estado fundamental de los osciladores de campo hagan que la fuerza sea infinita. Para obtener más información, consulte QFT de Zee en pocas palabras, Sección 1.9.

Como desea extraer la fuerza de Casimir, simplemente tome (menos) la derivada wrt a L de su expresión en el espacio de momento, el resultado es finito. Este es en realidad un mecanismo general para regularizar la teoría tomando derivados de algunos parámetros que reducen el grado de divergencia. Puede volver a integrar después de haber llegado a la expresión finita.

Por cierto, no creo que su propagador sea correcto ya que depende solo de la diferencia x−x′ mientras que tiene dos límites que rompen las traducciones, por lo que debería ser una función separada de x y x′ – TwoBs Hace 16 horas

¿Entonces dices que mi primera expresión para el propagador en el espacio de cantidad de movimiento es correcta?
Solo digo que no hay ninguna razón por la cual T ϕ ( X ) ϕ ( X ) debe ser una función de X X solamente, ya que el operador de traducción PAGS m ya no aniquila el vacío (y de hecho, es la razón por la que tienes el efecto Casimir en primer lugar, mover el límite cambia la energía del vacío). No sé cómo has llegado a ese propagador y no tengo tiempo para comprobarlo por ti, pero creo que ya te dije el camino a seguir: resuelve el (no homog.) KG eq. por Δ ( X , X ) para cada variable que impone la condición límite adecuada.
@TwoBs: Creo que la situación solo se rompe S O ( 4 ) . Las 4 traducciones siguen siendo simetrías (p. ej.: teoría sobre un cilindro, a la temperatura finita). No es exactamente un cálculo de fuerza de Casimir; sí calcula la energía libre.
@Siva De hecho, un cilindro divide las traducciones en un subgrupo discreto. Los momentos a lo largo de las dimensiones compactas se cuantifican.
No, un límite UV dividiría la invariancia traslacional en un subgrupo discreto. Un corte IR conduce a momentos cuantificados y no conduce a una simetría traslacional rota.
Supongamos que estamos restringidos a un círculo, en una dimensión. ¿En qué sentido se rompería la invariancia traslacional? Después de traducir por 2 π R volveríamos a nuestro punto de partida, pero las traslaciones seguirían siendo una simetría. (De hecho, las traslaciones que son múltiplos enteros de 2 π R bien podría considerarse una redundancia de calibre!)
@Siva sí, tienes razón sobre el círculo y el cilindro. Sin embargo, son casos bastante especiales, con condiciones de contorno ad hoc. Una dimensión compacta genérica con condiciones de contorno genéricas (por ejemplo, no periódicas) rompería las traducciones (espontáneamente).