Let X be a compact manifold with boundary, and g a scattering metric on X, which may be either of short range or `gravitational' long range type. Thus, g gives X the geometric structure of a complete manifold with an asymptotically conic end. Let H be an operator of the form $H = Δ+ P$, where $Δ$ is the Laplacian with respect to g and P is a self-adjoint first order scattering differential operator with coefficients vanishing at the boundary of X and satisfying a `gravitational' condition. We define a symbol calculus for Legendre distributions on manifolds with codimension two corners and use it to give a direct construction of the resolvent kernel of H, $R(σ+ i0)$, for $σ$ on the positive real axis. In this approach, we do not use the limiting absorption principle at any stage; instead we construct a parametrix which solves the resolvent equation up to a compact error term and then use Fredholm theory to remove the error term.
We give resolvent estimates near zero energy on Riemannian scattering, i.e. asymptotically conic, spaces, and their generalizations, using a uniform microlocal Fredholm analysis framework.
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 use a Lagrangian regularity perspective to discuss resolvent estimates near zero energy on Riemannian scattering, i.e. asymptotically conic, spaces, and their generalizations. In addition to the Lagrangian perspective we introduce and use a resolved pseudodifferential algebra to deal with zero energy degeneracies in a robust manner.
On a class of asymptotically conical manifolds, we prove two types of low frequency estimates for the resolvent of the Laplace-Beltrami operator. The first result is a uniform $ L^2 \rightarrow L^2 $ bound for $ \langle r \rangle^{-1} (- Δ_G - z)^{-1} \langle r \rangle^{-1} $ when $ \mbox{Re}(z) $ is small, with the optimal weight $ \langle r \rangle^{-1} $. The second one is about powers of the resolvent. For any integer $N$, we prove uniform $ L^2 \rightarrow L^2 $ bounds for $ \langle εr \rangle^{-N} (-ε^{-2} Δ_G - Z)^{-N} \langle εr \rangle^{-N} $ when $ \mbox{Re}(Z) $ belongs to a compact…
In this article we prove $L^p$ estimates for resolvents of Laplace-Beltrami operators on compact Riemannian manifolds, generalizing results of Kenig, Ruiz and Sogge in the Euclidean case and Shen for the torus. We follow Sogge and construct Hadamard's parametrix, then use classical boundedness results on integral operators with oscillatory kernels related to the Carleson and Sjölin condition. Our initial motivation was to obtain $L^p$ Carleman estimates with limiting Carleman weights generalizing those of Jerison and Kenig; we illustrate the pertinence of $L^p$ resolvent estimates by showing t…
This paper is a continuation of the investigation of resolvents of elliptic operators on conic manifolds from math.AP/0410178 and math.AP/0410176 to the case of manifolds with boundary and realizations of operators under boundary conditions. We prove the existence of sectors of minimal growth for realizations of boundary value problems for cone operators under natural ellipticity conditions on the symbols. Special attention is devoted to the clarification of the analytic structure of the resolvent.
On a compact Riemannian manifold with boundary, we prove a spectral inequality for the bi-Laplace operator in the case of so-called "clamped" boundary conditions , that is, homogeneous Dirichlet and Neumann conditions simultaneously. We also prove a resolvent estimate for the generator of the damped plate semigroup associated with these boundary conditions. The spectral inequality allows one to observe finite sums of eigenfunctions for this fourth-order elliptic operator, from an arbitrary open subset of the manifold. Moreover, the constant that appears in the inequality grows as exp(C$μ$ 1/4)…
We study closed extensions A of an elliptic differential operator on a manifold with conical singularities, acting as an unbounded operator on a weighted L_p-space. Under suitable conditions we show that the resolvent (λ-A)^{-1} exists in a sector of the complex plane and decays like 1/|λ| as |λ| tends to infinity. Moreover, we determine the structure of the resolvent with enough precision to guarantee existence and boundedness of imaginary powers of A. As an application we treat the Laplace-Beltrami operator for a metric with straight conical degeneracy and describe domains yielding maximal r…
We consider manifolds with conic singularites that are isometric to $\mathbb{R}^{n}$ outside a compact set. Under natural geometric assumptions on the cone points, we prove the existence of a logarithmic resonance-free region for the cut-off resolvent. The estimate also applies to the exterior domains of non-trapping polygons via a doubling process. The proof of the resolvent estimate relies on the propagation of singularities theorems of Melrose and the second author to establish a "very weak" Huygens' principle, which may be of independent interest. As applications of the estimate, we obtain…
We analyze the resolvent $R(k)=(P+k^2)^{-1}$ of Schrödinger operators $P=Δ+V$ with short range potential $V$ on asymptotically conic manifolds $(M,g)$ (this setting includes asymptotically Euclidean manifolds) near $k=0$. We make the assumption that the dimension is greater or equal to 3 and that $P$ has no $L^2$ null space and no resonance at 0. In particular, we show that the Schwartz kernel of $R(k)$ is a conormal polyhomogeneous distribution on a desingularized version of $M\times M\times [0,1]$. Using this, we show that the Riesz transform of $P$ is bounded on $L^p$ for $1<p<n$ and that t…
We show that the Sobolev embedding is compact on punctured manifolds with conical singularities. On the other hand, we find the Sobolev inequality does not hold on punctured manifolds with Poincaré like metric, on which one has Poincaré inequality. Applying the results to the Laplace's equation on the singular manifolds, we obtain the existences of the solution in both cases. In conical singularity case, we prove further that the solution can be extended to the singular points and it is Hölder continuous. However, the solution can not be continuously extended to the singular points in Poincaré…
We consider the Laplacian $Δ$ on an asymptotically hyperbolic manifold $X$, as defined by Mazzeo and Melrose. We give pointwise bounds on the spectral measure for the operator $(Δ- n^2/4)_+^{1/2}$ on such manifolds, under the assumptions that $X$ is nontrapping and there is no resonance at the bottom of the spectrum. This uses the construction of the resolvent given by Mazzeo and Melrose (valid when the spectral parameter lies in a compact set), Melrose, Sá Barreto and Vasy (high energy estimates for a perturbation of the hyperbolic metric) and the present authors (see also the work by Yiran W…
In this paper we continue the study on the resolvent estimates of the Laplace-Beltrami operator $Δ_g$ on a compact manifolds $M$ with dimension $n\geq3$. On the Sobolev line $1/p-1/q=2/n$ we can prove that the resolvent $(Δ_g+ζ)^{-1}$ is uniformly bounded from $L^p$ to $L^q$ when $(p,q)$ are within the admissible range $p\leq2(n+1)/(n+3)$ and $q\geq2(n+1)/(n-1)$ and $ζ$ is outside a parabola opening to the right and a small disk centered at the origin. This naturally generalizes the previous results in \cite{Kenig} and \cite{bssy} which addressed only the special case when $p=2n/(n+2), q=2n/(n…
Let $(M^\circ, g)$ be an asymptotically conic manifold, in the sense that $M^\circ$ compactifies to a manifold with boundary $M$ in such a way that $g$ becomes a scattering metric on $M$. A special case of particular interest is that of asymptotically Euclidean manifolds, where $\partial M = S^{n-1}$ and the induced metric at infinity is equal to the standard metric. We study the resolvent kernel $(P + k^2)^{-1}$ and Riesz transform of the operator $P = Δ_g + V$, where $Δ_g$ is the positive Laplacian associated to $g$ and $V$ is a real potential function $V$ that is smooth on $M$ and vanishes …
On an asymptotically conic manifold $(M,g)$, we analyze the asymptotics of the integral kernel of the resolvent $R_q(k):=(Δ_q+k^2)^{-1}$ of the Hodge Laplacian $Δ_q$ on $q$-forms as the spectral parameter $k$ approaches zero, assuming that 0 is not a resonance. The first application we give is an $L^p$ Sobolev estimate for $d+δ$ and $Δ_q$. Then we obtain a complete characterization of the range of $p>1$ for which the Riesz transform for $q$-forms $T_q=(d+δ)Δ_q^{-1/2}$ is bounded on $L^p$. Finally, we obtain an asymptotic formula for the analytic torsion of a family of smooth compact Riemannian…
We give a uniform description of resolvents and complex powers of elliptic semiclassical cone differential operators as the semiclassical parameter $h$ tends to $0$. An example of such an operator is the shifted semiclassical Laplacian $h^2Δ_g+1$ on a manifold $(X, g)$ of dimension $n\geq 3$ with conic singularities. Our approach is constructive and based on techniques from geometric microlocal analysis: we construct the Schwartz kernels of resolvents and complex powers as conormal distributions on a suitable resolution of the space $[0,1)_h\times X\times X$ of $h$-dependent integral kernels; …
We prove uniform $L^p$ estimates for resolvents of higher order elliptic self-adjoint differential operators on compact manifolds without boundary, generalizing a corresponding resul of [3] in the case of Laplace-- Beltrami operators on Riemannian manifolds. In doing so, we follow the methods, developed in [1] very closely. We also show that spectral regions in our $L^p$ resolvent estimates are optimal.
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.
We consider the convergent problems of Dirichlet forms associated with the Laplace operators on thin domains. This problem appears in the field of quantum waveguides. We study that a sequence of Dirichlet forms approximating the Laplace operators with the delta potential on thin domains Mosco converges to the form associated with the Laplace operator with the delta potential on the graph in the sense of Gromov-Hausdorff topology. From this results we can make use of many results established by Kuwae and Shioya about the convergence of the semigroups and resolvents generated by the infinitesima…
We describe a simple but surprisingly effective technique of obtaining spectral multiplier results for abstract operators which satisfy the finite propagation speed property for the corresponding wave equation propagator. We show that, in this setting, spectral multipliers follow from resolvent type estimates. The most notable point of the paper is that our approach is very flexible and can be applied even if the corresponding ambient space does not satisfy the doubling condition or if the semigroup generated by an operator is not uniformly bounded. As a corollary we obtain the $L^p$ spectrum …
The paper is pertaining to the spectral theory of operators and boundary value problems for differential equations on manifolds. Eigenvalues of such problems are studied as functionals on the space of domains. Resolvent continuity of the corresponding operators is established under domain deformation and estimates of continuity moduli of their eigenvalues $\slash$ eigenfunctions are obtained provided the boundary of nonperturbed domain is locally represented as a graph of some continuous function and domain deformation is measured with respect to the Hausdorff--Pompeiu metric.
We study the evolution of the heat and of a free quantum particle (described by the Schrödinger equation) on two-dimensional manifolds endowed with the degenerate Riemannian metric $ds^2=dx^2+|x|^{-2α}dθ^2$, where $x\in \mathbb R$, $θ\in\mathbb T$ and the parameter $α\in\mathbb R$. For $α\le-1$ this metric describes cone-like manifolds (for $α=-1$ it is a flat cone). For $α=0$ it is a cylinder. For $α\ge 1$ it is a Grushin-like metric. We show that the Laplace-Beltrami operator $Δ$ is essentially self-adjoint if and only if $α\notin(-3,1)$. In this case the only self-adjoint extension is the F…
We prove uniform $L^p$ resolvent estimates for the stationary damped wave operator. The uniform $L^p$ resolvent estimates for the Laplace operator on a compact smooth Riemannian manifold without boundary were first established by Dos Santos Ferreira-Kenig-Salo and advanced further by Bourgain-Shao-Sogge-Yao. Here we provide an alternative proof relying on the techniques of semiclassical Strichartz estimates. This approach allows us also to handle non-self-adjoint perturbations of the Laplacian and embeds very naturally in the semiclassical spectral analysis framework.
Let $M^\circ$ be a complete noncompact manifold and $g$ an asymptotically conic Riemaniann metric on $M^\circ$, in the sense that $M^\circ$ compactifies to a manifold with boundary $M$ in such a way that $g$ becomes a scattering metric on $M$. Let $Δ$ be the positive Laplacian associated to $g$, and $P = Δ+ V$, where $V$ is a potential function obeying certain conditions. We analyze the asymptotics of the spectral measure $dE(λ) = (λ/πi) \big(R(λ+i0) - R(λ- i0) \big)$ of $P_+^{1/2}$, where $R(λ) = (P - λ^2)^{-1}$, as $λ\to 0$, in a manner similar to that done previously by the second author an…
We study the minimal and maximal closed extension of a differential operator A on a manifold B with conical singularities, when A acts as an unbounded operator on weighted L^p-spaces over B, 1 < p < \infty. Under suitable ellipticity assumptions we can define a family of complex powers A^z. We also obtain sufficient information on the resolvent of A to show the boundedness of the purely imaginary powers. Examples concern unique solvability and maximal regularity for the solution of the Cauchy problem for the Laplacian on conical manifolds as well as certain quasilinear diffusion equations.
We prove $L^p\to L^{p'}$ bounds for the resolvent of the Laplace-Beltrami operator on a compact Riemannian manifold of dimension $n$ in the endpoint case $p=2(n+1)/(n+3)$. It has the same behavior with respect to the spectral parameter $z$ as its Euclidean analogue, due to Kenig-Ruiz-Sogge, provided a parabolic neighborhood of the positive half-line is removed. This is region is optimal, for instance, in the case of a sphere.
We derive conditions that ensure the existence of a bounded $H_\infty$-calculus in weighted $L_p$-Sobolev spaces for closed extensions $\underline{A}_T$ of a differential operator $A$ on a conic manifold with boundary, subject to differential boundary conditions $T$. In general, these conditions ask for a particular pseudodifferential structure of the resolvent $(λ-\underline{A}_T)^{-1}$ in a sector $Λ\subset\mathbf{C}$. In case of the minimal extension they reduce to parameter-ellipticity of the boundary value problem $(A,T)$. Examples concern the Dirichlet and Neumann Laplacians.
In this paper, we investigate the long-time structure of the heat kernel on a Riemannian manifold M which is asymptotically conic near infinity. Using geometric microlocal analysis and building on results of Guillarmou and Hassell on the low-energy resolvent, we give a complete description of the asymptotic structure of the heat kernel in all spatial and temporal regimes. We apply this structure to define and investigate a renormalized zeta function and determinant of the Laplacian on M.
For Laplace-Beltrami operators associated to metrics which are long range perturbations of the flat one, we prove estimates for powers of the resolvent as the spectral parameter goes to zero. We also discuss applications to the local energy decay for the Schroedinger, Wave and Klein Gordon equations.
We consider a problem of mixed Cauchy type for certain holomorphic partial differential operators whose principal part $Q_{2p}(D)$ essentially is the (complex) Laplace operator to a power, $Δ^p$. We pose inital data on a singular conic divisor given by P=0, where $P$ is a homogeneous polynomial of degree $2p$. We show that this problem is uniquely solvable if the polynomial $P$ is elliptic, in a certain sense, with respect to the principal part $Q_{2p}(D)$.
We consider scattering by general compactly supported semi-classical perturbations of the Euclidean Laplace-Beltrami operator. We show that if the suitably cut-off resolvent of the Hamiltonian quantizes a Lagrangian relation on the product cotangent bundle, the scattering amplitude quantizes the natural scattering relation. In the case when the resolvent is tempered, which is true under some non-resonance assumptions, and when we work microlocally near a non-trapped ray, our result implies that the scattering amplitude defines a semiclassical Fourier integral operator associated to the scatter…
Consider a compact manifold with boundary $M$ with a scattering metric $g$ or, equivalently, an asymptotically conic manifold $(M^\circ, g)$. (Euclidean $\mathbb{R}^n$, with a compactly supported metric perturbation, is an example of such a space.) Let $Δ$ be the positive Laplacian on $(M,g)$, and $V$ a smooth potential on $M$ which decays to second order at infinity. In this paper we construct the kernel of the operator $(h^2 Δ+ V - (λ_0 \pm i0)^2)^{-1}$, at a nontrapping energy $λ_0 > 0$, uniformly for $h \in (0, h_0)$, $h_0 > 0$ small, within a class of Legendre distributions on manifolds w…
We derive a detailed asymptotic expansion of the heat trace for the Laplace-Beltrami operator on functions on manifolds with conic singularities, using the Singular Asymptotics Lemma of Jochen Bruening and Robert T. Seeley [BS]. In the subsequent paper we investigate how the terms in the expansion reflect the geometry of the manifold.
We investigate in this paper the existence of a metric which maximizes the first eigenvalue of the Laplacian on Riemannian surfaces. We first prove that, in a given conformal class, there always exists such a maximizing metric which is smooth except at a finite set of conical singularities. This result is similar to the beautiful result concerning Steklov eigenvalues recently obtained by Fraser and Schoen. Then we get existence results among all metrics on surfaces of a given genus, leading to the existence of minimal isometric immersions of smooth compact Riemannian manifold $(M,g)$ of dimens…
We provide operator-norm convergence estimates for solutions to a time-dependent equation of fractional elasticity in one spatial dimension, with rapidly oscillating coefficients that represent the material properties of a viscoelastic composite medium. Assuming periodicity in the coefficients, we prove operator-norm convergence estimates for an operator fibre decomposition obtained by applying to the original fractional elasticity problem the Fourier--Laplace transform in time and Gelfand transform in space. We obtain estimates on each fibre that are uniform in the quasimomentum of the decomp…
We consider the mapping properties of generalized Laplace-type operators ${\mathcal L} = \nabla^* \nabla + {\mathcal R}$ on the class of quasi-asymptotically conical (QAC) spaces, which provide a Riemannian generalization of the QALE manifolds considered by Joyce. Our main result gives conditions under which such operators are Fredholm when between certain weighted Sobolev or weighted Hölder spaces. These are generalizations of well-known theorems in the asymptotically conical (or asymptotically Euclidean) setting, and also sharpen and extend corresponding theorems by Joyce. The methods here a…
For certain Dirac operators $ð_ϕ$ associated to a fibered boundary metric $g_ϕ$, we provide a pseudodifferential characterization of the limiting behavior of $(ð_ϕ+kγ)^{-1}$ as $k\searrow 0$, where $γ$ is a self-adjoint operator anti-commuting with $ð_ϕ$ and whose square is the identity. This yields in particular a pseudodifferential characterization of the low energy limit of the resolvent of $ð_ϕ^2$, generalizing a result of Guillarmou and Sher about the low energy limit of the resolvent of the Hodge Laplacian of an asymptotically conical metric. As an application, we use our result to give …
Let $(X,g)$ be a compact manifold with conic singularities. Taking $Δ_g$ to be the Friedrichs extension of the Laplace-Beltrami operator, we examine the singularities of the trace of the half-wave group $e^{- i t \sqrt{ \smash[b]{Δ_g}}}$ arising from strictly diffractive closed geodesics. Under a generic nonconjugacy assumption, we compute the principal amplitude of these singularities in terms of invariants associated to the geodesic and data from the cone point. This generalizes the classical theorem of Duistermaat-Guillemin on smooth manifolds and a theorem of Hillairet on flat surfaces wit…
We define a very general "parametric connect sum" construction which can be used to eliminate isolated conical singularities of Riemannian manifolds. We then show that various important analytic and elliptic estimates, formulated in terms of weighted Sobolev spaces, can be obtained independently of the parameters used in the construction. Specifically, we prove uniform estimates related to (i) Sobolev Embedding Theorems, (ii) the invertibility of the Laplace operator and (iii) Poincare' and Gagliardo-Nirenberg-Sobolev type inequalities. Our main tools are the well-known theories of weighted So…
Let $X$ be a compact Riemannian manifold with conic singularities, i.e. a Riemannian manifold whose metric has a conic degeneracy at the boundary. Let $Δ$ be the Friedrichs extension of the Laplace-Beltrami operator on $X.$ There are two natural ways to define geodesics passing through the boundary: as ``diffractive'' geodesics which may emanate from $\partial X$ in any direction, or as ``geometric'' geodesics which must enter and leave $\partial X$ at points which are connected by a geodesic of length $π$ in $\partial X.$ Let $\DIFF=\{0\} \cup \{\pm lengths of closed diffractive geodesics\}$ …
Let $f: X\to {\Bbb C}P^1$ be a meromorphic function of degree $N$ with simple poles and simple critical points on a compact Riemann surface $X$ of genus $g$ and let $\mathsf m$ be the standard round metric of curvature $1$ on the Riemann sphere ${\Bbb C}P^1$. Then the pullback $f^*\mathsf m$ of $\mathsf m$ under $f$ is a metric of curvature $1$ with conical singularities of conical angles $4π$ at the critical points of $f$. We study the $ζ$-regularized determinant of the Laplace operator on $X$ corresponding to the metric $f^*\mathsf m$ as a functional on the moduli space of the pairs $(X, f)$…
In this article we study the semiclassical resolvent estimate for the non-selfadjoint Baouendi-Grushin operator on the two-dimensional torus $\mathbb{T}^2=\mathbb{R}^2/(2π\mathbb{Z})^2$ with Hölder dampings. The operator is subelliptic degenerating along the vertical direction at $x=0$. We exhibit three different situations: (i) the damping region verifies the geometric control condition with respect to both the non-degenerate Hamiltonian flow and the vertical subelliptic flow; (ii) the undamped region contains a horizontal strip; (iii) the undamped part is a line. In all of these situations, …
We consider a damped plate equation on an open bounded subset of R^d, or a smooth manifold, with boundary, along with general boundary operators fulfilling the Lopatinskii-Sapiro condition. The damping term acts on a region without imposing a geometrical condition. We derive a resolvent estimate for the generator of the damped plate semigroup that yields a logarithmic decay of the energy of the solution to the plate equation. The resolvent estimate is a consequence of a Carleman inequality obtained for the bi-Laplace operator involving a spectral parameter under the considered boundary conditi…
We provide a limiting absorption principle for the self-adjoint realizations of Laplace operators corresponding to boundary conditions on (relatively open parts $Σ$ of) compact hypersurfaces $Γ=\partialΩ$, $Ω\subset{\mathbb{R}}^{n}$. For any of such self-adjoint operators we also provide the generalized eigenfunctions and the scattering matrix; both these objects are written in terms of operator-valued Weyl functions. We make use of a Krein-type formula which provides the resolvent difference between the operator corresponding to self-adjoint boundary conditions on the hypersurface and the fre…
We present the Laplace operator associated to a hyperbolic surface $Γ\setminus\mathbb{H}$ and a unitary representation of the fundamental group $Γ$, extending the previous definition for hyperbolic surfaces of finite area to those of infinite area. We show that the resolvent of this operator admits a meromorphic continuation to all of $\mathbb{C}$ by constructing a parametrix for the Laplacian, following the approach by Guillopé and Zworski. We use the construction to provide an optimal upper bound for the counting function of the poles of the continued resolvent.
We consider second-order elliptic partial differential operators acting on sections of vector bundles over a compact Riemannian manifold without boundary, working without the assumption of Laplace-like principal part $-\N^μ\N_μ$. Our objective is to obtain information on the asymptotic expansions of the corresponding resolvent and the heat kernel. The heat kernel and the Green's function are constructed explicitly in the leading order. The first two coefficients of the heat kernel asymptotic expansion are computed explicitly. A new semi-classical ansatz as well as the complete recursion system…
