An all-frequency stable integral system for Maxwell's equations in 3-D penetrable media: continuous and discrete model analysis
Mahadevan Ganesh, Stuart C. Hawkins, Darko Volkov
TL;DR
The paper tackles all-frequency stability in 3-D Maxwell scattering for penetrable media by deriving a self-adjoint, constraints-free surface integral equation that remains well-posed for all frequencies $\omega>0$ and avoids low-frequency breakdown as $\omega\to 0$. It achieves this by embedding stabilization into a self-adjoint operator $[\boldsymbol{I}+\boldsymbol{M}^*\boldsymbol{M}+\boldsymbol{M}^*+\boldsymbol{M}+\boldsymbol{J}^*\boldsymbol{J}]$, yielding a numerically tractable formulation equivalent to the constrained approach but more robust. A fully discrete, spectrally accurate solver on curved interfaces is developed using vector spherical polynomials and a carefully designed projection, with a proven convergence rate that scales favorably with smoothness. Numerical experiments on spheres and curved geometries confirm high-order accuracy, reciprocity, and scalability across dielectric and absorbing regimes, highlighting the method's potential for accurate 3-D Maxwell simulations on nontrivial geometries. Overall, the work advances all-frequency SIE theory and provides a practical, high-accuracy framework for dielectric scattering in 3-D with curved interfaces.
Abstract
We introduce a new system of surface integral equations for Maxwell's transmission problem in three dimensions. This system has two remarkable features, both of which we prove. First, it is well-posed at all frequencies. Second, the underlying linear operator has a uniformly bounded inverse as the frequency approaches zero, ensuring that there is no low-frequency breakdown. The system is derived from a formulation we introduced in our previous work, which required additional integral constraints to ensure well -posedness across all frequencies. In this study, we eliminate those constraints and demonstrate that our new self adjoint, constraints-free linear system expressed in the desirable form of an identity plus a compact weakly-singular operator is stable for all frequencies. Furthermore, we propose and analyze a fully discrete numerical method for these systems and provide a proof of spectrally accurate convergence for the computational method. We also computationally demonstrate the high-order accuracy of the algorithm using benchmark scatterers with curved surfaces.
