Abstract
We produce a simple criterion and a constructive recipe to identify those self-adjoint extensions of a lower semi-bounded symmetric operator on Hilbert space which have the same lower bound as the Friedrichs extension. Applications of this abstract result to a few instructive examples are then discussed.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Motivation
We start with a familiar example. In the Hilbert space \({\mathcal {H}}=L^2(0,1)\) let us consider the densely defined, closed, and symmetric operator
S is actually the operator closure of the negative Laplacian defined on \(C^\infty _0(0,1)\). Here and in the following \({\mathcal {D}}(R)\) denotes the domain of the operator R acting on \({\mathcal {H}}\), and if R is symmetric we denote by
the largest lower bound of R. When \({\mathfrak {m}}(R)>-\infty \) one says that R is semi-bounded from below. Poincaré inequality implies that S is semi-bounded from below with
Now, S is symmetric but not self-adjoint, for
Thus, S admits a multiplicity (in fact, a four-real-parameter family) of distinct self-adjoint extensions, which are all restrictions of \(S^*\). Among them, the Friedrichs extension \(S_F\) is the one with domain
namely the Dirichlet (negative) Laplacian. Let us recall that abstractly speaking the Friedrichs extension of a lower semi-bounded symmetric operator S is the only self-adjoint extension of S with the property
that is, with operator domain contained in the form domain of S. Here and in the following \({\mathcal {D}}[R]\) denotes the form domain of a lower semi-bounded symmetric operator R, or also of a self-adjoint operator R (see, e.g., [11, Chapt. 10]); in the present case
and obviously \({\mathcal {D}}[S]={\mathcal {D}}[S_F]\). It is also a general property of the Friedrichs extension the fact that \(S_F\geqslant {\widetilde{S}}\) for any other \({\widetilde{S}}={\widetilde{S}}^*\supset S\), namely \(S_F\) is the largest of all the self-adjoint extensions of S in the sense of operator form ordering.
As well known, as follows from (1.5), \(S_F\) is diagonalizable over an orthonormal basis \(\{\sqrt{2}\sin n\pi x\,|\,n\in {\mathbb {N}}\}\) of eigenfunctions, with (simple and pure point) spectrum
Thus,
which actually expresses a completely general fact: the Friedrichs extension of a lower semi-bounded operator preserves the lower bound. Whereas self-adjoint extensions of S cannot increase the lower bound, in general they decrease it. For instance, in the example under consideration, the extension \(S_P\) with periodic boundary conditions, namely with domain
has spectrum
Yet, the extension \(S_A\) with anti-periodic boundary conditions, namely with
does preserve the lower bound of S. Indeed,
This occurrence is well known: a lower semi-bounded symmetric operator may admit self-adjoint extensions other than the Friedrichs, with the same bottom of the Friedrichs spectrum. Actually this is not typical of symmetric operators with deficiency index 2 only, as was the case for S here. In Sect. 3 also examples with deficiency indices 1 will be recalled and discussed. By standard direct sum, these examples also cover the case of infinite deficiency indices.
Now, while the possibility of non-Friedrichs self-adjoint extensions with the same Friedrichs lower bound is folk knowledge, we are not aware of an explicit operator-theoretic explanation of this phenomenon, nor of a characterisation in terms of transparent conditions which, once they are met, allow to construct all extensions with such a feature.
In this note we present a simple criterion and a constructive recipe to identify those self-adjoint extensions of a lower semi-bounded symmetric operator on Hilbert space which have the same lower bound as the Friedrichs extension. The abstract main results, Theorems 2.4, 2.5, and 2.6 below, are discussed in Sect. 2, and illustrative concrete examples where such results can be applied to are then presented in Sect. 3.
2 Abstract Results
Let \({\mathcal {H}}\) be a Hilbert space (over \({\mathbb {R}}\) or \({\mathbb {C}}\), with scalar product \(\langle \cdot ,\cdot \rangle \) anti-linear in the first entry, and with norm \(\Vert \,\Vert \)) and let S be a densely defined, symmetric, semi-bounded operator on \({\mathcal {H}}\) with lower bound \({\mathfrak {m}}(S)\). S in not necessarily closed. For clarity of the presentation we shall assume non-restrictively \({\mathfrak {m}}(S)>0\). This implies that \(S_F^{-1}\) is everywhere defined and bounded on \({\mathcal {H}}\). It will be clear both from this abstract discussion and from the applications in Sect. 3 that the case of general finite \({\mathfrak {m}}(S)\) can be covered by suitably shifting S to \(S-\mu \mathbb {1}\) with \(\mu <{\mathfrak {m}}(S)\).
Unless such S is already essentially self-adjoint, it admits non-trivial self-adjoint extensions. In this case \(\ker S^*\), the deficiency space for S, is non-trivial either. Standard extension schemes produce convenient classifications of the whole family of extensions. It can be shown within the modern theory of boundary triplets [2], or equivalently the classical ‘universal’ parametrization by Grubb [7], and in fact the very original extension theory by Kreĭn [9], Višik [12], and Birman [3], that the extensions of S can be labelled as follows.
Theorem 2.1
There is a one-to-one correspondence between the family of all self-adjoint extensions of S on \({\mathcal {H}}\) and the family of the self-adjoint operators on Hilbert subspaces of \(\ker S^*\).
-
(i)
If T is any such operator, in the correspondence \(T\leftrightarrow S_T\) each self-adjoint extension \(S_T\) of S is given by
$$\begin{aligned} \begin{aligned} S_T\;&=\;S^*\upharpoonright {\mathcal {D}}(S_T) \\ {\mathcal {D}}(S_T)\;&=\;\left\{ f+S_F^{-1}(Tv+w)+v\left| \!\! \begin{array}{c} f\in {\mathcal {D}}({\overline{S}})\,,\;v\in {\mathcal {D}}(T) \\ w\in \ker S^*\cap {\mathcal {D}}(T)^\perp \end{array}\!\! \right. \right\} . \end{aligned} \end{aligned}$$(2.1) -
(ii)
If \(S_T\) is a semi-bounded (not necessarily positive) self-adjoint extension of S, then
$$\begin{aligned} {\mathcal {D}}[T]\;=\; {\mathcal {D}}[S_T]\,\cap \,\ker S^* \end{aligned}$$(2.2)and
$$\begin{aligned} \begin{aligned} {\mathcal {D}}[S_T]\;&=\;{\mathcal {D}}[S_F]\,\dotplus \,{\mathcal {D}}[T] \\ S_T[f+v,f'+v']\;&=\;S_F[f,f']\,+\,T[v,v'] \\&\quad \,\,\forall f,f'\in {\mathcal {D}}[S_F],\;\forall v,v'\in {\mathcal {D}}[T]\,. \end{aligned} \end{aligned}$$(2.3)As a consequence,
$$\begin{aligned} S_{T_1}\,\geqslant \,S_{T_2}\qquad \Leftrightarrow \qquad T_1\,\geqslant \,T_2\,. \end{aligned}$$(2.4) -
(iii)
If \({\mathfrak {m}}(T)>-{\mathfrak {m}}(S)\), then
$$\begin{aligned} {\mathfrak {m}}(T)\;\geqslant \; {\mathfrak {m}}(S_T)\;\geqslant \;\frac{{\mathfrak {m}}(S) \,{\mathfrak {m}}(T)}{{\mathfrak {m}}(S)+{\mathfrak {m}}(T)}\,. \end{aligned}$$(2.5)
Theorem 2.1 collects results that are proved, e.g., in [8, Chapt. 13], [11, Chapt. 14], and [5, Sect. 3].
For convenience, let us denote by \({\mathcal {S}}({\mathcal {K}})\) the collection of all self-adjoint operators defined in Hilbert subspaces of a given Hilbert space \({\mathcal {K}}\): Theorem 2.1 states that the self-adjoint extensions of S are all of the form \(S_T\) for some \(T\in {\mathcal {S}}(\ker S^*)\).
The Friedrichs extension of S can be expressed in terms of the classical decomposition formula (see, e.g., [5, Sect. 2.2])
Therefore, \(S_F\) is recovered from the general parametrisation (2.1) or (2.3) with the choice \({\mathcal {D}}[T]=\{0\}\) (thus, formally, “\(T=\infty \)”).
An ancillary result that tends to be somehow less highlighted, but which is most relevant for our discussion, is the following.
Theorem 2.2
If, with respect to the notation of (2.1), \(S_T\) is a self-adjoint extension of S, and if \(\mu <{\mathfrak {m}}(S)\), then
As an immediate consequence, Theorem 2.2 reproduces the inequality \({\mathfrak {m}}(T)\geqslant {\mathfrak {m}}(S_T)\) for any semi-bounded \(S_T\) and shows, in particular, that positivity or strict positivity of the bottom of \(S_T\) is equivalent to the same property for T, that is,
To make this presentation self-contained, and for later convenience, let us deduce Theorem 2.2 from Theorem 2.1. To this aim, let us first single out a simple operator-theoretic property.
Lemma 2.3
If A is a self-adjoint operator on a Hilbert space \({\mathcal {H}}\) with positive bottom (\({\mathfrak {m}}(A)>0\)), then
Proof
Setting \(g:=A^{1/2}f\) one has
and since \(|\langle g,A^{-1/2}h\rangle |\) attains its maximum for \(g=A^{-1/2}h/\Vert A^{-1/2}h\Vert \), the conclusion then follows. \(\square \)
Proof of Theorem 2.2
For generic \(f\in {\mathcal {D}}(S_F)\) and \(v\in {\mathcal {D}}(T)\), one has \(g:=f+v\in {\mathcal {D}}(S_T)\) and
Thus, \(S_T\geqslant \mu \mathbb {1}\) is tantamount as requiring for all such g’s that
whence also, replacing \(f\mapsto \lambda f\), \(v\mapsto \gamma v\),
Since \(\mu <{\mathfrak {m}}(S)\), and hence \(\langle f,S_F f\rangle -\mu \Vert f\Vert ^2> 0\), last inequality holds true if and only if
for arbitrary \(f\in {\mathcal {D}}(S_F)\) and \(v\in {\mathcal {D}}(T)\). By re-writing (*) as
and by the fact that the above inequality is valid for arbitrary \(f\in {\mathcal {D}}(S_F)\) and hence holds true also when the supremum over such f’s is taken, Lemma 2.3 then yields
which completes the proof. \(\square \)
With these abstract results at hand, let us now turn to the identification of the non-Friedrichs extensions with the same Friedrichs lower bound.
It is worth observing that inequality (2.5) is not informative in this respect: indeed, owing to (2.5), a sufficient condition for the bottom of \(S_T\) to equal the bottom of \(S_F\) would be to impose \({\mathfrak {m}}(S){\mathfrak {m}}(T)/({\mathfrak {m}}(S)+{\mathfrak {m}}(T))\geqslant {\mathfrak {m}}(S)\), but such inequality is only satisfied, in the form of an identity, when \({\mathfrak {m}}(T)=\infty \), therefore the above sufficient condition only selects \(S_T=S_F\), the Friedrichs extension.
We rather focus on (2.7) from Theorem 2.2. There, the operator \(S_F-\mu \mathbb {1}\) is invertible with everywhere bounded inverse on the whole \({\mathcal {H}}\): indeed, \(\mu <{\mathfrak {m}}(S)\) and then \({\mathfrak {m}}(S_F-\mu \mathbb {1})>0\). Instead, \(S_F-{\mathfrak {m}}(S)\mathbb {1}\) fails to be invertible on \({\mathcal {H}}\), because its bottom is by construction equal to zero.
The informal idea now is that even if \((S_F-{\mathfrak {m}}(S)\mathbb {1})^{-1}\) cannot be defined as a bounded operator on the whole \({\mathcal {H}}\), yet it makes sense on \(\text {ran}(S_F-{\mathfrak {m}}(S)\mathbb {1})\), and if it happens that the latter space has a non-trivial intersection with \(\ker S^*\), then there are non-zero vectors \(v\in \text {ran}(S_F-{\mathfrak {m}}(S)\mathbb {1})\cap \ker S^*\) on which \(\langle v,(S_F-{\mathfrak {m}}(S)\mathbb {1})^{-1}v\rangle \) is unambiguously defined and hence the right-hand side of the second expression in (2.7) is meaningful also when \(\mu ={\mathfrak {m}}(S)\). Moreover, if on such v’s one can define an operator \(T\in {\mathcal {S}}(\ker S^*)\) satisfying (2.7) when \(\mu ={\mathfrak {m}}(S)\), then by suitably exploiting the limit \(\mu \uparrow {\mathfrak {m}}(S)\) this should give a characterisation of the condition \({\mathfrak {m}}(S_T)\geqslant {\mathfrak {m}}(S)\), which is equivalent to \({\mathfrak {m}}(S_T)= {\mathfrak {m}}(S)\), as \(S_F\geqslant S_T\), the Friedrichs extension is the largest of all self-adjoint extensions of S.
By elaborating on such idea we finally come to our main results, Theorems 2.4, 2.5, and 2.6 below.
Clearly, underlying (2.7) is the quadratic form language, so the actual operator to possibly invert in some subspace of \(\ker S^*\) is rather \((S_F-{\mathfrak {m}}(S)\mathbb {1})^{1/2}\), a positive self-adjoint operator with zero lower bound.
In this respect, as \(S_F\) is self-adjoint on \({\mathcal {H}}\), and so is \(S_F-{\mathfrak {m}}(S)\mathbb {1}\) with lower bound zero, then upon decomposing
the negative powers \((S_F-{\mathfrak {m}}(S)\mathbb {1})^{-\delta }\), \(\delta >0\), are naturally defined as self-adjoint operators on the Hilbert subspace \(\overline{\text {ran}(S_F-{\mathfrak {m}}(S)\mathbb {1})}\), or also on the whole \({\mathcal {H}}\) upon extension by zero on \(\ker (S_F-{\mathfrak {m}}(S)\mathbb {1})\).
In the first statement we characterise the occurrence of non-Friedrichs extensions with the same Friedrichs lower bound.
Theorem 2.4
Let S be a densely defined and symmetric operator on a given Hilbert space \({\mathcal {H}}\) with lower bound \({\mathfrak {m}}(S)>0\). Necessary and sufficient condition for S to admit self-adjoint extensions other then the Friedrichs extensions and with the same lower bound \({\mathfrak {m}}(S)\) is that
In the applications both \(\ker S^*\) and \(\text {ran}(S_F-{\mathfrak {m}}(S)\mathbb {1})^{1/2}\) are in general spaces that one can qualify rather explicitly. Thus, condition (2.9) is practically manageable and qualifies the operator-theoretic mechanism for non-Friedrichs extensions with the Friedrichs lower bound. In Sect. 3 we shall give examples of that.
Our next result concerns the actual recipe to construct such extensions, when (2.9) is matched, thus in practice how to identify the corresponding extension parameters T in \({\mathcal {S}}(\ker S^*)\). We shall use the customary notation of square brackets for the domain \({\mathcal {D}}[q]\) of a quadratic form q on \({\mathcal {H}}\) and for the evaluation q[v] on elements of its domain; as usual, we shall denote by \(q[v_1,v_2]\) the evaluation of the corresponding sesquilinear form defined by polarisation.
Theorem 2.5
Same assumptions as in Theorem 2.4, and assume further that condition (2.9) is satisfied.
-
(i)
The expression
$$\begin{aligned} \begin{aligned} {\mathcal {D}}[q]\;&:=\;\text {ran}(S_F-{\mathfrak {m}}(S)\mathbb {1})^{\frac{1}{2}}\cap \ker S^* \\ q[v]\;&:=\;{\mathfrak {m}}(S)\Vert v\Vert ^2+{\mathfrak {m}}(S)^2\big \Vert (S_F-{\mathfrak {m}}(S)\mathbb {1})^{-\frac{1}{2}}v\big \Vert ^2\,. \end{aligned} \end{aligned}$$(2.10)defines a symmetric, closed, and strictly positive quadratic form q.
-
(ii)
Let \(T_q\) be the operator on the Hilbert subspace \(\overline{{\mathcal {D}}[q]}\) uniquely associated with q. Then \(T_q\in {\mathcal {S}}(\ker S^*)\).
-
(iii)
For any \(T\in {\mathcal {S}}(\ker S^*)\) with \(T\geqslant T_q\), the corresponding self-adjoint extension \(S_T\) of S (Theorem 2.1) has the property
$$\begin{aligned} {\mathfrak {m}}(S_T)\;=\;{\mathfrak {m}}(S)\,. \end{aligned}$$(2.11) -
(iv)
Any self-adjoint extension \(S_T\) of S satisfying (2.11) corresponds to an extension parameter \(T\in {\mathcal {S}}(\ker S^*)\) with \(T\geqslant T_q\).
By definition, in (2.10) the vector \(u_\circ =(S_F-{\mathfrak {m}}(S)\mathbb {1})^{-\frac{1}{2}}v\) is the minimal norm solution \(u=u_\circ \) to \((S_F-{\mathfrak {m}}(S)\mathbb {1})^{\frac{1}{2}}u=v\).
In view of the general classification of Theorem 2.1, the above results admit a natural corollary that it is worth stating as a separate theorem. It is convenient to introduce the meaningful terminology ‘top extensions’ for all those \(S_T\)’s with \({\mathfrak {m}}(S_T)={\mathfrak {m}}(S)\) (in particular, \(S_F\) is a top extension), and ‘least-top extension’ for the extension \(S_{LT}:=S_{T_q}\).
Theorem 2.6
Same assumptions as in Theorem 2.4. Each top extension \(S^{\text {top}}\) of S satisfies
in the sense of operator form ordering. Each such extension is of the form \(S^{\text {top}}=S_T\) for some \(T\in {\mathcal {S}}(\ker S^*)\) with \(T\geqslant T_q\), where \(T_q\) is qualified in Theorem 2.5(ii), and they are all ordered with T in the sense of (2.4).
Proof
(Proof of Theorem 2.4, necessity part)
Let \(S_T\) be a self-adjoint extension of S, labelled by some \(T\in {\mathcal {S}}(\ker S^*)\), with the property \({\mathfrak {m}}(S_T)={\mathfrak {m}}(S_F)\) and \(S_T\ne S_F\). Let \((\mu _n)_{n\in {\mathbb {N}}}\) be an increasing sequence of real numbers such that \(\mu _n<{\mathfrak {m}}(S)\) \(\forall n\) and \(\mu _n\rightarrow {\mathfrak {m}}(S)\) as \(n\rightarrow \infty \). Since \(S_T\geqslant \mu _n\mathbb {1}\), Theorem 2.2 implies
for every \(v\in {\mathcal {D}}(T)\), whence
In fact, for each v the sequence of square norms \(\Vert (S_F-\mu _n\mathbb {1})^{-\frac{1}{2}} v\Vert ^2\) is monotone increasing. For, if \({\mathfrak {m}}(S)>\mu '>\mu \), then
where \(\nu _v\) is the scalar spectral measure of the self-adjoint operator \(S_F\) relative to the vector v. Therefore,
As the latter conclusion is tantamount as
then by monotone convergence the function \(\lambda \mapsto (\lambda -{\mathfrak {m}}(S))^{-1}\) is \(\nu _v\)-summable. Thus, \(\Vert (S_F-{\mathfrak {m}}(S)\mathbb {1})^{-\frac{1}{2}} v\Vert ^2<+\infty \), whence \(v\in \text {ran}(S_F-{\mathfrak {m}}(S)\mathbb {1})^{\frac{1}{2}}\).
On the other hand, since by assumption \(S_T\) is a self-adjoint extension of S distinct from \(S_F\), then by definition of extension parameter T one has that \({\mathcal {D}}(T)\) is a non-trivial subspace of \(\ker S^*\). Summarising,
and therefore \(\text {ran}(S_F-{\mathfrak {m}}(S)\mathbb {1})^{\frac{1}{2}}\cap \ker S^*\) is non-trivial. \(\square \)
Corollary 2.7
As a consequence of the necessity statement of Theorem 2.4, for each self-adjoint extension \(S_T\) of S with \({\mathfrak {m}}(S_T)={\mathfrak {m}}(S)\) one has
Proof
The inclusion for \({\mathcal {D}}(T)\) was already proved. Next, as a follow-up of the reasoning of the previous proof, let us observe that for each \(v\in {\mathcal {D}}(T)\) one has
Indeed,
by dominated convergence. Therefore, one can take the limit \(n\rightarrow \infty \) in the inequality
thus obtaining the second line of (2.13). \(\square \)
Proof
(Proof of Theorem 2.5 and of Theorem 2.4, sufficiency part)
(i) The fact that (2.10) defines a symmetric quadratic form with strictly positive lower bound is obvious. As for q being closed, let us show that if \((v_n)_{n\in {\mathbb {N}}}\) is a sequence in \({\mathcal {D}}[q]\) with \(v_n\rightarrow v\) and \(q[v_n-v_m]\rightarrow 0\) as \(n,m\rightarrow \infty \), then \(v\in {\mathcal {D}}[q]\) and \(q[v_n-v]\rightarrow 0\). This is indeed equivalent to saying that q is closed (see, e.g., [11, Prop. 10.1]). Now, the above assumption on \((v_n)_{n\in {\mathbb {N}}}\) implies
for some \(v\in {\mathcal {H}}\). As \((S_F-{\mathfrak {m}}(S)\mathbb {1})^{-\frac{1}{2}}\) is self-adjoint and hence closed, this implies
A first conclusion, since \(\ker S^*\) is closed in \({\mathcal {H}}\) and hence \(v\in \ker S^*\) as well, is that \(v\in \text {ran}( (S_F-{\mathfrak {m}}(S)\mathbb {1})^{\frac{1}{2}})\cap \ker S^*={\mathcal {D}}[q]\). As further conclusion, since \(v_n\rightarrow v\) and \((S_F-{\mathfrak {m}}(S)\mathbb {1})^{-\frac{1}{2}}v_n\rightarrow (S_F-{\mathfrak {m}}(S)\mathbb {1})^{-\frac{1}{2}}v\) in \({\mathcal {H}}\), one has \(q[v_n-v]\rightarrow 0\). Part (i) of Theorem 2.5 is thus proved.
(ii) As q is densely defined in the Hilbert subspace \(\overline{{\mathcal {D}}[q]}\), and it is symmetric, closed, and semi-bounded from below, then q uniquely identifies a self-adjoint operator \(T_q\) on \(\overline{{\mathcal {D}}[q]}\) defined by
(see, e.g., [11, Theorem 10.7]). Since \({\mathcal {D}}[q]\subset \ker S^*\) and \(\ker S^*\) is closed in \({\mathcal {H}}\), then \(\overline{{\mathcal {D}}[q]}\subset \ker S^*\), thus proving that \(T_q\in {\mathcal {S}}(\ker S^*)\). This establishes part (ii) of Theorem 2.5.
(iii) Let \(T\in {\mathcal {S}}(\ker S^*)\) with \(T\geqslant T_q\). This means that \({\mathcal {D}}(T)\subset {\mathcal {D}}(T_q)\) and
for every \(v\in {\mathcal {D}}(T)\). Consider now an arbitrary \(\mu <{\mathfrak {m}}(S)\). With the very same argument used in the proof of the necessity part of Theorem 2.5 one sees that
whence
for all \(v\in {\mathcal {D}}(T)\). Owing to Theorem 2.2, the self-adjoint extension \(S_T\) of S parametrised by the considered T is such that \(S_T\geqslant \mu \mathbb {1}\). By the arbitrariness of \(\mu \), one concludes that \(S_T\geqslant {\mathfrak {m}}(S)\mathbb {1}\), whence \({\mathfrak {m}}(S_T)={\mathfrak {m}}(S)\). Unless “\(T=\infty \)” (in the sense \({\mathcal {D}}[T]=\{0\}\)), all other choices for T identifies non-Friedrichs extensions. This completes the proof of part (iii) of Theorem 2.5. At the same time, this proves that assumption (2.9) in Theorem 2.4 allows one to construct non-Friedrichs extensions with the same Friedrichs lower bound. Thus also the sufficiency statement of Theorem 2.4 is established.
(iv) Last, let \(S_T\) be a self-adjoint extension of S with \({\mathfrak {m}}(S_T)={\mathfrak {m}}(S)\). The necessity statement of Theorem 2.4 implies that the intersection \(\text {ran}(S_F-{\mathfrak {m}}(S)\mathbb {1})^{\frac{1}{2}}\cap \ker S^*\) is non-trivial, so one can define the form q and the operator \(T_q\in {\mathcal {S}}(\ker S^*)\) as in parts (i) and (ii) of Theorem 2.5. Owing to Corollary 2.7,
This means precisely that \(T\geqslant T_q\). \(\square \)
3 Applications
Let us discuss now a few instructive examples of application of Theorems 2.4 and 2.5. We present examples with deficiency index equal to two (Sect. 3.1) and one (Sects. 3.2, 3.3, 3.4), and we cover also the edge case in which the sub-family of top extensions consists of the Friedrichs extension only (Sect. 3.4).
3.1 Schrödinger Quantum Particle on an Interval
Let us revisit in more systematic terms the example presented in Sect. 1. The operator S has deficiency index equal to 2, and explicitly
The operator \(S_F-\pi ^2\mathbb {1}\) fails to be invertible on the whole \({\mathcal {H}}=L^2(0,1)\) because it has a non-trivial kernel:
As \((S_F-\pi ^2\mathbb {1})\) is diagonalised as above over an orthonormal basis of eigenfunctions, its powers \((S_F-\pi ^2\mathbb {1})^{\delta }\) and \((S_F-\pi ^2\mathbb {1})^{-\delta }\), with \(\delta >0\), are qualified by their action on the same basis of eigenfunctions, with eigenvalues given by the corresponding powers of the eigenvalues of \((S_F-\pi ^2\mathbb {1})\); the negative powers are clearly only defined on the Hilbert subspace \(\overline{\text {ran}(S_F-\pi ^2\mathbb {1})}=\{\sin \pi x\}^\perp \). Therefore,
Lemma 3.1
One has
and
Proof
In order for a generic element \(a{\mathbf {1}}+bx\in \ker S^*\), with \(a,b\in {\mathbb {C}}\), to belong to \(\text {ran}(S_F-\pi ^2\mathbb {1})^{\frac{1}{2}}\), owing to (3.2)–(3.3) it must be
whence \(b=-2a\). Thus \(g\in V\) implies \(g=a({\mathbf {1}}-2x)\) for some \(a\in {\mathbb {C}}\). Next, one has to check that \({\mathbf {1}}-2x\in \text {ran}(S_F-\pi ^2\mathbb {1})^{\frac{1}{2}}\). This is the same as \({\mathbf {1}}-2x\in \text {ran}(S_F-\pi ^2\mathbb {1})\) , that is,
This is equivalent to saying that u is the minimal norm solution to the boundary value problem
By standard ODE methods one finds that the general solution is
thus the minimal norm solution is the one with \(B=0\). This proves that the function \(u_\circ :=\pi ^{-2}\big (\cos \pi x-{\mathbf {1}}+2x\big )\in {\mathcal {D}}(S_F)\) satisfies \((S_F-\pi ^2\mathbb {1})u_\circ ={\mathbf {1}}-2x\), thus completing the proof of (3.4) and (3.5). \(\square \)
As the intersection space (3.4) is non-trivial, Theorem 2.4 ensures that S admits non-Friedrichs self-adjoint extensions with the same Friedrichs lower bound. This is consistent with what discussed in the introduction: \({\mathfrak {m}}(S_F)={\mathfrak {m}}(S_A)\), Friedrichs and anti-periodic extension have the same lower bound.
It is instructive to apply the constructive recipe of Theorem 2.5 so as to identify all such extensions. With the notation therein,
thus \(T_q\) is an operator of multiplication by some real number \(t_q\),
Since
(having used (3.5) in the third step and \(\Vert {\mathbf {1}}-2x\Vert _2^2=\frac{1}{3}\) in the last step), then necessarily \(t_q=12\).
Theorem 2.5, in parts (iii) and (iv), then states that the self-adjoint extensions \(S_T\) of S with \({\mathfrak {m}}(S_T)={\mathfrak {m}}(S_F)\) are those labelled by self-adjoint operators T with \(T\geqslant T_q\). Such T’s, apart from the one parametrising the Friedrichs extension, are therefore such that
Keeping into account, as is immediate to check, that
the extension \(S_T\) for each T satisfying (3.8) has domain given by formula (2.1) of Theorem 2.1, that is,
The action of the everywhere defined and bounded operator \(S_F^{-1}\) on the subspace \(\ker S^*=\text {span}\{{\mathbf {1}},x\}\) is easily computed by solving a boundary value problem completely analogous to the one considered in the proof of Lemma 3.1. The result (as found, e.g., in [5, Eq. (91)]) is
Thus,
Formula (3.12), for each fixed \(t\geqslant 12\), identifies those self-adjoint extensions of S different from the Friedrichs extension, but with the same lower bound. In order to identify the boundary condition of self-adjointness satisfied by a generic element \(g\in {\mathcal {D}}(S_T)\) for each extension of type (3.12), we compute the boundary values
and re-write
It was indeed convenient to cast (3.13) in the form (3.14) because the latter can be more easily matched with the general conditions of self-adjointness of the extensions of S, as we shall now do.
We refer to the following very standard result, obtained for example by exploiting Theorem 2.1 for all possible extension parameters (see, e.g., [11, Example 14.10]), or equivalently by means of the alternative extension scheme a la von Neumann applied to S (see, e.g., [6, Sect. 6.2.3.1]).
Proposition 3.2
The family of self-adjoint extensions on \(L^2(0,1)\) of the operator S defined in (1.1) consists of restrictions of \(S^*\), and hence of operators of the form \(-\frac{\text {d}^2}{\text {d}x^2}\), to domains of \(H^2(0,1)\)-functions g satisfying boundary conditions of one of the following four classes:
where \(c\in {\mathbb {C}}\) and \(b_1,b_2\in {\mathbb {R}}\) and qualify each extension.
Remark 3.3
With reference to the general formula (2.1), extensions of type (3.15) correspond to the case in which \(\dim {\mathcal {D}}(T)=2\), extensions of type (3.16) or (3.17) correspond to \(\dim {\mathcal {D}}(T)=1\), and the extension of type (3.18) is the Friedrichs extension, \(\dim {\mathcal {D}}(T)=0\).
By direct comparison between (3.14) and (3.15)–(3.18) we see that (3.14) can only be of type (3.16) with
We have thus proved the following.
Proposition 3.4
The non-Friedrichs self-adjoint extensions on \(L^2(0,1)\) of the operator S defined in (1.1) which preserve the Friedrichs lower bound \({\mathfrak {m}}(S)=\pi ^2\) are all those operators acting as \(-\frac{\text {d}^2}{\text {d}x^2}\) on \(H^2(0,1)\)-functions g with boundary condition
for fixed \(b\geqslant 0\). Each b qualifies one of such extensions, with a one-to-one correspondence. Such extensions are ordered with increasing b. The choice \(b=0\) corresponds to anti-periodic boundary conditions.
The application of Theorems 2.4 and 2.5 thus allowed for a fast identification of all non-Friedrichs extensions with Friedrichs lower bound of the minimally defined Laplacian on [0, 1], which would have otherwise required a tedious computation, by means of (3.15)–(3.18), of all the discrete spectra of the various extensions, in order to select those with bottom equal to \(\pi ^2\).
For completeness, here is how the direct check would have proceeded. Let us limit the analysis to the eigenvalue problem for a generic self-adjoint extension of type (3.16) with the choice (3.19), namely
for fixed \(t\in {\mathbb {R}}\). g must be of the form \(g(x)=A\cos \sqrt{\lambda }x+B\sin \sqrt{\lambda }x\), \(A,B\in {\mathbb {C}}\), and for sure the pairs \((g,\lambda )\) with
solve (3.21), showing that all such extensions have the eigenvalues \((2n+1)^2 \pi ^2\), \(n \in {\mathbb {N}}_0\), in common. The remaining (i.e., non-\(\sin \)-only) solutions to (3.21) are obtained imposing \(B\ne 0\), and it is then simple to conclude that the admissible \(\lambda \)’s are the (t-dependent) roots of
(and understanding the above trigonometric functions as hyperbolic functions when \(\lambda <0\)). As \(F(\lambda )\) increases with \(\lambda \) in all intervals in which it is defined, and \(F(\pi ^2)=12\), one deduces that only for \(t\geqslant 12\) the admissible \(\lambda \)’s selected by (3.23) satisfy \(\lambda \geqslant \pi ^2\) (see Fig. 1). The spectrum thus determined from (3.22) and (3.23) indeed confirms, by direct inspection, what found in Prop. 3.4 by means of our Theorem 2.5.
3.2 Schrödinger Quantum Particle in \({\mathbb {R}}^3\) with Point Interaction
This is an example with deficiency index equal to 1. With respect to the Hilbert space \({\mathcal {H}}=L^2({\mathbb {R}}^3)\) we consider the operator
\({\widetilde{S}}\) is densely defined and symmetric, with \({\mathfrak {m}}({\widetilde{S}})=0\).
The self-adjoint extensions of \({\widetilde{S}}\) are Hamiltonians for a quantum particle in three dimensions subject to a point interaction supported at \(x=0\), and they are very well studied and understood.
Theorem 3.5
[See, e.g., [1, Chapt. I.1].]
-
(i)
\({\widetilde{S}}\) has unit deficiency index. The Friedrichs extension of \({\widetilde{S}}\) is the self-adjoint (negative) Laplacian on \(L^2(0,1)\) with domain \(H^2(0,1)\). All other self-adjoint extensions of \({\widetilde{S}}\) form the family \(\{-\Delta _{\alpha }\,|\,\alpha \in {\mathbb {R}}\}\), where
$$\begin{aligned} \begin{aligned} {\mathcal {D}}(-\Delta _\alpha )\;&=\;\left\{ g=\phi +\frac{\phi (0)}{\alpha +\frac{1}{4\pi }} G_1 \,\Big |\,\phi \in H^2({\mathbb {R}}^3)\right\} \\ (-\Delta _\alpha +\mathbb {1})g\;&=\;(-\Delta +\mathbb {1})\phi \end{aligned} \end{aligned}$$(3.25)and
$$\begin{aligned} G_1\;:=\;(2\pi )^{\frac{3}{2}}\frac{\,e^{-|x|}}{\,4\pi |x|\,}\,. \end{aligned}$$(3.26) -
(ii)
For each \(\alpha \in {\mathbb {R}}\),
$$\begin{aligned} \sigma _{\text {ess}}(-\Delta _\alpha )\;=\;\sigma _{\text {ac}}(-\Delta _\alpha )\;=\;[0,+\infty )\,,\qquad \sigma _{\text {sc}}(-\Delta _\alpha )\;=\;\emptyset \,, \end{aligned}$$(3.27)and
$$\begin{aligned} \sigma _{\text {p}}(-\Delta _\alpha )\;=\; {\left\{ \begin{array}{ll} \qquad \emptyset &{} \text {if }\alpha \in [0,+\infty ] \\ \{-(4\pi \alpha )^2\} &{} \text {if }\alpha \in (-\infty ,0)\,. \end{array}\right. } \end{aligned}$$(3.28)The negative eigenvalue \(-(4\pi \alpha )^2\), when it exists, is simple and the corresponding eigenfunction is \(|x|^{-1}e^{4\pi \alpha |x|}\).
We see from Theorem 3.5 that \({\widetilde{S}}\) admits a collection of non-Friedrichs extensions with Friedrichs lower bound, and precisely
In order to recover such a conclusion from the abstract setting of Sect. 2, let us consider
Clearly, \({\mathfrak {m}}(S)=1\). The self-adjoint extensions of \({\widetilde{S}}\) and of S then only differ by a trivial shift. As we intend to analyse the extensions of S within the extension scheme of Theorem 2.1, rather than using von Neumann’s extension theorem as in [1], let us follow closely the discussion made in [10, Sect. 3], were indeed the Kreĭn-Višik-Birman scheme was employed.
We shell denote, respectively, by \(\;\widehat{}\;\) and the Fourier and inverse Fourier transform \(L^2({\mathbb {R}}^3,\text {d}x)\rightarrow L^2({\mathbb {R}}^3,\text {d}p)\) with the convention
In particular,
It is possible to prove the following.
Theorem 3.6
[10, Sect. 3]
-
(i)
S has deficiency space
$$\begin{aligned} \ker S^*\;=\; \text {span}\{G_1\}\,. \end{aligned}$$(3.32) -
(ii)
The Friedrichs extension of S is the operator
$$\begin{aligned} \begin{aligned} {\mathcal {D}}(S_F)\;&=\;\left\{ g\in L^2({\mathbb {R}}^3)\left| \begin{array}{c} {\widehat{g}}={\widehat{f}}+(p^2+1)^{-1}\eta \\ f\in {\mathcal {D}}({\overline{S}})\,,\,\eta \in {\mathbb {C}} \end{array} \!\!\right. \right\} \\ \widehat{S_F g}\;&=\;(p^2+1){\widehat{g}}\,. \end{aligned} \end{aligned}$$(3.33) -
(iii)
All other self-adjoint extensions of S are of the form \(S_t\) for some \(t\in {\mathbb {R}}\), where
$$\begin{aligned} \begin{aligned} {\mathcal {D}}(S_t)\;&=\;\left\{ g\in L^2({\mathbb {R}}^3)\left| \begin{array}{c} {\widehat{g}}={\widehat{f}}+(p^2+1)^{-2}t\xi +(p^2+1)^{-1}\xi \\ f\in {\mathcal {D}}({\overline{S}})\,,\,\xi \in {\mathbb {C}} \end{array} \!\!\right. \right\} \\ \widehat{S_t g}\;&=\;(p^2+1)\big ({\widehat{f}}+(p^2+1)^{-2}t\xi \big )\,. \end{aligned} \end{aligned}$$(3.34)This is precisely formula (2.1) of Theorem 2.1 specialised to the case where \(\ker S^*\) is one-dimensional and T is therefore the operator of multiplication by the real number t.
-
(iv)
One has
$$\begin{aligned} S_t\;=\;-\Delta _\alpha +\mathbb {1}\qquad \text {for}\qquad \alpha \;=\;\frac{t-2}{8\pi }\,. \end{aligned}$$(3.35)
Clearly, \(S_F-{\mathfrak {m}}(S)\mathbb {1}=S_F-\mathbb {1}={\widetilde{S}}_F\), the self-adjoint (negative) Laplacian on \(L^2({\mathbb {R}}^3)\). Therefore, unlike the example discussed in Sect. 3.1,
\(S_F-\mathbb {1}\) is then invertible on its range and so are the powers \((S_F-\mathbb {1})^\delta \), \(\delta >0\). On such a space, \((S_F-\mathbb {1})^{-\delta }\) acts, in Fourier transform, as the multiplication by \(|p|^{-2\delta }\).
The analogue of Lemma 3.1 is now the following.
Lemma 3.7
One has
and
Proof
The fact that \(G_1\in \ker S^*\) is stated in Theorem 3.6(i). As
and
hence \(G_1\in \text {ran}(S_F-\mathbb {1})^{\frac{1}{2}}\). V can be at most one-dimensional, thus (3.37) is proved, and so is (3.38) as well. \(\square \)
Owing to Lemma 3.7, Theorem 2.4 is applicable: S admits non-Friedrichs extensions with Friedrichs lower bound, and so does therefore \({\widetilde{S}}\), consistently with what previously observed in (3.29).
Furthermore, with the notation of Theorem 2.5,
thus \(T_q\) is an operator of multiplication by some real number \(t_q\),
Since
(having used (3.38) in the second identity), then necessarily \(t_q=2\).
Theorem 2.5, in parts (iii) and (iv), then states that the self-adjoint extensions \(S_T\) of S with \({\mathfrak {m}}(S_T)={\mathfrak {m}}(S_F)\) are those labelled by self-adjoint operators T with \(T\geqslant T_q\). Such T’s, apart from the one parametrising the Friedrichs extension, are therefore such that
For what argued in Theorem 3.6(iii), such extensions are precisely the operators \(S_t\) that one reads out from formula (3.34) with \(t\geqslant 2\). In turn, the correspondence formula (3.35) leads to the conclusion that the self-adjoint extensions of \({\widetilde{S}}\) with Friedrichs lower bound are precisely those \(-\Delta _\alpha \)’s with \(\alpha \geqslant 0\).
3.3 Radial Problem in Hydrogenoid-Like Hamiltonians
It is worth mentioning another example with unit deficiency index, even without working out here the steps through which Theorems 2.4 and 2.5 are applied, which are in fact completely analogous to the computations of Sects. 3.1 and 3.2.
For given \(\nu \in {\mathbb {R}}\), let us now consider
a densely defined and symmetric operator on the Hilbert space \({\mathcal {H}}=L^2({\mathbb {R}}^+)\) with lower bound \({\mathfrak {m}}(S_\nu )=0\). One typical emergence of \(S_\nu \) in mathematical physics is as the minimally defined zero-momentum radial operator in the construction of a quantum hydrogenoid Hamiltonian with an additional point interaction at the center of the Coulomb potential: \(S_\nu \) is indeed well known and thoroughly studied, and we refer to [4, Sect. 1.4] and references therein for an updated historical overview.
Hardy’s inequality implies that \(S_\nu \) is lower semi-bounded, and in particular obviously
(repulsive Coulomb interaction). A standard limit-point limit-circle argument shows that \(S_\nu \) has unit deficiency index. Its self-adjoint extensions are studied in the literature by means of various extension schemes, including recently in [4] by means of the general Theorem 2.1 above.
Theorem 3.8
[4, Theorems 2 and 4].
-
(i)
The self-adjoint extensions of \(S_\nu \) in \(L^2({\mathbb {R}}^+)\) form the family \(\{S_\nu ^{(\alpha )}\,|\,\alpha \in {\mathbb {R}} \cup \{\infty \}\}\), where \(\alpha =\infty \) labels the Friedrichs extension, and
$$\begin{aligned} \begin{aligned} {\mathcal {D}}(S_\nu ^{(\alpha )})\;&=\;\left\{ g\in L^2({\mathbb {R}}^+)\left| \begin{array}{c} -g''+\textstyle {\frac{\nu }{r}g}\in L^2({\mathbb {R}}^+) \\ \text {and }\;g_1\;=\;4\pi \alpha \, g_0 \end{array}\! \right. \right\} \\ S_\nu ^{(\alpha )}\,g\;&=\;-g''+\frac{\nu }{r}\,g\,, \end{aligned} \end{aligned}$$(3.44)\(g_0\) and \(g_1\) being the existing limits
$$\begin{aligned} \begin{aligned} g_0\;&:=\;\lim _{r\downarrow 0}g(r) \\ g_1\;&:=\;\lim _{r\downarrow 0}r^{-1}\big (g(r)-g_0(1+\nu r\ln r)\big )\,. \end{aligned} \end{aligned}$$(3.45) -
(ii)
For \(\nu >0\) one has
$$\begin{aligned} \sigma _{\text {ess}}(S_\nu ^{(\alpha )})\;=\;\sigma _{\text {ac}}(S_\nu ^{(\alpha )})\;=\;[0,+\infty )\,,\qquad \sigma _{\text {sc}}(S_\nu ^{(\alpha )})\;=\;\emptyset \,, \end{aligned}$$(3.46)and
$$\begin{aligned} \sigma _{\text {p}}(S_\nu ^{(\alpha )})\;=\; {\left\{ \begin{array}{ll} \quad \; \emptyset &{} \text {if }\,\alpha \geqslant \alpha _\nu \\ \{E_+^{(\nu ,\alpha )}\} &{} \text {if }\,\alpha <\alpha _\nu \,, \end{array}\right. } \end{aligned}$$(3.47)where
$$\begin{aligned} \alpha _\nu \;:=\;\frac{\nu }{4\pi }\,(\ln \nu +2\gamma -1) \end{aligned}$$(3.48)(\(\gamma \sim 0.577\) being the Euler-Mascheroni constant) and \(E_+^{(\nu ,\alpha )}\) is the only simple negative root of \({\mathfrak {F}}_\nu (E)=\alpha \) with
$$\begin{aligned} {\mathfrak {F}}_\nu (E)\;:=\;\frac{\nu }{4\pi }\Big (\psi \big (1+{\textstyle \frac{\nu }{2\sqrt{|E|}}}\big )+ \ln (2 \sqrt{|E|}) +2\gamma - 1 - {\textstyle \frac{\sqrt{|E|}}{\nu }} \Big ) \end{aligned}$$(3.49)(\(\psi (z)=\Gamma '(z)/\Gamma (z)\) being the digamma function).
When \(\nu >0\) Theorem 3.8 thus shows that
yet another example of the presence of a sub-class of non-Friedrichs extensions with Friedrichs lower bound.
Also on this example it is easy to test the applicability of our Theorems 2.4-2.5. As done in Sect. 3.2, since \({\mathfrak {m}}(S_\nu )=0\), a positive shift must be performed first. For similar purposes the analysis of the shifted operator
and of its self-adjoint extensions was worked in [4, Sect. 2], which we refer to for the details. The special value of the shift (3.51) was chosen in [4] in order to be able to solve the ODE \({\mathcal {S}}_\nu ^*u=0\) by means of special functions, this way characterising explicitly the deficiency space \(\ker {\mathcal {S}}_\nu ^*\). The Friedrichs extension \({\mathcal {S}}_{\nu ,F}\) of \({\mathcal {S}}_\nu \) was also characterised in [4, Sect. 2]. This provides all the ingredients to investigate the intersection (2.9) and apply Theorems 2.4 and 2.5 so as to reproduce (3.50).
3.4 Schrödinger Quantum Particle on an Interval, Continued
In this last example let us show how our abstract results apply also to the edge case in which no other self-adjoint extension has the same bottom as the Friedrichs’.
Acting on the Hilbert space \({\mathcal {H}}=L^2(0,1)\), let us consider the densely defined and symmetric operator
Again by Poincaré inequality, S is semi-bounded from below with \({\mathfrak {m}}(S)=\pi ^2\).
It is standard to see that S is a symmetric extension of the operator considered in Sect. 3.1, but now with unit deficiency index, with deficiency subspace
and with Friedrichs extension \(S_F\) given exactly by the already considered operator (1.5). Thus, (3.2)–(3.3) above apply, and therefore the spanning function \({\mathbf {1}}-x\) cannot belong to \( \text {ran}(S_F-\pi ^2\mathbb {1})^{\frac{1}{2}}=\text {ran}(S_F-\pi ^2\mathbb {1})=\{\sin \pi x\}^\perp \), for
The conclusion is then
Theorem 2.4 then predicts that \(S_F\) is the only self-adjoint extension of S with lower bound \(\pi ^2\).
For an independent direct check of the latter conclusion, one can argue that the one-parameter family of self-adjoint extensions of S consists of negative Laplacians on \(H^2\)-functions g subject to the condition (3.16) with \(c=0\) and \(b_1 \in {\mathbb {R}}\), i.e.,
The corresponding eigenvalue problem, namely the analogue of (3.21) now with the boundary condition (3.56), is solved by the roots \(\lambda \in {\mathbb {R}}\) of
for given \(b_1\in {\mathbb {R}}\) that qualifies each extension (and understanding (3.57) in terms of the hyperbolic tangent when \(\lambda <0\)). One easily sees (Fig. 2) that (3.57) always admits a solution \(\lambda <\pi ^2={\mathfrak {m}}(S_F)\), and only asymptotically for \(b_1\rightarrow +\infty \) does the smallest root approach \(\pi ^2\), thus proving that each such extension is strictly lower that \(S_F\).
References
Albeverio, S., Gesztesy, F., Høegh-Krohn, R., Holden, H.: Solvable Models in Quantum Mechanics, Texts and Monographs in Physics. Springer, New York (1988)
Behrndt, J., Hassi, S., de Snoo, H.: Boundary value problems, Weyl functions, and differential operators. Monographs in Mathematics, vol. 108. Birkhäuser/Springer, Cham (2020)
Birman, M v: On the theory of self-adjoint extensions of positive definite operators. Mat. Sb. N.S. 38(80), 431–450 (1956)
Gallone, M., Michelangeli, A.: Hydrogenoid spectra withcentral perturbations. Rep. Math. Phys. 84, 215–243 (2019)
Gallone, M., Michelangeli, A., Ottolini, A.: Kreĭn-Višik-Birman self-adjoint extension theory revisited, SISSA preprint 25/2017/MATE (2017)
Gitman, D.M., Tyutin, I.V., Voronov, B.L.: Self-adjoint extensions in quantum mechanics, vol. 62 of progress in mathematical physics, Birkhäuser/Springer, New York, 2012. General theory and applications to Schrödinger and Dirac equations with singular potentials
Grubb, G.: A characterization of the non-local boundary value problems associated with an elliptic operator. Ann. Scuola Norm. Sup. Pisa 22(3), 425–513 (1968)
Grubb, G.: Distributions and Operators, vol. 252 of Graduate Texts in Mathematics. Springer, New York (2009)
Kreĭn, M.G.: The theory of self-adjoint extensions of semi-bounded Hermitian transformations and its applications I. Rec. Math. [Mat. Sbornik] N.S. 20(62), 431–495 (1947)
Michelangeli, A., Ottolini, A.: On point interactions realised as Ter–Martirosyan–Skornyakov Hamiltonians. Rep. Math. Phys. 79, 215–260 (2017)
Schmüdgen, K.: Unbounded self-adjoint operators on Hilbert space. Graduate Texts in Mathematics, vol. 265. Springer, Dordrecht (2012)
Višik, M.I.: On general boundary problems for elliptic differential equations. Trudy Moskov. Mat. Obšč. 1, 187–246 (1952)
Funding
Open access funding provided by Università degli Studi di Milano within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Daniel Aron Alpay.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Partially supported by the Istituto Nazionale di Alta Matematica (INdAM) and the Alexander von Humboldt foundation.
This article is part of the topical collection “Spectral Theory and Operators in Mathematical Physics” edited by Jussi Behrndt, Fabrizio Colombo and Sergey Naboko.
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
Gallone, M., Michelangeli, A. Self-Adjoint Extensions with Friedrichs Lower Bound. Complex Anal. Oper. Theory 14, 73 (2020). https://doi.org/10.1007/s11785-020-01032-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11785-020-01032-z