Encounter Propagator for Multiple Targets: A Dirichlet-to-Neumann Spectral Formalism

Abstract

We develop an encounter-based formulation of restricted diffusion in a bounded domain with multiple targets, resolving separately the boundary local time accumulated on each target. Unlike the single-target problem, the target projection operators do not generally commute with the governing Dirichlet-to-Neumann (DtN) operator, so that its eigenbasis does not diagonalize the local-time dependence. We overcome this difficulty by decomposing the DtN operator into target-restricted blocks. Multi-dimensional Laplace inversion then yields a convergent switching expansion, whose successive terms describe alternating diffusive transfers between the targets. We also derive an equivalent operator-valued renewal equation. For two targets, diagonalizing the target-restricted blocks provides an explicit spectral representation in terms of two DtN block spectra and an inter-target coupling matrix. When the coupling preserves spectral modes, the switching series can be resummed exactly in terms of modified Bessel functions. In general, as the off-diagonal DtN block is smoothing for separated targets, one can resort to low-rank finite-dimensional approximations. We examine an effective two-mode reduction for small, well-separated targets and identify a regime in which repeated inter-target transfers are progressively suppressed. Probabilistic interpretations and implications for diffusion-controlled reactions are discussed.