Time-Harmonic Acoustic Wave Scattering in an Ocean with Depth-Dependent Sound Speed Time-Harmonic Acoustic Wave Scattering in an Ocean with Depth-Dependent Sound Speed

Abstract Time-harmonic acoustic wave propagation in an inhomogeneous ocean with depthdependent sound speed can be modeled by the Helmholtz equation in an infinite, twoor three-dimensional waveguide of finite height. Using variational theory in Sobolev spaces we prove well-posedness of the corresponding scattering problem from a bounded inhomogeneity inside such an ocean. To this end, we introduce an exterior Dirichletto-Neumann operator for depth-dependent sound speed and prove boundedness, coercivity, and holomorphic dependence of this operator in function spaces adapted to our weak solution theory. Analytic Fredholm theory then yields existence and uniqueness of solution for the scattering problem for all but a countable sequence of frequencies