The notion of quasi boundary triples and their Weyl functions is an abstract concept to treat spectral and boundary value problems for elliptic partial differential equations. In the present paper the abstract notion is further developed, and general theorems on resolvent differences belonging to operator ideals are proved. The results are applied to second order elliptic differential operators on bounded and exterior domains, and to partial differential operators with $δ$ and $δ'$-potentials supported on hypersurfaces.
In this paper we develop certain aspects of perturbation theory for self-adjoint operators subject to small variations of their domains. We use the abstract theory of boundary triplets to quantify such perturbations and give the second order asymptotic analysis for resolvents, spectral projections, discrete eigenvalues of the corresponding self-adjoint operators. In particular, we derive explicit formulas for the first variation and the Hessian of the eigenvalue curves bifurcating from a discrete eigenvalue of an unperturbed operator. An application is given to a matrix valued Robin Laplacian …
In this paper we prove a subelliptic resolvent estimate for a class of semiclassical non-self-adjoint Schrödinger operators with purely imaginary potentials when the spectral parameter is in a parabolic neighborhood of the imaginary axis.
We examine semiclassical magnetic Schrödinger operators with complex electric potentials. Under suitable conditions on the magnetic and electric potentials, we prove a resolvent estimate for spectral parameters in an unbounded parabolic neighborhood of the imaginary axis.
We prove in this paper resolvent estimates for the boundary values of resolvents of selfadjoint operators on a Krein space: if $H$ is a selfadjoint operator on a Krein space $\cH$, equipped with the Krein scalar product $\langle \cdot| \cdot \rangle$, $A$ is the generator of a $C_{0}-$group on $\cH$ and $I\subset \rr$ is an interval such that: \begin{itemize} \item[]1) $H$ admits a Borel functional calculus on $I$, \item[]2) the spectral projection $\one_{I}(H)$ is positive in the Krein sense, \item[]3) the following {\em positive commutator estimate} holds: \[ \Re \langle u| [H, ıA]u\rangle\g…
We consider a non-self-adjoint $h$-pseudodifferential operator $P$ in the semi-classical limit ($h\to 0$). If $p$ is the leading symbol, then under suitable assumptions about the behaviour of $p$ at infinity, we know that the resolvent $(z-P)^{-1}$ is uniformly bounded for $z$ in any compact set not intersecting the closure of the range of $p$. Under a subellipticity condition, we show that the resolvent extends locally inside the range up to a distance ${\cal O}(1)((h\ln \frac{1}{h})^{k/(k+1)})$ from certain boundary points, where $k\in \{2,4,...\}$. This is a slight improvement of a result b…
In this note self-adjoint realizations of second order elliptic differential expressions with non-local Robin boundary conditions on a domain $Ω\subset\dR^n$ with smooth compact boundary are studied. A Schatten--von Neumann type estimate for the singular values of the difference of the $m$th powers of the resolvents of two Robin realizations is obtained, and for $m>\tfrac{n}{2}-1$ it is shown that the resolvent power difference is a trace class operator. The estimates are slightly stronger than the classical singular value estimates by M. Sh. Birman where one of the Robin realizations is repla…
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 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 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…
In the present paper we investigate the set $Σ_J$ of all $J$-self-adjoint extensions of a symmetric operator $S$ with deficiency indices $<2,2>$ which commutes with a non-trivial fundamental symmetry $J$ of a Krein space $(\mathfrak{H}, [\cdot,\cdot])$, SJ=JS. Our aim is to describe different types of $J$-self-adjoint extensions of $S$. One of our main results is the equivalence between the presence of $J$-self-adjoint extensions of $S$ with empty resolvent set and the commutation of $S$ with a Clifford algebra ${\mathcal C}l_2(J,R)$, where $R$ is an additional fundamental symmetry with $JR=-R…
We continue the study of boundary data maps, that is, generalizations of spectral parameter dependent Dirichlet-to-Neumann maps for (three-coefficient) Sturm-Liouville operators on the finite interval $(a,b)$, to more general boundary conditions. While earlier studies of boundary data maps focused on the case of general separated boundary conditions at $a$ and $b$, the present work develops a unified treatment for all possible self-adjoint boundary conditions (i.e., separated as well as non-separated ones). In the course of this paper we describe the connections with Krein's resolvent formula …
Sharp resolvent bounds for non-selfadjoint semiclassical elliptic quadratic differential operators are established, in the interior of the range of the associated quadratic symbol.
This paper has two main goals. First, we are concerned with the classification of self-adjoint extensions of the Laplacian $-Δ\big|_{C^\infty_0(Ω)}$ in $L^2(Ω; d^n x)$. Here, the domain $Ω$ belongs to a subclass of bounded Lipschitz domains (which we term quasi-convex domains), which contain all convex domains, as well as all domains of class $C^{1,r}$, for $r\in(1/2,1)$. Second, we establish Krein-type formulas for the resolvents of the various self-adjoint extensions of the Laplacian in quasi-convex domains and study the properties of the corresponding Weyl--Titchmarsh operators (or energy-d…
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 establish multiparameter resolvent trace expansions for elliptic boundary value problems, polyhomogeneous both in the resolvent and the auxiliary parameter. The present analysis is rooted in the joint project with Matthias Lesch on multiparameter resolvent trace expansions on revolution surfaces with applications to regularized sums of zeta-determinants.
In this note we investigate the asymptotic behaviour of the $s$-numbers of the resolvent difference of two generalized self-adjoint, maximal dissipative or maximal accumulative Robin Laplacians on a bounded domain $Ω$ with smooth boundary $\partialΩ$. For this we apply the recently introduced abstract notion of quasi boundary triples and Weyl functions from extension theory of symmetric operators together with Krein type resolvent formulae and well-known eigenvalue asymptotics of the Laplace-Beltrami operator on $\partialΩ$. It will be shown that the resolvent difference of two generalized Rob…
The compression of the resolvent of a non-self-adjoint Schrödinger operator $-Δ+V$ onto a subdomain $Ω\subset\mathbb R^n$ is expressed in a Krein-Naimark type formula, where the Dirichlet realization on $Ω$, the Dirichlet-to-Neumann maps, and certain solution operators of closely related boundary value problems on $Ω$ and $\mathbb R^n\setminus\overlineΩ$ are being used. In a more abstract operator theory framework this topic is closely connected and very much inspired by the so-called coupling method that has been developed for the self-adjoint case by Henk de Snoo and his coauthors.
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…
For a very general class of unbounded self-adjoint operator function we prove upper bounds for eigenvalues which lie within arbitrary gaps of the essential spectrum. These upper bounds are given by triple variations. Furthermore, we find conditions which imply that a point is in the resolvent set. For norm resolvent continuous operator functions we show that the variational inequality becomes an equality.
We consider the resolvent of a second order differential operator with a regular singularity, admitting a family of self-adjoint extensions. We find that the asymptotic expansion for the resolvent in the general case presents unusual powers of $λ$ which depend on the singularity. The consequences for the pole structure of the $ζ$-function, and the small-$t$ asymptotic expansion of the heat-kernel, are also discussed.
This note aims to give prominence to some new results on the absence and localization of eigenvalues for the Dirac and Klein-Gordon operators, starting from known resolvent estimates already established in the literature combined with the renowned Birman-Schwinger principle.
Let $Ω_-$ and $Ω_+$ be two bounded smooth domains in $\mathbb{R}^n$, $n\ge 2$, separated by a hypersurface $Σ$. For $μ>0$, consider the function $h_μ=1_{Ω_-}-μ1_{Ω_+}$. We discuss self-adjoint realizations of the operator $L_μ=-\nabla\cdot h_μ\nabla$ in $L^2(Ω_-\cupΩ_+)$ with the Dirichlet condition at the exterior boundary. We show that $L_μ$ is always essentially self-adjoint on the natural domain (corresponding to transmission-type boundary conditions at the interface $Σ$) and study some properties of its unique self-adjoint extension $\mathcal{L}_μ:=\overline{L_μ}$. If $μ\ne 1$, then $\mat…
We study the $L^p-L^q$-type uniform resolvent estimates for 2D-Schrödinger operators in scaling-critical magnetic fields, involving the Aharonov-Bohm model as a main example. As an application, we prove localization estimates for the eigenvalue of some non self-adjoint zero-order perturbations of the magnetic Hamiltonian.
In the setting of adjoint pairs of operators we consider the question: to what extent does the Weyl M-function see the same singularities as the resolvent of a certain restriction $A_B$ of the maximal operator? We obtain results showing that it is possible to describe explicitly certain spaces $\Sc$ and $\tilde{\Sc}$ such that the resolvent bordered by projections onto these subspaces is analytic everywhere that the M-function is analytic. We present three examples -- one involving a Hain-Lüst type operator, one involving a perturbed Friedrichs operator and one involving a simple ordinary diff…
By developing the method of multipliers, we establish sufficient conditions which guarantee the total absence of eigenvalues of the Laplacian in the half-space, subject to variable complex Robin boundary conditions. As a further application of this technique, uniform resolvent estimates are derived under the same assumptions on the potential. Some of the results are new even in the self-adjoint setting, where we obtain quantum-mechanically natural conditions.
We consider an arbitrary metric graph, to which we glue another graph with edges of lengths proportional to $\varepsilon$, where $\varepsilon$ is a small positive parameter. On such graph, we consider a general self-adjoint second order differential operator $\mathcal{H}_\varepsilon$ with varying coefficients subject to general vertex conditions; all coefficients in differential expression and vertex conditions are supposed to be analytic in $\varepsilon$. We introduce a special operator on a certain graph obtained by rescaling the aforementioned small edges and assume that it has no embedded …
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 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.
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 describe the general qualitative behaviour of the resolvent norm for a very wide class of non-self-adjoint Schroedinger operators in the semi-classical regime, as the spectral parameter varies over the complex plane.
We prove uniform resolvent estimates for an abstract operator given by a dissipative perturbation of a self-adjoint operator in the sense of forms. For this we adapt the commutators method of Mourre. We also obtain the limiting absorption principle and uniform estimates for the derivatives of the resolvent. This abstract work is motivated by the Schr{ö}dinger and wave equations on a wave guide with dissipation at the boundary.
In this work we investigate the resolvent operator and completeness of eigenfunctions of a Sturm-Liouville problem with discontinuities at two points. The problem contains an eigenparameter in the one of boundary conditions. For operator-theoretic formulation of the considered problem we define an equivalent inner product in the Hilbert space and suitable self-adjoint lineer operator in it.
We consider the homogenization of a singularly perturbed self-adjoint fourth order elliptic equation with locally periodic coefficients, stated in a bounded domain. We impose Dirichlet boundary conditions on the boundary of the domain. The presence of large parameters in the lower order terms and the dependence of the coefficients on the slow variable give rise to the effect of localization of the eigenfunctions. We show that the $j$th eigenfunction can be approximated by a rescaled function that is constructed in terms of the $j$th eigenfunction of fourth or second order order effective opera…
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.
In a planar infinite strip with a fast oscillating boundary we consider an elliptic operator assuming that both the period and the amplitude of the oscillations are small. On the oscillating boundary we impose Dirichlet, Neumann or Robin boundary condition. In all cases we describe the homogenized operator, establish the uniform resolvent convergence of the perturbed resolvent to the homogenized one, and prove the estimates for the rate of convergence. These results are obtained as the order of the amplitude of the oscillations is less, equal or greater than that of the period. It is shown tha…
In [arXiv:0801.0172] we examined a family of periodic Sturm-Liouville problems with boundary and interior singularities which are highly non-self-adjoint but have only real eigenvalues. We now establish Schatten class properties of the associated resolvent operator.
We perform the spectral analysis of a family of Jacobi operators $J(α)$ depending on a complex parameter $α$. If $|α|\neq1$ the spectrum of $J(α)$ is discrete and formulas for eigenvalues and eigenvectors are established in terms of elliptic integrals and Jacobian elliptic functions. If $|α|=1$, $α\neq \pm 1$, the essential spectrum of $J(α)$ covers the entire complex plane. In addition, a formula for the Weyl $m$-function as well as the asymptotic expansions of solutions of the difference equation corresponding to $J(α)$ are obtained. Finally, the completeness of eigenvectors and Rodriguez-li…
For a second-order symmetric strongly elliptic operator A on a smooth bounded open set Ωin R^n with boundary Σ, the mixed problem is defined by a Neumann-type condition on a part Sigma_+ of the boundary and a Dirichlet condition on the other part Sigma_-. We show a Krein resolvent formula, where the difference between its resolvent and the Dirichlet resolvent is expressed in terms of operators acting on Sobolev spaces over Sigma_+. This is used to obtain a new Weyl-type spectral asymptotics formula for the resolvent difference (where upper estimates were known before), namely s_j j^{2/(n-1)}\t…
We derive explicit Krein resolvent identities for generally singular Sturm-Liouville operators in terms of boundary condition bases and the Lagrange bracket. As an application of the resolvent identities obtained, we compute the trace of the resolvent difference of a pair of self-adjoint realizations of the Bessel expression $-d^2/dx^2+(ν^2-(1/4))x^{-2}$ on $(0,\infty)$ for values of the parameter $ν\in[0,1)$ and use the resulting trace formula to explicitly determine the spectral shift function for the pair.
In this paper, we consider elliptic differential operators on compact manifolds with a random perturbation in the 0th order term and show under fairly weak additional assumptions that the large eigenvalues almost surely distribute according to the Weyl law, well-known in the self-adjoint case.
We provide a systematic study of boundary data maps, that is, 2 \times 2 matrix-valued Dirichlet-to-Neumann and more generally, Robin-to-Robin maps, associated with one-dimensional Schrodinger operators on a compact interval [0,R] with separated boundary conditions at 0 and R. Most of our results are formulated in the non-self-adjoint context. Our principal results include explicit representations of these boundary data maps in terms of the resolvent of the underlying Schrodinger operator and the associated boundary trace maps, Krein-type resolvent formulas relating Schrodinger operators corre…
We prove an analogue to the Cayley identity for an arbitrary self-adjoint operator in a Hilbert space. We also provide two new ways to characterize vectors belonging to the singular spectral subspace in terms of the analytic properties of the resolvent of the operator, computed on these vectors. The latter are analogous to those used routinely in the scattering theory for the absolutely continuous subspace.
