Inverse Problems for Wave Phenomena

这个数学研究项目由Plamen Stefanov关注研究波传播现象中出现的逆问题。它们包括以下内容：（a）从测地线射线变换恢复函数或张量场的积分几何反问题;（B）合成孔径雷达（SAR）成像中出现的变换的微局部反演;（c）黎曼几何中的非线性边界和透镜刚度问题;（d）变速波动方程的边界反问题;以及（e）多波医学成像中出现的波动方程的逆问题。在（a），（c）和（d）中，我们假设存在共扼点，目的是研究它们对可逆性和稳定性的影响。该项目的统一主题是反演是在复杂的几何形状中完成的。在所有这些情况下，由于微局部Bolker条件不再成立，直接反演失败。在SAR中，人们经常会在共轭对或镜像点等位置的重建中得到伪影。Stefanov将研究的基本问题是这些伪影是否确实存在;如果可能，如何去除它们;以及（如果不可能）如何表征它们。长期目标是了解复杂介质中波动现象的线性和非线性反问题及其稳定性，其中焦散线是不可避免的，稳定性可能会丢失。对这些问题的工作是基于，并将进一步发展，方法在几个领域的数学：黎曼和积分几何，反问题，microlocal分析，包括分析microlocal分析，以及经典的功能分析和偏微分方程理论。 Plemen Stefanov的这个数学研究项目的动机是合成孔径雷达成像（SAR），医学成像和生物物理学中出现的问题。在SAR领域，Stefanov将研究一些实际问题，比如什么是产生最佳图像重建数据的最佳飞行路径; Stefanov还将为这个问题没有确切答案的情况开发一种近似重建算法。边界和透镜刚度问题在这个项目中研究的地震层析成像的数学基础：恢复地球（和太阳）的内部结构从地震波的传播时间;他们也发生在超声成像的调查。测地线射线变换问题是后者的一个特殊情况（线性化）。逆波动方程问题也出现在地震学中，试图使用更多关于波的信息-不仅是到达时间，还有波的形状。多波问题是新兴医学成像方法如热声和光声断层成像的数学基础;它们属于新的多波（混合）医学成像方法类别，其联合收割机将一种波的高对比度与另一种波的高分辨率相结合。

This mathematics research project by Plamen Stefanov concerns the study of inverse problems arising in wave propagation phenomena. They include the following: (a) inverse problems in integral geometry of recovery a function or a tensor field from the geodesic ray transform; (b) microlocal inversion of transforms appearing in Synthetic Aperture Radar (SAR) imaging; (c) non-linear boundary and lens rigidity questions in Riemannian geometry; (d) inverse boundary problems for wave equations with variable speed; and (e) inverse problems for the wave equation arising in multiwave medical imaging. In (a), (c), and (d), we assume that there are conjugate points and the goal is to study their effect on the invertibility and its stability. The unifying theme in the project is that the inversion is done in complex geometry. A straightforward inversion in all those cases fails due to the fact that the microlocal Bolker condition does not hold anymore. One often gets artifacts in the reconstruction placed at conjugate pairs or at mirror points in SAR, etc. The fundamental questions that Stefanov will study are whether those artifacts are indeed there; how to remove them, if possible; and, (if not possible) how to characterize them. The long term goal is to understand linear and non-linear inverse problems and their stability for wave phenomena in complex media, where caustics are inevitable and stability might be lost. The work on those problems is based upon, and will further develop, methods in several areas in mathematics: Riemannian and Integral geometry, Inverse Problems, microlocal analysis, including analytic microlocal analysis, as well as classical functional analysis and PDE theory. This mathematics research project by Plemen Stefanov is motivated by problems arising in Synthetic Aperture Radar imaging (SAR), medical imaging and geophysics. In SAR, Stefanov will study practical questions such as what are the best flight paths that produce the best data for image reconstruction; Stefanov will also develop an approximate reconstruction algorithm for situations where there is no exact answer to this question. The boundary and the lens rigidity problems studied in this project are the mathematical foundation of Seismic Tomography: to recover the inner structure of the Earth (and the Sun) from the travel times of seismic waves; they also occur in the investigation of ultrasound imaging. The geodesic ray transform problems are a special case (linearization) of the latter. The inverse wave equation problems arise in Seismology as well, as an attempt to use more information about the wave -- not just the time of arrival but also the shape of the wave. The multiwave problems are the mathematical foundation of emerging medical imaging methods like Thermoacoustic and Photoacoustic Tomography; they belong to the new class of multiwave (hybrid) medical imaging methods which combine the high contrast of one wave with the high resolution of another.