Advances in the theory of box integrals

Bailey, D.; Borwein, J.; Crandall, R.

doi:10.1090/S0025-5718-10-02338-0

Advances in the theory of box integrals
HTML articles powered by AMS MathViewer

by D. H. Bailey, J. M. Borwein and R. E. Crandall;

Math. Comp. 79 (2010), 1839-1866

DOI: https://doi.org/10.1090/S0025-5718-10-02338-0

Published electronically: February 9, 2010

PDF | Request permission

Abstract:

Box integrals—expectations $\langle |\vec r|^s \rangle$ or $\langle |\vec r - \vec q|^s \rangle$ over the unit $n$-cube—have over three decades been occasionally given closed forms for isolated $n, s$. By employing experimental mathematics together with a new, global analytic strategy, we prove that for each of $n = 1,2,3,4$ dimensions the box integrals are for any integer $s$ hypergeometrically closed (“hyperclosed”) in an explicit sense we clarify herein. For $n = 5$ dimensions, such a complete hyperclosure proof is blocked by a single, unresolved integral we call ${\mathcal K}_5$; although we do prove that all but a finite set of ($n = 5$) cases enjoy hyperclosure. We supply a compendium of exemplary closed forms that arise naturally from the theory.

References

R. S. Anderssen, R. P. Brent, D. J. Daley, and P. A. P. Moran, Concerning $\int ^{1}{}_{0}{}^{\ldots }\int ^{1}{}_{0}(x^{2}{}_{1}+^{\ldots }+x^{2}{}_{k}){}^{1/2}dx_{1}{}^{\ldots }dx_{k}$ and a Taylor series method, SIAM J. Appl. Math. 30 (1976), no. 1, 22–30. MR 394974, DOI 10.1137/0130003
M. Abramowitz and I.A. Stegun, Handbook of Mathematical Functions, NBS (now NIST), 1965. See also http://dlmf.nist.gov/.
David H. Bailey and Jonathan M. Borwein, “Highly parallel, high-precision numerical integration,” Int. Journal of Computational Science and Engineering, accepted Jan. 2008. Available at http://crd.lbl.gov/˜dhbailey/dhbpapers/quadparallel.pdf.
David H. Bailey and Jonathan M. Borwein, “Effective error bounds for Euler-Maclaurin-based quadrature schemes,” 20th Annual HPCS Proceedings, IEEE CD, May 2006. Available at http://crd.lbl.gov/˜dhbailey/dhbpapers/em-error.pdf.
D. H. Bailey, J. M. Borwein, and R. E. Crandall, Box integrals, J. Comput. Appl. Math. 206 (2007), no. 1, 196–208. MR 2337437, DOI 10.1016/j.cam.2006.06.010
D. H. Bailey, J. M. Borwein, and R. E. Crandall, Integrals of the Ising class, J. Phys. A 39 (2006), no. 40, 12271–12302. MR 2261886, DOI 10.1088/0305-4470/39/40/001
David H. Bailey, Jonathan M. Borwein, Vishaal Kapoor, and Eric W. Weisstein, Ten problems in experimental mathematics, Amer. Math. Monthly 113 (2006), no. 6, 481–509. MR 2231135, DOI 10.2307/27641975
David H. Bailey and David J. Broadhurst, Parallel integer relation detection: techniques and applications, Math. Comp. 70 (2001), no. 236, 1719–1736. MR 1836930, DOI 10.1090/S0025-5718-00-01278-3
David H. Bailey, Karthik Jeyabalan, and Xiaoye S. Li, A comparison of three high-precision quadrature schemes, Experiment. Math. 14 (2005), no. 3, 317–329. MR 2172710
David H. Bailey, Yozo Hida, Xiaoye S. Li and Brandon Thompson, “ARPREC: An arbitrary precision computation package,” September 2002. Available at http://crd.lbl.gov/˜dhbailey/dhbpapers/arprec.pdf.
Jonathan Borwein and David Bailey, Mathematics by experiment, 2nd ed., A K Peters, Ltd., Wellesley, MA, 2008. Plausible reasoning in the 21st Century. MR 2473161
Jonathan M. Borwein and Bruno Salvy, A proof of a recurrence for Bessel moments, Experiment. Math. 17 (2008), no. 2, 223–230. MR 2433887
Chaunming Zong, The Cube-A Window to Convex and Discrete Geometry, Cambridge Tracts in Mathematics, 2006.
R.E. Crandall, C. Joe, and T. Mehoke, “On the fractal distribution of brain synapses,” manuscript, 2009.
Helaman R. P. Ferguson, David H. Bailey, and Steve Arno, Analysis of PSLQ, an integer relation finding algorithm, Math. Comp. 68 (1999), no. 225, 351–369. MR 1489971, DOI 10.1090/S0025-5718-99-00995-3
Wolfram Koepf, Hypergeometric summation, Advanced Lectures in Mathematics, Friedr. Vieweg & Sohn, Braunschweig, 1998. An algorithmic approach to summation and special function identities. MR 1644447, DOI 10.1007/978-3-322-92918-1
G. Lamb,“An evaluation of the integral ${\mathcal K}_0$,” “A method of evaluating the integral ${\mathcal K}_1$,” and “An approach to evaluating the integral ${\mathcal K}_3$,” preprint collection, 2006.
G. Lamb,“An evaluation of the integral ${\mathcal K}_6$,” and “An approach to evaluating the integral ${\mathcal K}_4$,” preprint collection, 2009.
Leonard Lewin, Polylogarithms and associated functions, North-Holland Publishing Co., New York-Amsterdam, 1981. With a foreword by A. J. Van der Poorten. MR 618278
Jack Dongarra, Jim Bunch, Cleve Moler, Pete Stewart, LINPACK User’s Guide, SIAM, Philadelphia, 1979.
J. Philip, “The distance between two random points in a 4- and 5-cube,” preprint, 2008.
D. Robbins, “Average distance between two points in a box,” Amer. Mathematical Monthly, 85 (1978), 278.
Charles Schwartz, Numerical integration of analytic functions, J. Comput. Phys. 4 (1969), 19–29. MR 243741, DOI 10.1016/0021-9991(69)90037-0
Hidetosi Takahasi and Masatake Mori, Quadrature formulas obtained by variable transformation, Numer. Math. 21 (1973/74), 206–219. MR 331738, DOI 10.1007/BF01436624
M. Trott, Private communication, 2005.
M. Trott, “The area of a random triangle,” Mathematica Journal, 7 (1998), 189–198.
E. Weisstein, “Hypercube line picking.” Available at http://mathworld.wolfram.com/ HypercubeLinePicking.html.