Die Gleichung, die die Summe einer auf einem Gitter in euklidischem Raum abgetasteten Funktion mit der Summe ihrer Fourier-Transformierten auf dem dualen Gitter verknüpft; klassisch auf R^n geschrieben als sum_{m in Z^n} f(m) = sum_{k in Z^n} 36f(k), und damit eine präzise Brücke zwischen diskreten Summen und harmonischer Analyse.

Prinzip

Funktion und Fourier-Transformierte geben duale Beschreibungen derselben Daten auf dem Orts- und dem Frequenzgitter; das Summieren über ein Gitter entspricht dem Summieren der Transformierten über das duale Gitter, sofern analytische und Abklingbedingungen das Vertauschen von Summation und Transformation erlauben.

Demonstration

Bei der Gaußschen Funktion f(x)=e^{-pi x^2} auf R ergibt die Summe fcber Z die klassische Theta-Transformation: sum_{n in Z} e^{-pi n^2 t} = t^{-1/2} sum_{m in Z} e^{-pi m^2 / t}, eine direkte Anwendung der Poisson-Identität nach Berechnung der Fourier-Transformierten der Gaußschen Funktion.

Fehlanwendung

Die Formel unbedacht auf Funktionen anzuwenden, die nicht die erforderliche Glattheit oder Abklingverhalten besitzen (etwa nicht-temperierte Funktionen oder Fälle mit divergenten Gitter-Summen), ffchrt zu falschen Gleichungen oder unzule4ssigen Reihenmanipulationen.

Konsequenz

Wenn die Voraussetzungen erffcllt sind, wandelt die Formel Gitter-Summen in Spektralsummen um und ermf6glicht dadurch analytische Fortsetzungen, modulartige Transformationen und die Auswertung arithmetischer Summen (z. B. bei Exponentialsummen, Thetafunktionen und Ganzzahligkeitszählproblemen).

Umkehrung

Dreht man die Rollen von Primär- und Dualgitter um, betont man die Zeit-Frequenz-Dualität: punktweise Abtastwerte kodieren ebenso die spektrale Information; die Umkehrung macht deutlich, dass es sich nicht blodf um einen einseitigen Trick handelt.

Abgrenzung

Gilt ffcr Schwartz-Funktionen auf R^n und le4sst sich unter zuse4tzlichen Bedingungen auf temperierte Distributionen und geeignete periodische oder kompakt Unterstützung tragende Testfunktionen erweitern; sie gilt nicht ohne Regularisierung ffcr beliebige unstetige oder langsam abklingende Funktionen.

Semantische Spannung

Steht in Spannung zu Euler–Maclaurin-artigen Entwicklungsformen, die ebenfalls Summen und Integrale asymptotisch verknfcpfen; Poisson liefert unter analytischen Voraussetzungen eine exakte Identite4t, we4hrend Euler–Maclaurin asymptotische Korrekturen bereitstellt.

Synthese

Die Poisson-Summationsformel ist die präzise Identite4t, welche die Gitter-Summen einer Funktion mit den Gitter-Summen ihrer Fourier-Transformierten gleichsetzt; sie verankert die Zeit-Frequenz-Dualite4t und ist ein zentrales Werkzeug, um diskrete arithmetische Probleme in spektrale Fragestellungen zu fcberffchren.