\documentclass[reqno]{amsart} %------------Start of the authours' settings-------------------- \usepackage{amsmath,amssymb,amsthm,amsfonts,mathrsfs} \usepackage{fullpage} \usepackage{xcolor} \usepackage[colorlinks=true, linkcolor=blue, anchorcolor=blue, citecolor=red ]{hyperref} \allowdisplaybreaks % allow equations break between two pages % THEOREMS Environment ------------------ \newtheorem{theorem}{Theorem}[section] \newtheorem{lemma}[theorem]{Lemma} \newtheorem{corollary}[theorem]{Corollary} \newtheorem{proposition}[theorem]{Proposition} \newtheorem{conjecture}[theorem]{Conjecture} \newtheorem*{conjecture*}{Conjecture} \theoremstyle{definition} \newtheorem{definition}[theorem]{Definition} \newtheorem{example}[theorem]{Example} \theoremstyle{remark} \newtheorem{remark}[theorem]{Remark} \newtheorem*{remark*}{remark} %Shortcuts of commands -------------------- \newcommand{\N}{\mathbb{N}} \newcommand{\Z}{\mathbb{Z}} \newcommand{\Q}{\mathbb{Q}} \newcommand{\R}{\mathbb{R}} \newcommand{\C}{\mathbb{C}} \renewcommand{\P}{\mathbb{P}} \newcommand{\E}{\mathbb{E}} \newcommand{\F}{\mathbb{F}} \newcommand{\cM}{\mathcal{M}} \newcommand{\cL}{\mathcal{L}} \newcommand{\cA}{\mathcal{A}} \newcommand{\cB}{\mathcal{B}} \newcommand{\cS}{\mathcal{S}} \newcommand{\ve}{\varepsilon} \newcommand{\fD}{\mathfrak{D}} \newcommand{\fp}{\mathfrak{p}} \newcommand{\on}{\operatorname} \renewcommand{\Re}{\on{Re}} \renewcommand{\Im}{\on{Im}} \renewcommand{\mod}[1]{\on{mod}#1} \newcommand{\of}[1]{\left(#1\right)} \newcommand{\set}[1]{\left\{#1\right\}} \newcommand{\norm}[1]{\left\Vert#1\right\Vert} \newcommand{\wh}[1]{\widehat{#1}} \newcommand{\mat}[1]{\begin{matrix}#1\end{matrix}} \newcommand{\pmat}[1]{\begin{pmatrix}#1\end{pmatrix}} \newcommand{\bmat}[1]{\begin{bmatrix}#1\end{bmatrix}} \newcommand{\dmat}[1]{\left\vert\begin{matrix}#1\end{matrix}\right\vert} \newcommand{\smat}[1]{\begin{smallmatrix}#1\end{smallmatrix}} \newcommand{\spmat}[1]{\left(\begin{smallmatrix}#1\end{smallmatrix}\right)} \newcommand{\sbmat}[1]{\left[\begin{smallmatrix}#1\end{smallmatrix}\right]} \usepackage{colonequals} %------------End of the authours' settings---------------------- %------------authour's informaiton---------------- \author{Runbo Li} \address{Department of Mathematics, Imperial College London, London SW7 2AZ, UK} \email{runbo.li26@imperial.ac.uk, runbo.li.carey@gmail.com} %\date{\today} \makeatletter \@namedef{subjclassname@2020}{\textup{}2020 Mathematics Subject Classification} \makeatother %------------Title and keywords------ \title[]{Waring--Goldbach Problem: One square, four fifth powers and twenty-two seventh powers} \subjclass[2020]{11P32, 11P55} \keywords{Waring--Goldbach problem, circle method} \begin{document} \begin{abstract} We prove that for every sufficiently large odd integer $n$, the equation $$ n = p_1^2 + p_2^5 + p_3^5 + p_4^5 + p_5^5 + p_6^7 + \cdots + p_{27}^7 $$ has a solution with all $p_j$ prime. \end{abstract} \maketitle \tableofcontents \section{Introduction} Let $n$ be a sufficiently large positive integer that satisfies some necessary congruence conditions. Using the Hardy--Littlewood circle method, many mathematicians studied the number of representations of $n$ as the sum of mixed powers of prime numbers. Examples of recent works on this topic include \cite{GMLA2234566}, \cite{GMLA2233rst}, \cite{GMLAOneSquare}, \cite{GMLA2233567}, \cite{Brudern2234567}, \cite{LLZ2244457} and \cite{WangTian2234568}. In this paper, we prove the following result. \begin{theorem}\label{t1} For every sufficiently large odd integer $n$, the equation \begin{equation} n = p_1^2 + p_2^5 + p_3^5 + p_4^5 + p_5^5 + p_6^7 + \cdots + p_{27}^7 \end{equation} has a solution with all $p_j$ prime. \end{theorem} \section{Preliminaries} Let $n$ be a sufficiently large positive integer, $P_k = n^{\frac{1}{k}}$ and $L = \log n$. Let $$ \lambda_j = \left(\frac{193}{224}\right)^{j-1} \quad \text{for} \quad 1 \leqslant j \leqslant 12, \qquad \lambda_{13} = \frac{8037507997288250129453953306362022519521}{48010323730121098619967367861370284408832}, $$ $$ \lambda_{14} = \frac{216678498509465522283961262046235598847}{1500322616566284331873980245667821387776}, \quad \lambda_{15} = \frac{5848665956963041958482200115320342801}{46885081767696385371061882677119418368}, $$ $$ \lambda_{16} = \frac{79052567057751589089425005400628381}{732579402620256021422841916829990912}, \quad \lambda_{17} = \frac{34273598181843435759730601640169785}{366289701310128010711420958414995456}, $$ $$ \lambda_{18} = \frac{59695167605853906780155489012271975}{732579402620256021422841916829990912}, \quad \lambda_{19} = \frac{26139610423872867716681836920745725}{366289701310128010711420958414995456}, $$ $$ \lambda_{20} = \frac{23192117260350111119548573410394575}{366289701310128010711420958414995456}, \quad \lambda_{21} = \lambda_{22} = \frac{5352027060080794873741978479321825}{91572425327532002677855239603748864}, $$ and write $$ \Lambda = \sum_{j = 1}^{22} \lambda_j = \frac{10735022333353534120309774318126527527533695}{1536330359363875155838955771563849101082624}, $$ $$ \Theta = \frac{3}{10} + \frac{\Lambda}{7} = \frac{69806580440088359737857907192053053199036027}{53771562577735630454363452004734718537891840} \approx 1.29821. $$ We define $$ f_k(\alpha) = \sum_{\frac{1}{2} P_k < p \leqslant P_k} e(\alpha p^k) \log p $$ and, for $1 \leqslant j \leqslant 22$, $$ f_{k,j}(\alpha) = \sum_{\frac{1}{2} P_k^{\lambda_j} < p \leqslant P_k^{\lambda_j}} e(\alpha p^k) \log p. $$ We also define $$ F(\alpha) = f_2(\alpha) f_5(\alpha)^4 \prod_{j = 1}^{22} f_{7,j}(\alpha). $$ Then by the orthogonality of additive characters, the integral \begin{equation} \int_{0}^{1} F(\alpha) e(-\alpha n) d \alpha \end{equation} counts the number of solutions of (1) with prime variables lying in certain ranges weighted by a $\log$ factor. Our goal is to show the lower bound \begin{equation} \int_{0}^{1} F(\alpha) e(-\alpha n) d \alpha \gg n^{\Theta} \end{equation} holds for all odd $n$. Fix $B \geqslant 1$. Put $$ \mathfrak{M}(q,a) = \left\{\alpha \in [0,\ 1] : \left|\alpha - \frac{a}{q}\right| \leqslant \frac{L^B}{n} \right\}, \qquad \mathfrak{M} = \bigcup_{1 \leqslant q \leqslant L^B} \bigcup_{\substack{0 \leqslant a \leqslant q \\ (a, q) = 1 }} \mathfrak{M}(q,a), \qquad \mathfrak{m} = [0,\ 1] \backslash \mathfrak{M}. $$ Then (3) can be obtained if we get \begin{equation} \int_{\mathfrak{M}} F(\alpha) e(-\alpha n) d \alpha \gg n^{\Theta} \end{equation} and \begin{equation} \int_{\mathfrak{m}} F(\alpha) e(-\alpha n) d \alpha \ll n^{\Theta} L^{-1}. \end{equation} \section{The major arcs} Define $$ S_{k}(q,a) = \sum_{\substack{x = 1 \\ (x,q) = 1 }}^{q} e \left(\frac{a x^k}{q} \right), \qquad v_{k,r}(\beta) = \frac{1}{k} \sum_{2^{-k} n^{r} < m \leqslant n^{r}} m^{1/k-1} e(\beta m), \qquad v_k(\beta) = v_{k,1}(\beta), $$ $$ U(q,a) = S_{2}(q,a) S_{5}(q,a)^4 S_{7}(q,a)^{22}, \qquad w(\beta) = v_2(\beta) v_5(\beta)^4 \prod_{j = 1}^{22} v_{7, \lambda_j}(\beta). $$ \begin{lemma}\label{l31} Let $q, a$ be integers such as $1 \leqslant q \leqslant L^B$, $0 \leqslant a \leqslant q$ and $(a, q) = 1$. Then for $\alpha \in \mathfrak{M}(q,a)$, we have $$ \sum_{\frac{1}{2} P_k^{r} < p \leqslant P_k^{r}} e(\alpha p^k) \log p = \frac{1}{\varphi(q)} S_{k}(q,a) v_{k,r}(\alpha - a/q) + O\left(P_k^{r} \exp(-c \sqrt{L}) \right) $$ for some constant $c > 0$. \end{lemma} \begin{proof} This lemma follows from [\cite{Hua}, Lemma 6] and partial summation. \end{proof} We shall use this lemma to give an approximation of $F(\alpha)$ using functions $S_{k}(q,a)$ and $v_{k,r}$ defined above. By Lemma~\ref{l31}, we have \begin{equation} F(\alpha) = \frac{1}{\varphi(q)^{27}} U(q,a) w(\alpha - a/q) + O\left(n^{1 + \Theta} L^{-4B} \right). \end{equation} An integration over $\mathfrak{M}$ gives \begin{equation} \int_{\mathfrak{M}} F(\alpha) e(-\alpha n) d \alpha = \sum_{q \leqslant L^B} \frac{A_n(q)}{\varphi(q)^{27}} \int_{-L^B/n}^{L^B/n} w(\beta) e(- \beta n) d \beta + O\left(n^{\Theta} L^{-B} \right), \end{equation} where $$ A_n(q) = \sum_{\substack{a = 1 \\ (a, q) = 1}}^{q} U(q,a) e(-an/q). $$ We first show that \begin{equation} \int_{-L^B/n}^{L^B/n} w(\beta) e(- \beta n) d \beta \gg n^{\Theta}. \end{equation} \begin{lemma}\label{l32} ([\cite{VaughanCircleBOOK}, Lemma 6.2]). Suppose that $|\beta| \leqslant \frac{1}{2}$. Then, $$ v_k(\beta) \ll n^{\frac{1}{k}}(1 + n|\beta|)^{-1}. $$ \end{lemma} By Lemma~\ref{l32} we know that \begin{equation} w(\beta) \ll n^{1 + \Theta}(1 + n|\beta|)^{-2}. \end{equation} By (9), we get \begin{align} \nonumber &\ \int_{-L^B/n}^{L^B/n} w(\beta) e(- \beta n) d \beta \\ \nonumber =&\ \int_{-1/2}^{1/2} w(\beta) e(- \beta n) d \beta + O\left(\int_{L^B/n}^{1/2} |w(\beta)| d \beta \right) \\ \nonumber =&\ \int_{-1/2}^{1/2} w(\beta) e(- \beta n) d \beta + O\left(n^{\Theta} L^{-B} \right) \\ \nonumber =&\ \frac{1}{2 \cdot 5^4 \cdot 7^{22}} \sum_{\substack{m_1 + \cdots + m_{27} = n \\ 2^{-2} n < m_1 \leqslant n \\ 2^{-5} n < m_2, m_3, m_4, m_5 \leqslant n \\ 2^{-7} n^{\lambda_{j-5}} < m_j \leqslant n^{\lambda_{j-5}} (6 \leqslant j \leqslant 27) }} m_1^{-\frac{1}{2}} (m_2 m_3 m_4 m_5)^{-\frac{4}{5}} \prod_{j = 6}^{27} m_j^{-\frac{6}{7}} + O\left(n^{\Theta} L^{-B} \right) \\ \gg&\ \sum_{\substack{m_1 + \cdots + m_{27} = n \\ \frac{1}{4} n < m_1 \leqslant \frac{1}{2} n \\ \frac{1}{32} n < m_2, m_3, m_4 \leqslant \frac{3}{64} n \\ \frac{1}{128} n^{\lambda_{j-5}} < m_j \leqslant \frac{3}{256} n^{\lambda_{j-5}} (6 \leqslant j \leqslant 27) }} m_1^{-\frac{1}{2}} (m_2 m_3 m_4 m_5)^{-\frac{4}{5}} \prod_{j = 6}^{27} m_j^{-\frac{6}{7}} \quad \gg n^{\Theta}. \end{align} Next, we want to deal with the sum \begin{equation} \sum_{q \leqslant L^B} \frac{A_n(q)}{\varphi(q)^{27}}. \end{equation} Define the series $$ \mathfrak{S}(n) = \sum_{q = 1}^{\infty} \frac{A_n(q)}{\varphi(q)^{27}}. $$ \begin{lemma}\label{l33} ([\cite{Hua}, Lemma 5]). For $k \geqslant 2$, we have $$ S_{k}(q,a) \ll q^{\frac{1}{2} + \varepsilon}. $$ \end{lemma} \begin{lemma}\label{l34} ([\cite{VaughanCircleBOOK}, Lemma 4.3]). For $(a, p) = 1$, we have $$ |S_{k}(p,a)| \leqslant ((k, p-1) - 1) \sqrt{p} + 1. $$ \end{lemma} \begin{lemma}\label{l35} ([\cite{Hua}, Lemma 4]). Let $p^{n} \mid k$, $p^{n+1} \nmid k$ and \begin{align*} l = \begin{cases} n + 2, & p = 2, \\ n + 1, & p \neq 2. \\ \end{cases} \end{align*} If $t > l$, then $$ S_{k}(p^t,a) = 0. $$ \end{lemma} By Lemma~\ref{l33}, we know that $U(q,a) \ll q^{\frac{27}{2} + \varepsilon}$ for $(a, q) = 1$, and hence $A_n(q) \ll q^{\frac{29}{2} + \varepsilon}$ uniformly in $n$. Thus, $\mathfrak{S}(n)$ converges absolutely, and \begin{equation} \sum_{q \leqslant L^B} \frac{A_n(q)}{\varphi(q)^{27}} = \mathfrak{S}(n) + O\left(L^{-B}\right). \end{equation} Since the complete exponential sums are multiplicative, for $(q_1, q_2) = 1$ we have $$ A_n(q_1 q_2) = A_n(q_1) A_n(q_2). $$ Moreover, By Lemma~\ref{l35} and the fact that $A_n(4) = S_{5}(4,a) = 0$, we have $A_n(q) = 0$ unless $q$ is square-free. Hence \begin{equation} \mathfrak{S}(n) = \prod_{p} \mathfrak{S}_p(n) = \prod_{p} \left(1 + \frac{A_n(p)}{(p-1)^{27}} \right). \end{equation} By the orthogonality of additive characters modulo $p$, we have \begin{equation} \mathfrak{S}_p(n) = \frac{p M_n(p)}{(p-1)^{27}}, \end{equation} where $M_n(p)$ denote the number of solutions $(x_1, \ldots, x_{27}) \in \left( \mathbb{F}_p^{\times}\right)^{27}$ of \begin{equation} x_1^2 + x_2^5 + x_3^5 + x_4^5 + x_5^5 + \sum_{j=6}^{27} x_j^7 \equiv n (\bmod p). \end{equation} When $p = 2$, every unit is $1$, and $$ x_1^2 + x_2^5 + x_3^5 + x_4^5 + x_5^5 + \sum_{j=6}^{27} x_j^7 \equiv 1 (\bmod 2). $$ Hence $n \equiv 1 (\bmod 2)$ is necessary. When $p = 3$, the square is $1$, and every fifth and seventh power is $\pm 1$. It is easy to see that the sum of $26$ fifth and seventh powers contains all residue classes modulo $3$, and (15) has a solution. When $p = 5$, we have $x^5 = x$. Since $\mathbb{F}_5^{\times} + \mathbb{F}_5^{\times} = \mathbb{F}_5$, the sum of two fifth powers contains all residue classes modulo $5$, and (15) has a solution. When $p = 7$, we have $x^7 = x$. Since $\mathbb{F}_7^{\times} + \mathbb{F}_7^{\times} = \mathbb{F}_7$, the sum of two seventh powers contains all residue classes modulo $7$, and (15) has a solution. When $p \geqslant 11$, we define $\mathcal{A}_k = \mathcal{A}_k(p) = \{x^k : x \in \mathbb{F}_p\}$. It is known that $|\mathcal{A}_k(p)| = \frac{p-1}{(k, p-1)}$. Applying the Cauchy--Davenport theorem repeatedly, we have \begin{align} \nonumber |\mathcal{A}_2 + 4 \mathcal{A}_5 + 22 \mathcal{A}_7| \geqslant&\ \min(p, |\mathcal{A}_2| + 4 |\mathcal{A}_5| + 22 |\mathcal{A}_7| - 26) \\ \nonumber \geqslant&\ \min\left(p, \frac{p-1}{2} + \frac{4(p-1)}{5} + \frac{22(p-1)}{7} - 26\right) \\ \nonumber \geqslant&\ \min\left(p, \frac{311p - 2130}{70}\right). \end{align} Since $p \geqslant 11$, we have $\frac{311p - 2130}{70} > p$, and thus $\mathcal{A}_2 + 4 \mathcal{A}_5 + 22 \mathcal{A}_7 = \mathbb{F}_p$. Now (15) has a solution for every prime $p \geqslant 11$. Combining above cases, we know that $M_n(p) \geqslant 1$ if $n$ is odd, and also $\mathfrak{S}(n) > 0$ by (13). Now, by Lemma~\ref{l34} and trivial estimates, we have \begin{align} \nonumber \left|\frac{A_n(p)}{(p-1)^{27}} \right| \leqslant&\ \frac{p(\sqrt{p}+1) (4\sqrt{p}+1)^4 (6\sqrt{p}+1)^{22}}{(p-1)^{27}} \\ \nonumber =&\ \frac{p^{\frac{29}{2}}}{(p-1)^{27}} \left(1+\frac{1}{\sqrt{p}}\right) \left(4+\frac{1}{\sqrt{p}}\right)^4 \left(6+\frac{1}{\sqrt{p}}\right)^{22} \\ \nonumber \leqslant&\ \frac{p^{15}}{(p/2)^{27}} \left(1+\frac{1}{\sqrt{p}}\right) \left(4+\frac{1}{\sqrt{p}}\right)^4 \left(6+\frac{1}{\sqrt{p}}\right)^{22} \\ \nonumber \leqslant&\ \frac{2^{27} \cdot 2 \cdot 5^4 \cdot 7^{22}}{p^{12}} \end{align} for $p > 10^{10}$. Thus, we get \begin{equation} \prod_{p > 10^{10}} \left(1 + \frac{A_n(p)}{(p-1)^{27}} \right) \geqslant \prod_{p > 10^{10}} \left(1 - \frac{2^{28} \cdot 5^4 \cdot 7^{22}}{p^{12}} \right) > c \end{equation} with some $c > 0$. By (13), (14), (16) and $M_n(p) \geqslant 1$, we have \begin{equation} \mathfrak{S}(n) > c \prod_{p \leqslant 10^{10}} \frac{p M_n(p)}{(p-1)^{27}} > c \prod_{p \leqslant 10^{10}} p^{-26} \gg 1. \end{equation} Now, by (7), (10), (12) and (17), the proof of (4) is completed. \section{The minor arcs} We first recall some mean value estimates proved by Andrade \cite{GMLAOneSquare} and Kumchev \cite{Kumchev_WaringGoldbach7}. Note that we can remove the logarithmic weights and the restriction to primes in $f_k(\alpha)$ and $f_{k,j}(\alpha)$ at the cost of a power of $L$, and deal with the classical Weyl sums. \begin{lemma}\label{l41} We have $$ \int_{0}^{1} \left|f_2(\alpha)\right|^2 \left|f_5(\alpha)\right|^6 d \alpha \ll n^{\frac{6}{5} + \varepsilon}. $$ \end{lemma} \begin{proof} Taking $k_1 = k_2 = k_3 = 5$ in [\cite{GMLAOneSquare}, Lemma 4], we get Lemma~\ref{l41}. \end{proof} \begin{lemma}\label{l42} We have $$ \int_{0}^{1} \left| \prod_{j=1}^{22} f_{7,j}(\alpha)\right|^2 d \alpha \ll P_7^{\Lambda + \varepsilon}. $$ \end{lemma} \begin{proof} Taking $i = 1$ and $P = P_7$ in [\cite{Kumchev_WaringGoldbach7}, Lemma 1], we get Lemma~\ref{l42}. \end{proof} Write $\tau = 2^{-100}$. Define $$ \mathcal{E} = \{\alpha \in [0,\ 1] : |f_5(\alpha)| \leqslant P_5^{(3 \Lambda - 14)/7 - 10 \tau} \}. $$ Using H\"{o}lder's inequality, together with Lemma~\ref{l41}, Lemma~\ref{l42} and the definition of $\mathcal{E}$, we get \begin{align} \nonumber \int_{\mathcal{E}} |F(\alpha)| d \alpha \leqslant&\ \left(\int_{0}^{1} \left|f_2(\alpha)\right|^2 \left|f_5(\alpha)\right|^6 d \alpha \right)^{\frac{1}{2}} \left(\int_{0}^{1} \left| \prod_{j=1}^{22} f_{7,j}(\alpha)\right|^2 d \alpha \right)^{\frac{1}{2}} \sup_{\alpha \in \mathcal{E}}|f_5(\alpha)| \\ \ll&\ n^{\frac{3}{5} + \varepsilon} P_7^{\Lambda/2 + \varepsilon} P_5^{(3 \Lambda - 14)/7 - 10 \tau} \ll n^{\theta - \tau}, \end{align} where $$ \theta = \frac{139593870697983127505152898301285690218027381}{107543125155471260908726904009469437075783680} \approx 1.29803. $$ Note that $\Theta - \theta > 0.0001$. \section{Proof of Theorem 1.1} \begin{lemma}\label{l51} Suppose that $X^{\frac{1}{24}} \leqslant P \leqslant X^{\frac{9}{20}}$. Then either we have $$ \sum_{X < p \leqslant 2 X} e(\alpha p^5) \ll X^{\frac{47}{48} + \varepsilon}, $$ or there exist integers $q$ and $a$ such that $1 \leqslant q \leqslant P$, $(a, q)=1$ and $|q \alpha - a| \leqslant P X^{-5}$. \end{lemma} \begin{proof} Taking $k = 5$ in [\cite{KumchevWooley}, Lemma 2.2], we get Lemma~\ref{l51}. \end{proof} Now suppose that $\alpha \in [0,\ 1] \backslash \mathcal{E}$. We have $|f_5(\alpha)| > P_5^{(3 \Lambda - 14)/7 - 10 \tau}$ in this case. Taking $X = \frac{1}{2} P_5$ and $P = \frac{1}{32} n^{\frac{1}{119}}$ in Lemma~\ref{l51}, we find that the first case will never occur since $\frac{3 \Lambda - 14}{7} - \frac{47}{48} > 0.01$. Hence, we must have \begin{equation} [0,\ 1] \backslash \mathcal{E} \subset \mathfrak{R} = \bigcup_{1 \leqslant q \leqslant \frac{1}{32} n^{\frac{1}{119}}} \bigcup_{\substack{0 \leqslant a \leqslant q \\ (a, q)=1}} \mathfrak{R}(q,a), \end{equation} where \begin{equation} \mathfrak{R}(q,a) = \{\alpha \in [0,\ 1] : |q \alpha - a| \leqslant n^{-\frac{118}{119}} \}. \end{equation} Define a function $\Upsilon : \mathfrak{R} \rightarrow [0,\ 1]$ by $$ \Upsilon(\alpha) = (q + n |q \alpha - a|)^{-1}. $$ Taking $k = 2, 5$ in [\cite{KumchevMichigan}, Theorem 2] and by partial summation, we have \begin{equation} f_2(\alpha) \ll P_2 L^C \Upsilon(\alpha)^{\frac{1}{2} - \varepsilon} \end{equation} and \begin{equation} f_5(\alpha) \ll P_5 L^C \Upsilon(\alpha)^{\frac{1}{2} - \varepsilon} \end{equation} for some constant $C>0$. By (21), (22) and trivial upper bounds for $f_{7,j}(\alpha)$ ($1 \leqslant j \leqslant 22$), we have \begin{equation} F(\alpha) = f_2(\alpha) f_5(\alpha)^4 \prod_{j = 1}^{22} f_{7,j}(\alpha) \ll n^{1 + \Theta} L^{27C} \Upsilon(\alpha)^{\frac{49}{20}}. \end{equation} Integrating over $\mathfrak{R} \backslash \mathfrak{M}$ gives \begin{equation} \int_{\mathfrak{R} \backslash \mathfrak{M}} |F(\alpha)| d \alpha \ll n^{1 + \Theta} L^{27C} \int_{\mathfrak{R} \backslash \mathfrak{M}} |\Upsilon(\alpha)|^{\frac{49}{20}} d \alpha \ll n^{\Theta} L^{27C - \frac{9}{20}B + 1}. \end{equation} Choosing $B = 200 C + 100$ in (24) and by the fact that $\mathfrak{m} \subset \mathcal{E} \cup \mathfrak{R} \backslash \mathfrak{M}$, the proof of (5) is completed. From (4) and (5) we get (3), and the proof of Theorem~\ref{t1} is completed. \bibliographystyle{plain} \bibliography{bib} \end{document}