arxiv: v6 [math.nt] 12 Sep 2017

Transcription

1 Counterexamples to the conjectured transcendence of /α) k, its closed-form summation and extensions to polygamma functions and zeta series arxiv:09.44v6 [math.nt] Sep 07 F. M. S. Lima Institute of Physics, University of Brasília, P.O. Box 04455, , Brasília, DF, Brazil Abstract In a recent work, Gun and co-workers have proposed that α) k is a transcendental number for all integer k, k >, and α Q\Z. Here in this work, this proposition is shown to be false whenever k is odd and α is a half-integer. It is also shown that these are the only counterexamples, which allows for a correct reformulation of the original proposition. This leads to a theorem yielding a closed-form expression for the summation of that series, which determines its arithmetic nature. The result is then extended to a sum of polygamma functions and some related zeta series. In view of the recurrent appearance of these series and functions in different areas of mathematics and applications, the closed-form results put forward here could well be included in modern computer algebra systems CAS). Key words: Transcendental numbers, Cotangent derivatives, Polygamma function, Riemann Zeta function, Bernoulli polynomials, Symbolic computations 00 MSC: J8, M4, 33B5, 33F0, 68W30. Introduction In a recent work, Gun, Murty and Rath GMR) have presented the following proposition for a certain Dirichlet series see Theorem 4. in Ref. [4]). Conjecture GMR). Let α Q\Z and k > be an integer. Then + /α)k is a transcendental number. Soon after its publication, I have shown in Ref. [6] that the main result of Ref. [4] namely, its Theorem 3.) is incorrect. So, by suspecting that the above series could converge to an algebraic number for some α Q\Z, I have considered the possibility of finding a counterexample. Though the short proof provided there in Ref. [4] is, at first sight, pretty convincing, after a few tests I have found a simple one: the series is null for α and k 3. Therefore, the original GMR proposition is incorrect. address: fabio@fis.unb.br F. M. S. Lima) Preprint submitted to : arxiv November, 08

2 Here in this work, it is shown that, for all odd values of k, k >, and half-integer valuesof α, boththetheorem4.ofref.[4]anditsproofareincorrect. Bynotingthatthese values of α and k encompass all possible counterexamples, I have succeeded in reformulating the GMR proposition in the form of a new theorem which, on taking into account a recent result by Cvijović [], yields a closed-form expression for + /α)k, α Q\Z, in the form of an algebraic multiple of π k. As a consequence, the arithmetic nature of that series, as well as ψ k α) + ) k+ ψ k α) and some related families of zeta series is determined.. Counterexamples to the GMR proposition Bytestingthe validityofconjecturefork 3andsomerationalnumbersα 0,), I have found the following counterexample. Lemma First counterexample). The series converges to zero hence an algebraic number). Proof. By writing the above series as the sum of two series, one for the non-negative values of n and the other for the negative ones, which is a valid procedure since that series converges absolutely, one has 3 ) n0 3 ) 3 + n0 ) 3 3 ) 3. ) Now, by substituting n m in the series for n < 0 and n j in the series for n 0, one finds 3 8 m m ) 3 +8 j j ) 3 0. The existence of a counterexample to the GMR conjecture implies that its original statement see Theorem 4. ) of Ref. [4]) is false. In fact, by scrutinizing the proof given there in Ref. [4], I have found some defective points. For a better discussion, let us reproduce it below. Proof GMR incorrect proof). We know that α) k α + )k k )! Dk π cotπz) zα, )

3 where D : d dz. It is a consequence of a result of Okada [8] that Dk π cotπz) zα is non-zero. But then it is π k times a non-zero linear combination of algebraic numbers of the form cscπα), cotπα). Thus we have the result. There in the Okada s cited work, Ref. [8], one finds, in its only theorem, the following correct) linear independence result. Lemma Okada s theorem). Let k and q be integers with k > 0 and q >. Let T be a set of ϕq)/ representatives mod q such that the union {T, T} is a complete set of residues prime to q. Then the real numbers D k cotπz) za/q, a T, are linearly independent over Q. Proof. See Ref. [8] for a proof of this lemma based upon the partial fraction decomposition of D k cotπz), valid for all z Z, as well as a theorem by Baker-Birch-Wirsing on cyclotomic polynomials. It is important to emphasize that Lemma says nothing about D k cotπz) za/q when q. In other words, the linear independence over Q is not guaranteed for the half-integer values of z, which makes these values a source of potential counterexamples for the GMR proposition. Moreover, the proof of Okada s theorem is based upon the k following partial fraction decomposition of his function F k z) πi) D k π cotπz), k valid for all complex z Z see Eq. ) of Ref. [8]): k! πi) k z) k which, for positive integer values of k, simplifies to k πi) k Dk π cotπz), z) k )k k )! Dk π cotπz). 3) This equation, by itself, shows that the expression for + /α)k taken into account by Gun and co-workers in their proof in Ref. [4], reproduced in Eq. ) above, is incorrect. In our search for more counterexamples it is suitable to define the following family of real functions whose domain is z R\Z: S k z) : z) k, 4) where k is an integer, k >. All functions S k z) share the following mathematical properties. Here, ϕq) is the Euler totient function. Note that a division by zero occurs whenever m Z. Also, lim z m S k z). 3

4 Lemma 3 Properties of S k z)). The functions S k z) defined in Eq. 4) present the following properties, valid for all z in its domain: i) All functions S k z) are periodic in z, with an unitary period; ii) For even values of k, S k z) > 0; iii) All functions S k z) are differentiable; iv) For odd values of k, k >, S k z) is a continuous, strictly decreasing function in each real interval m,m+), m Z. Proof. Property i) follows from the fact that, k Z, k >, and for all real z Z, S k z +) + /[z +)]k + m /m+z)k S k z). Property ii) is a consequence of the fact that, for any even k, k, every term /z) k of the series that defines S k z) is positive. Property iii) follows from a term-by-term differentiation of the series for S k z) with respect to z, z 0,), which does not affect the convergence in this open interval see, e.g., Theor of Ref. []). 3 The periodicity of S k z) in z is then taken into account to extend its differentiability to all real z Z i.e., all points of its domain). Property iv) follows from a less direct argument. Firstly, from Eqs. 3) and 4) we deduce that, for any positive integer p, and S p+ z) p+)! Dp+ π cotπz) 5) d dz S p+z) p)! Dp+ π cotπz). 6) On isolating the cotangent derivative in Eq. 6) and substituting it in Eq. 5), one finds d dz S p+z) p+) S p+ z). 7) By property ii), S p+ z) > 0, thus ds p+ /dz < 0 for all real z Z. Then, S p+ z) is a strictly decreasing function in each interval over which S p+ z) is a continuous function, namely the disjoint intervals m,m+), m Z. An immediate consequence of the periodicity of the functions S k z) is the repetition of the null result established for α in Lemma. Lemma 4 Counterexamples for k 3). For every integer m, the series is null, hence an algebraic number. m+ ) 3 3 This also follows from the representation of S k z) as a sum of two polygamma functions ψ k z), as will be established in Eq. 6), since each ψ k z) is differentiable for all x 0,). 4

5 Proof. Since S 3 z) is a periodic function with unitary period), as proved in Lemma 3, and S 3 ) 0, as shown in Lemma, then S3 m+ ) 0. In fact, it can be shown that the counterexamples pointed out in Lemmas and 4 are particular cases of a more general set. Lemma 5 Counterexamples for odd k). For every odd integer k, k >, and every m Z, the series m+ k is null, hence an algebraic number. Proof. The proof for S k ) i.e., for m 0), valid for any odd integer k, k >, is analogue to that developed in Lemma for k 3. By writing the corresponding series as the sum of two series, one for n < 0 and the other for n 0, one has S k ) k k ) k + n0 k + n0 ) k k ) k. 8) By substituting n m in the series for n < 0 and n j in the series for n 0, one finds S k k m ) k +k 0. 9) j ) k m The extension of this null result to other half-integer values of z follows from the periodicity of S k z) in z, see property i) of Lemma 3. With these counterexamples and properties in hands, we can reformulate the GMR original proposition. This is done in the next section. j 3. Closed-form summations and arithmetic nature of S k α) Let us present and prove a theorem which corrects the GMR original proposition, determining the summation of the series S k α) for every k Z, k >, and α Q\Z. The theoremmakesuseofb n x), the Bernoullipolynomialofdegree n, implicitly defined by te tx e t B n x) tn, 0 < t < π. 0) n! n0 It also makes use of the floor function x, x R, which returns the greatest integer less than or equal to x. 5

6 Theorem Main result). Let k be an integer, k >. Then, for every α Q\Z, the following closed-form summation holds: α) k ) k+ πq)k qk! s B k f k πs α), q where α : α α is the representative of α in 0,), f k θ) cosθ if k is even and sinθ if k is odd, and q > is the denominator of α. Proof. From Eqs. 3) and 4), we know that, for any integer k, k >, and every real z Z S k z) z) k )k k )! πdk cotπz). ) From Ref. [] see the only theorem at p. 8), we know that, if n, p and q are positive integers and p < q, then s D n cotπz) zp/q ) n πq)n n B n s/q) cosπsp/q) ) s and D n cotπz) n πq)n zp/q ) B s/q) sinπsp/q). 3) If α Q belongs to 0,), we simply take p/q α. Otherwise, we can make use of the periodicity of S k α), see Lemma 3, to find a rational α 0,) such that α) k s α) k. 4) This is accomplished by taking p/q α α α. The closed-form summation of S k α) follows by substituting n k in Eq. ) and k in Eq. 3), and then putting the results in the derivative in Eq. ). From Okada s theorem, our Lemma, one knows that D k cotπz) zα is non-zero, theonlypossibleexceptionsbeingthehalf-integervaluesofα, forwhich α. Let B n B n 0) B n ) be the n-th Bernoulli number. From Eqs. ) and 3), one readily finds D n cotπz) z/ ) n π) n n )B n /n and D n cotπz) z/ 0. 4 Since, for all positive integer n, B n 0, then these derivatives can be taken into account to determine the arithmetic nature of S k α), as follows. 4 Some well-known properties of the Bernoulli numbers were taken into account here, e.g. B n 0 for every odd values of n, n >, and B. 6

7 Corollary Arithmetic nature of S k α)). For any integer k, k >, and every α Q\Z, the series + /α)k is either null or an algebraic multiple of π k. Moreover, it is null if and only if k is odd and α is a half-integer. Proof. As explained just above this corollary, the series S k α) is null if and only if k is odd and α. This conclusion can also be reached by noting that when D k cotπz) zα 0, the resulting equation S k α) 0 has no real roots if k is even, according to property ii) of Lemma 3. For odd values of k, on the other hand, all halfinteger values of α are roots of S k α) 0, as established in Lemma 5. All that rests is to show that the half-integer values of α are the only roots of S α) 0. In fact, in the interval 0,), α is a root of S α) 0 for all positive integer n, as guaranteed by Lemma 5. From properties iii) and iv) of Lemma 3, we know that S z) is a strictly decreasing differentiable function, for all real z 0,). Therefore, S z) cannot be null for two distinct values of z within the interval 0,) and then z is the only root in this interval. This null result can be readily extended to all half-integer values of α due to the periodicity of S k α). When S k α) 0, it is an algebraic multiple of π k because Eqs. ) and 3) imply that, α Q\Z, α being not a half-integer, D k cotπz) zα evaluates to π k times a non-null linear combination, with rational coefficients, of numbers of the form sinθ, cosθ, θ being a rational multiple of π, and these numbers are known to be both algebraic see Sec. III.4 of Ref. [7]). Since π is a transcendental number, as first proved by Lindemann 88), then π k is also transcendental, k Z, k 0. This allows us to reformulate the GMR original proposition. Corollary Reformulation of GMR proposition). Let α Q\Z and k > be an integer. Then + /α)k is either null or a transcendental number. It is null if and only if k is odd and α is a half-integer. Another consequence of Theorem emerges when we write the cotangent derivatives in Eq. 3) in terms of the polygamma function ψ k z) : ψ k) z) d k ψz)/dz k, where ψ 0 z) ψz) : d dz lnγz) is the so-called digamma function, Γz) being the Euler gamma function. From the reflection formula for ψ k z) see, e.g. Ref. [5] and Sec. 5.5 of Ref. [9]), namely ψ k z)+ ) k+ ψ k z) ) k πd k cotπz), 5) valid for all integer k 0 and z C\Z, and taking into account Eqs. 3) and 4), one has S k z) ψ k z)+ ) k ψ k z), 6) k )! which holds for any integer k > and z Z. From Corollary, we know that, for any integer k > and every α Q\Z, S k α) is either null or an algebraic multiple of π k. This implies that k! S k+ α) ψ k α) ) k ψ k α) is either null or an algebraic multiple of π k+. On taking Eqs. ) and 3) into account, we can be indeed more specific. 7

8 Corollary 3 Reflection formula for polygamma function). With the same notation of Theorem, for every integer k, k, and α Q\Z, ψ k α) + ) k+ ψ k α) ) k+ πq) k+ s B k+ f k+ πs α), qk +) q the sum being null if and only if α is a half-integer and k is even. Finally, let us determine the arithmetic nature of a family of zeta series related to the reflection formula for ψ k α). In Eq. 7) of Sec..4 of Ref. [3], one finds the Taylor series expansion z cotz n0 ) n n B n n)! s z n, 7) which converges for all z R, 0 < z < π. By substituting z by πz and using the Euler s formula, namely ζn) ) n n B n π n n)!, 8) where ζs) : n /ns, s >, is the Riemann zeta function, it is easy to deduce that π cotπz) z ζn)z n, 9) the series being convergent for all real z with 0 < z <. 5 By calculating successive derivatives on both sides of Eq. 9), one easily obtains the following formulae for the cotangent derivatives of order m, m 0: and D m π cotπz) m)! z m+ D m+ π cotπz) m+)! z m+ nm+ n ζn) n ) n m) z n m 0) nm+ ζn) n ) n m ) z n m ) From Eqs. ) and 3), by substituting n m j we readily find closed-form summations for these zeta series. Corollary 4 Related zeta series). With the same notation of Theorem, for every positive integer m and rational α, )\{0}, the following summations hold: j j +m )! j )! ζj +m) α j m)! α m+ + )m π πq)m m+ B m+ s/q) sinπs α) s 5 For z 0, the zeta series is null, but Eq. 9) is not valid due to divisions by zero. However, it remains valid for z 0 +, as the reader can easily check. 8

9 and j j +m )! j )! ζj +m) α j m+)! α m+ + ) m π πq)m+ m+ B m+ s/q) cosπs α). s Note that both these zeta series are the sum of a rational number and an algebraic multiple of an integer power of π, except for the former series with α ±, when it reduces to ± m m)!, hence a non-null integer. These new closed-form expressions for zeta series could well be included in systematic collections of zeta series, such as that by Srivastava and Choi [0]. In view of the recurrent appearance of the series and functions studied here in different areas of science, from number theory to statistics and mathematical physics, the implementation of the closed-form expressions presented in this paper in modern computer algebra systems, such as Mathematica and Maple, is worth of consideration. References [] E. D. Bloch, The real numbers and real analysis, Springer, New York, 0. [] D. Cvijović, Values of the derivative of the cotangent at rational multiples of π, Appl. Math. Lett. 009) 7 0. [3] I. S. Gradshteyn and I. M. Rhyzik, Table of Integrals, Series, and Products, 7th ed., Academic Press, New York, 007. [4] S. Gun, M. R. Murty, P. Rath, Transcendence of the log gamma function and some discrete periods, J. Number Theory 9 009) [5] K. S. Kölbig, The polygamma function and the derivatives of the cotangent function for rational arguments, CERN Report CN/96/5 996). [6] F. M. S. Lima, On the possible exceptions for the transcendence of the log-gamma function at rational entries. arxiv: v3 04). [7] I. Niven, Irrational Numbers, MAA, Rahway, NJ, 956. [8] T. Okada, On an extension of a theorem of S. Chowla, Acta Arith /98) [9] F. W. J. Olver, D. W. Lozier, R. F. Boisvert, and C. W. Clark, NIST Handbook of Mathematical Functions, Cambridge University Press, New York, 00. [0] H. M. Srivastava and J. Choi, Zeta and q-zeta functions and associated series and integrals, Elsevier, Amsterdam, 0. 9