Trace Singularities in Obstacle Scattering and the Poisson Relation for the Relative Trace

We consider the case of scattering by several obstacles in Rd, d≥2 for the Laplace operator Δ with Dirichlet boundary conditions imposed on the obstacles. In the case of two obstacles, we have the Laplace operators Δ1 and Δ2 obtained by imposing Dirichlet boundary conditions only on one of the objects. The relative operator g(Δ)−g(Δ1)−g(Δ2)+g(Δ0) was introduced in Hanisch, Waters and one of the authors in (A relative trace formula for obstacle scattering. arXiv:2002.07291, 2020) and shown to be trace-class for a large class of functions g, including certain functions of polynomial growth. When g is sufficiently regular at zero and fast decaying at infinity then, by the Birman–Krein formula, this trace can be computed from the relative spectral shift function ξrel(λ)=−1πIm(Ξ(λ)), where Ξ(λ) is holomorphic in the upper half-plane and fast decaying. In this paper we study the wave-trace contributions to the singularities of the Fourier transform of ξrel. In particular we prove that ξ^rel is real-analytic near zero and we relate the decay of Ξ(λ) along the imaginary axis to the first wave-trace invariant of the shortest bouncing ball orbit between the obstacles. The function Ξ(λ) is important in the physics of quantum fields as it determines the Casimir interactions between the objects.