Bourbaki

Exercice 35, § 1

Étiquette 02LB, permanente. À citer comme [Bourbaki, Tag 02LB].

Théories spectrales, II, p. 277

a) Pour tout entier N⩾1N\geqslant 1, toute famille (an)1⩽n⩽N(a_n)_{1\leqslant n\leqslant N} de nombres complexes et tout entier H⩾1H\geqslant 1, on a

∣∑Nan∣2⩽(1+N+1H)∑(1−∣h∣H)∑an+ha‾n |\sum^Na_n|^2\leqslant (1 +\frac{N + 1}{H})\sum(1-\frac{|h|}{H})\sum a_{n+h}\overline{a}_n
n=1∣h∣<H1⩽n⩽Nn=1|h|<H1\leqslant n\leqslant N
1⩽n+h⩽N 1\leqslant n+h\leqslant N

(« inégalité de van der Corput »). (Poser an=0a_n= 0 si nn n’est pas entre 1 et N; écrire ∑nan=∑nan+h\sum_na_n=\sum_na_{n+h} pour 0⩽h<H0\leqslant h <H, sommer sur hh, puis appliquer l’inégalité de Cauchy-Schwarz.)

Notons π:R→R/Z\pi :\mathbf{R}\rightarrow \mathbf{R}/\mathbf{Z} la projection canonique. On dit qu’une suite (xn)(x_n) de nombres réels est équirépartie modulo 1 si la suite (νn)(\nu_n) de mesures sur R/Z\mathbf{R}/\mathbf{Z} définie par

nn

1

νn(f)=∑f(π(xk)),f∈C(R/Z) \nu_n(f) =\sum f(\pi (x_k)),f\in \mathscr{C}(\mathbf{R}/\mathbf{Z})
n n
k=1k=1

converge vaguement vers la mesure de Haar de masse totale 1 sur R/Z\mathbf{R}/\mathbf{Z}. b) Si, pour tout entier h⩾1h\geqslant 1, la suite (xn+h−xn)n(x_{n+h}-x_n)_n est équirépartie modulo 1, alors (xn)(x_n) est équirépartie modulo 1. (Utiliser l’exercice précédent et l’inégalité de van der Corput.)

c) Soient d⩾1d\geqslant 1 un entier et P=αdXd+⋯+α0∈R[X]P =\alpha_dX^d+\cdots +\alpha_0\in \mathbf{R}[X] un polynôme tel que αd∉Q\alpha_d\notin\mathbf{Q}. Alors la suite (P(n))(P(n)) est équirépartie modulo 1. (Raisonner par récurrence sur d⩾1d\geqslant 1.)

Solution

Aucune solution n’a encore été écrite.

Cité par

Rien.

Cite

Rien.

Transcrit du volume imprimé. Non traduit.