arxiv: v3 [math.ca] 24 Sep 2013

Transcription

1 Several special values of Jacobi theta functions arxiv:06.703v3 [math.ca] Sep 03 Abstract István Mező, Using the duplication formulas of the elliptic trigonometric functions of Gosper, we deduce some new special values for the first two Jacobi theta functions. At the end of the paper, we show how is it possible to extend our arguments and deduce a wide variety of additional special values for the Jacobi thetas. In addition, an identity is revealed between these functions and the Weber modular function. Key words: Jacobi theta functions, q-sine function, Jackson q-gamma function, Weber modular function, Euler modular function 99 MSC: 33E05 Introduction By using the relatively new definition of a kind of q-trigonometric function due tor.w.gosper,wededuceanumberofclosedformevaluationsoftheclassical Jacobi theta functions ϑ z,q and ϑ z,q and some of their quotients. We address: istvan.mezo@epn.edu.ec István Mező. URL: István Mező. Present address: Departamento de Matemática Escuela Politécnica Nacional Ladrón de Guevara E-53 Quito, Ecuador This scientific work was financed by Proyecto Prometeo de la Secretaría Nacional de Ciencia, Tecnología e Innovación Ecuador. Preprint submitted to 5 September 03

2 mention a few results preliminarily: iϑ iπ,e π 5/8eπ/3 iϑ iπ,e π eπ/6 π 3/ Γ 5 5 π Γ , 3/ Ourmaintoolwillbearelationbetweentheϑ functionandtheq-sinefunction of Gosper, and a duplication formula for the latter. Both results due to the author [7]. Later, we reveal a combinatorial relation between two elliptic sums, one of them was investigated by Ramanujan. This permits us to connect ratios of the second Jacobi theta function ϑ to the Weber modular function and to the Dedekind eta. Using the known special values of the latters, we will prove among others that ϑ e π/ ϑ e π/ 8+6 /8, ϑ e π/3 ϑ e π/3 / / / / / +9 3 / 3 3/ + 3 3/ /3 Preliminaries. The Jacobi theta functions The first and second Jacobi theta functions are defined via the next doubly infinite sums []: ϑ z,q ϑ z,q where i, z C and q <. n q n+ e n+iz, q n+ e n+iz, There are representations of the above functions only with simply infinite unilateral sums:

3 ϑ z,q n q n+ sin[n+z], 3 ϑ z,q n0 n0 q n+ cos[n+z]. We use the abbreviation ϑ i 0,q ϑ i q i,.. The Gosper q-trigonometric functions Gosper defined his q-trigonometric functions as follows [0]: sin q πz:q z /qz ;q q z ;q q;q 0 < q <, 5 cos q πz:q zq z ;q q z+ ;q q;q 0 < q <. 6 It can be seen that cos q z sin q π z. Moreover sin q z ϑ z,p ϑ p, cos qz ϑ z,p ϑ p. 7 Here p is implicitly defined by the equation lnp lnq π. 8 Based on computer experience, Gosper conjectured [0] that the next theorem is true. Theorem For all 0 < q < and z R, we have sin q z Cqsin q zcos q z, 9 where Cq q q ;q q;q q φ 6 q φ qφ q. 0 The present author offered a proof [7], hence now the above is really a theorem. However, this is not the case with the other conjecture of Gosper with respect to the q-cosine. He stated that cos q z cos q z sin qz. We could not prove this statement, but the numerical evidences are so strong that we have no any doubt on its validity. 3

4 The names q-sine and q-cosine are supported by the fact that lim sin qz sinz, and lim cos qz cosz. q q See [0,,,7] for more on th Gosper q-trigonometric functions..3 The Euler modular function and the q-pochhammer symbols Let x;q n : x qx q n x and x;q : lim n x;q n, if the limit exists. In what follows, q will always be a parameter with q <. This guarantees that the infinite product φq : q;q q n n converge. This function is called the Euler modular function. S. Ramanujan extensively studied this function as a special case of his theta function [,5,6]. What we will widely use, are the special values φ 3 e π/ +3 e π/8 Γ, 5/6 π 3/ φ e π eπ/ Γ, 3 7/8 π3/ φ e π eπ/ Γ, π 3/ φ e π eπ/6 Γ, 5 /8 π3/ φ e e 8π π/3 Γ. 6 9/6 π 3/ These relations except the first one can be found in [6, p. 36]. The first special value will be deduced later in this paper. For further reference we note the simple fact q;q φq φq. 7

5 . The Jackson q-gamma function The Jackson q-gamma function [,9] is defined as Γ q z : φq q z ;q q z 0 < q <. 8 This really generalizes the ordinary Euler gamma function, since Γ q z Γz if q. See more on the q-gamma function in [0, p. 60-]. What is important for us is that there exists a simple connection between the q-sine function and Γ q [7]: sin q πz q Γ q This generalizes Euler s reflection formula sinπz q z Γ q zγ q z. 9 π ΓzΓ z, where Γ is the Euler gamma function. On an approximative version of 9, we refer to [8, Section 7.]. In the next sections we start to build up the ingredients to find special values for ϑ. Our argument is the following: by using the addition formula in Theorem, with some algebra we find several special values for the sin q function expressed by the Euler function and then we put these together into the next theorem below to arrive at our goal. 3 Another formula connecting the first Jacobi theta function and sin q By 7 we see that the sin q Gosper function and ϑ are intimately connected. We give a new relation now. Theorem iϑ izlnq,q q zφ q φq sin qπz. 0 5

6 Proof. The definition of Γ q z gives that Γ q log qqy Γ q log qq/y q ;q q q ;q 3 q. qy;q q/y;q q ;q qy;q q/y;q The denominator can be rewritten via Jacobi s triple product identity [9, p. 5]: q ;q qy;q q/y;q n q n y n. Thus we get that q ;q 3 q Γ q log qqy Γ q log qq/y n q n y n. Realize that if z log qqy, then z log qq/y and y q z. Hence q ;q 3 q Γ q zγ q z n q n q nz. The special value Γ q q ;q q q;q and equation 9 yield the remarkable summation formula for sin q : sin q πz q z q ;q q;q n q n q nz. 3 The sum on the right can be easily transformed to the theta function ϑ : n q n q nz q On the other hand, definition gives that ie iy ϑ y,q If we choose y i zlnq, then ie iy ϑ y,q iq z ϑ i zlnq,q This and 3- gives that n q n+ q nz. n q n+ e niy. n q n+ q nz. 5 sin q πz q q ;q z q q;q iq z ϑ i zlnq,q. 6

7 Then a straightforward rearrangement and substitution z z give our desired formula 0. Special values for sin q In what follows we derive an expression for sin q π/ and sin q π/8. Theorem 3 We have sin q sin q π q q;q 8 q ;q π 8 Here Cq is defined in 0. q 8 φq φq Cq, 6 π sinq +/C q. 7 Latter identity shows that we can not wait for a simple closed form expression for sin q π/ n and sin q kπ/ n in general. However, 7 tends to, which is sinπ/8 this is true, because Cq if q, see the duplication formula in Theorem. Proof.Inordertoprove6,weputz π/in9and.sincesin q π/ and cos q π/ 0 see the definitions, we easily have that π π sin q cos q Cq. According to the definition of Cq, a simple algebraic manipulation proves 6. Now we deal with 7. We apply our duplication formulas for z π/8: sin q π 8 cos q π 8 π π cos q 8 8 Cqsin q π π cos q sin q 8 8., Since cos q z sin q π/ z, we get that the left hand sides coindice, and cos q π/8 sin q 3π/8. Thus Cqsin q π 3π sin q 8 8 3π π sin q sin q

8 Since sin q z sin q π z 0 z π, the duplication formula for sin q with z 3π/8 easily gives that sin q 3π 8 Substituting this into 8, we win sin π q Cqsin π q 8. π sin π q π sin q Cq sin π sin q 8 q. 8 And this is just a quadratic equation in the variable x sin π q 8. Since the value sin π q 8 is surely real and positive, the only one solution will be exactly 7. As an interesting corollary, 6 and 9 together with yield the curiuous product formula Γ q 3 Γ q q q ;q q;q q;q. q;q Or, applying the Euler φ function and 7, Γ q 3 Γ q This is the q-analogue of the classical product q φ q φq φ. q 3 Γ Γ π. Putting the special values of the φ function into the above formula, we get the next special values. Theorem For the Jackson q-gamma function we have Γ e π Γ e π Γ e 8π Γ e π Γ e π 3 Γ e 8π 3 e 9π/6 e π Γ π 3/ 3 8+6, 3 e 9π/8 e π Γ, 3/8 π 3/ e 9π/ e 8π Γ. 6π 3/ 8

9 By our knowledge, these values are entirely new. We finish this section with a short remark on the individual values Γ q. However one can prove the next theorem without using any new results of this paper, we had never met explicitly with these values. Hence, by further references we add the following theorem to the paper. Theorem 5 The next special values hold Γ e π Γ e π Γ e π e 7π/6 e π Γ / π 3/ 3 +3, e 7π/8 e π Γ 8, π 3/ e 7π/ e π Γ, 7/ π 3/ Γ e 8π e 7π/ e 8π Γ. π 3/ Proof. Just use the definition of the q-gamma function together with the transformation formula 7 and the special values Special values for the first Jacobi theta function Applying Theorem and the special values of the q-sine function in Theorem 3, we arrive at the next statement. Theorem 6 For any 0 < q < we have iϑ ilnq,q q /φ q φq, 9 iϑ ilnq,q φ qφq, 30 φq iϑ 8 ilnq,q φ 3 q φq φ φ q q φ q S +. 3 q After the previous steps we are ready now to list some special values for ϑ. We just set e π/, e π, e π and e π in 9 and calculate the given Euler 9

10 function values. Then a considerable simplification can be made to get iϑ iπ,e π/ iϑ iπ,e π e π/8 9/ π 3/Γ eπ/ Γ π, 3/ iϑ iπ,e π eπ/ Γ 5/8 π, 3/ iϑ e π Γ iπ,e π 5/6 π 3/. /3 +3, Then substituting e π, e π, e π in place of q in 30, another set of special values arises: iϑ iπ,e π eπ/6 5 π Γ 8 3/ iϑ iπ,e π e π/8 π 3/ Γ 3, 5, iϑ iπ,e π eπ/ 9/6 5 Γ. π 3/ We exhaust all of our possibilities if we substitute q e π and q e π into 3. First we calculate Cp: Ce π/ 5/ /3 +3 /, Ce π 5/, Ce π. This results iϑ iπ,e π 5/8eπ/3 iϑ iπ,e π eπ/6 π 3/ Γ 5 5 π Γ , 3/ The restricted set of known values of the Euler function permits us to calculate just the above special values, not others. Employing newer techniques, however, it is possible to proceed: see the last section. 0

11 We have to note that behind the above calculations there is an unproven formula,. However, the above special values seems to be entirely correct. As a justification, we calculated ϑ iπ,e π and the given expression on the right up to 500 decimal digits. There is a full agreement. 6 A combinatorial identity between two classes of elliptic series S. Ramanujan investigated sums of the form S n m q mm+/ m+ n, m0 see [5, p.6-]. He also introduced the quantity Q n q m0 m q mm+/ m+ n+ n+ m0. m q mm+/ m+ It isproven see also [,] thatq n isalways a polynomial ofthree functions, L,M,N, where For example [5, p. 65], Lq Mq +0 Nq 50 nq n q n, n n n n 3 q n q n, n 5 q n q n. Q L, 3 3 Q 5 5L M. It is a well known fact that the above sums defining L,M,N are equal to n n a q n q n n σ a nq n, where σ a n d n d a is the generalized divisor function. More on these sums can be found in [3].

12 We introduce the sums and An,q : ϑ q Bn,q : ϑ q m q m+/ m+ n, m0 q m+/ m+ n. m0 Note that An,q equals to S n up to the factor ϑ q. Hence one can rewrite Q n q as Q n q An+, q n+ A,. q Weproveacombinatorial sumwhich connects theellipticsums AandB which will permit us to calculate several quotients of theta functions. This sum is as follows. Theorem 7 For all n 0,,,... and for any 0 < q < Cp n k0 n k k + Ak +, qbn k, q n n+ An+,q, where p and q are connected via the transcendental equation and Cp is defined in 0. lnplnq π, Proof. The proof is easy, we just apply the definition of the q-trigonometric functions and the addition theorem 9. By 7 and by the representations 3- we have that sin p z cos p z n0 n0 n n+! zn+ An+,q, n n! zn Bn,q. We also applied the standard Taylor series representations of sin and cos. If we look at the Taylor coefficients of sin p z and C p sin p zcos p z, they must be equal by 9. This equality yields our theorem.

13 Note that the above sum in the theorem is the elliptic analogue of the well known finite combinatorial identity n k0 n k k + n n+ n 0. The validity of this identity can be proven as we did above using the classical trigonometric functions instead. In the following section we investigate the case n 0 in more detail. 7 Special values of quotients of the second Jacobi elliptic function Theorem 7 specializes to CpA, qb0, q A,q, when n 0. A,q can be expressed with the Euler φ function: A,q q / ϑ qφ 3 q, see [5, p. 53]. Hence we win the next relation. Theorem 8 If 0 < p,q < such that lnplnq π, then ϑ q ϑ q q /8Cp φ 3 q φ 3 q. Corollary If we set q e π/, q e π, q e π in the previous theorem, we get ϑ e π/ ϑ e π/ 8 8+6, ϑ e π/ ϑ e π 5/8, ϑ e π ϑ e π 3/ /3 +3 /. This is all what we get employing the special values of φ. However, we can go much more forward if we realize the connection of the right hand side of the theorem with some new theta identites. But before, we give a connection with the Weber functions. 3

14 7. The Weber function f Theorem 8 easily yields that there is a relationship between the theta quotient ϑ q ϑ and the f q Weber function. The three Weber functions are defined as [7,3,,5,] Here τ+ fτ e iπ/η, f τ η τ ητ ητ,,f τ ητ ητ. is the Dedekind eta function. Theorem 8 readily gives that ητ q / φq, q e πiτ ϑ q ϑ q Cp f τ q e πiτ. If we look at the definition of Cp and we employ the definition of f again, we get the next theorem. Theorem 9 Let 0 < p,q < such that lnplnq π. Then ϑ q ϑ q f τ p f τ p f3 τ q, where τ p and τ q are defined by the equations q e πiτq, p e πiτp. 8 Some additional special values obtained from modular equations As we said before, it is possible to extend our results by using Weber functions and some new theta identities obtained by several recent authors [9,3]. Up to now we deduced all the possible special values what the Euler function values -6 enabled see the results after Theorem 6 and Theorem 8. From now on we just can give some directions what one could follow to obtain new special values for theta functions.

15 8. The special value of φe π/ First we show how one can proceed winning new special values of the Euler modular function φ. Especially, we show that really holds: φ e π/ 3 +3 e π/8 Γ. 5/6 π 3/ The Weber functions are related as follows [7, p. 69] ff f, f 8 f 8 +f 8. Then substituting into this latter equation the identity f f f we get that f f 8 f 8 +f 8. Then employing the definition of f we substitute and we rearrange to arrive at f f τ f 6 τ f8 τf6 τ+6f8 τ. 33 Now let τ i/. By the relation between φ, η and f we get that f i /8. Substituting this into 33, we can solve the resulting equation of degree 6 by Mathematica, for example. This gives that i f 3 /8. Hence we can trace back this by the definition of f and the relation between η and φ to finalize the proof. During the course we need the special values ηi and ηi/ but these can easily be calculated from φe π and φe π, respectively. Note that this argument above is capable to give φe π/ etc., too. 5

16 8. A modular equation of Naika We shall prove two additional results, namely, and ϑ e π/3 ϑ e π/3 3 / / / / / +9 3 / 3 3/ + 3 3/ +7 6, /3 ϑ 3iπ/,e 3π ϑ 3iπ/,e 3π / / /3 e 9π/ / +9 3 / 3 3/ + 3 3/ +7 6 /3. Following M. S. M. Naika, we define the functions P φq q / φq, Q n φq n q n/ φq n. Then [9] PQ PQ 3 Q3 P. 3 P Q 3 Putting q e π/ it is possible to calculate P, andfrom the equation of Naika, Q 3 comes by using some heavier algebra which was aided by the mathematical package Mathematica. Substituting the calculated value of Q 3 into the definition of Cp when lnplnq π, 3 can be calculated after some algebra by Theorem 8. The same can be done to get the special value 35 but here we have to use the quotient of 9 and 30. We note that Naika deduced modular equations with respect to Q 5, Q 7 and Q, and Vasuki and Sreeramamurthy for other variants, too. With these and with 0 in principle is possible to get closed forms for other theta quotients, however, the underlying algebraic manipulations are getting more and more difficult. Acknowledgement The author is grateful to Prof. William B. Hart, who gave the argument to deduce in subsection 8.. 6

17 References [] G. E. Andrews, R. A. Askey and R. Roy, Special functions, Cambridge Univ. Press, 999. [] G. E. Andrews, B. C. Berndt, Ramanujan s lost notebook, Vol. IV., Springer, 99. [3] T. M. Apostol, Modular functions and Dirichlet series in number theory second ed., Springer, 990. [] J. V. Armitage and W. F. Eberlein, Elliptic functions, Cambridge Univ. Press, 006. [5] B. C. Berndt, Ramanujan s lost notebook, Vol. III., Springer, 99. [6] B. C. Berndt, Ramanujan s lost notebook, Vol. V., Springer, 998. [7] J. M. Borwein, P. B. Borwein, Pi and the AGM A study in analytic number theory and computational complexity, John Wiley & Sons, 987. [8] A. El-Guindy, Z. Mansour, Functional definitions for q-analogues of Eulerian functions and applications, Aeq. Math , [9] G. Gasper and M. Rahman, Basic hypergeometric series second edition, Cambridge Univ. Press, 00. [0] R. W. Gosper, Experiments and discoveries in q-trigonometry in Symbolic computation, number theory, special functions, physics and combinatorics. Editors: F. G. Garvan and M. E. H. Ismail. Kluwer, pp , 00. [] R. W. Gosper, Strip mining in the abandoned orefields of nineteenth century mathematics, in Computers in Mathematics, Lecture Notes in Pure and Appl. Math., vol. 5, Dekker, New York, 990, pp [] R. W. Gosper, M. E. H. Ismail and R. Zhang, On some strange summation formulas, Illinois J. Math , [3] W. B. Hart, Modular equations and eta evaluations, Aust. Math. Soc. Gazette, 3 00, p [] W. B. Hart, Schlaefli modular equations for generalized Weber functions, Ramanujan J , p [5] W. B. Hart, Class invariants from a new kind of Weber-like modular equation preprint. [6] M. E. H. Ismail, Y. Takeuchi and R. Zhang, Pages from the computer files of R. William Gosper, Proc. Amer. Math. Soc ,

18 [7] I. Mező, Duplication formulae involving Jacobi theta functions and Gosper s q-trigonometric functions, Proc. Amer. Math. Soc. 7 03, 0-0. [8] I. Mező, A q-raabe formula and an integral of the fourth Jacobi theta function, J. Number Th. 33 0, [9] M. S. M. Naika, P-Q eta-function identities and computation of Ramanujan-Weber class invariants, J. Indian Math. Soc., , -3. [0] H. M. Srivastava, J. Choi, Zeta and q-zeta functions and associated series and integrals, Elsevier, 0. [] S. Ramanujan, On certain arithmetic functions, Trans. Cambridge Phil. Soc. 96, [] S. Ramanujan, Collected papers, Chelsea, 96. [3] K. R. Vasuki, T. G. Sreeramamurthy, A note on P-Q modular equations, Tamsui Oxf. J. Math. Sci. 005, [] H. M. Weber, Lehrbuch der Algebra 3rd edition, American Mathematical Society,