Erdős–Turán inequality
In mathematics, the Erdős–Turán inequality bounds the distance between a probability measure on the circle and the Lebesgue measure, in terms of Fourier coefficients. It was proved by Paul Erdős and Pál Turán in 1948.[1][2] Let μ be a probability measure on the unit circle R/Z. The Erdős–Turán inequality states that, for any natural number n,
- [math]\displaystyle{ \sup_A \left| \mu(A) - \mathrm{mes}\, A \right| \leq C \left( \frac{1}{n} + \sum_{k=1}^n \frac{|\hat{\mu}(k)|}{k} \right), }[/math]
where the supremum is over all arcs A ⊂ R/Z of the unit circle, mes stands for the Lebesgue measure,
- [math]\displaystyle{ \hat{\mu}(k) = \int \exp(2 \pi i k \theta) \, d\mu(\theta) }[/math]
are the Fourier coefficients of μ, and C > 0 is a numerical constant.
Application to discrepancy
Let s1, s2, s3 ... ∈ R be a sequence. The Erdős–Turán inequality applied to the measure
- [math]\displaystyle{ \mu_m(S) = \frac{1}{m} \# \{ 1 \leq j \leq m \, | \, s_j \, \mathrm{mod} \, 1 \in S \}, \quad S \subset [0, 1), }[/math]
yields the following bound for the discrepancy:
- [math]\displaystyle{ \begin{align} D(m) & \left( = \sup_{0 \leq a \leq b \leq 1} \Big| m^{-1} \# \{ 1 \leq j \leq m \, | \, a \leq s_j \, \mathrm{mod} \, 1 \leq b \} - (b-a) \Big| \right) \\[8pt] & \leq C \left( \frac{1}{n} + \frac{1}{m} \sum_{k=1}^n \frac{1}{k} \left| \sum_{j=1}^m e^{2 \pi i s_j k} \right|\right). \end{align} \qquad (1) }[/math]
This inequality holds for arbitrary natural numbers m,n, and gives a quantitative form of Weyl's criterion for equidistribution.
A multi-dimensional variant of (1) is known as the Erdős–Turán–Koksma inequality.
Notes
- ↑ Erdős, P.; Turán, P. (1948). "On a problem in the theory of uniform distribution. I.". Proceedings of the Koninklijke Nederlandse Akademie van Wetenschappen 51: 1146–1154. https://www.dwc.knaw.nl/DL/publications/PU00018587.pdf.
- ↑ Erdős, P.; Turán, P. (1948). "On a problem in the theory of uniform distribution. II.". Proceedings of the Koninklijke Nederlandse Akademie van Wetenschappen 51: 1262–1269. https://www.dwc.knaw.nl/DL/publications/PU00018598.pdf.
Additional references
- Harman, Glyn (1998). Metric Number Theory. London Mathematical Society Monographs. New Series. 18. Clarendon Press. ISBN 0-19-850083-1.
![]() | Original source: https://en.wikipedia.org/wiki/Erdős–Turán inequality.
Read more |