On a smoothed average of the number of Goldbach representations

Daniel A. Goldston,Ade Irma Suriajaya

DOI: https://doi.org/10.1007/978-3-031-31617-3_10

2023-06-08

Abstract:Assuming the Generalized Riemann Hypothesis for the zeros of the Dirichlet $L$-functions with characters modulo $q$, we obtain a smoothed version of the average number of Goldbach representations for numbers which are multiples of a positive integer $q$. Such an average was first considered by Granville \cite{Gran07,Gran08} but without any smoothing factor. In this short article, we also show how the smoothing can be removed.

Number Theory

What problem does this paper attempt to address?

The problem that this paper attempts to solve is about the smoothed average of Goldbach representations. Specifically, under the premise that the Generalized Riemann Hypothesis (GRH) holds, the authors study the smoothed average of the number of Goldbach representations when which integers are multiples of a positive integer \(q\).

### Background and Problem Description

1. **Goldbach Representations**
- Goldbach's conjecture states that every even number greater than 2 can be expressed as the sum of two prime numbers.
- Mathematically, for an integer \(n\), the number of Goldbach representations \(\psi_2(n)\) is defined as:
\[
\psi_2(n)=\sum_{m + m' = n}\Lambda(m)\Lambda(m')
\]
where \(\Lambda\) is the von Mangoldt function, defined as:
\[
\Lambda(n)=
\begin{cases}
\log p&\text{if }n = p^m\text{, where }p\text{ is prime and }m\geq1\\
0&\text{otherwise}
\end{cases}
\]

2. **Previous Research**
- Landau (1900) studied the average of Goldbach representations and proved that:
\[
\sum_{n\leq N}\pi_2(n)=\frac{N^2}{2\log^2 N}+O\left(\frac{N^2}{\log^3 N}\right)
\]
- Fujii (1991) further related the error term to the non - trivial zeros of the Riemann zeta function, assuming the Riemann hypothesis holds:
\[
G(N)=\frac{N^2}{2}-2\sum_{\rho}\frac{N^{\rho + 1}}{\rho(\rho + 1)}+O\left(\frac{N^{4/3}}{\log^{1/3}N}\right)
\]

3. **Granville's Work**
- Granville (2007, 2008) introduced the study of the average number of Goldbach representations \(G_q(N)\) of multiples of \(q\):
\[
G_q(N):=\sum_{\substack{n\leq N\\q|n}}\psi_2(n)
\]
- Proposed an asymptotic formula, but at that time, due to the existence of the error term, it could not be fully verified.

### Main Contributions of the Paper

1. **Introduction of Smoothing Factor**
- The authors define a smoothed average \(F_q(N)\):
\[
F_q(N)=\sum_{\substack{n\\q|n}}\psi_2(n)e^{-n/N}
\]
- When \(q = 1\), define \(F(N):=F_1(N)\).

2. **Main Results**
- Under the premise that the Generalized Riemann Hypothesis holds, the authors obtain the following results:
\[
F_q(N)=\frac{1}{\varphi(q)}F(N)+O(N\log N\log q)
\]
where \(\varphi(q)\) is the Euler function.
- For the case of \(q = 1\):
\[
F(N)=N^