A remark on a compactness result in electromagnetic theory (Q4033808)

The boundary value problem for the time-harmonic, linear Maxwell's equations has been treated by \textit{R. Leis} [Initial Boundary Value Problems in Mathematical Physics (1986; Zbl 0599.35001)] for domains having the ``compactness property'', and the issue of what sort of domains possess this property subsequently has been the subject of examination. This paper establishes results for domains with special cusps: ``\(p\)- cusps''. The set of \(x\in R^ 3\) satisfying \((x_ 1^ 2+x_ 2^ 2)^{1/2}<Cx_ 3^ p\) where \(0<x_ 3<h\) is an example of a simple \(p\)-cusp. It is shown that when \(R^ 3\backslash\Omega\) has the \(p\)-cusp property for some \(p<2\), then the bounded domain \(\Omega\) has the compactness property. A counterexample is given to exhibit the sharpness of the bound on \(p\).