Bounds on average values of double incomplete Kloosterman sums (Q2312881)

Let \(q\) be a positive integer, \(\mathbb{Z}_q\) be the residue ring modulo \(q\) and let \(\mathbb{Z}_q^*\) be the group of units of \(\mathbb{Z}_q\). Define \[ \begin{aligned} \mathcal{M} &=\left\{u+1,\cdots, u+M\right\}\bigcap\mathbb{Z}_q^*,\quad \mathcal{N}=\left\{v+1,\cdots, v+N\right\}\bigcap\mathbb{Z}_q^*,\\ \mathbf{\alpha} & =\left\{\alpha_m\right\}_{m\in\mathcal{M}}, \quad \max_{m\in\mathcal{M}}\left|\alpha_m\right|\leq 1,\quad \mathbf{\beta}=\left\{\beta_n\right\}_{n\in\mathcal{N}}, \quad \max_{n\in\mathcal{N}}\left|\beta_n\right|\leq 1,\\ \mathcal{H} &=\left\{s+1, \cdots, s+H\right\}\bigcap\mathbb{Z}_q^*,\end{aligned} \] \[ \begin{aligned}K_{a,q}\left(\mathcal{M}, \mathcal{N}; \mathbf{\alpha}, \mathbf{\beta}\right) &= \sum_{m\in\mathcal{M}}\sum_{n\in\mathcal{N}}\alpha_m\beta_ne_q\left(a\overline{mn}\right), \qquad a\in\mathbb{Z}_q, \\ L_{a,q}\left(\mathcal{M}, \mathcal{N}; \mathbf{\alpha}, \mathbf{\beta}\right) &= \sum_{m\in\mathcal{M}}\sum_{n\in\mathcal{N}}\alpha_m\beta_ne_q\left(am\overline{n}\right), \qquad a\in\mathbb{Z}_q, \\ S_{a,q}\left(\mathcal{H}, \mathcal{M}, \mathcal{N}; \mathbf{\alpha}, \mathbf{\beta}\right) &= \sum_{h\in \mathcal{H}}\left|K_{ah,q}\left(\mathcal{M}, \mathcal{N}; \mathbf{\alpha}, \mathbf{\beta}\right)\right|, \\ T_{a,q}\left(\mathcal{H}, \mathcal{M}, \mathcal{N}; \mathbf{\alpha}, \mathbf{\beta}\right) &= \sum_{h\in \mathcal{H}}\left|L_{ah,q}\left(\mathcal{M}, \mathcal{N}; \mathbf{\alpha}, \mathbf{\beta}\right)\right|, \end{aligned} \] where \(e_q(z)=\exp(2\pi iz/q)\), \(\overline{k}\) denotes the multiplicative inverse of \(k\in\mathbb{Z}_q^*\) modulo \(q\). This paper obtained new bounds for \(\left|S_{a,q}\left(\mathcal{H}, \mathcal{M}, \mathcal{N}; \mathbf{\alpha}, \mathbf{\beta}\right)\right|\) and \(\left|T_{a,q}\left(\mathcal{H}, \mathcal{M}, \mathcal{N}; \mathbf{\alpha}, \mathbf{\beta}\right)\right|\) for any sets \(\mathcal{M}\) and \(\mathcal{N}\) with \[ v=0 \quad \text{for any integer }q\geq 1\quad \text{or } \text{an arbitrary integer }v \quad\text{ for a prime }q. \]