<p>We prove asymptotic formulae for small weighted solutions of quadratic congruences of the form <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\lambda _1x_1^2+\cdots +\lambda _nx_n^2\equiv \lambda _{n+1}\bmod {p^m}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>λ</mi> <mn>1</mn> </msub> <msubsup> <mi>x</mi> <mn>1</mn> <mn>2</mn> </msubsup> <mo>+</mo> <mo>⋯</mo> <mo>+</mo> <msub> <mi>λ</mi> <mi>n</mi> </msub> <msubsup> <mi>x</mi> <mi>n</mi> <mn>2</mn> </msubsup> <mo>≡</mo> <msub> <mi>λ</mi> <mrow> <mi>n</mi> <mo>+</mo> <mn>1</mn> </mrow> </msub> <mspace width="0.277778em" /> <mo>mod</mo> <mspace width="0.277778em" /> <msup> <mi>p</mi> <mi>m</mi> </msup> </mrow> </math></EquationSource> </InlineEquation>, where <i>p</i> is a fixed odd prime, <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\lambda _1,...,\lambda _{n+1}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>λ</mi> <mn>1</mn> </msub> <mo>,</mo> <mo>.</mo> <mo>.</mo> <mo>.</mo> <mo>,</mo> <msub> <mi>λ</mi> <mrow> <mi>n</mi> <mo>+</mo> <mn>1</mn> </mrow> </msub> </mrow> </math></EquationSource> </InlineEquation> are integer coefficients such that <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\((\lambda _1\cdots \lambda _{n},p)=1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <msub> <mi>λ</mi> <mn>1</mn> </msub> <mo>⋯</mo> <msub> <mi>λ</mi> <mi>n</mi> </msub> <mo>,</mo> <mi>p</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(m\rightarrow \infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>m</mi> <mo stretchy="false">→</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation>. If <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(n\ge 6\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>≥</mo> <mn>6</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(p\ge 5\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>≥</mo> <mn>5</mn> </mrow> </math></EquationSource> </InlineEquation> and the coefficients are fixed and satisfy <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\lambda _1,...,\lambda _n&gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>λ</mi> <mn>1</mn> </msub> <mo>,</mo> <mo>.</mo> <mo>.</mo> <mo>.</mo> <mo>,</mo> <msub> <mi>λ</mi> <mi>n</mi> </msub> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\((\lambda _{n+1},p)=1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <msub> <mi>λ</mi> <mrow> <mi>n</mi> <mo>+</mo> <mn>1</mn> </mrow> </msub> <mo>,</mo> <mi>p</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> (inhomogeneous case), we obtain an asymptotic formula which is valid for integral solutions <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\((x_1,...,x_n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <msub> <mi>x</mi> <mn>1</mn> </msub> <mo>,</mo> <mo>.</mo> <mo>.</mo> <mo>.</mo> <mo>,</mo> <msub> <mi>x</mi> <mi>n</mi> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> in cubes of side length at least <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(p^{(1/2+\varepsilon )m}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>p</mi> <mrow> <mo stretchy="false">(</mo> <mn>1</mn> <mo stretchy="false">/</mo> <mn>2</mn> <mo>+</mo> <mi>ε</mi> <mo stretchy="false">)</mo> <mi>m</mi> </mrow> </msup> </math></EquationSource> </InlineEquation>, centered at the origin. If <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(n\ge 4\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>≥</mo> <mn>4</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\lambda _{n+1}=0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>λ</mi> <mrow> <mi>n</mi> <mo>+</mo> <mn>1</mn> </mrow> </msub> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> (homogeneous case), we prove a result of the same strength for coefficients <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\lambda _i\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>λ</mi> <mi>i</mi> </msub> </math></EquationSource> </InlineEquation> which are allowed to vary with <i>m</i>. These results extend previous results of the first- and the third-named authors and N. Bag.</p>

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

Small solutions to inhomogeneous and homogeneous quadratic congruences modulo prime powers

  • Stephan Baier,
  • Arkaprava Bhandari,
  • Anup Haldar

摘要

We prove asymptotic formulae for small weighted solutions of quadratic congruences of the form \(\lambda _1x_1^2+\cdots +\lambda _nx_n^2\equiv \lambda _{n+1}\bmod {p^m}\) λ 1 x 1 2 + + λ n x n 2 λ n + 1 mod p m , where p is a fixed odd prime, \(\lambda _1,...,\lambda _{n+1}\) λ 1 , . . . , λ n + 1 are integer coefficients such that \((\lambda _1\cdots \lambda _{n},p)=1\) ( λ 1 λ n , p ) = 1 and \(m\rightarrow \infty \) m . If \(n\ge 6\) n 6 , \(p\ge 5\) p 5 and the coefficients are fixed and satisfy \(\lambda _1,...,\lambda _n>0\) λ 1 , . . . , λ n > 0 and \((\lambda _{n+1},p)=1\) ( λ n + 1 , p ) = 1 (inhomogeneous case), we obtain an asymptotic formula which is valid for integral solutions \((x_1,...,x_n)\) ( x 1 , . . . , x n ) in cubes of side length at least \(p^{(1/2+\varepsilon )m}\) p ( 1 / 2 + ε ) m , centered at the origin. If \(n\ge 4\) n 4 and \(\lambda _{n+1}=0\) λ n + 1 = 0 (homogeneous case), we prove a result of the same strength for coefficients \(\lambda _i\) λ i which are allowed to vary with m. These results extend previous results of the first- and the third-named authors and N. Bag.