No label defined (Q3972378)

[For the entire collection see Zbl 0707.00028.] A number of results are reviewed relating the propagation of singularities for hyperbolic partial differential equations --- i.e., the persistence, or non-localization, of waves motion --- with well-posedness for some inverse problems of reflection type, such as arise in seismology and ultrasonics. The most complete information is available for layered problems. The author shows how a simple but refined propagation of singularities theorem with estimates zields important functional properties of the model-data relationship for such problems, including regularity in various useful coefficient classes, separation of scales,\dots . The essential roles of travel time in the study of these problems and how its function may be generalized to multidimensional problems are explained.