On uniqueness in the inverse problem for transversely isotropic elastic media with a disjoint wave mode

Abstract We study general anisotropic elastic media that have a disjoint wave mode, that is, elastic media with the property that one sheet of the slowness surface never intersects the others. We extend results from microlocal analysis to describe the propagation of singularities for the disjoint mode. Applying these results to the study of the dynamic inverse problem, we show that displacement–traction surface measurements uniquely determine the travel time between boundary points for the disjoint mode. We conclude that two of the five elastic parameters describing transversely isotropic elastodynamics with ellipsoidal slowness surfaces and a disjoint mode are partially determined by surface measurements. Our approach is well suited to inhomogeneous materials and applying microlocal analysis to the inverse problem.

[1]  L. Thomsen,et al.  75-plus years of anisotropy in exploration and reservoir seismics: A historical review of concepts and methods , 2005 .

[2]  Michael Taylor,et al.  Reflection of singularities of solutions to systems of differential equations , 1975 .

[3]  Jenn-Nan Wang,et al.  Uniqueness in inverse problems for an elasticity system with residual stress by a single measurement , 2003 .

[4]  N. Dencker.  On the propagation of singularities for pseudo-differential operators with characteristics of variable multiplicity , 1992 .

[5]  G. Uhlmann,et al.  Semiglobal boundary rigidity for Riemannian metrics , 2003 .

[6]  Lizabeth V. Rachele.  Uniqueness of the density in an inverse problem for isotropic elastodynamics , 2003 .

[7]  D. Bao,et al.  An Introduction to Riemann-Finsler Geometry , 2000 .

[8]  A. Norris,et al.  CONDITIONS UNDER WHICH THE SLOWNESS SURFACE OF AN ANISOTROPIC ELASTIC MATERIAL IS THE UNION OF ALIGNED ELLIPSOIDS , 1990 .

[9]  Lizabeth V. Rachele.  Uniqueness in Inverse Problems for Elastic Media with Residual Stress , 2003 .

[10]  P. Chadwick,et al.  Wave propagation in transversely isotropic elastic media - I. Homogeneous plane waves , 1989, Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences.

[11]  Boundary determination for an inverse problem in elastodynamics , 2000 .

[12]  H. Rund.  The Differential Geometry of Finsler Spaces , 1959 .

[13]  Charles R. Johnson,et al.  Matrix analysis , 1985, Statistical Inference for Engineers and Data Scientists.

[14]  L. Hörmander,et al.  The Analysis of Linear Partial Differential Operators I: Distribution Theory and Fourier Analysis , 1983 .

[15]  P. Braam,et al.  Normal forms of real symmetric systems with multiplicity , 1993 .

[16]  Plamen Stefanov,et al.  Rigidity for metrics with the same lengths of geodesics , 1998 .

[17]  G. Uhlmann.  Inside out : inverse problems and applications , 2003 .

[18]  Recovery of residual stress in a vertically heterogeneous elastic medium , 2004 .

[19]  V. Smirnov,et al.  A course of higher mathematics , 1964 .

[20]  R. Ogden,et al.  A Note on Strong Ellipticity for Transversely Isotropic Linearly Elastic Solids , 2003 .

[21]  M. Czubak,et al.  PSEUDODIFFERENTIAL OPERATORS , 2020, Introduction to Partial Differential Equations.

[22]  Anne Hoger,et al.  On the residual stress possible in an elastic body with material symmetry , 1985 .

[23]  Gen Nakamura,et al.  Layer Stripping for a Transversely Isotropic Elastic Medium , 1999, SIAM J. Appl. Math..

[24]  Maarten V. de Hoop,et al.  Microlocal analysis of seismic inverse scattering in anisotropic elastic media , 2002 .

[25]  Plamen Stefanov,et al.  Boundary rigidity and stability for generic simple metrics , 2004, math/0408075.

[26]  L. Hörmander.  THE CALCULUS OF FOURIER INTEGRAL OPERATORS , 1972 .

[27]  J. Lions,et al.  Inequalities in mechanics and physics , 1976 .

[28]  G. M.,et al.  Partial Differential Equations I , 2023, Applied Mathematical Sciences.

[29]  A. Mazzucato,et al.  On Transversely Isotropic Elastic Media with Ellipsoidal Slowness Surfaces , 2008 .

[30]  Propagation de la polarisation pour des problèmes aux limites , 1985 .

[31]  Peter Hubral.  Foundations of Anisotropy for Exploration Seismics , 1995 .

[32]  J Trampert.  Global seismic tomography: the inverse problem and beyond , 1998 .

[33]  S. Gołąb.  Dr. H. Rund, The Differential Geometry of Finsler Spaces. (Grundlehren der mathematischen Wissenschaften, Bd. 101.) XV + 284 S. Berlin/Göttingen/Heidelberg 1959. Springer-Verlag. Preis geb. 59,60 DM , 1960 .

[34]  Victor Guillemin,et al.  Sojourn Times and Asymptotic Properties of the Scattering Matrix , 1976 .

[35]  Lizabeth V. Rachele.  An Inverse Problem in Elastodynamics: Uniqueness of the Wave Speeds in the Interior , 2000 .

[36]  Editors , 1986, Brain Research Bulletin.

[37]  Robert L. Robertson.  Determining Residual Stress from Boundary Measurements: A Linearized Approach , 1998 .

[38]  C. Lin.  Strong unique continuation for an elasticity system with residual stress , 2004 .

[39]  G. Uhlmann,et al.  Two dimensional compact simple Riemannian manifolds are boundary distance rigid , 2003, math/0305280.

[40]  N. Dencker.  On the propagation of polarization sets for systems of real principal type , 1982 .

[41]  R. Burridge,et al.  Fundamental elastodynamic solutions for anisotropic media with ellipsoidal slowness surfaces , 1993, Proceedings of the Royal Society of London. Series A: Mathematical and Physical Sciences.

[42]  Joyce R. McLaughlin,et al.  Interior elastodynamics inverse problems: shear wave speed reconstruction in transient elastography , 2003 .

[43]  T. R. Hughes,et al.  Mathematical foundations of elasticity , 1982 .

[44]  Anne Hoger,et al.  On the determination of residual stress in an elastic body , 1986 .

[45]  Timo Eirola,et al.  On Smooth Decompositions of Matrices , 1999, SIAM J. Matrix Anal. Appl..

[46]  R. Robertson,et al.  Boundary identifiability of residual stress via the Dirichlet to Neumann map , 1997 .

[47]  Seismic rays as Finsler geodesics , 2003 .

[48]  Gen Nakamura,et al.  Unique Continuation for an Elasticity System with Residual Stress and Its Applications , 2003, SIAM J. Math. Anal..

[49]  John Sylvester,et al.  Inverse problems in anisotropic media , 1991 .

[50]  K. Helbig.  Foundations of Anisotropy for Exploration Seismics , 1994 .

[51]  Gunther Uhlmann,et al.  Propagation of polarization in elastodynamics with residual stress and travel times , 2002 .

[52]  Michael E. Taylor,et al.  Partial Differential Equations II: Qualitative Studies of Linear Equations , 1996 .

[53]  I. V. Egorov.  Linear differential equations of principal type , 1986 .

[54]  Anna L. Mazzucato,et al.  Partial Uniqueness and Obstruction to Uniqueness in Inverse Problems for Anisotropic Elastic Media , 2006 .

[55]  M. Gromov.  Filling Riemannian manifolds , 1983 .

[56]  J. Davenport.  Editor , 1960 .

[57]  P. F. Daley,et al.  Linearized quantities in transversely isotropic media , 2004 .

[58]  G. Uhlmann,et al.  Parametrices for symmetric systems with multiplicity , 2007 .

[59]  C. Croke,et al.  Local boundary rigidity of a compact Riemannian manifold with curvature bounded above , 2000 .

[60]  Chi-Sing Man,et al.  HARTIG'S LAW AND LINEAR ELASTICITY WITH INITIAL STRESS , 1998 .

[61]  P. Bakker.  About the completeness of the classification of cases of elliptic anisotropy , 1995, Proceedings of the Royal Society of London. Series A, Mathematical and physical sciences.

[62]  L. Hörmander.  The analysis of linear partial differential operators , 1990 .