We study the microlocal kernel of h-pseudodifferential operators P(x,hD)-z, where z belongs to some neighborhood of size O(h) of a critical value of its principal symbol. We suppose that this critical value corresponds to a hyperbolic fixed point of the associated Hamiltonian flow.
First we describe propagation of singularities at such a hyperbolic fixed point, both in the analytic and in the smooth category. In both cases, we show that the null solution is the only element of this microlocal kernel which vanishes on the stable incoming manifold, but for energies z in some discrete set.
For energies z out of this set, we build the element of the microlocal kernel with prescribed data on the incoming manifold. We describe completely the operator which associate the value of this null solution on the outgoing manifold to the initial data on the incoming one. In particular it appears to be a semiclassical Fourier integral operator associated to some natural canonical relation.
In the first part of the paper the authors study the minimal and maximal extension of a class of weighted pseudodifferential operators in the Fréchet space $L^p_{\rm loc}(Ω)$. In the second one non homogeneous microlocal properties are introduced and propagation of Sobolev singularities for solutions to (pseudo)differential equations is given. For both the arguments actual examples are provided.
Following the work of Duistermaat-Singer \cite{DS} on isomorphisms of algebras of global pseudodifferential operators, we classify isomorphisms of algebras of microlocally defined semiclassical pseudodifferential operators. Specifically, we show that any such isomorphism is given by conjugation by $A = BF$, where $B$ is a microlocally elliptic semiclassical pseudodifferential operator, and $F$ is a microlocal $h$-FIO associated to the graph of a local symplectic transformation.
We characterize microlocal regularity of Colombeau generalized functions by an appropriate extension of the classical notion of micro-ellipticity to pseudodifferential operators with slow scale generalized symbols. Thus we obtain an alternative, yet equivalent, way to determine generalized wave front sets, which is analogous to the original definition of the wave front set of distributions via intersections over characteristic sets. The new methods are then applied to regularity theory of generalized solutions of (pseudo-)differential equations, where we extend the general noncharacteristic re…
We investigate global microlocal properties of localization operators and Shubin pseudodifferential operators. The microlocal regularity is measured in terms of a scale of Shubin-type Sobolev spaces. In particular, we prove microlocality and microellipticity of these operators.
This is a introductory course focusing some basic notions in pseudodifferential operators ($Ψ$DOs) and microlocal analysis. We start this lecture notes with some notations and necessary preliminaries. Then the notion of symbols and $Ψ$DOs are introduced. In Chapter 3 we define the oscillatory integrals of different types. Chapter 4 is devoted to the stationary phase lemmas. One of the features of the lecture is that the stationary phase lemmas are proved for not only compactly supported functions but also for more general functions with certain order of smoothness and certain order of growth a…
We use radial estimates for pseudodifferential operators to describe long time evolution of solutions to $ i u_t - P u = f $ where $ P $ is a self-adjoint 0th order pseudodifferential operator satisfying hyperbolic dynamical assumptions and where $ f $ is smooth. This is motivated by recent results of Colin de Verdière and Saint-Raymond [arXiv:1801.05582] concerning a microlocal model of internal waves in stratified fluids.
In this work we produce microlocal normal forms for pseudodifferential operators which have a Lagrangian submanifold of radial points. This answers natural questions about such operators and their associated classical dynamics. In a sequel, we will give a microlocal parametrix construction, as well as a construction of a microlocal Poisson operator, for such pseudodifferential operators.
We develop a semiclassical second microlocal calculus of pseudodifferential operators associated to linear coisotropic submanifolds $\mathcal{C}\subset T^* \mathbb{T}^n$, where $\mathbb{T}^n = \mathbb{R}^n / \mathbb{Z}^n$. First microlocalization is localization in phase space $T^* \mathbb{T}^n$; second microlocalization is finer localization near a submanifold of $T^* \mathbb{T}^n$. Our second microlocal operators test distributions on $\mathbb{T}^n$ (e.g., Laplace eigenfunctions) for a coisotropic wavefront set, a second microlocal measure of absence of \emph{coisotropic regularity}. This wa…
Some results of microlocal continuity for pseudodifferential operators whose non regular symbols belong to weighted Fourier Lebesgue spaces are given. Inhomogeneous local and microlocal propagation of singularities of Fourier Lebesgue type are then studied, with applications to some classes of semilinear equations.
A class of pseudodifferential operators on the Heisenberg group is defined. As it should be, this class is an algebra containing the class of differential operators. Furthermore, those pseudodifferential operators act continuously on Sobolev spaces and the loss of derivatives may be controled by the order of the operator. Although a large number of works have been devoted in the past to the construction and the study of algebras of variable-coefficient operators, including some very interesting works on the Heisenberg group, our approach is different, and in particular puts into light microloc…
This paper has been withdrawn by the authors. A class of pseudodifferential operators on the Heisenberg group is defined. As it should be, this class is an algebra containing the class of differential operators. Furthermore, those pseudodifferential operators act continuously on Sobolev spaces and the loss of derivatives may be controled by the order of the operator. Although a large number of works have been devoted in the past to the construction and the study of algebras of variable-coefficient operators, including some very interesting works on the Heisenberg group, our approach is differe…
We use microlocal radial estimates to prove the full limiting absorption principle for $P$, a self-adjoint 0th order pseudodifferential operator satisfying hyperbolic dynamical assumptions as of Colin de Verdière and Saint-Raymond. We define the scattering matrix for $P-ω$ with generic $ω\in \mathbb R$ and show that the scattering matrix extends to a unitary operator on appropriate $L^2$ spaces. After conjugation with natural reference operators, the scattering matrix becomes a $0$th order Fourier integral operator with a canonical relation associated to the bicharacteristics of $P-ω$. The ope…
Using a standard linearization technique and previously obtained microlocal properties for pseudodifferential operators with smooth coefficients, the authors state results of microlocal regularity in generalized Besov spaces for solutions to non linear PDE.
We give a factorization procedure for a strictly hyperbolic partial differential operator of second order with logarithmic slow scale coefficients. From this we can microlocally diagonalize the full wave operator which results in a coupled system of two first-order pseudodifferential equations in a microlocal sense. Under the assumption that the full wave equation is microlocal regular in a fixed domain of the phase space, we can approximate the problem by two one-way wave equations where a dissipative term is added to suppress singularities outside the given domain. We obtain well-posedness o…
We study strictly hyperbolic partial differential operators of second order with non-smooth coefficients. After modelling them as semiclassical Colombeau equations of log-type we provide a factorization procedure on some time-space-frequency domain. As a result the operator is written as a product of two semiclassical first-order constituents of log-type which approximates the modelled operator microlocally at infinite points. We then present a diagonalization method so that microlocally at infinity the governing equation is equal to a coupled system of two semiclassical first-order strictly h…
In this paper we continue the study of non-diagonalisable hyperbolic systems with variable multiplicity started by the authors in \cite{Garetto2018}. In the case of space dependent coefficients, we prove a representation formula for solutions that allows us to derive results of regularity and propagation of singularities.
For the light ray transform on globally hyperbolic Lorentzian manifolds of dimension $n+1 \geq 3$ acting on compactly supported distributions, we show that the Schwartz kernel of the normal operator is a paired Lagrangian distribution with non-vanishing principal symbols on each Lagrangians. We obtain Sobolev estimates for the light ray transform, and clarify the determination of light-like singularities using the normal operator.
The purpose of this paper is to study microlocal conditions for inclusion relations between the ranges of square systems of pseudodifferential operators which fail to be locally solvable. The work is an extension of earlier results for the scalar case in this direction, where analogues of results by L. Hörmander about inclusion relations between the ranges of first order differential operators with coefficients in $C^\infty$ which fail to be locally solvable were obtained. We shall study the properties of the range of systems of principal type with constant characteristics for which condition …
An approximation Ansatz for the operator solution, $U(z',z)$, of a hyperbolic first-order pseudodifferential equation, $\d_z + a(z,x,D_x)$ with $\Re (a) \geq 0$, is constructed as the composition of global Fourier integral operators with complex phases. An estimate of the operator norm in $L(H^{(s)},H^{(s)})$ of these operators is provided which allows to prove a convergence result for the Ansatz to $U(z',z)$ in some Sobolev space as the number of operators in the composition goes to $\infty$.
In this article, we shall construct the resolvent of Laplacian at high energies near the spectrum on non-product conic manifolds with a single cone tip. Microlocally, the resolvent kernel is the sum of b-pseudodifferential operators, scattering pseudodifferential operators and intersecting Legendrian distributions. As an application, we shall establish Strichartz estimates for Schrödinger equations on non-compact manifolds with multiple non-product conic singularities.
We study the dynamics of resonances of analytic perturbations of 0th order pseudodifferential operators $P(s)$. In particular, we prove a Fermi golden rule for resonances of $P(s)$ at embedded eigenvalues of $P=P(0)$. We also study the dynamics of eigenvalues of $P(t)=P+itΔ$ as the eigenvalues converge to simple eigenvalues of $P$. The 0th order pseudodifferential operators we consider satisfy natural dynamical assumptions and are used as microlocal models of internal waves.
We consider scattering theory for a pair of operators $H_0$ and $H=H_0+V$ on $L^2(M,m)$, where $M$ is a Riemannian manifold, $H_0$ is a multiplication operator on $M$ and $V$ is a pseudodifferential operator of order $-μ$, $μ>1$. We show that a time-dependent scattering theory can be constructed, and the scattering matrix is a pseudodifferential operator on each energy surface. Moreover, the principal symbol of the scattering matrix is given by a Born approximation type function. The main motivation of the study comes from applications to discrete Schrödigner operators, but it also applies to …
We characterize the Schwartz kernels of pseudodifferential operators of Shubin type by means of an FBI transform. Based on this we introduce as a generalization a new class of tempered distributions called Shubin conormal distributions. We study their transformation behavior, normal forms and microlocal properties.
Summarizing basic facts from abstract topological modules over Colombeau generalized complex numbers we discuss duality of Colombeau algebras. In particular, we focus on generalized delta functionals and operator kernels as elements of dual spaces. A large class of examples is provided by pseudodifferential operators acting on Colombeau algebras. By a refinement of symbol calculus we review a new characterization of the wave front set for generalized functions with applications to microlocal analysis.
S. Zelditch introduced an equivariant version of a pseudo-differential calculus on a hyperbolic Riemann surface. We recast his construction in terms of trilinear invariant functionals on irreducible unitary representations of PGL(2,R). This allows us to use certain properties of these functionals in the study of the action of pseudo-differential operators on eigenfunctions of the Laplacian on hyperbolic Riemann surfaces.
We consider the Cauchy problem for a hyperbolic pseudodifferential operator whose symbol is generalized, resembling a representative of a Colombeau generalized function. Such equations arise, for example, after a reduction-decoupling of second-order model systems of differential equations in seismology. We prove existence of a unique generalized solution under log-type growth conditions on the symbol, thereby extending known results for the case of differential operators with generalized functions as coefficients.
Let $H$ be a Schrödinger type operator with long-range perturbation. We study the wave front set of the distribution kernel of $(H-λ\mp i0)^{-1}$, where $λ$ is in the absolutely continous spectrumof $H$.The result is a refinement of the microlocal resolvent estimate of Isozaki-Kitada \cite{IK1,IK2}. We prove the result for a class of pseudodifferential operators on manifolds so that they apply to discrete Schrödinger operators and higher order operators on the Euclidean space. The proof relies on propagation estimates, whereas the original proof of Isozaki-Kitada relies on a construction of pa…
For a large class of semiclassical pseudodifferential operators, including Schrödinger operators, $ P (h) = -h^2 Δ_g + V (x) $, on compact Riemannian manifolds, we give logarithmic lower bounds on the mass of eigenfunctions outside neighbourhoods of generic closed hyperbolic orbits. More precisely we show that if $ A $ is a pseudodifferential operator which is microlocally equal to the identity near the hyperbolic orbit and microlocally zero away from the orbit, then \[ \| u \| \leq C (\sqrt{\log(1/h)}/ h) \| P (h)u \| + C \sqrt {\log(1/h)} \| (I - A) u \| . \] This generalizes earlier estimat…
On a suitable class of non-compact manifolds, we study (pseudo)differential operators which feature an asymptotic translation-invariance along one axis and an asymptotic dilation-invariance, or asymptotic homogeneity with respect to scaling, in all directions not parallel to that axis. Elliptic examples include generalized 3-body Hamiltonians at zero energy such as $Δ_x+V_0(x')+V(x)$ where $Δ_x$ is the Laplace operator on $\mathbb{R}^n_x=\mathbb{R}^{n-1}_{x'}\times\mathbb{R}_{x''}$, and $V_0$ and $V$ are potentials with at least inverse quadratic decay: this operator is approximately translati…
This paper is devoted to a simpler derivation of energy estimates compared to previously existing ones, for effectively hyperbolic operators. One of main points is no use of general Fourier integral operators and another point is an efficient use of Weyl calculus of pseudodifferential operators associated with several different metrics.
This article addresses linear hyperbolic partial differential equations and pseudodifferential equations with strongly singular coefficients and data, modelled as members of algebras of generalised functions. We employ the recently developed theory of generalised Fourier integral operators to construct parametrices for the solutions and to describe propagation of singularities in this setting. As required tools, the construction of generalised solutions to eikonal and transport equations is given and results on the microlocal regularity of the kernels of generalised Fourier integral operators …
We give a detailed microlocal study of X-ray transforms over geodesics-like families of curves with conjugate points of fold type. We show that the normal operator is the sum of a pseudodifferential operator and a Fourier integral operator. We compute the principal symbol of both operators and the canonical relation associated to the Fourier integral operator. In two dimensions, for the geodesic transform, we show that there is always a cancellation of singularities to some order, and we give an example where that order is infinite; therefore the normal operator is not microlocally invertible …
Applying the spectral measure estimates obtained in the author's joint work with A. Hassell, we establish global-in-time Strichartz estimates without loss via truncated / microlocalized dispersive estimates as well as energy estimates.
This paper is the first in a series of two articles whose aim is to extend a recent result of Guillarmou-Lefeuvre on the local rigidity of the marked length spectrum from the case of compact negatively-curved Riemannian manifolds to the case of manifolds with hyperbolic cusps. In this first paper, we deal with the linear (or infinitesimal) version of the problem and prove that such manifolds are spectrally rigid for compactly supported deformations. More precisely, we prove that the X-ray transform on symmetric solenoidal 2-tensors is injective. In order to do so, we expand the microlocal calc…
We investigate properties of pseudodifferential operators on $L^2$ space on manifold with ends including asymptotically conical or hyperbolic ends. Our pseudodifferential operators are a generalization of the canonical quantization which naturally appears in the quantum mechanics on curved spaces. We prove a Calderón-Vaillancourt type theorem for our pseudodifferential operators and discuss a construction of parametrix of elliptic differential operators on manifolds with ends.
Several examples of non-compact manifolds $M_0$ whose geometry at infinity is described by Lie algebras of vector fields $V \subset Γ(TM)$ (on a compactification of $M_0$ to a manifold with corners $M$) were studied by Melrose and his collaborators. In math.DG/0201202 and math.OA/0211305, the geometry of manifolds described by Lie algebras of vector fields -- baptised "manifolds with a Lie structure at infinity" there -- was studied from an axiomatic point of view. In this paper, we define and study the algebra $Ψ_{1,0,\VV}^\infty(M_0)$, which is an algebra of pseudodifferential operators cano…
We prove an asymptotic formula for the number of scattering resonances in a strip near the real axis when the trapped set is r-normally hyperbolic with r large and a pinching condition on the normal expansion rates holds. Our dynamical assumptions are stable under smooth perturbations and motivated by the setting of black holes. The key tool is a Fourier integral operator which microlocally projects onto the resonant states in the strip. In addition to Weyl law, this operator provides new information about microlocal concentration of resonant states.
We develop a second-microlocal calculus of pseudodifferential operators in the semiclassical setting. These operators test for Lagrangian regularity of semiclassical families of distributions on a manifold $X$ with respect to a Lagrangian submanifold of $T^*X.$ The construction of the calculus, closely analogous to one performed by Bony in the setting of homogeneous Lagrangians, proceeds via the consideration of a model case, that of the zero section of $T^*\mathbb{R}^n,$ and conjugation by appropriate Fourier integral operators. We prove a propagation theorem for the associated wavefront set …
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 is relatively simple given modern microlocal analysis, and only takes a bit over a dozen pages after the statement of notation. It resides on a compact manifold without boundary, hence in the standard setting of microlocal analysis, including semiclassical analysis. The rest of the paper is devoted to applications. Many natural applications arise in the setting of non-Riem…
We construct a parametrix of a resolvent of elliptic differential operators acting on half-densities on manifolds with ends. The construction is carried out by introducing suitable pseudodifferential operators compatible with the end structure. Our class of pseudodifferential operators and symbols is independent of the choice of Riemannian metric on the manifold and applicable to both of asymptotically conical and hyperbolic manifolds. As an application, we prove the essential self-adjointness of elliptic symmetric differential operators on manifolds.
In this paper we describe a new method for analyzing the Laplacian on asymptotically hyperbolic spaces, which was introduced recently by the author. This new method in particular constructs the analytic continuation of the resolvent for even metrics (in the sense of Guillarmou), and gives high energy estimates in strips. The key idea is an extension across the boundary for a problem obtained from the Laplacian shifted by the spectral parameter. The extended problem is non-elliptic -- indeed, on the other side it is related to the Klein-Gordon equation on an asymptotically de Sitter space -- bu…
We revisit Vasy's method for showing meromorphy of the resolvent for (even) asymptotically hyperbolic manifolds. It provides an effective definition of resonances in that setting by identifying them with poles of inverses of a family of Fredholm differential operators. In the Euclidean case the method of complex scaling made this available since the 70's but in the hyperbolic case an effective definition was not known until recently. Here we present a simplified version which relies only on standard pseudodifferential techniques and estimates for hyperbolic operators. As a byproduct we obtain …
We consider the initial value problem for a pseudodifferential equation with first order hyperbolic part, and an order $γ> 0$ dissipative term. Under an assumption, depending on an integer parameter $L \geq 2$ such that $2 γ< L$, we construct for this initial value problem a parametrix that is a Fourier integral operator of type $ρ= 1 - γ/L$. The assumption implies that where the principal symbol of the dissipative term is zero, the terms of order up to $L-1$ in its Taylor series also vanish.
We prove microlocal estimates at the trapped set of asymptotically Kerr spacetimes: these are spacetimes whose metrics decay inverse polynomially in time to a stationary subextremal Kerr metric. This combines two independent results. The first one is purely dynamical: we show that the stable and unstable manifolds of a decaying perturbation of a time-translation-invariant dynamical system with normally hyperbolic trapping are smooth and decay to their stationary counterparts. The second, independent, result provides microlocal estimates for operators whose null-bicharacteristic flow has a norm…
Beyond the Hodge Theorem: curl and asymmetric pseudodifferential projections
Maxwell Institute for Mathematical Sciences & Department of Mathematics, Heriot-Watt University（赫瑞-瓦特大学麦克斯韦数学科学研究所与数学系）；Dipartimento di Matematica “Federigo Enriques”, Università degli Studi di Milano（米兰大学费德里戈·恩里克斯数学系）；Department of Mathematics, University College London（伦敦大学学院数学系）
In this note we investigate local properties for microlocally symmetrizable hyperbolic systems with just time dependent coefficients. Thanks to Paley-Wiener theorem, we establish finite propagation speed by showing precise estimates on the evolution of the support of the solution in terms of suitable norms of the coefficients of the operator and of the symmetrizer. From this result, local existence and uniqueness follow by quite standard methods. Our argument relies on the use of Fourier transform, and it cannot be extended to operators whose coefficients depend also on the space variables. On…
In this paper we study microlocal singularities of solutions to Schrodinger equations on scattering manifolds, i.e., noncompact Riemannian manifolds with asymptotically conic ends. We characterize the wave front set of the solutions in terms of the initial condition and the classical scattering maps under the nontrapping condition. Our result is closely related to a recent work by Hassell and Wunsch, though our model is more general and the method, which relies heavily on scattering theoretical ideas, is simple and quite different. In particular, we use Egorov-type argument in the standard pse…
We study the normal operator to the geodesic X-ray transform on functions in the setting of simple asymptotically hyperbolic manifolds. We construct a parametrix for the normal operator in the 0-pseudodifferential calculus and use it show a stability estimate.
