arxiv:math/ v1 [math.ca] 30 Mar 2004

Transcription

1 arxiv:math/00v [math.ca] 0 Mar 004 Expressions for values of the gamma function Raimundas Vidūnas Kyushu University February 00 Abstract This paper presents expressions for gamma values at rational points with the denominator dividing 4 or. These gamma values are expressed in terms of 0 distinct gamma values and rational powers of π and a few real algebraic numbers. Our elementary list of formulas can be conveniently used to evaluate for example algebraic Gauss hypergeometric functions by the Gauss identity. Also algebraic independence of gamma values and their relation to the elliptic K function are briefly discussed. Introduction The gamma function [AAR Chapter ] satisfies the difference equation the Euler reflection formula x + xx x x π sinπx and the Gauss multiplication formula x x +... x + n n nx π n nx. n n In the last formula n is a positive integer. Its special case n is known as Legendre s duplication formula. We refer to these functional equations for the gamma function as the standard equations. Values of the gamma function at rational points are of broad interest. By historical motivation n n! when n is a positive integer. An easy consequence of the reflection formula is π. By using difference equation one can evaluate x Supported by the Century COE Programme Development of Dynamic Mathematics with High Functionality of the Ministry of Education Culture Sports Science and Technology of Japan.

2 for rational x with the denominator. No explicit evaluations of other gamma values are known. Some gamma terms i.e. quotients of products of gamma values occur as values of hypergeometric functions at special points [AAR] and as period integrals [KZ] [De]. In particular this applies to values of the elliptic K-function at so-called elliptic integral singular values [Zu] [SC] [Ca]. Conversely some gamma values at rational points can be expressed in terms of elliptic integrals; see [BZ] [Wa] and Section in this paper. The purpose of this paper is to present explicit relations between gamma values in the set { k n k n Z; 0 < k } < ; n divides 4 or. 4 n We show that standard formulas imply that all these gamma values can be multiplicatively expressed in terms of rational powers of π rational powers of few algebraic numbers and the following 0 gamma values: In Section we present explicit expressions for the gamma values in 4 in these terms. By using difference equation and our list of formulas one can express any gamma value at a rational point with the denominator dividing 4 or in the same fashion. In Section we indicate an elementary proof of our evaluations and show that the standard formulas do not imply any relations between the distinguished values in. If Lang s conjecture [La] is true those 0 gamma values and the constant π are algebraically independent over Q. Relations between gamma values at rational points with small denominators are widely known; see [WR page GammaFunction.html] for example. Some tricky relations between gamma values from the set 4 are derived in [BZ] [Ka] and probably by other authors. Of special interest are gamma terms with algebraic values [KO] [Da]. Our list of relations between gamma values may be useful for many purposes. For example explicit evaluation of algebraic Gauss hypergeometric functions at x requires gamma values at rational points with the denominators dividing 4 or ; see Section 4. Our formula list is precisely enough for this purpose. In Section we present available expressions of gamma values in in terms of the elliptic K-function.. Explicit formulas Here we present a list of explicit expressions of gamma values in the set 4 in terms of the gamma values in. A proof of these relations is indicated in the following Section. A comparable list of expressions for gamma values is available at [Koo].

3 To make formulas more compact we introduce the following constants: φ + φ ψ + ψ. 6 Note that φφ 0 ψ ψ ψ φ / / ψ φ / /. 7 We express gamma values from 4 in terms of the values in and rational powers of the following constants: π ± ± ± ± φ φ ± ψ ± ψ 0 ± φ 0 ± φ. When applying our formulas to gamma terms it is easy to invert and simplify these algebraic numbers. Some useful expressions with these algebraic numbers are presented in Lemma. in the next Section. Here is our list of formulas: π π π 4 6 π / π φ π/ 4/ 6 π φ π 4 7 π /4 π /4 + 4 φ π φ π 7/0 0 / 9 π / π/ 7/0 φ 0 / + π /4 4 π /4 / 4 π /4 / 4

4 π/ /4 + / 4 φ ψ 7/0 / φ ψ ψ / /0 9/0 φ + ψ /6 π ψ 9/0 / π /0 π 7/0 + ψ /6 π φ + ψ + ψ π φ 0 φ 0 /0 7/ 0 π φ /0 / 0 0 π 0 φ φ / / φ 0 π /0 0 φ + φ / 0 π /0 0 φ + φ / 0 π 0 0 φ + φ + φ 0 π /6 4 π /4 /

5 π / / 4 4 / / π / π / + 4 π / /0 φ + ψ π 6/ /6 /0 φ + ψ π / /6 π φ ψ / /0 / π 7/0 φ ψ 4/0 / π φ ψ / 7/0 / π /0 φ ψ /0 / π/ φ + ψ /0 /0 /6 π/ φ + ψ /0 9/0 /6 0 π φ ψ φ /4 7/4 π φ + ψ 7 /0 /0 / 0 π φ ψ φ 7 /4 /4 π φ ψ 7/ 9/0 /

6 π φ 0 + φ /0 /0 7/ π φ 0 φ /0 9/0 7/ 7 9/0 φ + ψ /0 /6 /0 φ + ψ 7 7/0 /6 π /0 9/0 0 φ + φ / π φ + 7 7/4 π /0 /0 0 φ + φ 7 / π φ + + /4 π φ ψ + φ 7 /4 /4 π φ ψ + φ. /4 /4 Proof of the formulas Here we give an elementary proof of all identities in the previous Section. We do not reproduce detailed computations in our proofs; they are quite straightforward though tedious. Lemma. gives compact expressions for some products of employed algebraic numbers. We also show that the standard equations do not imply any relations between gamma values in and discuss briefly algebraic independence of those gamma values. Along the way we give a set of 6 gamma values which are enough to express any gamma value at a rational point with the denominator dividing 0. First we indicate relevant values of the sine function. To read off the sinus values one has to compare formulas in Lemma. with the following form of Euler s identity: π exp ix sin x + i sin x. 9 For completeness recall the well-known values exp iπ +i and exp iπ 4 +i. 6

7 Lemma. With the same notation as in 6 the following formulas hold: iπ exp φ + i ψ iπ 4 exp φ + i ψ 4 iπ + + i iπ + + i exp exp /4 iπ ψ + + i ψ iπ ψ exp φ + + i ψ exp φ 4iπ ψ + i ψ + 7iπ ψ exp φ + i ψ exp φ iπ exp φ ψ + + i ψ iπ 0 4 exp + ψ + i ψ φ 0 4 iπ i exp 4 /4 7iπ + + i + exp 4 /4 iπ + ψ + + i ψ + exp φ 0 7iπ ψ i + + ψ exp φ 0 iπ + ψ + + i ψ + exp φ 0 9iπ ψ i + + ψ exp φ. 0 Proof. One can deduce the first two formulas by checking the sign of real and imaginary parts on their right-hand sides and checking the respective equations x ± 0. The remaining formulas can be consequently deduced by inspecting the values of iπ iπ iπ iπ exp iπ iπ exp iπ exp exp iπ iπ exp exp exp exp exp 4 iπ iπ iπ iπ iπ exp exp exp exp exp iπ iπ iπ iπ iπ exp exp exp exp exp iπ iπ iπ 7iπ iπ exp exp exp exp exp. Simplification of each exponential expression relates the respective exponent value to earlier concluded exponent values so it is enough to check those relations with substituted algebraic 7

8 expressions and sometimes the sign of the new exponent value. Now we present some expressions with employed algebraic numbers. They can be used to simplify evaluated gamma terms and to transform the sinus values in the previous Lemma. Lemma. With the same notation as in 6 the following formulas hold: ψ ψ φ + φ φ φ + ψ ψ φ φ φ φ ± ψ ± ψ φ ψ ± 0 ± φ 0 ± φ ψ ± ± ψ ψ φ ± ψ ψ ± ψ ψ ± ± ψ 0 ± φ ψ 0 ± φ 0 ± ψ ± φ 0 ψ ± φ ± + ± ± ± φ ± φ 0 ± φ 0 φ ± ψ ψ ± ψ ψ ± φ + + ± ψ 7/4 /4 φ + ψ ± 7/4 /4 φ + + ψ ± 7/4 /4 φ + ± ψ 7/4 /4 + ± ± ± ± ±. Formulas with ± signs represent two identities which can be read by taking the upper signs or the lower signs respectively. Proof. The identities can be proved by direct manipulation. The following Lemma is important for proving independence of the gamma values in with respect to the standard equations. Lemma. Let N denote an integer greater than and let ϕn denote Euler s totient value. Let Σ be the set of gamma values at rational points with the denominator dividing N. Suppose that Σ 0 is a minimal subset of Σ which determines all other gamma values in Σ by the standard equations. Then Σ 0 has precisely ϕn/ elements.

9 Proof. This is a reformulation of Kubert s theorem in [Ku]. See also [La Chapter ]. In the setting of the last Lemma the set { } k N gcdk N k < N looks like a natural candidate for Σ 0. This is a false impression in general. One can check the formulas in Section and notice that for N gamma values at rational points with the denominator N depend on fewer gamma values of than ϕn/. In these cases gamma values in the mentioned set are dependent. Here we prove our main results. Along the way we complement the set in to a generating set for gamma values at rational points with the denominator dividing 0. Note that 0 is the lowest common multiple of 4 and. Theorem.4. Formulas in Section hold.. Standard equations imply that any gamma value with the denominator dividing 0 can be expressed in terms of and the following 6 gamma values: Standard equations do not imply any relations between gamma values in. Proof. For x Q let Rx denote reflection formula and let M n x denote multiplication formula. Consider the following sequence of formulas: R R R R R M R M R R M M R R M M R R M R R M M R R 9 7 M R R M M R R M M M R R R R M M M M R R R R M M M M M R M R R R R R R R. This statement also holds for the total set of 6 gamma values in and 0. 9

10 We claim that these formulas seen as equations in gamma values from the set 4 have a unique solution if the gamma values in are assumed to be known. To prove this claim note that the first 4 formulas up till R 0 determine consequently the gamma values at Each of those 4 formulas relates the respective gamma value to earlier concluded gamma values and the gamma values in like in the proof of Lemma.. The next 4 formulas up till R express the products 7 7 in terms of gamma values in and at the points in. Straightforward manipulation of those 4 formulas expresses the gamma values at 7 in terms of and the earlier values. Similarly the next formulas up till R 4 consequently determine 4 4 ; and then the subsequent 4 formulas all together determine 7. In the same way the next formulas M 0 R 0 R 9 0 consequently determine ; and then the following 4 formulas all together determine The remaining formulas starting from M 4 consequently determine gamma values at We see that formulas are independent and that they unique determine the mentioned gamma values. Also the gamma values in and the consequently concluded gamma values exhaust all elements of the set in 4. The claim follows. To prove the first statement of the theorem it is enough now to check that evaluations in Section are compatible with the sequence of formulas introduced at the beginning of this proof. Identities in Lemmas. and. are very helpful in these computations. Here we show the second statement of the Theorem. We need to check the gamma values at rational points with the denominators and 0. The equations M M M 7 R 9 M M determine consequently the gamma values at 7 9 in terms of and 0. After this other gamma values at rational points with the denominator are determined by reflection formulas. Similarly the equations M 0 7 M 0 M 4 0 M 47 0 M 0 R M M 0 7 M 0 M M 0 M 0 M 0 M 4 0 Gamma values cannot be determined entirely consequently. As was noted in [Da] some relations between gamma values are implied by the standard equations up to taking square roots of both sides of an equality. 0

11 determine consequently the gamma values at After this other gamma values at rational points with the denominator 0 are determined by reflection formulas. Now we show the third statement of the Theorem. We apply Lemma. with N 0 and conclude that the generating set of 6 gamma values in and 0 cannot be made smaller. Therefore the standard equations do not imply any relations between those 6 values. This certainly applies to the subset of gamma values. Explicit expressions of Chapter and of all gamma values at rational points with the denominator dividing 0 in terms of and 0 are available as small Mathematica and Maple packages via webpage [KTV]. In those packages the list of algebraic numbers for multiplicative expressions of the gamma values is extended by 6 ± 0 ± φ ± ± φ φ ± ± φ. Here we discuss briefly algebraic independence of gamma values. Rohrlich s conjecture [Wa Section.] implies that all multiplicative relations between gamma values at rational points are implied by the standard equations. The stronger Lang s conjecture [La Ch. ] implies that all algebraic relations between gamma values at rational points are implied by the standard equations. If these conjectures are true we have respectively multiplicative or algebraic independence of the distinguished gamma values in. Analogues of these conjectures are proved for the Thakur s gamma function in positive characteristic [ABP]. It is known that all Q-linear relations between the beta values Ba b with a b a + b Q \ Z are implied by the standard equations [WW]. Chudnovsky proved that and 4 are transcendental over Qπ; see [Wa]. Algebraicity of gamma terms is determined assuming Rohrlich s conjecture by Koblitz-Ogus criterion [KO]. 4 Application to algebraic hypergeometric functions It is well-known that Gauss hypergeometric functions can be evaluated at some points in terms of the gamma function. The most important formula is the Gauss identity [AAR Theorem..]: F a b c cc a b if Rec a b > 0. c ac b Akin to this identity linear relations between the 4 Kummer s solutions of the hypergeometric differential equation and analytic continuation formulas for the Gauss hypergeometric

12 function involve similar gamma terms. An example is [AAR Corollary..]: a b F c x cc a b a b c ac b F a + b + c x ca + b c c a c b + x c a b F a b c + a b x. Our formulas in Section can be used to evaluate widely used instances of the Gauss hypergeometric function most explicitly. In particular evaluation of algebraic Gauss hypergeometric functions with requires gamma values at rational points with the denominator dividing 4 or ; see [Sch] [Ka] [Vi]. The formulas in Section are precisely sufficient to evaluate algebraic Gauss hypergeometric functions at x. Here are a few examples: 4 F + 4 /4 / F 4 4 F F / φ + + 7/4 + ψ 9/0 /0. / More of these evaluations are independently presented in [Ka]. Explicit expressions for algebraic Gauss hypergeometric functions are given in [Vi]. Gamma values and hyperelliptic integrals As is known [BZ] some gamma values can be expressed in terms of special values of the elliptic K-function i.e. complete elliptic integral of the first kind. The advantage of doing this is that numerical values of the elliptic K-function can be very effectively computed using the arithmetic-geometric mean; see [AAR Section.] and [BB pg. 7]. Here we present direct expressions for most of gamma values from in terms of the elliptic K-function. By combining the data in [WR pages EllipticIntegralSingularValue.html EllipticLambdaFunction.html] and our formulas in Section we get the following evaluations: 4 / π/ 7/9 K / / π K /4 /4 / π / 7/ K K

13 0 4 π/6 9/ /4 φ ψ + / / K /9 K 9/ / φ / ψ + π /4 / / / K π /4 9/6 /4 + /4 K /4 K K /. /6 / / Other gamma values in can be expressed in terms of hyperelliptic integrals. For example consider the integrals: H 0 dz z H 0 z dz z. Note that the two differentials under integration form a basis for the space of holomorphic differentials on the genus curve y x. We have B H B H ; this can be seen after the substitution t z in the standard definition [AAR Definition..] of the beta integral. From the two beta values we conclude π / 9/0 φ /0 H / H / π / 4/ φ / H / H /. To get similar expressions for gamma values at rational points with the denominator one may substitute t z 0 into the beta integrals B and B 7 and get hyperelliptic integrals on the genus curve y x x. Possibly there are integrals on lower genus curves related to those gamma values. References [AAR] G.E. Andrews R. Askey R. Roy Special Functions Cambridge Univ. Press Cambridge 999. [ABP] G.W. Anderson W.D. Brownawell M.A. Papanikolas Determination of the algebraic relations among special -values in positive charateristic accepted by Annals of Mathematics; available at [BB] [BZ] J.M. Borwein D.H. Bailey Mathematics by Experiment; Plausible Reasoning in the st Century A.K. Peters Natick Ma 00. J.M. Borwein I.J. Zucker Fast evaluation of the gamma function for small rational fractions using complete elliptic integrals of the first kind IMA J. of Numer Analysis 99 pg. 9 6.

14 [Ca] R. Campbell Les intégrales eulériennes et leurs applications Dunod Paris 966. [Da] P. Das Algebraic gamma monomials and double coverings of cyclotomic fields Trans. Amer. Math. Soc. Vol. No. 000 pg [De] P. Deligne Valuers de fonctions L et périodes d intégrales Proc. Sympos. Pure Math. 979 part pg [Ka] [KO] M. Kato Connection formulas for algebraic hypergeometric functions preprint of Ryukyus Univ. 004; submitted to the Kyushu Journal of Mathematics. N. Koblitz A. Ogus Algebraicity of some products of values of the function Appendix to the reference [De] pg [Koo] J. Kool Gamma Values website [KTV] T. H. Koornwinder N. Temme R. Vidunas Algorithmic Methods for Special Functions by Computer Algebra NWO research project website thk/specfun/compalg.html. [Ku] [KZ] [La] [SC] [Sch] [Vi] D. Kubert The universal ordinary distribution Bull. Soc. Math. France pg M. Kontsevich D. Zagier Periods in B. Engquist W. Schmid Ed. Mathematics Unlimited 00 and Beyond Springer Berlin 00 pg S. Lang Cyclotomic Fields I and II Graduate Texts in Mathematics No Springer- Verlag New York 990. A. Selberg S. Chowla On Epstein s zeta function J. Reine Angew. Math pg H. Schwarz Ueber diejenigen Falle in welchen die Gaussische hypergeometrische Reihe eine algebraische Funktion ihres vierten Elements darstelt J. Reine Angew. Math. 7 7 pg. 9. R. Vidunas Darboux evaluations of algebraic Gauss hypergeometric functions preprint Kyushu university 004. [Wa] M. Waldschmidt Les travaux de G.V. Chudnovsky sur les nombres transcendants in Séminaire Bourbaki Vol. 97/76 e année Exp. No 4 pg. 74 9; Lecture Notes in Math. Vol. 67 Springer Berlin 977. [Wa] M. Waldschmidt Open Diophantine Problems to appear in Moscow Mathematical Journal Vol. 4 No. 004; available at [WR] Wolfram Research Mathworld website [WW] J. Wolfart G. Wüstholz Der Überlagerungradius gewisser algerbaischer Kurven und die Werte de Betafunktion an rationalen Stellen Math. Ann. 7 9 pg.. [Zu] I.J. Zucker The evaluation in terms of -functions of the periods of elliptic curves admitting complex multiplication Proc. Camb. Phil. Soc 977 pg.. 4