Abstract
In this paper, new self-adjoint realizations of the Dirac operator in dimension two and three are introduced. It is shown that they may be associated with the formal expression \(\mathcal {D}_0+|F\delta _\Sigma \rangle \langle G\delta _\Sigma |\), where \(\mathcal {D}_0\) is the free Dirac operator, F and G are matrix valued coefficients, and \(\delta _\Sigma \) stands for the single layer distribution supported on a hypersurface \(\Sigma \), and that they can be understood as limits of the Dirac operators with scaled non-local potentials. Furthermore, their spectral properties are analysed.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let \(\Omega \) be an open bounded simply connected subset of \(\mathbb {R}^n\), \(n=2,\,3\), with the Lipschitz smooth boundary \(\Sigma \). In the present paper, we will deal with the n-dimensional Dirac operator perturbed by the formal non-local \(\delta \)-shell potential
where \(F,G\in L^2(\Sigma ;\mathbb {C}^{N\times N})\) are matrix-valued functions with \(N:=2^{\lceil \frac{n}{2} \rceil }\) and \(\delta _\Sigma \) stands for the single layer distribution supported on \(\Sigma \). Identifying the bra-vector with the adjoint of the distribution action and extending naturally the usual operations with distributions, we put, for \(\varphi \in \mathscr {D}(\mathbb {R}^n;\mathbb {C}^N)\),
i.e.
Note that choosing \(F=I,\, G=A^*=\text {const.}\), the expression (1) is reduced to
which acts as
We will show that the Dirac operator with the potential (1) is described by a non-local transmission condition along \(\Sigma \) for the functions in the operator domain, which relates the difference of the inner and the outer trace with respect to \(\Omega \) and its complement, respectively, to the integral over \(\Sigma \) of the their average, see (13). To our best knowledge, such an operator has not been considered before. However, it is quite common to use (3) with \(A=A^*\) as a formal expression for the point interaction in the one-dimensional setting (and, in the non-relativistic setting, also for the point interaction in dimensions two and three). Recall that then
i.e. the "projection on the Dirac \(\delta \)-distribution" yields exactly the same result as the "multiplication by the Dirac \(\delta \)-distribution". This is not true for the single layer distribution, because
is clearly different from (4). Note that, as far as we know, the first mathematically rigorous treatment of the local \(\delta \)-shell potential (5) appeared in [1] and [18] in the non-relativistic and relativistic setting, respectively. There, choosing the two-dimensional sphere for \(\Sigma \), a reduction to a one-dimensional problem was possible.
The Dirac operator with the formal potential \(A\delta _\Sigma \) is described by a local transmission condition along \(\Sigma \) and has been studied intensively during recent years, see, e.g. [2, 3, 5, 11]. In particular, an important question of regular approximations was addressed in [6, 14, 23]. It was observed that given a scaled regular potential \(V_\varepsilon \) that converges to \(\delta _\Sigma \) as \(\varepsilon \rightarrow 0+\), the Dirac operator with the potential \(A V_\varepsilon \) converges to the Dirac operator with the formal potential \(\tilde{A} \delta _\Sigma \), where, except for special cases, \(\tilde{A}\ne A\), i.e. the coupling constants have to be renormalized. The same surprising effect occurs in the one-dimensional setting, too [25, 27]. Nevertheless, when non-local approximations of the type \(|V_\varepsilon \rangle \langle V_\varepsilon |\) are used, no renormalization is needed [20, 25]. When we tried to show a similar result in a higher dimensional setting, we discovered that the limit operator for the Dirac operator with the potential \(A |V_\varepsilon \rangle \langle V_\varepsilon |\) cannot be associated with the formal potential \(\tilde{A}\delta _\Sigma \) for any \(\tilde{A}\). Instead, we found out that it corresponds to the Dirac operator with the formal potential \(A|\delta _\Sigma \rangle \langle \delta _\Sigma |\).
More generally, to approximate potential (1) one may use non-local potentials with separable kernels, cf. Section 4. Note that such potentials were considered before in the non-relativistic, semi-relativistic, and relativistic setting, see, e.g. [19, 28], and [30], respectively. Furthermore, there were also attempts to incorporate non-local interactions into the quantum field theory [15, 29]. While it is widely believed that non-local interactions do not appear in Nature, non-local potential terms are omnipresent in mean-field theories for multi-particle systems. Closest to our setting (see also Remark 3.0.1) is the exchange term of the single particle equation in the Hartree-Fock approximation for the relativistic quantum field model of nuclear matter [13, 21, 24].
The paper is organized as follows. In Sect. 2, we will introduce notations, present basic facts about the free Dirac operator and tubular neighbourhoods of \(\Sigma \), and summarize very briefly the theory of generalhyphen usageized boundary triples, that constitutes the cornerstone of our analysis. More concretely, we will rely on the generalized boundary triple for the Dirac operator that has been developed very recently in [7]. After recalling this triple in Sect. 3, the Dirac operator with the potential (1) will be introduced rigorously, the condition on its self-adjointness will be derived, and its spectrum will be investigated. In Sect. 4, approximations of the non-local \(\delta \)-shell potentials will be constructed by means of scaled non-local finite-rank potentials. We will prove that the resolvents of the respective Dirac operators converge uniformly, which implies the convergence of spectra and eigenfunctions.
2 Preliminaries
2.1 Notations
By \(L^2(\mathcal {M};\mathcal {G})\) we denote the space of functions (after the usual factorization) with values in the Banach space \(\mathcal {G}\) defined on \(\mathcal {M}\) for which the 2nd power of the norm on \(\mathcal {G}\) is integrable, where for \(\mathcal {M}\) being an open subset of \(\mathbb {R}^n\) or a hypersurface embedded in \(\mathbb {R}^n\), we integrate with respect to the n-dimensional Lebesgue measure or the surface measure induced by the embedding, respectively. Similarly, for \(s\in \mathbb {R}\) we denote by \(H^s(\mathcal {M};\mathbb {C}^N)\) the space of \(\mathbb {C}^N\)-valued functions on \(\mathcal {M}\) such that each of their components belongs to the standard \(L^2\)-based Sobolev space \(H^s(\mathcal {M})\). We use the symbol \(\langle \cdot ,\cdot \rangle \) for the dot product (conjugate linear in the first argument) on \(L^2(\mathbb {R}^n;\mathbb {C}^N)\) and also as a natural abbreviation for the following integrals
where \(\psi \in L^2(\mathbb {R}^n;\mathbb {C}^N)\) and \(E,\, H\in L^2(\mathbb {R}^n;\mathbb {C}^{N\times N})\). Then by \(|E\rangle \langle H|\) we understand the following finite-rank operator in \(L^2(\mathbb {R}^n;\mathbb {C}^N)\),
The action of a distribution f on a test function \(\varphi \) is denoted by \((f,\varphi )\). This bracket is linear in both arguments. If K is an integral operator then we write K(x, y) for its kernel. The surface measure on \(\Sigma \) is denoted by \(\,\textrm{d}\sigma \). We always adopt the convention \((\forall w\in \mathbb {C}{\setminus } [0,+\infty ))(\textrm{Im}\sqrt{w}>0).\) We use the standard definition of the Pauli matrices,
and by \(I_N\) we denote the \(N\times N\) identity matrix.
2.2 Free Dirac operator
Let \(m\in \mathbb {R}\), \(n\in \{2,3\}\), and \(N=2^{\lceil \frac{n}{2} \rceil }\). For \(n=2\), we put
whereas for \(n=3\), we put
Finally, let \(\mathcal {D}_0\) be the differential expression that acts on \(\mathbb {C}^N\)-valued functions of n-variables as
Then the n-dimensional free Dirac operator with the mass term m is the following operator in \(L^2(\mathbb {R}^n;\mathbb {C}^N)\),
It is well known that the operator \(D_0\) is self-adjoint and its spectrum is purely absolutely continuous and consists of
cf. [26]. For \(z\in \mathbb {C}\setminus \sigma (D_0)\), the integral kernel of the resolvent \((D_0-z)^{-1}\) may be computed from the integral kernel of the resolvent of the Laplacian, employing the relation
Explicitly, it is given by \((D_0-z)^{-1}(x,y)=:R_z(x-y)\) with
and
for the dimension two and three, respectively. Here, \(K_j\) stands for the modified Bessel function of the second kind and \(k(z):= \sqrt{z^2-m^2}.\)
2.3 Tubular neighbourhoods of hypersurfaces
If \(\Omega \) is as above but now with \(C^2\)-smooth boundary \(\Sigma \), then we may construct tubular neighbourhoods of \(\Sigma \) in a standard way, cf. [22]. Namely, given \(\varepsilon >0\), we define the \(\varepsilon \)-tubular neighbourhood \(\Sigma _\varepsilon \) of \(\Sigma \) as the image of the mapping
where \(\nu (x_\Sigma )\) stands for the unit normal vector pointing outwards of \(\Omega \), i.e.
Under our assumptions, the principal curvatures \(K_\mu ,\, \mu =1,\ldots , n-1,\) of \(\Sigma \) are continuous functions on the compact set \(\Sigma \). Therefore, \(\mathscr {L}_\varepsilon \) is a local diffeomorphism for all \(\varepsilon \) sufficiently small, cf. formula (7) below. Moreover, the definition of a \(C^k\)-smooth domain combined with the compactness of \(\Sigma \) yield that \(\mathscr {L}_\varepsilon :\Sigma \times (-1,1)\rightarrow \Sigma _\varepsilon \) is bijective for all \(\varepsilon \) below a certain threshold.
We may view \(\Sigma \) as a Riemannian manifold equipped with the metric g induced by the embedding into \(\mathbb {R}^n\) and \(\Sigma _\varepsilon \) as a Riemannian manifold with the metric induced by \(\mathscr {L}_\varepsilon \). Then the volume element on \(\Sigma _\varepsilon \) obeys
where \(\,\textrm{d}\sigma := (\det {g^{-1}})^{1/2} \, \,\textrm{d}x^1 \wedge \dots \wedge \,\textrm{d}x^{n-1}\) with \(x^{\mu }\) being, for the moment, local coordinates on \(\Sigma \) is the volume element on \(\Sigma \). Note that the function \(w_\varepsilon =w_\varepsilon (x_\Sigma ,u)\) obeys
uniformly on \(\Sigma \times (-1,1)\) as \(\varepsilon \rightarrow 0+\).
2.4 Generalized boundary triple
Below, we will summarize basic definitions and results concerning the quasi and the generalized boundary triples. We will mainly follow [7] in our exposition; original statements with complete proofs may be found in [9, 10, 16, 17]. Throughout this section, S is assumed to be a densely defined closed symmetric operator in a Hilbert space \(\mathcal {H}\) and T is a linear operator such that \(\overline{T}=S^*\). The quasi/generalized boundary triples provide powerful tools for studying certain restrictions of T (which turn out to be extensions of S).
Later, in our particular setting, S will be a restriction of the free Dirac operator \(D_0\) to a subspace of functions that vanish along the hypersurface \(\Sigma \) and certain extensions of S constructed using a generalized boundary triple will be identified with the Dirac operators perturbed by the non-local \(\delta \)-shell interaction (1).
Definition 2.4.1
Let T be such that \(\overline{T}=S^*\). A triple \((\mathcal {G},\Gamma _0,\Gamma _1)\) consisting of a Hilbert space \(\mathcal {G}\) and linear mappings \(\Gamma _0,\Gamma _1:{{\,\textrm{Dom}\,}}T \rightarrow \mathcal {G}\) is called a quasi boundary triple for \(S^*\) if the following holds:
-
(i)
For all \(f,g\in {{\,\textrm{Dom}\,}}T\), \(\langle Tf,g\rangle _\mathcal {H} - \langle f,Tg\rangle _\mathcal {H}= \langle \Gamma _1 f,\Gamma _0 g\rangle _\mathcal {G} - \langle \Gamma _0 f,\Gamma _1 g\rangle _\mathcal {G}.\)
-
(ii)
The range of \((\Gamma _0,\Gamma _1)\) is dense in \(\mathcal {G}\times \mathcal {G}\).
-
(iii)
The restriction \(T_0:=T\restriction {{{\,\textrm{Ker}\,}}\Gamma _0}\) is a self-adjoint operator in \(\mathcal {H}\).
If conditions (i) and (iii) hold, and the mapping \(\Gamma _0:{{\,\textrm{Dom}\,}}T \rightarrow \mathcal {G}\) is surjective, then \((\mathcal {G},\Gamma _0,\Gamma _1)\) is called generalized boundary triple. Note that [17, Lem. 6.1] implies that every generalized boundary triple is also a quasi boundary triple.
Definition 2.4.2
Let \(S,\, T\) be as above, \((\mathcal {G},\Gamma _0,\Gamma _1)\) be a quasi boundary triple for \(S^*\), and \(T_0=T\restriction {{{\,\textrm{Ker}\,}}\Gamma _0}\). Then the associated \(\gamma \)-field and the Weyl function M are defined by
and
For a linear operator B in \(\mathcal {G}\), we put
Since \({{\,\textrm{Dom}\,}}{S}=\ker \Gamma _0\cap \ker \Gamma _1\) by [9, Prop. 2.2], \(S\subset T_B\). The following theorem yields an eigenvalue condition for \(T_B\), an alternative description of \({{\,\textrm{Ran}\,}}(T_B-z)\), which may be used in the proof of self-adjointness of \(T_B\), and a Krein-like formula for the resolvent of \(T_B\).
Theorem 2.4.1
Let \(S,\, T\) be as above, \((\mathcal {G},\Gamma _0,\Gamma _1)\) be a quasi boundary triple for \(S^*\), \(T_0=T\restriction {{{\,\textrm{Ker}\,}}\Gamma _0}\), and \(\gamma \) and M denote the associated \(\gamma \)-field and the Weyl function, respectively. Finally, let \(T_B\) be given by (9). Then the following holds for all \(z\in \rho (T_0)\):
-
(i)
\(z\in \sigma _{\mathrm p} (T_B)\) if and only if \(0\in \sigma _{\mathrm p}(I+BM(z))\). Moreover,
$${{\,\textrm{Ker}\,}}(T_B -z) = \{\gamma (z)\psi \mid \psi \in {{\,\textrm{Ker}\,}}(I+BM(z))\}.$$ -
(ii)
If \(z\notin \sigma _{\mathrm p}(T_B)\), then \(g\in {{\,\textrm{Ran}\,}}(T_B-z)\) if and only if \(B\gamma (\overline{z})^*g\in {{\,\textrm{Ran}\,}}(I+BM(z)).\)
-
(iii)
If \(z\notin \sigma _{\mathrm p}(T_B)\), then
$$\begin{aligned} (T_B-z)^{-1}g = (T_0-z)^{-1}g-\gamma (z)(I+BM(z))^{-1}B\gamma (\overline{z})^*g \end{aligned}$$(10)holds for all \(g\in {{\,\textrm{Ran}\,}}(T_B-z)\).
3 Non-local relativistic delta shell interactions
Recall that we assume \(\Sigma \) to be the Lipschitz smooth boundary of an open bounded simply connected set \(\Omega \equiv \Omega _+ \subset \mathbb {R}^n,\, n=2,\,3\). Denote the outer domain \(\mathbb {R}^n\setminus \overline{\Omega _+}\) by \(\Omega _-\). Then we can write the Euclidean space as the disjoint union \(\mathbb {R}^n=\Omega _+ \cup \Sigma \cup \Omega _-\). Also recall that we denote by \(\nu (x_\Sigma )\) the unit normal vector at \(x_\Sigma \in \Sigma \) pointing outwards of \(\Omega _+\). For \(s\in [0,1]\), define the space
It was shown in [7, Lem. 4.1 and Cor. 4.6] that \(\psi \in H^s_\alpha (\Omega _\pm )\) admits Dirichlet traces \(\mathcal {T}_\pm \) in \(H^{s-\frac{1}{2}}(\Sigma ;\mathbb {C}^N).\) In particular, \(\mathcal {T}_\pm \psi _\pm \in L^2(\Sigma ;\mathbb {C}^N)\) for \(\psi _\pm \in H^{\frac{1}{2}}_\alpha (\Omega _\pm )\).
Now, it is straightforward to check that the restriction \(S:=D_0\restriction H_0^1(\mathbb {R}^n\setminus \Sigma ;\mathbb {C}^N)\) is closed, symmetric, and densely defined. Moreover, it follows that \(S^*\) is given by
cf. [4, Prop. 3.1]. It was proved in [7] that \(H^\frac{1}{2}_\alpha (\Omega _-)\oplus H^\frac{1}{2}_\alpha (\Omega _+)\) is an operator core of \(S^*\) and that, with the choice
the triple \((\mathcal {G},\Gamma _0,\Gamma _1)\), where \(\mathcal {G}=L^2(\Sigma ;\mathbb {C}^N)\) and
is a generalized boundary triple for \(S^*\). Here, \(\alpha \cdot \nu :=\sum _{k=1}^n \nu _k\alpha _k\). In the same paper, it was shown that, for \(z\in \rho (D_0)\), the associated \(\gamma \)-field and the Weyl function are given by
and
respectively. Moreover, \(\gamma (z)\) is a bounded and everywhere defined operator from \(L^2(\Sigma ;\mathbb {C}^N)\) to \(L^2(\mathbb {R}^n;\mathbb {C}^N)\) with a compact adjoint and M(z) is a bounded and everywhere defined operator in \(L^2(\Sigma ;\mathbb {C}^N)\).
Now, our aim will be to identify the Dirac operator perturbed by the formal potential (1) with a certain operator of the form (9), where T is given by (11) and \(\Gamma _0,\,\Gamma _1\) by (12). First, using integration by parts, one gets
Next, note that the right-hand side of (2) makes sense also for \(\varphi \in L^2(\Sigma ;\mathbb {C}^N)\). Therefore, it is natural to extend the action of (1) on \(\psi \in {{\,\textrm{Dom}\,}}(T)\) as follows
We see that, for \(\psi \in {{\,\textrm{Dom}\,}}(T)\), \((\mathcal {D}_0+|F\delta _\Sigma \rangle \langle G\delta _\Sigma |)\psi \) belongs to \(L^2(\mathbb {R}^n;\mathbb {C}^N)\) if and only if
as an element of \(L^2(\Sigma ;\mathbb {C}^N)\). This leads us to the following definition.
Definition 3.0.1
By the Dirac operator with non-local \(\delta \)-shell interaction of the type \(|F\delta _\Sigma \rangle \langle G\delta _\Sigma |\) we mean the linear operator \(D_{F,G}\) in \(L^2(\mathbb {R}^n;\mathbb {C}^N)\) given by
The transmission condition (13) may be rewritten as
where \(|F\rangle _\Sigma \langle G|_\Sigma \) defined by
is a finite-rank operator in \(L^2(\Sigma ;\mathbb {C}^N)\). Note that
With B given in (14), \(D_{F,G}=T_B\). In particular, \(D_{0,0}=T_0=D_0\) is the free Dirac operator. Hence, we may use Theorem 2.4.1 to study \(D_{F,G}\) efficiently. We start with a result on self-adjointness.
Theorem 3.0.1
Let \(F,\,G\in L^2(\Sigma ;\mathbb {C}^{N\times N})\) be such that
Then \(D_{F,G}\) is a self-adjoint operator.
Proof
In view of (15), the condition (16) is equivalent to the hermiticity of \(B=|F\rangle _\Sigma \langle G|_\Sigma \). The property (i) from Definition 2.4.1 together with (14) then imply that the operator \(D_{F,G}\) is symmetric. Hence, to prove the self-adjointness of \(D_{F,G}\) it is sufficent to show that \(\forall z\in \mathbb {C}{\setminus }\mathbb {R},\,{{\,\textrm{Ran}\,}}(D_{F,G} - z) = L^2(\mathbb {R}^n;\mathbb {C}^N)\). By the symmetry of \(D_{F,G}\), we also have \(\sigma _{\mathrm p}(D_{F,G})\subset \mathbb {R}\). Therefore, from the point (i) of Theorem 2.4.1, the operator \((I+B M(z))\) is injective for all \(z\in \mathbb {C}\setminus \mathbb {R}\). Furthermore, B is a finite rank operator and thus compact. In addition, M(z) is bounded, and so we deduce that the operator BM(z) is also compact in \(L^2(\Sigma ;\mathbb {C}^N)\). On top of that, I is Fredholm operator with index 0 and the same holds true for its compact perturbation \((I+B M(z))\) which implies that the operator \((I+B M(z))\) is also surjective. This yields \({{\,\textrm{Ran}\,}}(D_{F,G}-z) = L^2(\mathbb {R}^n;\mathbb {C}^N)\), due to the point (ii) of Theorem 2.4.1. \(\square \)
Remark 3.0.1
In the proof of Theorem 3.0.1, only hermiticity and compactness of \(|F\rangle _\Sigma \langle G|_\Sigma \) played role. Therefore, one can introduce a wider class of self-adjoint Dirac operators with generally non-local \(\delta \)-shell potentials described by the transmission condition
where B is compact and hermitian in \(L^2(\Sigma ;\mathbb {C}^N)\). In particular, (1) may be extended to finite sums \(\sum _{i=1}|F_i\delta _\Sigma \rangle \langle G_i\delta _\Sigma |\). With this choice, it is straightforward to generalize the results of Sect. 4 on regular approximations.
Remark 3.0.2
The condition (16) is clearly equivalent to
that is, in turn, equivalent to the formal symmetry of (1). To see the latter, we note that
and, on the other hand,
Above, we may consider, e.g. \(\psi ,\,\tilde{\psi }\in H^1(\mathbb {R}^n;\mathbb {C}^N)\). In that case, the values of \(\psi ,\,\tilde{\psi }\) in the integrals over \(\Sigma \) should be understood in the sense of traces. The claim then follows from the facts that the trace mapping maps \(H^1(\mathbb {R}^n;\mathbb {C}^N)\) onto \(H^{\frac{1}{2}}(\Sigma ;\mathbb {C}^N)\) surjectively and that the latter space is dense in \(L^2(\Sigma ;\mathbb {C}^N)\).
Example 3.0.1
If the columns of F are linearly independent in \(L^2(\Sigma ;\mathbb {C}^N)\) then the linear mapping \(\langle F|_\Sigma :\, L^2(\Sigma ;\mathbb {C}^N)\rightarrow \mathbb {C}^N\) defined by \(\langle F|_\Sigma \varphi :=\int _\Sigma (F^*\varphi )\) is surjective. Therefore, (16) holds true if and only if there exists a constant hermitian \(N\times N\) matrix L such that \(G=F L\). We then have \(|F\rangle _\Sigma \langle G|_\Sigma =|F\rangle _\Sigma \langle FL|_\Sigma =:|F\rangle _\Sigma L \langle F|_\Sigma \).
Now, let us inspect spectral properties of \(D_{F,G}\). According to the point (i) of Theorem 2.4.1, \(z\in \sigma _{\text {p}}(D_{F,G})\setminus \sigma (D_0)\) if and only if
has a nonzero solution \(\psi \in L^2(\Sigma ;\mathbb {C}^N)\). Let \(\{f_1,f_2,\ldots ,f_N\}\) be columns of F,
and \(\{\tilde{f}_1,\tilde{f}_2,\ldots ,\tilde{f}_{\tilde{N}}\}\) a basis of \(\mathcal {F}\). Consequently, there exist unique constants \(C_{kl}\in \mathbb {C}\) such that
Note that \(\psi \in \mathcal {F}\) if and only if \((I+|F\rangle _\Sigma \langle G|_\Sigma M(z))\psi \in \mathcal {F}\). In particular, (18) yields that
for some \(a_l\in \mathbb {C}\). Substituting this decomposition back to (18) and using (19), we get
where the lower index k denotes the kth component of the column vector in the round bracket. Introducing
we see that the existence of a non-trivial solution \((a_1,a_2,\ldots , a_{\tilde{N}})^T\) to (20) is equivalent to the condition
These considerations prove partially the following theorem.
Theorem 3.0.2
Let \(F,\,G\in L^2(\Sigma ;\mathbb {C}^{N\times N})\) be such that (16) holds true. Then \(\sigma _{\textrm{ess}}(D_{F,G})=(-\infty ,-|m|]\cup [|m|,+\infty )\) and the number of discrete eigenvalues of \(D_{F,G}\) counting multiplicities is at most equal to the number of the linearly independent (in \(L^2(\Sigma ;\mathbb {C}^N)\)) columns of F. Furthermore, for \(z\in (-|m|,|m|)\), it holds
where \(\tilde{F}\) and C are given in (21).
Proof
Firstly, the condition (23) is equivalent to (22) derived above. Next, in the proof of Theorem 3.0.1 it was shown that for \(z\in \mathbb {C}\setminus \mathbb {R}\) (in fact, for all \(z\in \rho (D_0)\setminus \sigma _{\textrm{p}}(D_{F,G})\)), \({{\,\textrm{Ran}\,}}(D_{F,G}-z)=L^2(\mathbb {R}^n;\mathbb {C}^N)\). Therefore, applying (10) with \(T_0=D_0,\, T_B=D_{F,G},\,\) and \(B=|F\rangle _\Sigma \langle G|_\Sigma \) we see that the difference \((D_{F,G}-z)^{-1}-(D_0-z)^{-1}\) is a finite-rank operator, because B projects on the \(\tilde{N}\)-dimensional space \(\mathcal {F}\) spanned by the columns of F, \((I+BM(z))\) maps \(\mathcal {F}\) onto \(\mathcal {F}\) bijectively, and \(\gamma (z)\) is bounded from \(L^2(\Sigma ;\mathbb {C}^N)\) to \(L^2(\mathbb {R}^n;\mathbb {C}^N)\). More concretely, the rank of the difference cannot be larger than \(\tilde{N}\). The claim about the essential spectrum then follows from the Weyl criterion and the fact that \(\sigma _{\textrm{ess}}(D_0)=(-\infty ,-|m|]\cup [|m|,+\infty )\). The bound on the number of discrete eigenvalues is a consequence of [12, Chpt. 9.3, Theo. 3]. \(\square \)
Remark 3.0.3
It can be easily seen that for F with linearly independent columns we may choose \(\tilde{F}=F\) and \(C = I_N\). Then, in view of Example 3.0.1, the matrix G can be written as \(G=FL\), where L is a constant hermitian matrix. Consequently, the spectral condition (23) reduces to
4 Non-local approximations
In this section, we will show that the operator \(D_{F,G}\) may be understood as a limit of the free operator \(D_0\) with a scaled finite-rank perturbation. Since we will use the results of Sect. 2.3 to construct the perturbation, let us assume from now on that \(\Omega \) has \(C^2\)-smooth boundary \(\Sigma \). First, note that the tubular \(\varepsilon \)-neighbourhood of \(\Sigma \) introduced in (6) obeys
Here, \(t=\varepsilon u\) measures the distance of a point \(x\in \Sigma _\varepsilon \) from \(\Sigma \). Since, for all \(\varepsilon \) small enough, the representation of \(x\in \Sigma _\varepsilon \) given by the right-hand side of (24) is unique, we will identify x with the pair \((x_\Sigma ,t)\). Next, let \(v \in L^{\infty }(\mathbb {R};\mathbb {R})\) be such that \({{\,\textrm{supp}\,}}v \subset (-1,1)\) and \(\int _{-1}^{1} v(t)\, \,\textrm{d}t = 1\). For \(\varepsilon >0\), we put \(v_\varepsilon (t):=\varepsilon ^{-1}v(\varepsilon ^{-1} t)\) and
A matrix-valued function \(G_\varepsilon \) is introduced similarly. It is straightforward to check that, in the sense of distributions, \(\lim _{\varepsilon \rightarrow 0+}F_\varepsilon =F\delta _\Sigma \). Therefore, the natural candidate for approximating potential is the following finite-rank operator in \(L^2(\mathbb {R}^n;\mathbb {C}^N)\),
Our aim will be to show that
converges in the norm resolvent sense to \(D_{F,G}\) as \(\varepsilon \rightarrow 0+\). Note that if (16) is satisfied, then \(|F_\varepsilon \rangle \langle G_\varepsilon |\) is hermitian, and hence \(D_{F,G}^{\varepsilon }\) is self-adjoint on \({{\,\textrm{Dom}\,}}(D_{F,G}^\varepsilon )={{\,\textrm{Dom}\,}}(D_0)\). For the resolvent of \(D_{F,G}^\varepsilon \), we have
where \(R_z\) should be now understood as a shorthand notation for \((D_0-z)^{-1}\). Of course, (25) is only valid for \(z\notin \sigma (D_0)\) such that the inverse on the right-hand side exists. Writing
we get
For further calculations we will abandon the bra-ket notation and introduce the operator \(\Pi :\, L^2(\mathbb {R}^n;\mathbb {C}^N)\rightarrow \mathbb {C}^N, \, \psi \mapsto \int _{\mathbb {R}^n}\psi \) instead; so, in particular, we have \(|F_\varepsilon \rangle \langle G_\varepsilon |=F_\varepsilon \Pi G_\varepsilon ^*\), where the matrix-valued functions \(F_\varepsilon \) and \(G_\varepsilon ^*\) are identified with multiplication operators from \(\mathbb {C}^N\) to \(L^2(\mathbb {R}^n;\mathbb {C}^N)\) and in \(L^2(\mathbb {R}^n;\mathbb {C}^N)\), respectively. We will adopt an analogous convention for the matrix valued functions defined along \(\Sigma \). Furthermore, we define the operator \(\Pi _\Sigma :\, L^2(\Sigma ;\mathbb {C}^N)\rightarrow \mathbb {C}^N\) by \(\Pi _\Sigma \psi :=\int _{\Sigma }\psi \).
Now, recall (21) and put \(\tilde{F}_\varepsilon (x):=(\tilde{f}_1(x_\Sigma ) v_\varepsilon (t)\,\, \tilde{f}_2(x_\Sigma ) v_\varepsilon (t)\,\, \ldots \,\, \tilde{f}_{\tilde{N}}(x_\Sigma ) v_\varepsilon (t))\) for \(x\equiv (x_\Sigma ,t)\in \Sigma _\varepsilon \). Away from \(\Sigma _\varepsilon \), we extend \(\tilde{f}_i v_\varepsilon \) and \(\tilde{F}_\varepsilon \) by zero. Then we have
Also define \(\mathcal {F}_\varepsilon :=\textrm{span}\{\tilde{f}_1 v_\varepsilon ,\, \tilde{f}_2 v_\varepsilon ,\, \ldots ,\, \tilde{f}_{\tilde{N}} v_\varepsilon \}\) and the mapping \(P_\varepsilon : \tilde{f}_i v_\varepsilon \mapsto \tilde{f}_i\), which extends by linearity to an isomorphism from \(\mathcal {F}_\varepsilon \) onto \(\mathcal {F}\). In the following, assume that the basis \(\{\tilde{f}_i\}_{i=1}^{\tilde{N}}\) of \(\mathcal {F}\) is orthonormal in \(L^2(\Sigma ;\mathbb {C}^N)\). With that choice, the mapping
obeys
Using the latter two equalities and (27) we obtain
on \(\mathbb {C}^N\). Since \((I+|F_\varepsilon \rangle \langle G_\varepsilon |R_z)\) maps into \(\mathcal {F}_\varepsilon \) exactly those vectors that belong to \(\mathcal {F}_\varepsilon \), we may combine (26) and (29) to get
The formula holds for all \(z\notin \sigma (D_0)\) such that the \(\tilde{N}\times \tilde{N}\)-matrix \(I_{\mathbb {C}^{\tilde{N}}}+ C^T\Pi G_\varepsilon ^* R_z\tilde{F}_\varepsilon \) is invertible. Note that this implies that \(z\in (-|m|,|m|)\) belongs to the discrete spectrum of \(D_{F,G}^\varepsilon \) if and only if
To find the resolvent of \(D_{F,G}\), we use (10) with \(B=F\Pi _\Sigma G^*\) which yields
With the help of the first two equalities in (28) together with \(F=\tilde{F} C^T\) we may use similar manipulations as in (29) to rewrite this as follows:
We are now prepared to state and prove the main result of this section.
Theorem 4.0.1
Let \(\Omega \) have \(C^2\)-smooth boundary and \(F,G\in L^2(\Sigma ;\mathbb {C}^{N\times N})\) be such that (16) holds true. Then for every \(z\notin \sigma (D_{F,G})\) there exists \(\varepsilon _z>0\) such that for all \(\varepsilon \in (0,\varepsilon _z)\), \(z\notin \sigma (D_{F,G}^\varepsilon )\) and
Proof
Using (30), (32), and the joint continuity of the operator composition we get
whenever the functions
are bounded on a right neighbourhood of \(\varepsilon =0\). We are going to show that, for \(i\in \{1,2,3\}\), \(\lim _{\varepsilon \rightarrow 0+}C_i(\varepsilon )=0\). Note that it is sufficient for \(C_2(\varepsilon )\) and \(C_3(\varepsilon )\) to converge to zero as \(\varepsilon \rightarrow 0+\) that
and
tend to zero as \(\varepsilon \rightarrow 0+\), respectively. Moreover, if \(\lim _{\varepsilon \rightarrow 0+}\tilde{C}_2(\varepsilon )=0\) then the spectral conditions (31) and (23) together with the continuity of the determinant with respect to any matrix norm yield the first statement of the theorem.
First, we will investigate the term \(C_1(\varepsilon )\). Since \(\int _{-1}^1 v=1\), we have
Using \({{\,\textrm{supp}\,}}(\tilde{F}_\varepsilon )\subset \overline{\Sigma _\varepsilon }\), the parallel coordinates \((x_\Sigma ,u)\) introduced in Sect. 2.3, and \(t=\varepsilon u\), we get
for a.e. \(x\in \mathbb {R}^n\). Given \(a\in \mathbb {C}^{\tilde{N}}\), we may estimate as follows
where \(\mathscr {H}:=L^2(\Sigma \times (-1,1),\,\textrm{d}\sigma \,\textrm{d}u;\mathbb {C}^N)\) and, for \(\psi \in \mathscr {H}\), the operators \(A_0\) and \(A_\varepsilon \) are defined by
It was proved in [6, Prop. 3.8] that \(\lim _{\varepsilon \rightarrow 0+}\Vert (A_0-A_\varepsilon )\Vert _{\mathscr {H}\rightarrow L^2(\mathbb {R}^n;\mathbb {C}^N)}=0\). In view of (33), we conclude that \(\lim _{\varepsilon \rightarrow 0+}C_1(\varepsilon )=0\).
Next, we will look at the term \(\tilde{C}_3(\varepsilon )\). Since, for all \(\psi \in L^2(\mathbb {R}^n;\mathbb {C}^N)\) and a.e. \(x_\Sigma \in \Sigma \),
and \(\int _{-1}^{1}v=1\), we deduce that
Furthermore, using a similar reasoning as in the previous paragraph, we obtain
If we introduce bounded operators \(C_0,C_\varepsilon :\, L^2(\mathbb {R}^n;\mathbb {C}^N)\rightarrow \mathscr {H}\) as follows
then for the ith component of \((\Pi _\Sigma G^*\gamma (\bar{z})^*-\Pi G_\varepsilon ^* R_z)\psi \) we get
where \(g_i\) stands for the ith column of the matrix G. Applying the Cauchy-Schwarz inequality together with (8), we deduce that
By [6, Prop. 3.7], \(\lim _{\varepsilon \rightarrow 0+}\Vert C_0-C_\varepsilon \Vert _{ L^2(\mathbb {R}^n;\mathbb {C}^N)\rightarrow \mathscr {H}}=0\). Consequently, \(\tilde{C}_3(\varepsilon )\) also converges to zero as \(\varepsilon \rightarrow 0+\).
Finally, we will be concerned with the term \(\tilde{C}_2(\varepsilon )\). For the (i, j)th element of the matrix \(\Pi G_\varepsilon ^* R_z\tilde{F}_\varepsilon \) we find that
where
is a bounded operator in \(\mathscr {H}\). It follows from [6, Prop. 3.10] that \(B_\varepsilon \) converges to \(B_0\) in the space of bounded operators from \(\mathscr {H}_{1/2}:=L^2((-1,1);H^{1/2}(\Sigma ;\mathbb {C}^N))\) to \(\mathscr {H}\), where \(B_0\) defined by
is a bounded operator in \(\mathscr {H}\). By density, for every \(\psi \in \mathscr {H}\) we find a sequence \((\psi _n)\subset \mathscr {H}_{1/2}\) that converges to \(\psi \) in \(\mathscr {H}\). Therefore, we have
Since again by [6, Prop. 3.10] the operators \(B_\varepsilon \) are uniformly bounded in \(\mathscr {H}\), we infer that \(B_\varepsilon \) converges to \(B_0\) strongly in \(\mathscr {H}\) as \(\varepsilon \rightarrow 0+\). Furthermore, due to (8), we see that \(\lim _{\varepsilon \rightarrow 0+}(g_i v w_\varepsilon )=g_i v\) in \(\mathscr {H}\). Using these two results together with the joint continuity of the dot product and the fact that \(\int _{-1}^1 v=1\), we arrive at
The first term on the right-hand side is clearly zero, whereas the second one is just the integral representation of the (i, j)th element of \(\Pi _\Sigma G^*M(z)\tilde{F}\). Hence, we conclude that \(\lim _{\varepsilon \rightarrow 0+}\tilde{C}_2(\varepsilon )=0\). \(\square \)
Remark 4.0.1
Essentially the same operators as \(A_\varepsilon ,\, B_\varepsilon ,\) and \(C_\varepsilon \) from the proof of Theorem 4.0.1 were originally studied in [23] for \(n=3\). Although the convergence results obtained there are weaker than the results from the recent preprint [6], they are still strong enough to support our proof. In fact, they may be generalized to the dimension \(n=2\) in a rather straightforward way and then used in our proof, too.
Data availibility statement
Our manuscript has no associated data.
References
Antoine, J.P., Gesztesy, F., Shabani, J.: Exactly solvable models of sphere interactions in quantum mechanics. J. Phys. A: Math. Gen. 20, 3687 (1987)
Arrizabalaga, N., Mas, A., Vega, L.: Shell interactions for Dirac operators. J. de Mathématiques Pures et Appliquées 102(4), 617–639 (2014)
Behrndt, J., Exner, P., Holzmann, M., Lotoreichik, V.: On Dirac operators in \({\mathbb{R} }^3\) with electrostatic and Lorentz scalar \(\delta \)-shell interactions. Quantum Stud. 6, 295–314 (2019)
Behrndt, J., Holzmann, M.: On Dirac operators with electrostatic \(\delta \)-shell interactions of critical strength. J. Spectral Theory 10, 147–184 (2020)
Behrndt, J., Holzmann, M., Ourmieres-Bonafas, T., Pankrashkin, K.: Two-dimensional Dirac operators with singular interactions supported on closed curves. J. Funct. Anal. 279, 108700 (2020)
Behrndt, J., Holzmann, M., Stelzer-Landauer, C.: Approximation of Dirac operators with \(\delta \)-shell potentials in the norm resolvent sense. Preprint: arXiv:2308.13344 (2023)
Behrndt, J., Holzmann, M., Stelzer-Landauer, C., Stenzel, G.: Boundary triples and Weyl functions for Dirac operators with singular interaction. Rev. Math. Phys. 36, 2350036 (2024)
Behrndt, J., Holzmann, M., Tušek, M.: Two-dimensional Dirac operator with general \(\delta \)-shell interaction supported on a straight line. J. Phys. A: Math. Theor. 56, 045201 (2023)
Behrndt, J., Langer, M.: Boundary value problems for elliptic partial differential operators on bounded domains. J. Funct. Anal. 243(2), 536–565 (2007)
Behrndt, J., Langer, M.: Elliptic operators, Dirichlet-to-Neumann maps and quasi boundary triples. In: Hassi, S., de Snoo, H.S.V., Szafraniec, F.H (eds.) Operator Methods for Boundary Value Problems. London Mathematical Society Lecture Note Series, pp. 121–160. Cambridge University Press, Cambridge
Benhellal, B.: Spectral properties of the Dirac operator coupled with \(\delta \)-shell interactions. Lett. Math. Phys. 112(6), 52 (2022)
Birman, M. Sh., Solomjak, M.Z.: Spectral Theory of Self-Adjoint Operators in Hilbert Spaces. D. Reidel Publishing Company, Dordrecht (1987)
Brockmann, R.: Relativistic Hartree-Fock description of nuclei. Phys. Rev. C 18, 1510–1524 (1978)
Cassano, B., Lotoreichik, V., Mas, A., Tušek, M.: General \(\delta \)-shell interactions for two-dimensional Dirac operator: self-adjointness and approximation. Revista Matemática Iberoamericana 39, 1443–1492 (2023)
Chretien, M., Peierls, R.E.: A Study of gauge-invariant non-local interactions. Proc. R. Soc. Lond. Ser. A 223, 397–410 (1954)
Derkach, V., Malamud, M.: Generalized resolvents and the boundary value problems for Hermitian operators with gaps. J. Funct. Anal. 95(1), 1–95 (1991)
Derkach, V., Malamud, M.: The extension theory of Hermitian operators and the moment problem. J. Math. Sci. 73(2), 141–242 (1995)
Dittrich, J., Exner, P., Šeba, P.: Dirac operators with a spherically symmetric \(\delta \)-shell interaction. J. Math. Phys. 30, 2875–2882 (1989)
Hall, R.L.: Exact solutions for semirelativistic problems with non-local potentials. J. Phys. A: Math. Gen. 39, 903–912 (2006)
Heriban, L., Tušek, M.: Non-self-adjoint relativistic point interaction in one dimension. J. Math. Anal. Appl. 516, 126536 (2022)
Jaminon, M., Mahaux, C., Rochus, P.: Single-particle potential in a relativistic Hartree-Fock mean field approximation. Nucl. Phys. A 365, 371–391 (1981)
Krejčiřík, D., Raymond, N., Tušek, M.: The magnetic Laplacian in shrinking tubular neighbourhoods of hypersurfaces. J. Geom. Anal. 25, 2546–2564 (2015)
Mas, A., Pizzichillo, F.: Klein’s paradox and the relativistic \(\delta \)-shell interaction in \(\mathbb{R} ^3\). Anal. PDE 11, 705–744 (2018)
Miller, L.D., Green, A.E.S.: Relativistic self-consistent meson field theory of spherical nuclei. Phys. Rev. C 5, 241–252 (1972)
Šeba, P.: Klein’s paradox and the relativistic point interaction. Lett. Math. Phys. 18, 77–86 (1989)
Thaller, B.: The Dirac equation. Texts and Monographs in Physics. Springer-Verlag, Berlin (1992)
Tušek, M.: Approximation of one-dimensional relativistic point interactions by regular potentials revised. Lett. Math. Phys. 110, 2585–2601 (2020)
Yamaguchi, Y.: Two-nucleon problem when the potential is nonlocal but separable. I. Phys. Rev. 95, 1628–1634 (1954)
Yukawa, H.: Quantum theory of non-local fields. Part I. Free fields. Phys. Rev. 77, 227–234 (1950)
Zolotarev, V.A.: Direct and inverse spectral problems for a Dirac operator with non-local potential. J. Math. Anal. Appl. 503, 125075 (2021)
Acknowledgements
L. Heriban acknowledges the support by the EXPRO grant No. 20-17749X of the Czech Science Foundation (GAČR). M. Tušek was partially supported by the grant No. 21-07129 S of the Czech Science Foundation (GAČR).
The authors thank Markus Holzmann for fruitful discussions.
Funding
Open access publishing supported by the National Technical Library in Prague.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
On behalf of all authors, the corresponding author states that there is no Conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Heriban, L., Tušek, M. Non-local relativistic \(\delta \)-shell interactions. Lett Math Phys 114, 79 (2024). https://doi.org/10.1007/s11005-024-01828-6
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11005-024-01828-6