L'égalité qui met en relation la somme d'une fonction évaluée sur un re9seau dans l'espace euclidien et la somme de sa transforme9e de Fourier sur le re9seau dual ; s'énonce classiquement pour des fonctions sur R^n par sum_{m in Z^n} f(m) = sum_{k in Z^n} 36f(k), offrant un pont précis entre sommes discrètes et analyse harmonique.

Principe

Une fonction et sa transformée de Fourier donnent deux descriptions duales des mêmes informations sur les re9seaux primal et spectral ; la sommation sur l'un des re9seaux coïncide avec la sommation de la transformée sur le re9seau dual lorsque les conditions analytiques et de de9croissance autorisent l'interversion des ope9rations.

Démonstration

Pour la gaussienne f(x)=e^{-pi x^2} sur R, la somme de f sur Z fournit la transformation classique thêta : sum_{n in Z} e^{-pi n^2 t} = t^{-1/2} sum_{m in Z} e^{-pi m^2 / t}, application directe de l'identité de Poisson apre8s calcul de la transformée de Fourier de la gaussienne.

Mauvaise application

Appliquer la formule à des fonctions qui ne satisfont pas les conditions requises de re9gularite9 ou de de9croissance (par exemple des fonctions non tempe9re9es ou e0 sommes de re9seau divergentes) sans interpre9tation distributionnelle conduit e0 des e9galite9s errone9es ou e0 des manipulations de se9ries divergentes.

Conséquence

Lorsqu'elle s'applique, la formule transforme des sommes sur re9seaux en sommes spectrales, permettant la continuation analytique, des transformations de type modulaire et l'e9valuation de sommes arithme9tiques (par exemple pour des sommes exponentielles, des fonctions theata et le comptage de points entiers).

Inversion

En inversant les rf4les du re9seau primal et du re9seau dual, on met l'accent sur la dualite9 temps-fre9quence : l'information des e9chantillons ponctuels se traduit e9galement en information spectrale, montrant que la relation n'est pas unidirectionnelle.

Limite

Valable pour les fonctions de Schwartz sur R^n et extensible aux distributions tempérées et e0 certains fonctions tests pe9riodiques ou e0 support compact sous hypothèses supple9mentaires ; elle ne s'applique pas sans re9gularisation e0 des fonctions arbitraires discontinues ou e0 de9croissance lente.

Tension sémantique

Rivalise avec les approximations d'Euler–Maclaurin qui relient aussi sommes et inte9grales de manie8re asymptotique ; Poisson donne une identite9 exacte sous hypothe8ses analytiques, tandis qu'Euler–Maclaurin propose des corrections asymptotiques e0 l'approximation par inte9grale.

Synthèse

La formule de sommation de Poisson est l'identite9 précise qui e9galise les sommes sur un re9seau d'une fonction et celles de sa transformée de Fourier ; elle formalise la dualite9 temps-fre9quence et constitue un outil fondamental pour convertir des proble8mes arithme9tiques discrets en proble8mes spectraux.