Dynamic inverse wave problems-part I: regularity for the direct problem

For parameter identification problems the Frechet-derivative of the parameter-to-state map is of particular interest. In many applications, e.g. in seismic tomography, the unknown quantity is modeled as a coefficient in a linear differential equation, therefore computing the derivative of this map involves solving the same equation, but with a different right-hand side. It then remains to show that this right-hand side is regular enough to ensure the existence of a solution. For second-order hyperbolic PDEs with time-dependent parameters the needed results are not as readily available as in the stationary case, especially when working in a variational framework. This complicates for example the reconstruction of a time-dependent density in the wave equation. To overcome this problem we extend the existing regularity results to the time-dependent case.