Abstract:In this article, we study the pair correlation of Farey fractions by proving that the limiting pair correlation function of the sequence of Farey fractions with square-free denominators exists and provide an explicit formula for the limiting pair correlation function.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to study the pair correlation of Farey fractions with square - free denominators. Specifically, the author aims to prove the existence of the limiting pair - correlation function of the sequence of Farey fractions with square - free denominators and provide an explicit formula to describe this limiting pair - correlation function.
### Specific Problem Description
1. **Definition of Farey Fractions**:
Farey fractions refer to all the simplest fractions $\frac{a}{b}$ in the unit interval $[0, 1]$, where $\gcd(a, b)=1$ and $0 < a\leq b\leq Q$. It is denoted as $F_Q$.
2. **Square - Free Denominator**:
A square - free number is a positive integer without square factors, that is, there does not exist a prime number $p$ such that $p^2$ divides this number. A Farey fraction with a square - free denominator refers to a Farey fraction whose denominator is a square - free number.
3. **Pair - Correlation Function**:
The pair - correlation function is used to describe the spacing distribution between elements in a sequence. For a finite set $F$, its pair - correlation measure $S_F(I)$ is defined as:
\[
S_F(I)=\frac{1}{N^2}\#\{(a, b)\in F^2: a\neq b, a - b\in\frac{1}{N}I+\mathbb{Z}\}
\]
where $N$ is the number of elements in the set $F$, and $I$ is an interval on the real number axis.
4. **Limiting Pair - Correlation Function**:
For an increasing sequence $(F_n)_n$, its limiting pair - correlation measure $S(I)$ is defined as:
\[
S(I)=\lim_{n\rightarrow\infty}S_{F_n}(I)
\]
If there exists a function $g(x)$ such that:
\[
S(I)=\int_I g(x)dx
\]
then $g(x)$ is called the limiting pair - correlation function of this sequence.
### Main Contributions of the Paper
- **Prove Existence**: The author has proven the existence of the limiting pair - correlation function of the sequence of Farey fractions with square - free denominators.
- **Provide Explicit Formula**: An explicit expression for this limiting pair - correlation function is given:
\[
g_2(\lambda)=\frac{6}{\pi^2\lambda^2}\sum_{1\leq m <\frac{\lambda\pi^2}{3}}\delta(p)F(m)\log\left(\frac{\lambda\pi^2}{3m\delta(p)}\right)
\]
where $\delta(p)=\prod_p\left(1-\frac{1}{p(p + 1)}\right)$, and $F(m)$ is in a complex product form. See formula (1.6) for the specific expression.
### Conclusion
Through the above research, the author has revealed the pair - correlation characteristics of the sequence of Farey fractions with square - free denominators, especially showing the strong repulsion phenomenon of these fractions near zero. This provides a new perspective and tool for further understanding Farey fractions and other related mathematical structures.