Unknown inclusion identification from local Cauchydata for time-harmonic elastic waves

We consider the inverse problem of determining an inclusion contained in an elastic body undergoing time-harmonic oscillations at fixed frequency by local Cauchy data. Both the body and the inclusion are made by different homogeneous linearly elastic isotropic materials, with piecewise constant mass densities. Under mild a priori regularity assumptions on the unknown inclusion and with no spectral hypothesis on the frequency, we establish a logarithmic-type stability estimate by local Cauchy data. We also provide a stability result in terms of the so-called local Dirichlet-to-Neumann map for sufficiently small frequency.