In this paper we develop a general, systematic, microlocal framework for the Fredholm analysis of non-elliptic problems, including high energy (or semiclassical) estimates, which is stable under perturbations. This framework, described in Section 2, resides on a compact manifold without boundary, hence in the standard setting of microlocal analysis.Many natural applications arise in the setting of non-Riemannian b-metrics in the context of Melrose's b-structures. These include asymptotically de Sitter-type metrics on a blow-up of the natural compactification, Kerr-de Sitter-type metrics, as well as asymptotically Minkowski metrics.The simplest application is a new approach to analysis on Riemannian or Lorentzian (or indeed, possibly of other signature) conformally compact spaces (such as asymptotically hyperbolic or de Sitter spaces), including a new construction of the meromorphic extension of the resolvent of the Laplacian in the Riemannian case, as well as high energy estimates for the spectral parameter in strips of the complex plane. These results are also available in a follow-up paper which is more expository in nature, [54].The appendix written by Dyatlov relates his analysis of resonances on exact Kerr-de Sitter space (which then was used to analyze the wave equation in that setting) to the more general method described here.

Abstract. Under a convexity assumption on the boundary we solve a local inverse problem, namely we show that the geodesic X-ray transform can be inverted locally in a stable manner; one even has a reconstruction formula. We also show that under an assumption on the existence of a global foliation by strictly convex hypersurfaces the geodesic X-ray transform is globally injective. In addition we prove stability estimates and propose a layer stripping type algorithm for reconstruction.

No abstract

In this paper we describe the propagation of C ∞ and Sobolev singularities for the wave equation on C ∞ manifolds with corners M equipped with a Riemannian metric g. That is, for X = M × R t , P = D 2 t − ∆ M , and u ∈ H 1 loc (X) solving P u = 0 with homogeneous Dirichlet or Neumann boundary conditions, we show that WF b (u) is a union of maximally extended generalized broken bicharacteristics. This result is a C ∞ counterpart of Lebeau's results for the propagation of analytic singularities on real analytic manifolds with appropriately stratified boundary, [11]. Our methods rely on b-microlocal positive commutator estimates, thus providing a new proof for the propagation of singularities at hyperbolic points even if M has a smooth boundary (and no corners).

We consider a non-trapping n-dimensional Lorentzian manifold endowed with an end structure modeled on the radial compactification of Minkowski space. We find a full asymptotic expansion for tempered forward solutions of the wave equation in all asymptotic regimes. The rates of decay seen in the asymptotic expansion are related to the resonances of a natural asymptotically hyperbolic problem on the "northern cap" of the compactification. For small perturbations of Minkowski space that fit into our framework, our asymptotic expansions yield a rate of decay that improves on the Klainerman-Sobolev estimates.