Professional Documents
Culture Documents
Bstract: K, N K, N K, N K, N K, N
Bstract: K, N K, N K, N K, N K, N
1. I NTRODUCTION
Y∞
Let (a; q)∞ denote the infinite product (1 − aq n ) (a, q are complex numbers, |q| <
n=0
1). Following theta-functions ϕ, ψ and f with |q| < 1 are classical:
∞
X 2
ϕ(q) := f (q, q) = q n = (−q; q 2 )2∞ (q 2 ; q 2 )∞ , (1.1)
n=−∞
∞
X (q 2 ; q 2 )∞
ψ(q) := f (q, q 3 ) = q n(n+1)/2 = , (1.2)
n=0
(q; q 2 )∞
∞
X
f (−q) := f (−q, −q 2 ) = (−1)n q n(3n−1)/2 = (q; q)∞ . (1.3)
n=−∞
Now we recall the notion of a modular equation. Let K(k) be the complete elliptic integral
of the first kind of modulus k. Recall that
∞ 1 2
Z π2
dφ π X 2 n 2n π
K(k) := p = 2 k = ϕ2 (q), (0 < k < 1), (1.4)
0
2
1 − k 2 sin φ 2 n=0 (n!) 2
√
and set K ′ = K(k ′ ), where k ′ = 1 − k 2 is the so called complementary modulus of k.
′
It is classical to set q(k) = e−πK(k )/K(k) so that q is one-to-one and increases from 0 to
1. Setting α = k 2 one knows that
f (−q) √
−2π n/k
rk,n = , where q = e , (1.9)
k 1/4 q (k−1)/24 f (−q k )
f (q) √
′ n/k
rk,n = , where q = e−π . (1.10)
k 1/4 q (k−1)/24 f (q k )
She also introduced hk,n and h′k,n as follows:
ϕ(q) √
−π n/k
hk,n := , where q = e , (1.11)
k 1/4 ϕ(q k )
ON A NEW PARAMETER INVOLVING RAMANUJAN’S THETA-FUNCTIONS 3
ϕ(−q) √
−2π n/k
h′k,n := , where q = e , (1.12)
k 1/4 ϕ(−q k )
and systematically studied several properties and also found plethora of explicit evaluations
′
of rk,n , rk,n , hk,n and h′k,n for different positive real values of n and k.
In [1], the authors derived a new transformation formula for theta-function ψ(−q), this
transformation formula was studied by Baruah and Nipen Saikia [3] and Yi, Y. Lee and D.
′
H. Paek [12] through parameters lk,n and lk,n as follows:
ψ(−q) √
−π n/k
lk,n := , where q = e (1.13)
k 1/4 q (k−1)/8 ψ(−q k )
and
ψ(q) √
′ n/k
lk,n := , where q = e−π . (1.14)
k 1/4 q (k−1)/8 ψ(q k )
′
and established several evaluations of lk,n and lk,n different positive real values of n and
k.
Recently, Nipen Sikia [8] by using one of the transformation formula recorded by Ra-
manujan introduced the following parameter Ak,n as
ϕ(−q) √
−π n/k
Ak,n = , q = e . (1.15)
2k 1/4 q k/4 ψ(q 2k )
where n and k are positive real numbers. He studied several properties and established
some general theorems for the explicit evaluations of Ak,n .
We define a new parameter A′k,n for any positive real numbers n and k as:
ϕ(q) √
n/k
A′k,n = , q = e−π . (1.16)
2k 1/4 q k/4 ψ(q 2k )
This work is organized as follows. Some notations and background results are listed in
Section 2. We derive new modular equations involving theta-functions ϕ and ψ in Section
3. Several new explicit evaluations of Ak,n and A′k,n , for some positive rationals n and
k are established in section 4. In Section 5 we establish some new modular relations for
a modular function of Level 16 developed by Dongxi Ye and also explicitly evaluate the
function. Finally, in Section 6 we list some general formulas for explicit evaluations of
h′2,n and l2,n
′
and give few examples.
4 S. CHANDANKUMAR AND H. S. SUMANTH BHARADWAJ
2. P RELIMINARY RESULTS
Lemma 2.1. We have [5, Entry 25 (ii), (iii), (iv), (v) and (vii), p. 40]
Lemma 2.2. [5, Entry 11 (i), (iii), (iv) and (v), pp. 122] We have
r 1/8
z α
ψ(q) = , (2.6)
2 q
√ 1/4
2 z α
ψ(q ) = , (2.7)
2 q
√ √
4 z{1 − 1 − α}1/2
ψ(q ) = √ , (2.8)
2 2q
√
8 z{1 − (1 − α)1/4 }
ψ(q ) = , (2.9)
4q
1 1
1 1
2 F1 2 , 2 ; 1; 1 −x
where z := 2 F1 2 , 2 ; 1; x and y := π 1 1 .
2 F1 2 , 2 ; 1; x
1/4 1/4
(αβ) + ((1 − α)(1 − β)) = 1. (2.11)
Lemma 2.4. [5, p. 233, (5.2)] If m = z1 /z3 and β has degree 3 over α, then
(m − 1)3 (3 + m)
β= (2.14)
16m
Lemma 2.5. [5, Entry 10 (i), pp. 122] We have
√
ϕ(q) = z. (2.15)
We end this section by listing few values of r2,n found out by Yi in her thesis [10].
In this section, we establish few theta-function identities involving ϕ and ψ which play
key role in establishing some general Theorems for explicit evaluations is A4,n , A′4,n , and
h′2,n for some rationals n.
ϕ(−q) ϕ(q)
Lemma 3.1. If P := and R := , then
qψ(q 8 ) qψ(q 8 )
R = P + 4. (3.1)
ϕ(−q) ϕ(q)
Lemma 3.3. If P := and R := , then
q 1/4 ψ(q 2 ) q 1/4 ψ(q 2 )
R4 = P 4 + 16. (3.3)
ϕ(−q) ϕ(q)
Lemma 3.4. If P := and R := , then
q 1/8 ψ(q) q 1/8 ψ(q)
16
R4 = P 4 + . (3.4)
R4
ϕ(−q) ϕ(−q)
Lemma 3.5. If P := and Q := , then
ϕ(−q 2 ) qψ(q 8 )
(Q + 4)P 2 = Q. (3.5)
ϕ2 (−q) ϕ(−q)
= . (3.6)
ϕ2 (−q 2 ) ϕ(q)
ϕ(−q) ϕ(−q)
Lemma 3.6. If P := and Q := √ , then
ϕ(−q 2 ) qψ(q 4 )
ϕ2 (q)
= ϕ4 (−q 2 ). (3.8)
ϕ2 (−q)
ϕ(−q) ϕ(−q)
Lemma 3.7. If P := and Q := √ , then
ϕ(−q 2 ) 4 qψ(q 2 )
ϕ4 (q)
= ϕ8 (−q 2 ). (3.10)
ϕ4 (−q)
ϕ(−q) ϕ(−q)
Lemma 3.8. If P := and Q := √ , then
ϕ(−q 2 ) 8 qψ(q)
α = 1 − P 8. (3.12)
ϕ(q) ϕ(q)
Theorem 3.1. If P := and Q := , then
q 3/4 ψ(q 6 ) ϕ(q 3 )
(Q8 − 6Q4 + 8Q2 − 3)P 4 = 256Q6 . (3.14)
Remark 3.2. By transcribing (3.14) using the definition of A′3,n and h3,n one can find
evaluation of A′3,n for some positive rationals n by using the values of h3,n .
ϕ(−q) ϕ(−q 2 )
Theorem 3.3. If P := 8
and Q := 2 , then
qψ(q ) q ψ(q 16 )
8 2P Q
P+ + +4= . (3.17)
Q Q P
It is observed that for |q| < 1, the second factor Q2 P 2 + 4Q2 P + 4Q2 + 16QP + 32P +
4QP 2 + 8P 2 6= 0. Thus the first factor i.e.,
4QP + 8P + QP 2 + 2P 2 − Q2 = 0.
8 S. CHANDANKUMAR AND H. S. SUMANTH BHARADWAJ
Dividing the above equation by P Q and then rearranging, we arrive at (3.17) to complete
the proof.
ϕ(−q)ϕ(−q n ) ϕ(−q)ψ(q 8n )
An := and Bn := (3.20)
q n+1 ψ(q 8 )ψ(q 8n ) q 1−n ϕ(−q n )ψ(q 8 )
ϕ(−q) ϕ(−q 3 )
P := and Q := .
qψ(q 8 ) q 3 ψ(q 24 )
4
αβ = 1 − {(1 − α)(1 − β)}1/4 . (3.23)
Again invoking (1.5) and (2.9) in the above equality and set A3 := P Q and B3 = P/Q,
we arrive at (3.21) to complete the proof.
Proof. The proof of the (3.24) is similar to the proof of the equation (3.22), except that we
use Ramanujan’s modular equations of degree five (2.12), hence we omit the proof.
ON A NEW PARAMETER INVOLVING RAMANUJAN’S THETA-FUNCTIONS 9
In this section, we establish some general theorems for explicit evaluation of Ak,n and
A′k,n by using the modular equations established in Section 3.
3
A1/2,n = r2,n (4.1)
Lemma 4.2. Let n and k be any two positive rational such that k > 1, we have
2
r2,4n rk,4n r2,k2 n
A′k/2,n = 2 . (4.3)
r2,n
Proof. By using the definition of theta functions ϕ(q), ψ(q) and f (−q) , we have
ϕ(q) (q 2 ; q 2 )5∞ (q k ; q k )∞ f 2 (−q 2 ) f 2 (−q 2 ) f (−q 2 ) f (−q k )
= = . (4.4)
ψ(q k ) (q; q)2∞ (q 4 ; q 4 )2∞ (q 2k ; q 2k )2∞ f 2 (−q) f 2 (−q 4 ) f (−q 2k ) f (−q 2k )
By using the definitions of A′k,n and rk,n in (4.4), we arrive at required result.
10 S. CHANDANKUMAR AND H. S. SUMANTH BHARADWAJ
u 1 √5 3
v !
u
A1/2,5 = t + , (4.8)
2 2
q√
A1/2,6 = 21/8 ( 3 + 1)3 ,
4
(4.9)
u √ p √
v !3
u 2 1 2 2−1
A1/2,7 = t + + , (4.10)
2 2 2
q√
A1/2,8 = 29/16 ( 2 + 1)3 ,
4
(4.11)
√ √
A1/2,9 = 3 + 2. (4.12)
Proof. The proof of the above Theorem follows from Lemma 4.1 and the corresponding
values of r2,n from Lemma 2.6.
Proof. The above Theorem can be proved by transcribing the modular equations estab-
lished in Section 3 along with the definition of A′k,n and Ak,n .
To prove Theorem 4.2 (i), we use the definition of Ak,n and Ak,n with n = 4 and
(3.1). Similarly Theorem 4.2 (ii) follows from (3.2), Theorem 4.2 (iii) follows from (3.3),
Theorem 4.2 (iv) follows from (3.4).
ON A NEW PARAMETER INVOLVING RAMANUJAN’S THETA-FUNCTIONS 11
q √ √ √
A4,28 = 2(64641 + 17276 14 + 24432 7 + 45708 2)
q √ √ √
+ 2 (32384 + 22899 2 + 12240 7 + 8655 14), (4.20)
p √
where a = 1 + 2.
To establish the values of A4,n listed in the above Theorem, we use the definition of Ak,n
for k =4 and modular equations established in the Section 3.
where h := A4,3 .
√ √
Since A4,3 > 1, hence on solving h2 − (2 + 2)h − 3 − 2 2 = 0 and since A4,3 > 1,
we arrive at (4.14) to complete the proof.
The values of A4,1/n for n = 2, 3, 4, 7, 8, 9, 12 and 28 can easily be found by using the
fact that A4,n A4,1/n = 1.
Proof of (4.15). Setting n = 1 in (4.21) and using the fact that A4,1 = 1, we get
√ √
h2 = 4h + 2 2 + 2 2h + 2, where h := A4,4 . (4.25)
Since A4,4 > 1, hence on solving the above equation, we arrive at (4.15) to complete
the proof.
Proof of (4.16). Transcribing A7 and B7 , defined in (3.20) along with the definition of
A4,n , we have
where H = A4,7 .
√
Since A4,7 > 1, hence on solving H 2 − (12 + 7 2)H + 1 = 0, we arrive at (4.16) to
complete the proof.
We observe that (4.21) results in a quadratic equation in A4,4n for any know value of
A4,n . We use the value of A4,2 to get A4,8 , A4,3 to get A4,12 , A4,7 to get A4,28 respectively.
Hence we omit the proof. The values of A4,1/n where n ∈ {2, 3, 4, 7, 8, 9, 12, 24} can be
easily found out by the fact that A4,n A4,1/n = 1.
ON A NEW PARAMETER INVOLVING RAMANUJAN’S THETA-FUNCTIONS 13
√ √ √ √ √ √
q q
A′4,12 = 402 + 232 3 + 284 2 + 164 6 + 416 + 240 +294 2 + 170 6
(4.34)
√ q √ √ √ √
q
A′4,8 = 2 2 62 + 44 2 + (28 2 + 40)a + 56 + 40 2 + (36 + 26 2)a ,
(4.35)
√ √ √ √ 1
A′4,28 = 2(64641 + 17276 14 + 24432 7 + 45708 2) 2
√ √ √ 1 (4.36)
+ 2(32384 + 22899 2 + 12240 7 + 8655 14) 2 ,
p √
where a = 1 + 2.
Proof. For proof of Theorem 4.4, we use Theorem 4.2(i) and corresponding values of A4,n
in Theorem 4.3 to complete the proof.
Recently, Dongxi Ye [9] developed and studied a modular function of Level 16 which
is an analogue of Ramanujan’s theories of elliptic functions to alternate bases. For |q| < 1,
∞
Y (1 − q 16j )2 (1 − q 2j )
h(q) = q . (5.1)
j=1
(1 − q j )2 (1 − q 8j )
In his work, he established some basic properties involving h and Ramanujan’s theta func-
tion. In the following Lemma, we list one of the relation
He established modular relation for h(q) connecting with h(−q), h(q 2 ), h(q 4 ) and
ϕ(−q)
h(q 8 ). Note that in Section 3, we have provided algebraic relations between and
qψ(q 8 )
n
ϕ(−q )
for n ∈ 3 and 5 using which one can establish relation connecting h(q) with
q n ψ(q 8n )
n
h(q ), for n ∈ 3 and 5. We list the relation in the following Theorem, set u := h(q) and
vn := h(q n ) then
Proof. Theorem 5.1 follows from the definition of h(q) and equations (3.21) and (3.24).
The evaluations listed in above Lemma follows easily by using the values of A4,n for
n = 1, 2, 1/2, 3, 1/3, 4 and 1/4 respectively established in Theorem 4.3 in (5.3).
Proof. When we transcribe (3.5) by using the definition of h′2,n and A4,n , we get
√
2A + 2h2 = A, (6.9)
Solving the above equation for h2,1/8 and using the fact that h2,1/8 > 1, we complete the
proof.
16 S. CHANDANKUMAR AND H. S. SUMANTH BHARADWAJ
For (6.2)–(6.8), we repeat the same argument as in the proof of (6.1) to complete the
proof.
Proof. When we transcribe (3.7) by using the definition of h′2,n and A2,n , we get
√
2A2 h4 + 2 2h4 = A2 , (6.16)
where h := h′2,n/4 and A := A2,n . Note that the above equation is general formula to
explicitly evaluate h2,n/8 for any positive rationals n. For brevity we prove (6.11) and
(6.12). Put n = 1 in (6.16) and using the fact that A2,1 = 1, we have
√
2 = 2h4 + 1, (6.17)
On solving the above equation and since h′2,1/4 > 1, we arrive at (6.11).
q√ √ √
For proof of (6.12), we let n = 3 and using the value of A2,3 = ( 3 + 2)( 2 + 1)
found by Saikia [8] in (6.16), we get
√ √ √
2h4 + 6 − 2 3 − 2 2 + 3 = 0. (6.18)
On solving the above equation and noting that h2,3/4 > 1, we arrive at the (6.12).
For (6.13)-(6.15), we repeat the same argument as in the proof of (6.12) except we use
the values of A2,1/3 , A2,9 and A2,1/9 respectively obtained by Saikia [8].
Proof. Transcribing (3.9) by using the definition of h′2,n and A1,n , we arrive at (6.19).
ON A NEW PARAMETER INVOLVING RAMANUJAN’S THETA-FUNCTIONS 17
Theorem 6.4.
√
h′2,1 = 27/8 ( 2 − 1)1/8 , (6.20)
√ √ √
h′2,3 = 2−1/8 (−17 − 12 2 + 10 3 + 7 6)1/8 , (6.21)
√ √ √
h′2,5 = 2−1/8 (−161 − 72 5 + 51 10 + 114 2)1/8 , (6.22)
√ √ √
h′2,6 = (85 6 + 147 2 − 208 − 120 3)1/8 , (6.23)
√ √ √
h′2,9 = 2−1/8 (2772 3 − 4801 + 3395 2 − 1960 6)1/8 . (6.24)
Proof. When we transcribe (3.11) by using the definition of h′2,n and A1/2,n , we get
where h := h′2,n and A := A1/2,n Note that the above equation is general formula to
explicitly evaluate h2,n for any positive rationals n. For brevity we prove (6.20). Put
n = 1 in (6.25) and using the fact that A1/2,1 = 1, we have
1
h8 + h16 = . (6.26)
4
On solving the above equation and since h′2,1 > 0, we arrive at (6.20).
For proving (6.21)-(6.24), we use (6.25) along with the corresponding value of A1/2,n
and repeat the same argument as in the proof of (6.12), to complete the proof.
R EFERENCES
[1] C. Adiga, Taekyun Kim, M. S. Mahadeva Naika and H. S. Madhusudhan, On Ramanujan’s cubic continued
fraction and explicit evaluations of theta-functions, Indian J. pure appl. math., 35(9) (2004), 1047–1062.
[2] G.E.Andrews and B. C. Berndt, Ramanujan’s Lost Notebook, Part I, Springer, New York, 2005.
[3] N. D. Baruah and Nipen Saikia, Two parameters for Ramanujan’s theta–functions and their explicit values,
Rocky Mountain J. Math., 37(6) (2007), 1747–1790.
[4] B. C. Berndt, Analytic Eisenstein series, theta-functions, and series relations in the spirit of Ramanujan, J.
Reine Angew. Math. 303/304 (1978) 332-365.
[5] B. C. Berndt, Ramanujan’s Notebooks, Part III, Springer–Verlag, New York, 1991.
[6] B. C. Berndt, Ramanujan’s Notebooks, Part V, Springer–Verlag, New York, 1998.
[7] S. Ramanujan, Notebooks (2 volumes), Tata Institute of Fundamental Research, Bombay, 1957.
[8] Nipen Saikia, A new parameter for Ramanujan’s theta-functions and explicit values, Arab J. Math. Sci., 18
(2) (2012), 105–119.
[9] D. Ye, Level 16 analogue of Ramanujan’s theories of elliptic functions to alternative bases, J. Number Theory,
164 (2016), 191–207.
18 S. CHANDANKUMAR AND H. S. SUMANTH BHARADWAJ
[10] J. Yi, Construction and application of modular equations, Ph.D thesis, University of Illinois at Urbana-
Champaign, 2004.
[11] J. Yi, Theta-function identities and the explicit formulas for theta-function and their applications, J. Math.
Anal. Appl., 292(2004), 381-400.
[12] J. Yi, Yang Lee and Dae Hyun Paek, The explicit formulas and evaluations of Ramanujan’s theta-function
ψ, J. Math. Anal. Appl., 321 (2006), 157–181.