A mathematical analysis of Casimir interactions I: The scalar field

Starting from the construction of the free quantum scalar field of mass $m\ge 0$ we give mathematically precise and rigorous versions of three different approaches to computing the Casimir forces between compact obstacles. We then prove that they are equivalent.