Elliptic integral evaluations of Bessel moments

TL;DR

This paper develops new formulae for Bessel function moments, discovering and proving closed forms for various integrals relevant in mathematical physics, with implications for quantum field theory and lattice models.

Contribution

It introduces novel closed-form evaluations for Bessel moments, extending known results and proposing conjectures with extensive numerical verification.

Findings

Derived new closed forms for even and odd Bessel moments

Established connections between Bessel integrals and lattice Green functions

Proposed and numerically validated several conjectural evaluations

Abstract

We record what is known about the closed forms for various Bessel function moments arising in quantum field theory, condensed matter theory and other parts of mathematical physics. More generally, we develop formulae for integrals of products of six or fewer Bessel functions. In consequence, we are able to discover and prove closed forms for $c_{n,k}:=\int_0^\infty t^k K_0^n(t) {\rm d}t$ with integers $n=1,2,3,4$ and $k\ge0$, obtaining new results for the even moments $c_{3,2k}$ and $c_{4,2k}$. We also derive new closed forms for the odd moments $s_{n,2k+1}:=\int_0^\infty t^{2k+1}I_0^{}(t) K_0^{n-1}(t) {\rm d}t$ with $n=3,4$ and for $t_{n,2k+1}:=\int_0^\infty t^{2k+1}I_0^2(t) K_0^{n-2}(t) {\rm d}t$ with $n=5$, relating the latter to Green functions on hexagonal, diamond and cubic lattices. We conjecture the values of $s_{5,2k+1}$, make substantial progress on the evaluation of $c_{5,2k+1}$, $s_{6,2k+1}$ and $t_{6,2k+1}$ and report more limited progress regarding $c_{5,2k}$, $c_{6,2k+1}$ and $c_{6,2k}$. In the process, we obtain 8 conjectural evaluations, each of which has been checked to 1200 decimal places. One of these lies deep in 4- dimensional quantum field theory and two are probably provable by delicate combinatorics. There remains a hard core of five conjectures whose proofs would be most instructive, to mathematicians and physicists alike.