Increasing stability for the inverse source problem in elastic waves with attenuation

This paper is concerned with the increasing stability of the inverse source problem for the elastic wave equation with attenuation in three dimensions. The stability estimate consists of the Lipschitz type data discrepancy and the high frequency tail of the source function, where the latter decreases as the upper bound of the frequency increases. The stability also shows exponential dependence on the attenuation coefficient. The ingredients of the analysis include Carleman estimates and time decay estimates for the elastic wave equation to obtain an exact observability bound, and the study of the resonance-free region and an upper bound of the resolvent in this region for the elliptic operator with respect to the complex frequency. The advantage of the method developed in this work is that it can be used to study the case of variable attenuation coefficient.