<p>Let <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(r_s(n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>r</mi> <mi>s</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> denote the number of representations of <i>n</i> as a sum of <i>s</i> squares. Hurwitz established eleven identities expressing the generating function of <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(r_3(an+b)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>r</mi> <mn>3</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>a</mi> <mi>n</mi> <mo>+</mo> <mi>b</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> as a simple infinite product. In 2004, Cooper and Hirschhorn proved that the generating functions of certain infinite families of arithmetic sequences in <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(r_3(n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>r</mi> <mn>3</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> are expressible as linear combinations of two given generalized eta-quotients. In this paper, utilizing three classical theta function identities of Ramanujan, we prove that for any <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(k\ge 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>≥</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(t\ge 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>t</mi> <mo>≥</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>, the generating functions <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\sum _{n=0}^\infty r_{2t-1}\big (2^{2k}n\big )q^n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mo>∑</mo> <mrow> <mi>n</mi> <mo>=</mo> <mn>0</mn> </mrow> <mi>∞</mi> </msubsup> <msub> <mi>r</mi> <mrow> <mn>2</mn> <mi>t</mi> <mo>-</mo> <mn>1</mn> </mrow> </msub> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">(</mo> </mrow> <msup> <mn>2</mn> <mrow> <mn>2</mn> <mi>k</mi> </mrow> </msup> <mi>n</mi> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">)</mo> </mrow> <msup> <mi>q</mi> <mi>n</mi> </msup> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\sum _{n=0}^\infty r_{2t-1}\big (2^{2k+1}n\big )q^n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mo>∑</mo> <mrow> <mi>n</mi> <mo>=</mo> <mn>0</mn> </mrow> <mi>∞</mi> </msubsup> <msub> <mi>r</mi> <mrow> <mn>2</mn> <mi>t</mi> <mo>-</mo> <mn>1</mn> </mrow> </msub> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">(</mo> </mrow> <msup> <mn>2</mn> <mrow> <mn>2</mn> <mi>k</mi> <mo>+</mo> <mn>1</mn> </mrow> </msup> <mi>n</mi> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">)</mo> </mrow> <msup> <mi>q</mi> <mi>n</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\sum _{n=0}^\infty r_{2t}\big (2^kn\big )q^n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mo>∑</mo> <mrow> <mi>n</mi> <mo>=</mo> <mn>0</mn> </mrow> <mi>∞</mi> </msubsup> <msub> <mi>r</mi> <mrow> <mn>2</mn> <mi>t</mi> </mrow> </msub> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">(</mo> </mrow> <msup> <mn>2</mn> <mi>k</mi> </msup> <mi>n</mi> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">)</mo> </mrow> <msup> <mi>q</mi> <mi>n</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> can be expressed as linear combinations of specific generalized eta-quotients. This significantly generalizes some results of Barrucand, Cooper and Hirschhorn (Ramanujan J 6(3): 347–367, 2002). As a direct application, we derive many internal congruences modulo high powers of 2 for <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(r_s(n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>r</mi> <mi>s</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(8\le s\le 20\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>8</mn> <mo>≤</mo> <mi>s</mi> <mo>≤</mo> <mn>20</mn> </mrow> </math></EquationSource> </InlineEquation>. Further, for any <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(s\ge 3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>s</mi> <mo>≥</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation>, we conjecture the existence of internal congruence families modulo high powers of 2 satisfied by <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(r_s(n).\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>r</mi> <mi>s</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation></p>

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

Cooper–Hirschhorn type identities for three or more squares. II

  • Dazhao Tang

摘要

Let \(r_s(n)\) r s ( n ) denote the number of representations of n as a sum of s squares. Hurwitz established eleven identities expressing the generating function of \(r_3(an+b)\) r 3 ( a n + b ) as a simple infinite product. In 2004, Cooper and Hirschhorn proved that the generating functions of certain infinite families of arithmetic sequences in \(r_3(n)\) r 3 ( n ) are expressible as linear combinations of two given generalized eta-quotients. In this paper, utilizing three classical theta function identities of Ramanujan, we prove that for any \(k\ge 0\) k 0 and \(t\ge 2\) t 2 , the generating functions \(\sum _{n=0}^\infty r_{2t-1}\big (2^{2k}n\big )q^n\) n = 0 r 2 t - 1 ( 2 2 k n ) q n , \(\sum _{n=0}^\infty r_{2t-1}\big (2^{2k+1}n\big )q^n\) n = 0 r 2 t - 1 ( 2 2 k + 1 n ) q n and \(\sum _{n=0}^\infty r_{2t}\big (2^kn\big )q^n\) n = 0 r 2 t ( 2 k n ) q n can be expressed as linear combinations of specific generalized eta-quotients. This significantly generalizes some results of Barrucand, Cooper and Hirschhorn (Ramanujan J 6(3): 347–367, 2002). As a direct application, we derive many internal congruences modulo high powers of 2 for \(r_s(n)\) r s ( n ) with \(8\le s\le 20\) 8 s 20 . Further, for any \(s\ge 3\) s 3 , we conjecture the existence of internal congruence families modulo high powers of 2 satisfied by \(r_s(n).\) r s ( n ) .