Monotonicity and local uniqueness for the Helmholtz equation

Abstract

This work extends monotonicity-based methods in inverse problems to the case of the Helmholtz (or stationary Schrödinger) equation (1 + k2q)u = 0 in a bounded domain for fixed nonresonance frequency k > 0 and real-valued scattering coefficient function q. We show a monotonicity relation between the scattering coefficient q and the local Neumann-to-Dirichlet operator that holds up to finitely many eigenvalues. Combining this with the method of localized potentials, or Runge approximation, adapted to the case where finitely many constraints are present, we derive a constructive monotonicitybased characterization of scatterers from partial boundary data. We also obtain the local uniqueness result that two coefficient functions q1 and q2 can be distinguished by partial boundary data if there is a neighborhood of the boundary part where q1 ≥ q2 and q1 6≡ q2.