left(\frac{\pi}{a}\right)^\frac{N}{2}mes_N(A_1\cap A_2),\end{aligned}$$ as $u\rightarrow \infty$, where the convergence holds by the dominated convergence theorem. Indeed, $\int_{\mathbb{R}^N}1_{\{z\in A_1\cap (A_2-x/u)\}}dz$ is bounded by $\max_{|\epsilon|<1} mes_N(A_1\cap (A_2-\epsilon))$ uniformly for $|x|\leq C\sqrt{\log u}$ when $u$ is large enough.

It follows from (\[Eq:pq1\])–(\[Eq:pq1\]) that, for concluding, it remains to verify $$\label{D(u) def}
D(u):=q(u)-p(u)\rightarrow 0, \ \text{as}\ u\rightarrow \infty.$$

Define $$\begin{aligned}
\mathcal{\hat D}:=\Big\{(s,t)\in A_1\times A_2:\,  |t-s|\leq \delta(u)+\sqrt{N}d_1(u)+\sqrt{N}d_2(u)\Big\}.\end{aligned}$$ By the definition of $\mathcal{C}$ in, we see that $
\mathcal{D}\subseteq \bigcup_{(\mathbf{k},\mathbf{l})\in \mathcal{C}}\Delta_{\mathbf{k}}^{(1)}\times \Delta_{\mathbf{l}}^{(2)}\subseteq  \mathcal{\hat D}.
$ Since $d_1(u)=o(\delta(u))$ and $d_2(u)=o(\delta(u))$ as $u\rightarrow \infty$, the set $\mathcal{\hat D}$ is a subset of $\mathcal{\tilde D}:=\{(s,t)\in A_1\times A_2:\,  |t-s|\leq 2\delta(u)\}$ when $u$ is large.

Write $D(u)$ in (\[D(u) def\]) as a sum over $(\mathbf{k},\mathbf{l})\in \mathcal{C}$. To estimate the cardinality of $ \mathcal{C}$, we notice that $$\begin{aligned}
\label{upper bound of mes(tilde D)}
 mes_{2N}(\mathcal{\tilde D})&= \iint_{s\
left(\frac{\pi}{a}\right)^\frac{N}{2}mes_N(A_1\cap A_2),\end{aligned}$$ as $ u\rightarrow \infty$, where the convergence holds by the dominated convergence theorem. Indeed, $ \int_{\mathbb{R}^N}1_{\{z\in A_1\cap (A_2 - ten / u)\}}dz$ is restrict by $ \max_{|\epsilon|<1 } mes_N(A_1\cap (A_2-\epsilon))$ uniformly for $ |x|\leq C\sqrt{\log u}$ when $ u$ is large enough. 

 It follows from (\[Eq: pq1\])–(\[Eq: pq1\ ]) that, for concluding, it stay to verify $ $ \label{D(u) def } 
 D(u):=q(u)-p(u)\rightarrow 0, \ \text{as}\ u\rightarrow \infty.$$ 

 Define $ $ \begin{aligned } 
 \mathcal{\hat D}:=\Big\{(s, t)\in A_1\times A_2:\,   |t - s|\leq \delta(u)+\sqrt{N}d_1(u)+\sqrt{N}d_2(u)\Big\}.\end{aligned}$$ By the definition of $ \mathcal{C}$ in, we see that $ 
 \mathcal{D}\subseteq \bigcup_{(\mathbf{k},\mathbf{l})\in \mathcal{C}}\Delta_{\mathbf{k}}^{(1)}\times \Delta_{\mathbf{l}}^{(2)}\subseteq   \mathcal{\hat D }. 
 $ Since $ d_1(u)=o(\delta(u))$ and $ d_2(u)=o(\delta(u))$ as $ u\rightarrow \infty$, the laid $ \mathcal{\hat D}$ is a subset of $ \mathcal{\tilde D}:=\{(s, t)\in A_1\times A_2:\,   |t - s|\leq 2\delta(u)\}$ when $ u$ is big. 

 Write $ D(u)$ in (\[D(u) def\ ]) as a kernel over $ (\mathbf{k},\mathbf{l})\in \mathcal{C}$. To estimate the cardinality of $ \mathcal{C}$, we notice that $ $ \begin{aligned } 
 \label{upper bind of mes(tilde D) } 
  mes_{2N}(\mathcal{\tilde D})&= \iint_{s\
lefh(\frac{\pi}{a}\right)^\frac{N}{2}mes_N(A_1\cxp A_2),\end{aligned}$$ cw $u\rigitarrow \infty$, wfere the convergence holds bb thw domunated convergence theurem. Indevd, $\int_{\matybb{R}^I}1_{\{z\in A_1\cap (A_2-x/u)\}}dz$ ma boundcb by $\jwx_{|\epvmlon|<1} mes_N(A_1\cap (A_2-\gpsilon))$ unifmrmly for $|x|\leq C\rqxt{\log u}$ when $u$ is large enough.

It foljows frpm (\[Eq:pq1\])–(\[Eq:pq1\]) that, for soncmldlng, it remains to verify $$\label{D(u) def}
D(u):=q(l)-p(u)\rightarrow 0, \ \trxt{as}\ u\rightarrow \infty.$$

Deflne $$\hegin{aligned}
\mathcap{\hat D}:=\Big\{(s,t)\un A_1\eumes A_2:\,  |t-s|\led \delta(u)+\sqgc{N}d_1(u)+\sqrt{N}d_2(u)\Gig\}.\end{aligned}$$ By the definition of $\mcthcal{C}$ in, qe sef that $
\mathcel{D}\subfeteq \bigcup_{(\mathbf{k},\mdthbf{l})\im \mathcal{C}}\Delts_{\mavhbf{j}}^{(1)}\times \Delta_{\mathbf{l}}^{(2)}\suuseteq  \mathcal{\hat D}.
$ Since $d_1(u)=m(\dzlta(u))$ and $d_2(u)=o(\delta(u))$ aw $y\righjarrof \inwry$, ghe sxt $\jathcap{\hav D}$ is a sugset of $\matycal{\tilde D}:=\{(s,t)\in A_1\tikef A_2:\,  |t-s|\leq 2\delfa(u)\}$ whqn $u$ is large.

Write $D(u)$ in (\[D(u) def\]) as a sum mved $(\mathbf{k},\mathbf{l})\in \mathxal{C}$. To estimate the fardinaliey of $ \mathcal{C}$, we notice that $$\begin{aligned}
\label{u[per uojnd on mer(ripde D)}
 mes_{2N}(\mathcal{\tilde D})&= \iint_{s\
left(\frac{\pi}{a}\right)^\frac{N}{2}mes_N(A_1\cap A_2),\end{aligned}$$ as $u\rightarrow \infty$, where the by dominated convergence Indeed, $\int_{\mathbb{R}^N}1_{\{z\in A_1\cap mes_N(A_1\cap uniformly for $|x|\leq u}$ when $u$ large enough. It follows from (\[Eq:pq1\])–(\[Eq:pq1\]) for concluding, it remains to verify $$\label{D(u) def} D(u):=q(u)-p(u)\rightarrow 0, \ \text{as}\ u\rightarrow Define $$\begin{aligned} \mathcal{\hat D}:=\Big\{(s,t)\in A_1\times A_2:\, |t-s|\leq \delta(u)+\sqrt{N}d_1(u)+\sqrt{N}d_2(u)\Big\}.\end{aligned}$$ By the definition of $\mathcal{C}$ we that \mathcal{D}\subseteq \mathcal{C}}\Delta_{\mathbf{k}}^{(1)}\times \Delta_{\mathbf{l}}^{(2)}\subseteq \mathcal{\hat D}. $ Since $d_1(u)=o(\delta(u))$ and $d_2(u)=o(\delta(u))$ as $u\rightarrow \infty$, the set $\mathcal{\hat D}$ a subset of $\mathcal{\tilde D}:=\{(s,t)\in A_1\times A_2:\, |t-s|\leq when $u$ is large. $D(u)$ in (\[D(u) def\]) as sum $(\mathbf{k},\mathbf{l})\in \mathcal{C}$. estimate cardinality $ \mathcal{C}$, we that $$\begin{aligned} \label{upper bound of mes(tilde D)} mes_{2N}(\mathcal{\tilde D})&= \iint_{s\
left(\frac{\pi}{a}\right)^\frac{N}{2}mes_N(a_1\cap A_2),\end{alIgned}$$ As $u\RigHtArroW \infTy$, where the convERgenCe holds by the dominated cOnverGeNCe thEOrEm. IndEed, $\int_{\mAThBB{r}^N}1_{\{z\In a_1\cAp (A_2-X/u)\}}DZ$ iS bounDed By $\max_{|\epSilon|<1} mes_N(A_1\Cap (a_2-\ePsilon))$ uniforMLy For $|x|\leq C\sqRt{\lOg u}$ when $u$ is laRge Enough.

it FolLOws frOm (\[EQ:pq1\])–(\[Eq:Pq1\]) that, FOr concLuding, it rEmAIns to vERify $$\labEL{d(u) Def}
D(U):=q(u)-p(u)\rightarrow 0, \ \teXT{aS}\ U\rightarrow \infTy.$$

DefiNe $$\BEgIN{AliGneD}
\mathcal{\haT D}:=\big\{(s,t)\IN A_1\times a_2:\,  |T-s|\LEQ \DelTA(u)+\sqrt{N}d_1(u)+\sqrt{n}d_2(u)\Big\}.\end{alIGneD}$$ By the DeFinITion of $\MathcAl{c}$ In, wE see that $
\matHcal{d}\subseteq \Bigcup_{(\MAthbf{k},\mAThbf{l})\in \MathcaL{C}}\DEltA_{\matHBf{K}}^{(1)}\tImeS \DELta_{\MAtHbf{L}}^{(2)}\SubSeteq  \matHcAl{\Hat D}.
$ SInce $D_1(U)=O(\DElta(U))$ anD $d_2(u)=o(\Delta(U))$ as $u\rightarroW \inFty$, tHE seT $\mathCal{\haT D}$ is A sUbset Of $\mathCal{\tiLdE D}:=\{(s,t)\in A_1\times A_2:\,  |t-s|\Leq 2\dElta(u)\}$ when $U$ is LaRge.

wrIte $D(u)$ IN (\[D(u) def\]) As a Sum Over $(\matHbf{k},\matHBf{l})\In \MATHcAl{C}$. To estimate the caRdINAlIty of $ \matHcal{C}$, wE NoTiCE that $$\begIn{AliGned}
\LABel{upPer bOUnD of mes(tiLde D)}
 meS_{2n}(\mAtHcal{\tilDe d})&= \iint_{s\
left(\frac{\pi}{a}\right)^ \frac{N}{2 }mes_ N(A _1\ ca p A_ 2),\ end{aligned}$$ as $ u\rightarrow \infty$,where  t h e co n ve rgenc e holds by t hedo mi nat ed co nverg enc e theor em. Indeed , $ \i nt_{\mathbb{ R }^ N}1_{\{z\i n A _1\cap (A_2- x/u )\}}dz $isb ounde d b y $\m ax_{|\ e psilon |<1} mes_ N( A _1\cap (A_2-\e p s il on)) $ uniformly for $ | x| \ leq C\sqrt{\lo g u}$wh e n$ u $ i s l arge enoug h. 

Itf ollowsf ro m ( \[E q :pq1\])–(\[Eq :pq1\]) tha t , f or con cl udi n g, itremai ns toverify $$\l abel {D(u) def }
D(u) : =q(u)-p ( u)\righ tarrow  0,  \\tex t {a s} \ u \r i ght a rr ow\ inf ty.$$

D ef in e $$\ begi n { a l igne d}\mat hcal{ \hat D}:=\Big \{( s,t) \ inA_1\t imesA_2: \,   |t- s|\leq  \del ta (u)+\sqrt{N}d_1 (u)+ \sqrt{N}d _2( u) \Bi g\ }.\en d {align ed} $$By thedefinit i onof $ \ ma thcal{C}$ in, we s ee t ha t $
\mat hcal{D } \s ub s eteq \bi gc up_ {(\m a t hbf{k },\m a th bf{l})\i n \mat h ca l{ C}}\Del ta _{\mat hb f{k }}^ {(1)} \ time s \Del ta_{\mat hbf{l } }^{(2)}\subset e q  \mathcal{\ h at D }. $ Si nce  $d_1(u)=o( \del t a(u) )$ a n d$d_ 2 (u)=o (\del ta ( u) ) $ as $u\rightarrow\i nfty$,  theset $\mathcal {\hat D}$i s a subset  of$ \m a thcal{\tilde D }:=\{ (s,t)\in A _ 1\timesA_2:\ ,  |t-s| \leq 2\de l t a(u)\}$whe n $ u$isl a rg e.

Write $D( u ) $ in  ( \[D(u)def \]) asa s umove r $ (\ mathbf{k} ,\mathbf {l }) \i n\ma thcal { C}$. Toes tim at e t he ca r dinali ty of  $ \ ma th c al{ C}$, we no t i ce t ha t$$\b egi n{ align ed}\ lab el{uppe r bound o f m e s(ti ld eD)}
 me s_{2N}(\mathc al {\tilde D} )& = \ iint_{ s \ 
left(\frac{\pi}{a}\right)^\frac{N}{2}mes_N(A_1\cap A_2),\end{aligned}$$_as $u\rightarrow_\infty$, where the convergence_holds by_the_dominated convergence_theorem._Indeed, $\int_{\mathbb{R}^N}1_{\{z\in A_1\cap_(A_2-x/u)\}}dz$ is bounded_by $\max_{|\epsilon|<1} mes_N(A_1\cap (A_2-\epsilon))$_uniformly for $|x|\leq_C\sqrt{\log_u}$ when $u$ is large enough.

It follows from (\[Eq:pq1\])–(\[Eq:pq1\]) that, for concluding, it remains_to_verify $$\label{D(u)_def}
D(u):=q(u)-p(u)\rightarrow_0,_\ \text{as}\ u\rightarrow \infty.$$

Define $$\begin{aligned}
\mathcal{\hat_D}:=\Big\{(s,t)\in A_1\times A_2:\,  |t-s|\leq_\delta(u)+\sqrt{N}d_1(u)+\sqrt{N}d_2(u)\Big\}.\end{aligned}$$ By_the definition of $\mathcal{C}$ in, we see that_$
\mathcal{D}\subseteq_\bigcup_{(\mathbf{k},\mathbf{l})\in \mathcal{C}}\Delta_{\mathbf{k}}^{(1)}\times \Delta_{\mathbf{l}}^{(2)}\subseteq_ \mathcal{\hat D}.
$ Since $d_1(u)=o(\delta(u))$ and $d_2(u)=o(\delta(u))$ as $u\rightarrow_\infty$, the set $\mathcal{\hat D}$ is_a subset of_$\mathcal{\tilde_D}:=\{(s,t)\in_A_1\times A_2:\,  |t-s|\leq_2\delta(u)\}$ when $u$ is large.

Write $D(u)$_in (\[D(u) def\]) as a sum_over $(\mathbf{k},\mathbf{l})\in \mathcal{C}$. To estimate the cardinality_of $ \mathcal{C}$, we notice that_$$\begin{aligned}
\label{upper bound of mes(tilde D)}
_mes_{2N}(\mathcal{\tilde D})&=_\iint_{s\