Aplicación de la fórmula de suma de Poisson al efecto Casimir

Estoy estudiando el Efecto Casimir a temperatura finita. Para calcular la energía libre de Helmoltz en el conjunto canónico, necesito sumar una serie particular. En algunos artículos científicos, se sugiere usar una fórmula de Poisson modificada sobre enteros positivos solo que parece ser:

1 2 F ( 0 ) + norte = 1 F ( norte ) = π F ~ ( 0 ) + 2 π k = 1 F ~ ( 2 π k )

dónde

F ~ ( k ) := 1 π 0 F ( t ) porque ( k t ) d t .

No puedo entender cómo demostrar la validez de esta expresión a partir de la fórmula de suma estándar, es decir:

norte Z F ( 2 π norte ) = 1 2 π k Z F ^ ( k )

dónde

F ^ ( k ) := F ( X ) mi i k X d X

es la transformada estándar de Fourier. De hecho, esta fórmula se deduce usando distribuciones temperadas, por lo que F (esa es una función de "prueba") tiene que tener una buena propiedad de convergencia: esto significa que no puedo simplemente definir una función no continua nula para norte < 0 . en mi caso particular F ( X ) = ( a X ) 2 registro ( 1 mi a X ) . Perdón por mi mal ingles ;)

Respuestas (2)

empezamos con

1 2 π k Z F ^ ( k ) = norte Z F ( 2 π norte )
Un poco de reescritura da
1 2 F ^ ( 0 ) + 1 2 k = 1 [ F ^ ( k ) + F ^ ( k ) ] = π F ( 0 ) + π norte = 1 [ F ( 2 π norte ) + F ( 2 π norte ) ]
Para reproducir la fórmula que le interesa, ahora sustituimos
F ( X ) = F ~ ( X ) = 1 π 0 F ( t ) porque ( X t ) d t
Esta función satisface F ( X ) = F ( X ) . La transformada de Fourier de esta función es
F ^ ( k ) = 0 d t F ( t ) [ d ( t k ) + d ( t + k ) ] = F ( k ) θ ( k ) + F ( k ) θ ( k )
En particular, cuando k > 0 , tenemos F ^ ( k ) = F ^ ( k ) = F ( k ) y F ^ ( 0 ) = F ( 0 ) (uno obtiene un factor adicional de 1/2 ya que cuando k = 0 , la integral es más de la mitad de la línea real). Poniendo todo esto de nuevo en la ecuación, encontramos
1 2 F ( 0 ) + k = 1 F ( k ) = π F ~ ( 0 ) + 2 π norte = 1 F ~ ( 2 π norte )
QED.

I) Caso especial F ( X ) = F ( X ) par: La fórmula de reanudación de Poisson modificada (la primera fórmula de OP) se deriva de la fórmula de reanudación de Poisson estándar

norte Z F ( norte )   =   k Z F ^ ( 2 π k ) , F ^ ( k )   :=   F ( X ) mi i k X d X ,
a través de manipulaciones estándar sencillas.

II) Caso general: tenga en cuenta que la fórmula de resumen de Poisson modificada no se refiere a la negativa X -eje (o t -eje) en absoluto! Por tanto, podemos suponer sin pérdida de generalidad que F incluso F ( X ) = F ( X ) , es decir, reemplazar F con F | | . [Advertencia: si F es suave para empezar entonces F | | en general no será suave en X = 0 . Sin embargo, la fórmula estándar de resumen de Poisson también es válida para alguna clase apropiada de funciones no uniformes. Consulte la página de Wikipedia para obtener más detalles.]