Boundary regularity for a family of overdetermined problems for the Helmholtz equation

If a nonconstant solution u of the Helmholtz equation exists on a bounded domain with u satisfying overdetermined boundary conditions (u and its normal derivative both required to be constant on the boundary), then under certain assumptions the boundary of the domain is proved to be real-analytic. Under weaker assumptions, if a real-analytic portion of the boundary has a real-analytic extension, then that extension must also be part of the boundary. Also, an explicit formula for u is given and a condition (which does not involve u) is given for a bounded domain to have such a solution u defined on it. Both of these last results involve acoustic single- and double-layer potentials.  2002 Elsevier Science (USA). All rights reserved