A nonvariational form of the acoustic single layer potential
M. Lanza de Cristoforis
TL;DR
The paper develops a nonvariational framework for the acoustic single layer potential to address the Helmholtz Neumann problem with boundary data in the distributional space $V^{-1,\alpha}(\partial\Omega)$ and solutions in $C^{0,\alpha}(\overline{\Omega})_\Delta$, where the Laplacian lies in $C^{-1,\alpha}(\overline{\Omega})$. It establishes the mapping properties of the acoustic volume and single layer potentials for such densities, proves distributional jump formulas for the single layer potential, and derives a distributional quasi-symmetrization principle that connects layer potentials and their transposes. A key result is the compactness of the boundary operator $W_\Omega^t[S_{n,\lambda},\cdot]$ on $V^{-1,\alpha}(\partial\Omega)$, enabling a Fredholm-type analysis of boundary integral formulations in this nonvariational setting. Collectively, these results lay the groundwork for existence and uniqueness results for Helmholtz Neumann problems with rough boundary data and pave the way for exterior-domain treatments in follow-up work. The framework extends classical potential theory to negative-exponent Schauder spaces, accommodating Hölder-continuous solutions with potentially infinite Dirichlet integrals near the boundary.
Abstract
We consider a bounded open subset $Ω$ of ${\mathbb{R}}^n$ of class $C^{1,α}$ for some $α\in]0,1[$ and the space $V^{-1,α}(\partialΩ)$ of (distributional) normal derivatives on the boundary of $α$-Hölder continuous functions in $Ω$ that have Laplace operator in the Schauder space with negative exponent $C^{-1,α}(\overlineΩ)$. Then we prove those properties of the acoustic single layer potential that are necessary to analyze the Neumann problem for the Helmholtz equation in $Ω$ with boundary data in $V^{-1,α}(\partialΩ)$ and solutions in the space of $α$-Hölder continuous functions in $Ω$ that have Laplace operator in $C^{-1,α}(\overlineΩ)$, \textit{i.e.}, in a space of functions that may have infinite Dirichlet integral. Namely, a Neumann problem that does not belong to the classical variational setting.
