Abstract:

We consider an abstract sequence $\{A_{n}\}_{n=1}^{\infty}$ of closed symmetric operators on a separable Hilbert space $\mathcal{H}$. It is assumed that all $A_{n}$’s have equal deficiency indices $(k,k)$ and thus self-adjoint extensions $\{B_{n}\}_{n=1}^{\infty}$ exist and are parametrized by partial isometries $\{U_{n}\}_{n=1}^{\infty}$ on $\mathcal{H}$ according to von Neumann’s extension theory. Under two different convergence assumptions on the $A_{n}$’s we give the precise connection between strong resolvent convergence of the $B_{n}$’s and strong convergence of the $U_{n}$’s.

thm]Theorem thm]Lemma thm]Lemma thm]Proposition thm]Proposition thm]Corollary thm]Corollary thm]Definition thm]Definition

Convergence of operators with deficiency indices $(k,k)$ and of their self-adjoint extensions

August Bjerg

Department of Mathematical Sciences, University of Copenhagen,

Universitetsparken 5, DK-2100 Copenhagen Ø, Denmark

1 Introduction

We investigate in the following the notion of strong resolvent convergence of sequences of self-adjoint extensions of already specified (unbounded) closed symmetric operators on a Hilbert space. For the general theory on these topics we refer to [2] VIII and [1] X and introduce now the framework in which we will be working for the present section as well as for Section 3 where our main results are found. In Section 2 we treat also more general operators than considered here.

Consider a symmetric and closed operator $A$ on an infinite dimensional separable Hilbert space $\mathcal{H}$ defined on a dense subspace $D(A)$. The kernels $\mathcal{H}_{\mp}:=Z(A^{*}\pm i)$ are the deficiency subspaces and the pair $(\dim\mathcal{H}_{+},\dim\mathcal{H}_{-})$ is the deficiency indices. We assume that the latter are equal and finite, i.e. $(\dim\mathcal{H}_{+},\dim\mathcal{H}_{-})=(k,k)$ for some $k=1,2,\dots$ (however, see Remark Remark). This implies, cf. [1] Theorem X.2, that $A$ has self-adjoint extensions, and moreover any self-adjoint extension $B$ of $A$ is given by the rule

$$D(B)=\{\phi_{0}+\phi_{+}+U\phi_{+}\mathrel{|}\phi_{0}\in D(A),\;\phi_{+}\in\mathcal{H}_{+}\},$$

$$B(\phi_{0}+\phi_{+}+U\phi_{+})=A\phi_{0}+i\phi_{+}-iU\phi_{+}$$

where $U\colon\mathcal{H}_{+}\to\mathcal{H}_{-}$ is a unitary map which can be extended to a partial isometry on all of $\mathcal{H}$ by letting $U\phi=0$ for $\phi\in[\mathcal{H}_{+}]^{\perp}$. Conversely, all extensions of $A$ of this form are self-adjoint.

We introduce now sequences $\{A_{n}\}_{n=1}^{\infty}$ and $\{B_{n}\}_{n=1}^{\infty}$ of such operators. That is, the $A_{n}$’s are densely defined, symmetric and closed operators on $\mathcal{H}$ with deficiency subspaces $\mathcal{H}_{\pm}^{n}$ and deficiency indices $(k,k)$ independent of $n$, and $B_{n}$ is a self-adjoint extension of $A_{n}$ defined by a unitary map $U_{n}\colon\mathcal{H}_{+}^{n}\to\mathcal{H}_{-}^{n}$ (which can all, once again, be considered as partial isometries on $\mathcal{H}$) as described above for each $n$. In this set-up we think of $A$, $B$ and $U$ as limiting operators of the sequences of $A_{n}$’s, $B_{n}$’s and $U_{n}$’s respectively, and our main goal will be to examine the interplay between the convergence of these sequences. A very natural question is for example whether we can obtain results along the lines of

"Suppose $$A_{n}\to A B_{n}\to B U_{n}\to U$$. Then if and only if ." (1)

Of course one needs here to specify which notions of convergences we involve in this statement for it to be mathematically interesting. For the purposes of this note we focus on strong convergence of operators on Hilbert spaces. Hence, $U_{n}\to U$ should be understood as usual strong convergence of bounded operators and $B_{n}\to B$ as strong resolvent convergence of self-adjoint unbounded operators, i.e. as strong convergence of $(B_{n}+i)^{-1}$ towards $(B+i)^{-1}$ – for an introduction to the topic and an explanation why this is in some sense the only "right" way of extending the concept of strong convergence to self-adjoint unbounded operators, see [2] VIII.7. For the $A_{n}$’s, however, we cannot use this generalized version of strong convergence since these are not self-adjoint.

This issue will be addressed in Section 2. Once this theoretical framework is in place, we will gradually progress towards presenting statements of the form (1) in Corollaries Corollary and Corollary. Finally, an exposition on the optimality of these results – in particular of the latter – is included for completeness.

Example .

As a final note before diving into technical details we mention the structure of a class of motivational examples that illuminates why we even care to search for results like (1).

Consider a sequence $\{\widetilde{A}_{n}\}_{n=1}^{\infty}$ of explicitly given symmetric differential operators on an open subset $\Omega$ of $\mathbb{R}^{d}$ defined on $D(\widetilde{A}_{n})=C_{c}^{\infty}(\Omega)$. Now the usual way to realize $\widetilde{A}_{n}$ as a self-adjoint operator on $L^{2}(\Omega)=\mathcal{H}$ is the following: Let $A_{n}$ be the closure of $\widetilde{A}_{n}$ for each $n$ and if this is not already self-adjoint extend it by the above procedure to some self-adjoint operator $B_{n}$. Here we have an example where the sequence $\{A_{n}\}_{n=1}^{\infty}$ is concretely described and not often subject to change. It describes not only how the $A_{n}$’s but also (through the $A_{n}^{*}$’s) how the $B_{n}$’s act on their domain, and often it will not be to difficult to prove that $A_{n}\to A$ for some $A$ in an appropriate sense. We suppose that this convergence has been established. Moreover, natural examples of sequences of this form will in most cases satisfy the crucial property that all the operators have the same deficiency indices. The deficiency subspaces will be parts of solutions spaces of differential equations and usually the $U_{n}$’s will be simple maps between such spaces. Hence, in this case, strong convergence of the $U_{n}$’s is a property which is a lot easier to handle than the full strong resolvent convergence of the $B_{n}$’s.

Now one can envision a couple of situations: If a sequence of $B_{n}$’s is known, (1) could help us determine a self-adjoint extension $B$ of $A$ so that $B_{n}\to B$ in the strong resolvent sense. One needs only to find the strong limit of the $U_{n}$’s (if this exists) and use this to extend $A$. If the strong limit of the $U_{n}$’s does not exists then the result will conversely tell us that the $B_{n}$’s do not converge towards any self-adjoint extension of $A$. On the other hand it could be that $B$ was a fixed self-adjoint extension of $A$ and the result could in the same manner be used to find a sequence of $B_{n}$’s which extends the $A_{n}$’s and converge towards $B$ in the strong resolvent sense – or whether such sequence exists at all. $\scriptstyle\blacktriangle$

2 Strong graph convergence and convergence of graph projections

Now some candidates for types of convergences for the $A_{n}$’s in (1) are treated. Along the way we introduce the machinery needed for both formulating and proving our main results. Firstly we need to introduce a particular notion of convergence of subspaces of a Hilbert space.

Definition.

Let $\{V_{n}\}_{n=1}^{\infty}$ be a sequence of subspaces of a Hilbert space $\mathcal{H}$. The subspace

$$V_{\infty}:=\Big{\{}x\in\mathcal{H}\mathrel{\Big{|}}\begin{subarray}{c}\text{There exists a sequence $\{x_{n}\}_{n=1}^{\infty}\subseteq\mathcal{H}$ with}\\ \text{$x_{n}\in V_{n}$ for each $n$ so that $x_{n}\to x$ as $n\to\infty$}\end{subarray}\Big{\}}$$

is called the strong limit of $\{V_{n}\}_{n=1}^{\infty}$ and we write $V_{n}\to V_{\infty}$ strongly.  $\square$

One should not be misled by the fact that we call this type of convergence "strong". We note that any sequence of subspaces has a limit in the above sense (although it might be the trivial $0$-subspace), and hence this way of converging cannot be a particularly strong one. The word "strong" merely refers to the fact that $\{x_{n}\}_{n=1}^{\infty}$ should converge towards $x$ strongly, i.e. with respect to the Hilbert space norm.

Another notion of convergence of sequences of closed subspaces of a Hilbert space is that of the orthogonal projections onto these converging strongly towards the orthogonal projection onto a limiting subspace. In fact, this is generally a stronger notion of convergence of subspaces than the above "strong" convergence.

Lemma.

Let $\{V_{n}\}_{n=1}^{\infty}$ be a sequence of closed subspaces of a Hilbert space $\mathcal{H}$ and denote the orthogonal projections onto these by $\{P_{n}\}_{n=1}^{\infty}$. Denote similarly by $P$ the orthogonal projection onto another subspace $V\subseteq\mathcal{H}$.

• $V$ is contained in the strong limit of $\{V_{n}\}_{n=1}^{\infty}$ if and only if $P_{n}x\to x=Px$ for all $x\in V$.

• If $P_{n}\to P$ strongly then $V$ is the strong limit of $\{V_{n}\}_{n=1}^{\infty}$.

 $\square$

Proof.

(a): Assume on the one hand that $V$ is contained in the strong limit of $\{V_{n}\}_{n=1}^{\infty}$. Then, for any $x\in V$, there exists a sequence $\{x_{n}\}_{n=1}^{\infty}\subseteq\mathcal{H}$ with $x_{n}\in V_{n}$ for all $n$ so that $x_{n}\to x$. Hence, $\lVert P_{n}x-x\rVert\leq\lVert x_{n}-x\rVert\longrightarrow 0$ as needed. The other implication is clear if one considers the sequence $\{P_{n}x\}_{n=1}^{\infty}$ for each $x\in V$.

(b): Assume $P_{n}\to P$ strongly and denote by $V_{\infty}$ the strong limit of $\{V_{n}\}_{n=1}^{\infty}$. By (a) we need only to argue that $V_{\infty}\subseteq V$ or equivalently $V^{\perp}\subseteq V_{\infty}^{\perp}$. However, if $y\in V^{\perp}$ then for any $x\in V_{\infty}$ we can choose a sequence $\{x_{n}\}_{n=1}^{\infty}\subseteq\mathcal{H}$ as for the $x$ in (a) and obtain

$$\langle y,x\rangle=\lim_{n\to\infty}\langle(1-P_{n})y,x_{n}\rangle=0$$

proving $y\in V_{\infty}^{\perp}$ as needed.  $\square$

Remark.

While Lemma Lemma(b) shows that convergence of projections is a stronger type of convergence than "strong" convergence in the sense of Definition Definition, the following example shows that it is actually strictly stronger – a fact which will be important later on.

Consider a sequence $\{V_{n}\}_{n=1}^{\infty}$ of subspaces of a Hilbert space $\mathcal{H}$ of the form $V_{n}=[\mathbb{C}x_{n}]^{\perp}$ where $x_{n}\in\mathcal{H}$ is of unit length and denote by $V_{\infty}$ the strong limit of this sequence. Suppose that $x_{n}=x_{0}$ is fixed for $n$ odd and $x_{n}=y_{n}$ for $n$ even where $\{y_{n}\}_{n=1}^{\infty}$ is a sequence which is weekly convergent towards $0$. Now $x_{0}\notin V_{\infty}$ since for $n$ odd we have $\operatorname{dist}(V_{n},x_{0})=1$. If, however, $x\in[\mathbb{C}x_{0}]^{\perp}$ then we can consider the sequence $z_{n}$ which is $x\in V_{n}$ for $n$ odd and $x-\langle y_{n},x\rangle y_{n}\in V_{n}$ for $n$ even. As $\langle y_{n},x\rangle\to 0$ we see that $z_{n}\to x$ proving $x\in V_{\infty}$. We conclude that $V_{\infty}=[\mathbb{C}x_{0}]^{\perp}$.

On the the other hand the orthogonal projections $P_{n}$ onto the $V_{n}$’s do not converge strongly at all. In particular $P_{n}x_{0}$ is $0$ for $n$ odd and $x_{0}-\langle y_{n},x_{0}\rangle y_{n}\to x_{0}$ for $n$ even.  $\square$

Letting operators once again enter the picture we can now easily define a notion of convergence of any sequence of operators on a Hilbert space: The strong graph convergence which is also treated in [2] VIII.7.

Definition.

Let $\{A_{n}\}_{n=1}^{\infty}$ be any sequence of operators on a fixed Hilbert space $\mathcal{H}$. If the graphs $\operatorname{Gr}(A_{n})$ converge strongly towards the graph $\operatorname{Gr}(A)$ of some operator $A$ on $\mathcal{H}$ as subspaces of $\mathcal{H}\oplus\mathcal{H}$ then we say that $A$ is the strong graph limit of the $A_{n}$’s and write $A=\operatorname{str.gr.lim}A_{n}$.  $\square$

Let us return to the case of a sequence of densely defined and closed operators $\{A_{n}\}_{n=1}^{\infty}$ for the remaining part of the section and fix once and for all the following convenient notation: By $\Gamma_{\infty}$ we mean the strong limit of $\{\operatorname{Gr}(A_{n})\}_{n=1}^{\infty}$ and by $\Gamma_{\infty}^{*}$ the strong limit of $\{\operatorname{Gr}(A_{n}^{*})\}_{n=1}^{\infty}$. Note that $(\phi,\psi)\in\Gamma_{\infty}$ if and only if there exists a sequence $\{\phi_{n}\}_{n=1}^{\infty}\subseteq\mathcal{H}$ such that both $\phi_{n}\to\phi$ and $A_{n}\phi_{n}\to\psi$, and we have the similar characterization of $\Gamma_{\infty}^{*}$. We can now present some basic properties of these subspaces.

Lemma.

Let $\{A_{n}\}_{n=1}^{\infty}$ be a sequence of densely defined and closed operators and let $A$ be an operator with the same properties as the $A_{n}$’s.

• If $\operatorname{Gr}(A)\subseteq\Gamma_{\infty}$ then $\Gamma_{\infty}^{*}\subseteq\operatorname{Gr}(A^{*})$.

• If $\operatorname{Gr}(A)\subseteq\Gamma_{\infty}$ and $\operatorname{Gr}(A^{*})\subseteq\Gamma_{\infty}^{*}$ then $\operatorname{Gr}(A)=\Gamma_{\infty}$ and $\operatorname{Gr}(A^{*})=\Gamma_{\infty}^{*}$

• If moreover the $A_{n}$’s are symmetric and $A$ is self-adjoint then $A=\operatorname{str.gr.lim}A_{n}$ if and only if $\operatorname{Gr}(A)\subseteq\Gamma_{\infty}$.

 $\square$

Proof.

(a): Take $(\phi,\psi)\in\Gamma_{\infty}^{*}$ arbitrary and a corresponding sequence $\{\phi_{n}\}_{n=1}^{\infty}$ with $\phi_{n}\in D(A_{n}^{*})$ so that $\phi_{n}\to\phi$ and $A_{n}^{*}\phi_{n}\to\psi$. Now for any $\eta\in D(A)$ there exists a sequence $\{\eta_{n}\}_{n=1}^{\infty}$ with $\eta_{n}\in D(A_{n})$ so that $\eta_{n}\to\eta$ and $A_{n}\eta_{n}\to A\eta$. Using these sequences we see that

$$\langle\phi,A\eta\rangle=\lim_{n\to\infty}\langle\phi_{n},A_{n}\eta_{n}\rangle=\lim_{n\to\infty}\langle A_{n}^{*}\phi_{n},\eta_{n}\rangle=\langle\psi,\eta\rangle$$

proving that $\phi\in D(A^{*})$ and $A^{*}\phi=\psi$ as needed.

(b): This is a simple application of (a) and the fact that $T^{**}=T$ for any closed operator $T$.

(c): We need only to prove that $\operatorname{Gr}(A)\subseteq\Gamma_{\infty}$ implies $\Gamma_{\infty}\subseteq\operatorname{Gr}(A)$. This is seen by the inclusions $\Gamma_{\infty}\subseteq\Gamma_{\infty}^{*}$ (by symmetry of the $A_{n}$’s) and $\Gamma_{\infty}^{*}\subseteq\operatorname{Gr}(A^{*})=\operatorname{Gr}(A)$ (by (a) and self-adjointness of $A$).  $\square$

The connection to convergence of the projections onto the graphs of the $A_{n}$’s is now given in the below proposition. It tells us that the difference between strong graph convergence and strong convergence of the sequence of graph projections is measured by the absence of strong graph convergence of the sequence of adjoint operators. Let $\{A_{n}\}_{n=1}^{\infty}$ be a sequence of densely defined and closed operators and let $A$ be an operator with the same properties as the $A_{n}$’s. Denote by $P_{n}$ and $P$ the orthogonal projections in $\mathcal{H}\oplus\mathcal{H}$ onto $\operatorname{Gr}(A_{n})$ and $\operatorname{Gr}(A)$ respectively. Then $P_{n}\to P$ strongly if and only if both $\operatorname{Gr}(A)=\Gamma_{\infty}$ and $\operatorname{Gr}(A^{*})=\Gamma_{\infty}^{*}$ (or equivalently if and only if both $\operatorname{Gr}(A)\subseteq\Gamma_{\infty}$ and $\operatorname{Gr}(A^{*})\subseteq\Gamma_{\infty}^{*}$, cf. Lemma Lemma(b) ).

Proof.

We will use the standard fact, see for example [4] Theorem 12.5, that

$$\mathcal{H}\oplus\mathcal{H}=\operatorname{Gr}(T)\oplus W\operatorname{Gr}(T^{*})$$ (2)

for any densely defined and closed operator $T$ on $\mathcal{H}$ where the sum is orthogonal and $W$ is the unitary map $(\phi,\psi)\mapsto(-\psi,\phi)$.

Now if $P_{n}\to P$ strongly then $\operatorname{Gr}(A)=\Gamma_{\infty}$ by Lemma Lemma(b). Also, $1-P_{n}\to 1-P$ strongly so that similarly $W\operatorname{Gr}(A_{n}^{*})\to W\operatorname{Gr}(A^{*})$ strongly by the decomposition (2). It is an easy exercise to check that this is equivalent to $\operatorname{Gr}(A^{*})=\Gamma_{\infty}^{*}$.

If, on the other hand, $\operatorname{Gr}(A)=\Gamma_{\infty}$ and $\operatorname{Gr}(A^{*})=\Gamma_{\infty}^{*}$ then also $W\operatorname{Gr}(A_{n}^{*})\to W\operatorname{Gr}(A^{*})$ strongly. Using this we get by Lemma Lemma(a) that $P_{n}x\to Px$ for any $x\in\operatorname{Gr}(A)$ and, by using additionally (2), $(1-P_{n})y\to(1-P)y$ for any $y\in W\operatorname{Gr}(A^{*})$. Combining these convergences and (2) we conclude that $P_{n}z\to Pz$ for any $z\in\mathcal{H}\oplus\mathcal{H}$.  $\square$

To conclude this technical section we include a result on strong resolvent convergence of self-adjoint operators together with some observations. This result is well established, cf. [5] Lemma 28 (and [2] Theorem VIII.26 for a partial result). In the formulation below [5] states and proves the equivalence of (i), (ii) and (iv) and [2] that of (i) and (ii). Meanwhile, both proofs are sufficient to include also (iii) to these lists.

Theorem.

Let $\{B_{n}\}_{n=1}^{\infty}$ be a sequence of self-adjoint operators on a Hilbert space $\mathcal{H}$ and $B$ another self-adjoint operator on $\mathcal{H}$. Let further $Q_{n}$ and $Q$ be the orthogonal projections onto $\operatorname{Gr}(B_{n})$ and $\operatorname{Gr}(B)$ respectively and denote by $\Gamma_{\infty}^{B}$ the strong limit of $\{\operatorname{Gr}(B_{n})\}_{n=1}^{\infty}$. The following statements are equivalent:

• $B_{n}\to B$ in the strong resolvent sense,

• $B=\operatorname{str.gr.lim}B_{n}$ (i.e. $\operatorname{Gr}(B)=\Gamma_{\infty}^{B}$),

• $\operatorname{Gr}(B)\subseteq\Gamma_{\infty}^{B}$,

• $Q_{n}\to Q$ strongly.

 $\square$

Proof.

When using the self-adjointness of the operators, the equivalence between (ii) and (iii) is Lemma Lemma(c) and the equivalence between (ii) and (iv) is Proposition 2. Suppose $B_{n}\to B$ in the strong resolvent sense and let $\phi\in D(B)$ be arbitrary. By self-adjointness the relation $\psi=(B_{n}+i)\phi_{n}=(B+i)\phi$ defines besides the $\psi\in\mathcal{H}$ also for each $n$ a $\phi_{n}\in D(B_{n})$. Moreover,

$$\lVert(\phi_{n},B_{n}\phi_{n})-(\phi,B\phi)\rVert^{2} =\lVert\phi_{n}-\phi\rVert^{2}+\lVert B_{n}\phi_{n}-B\phi\rVert^{2}=\lVert\phi_{n}-\phi\rVert^{2}+\lVert i\phi-i\phi_{n}\rVert^{2}$$

$$=2\lVert(B_{n}+i)^{-1}\psi-(B+i)^{-1}\psi\rVert^{2}\longrightarrow 0$$

which proves that (i) implies (iii). Suppose finally that $\operatorname{Gr}(B)\subseteq\Gamma_{\infty}^{B}$ and let $\psi\in\mathcal{H}$ be arbitrary. Since $\mathcal{H}=R(B+i)$ we have $\psi=(B+i)\phi$ for some $\phi\in D(B)$ and by the assumption there exists a sequence $\{\phi_{n}\}_{n=1}^{\infty}\subseteq\mathcal{H}$ so that $(\phi_{n},B_{n}\phi_{n})\to(\phi,B\phi)$. Hence,

$$[(B_{n}+i)^{-1}-(B+i)^{-1}]\psi=(B_{n}+i)^{-1}[(B+i)\phi-(B_{n}+i)\phi_{n}]-\phi+\phi_{n}\longrightarrow 0$$

where we use the fact that $\lVert(B_{n}+i)^{-1}\rVert\leq 1$ for all $n$. This proves that (iii) implies (i) and thus the full theorem.  $\square$

We observe that though (ii)-(iv) in Theorem Theorem are equivalent for sequences of self-adjoint operators, Proposition 2 tells us that (iii) follows from (ii) and (iv) respectively even when assuming only that the $B_{n}$’s and $B$ are densely defined and closed. Moreover, (iii) is a consequence of pointwise convergence on a common core of the sequence and is thus easy to verify for for example differential operators, see Proposition 3 and Example Example. Thus, the first question we examine in Section 3 below will be the following: If we in the set-up from Section 1 impose the condition (iii) on the sequence $\{A_{n}\}_{n=1}^{\infty}$ what more do we need in order for it to hold for the sequence $\{B_{n}\}_{n=1}^{\infty}$ of extensions (thus yielding strong resolvent convergence)?

3 Main results

From the previous section we obtain two candidates for convergence type to impose on the $A_{n}$’s in (1): Strong graph convergence and strong convergence of graph projections. That these are actually both natural choices is illuminated by Theorem Theorem which states that for sequences of self-adjoint operators each of them is equivalent to strong resolvent convergence – exactly the convergence type we seek! Throughout this section we use the following conventions: Let $\{A_{n}\}_{n=1}^{\infty}$, $\{B_{n}\}_{n=1}^{\infty}$, $\{U_{n}\}_{n=1}^{\infty}$, $A$, $B$ and $U$ be as in the beginning of Section 1. Let $\Gamma_{\infty}$ be the strong limit of $\{\operatorname{Gr}(A_{n})\}_{n=1}^{\infty}$ and $\Gamma_{\infty}^{*}$ the strong limit of $\{\operatorname{Gr}(A_{n}^{*})\}_{n=1}^{\infty}$. Denote by $P_{n}$ and $P$ the orthogonal projections in $\mathcal{H}\oplus\mathcal{H}$ onto $\operatorname{Gr}(A_{n})$ and $\operatorname{Gr}(A)$ respectively.

The answer to the question closing Section 2 is straightforward and given below in Corollary Corollary, and in applications it can be useful even in this raw form.

Corollary (to Theorem Theorem).

Consider operators $A_{n}$, $A$, $B_{n}$ and $B$ as described in Section 1 and suppose $\operatorname{Gr}(A)\subseteq\Gamma_{\infty}$. If moreover for every pair (or, equivalently, for $k$ linearly independent pairs) $(\phi,B\phi)$ from the orthogonal complement of $\operatorname{Gr}(A)$ inside the Hilbert space $\operatorname{Gr}(B)$ there exists a sequence $\{\phi_{n}\}_{n=1}^{\infty}\subseteq\mathcal{H}$ so that $\phi_{n}\in D(B_{n})$ for all $n$ and $(\phi_{n},B_{n}\phi_{n})\to(\phi,B\phi)$ then $B_{n}\to B$ in the strong resolvent sense.  $\square$

Proof.

Denoting the strong limit of $\{\operatorname{Gr}(B_{n})\}_{n=1}^{\infty}$ by $\Gamma_{\infty}^{B}$ it is basically the assumption above that the orthogonal complement of $\operatorname{Gr}(A)$ inside $\operatorname{Gr}(B)$ is contained in $\Gamma_{\infty}^{B}$. Moreover, $\operatorname{Gr}(A)\subseteq\Gamma_{\infty}\subseteq\Gamma_{\infty}^{B}$ since all the $B_{n}$’s are extensions of the $A_{n}$’s. This concludes the proof. For the fact that it suffices to consider $k$ linearly independent pairs, see the first couple of lines of the proof of Theorem Theorem.  $\square$

For the remaining part of this section we formulate and prove results like (1) with the different notions of convergence of the $A_{n}$’s introduced above. For this it will be essential to have at our disposal the following characterization of strong convergence of the $U_{n}$’s defining the self-adjoint extensions of the $A_{n}$’s.

Lemma.

Consider the $U_{n}$’s and the $U$ described in Section 1. We have $U_{n}\to U$ strongly if and only if the following statement is true:

$$\begin{gathered}\text{For each $\phi_{+}\in\mathcal{H}_{+}$there exists a sequence $\{\phi_{+}^{n}\}_{n=1}^{\infty}\subseteq\mathcal{H}$ so that}\\ \text{$\phi_{+}^{n}\in\mathcal{H}_{+}^{n}$ for all $n$ and $(\phi_{+}^{n},U_{n}\phi_{+}^{n})\to(\phi_{+},U\phi_{+})$.}\end{gathered}$$ (3)

 $\square$

Note that the condition (3) actually says that the strong limit of the graphs of the $U_{n}$’s considered as operators only on $\mathcal{H}_{+}^{n}$ contains the corresponding graph of $U$.

Proof (of Lemma Lemma).

Observe firstly that if $\psi_{n}\to\psi$ then the inequalities

$$\lVert U_{n}\psi_{n}-U\psi\rVert\leq\lVert\psi_{n}-\psi\rVert+\lVert U_{n}\psi-U\psi\rVert\leq 2\lVert\psi_{n}-\psi\rVert+\lVert U_{n}\psi_{n}-U\psi\rVert$$

show that

$$U_{n}\psi_{n}\to U\psi U_{n}\psi\to U\psi$$    if and only if    . (4)

For each $n$ denote by $P_{n}$ the orthogonal projection onto $\mathcal{H}_{+}^{n}$ and by $P$ the orthogonal projection onto $\mathcal{H}_{+}$. Assume $U_{n}\to U$ strongly. Then, for any $\phi_{+}\in\mathcal{H}_{+}$ and $\psi\in\mathcal{H}$, we have

$$\langle P_{n}\phi_{+},\psi\rangle=\langle U_{n}^{*}U_{n}\phi_{+},\psi\rangle=\langle U_{n}\phi_{+},U_{n}\psi\rangle\longrightarrow\langle U\phi_{+},U\psi\rangle=\langle P\phi_{+},\psi\rangle=\langle\phi_{+},\psi\rangle$$

so that $P_{n}\phi_{+}\to\phi_{+}$ weakly in $\mathcal{H}$. As further

$$\lVert\phi_{+}\rVert\leq\liminf_{n\to\infty}\lVert P_{n}\phi_{+}\rVert\leq\limsup_{n\to\infty}\lVert P_{n}\phi_{+}\rVert\leq\lVert\phi_{+}\rVert$$

by lower semi-continuity of the norm it is apparent that additionally $\lVert P_{n}\phi_{+}\rVert\to\lVert\phi_{+}\rVert$ and consequently $P_{n}\phi_{+}\to\phi_{+}$ with respect to the Hilbert space norm. We claim that letting $\{\phi_{+}^{n}\}_{n=1}^{\infty}:=\{P_{n}\phi_{+}\}_{n=1}^{\infty}$ for each $\phi_{+}\in\mathcal{H}_{+}$ verifies (3). Indeed, since then $\phi_{+}^{n}\to\phi_{+}$, the strong convergence $U_{n}\to U$ and (4) yield the desired conclusion.

Suppose now that (3) is satisfied. For any $\phi_{+}\in\mathcal{H}_{+}$ we can choose the sequence from this condition and (4) implies that $U_{n}\phi_{+}\to U\phi_{+}$. For proving convergence of $U_{n}\psi$ for $\psi\in[\mathcal{H}_{+}]^{\perp}$ fix such $\psi$ and consider an orthonormal basis $\{\phi_{+,1},\dots,\phi_{+,k}\}$ of $\mathcal{H}_{+}$. By (3) there exist sequences $\{\phi_{+,1}^{n}\}_{n=1}^{\infty},\dots,\{\phi_{+,k}^{n}\}_{n=1}^{\infty}\subseteq\mathcal{H}$ with $\phi_{+,\ell}^{n}\in\mathcal{H}_{+}^{n}$ for all $n$ and $\ell=1,\dots,k$ and $\phi_{+,\ell}^{n}\to\phi_{+,\ell}$ for all $\ell$. Now by applying the Gram-Schmidt process to $\{\phi_{+,1}^{n},\dots,\phi_{+,k}^{n}\}$ for each $n$ we obtain new sequences $\{\widetilde{\phi}_{+,1}^{n}\}_{n=1}^{\infty},\dots,\{\widetilde{\phi}_{+,k}^{n}\}_{n=1}^{\infty}\subseteq\mathcal{H}$ with $\{\widetilde{\phi}_{+,1}^{n},\dots,\widetilde{\phi}_{+,k}^{n}\}$ an orthonormal basis of $\mathcal{H}_{+}^{n}$ for sufficiently large $n$. Induction in $\ell$ shows that also $\widetilde{\phi}_{+,\ell}^{n}\to\phi_{+,\ell}$ for all $\ell$. Consequently,

$$[\mathcal{H}_{+}^{n}]^{\perp}\ni\psi_{n}:=\psi-\sum_{\ell=1}^{k}\langle\widetilde{\phi}_{+,\ell}^{n}\;,\psi\rangle\widetilde{\phi}_{+,\ell}^{n}\longrightarrow\psi$$

and, since $U_{n}\psi_{n}=0=U\psi$ for large $n$, a final application of (4) proves that $U_{n}\psi\to U\psi$.  $\square$

Remark.

Lemma Lemma is actually the main reason why we assume that the deficiency indices of the $A_{n}$’s are finite, since then we can simply restate the condition (3) as strong convergence of the $U_{n}$’s – which is exactly the kind of formulation we seek. If one, in the case of infinite deficiency indices, replaces "$U_{n}\to U$ strongly" with (3) then the remaining results of this note in Theorem Theorem and Corollaries Corollary and Corollary indeed remain valid. One can realize that these conditions are truly different in the infinite case by taking the $U_{n}$’s and the $U$ to be projections and recalling the content of Remark Remark.  $\square$

While this description of strong convergence of the $U_{n}$’s not at first sight simplifies things, the fact that it is so closely related to the definition of strong graph convergence will help us apply our theory from Section 2 via Theorem Theorem. With this, we are now in a position to state and prove the main theoretical statement of this note.

Theorem.

Let $\{A_{n}\}_{n=1}^{\infty}$, $\{B_{n}\}_{n=1}^{\infty}$, $\{U_{n}\}_{n=1}^{\infty}$, $A$, $B$ and $U$ be as in the beginning of Section 1. Let $\Gamma_{\infty}$ be the strong limit of $\{\operatorname{Gr}(A_{n})\}_{n=1}^{\infty}$, and denote by $P_{n}$ and $P$ the orthogonal projections in $\mathcal{H}\oplus\mathcal{H}$ onto $\operatorname{Gr}(A_{n})$ and $\operatorname{Gr}(A)$ respectively. Then the following holds:

• If $\operatorname{Gr}(A)\subseteq\Gamma_{\infty}$ and $U_{n}\to U$ strongly then $B_{n}\to B$ in the strong resolvent sense and $P_{n}\to P$ strongly.

• If $B_{n}\to B$ in the strong resolvent sense and $P_{n}\to P$ strongly then $U_{n}\to U$ strongly.

 $\square$

Proof.

(a): Recall that, cf. [1] X.1,

$$\operatorname{Gr}(B)=\operatorname{Gr}(A)\oplus\{(\phi_{+}+U\phi_{+},i\phi_{+}-iU\phi_{+})\mathrel{|}\phi_{+}\in\mathcal{H}_{+}\},$$

where the sum is orthogonal, from which the $k$-dimensional orthogonal complement of $\operatorname{Gr}(A)$ in $\operatorname{Gr}(B)$ is apparent. Applying Lemma Lemma we can for any $\phi_{+}\in\mathcal{H}_{+}$ find $\{\phi_{+}^{n}\}_{n=1}^{\infty}\subseteq\mathcal{H}$ so that $\phi_{+}^{n}\in\mathcal{H}_{+}^{n}$ for all $n$ and

$$(\phi_{+}^{n}+U_{n}\phi_{+}^{n},i\phi_{+}^{n}-iU_{n}\phi_{+}^{n})\longrightarrow(\phi_{+}+U\phi_{+},i\phi_{+}-iU\phi_{+}).$$

Hence, Corollary Corollary implies $B_{n}\to B$ in the strong resolvent sense. Likewise we have also (cf. [1] X.1)

$$\operatorname{Gr}(A^{*})=\operatorname{Gr}(A)\oplus\{(\phi_{+},i\phi_{+})\mathrel{|}\phi_{+}\in\mathcal{H}_{+}\}\oplus\{(U\phi_{+},-iU\phi_{+})\mathrel{|}\phi_{+}\in\mathcal{H}_{+}\}$$

and a similar application of Lemma Lemma tells us that $\operatorname{Gr}(A^{*})\subseteq\Gamma_{\infty}^{*}$ (the strong limit of $\{\operatorname{Gr}(A_{n}^{*})\}_{n=1}^{\infty}$). By invoking Proposition 2 we get thus additionally $P_{n}\to P$ strongly.

(b): We note that by Theorem Theorem (and using the notation herein) we have $Q_{n}\to Q$ strongly, and consequently $Q_{n}-P_{n}\to Q-P$ strongly. Now $Q_{n}-P_{n}$ is the orthogonal projection onto the orthogonal complement of $\operatorname{Gr}(A_{n})$ inside $\operatorname{Gr}(B_{n})$ and similarly for $Q-P$. But we have just seen in the proof of (a) that these are exactly

$$\{(\phi_{+}^{n}+U_{n}\phi_{+}^{n},i\phi_{+}^{n}-iU_{n}\phi_{+}^{n})\mathrel{|}\phi_{+}^{n}\in\mathcal{H}_{+}^{n}\}\quad\text{and}\quad\{(\phi_{+}+U\phi_{+},i\phi_{+}-iU\phi_{+})\mathrel{|}\phi_{+}\in\mathcal{H}_{+}\}$$

respectively. Hence, Lemma Lemma(b) tells us that for each $\phi_{+}\in\mathcal{H}_{+}$ there exists a sequence $\{\phi_{+}^{n}\}_{n=1}^{\infty}\subseteq\mathcal{H}$ so that $\phi_{+}^{n}\in\mathcal{H}_{+}^{n}$ for all $n$ and

$$(\phi_{+}^{n}+U_{n}\phi_{+}^{n},i\phi_{+}^{n}-iU_{n}\phi_{+}^{n})\longrightarrow(\phi_{+}+U\phi_{+},i\phi_{+}-iU\phi_{+}).$$

By taking linear combinations of the entries we see that for this sequence $\phi_{+}^{n}\to\phi_{+}$ and $U_{n}\phi_{+}^{n}\to U\phi_{+}$, and to wrap things up Lemma Lemma yields the claimed strong convergence of the $U_{n}$’s towards $U$ as needed.  $\square$

Remark.

We present here a more transparent way of proving $B_{n}\to B$ in the strong resolvent sense in Theorem Theorem(a) than the one presented above which in particular avoids the use of Corollary Corollary and hence of Theorem Theorem.

Define the subspace $V:=\{\phi_{+}+U\phi_{+}\mathrel{|}\phi_{+}\in\mathcal{H}_{+}\}$ in $\mathcal{H}$ and write

$$\mathcal{H}=R(B+i)=R(A+i)+R(B|_{V}+i).$$

Now since we assume $\operatorname{Gr}(A)\subseteq\Gamma_{\infty}$ the convergence of $(B_{n}+i)^{-1}$ towards $(B+i)^{-1}$ on $R(A+i)$ is proved as in (iii)$\Rightarrow$(i) in Theorem Theorem. Notice then that

$$(B+i)(\phi_{+}+U\phi_{+})=2i\phi_{+}\qquad\text{and}\qquad(B_{n}+i)(\phi_{+}^{n}+U_{n}\phi_{+}^{n})=2i\phi_{+}^{n}$$

for any $\phi_{+}\in\mathcal{H}_{+}$ and $\phi_{+}^{n}\in\mathcal{H}_{+}^{n}$. This proves that $R(B|_{V}+i)=\mathcal{H}_{+}$, and for each $\phi_{+}\in\mathcal{H}_{+}$ we can use Lemma Lemma to find a sequence $\{\phi_{+}^{n}\}_{n=1}^{\infty}\subseteq\mathcal{H}$ so that $\phi_{+}^{n}\in\mathcal{H}_{+}^{n}$ for each $n$ and

$$\lVert(B_{n}+i)^{-1}\phi_{+}-(B+ i)^{-1}\phi_{+}\rVert$$

$$\leq\lVert(B_{n}+i)^{-1}\phi_{+}-(B_{n}+i)^{-1}\phi_{+}^{n}\rVert+\lVert(B_{n}+i)^{-1}\phi_{+}^{n}-(B+i)^{-1}\phi_{+}\rVert$$

$$\leq\lVert\phi_{+}-\phi_{+}^{n}\rVert+\frac{1}{2}\lVert(\phi_{+}^{n}+U_{n}\phi_{+}^{n})-(\phi_{+}+U\phi_{+})\rVert\longrightarrow 0.$$

 $\square$

We can now use Theorem Theorem to prove various statements of the form (1). Taking $A_{n}\to A$ to be in terms of strong convergence of the orthogonal projections onto the graphs, i.e. $P_{n}\to P$ strongly, we have also $\operatorname{Gr}(A)\subseteq\Gamma_{\infty}$ due to Proposition 2, and thus we get a particularly clean statement.

Corollary.

Consider the set-up in Theorem Theorem and suppose $P_{n}\to P$ strongly. Then $B_{n}\to B$ in the strong resolvent sense if and only if $U_{n}\to U$ strongly. $\square$  $\square$

The downside of Corollary Corollary is, however, that the condition $P_{n}\to P$ strongly is often not easy to verify in concrete cases. Another approach is to assume the convergence of the $A_{n}$’s only in the sense that $\operatorname{Gr}(A)\subseteq\Gamma_{\infty}$. We note that this is a strictly weaker notion of convergence than strong convergence of the graph projections, so one cannot expect the implications of this assumption to be as strong as the equivalence between strong convergence of the $B_{n}$’s and of the $U_{n}$’s in Corollary Corollary. Another application of Proposition 2 yields:

Corollary.

Consider the set-up in Theorem Theorem and suppose $\operatorname{Gr}(A)\subseteq\Gamma_{\infty}$. Then $U_{n}\to U$ strongly if and only if both $B_{n}\to B$ in the strong resolvent sense and $\operatorname{Gr}(A^{*})\subseteq\Gamma_{\infty}^{*}$. $\square$  $\square$

An obvious question now arises: Is this the best we can do? In particular we can in the light of Corollary Corollary ask whether the condition $\operatorname{Gr}(A^{*})\subseteq\Gamma_{\infty}^{*}$ in Corollary Corollary is actually needed. As a matter of fact it is by the following observations.

Remark.

We do not in general have the result "Suppose $\operatorname{Gr}(A)\subseteq\Gamma_{\infty}$. Then $U_{n}\to U$ strongly if and only if $B_{n}\to B$ in the strong resolvent sense." as the example below shows. Even changing $\operatorname{Gr}(A)\subseteq\Gamma_{\infty}$ to $A=\operatorname{str.gr.lim}A_{n}$ does not make the statement true. The backbone of the example is the extension theory for a well-studied class of operators on $L^{2}(\mathbb{R}^{3})=\mathcal{H}$. This is treated in for example [3] I.1.1 to which we refer for the details.

Let $\{y_{n}\}_{n=1}^{\infty}\subseteq\mathbb{R}^{3}$ be a sequence yet to be specified and define for each $n$ the operator $A_{n}$ to be the closure of $-\Delta$ on $C_{c}^{\infty}(\mathbb{R}^{3}\backslash\{y_{n}\})$. One can now find the deficiency subspaces

$$\mathcal{H}_{\pm}^{n}=\mathbb{C}\phi_{\pm}^{n},\qquad\phi_{\pm}^{n}(x)=\frac{e^{i\sqrt{\pm i}\lvert x-y_{n}\rvert}}{4\uppi\,\lvert x-y_{n}\rvert}$$

where $\Im\sqrt{\pm i}>0$. Moreover, if one defines a self-adjoint extension $B_{n}$ of $A_{n}$ by the unitary map $U_{n}\colon\mathcal{H}_{+}^{n}\ni\phi_{+}^{n}\mapsto-\phi_{-}^{n}\in\mathcal{H}_{-}^{n}$ as in Section 1 then $B_{n}=B$ is actually the free Laplacian $-\Delta$ defined on the Sobolev space $H^{2}(\mathbb{R}^{3})$ independently of $n$. Now we have the orthogonal decomposition

$$\operatorname{Gr}(B)=\operatorname{Gr}(A_{n})\oplus\mathbb{C}(\phi_{+}^{n}-\phi_{-}^{n},i\phi_{+}^{n}+i\phi_{-}^{n})=:\operatorname{Gr}(A_{n})\oplus\mathbb{C}v_{n},$$

and consequently $\operatorname{Gr}(A_{n})$ is the orthogonal complement of $\mathbb{C}v_{n}$ in $\operatorname{Gr}(B)$ for each $n$. Notice now that the $v_{n}$’s depend only on the $y_{n}$’s. Choosing $y_{n}$ so that $\lvert y_{n}\rvert\to\infty$ it is not difficult to realize that the sequences $\{\phi_{\pm}^{n}\}_{n=1}^{\infty}$ converge weakly towards $0$ in $L^{2}(\mathbb{R}^{3})$: This follows from the fact that they are translations of a fixed $L^{2}$-function. With such sequence of $y_{n}$’s we get thus

$$\langle(\phi,\psi),v_{n}\rangle=\langle\phi,\phi_{+}^{n}\rangle-\langle\phi,\phi_{-}^{n}\rangle+i\langle\psi,\phi_{+}^{n}\rangle+i\langle\psi,\phi_{-}^{n}\rangle\longrightarrow 0$$

for all $(\phi,\psi)\in\mathcal{H}\oplus\mathcal{H}$, i.e. $v_{n}\to 0$ weakly in $\mathcal{H}\oplus\mathcal{H}$ and hence in $\operatorname{Gr}(B)$.

We observe from the above facts that by choosing a sequence of $y_{n}$’s which is a fixed $y_{n}=y_{0}$ for $n$ odd and with $\{y_{2n}\}_{n=1}^{\infty}$ unbounded we can make the sequence $\{\operatorname{Gr}(A_{n})\}_{n=1}^{\infty}$ of subspaces of the Hilbert space $\operatorname{Gr}(B)$ into a sequence like $\{V_{n}\}_{n=1}^{\infty}$ in Remark Remark. Consequently, the operator $A=A_{1}$ is the strong graph limit of the $A_{n}$’s (and of course $B_{n}\to B$), but the orthogonal projections onto the graphs $\operatorname{Gr}(A_{n})$ do not converge strongly towards the orthogonal projection onto $\operatorname{Gr}(A)$, and hence Theorem Theorem(a) tells us that we cannot have $U_{n}\to U$ strongly. Alternatively this can be checked more directly by using Lemma Lemma.  $\square$

We conclude by proving a simple requirement for having $\operatorname{Gr}(A)\subseteq\Gamma_{\infty}$, thus providing a procedure for checking the assumptions in Corollary Corollary. Recall that a core for a closed operator $A$ is a subspace of $D(A)$ satisfying that the restriction of $A$ to this has closure $A$. We obtain now: Assume that $\mathcal{D}$ is a common core for $A$ and all $A_{n}$’s. If $A_{n}\phi\to A\phi$ for all $\phi\in\mathcal{D}$ then $\operatorname{Gr}(A)\subseteq\Gamma_{\infty}$.

Proof.

The assumption tells us that $\Gamma_{\mathcal{D}}:=\{(\phi,A\phi)\mathrel{|}\phi\in\mathcal{D}\}\subseteq\Gamma_{\infty}$. Thus, if we argue that $\Gamma_{\infty}$ is closed, we have also $\operatorname{Gr}(A)=\overline{\Gamma_{\mathcal{D}}}\subseteq\Gamma_{\infty}$. But closedness is a general property of any strong limit of subspaces by the following argument:

Let $\{V_{n}\}_{n=1}^{\infty}$ be any sequence of subspaces of a Hilbert space $\mathcal{H}$ and denote as usual its strong limit by $V_{\infty}$. If we consider an arbitrary convergent sequence $\{x_{k}\}_{k=1}^{\infty}\subseteq V_{\infty}$ with limit $x_{0}$ then we need only to find a sequence $\{\widetilde{x}_{n}\}_{n=1}^{\infty}\subseteq\mathcal{H}$ with $\widetilde{x}_{n}\in V_{n}$ for all $n$ such that $\widetilde{x}_{n}\to x_{0}$ in order to obtain $x_{0}\in V_{\infty}$ and hence prove that $V_{\infty}$ is closed. We now construct such sequence. Firstly we choose for each $k$ a sequence $\{x_{n}^{k}\}_{n=1}^{\infty}$ with $x_{n}^{k}\in V_{n}$ for all $n$ and $x_{n}^{k}\to x_{k}$, and then we take natural numbers $N_{1}<N_{2}<N_{3}<\cdots$ so that $\lVert x_{n}^{k}-x_{k}\rVert<1/k$ for all $n\geq N_{k}$. Defining $\widetilde{x}_{n}:=x_{n}^{1}$ for $n=1,2,\dots,N_{2}-1$; $\widetilde{x}_{n}:=x_{n}^{2}$ for $n=N_{2},\dots,N_{3}-1$ and generally $\widetilde{x}_{n}:=x_{n}^{k}$ for $n=N_{k},\dots,N_{k+1}-1$ one can check using the triangular inequality that this is indeed a sequence with the properties we seek.  $\square$

Example.

To make things even more concrete than requiring pointwise convergence of the $A_{n}$’s on a common core, we can ask what this means for differential operators like those in Example 1. To simplify things let us consider a sequence of Schrödinger operators – that is, the $A_{n}$’s are the closures of $-\Delta+\Phi_{n}$ defined on $C_{c}^{\infty}(\Omega)\subseteq L^{2}(\Omega)$ for some open set $\Omega\subseteq\mathbb{R}^{d}$ and some potentials $\Phi_{n}$ (say, real-valued and continuous) on this set. Hence, $C_{c}^{\infty}(\Omega)$ is a common core for the $A_{n}$’s and also for $A=-\Delta+\Phi$ if we define this in the same manner. Now, for any $\phi\in C_{c}^{\infty}(\Omega)$,

$$\lVert A_{n}\phi-A\phi\rVert^{2}=\lVert\Phi_{n}\phi-\Phi\phi\rVert^{2}=\int_{\Omega}\lvert\phi\rvert^{2}\lvert\Phi_{n}-\Phi\rvert^{2}\,dx\leq\lVert\phi\rVert_{\infty}^{2}\int_{\operatorname{supp}\phi}\lvert\Phi_{n}-\Phi\rvert^{2}\,dx$$

where $\lVert\,\cdot\,\rVert_{\infty}$ is the supremum norm. Now if $\Phi_{n}\to\Phi$ in $L^{2}_{\operatorname{loc}}(\Omega)$ then we conclude that $A_{n}\phi\to A\phi$ for all $\phi\in C_{c}^{\infty}(\Omega)$. If, on the other hand, we assume the latter, then we see that $\Phi_{n}\to\Phi$ in $L^{2}(K)$ for any compact subset $K\subseteq\Omega$ by choosing $\phi\equiv 1$ on $K$, i.e. we get $\Phi_{n}\to\Phi$ in $L^{2}_{\operatorname{loc}}(\Omega)$. Being able to consider only local $L^{2}$-convergence is often desirable if one deals for example with potentials with singularities.  $\square$

Comments

This version of the article has been accepted for publication, after peer review but is not the Version of Record and does not reflect post-acceptance improvements, or any corrections. The Version of Record is available online at https://doi.org/10.1007/s00023-023-01397-9.