Abstract
Michael Somos used PARI/GP script to generate several Dedekind eta-function identities by using computer. In the present work, we prove two new Dedekind eta-function identities of level 10 discovered by Somos in two different methods. Also during this process, we give an alternate method to Somos’s Dedekind eta-function identities of level 10 proved by B. R. Srivatsa Kumar and D. Anu Radha. As an application of this, we establish colored partition identities.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The Dedekind eta-function \(\eta (\tau )\) is defined by the formula
where \(\tau \) belongs to the upper complex half-plane. Here and all through the paper, we assume \(|q|<1\) and employ the standard notation
For \(|xy|<1\), Ramanujan’s theta function \({\mathfrak {f}}(x, y)\) is defined as
Also in Ramanujan’s notation, Jacobi’s triple-product identity (Berndt 1991, p. 35) is given by
The important special cases of \({\mathfrak {f}}(x,y)\) (Berndt 1991, p. 36) are
Following Ramanujan’s notations, for \(q=e^{2\pi i \tau }\), we set
Also after Ramanujan, define
For convenience, we write \(f_n=f(-q^n).\) A theta function identity which relates \(f_1, f_2, f_n\) and \(f_{2n}\) is called the theta function identity of level 2n. Ramanujan documented many modular equations which involve quotients of the function \(f_1\) at different arguments. For example, if (Berndt 1996, p. 206)
then
and if (Ramanujan 1988, p. 55)
then
After the publication of Berndt (1991), many authors including (Adiga et al. 2002, 2004, 2016; Baruah 2002, 2003; Naika 2006; Saikia 2011; Vasuki and Sreeramamurthy 2005; Vasuki 2006; Vasuki and Veeresha 2017; Yi 2004) and many more mathematicians have found additional modular equations of the type (1) and (2) of different levels for the evaluation of various continued fractions, Weber-class invariants, two-parameter evaluation of theta functions and many more. Motivated by the above work, M. Somos [13] used a computer to discover around 6277 new elegant Dedekind eta-function identities of various levels without offering the proof. He runs PARI/GP scripts and it works as a sophisticated programmable calculator. Yuttanan (2012), Vasuki and Veeresha (2017), Srivatsa Kumar and Anu Radha (2018) and Srivatsa kumar et al. (2019) have obtained the proofs for the levels 4, 6, 8, 10, 12 and 14. Cao (2010) has given the proof of Somos’s dissection identities.
Motivated by the above, in the present work we prove two new Dedekind eta-function identities in two different methods. Furthermore, we are giving a new proof for Dedekind eta-function identities of level 10 which was proved in Srivatsa Kumar and Anu Radha (2018). As an application of this, we establish the colored partition identities for the same. Now we list some of the Somos’s identities of level 10:
and many more. Before concluding this section, we define a modular equation as defined by Ramanujan. The Gauss ordinary hypergeometric series is defined by
where
Let \(F(x)=~ _2F_1(\frac{1}{2}, \frac{1}{2}; 1 ;x)\), then the relation between \(\alpha \) and \(\beta \) induced by the following equation is called modular equation of degree n:
Suppose that \(y=\pi \frac{F(1-x)}{F(x)}\) and \(z=F(x)\), then from (Berndt 1991, pp. 122–124, Entry 10(i) and 12(v)), we have
and
We also define the multiplier m by
2 Proof of Somos’s identities of level 10
Proof of (3)
The following modular equations of degree 5 are recorded by Ramanujan on page 236 of his second notebook (Ramanujan 1957) and (Berndt 1991, pp. 280–288, Entry 13(ix) and (xiv)):
and if
then
where \(\beta \) has degree 5 over \(\alpha \) and m is the multiplier. From (10) and (11), we have
For \(q=e^{-y}\) from (8), we can write
From the above, we deduce
On using these in (13), also by making use of (9) and (7), we obtain
Similarly, on transcribing (12) into theta function, we obtain
where
Now on multiplying (15) throughout by \((4x^{12}+5x^{10}y^{10}+32x^6y^6+80x^2y^2+4y^{12})(x^6-4xy+x^5y^5+y^6)\), we obtain
which can be rewritten as
Employing (14) in the above, we see that
Also without difficulty, we observe that
From (17), we have
Using the above in (16), we have
Letting \(q\rightarrow -q\) in the above, rewriting \(x(-q)\) and \(y(-q)\) in terms of \(f_n\) by employing (17) and then simplifying, we deduce the result. \(\square \)
Second proof of (3)
On using (17) in (3) and then dividing throughout by \(f_1^9f_5^2f_{10}^3\), we obtain
On using P, Q, A and B as defined as in (1) and (2), (18) reduces to
equivalently
Using (19) in (2) and then factorizing, we obtain
where
and
But L(P, Q) is nothing but (1) and it verifies (3). \(\square \)
We omit the proof of (4), as the proof is similar to the previous one.
Proof of (5)
Srivatsa Kumar and Anu Radha (2018) On dividing (5) by \(f_1f_2^6f_{5}^7\), we obtain
On using P, Q, A and B as defined as in (1) and (2), (20) becomes
equivalently
Using (21) in (2) and then factorizing, we deduce
where
and
But L(P, Q) is nothing but (1), and it verifies (5). \(\square \)
Proof of (6)
Srivatsa Kumar and Anu Radha (2018) On dividing (6) by \(f_2^2f_5^8\), we obtain
On using P, Q, A and B as defined as in (1) and (2), (22) becomes
equivalently
Using (23) in (2) and then factorizing, we obtain
where
and
But L(P, Q) is nothing but (1), and it verifies (6). \(\square \)
Remark: Using the same method, we can prove the remaining Somos’s Dedekind eta-function identities of level 10 which are listed in the previous section.
3 Applications to colored partition
The identities proved in Section 2 have applications to the theory of partitions. In this section, we demonstrate colored partitions for (3). Similarly for the remaining identities mentioned in section 1, we can establish the same concept. For simplicity, we adopt the standard notation
“A positive integer n has l colors if there are l copies of n available colors and all of them are viewed as distinct objects. Partitions of a positive integer into parts with colors are called colored partitions.” As an example, if 1, 2 and 3 are assigned with two colors, then possible partitions of 3 are \(3_i\), \(3_v\), \(2_v+1_v\), \(2_i+1_i\), \(2_i+1_v\), \(2_v+1_i\), \(1_i+1_i+1_i\), \(1_v+1_v+1_v\), \(1_i+1_i+1_v\) and \(1_i+1_v+1_v\), where we used the indices i (indigo) and v (violet) to differentiate two colors of 1, 2 and 3. Also, the generating function for the number of partitions of n is defined as
with k colors, and all the parts are congruent to \(a \pmod b\).
Theorem 1
If \(\alpha (n)\) represent the number of partitions of n being divided into parts that are congruent to \(\pm 1, \pm 3\) modulo 10 with six colors, \(\pm 2, \pm 4\) modulo 10 with four colors and \(+5\) with eight colors, respectively. If \(\beta (n)\) is chosen to represent the number of partitions of n into many parts that are congruent to \(\pm 1, \pm 3\) modulo 10 with three colors, \(\pm 2, \pm 4\) modulo 10 with two colors and \(+5\) with four colors, respectively. If \(\gamma (n)\) indicates the number of partitions of n being split into parts congruent to \(\pm 1, \pm 3\) modulo 10 with nine colors, \(\pm 2, \pm 4\) modulo 10 with two colors and \(+5\) with four colors, respectively. Then, the following relation holds true:
Proof
Using (17) in (3), then dividing throughout by \(f_1^9f_2^7f_5^7f_{10}^9\) and simplifying to the common base \(q^{10}\), we have
For simplicity, we write
Using the above identity in (25), we obtain
On using (24) in (26), we obtain the three generating functions, namely \(\alpha (n)\), \(\beta (n)\) and \(\gamma (n)\), respectively. Now (26) reduces to
where we set \(\alpha (0)=\beta (0)=\gamma (0)=1.\) Extracting the coefficients of \(q^n\), we obtain the required result.
For \(n=2,\) the following table verifies the above theorem. \(\square \)
\(\alpha (0)=1\): | |
\(\beta (1)=3\): | \(1_r, 1_g, 1_y\) |
\(\gamma (2)=47\): | \(1_r+1_r, 1_g+1_g,\) and 7 others of the same type. |
\(1_r+1_g, 1_g+1_y, \) and 34 others of the same type. | |
\(2_r, 2_g.\) |
References
Adiga C, Naika MSM, Shivashankara K (2002) On some \(P-Q\) eta-function identities of Ramanujan. Indian J Math 44(3):253–267
Adiga C, Kim T, Naika MSM, Madhusudhan HS (2004) On Ramanujan’s cubic continued fraction and explicit evaluations of theta-functions. Indian J Pure Appl Math 35(9):1047–1062
Adiga C, Bulkhali NAS, Ranganatha D, Srivastava HM (2016) Some new modular relations for the Rogers-Ramanujan type functions of order eleven with applications to partitions. J Number Theory 158:281–297
Baruah ND (2002) Modular equations for Ramanujan’s cubic continued fraction. J Math Anal Appl 268(1):244–255
Baruah ND (2003) On some of Ramanujan’s Schlafli-type mixed modular equations. J. Number Theory 100(2):270–294
Berndt BC (1991) Ramanujan’s Notebooks. Springer-Verlag, New York, Part III
Berndt BC (1996) Ramanujan’s Notebooks. Springer-Verlag, New York, Part IV
Cao Z (2010) On Somos’s dissection identities. J math Anal Appl 365:659–667
Naika MSM (2006) A note on cubic modular equations of degree two. Tamsui Oxf J Math Sci 22(1):1–8
Ramanujan S (1957) Notebooks (2 Volumes). Tata Institute of Fundamental Research, Bombay
Ramanujan S (1988) The Lost Notebook and other unpublished papers. Narosa, New Delhi
Saikia N (2011) Modular identities and explicit values of a continued fraction of order twelve. JP J Algebra Number Theory Appl 22:127–154
Somos M Personal communication
Srivatsa Kumar BR, Anu Radha D (2018) Somos’s theta-function identities of level 10. Turkish J Math 42:763–773
Srivatsa kumar, B.R., Rajanna, K.R., Narendra, R., (2019) New Theta-Function Identities of Level 6 in the Spirit of Ramanujan. Math Notes 106(6):922–929
Vasuki KR, Sreeramamurthy TG (2005) A note on \(P-Q\) modular equations. Tamsui Oxf J Math Sci 21(2):109–120
Vasuki KR (2006) On some of Ramanujan’s \(P-Q\) modular equations. J Indian Math Soc 73(3–4):131–143
Vasuki KR, Veeresha RG (2017) On Somos’s theta-function identities of level 14. Ramanujan J 42:131–144
Yi J (2004) Theta-function identities and the explicit formulas for theta-function and their applications. J Math Anal Appl 292:381–400
Yuttanan B (2012) New modular equations in the spirit of Ramanujan. Ramanujan J 29:257–272
Acknowledgements
The authors thank anonymous referee for valuable suggestions and comments.
Funding
Open access funding provided by Manipal Academy of Higher Education, Manipal.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest.
Ethical approval
This study does not involve any human participants or animals performed by any of the authors.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Kumar, B.R.S., Shruthi New proof to Somos’s Dedekind eta-function identities of level 10. Soft Comput 25, 9055–9060 (2021). https://doi.org/10.1007/s00500-021-05846-7
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00500-021-05846-7