In this note we prove that the maximally defined operator associated with a class of Dirac-type differential expressions M(Q) is J-self-adjoint with respect to a proper antilinear conjugation J under the general hypothesis that the entries of the matrix potential coefficient Q are locally integrable on the real line.
The Dirac-type differential expression M(Q) is of significance as it appears in the Lax formulation of the nonabelian (matrix-valued) focusing nonlinear Schrödinger hierarchy of evolution equations.
This paper deals with the study of the two-dimensional Dirac operatorwith infinite mass boundary condition in a sector. We investigate the question ofself-adjointness depending on the aperture of the sector: when the sector is convexit is self-adjoint on a usual Sobolev space whereas when the sector is non-convexit has a family of self-adjoint extensions parametrized by a complex number of theunit circle. As a byproduct of this analysis we are able to give self-adjointnessresults on polygones. We also discuss the question of distinguished self-adjointextensions and study basic spectral propert…
We discuss connections between the essential self-adjointness of a symmetric operator and the constancy of functions which are in the kernel of the adjoint of the operator. We then illustrate this relationship in the case of Laplacians on both manifolds and graphs. Furthermore, we discuss the Green's function and when it gives a non-constant harmonic function which is square integrable.
We study the essential self-adjointness for real principal type differential operators. Unlike the elliptic case, we need geometric conditions even for operators on the Euclidean space with asymptotically constant coefficients, and we prove the essential self-adjointness under the null non-trapping condition.
We define the magnetic Schrödinger on an infinite graph by the data of a magnetic field, some weights on vertices and some weights on edges . We discuss essential self-adjointness of this operator for graphs of bounded degree. The main result is a discrete version of a result of two authors of the present paper.
We consider the two-dimensional Dirac operator with Lorentz-scalar $δ$-shell interactions on each edge of a star-graph. An orthogonal decomposition is performed which shows such an operator is unitarily equivalent to an orthogonal sum of half-line Dirac operators with off-diagonal Coulomb potentials. This decomposition reduces the computation of the deficiency indices to determining the number of eigenvalues of a one-dimensional spin-orbit operator in the interval $(-1/2,1/2)$. If the number of edges of the star graph is two or three, these deficiency indices can then be analytically determine…
Distinguished selfadjoint extensions of operators which are not semibounded can be deduced from the positivity of the Schur Complement (as a quadratic form). In practical applications this amounts to proving a Hardy-like inequality. Particular cases are Dirac-Coulomb operators where distinguished selfadjoint extensions are obtained for the optimal range of coupling constants.
We introduce the weighted graph Laplacian and the notion of Schrödinger operator on a locally finite weighted graph. Concerning essential self-adjointness, we extend Wojciechowski's and Dodziuk's results for graphs with vertex constant weight. The main result in this work states that on any metrically complete weighted graph with bounded degree, the weighted graph Laplacian is essentially self-adjoint and the same holds for the Schrödinger operator provided the associated quadratic form is bounded from below. We construct for the proof a strictly positive and harmonic function which allows us …
Let $Ω$ be a bounded domain in $R^n$ with $C^2$-smooth boundary of co-dimension 1, and let $H=-Δ+V(x)$ be a Schrödinger operator on $Ω$ with potential V locally bounded. We seek the weakest conditions we can find on the rate of growth of the potential V close to the boundary which guarantee essential self-adjointness of H on $C_0^\infty(Ω)$. As a special case of an abstract condition, we add optimal logarithmic type corrections to the known condition $V(x)\geq \frac{3}{4d(x)^2}$, where $d(x)=dist(x,\partialΩ)$. The constant 1 in front of each logarithmic term in Theorem 2 is optimal. The proof…
We prove a general essential self-adjointness criterion for sub-Laplacians on complete sub-Riemannian manifolds, defined with respect to singular measures. As a consequence, we show that the intrinsic sub-Laplacian (i.e. defined w.r.t. Popp's measure) is essentially self-adjoint on the equiregular connected components of a sub-Riemannian manifold. This result holds under mild regularity assumptions on the singular region, and when the latter does not contain characteristic points.
We consider Schrödinger operators on possibly noncompact Riemannian manifolds, acting on sections in vector bundles, with locally square integrable potentials whose negative part is in the underlying Kato class. Using path integral methods, we prove that under geodesic completeness these differential operators are essentially self-adjoint on the space of smooth functions with compact support, and that the corresponding operator closures are semibounded from below. These results apply to nonrelativistic Pauli-Dirac operators that describe the energy of Hydrogen type atoms on Riemannian 3-manifo…
This paper focuses on the stability of self-adjointness of linear relations under perturbations in Hilbert spaces. It is shown that a self-adjoint relation is still self-adjoint under bounded and relatively bounded perturbations. The results obtained in the present paper generalize the corresponding results for linear operators to linear relations, and some weaken the conditions of the related existing results.
We obtain several essential self-adjointness conditions for a Schroedinger type operator D*D+V acting in sections of a vector bundle over a manifold M. Here V is a locally square-integrable bundle map. Our conditions are expressed in terms of completeness of certain metrics on M; these metrics are naturally associated to the operator. We do not assume a priori that M is endowed with a complete Riemannian metric. This allows us to treat e.g. operators acting on bounded domains in the euclidean space. For the case when the principal symbol of the operator is scalar, we establish more precise res…
This paper is devoted to the mathematical investigation of the MIT bag model, that is the Dirac operator on a smooth and bounded domain with certain boundary conditions. We prove that the operator is self-adjoint and, when the mass goes to infinity, we provide spectral asymptotic results.
We show that allowing magnetic fields to be complex-valued leads to an improvement in the magnetic Hardy-type inequality due to Laptev and Weidl. The proof is based on the study of momenta on the circle with complex magnetic fields, which is of independent interest in the context of PT-symmetric and quasi-Hermitian quantum mechanics. We study basis properties of the non-self-adjoint momenta and derive closed formulae for the similarity transforms relating them to self-adjoint operators.
We consider first-order differential operators with locally bounded measurable coefficients on vector bundles with measurable coefficient metrics. Under a mild set of assumptions, we demonstrate the equivalence between the essential self-adjointness of such operators to a negligible boundary property. When the operator possesses higher regularity coefficients, we show that higher powers are essentially self-adjoint if and only if this condition is satisfied. In the case that the low-regularity Riemannian metric induces a complete length space, we demonstrate essential self-adjointness of the o…
We derive Povzner--Wienholtz-type self-adjointness results for $m\times m$ matrix-valued Sturm--Liouville operators $T=R^{-1}\big[-\f{d}{dx}P\f{d}{dx}+Q\big]$ in $L^2((a,b);Rdx)^m$, $m\in\bbN$, for $(a,b)$ a half-line or $\bbR$.
This paper addresses two different but related questions regarding an unbounded symmetric tridiagonal operator: its self-adjointness and the approximation of its spectrum by the eigenvalues of its finite truncations. The sufficient conditions given in both cases improve and generalize previously known results. It turns out that, not only self-adjointness helps to study limit points of eigenvalues of truncated operators, but the analysis of such limit points is a key help to prove self-adjointness. Several examples show the advantages of these new results compared with previous ones. Besides, a…
We study the Gaffney Laplacian on a vector bundle equipped with a compatible metric and connection over a Riemannian manifold that is possibly geodesically incomplete. Under the hypothesis that the Cauchy boundary is polar, we demonstrate the self-adjointness of this Laplacian. Furthermore, we show that negligible boundary is a necessary and sufficient condition for the self-adjointness of this operator.
We give a sufficient condition for the essential self-adjointness of a perturbation of the square of the magnetic Laplacian on an infinite weighted graph. The main result is applicable to graphs whose degree function is not necessarily bounded. The result allows perturbations that are not necessarily bounded from below by a constant.
We study one-dimensional Schroedinger operators S with real-valued distributional potentials q in W^{-1}_{2,loc}(R) and prove an extension of the Povzner-Wienholtz theorem on self-adjointness of bounded below S thus providing additional information on its domain. The results are further specified for q in W^{-1}_{2,unif}(R).
The essential self-adjointness of the wave operator on radiative spacetimes
Mathematical Sciences Institute, Australian National University（澳大利亚国立大学数学科学研究所）；Department of Physics and Stanford Institute for Theoretical Physics, Stanford University（斯坦福大学物理系与斯坦福理论物理研究所）；Department of Mathematics, Northwestern University（西北大学数学系）
We give sufficient conditions for essential self-adjointness of magnetic Schrödinger operators on locally finite graphs. Two of the main theorems of the present paper generalize recent results of Torki-Hamza.
We study $H=D^*D+V$, where $D$ is a first order elliptic differential operator acting on sections of a Hermitian vector bundle over a Riemannian manifold $M$, and $V$ is a Hermitian bundle endomorphism. In the case when $M$ is geodesically complete, we establish the essential self-adjointness of positive integer powers of $H$. In the case when $M$ is not necessarily geodesically complete, we give a sufficient condition for the essential self-adjointness of $H$, expressed in terms of the behavior of $V$ relative to the Cauchy boundary of $M$.
The notions of magnetic difference operator defined on weighted graphs or magnetic exterior derivative are discrete analogues of the notionof covariant derivative on sections of a fibre bundle and its extension on differential forms. In this paper, we extend this notion to certain 2-simplicial complexes called triangulations, in a manner compatible with changes of gauge. Then we study the magnetic Gauss-Bonnet operator naturally defined in this context and introduce the geometric hypothesis of $χ-$completeness which ensures the essential self-adjointness of this operator. This gives also the e…
We prove essential self-adjointness for semi-bounded below magnetic Schrödinger operators on complete Riemannian manifolds with a given positive smooth measure which is fixed independently of the metric. Some singularities of the scalar potential are allowed. This is an extension of the Povzner--Wienholtz--Simader theorem. The proof uses the scheme of Wienholtz but requires a refined invariant integration by parts technique, as well as a use of a family of cut-off functions which are constructed by a non-trivial smoothing procedure due to Karcher.
We consider weighted graphs, we equip them with a metric structure given by a weighted distance, and we discuss essential self-adjointness for weighted graph Laplacians and Schrödinger operators in the metrically non complete case.
We prove a global limiting absorption principle on the entire real line for free, massless Dirac operators $H_0 = α\cdot (-i \nabla)$ for all space dimensions $n \in \mathbb{N}$, $n \geq 2$. This is a new result for all dimensions other than three, in particular, it applies to the two-dimensional case which is known to be of some relevance in applications to graphene. We also prove an essential self-adjointness result for first-order matrix-valued differential operators with Lipschitz coefficients.
In the context of a weighted graph with vertex set $V$ and bounded vertex degree, we give a sufficient condition for the essential self-adjointness of the operator $Δ_σ+W$, where $Δ_σ$ is the magnetic Laplacian and $W\colon V\to\mathbb{R}$ is a function satisfying $W(x)\geq -q(x)$ for all $x\in V$, with $q\colon V\to [1,\infty)$. The condition is expressed in terms of completeness of a metric that depends on $q$ and the weights of the graph. The main result is a discrete analogue of the results of I. Oleinik and M. A. Shubin in the setting of non-compact Riemannian manifolds.
We consider perturbed quadharmonic operators, $Δ^4 + V$, acting on sections of a Hermitian vector bundle over a complete Riemannian manifold, with the potential $V$ satisfying a bound from below by a non-positive function depending on the distance from a point. Under a bounded geometry assumption on the Hermitian vector bundle and the underlying Riemannian manifold, we give a sufficient condition for the essential self-adjointness of such operators. We then apply this to prove the separation property in $L^2$ when the perturbed operator acts on functions.
We study the question of magnetic confinement of quantum particles on the unit disk $\ID$ in $\IR^2$, i.e. we wish to achieve confinement solely by means of the growth of the magnetic field $B(\vec x)$ near the boundary of the disk. In the spinless case we show that $B(\vec x)\ge \frac{\sqrt 3}{2}\cdot\frac{1}{(1-r)^2}-\frac{1}{\sqrt 3}\frac{1}{(1-r)^2\ln \frac{1}{1-r}}$, for $|\vec x|$ close to 1, insures the confinement provided we assume that the non-radially symmetric part of the magnetic field is not very singular near the boundary. Both constants $\frac{\sqrt 3}{2}$ and $-\frac{1}{\sqrt …
The purpose of this note is to present several criteria for essential self-adjointness. The method is based on ideas due to Shubin. This note is divided into two parts. The first part deals with symmetric first order systems on the line in the most general setting. Such a symmetric first order system of differential equations gives rise naturally to a symmetric linear relation in a Hilbert space. In this case even regularity is nontrivial. We will announce a regularity result and discuss criteria for essential self-adjointness of such systems. This part is based on joint work with Mark Malamud…
We propose a general condition, to ensure essential self-adjointness for the Gauß-Bonnet operator, based on a notion of completeness as Chernoff. This gives essential self-adjointness of the Laplace operator both for functions or 1-forms on infinite graphs. This is used to extend Flanders result concerning solutions of Kirchhoff's laws.
Let $M$ be a strongly pseudoconvex complex manifold which is also the total space of a principal $G$-bundle with $G$ a Lie group and compact orbit space $\bar M/G$. Here we investigate the $\bar\partial$-Neumann Laplacian on $M$. We show that it is essentially self-adjoint on its restriction to compactly supported smooth forms. Moreover we relate its spectrum to the existence of generalized eigenforms: an energy belongs to $σ(\square)$ if there is a subexponentially bounded generalized eigenform for this energy. Vice versa, there is an expansion in terms of these well-behaved eigenforms so tha…
We investigate the properties of self-adjointness of a two-dimensional Dirac operator on an infinite sector with infinite mass boundary conditions and in presence of a Coulomb-type potential with the singularity placed on the vertex. In the general case, we prove the appropriate Dirac-Hardy inequality and exploit the Kato-Rellich theory. In the explicit case of a Coulomb potential, we describe the self-adjoint extensions for all the intensities of the potential relying on a radial decomposition in partial wave subspaces adapted to the infinite-mass boundary conditions. Finally, we integrate ou…
Let $G$ be a Métivier group and let $N$ be any homogeneous norm on $G$. For $α>0$ denote by $w_α$ the function $e^{-N^α}$ and consider the weighted sub-Laplacian $\mathcal{L}^{w_α}$ associated with the Dirichlet form $ϕ\mapsto \int_{G} |\nabla_\mathcal{H}ϕ(y)|^2 w_α(y)\, dy$, where $\nabla_\mathcal{H}$ is the horizontal gradient on $G$. Consider $\mathcal{L}^{w_α}$ with domain $C_c^\infty$. We prove that $\mathcal{L}^{w_α}$ is essentially self-adjoint when $α\geq 1$. For a particular $N$, which is the norm appearing in $\mathcal{L}$'s fundamental solution when $G$ is an H-type group, we prove …
This paper deals with the massive three-dimensional Dirac operator coupled with a Lorentz scalar shell interaction supported on a compact smooth surface. The rigorous definition of the operator involves suitable transmission conditions along the surface. After showing the self-adjointness of the resulting operator we switch to the investigation of its spectral properties, in particular, to the existence and non-existence of eigenvalues. In the case of an attractive coupling, we study the eigenvalue asymptotics as the mass becomes large and show that the behavior of the individual eigenvalues a…
Let $Ω\subset\mathbb{R}^3$ be an open set, we study the spectral properties of the free Dirac operator $\mathcal{H}$ coupled with the singular potential $V_κ=(εI_4 +μβ+η(α\cdot N))δ_{\partialΩ}$. The open set $Ω$ can be either a $\mathcal{C}^2$-bounded domain or a locally deformed half-space. In both cases, self-adjointness is proved and several spectral properties are given. In particular, we give a complete description of the essential spectrum of $\mathcal{H}+V_κ$ for the so-called critical combinations of coupling constants, when $Ω$ is a locally deformed half-space. Finally, we introduce …
Given a bounded smooth domain $Ω\subset\mathbb{R}^3$, we explore the relation between couplings of the free Dirac operator $-iα\cdot\nabla+mβ$ with pure electrostatic shell potentials $λδ_{\partialΩ}$ ($λ\in\mathbb{R}$) and some perturbations of those potentials given by the normal vector field $N$ on the shell $\partialΩ$, namely $\{λ_e+λ_n(α\cdot N)\}δ_{\partialΩ}$ ($λ_e$, $λ_n\in\mathbb{R}$). Under the appropiate change of parameters, the couplings with perturbed and unperturbed electrostatic shell potentials yield unitary equivalent self-adjoint operators. The proof relies on the construct…
We study extensions of direct sums of symmetric operators $S=\oplus_{n\in\mathbb{N}} S_n$. In general there is no natural boundary triplet for $S^*$ even if there is one for every $S_n^*$, $n\in\mathbb{N}$. We consider a subclass of extensions of $S$ which can be described in terms of the boundary triplets of $S_n^*$ and investigate the self-adjointness, the semi-boundedness from below and the discreteness of the spectrum. Sufficient conditions for these properties are obtained from recent results on weighted discrete Laplacians. The results are applied to Dirac operators on metric graphs with…
The present paper studies the Dirac Hamiltonian of a test electron with a domain of bi-spinor wave functions supported on the static region inside the Cauchy horizon of the subextremal RWN black hole spacetime, respectively inside the event horizon of the extremal RWN black hole spacetime. It is found that this Dirac Hamiltonian is not essentially self-adjoint, yet has infinitely many self-adjoint extensions. Including a sufficiently large anomalous magnetic moment interaction in the Dirac Hamiltonian restores essential self-adjointness; the empirical value of the electron's anomalous magnetic…
The main purpose of this paper is to investigate the formal deficiency indices ${\cal N}_{\pm}(I)$ of a symmetric first order system $$ Jf'+Bf=λ{\cal H} f $$ on an interval $I$, where $I=\mathbb{R}$ or $I=\mathbb{R}_\pm.$ Here $J,B,{cal H}$ are $n\times n$ matrix valued functions and the Hamiltonian ${\cal H}\ge 0$ may be singular even everywhere. We obtain two results for such a system to have minimal numbers ${\cal N}_\pm(\mathbb{R})=0$ (resp. ${\cal N}_\pm(\mathbb{R}_\pm)=n$) and a criterion for their maximality ${\cal N}_{\pm}(\mathbb{R}_+)=2n.$ Some conditions for a canonical system to ha…
We consider a generalized Dirac operator on a compact stratified space with an iterated cone-edge metric. Assuming a spectral Witt condition, we prove its essential self-adjointness and identify its domain and the domain of its square with weighted edge Sobolev spaces. This sharpens previous results where the minimal domain is shown only to be a subset of an intersection of weighted edge Sobolev spaces. Our argument does not rely on microlocal techniques and is very explicit. The novelty of our approach is the use of an abstract functional analytic notion of interpolation scales. Our results h…
Given an open set $Ω\subset\mathbb{R}^3$. We deal with the spectral study of Dirac operators of the form $H_{a,τ}=H+A_{a,τ}δ_{\partialΩ}$, where $H$ is the free Dirac operator in $\mathbb{R}^3$, $A_{a,τ}$ is a bounded invertible, self-adjoint operator in $\mathit{L}^{2}(\partialΩ)^4$, depending on parameters $(a,τ)\in\mathbb{R}\times\mathbb{R}^n$, $n\geqslant1$. We investigate the self-adjointness and the related spectral properties of $H_{a,τ}$, such as the phenomenon of confinement and the Sobolev regularity of the domain in different situations. Our set of techniques, which is based on fund…
We study the relationship between the adjacency matrix and the discrete Laplacian acting on 1-forms. We also prove that if the adjacency matrix is bounded from below it is not necessarily essentially self-adjoint. We discuss the question of essential self-adjointness and the notion of completeness.
