Relationship between periodic distributions and the periodization of a Schwartz function

533 Views Asked by At

Suppose that $f$ is a Schwartz function, and suppose that its periodization vanishes, i.e. $$ \sum_{k\in \mathbb{Z}}f(x+k)=0$$

Next, suppose that $\pi$ is a periodic tempered distribution, i.e. $\pi(T_k g)=\pi(g)$, for all $k\in \mathbb{Z}$ and all Schwartz functions $g$, where $T_k g(x)=g(x+k)$ is the translation operator.

Prove that $\langle\pi,f\rangle=0$.

Ideas: (1) If we can show that $(2N)^{-1}\sum_{k=-N}^{N}f(x+k)$ converges weakly to zero (under the assumption that $f$'s periodization vanishes) then we reach a solution.

(2) The fact that the periodization of $f$ vanishes implies that its (inverse) Fourier transform $f^{\vee}(\xi)$ vanishes on the integers. The fact that $\pi$ is periodic implies that $(1-e^{2\pi i \xi})\hat{\pi}=0$, where $\hat{\pi}$ is the Fourier transform of $\pi$. If we can show that $(1-e^{2\pi i\xi})^{-1}f^\vee(\xi)$ is a Schwartz function, then we can establish that $$\langle \pi,f\rangle=\langle\hat{\pi},f^\vee\rangle=\langle(1-e^{2\pi i \xi})\hat{\pi},(1-e^{2\pi i \xi})^{-1}f^\vee\rangle=0,$$ as desired.

1

There are 1 best solutions below

8
On BEST ANSWER

Let $T$ be a $1$-periodic (tempered) distribution.

Take $\phi \in C^\infty_c([0,1/2])$ constant $=1$ on $[1/5,2/5]$. Let $$T_1 = T\ \sum_n \phi(x+n), \qquad T_2 = T\ (1-\sum_n \phi(x+n))$$ so that $T = T_1+T_2$ where $T_1 = 0$ on $\mathbb{Z}+(1/2,1)$, $T_2 = 0$ on $\mathbb{Z}+(1/5,2/5)$. Then

$$\forall \varphi \in S(\mathbb{R}),\qquad P_\varphi(x) = \sum_n \varphi(x+n) \in C^\infty_{1-\text{periodic}} \\ \langle T, \varphi \rangle = \langle T_1,\varphi \rangle+\langle T_2,\varphi \rangle =\int_{\frac{3}{4}}^{\frac{3}{4}+1}T_1(x)P_\varphi(x)dx+\int_{\frac{1}{4}}^{\frac{1}{4}+1}T_2(x) P_\varphi(x)dx$$ and hence $T$ can be seen as a distribution acting on $C^\infty_{1-\text{periodic}}$ functions.