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.
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…
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…
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 …
Sharp resolvent bounds for non-selfadjoint semiclassical elliptic quadratic differential operators are established, in the interior of the range of the associated quadratic symbol.
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…
The paper reports on a recent construction of M-functions and Krein resolvent formulas for general closed extensions of an adjoint pair, and their implementation to boundary value problems for second-order strongly elliptic operators on smooth domains. The results are then extended to domains with $C^{1,1}$ Hölder smoothness, by use of a recently developed calculus of pseudodifferential boundary operators with nonsmooth symbols.
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 study resolvents and spectral projections for quadratic differential operators under an assumption of partial ellipticity. We establish exponential-type resolvent bounds for these operators, including Kramers-Fokker-Planck operators with quadratic potentials. For the norms of spectral projections for these operators, we obtain complete asymptotic expansions in dimension one, and for arbitrary dimension, we obtain exponential upper bounds and the rate of exponential growth in a generic situation. We furthermore obtain a complete characterization of those operators with orthogonal spectral pr…
Let $A$ be an elliptic operator on a compact manifold with boundary $M$, and let $\wp : \partial\M \to Y$ be a covering map, where $Y$ is a closed manifold. Let $A_C$ be a realization of $A$ subject to a coupling condition $C$ that is elliptic with parameter in the sector $Λ$. By a coupling condition we mean a nonlocal boundary condition that respects the covering structure of the boundary. We prove that the resolvent trace $\Tr_{L^2} (A_C-λ)^{-N}$ for $N$ sufficiently large has a complete asymptotic expansion as $|λ| \to \infty$, $λ\in Λ$. In particular, the heat trace $\Tr_{L^2}e^{-tA_C}$ ha…
We study resolvent approximations for elliptic differential nonselfadjoint operators with periodic coefficients in the limit of the small period. The class of operators covered by our analysis includes uniformly elliptic families with bounded coefficients and also with unbounded coefficients from the John-Nirenberg space $BMO$ (bounded mean oscillation). We apply the modified method of the first approximation with the usage of Steklov's smoothing.
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.
For a strongly elliptic second-order operator $A$ on a bounded domain $Ω\subset \mathbb{R}^n$ it has been known for many years how to interpret the general closed $L_2(Ω)$-realizations of $A$ as representing boundary conditions (generally nonlocal), when the domain and coefficients are smooth. The purpose of the present paper is to extend this representation to nonsmooth domains and coefficients, including the case of Hölder $C^{\frac32+\varepsilon}$-smoothness, in such a way that pseudodifferential methods are still available for resolvent constructions and ellipticity considerations. We show…
We study the asymptotic behaviour, as the small parameter $\varepsilon$ tends to zero, of the resolvents of uniformly elliptic second-order differential operators with locally periodic coefficients depending on the slow variable $x$ and the fast variable $x/\varepsilon$, with periodicity only in the fast variable. We provide a construction for the leading terms in the operator asymptotics of these resolvents in the sense of $L^2$-operator-norm convergence with order $\varepsilon^2$ remainder estimates. We apply the modified method of the first approximation with the usage of the shift.
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 …
Given a symmetric, semi-bounded, second order elliptic differential operator on a bounded domain with $C^{1,1}$ boundary, we provide a Krein-type formula for the resolvent difference between its Friedrichs extension and an arbitrary self-adjoint one.
We consider an infinite planar straight strip perforated by small holes along a curve. In such domain, we consider a general second order elliptic operator subject to classical boundary conditions on the holes. Assuming that the perforation is non-periodic and satisfies rather weak assumptions, we describe all possible homogenized problems. Our main result is the norm resolvent convergence of the perturbed operator to a homogenized one in various operator norms and the estimates for the rate of convergence. On the basis of the norm resolvent convergence, we prove the convergence of the spectru…
We analyze the inverse problem of identifying the diffusivity coefficient of a scalar elliptic equation as a function of the resolvent operator. We prove that, within the class of measurable coefficients, bounded above and below by positive constants, the resolvent determines the diffusivity in an unique manner. Furthermore we prove that the inverse mapping from resolvent to the coefficient is Lipschitz in suitable topologies. This result plays a key role when applying greedy algorithms to the approximation of parameter-dependent elliptic problems in an uniform and robust manner, independent o…
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 consider self-adjoint realizations of a second-order elliptic differential expression on ${\mathbb R}^n$ with singular interactions of $δ$ and $δ^\prime$-type supported on a compact closed smooth hypersurface in ${\mathbb R}^n$. In our main results we prove spectral asymptotics formulae with refined remainder estimates for the singular values of the resolvent difference between the standard self-adjoint realizations and the operators with a $δ$ and $δ^\prime$-interaction, respectively. Our technique makes use of general pseudodifferential methods, classical results on spectral asymptotics o…
We consider general second order uniformly elliptic operators subject to homogeneous boundary conditions on open sets $ϕ(Ω)$ parametrized by Lipschitz homeomorphisms $ϕ$ defined on a fixed reference domain $Ω$. Given two open sets $ϕ(Ω)$, $\tilde ϕ(Ω)$ we estimate the variation of resolvents, eigenvalues and eigenfunctions via the Sobolev norm $\|\tilde ϕ-ϕ\|_{W^{1,p}(Ω)}$ for finite values of $p$, under natural summability conditions on eigenfunctions and their gradients. We prove that such conditions are satisfied for a wide class of operators and open sets, including open sets with Lipschit…
We study the asymptotic behaviour of the resolvents $({\mathcal A}^\varepsilon+I)^{-1}$ of elliptic second-order differential operators ${\mathcal A}^\varepsilon$ in ${\mathbb R}^d$ with periodic rapidly oscillating coefficients, as the period $\varepsilon$ goes to zero. The class of operators covered by our analysis includes both the "classical" case of uniformly elliptic families (where the ellipticity constant does not depend on $\varepsilon$) and the "double-porosity" case of coefficients that take contrasting values of order one and of order $\varepsilon^2$ in different parts of the perio…
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 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 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.
We study resolvent estimates for non-selfadjoint semiclassical pseudodifferential operators with double characteristics. Assuming that the quadratic approximation along the double characteristics is elliptic, we obtain polynomial upper bounds on the resolvent in a suitable region inside the pseudospectrum.
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 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.
In this paper, we study the estimates of resolvents $ R(λ,\mathcal{L}_{\varepsilon})=(\mathcal{L}_{\varepsilon}-λI)^{-1} $, where $$ \mathcal{L}_{\varepsilon}=-\operatorname{div}(A(x/\varepsilon)\nabla) $$ is a family of second elliptic operators with symmetric, periodic and oscillating coefficients defined on a bounded domain $ Ω$ with $ \varepsilon>0 $. For $ 1<p<\infty $, we will establish uniform $ L^p\to L^p $, $ L^p\to W_0^{1,p} $, $ W^{-1,p}\to L^p $ and $ W^{-1,p}\to W_0^{1,p} $ estimates by using the real variable method. Meanwhile, we use Green functions for operators $ \mathcal{L}_{…
We prove new $L^p$-$L^q$-estimates for solutions to elliptic differential operators with constant coefficients in $\mathbb{R}^3$. We use the estimates for the decay of the Fourier transform of particular surfaces in $\mathbb{R}^3$ with vanishing Gaussian curvature due to Erdős--Salmhofer to derive new Fourier restriction--extension estimates. These allow for constructing distributional solutions in $L^q(\mathbb{R}^3)$ for $L^p$-data via limiting absorption by well-known means.
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 largely expository note, we discuss the mapping properties of the Laplacian (and other geometric elliptic operators) in spaces with an isolated conical singularity following the approach developed by B.-W. Schulze and collaborators. Our presentation aims at illustrating the versatility of these results by describing how certain representative (and seemingly disparate) applications in Geometric Analysis follow from a common setup.
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 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; …
This is the first part of a series of three articles. In this paper, we obtain weighted norm inequalities for different conical square functions associated with the Heat and the Poisson semigroups generated by a second order divergence form elliptic operator with bounded complex coefficients. We find classes of Muckenhoupt weights where the square functions are comparable and/or bounded. These classes are natural from the point of view of the ranges where the unweighted estimates hold. In doing that, we obtain sharp weighted change of angle formulas which allow us to compare conical square fun…
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 …
We study an elliptic differential operator A on a manifold with conic points. Assuming A to be defined on the smooth functions supported away from the singularities, we first address the question of possible closed extensions of A to L^p Sobolev spaces and then explain how additional ellipticity conditions ensure maximal regularity for the operator A. Investigating the Lipschitz continuity of the maps f(u)=|u|^α, with real α\ge 1, and f(u)=u^α, with αa natural number, and using a result of Clément and Li, we finally show unique solvability of a quasilinear equation of the form \dot{u} - a(u) Δ…
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…
In the whole space $R^d$, $d\ge 2$, we study homogenization of a divergence form elliptic operator $A_\varepsilon$ of order $2m\ge 4$ with measurable $\varepsilon$-periodic coefficients, where $\varepsilon$ is a small parameter. For the resolvent $(A_\varepsilon+1)^{-1}$, we construct an approximation with the remainder term of order $\varepsilon^2$ in the operator $(L^2{\to}H^m)$-norm, using the resolvent of the homogenized operator, solutions of several auxiliary periodic problems on the unit cube, and smoothing operators. The homogenized operator here differs from the one commonly employed …
Singular Green operators G appear typically as boundary correction terms in resolvents for elliptic boundary value problems on a domain Ω\subset R^n, and more generally they appear in the calculus of pseudodifferential boundary problems. In particular, the boundary term in a Krein resolvent formula is a singular Green operator. It is well-known in smooth cases that when G is of negative order -t on a bounded domain, its eigenvalues or s-numbers have the behavior (*) s_j(G) \sim c j^{-t/(n-1)} for j\to \infty, governed by the boundary dimension n-1. In some nonsmooth cases, upper estimates (**)…
We study the oblique derivative problem for uniformly elliptic equations on cone domains. Under the assumption of axi-symmetry of the solution, we find sufficient conditions on the angle of the oblique vector for Hölder regularity of the gradient to hold up to the vertex of the cone. The proof of regularity is based on the application of carefully constructed barrier methods or via perturbative arguments. In the case that such regularity does not hold, we give explicit counterexamples. We also give a counterexample to regularity in the absence of axi-symmetry. Unlike in the equivalent two dime…
A monotonicity approach to the study of the asymptotic behavior near corners of solutions to semilinear elliptic equations in domains with a conical boundary point is discussed. The presence of logarithms in the first term of the asymptotic expansion is excluded for boundary profiles sufficiently close to straight conical surfaces.
We present a simple proof of the resolvent estimates of elliptic Fourier multipliers on the Euclidean space, and apply them to the analysis of time-global and spatially-local smoothing estimates of a class of dispersive equations. For this purpose we study in detail the properties of the restriction of Fourier transform on the unit cotangent sphere associated with the symbols of multipliers.
