\mathbb Q-linear dependence of certain Bessel moments

DOI10.1007/S11139-021-00416-9arXiv1911.04141MaRDI QIDQ6328906FDOQ6328906

Yajun Zhou

Publication date: 11 November 2019

Abstract: Let $I_0$ and $K_0$ be modified Bessel functions of the zeroth order. We use Vanhove's differential operators for Feynman integrals to derive upper bounds for dimensions of the $mathbbQ$-vector space spanned by certain sequences of Bessel moments [ left{left.int_0^infty [I_0(t)]^a[K_0(t)]^b t^{2k+1}mathrm{d}, t ight|kinmathbb Z_{geq0} ight},]where $a$ and $b$ are fixed non-negative integers. For $ainmathbbZcap[1,b)$, our upper bound for the $mathbbQ$-linear dimension is $lfloor(a+b-1)/2floor$, which improves the Borwein-Salvy bound $lfloor(a+b+1)/2floor$. Our new upper bound $lfloor(a+b-1)/2floor$ is not sharp for $a=2,b=6$, due to an exceptional $mathbbQ$-linear relation $in{t}_0^{i}nfty[I_0(t){]}^2[K_0(t){]}^{6}tmathrmd,t=72in{t}_0^{i}nfty[I_0(t){]}^2[K_0(t){]}^6{t}^{3}mathrmd,t$, which is provable by integrating modular forms.

Mathematics Subject Classification ID

Modular and automorphic functions (11F03) Bessel and Airy functions, cylinder functions, ({}_0F_1) (33C10) Feynman diagrams (81T18) Special integral transforms (Legendre, Hilbert, etc.) (44A15)

This page was built for publication: $\mathbb Q$-linear dependence of certain Bessel moments

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6328906)