arXiv:2103.14002v1 [math.NT] 25 Mar 2021 loamse nfidn smttcepnin fintegrals. of expansions asymptotic finding in master and a series t also infinite into with fits tr relations Theorem” (non-trivial) integral “Master have for grals so-called examples His exquisite him. finding with in original oft expert satisfy an Rama integrals was how his He wonder of often Some we existed. evaluations that gant “unusual,” so are integrals mel the pr but will survey intricate this an that hope or We sonata music. classical piano the Hindustani Beethoven admire and beautiful awe a in stand to b we tho integrals, most Ramanujan’s and Ramanujan’s of his theorems take many of Ramanujan’s to of some mathematicians Many countless of w cover inspired survey integrals. adequately a to to provide impossible devotion we is his it paper the course, this until Of In [40] integrals. notebooks 32. in of findings his age recorded he years the rtlte oG .Hry aaua setd[1 .2](wi 24] p. [11, asserted Ramanujan Hardy, H. G. to letter first aaua vlae aydfiieitgas ototninfi often most integrals, definite many evaluated Ramanujan permeat They integrals. and series infinite loved Ramanujan nerl fe rs ncnoiatpolm htRamanuj that problems concomitant in arise often Integrals nerl.Oecnfidte nhspolm umte othe to submitted problems his in Society them matical find can One integrals. vlaino nerl sgvn iheape rvddfr provided examples Ram with of sources. given, also survey is He A integrals of integrals. evaluation contexts. approximating are mathematical and evaluations other evaluating His for in useful Notebook. and Lost elegant, the and papers published A where integral. qae rwihcnb xrse stesmo w qae.Th eit squares. are two which numbers of than are sum greater the numbers as . such expressed . 18,. be 17, can 16, which 13, or 10, squares 9, 8, 5, 4, 2, 1, BSTRACT K K hogothsetr ahmtcllf,Rmnjnloved Ramanujan life, mathematical entire his Throughout . = and . oeok,QatryRprst h nvriyo Madras, of University the to Reports Quarterly notebooks, , 764 AAUA’ EUIU INTEGRALS BEAUTIFUL RAMANUJAN’S θ ( . . . x ) aebe xcl on huhcomplicated. though found exactly been have and RC .BRD,AU DIXIT ATUL BERNDT, C. BRUCE θ = ( A x .I 1. K ) n esthan less and svr ml hncmae ihteprevious the with compared when small very is Z NTRODUCTION A B √ 1 log dx x B + θ ( otne rcin.Rmnjnwas Ramanujan fractions. continued x mec fteabove-mentioned the of each om nsrrsn ucinlequations. functional surprising en ) a aaua copihdin accomplished Ramanujan hat vd ute inspiration. further ovide ora fteIda Mathe- Indian the of Journal njnscnrbtost the to contributions anujan’s gt n rce ute.For further. proceed and ughts icvrdgnrlmethods general discovered i aeoy oeo i inte- his of Some category. his nsuid o xml,i his in example, For studied. an hamnrcreto needed) correction minor a th fe upiig beautiful, surprising, often nfrs oeo hc are which of some ansforms, lotalo i okfrom work his of all almost e n fhslf n12 tthe at 1920 in life his of end ieitgas nmn cases, many In integrals. nite or Carnatic in raaga lifluous rbat,mc sw listen we as much beauty, ir ua vrtogtta ele- that thought ever nujan xmlso nerl have integrals of examples oeaut definite evaluate to e themselves her atflterm on theorems eautiful etr oHardy, to letters ubrof number e 2 BRUCE C. BERNDT, ATUL DIXIT
Theorems and claims of this kind are better addressed in the contexts in which they arise, and so we do not address such integral appearances in the present paper. Beginning in 1911, Ramanujan offered a total of 58 Questions to the Journal of the Indian Mathematical Society. In seven of them, readers are asked to evaluate definite integrals. (For discussions of all 58 problems, see a paper by the first author, Y.-S. Choi, and S.-Y. Kang [13], [15, pp. 215–258].) Ramanujan’s first letter to Hardy contains over 60 statements, and eleven of them pertain to definite integrals. In his second letter to Hardy, seven entries pro- vide evaluations of integrals [39, pp. xxiii–xxix], [11, Chapter 2]. (Portions of both letters have been lost.) Six of Ramanujan’s published papers are devoted to the evaluation of inte- grals. The most abundant source for Ramanujan’s integrals are his (earlier) notebooks [40]. His lost notebook [41] also contains several intriguing integrals [41]. The purpose of this paper is to provide readers with a survey of some of Ramanujan’s most beautiful, surprising, and possibly useful integrals. Examples from each of the sources mentioned in the previous paragraph will be given.
2. PROBLEMS POSEDBY RAMANUJAN IN THE Journal of the Indian Mathematical Society Question 783 below is an especially elegant problem posed by Ramanujan in the Jour- nal of the Indian Mathematical Society [36] and found in Ramanujan’s third notebook [40, p. 373]. Like so many of Ramanujan’s discoveries, we wonder how Ramanujan ever thought of this problem. While reading this paper, readers will undoubtedly ask questions of this sort several times.
n n 1 Question 2.1. (Question 783) For n 0, put v = u u − , and define ≥ − 1 log u ϕ(n) := dv. (2.1) v Z0 Then, π2 π2 π2 ϕ(0) = , ϕ(1) = , and ϕ(2) = . 6 12 15 Furthermore, if n> 0, 1 π2 ϕ(n)+ ϕ = . (2.2) n 6 Inspired by Question 2.1, Berndt and R. J. Evans [8] established the generalization given below. Here and in the sequel, we use the conventions lim f(x), provided that the limit exists, x f( ) := →∞ ∞ ( , if f(x) as x . ∞ →∞ →∞ Theorem 2.2. Let g be a strictly increasing, differentiable function on [0, ) with g(0) = 1 and g( )= . For n> 0 and t 0, define ∞ ∞ ∞ ≥ gn(t) v(t) := . g(1/t) BEAUTIFUL INTEGRALS 3
Suppose that 1 dv ϕ(n) := log g(t) v Z0 converges. Then 1 ϕ(n)+ ϕ =2ϕ(1). n Note that if g(t)=1+ t, Theorem 2.2 reduces to Question 2.1. See [8] and [10, pp. 326– 329] for more details. The integral (2.1) is reminiscent of the dilogarithm, defined by z log(1 w) Li (z) := − dw, z C, (2.3) 2 − w ∈ Z0 where the principal branch of log(1 w) is chosen. The dilogarithm was studied by Ramanu- jan in Chapter 9 of his first notebook− [40, Entries 5–7], [6, pp. 246–249], where many of the fundamental properties of Li2(z) are proved. He returned to Li2(z) in his third notebook [40, pp. 365], [10, pp. 322–326]. Ramanujan was fond of formulas evincing symmetry, such as in Question 295 below [29]. Question 2.3. If α and β are positive and αβ = π, then 2 2 ı e x ı e x √α − dx = β − dx. (2.4) cosh αx cosh βx Z0 Z0 Question 2.3 can be found in Ramanujan’s firstp letter to G. H. Hardy [11, p. 27], and also in Section 21 of Chapter 13 in his second notebook [40], [7, p. 225]. The identity (2.4) appears in a manuscript published with the lost notebook [41], [2, p. 368], and it was also established by Hardy [22, p. 203]. Four additional relations in the spirit of (2.4) can be found in the aforementioned manuscript [2, p. 368].
3. RAMANUJAN’S FIRST TWO LETTERSTO HARDY In his first letter to Hardy, Ramanujan offers the following “reciprocity” formula or “theta” relation. Theorem 3.1. For n> 0, define
∞ cos nx φ(n) := dx. (3.1) e2π√x 1 Z0 − Then 2 3 ∞ sin nx 1 π 2π dx = φ(n) + φ . (3.2) e2π√x 1 − 2n n n3 Z0 − r “φ(n) is a complicated function ...” As special cases,
1 π 1 2 √2 1 φ(0) = ; φ = ; φ(π)= − ; φ(2π)= ; 12 2 4π 8 16 4 BRUCE C. BERNDT, ATUL DIXIT
2π 8 3√5 π 6+ √5 5√10 φ = − ; φ = ; φ( ) = 0; 5 16 5 4 − 8 ∞ 2π 1 3 1 φ = √3 . 3 3 − 16 − 8π An abbreviated version of Theorem 3.1 appeared as a problem in the Journal of the Indian Mathematical Society [30]. Theorem 3.1 can also be found in Ramanujan’s notebooks [40]. The function φ(n) in (3.1) can be expressed in terms of a variant of Gauss sums to which Ramanujan devotes an entire paper [33]. For example, if n = a/b, where a and b are positive odd numbers, then
πa 1 b r2πa b b a 1 r2πb φ := (b 2r) cos (a 2r) sin π + . (3.3) b 4 − b − 4a a − 4 a r=1 r r=1 X X See Berndt’s book [10, pp. 296–303] for a more complete discussion of φ(n) and its connec- tions with Ramanujan’s analogues of Gauss sums and another class of his infinite series. After discussing the Rogers–Ramanujan continued fraction and two generalizations in his second letter to Hardy, Ramanujan offers representations for a pair of integrals by continued fractions [39, p. xxviii], [11, p. 57]. Theorem 3.2. We have x√5 2 2 2 2 2 2 ∞ xe 1 1 1 2 2 3 3 4 − dx = , cosh x 1 + 1 + 1 + 1 + 1 + 1 + 1 + Z0 ··· 2 x√3 3 3 3 3 3 3 ∞ x e 1 1 1 2 2 3 3 2 − dx = . sinh x 1 + 1 + 3 + 1 + 5 + 1 + 7 + Z0 ··· These two identities were first proved in print by C. T. Preece [27] in 1931. Above, we have corrected two misprints in the second formula that appears in [39, p. xxviii].
4. RAMANUJAN’S PUBLISHED PAPERSON INTEGRALS Ramanujan published the papers [31], [32], [33], [35], [37], and [38] on definite integrals. We briefly discussed some of the content of [33] in the previous section. Define, for Re(w) 0, ≥ ı ı cos πtx πwx2 sin πtx πwx2 φ (t) := e− dx and ψ (t) := e− dx. w cosh πx w sinh πx Z0 Z0 In [37], Ramanujan made use of “modular relations” satisfied by φw(t) and ψw(t), namely, 1 1 πt2/w φ (t)= e− 4 ψ (it/w) w √w 1/w and 1 1 πt2/w 1 π(t+w)2/w e 4 + ψ (t) = e 4 φ (t + w), 2 w w BEAUTIFUL INTEGRALS 5 to develop representations in terms of theta functions. These were then used to evaluate large classes of integrals for specific values of t and w. We give two examples: ı sin 2πtx cosh πt cos πt2 cos πx2 dx = − , (4.1) sinh πx 2 sinh πt Z0 ı sin 2πtx sin πt2 sin πx2 dx = . sinh πx 2 sinh πt Z0 The integral evaluation (4.1) was used by A. K. Mustafy [26] to obtain a new integral repre- sentation of the Riemann zeta function ζ(s), with an integrand similar to those above, which in turn also gives a proof of Riemann’s functional equation for ζ(s). Perhaps Ramanujan’s most important paper on integrals is [38]. Here, several classes of integrals involving the gamma function are evaluated in closed form. Many of the integrals in [38] can perhaps be evaluated by contour integration, although Ramanujan did not use this method in [38]. It has generally been accepted that Ramanujan was not conversant with the analytic theory of functions of a complex variable. Hardy opined [39, p. xxx], “...and he (Ramanujan) had indeed but the vaguest idea of what a function of a complex variable was.” However, in [38] it is clear that Ramanujan knew certain elementary facts about functions of a complex variable, in particular, at the very least, he was aware of the care needed in treating branches of “multi-valued” functions. On the next-to-last page of Ramanujan’s third notebook [40, pp. 391], several integrals from complex analysis are recorded. Next to one of them appear the words, “contour integration.” So, maybe Ramanujan knew more complex analysis than either Hardy or others have thought. One of the general integrals that Ramanujan evaluated is [38], [39, pp. 221–222]: ı Γ(α + x)Γ(β x)einxdx. ı − Z− Similarly, Ramanujan devised a general approach to evaluating ı einx dx, ı Γ(α + x)Γ(β x)Γ(γ + ℓx)Γ(δ ℓx) Z− − − where n and ℓ are real numbers. We forego hypotheses in this brief survey, but instead mention only a special case. If α + β + γ + δ =4, then [38, p. 229] ı cos π(x + β + γ) { } dx ı Γ(α + x)Γ(β x)Γ(γ +2x)Γ(δ 2x) Z− − − 1 = . 2Γ(γ + δ 1)Γ(2α + δ 2)Γ(2β + γ 2) − − − Ramanujan devised some beautiful and unusual definite integral evaluations involving products of ordinary Bessel functions J (x). For example, if Re(α + β) > 1 [38, p. 225], ν − ı 2 2 Jα+w(x) Jβ w(y) Jα+β (2x +2y ) − dw = . α+w β w 1 {2 1 2 (α+β)/2 } ı x y − ( x + y ) Z− 2 p 2 Ramanujan concluded his paper [38] with a formula providing the evaluation of a fairly general integral involving the product of four Bessel functions. 6 BRUCE C. BERNDT, ATUL DIXIT
Ramanujan’s integrals were discussed by Watson in his treatise [44, p. 449]. In a foot- note, he remarks, “these integrals evaluated by Ramanujan may prove to be of the highest importance in the theory of the transmission of Electric Waves.” One of the highly influential papers that Ramanujan wrote after arriving in England is his paper [34], in which he obtains transformations for integrals arising in the theory of Riemann’s zeta function ζ(s). The Riemann ξ(s) and Ξ functions are defined by [43, p. 16]
1 s s 1 ξ(s) := s(s 1)π− 2 Γ ζ(s) and Ξ(t) := ξ + it . 2 − 2 2 In his review [24] of Ramanujan’s work in England until 1917, Hardy cites [34] as one of Ramanujan’s four most important papers. One of the two main results in his paper is [34, Equation (12)]
3z πx2e−4z ∞ z ∞ xe− − e− 4π dx cos(tz) dz − e2πx 1 Z0 ( Z0 − ) 1 1+ it 1 it t = Γ − Γ − − Ξ , (4.2) 8√π 4 4 2 which, through Fourier inversion, leads to [34, Equation (13)] πx2e−4n n 3n ∞ xe− e− 4πe− dx − e2πx 1 Z0 − 1 ∞ 1+ it 1 it t = Γ − Γ − − Ξ cos(nt) dt (4.3) 4π√π 4 4 2 Z0 for n R. About (4.3), Hardy [23] writes, for σ = Re(s), ∈ The integral has properties similar to those of the integral by means of which I proved recently that ζ(s) has an infinity of zeros on the line σ = 1/2, and may be used for the same purpose. In the last section of his paper [34], for n R, Ramanujan obtains new beautiful integral representations for ∈
∞ s 1+ it s 1 it t + is t is cos nt F (n, s) := Γ − Γ − − Ξ Ξ − 2 2 dt, 0 4 4 2 2 (s + 1) + t Z (4.4) each valid in some vertical strip in the half-plane σ > 1. One of these is given by
1 1 (s 3) ∞ s 1 1 1 1 F (n, s)= (4π)− 2 − x dx. 8 exp (xen) 1 − xen exp (xe n) 1 − xe n Z0 − − − − (See [18] for corrected misprints in [34].) Regarding the special case s = 0 of this integral, Hardy [23] writes, ...the properties of this integral resemble those of one which Mr. Littlewood and I have used, in a paper to be published shortly in Acta Mathematica to prove that T 1 2 ζ + ti dt 2T log T (T ), T 2 ∼ →∞ Z−
BEAUTIFUL INTEGRALS 7 where a misprint from Hardy’s paper [23] has been corrected. This special case s = 0 of the integral in (4.4) also appears on page 220 of the lost notebook [41], where Ramanujan gives an exquisitely beautiful modular relation associated with it. The reader is referred to [16], [19] and [20] for more details on Ramanujan’s formulas from [34], their importance and their applications. In conclusion, about Ramanujan’s formulas from [34], Hardy remarks [23], It is difficult at present to estimate the importance of these results. The un- solved problems concerning the zeros of ζ(s) or of Ξ(t) are among the most obscure and difficult in the whole range of Pure Mathematics. ...ButIshould not be at all surprised if still more important applications were to be made of Mr. Ramanujan’s formulae in the future.
5. RAMANUJAN’S QUARTERLY REPORTS Ramanujan’s fame began with his publications in the Journal of the Indian Mathematical Society in 1911, and it reached the English astronomer Sir Gilbert Walker, who was working at an observatory in Madras. In a letter to the University of Madras dated February 26, 1913, he wrote, “The University would be justified in enabling S. Ramanujan for a few years at least to spend the whole of his time on mathematics, without any anxiety as to his livelihood.” The Board of Studies at the University of Madras agreed to this request, and its chairman, Professor B. Hanumantha Rao, wrote a letter to Vice-Chancellor Francis Dewsbury on March 25, 1913 with the recommendation that Ramanujan be awarded a scholarship of 75 rupees per month. A stipulation in the scholarship required Ramanujan to write Quarterly Reports to the Board of Studies in Mathematics. Ramanujan wrote three of these Quarterly Reports before he departed for England on March 17, 1914. Unfortunately, they were eventually lost; but, on the other hand, fortunately, T. A. Satagopan made a handwritten copy of the reports in 1925. An extensive description of their contents was published by Berndt in the Bulletin of the London Mathematical Society [5]. The aforementioned letters can be found in the book [11, pp. 70–76] by Berndt and Robert Rankin. We offer a few results from the Quarterly Results; the first are Frullani’s Theorem and Ramanujan’s generalization. Theorem 5.1. (Frullani) If f is a continuous function on [0, ) such that f( ) exists, then, for any pair a,b > 0, ∞ ∞
∞ f(ax) f(bx) b − dx = f(0) f( ) log . (5.1) x { − ∞ } a Z0 If f( ) does not exist, but f(x)/x is integrable over [c, ) for c> 0, then (5.1) still holds, but with∞ f( ) replaced by 0. ∞ ∞ In his second Quarterly Report, Ramanujan offers a beautiful generalization of Frullani’s Theorem. A slightly less general version is provided by Ramanujan in the unorganized pages of his second notebook [40, pp. 332, 334], [6, p. 316]. We do not give below the hypotheses that are needed for u(x) and v(x); see [6, pp. 299, 313] for these requirements. Set
∞ u(k)( x)k ∞ v(k)( x)k f(x) f( )= − and g(x) g( )= − . − ∞ k! − ∞ k! Xk=0 Xk=0 8 BRUCE C. BERNDT, ATUL DIXIT
Ramanujan also assumes that the limit below can be taken under the integral sign. Theorem 5.2. Let u(x) and v(x) be given as above, and assume that f and g are continuous functions on [0, ). Also assume that f(0) = g(0) and f( )= g( ). Then, if a,b > 0, ∞ ∞ ∞ ∞ n 1 b d v(s) lim x − f(ax) g(bx) dx = f(0) f( ) log + log . n 0 { − } { − ∞ } a ds u(s) → Z0 s=0 Ramanuan’s proof depends on his now famous Master Theorem. He assumes that a func- tion F (x) can be expanded in a Taylor series about x = 0 with an infinite radius of conver- gence. Then Ramanujan asserts that the value of the integral
∞ n 1 x − F (x)dx Z0 can be found from the coefficient of xn in the expansion of F (x). Theorem 5.3. Ramanujan’s Master Theorem. Suppose that for
Letting z = x, replacing a by aq, and applying the Master Theorem, we establish, for Re s> 0, Ramanujan’s− beautiful identity [33], [39, p. 57], 1 s ∞ s 1 ( atq; q) π (q − ; q) (aq; q) − ∞ ∞ ∞ (5.5) t − dt = 1 s . 0 ( t; q) sin(πs) (q; q) (aq − ; q) Z − ∞ ∞ ∞ Richard Askey [3] made a thorough study of the integral in (5.5) and showed that, if s = x and a = qx+y, then this integral is a natural q-analogue of the beta function B(x, y) in (5.4). An extension of Ramanujan’s Master Theorem has been studied by M. A. Chaudhry and A. Qadir [17].
6. RAMANUJAN’S (EARLIER) NOTEBOOKS As we have seen in the preceding sections, many of Ramanujan’s theorems and examples on integrals appear in his notebooks [40]. Because of their centrality in Ramanujan’s vast accomplishments in his theories of theta functions and modular equations, our concentration in this section focuses on elliptic integrals. The complete elliptic integral of the first kind K(k), 0 Ramanujan gave four different conditions for α, β, and γ to ensure the validity of the addition theorem [9, p. 107] u + v = w. (6.2) In particular, if [9, Entry 7(viii) (c)], cos γ cot α cot β = + 1 x sin2 γ, (6.3) sin α sin β − q then (6.2) holds. The condition (6.3) is equivalent to the condition cn(u) cn(v) cn(u + v) = + dn(u + v). sn(u) sn(v) sn(u) sn(v) Although the addition theorem (6.2) is classical, many of Ramanujan’s identities involving elliptic integrals appear to be new. In [9, pp. 108–109], the two given proofs of the following result are verifications; Ra- manujan must have had a more natural proof. Entry 6.1. If x < 1, then | | π π/2 dϕ π/2 cos 1(x sin2 ϕ)dϕ = − . 4 2 0 √1+ x sin ϕ 0 1 x2 sin ϕ Z Z − The following entry is a beautiful theorem, more reconditep than the previous theorem. It is a wonderful illustration of Ramanujan’s ingenuity and quest for beauty [9, pp. 111–112]. Entry 6.2. If x < 1, then | | π/2 π/2 x sin ϕdθdϕ 2 2 2 2 2 Z0 Z0 (1 x sin ϕ)(1 x sin θ sin ϕ) − 2 − 2 1 π/2 dϕp 1 π/2 dϕ = . 2 0 1 1 (1 + x) sin2 ϕ − 2 0 1 1 (1 x) sin2 ϕ Z − 2 Z − 2 − Despite the fact thatq Ramanujan’s second notebook is aq revised edition of the first, there are over 200 claims in the first notebook that cannot be located in the second. In particular, on page 172 in the first notebook [40], two remarkable elliptic integral transformations are recorded [12, pp. 403–404]. One of them is given in the next entry. Entry 6.3. Let 0 Entry 6.4. Let 0 θ π/2 and 0 v 1. Define µ to be the constant defined by putting v =1 and θ = π/≤2 in≤ the definition ≤ ≤ θµ v dt = =: G(v). (6.4) 2 √1+ t4 Z0 Then, ı 1 sin(2nθ) 2tan− v = θ + . (6.5) n cosh(nπ) n=1 X Despite its unusual character, (6.5) is not too difficult to prove, and follows from the inversion theorem for elliptic integrals. The integral G(v) has a striking resemblance to the classical lemniscate integral defined next. As above, let 0 θ π/2 and 0 v 1. Define µ to be the constant defined by putting v =1 and θ =≤π/2 in≤ (6.6) below.≤ Then≤ the lemniscate integral F (v) is defined by θµ v dt ı 1 v4n+1 = =: F (v)= 2 n , (6.6) √ √ 4 n!(4n + 1) 2 0 1 t n=0 Z − X where the right-hand side is a representation for F (v) that arises from expanding the inte- grand in a binomial series. Ramanujan offers an inversion formula for the lemniscate integral analogous to (6.5). Altogether, Ramanujan states ten inversion formulas, six of them for the lemniscate integral [40, pp. 283, 285, 286]. We offer one of them [10, p. 252]. Proofs for all six are given in [10, 245–260]. Entry 6.5. Let θ and v be as given in (6.6). Then, 1 π 1 ∞ ( ) v4n θ2 ∞ cos(2nθ) log v + log 2 + 4 n = log(sin θ)+ 2 . 6 − 2 ( 3 ) 4n 2π − n(e2πn 1) n=1 4 n n=1 X X − If √2 x v = , √1+ x4 then v dt x dt F (v)= = √2 = √2G(x), √1 t4 √1+ t4 Z0 Z0 which is an important key step in the− historically famous problem of doubling the arc length of the lemniscate. The lemniscate integral was initially studied by James Bernoulli and Count Giulio Fagn´ano. Raymond Ayoub [4] wrote a very informative article emphasizing its history and importance. Carl Ludwig Siegel [42] considered the lemniscate integral so important that he began his development of the theory of elliptic functions with a thorough discussion of it. 7. RAMANUJAN’S LOST NOTEBOOK On pages 51–53 in his lost notebook [41], Ramanujan states several original, surprising, and unusual integral identities involving elliptic integrals and his theta functions, including f( q) := (q; q) , q < 1, (7.1) − ∞ | | 12 BRUCEC.BERNDT,ATULDIXIT which, except for a factor of q1/24, is Dedekind’s eta-function η(τ), where q = e2πiτ , τ H. Ramanujan’s integrals of theta functions are associated with elliptic integrals and modular∈ equations of degrees 5, 10, 14, or 35. In view of degrees 14 and 35, it is surprising that none of degree 7 are given. These integral identities were first proved by S. Raghavan and S. S. Rangachari [28] using the theory of modular forms, and later by the first author, Heng Huat Chan, and Sen-Shan Huang employing ideas with which Ramanujan would have been familiar [14]. Proofs for all of Ramanujan’s identities can be found in Andrews’ and the first author’s book [1, pp. 327–371]. Certain proofs depend upon transformations of elliptic integrals found in Ramanujan’s second notebook and discussed above. Differential equations for products or quotients of theta functions are also featured in some proofs. The first of two examples that we give is associated with modular equations of degree 5. Entry 7.1. [1, p. 333], [41, p. 52] Let f( q) be defined by (7.1), ǫ =(√5+1)/2, and − q1/5 q q2 q3 u := u(q) := , q < 1, (7.2) 1 + 1 + 1 + 1 + | | ··· which defines the Rogers–Ramanujan continued fraction. Then, q f 2( t)f 2( t5) π/2 dϕ 53/4 − − dt = 2 √t −1 5/2 5 3/2 Z0 Zcos ((ǫu) ) 1 ǫ− 5− sin ϕ − − 2 tan 1 53/4√qf 3( q5)/f 3( q) ( p − − ) dϕ = . 2 0 1 ǫ 55 3/2 sin ϕ Z − − − To prove the next entry, also associated with modular equatipons of degree 5, we need a differential equation involving theta functions. Lemma 7.2. Let f 6( q5) λ := λ(q) := q − . f 6( q) Then − d q λ(q)= √q f 2( q)f 2( q5)√125λ3 + 22λ2 + λ. dq − − Entry 7.3. [1, p. 342], [41, p. 52] Let u be defined by (7.2). Then there exists a constant C such that 3 1 8 q 8 5 5 5 1 f ( q) f ( t) dt f ( t ) u + u− = − C + − + 125 − √t dt . 2√q f 3( q5) f 4( t5) t3/2 f 4( t) − Zq − Z0 − (The constant C can be determined, but it is different from that claimed by Ramanujan [1, pp. 346–347].) The next entry is connected with modular equations of degree 14. Entry 7.4. [41, pp. 51–52], [1, p. 359] Let f( q)f( q14) 4 v := v(q) := q − − . f( q2)f( q7) − − Put 13+16√2 c = . p 7 BEAUTIFUL INTEGRALS 13 Then −1 q 1 cos c dϕ f( t)f( t2)f( t7)f( t14)dt = . 0 − − − − cos−1 c 1+v 16√2 13 2 8√2 ( 1−v ) 1 − sin ϕ Z Z − 32√2 Our concluding example of Ramanujan’sp exquisite formulas iqs an identity linking elliptic integrals and modular equations of degree 35. Entry 7.5. [41, p. 53], [1, p. 364] If f( q)f( q35) v := v(q) := q − − , f( q5)f( q7) − − then q v t dt t f( t)f( t5)f( t7)f( t35)dt = . 2 3 5 6 0 − − − − 0 (1 + t t )(1 5t 9t 5t t ) Z Z − − − − − REFERENCESp [1] G. E. Andrews and B. C. Berndt, Ramanujan’s Lost Notebook, Part I, Springer, New York, 2005. [2] G. E. Andrews and B. C. Berndt, Ramanujan’s Lost Notebook, Part IV, Springer, New York, 2013. [3] R. Askey, Ramanujan’s extensions of the gamma and beta functions, Amer. Math. Monthly 87 (1980), 346–359. [4] R. Ayoub, The lemniscate and Fagnano’s´ contributions to elliptic integrals, Arch. Hist. Exact Sci. 29 (1984), 131–149. [5] B. C. Berndt, Ramanujan’s quarterly reports, Bull. London Math. Soc. 16 (1984), 449–489. [6] B. C. Berndt, Ramanujan’s Notebooks, Part I, Springer-Verlag, New York, 1985. [7] B. C. Berndt, Ramanujan’s Notebooks, Part II, Springer-Verlag, New York, 1989. [8] B. C. Berndt and R. J. Evans, An integral functional equation of Ramanujan related to the dilogarithm, in Number Theory, Proc. First Conf. Canadian Number Theory Assoc., Banff, R. A. Mollin, ed., Walter de Gruyter, Berlin, 1990, pp. 1–5. [9] B. C. Berndt, Ramanujan’s Notebooks, Part III, Springer–Verlag, New York, 1991. [10] B. C. Berndt, Ramanujan’s Notebooks, Part IV, Springer-Verlag, New York, 1994. [11] B. C. Berndtand R. A. Rankin, Ramanujan: Letters and Commentary, Amer. Math. Soc., Providence, RI; London Math. Soc., 1995. [12] B. C. Berndt, Ramanujan’s Notebooks, Part V, Springer–Verlag, New York, 1998. [13] B. C. Berndt, Y.–S. Choi, and S.–Y. Kang, The problems submitted by Ramanujan to the Journal of the Indian Mathematical Society, in Continued Fractions: From Analytic Number Theory to Constructive Approximation, B. C. Berndt and F. Gesztesy, eds., Contem. Math. 236, American Mathematical Society, Providence, RI, 1999, pp. 15–56. [14] B. C. Berndt, H. H. Chan, and S.–S. Huang, Incomplete elliptic integrals in Ramanujan’s lost notebook, in q-Series from a Contemporary Perspective, M. E. H. Ismail and D. Stanton, eds., American Mathematical Society, Providence, RI, 2000, pp. 79–126. [15] B. C. Berndt and R. A. Rankin, Ramanujan: Essays and Surveys, American Mathematical Society, Prov- idence, RI, 2001; London Math. Soc., 2001. [16] B. C. Berndt and A. Dixit, A transformation formula involving the Gamma and Riemann zeta functions in Ramanujan’s Lost Notebook, The legacy of Alladi Ramakrishnan in the mathematical sciences, K. Alladi, J. Klauder, C. R. Rao, Eds, Springer, New York, 2010, pp. 199–210. [17] M. A. Chaudhry and A. Qadir, Extension of Hardy’s class for Ramanujan’s interpolation formula and master theorem with applications, J. Inequal. Appl. 52 (2012), 13 pages. [18] A. Dixit, Analogues of a transformation formula of Ramanujan, Int. J. Number Theory 7, No. 5 (2011), 1151-1172. 14 BRUCEC.BERNDT,ATULDIXIT [19] A. Dixit, Modular-type transformations and integrals involving the Riemann Ξ-function, Math. Student 87 Nos. 3-4 (2018), 47–59. [20] A. Dixit and A. Zaharescu, Ramanujan’s paper on Riemann’s functions ξ(s) and Ξ(t) and a transforma- tion from the Lost Notebook,to appearin the Encyclopedia of Srinivasa Ramanujan and His Mathematics. [21] G. Gasper and M. Rahman, Basic Hypergeometric Series, 2nd ed., Cambridge University Press, Cam- bridge, 2004. ∞ 1 2 2 2 (x −t ) [22] G. H. Hardy, Note on the function x e dt, Quart. J. Math. 35 (1904), 193–207. [23] G. H. Hardy, Note by Mr. G.H. Hardy on the preceding paper, Quart. J. Math. 46 (1915), 260–261. [24] G. H. Hardy, Mr. S. Ramanujan’s mathematicalR work in England, J. Indian Math. Soc. 9 (1917), 30–45; (also a Report to the University of Madras, 1916, privately printed). [25] G. H. Hardy, Ramanujan, Chelsea, New York, 1978. [26] A. K. Mustafy, A new representation of Riemann’s zeta function and some of its consequences, Kongelige Norske Videnskabers Selskabs Forhandlinger 39 (1966), 96–100. [27] C. T. Preece, Theorems stated by Ramanujan (X), J. London Math. Soc. 6 (1931), 22–32. [28] S. Raghavan and S. S. Rangachari, On Ramanujan’s elliptic integrals and modular identities in Number Theory and Related Topics, Oxford University Press, Bombay, 1989, pp. 119–149. [29] S. Ramanujan, Question 295, J. Indian Math. Soc. 3 (1911), 128. [30] S. Ramanujan, Question 463, J. Indian Math. Soc. 5 (1913), 120. −1 x tan t [31] S. Ramanujan, On the integral 0 t dt, J. Indian Math. Soc. 7 (1915), 93–96. [32] S. Ramanujan, Some definite integrals, Mess. Math. 44 (1915), 10–18. [33] S. Ramanujan, Some definite integralsR connected with Gauss’s sums, Mess. Math. 44 (1915), 75–85. [34] S. Ramanujan, New expressions for Riemann’s functions ξ(s) and Ξ(t), Quart. J. Math. 46 (1915), 253– 260. [35] S. Ramanujan, Some definite integrals, Proc. London Math. Soc. 17 (1918), Records for 17 January 1918, [36] S. Ramanujan, Question 783, J. Indian Math. Soc. 10 (1918), 397–399. [37] S. Ramanujan, Some definite integrals, J. Indian Math. Soc. 11 (1919), 81–87. [38] S. Ramanujan, A class of definite integrals, Quart. J. Math. 48 (1920), 294–310. [39] S. Ramanujan, Collected Papers, G. H. Hardy, P. V. Seshu Aiyar, and B. M. Wilson, eds., Cambridge University Press, Cambridge, 1927; reprinted by Chelsea, New York, 1962; reprinted by the American Mathematical Society, Providence, RI, 2000. [40] S. Ramanujan, Notebooks of Srinivasa Ramanujan (2 volumes), Tata Institute of Fundamental Research, Bombay, 1957; second ed., 2012. [41] S. Ramanujan, The Lost Notebook and Other Unpublished Papers, Narosa, New Delhi, 1988. [42] C. L. Siegel, Topics in Complex Function Theory, Vol. 1, Wiley, New York, 1969. [43] E. C. Titchmarsh, The Theory of the Riemann Zeta Function, Clarendon Press, Oxford, 1986. [44] G. N. Watson, Theory of Bessel Functions, Cambridge University Press, second ed., London, 1966. DEPARTMENT OF MATHEMATICS,UNIVERSITY OF ILLINOIS,1409W.GREEN ST., URBANA, IL 61801, USA DEPARTMENT OF MATHEMATICS,INDIAN INSTITUTE OF TECHNOLOGY GANDHINAGAR, PALAJ,GAND- HINAGAR 382355, GUJARAT,INDIA