<p>Let <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1052_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">\(a_k(n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>a</mi> <mi>k</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> be defined by <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1052_Article_IEq2.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="163" /> </InlineMediaObject> <EquationSource Format="TEX">\(\sum _{n=0}^\infty a_k(n)q^n=E(q)^k\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mo>∑</mo> <mrow> <mi>n</mi> <mo>=</mo> <mn>0</mn> </mrow> <mi>∞</mi> </msubsup> <msub> <mi>a</mi> <mi>k</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> <msup> <mi>q</mi> <mi>n</mi> </msup> <mo>=</mo> <mi>E</mi> <msup> <mrow> <mo stretchy="false">(</mo> <mi>q</mi> <mo stretchy="false">)</mo> </mrow> <mi>k</mi> </msup> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1052_Article_IEq3.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="153" /> </InlineMediaObject> <EquationSource Format="TEX">\(E(q)=\prod _{n=1}^\infty (1-q^n) \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>E</mi> <mrow> <mo stretchy="false">(</mo> <mi>q</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msubsup> <mo>∏</mo> <mrow> <mi>n</mi> <mo>=</mo> <mn>1</mn> </mrow> <mi>∞</mi> </msubsup> <mrow> <mo stretchy="false">(</mo> <mn>1</mn> <mo>-</mo> <msup> <mi>q</mi> <mi>n</mi> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is Euler’s product. In this paper, by means of the modular equations of fifth, seventh and thirteenth order, we give a general method to establish the generating functions for <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1052_Article_IEq4.gif" Format="GIF" Height="27" Rendition="HTML" Resolution="72" Type="Linedraw" Width="263" /> </InlineMediaObject> <EquationSource Format="TEX">\(a_k(p^{2\alpha +1}n+\frac{k(p^{2\alpha +2}-1)}{24}-p^{2\alpha +1}t(p,k))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>a</mi> <mi>k</mi> </msub> <mrow> <mo stretchy="false">(</mo> <msup> <mi>p</mi> <mrow> <mn>2</mn> <mi>α</mi> <mo>+</mo> <mn>1</mn> </mrow> </msup> <mi>n</mi> <mo>+</mo> <mfrac> <mrow> <mi>k</mi> <mo stretchy="false">(</mo> <msup> <mi>p</mi> <mrow> <mn>2</mn> <mi>α</mi> <mo>+</mo> <mn>2</mn> </mrow> </msup> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> <mn>24</mn> </mfrac> <mo>-</mo> <msup> <mi>p</mi> <mrow> <mn>2</mn> <mi>α</mi> <mo>+</mo> <mn>1</mn> </mrow> </msup> <mi>t</mi> <mrow> <mo stretchy="false">(</mo> <mi>p</mi> <mo>,</mo> <mi>k</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1052_Article_IEq5.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="81" /> </InlineMediaObject> <EquationSource Format="TEX">\(1\le k \le 24\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>1</mn> <mo>≤</mo> <mi>k</mi> <mo>≤</mo> <mn>24</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1052_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="99" /> </InlineMediaObject> <EquationSource Format="TEX">\(p\in \{5,7,13\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>∈</mo> <mo stretchy="false">{</mo> <mn>5</mn> <mo>,</mo> <mn>7</mn> <mo>,</mo> <mn>13</mn> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1052_Article_IEq7.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="90" /> </InlineMediaObject> <EquationSource Format="TEX">\(t(5,k)=\left[ \frac{k}{5}\right] \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>t</mi> <mrow> <mo stretchy="false">(</mo> <mn>5</mn> <mo>,</mo> <mi>k</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mfenced close="]" open="["> <mfrac> <mi>k</mi> <mn>5</mn> </mfrac> </mfenced> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1052_Article_IEq8.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="96" /> </InlineMediaObject> <EquationSource Format="TEX">\(t(7,k)=\left[ \frac{2k}{7}\right] \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>t</mi> <mrow> <mo stretchy="false">(</mo> <mn>7</mn> <mo>,</mo> <mi>k</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mfenced close="]" open="["> <mfrac> <mrow> <mn>2</mn> <mi>k</mi> </mrow> <mn>7</mn> </mfrac> </mfenced> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1052_Article_IEq9.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="104" /> </InlineMediaObject> <EquationSource Format="TEX">\(t(13,k)=\left[ \frac{7k}{13}\right] \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>t</mi> <mrow> <mo stretchy="false">(</mo> <mn>13</mn> <mo>,</mo> <mi>k</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mfenced close="]" open="["> <mfrac> <mrow> <mn>7</mn> <mi>k</mi> </mrow> <mn>13</mn> </mfrac> </mfenced> </mrow> </math></EquationSource> </InlineEquation>. These generating functions are determined by some sequences which satisfy the same three-term linear recurrence relations. Based on those generating functions, we present a sufficient condition to find infinite families of congruences for certain kinds of partition functions. As applications of the sufficient condition, we obtain many new infinite families of congruences for certain partition functions, such as, partition functions related to mock theta functions and generalized Frobenius partition functions. In particular, we deduce some strange congruences for those partition functions.</p>

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

The powers of Euler’s product and congruences for certain partition functions

  • Ernest X. W. Xia,
  • Liu Jin Xin

摘要

Let \(a_k(n)\) a k ( n ) be defined by \(\sum _{n=0}^\infty a_k(n)q^n=E(q)^k\) n = 0 a k ( n ) q n = E ( q ) k , where \(E(q)=\prod _{n=1}^\infty (1-q^n) \) E ( q ) = n = 1 ( 1 - q n ) is Euler’s product. In this paper, by means of the modular equations of fifth, seventh and thirteenth order, we give a general method to establish the generating functions for \(a_k(p^{2\alpha +1}n+\frac{k(p^{2\alpha +2}-1)}{24}-p^{2\alpha +1}t(p,k))\) a k ( p 2 α + 1 n + k ( p 2 α + 2 - 1 ) 24 - p 2 α + 1 t ( p , k ) ) , where \(1\le k \le 24\) 1 k 24 , \(p\in \{5,7,13\}\) p { 5 , 7 , 13 } and \(t(5,k)=\left[ \frac{k}{5}\right] \) t ( 5 , k ) = k 5 , \(t(7,k)=\left[ \frac{2k}{7}\right] \) t ( 7 , k ) = 2 k 7 and \(t(13,k)=\left[ \frac{7k}{13}\right] \) t ( 13 , k ) = 7 k 13 . These generating functions are determined by some sequences which satisfy the same three-term linear recurrence relations. Based on those generating functions, we present a sufficient condition to find infinite families of congruences for certain kinds of partition functions. As applications of the sufficient condition, we obtain many new infinite families of congruences for certain partition functions, such as, partition functions related to mock theta functions and generalized Frobenius partition functions. In particular, we deduce some strange congruences for those partition functions.