On the Interplay Among Hypergeometric Functions, Complete

On the Interplay Among Hypergeometric Functions, Complete

On the interplay among hypergeometric functions, complete elliptic integrals, and Fourier–Legendre expansions a, b c John M. Campbell ∗, Jacopo D’Aurizio , Jonathan Sondow aDepartment of Mathematics and Statistics, York University, Toronto, Ontario, M3J 1P3 bDepartment of Mathematics, University of Pisa, Italy, Largo Bruno Pontecorvo 5 - 56127 c209 West 97th Street, New York, NY 10025 Abstract Motivated by our previous work on hypergeometric functions and the parbelos constant, we perform a deeper investigation on the interplay among general- ized complete elliptic integrals, Fourier–Legendre (FL) series expansions, and pFq series. We produce new hypergeometric transformations and closed-form evaluations for new series involving harmonic numbers, through the use of the integration method outlined as follows: Letting K denote the complete elliptic integral of the first kind, for a suitable function g we evaluate integrals such as 1 K √x g(x) dx Z0 in two different ways: (1) by expanding K as a Maclaurin series, perhaps after a transformation or a change of variable, and then integrating term-by-term; and (2) by expanding g as a shifted FL series, and then integrating term-by-term. Equating the expressions produced by these two approaches often gives us new arXiv:1710.03221v4 [math.NT] 13 Feb 2019 closed-form evaluations, as in the formulas involving Catalan’s constant G 2 4 1 ∞ 2n Hn+ 1 Hn 1 Γ 4G 4 − − 4 = 4 , n 16n 8π2 − π n=0 X 2 2 2m 2n 7ζ(3) 4G m n = − . 16m+n(m + n + 1)(2m + 3) π2 m,n 0 X≥ ∗Corresponding author Email address: [email protected] (John M. Campbell) Preprint submitted to Journal of Mathematical Analysis and Applications February 14, 2019 Keywords: Infinite series, Hypergeometric series, Complete elliptic integral, Fourier–Legendre theory, Harmonic number 2010 MSC: 33C20, 33B15 1. Introduction In the history of mathematical analysis, there are many strategies for com- puting infinite series in symbolic form and it remains a very active area of re- search. In our present article, we introduce a variety of new results on the closed- 5 form evaluation of hypergeometric series and harmonic summations through the use of new techniques that are mainly based on the use of complete elliptic in- tegrals and the theory of Fourier–Legendre (FL) expansions. Inspired in part by our previous work on the evaluation of a 3F2(1) series related to the parbelos constant [6], which, in turn, came about through the 10 discovery [4] of an integration technique for evaluating series involving squared 1 central binomial coefficients and harmonic numbers in terms of π , in this article we apply a related integration method to determine new identities for hyperge- ometric expressions, as well as new evaluations for binomial-harmonic series. We recall that a hypergeometric series is an infinite series i∞=0 ci such that there exist polynomials P and Q satisfying P c P (i) i+1 = (1) ci Q(i) for each i N . If P and Q can be written as P (i) = (i + a )(i + a ) (i + a ) ∈ 0 1 2 ··· p and Q(i) = (i+b )(i+b ) (i+b )(i+1), a generalized hypergeometric function 1 2 ··· q i is an infinite series of the form i∞=0 cix , and is denoted by P ∞ a1,a2,...,ap c xi = F x . i p q i=0 b ,b ,...,b X 1 2 q The complete elliptic integrals of the first and second kinds, which are respec- tively denoted with K and E, may be defined as 1 1 π 2 , 2 K(k)= F k2 2 · 2 1 1 2 1 1 π 2 , 2 E(k)= F − k2 . 2 · 2 1 1 We are interested in evaluating integrals such as 1 K √x g(x) dx (2) Z0 for a suitable function g, by expanding K as a Maclaurin series, perhaps after a 15 manipulation of the expression K, and integrating term-by-term. However, by replacing g(x) with its shifted Fourier–Legendre series expansion, integrating term-by-term and equating the two resulting series, we often obtain new closed- form evaluations. We illustrate this idea with the example described in Section 2 below that is taken from [6], after a preliminary discussion concerning the 20 basics of FL theory. Legendre functions of order n are solutions to Legendre’s differential equation d2y dy (1 x2) 2x + n(n + 1)y =0 − dx2 − dx for n> 0 and x < 1. For n N , Legendre polynomials P (x) are examples of | | ∈ 0 n Legendre functions, and may be defined via the Rodrigues formula 1 dn P (x)= (x2 1)n. (3) n 2nn! dxn − The following equivalent definition for Pn(x) will also be used: n 2 1 n n k k P (x)= (x 1) − (x + 1) . (4) n 2n k − Xk=0 The Legendre polynomials form an othogonal family on ( 1, 1), with − 1 2 Pn(x)Pm(x) dx = δm,n, 1 2n +1 Z− which gives us the Fourier–Legendre series for a suitable function g: ∞ 2n +1 1 g(x)= g(t)P (t) dt P (x). (5) 2 n n n=0 1 X Z− Letting shifted Legendre polynomials be denoted as P˜ (x)= P (2x 1), poly- n n − nomials of this form are orthogonal on [0, 1], with 1 1 P˜ (x)P˜ (x) dx = δ . m n 2n +1 m,n Z0 3 By analogy with the expansion from (5), for a reasonably well-behaved func- tion f on (0, 1), this function may be expressed in terms of shifted Legendre polynomials by writing ∞ f(x)= c P (2x 1). m m − m=0 X We can determine the scalar coefficient cm in a natural way using the orthogo- nality of the family of shifted Legendre polynomials. In particular, we see that if we integrate both sides of ∞ P˜m(x)f(x)= cnP˜m(x)P˜n(x) n=0 X over [0, 1], we get 1 c = (2m + 1) P (2x 1) f(x) dx. m m − Z0 Brafman’s formula states that ∞ (s) (1 s) s, 1 s s, 1 s n − n P (x)zn = F − α F − β , (6) (n! )2 n 2 1 2 1 n=0 1 1 X 1 ρ z 1 ρ+z letting α = − − , β = − , and ρ = √1 2xz + z2 [2]. The canonical 2 2 − generating function for Legendre polynomials is [12, 13] ∞ 1 n = Pn(x)z . (7) √ 2 1 2xz + z n=0 − X This gives the following result (see [9] and [13]) which we exploit heavily: 2 K √k = P (2k 1). (8) 2n +1 n − n 0 X≥ If we make use of the standard moment formula 1 (i! )2 xiP (2x 1) dx = (9) n − (i n)! (i + n + 1)! Z0 − for shifted Legendre polynomials, then it is not difficult to see why (8) holds. Namely, from the Maclaurin series for K, we have that i 2 π 1 2i i K √x Pn(2x 1) = x Pn(2x 1), − 2 N 16 i − i 0 X∈ 4 and by rewriting the right-hand side as π (2i)! 2 1 2(sin(πn)+1) i = 2 2 N i! 16 (i n)! (i + n + 1)! (2n + 1) i 0 X∈ − using the moments for the family Pn(2x 1) n N , we obtain the desired result. { − } ∈ 0 2. A motivating example Following the integration method from [4], since 1 4n 2 1 x ln 1 x √πΓ 2n + (H2n + 2 ln(2)) − dx = 2 , 2 0 √1 x − 2Γ(2n + 1) Z − and since 1 ∞ ( 1)nx4n 2 ln 1 x2 − n − = x2 + 1 ln 1 x2 √ 2 − n=0 1 x X − p we have that the series 2n 4n ∞ n 2n H2n 64n(2n 1) n=0 X − may be evaluated in terms of the following 3F2(1) series, which was conjectured √2+ln(1+√2) by the first author to be equal to the parbelos constant π [6]: 1 1 3 2 , 4 , 4 3F2 − 1 . 1 , 1 2 This conjecture is proved in a variety of different ways in [6], where the “palin- dromic” formula 1 , 1 , 3 4 2 4 8 1 π 3F2 1 = tanh− tan (10) 3 π 8 1, 2 is introduced and is used in one proof through an application of Fourier–Legendre theory that heavily makes use of the complete elliptic integral K. Many aspects of our present article are directly inspired by the FL-based proof presented in [6], so it is worthwhile to review it. Adopting notation from 1 (2), we let g(x)= (2 x)3/2 ; the main integral under investigation is then − 1 1 K √ x 3/2 dx. (11) Z0 (2 x) − 5 Γ(x+n) Letting (x)n = Γ(x) denote the Pochhammer symbol, by writing the series in (10) as 1 1 3 1 1 3 , , ∞ 4 2 4 4 n 2 n 4 n 3F2 1 = 3 3 (1) n! 1, n=0 n 2 n 2 X 2n 4n ∞ = n 2n (2n + 1)64n n=0 X and by noting that 2n 4n 2t ∞ 2K t+1 n 2n t2n = , 64n π√qt +1 n=0 X we thus find that 1 1 3 1 4 , 2 , 4 2√2 K (√r) 3F2 1 = 3/2 dr. (12) 3 π 0 (2 r) 1, 2 Z − Manipulating (7) so as to obtain the generating function for shifted Legendre polynomials, we find that 2n+1 1 ˜ 3 = (2n + 1)√2 √2 1 Pn(x), 2 − (2 x) n N − X∈ 0 so that 2m+1 ˜ 1 Pm(x) 3 dx = √2 √2 1 x [0,1] (2 x) 2 − Z ∈ − for all m N , from the orthogonality relations for shifted FL polynomials.

View Full Text

Details

  • File Type
    pdf
  • Upload Time
    -
  • Content Languages
    English
  • Upload User
    Anonymous/Not logged-in
  • File Pages
    39 Page
  • File Size
    -

Download

Channel Download Status
Express Download Enable

Copyright

We respect the copyrights and intellectual property rights of all users. All uploaded documents are either original works of the uploader or authorized works of the rightful owners.

  • Not to be reproduced or distributed without explicit permission.
  • Not used for commercial purposes outside of approved use cases.
  • Not used to infringe on the rights of the original creators.
  • If you believe any content infringes your copyright, please contact us immediately.

Support

For help with questions, suggestions, or problems, please contact us