Développement : Formules de Poisson et Shannon

Détails/Enoncé :

Soit $f \in S(\mathbb{R})$. Alors

$ \forall t \in \mathbb{R}, \sum_{n=-\infty}^{+\infty} f(n+t) = \sum_{k=-\infty}^{+\infty} \hat{f}(k) e^{i2kt}$

et si le support de $\hat{f}$ est inclus dans $[-1/2,1/2]$, alors pour tout $t \in \mathbb{R}$, $f(t) = \sum_{k=-\infty}^{+\infty} f(k) \frac{ \sin(k-t) \pi}{(k-t) \pi}$