The dynamic Maxwell equations with a strictly dissipative boundary condition is considered. Sharp trace regularity for the electric and the magnetic field are established for both: weak and differentiable solutions. As an application a shape optimization problem for Maxwell's equations is considered. In order to characterize the shape derivative as a solution to a boundary value problem, the aforementioned sharp regularity of the boundary traces is critical.

No abstract

The aim of this paper is to give a full analysis of the the shape differentiability for the solution to the second order hyperbolic equation with Dirichlet boundary conditions. The implicit function theorem does not work to solve the problem of weak regularity of the data; nevertheless by a more technical approach we prove an analogous result. We will first prove the theorem under strong regularity of the right hand side, then using the hidden regularity we will prove the shape derivative continues to exist under weak condition of regularity. We end up with a second order shape derivative for this problem.