Abstract
We consider the case of scattering by several obstacles in \({\mathbb {R}}^d\), \(d \ge 2\) for the Laplace operator \(\Delta \) with Dirichlet boundary conditions imposed on the obstacles. In the case of two obstacles, we have the Laplace operators \(\Delta _1\) and \(\Delta _2\) obtained by imposing Dirichlet boundary conditions only on one of the objects. The relative operator \(g(\Delta ) - g(\Delta _1) - g(\Delta _2) + g(\Delta _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 \(\xi _\mathrm {rel}(\lambda ) = -\frac{1}{\pi } {\text {Im}}(\Xi (\lambda ))\), where \(\Xi (\lambda )\) 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 \(\xi _\mathrm {rel}\). In particular we prove that \({\hat{\xi }}_\mathrm {rel}\) is real-analytic near zero and we relate the decay of \(\Xi (\lambda )\) along the imaginary axis to the first wave-trace invariant of the shortest bouncing ball orbit between the obstacles. The function \(\Xi (\lambda )\) is important in the physics of quantum fields as it determines the Casimir interactions between the objects.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
We consider obstacle scattering for the Laplace operator \(\Delta = \mathrm {d}^* \mathrm {d}= \nabla ^* \nabla \) acting on functions on d-dimensional Euclidean space \({\mathbb {R}}^d\) with \(d \ge 2\).
Let \(\Omega \) be a bounded open subset of \({\mathbb {R}}^d\) with smooth boundary such that \(M = {\mathbb {R}}^d {\setminus } \overline{\Omega }\) is connected. The domain \(\Omega \) will be assumed to consist of N many connected components \(\Omega _1,\ldots ,\Omega _N\). The space \(X = {\mathbb {R}}^d {\setminus }\partial \Omega \) therefore consists of the \(N+1\)-many connected components \(\Omega _1,\ldots ,\Omega _N,M\). We think of \(\Omega \) as obstacles placed in \({\mathbb {R}}^d\) (Fig. 1). The open subset M then corresponds to the exterior region of these obstacles. Similarly, we define \(M_i = {\mathbb {R}}^d {\setminus }\overline{\Omega _i}\) and \(X_i={\mathbb {R}}^d {\setminus }\partial \Omega _i\).
Definition 1.1
The self-adjoint operators \(\Delta _0, \Delta _M, \Delta _X, \Delta _{X_i}\) are defined as follows.
-
1.
On the Hilbert space \(L^2({\mathbb {R}}^d)\) the free Laplacian \(\Delta _0\) is defined as the self-adjoint operator \(\Delta \) with domain \(H^2({\mathbb {R}}^d)\).
-
2.
On the Hilbert space \(L^2(M)\) the exterior Laplacian \(\Delta _M\) is the self-adjoint operator \(\Delta \) with domain \(H^2(M) \cap H^1_0(M)\), i.e. the operator constructed from the Dirichlet quadratic form on \(C_0^\infty (M)\).
-
3.
On the Hilbert space \(L^2(\Omega )\) the interior Laplacians \(\Delta _{\Omega }\) with domain \(H^2(\Omega ) \cap H^1_0(\Omega )\) is constructed from the Dirichlet quadratic forms on \(H^1_0(\Omega )\). This operator splits into a direct sum \(\Delta _{\Omega } = \Delta _{\Omega _1} \oplus \cdots \oplus \Delta _{\Omega _N}\) on \(L^2(\Omega )= L^2(\Omega _1) \oplus \cdots \oplus L^2(\Omega _N)\).
-
4.
On the Hilbert space \(L^2({\mathbb {R}}^d) = L^2(M) \oplus L^2(\Omega )\) is defined as the operator \(\Delta _X = \Delta _M \oplus \Delta _\Omega \).
-
5.
On the Hilbert space \(L^2({\mathbb {R}}^d)\) the operator \(\Delta _{X_i}\) the operator is defined by the Dirichlet quadratic form on \(H^1_0(X_i)\). This operator is the direct sum of \(\Delta _{\Omega _i}\) and the exterior Dirichlet Laplacian \(\Delta _{M_i}\).
Spectral and scattering theory describe the spectral resolution of these operators, which we now explain in more detail. A similar description as below is true in the more general black-box formalism in scattering theory as introduced by Sjöstrand and Zworski [36] and follows from the meromorphic continuation of the resolvent and its consequences. The description below follows [41] and we refer the reader to this article for the details of the spectral decomposition and properties of the scattering matrix.
The operators \(\Delta _{\Omega }\) and \(\Delta _{\Omega _i}\) have purely discrete spectrum, whereas \(\Delta _M\) has purely absolutely continuous spectrum. The spectral resolution of \(\Delta _\Omega \) is described by an orthonormal basis \((\phi _j)\) of smooth eigenfunctions \(\phi _j \in C^\infty (\overline{\Omega })\) with eigenvalues \(\lambda _j^2\), where we assume
The eigenvalue counting function \({\mathcal {N}}_{\Omega }\) is defined by \({\mathcal {N}}_\Omega (\lambda ) = \#\{ \lambda _j < \lambda \}\) and satisfies a Weyl-law
for \(\lambda \rightarrow +\infty \), where \(C_d=(2\pi )^{-d}\omega _d\) and \(\omega _d\) is the Euclidean volume of the unit ball in \({\mathbb {R}}^d\). The continuous spectral resolution of \(\Delta _M\) is described by generalised eigenfunctions \(E_\lambda (\Phi ) \in C^\infty ({\overline{M}})\) indexed by \(\lambda >0\) and \(\Phi \in C^\infty ({{\mathbb {S}}^{d-1}})\). The are uniquely determined by the following properties
-
1.
\((\Delta - \lambda ^2 ) E_\lambda (\Phi ) =0\),
-
2.
\(E_\lambda (\Phi )|_{\partial M}=0\)
-
3.
The asymptotic expansion
$$\begin{aligned} E_\lambda (\Phi ) = \frac{\mathrm {e} ^{-\mathrm {i}\lambda r} \mathrm {e} ^{\frac{i\pi (d-1)}{4}} }{r^{\frac{d-1}{2}}} \Phi + \frac{\mathrm {e} ^{\mathrm{i \lambda r}} \mathrm {e} ^{-\frac{i\pi (d-1)}{4}} }{r^{\frac{d-1}{2}}} \Psi _\lambda + O\left( \frac{1}{r^{\frac{d+1}{2}}}\right) , \quad \text {for} \quad r \rightarrow \infty \end{aligned}$$holds for some \(\Psi _\lambda \in C^\infty ({{\mathbb {S}}^{d-1}})\).
As a result \(\Psi _\lambda \) is uniquely determined and implicitly defines a linear mapping
where \(\tau : C^\infty ({{\mathbb {S}}^{d-1}}) \rightarrow C^\infty ({{\mathbb {S}}^{d-1}})\) is the pull-back of the antipodal map. The map \({\varvec{S}}_\lambda : C^\infty ({{\mathbb {S}}^{d-1}}) \rightarrow C^\infty ({{\mathbb {S}}^{d-1}})\) is called the scattering matrix, and \( {\varvec{A}}_\lambda = {\varvec{S}}_\lambda - \mathrm {id}\) is called the scattering amplitude. The scattering matrix extends to a unitary operator \({\varvec{S}}_\lambda : L^2({{\mathbb {S}}^{d-1}}) \rightarrow L^2({{\mathbb {S}}^{d-1}})\) for \(\lambda >0\), and has the following properties depending on whether the dimension is even or odd.
-
In case d is odd the scattering matrix \({\varvec{S}}_\lambda \) extends to a meromorphic function on \({\mathbb {C}}\) which is regular on the real line. It satisfies the functional relation \({\varvec{S}}_\lambda \tau {\varvec{S}}_{-\lambda } = \tau \) and is unitary in the sense that \(({\varvec{S}}_\lambda )^{-1} = {\varvec{S}}_{\overline{\lambda }}^*\).
-
In case d is even the scattering matrix \({\varvec{S}}_\lambda \) extends to a meromorphic function on the logarithmic cover of \({\mathbb {C}}{\setminus }\{0\}\). It is holomorphic in the upper half-plane and regular on \({\mathbb {R}}{\setminus } \{0\}\). We have a functional relation \({\varvec{S}}_\lambda \, \tau \, (2 \, \mathrm {id} - {\varvec{S}}_{-\lambda }) = \tau \), where \(-\lambda \) is interpreted as \(e^{i \pi }\lambda \). Unitarity holds in the sense that \(({\varvec{S}}_\lambda )^{-1} = {\varvec{S}}_{\overline{\lambda }}^*\).
It can be shown that \({\varvec{A}}_\lambda \) extends to a continuous family of trace-class operators on the real line and one has the following estimate on the trace norm
for all \(| \lambda |<\frac{1}{2}\) in a fixed sector in the logarithmic cover of the complex plane, c.f. [41, Theorem 1.11] or [6, Lemma 2.5] in case \(d \ge 3\).
If \(f \in {\mathcal {S}}({\mathbb {R}})\) is a Schwartz function with \(f(\lambda ) = f(-\lambda )\) we have that \(f(\Delta _X^{\frac{1}{2}}) - f(\Delta _0^{\frac{1}{2}})\) is a trace-class operator with trace equal to
for a function \(\xi \in L^1_{\mathrm {loc}}({\mathbb {R}})\) with \(\xi (\lambda )=0\) if \(\lambda <0\). The function is uniquely determined and called the spectral shift function. The Birman-Krein formula [3] states that for \(\lambda >0\) one has
The relative trace and the relative trace formula were introduced in [18]. Suppose that h is a polynomially bounded function and \(\Delta _{X_j}\) as defined in Definition 1.1. Then each of the operators \(h(\Delta _X)\), \(h(\Delta _{X_j})\), and \(h(\Delta _0)\) has \(C^\infty _0(X)\) contained in its domain. We define
This operator has dense domain, containing \(C^\infty _0(X)\). Whenever this operator is bounded (which is the only case we consider in this paper), we will denote its closure also by \({\mathcal {R}}_h\). If \(h \in {\mathcal {S}}({\mathbb {R}})\) is even then \({\mathcal {R}}_h\) is a trace-class operator and
where the relative spectral shift-function \(\xi _\mathrm {rel}\) is for \(\lambda >0\) given by
Here \(\det ({\varvec{S}}_{j,\lambda })\) correspond to the scattering matrices when only obstacle \(\Omega _j\) is present, and the other obstacles are removed. Note that the interior contributions cancel out. The main result of [18] is that \({\mathcal {R}}_h\) is trace-class for a much larger class of functions including \(h(\lambda )=\lambda ^s\) for \({\text {Re}}(s) >0\). We briefly recall the result for a slightly less general class of functions that are sufficient for the purposes of this article. Define
for some \(0<\theta \le \pi \) and let \({\mathcal {P}}_\theta \) be the set of functions that are polynomially bounded, holomorphic in \({\mathfrak {S}}_\theta \), and satisfy the estimate \(| g(z)| = O(|z|^a)\) if \(|z|<1\) for some \(a>0\). If f is a function such that \(f(\lambda ) = g(\lambda ^2)\) for some g in \({\mathcal {P}}_\theta \) then \({\mathcal {R}}_f\) is trace-class and its trace can be computed by
for some universal function \(\Xi \) that is independent of f. Here \(\Gamma \) is the path in the complex plane consisting of the rays \((-\infty ,0] \rightarrow {\mathbb {C}}, t \mapsto -t e^{\mathrm{i}} \theta /2\) and \([0,\infty ) \rightarrow {\mathbb {C}}, t \mapsto t e^{\mathrm{i}} (\pi -\frac{\theta }{2})\). The function \(\Xi \) is holomorphic in the upper half plane and satisfies on \({\mathfrak {D}}_\epsilon =\{ \lambda \in {\mathbb {C}}\mid {\text {Im}}(\lambda ) > \epsilon |\lambda | \}\) the following bounds
for any \(\delta '\) with \(0< \delta ' < \delta \) and \(\epsilon >0\). In particular \(\Xi \) is bounded in each sector near zero and is exponentially decaying at imaginary infinity. Here
denotes the minimum of the distances between distinct objects. The function \(\Xi \) has a continuous boundary value on \({\mathbb {R}}\) and if \(\lambda >0\) we have
Moreover, \(\Xi (\lambda )\) can be expressed in terms of boundary layer operators as \(\Xi (\lambda ) = \log \det \left( Q_\lambda {\tilde{Q}}_\lambda ^{-1} \right) \) (see [18, Theorem 1.7]). Here \(Q_\lambda \) is the single layer operator for the Helmholtz equation on \(\partial \Omega \) and \({\tilde{Q}}_\lambda \) is the direct sum of the single layer operators on the components \(\partial \Omega _j\). This makes the function accessible both to numerical computation and to explicit estimates.
In this paper we link the asymptotic exponential decay rate of \(\Xi \) with wave-trace invariants in the singularity expansion of the Fourier transform \({\hat{\xi }}_{\mathrm {rel}}\) of the relative spectral shift function \(\xi _{\mathrm {rel}}\).
This is achieved by establishing a relationship between \({\hat{\xi }}_{\mathrm {rel}}\) and \(\Xi \). Let \(\theta = \chi _{[0,\infty )}\) be the Heaviside step function. Then, \({\text {Im}}({\hat{\xi }}_{\mathrm {rel}})\) vanishes near zero and \(-4\pi \theta \cdot {\text {Im}}({\hat{\xi }}_{\mathrm {rel}})\) has a well defined Fourier-Laplace transform. We show in Sect. 4, that this Fourier-Laplace transform equals \(\Xi (\lambda )\). This allows to translate properties of the wave-trace, a well studied object, to results for the function \(\Xi (\lambda )\). In particular the singularity of the wave-trace at \(t=2\delta \) determines the decay of \(\Xi (\lambda )\) at imaginary infinity.
To demonstrate this we focus on the simplest case, when the obstacles are strictly convex near the points that have distance \(\delta \) to other boundary components. In this case there exist only finitely many isolated non-degenerate bouncing ball orbits of length \(2\delta \) between the obstacles and the corresponding leading wave trace-invariant at \(t=2\delta \) can be computed explicitly. This leads to the following asymptotic behaviour for \(\Xi \) valid uniformly in any sector of the form \(\{ \lambda \in {\mathbb {C}} \mid {\text {Im}}(\lambda )> \alpha | {\text {Re}}(\lambda ) | \}, \alpha >0\), namely
where the sum is over bouncing ball modes of length \(2 \delta \) and \(P_{\gamma _j}\) is the associated Poincaré map. The precise formulation is in Theorems 3.7 and 4.1. This improves the a priori bounds (2) from [18] and allows for a geometric interpretation. Without convexity assumptions one has the bound
for any \(0< \delta '< \delta \) as a consequence of our finite propagation speed estimates uniformly in any sector of the form above.
1.1 Casimir effect
The quantity \(\frac{1}{2\pi }\int _0^\infty \Xi ( \mathrm {i}\lambda ) \mathrm {d}\lambda \) can be interpreted as the Casimir energy between the objects. This can formally be justified by considering the relative trace of the operator as done in [18] and quantum field theory considerations. In [12] we provided a full mathematical proof that the Casimir force, as computed from the quantum mechanical stress energy tensor is the same as the variation of the above energy. It also was shown to have the same variation as Zeta regularised quantities. The extension to differential forms will be given in a forthcoming paper [13], which is related to [40, 42]. Formal considerations in theoretical physics have been used to justify expansions of the type above. We refer here to [11, 21] and in particular [44] where the relation to scattering theory is claimed. Our results are a further step to a full mathematical justification and show to what extent formal derivations hold and how they need to be interpreted. In particular the relation to mathematical scattering theory is expected to provide further insights.
1.2 Wave-trace invariants
For non-compact cases, the wave-trace invariants determine the asymptotic behaviour of the function \(\Xi \) in the upper half plane. Conversely the asymptotic behaviour of \(\Xi \) can probably be used to compute wave-trace invariants of bouncing ball orbits. The reason is that \(\Xi \) is the determinant of the operator which is expressed entirely in terms of boundary layer operators [18]. Boundary layer operators were used in two dimensions in Zelditch’s treatment of the inverse problem for \({\mathbb {Z}}_2\)-symmetric domains [45, 46]. A statement for higher dimensions can be found in the work of Hezari and Zelditch [19]. The function \(\Xi \) may be useful in this context.
1.3 Sign conventions and notations
1.3.1 Function spaces and Fourier transform
The Fourier transform \({\hat{f}}\) of \(f \in L^1({\mathbb {R}}^d)\) will be defined by
where \(x \cdot \xi \) is the Euclidean inner product on \({\mathbb {R}}^n\). We work with the field of complex numbers unless otherwise stated: For example \(C^\infty (M)\) denotes the space of complex valued smooth functions on M. Similarly, \(C^\infty _0(M)\) denotes the set of complex valued smooth compactly supported functions.
1.3.2 Convexity and concavity of obstacles
In this paper, we use the convention of [1, 25] to define the convexity or concavity for a Riemannian manifold (M, g) with boundary \(\partial M\). Let \(f: M \rightarrow {\mathbb {R}}\) be a boundary defining function, i.e. \(f=0, \mathrm {d}f \not =0\) on \(\partial M\) and \(f >0\) on \(M {\setminus }\partial M\). We pull back f to a function on \(T^*M\) which we denote by the same letter. Then M is called strictly (locally geodesically) convex, if for every \((x,\xi ) \in T^*M\) with \(x \in \partial M\) we have the conclusion
where \(H_g\) is the generator of the geodesic flow on \(T^*M\), i.e. the Hamiltonian flow of the function \(\frac{1}{2} g^{-1}(\xi ,\xi )\) on \(T^*M\). Similarly, M is called strictly (locally geodesically) concave, if for every \(x\in \partial M\)
These definitions can of course be localised, so it makes sense to say that M is strictly convex/concave locally near a point \(x \in \partial M\). If the musical isomorphisms are used to identify \(T^*M\) and TM then the vector field \(H_g\) gets identified with the geodesic spray. If g is Euclidean, then \(H_g f=\nabla f\) is the gradient of f and \(H_g H_g f={\text {Hess}}(f)\) is the Hessian of f. Therefore, the above definitions of convexity and concavity are the standard definitions if (M, g) is Euclidean.
2 Singularity trace expansion for convex obstacles
Since the operator \((\Delta _X+1)^{-k} - (\Delta _0 + 1)^{-k}\) is a trace-class operator for all \(k>(d-1)/2\) (see [4]), the classical Lifshits-Krein spectral shift function of the pair (A, B) with \(A=(\Delta _X+1)^{-k}\) and \(B= (\Delta _0 + 1)^{-k}\) is the unique \(L^1\)-function \(\xi _{AB}(\lambda ) \in L^1({\mathbb {R}})\) such that
for all \(g \in C^\infty _0({\mathbb {R}})\). The above identity is known to hold for g in the Besov space \(B^{1}_{\infty ,1}({\mathbb {R}})\), but is certainly true for \(L^1\)-functions whose derivative has \(L^1\)-Fourier transform. In fact, the most general class of admissible functions for \(\xi _{AB}\) is the space of operator Lipschitz functions on \({\mathbb {R}}\) [29, 30]. Changing variables this shows that \(f(\Delta _X^\frac{1}{2})-f(\Delta _0^\frac{1}{2})\) is trace-class with trace equal to
for all \(f \in C^1([0,\infty ))\) that satisfy
for some \(k>(d-1)/2\). This is not the most general class of functions for which the above holds, but it will be sufficient for our purposes. From the above change of variables one obtains \(\xi \in L^1({\mathbb {R}},|\lambda |(1+\lambda ^2)^{-k-1} \mathrm {d}\lambda )\). By the bounds on \(\Vert {\varvec{A}}_\lambda \Vert _1\) one in fact has \(\xi \in L^1({\mathbb {R}},(1+\lambda ^2)^{-k-1} \mathrm {d}\lambda )\) and \(\xi \) is a piecewise continuous function vanishing at zero.
This implies that \({\hat{\xi }}\) is a tempered distribution. Since \(\xi \) is supported in \([0,\infty )\) it is completely determined by its odd part \(\xi _\mathrm {o}(\lambda ) = \frac{1}{2} (\xi (\lambda ) -\xi (-\lambda ) )\). Then
The distributional wave trace \(w \in {\mathcal {S}}'({\mathbb {R}})\) is formally defined by
This formal expression needs to be interpreted in the sense of distributions, i.e. for each test function \(\phi \in {\mathcal {S}}({\mathbb {R}})\) one has
is a trace-class operator, and its trace is given by the pairing \((w,\phi )\). Here \(\phi _e(t) = \frac{1}{2}(\phi (t) + \phi (-t))\) is the even part of \(\phi \) and therefore \({\hat{\phi }}_e\) is the cosine transform of \(\phi \). By the Birman–Krein formula we have that \((w, \phi )\) is equal to the pairing of \( \mathrm {i}t {\hat{\xi }}_\mathrm {o}\) with \(\phi \). As an immediate consequence of the definition of the spectral shift function one obtains
Now we would like to separate the absolutely continuous part \(\xi _{ac}\) from the piecewise constant part \(\xi _{p}\) of the spectral shift function. Let \(\Pi _M:L^2({\mathbb {R}}^d)\rightarrow L^2(M)\) be the orthogonal projection. Then \( {\hat{\phi }}_e(\Delta _X^\frac{1}{2})\) commutes with \(\Pi _M\), but \( {\hat{\phi }}_e(\Delta _0^\frac{1}{2})\) does not. However, we still have the decomposition
and
Here
and \(\gamma _{d}\) is a homogeneous distribution given by
where \({\underline{t}}^{-d}\) is the homogeneous distribution defined in [17, Section 3.2] and \(\varvec{\delta }^{d-1}\) is the \(d-1\)th distributional derivative of the delta distribution. Note that \(\gamma _{d}(t)\) is the cosine Fourier transform of \((d C_d)\lambda _+^{d-1}\) [33].
One can also consider the Cauchy evolution operator \(U_X(t)\) which acts on the Hilbert space \(L^2(X) \oplus L^2(X)\) and is given by
where \(\Delta _X^{-\frac{1}{2}} \sin (t \Delta _X^\frac{1}{2})\) is defined by functional calculus with respect to the function \(g(x)=x^{-\frac{1}{2}} \sin (x^\frac{1}{2} t)\), which is entire in x. This operator has finite propagation speed in the sense that its distributional kernel is supported away from the set \(\{ (x,y) \mid \mathrm {dist}(x,y) > t \}\). We similarly define \(U_{X_j}\) and \(U_0\). The corresponding distribution trace
then equals 2w(t).
Remark 2.1
It is sometimes more natural to consider the operator \(U_X(t)\) as an operator in \(H^1(X) \oplus L^2(X)\) and thus define its distributional trace in that space. Since for any smooth compactly supported test function \(\phi \in C^\infty _0({\mathbb {R}})\) the operator \( \int _{\mathbb {R}}U_X(t) \phi (t) \mathrm {d}t \) has smooth compactly supported integral kernel, its trace in any Sobolev space equals the integral over the diagonal. Thus, the distributional traces one obtains are independent of the choice of Sobolev space in the definition of the trace.
The properties of u (and hence w) have been subject to extensive investigation in various settings. This started with the work of Lax–Phillips [23, 24] in odd dimensions. Their method is also known as the Lax–Phillips semigroup construction [43, Chapter 9]. The trace of the Lax–Phillips semigroup can be expressed in terms of the scattering operator. By Lidskii’s theorem, the trace can also be written as a sum of the Fourier transform of the test function over the scattering frequencies (also known as resonances or scattering poles). It turns out that the trace of the Lax–Phillips semigroup is equal to the one of u(t) [43, Chapter 9]. The trace-class property of u on \((0,\infty )\) was shown by Bardos–Guillot–Ralston in [2] using the Birman–Krein formula (see also Melrose in [26] for potential scattering problems). By applying Ivrii’s work on the second Weyl coefficient [20], Melrose extended the trace formula to include \(t=0\) for compact obstacles in [28]. There is a rich mathematical literature on estimates of the number of scattering poles in various settings based on trace-formulae, for instance, [27, 28, 31, 36,37,38].
The relation to geometry is facilitated by expressing the singular part of the wave-trace in terms of a sum of Lagrangian distributions with supports at the lengths of periodic trajectories. This is sometimes referred to as the Poisson summation formula for the wave trace. Thanks to the work of Chazarain [5], Colin de Verdière [7, 8], Duistermaat [9], Guillemin–Melrose [15], and Andersson–Melrose [1], the Poisson summation formula for the wave trace was derived for compact manifolds with or without boundary. We also refer to [34] for a very detailed treatment containing the case of manifolds with boundary. The standard assumptions for these results is strict geodesic concavity or convexity of the boundary. In the non-compact situation of obstacle scattering of finitely many strictly convex compact objects the Poisson summation formula is due to Bardos, Guillot, and Ralston [2]. We also refer to Petkov and Popov [32] for an overview and further results for non-trapping boundaries.
Theorem 2.2
Suppose \(\Omega _j\) is strictly convex for \(1\le j \le N\). Then the singular support of the distribution \(w_{ac}\) is contained in the set
This theorem can be found in somewhat different language in [1, 15, 32] and is essentially Theorem 5 in [2]. It was first proved in a manifold setting by Melrose and Andersson [1] for compact manifolds. The theorem in the non-compact context can be reduced to the compact case using finite propagation speed arguments. Since such arguments are important in our approach we sketch it here for the sake of completeness.
Proof
Since \(w_{ac}\) is even it is sufficient to prove this for \(w_{ac}\) restricted to an arbitrary interval (0, T). We can therefore assume without loss of generality that all test functions are supported in (0, T). Denote by \({\tilde{w}}_M(t,x,y)\) and \({\tilde{w}}_0(t,x,y)\) the distributional kernels for \(\cos (t \Delta _M^\frac{1}{2})\) and \(\cos (t \Delta _0^\frac{1}{2})\) respectively. Let \(\phi \in C^\infty _0((0,T))\) be an arbitrary test function. Then the operator
has integral kernel that is smooth on \(\overline{M} \times \overline{M}\). In fact, \({\tilde{w}}_M(t,x,y)\) and \({\tilde{w}}_0(t,x,y)\) are distributions on (0, T) taking values in \(C^\infty (\overline{M} \times \overline{M})\) (see [1, 9, Section 1], [10, Section 3] and [32, Section 4]) and we will use this as a convenient notation. For example the diagonal values \({\tilde{w}}_M(t,x,x)\) and \({\tilde{w}}_0(t,x,x)\) make sense as distributions in the t-variable. In fact, by finite propagation speed its kernel is compactly supported in \(\overline{M} \times \overline{M}\). By Mercer’s theorem we have in the sense of distributions
The support of \(w_M(t,x,x)-w_0(t,x,x)\) is compact and contained in a ball \(B_R(0)\) of radius \(R>T>0\). We choose R so large that the distance from the boundary of the ball to \(\Omega \) is larger than T. Again using finite propagation speed and the implied support properties of the wave-kernels we can modify M outside this ball without changing the integral. This is done by gluing a large d-dimensional hemisphere onto the boundary of \(B_R(0)\) in such a way that no additional length spectrum in (0, T) is introduced. The precise gluing construction can be found in [39, Section 10] (also in [37]). In this way we obtain a compact manifold \({\tilde{M}}\) with boundary \(\partial \Omega \) and a closed manifold \({\tilde{M}}_0\) such that \({\tilde{M}} ={\tilde{M}}_0 {\setminus }\Omega \). Since the closed manifold \({\tilde{M}}_0\) was constructed from a large ball in \({\mathbb {R}}^d\) by gluing a large hemisphere the length spectrum of this manifold does not contain elements in (0, T). We have as a distribution on (0, T) the equality
where \(w_{{\tilde{M}}}(t)=\mathrm {Tr}(\cos (t \Delta _{{\tilde{M}}}^\frac{1}{2}))\) and \(w_{{\tilde{M}}_0}(t)=\mathrm {Tr}(\cos (t \Delta _{{\tilde{M}}_0}^\frac{1}{2}))\). The second term has no singularity in (0, T) since \({\tilde{M}}_0\) is a closed manifold and the length spectrum does not intersect (0, T), by [9]. The third term is \(| \Omega | \gamma _{d}(t)\) when restricted to (0, T) and also does not have any singularities. The singularities of \(w_{{\tilde{M}}}(t)\) were studied in [1]. In particular, Theorem 8.9 in [1] implies \({\text {sing\, supp}}(w_{{\tilde{M}}}) \subset {\mathcal {L}}(M)\), where \({\mathcal {L}}(M)\) is the minimal length spectrum of M and it is defined as
Since \(\Omega _j\) is strictly convex with respect to the interior part, it is strictly concave with respect to \({\tilde{M}}\) (the exterior part). Therefore, there are no gliding rays in \({\tilde{M}}\) and the theorem follows. \(\square \)
3 Trace singularity expansion for the relative spectral shift function
In this section we assume throughout that number of connected components N is at least two. We will study the singularities of \({\hat{\xi }}_{\mathrm {rel}}\) and the relative distributional wave-trace
Here \(w_j(t) = \mathrm {Tr}\left( \cos (t \Delta _{X_j}^\frac{1}{2}) - \cos (t \Delta _0^\frac{1}{2})\right) \) corresponds to w(t) in the configuration where only the j-th obstacle \(\Omega _j\) is present.
We start by preparing some observations about finite propagation speed which hold independent of convexity assumptions.
Proposition 3.1
Let \({\tilde{u}}(t,x,y)\) be the distributional kernel of \(U_X-U_0\). Then, for (t, x, y) to be in the support of \({\tilde{u}}\) it is a necessary condition that there exists a piecewise linear continuous path \(\gamma : [0,L] \rightarrow {\mathbb {R}}^d\) of length \(L \le |t|\) such that \(\gamma (0)=y\), \(\gamma (L)=x\) and \(\gamma (s) \in \partial \Omega \) for some \(s \in [0,L]\).
Proof
We first prove the statement for \(t\ge 0\). For \(g = \left( \begin{matrix} g_1\\ g_2 \end{matrix} \right) \in C^\infty ({\mathbb {R}}\times X, {\mathbb {C}}^2)\) we write \({\mathcal {D}} g:= \partial _t g_2 -g_1\). If \(f = \left( \begin{matrix} f_1\\ f_2 \end{matrix} \right) \in C^\infty _0(X, {\mathbb {C}}^2)\) then \(g(t,\cdot )=U_X(t) f\) solves the system \(\Box g =0, {\mathcal {D}} g=0\) with initial conditions \(g(0,x)= f(x)\). The function g is the unique solution of this system satisfying the boundary conditions.
Let \(A\subset {\mathbb {R}}^d\) and define \(A_r:=\{x\in {\mathbb {R}}^d: \mathrm {dist}(x,A)\le r \}\). We also set \(A_r=\emptyset \) for \(r<0\) and \(\emptyset _r=\emptyset \) for \(r\in {\mathbb {R}}\). We fix \((x,y) \in X \times X\) and consider a \({\mathbb {C}}^2\)-valued test function f supported in an \(\epsilon \)-ball \(B_\epsilon (y)\). Moreover, let \(\eta \) be a test function which is supported in \((\partial \Omega )_\epsilon \), i.e. a small \(\epsilon \)-tubular neighborhood of \(\partial \Omega \) and \(\eta =1\) on \((\partial \Omega )_{\frac{\epsilon }{2}}\). Let \(\chi = 1- \eta \). Then \(g=\chi U_0(t)f\) is a \({\mathbb {C}}^2\)-valued solution of the inhomogeneous wave equation
This implies \({\mathcal {D}} h=0\). Since \(h(t) = -[\Box , \eta ] U_0(t)f\), one knows that h(t) is supported in \((\partial \Omega )_\epsilon \cap B_{t+\epsilon }(y)\). This means that the support of h contains points (t, z) only if there is a linear path starting in \(B_\epsilon (y)\) ending at z in \((\partial \Omega )_\epsilon \cap B_{t+\epsilon }(y)\) with a length of \(L_1 \le t+2\epsilon \). Let \(G_{\mathrm {ret}}\) be the forward propagator obtained from \(U_X\), i.e. \(G_{\mathrm {ret}}(s)\) is supported at \(s\ge 0\) and it is given by
As before \(\theta \) denotes the Heaviside step function. Since g(t) satisfies the boundary condition for \(\Delta _X\) and the inhomogeneous wave equation (6) with \(g(0)=f\), we have
For sufficiently small \(\epsilon >0\) let \(\varphi \) be a smooth cutoff function supported in \(B_{\epsilon }(x)\). Then,
As a consequence of energy estimates with boundary conditions, \(G_{\mathrm {ret}}(t)\) has the finite propagation speed property in the sense that its distributional kernel is supported in \(\{(x,y) \mid \mathrm {dist}(x,y) \le t\}\). Therefore, \(G_{\mathrm {ret}}(t-t') h(t') \) is supported in \(((\partial \Omega )_\epsilon \cap B_{t'+\epsilon }(y))_{t-t'}\). In order for the support of \(\varphi G_{\mathrm {ret}}(t-t') h(t')\) to be non-empty, we must have \({{\,\mathrm{supp}\,}}(\varphi ) \cap ((\partial \Omega )_\epsilon \cap B_{t'+\epsilon }(y))_{t-t'}\ne \emptyset \), which holds only if \(B_\epsilon (x) \cap ((\partial \Omega )_\epsilon )_{t-t'}\ne \emptyset \). This means that there exits \(z\in (\partial \Omega )_\epsilon \) such that \(B_\epsilon (x) \cap B_{t-t'}(z)\ne \emptyset \). Hence, there must be another linear path of length \(L_2\) starting in \(z \in (\partial \Omega )_\epsilon \) ending in \(B_{\epsilon }(x)\cap B_{t-t'}(z)\). Therefore, we conclude that \(L_2\le t-t'+2\epsilon \). Taking into account of the constraint on \(L_1\), we have
where L is the total length of the piecewise linear continuous path. If \(\gamma : [0,L] \rightarrow {\mathbb {R}}^d\) parameterises the piecewise linear continuous path, we would have \(\gamma (0)\in B_\epsilon (y)\), \(\gamma (s)\in (\partial \Omega )_\epsilon \) for some \(s\in [0,L]\) and \(\gamma (L)\in B_\epsilon (x)\). Finally, \(\epsilon >0\) can be chosen arbitrarily small and the statement for \(t\ge 0\) follows. For the negative time, we consider \(v(t,x,y)=\tilde{u}(-t,x,y)\), which corresponds to the kernel of \(U_X(-t)-U_0(-t)\) for \(t\ge 0\) and the statement of the existence of a piecewise linear continuous path for v with \(t\ge 0\) follows the same as the above construction for \(\tilde{u}\) with \(t\ge 0\). Hence our statement holds for \(\tilde{u}\) with \(L\le |t|\). \(\square \)
This means essentially signals starting at x propagate initially with respect to \(U_0\) until the wave hits the object, then the effect of the object will be additional reflected waves that also travel at finite speed and need the additional time to reach the point y. Essentially the same proof shows the following.
Proposition 3.2
Suppose that \(\Omega ,\Omega '\) are two different collections of obstacles and let X and \(X'\) be the complements of \(\partial \Omega \) and \(\partial \Omega '\), respectively. Then, for (t, x, y) to be in the support of the distributional kernel of \(U_{X'}-U_{X}\) it is a necessary condition that there exists a piecewise linear continuous path \(\gamma : [0,L] \rightarrow {\mathbb {R}}^d\) of length \(L \le |t|\) such that \(\gamma (0)=y\), \(\gamma (L)=x\) and \(\gamma (s) \in (\partial \Omega {\setminus }\partial \Omega ')\cup (\partial \Omega ' {\setminus }\partial \Omega )\) for some \(s \in [0,L]\).
The operator \(U_\mathrm {rel}\) has a similar property, but the piecewise linear path in this case has to travel via at least two objects to pick up an effect. This is made precise in the theorem below.
Theorem 3.3
Let \({\tilde{u}}_\mathrm {rel}(t,x,y)\) be the distributional kernel of
Then, for (t, x, y) to be in the support of \({\tilde{u}}_\mathrm {rel}\) it is a necessary condition that there exists a piecewise linear continuous path \(\gamma : [0,L] \rightarrow {\mathbb {R}}^d\) of length \(L \le |t|\) such that \(\gamma (0)=x\), \(\gamma (L)=y\) and there exist \(j_1 \not = j_2\) and \(s_1,s_2 \in [0,L]\) so that \(\gamma (s_1) \in \partial \Omega _{j_1}\) and \(\gamma (s_2) \in \partial \Omega _{j_2}\).
Proof
We continue using the same notation as in the proof of Proposition 3.1. As before the statement also follows from a finite propagation speed consideration. Of course we can assume without loss of generality that \(N>1\). Fix \(y \in X\) and let \(f \in C^\infty _0(X, {\mathbb {C}}^2)\) be supported in \(B_\epsilon (y)\) for some small \(\epsilon >0\). Let \({\mathcal {O}}_j=\bigcup _{k\not =j} \partial \Omega _k=\partial \Omega {\setminus }\partial \Omega _j\). Furthermore, let \(\eta _j\) be a cutoff function supported in \(({\mathcal {O}}_j)_\epsilon \) such that \(\eta _j=1\) on \((\partial \Omega _k)_{\frac{\epsilon }{2}}\) whenever \(k \not =j\). Now define \(\eta = \frac{1}{N-1} \sum _{j=1}^N \eta _j\) and observe that \(\eta =1\) on \((\partial \Omega )_{\frac{\epsilon }{2}}\). Next define \(\chi = 1 - \eta \) and \(\chi _j = 1 - \eta _j\). We consider the function
Then for each t, g(t) is a smooth compactly supported function. Moreover, g(t) satisfies the inhomogeneous wave equation
on X with initial conditions \(g(0,x) = f(0,x)\) and it also satisfies the boundary conditions. Moreover, \({\mathcal {D}} g=0\) and hence \({\mathcal {D}} h=0\). We compute
Next observe that
since \(U_X(t) f\) solves the initial value problem with Dirichlet boundary conditions on \(\partial \Omega \). Let \(\varphi \) be a smooth cutoff function supported in \(B_{\epsilon }(x)\). Then we know, for sufficiently small \(\epsilon >0\),
That is
Observe that \([\Box , \eta _j]\) is supported in \(({\mathcal {O}}_j)_\epsilon \). By the analysis of Proposition 3.1, we know that the support of \([\Box , \eta _j] (U_{X_j}(t')-U_0(t') )f\) is non-empty only if there is a piecewise linear continuous path of length \(L_1+L_2\) starting in \(B_\epsilon (y)\), passing through \((\partial \Omega _j)_\epsilon \) and ending in \(({\mathcal {O}}_j)_\epsilon \). Repeating the same arguments, we know that the support of \(\varphi G_{\mathrm {ret}}(t-t') \left( \sum _{j=1}^N [\Box , \eta _j] (U_{X_j}(t')-U_0(t') )\right) \) is non-empty only if there is another linear path of length \(L_3\) such that it connects \(({\mathcal {O}}_j)_\epsilon \) and \(B_{\epsilon }(x)\). As in Proposition 3.1, we have \(t\ge L=L_1+L_2+L_3-6\epsilon \). The statement for \(t\ge 0\) now follows by the fact that one can choose \(\epsilon >0\) arbitrarily small. A similar argument applies to the case \(t\le 0\). \(\square \)
Essentially the same proof also shows another manifestation of finite propagation speed.
Theorem 3.4
Suppose that \(\Omega = \Omega _1 \cup \cdots \cup \Omega _N\) and \(\Omega ' = \Omega _1' \cup \Omega _2 \cup \cdots \Omega _N\) are two collections of obstacles. Let \(U_\mathrm {rel}\) and \({U'}_\mathrm {rel}\) be the corresponding relative operators. Then, for (t, x, y) to be in the support of the distributional kernel of \({U'}_\mathrm {rel}- U_\mathrm {rel}\) it is a necessary condition that there exists a piecewise linear path \(\gamma : [0,L] \rightarrow {\mathbb {R}}^d\) of length \(L \le |t|\) such that \(\{\gamma (L),\gamma (0)\}=\{x,y\}\) and there exist \(j \not =1\) and \(s_1,s_2 \in [0,L]\) so that \(\gamma (s_1) \in (\partial \Omega _{1} {\setminus }\partial \Omega '_{1}) \cup (\partial \Omega '_{1} {\setminus }\partial \Omega _{1})\) and \(\gamma (s_2) \in \partial \Omega _{j} \).
Proof
For brevity denote \(\partial {\mathcal {O}}_2 \cup \cdots \cup \partial {\mathcal {O}}_N\) by \(\partial {\mathcal {O}}_c\). We fix \(\epsilon >0\) sufficiently small and choose a cutoff function \(\eta _c \in C^\infty ({\mathbb {R}}^d)\) supported in \((\partial \Omega _c)_\epsilon \) that equals one near \(( \partial \Omega _c)_\frac{\epsilon }{2}\). As before define \(\chi _c=1-\eta _c\). We fix \(f \in C^\infty _0(B_\epsilon (y),{\mathbb {C}}^2)\) and \(\varphi \in C^\infty _0(B_\epsilon (x))\).
Now choose \(\eta _0\in C^\infty _0({\mathbb {R}}^d)\) with support in \(\left( (\partial \Omega _{1} {\setminus }\partial \Omega '_{1}) \cup (\partial \Omega '_{1} {\setminus }\partial \Omega _{1})\right) _\epsilon \) such that \(\eta _0=1\) on \(\left( (\partial \Omega _{1} {\setminus }\partial \Omega '_{1}) \cup (\partial \Omega '_{1} {\setminus }\partial \Omega _{1})\right) _{\frac{\epsilon }{2}}\). Then we set \(\chi _0=1-\eta _0\) and \(\chi _c'=\chi _0 \chi _c=1-\eta _0-\eta _c\). We need to analyse under which conditions the distribution
is non-zero, where \(X_1'={\mathbb {R}}^d\backslash \partial \Omega _{1}'\) and \( g=\chi _0 U_{X'}+ \chi _c U_{X_{1}}- \chi _c' U_{X_{1}'}\). The function g satisfies boundary conditions on X and solves the inhomogeneous wave equation \(\Box g= h\), where
Then we have
where \(G_{X,\mathrm {ret}}\) is the forward propagator obtained from X. Together with equation (7), one deduces
If this is non-zero we must have that either \(\varphi G_{X,\mathrm {ret}}(t-t')[\Box ,\eta _0]\left( U_{X'}-U_{X'_1}\right) (t') f\) is nonzero for some \(0\le t'\le t\), or that \(\varphi G_{X,\mathrm {ret}}(t-t') [\Box ,\eta _1]\left( U_{X_1}-U_{X'_1}\right) (t')f\) is nonzero for some \(0\le t'\le t\). Suppose that the first term is non-zero. We note that \([\Box ,\eta _0]\) is supported in \(\left( (\partial \Omega _{1} {\setminus }\partial \Omega '_{1}) \cup (\partial \Omega '_{1} {\setminus }\partial \Omega _{1})\right) _\epsilon \) and the symmetric difference of \(\partial X'\) and \(\partial \Omega '_1\) is \(\partial \Omega _c\). Applying Proposition 3.2 to \(U_{X'}\) and \(U_{X'_1}\), we conclude that there exits a piecewise linear continuous path starting from \(B_\epsilon (y)\) to \((\partial \Omega _c)_\epsilon \) (\(\epsilon \)-neighbourhood of boundaries of all the other obstacles) and then ends in \(\left( (\partial \Omega _{1} {\setminus }\partial \Omega '_{1}) \cup (\partial \Omega '_{1} {\setminus }\partial \Omega _{1})\right) _\epsilon \). A similar argument applies to the second term. \(\square \)
Recall that \(\delta \) is the minimal distance between two objects, i.e.
The behaviour of \(w_\mathrm {rel}\) around origin is given in the following corollary.
Corollary 3.5
The distribution \(w_\mathrm {rel}\) is supported away from \((-2 \delta , 2 \delta )\).
Proof
In the proof of Theorem 3.3 we know that if (t, x, y) is in the support of \({\tilde{u}}_\mathrm {rel}\), then there exists a piecewise linear continuous path of length \(L\le |t|\) that is reflected by two different obstacles, where y and x are starting and ending points respectively. Since \(w_\mathrm {rel}(t)\) is the trace of \(\frac{1}{2}U_\mathrm {rel}(t)\), we know that if t is in the support of \(w_\mathrm {rel}(t)\), then there is a piecewise linear continuous closed path that intersects two different obstacles. Hence by the triangle inequality, we conclude that \(L\ge 2 \delta \), which also implies \(|t|\ge 2 \delta \). \(\square \)
Equations (3), (4) and (5) imply
which means the singular behaviour of \(w_\mathrm {rel}\) boils down to the study of singular supports of \(w_M\) in (2) with different obstacle configurations. Therefore, we could use Theorem 2.2 to study the singular support of the distribution \({\hat{\xi }}_\mathrm {rel}\). The contribution of an isolated non-degenerate periodic billiard trajectory can be computed via the Gutzwiller-Duistermaat-Guillemin formula [9, 16].
To simplify the discussion we impose the condition that the obstacles are locally strictly convex near points that have distance equal to \(\delta \) from the other obstacles. This will guarantee that there is a finite number of isolated non-degenerate bouncing ball orbits of length \(2 \delta \) between the different obstacles and the Maslov index vanishes (see Theorem 3.7). Under this hypothesis one can easily compute the leading singularity of \({\hat{\xi }}_{\mathrm {rel}}\).
A bouncing ball orbit is a 2-link periodic trajectory of the billiard flow. The existence of a non-degenerate bouncing ball orbit plays an important role in Zelditch’s work on inverse spectral problems for analytic domains [45, 46]. In general, shortest periodic billiard trajectories in a smooth domain are not necessarily bouncing ball orbits (see Ghomi [14] for a discussion and geometric conditions that ensure this). In our setting this does however not cause a problem.
We make this now precise by introducing the set \({\mathcal {B}}_{\delta }\) as
The set \({\mathcal {B}}_{\delta }\) is symmetric and we define \({\mathcal {B}}_{\partial \Omega ,\delta }\) to be the projection of \({\mathcal {B}}_{\delta }\) on the first factor, i.e. \({\mathcal {B}}_{\partial \Omega ,\delta } = \{ x \in \partial \Omega \mid \exists y \in \partial \Omega , (x,y) \in {\mathcal {B}}_{\delta }\}\).
We have the following elementary proposition.
Proposition 3.6
Let \(\delta >0\), as before, be the minimal distance between the disconnected components. For two points \(q_1 \in \partial \Omega _i\), \(q_2 \in \partial \Omega _j\) with \(i \not =j\) and \(\mathrm {dist}(q_1,q_2)=\delta \) denote by \(\overline{q_1q_2}\) the linear path connecting them. Then \(\overline{q_1q_2}\) is a bouncing ball orbit with period \(2\delta \).
Proof
The set \(\{ (q_1,q_2) \in \partial \Omega \times \partial \Omega \mid (q_1,q_2) \in \partial \Omega _i \times \partial \Omega _j \text { with }i\ne j \}\) is compact and therefore \({\mathcal {B}}_{\delta }\) is non-empty and for all \((q_1,q_2) \in {\mathcal {B}}_{\delta }\) there exists a straight line in \({\mathbb {R}}^d\) of length \(\delta \) connecting them. This straight line does not intersect any other points of \(\partial \Omega \) since that would give a pair points of distance smaller than \(\delta \). Therefore this straight line \(\overline{q_1q_2}\) is in M and we can restrict to the case when only two compact obstacles are present, i.e. \(\Omega =\Omega _1 \cup \Omega _2\). If \(\phi _j\) is a boundary defining function for \(\Omega _j\) then a length minimising straight line satisfies \(\mathrm {d}[(q_1-q_2)^2 - 2\alpha \phi _1(q_1) - 2\beta \phi _1(q_2) ]=0\) for some Lagrange multipliers \(\alpha ,\beta \). This leads to \(q_1-q_2 = \alpha \mathrm {d}\phi _1(q_1)\) and \(q_1-q_2 = -\beta \mathrm {d}\phi _1(q_1)\). Hence, \(q_1-q_2\) is normal to the tangent space of \(T_{q_j} \partial \Omega _j\) and therefore this is a bouncing ball orbit. \(\square \)
If the \(\Omega \) is strictly convex in a neighborhood of \({\mathcal {B}}_{\partial \Omega ,\delta }\) then \({\mathcal {B}}_{\partial \Omega ,\delta }\) is actually a discrete set of points consisting then of the reflection points of bouncing ball orbits between objects.
Since the relative spectral shift function, \(\xi _\mathrm {rel}(\lambda )\), only makes sense for at least two obstacles, we now assume that \(\Omega \) has at least two compact connected components. One of immediate consequence of Proposition 3.6 is the following theorem.
Theorem 3.7
The distribution \(t{\hat{\xi }}_{\mathrm {rel}}(t)\) is real-analytic in \((-2\delta ,2\delta )\) and its imaginary part vanishes in \((-2\delta ,2\delta )\). If \(\Omega \) is locally strictly convex near \({\mathcal {B}}_{\partial \Omega ,\delta }\) then there is an isolated singularity of \(t{\hat{\xi }}_{\mathrm {rel}}(t)\) at \(2\delta \) of the form
in \({\mathcal {D}}'({\mathbb {R}})/L^1_{\mathrm {loc}}({\mathbb {R}})\). Here \(\gamma _j\) are the shortest periodic billiard trajectory between the objects. Here \(P_{\gamma _j}\) is the linear Poincaré map of \(\gamma _j\).
Proof
Recall that
Since \(w_\mathrm {rel}\) vanishes on \((-2 \delta ,2 \delta )\) the distribution g obtained by restricting \(t{\hat{\xi }}_\mathrm {rel}(t)\) to \((-2 \delta ,2 \delta )\) is real valued. Since the analytic wave-front set of the complex conjugate of a distribution is obtained by reflection its wavefront set about the origin in the fibres of the cotangent bundle we have that \(\mathrm {WF}_A(g)\) is invariant with respect to this reflection. On the other hand \({\hat{\xi }}_\mathrm {rel}\) is the boundary value of a function that is analytic in the upper half plane. Hence, \(\mathrm {WF}_A(g)\) is one-sided. It follows that the analytic wavefront set of g is empty and g is real analytic. We will now use that \(\Omega \) is locally strictly convex near \({\mathcal {B}}_{\partial \Omega ,\delta }\). Using Theorem 3.4 we can change the obstacles away from the set \({\mathcal {B}}_{\partial \Omega ,\delta }\) without changing the relative wave trace in a neighborhood of the interval \((0,2 \delta )\). It is straightforward to see that the obstacles can modified in this way into strictly convex ones. We can therefore assume without loss of generality that the obstacles are strictly convex.
In general, the singularities of \({\text {Im}}(t{\hat{\xi }}_\mathrm {rel}(t))\) are contained in the length spectrum of M as described in Theorem 2.2. Hence, the first non-trivial singularity can only appear at \(t=2\delta \). By convexity the set of \(2\delta \)-periodic billiard trajectories consists of simple non-degenerate billiard trajectories with zero Maslov index. By Proposition 3.6, these trajectories are also bouncing ball orbits. Both statements can be found in [2] and we therefore only briefly show the computation involved.
If \(T\in {\text {sing\, supp}}(w_\mathrm {rel})\) and only closed simple billiard trajectories are of T-period, then one concludes from Duistermaat, Guillemin and Melrose’s work [9, 15] that the singularity of \(w_\mathrm {rel}\) at \(t=T\) is given by the real part of
where \(T_{j}^{\#}\) is the primitive period of \(\gamma _j\), \(N_{j}\) is the number of reflections in \(\gamma _j\) and \(\sigma _j\) is the Maslov index associated with \(\gamma _j\) (see [15, Theorem 2]).
Since the number of reflections is two and the Maslov index contribution vanishes this gives
\(\square \)
In dimension two the dynamic of scattering billiard has been well studied (see, for instance, [22, 35]). Following from the study of the Birkhoff Billiard in [22, Chapter II] one directly computes the Poincaré map and obtains the following corollary.
Corollary 3.8
If \(\Omega \) is locally strictly convex near \({\mathcal {B}}_{\partial \Omega ,\delta }\) and \(d=2\) then the first singularity of \(t{\hat{\xi }}_{\mathrm {rel}}(t)\) is of the form
where for each bouncing ball orbit \(\gamma _j\) of length \(2 \delta \) we have
Here \(r_j\) and \(\rho _j\) are the reciprocal of the curvatures of \(\Omega \) at the two points of \(\gamma _j \cap \partial \Omega \).
In dimension three we could not find literature but the computation of the Poincaré map is straightforward and results in the following corollary.
Corollary 3.9
If \(\Omega \) is locally strictly convex near \({\mathcal {B}}_{\partial \Omega ,\delta }\) and \(d=3\) then the first singularity of \(t{\hat{\xi }}_{\mathrm {rel}}(t)\) is of the form
where for each bouncing ball orbit \(\gamma _j\) of length \(2 \delta \) the coefficient \(c_j\) is the geometric invariant of \(\gamma _j\) given by
where
and \(r_{1},r_{2}\) are the radii of principal curvature at the first point in \(\gamma _j \cap \partial \Omega \), \(\rho _{1},\rho _{2}\) are the radii of principal curvature at the second point in \(\gamma _j \cap \partial \Omega \). Finally \(\theta \) is the angle between the direction of the principal curvature corresponding to \(r_{1}\) and the principal curvature corresponding to \(\rho _{1}\).
Let \({\text {Lsp}}(M)\) be the length spectrum of M and it is given by
Note that this is the set stated in Theorem 2.2, which differs from the minimal length spectrum \({\mathcal {L}}(M)\) defined in the proof of Theorem 2.2. Recall that Eq. (5) says
On the other hand, the singularity of \(w_{M}\) and \(w_{M_j}\) can be analysed as in the Theorem 2.2. However, Theorem 2.2 requires \(\Omega _j\) to be strictly convex and it implies that
From the Eq. (5) and relationship (12), one may think that there would be some cancellation of singularities and naively conjecture that \({\text {sing\, supp}}(w_\mathrm {rel})\subset {\text {Lsp}}(M)\). This is not true in general. Therefore, we conclude the following remark.
Remark 3.10
In general, the singularities of \(w_\mathrm {rel}\) are contained in \({\mathcal {L}}(M)\cup {\mathcal {L}}(M_1)\cup \cdots \cup {\mathcal {L}}(M_N)\). That is
When \(\Omega _j\)’s are strictly convex, we have \({\mathcal {L}}(M_j)={\text {Lsp}}(M_j)=\{0\}\) for all j and \({\mathcal {L}}(M)={\text {Lsp}}(M)\). In this case, Theorem 3.7 tells us that
A natural question to ask is when
4 The function \(\Xi \)
It was shown in [18] that
is a trace-class operator for any \(\lambda \) in the upper half space. The function \(\Xi \) is then uniquely determined by its decay along the positive imaginary axis and by
The resolvent \((\Delta _X - \lambda ^2)^{-1}\) can be represented as
Taking differences and the pointwise traces this implies
where the integral needs to be understood as a distributional pairing. The right hand side is well defined since \(w_\mathrm {rel}\) is a tempered distribution supported away from \((-2 \delta ,2\delta )\). From Theorem 3.7, we then obtain the following theorem.
Theorem 4.1
Let \(\Omega \) be locally strictly convex near \({\mathcal {B}}_{\partial \Omega ,\delta }\) and let \(\alpha >0\). Then for all \(\lambda \in {\mathbb {C}}\) with \({\text {Im}}(\lambda ) > \alpha | {\text {Re}}(\lambda ) |\) we have the bounds
where \(\gamma _j\) are the shortest bouncing ball orbits.
Proof
From Eq. (13), we have
and
where again the integrals are distributional pairings. Using Theorem 3.7, our expression of \(\Xi (\lambda )\) follows. \(\square \)
Combining with Corollary 3.8 and Corollary 3.9 with Theorem 4.1, we obtain the following corollaries.
Corollary 4.2
For two-strictly-convex-obstacle-scattering problems and \(d=2\), one has
where r and \(\rho \) are the principal radii of curvature of \(\Omega _{1}\) and \(\Omega _{2}\) respectively at the reflection points.
Corollary 4.3
For two-strictly-convex-obstacle-scattering problems and \(d=3\), we have
where \(r_1,r_2\) and \(\rho _1,\rho _2\) are the principal radii of curvature at the reflection points and D is given by (11).
In the case of two spheres of radius r and \(\rho \) we obtain as a special case
References
K. G. Andersson and R. B. Melrose. The Propagation of Singularities along Gliding Rays. Inventiones Math, 41:197–232, 1977.
C. Bardos, J.-C. Guillot, and J. Ralston. La relation de Poisson pour l’équation des ondes dans un ouvert non borné. Application à la théorie de la diffusion. Comm. Partial Differential Equations, 7(8):905–958, 1982.
M. Sh. Birman and M. G. Krein. On the theory of wave operators and scattering operators. Soviet Math. Dokl., 3: 740–744, 1962.
G. Carron. Déterminant relatif et la fonction xi. American Journal of Mathematics, 124(2): 307–352, 2002.
J. Chazarain. Formule de Poisson pour les variétés riemanniennes. Inventiones mathematicae, 24:65–82, 1974.
T. Christiansen. Weyl asymptotics for the Laplacian on asymptotically Euclidean spaces. American journal of mathematics, pages 1–22, 1999.
Y. Colin de Verdière. Spectre du Laplacien et longueurs des géodésiques périodiques. I. Compositio Mathematica, 27(1):83–106, 1973.
Y. Colin de Verdière. Spectre du Laplacien et longueurs des géodésiques périodiques. II. Compositio Mathematica, 27(2):159–184, 1973.
J. J. Duistermaat and V. W. Guillemin. The spectrum of positive elliptic operators and periodic bicharacteristics. Inventiones mathematicae, 29:39–79, 1975.
J. J. Duistermaat and L. Hörmander. Fourier integral operators II. Acta Math., 128:184–269, 1972.
T. Emig and R.L. Jaffe. Casimir forces between arbitrary compact objects. Journal of Physics A: Mathematical and Theoretical, 41(16):164001, 2008.
Y. Fang and A. Strohmaier. A mathematical analysis of Casimir interactions I: The scalar field. arXiv:2104.09763, 2021.
Y. Fang and A. Strohmaier. A mathematical analysis of Casimir interactions II, The electromagnetic field. In preparation.
M. Ghomi. Shortest periodic billiard trajectories in convex bodies. Geom. funct. anal., 14: 295–302, 2004.
V. Guillemin and R. B. Melrose. The Poisson Summation Formula for Manifolds with Boundary. Adv. in Math., 32:204–232, 1979.
M. C. Gutzwiller. Periodic Orbits and Classical Quantization Conditions. J. Math. Phys., 12:343, 1971.
L. Hörmander. The analysis of linear partial differential operators I-IV. Springer-Verlag, Berlin, second edition, 2003.
F. Hanisch, A. Strohmaier and A. Waters. A relative trace formula for obstacle scattering. arXiv:2002.07291, 2020.
H. Hezari and S. Zelditch. Inverse Spectral Problem for Analytic \({\mathbb{Z}} \backslash 2 {\mathbb{Z}}\)-Symmetric Domains in \(\mathbb{R}^n\). Annals of Mathematics, 170(1): 205–269, 2009.
V. Ya. Ivrii. Second term of the spectral asymptotic expansion of the Laplace–Beltrami operator on manifolds with boundary. Funktsional. Anal. i Prilozhen., 14(2):25–34, 1980.
O. Kenneth and I. Klich. Casimir forces in a T-operator approach. Phys. Rev. B, 78:014103, 2008.
V. V. Kozlov and D. V. Treshchev, translated by J. R. Schulenberger Billiards: A Genetic Introduction to the Dynamics of Systems with Impacts. Translations of Mathematical Monographs, 89, 1991.
P. Lax and R. Phillips, Scattering theory. Academic Press, New York, 1967.
P. Lax and R. Phillips, The time delay operator and a related trace formula, in “Topics in Functional Analysis”. Academic Press, New York, 1978.
R. B. Melrose. Microlocal parametrices for diffractive boundary value problems. Duke Math. J., 42(4):605–635, 1975.
R. B. Melrose. Scattering theory and the trace of the wave group. Comm. Partial Differential Equations, 45:29–40, 1982.
R. B. Melrose. Polynomial Bound on the Number of Scattering Poles. J. Funct. Anal., 53:287–303, 1983.
R. B. Melrose. Weyl asymptotics for the phase in obstacle scattering. Comm. Partial Differential Equations, 13(11):1431–1439, 1988.
V. V. Peller. The Lifshitz-Krein trace formula and operator Lipschitz functions. Proc. Amer. Math. Soc., 144:5207–5215 , 2016.
V. V. Peller. Operator Lipschitz functions (English translation). https://arxiv.org/abs/1611.01593, 2016.
V. Petkov Lower bounds on the number of scattering poles for several strictly convex obstacles. Asymptot. Anal., 30(1):81–91, 2002.
V. Petkov and G. Popov. Asymptotic behaviour of the scattering phase for non-trapping obstacles. Annales de l’institut Fourier, 32(3):111–149, 1982.
Y. Safarov. Fourier Tauberian theorems and applications. J. Funct. Anal., 185(1):111–128, 2001.
Y. Safarov and D. Vassiliev. The asymptotic distribution of eigenvalues of partial differential operators. American Mathematical Soc., 155, 1997.
Ya. G. Sinai. Dynamical Systems with Elastic Reflections. Russian Math.Surveys, 25(2):137–189, 1970.
J. Sjöstrand and M. Zworski. Complex scaling and the distribution of scattering poles. J. Amer. Math. Soc., 4(4):729–769, 1991.
J. Sjöstrand and M. Zworski. Lower bounds on the number of scattering poles. Comm. Partial Differential Equations, 18(5–6):847–857, 1993.
J. Sjöstrand and M. Zworski. Lower bounds on the number of scattering poles, II. J. Funct. Anal., 123(2):336–357, 1994.
J. Sjöstrand. A trace formula and review of some estimates for resonances, in Microlocal Analysis and Spectral Theory. NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci., 490:377–437, 1997.
A. Strohmaier The classical and quantum photon field for non-compact manifolds with boundary and in possibly inhomogeneous media. arXiv:2011.12601
A. Strohmaier and A. Waters. Geometric and obstacle scattering at low energy. Communications in Partial Differential Equations., 45.11, 1451–1511.
A. Strohmaier and A. Waters. The Birman-Krein formula for differential forms and electromagnetic scattering. arXiv:2104.13589, 2021.
M. E. Taylor. Partial differential equations II. Qualitative studies of linear equations, volume 116 of Applied Mathematical Sciences. Springer, New York, second edition, 2011.
A. Wirzba, The Casimir effect as scattering problem. J. Phys. A: Math. Theor., 164003, 2008.
S. Zelditch. Inverse Spectral Problem for Analytic Domains I: Balian-Bloch Trace Formula. Communications in Mathematical Physics, 248: 357–407, 2004.
S. Zelditch. Inverse Spectral Problem for Analytic Domains, II: \({\mathbb{Z}}_2\)-Symmetric Domains. Annals of Mathematics, 170(1): 205–269, 2009.
Acknowledgements
We are grateful to the anonymous referee for comments that improved the presentation of the paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Supported by Leverhulme grant RPG-2017-329.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Fang, YL., Strohmaier, A. Trace singularities in obstacle scattering and the Poisson relation for the relative trace. Ann. Math. Québec 46, 55–75 (2022). https://doi.org/10.1007/s40316-021-00188-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40316-021-00188-0