Abstract
The principal aim of this paper is to derive an abstract form of the third Green identity associated with a proper extension T of a symmetric operator S in a Hilbert space \(\mathfrak {H}\), employing the technique of quasi boundary triples for T. The general results are illustrated with couplings of Schrödinger operators on Lipschitz domains on smooth, boundaryless, compact Riemannian manifolds.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The work in this paper is motivated in part by the following innocuous question: How to rule out that a Dirichlet eigenfunction of the Laplacian, or, more generally, a uniformly elliptic second order partial differential operator on a bounded domain \(\Omega \subset {\mathbb {R}}^n\), \(n\in {\mathbb {N}}\), is also simultaneously a Neumann eigenfunction?
Several lines of attack are available, depending on the regularity assumptions made on the underlying domain. For instance, in the case of the Dirichlet Laplacian on a bounded Lipschitz domain \(\Omega \subset {\mathbb {R}}^n\), if
then u belongs to \(H^1(\Omega )\), the normal derivative \({\partial u}/{\partial \nu }\) is square-integrable on \(\partial \Omega \) (see [4]), and Rellich’s identity (established in [36] for smooth domains, which nonetheless continues to be valid in the present setting) for the Dirichlet eigenvalue \(\lambda \) reads
Here \(x = (x_1,\dots ,x_n) \in {\mathbb {R}}^n\), \(d^{n-1} \omega \) denotes the surface measure on \(\partial \Omega \), \(\nu \) is the outward pointing unit normal vector at points of \(\partial \Omega \), and \(\partial / \partial \nu \) represents the normal derivative,
Thus, vanishing of the normal derivative (i.e., the Neumann boundary condition) \(\partial u/\partial \nu = 0\) on \(\partial \Omega \) yields \(\lambda = 0\) which contradicts the well-known fact that the Dirichlet Laplacian is strictly positive on bounded (in fact, finite Euclidean volume) domains \(\Omega \).
A second approach is based on the fact that if \(\Omega \subset {\mathbb {R}}^n\) is a bounded Lipschitz domain then (see [32, Corollary 3.21, p. 161] for more general results of this flavor)
In turn, this may be used to show that, whenever \(\Omega \subset {\mathbb {R}}^n\) is a bounded Lipschitz domain, if
then u necessarily vanishes. Specifically, (1.5) first implies (see [4]) that \(u\in H^2(\Omega )\) which, together with (1.4), proves that the extension \(\widetilde{u}\) of u to \({\mathbb {R}}^n\) by zero outside \(\Omega \) lies in \(H^2({\mathbb {R}}^n)\) and satisfies \(- \Delta \widetilde{u}=\lambda \widetilde{u}\) in \({\mathbb {R}}^n\). As such, if u were not identically zero in \(\Omega \), the Laplacian in \({\mathbb {R}}^n\) would have a compactly supported eigenfunction, clearly a contradiction. This rules out the eventuality of a Dirichlet eigenfunction simultaneously being a Neumann eigenfunction. An argument of this nature may be adapted to more general uniformly elliptic second order partial differential operators via unique continuation principles; see, for instance, [2, 3, 20, 23, 25, 26, 38].
An approach, intimately related to the one just discussed, adding a functional analytic flavor, would employ the fact that if \(\Omega \subset {\mathbb {R}}^n\) is a bounded Lipschitz domain then the Dirichlet and Neumann Laplacians in \(L^2(\Omega )\), denoted by \(-\Delta _{D,\Omega }\) and \(-\Delta _{N,\Omega }\), respectively, are relatively prime and hence satisfy
Here the associated minimal and maximal operators in \(L^2(\Omega )\) are of the form
where the expression \(\Delta f\), \(f\in L^2(\Omega )\), is understood in the sense of distributions. In addition, one has the relations
(see, for instance, [4, Sect. 3]). Invoking the fact that the minimal operator \(-\Delta _{\min ,\Omega }\) is simple (i.e., it has no invariant subspace on which it is self-adjoint), and simple operators have no eigenvalues, \(-\Delta _{\min ,\Omega }\) cannot have any eigenvalues, thus, no nonzero solution u satisfying (1.5) exists. For recent results of this type see, for instance, [9, Proposition 2.5]. Upon modifications employing appropriate Dirichlet and Neumann traces this approach remains applicable to the more general case of uniformly elliptic second order partial differential operators on Lipschitz domains \(\Omega \) (see, e.g., [4, 9]).
Perhaps, a most illuminating proof of the impossibility of a Dirichlet eigenfunction to be simultaneously a Neumann eigenfunction can be based on the third Green identity, which naturally leads to one of the principal topics of this paper. Assuming again \(\Omega \) to be a bounded Lipschitz domain in \({\mathbb {R}}^n\), we note the following well-known special case of the third Green identity (see, e.g., [12], [24, p. 97], [29, Theorem 6.10]),
in terms of the resolvent operator \(\mathcal {G}_{z}\) for \(- \Delta \) defined on \(H^2({\mathbb {R}}^n)\), and the single and double layer potentials \(\mathcal {S}_{z}\) and \(\mathcal {D}_{z}\), \(z \in {\mathbb {C}}\), defined by
Here \(E_n^{(0)}(z;x)\) represents the standard fundamental solution of the Helmholtz differential expression \(-\Delta -z\) in \({\mathbb {R}}^n\), \(n\in {\mathbb {N}}\), \(n\ge 2\), that is,
where \(H^{(1)}_{\nu }(\, \cdot \,)\) denotes the Hankel function of the first kind with index \(\nu \ge 0\) (cf. [1, Sect. 9.1]).
Thus, if u is assumed to satisfy (1.5) then, as already noted, \(u\in H^2(\Omega )\) so the third Green identity (1.10) instantly yields \(u=0\) in \(\Omega \), hence the nonexistence of nontrivial solutions u satisfying (1.5). Again, this approach extends to the more general case of uniformly elliptic second order partial differential operators \(\mathcal {L}\) by appropriately replacing in (1.10)–(1.14) the fundamental solution \(E_n^{(0)}(z;x-y)\) for the Helmholtz operator \(-\Delta -z\) in \({\mathbb {R}}^n\) by the fundamental solution \(E_n(z; x-y)\) of \(\mathcal {L}- z\) in \({\mathbb {R}}^n\).
The approach based on Green’s third identity just outlined has several features. First, while the original issue pertaining to properties of eigenfunctions of the Dirichlet Laplacian \(- \Delta _{D, \Omega }\) in \(L^2(\Omega )\) may be formulated entirely in terms on \(\Omega \) and \(\partial \Omega \), the third Green identity (1.10) naturally involves the fundamental solution \(E_n^{(0)}(z; x-y)\) for the Laplacian in \({\mathbb {R}}^n\). The latter is obviously independent of \(\Omega \) and \(\partial \Omega \).
Second, denoting
one is naturally led to a comparison of the Dirichlet Laplacian
and the Laplacian \(- \Delta \) in \(L^2({\mathbb {R}}^n)\) (with domain \(H^2({\mathbb {R}}^n)\)). While the Dirichlet Laplacian \((- \Delta _{D,\Omega _+}) \oplus (- \Delta _{D, \Omega _-})\) corresponds to a complete decoupling of \({\mathbb {R}}^n\) into \(\Omega _+ \cup \Omega _-\) (ignoring the compact boundary \(\mathcal {C}:= \partial \Omega _{\pm }\) of n-dimensional Lebesgue measure zero), in stark contrast to this decoupling, the Laplacian \(- \Delta \) on \(H^2({\mathbb {R}}^n)\) couples \(\Omega _+\) and \(\Omega _-\) via the imposition of continuity conditions across \(\mathcal {C}\) of the form
Here we identified \(u \in L^2({\mathbb {R}}^n)\) with the pair \((u_+, u_-) \in L^2(\Omega _+) \oplus L^2(\Omega _-)\) via \(u_{\pm } = u \upharpoonright _{\Omega _{\pm }}\). The relative sign change in the normal derivatives in the second part of (1.17) is of course being a side-effect of the opposite orientations of the outward unit normals to \(\Omega _{\pm }\) at points in \(\mathcal {C}= \partial \Omega _{\pm }\).
It is this coupling of \(\Omega _+\) and \(\Omega _-\) through their joint boundary \(\mathcal {C}\) via the Laplacian \(- \Delta \) on \({\mathbb {R}}^n\) via the continuity requirements (1.17) which constitutes the second major topic in this paper. In fact, from this point of view, the exterior domain \(\Omega _-\) plays a similar role as the original domain \(\Omega = \Omega _+\) (apart from being unbounded). Moreover, introducing the jumps of u and \(\partial _{\nu } u\) across \(\mathcal {C}= \partial \Omega _{\pm }\) as
the third Green identity (1.10) can be shown to acquire the following form (which is symmetric with respect to \(\Omega _{\pm }\); cf., e.g., [12], [29, Theorem 6.10]):
At this point we are prepared to describe the major objectives of this paper: Decompose a given complex, separable Hilbert space \(\mathfrak {H}\) into an orthogonal sum of closed subspaces \(\mathfrak {H}_{\pm }\) as \(\mathfrak {H}= \mathfrak {H}_+ \oplus \mathfrak {H}_-\), consider densely defined, closed symmetric operators \(S_{\pm }\) in \(\mathfrak {H}_{\pm }\) and their direct sum \(S = S_+ \oplus S_-\) in \(\mathfrak {H}\), introduce restrictions \(T_{\pm }\) of \(S_{\pm }^*\) such that \(\overline{T_{\pm }} = S_{\pm }^*\) and appropriate restrictions \(A_{0,\pm }\) of \(T_{\pm }\), for instance, \(A_{0,\pm }\) self-adjoint in \(\mathfrak {H}_{\pm }\), defined in terms of certain abstract boundary conditions, and then find a self-adjoint operator A in \(\mathfrak {H}\) which closely resembles \(A_0 = A_{0,+} \oplus A_{0,-}\), but without any remnants of the boundary conditions in \(A_{0,+} \oplus A_{0,-}\) and without any reference to the decomposition of \(\mathfrak {H}\) into \(\mathfrak {H}_+ \oplus \mathfrak {H}_-\) (i.e., A naturally couples \(\mathfrak {H}_{\pm }\) in terms of certain continuity requirements through an abstract “boundary”). Finally, derive an abstract third Green identity invoking the resolvent (or fundamental solution operator \(\mathcal {G}\)) of A, the operator \(T= T_+ \oplus T_-\), and abstract single and double layer operators constructed from \(\mathcal {G}\). This can indeed be achieved with the help of an appropriate quasi boundary triple for T which also permits one to introduce a natural abstract analog of the “boundary Hilbert space” \(L^2(\mathcal {C})\) in the concrete case of the Laplacian above.
In Sect. 2 we briefly recall the basic setup for quasi boundary triples and associated operator-valued Weyl-functions (also called Weyl–Titchmarsh functions) as needed in this paper. The introduction of quasi boundary triples is intimately connected with an abstract (second) Green identity. Section 3 studies the operator A and derives Krein-type resolvent formulas for it in terms of \(A_0\) and a related operator. Section 4 derives the abstract third Green identity, and finally Sect. 5 illustrates the abstract material in Sects. 2–4 with the concrete case of Schrödinger operators on Lipschitz domains on smooth, boundaryless, compact Riemannian manifolds.
Finally, we briefly summarize the basic notation used in this paper: Let \(\mathcal {H}\), \(\mathfrak {H}\) be separable complex Hilbert spaces, \((\cdot ,\cdot )_{\mathcal {H}}\) the scalar product in \(\mathcal {H}\) (linear in the second factor), and \(I_{\mathcal {H}}\) the identity operator in \(\mathcal {H}\). If T is a linear operator mapping (a subspace of ) a Hilbert space into another, \({{\mathrm{dom}}}(T)\) denotes the domain of T. The closure of a closable operator S is denoted by \(\overline{S}\). The spectrum and resolvent set of a closed linear operator in \(\mathcal {H}\) will be denoted by \(\sigma (\cdot )\) and \(\rho (\cdot )\), respectively. The Banach space of bounded linear operators in \(\mathcal {H}\) is denoted by \(\mathcal {B}(\mathcal {H})\); in the context of two Hilbert spaces, \(\mathcal {H}_j\), \(j=1,2\), we use the analogous abbreviation \(\mathcal {B}(\mathcal {H}_1, \mathcal {H}_2)\). The set of all closed linear operators in \({\mathcal {H}}\) is denoted by \({\mathcal {C}}({\mathcal {H}})\). Moreover, \(\mathcal {X}_1 \hookrightarrow \mathcal {X}_2\) denotes the continuous embedding of the Banach space \(\mathcal {X}_1\) into the Banach space \(\mathcal {X}_2\). We also abbreviate \({\mathbb {C}}_{\pm } := \{z \in {\mathbb {C}}\, | \, \mathrm {Im}\,(z) \gtrless 0\}\).
2 Quasi boundary triples and their Weyl functions
In this section we briefly recall the notion of quasi boundary triples and the associated (operator-valued) Weyl functions.
In the following let S be a densely defined closed symmetric operator in \(\mathfrak {H}\).
Definition 2.1
Let \(T\subseteq S^*\) be a linear operator in \(\mathfrak {H}\) such that \(\overline{T}=S^*\). A triple \(\{\mathcal {H},\Gamma _0,\Gamma _1\}\) is called a quasi boundary triple for \(T\subseteq S^*\) if \((\mathcal {H},(\, \cdot \,, \, \cdot \,)_\mathcal {H})\) is a Hilbert space and \(\Gamma _0,\Gamma _1:{{\mathrm{dom}}}(T)\rightarrow \mathcal {H}\) are linear mappings such that the following items (i)–(iii) hold:
-
(i)
The abstract (second ) Green identity
$$\begin{aligned} (T f,g)_\mathfrak {H}- (f,Tg)_\mathfrak {H}= (\Gamma _1 f,\Gamma _0 g)_\mathcal {H}- (\Gamma _0 f,\Gamma _1 g)_\mathcal {H}, \quad f,g\in {{\mathrm{dom}}}(T),\quad \end{aligned}$$(2.1)is valid.
-
(ii)
The map \(\Gamma = (\Gamma _0,\Gamma _1)^\top : {{\mathrm{dom}}}(T) \rightarrow \mathcal {H}^2\) has dense range.
-
(iii)
\(A_0 := T\upharpoonright \ker (\Gamma _0)\) is a self-adjoint operator in \(\mathfrak {H}\).
The notion of quasi boundary triples was introduced in [5] and extends the concepts of ordinary (and generalized) boundary triples, see, for instance, [11, 19, 21, 27], and the references therein. We recall that the triple in Definition 2.1 is called an ordinary boundary triple (generalized boundary triple) if item (ii) is replaced by the condition \({{\mathrm{ran}}}(\Gamma )=\mathcal {H}^2\) (\({{\mathrm{ran}}}(\Gamma _0)=\mathcal {H}\), respectively). On the other hand, the notion of quasi boundary triple is a particular embodiment of the more general notion of isometric/unitary boundary triples. The latter goes back to Calkin [13] and was studied in detail in [15, 17].
We recall briefly some important properties of quasi boundary triples. First of all, we note that a quasi boundary triple for \(S^*\) exists if and only if the defect numbers
of S are equal. Second, assume that \(\{\mathcal {H},\Gamma _0,\Gamma _1\}\) is a quasi boundary triple for \(T\subseteq S^*\). Then the mapping \(\Gamma = (\Gamma _0,\Gamma _1)^\top : {{\mathrm{dom}}}(T) \rightarrow \mathcal {H}^2\) is closable and \(\ker (\Gamma ) = {{\mathrm{dom}}}(S)\) holds (cf. [5, Proposition 2.2]). Third, according to [5, Theorem 2.3] one has \(T=S^*\) if and only if \({{\mathrm{ran}}}(\Gamma ) = \mathcal {H}^2\), in this case the restriction \(A_0=S^*\upharpoonright \ker (\Gamma _0)\) is automatically self-adjoint and the the quasi boundary triple \(\{\mathcal {H},\Gamma _0,\Gamma _1\}\) is an ordinary boundary triple in the usual sense. In this context we also note that in the case of finite deficiency indices of S a quasi boundary triple is automatically an ordinary boundary triple.
Next, the notion of the \(\gamma \) -field and Weyl function associated to a quasi boundary triple will be recalled. First, one observes that for each \(z \in \rho (A_0)\), the direct sum decomposition
holds. Hence the restriction of the mapping \(\Gamma _0\) to \(\ker (T-z I_{\mathfrak {H}})\) is injective and its range coincides with \({{\mathrm{ran}}}(\Gamma _0)\).
Definition 2.2
Let \(\{\mathcal {H},\Gamma _0,\Gamma _1\}\) be a quasi boundary triple for \(T\subseteq S^*\). The \(\gamma \) -field \(\gamma \) and the Weyl function M corresponding to \(\{\mathcal {H},\Gamma _0,\Gamma _1\}\) are defined by
and
respectively.
The notions of \(\gamma \)-field and Weyl function corresponding to ordinary and generalized boundary triples have been introduced in [18, 19], respectively; the definition above is formally the same. In the special case of ordinary and generalized boundary triples the Weyl function M turns out to be a Herglotz–Nevanlinna function with values in \(\mathcal {B}(\mathcal {H})\), that is, M is holomorphic on \({\mathbb {C}}\backslash {\mathbb {R}}\), and
The values of the \(\gamma \)-field are bounded operators from \(\mathcal {H}\) into \(\mathfrak {H}\) with \({{\mathrm{ran}}}(\gamma (z))=\ker (T-z I_{\mathfrak {H}})\) and the following identity holds
In the case of a quasi boundary triple the operators \(\gamma (z)\), \(z\in \rho (A_0)\), are defined on the dense subspace \({{\mathrm{ran}}}(\Gamma _0)\subseteq \mathcal {H}\) and map onto \(\ker (T-z I_{\mathfrak {H}}) \subset \mathfrak {H}\). By [5, Proposition 2.6] the operator \(\gamma (z)\) is bounded and hence admits a continuous extension onto \(\mathcal {H}\). Furthermore, one has
The values of the Weyl function M(z), \(z \in \rho (A_0)\) are operators in \(\mathcal {H}\) defined on \({{\mathrm{ran}}}(\Gamma _0)\) and mapping into \({{\mathrm{ran}}}(\Gamma _1)\). The analogs of (2.6) and (2.7), and various other useful and important properties of the Weyl function can be found in [5, 6]. In particular,
and hence the operators M(z), \(z \in \rho (A_0)\), are closable operators in \(\mathcal {H}\). We point out that the operators M(z), \(z \in \rho (A_0)\), and their closures are generally unbounded.
3 The coupling model
In this section we discuss the coupling issue mentioned in (1.15)–(1.17) from a purely abstract point of view.
Let \(S_+\) and \(S_-\) be densely defined closed symmetric operators in the separable Hilbert spaces \(\mathfrak {H}_+\) and \(\mathfrak {H}_-\), respectively, and assume that the defect indices of \(S_+\) and \(S_-\) satisfy
The case of finite defect numbers can be treated with the help of ordinary boundary triples in an efficient way and will not be discussed here (cf. [14]).
Let \(T_+\) and \(T_-\) be such that \(\overline{T}_+=S_+^*\) and \(\overline{T}_-=S_-^*\), and assume that \(\{\mathcal {H},\Gamma _0^+,\Gamma _1^+\}\) and \(\{\mathcal {H},\Gamma _0^-,\Gamma _1^-\}\) are quasi boundary triples for \(T_+\subseteq S_+^*\) and \(T_-\subseteq S_-^*\), respectively. The corresponding \(\gamma \)-fields and Weyl functions are denoted by \(\gamma _+\) and \(\gamma _-\), and \(M_+\) and \(M_-\), respectively. Furthermore, let
It is important to note that the identities
hold for all \(z \in \rho (A_{0,+})\) and \(z \in \rho (A_{0,-})\), respectively [cf. (2.8)]. In the following consider the operators
in the Hilbert space \(\mathfrak {H}=\mathfrak {H}_+\oplus \mathfrak {H}_-\). It is clear that S is a closed, densely defined, symmetric operator in \(\mathfrak {H}\) with equal infinite defect numbers,
and that
The elements f in the domain of S, T and \(S^*\) will be written as two component vectors of the form \(f=(f_+,f_-)^\top \), where \(f_\pm \) belongs to the domain of \(S_\pm \), \(T_\pm \) and \(S_\pm ^*\), respectively. It is easy to see that \(\{\mathcal {H}\oplus \mathcal {H},\Gamma _0,\Gamma _1\}\), where
is a quasi boundary triple for \(T\subseteq S^*\) such that
One notes that \(\rho (A_0)=\rho (A_{0,+})\cap \rho (A_{0,-})\). The \(\gamma \)-field \(\gamma \) and Weyl function M corresponding to the quasi boundary triple \(\{\mathcal {H}\oplus \mathcal {H},\Gamma _0,\Gamma _1\}\) are given by
and (3.3) implies
The next result, Theorem 3.1, can be viewed as an abstract analogue of the coupling of differential operators, where \(\Gamma _0^\pm \) are Dirichlet trace operators and \(\Gamma _1^\pm \) are Neumann trace operators acting on different domains (cf. Section 5 for more details). We also note that in the following the operators \(M_+(z)+M_-(z)\) in \(\mathcal {H}\) are assumed to be defined on \({{\mathrm{dom}}}(M_+(z)) \cap {{\mathrm{dom}}}(M_-(z))\).
Theorem 3.1
Let \(\{\mathcal {H},\Gamma _0^+,\Gamma _1^+\}\) and \(\{\mathcal {H},\Gamma _0^-,\Gamma _1^-\}\) be quasi boundary triples for \(T_+\subseteq S_+^*\) and \(T_-\subseteq S_-^*\) with Weyl functions \(M_\pm \) and define
Then the following assertions (i)–(iii) hold:
-
(i)
A is a symmetric operator in \(\mathfrak {H}\).
-
(ii)
\(z \in \rho (A_0)\) is an eigenvalue of A if and only if
$$\begin{aligned} \ker \bigl (M_+(z)+M_-(z)\bigr )\not =\{0\}. \end{aligned}$$(3.13) -
(iii)
A is a self-adjoint operator in \(\mathfrak {H}\) if and only if
$$\begin{aligned} {{\mathrm{ran}}}\bigl (\Gamma ^\pm _1\upharpoonright {{\mathrm{dom}}}(A_{0,\pm }) \bigr ) \subset {{\mathrm{ran}}}\bigl (M_+(z)+M_-(z)\bigr ) \end{aligned}$$(3.14)holds for some (and hence for all ) \(z \in {\mathbb {C}}_+\) and some (and hence for all ) \(z \in {\mathbb {C}}_-\).
If A is a self-adjoint operator in \(\mathfrak {H}\) then for all \(z \in \rho (A)\cap \rho (A_0)\) the resolvent of A is given in terms of a Krein-type resolvent formula by
where
Remark 3.2
The perturbation term \(\gamma (z)\Theta (z)\gamma (\overline{z})^*\) in the right-hand side of (3.15) may also be written in the form
Proof of Theorem 3.1
(i) In order to show that A is a symmetric operator in \(\mathfrak {H}\) let \(f=(f_+,f_-)^\top \) and \(g=(g_+,g_-)^\top \) be in \({{\mathrm{dom}}}(A)\). Making use of the abstract boundary conditions for \(f,g\in {{\mathrm{dom}}}(A)\), a straightforward computation using the abstract Green identity (2.1) shows that
hence A is symmetric.
(ii) Let \(z\in \rho (A_0)\) and assume that z is an eigenvalue of A. Considering \(f\in \ker (A-z I_{\mathfrak {H}})\), \(f\not =0\), one observes that \(\Gamma _0f\not =0\) as otherwise \(f\in {{\mathrm{dom}}}(A_0)\) would be an eigenfunction of \(A_0\) at z. Clearly \(f\in \ker (T-z I_{\mathfrak {H}})\) and hence \(M(z)\Gamma _0 f=\Gamma _1 f\). For \(f=(f_+,f_-)^\top \) one then obtains
Since \(f\in {{\mathrm{dom}}}(A)\) satisfies \(\Gamma _0^+f_+=\Gamma _0^-f_-\) and \(\Gamma _1^+f_++\Gamma _1^-f_-=0\), one concludes
As a consequence of \(\Gamma _0^\pm f_\pm \not =0\), it follows that \(\ker (M_+(z)+M_-(z))\not =\{0\}\).
Conversely, assume that \(\varphi \in \ker (M_+(z)+M_-(z))\), \(\varphi \not =0\), for some \(z\in \rho (A_0)\). One notes that
Hence there exist \(f_+\in \ker (T_+-z I_{\mathfrak {H}_+})\) and \(f_-\in \ker (T_- - z I_{\mathfrak {H}_-})\) such that
From the definition of \(M_+\) and \(M_-\), and (3.21)–(3.22) one concludes that
and hence (3.22) and (3.23) show that \(f=(f_+,f_-)^\top \in \ker (T-z I_{\mathfrak {H}})\) satisfies both abstract boundary conditions for elements in \({{\mathrm{dom}}}(A)\). Thus, \(f\in \ker (A-z I_{\mathfrak {H}})\).
(iii) First, assume that A is a self-adjoint operator in \(\mathfrak {H}\), fix \(z\in {\mathbb {C}}\backslash {\mathbb {R}}\), and let
Then there exists \(f_+\in \mathfrak {H}_+\) such that
where the last identity follows from (3.3). Next, consider \(f=(f_+,0)^\top \in \mathfrak {H}\), set
and
Then one has \(\Gamma _0 h=\Gamma _0 k\) and \(\Gamma _1 h = \Gamma _1 k - \gamma (\overline{z})^*f\) and hence
Making use of (3.25) and \(f_-=0\) this reads componentwise as
[cf. (3.11)]. Summing up these two equations and taking into account that \(k\in {{\mathrm{dom}}}(A)\) satisfies \(\Gamma _1^+k_++\Gamma _1^-k_-=0\) and \(\Gamma _0^+k_+=\Gamma _0^-k_-\), one finds
Hence, the inclusion
holds for any \(z \in {\mathbb {C}}\backslash {\mathbb {R}}\). In the same way as above one also shows the inclusion
Next, we will prove the converse. Assume that there exist \(z_{\pm }\in {\mathbb {C}}_{\pm }\) such that
holds for \(z\in \{z_\pm \}\). We have to prove that the operator A is self-adjoint in \(\mathfrak {H}\). Along the way we will also show that the resolvent formula holds at the point z. Note first that A is symmetric by item (i) and hence all eigenvalues of A are real. In particular, z is not an eigenvalue of A and according to item (ii), the operator \(M_+(z)+M_-(z)\) is injective. Let \(f=(f_+,f_-)^\top \in \mathfrak {H}\) and note that [cf. (3.11)]
and that
by assumption. Now consider the element
which is well-defined by the above considerations and the fact that
and
Since \((A_0- z I_{\mathfrak {H}})^{-1}f\in {{\mathrm{dom}}}(A_0)\subset {{\mathrm{dom}}}(T)\) and \({{\mathrm{ran}}}(\gamma (z))=\ker (T- z I_{\mathfrak {H}})\subset {{\mathrm{dom}}}(T)\), it is clear that \(g \in {{\mathrm{dom}}}(T)\). Next, it will be shown that \(g=(g_+,g_-)^\top \) satisfies the boundary conditions
Due to
and the special form of \(\gamma (z)\) and \(\gamma (\overline{z})^*\), one infers that
and
Since by definition, \(A_{0,\pm }=T_\pm \upharpoonright \ker (\Gamma _0^\pm )\) and \(\gamma _\pm (z)=(\Gamma _0^\pm \upharpoonright \ker (T_\pm - z I_{\mathfrak {H}_{\pm }}))^{-1}\), one obtains
and hence the first condition in (3.39) is satisfied. Next, we make use of (3.3) and \(M_\pm (z)=\Gamma _1^\pm \gamma _\pm (z)\) and compute
It follows that \(\Gamma _1^+g_+ + \Gamma _1^-g_-=0\). Hence also the second boundary condition in (3.39) is satisfied. Therefore, \(g \in {{\mathrm{dom}}}(A)\), and when applying \((A- z I_{\mathfrak {H}})\) to g it follows from the particular form of g and \({{\mathrm{ran}}}(\gamma (z))\subseteq \ker (T- z I_{\mathfrak {H}})\) that
Furthermore, as A is symmetric, z is not an eigenvalue of A and one concludes that
Since \(f\in \mathfrak {H}\) was chosen arbitrary it follows that \((A- z I_{\mathfrak {H}})^{-1}\) is an everywhere defined operator in \(\mathfrak {H}\). By our assumptions this is true for \(z=\{z_\pm \}\). Hence it follows that A is self-adjoint and that the resolvent of A at the point z has the asserted form, proving assertion (iii).
It remains to show that the resolvent of A is of the form as stated in the theorem for all \(z \in \rho (A)\cap \rho (A_0)\). For this we remark that
holds for all \(z\in \rho (A)\cap \rho (A_0)\) and \(f=(f_+,f_-)^\top \in \mathfrak {H}\); this follows essentially from the first part of the proof of item (iii) (which remains valid for points in \(\rho (A)\cap \rho (A_0)\)). Based on (3.49) and the fact that \(\ker (M_+(z)+M_-(z))=\{0\}\) for all \(z \in \rho (A)\cap \rho (A_0)\) by assertion (ii), it can be shown in the same way as in the second part of the proof of item (iii) that the resolvent of A has the asserted form. This completes the proof of Theorem 3.1. \(\square \)
The next step is to derive a slightly modified formula for the resolvent of A in Theorem 3.1 where the resolvent of \(A_0\) is replaced by the resolvent of the operator
where
is assumed to be a self-adjoint operator in \(\mathfrak {H}_-\). We recall that in the context of quasi boundary triples, the extension \(A_{1,-}\) of \(S_-\) corresponding to \(\ker (\Gamma _1^-)\) is always symmetric, but generally not self-adjoint. The resolvent formula in the next theorem is essentially a consequence of Theorem 3.1 and a formula relating the resolvent of \(A_{0,-}\) with the resolvent of \(A_{1,-}\).
Theorem 3.3
Let \(\{\mathcal {H},\Gamma _0^+,\Gamma _1^+\}\) and \(\{\mathcal {H},\Gamma _0^-,\Gamma _1^-\}\) be quasi boundary triples for \(T_+\subseteq S_+^*\) and \(T_-\subseteq S_-^*\) with Weyl functions \(M_\pm \) as in Theorem 3.1. Assume, in addition, that \(A_{1,-}=T_-\upharpoonright \ker (\Gamma _1^-)\) is self-adjoint in \(\mathfrak {H}_-\), and let A in Theorem 3.1 be self-adjoint in \(\mathfrak {H}\). Then for all \(z \in \rho (A)\cap \rho (A_{0,+})\cap \rho (A_{0,-})\cap \rho (A_{1,-})\) the resolvent of A is given by
where
Proof
Since \(A_{1,-}=T_-\upharpoonright \ker (\Gamma _1^-)\) is self-adjoint in \(\mathfrak {H}_-\) it follows from [6, Theorem 6.16] that \(M_-(z)\) is injective for all \(z \in \rho (A_{0,-})\cap \rho (A_{1,-})\) and the resolvents of \(A_{0,-}\) and \(A_{1,-}\) are related via
for all \(z \in \rho (A_{0,-})\cap \rho (A_{1,-})\). Making use of (3.8) and inserting (3.54) in (3.15)–(3.16) one obtains
where
and we have used that
Here the first equality holds since \(\gamma _-(\overline{z})^*\) is everywhere defined and bounded, and the second equality is valid since \(M_-(z)^{-1}\subset (M_-(\overline{z})^*)^{-1}\) and
The block operator matrix \(\Psi (z)\) in \(\mathcal {H}^2\) has the form
and from this representation one infers that \(\Psi (z)=\Sigma (z)\) for all \(z \in \rho (A)\cap \rho (A_{0,+})\cap \rho (A_{0,-})\cap \rho (A_{1,-})\). \(\square \)
In the case where \(\{\mathcal {H},\Gamma _0^+,\Gamma _1^+\}\) is an ordinary boundary triple, Eq. (3.52) was proved in [16, Eq. (6.7)] (cf. also [14]).
4 The third Green identity
This section is devoted to an abstract version of the third Green identity [cf. (1.19) for the concrete example that motivated these investigations].
Let T be given by (3.4) and let \(\{\mathcal {H},\Gamma _0^+,\Gamma _1^+\}\) and \(\{\mathcal {H},\Gamma _0^-,\Gamma _1^-\}\) be quasi boundary triples for \(T_+\subseteq S_+^*\) and \(T_-\subseteq S_-^*\), respectively. We will investigate the operator
which corresponds to the coupling of the quasi-boundary triples \(\{\mathcal {H},\Gamma _0^+,\Gamma _1^+\}\) and \(\{\mathcal {H},\Gamma _0^-,\Gamma _1^-\}\) in Theorem 3.1. One recalls that A is a symmetric operator in the Hilbert space \(\mathfrak {H}=\mathfrak {H}_+\oplus \mathfrak {H}_-\). From now on we shall assume that the following hypothesis is satisfied [cf. Theorem 3.1(iii)].
Hypothesis 4.1
The operator A in (4.1) is self-adjoint in the Hilbert space \(\mathfrak {H}\).
In the following let \(\mathfrak {H}_2:={{\mathrm{dom}}}(A)\) be the Hilbert space with inner product
and let \(\mathfrak {H}_{-2}\) be the space of anti-linear continuous functionals on \(\mathfrak {H}_2\) with the pairing denoted by
Since for every \(f\in \mathfrak {H}\) the functional \((f, \, \cdot \,)_\mathfrak {H}\) is bounded on \(\mathfrak {H}_2\), the space \(\mathfrak {H}\) embeds densely into the space \(\mathfrak {H}_{-2}\) in such a way that (cf. [10, Section 1])
leading to a Gelfand triple of the form
Let \(\mathcal {A}\) be the dual operator to A determined by
Since \(A \in \mathcal {B}(\mathfrak {H}_2, \mathfrak {H})\), also \(\mathcal {A}\in \mathcal {B}(\mathfrak {H}, \mathfrak {H}_{-2})\).
Next, define the map \(\Upsilon \) on \(\mathfrak {H}_2={{\mathrm{dom}}}(A)\) as the restriction of \((\Gamma _0^+,\Gamma _1^+)^\top \),
Here the last equality follows from the abstract boundary conditions in (4.1) for all \(f \in {{\mathrm{dom}}}(A)\).
Lemma 4.2
Assume Hypothesis 4.1 and suppose that A in (4.1) corresponds to the coupling of the quasi-boundary triples \(\{\mathcal {H},\Gamma _0^+,\Gamma _1^+\}\) and \(\{\mathcal {H},\Gamma _0^-,\Gamma _1^-\}\) for \(T_+\subseteq S_+^*\) and \(T_-\subseteq S_-^*\), respectively. Then the operators \(\Upsilon _0,\Upsilon _1:\mathfrak {H}_2\rightarrow \mathcal {H}\) in (4.7) are bounded.
Proof
We start by showing that the map \(\Upsilon \) is closable from \(\mathfrak {H}_2\) to \(\mathcal {H}^2\). Assume that
for some \(\varphi ,\psi \in \mathcal {H}\). Then by (4.7),
Since the map \((\Gamma _0^+,\Gamma _1^+)^\top :{{\mathrm{dom}}}(T)\rightarrow \mathcal {H}^2\) is closable by [5, Proposition 2.2] one concludes that \(\varphi =\psi =0\) and hence the map \(\Upsilon :\mathfrak {H}_2\rightarrow \mathcal {H}^2\) is closable. Since \({{\mathrm{dom}}}(\Upsilon )=\mathfrak {H}_2\), it follows that \(\Upsilon \) is closed, and the closed graph theorem implies that \(\Upsilon :\mathfrak {H}_2\rightarrow \mathcal {H}^2\) is bounded. Thus, also \(\Upsilon _0,\Upsilon _1:\mathfrak {H}_2\rightarrow \mathcal {H}\) are bounded. \(\square \)
Let \(\Upsilon _j^*:\mathcal {H}\rightarrow \mathfrak {H}_{-2}\) be the dual operator to \(\Upsilon _j:\mathfrak {H}_2\rightarrow \mathcal {H}\), \(j=0,1\), in (4.7) determined by
Since \(\Upsilon _j\) are bounded operators from \(\mathfrak {H}_2\) to \(\mathcal {H}\) by Lemma 4.2, it is clear that \(\Upsilon _j^*\), \(j=1,2\), are bounded operators from \(\mathcal {H}\) to \(\mathfrak {H}_{-2}\).
Next we introduce an abstract analog of the single and double layer potential (cf. [29]). For this it will be assumed that there is an abstract fundamental solution operator for \(\mathcal {A}\).
Hypothesis 4.3
There exists a linear operator \(\mathcal {G}:\mathfrak {H}_{-2}\rightarrow \mathfrak {H}\) such that
Definition 4.4
Assume Hypotheses 4.1 and 4.3 and let \(\Upsilon _0^*,\Upsilon _1^*:\mathcal {H}\rightarrow \mathfrak {H}_{-2}\) be defined by (4.10). The abstract single and double layer potentials are defined by
and
respectively.
It is clear that the operators \(\mathcal {S}\) and \(\mathcal {D}\) are well-defined. In order to obtain an abstract third Green identity in the next theorem we will also use the following notations for the “jumps” of boundary values:
and
One observes that the jump notations in (4.14)–(4.15) are compatible with the boundary conditions for elements in \({{\mathrm{dom}}}(A)\); we note that different signs are used in (4.15) since in the application in Sect. 5 the operators \(\Gamma ^\pm _1\) will be the normal derivatives with the normals having opposite direction.
Theorem 4.5
Assume Hypotheses 4.1 and 4.3 and suppose that A in (4.1) corresponds to the coupling of the quasi-boundary triples \(\{\mathcal {H},\Gamma _0^+,\Gamma _1^+\}\) and \(\{\mathcal {H},\Gamma _0^-,\Gamma _1^-\}\) for \(T_+\subseteq S_+^*\) and \(T_-\subseteq S_-^*\), respectively. Let \([\Gamma _0\cdot ]\), \([\Gamma _1\cdot ]\), \(\mathcal {S}\), and \(\mathcal {D}\) be defined as above. Then
Proof
Let \(f=(f_+,f_-)^\top \in {{\mathrm{dom}}}(T)\) and \(g=(g_+,g_-)^\top \in {{\mathrm{dom}}}(A)\). Then it follows from (4.6) and the abstract Green identity (2.1) that
As \(g\in {{\mathrm{dom}}}(A)\) one concludes that
by (4.7), and hence (4.17) takes on the form
where (4.14)–(4.15) were used in the second equality, and (4.10) was employed in the last equality. Since (4.19) is true for all \(g\in {{\mathrm{dom}}}(A)=\mathfrak {H}_2\) one concludes that
and making use of the definition of \(\mathcal {G}\) and (4.12)–(4.13) one finally obtains
as desired. \(\square \)
The following corollary may be viewed as an abstract unique continuation result.
Corollary 4.6
Under the assumptions of Theorem 4.5, the following assertions (i), (ii) hold:
-
(i)
If \(T_+ f_+=0\) for some \(f_+\in {{\mathrm{dom}}}(T_+)\) satisfying \(\Gamma _0^+f_+=\Gamma _1^+f_+=0\) then \(f_+=0\).
-
(ii)
If \(T_- f_-=0\) for some \(f_-\in {{\mathrm{dom}}}(T_-)\) satisfying \(\Gamma _0^-f_-=\Gamma _1^-f_-=0\) then \(f_-=0\).
Proof
We prove item (i), the proof of assertion (ii) being analogous. Assume that \(T_+ f_+=0\) for some \(f_+\in {{\mathrm{dom}}}(T_+)\) satisfying \(\Gamma _0^+f_+=\Gamma _1^+f_+=0\). Setting \(f_-:=0\) one obtains for \(f:=(f_+ ,f_-)^\top \in {{\mathrm{dom}}}(T)\),
Hence the third Green identity (4.16) implies \(f=0\), therefore \(f_+=0\). \(\square \)
5 Coupling of Schrödinger operators on Lipschitz domains on manifolds
In this section we illustrate the abstract material in Sects. 2–4 with the concrete case of Schrödinger operators on Lipschitz domains on boundaryless Riemannian manifolds, freely borrowing results from [4]. For more details and background information concerning differential geometry and partial differential equations on manifolds the interested reader is referred to [30, 31, 37], and the literature cited there.
Suppose (M, g) is a compact, connected, \(C^\infty \), boundaryless Riemannian manifold of (real) dimension \(n\in \mathbb {N}\). In local coordinates, the metric tensor g is expressed by
As is customary, we shall use the symbol g to also abbreviate
and we shall use \((g^{jk})_{1\le j,k\le n}\) to denote the inverse of the matrix \((g_{jk})_{1\le j,k\le n}\), that is,
The volume element \(d\mathcal {V}_{g}\) on M with respect to the Riemannian metric g in (5.1) then can be written in local coordinates as
Following a common practice, we use \(\{\partial _j\}_{1\le j\le n}\) to denote a local basis in the tangent bundle TM of the manifold M. This implies that if \(X,Y\in TM\) are locally expressed as \(X=\sum _{j=1}^n X_j\partial _j\) and \(Y=\sum _{j=1}^n Y_j\partial _j\), then
where \(\langle \cdot ,\cdot \rangle _{TM}\) stands for the pointwise inner product in TM.
Next, we discuss the gradient and divergence operators associated with the metric g on the manifold M. Specifically, given an open set \(\Omega \subset M\) and some function \(f\in C^1(\Omega )\), the gradient of f is the vector field locally defined as
Also, given any vector field \(X\in C^1(\Omega ,TM)\) locally written as \(X=\sum _{j=1}^n X_j\partial _j\), its divergence is given by
where \(\Gamma ^i_{jk}\) are the Christoffel symbols associated with the metric (5.1). The Laplace–Beltrami operator
is expressed locally as
We are interested in working with the Schrödinger operator
where the potential \(V\in L^\infty (M)\) is a real scalar-valued function.
The reader is reminded that the scale of \(L^2\)-based Sobolev spaces \(H^s(M)\) of fractional smoothness \(s\in {\mathbb {R}}\) on M may be defined in a natural fashion, via localization (using a smooth partition of unity subordinate to a finite cover of M with local coordinate charts) and pull-pack to the Euclidean model. This scale of spaces is then adapted to an open subset \(\Omega \) of M via restriction, by setting
In particular, \(H^0(\Omega )\) coincides with \(L^2(\Omega )\), the space of square-integrable functions with respect to the volume element \(d\mathcal {V}_{g}\) in \(\Omega \). For each \(s\in {\mathbb {R}}\) we also define
and equip the latter space with the norm inherited from \(H^s(\Omega )\).
Since bounded Lipschitz domains in the Euclidean setting are invariant under \(C^1\) diffeomorphisms (cf. [22]), this class may canonically be defined on the manifold M, using local coordinate charts. Given a Lipschitz domain \(\Omega \), it is then possible to define (again, in a canonical manner, via localization and pull-back) fractional Sobolev spaces on its boundary, \(H^s(\partial \Omega )\), for \(s\in [-1,1]\). In such a scenario one has
and \(H^0(\partial \Omega )\) coincides with \(L^2(\partial \Omega )\), the space of square-integrable functions with respect to the surface measure \(\sigma _{g}\) induced by the ambient Riemannian metric on \(\partial \Omega \). Moreover,
and
In the following the operator A in Sects. 3 and 4 will be the Schrödinger operator
To proceed, we fix a Lipschitz domain \(\Omega _{+}\subset M\) and denote
Then \(\Omega _{-}\) is also a Lipschitz domain, sharing a common compact boundary with \(\Omega _{+}\),
At the global level, it is important to note that A is selfadjoint in the Hilbert space \(\mathfrak {H}=L^2(M)\). The decomposition of \(M\backslash \mathcal {C}\) into the disjoint union of \(\Omega _{+}\) and \(\Omega _{-}\), induces a direct orthogonal sum decomposition of \(\mathfrak {H}\) into two Hilbert spaces \(\mathfrak {H}_+\) and \(\mathfrak {H}_-\), defined as \(\mathfrak {H}_\pm :=L^2(\Omega _\pm )\),
In the following functions on M will be identified with the pair of restrictions onto \(\Omega _+\) and \(\Omega _-\) and a vector notation will be used. For example, for \(f\in L^2(M)\) we shall also write \((f_+,f_-)^\top \), where \(f_\pm \in L^2(\Omega _\pm )\). This notation is in accordance with the notation in Sects. 3 and 4. Also, in the sequel we agree to abbreviate
For \(s\ge 0\) we define the Banach spaces
equipped with the norms \(\Vert \cdot \Vert _{H^s_\Delta (\Omega _\pm )}\) defined as
The minimal and maximal realizations of \(-\Delta _g+V_\pm \) in \(L^2(\Omega _\pm )\) are defined by
and
In the next lemma we collect some well-known properties of the operators \(S_{\min ,\pm }\) and \(S_{\max ,\pm }\). A proof of this lemma and some further properties of the minimal and maximal realization of \(-\Delta _g+V_\pm \) can be found, for instance, in [4].
Lemma 5.1
The operators \(S_{\min ,\pm }\) and \(S_{\max ,\pm }\) are densely defined and closed in \(L^2(\Omega _\pm )\). The operator \(S_{\min ,\pm }\) is symmetric, semibounded from below, and has infinite deficiency indices. Furthermore, \(S_{\min ,\pm }\) and \(S_{\max ,\pm }\) are adjoints of each other, that is,
Let \(\mathfrak {n}^\pm \in L^\infty (\mathcal {C},TM)\) be the outward unit normal vectors to \(\Omega _\pm \). One observes that in the present situation \(\mathfrak {n}^+=-\mathfrak {n}^-\). The Dirichlet and Neumann trace operators \(\tau ^\pm _D\) and \(\tau ^\pm _N\), originally defined by
for \(f_\pm \in C^\infty (\overline{\Omega _\pm })\), admit continuous linear extensions to operators
whose actions are compatible with one another, for all \(s\in [\tfrac{1}{2},\tfrac{3}{2}]\). We refer to [4] where it is also shown that
We wish to augment (5.28) with the following density result.
Lemma 5.2
The ranges of the mappings
are dense in \(L^2(\mathcal {C})\times L^2(\mathcal {C})\).
The proof of Lemma 5.2 requires some preparations. To get started, we fix two potentials \(0\le V^\pm _0\in C^\infty (M)\) which are not identically zero on M, and which vanish on \(\Omega _{+}\), and on \(\Omega _{-}\), respectively. Then (cf. [35, p. 27]) for each \(s\in [0,2]\), the operators
Furthermore, for each choice of sign, the said inverses act in a compatible fashion with one another. Abbreviating \(\mathcal {G}^\pm _0:=(-\Delta _g+V^\pm _0)^{-1}\) then yields two well-defined, linear, and bounded operators
The Schwartz kernels of these operators are distributions \(E^\pm _0\) on \(M\times M\) which are smooth outside of the diagonal \(\mathrm{diag}M:=\{(x,x):\,x\in M\}\). In particular, it makes sense to talk about pointwise values \(E^\pm _0(x,y)\) for \(x,y\in M\) with \(x\not = y\). Among other things, the functions \(E^\pm _0(\cdot ,\cdot )\in C^\infty \big ((M\times M)\backslash \mathrm{diag}M\big )\) satisfy
At this stage, we bring in the single and double layer potentials on Lipschitz domains on manifolds considered in [33,34,35]. Their actions on an arbitrary function \(\varphi \in L^2(\mathcal {C})\) are, respectively,
and
where \(\sigma _{g}\) is the surface measure induced by the ambient Riemannian metric on \(\mathcal {C}\). Let us also consider their boundary versions, that is, the singular integral operators acting on an arbitrary function \(\varphi \in L^2(\mathcal {C})\) according to
and
where \(\mathrm{P.V.}\) indicates that the integral is considered in the principal value sense (i.e., removing a small geodesic ball centered at the singularity and passing to the limit as its radius shrinks to zero). Work in [33,34,35] ensures that the following properties hold:
where I is the identity operator on \(L^2(\mathcal {C})\), and \((K_0^\pm )^*\) are the adjoints of the operators \(K_0^\pm \) in (5.40). After this preamble, we are ready to present the proof of Lemma 5.2.
Proof of Lemma 5.2
The density results claimed in the statement follow as soon as we establish that whenever two functions \(h_D,h_N\in L^2(\mathcal {C})\) satisfy
then necessarily \(h_D=0\) and \(h_N=0\). To this end, pick an arbitrary \(h\in L^2(\mathcal {C})\) and consider \(f_\pm :=\mathcal {S}^\pm _0 h\) in \(\Omega _{\pm }\). Then \(f_\pm \in H^{3/2}_\Delta (\Omega _{\pm })\) due to (5.42). Also, relying on (5.43) and the fact that, by design, the potentials \(V^\pm _0\) vanish in \(\Omega _\pm \), we may write \(\Delta _g f_\pm =(-\Delta _g+V^\pm _0)f_\pm =0\) in \(\Omega _\pm \). Granted these properties of \(f_\pm \), from (5.47), (5.45), (5.46), and (5.44), one concludes that
With this in hand, the arbitrariness of \(h\in L^2(\mathcal {C})\) then forces
Next, we pick two arbitrary functions \(\phi _\pm \in C^\infty _0(\Omega _\pm )\) and, this time, consider \(f_\pm :=\mathcal {G}_0^\pm \phi _\pm \) in \(\Omega _\pm \). Then (5.32) ensures that \(f_\pm \in H^2(\Omega _\pm )\). Given that, by design, \(V^\pm _0\) vanish in \(\Omega _\pm \), one also has \(\Delta _g f_\pm =(-\Delta _g+V^\pm _0)\mathcal {G}_0^\pm \phi _\pm =\phi _\pm \) in \(\Omega _\pm \). Having established these properties of \(f_\pm \), (5.47) implies that
Now we take a closer look at the two terms in the left-hand side of (5.51). For the first term we write
where the first equality uses the definition of \(E^{\pm }_0(x,y)\), the second equality is based on Fubini’s theorem, while the third equality is a consequence of (5.33) and (5.34). For the second term in (5.51) we compute
where the first equality relies on the definition of \(E^{\pm }_0(x,y)\), the second equality uses Fubini’s theorem, while the third equality is implied by (5.33) and (5.35).
Together, (5.51), (5.52), and (5.53) imply that
which, in view of the arbitrariness of \(\phi _\pm \in C^\infty _0(\Omega _\pm )\), forces
Applying \(\tau _D^\pm \) to both sides of (5.55) then yields, on account of (5.45) and (5.41),
The end-game in the proof of the lemma is as follows. Subtracting (5.56) from (5.50) proves that \(h_N=0\). Using this back into (5.56) leads to \(S^\pm _0h_D=0\) which, in light of the injectivity of the single layer operators in (5.44), shows that \(h_D=0\) as well. Hence, \(h_D=h_N=0\), as desired. \(\square \)
Going further, in the next theorem we define quasi boundary triples for \(S_{\max ,\pm }=\big (S_{\min ,\pm }\big )^*\) with the natural trace maps as boundary maps defined on the domain of the operators
in \(L^2(\Omega _{\pm })\). One recalls that
With this choice of boundary maps the values of the corresponding Weyl function are Dirichlet-to-Neumann maps (up to a minus sign).
Theorem 5.3
Let \(\Omega _\pm \) and \(T_\pm \) be as above, and let
Then \(\{L^2(\mathcal {C}),\Gamma ^\pm _0,\Gamma ^\pm _1\}\) are quasi boundary triples for \(T_\pm \subset S_{\max ,\pm }\) such that
In addition, the following statements (i)–(iii) hold:
-
(i)
The Dirichlet realizations \(A_{D,\pm }\) and the Neumann realizations \(A_{N,\pm }\) of \(-\Delta _g+V_\pm \) in \(L^2(\Omega _\pm )\) coincide with \(A_{0,\pm }=T\upharpoonright \ker (\Gamma ^\pm _0)\) and \(A_{1,\pm }=T\upharpoonright \ker (\Gamma ^\pm _1)\), respectively,
$$\begin{aligned} A_{D,\pm }&=T_\pm \upharpoonright \ker (\Gamma ^\pm _0)=(-\Delta _g+V_\pm )\upharpoonright \big \{f_\pm \in H^{3/2}_\Delta (\Omega _\pm )\,\big |\,\tau ^\pm _D f_\pm =0\big \}, \end{aligned}$$(5.61)$$\begin{aligned} A_{N,\pm }&=T_\pm \upharpoonright \ker (\Gamma ^\pm _1)=(-\Delta _g+V_\pm )\upharpoonright \big \{f_\pm \in H^{3/2}_\Delta (\Omega _\pm )\,\big |\,\tau ^\pm _N f_\pm =0\big \}, \end{aligned}$$(5.62)and both operators are self-adjoint in \(L^2(\Omega _\pm )\).
-
(ii)
The values \(\gamma _\pm (z):L^2(\mathcal {C})\supset H^1(\mathcal {C})\rightarrow L^2(\Omega _\pm )\) of the \(\gamma \)-fields are given by
$$\begin{aligned} \gamma _\pm (z)\varphi =f_\pm ,\quad \varphi \in H^1(\mathcal {C}), \quad z\in \rho (A_{D,\pm }), \end{aligned}$$(5.63)where \(f_\pm \in L^2(\Omega _\pm )\) are the unique solutions of the boundary value problems
$$\begin{aligned} f_\pm \in H^{3/2}_\Delta (\Omega _\pm ),\quad (-\Delta _g+V_\pm -z)f_\pm =0,\quad \tau ^\pm _D f_\pm =\varphi . \end{aligned}$$(5.64) -
(iii)
The values \(M_\pm (z):L^2(\mathcal {C})\supset H^1(\mathcal {C})\rightarrow L^2(\mathcal {C})\) of the Weyl functions are Dirichlet-to-Neumann maps, given by
$$\begin{aligned} M_\pm (z)\varphi =-\tau ^\pm _N f_\pm ,\quad \varphi \in H^1(\mathcal {C}), \quad z\in \rho (A_{D,\pm }), \end{aligned}$$(5.65)where \(f_\pm =\gamma _\pm (z)\varphi \) are the unique solutions of (5.64).
Proof
Let us verify the properties stipulated in Definition 2.1 in the current case. First, the abstract Green identity (2.1) presently corresponds to the second Green identity for the Schrödinger operator (5.10) on the Lipschitz domain \(\Omega \), proved in [4]. Second, the fact that \({{\mathrm{ran}}}(\Gamma _0^\pm ,\Gamma _1^\pm )^\top \) is dense in \(L^2(\mathcal {C})\times L^2(\mathcal {C})\) is readily implied by Lemma 5.2 [bearing in mind (5.21)]. Third, the self-adjointness of \(A_{0,\pm }=T_\pm \upharpoonright \ker (\Gamma _0^\pm )\) is clear from the fact that these operators coincide with the self-adjoint Dirichlet realizations of \(-\Delta _g+V_{\pm }\) in \(\Omega _{\pm }\) studied in [4].
Fourth, we focus on establishing that \({\overline{T}}_\pm =S_{\max ,\pm }\). In turn, since \(\mathrm{dom}(T_\pm )\) contains \(\mathrm{dom}(A_{D,\pm })+\mathrm{dom}(A_{N,\pm })\), this is going to be a consequence of the fact that
To prove (5.66), we assume that \(h\in \mathrm{dom}(S_{\max ,\pm })\) is such that
Then
and
Together, (5.68) and (5.69) prove that
Finally, from
one concludes that \(h=0\). Hence (5.66) holds, completing the proof of the fact that \({\overline{T}}_\pm =S_{\max ,\pm }\).
This shows that \(\{L^2(\mathcal {C}),\Gamma ^\pm _0,\Gamma ^\pm _1\}\) are indeed quasi boundary triples for \(T_\pm \). That \(T_\pm \subset S_{\max ,\pm }\) is clear from definitions, while (5.60) has been established in [4].
Thanks to work in [4], the assertions in (ii) and (iii) follow immediately from the definition of the \(\gamma \)-field and the Weyl function. We refer the interested reader to [4] for more details. Here we only wish to note that in the case of a bounded Lipschitz domain in the flat Euclidean setting (i.e., \({\mathbb {R}}^n\) equipped with the standard metric) a similar result has been established in [8, Theorem 4.1]. \(\square \)
In the following we establish the link to the coupling procedure discussed in Sect. 3. First of all we set \(\mathcal {H}:=L^2(\mathcal {C})\) so that the quasi boundary triples in Sect. 3 are those in Theorem 5.3. The operator S in (3.4) is the direct orthogonal sum of the minimal realizations \(S_{\min ,+}\) and \(S_{\min ,-}\),
and the boundary mappings in the quasi boundary triple \(\{L^2(\mathcal {C})\oplus L^2(\mathcal {C}),\Gamma _0,\Gamma _1\}\) in (3.7) are now given by
where \(f=(f_+,f_-)\in {{\mathrm{dom}}}(T)\) with \(T_{\pm }\), T given as in (5.57), (5.58). The self-adjoint operator corresponding to \(\ker (\Gamma _0)\) is the orthogonal sum of the Dirichlet operators \(A_{D,+}\) and \(A_{D,-}\) in \(L^2(\Omega _+)\) and \(L^2(\Omega _-)\), respectively,
The following lemma shows that the coupling of the quasi boundary triples \(\{L^2(\mathcal {C}),\Gamma ^+_0,\Gamma ^+_1\}\) and \(\{L^2(\mathcal {C}),\Gamma ^-_0,\Gamma ^-_1\}\) in Theorem 3.1 leads to the self-adjoint Schrödinger operator in (5.16).
Lemma 5.4
The operator
coincides with the self-adjoint operator A in (5.16).
Proof
Since any function \(f\in H^2(M)\) satisfies
and \(f_\pm \in H^2(\Omega _\pm )\subset H^{3/2}_\Delta (\Omega _\pm )={{\mathrm{dom}}}(T_\pm )\), it follows that \(H^2(M)={{\mathrm{dom}}}(A)\) is contained in the domain of the operator in (5.75). On the other hand, it follows from Theorem 3.1 (i) that the operator in (5.75) is symmetric, and hence self-adjoint (as it extends the self-adjoint operator A). \(\square \)
As an immediate consequence of the observation in Lemma 5.4 we obtain the next corollary. First, we note that the self-adjointness of the operator A in (5.16), Theorem 3.1, and the fact that
imply
where \(M_\pm \) are (minus) the Dirichlet-to-Neumann maps in (5.65).
Corollary 5.5
Let \(A_0\) be the orthogonal sum of the Dirichlet operators in (5.74), let \(M_\pm \) be the (minus) Dirichlet-to-Neumann maps in (5.65) and let \(\gamma \) be the orthogonal sum of the \(\gamma \)-fields in (5.63) [cf. (3.9)]. For all \(z \in \rho (A)\cap \rho (A_0)\), the resolvent of A is given by
where
In a similar way one obtains a representation for the resolvent of A from Theorem 3.3, where \((A- z I_{L^2(M)})^{-1}\) is compared with the orthogonal sum of the self-adjoint Dirichlet operator \(A_{D,+}\) in \(L^2(\Omega _+)\) and the self-adjoint Neumann operator \(A_{N,-}\) in \(L^2(\Omega _-)\).
Corollary 5.6
Let \(M_\pm \) be the (minus) Dirichlet-to-Neumann maps in (5.65) and let \(\gamma _\pm \) be the \(\gamma \)-fields in (5.63). For all \(z \in \rho (A)\cap \rho (A_{D,+})\cap \rho (A_{D,-}) \cap \rho (A_{N,-})\), the resolvent of A is given by
where
Our next aim is to illustrate the abstract third Green identity from Sect. 4 in the present context of Schrödinger operators on Lipschitz domains on smooth, boundaryless Riemannian manifolds. Since \({{\mathrm{dom}}}(A)=H^2(M)\) and the graph norm (4.2) is equivalent to the usual norm on the Sobolev space \(H^2(M)\) we have \(\mathfrak {H}_2=H^2(M)\) and hence the Gelfand triple in (4.5) is of the form
Using the notation in (4.7) we note that the mappings
are bounded, which is clearly in accordance (and also follows from) Lemma 4.2. Thus, the dual operators
are bounded. Moreover, under the additional assumption that
it has been proved in [35, p. 27] that
In such a scenario, if \(\mathcal {G}:H^{-2}(M)\rightarrow L^2(M)\) denotes the inverse of (5.88), it follows that
Then the (abstract) single and double layer potentials in (4.12) and (4.13) are given by
and
Moreover, if E(x, y) is the integral kernel of \(\mathcal {G}\), then the action of these abstract single and double layer potentials on a function \(\varphi \in L^2(\mathcal {C})\) may be explicitly written as
and
which are in agreement with (5.34), (5.35). Furthermore, the abstract jump relations in (4.14)–(4.15) are
As a consequence of the above considerations and Theorem 4.5 we obtain the following version of Green’s third identity for the Schrödinger operator \(-\Delta _g+V\) on M.
Theorem 5.7
With the fundamental solution operator \(\mathcal {G}\) in (5.89), the layer potentials in (5.90)–(5.91), and the jump relations in (5.94)–(5.95), one has
(i.e., \(f=(f_+,f_-)^\top \) with \(f_\pm \in H^{3/2}_\Delta (\Omega _\pm )\)).
In conclusion, we note that boundary triples for elliptic operators in an unbounded external domain \(\Omega _- \subset {\mathbb {R}}^n\), used as an illustration in the introduction, were studied, for instance, in [7, 28]. The third Green formula in this situation and its analog in connection with noncompact Riemannian manifolds M requires additional techniques to be discussed elsewhere.
References
Abramowitz, M., Stegun, I.A.: Handbook of Mathematical Functions. Dover, New York (1972)
Aronszajn, N.: A unique continuation theorem for solutions of elliptic partial differential equations or inequalities of second order. J. Math. Pures Appl. 36, 235–249 (1957)
Aronszajn, N., Krzywicki, A., Szarski, J.: A unique continuation theorem for exterior differential forms on Riemannian manifolds. Ark. Mat. 4, 417–453 (1962)
Behrndt, J., Gesztesy, F., Mitrea, M.: Sharp boundary trace theory and Schrödinger operators on bounded Lipschitz domains (in preparation)
Behrndt, J., Langer, M.: Boundary value problems for elliptic partial differential operators on bounded domains. J. Funct. Anal. 243, 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, vol. 404, pp. 121–160. Cambridge University Press, Cambridge (2012)
Behrndt, J., Langer, M., Lotoreichik, V.: Spectral estimates for resolvent differences of self-adjoint elliptic operators. Integral Equ. Oper. Theory 77, 1–37 (2013)
Behrndt, J., Micheler, T.: Elliptic differential operators on Lipschitz domains and abstract boundary value problems. J. Funct. Anal. 267, 3657–3709 (2014)
Behrndt, J., Rohleder, J.: An inverse problem of Calderón type with partial data. Commun. Part. Diff. Equ. 37, 1141–1159 (2012)
Berezanskiĭ, YuM: Selfadjoint Operators in Spaces of Functions of Infinitely Many Variables, Translations of Mathematical Monographs, vol. 63. American Mathematical Society, Providence, RI (1986)
Bruk, V.M.: On a class of problems with the spectral parameter in the boundary conditions. Mat. Sbornik 100, 210–216 (1976)
Costabel, M.: Boundary integral operators on Lipschitz domains: elementary results. SIAM J. Math. Anal. 19, 613–626 (1988)
Calkin, J.W.: Abstract symmetric boundary conditions. Trans. Am. Math. Soc. 45, 369–442 (1939)
Derkach, V.A., Hassi, S., Malamud, M.M., de Snoo, H.S.V.: Generalized resolvents of symmetric operators and admissibility. Methods Funct. Anal. Topol. 6, 24–53 (2000)
Derkach, V.A., Hassi, S., Malamud, M.M., de Snoo, H.S.V.: Boundary relations and their Weyl families. Trans. Am. Math. Soc. 358, 5351–5400 (2006)
Derkach, V.A., Hassi, S., Malamud, M.M., de Snoo, H.S.V.: Boundary relations and generalized resolvents of symmetric operators. Russ. J. Math. Phys. 16, 17–60 (2009)
Derkach, V.A., Hassi, S., Malamud, M.M., de Snoo, H.S.V.: Boundary triplets and Weyl functions. Recent developments. In: Hassi, S., de Snoo, H.S.V., Szafraniec, F.H. (eds.) Operator Methods for Boundary Value Problems. London Mathematical Society Lecture Note Series, vol. 404, pp. 161–220. Cambridge University Press, Cambridge (2012)
Derkach, V.A., Malamud, M.M.: Generalized resolvents and the boundary value problems for Hermitian operators with gaps. J. Funct. Anal. 95, 1–95 (1991)
Derkach, V.A., Malamud, M.M.: The extension theory of Hermitian operators and the moment problem. J. Math. Sci. 73, 141–242 (1995)
Filonov, N.: Second-order elliptic equation of divergence form having a compactly supported solution. J. Math. Sci. (N Y) 106, 3078–3086 (2001)
Gorbachuk, V.I., Gorbachuk, M.L.: Boundary Value Problems for Operator Differential Equations. Kluwer, Dordrecht (1991)
Hofmann, S., Mitrea, M., Taylor, M.: Geometric and transformational properties of Lipschitz domains, Semmes-Kenig-Toro domains, and other classes of finite perimeter domains. J. Geom. Anal. 17, 593–647 (2007)
Jerison, D., Kenig, C.E.: Unique continuation and absence of positive eigenvalues for Schrödinger operators. Ann. Math. (2) 121, 463–494 (1985)
John, F.: Partial Differential Equations Applied Mathematical Sciences, vol. 1, 4th edn. Springer, New York (1982)
Koch, H., Tataru, D.: Carleman estimates and unique continuation for second-order elliptic equations with nonsmooth coefficients. Commun. Pure Appl. Math. 54, 339–360 (2001)
Koch, H., Tataru, D.: Sharp counterexamples in unique continuation for second order elliptic equations. J. Reine Angew. Math. 542, 133–146 (2002)
Kochubei, A.N.: Extensions of symmetric operators and symmetric binary relations. Math. Notes 17, 25–28 (1975)
Malamud, M.M.: Spectral theory of elliptic operators in exterior domains. Russ. J. Math. Phys. 17, 96–125 (2010)
McLean, W.: Strongly Elliptic Systems and Boundary Integral Equations. Cambridge University Press, Cambridge (2000)
Mitrea, D., Mitrea, I., Mitrea, M., Taylor, M.: The Hodge–Laplacian: Boundary Value Problems on Riemannian Manifolds, Studies in Mathematics, vol. 64. De Gruyter, Boston (2016)
Mitrea, D., Mitrea, M., Taylor, M.: Layer Potentials, the Hodge Laplacian and Global Boundary Problems in Non-Smooth Riemannian Manifolds, vol. 150, No. 713. Memoirs of the American Mathematical Society, Providence, RI (2001)
Mitrea, I., Mitrea, M.: Multi-Layer Potentials and Boundary Problems for Higher-Order Elliptic Systems in Lipschitz Domains. Lecture Notes in Mathematics, vol. 2063. Springer, Berlin (2013)
Mitrea, M., Taylor, M.: Boundary layer methods for Lipschitz domains in Riemannian manifolds. J. Funct. Anal. 163, 181–251 (1999)
Mitrea, M., Taylor, M.: Potential theory on Lipschitz domains in Riemannian manifolds: Hölder continuous metric tensors. Comm. Partial Diff. Equ. 25, 1487–1536 (2000)
Mitrea, M., Taylor, M.: Potential theory on Lipschitz domains in Riemannian manifolds: Sobolev–Besov space results and the Poisson problem. J. Funct. Anal. 176, 1–79 (2000)
Rellich, F.: Darstellung der Eigenwerte von \(\Delta u + \lambda u = 0\) durch ein Randintegral. Math. Z. 46, 635–636 (1940)
Taylor, M.: Partial Differential Equations, 2nd ed., vol. I–III. Springer, Berlin 1996 (2011)
Wolff, T.H.: Recent work on sharp estimates in second-order elliptic unique continuation problems. J. Geom. Anal. 3, 621–650 (1993)
Acknowledgements
We are indebted to Mark Ashbaugh, Damir Kinzebulatov, and Michael Pang for very helpful discussions.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Ari Laptev.
J. B. gratefully acknowledges financial support by the Austrian Science Fund (FWF), Project P 25162-N26; M. M. is indebted to the Simons Foundation for support under Grant No. 281566; V. D. is indebted to the Fulbright Fund for support under Grant No. 68130028.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Behrndt, J., Derkach, V., Gesztesy, F. et al. Coupling of symmetric operators and the third Green identity. Bull. Math. Sci. 8, 49–80 (2018). https://doi.org/10.1007/s13373-017-0105-x
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s13373-017-0105-x
Keywords
- Symmetric operators
- Self-adjoint extensions
- Generalized resolvents
- Boundary triples
- Weyl–Titchmarsh functions
- Schrödinger operator
- Lipschitz domain