<p>Motivated by the recent work of He and Wang and of Guo and Zhu on <i>q</i>-congruences, we present two new <i>q</i>-congruences on double basic hypergeometric sums. As a conclusion, we obtain the following result: for odd primes <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(p\equiv 1\pmod {4}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>≡</mo> <mn>1</mn> <mspace width="4.44443pt" /> <mo stretchy="false">(</mo> <mo>mod</mo> <mspace width="0.277778em" /> <mn>4</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, <Equation ID="Equ19"> <EquationSource Format="TEX">\( \sum _{k=0}^{(p-1)/2}(6k+1)\frac{(\frac{1}{2})_k(\frac{1}{4})_k^2}{k!^3}4^k \sum _{j=1}^{k}\left\{ \frac{1}{(4j-3)^2}-\frac{1}{4j^2}\right\} \equiv 0\pmod {p^2}, \)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <munderover> <mo>∑</mo> <mrow> <mi>k</mi> <mo>=</mo> <mn>0</mn> </mrow> <mrow> <mo stretchy="false">(</mo> <mi>p</mi> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> <mo stretchy="false">/</mo> <mn>2</mn> </mrow> </munderover> <mrow> <mo stretchy="false">(</mo> <mn>6</mn> <mi>k</mi> <mo>+</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> <mfrac> <mrow> <msub> <mrow> <mo stretchy="false">(</mo> <mfrac> <mn>1</mn> <mn>2</mn> </mfrac> <mo stretchy="false">)</mo> </mrow> <mi>k</mi> </msub> <msubsup> <mrow> <mo stretchy="false">(</mo> <mfrac> <mn>1</mn> <mn>4</mn> </mfrac> <mo stretchy="false">)</mo> </mrow> <mi>k</mi> <mn>2</mn> </msubsup> </mrow> <mrow> <mi>k</mi> <msup> <mo>!</mo> <mn>3</mn> </msup> </mrow> </mfrac> <msup> <mn>4</mn> <mi>k</mi> </msup> <munderover> <mo>∑</mo> <mrow> <mi>j</mi> <mo>=</mo> <mn>1</mn> </mrow> <mi>k</mi> </munderover> <mfenced close="}" open="{"> <mfrac> <mn>1</mn> <msup> <mrow> <mo stretchy="false">(</mo> <mn>4</mn> <mi>j</mi> <mo>-</mo> <mn>3</mn> <mo stretchy="false">)</mo> </mrow> <mn>2</mn> </msup> </mfrac> <mo>-</mo> <mfrac> <mn>1</mn> <mrow> <mn>4</mn> <msup> <mi>j</mi> <mn>2</mn> </msup> </mrow> </mfrac> </mfenced> <mo>≡</mo> <mn>0</mn> <mspace width="10.0pt" /> <mrow> <mo stretchy="false">(</mo> <mo>mod</mo> <mspace width="0.277778em" /> <msup> <mi>p</mi> <mn>2</mn> </msup> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> </mrow> </math></EquationSource> </Equation>where <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\((a)_k=a(a+1)\cdots (a+k-1)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mrow> <mo stretchy="false">(</mo> <mi>a</mi> <mo stretchy="false">)</mo> </mrow> <mi>k</mi> </msub> <mo>=</mo> <mi>a</mi> <mrow> <mo stretchy="false">(</mo> <mi>a</mi> <mo>+</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> <mo>⋯</mo> <mrow> <mo stretchy="false">(</mo> <mi>a</mi> <mo>+</mo> <mi>k</mi> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. This result is similar to a congruence conjectured by Long and later confirmed by Swisher.</p>

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

Two new q-congruences on double basic hypergeometric sums

  • Gang Li

摘要

Motivated by the recent work of He and Wang and of Guo and Zhu on q-congruences, we present two new q-congruences on double basic hypergeometric sums. As a conclusion, we obtain the following result: for odd primes \(p\equiv 1\pmod {4}\) p 1 ( mod 4 ) , \( \sum _{k=0}^{(p-1)/2}(6k+1)\frac{(\frac{1}{2})_k(\frac{1}{4})_k^2}{k!^3}4^k \sum _{j=1}^{k}\left\{ \frac{1}{(4j-3)^2}-\frac{1}{4j^2}\right\} \equiv 0\pmod {p^2}, \) k = 0 ( p - 1 ) / 2 ( 6 k + 1 ) ( 1 2 ) k ( 1 4 ) k 2 k ! 3 4 k j = 1 k 1 ( 4 j - 3 ) 2 - 1 4 j 2 0 ( mod p 2 ) , where \((a)_k=a(a+1)\cdots (a+k-1)\) ( a ) k = a ( a + 1 ) ( a + k - 1 ) . This result is similar to a congruence conjectured by Long and later confirmed by Swisher.