Abstract:We consider the case of scattering of several obstacles in $\mathbb{R}^d$ for $d \geq 2$. In this setting the absolutely continuous part of the Laplace operator $\Delta$ with Dirichlet boundary conditions and the free Laplace operator $\Delta_0$ are unitarily equivalent. For suitable functions that decay sufficiently fast we have that the difference $g(\Delta)-g(\Delta_0)$ is a trace-class operator and its trace is described by the Krein spectral shift function. In this paper we study the contribution to the trace (and hence the Krein spectral shift function) that arises from assembling several obstacles relative to a setting where the obstacles are completely separated. In the case of two obstacles we consider the Laplace operators $\Delta_1$ and $\Delta_2$ obtained by imposing Dirichlet boundary conditions only on one of the objects. Our main result in this case states that then $g(\Delta) - g(\Delta_1) - g(\Delta_2) + g(\Delta_0)$ is a trace class operator for a much larger class of functions (including functions of polynomial growth) and that this trace may still be computed by a modification of the Birman-Krein formula. In case $g(x)=x^\frac{1}{2}$ the relative trace has a physical meaning as the vacuum energy of the massless scalar field and is expressible as an integral involving boundary layer operators. Such integrals have been derived in the physics literature using non-rigorous path integral derivations and our formula provides both a rigorous justification as well as a generalisation.

Trace Operator on von Koch's Snowflake

Trace operator on von Koch's snowflake

Trace formulas in higher dimensions

The trace operator of quasi-plurisubharmonic functions on compact Kähler manifolds

Traces for homogeneous Sobolev spaces in infinite strip-like domains

Trace class Toeplitz operators with singular symbols

Homogeneous Sobolev and Besov spaces on special Lipschitz domains and their traces

Trace of Homogeneous Fractional Sobolev Spaces on Strip-like Domains

Dixmier Trace for Toeplitz Operators on Symmetric Domains

On traces of Bochner representable operators on the space of bounded measurable functions

A regularity condition under which integral operators with operator-valued kernels are trace class

Robust nonlocal trace and extension theorems

Some Inequalities for Trace Class Operators Via a Kato's Result

Convexity of a certain operator trace functional

Noncommutative Residues, Equivariant Traces, and Trace Expansions for an Operator Algebra on $\mathbb R^n$

Potential trace inequalities via a Calderón-type theorem

On the Leading Term and the Degree of the Polynomial Trace Mapping Associated with a Substitution

A relative trace formula for obstacle scattering

The local trace function of shift invariant subspaces

The Inverse Laplacian: Traces in Infinite Dimensions

The Trace Theorem, the Luzin N- and Morse–Sard Properties for the Sharp Case of Sobolev–Lorentz Mappings