2026-09-19T18:46:22Zhttps://repository.rice.edu/server/oai/request

oai:repository.rice.edu:1911/164162024-01-11T20:58:08Zcom_1911_8299col_1911_13110

Symes, William W. Bao, Gang 2009-06-04T00:46:33Z 2009-06-04T00:46:33Z 1991 Bao, Gang. "Microlocal regularity of an inverse problem for the multidimensional wave equation." (1991) Diss., Rice University. <a href="https://hdl.handle.net/1911/16416">https://hdl.handle.net/1911/16416</a>. https://hdl.handle.net/1911/16416 Thesis Math.Sci. 1991 Bao Many physical processes such as reflection seismology, oil exploration, and ground-penetrating radar may be modeled as inverse problems for the multidimensional acoustic wave equation with point energy sources. The inverse problem is to identify the coefficients from the knowledge of boundary measurements of the solution. In this research we formulate an inverse problem for the wave equation with constant wave speed as a functional equation involving a forward map, which maps the coefficient (density) to the boundary value of the solution (excess pressure). We begin by examining some fundamental results in nonsmooth microlocal analysis. Rauch's lemma on the algebraic property of microlocal Sobolev spaces and a Beals-Reed linear propagation of singularities theorem are extended. We then present a trace regularity theorem which indicates that with microlocal restrictions against tangential oscillations in the coefficient, the boundary value is just as regular as the solution itself. The trace theorem also gives the first hint of the appropriate domain and range for the forward map. However, compared to the one dimensional case, much more overall smoothness has to be imposed to assure the optimal regularity of timelike traces. The Hadamard theory on progressing wave expansions is employed to study the fundamental solution to the linear acoustic wave equation. To establish the regularity of the solution, the solutions of transport equations are investigated by applying the Rauch-type results. The central result for the regularity of the inverse problem is an upper bound for the linearized forward map with nonsmooth reference density. In order to establish this regularity result, a dual technique is developed which dramatically reduces the difficulties of the inverse problem. Our method has the potential to obtain some regularity results even for the important nonsmooth reference velocity case. Similar analyses could result in a continuity result and a differentiability result for the forward map. These regularity properties are obviously crucial in the design and analysis of the algorithms for solving the inverse problem. 124 p. application/pdf eng Copyright is held by the author, unless otherwise indicated. Permission to reuse, publish, or reproduce the work beyond the bounds of fair use or other exemptions to copyright law must be obtained from the copyright holder. Mathematics Microlocal regularity of an inverse problem for the multidimensional wave equation Thesis Text Mathematical Sciences Engineering Rice University Doctoral Doctor of Philosophy open.access