Evaluation of harmonic sums with integrals

Authors:
Vivek Kaushik and Daniele Ritelli

Journal:
Quart. Appl. Math. **76** (2018), 577-600

MSC (2010):
Primary 52B11, 97K20, 97K50

DOI:
https://doi.org/10.1090/qam/1499

Published electronically:
February 6, 2018

MathSciNet review:
3805043

Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: We consider the sums and with being a positive integer. We evaluate these sums with multiple integration, a modern technique. First, we start with three different double integrals that have been previously used in the literature to show which implies Euler's identity Then, we generalize each integral in order to find the considered sums. The dimensional analogue of the first integral is the density function of the quotient of independent, nonnegative Cauchy random variables. In seeking this function, we encounter a special logarithmic integral that we can directly relate to The dimensional analogue of the second integral, upon a change of variables, is the volume of a convex polytope, which can be expressed as a probability involving certain pairwise sums of independent uniform random variables. We use combinatorial arguments to find the volume, which in turn gives new closed formulas for and The dimensional analogue of the last integral, upon another change of variables, is an integral of the joint density function of Cauchy random variables over a hyperbolic polytope. This integral can be expressed as a probability involving certain pairwise products of these random variables, and it is equal to the probability from the second generalization. Thus, we specifically highlight the similarities in the combinatorial arguments between the second and third generalizations.

**[1]**Leonhard Euler,*De summis serierum reciprocarum*, Commentarii academiae scientiarum Petropolitanae**7**(1740), no. 1740, 123-134.**[2]**Tom M. Apostol,*A proof that Euler missed: evaluating 𝜁(2) the easy way*, Math. Intelligencer**5**(1983), no. 3, 59–60. MR**737691**, https://doi.org/10.1007/BF03026576**[3]**Dan Kalman,*Six ways to sum a series*, College Math. J.**24**(1993), no. 5, 402–421. MR**3287877**, https://doi.org/10.2307/2687013**[4]**Daniele Ritelli,*Another proof of 𝜁(2)=\frac{𝜋²}6 using double integrals*, Amer. Math. Monthly**120**(2013), no. 7, 642–645. MR**3096470**, https://doi.org/10.4169/amer.math.monthly.120.07.642**[5]**Luigi Pace,*Probabilistically proving that 𝜁(2)=𝜋²/6*, Amer. Math. Monthly**118**(2011), no. 7, 641–643. MR**2826455**, https://doi.org/10.4169/amer.math.monthly.118.07.641**[6]**Paul Bourgade, Takahiko Fujita, and Marc Yor,*Euler's formulae for and products of Cauchy variables*, Electronic Communications in Probability**12**(2007), 73-80., https://doi.org/10.1214/ECP.v12-1244**[7]**Junesang Choi,*Evaluation of certain alternating series*, Honam Math. J.**36**(2014), no. 2, 263–273. MR**3235500**, https://doi.org/10.5831/HMJ.2014.36.2.263**[8]**James D. Harper,*Another simple proof of 1+\frac{1}2²+\frac{1}3²+…=\frac{𝜋²}6*, Amer. Math. Monthly**110**(2003), no. 6, 540–541. MR**1984408**, https://doi.org/10.2307/3647912**[9]**Nick Lord,*Yet Another Proof That*, The Mathematical Gazette**86**(2002), no. 507, 477-479.**[10]**Marek Capiński and Peter E. Kopp,*Measure, Integral and Probability 2nd edition*, Springer, 2004.**[11]**Melvin D. Springer,*The algebra of random variables*, John Wiley & Sons, New York-Chichester-Brisbane, 1979. Wiley Series in Probability and Mathematical Statistics. MR**519342****[12]**H. van Haeringen and L. P. Kok,*Table errata: Table of integrals, series, and products [corrected and enlarged edition, Academic Press, New York, 1980; MR 81g:33001] by I. S. Gradshteyn [I. S. Gradshteĭn] and I. M. Ryzhik*, Math. Comp.**39**(1982), no. 160, 747–757. MR**669666**, https://doi.org/10.1090/S0025-5718-1982-0669666-2**[13]**Frits Beukers, Johan A. C. Kolk, and Eugenio Calabi,*Sums of generalized harmonic series and volumes*, Nieuw Arch. Wisk. (4)**11**(1993), no. 3, 217–224. MR**1251484****[14]**F. M. S. Lima,*New definite integrals and a two-term dilogarithm identity*, Indag. Math. (N.S.)**23**(2012), no. 1-2, 1–9. MR**2877396**, https://doi.org/10.1016/j.indag.2011.08.008**[15]**Joseph D’Avanzo and Nikolai A. Krylov,*𝜁(𝑛) via hyperbolic functions*, Involve**3**(2010), no. 3, 289–296. MR**2739520**, https://doi.org/10.2140/involve.2010.3.289**[16]**Noam D. Elkies,*On the sums ∑^{∞}_{𝑘=-∞}(4𝑘+1)⁻ⁿ*, Amer. Math. Monthly**110**(2003), no. 7, 561–573. MR**2001148**, https://doi.org/10.2307/3647742**[17]**Zurab Silagadze,*Sums of generalized harmonic series for kids from five to fifteen*, arXiv preprint arXiv:1003.3602 (2010).**[18]**Zurab Silagadze,*Comment on the sums 𝑆(𝑛)=∑^{∞}_{𝑘=-∞}(4𝑘+1)⁻ⁿ*, Georgian Math. J.**19**(2012), no. 3, 587–595. MR**2984507**, https://doi.org/10.1515/gmj-2012-0023**[19]**Richard P. Stanley,*Two poset polytopes*, Discrete Comput. Geom.**1**(1986), no. 1, 9–23. MR**824105**, https://doi.org/10.1007/BF02187680**[20]**Maxim Kontsevich and Don Zagier,*Periods*, Mathematics unlimited—2001 and beyond, Springer, Berlin, 2001, pp. 771–808. MR**1852188**

Retrieve articles in *Quarterly of Applied Mathematics*
with MSC (2010):
52B11,
97K20,
97K50

Retrieve articles in all journals with MSC (2010): 52B11, 97K20, 97K50

Additional Information

**Vivek Kaushik**

Affiliation:
Department of Mathematics, University of Illinois Urbana-Champaign, Champaign, Illinois 61820

Address at time of publication:
1409 West Green Street, Urbana, Illinois 61801

Email:
vskaush2@illinois.edu

**Daniele Ritelli**

Affiliation:
Department of Statistical Sciences, Università di Bologna, Bologna, Italy

Address at time of publication:
Via delle Belle Arti 4140126 Bologna Italy

Email:
daniele.ritelli@unibo.it

DOI:
https://doi.org/10.1090/qam/1499

Keywords:
Basel Problem,
multiple integrals,
random variables,
polytope

Received by editor(s):
October 10, 2017

Published electronically:
February 6, 2018

Article copyright:
© Copyright 2018
Brown University