Microlocal analysis for waves and inverse problems

计划中的研究开发和应用微观局部分析领域的工具。粗略地说，这个场同时跟踪波的位置和频率或动量（或更一般地说，函数）。计划的应用是波传播和其他相关现象，以及从沿着曲线的积分（X射线变换）确定函数的逆问题和从边界测量确定材料结构的相关问题。虽然这个提议涉及他们的数学理论，但这些问题与物理世界密切相关。波的传播在自然界中无处不在，电磁波，如光，是最普遍的例子之一;广义相对论是另一个重要的物理例子。量子粒子（如质子和电子）的散射理论是另一个受微局域分析支配的学科：这些方面既进入了对大距离量子波的描述，也进入了半经典现象，即普朗克常数可以被认为是小的，这在化学中经常发生。研究中的反问题也具有广泛的意义：这里发展的理论的一个应用是通过测量波的传播时间来确定物体中未知的可变声速，例如，这与使用地震波的传播时间对地球内部进行成像有关。一些拟议的项目描述了弯曲时空上的波的长时间或远场行为。从物理上讲，这些现象出现在广义相对论中，包括弯曲背景上的电磁波。然而，也有纯粹数学起源的例子，如渐近复双曲（ACH）空间和渐近反德西特空间（AdS）;后者确实通过弦理论与物理学有不同的联系。微局部方法分析这些空间取得了突破，可能在作者的工作中的线性问题的渐近（真实的）双曲（AH）空间以及Kerr-de Sitter空间。这里的项目旨在将这些工具扩展到ACH，AdS型空间，提高对洛伦兹散射空间（包括渐近Minkowski空间）以及准线性PDE的理解。其他项目涉及波的行为在边缘，具体的瑞利（表面）波的弹性和精细的衍射，第二微观局部，描述标量或电磁波的衍射。然而，另一个主要领域是逆问题，在那里，作者，连同乌尔曼，介绍了新的工具，空间局部反演的测地线X射线变换。这些项目旨在将其扩展到张量，并研究边界刚性，即从其边界距离函数恢复黎曼度量。

The planned research develops and applies tools of the field of microlocal analysis. Roughly speaking, this field keeps track of the position and frequency, or momentum, of waves (or more generally, functions) simultaneously. The planned applications are to wave propagation and other related phenomena, as well as inverse problems for determining a function from integrals along curves (X-ray transform) and related problems for determining the structure of a material from boundary measurements. Although the proposal concerns their mathematical theory, these problems are closely connected to the physical world. Wave propagation is ubiquitous in nature, with electromagnetic waves, such as light, being one of the most prevalent examples; the theory of general relativity being another important physical example. Scattering theory of quantum particles (such as protons and electrons) is another subject governed by microlocal analysis: these aspects enter both into the description of quantum waves at large distances, and into semiclassical phenomena, i.e. when Planck's constant can be regarded as small, which happens often in chemistry. The inverse problems under study are also of broad significance: an application of the theory developed here is the determination of an unknown variable sound speed in an object via the measurement of travel times of waves, which for instance is relevant to imaging to interior of Earth using the travel times of earthquake waves.Some of the proposed projects describe the long-time or far field behavior of waves on curved space-times. Physically these arise in general relativity, including electromagnetic waves on a curved background. However, there are also examples of purely mathematical origin, such as asymptotically complex hyperbolic (ACH) space and asymptotically Anti de Sitter spaces (AdS); the latter does have a different connection with physics via string theory. The microlocal approach to analysis on these spaces has made breakthroughs possible in the author's work on linear problems asymptotically (real) hyperbolic (AH) spaces as well as Kerr-de Sitter space. The projects here aim to extend these tools to the ACH, AdS-type spaces, improve the understanding of Lorentzian scattering spaces (which include asymptotically Minkowski spaces), as well as to quasilinear PDE. Other projects concern the behavior of waves at edges, concretely the diffraction of the Rayleigh (surface) waves of elasticity and a refined, second-microlocal, description of diffraction of scalar or electromagnetic waves. Yet another main area is inverse problems, where the author, together with Uhlmann, has introduced new tools for spatially localized inversion of the geodesic X-ray transform. The projects aim to extend this to tensors, and to investigate boundary rigidity, i.e. recovering a Riemannian metric from its boundary distance function.