<p>We give two <i>q</i>-congruences on double basic hypergeometric sums. As a conclusion, we obtain the following supercongruence: for any odd prime <i>p</i>, <Equation ID="Equ23"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1961_Article_Equ23.gif" Format="GIF" Height="168" Rendition="HTML" Resolution="72" Type="Linedraw" Width="445" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned}&amp;\sum _{k=0}^{p-1}(6k+1)\frac{(\frac{1}{2})_k^3(\frac{1}{4})_k^2 }{k!^5 }\sum _{j=1}^{k}\left( \frac{1}{(2j-1)^2}-\frac{1}{16j^2}\right) \nonumber \\&amp;\quad \equiv {\left\{ \begin{array}{ll} p\dfrac{(\frac{1}{2})_{(p-1)/4}^2}{(1)_{(p-1)/4}^2}\displaystyle \sum _{j=1}^{(p-1)/2}\dfrac{(-1)^{j-1}}{4j^2} \pmod {p^2}, &amp; \text {if }p\equiv 1\pmod {4},\\ \dfrac{3(\frac{1}{2})_{(3p-1)/4}^2}{4p(1)_{(3p-1)/4}^2}\pmod {p^2}, &amp; \text {if }p\equiv 3\pmod {4}. \end{array}\right. } \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd /> <mtd columnalign="left"> <mrow> <munderover> <mo>∑</mo> <mrow> <mi>k</mi> <mo>=</mo> <mn>0</mn> </mrow> <mrow> <mi>p</mi> <mo>-</mo> <mn>1</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> <msubsup> <mrow> <mo stretchy="false">(</mo> <mfrac> <mn>1</mn> <mn>2</mn> </mfrac> <mo stretchy="false">)</mo> </mrow> <mi>k</mi> <mn>3</mn> </msubsup> <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>5</mn> </msup> </mrow> </mfrac> <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>2</mn> <mi>j</mi> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> <mn>2</mn> </msup> </mfrac> <mo>-</mo> <mfrac> <mn>1</mn> <mrow> <mn>16</mn> <msup> <mi>j</mi> <mn>2</mn> </msup> </mrow> </mfrac> </mfenced> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="right"> <mrow /> </mtd> <mtd columnalign="left"> <mrow> <mspace width="1em" /> <mo>≡</mo> <mfenced open="{"> <mrow> <mtable> <mtr> <mtd columnalign="left"> <mstyle displaystyle="true" scriptlevel="0"> <mrow> <mi>p</mi> <mstyle displaystyle="true" scriptlevel="0"> <mfrac> <msubsup> <mrow> <mo stretchy="false">(</mo> <mfrac> <mn>1</mn> <mn>2</mn> </mfrac> <mo stretchy="false">)</mo> </mrow> <mrow> <mo stretchy="false">(</mo> <mi>p</mi> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> <mo stretchy="false">/</mo> <mn>4</mn> </mrow> <mn>2</mn> </msubsup> <msubsup> <mrow> <mo stretchy="false">(</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> <mrow> <mo stretchy="false">(</mo> <mi>p</mi> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> <mo stretchy="false">/</mo> <mn>4</mn> </mrow> <mn>2</mn> </msubsup> </mfrac> </mstyle> <msubsup> <mo>∑</mo> <mrow> <mi>j</mi> <mo>=</mo> <mn>1</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> </msubsup> <mstyle displaystyle="true" scriptlevel="0"> <mfrac> <msup> <mrow> <mo stretchy="false">(</mo> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> <mrow> <mi>j</mi> <mo>-</mo> <mn>1</mn> </mrow> </msup> <mrow> <mn>4</mn> <msup> <mi>j</mi> <mn>2</mn> </msup> </mrow> </mfrac> </mstyle> <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> </mstyle> </mtd> <mtd columnalign="left"> <mrow> <mtext>if</mtext> <mspace width="0.333333em" /> <mi>p</mi> <mo>≡</mo> <mn>1</mn> <mspace width="10.0pt" /> <mo stretchy="false">(</mo> <mo>mod</mo> <mspace width="0.277778em" /> <mn>4</mn> <mo stretchy="false">)</mo> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="left"> <mrow> <mrow /> <mstyle displaystyle="true" scriptlevel="0"> <mfrac> <mrow> <mn>3</mn> <msubsup> <mrow> <mo stretchy="false">(</mo> <mfrac> <mn>1</mn> <mn>2</mn> </mfrac> <mo stretchy="false">)</mo> </mrow> <mrow> <mo stretchy="false">(</mo> <mn>3</mn> <mi>p</mi> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> <mo stretchy="false">/</mo> <mn>4</mn> </mrow> <mn>2</mn> </msubsup> </mrow> <mrow> <mn>4</mn> <mi>p</mi> <msubsup> <mrow> <mo stretchy="false">(</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> <mrow> <mo stretchy="false">(</mo> <mn>3</mn> <mi>p</mi> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> <mo stretchy="false">/</mo> <mn>4</mn> </mrow> <mn>2</mn> </msubsup> </mrow> </mfrac> </mstyle> <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> </mtd> <mtd columnalign="left"> <mrow> <mtext>if</mtext> <mspace width="0.333333em" /> <mi>p</mi> <mo>≡</mo> <mn>3</mn> <mspace width="10.0pt" /> <mo stretchy="false">(</mo> <mo>mod</mo> <mspace width="0.277778em" /> <mn>4</mn> <mo stretchy="false">)</mo> <mo>.</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </mfenced> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>where <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1961_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="215" /> </InlineMediaObject> <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>. We also pose two conjectures on <i>q</i>-congruences for further study.</p>

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

Two New q-Congruences on Truncated Double Basic Hypergeometric Series

  • Na Tang

摘要

We give two q-congruences on double basic hypergeometric sums. As a conclusion, we obtain the following supercongruence: for any odd prime p, \(\begin{aligned}&\sum _{k=0}^{p-1}(6k+1)\frac{(\frac{1}{2})_k^3(\frac{1}{4})_k^2 }{k!^5 }\sum _{j=1}^{k}\left( \frac{1}{(2j-1)^2}-\frac{1}{16j^2}\right) \nonumber \\&\quad \equiv {\left\{ \begin{array}{ll} p\dfrac{(\frac{1}{2})_{(p-1)/4}^2}{(1)_{(p-1)/4}^2}\displaystyle \sum _{j=1}^{(p-1)/2}\dfrac{(-1)^{j-1}}{4j^2} \pmod {p^2}, & \text {if }p\equiv 1\pmod {4},\\ \dfrac{3(\frac{1}{2})_{(3p-1)/4}^2}{4p(1)_{(3p-1)/4}^2}\pmod {p^2}, & \text {if }p\equiv 3\pmod {4}. \end{array}\right. } \end{aligned}\) k = 0 p - 1 ( 6 k + 1 ) ( 1 2 ) k 3 ( 1 4 ) k 2 k ! 5 j = 1 k 1 ( 2 j - 1 ) 2 - 1 16 j 2 p ( 1 2 ) ( p - 1 ) / 4 2 ( 1 ) ( p - 1 ) / 4 2 j = 1 ( p - 1 ) / 2 ( - 1 ) j - 1 4 j 2 ( mod p 2 ) , if p 1 ( mod 4 ) , 3 ( 1 2 ) ( 3 p - 1 ) / 4 2 4 p ( 1 ) ( 3 p - 1 ) / 4 2 ( mod p 2 ) , if p 3 ( mod 4 ) . where \((a)_k=a(a+1)\cdots (a+k-1)\) ( a ) k = a ( a + 1 ) ( a + k - 1 ) . We also pose two conjectures on q-congruences for further study.