<p>The divisor function <i>d</i>(<i>n</i>), which counts the divisors of the integer <i>n</i>, over arithmetic progressions has been widely studied. We consider the divisor sum related to the Piatetski-Shapiro sequence <Equation ID="Equ20"> <EquationSource Format="TEX">\( \mathcal {N}^{(c)} :=(\lfloor n^{c} \rfloor )_{n=1}^\infty \)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <msup> <mrow> <mi mathvariant="script">N</mi> </mrow> <mrow> <mo stretchy="false">(</mo> <mi>c</mi> <mo stretchy="false">)</mo> </mrow> </msup> <mo>:</mo> <mo>=</mo> <msubsup> <mrow> <mo stretchy="false">(</mo> <mrow> <mo>⌊</mo> <msup> <mi>n</mi> <mi>c</mi> </msup> <mo>⌋</mo> </mrow> <mo stretchy="false">)</mo> </mrow> <mrow> <mi>n</mi> <mo>=</mo> <mn>1</mn> </mrow> <mi>∞</mi> </msubsup> </mrow> </math></EquationSource> </Equation>in arithmetic progressions, namely <Equation ID="Equ21"> <EquationSource Format="TEX">\( \sum _{\begin{array}{c} n \leqslant x, n \in \mathcal {N}^{(c)} \\ n \equiv a \pmod q \end{array}} d(n). \)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <munder> <mo>∑</mo> <mrow> <mtable> <mtr> <mtd> <mrow> <mi>n</mi> <mo>⩽</mo> <mi>x</mi> <mo>,</mo> <mi>n</mi> <mo>∈</mo> <msup> <mrow> <mi mathvariant="script">N</mi> </mrow> <mrow> <mo stretchy="false">(</mo> <mi>c</mi> <mo stretchy="false">)</mo> </mrow> </msup> </mrow> </mtd> </mtr> <mtr> <mtd> <mrow> <mrow /> <mi>n</mi> <mo>≡</mo> <mi>a</mi> <mspace width="10.0pt" /> <mo stretchy="false">(</mo> <mo>mod</mo> <mspace width="0.277778em" /> <mi>q</mi> <mo stretchy="false">)</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </munder> <mi>d</mi> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> <mo>.</mo> </mrow> </math></EquationSource> </Equation>We obtain an asymptotic formula with a main term and an error term for <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(1&lt; c &lt; \frac{6}{5}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>1</mn> <mo>&lt;</mo> <mi>c</mi> <mo>&lt;</mo> <mfrac> <mn>6</mn> <mn>5</mn> </mfrac> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(q \ll x^{\frac{3}{5c}-\frac{1}{2}-\varepsilon }\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>q</mi> <mo>≪</mo> <msup> <mi>x</mi> <mrow> <mfrac> <mn>3</mn> <mrow> <mn>5</mn> <mi>c</mi> </mrow> </mfrac> <mo>-</mo> <mfrac> <mn>1</mn> <mn>2</mn> </mfrac> <mo>-</mo> <mi>ε</mi> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation>. The range of <i>c</i> is the same as the previous result related to the divisor sum over Piatetski-Shapiro sequences. A key idea is that we have a new bound on exponential sums over arithmetic progressions. As an application, we also extend the admissible range of <i>c</i> for Piatetski-Shapiro primes in arithmetic progressions.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

The divisor function over Piatetski-Shapiro sequences in arithmetic progressions

  • Lingyu Guo,
  • Victor Zhenyu Guo,
  • Jinyun Qi

摘要

The divisor function d(n), which counts the divisors of the integer n, over arithmetic progressions has been widely studied. We consider the divisor sum related to the Piatetski-Shapiro sequence \( \mathcal {N}^{(c)} :=(\lfloor n^{c} \rfloor )_{n=1}^\infty \) N ( c ) : = ( n c ) n = 1 in arithmetic progressions, namely \( \sum _{\begin{array}{c} n \leqslant x, n \in \mathcal {N}^{(c)} \\ n \equiv a \pmod q \end{array}} d(n). \) n x , n N ( c ) n a ( mod q ) d ( n ) . We obtain an asymptotic formula with a main term and an error term for \(1< c < \frac{6}{5}\) 1 < c < 6 5 and \(q \ll x^{\frac{3}{5c}-\frac{1}{2}-\varepsilon }\) q x 3 5 c - 1 2 - ε . The range of c is the same as the previous result related to the divisor sum over Piatetski-Shapiro sequences. A key idea is that we have a new bound on exponential sums over arithmetic progressions. As an application, we also extend the admissible range of c for Piatetski-Shapiro primes in arithmetic progressions.