Starting from the construction of the free quantum scalar field of mass m >= 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.
展开▼