A mathematical analysis of Casimir interactions I: The scalar field
Starting from the construction of the free quantum scalar field of mass 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.