Proofs of McIntosh's Conjecture on Franel Integrals and Two Generalizations

Abstract

We provide a proof of a conjecture made by Richard McIntosh in 1996 on the values of the Franel integrals, $$\int_0^1((ax))((bx))((cx))((ex))\,dx,$$ where $((x))$ is the first periodic Bernoulli function. Secondly, we extend our ideas to prove a similar theorem for $$\int_0^1((a_1x))((a_2x))\cdots ((a_{n}x))\,dx.$$ Lastly, we prove a further generalization in which $((x))$ is replaced by any particular Bernoulli function with odd index.

Abstract: arXiv descriptive metadata (CC0). Thank you to arXiv for use of its open access interoperability. This service was not reviewed or approved by, nor does it necessarily express or reflect the policies or opinions of, arXiv.