Bourbaki

Exercise 55, § 1

Tag 02LV, permanent. Cite it as [Bourbaki, Tag 02LV].

Spectral Theories, II, p. 292

We retain the notations of the preceding exercise. We equip G~\widetilde{G} with the normalized Haar measure ν\nu. Let ff be a function almost periodic on G and f~\widetilde{f} its extension to G~\widetilde{G}. We set

A(f)=∫G~f~(x)ν(x) A(f) =\int_{\widetilde{G}}\widetilde{f}(x)\nu (x)

a) Let χ∈G^\chi \in \widehat{G}. The function χf\chi f is almost periodic. We then define P(f)(χ)=A(χf)\mathscr{P}(f)(\chi ) = A(\chi f). We have

A(∣f∣2)=∑χ∈G^∣P(f)(χ)∣2 A(|f|^2) =\sum_{\chi\in\widehat{G}}|\mathscr{P}(f)(\chi )|^2

and in particular A(χf)=0A(\chi f) = 0 except for a countable set of χ\chi.

b) Let ff be a function almost periodic on R\mathbf{R}. For every y∈Ry\in \mathbf{R}, we have

1 ∫T\int^T

P(f)(y)=\mathscr{P}(f)(y) = lim f(x)e−2iπxydxf(x)e^{-2i\pi xy}dx.

T→+∞2T−T _{T\rightarrow+\infty}2T_{-T}

c) Let Λ be a finite subset of R\mathbf{R}. The function defined on R\mathbf{R} by

f(x)=∑λ∈Λeiλx f(x) =\sum_{\lambda\in\Lambda}e^{i\lambda x}

is almost periodic on R\mathbf{R}; determine in terms of Λ the set of y∈Ry\in \mathbf{R} such that P(f)(y)≠0\mathscr{P}(f)(y)\not= 0.

Solution

No solution has been written yet.

Cited by

Nothing.

Cites

Nothing.

Machine translation of the English, by gpt-5-6-mini. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.