Habib Ammari

Chapter One. Layer Potential Techniques

The asymptotic theory for elasticity imaging described in this book relies on layer potential techniques. In this chapter we prepare the way by reviewing a number of basic facts and preliminary results regarding the layer potentials associated with both the static and time-harmonic elasticity systems. The most important results in this chapter are on one hand the decomposition formulas for the solutions to transmission problems in elasticity and characterization of eigenvalues of the elasticity system as characteristic values of layer potentials and on the other hand, the Helmholtz-Kirchhoff identities. As will be shown later, the Helmholtz-Kirchhoff identities play a key role in the analysis of resolution in elastic wave imaging. We also note that when dealing with exterior problems for harmonic elasticity, one should introduce a radiation condition, known as the Sommerfeld radiation condition , in order to select the physical solution to the problem. This chapter is organized as follows. In Section 1.1 we first review commonly used function spaces. Then we introduce in Section 1.2 equations of linear elasticity and use the Helmholtz decomposition theorem to decompose the displacement field into the sum of an irrotational (curl-free) and a solenoidal (divergence-free) field. Section 1.3 is devoted to the radiation condition for the time-harmonic elastic waves, which is used to select the physical solution to exterior problems. In Section 1.4 we introduce the layer potentials associated with the operators of static and time-harmonic elasticity, study their mapping properties, and prove decomposition formulas for the displacement fields. In Section 1.5 we derive the Helmholtz-Kirchhoff identities, which play a key role in the resolution analysis in Chapters 7 and 8. In Section 1.6 we characterize the eigenvalues of the elasticity operator on a bounded domain with Neumann or Dirichlet boundary conditions as the characteristic values of certain layer potentials which are meromorphic operator-valued functions. We also introduce Neumann and Dirichlet functions and write their spectral de-compositions. These results will be used in Chapter 11. Finally, in Section 1.7 we state a generalization of Meyers theorem concerning the regularity of solutions to the equations of linear elasticity, which will be needed in Chapter 11 in order to establish an asymptotic theory of eigenvalue elastic problems. Throughout the book, symbols of scalar quantities are printed in italic type, symbols of vectors are printed in bold italic type, symbols of matrices or 2-tensors are printed in bold type, and symbols of 4-tensors are printed …