Next Article in Journal
Normal Partner Curves of a Pseudo Null Curve on Dual Space Forms
Previous Article in Journal
Kinetics Study in Parachute Landing Fall Technique by Comparing Professional and Amateur Malaysian Army Parachutists Using Kane’s Method
Previous Article in Special Issue
Janowski Type q-Convex and q-Close-to-Convex Functions Associated with q-Conic Domain
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

A Family of Theta-Function Identities Based upon Combinatorial Partition Identities Related to Jacobi’s Triple-Product Identity

by
Hari Mohan Srivastava
1,2,3,
Rekha Srivastava
1,*,
Mahendra Pal Chaudhary
4 and
Salah Uddin
5
1
Department of Mathematics and Statistics, University of Victoria, Victoria, BC V8W 3R4, Canada
2
Department of Medical Research, China Medical University Hospital, China Medical University, Taichung 40402, Taiwan
3
Department of Mathematics and Informatics, Azerbaijan University, 71 Jeyhun Hajibeyli Street, Baku AZ1007, Azerbaijan
4
Department of Mathematics, Netaji Subhas University of Technology, Sector 3, Dwarka, New Delhi 110078, India
5
Department of Mathematics, PDM University, Bahadurgarh 124507, Haryana State, India
*
Author to whom correspondence should be addressed.
Mathematics 2020, 8(6), 918; https://doi.org/10.3390/math8060918
Submission received: 11 May 2020 / Revised: 22 May 2020 / Accepted: 3 June 2020 / Published: 5 June 2020
(This article belongs to the Special Issue Mathematical Analysis and Analytic Number Theory 2019)

Abstract

:
The authors establish a set of six new theta-function identities involving multivariable R-functions which are based upon a number of q-product identities and Jacobi’s celebrated triple-product identity. These theta-function identities depict the inter-relationships that exist among theta-function identities and combinatorial partition-theoretic identities. Here, in this paper, we consider and relate the multivariable R-functions to several interesting q-identities such as (for example) a number of q-product identities and Jacobi’s celebrated triple-product identity. Various recent developments on the subject-matter of this article as well as some of its potential application areas are also briefly indicated. Finally, we choose to further emphasize upon some close connections with combinatorial partition-theoretic identities and present a presumably open problem.

1. Introduction and Definitions

Throughout this article, we denote by N , Z , and C the set of positive integers, the set of integers and the set of complex numbers, respectively. We also let
N 0 : = N { 0 } = { 0 , 1 , 2 , } .
In what follows, we shall make use of the following q-notations for the details of which we refer the reader to a recent monograph on q-calculus by Ernst [1] and also to the earlier works on the subject by Slater [2] (Chapter 3, Section 3.2.1), and by Srivastava et al. ([3] (pp. 346 et seq.) and [4] (Chapter 6)).
The q-shifted factorial ( a ; q ) n is defined (for | q | < 1 ) by
( a ; q ) n : = 1 ( n = 0 ) k = 0 n 1 ( 1 a q k ) ( n N ) ,
where a , q C , and it is assumed tacitly that a q m ( m N 0 ) . We also write
( a ; q ) : = k = 0 ( 1 a q k ) = k = 1 ( 1 a q k 1 ) ( a , q C ; | q | < 1 ) .
It should be noted that, when a 0 and | q | 1 , the infinite product in Equation (2) diverges. Thus, whenever ( a ; q ) is involved in a given formula, the constraint | q | < 1 will be tacitly assumed to be satisfied.
The following notations are also frequently used in our investigation:
( a 1 , a 2 , , a m ; q ) n : = ( a 1 ; q ) n ( a 2 ; q ) n ( a m ; q ) n
and
( a 1 , a 2 , , a m ; q ) : = ( a 1 ; q ) ( a 2 ; q ) ( a m ; q ) .
Ramanujan (see [5,6]) defined the general theta function f ( a , b ) as follows (see, for details, in [7] (p. 31, Equation (18.1)) and [8,9]):
f ( a , b ) = 1 + n = 1 ( a b ) n ( n 1 ) 2 ( a n + b n ) = n = a n ( n + 1 ) 2 b n ( n 1 ) 2 = f ( b , a ) ( | a b | < 1 ) .
We find from this last Equation (5) that
f ( a , b ) = a n ( n + 1 ) 2 b n ( n 1 ) 2 f a ( a b ) n , b ( a b ) n = f ( b , a ) ( n Z ) .
In fact, Ramanujan (see [5,6]) also rediscovered Jacobi’s famous triple-product identity, which, in Ramanujan’s notation, is given by (see [7] (p. 35, Entry 19)):
f ( a , b ) = ( a ; a b ) ( b ; a b ) ( a b ; a b )
or, equivalently, by (see [10])
n = q n 2 z n = n = 1 1 q 2 n 1 + z q 2 n 1 1 + 1 z q 2 n 1 = q 2 ; q 2 z q ; q 2 q z ; q 2 ( | q | < 1 ; z 0 ) .
Remark 1.
Equation ( 6 ) holds true as stated only if n is any integer. In case n is not an integer, this result (6) is only approximately true(see, for details, [5] (Vol. 2, Chapter XVI, p. 193, Entry 18 (iv))). Moreover, historically speaking, the q-series identity ( 7 ) or its above-mentioned equivalent form was first proved by Carl Friedrich Gauss (1777–1855).
Several q-series identities, which emerge naturally from Jacobi’s triple-product identity (7), are worthy of note here (see, for details, (pp. 36–37, Entry 22) in [7]):
φ ( q ) : = n = q n 2 = 1 + 2 n = 1 q n 2 = ( q ; q 2 ) 2 ( q 2 ; q 2 ) = ( q ; q 2 ) ( q 2 ; q 2 ) ( q ; q 2 ) ( q 2 ; q 2 ) ;
ψ ( q ) : = f ( q , q 3 ) = n = 0 q n ( n + 1 ) 2 = ( q 2 ; q 2 ) ( q ; q 2 ) ;
f ( q ) : = f ( q , q 2 ) = n = ( 1 ) n q n ( 3 n 1 ) 2 = n = 0 ( 1 ) n q n ( 3 n 1 ) 2 + n = 1 ( 1 ) n q n ( 3 n + 1 ) 2 = ( q ; q ) .
Equation (10) is known as Euler’s Pentagonal Number Theorem. Remarkably, the following q-series identity:
( q ; q ) = 1 ( q ; q 2 ) = 1 χ ( q )
provides the analytic equivalent form of Euler’s famous theorem (see, for details, [11,12]).
Theorem 1.
(Euler’s Pentagonal Number Theorem) The number of partitions of a given positive integer n into distinct parts is equal to the number of partitions of n into odd parts.
We also recall the Rogers-Ramanujan continued fraction R ( q ) given by
R ( q ) : = q 1 5 H ( q ) G ( q ) = q 1 5 f ( q , q 4 ) f ( q 2 , q 3 ) = q 1 5 ( q ; q 5 ) ( q 4 ; q 5 ) ( q 2 ; q 5 ) ( q 3 ; q 5 ) = q 1 5 1 + q 1 + q 2 1 + q 3 1 + ( | q | < 1 ) .
Here, G ( q ) and H ( q ) , which are associated with the widely-investigated Roger-Ramanujan identities, are defined as follows:
G ( q ) : = n = 0 q n 2 ( q ; q ) n = f ( q 5 ) f ( q , q 4 ) = 1 ( q ; q 5 ) ( q 4 ; q 5 ) = ( q 2 ; q 5 ) ( q 3 ; q 5 ) ( q 5 ; q 5 ) ( q ; q )
and
H ( q ) : = n = 0 q n ( n + 1 ) ( q ; q ) n = f ( q 5 ) f ( q 2 , q 3 ) = 1 ( q 2 ; q 5 ) ( q 3 ; q 5 ) = ( q ; q 5 ) ( q 4 ; q 5 ) ( q 5 ; q 5 ) ( q ; q ) ,
and the functions f ( a , b ) and f ( q ) are given by Equations (5) and (10), respectively.
For a detailed historical account of (and for various related developments stemming from) the Rogers-Ramanujan continued fraction (12) as well as the Rogers-Ramanujan identities (13) and (14), the interested reader may refer to the monumental work [7] (p. 77 et seq.) (see also [4,8]).
The following continued-fraction results may be recalled now (see, for example, (p. 5, Equation (2.8)) in [13]).
Theorem 2.
Suppose that | q | < 1 . Then,
A ( q ) : = ( q 2 ; q 2 ) ( q ; q ) = ( q 2 ; q 2 ) ( q ; q 2 ) = 1 1 q 1 + q ( 1 q ) 1 q 3 1 + q 2 ( 1 q 2 ) 1 q 5 1 + q 3 ( 1 q 3 ) 1 = 1 1 q 1 + q ( 1 q ) 1 q 3 1 + q 2 ( 1 q 2 ) 1 q 5 1 + q 3 ( 1 q 3 ) 1 ,
B ( q ) : = ( q ; q 5 ) ( q 4 ; q 5 ) ( q 2 ; q 5 ) ( q 3 ; q 5 ) = 1 1 + q 1 + q 2 1 + q 3 1 + q 4 1 + q 5 1 + q 6 1 + = 1 1 + q 1 + q 2 1 + q 3 1 + q 4 1 + q 5 1 + q 6 1 +
and
C ( q ) : = ( q 2 ; q 5 ) ( q 3 ; q 5 ) ( q ; q 5 ) ( q 4 ; q 5 ) = 1 + q 1 + q 2 1 + q 3 1 + q 4 1 + q 5 1 + q 6 1 + = 1 + q 1 + q 2 1 + q 3 1 + q 4 1 + q 5 1 + q 6 1 + .
By introducing the general family R ( s , t , l , u , v , w ) , Andrews et al. [14] investigated a number of interesting double-summation hypergeometric q-series representations for several families of partitions and further explored the rôle of double series in combinatorial-partition identities:
R ( s , t , l , u , v , w ) : = n = 0 q s n 2 + t n r ( l , u , v , w ; n ) ,
where
r ( l , u , v , w : n ) : = j = 0 [ n u ] ( 1 ) j q u v j 2 + ( w u l ) j ( q ; q ) n u j ( q u v ; q u v ) j .
We also recall the following interesting special cases of (18) (see, for details, (p. 106, Theorem 3) in [14]; see also [8]):
R ( 2 , 1 , 1 , 1 , 2 , 2 ) = ( q ; q 2 ) ,
R ( 2 , 2 , 1 , 1 , 2 , 2 ) = ( q 2 ; q 2 )
and
R ( m , m , 1 , 1 , 1 , 2 ) = ( q 2 m ; q 2 m ) ( q m ; q 2 m ) .
For the sake of brevity in our presentation of the main results, we now introduce the following notations:
R α = R ( 2 , 1 , 1 , 1 , 2 , 2 ) ,
R β = R ( 2 , 2 , 1 , 1 , 2 , 2 )
and
R m = R ( m , m , 1 , 1 , 1 , 2 ) ( m N ) .
Ever since the year 2015, several new advancements and generalizations of the existing results were made in regard to combinatorial partition-theoretic identities (see, for example, [8,15,16,17,18,19,20,21,22,23,24]). In particular, Chaudhary et al. generalized several known results on character formulas (see [22]), Roger-Ramanujan type identities (see [19]), Eisenstein series, the Ramanujan-Göllnitz-Gordon continued fraction (see [20]), the 3-dissection property (see [18]), Ramanujan’s modular equations of degrees 3, 7, and 9 (see [16,17]), and so on, by using combinatorial partition-theoretic identities. An interesting recent investigation on the subject of combinatorial partition-theoretic identities by Hahn et al. [25] is also worth mentioning in this connection.
Here, in this paper, our main objective is to establish a set of six new theta-function identities which depict the inter-relationships that exist between the multivariable R-functions, q-product identities, and partition-theoretic identities.
Each of the following preliminary results will be needed for the demonstration of our main results in this paper (see [26] (pp. 1749–1750 and 1752–1754)):
I. 
If
P = ψ ( q ) q 1 2 ψ ( q 5 ) and Q = ψ ( q 3 ) q 3 2 ψ ( q 15 ) ,
then
P Q + 5 P Q = Q P 2 P Q 2 + 3 Q P + P Q .
II. 
If
P = ψ ( q ) q 1 4 ψ ( q 3 ) and Q = ψ ( q 5 ) q 5 4 ψ ( q 15 ) ,
then
( P Q ) 2 + 3 P Q 2 = Q P 3 P Q 3 5 Q P P Q + 5 P Q 2 + 5 Q P 2 .
III. 
If
P = ψ ( q ) q 1 4 ψ ( q 3 ) and Q = ψ ( q 7 ) q 7 4 ψ ( q 21 ) ,
then
( P Q ) 3 P Q 8 1 + 14 P 5 Q P Q 4 1 = P 6 Q 2 7 P 4 + 7 P 6 Q 2 P 4 3 27 P Q 4 7 P 4 3 + 3 P Q 4 P 4 .
IV. 
If
P = ψ ( q ) q 1 4 ψ ( q 3 ) and Q = ψ ( q 2 ) q 1 2 ; ψ ( q 6 ) ,
then
P Q 2 + 3 P 2 P 2 + Q P 2 = 0 .
V. 
If
P = ψ ( q ) q 1 4 ψ ( q 3 ) and Q = ψ ( q 2 ) q 1 2 ψ ( q 6 ) ,
then
P Q 2 + 3 P 2 + P 2 Q P 2 = 0 .
VI. 
If
P = ψ ( q ) q 1 4 ψ ( q 3 ) and Q = ψ ( q ) q 1 4 ψ ( q 3 ) ,
then
P Q 2 Q P 2 · 3 P Q 2 P Q 2 + P Q 4 + Q P 4 10 = 0 .

2. A Set of Main Results

In this section, we state and prove a set of six new theta-function identities which depict inter-relationships among q-product identities and the multivariate R-functions.
Theorem 3.
Each of the following relationships holds true:
R 1 R 3 R 5 R 15 = R 3 R 5 R 1 R 15 2 q 2 R 1 R 15 R 3 R 5 2 + 3 q R 3 R 5 R 1 R 15 + 3 q 3 R 1 R 15 R 3 R 5 5 q 4 R 5 R 15 R 1 R 3
and
R 1 R 5 R 3 R 15 2 = R 3 R 5 R 1 R 15 3 q 2 R 1 R 15 R 3 R 5 3 5 q 2 R 3 R 5 R 1 R 15 + 5 q 4 R 1 R 15 R 3 R 5 + 5 q 5 R 1 R 15 R 3 R 5 2 + 5 q R 3 R 5 R 1 R 15 2 3 q 3 R 3 R 15 R 1 R 5 2 .
Equations ( 29 ) and ( 30 ) give inter-relationships between R 1 , R 3 , R 5 and R 15 .
R 1 R 7 q 2 R 3 R 21 3 · q 12 [ R 1 R 21 ] 8 [ R 3 R 7 ] 8 1 = 1 q 5 [ R 1 ] 3 R 7 [ R 3 ] 3 R 21 2 7 [ R 1 ] 4 q [ R 3 ] 4 + q [ R 1 ] 3 R 21 [ R 3 ] 3 R 7 2 [ R 1 ] 4 q [ R 3 ] 4 3 14 q 3 [ R 1 ] 5 R 7 [ R 3 ] 5 R 21 · q 6 [ R 1 R 21 ] 4 [ R 3 R 7 ] 4 1 27 q 6 R 1 R 21 R 3 R 7 4 + 21 q R 1 R 3 4 + 21 q 5 [ R 1 ] 2 R 21 [ R 3 ] 2 R 7 4 7 q 2 R 1 R 3 8 .
Equation ( 31 ) gives inter-relationships between R 1 , R 3 , R 7 , and R 21 .
R 1 R 3 2 = q 1 2 R 1 R 6 R 2 R 3 2 + ( 3 q ) 1 2 R 3 R 1 2 + R 2 R 3 R 1 R 6 2 .
Equation ( 32 ) gives inter-relationships between R 1 , R 2 , R 3 , and R 6 .
R α R 2 ( q 6 ; q 6 ) R 6 ( q 2 ; q 2 ) ( q 3 ; q 6 ) 2 = ( 3 q ) 1 2 R α ( q 6 ; q 6 ) ( q 2 ; q 2 ) ( q 3 ; q 6 ) 2 + ( q 2 ; q 2 ) ( q 3 ; q 6 ) R α ( q 6 ; q 6 ) 2 + q 1 2 R 6 ( q 2 ; q 2 ) ( q 3 ; q 6 ) R α R 2 ( q 6 ; q 6 ) 2 .
Equation ( 33 ) gives inter-relationships between R 2 , R 6 , and R α . Furthermore, it is asserted that
R 3 ( q 2 ; q 2 ) ( q 3 ; q 6 ) R 1 R α ( q 6 ; q 6 ) 4 + R 1 R α ( q 6 ; q 6 ) R 3 ( q 2 ; q 2 ) ( q 3 ; q 6 ) 4 + R 3 ( q 2 ; q 2 ) ( q 3 ; q 6 ) R 1 R α ( q 6 ; q 6 ) 2 R 1 R α ( q 6 ; q 6 ) R 3 ( q 2 ; q 2 ) ( q 3 ; q 6 ) 2 · 3 q 1 2 R α R 3 ( q 6 ; q 6 ) R 1 ( q 2 ; q 2 ) ( q 3 ; q 6 ) 2 R 1 ( q 2 ; q 2 ) ( q 3 ; q 6 ) q 1 2 R α R 3 ( q 6 ; q 6 ) 2 10 = 0 .
Equation ( 34 ) gives inter-relationships between R 1 , R 3 and R α .
It is assumed that each member of the assertions ( 29 ) to ( 34 ) exists.
Proof. 
First of all, in order to prove the assertion (29) of Theorem 3, we apply the identity (9) (with q replaced by q 3 , q 5 q 15 ) under the given precondition of result (23). Thus, by using (20) and (21), and, after some simplifications, we get the values for P and Q as follows:
P = ψ ( q ) q 1 2 ψ ( q 5 ) = R 1 q 1 2 R 5
and
Q = ψ ( q 3 ) q 3 2 ψ ( q 15 ) = R 3 q 3 2 R 15 .
Now, upon substituting from these last results (35) and (36) into (23), if we rearrange the terms and use some algebraic manipulations, we are led to the first assertion (29) of Theorem 3.
Secondly, we prove the second relationship (30) of Theorem 3. Indeed, if we first apply the identity (9) (with q replaced by q 3 , q 5 and q 15 ) under the given precondition of the assertion (24), and then make use of (20) and (21), after some simplifications, the following values for P and Q would follow:
P = ψ ( q ) q 1 4 ψ ( q 3 ) = R 1 q 1 4 R 3
and
Q = ψ ( q 5 ) q 5 4 ψ ( q 15 ) = R 5 q 5 4 R 15 .
Now, upon substituting from these last results (37) and (38) into (24), if we rearrange the terms and use some algebraic manipulations, we obtain the second assertion (30) of Theorem 3.
Thirdly, we prove the third relationship (31) of Theorem 3. For this purpose, we first apply the identity (9) (with q replaced by q 3 , q 7 and q 21 ) under the given precondition of (25), and then use (20) and (21). We thus find for the values of P and Q that
P = ψ ( q ) q 1 4 ψ ( q 3 ) = R 1 q 1 4 R 3
and
Q = ψ ( q 7 ) q 7 4 ψ ( q 21 ) = R 7 q 7 4 R 21 ,
which, in view of (25) and after some rearrangements of the terms and the resulting algebraic manipulations, yields the third assertion (31) of Theorem 3.
Fourthly, we prove the identity (32) by applying the identity (9) (with the parameter q replaced by q 2 , q 3 and q 6 ) under the given precondition of (26), we further use the assertions (20) and (21). Then, upon simplifications, we get the values for P and Q as follows:
P = ψ ( q ) q 1 4 ψ ( q 3 ) = R 1 q 1 2 R 3
and
Q = ψ ( q 2 ) q 1 2 ψ ( q 6 ) = R 2 q 1 2 R 6 .
Now, after using (41) and (42) in (26), if we rearrange the terms and and apply some algebraic manipulations, we get required result (32) asserted by Theorem 3.
We next prove the fifth identity (33). We apply the identity (9) (with the parameter q replaced by q , q 3 , q 2 and q 6 ) under the given precondition of (27). We then further use the results (20) and (21). After simplification, we find the values for P and Q as follows:
P = ψ ( q ) q 1 4 ψ ( q 3 ) = ( q 2 ; q 2 ) ( q 3 ; q 6 ) q 1 4 R α ( q 6 ; q 6 )
and
Q = ψ ( q 2 ) q 1 2 ψ ( q 6 ) = R 2 q 1 2 R 6 .
Now, after using (43) and (44) in (27), we rearrange the terms and apply some algebraic manipulations. We are thus led to the required result (33).
Finally, we proceed to prove the last identity (34) asserted by Theorem 3. We make use of the identity (9) (with the parameter q replaced by q , q 3 and q 3 ) under the given precondition of (28). Then, by applying the identities (20) and (21), we obtain the values for P and Q as follows:
P = ψ ( q ) q 1 4 ψ ( q 3 ) = ( q 2 ; q 2 ) ( q 3 ; q 6 ) q 1 4 R α ( q 6 ; q 6 )
and
Q = ψ ( q ) q 1 4 ψ ( q 3 ) = R 1 q 1 4 R 3 .
Thus, upon using (45) and (46) in (28), we rearrange the terms and apply some algebraic simplifications. This leads us to the required result (34), thereby completing the proof of Theorem 3. □

3. Applications Based upon Ramanujan’s Continued-Fraction Identities

In this section, we first suggest some possible applications of our findings in Theorem 3 within the context of continued fraction identities. We begin by recalling that Naika et al. [27] studied the following continued fraction:
U ( q ) : = q ( 1 q ) ( 1 q 3 ) + q 3 ( 1 q 2 ) ( 1 q 4 ) ( 1 q 3 ) ( 1 + q 6 ) + + q 3 ( 1 q 6 n 4 ) ( 1 q 6 n 2 ) ( 1 q 3 ) ( 1 + q 6 n ) + ,
which is a special case of a fascinating continued fraction recorded by Ramanujan in his second notebook [5,28,29]. On the other hand, Chaudhary et al. (see p. 861, Equations (3.1) to (3.5)) developed the following identities for the continued fraction U ( q ) in (47) by using such R-functions as (for example) R ( 1 , 1 , 1 , 1 , 1 , 2 ) , R ( 2 , 2 , 1 , 1 , 2 , 2 ) , R ( 2 , 1 , 1 , 1 , 2 , 2 ) , R ( 3 , 3 , 1 , 1 , 1 , 2 ) and R ( 6 , 6 , 1 , 1 , 1 , 2 ) :
1 U ( q ) + U ( q ) = R ( 1 , 1 , 1 , 1 , 1 , 2 ) R ( 2 , 2 , 1 , 1 , 2 , 2 ) { R ( 2 , 1 , 1 , 1 , 2 , 2 ) } 2 · { ( q 3 ; q 6 ) ( q 6 ; q 12 ) } 3 ,
1 U ( q ) + U ( q ) = R ( 2 , 1 , 1 , 1 , 2 , 2 ) R ( 2 , 2 , 1 , 1 , 2 , 2 ) R ( 1 , 1 , 1 , 1 , 1 , 2 ) R ( 2 , 2 , 1 , 1 , 1 , 2 ) q R ( 3 , 3 , 1 , 1 , 1 , 2 ) R ( 6 , 6 , 1 , 1 , 1 , 2 ) 1 2 ,
1 U ( q ) U ( q ) = f ( q , q 3 ) · R ( 1 , 1 , 1 , 1 , 1 , 2 ) { R ( 2 , 2 , 1 , 1 , 2 , 2 ) } 2 q R ( 6 , 6 , 1 , 1 , 1 , 2 ) R ( 3 , 3 , 1 , 1 , 1 , 2 ) R ( 2 , 2 , 1 , 1 , 1 , 2 ) 1 2 ,
1 U ( q ) + U ( q ) + 2 = R ( 2 , 1 , 1 , 1 , 2 , 2 ) { R ( 1 , 1 , 1 , 1 , 1 , 2 ) } 2 q R ( 6 , 6 , 1 , 1 , 1 , 2 ) R ( 3 , 3 , 1 , 1 , 1 , 2 ) R ( 2 , 2 , 1 , 1 , 2 , 2 )
and
1 U ( q ) + U ( q ) 2 = R ( 2 , 2 , 1 , 1 , 1 , 2 ) { R ( 3 , 3 , 1 , 1 , 1 , 2 ) } 3 q R ( 1 , 1 , 1 , 1 , 1 , 2 ) { R ( 6 , 6 , 1 , 1 , 1 , 2 ) } 3 .
By using the above formulas (48) to (52), we can express our results (29) to (34) in Theorem 3 in terms of Ramanujan’s continued fraction U ( q ) given here by (47).
Remark 2.
Even though the results of Theorem 3 are apparently considerably involved, each of the asserted theta-function identities does have the potential for other applications in analytic number theory and partition theory (see, for example, [30,31]) as well as in real and complex analysis, especially in connection with a significant number of wide-spread problems dealing with various basic (or q-) series and basic (or q-) operators (see, for example, [32,33]).
Each of the theta-function identities (29) to (34), which are asserted by Theorem 3, obviously depict the inter-relationships that exist between q-product identities and the multivariate R-functions. Some corollaries and consequences of Theorem 3 may be worth pursuing for further research in the direction of the developments which we have presented in this article.

4. Connections with Combinatorial Partition-Theoretic Identities

Various extensions and generalizations of partition-theoretic identities and other q-identities, which we have investigated in this paper, as well as their connections with combinatorial partition-theoretic identities, can be found in several recent works (see, for example, [31,34,35]). The demonstrations in some of these recent developments are also based upon their combinatorial interpretations and generating functions (see also [25]).
As far as the connections with many different partition-theoretic identities are concerned, the existing literature is full of interesting findings and observations on the subject. In fact, in the year 2015, valuable progress in this direction was made by Andrews et al. [14], who established a number of interesting results including those for the q-series, q-products, and q-hypergeometric functions, which are associated closely with Schur’s partitions, the Göllnitz-Gordon’s partitions, and the Göllnitz’s partitions in terms of multivariate R-functions. With a view to making our presentation to be self-sufficient, we choose to recall here some relevant parts of the developments in the remarkable investigation by Andrews et al. (see, for details, [14]).
We consider an integer partition of λ with parts λ 1 λ and denote, as usual, its size by
| λ | : = λ 1 + + λ
and its length (that is, the number of parts) by ( λ ) (see, for details, [36]).
Let us now assume that S denotes the set of Schur’s partitions of λ such that
λ j λ j + 1 > 3 ( 1 j 1 ) ,
with a strict inequality. We recall Schur’s partitions as follows:
f S ( x ; q ) : = λ S x ( λ ) q | λ | ,
which is of special interest here due to the following strikingly important infinite-product identity known as Schur’s Second Partition Theorem (see [37]):
f S ( 1 ; q ) = ( q ; q 3 ) ( q 2 ; q 3 )
In fact, Equation (54) yields a double-series representation for the two-parameter generating function for Schur partitions, which is given below:
f S ( x ; q ) = m , n 0 ( 1 ) n x m + 2 n q ( m + 3 n ) 2 + m ( m 1 ) 2 ( q ; q ) m ( q 6 ; q 6 ) n
or, alternatively, as follows (see [14] (p. 103)):
f S ( x ; q ) = ( x ; q 3 ) n 0 x n ( q , q 2 ; q 3 ) n ( q 3 ; q 3 ) n .
We next suppose that GG denotes the set of the Göllnitz-Gordon partitions which satisfy the following inequality:
λ j λ j + 1 2 ( 1 j 1 )
with strict inequality if either part is even. A direct combinatorial argument would now show that
f GG ( x ; q ) : = λ GG x ( λ ) q | λ | = n 0 x n q n 2 ( q ; q 2 ) n ( q 2 ; q 2 ) n
Hence, clearly, we have a new double-series representation of the generating function for the Göllnitz-Gordon partitions, which is given below:
f GG ( x ; q ) = k , m 0 ( 1 ) k x m + + 2 k q m 2 + 4 m k + 6 k 2 ( q ; q ) m ( q 4 ; q 4 ) k .
We also let G denote the set of the Göllnitz partitions which satisfy the following inequality:
λ j λ j + 1 2 ( 1 j 1 )
with strict inequality if either part is odd. Then, the corresponding generating function for the Göllnitz partitions is given by
f G ( x ; q ) : = λ G x ( λ ) q | λ | .
We thus find the following double-series representation of the generating function for the Göllnitz partitions:
f G ( x ; q ) = k , m 0 ( 1 ) k x m + + 2 k q m 2 + 4 m k + 6 k 2 2 k ( q ; q ) m ( q 4 ; q 4 ) k .
Remark 3.
As pointed out by Andrews et al. [14] (p. 105, Equations (1.8) and (1.9)), alternative double-series representations for the double series in Equations (58) and (60) were given in an earlier publication by Alladi and Berkovich [38].
In order to illustrate the connections of the above-mentioned partition-theoretic identities with the multivariable R-functions given by Equations (18) and (19), we note that the Schur’s, the Göllnitz-Gordon and the Göllnitz partition identities can be expressed as follows:
R ( 3 , t , 0 , 2 , 3 , 4 ) = f S q t 1 ; q ,
R ( 2 , t , 0 , 2 , 2 , 2 ) = f GG q t 1 ; q
and
R ( 2 , t , 1 , 2 , 2 , 2 ) = f G ( q t 1 ; q ) .

5. An Open Problem

Based upon the work presented in this paper, we find it to be worthwhile to motivate the interested reader to consider the following related open problem.
Open Problem. Find inter-relationships between R β and R α , R m ( m N ) , q-product identities and continued-fraction identities.

6. Concluding Remarks and Observations

The present investigation was motivated by several recent developments dealing essentially with theta-function identities and combinatorial partition-theoretic identities. Here, in this article, we have established a family of six presumably new theta-function identities which depict the inter-relationships that exist among q-product identities and combinatorial partition-theoretic identities. We have also considered several closely-related identities such as (for example) q-product identities and Jacobi’s triple-product identities. In addition, with a view to further motivating research involving theta-function identities and combinatorial partition-theoretic identities, we have chosen to indicate rather briefly a number of recent developments on the subject-matter of this article.
The list of citations, which we have included in this article, is believed to be potentially useful for indicating some of the directions for further research and related developments on the subject-matter which we have dealt with here. In particular, the recent works by Adiga et al. (see [28,39]), Cao et al. [40], Chaudhary et al. (see [13,21,22]), Hahn et al. [25], and Srivastava et al. (see [23,29,33,41,42,43,44,45]), and by Yee [35] and Yi [31], are worth mentioning here.

Author Contributions

Conceptualization, M.P.C., H.M.S.; Formal analysis, H.M.S.; Funding acquisition, R.S.; Investigation, R.S., M.P.C. and S.U.; Methodology, H.M.S., M.P.C. and S.U.; Supervision, H.M.S. and R.S. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Conflicts of Interest

All four authors declare that they have no conflict of interest.

References

  1. Ernst, T. A Comprehensive Treatment of q-Calculus; Birkhäuser/Springer: Basel, Switzerland, 2012. [Google Scholar]
  2. Slater, L.J. Generalized Hypergeometric Functions; Cambridge University Press: Cambridge, UK, 1966. [Google Scholar]
  3. Srivastava, H.M.; Karlsson, P.W. Multiple Gaussian Hypergeometric Series; Halsted Press: Sydney, Australia; John Wiley and Sons: New York, NY, USA; Chichester, UK; Brisbane, Australia; Toronto, ON, Canada, 1985. [Google Scholar]
  4. Srivastava, H.M.; Choi, J. Zeta and q-Zeta Functions and Associated Series and Integrals; Elsevier Science Publishers: Amsterdam, The Netherlands, 2012. [Google Scholar]
  5. Ramanujan, S. Notebooks; Tata Institute of Fundamental Research: Bombay, India, 1957; Volumes 1 and 2. [Google Scholar]
  6. Ramanujan, S. The Lost Notebook and Other Unpublished Papers; Narosa Publishing House: New Delhi, India, 1988. [Google Scholar]
  7. Berndt, B.C. Ramanujan’s Notebooks; Part III; Springer: Berlin/Heidelberg, Germany; New York, NY, USA, 1991. [Google Scholar]
  8. Srivastava, H.M.; Chaudhary, M.P. Some relationships between q-product identities, combinatorial partition identities and continued-fraction identities. Adv. Stud. Contemp. Math. 2015, 25, 265–272. [Google Scholar]
  9. Baruah, N.D.; Bora, J. Modular relations for the nonic analogues of the Rogers-Ramanujan functions with applications to partitions. J. Number Theory 2008, 128, 175–206. [Google Scholar] [CrossRef] [Green Version]
  10. Jacobi, C.G.J. Fundamenta Nova Theoriae Functionum Ellipticarum; Regiomonti, Sumtibus Fratrum Bornträger: Königsberg, Germany, 1829; Reprinted in Gesammelte Mathematische Werke 1829, 1, 497–538; American Mathematical Society: Providence, RI, USA, 1969; pp. 97–239. [Google Scholar]
  11. Hardy, G.H.; Wright, E.M. An Introduction to the Theory of Numbers, 6th ed.; Oxford University Press: London, UK; New York, NY, USA, 2008. [Google Scholar]
  12. Apostol, T.M. Introduction to Analytic Number Theory; Undergraduate Texts in Mathematics; Springer: Berlin/Heidelberg, Germany, 1976. [Google Scholar]
  13. Chaudhary, M.P. Generalization of Ramanujan’s identities in terms of q-products and continued fractions. Glob. J. Sci. Front. Res. Math. Decis. Sci. 2012, 12, 53–60. [Google Scholar]
  14. Andrews, G.E.; Bringman, K.; Mahlburg, K.E. Double series representations for Schur’s partition function and related identities. J. Combin. Theory Ser. A 2015, 132, 102–119. [Google Scholar] [CrossRef]
  15. Chaudhary, M.P. Some relationships between q-product identities, combinatorial partition identities and continued-fractions identities. III. Pac. J. Appl. Math. 2015, 7, 87–95. [Google Scholar]
  16. Chaudhary, M.P.; Chaudhary, S. Note on Ramanujan’s modular equations of degrees three and nine. Pac. J. Appl. Math. 2017, 8, 143–148. [Google Scholar]
  17. Chaudhary, M.P.; Chaudhary, S.; Choi, J. Certain identities associated with 3-dissection property, continued fractions and combinatorial partition. Appl. Math. Sci. 2016, 10, 37–44. [Google Scholar] [CrossRef] [Green Version]
  18. Chaudhary, M.P.; Chaudhary, S.; Choi, J. Note on Ramanujan’s modular equation of degree seven. Int. J. Math. Anal. 2016, 10, 661–667. [Google Scholar] [CrossRef]
  19. Chaudhary, M.P.; Choi, J. Note on modular relations for Roger-Ramanujan type identities and representations for Jacobi identities. East Asian Math. J. 2015, 31, 659–665. [Google Scholar] [CrossRef] [Green Version]
  20. Chaudhary, M.P.; Choi, J. Certain identities associated with Eisenstein series, Ramanujan-Göllnitz-Gordon continued fraction and combinatorial partition identities. Int. J. Math. Anal. 2016, 10, 237–244. [Google Scholar] [CrossRef]
  21. Chaudhary, M.P.; Choi, J. Certain identities associated with character formulas, continued fraction and combinatorial partition identities. East Asian Math. J. 2016, 32, 609–619. [Google Scholar] [CrossRef] [Green Version]
  22. Chaudhary, M.P.; Uddin, S.; Choi, J. Certain relationships between q-product identities, combinatorial partition identities and continued-fraction identities. Far East J. Math. Sci. 2017, 101, 973–982. [Google Scholar] [CrossRef]
  23. Srivastava, H.M.; Chaudhary, M.P.; Chaudhary, S. Some theta-function identities related to Jacobi’s triple-product identity. Eur. J. Pure Appl. Math. 2018, 11, 1–9. [Google Scholar] [CrossRef] [Green Version]
  24. Srivastava, H.M.; Chaudhary, M.P.; Chaudhary, S. A family of theta-function identities related to Jacobi’s triple-product identity. Russ. J. Math. Phys. 2020, 27, 139–144. [Google Scholar] [CrossRef]
  25. Hahn, H.-Y.; Huh, J.-S.; Lim, E.-S.; Sohn, J.-B. From partition identities to a combinatorial approach to explicit Satake inversion. Ann. Combin. 2018, 22, 543–562. [Google Scholar] [CrossRef] [Green Version]
  26. Baruah, N.D.; Saikia, N. Two parameters for Ramanujan’s theta-functions and their explicit values. Rocky Mt. J. Math. 2007, 37, 1747–1790. [Google Scholar] [CrossRef]
  27. Naika, M.S.M.; Dharmendra, B.N.; Shivashankar, K. A continued fraction of order twelve. Cent. Eur. J. Math. 2008, 6, 393–404. [Google Scholar] [CrossRef]
  28. Adiga, C.; Bulkhali, N.A.S.; Simsek, Y.; Srivastava, H.M. A continued fraction of Ramanujan and some Ramanujan-Weber class invariants. Filomat 2017, 31, 3975–3997. [Google Scholar] [CrossRef]
  29. Srivastava, H.M.; Saikia, N. Some congruences for overpartitions with restriction. Math. Notes 2020, 107, 488–498. [Google Scholar] [CrossRef]
  30. Liu, Z.-G. A three-term theta function identity and its applications. Adv. Math. 2005, 195, 1–23. [Google Scholar] [CrossRef] [Green Version]
  31. Yi, J.-H. Theta-function identities and the explicit formulas for theta-function and their applications. J. Math. Anal. Appl. 2004, 292, 381–400. [Google Scholar] [CrossRef] [Green Version]
  32. Srivastava, H.M. Operators of basic (or q-) calculus and fractional q-calculus and their applications in geometric function theory of complex analysis. Iran. J. Sci. Technol. Trans. A Sci. 2020, 44, 327–344. [Google Scholar] [CrossRef]
  33. Srivastava, H.M.; Singh, S.N.; Singh, S.P. Some families of q-series identities and associated continued fractions. Theory Appl. Math. Comput. Sci. 2015, 5, 203–212. [Google Scholar]
  34. Munagi, A.O. Combinatorial identities for restricted set partitions. Discret. Math. 2016, 339, 1306–1314. [Google Scholar] [CrossRef]
  35. Yee, A.-J. Combinatorial proofs of generating function identities for F-partitions. J. Combin. Theory Ser. A 2003, 102, 217–228. [Google Scholar] [CrossRef] [Green Version]
  36. Andrews, G.E. The Theory of Partitions; Cambridge University Press: Cambridge, UK; London, UK; New York, NY, USA, 1998. [Google Scholar]
  37. Schur, I. Zur Additiven Zahlentheorie; Sitzungsber. Preuss. Akad. Wiss. Phys.-Math. Kl.: Berlin, Germany, 1926. [Google Scholar]
  38. Alladi, K.; Berkovich, A. Göllnitz–Gordon partitions with weights and parity conditions. In Zeta Functions, Topology and Quantum Physics; Springer Series on Developments in Mathematics; Springer: New York, NY, USA, 2005; Volume 14, pp. 1–17. [Google Scholar]
  39. Adiga, C.; Bulkhali, N.A.S.; Ranganatha, D.; Srivastava, H.M. Some new modular relations for the Rogers–Ramanujan type functions of order eleven with applications to partitions. J. Number Theory 2016, 158, 281–297. [Google Scholar] [CrossRef]
  40. Cao, J.; Srivastava, H.M.; Luo, Z.-G. Some iterated fractional q-integrals and their applications. Fract. Calc. Appl. Anal. 2018, 21, 672–695. [Google Scholar] [CrossRef]
  41. Srivastava, H.M. Some formulas of Srinivasa Ramanujan involving products of hypergeometric functions. Indian J. Math. (Ramanujan Centen. Vol.) 1987, 29, 91–100. [Google Scholar]
  42. Srivastava, H.M. A note on a generalization of a q-series transformation of Ramanujan. Proc. Jpn. Acad. Ser. A Math. Sci. 1987, 63, 143–145. [Google Scholar] [CrossRef]
  43. Srivastava, H.M. Srinivasa Ramanujan and generalized basic hypergeometric functions. Serdica (Academician Ljubomir G. Iliev Dedication Vol.) 1993, 19, 191–197. [Google Scholar]
  44. Srivastava, H.M.; Zhang, C.-H. A certain class of identities of the Rogers–Ramanujan type. Pan Am. Math. J. 2009, 19, 89–102. [Google Scholar]
  45. Srivastava, H.M.; Arjika, S.; Kelil, A.S. Some homogeneous q-difference operators and the associated generalized Hahn polynomials. Appl. Set-Valued Anal. Optim. 2019, 1, 187–201. [Google Scholar]

Share and Cite

MDPI and ACS Style

Srivastava, H.M.; Srivastava, R.; Chaudhary, M.P.; Uddin, S. A Family of Theta-Function Identities Based upon Combinatorial Partition Identities Related to Jacobi’s Triple-Product Identity. Mathematics 2020, 8, 918. https://doi.org/10.3390/math8060918

AMA Style

Srivastava HM, Srivastava R, Chaudhary MP, Uddin S. A Family of Theta-Function Identities Based upon Combinatorial Partition Identities Related to Jacobi’s Triple-Product Identity. Mathematics. 2020; 8(6):918. https://doi.org/10.3390/math8060918

Chicago/Turabian Style

Srivastava, Hari Mohan, Rekha Srivastava, Mahendra Pal Chaudhary, and Salah Uddin. 2020. "A Family of Theta-Function Identities Based upon Combinatorial Partition Identities Related to Jacobi’s Triple-Product Identity" Mathematics 8, no. 6: 918. https://doi.org/10.3390/math8060918

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop