Abstract
We provide a streamlined construction of the Friedrichs extension of a densely-defined self-adjoint and semibounded operator A on a Hilbert space \(\mathcal {H}\), by means of a symmetric pair of operators. A symmetric pair is comprised of densely defined operators \(J: \mathcal {H}_1 \rightarrow \mathcal {H}_2\) and \(K: \mathcal {H}_2 \rightarrow \mathcal {H}_1\) which are compatible in a certain sense. With the appropriate definitions of \(\mathcal {H}_1\) and J in terms of A and \(\mathcal {H}\), we show that \((\textit{JJ}^\star )^{-1}\) is the Friedrichs extension of A. Furthermore, we use related ideas (including the notion of unbounded containment) to construct a generalization of the construction of the Krein extension of A as laid out in a previous paper of the authors. These results are applied to the study of the graph Laplacian on infinite networks, in relation to the Hilbert spaces \(\ell ^2(G)\) and \(\mathcal {H}_{\mathcal {E}}\) (the energy space).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Motivated by Laplace operators on infinite networks and their self-adjoint extensions, we consider the situation in which a certain two different Hilbert spaces contain a common linear subspace: \(V \subseteq \mathcal {H} _1 \cap \mathcal {H} _2\). We study (possibly unbounded) from \(\mathcal {H} _i\) to \(\mathcal {H} _j\) in terms of whether or not V is dense in one or both Hilbert spaces. In particular, we introduce the notion of a symmetric pair (see Definition 2.1) of operators: when the densely defined operators \(A: \mathcal {H} _1 \rightarrow \mathcal {H} _2\) and \(B: \mathcal {H} _2 \rightarrow \mathcal {H} _1\) are compatible (i.e., there exists a suitable relation with their adjoints), then we immediately obtain that both are closable: see Lemma 2.2. In the present context, this can be applied to the operator \(J:V \rightarrow \mathcal {H} _2\) defined by \(J\varphi = \varphi \), which (as function on sets) is the inclusion map. This provides for a very concise construction of the Friedrichs extension of a semibounded operator \(A:{\text {dom}}(A) \subseteq \mathcal {H} \rightarrow \mathcal {H} \). We use A to define a new and strictly finer topology on \(\mathcal {H}\) so that \(J:V \rightarrow \mathcal {H} \) is a contractive (inclusion) embedding, and then the key result Theorem 3.3 yields the Friedrichs extension as \(A_\mathcal {F} = (\textit{JJ}^\star )^{-1}\). Our next main results is Theorem 4.1, in which we leverage symmetric pairs to prove a generalization of Krein’s extension results. In a forthcoming work, we use these ideas to describe a construction of the Krein extension [20], applications to reflection positivity in physics [22], construct a noncommutative analogue of the Lebesgue–Radon–Nikodym decomposition [19] (see also [20] and [22]), and also to verify closability and compute adjoints of unbounded operators arising in the context of stochastic calculus (Malliavin derivative) and the study of von Neumann algebras (Tomita-Takesaki theory) [21].
We further apply the results described above to discrete Laplace operators on infinite networks. Here, a network is just an connected undirected weighted graph (G, c) (see Definition 5.1), and the associated network Laplacian \(\Delta \) acts on functions \(u:G \rightarrow \mathbb {R} \); see Definition 5.2. We restrict attention to the case when the network is transient,Footnote 1 and we are particularly interested in the case when \(\Delta \) is unbounded, in which case some care must be taken with the domains. We consider \(\Delta \) separately as an operator on \(\mathcal {H} _\mathcal {E} \), the Hilbert space of finite energy functions on G and as on operator on \(\ell ^2(G)\). Although the two operators agree formally, their spectral theoretic properties are quite different. The space \(\mathcal {H} _\mathcal {E} \) is defined in terms of the quadratic form \(\mathcal {E} \), which gives the Dirichlet energy of a function u; see Definition 5.4. By \(\ell ^2(G)\), we mean the unweighted space of square-summable functions on G under counting measure; see Definition 5.17.
Neither of the two Hilbert spaces is contained in the other, and the two Hilbert norms do not compare. It follows that the spectral theory is quite different for the corresponding incarnations of the Laplacian: as an operator on \(\ell ^2(G)\) (Definition 5.18) and as an operator on \(\mathcal {H} _\mathcal {E} \) (Definition 5.19). We will use the respective notation \(\Delta _2\) and \(\Delta _{\mathcal {E} }\) to refer to these two very distinct incarnations of the Laplacian. Common to the two is that each is defined on its natural dense domain in each of the Hilbert spaces \(\ell ^2(G)\) and \(\mathcal {H} _\mathcal {E} \), and in each case it is a Hermitian and non-negative operator. However, it is known from [15] (see also [24, 25, 34]) that \(\Delta \) is essentially self-adjoint on its natural domain in \(\ell ^2(G)\) but in [15] it is shown that \(\Delta \) is not essentially self-adjoint on its natural domain in \(\mathcal {H} _\mathcal {E} \) (see Definition 5.19). Nonetheless, we prove that the Friedrich extension of the latter has a spectral theory that can be compared with the former.
1.1 Historical Context and Motivation
The importance of the Friedrichs extension of an unbounded Hermitian operator on a Hilbert space stems from its role in the classical theory. The network Laplace operator considered in this article is a discrete analogue of the better known Laplace operator associated to a manifold with boundary in harmonic analysis and PDE theory, see for example [3, 4] and the endnotes of [2, Chap. XII]. In classical applications from mathematical physics, this Laplacian is an unbounded operator initially defined on a domain of smooth functions vanishing on the boundary. To get a self-adjoint operator in \(L^2\) (and an associated spectral resolution), one then assigns boundary conditions. Each distinct choice yields a different self-adjoint extension (realized in a suitable \(L^2\)-space). The two most famous such boundary conditions are the Neumann and the Dirichlet conditions. In the framework of unbounded Hermitian operators in Hilbert space, the Dirichlet boundary conditions correspond to a semibounded self-adjoint extension of \(\Delta \) called the Friedrichs extension. For boundary value problems on manifolds with boundaries, the Hermitian property comes from a choice of a minimal domain for the given elliptic operator T under consideration, and the semiboundedness then amounts to an a priori coercivity estimate placed as a condition on T.
Today, the notion of a Friedrichs extension is typically understood in a more general operator theoretic context concerning semibounded Hermitian operators with dense domain in Hilbert space, see e.g., [2, p. 1240]. In its abstract Hilbert space formulation, it throws light on a number of classical questions in spectral theory, and in quantum mechanics, for example in the study of Sturm–Liouville operators and Schrödinger operators, see e.g., [23]. If a Hermitian operator is known to be semibounded, we know by a theorem of von Neumann that it will automatically have self-adjoint extensions.Footnote 2 The selection of appropriate boundary conditions for a given boundary value problem corresponds to choosing a particular self-adjoint extension of the partial differential operator in question. In general, some self-adjoint extensions of a fixed minimal operator T may be semibounded and others not. The Friedrichs extension is both self-adjoint and semibounded, and with the same lower bound as the initial operator T (on its minimal domain).
We are here concerned with a different context: analysis and spectral theory of problems in discrete context, wherein \(\Delta \) is the infinitesimal generator of the random walk on (G, c). In this regard, we are motivated by a number of recent papers, some of which are cited above. A desire to quantify the asymptotic behavior of such reversible Markov chains leads to the need for precise and useful notions of boundaries of infinite graphs. Different conductance functions lead to different Laplacians \(\Delta \), and also to different boundaries. In the energy Hilbert space \(\mathcal {H} _\mathcal {E} \), this operator \(\Delta \) will then have a natural dense domain turning it into a semibounded Hermitian operator, and as a result, Friedrichs’ theory applies. As in classical Riemannian geometry, one expects an intimate relationship between metrics and associated Laplace operators. This is comparable to the use of the classical Laplace operator in the study of manifolds with boundary, or even just boundaries of open domains in Euclidean space, see e.g., [5, 6].
2 Symmetric Pairs
Self-adjoint extensions of unbounded operators may be studied via symmetric pairs. See also [19–22] for further applications of symmetric pairs to the closability of operators and computation of adjoints.
Definition 2.1
Suppose \(\mathcal {H} _1\) and \(\mathcal {H} _2\) are Hilbert spaces and A, B are operators with dense domains \({\text {dom}}\, A \subseteq \mathcal {H} _1\) and \({\text {dom}}\, B \subseteq \mathcal {H} _2\) and
We say that (A, B) is a symmetric pair iff
In other words, (A, B) is a symmetric pair iff \(A \subseteq B^\star \) and \(B \subseteq A^\star \).
Lemma 2.2
If (A, B) is a symmetric pair, then A and B are each closable operators. Moreover,
-
(1)
\(A^\star \overline{A}\) is densely defined and self-adjoint with \({\text {dom}}\, A^\star \overline{A} \subseteq {\text {dom}}\, \overline{A} \subseteq \mathcal {H} _1\), and
-
(2)
\(B^\star \overline{B}\) is densely defined and self-adjoint with \({\text {dom}}\, B^\star \overline{B} \subseteq {\text {dom}}\, \overline{B} \subseteq \mathcal {H} _2\).
Proof
Since A and B are densely defined and \(A \subseteq B^\star \) and \(B \subseteq A^\star \), it is immediate that \(A^\star \) and \(B^\star \) are densely defined; it follows by a theorem of von Neumann that A and B are both closable. By another theorem of von Neumann, \(A^\star \overline{A}\) is self-adjoint; c.f. [30, Thm. 13.13]. \(\square \)
Remark 2.3
Observe that by Lemma 2.2, there is a partial isometry \(V:\mathcal {H} _1 \rightarrow \mathcal {H} _2\) such that \(\overline{A} = V(A^\star \overline{A})^{1/2} = (B^\star \overline{B})^{1{/}2} V\). In particular,
Remark 2.4
Whenever (A, B) is a symmetric pair, we may now assume (by Lemma 2.2) that A and B are closed operators. In the sequel, we will thus refer to the self-adjoint operators \(A^\star A\) and \(B^\star B\).
The following example illustrates the relationship that can exist between the adjoint of an operator between \(L^2\) spaces, and the Radon–Nikodym derivative of their respective measures. We return to this theme in Example 4.2 and in the forthcoming work [19]; see also [8, 9, 27]
Example 2.5
Let \(X=[0,1]\), and consider \(L^2(X,\lambda )\) and \(L^2(X,\mu )\) for measures \(\lambda \) and \(\mu \) which are mutually singular. For concreteness, let \(\lambda \) be Lebesgue measure, and let \(\mu \) be the classical singular continuous Cantor measure. Then the support of \(\mu \) is the middle-thirds Cantor set, which we denote by K, so that \(\mu (K)=1\) and \(\lambda (X{\setminus }K)=1\). The continuous functions C(X) are a dense subspace of both \(L^2(X,\lambda )\) and \(L^2(X,\mu )\) (see, e.g., [29, Chap. 2]). Define the “inclusion” operatorFootnote 3 J to be the operator with dense domain C(X) and
We will show that \({\text {dom}}\, J^\star = \{0\}\), so suppose \(f \in {\text {dom}}\, J^\star \). Without loss of generality, one can assume \(f \ge 0\) by replacing f with |f|, if necessary. By definition, \(f \in {\text {dom}}\, J^\star \) iff there exists \(g \in L^2(X,\lambda )\) for which
One can choose \((\varphi _n)_{n =1}^\infty \subseteq C(X)\) so that \(\varphi _n|_{K}=1\) and by considering the appropriate piecewise linear modifications of the constant function 1. For example, see Fig. 1.
Now we have
but for any continuous \(g \in L^2(X,\lambda )\). Thus , so that \(f = 0\) \(\mu \)-a.e. In other words, \(f =0 \in L^2(X,\mu )\) and hence \({\text {dom}}\, J^\star = \{0\}\), which is certainly not dense! Thus, one can interpret the adjoint of the inclusion as multiplication by a Radon–Nikodym derivative (“”), which must be trivial when the measures are mutually singular. This comment is made more precise in Example 4.2 and Corollary 4.3. As a consequence of this extreme situation, the inclusion operator in (2.2) is not closable.
3 The Friedrichs Extension
For a large class of symmetric operators, there is a canonical choice for a self-adjoint extension, the Friedrichs extension.
Remark 3.1
The importance of the Friedrichs extension of an unbounded Hermitian operator on a Hilbert space stems from its role in the classical theory (and mathematical physics in particular). For example, consider the Laplace operator \(\Delta \) defined initially on \(C_0^\infty (\Omega )\), where \(\Omega \) is a regular open subset of \({\mathbb {R}}^{n}\) for which \(\overline{\Omega }\) is compact. Thus, \({\text {dom}}\, \Delta \) consists of smooth functions vanishing at the boundary of \(\Omega \). To get a self-adjoint operator in the Hilbert space \(\mathcal {H} =L^2(\Omega )\) (and an associated spectral resolution), one then assigns boundary conditions; each distinct choice yields a different self-adjoint extension. The two most famous choices of boundary conditions are the Neumann and the Dirichlet conditions.
The Friedrichs extension procedure may be described abstractly, as the Hilbert completion of \({\text {dom}}\, \Delta \) with respect to a quadratic form defined in terms of \(\Delta \); cf. [2, 23]. Nonetheless, in the present example, the Friedrichs extension turns out to correspond to Dirichlet boundary conditions. (The Krein extension may also be defined abstractly, in terms of \(\ker \Delta ^\star \), turns out to correspond to Neumann conditions.)
Consider an operator \(A:{\text {dom}}\, A \subseteq \mathcal {H} \rightarrow \mathcal {H} \), whose domain is dense in the Hilbert space \(\mathcal {H}\), and assume A satisfies
Define \(\mathcal {H} _A\) to be the Hilbert completion of \({\text {dom}}\, A\) with respect to the norm induced by
and define the inclusion operator
Definition 3.2
If A is symmetric and nonnegative densely-defined operator, then the Friedrichs extension of A is the operator \(A_\mathcal {F} \) with
Here, as usual,
Theorem 3.3
The operator \((\textit{JJ}^\star )^{-1}\) is the Friedrichs extension of A.
Proof
(1) We first show that the operator \((\textit{JJ}^\star )^{-1}\) is a self-adjoint extension of A. The inclusion operator \(J: \mathcal {H} _A \hookrightarrow \mathcal {H} \) is contractive because the estimate (3.1) implies
From general theory, we know that \(\Vert J^\star \Vert = \Vert J\Vert \), so both J and \(J^\star \) are contractive with respect to their respective norms, and hence \(\textit{JJ}^\star :\mathcal {H} \rightarrow \mathcal {H} \) is also contractive. We deduce that \(\textit{JJ}^\star \) is a contractive self-adjoint operator in \(\mathcal {H}\).
Using the self-adjointness of \(\textit{JJ}^\star \) and Definitions (3.2) and (3.3), we have that the following holds for any \(\psi , \varphi \in {\text {dom}}\, A\):
Since (3.7) holds on the dense subset \({\text {dom}}\, A\), we have
and it follows immediately that \(\textit{JJ}^\star \) is invertible on \({\text {ran}}A\). A fortiori, the identity (3.8) shows that \((\textit{JJ}^\star )^{-1}\) is an extension of A.
(2) Next, we must show that \({\text {ran}}\textit{JJ}^\star = {\text {dom}}\, A^\star \cap J(\mathcal {H} _A)\). Let \(\psi \in {\text {ran}}\textit{JJ}^\star \). Then \(\psi = \textit{JJ}^\star \varphi \) for some \(\varphi \in \mathcal {H} _A\), so \(y \in J(\mathcal {H} _A)\) is immediate. To see that \(\psi \in {\text {dom}}\, A^\star \), note that for any \(\varphi \in {\text {dom}}\, A\), part (1) of this proof gives
so the bound in (3.5) is satisfied with \(C = \Vert \xi \Vert \). This shows \({\text {ran}}\textit{JJ}^\star \subseteq {\text {dom}}\, A^\star \cap J(\mathcal {H} _A)\).
Now for \(\psi \in {\text {dom}}\, A^\star \cap J(\mathcal {H} _A)\), we will prove the reverse containment. Since \(\psi \in {\text {dom}}\, A\), we have \(\psi = \textit{JJ}^\star A\psi \) by part (1), so \(\psi \in {\text {ran}}\textit{JJ}^\star \). \(\square \)
Definition 3.4
A symmetric operator A is semibounded iff there is some \(c>-\infty \) for which
Definition 3.5
If A is semibounded, then \(A+c+1\) is a symmetric and nonnegative densely-defined operator satisfying (3.1), and the Friedrichs extension procedure may be applied to construct \((A+c+1)_\mathcal {F} \) as in Definition 3.2. The Friedrichs extension of A is thus defined
Remark 3.6
While there are already several constructions of Friedrichs’ extension (and corresponding proofs), we feel that our Theorem 3.3 has attractive features, both novelty and simplicity. For example, Kato’s approach [23, §2.3] depends on first developing a rather elaborate theory of closable forms, while by contrast, our proof is simple and direct. Additionally, the tools developed here are precisely those which we need in our analysis of the network Laplacian as a semibounded Hermitian operator with dense domain in \(\mathcal {H} _\mathcal {E} \), the Hilbert space of functions of finite energy on a graph. For readers interested in earlier approaches to Friedrichs’ extension, we refer to, for example the books by Dunford-Schwartz [2], Kato [23], and Reed and Simon [28]. The following corollary shows that part of Kato’s results can be recovered from Lemma 2.2 and Theorem 3.3.
Corollary 3.7
For a given Hilbert space \(\mathcal {H}\), there is a bijective correspondence between the collection of densely-defined closed quadratic forms q which satisfy \(q(\varphi ,\varphi ) \ge \Vert \varphi \Vert ^2\), and the collection of self-adjoint operators A on \(\mathcal {H}\) which satisfy \(A \ge 1\). More precisely:
-
(1)
Given A, let \({\text {dom}}\, q := {\text {dom}}\, A^{1{/}2}\) and define
$$\begin{aligned} q(\varphi , \psi ) := \left\langle A^{1{/}2} \varphi , A^{1{/}2} \varphi \right\rangle , \quad \forall \varphi ,\quad \psi \in {\text {dom}}\, q. \end{aligned}$$ -
(2)
Given q, let \(J: {\text {dom}}\, q \rightarrow \mathcal {H} \) be the inclusion map \(J \varphi = \varphi \) and define \(A := (\textit{JJ}^\star )^{-1}\).
Proof
The proof of (1) is straightforward; the nontrivial direction of the correspondence is (2), but this follows immediately from Theorem 3.3. \(\square \)
4 A Generalization of the Krein Construction
The following result is used to generalize some results of [20]. It also offers a more streamlined proof; see Corollary 5.23 and Remark 5.24.
Theorem 4.1
Suppose that \(\mathcal {H} _1\) and \(\mathcal {H} _2\) are Hilbert spaces with \(\mathcal {D} \subseteq \mathcal {H} _1 \cap \mathcal {H} _2\), and that \(\mathcal {D} \) is dense in \(\mathcal {H} _1\) (but not necessarily in \(\mathcal {H} _2\)). Define \(\mathcal {D} ^\star \subseteq \mathcal {H} _2\) by
Then \(\mathcal {D} ^\star \) is dense in \(\mathcal {H} _2\) if and only if there exists a self-adjoint operator \(\Lambda \) in \(\mathcal {H} _1\) with \(\mathcal {D} \subseteq {\text {dom}}\, \Lambda \) and
Proof
Consider the inclusion operator \(J:\mathcal {H} _1 \rightarrow \mathcal {H} _2\) given by
By the definition of \({\text {dom}}\, J^\star \), we know that \(h \in {\text {dom}}\, J^\star \) iff there is a finite \(C=C_h\) such that \(|\langle J\varphi , h\rangle _{\mathcal {H} _2}| \le C\Vert \varphi \Vert _{\mathcal {H} _1}\). By (4.1), this means \(h \in {\text {dom}}\, J^\star \) iff \(h \in \mathcal {D} ^\star \), i.e., that \({\text {dom}}\, J^\star = \mathcal {D} ^\star \). Consequently, the assumption that (4.1) is dense in \(\mathcal {H} _2\) is equivalent to \(J^\star \) being densely defined, and hence also equivalent to J being closable. By a theorem of von Neumann, the operator \(\Lambda := J^\star \overline{J}\) is self-adjoint in \(\mathcal {H} _1\). Now for \(\varphi \in \mathcal {D} \), we have
which verifies (4.2).
For the converse, we need to show that \(\mathcal {D} ^\star \) is dense in \(\mathcal {H} _2\). To this end, we exhibit a set \(\mathcal {V} \subseteq \mathcal {D} ^\star \subseteq \mathcal {H} _2\), with \(\mathcal {V} \) dense in \(\mathcal {H} _2\). Note that (4.2) implies the existence of a well-defined partial isometry \(K: \mathcal {H} _1 \rightarrow \mathcal {H} _2\) given by \(K\Lambda ^{1{/}2} \varphi = \varphi \), \(\forall \varphi \in \mathcal {D} \), and satisfying \({\text {dom}}\, K = K^\star K = \overline{{\text {ran}}(\Lambda ^{1{/}2})}\). We extend K by defining \(K=0\) on \(({\text {dom}}\, K)^\perp \), and then defining \(\mathcal {V}:= \{\psi \in \mathcal {H} _2 \,\vdots \,K^\star \psi \in {\text {dom}}\, (\Lambda ^{1{/}2})\}\). For \(\psi \in \mathcal {V} \), the definition of K and the Cauchy–Schwarz inequality now yield
for every \(\varphi \in \mathcal {D} \), whence \(\mathcal {V} \subseteq \mathcal {D} ^\star \). Since \(\Lambda ^{1/2}\) is densely defined, \(\mathcal {V} \) is dense in \(\mathcal {H} _2\).
\(\square \)
Example 2.5 illustrates the relationship that can exist between the adjoint of an operator between \(L^2\) spaces, and the Radon–Nikodym derivative of their respective measures, and how mutual orthogonality of these measures can cause a catastrophic failure of the adjoint. We return to this theme in the following example, which shows how our main result Theorem 4.1 can be regarded as a noncommutative version of the Lebesgue–Radon–Nikodym decomposition. We pursue this line of enquiry further in the forthcoming work [19]; see also [8, 9, 27].
Example 4.2
Let \((X,\mathcal {A})\) be a measure space on which two regular, positive, and \(\sigma \)-finite measures \(\mu _1\) and \(\mu _2\) are defined. Let \(\mathcal {H} _i := L^2(X,\mu _i)\) for \(i=1,2\), and let \(\mathcal {D}:= C_c(X)\). Then the equivalent conditions in the conclusion of Theorem 4.1 hold if and only if \(\mu _2 \ll \mu _1\). In this case, \(\Lambda \) corresponds to multiplication by the Radon–Nikodym derivative \(f:=\frac{d\mu _2}{d\mu _1}\), and (4.2) can be written
The connection between is made precise in general by the spectral theorem, in the following corollary of Theorem 4.1.
Corollary 4.3
Assume the hypotheses of Theorem 4.1. Then, for every \(\varphi \in \mathcal {D} \), there is a Borel measure \(\mu _\varphi \) on \([0,\infty )\) such that
Proof
Following the proof of Theorem 4.1, we take \(J:\mathcal {D} \rightarrow \mathcal {H} _2\) by \(J\varphi =\varphi \) and obtain the self-adjoint operator \(\Lambda = J^\star J\). The spectral theorem yields a spectral resolution
where \(E_\Lambda \) is the associated projection-valued measure. If we define \(\mu _\varphi \) via
then the conclusions in (4.3) follow from the spectral theorem. \(\square \)
For an additional application of Theorem 4.1, see the example of the Laplace operator on the energy space given in Example 5.25.
5 Application: Laplace Operators on Infinite Networks
We now proceed to introduce the key notions used throughout this paper: resistance networks, the energy form \(\mathcal {E} \), the Laplace operator \(\Delta \), and their elementary properties. For further background, we refer to [10–18, 24–26].
Definition 5.1
A (resistance) network \((G,c)\) is a connected weighted undirected graph with vertex set \(G\) and adjacency relation defined by a symmetric conductance function \(c: G \times G \rightarrow [0,\infty )\). More precisely, there is an edge connecting x and y iff \(c_{xy}>0\), in which case we write \(x \sim _{}y\). The nonnegative number \(c_{xy}=c_{yx}\) is the weight associated to this edge and it is interpreted as the conductance, or reciprocal resistance of the edge.
We make the standing assumption that \((G,c)\) is locally finite. This means that every vertex has finite degree, i.e., for any fixed \(x \in G \) there are only finitely many \(y \in G \) for which \(c_{xy}>0\). We denote the net conductance at a vertex by
Motivated by current flow in electrical networks, we also assume \(c_{xx}=0\) for every vertex \(x \in G\).
In this paper, connected means simply that for any \(x,y \in G \), there is a finite sequence \(\{x_i\}_{i=0}^n\) with \(x=x_0\), \(y=x_n\), and \(c _{x_{i-1} x_i} > 0\), \(i=1,\dots ,n\). For any network, one can fix a reference vertex, which we shall denote by o (for “origin”). It will always be apparent that our calculations depend in no way on the choice of o.
Definition 5.2
The Laplacian on \(G\) is the linear difference operator which acts on a function \(u:G \rightarrow \mathbb {R} \) by
A function \(u:G \rightarrow \mathbb {R} \) is harmonic iff \(\Delta u(x)=0\) for each \(x \in G \). Note that the sum in (5.2) is finite by the local finiteness assumption above, and so the Laplacian is well-defined.
The domain of \(\Delta \), considered as an operator on \(\mathcal {H} _\mathcal {E} \) or \(\ell ^2(G)\), is given in Definitions 5.19 and 5.18.
Definition 5.3
The energy form is the (closed, bilinear) Dirichlet form
which is defined whenever the functions u and v lie in the domain
Hereafter, we write the energy of u as \(\mathcal {E} (u) := \mathcal {E} (u,u)\). Note that \(\mathcal {E} (u)\) is a sum of nonnegative terms and hence converges iff it converges absolutely.
The energy form \(\mathcal {E} \) is sesquilinear and conjugate symmetric on \({\text {dom}}\, \mathcal {E} \) and would be an inner product if it were positive definite. Let \(\mathbf {1}\) denote the constant function with value 1 and observe that \(\ker \mathcal {E} = \mathbb {R} \mathbf {1} \). One can show that \({\text {dom}}\, \mathcal {E} / \mathbb {R} \mathbf {1} \) is complete and that \(\mathcal {E} \) is closed; see [7, 10, 16, 23].
Definition 5.4
The energy (Hilbert) space is \(\mathcal {H} _\mathcal {E} := {\text {dom}}\, \mathcal {E} {/}\mathbb {R} \mathbf {1} \). The inner product and corresponding norm are denoted by
It is shown in [16, Lemma 2.5] that the evaluation functionals \(L_x u = u(x) - u(o)\) are continuous, and hence correspond to elements of \(\mathcal {H} _\mathcal {E} \) by Riesz duality (see also [16, Cor. 2.6]). When considering \(\mathbb {C}\)-valued functions, (5.5) is modified as follows: \(\langle u, v \rangle _\mathcal {E} := \mathcal {E} (\overline{u},v)\).
Definition 5.5
Let \(v_x\) be defined to be the unique element of \(\mathcal {H} _\mathcal {E} \) for which
Note that \(v_o\) corresponds to a constant function, since \(\langle v_o, u\rangle _\mathcal {E} = 0\) for every \(u \in \mathcal {H} _\mathcal {E} \). Therefore, \(v_o\) may be safely omitted in some calculations.
As (5.6) means that the collection \(\{v_x\}_{x \in G}\) forms a reproducing kernel for \(\mathcal {H} _\mathcal {E} \), we call \(\{v_x\}_{x \in G}\) the energy kernel. It follows that the energy kernel has dense span in \(\mathcal {H} _\mathcal {E} \); c.f. [1].Footnote 4
Remark 5.6
(Differences and representatives) Equation (5.6) is independent of the choice of representative of u because the right-hand side is a difference: if u and \(u^{\prime }\) are both representatives of the same element of \(\mathcal {H} _\mathcal {E} \), then \(u^{\prime } = u+k\) for some \(k \in \mathbb {R} \) and \(u^{\prime }(x) - u^{\prime }(o) = (u(x)+k)-(u(o)+k) = u(x)-u(o).\) By the same token, the formula for \(\Delta \) given in (5.2) describes unambiguously the action of \(\Delta \) on equivalence classes \(u \in \mathcal {H} _\mathcal {E} \). Indeed, formula (5.2) defines a function \(\Delta u:G \rightarrow \mathbb {R} \) but we may also interpret \(\Delta u\) as the class containing this representative.
Definition 5.7
Let \(\delta _x \in \ell ^2(G)\) denote the Dirac mass at x, i.e., the characteristic function of the singleton \(\{x\}\) and let \(\delta _x \in \mathcal {H} _\mathcal {E} \) denote the element of \(\mathcal {H} _\mathcal {E} \) which has \(\delta _x \in \ell ^2(G)\) as a representative. The context will make it clear which meaning is intended.
Remark 5.8
Observe that \(\mathcal {E} (\delta _x) = c (x) < \infty \) is immediate from (5.3), and hence one always has \(\delta _x \in \mathcal {H} _\mathcal {E} \) [recall that c(x) is the total conductance at x; see (5.1)].
Definition 5.9
For \(v \in \mathcal {H} _\mathcal {E} \), one says that v has finite support iff there is a finite set \(F \subseteq G\) such that \(v(x) = k \in \mathbb {C} \) for all \(x \notin F\). Equivalently, the set of functions of finite support is
Define to be the \(\mathcal {E} \)-closure of \({\text {span}} \{\delta _x\}\).
Definition 5.10
The set of harmonic functions of finite energy is denoted
The following result is well known; see [31, §VI], [26, §9.3], [16, Theorem 2.15], or the original [35, Theorem 4.1].
Theorem 5.11
(Royden Decomposition) .
Definition 5.12
A monopole is any \(w \in \mathcal {H} _\mathcal {E} \) satisfying the pointwise identity \(\Delta w = \delta _x\) (in either sense of Remark 5.6) for some vertex \(x \in G \). A dipole is any \(v \in \mathcal {H} _\mathcal {E} \) satisfying the pointwise identity \(\Delta v = \delta _x - \delta _y\) for some \(x,y \in G \).
Remark 5.13
It is easy to see from the definitions (or [16, Lemma 2.13]) that energy kernel elements are dipoles, i.e., that \(\Delta v_x = \delta _x - \delta _o\), and that one can therefore always find a dipole for any given pair of vertices \(x,y \in G\), namely, \(v_x-v_y\). On the other hand, monopoles exist if and only if the network is transient (see [32, Theorem 2.12] or [16, Remark 3.5]).
Remark 5.14
Denote the unique energy-minimizing monopole at o by \(w_o\); the existence of such an object is explained in [16, §3.1]. We are interested in the family of monopoles defined by
We use the representatives specified by
When \({\mathcal {H} {arm}} =0\), \(\mathcal {E} (w^v_{x}) = \langle w^v_{x},w^v_{x} \rangle _\mathcal {E} = w^v_{x} (x)\) is the capacity of x; see, e.g., [33, §4.D].
Lemma 5.15
([16, Lem. 2.11]) For \(x \in G \) and \(u \in \mathcal {H} _\mathcal {E} \), \(\langle \delta _x, u \rangle _\mathcal {E} = \Delta u(x)\).
Proof
Compute \(\langle \delta _x, u \rangle _\mathcal {E} = \mathcal {E} (\delta _x, u)\) directly from formula (5.3). \(\square \)
Lemma 5.16
For any \(x,y \in G\),
where \(\delta _{xy}\) is the Kronecker delta.
Proof
First, note that \(\Delta w^v_{x} (y) = \delta _{xy} = \Delta w^v_{x} (y)\) as functions, immediately from the definition of monopole. Then the substitution \(\Delta w^v_{y} = \delta _y\) gives
by Lemma 5.15, and similarly for the other identity. \(\square \)
5.1 \(\Delta \) as an Unbounded Operator
In this subsection, we consider closability and apply the results of the earlier sections. As there are many uses of the notation \(\ell ^2(G)\), we provide the following elementary definitions to clarify our conventions.
Definition 5.17
For functions \(u,v:G \rightarrow \mathbb {R} \), define the inner product
Definition 5.18
The closed operator \(\Delta _2\) on \(\ell ^2(G)\) is obtained by taking the graph closure (see Remark 5.20) of the operator \(\Delta \) which is defined pointwise by (5.2) on \({\text {span}} \{\delta _x\}_{x \in G}\), the subspace of (finite) linear combinations of point masses.
Definition 5.19
The closed operator \(\Delta _{\mathcal {E} }\) on \(\mathcal {H} _\mathcal {E} \) is obtained by taking the graph closure of the operator \(\Delta \) defined on \({\text {span}} \{w^v_{x} \}_{x \in G}\) pointwise by (5.2).
Remark 5.20
It is shown in [15, Lemma 2.7 and Theorem 2.8] states that \(\Delta \) is semibounded and essentially self-adjoint as an operator on \({\text {span}} \{\delta _x\}_{x \in G}\). It follows that \(\Delta \) is closable by the same arguments as in the end of the proof of Lemma 5.21, whence \(\Delta _2\) is closed, self-adjoint, and in particular, well-defined. However, closability will also follow in this context from the properties of symmetric pairs shown in Lemma 2.2. Note that in sharp contrast, the analogous operator \(\Delta _{\mathcal {E} }\) is not automatically self-adjoint (see [15]) and hence some care is needed (for example, in the proof of Lemma 5.21). See also [24, 25, 34].
The following lemma shows that Definition 5.19 makes sense.
Lemma 5.21
\(\Delta _{\mathcal {E} }\) is a well-defined, non-negative, closed and Hermitian operator on \(\mathcal {H} _\mathcal {E} \).
Proof
Let \(\xi = \sum _{x \in F} \xi _x w^v_{x} \), for some finite set \(F \subseteq G\). By (5.11),
Since the conductance function c is \(\mathbb {R}\)-valued, the Laplacian commutes with conjugation and therefore is also symmetric as an operator in the corresponding \(\mathbb {C}\)-valued Hilbert space. This implies \(\Delta \) is Hermitian and hence contained in its adjoint. Since every adjoint operator is closed, \(\Delta \) is closable. Furthermore, the closure of any semibounded operator is semibounded. To see that the image of \(\Delta \) lies in \(\mathcal {H} _\mathcal {E} \), note from Lemma 5.16 that \(\Delta w^v_{x} = \delta _x \in \mathcal {H} _\mathcal {E} \) by Remark 5.8. \(\square \)
In the following theorem, we apply Lemma 2.2 to the construction laid out in [20]. This shows how one can recover the closability results described in Remark 5.20 and Lemma 5.21 in a manner which is both quicker and more elegant.
Theorem 5.22
Define \(K: {\text {span}} \{\delta _x\}_{x \in G} \rightarrow \mathcal {H} _\mathcal {E} \) by \(K\delta _x = \delta _x\) and define \(L: {\text {span}} \{v_x\}_{x \in G} \rightarrow \ell ^2(G)\) by \(L(v_x) = \delta _x - \delta _o\). Then
It therefore follows immediately from Lemma 2.2 that both operators are closable.
Proof
It suffices to establish (5.15) for every \(\varphi =\delta _x\) and \(\psi = v_y\), and
follows from the reproducing property (5.6). \(\square \)
This provides a more effective way of proving a key result of [20], in the following corollary.
Corollary 5.23
In the notation of Theorem 5.22, \(K^\star \overline{K}\) is a self-adjoint extension of \(\Delta _2\) and \(L^\star \overline{L}\) is a self-adjoint extension of \(\Delta _{\mathcal {E} } \).
Remark 5.24
In [15], it is shown that \(\Delta _2\) is essentially self-adjoint, from which it follows that \(K^\star \overline{K}\) is the unique self-adjoint extension of \(\Delta _2\). It is shown in [20] that \(L^\star \overline{L}\) is the Krein extension of \(\Delta _{\mathcal {E} } \).
Proof of Corollary 5.23
Self-adjointness of these operators follows by a celebrated theorem of von Neumann once closability is established (which is given by Theorem 5.22). To establish that \(\Delta _{\mathcal {E} } \subseteq L^\star \overline{L}\), note that the definitions give
for any \(v_x\). This shows that the action of \(L^\star \overline{L}\) agrees with \(\Delta _{\mathcal {E} } \) on \({\text {dom}}\, \Delta _{\mathcal {E} } \). \(\square \)
Example 5.25
If we take \(\mathcal {H} _1 = \ell ^2(G)\), \(\mathcal {H} _2 = \mathcal {H} _\mathcal {E} \), and \(\mathcal {D} = {\text {span}} \{\delta \}_{x \in G}\), then the hypotheses of Theorem 4.1 are satisfied. The only detail requiring effort to check is that \({\text {span}} \{v_x\}_{x \in G} \subseteq \mathcal {D} ^\star \) (whence \(\mathcal {D} ^\star \) is dense in \(\mathcal {H} _2\)). To see this, note that the reproducing property of \(v_x\) gives
so one can take \(C = 2\) in (4.1). In this case, the operator \(\Lambda \) is \({\Delta _{\mathcal {E} }^{(Kr)}} \), the Krein extension of the energy Laplacian; see [20, 25].
Notes
The term “extension” here refers to containment of the respective graphs of the operators under consideration.
As a map between sets, J is the inclusion map \(C(X) \hookrightarrow L^2(X,\mu )\). However, we are considering \(C(X) \subseteq L^2(X,\lambda )\) here, and so J is not an inclusion map between Hilbert spaces because the inner products are different. Perhaps “pseudoinclusion” would be a better term.
To see this, note that a RKHS is a Hilbert space H of functions on some set X, such that point evaluation by points in X is continuous in the norm of H. Consequently, every \(x \in X\) defines a vector \(k_x \in H\) by Riesz’s Theorem, and it is immediate from this that \({\text {span}} \{k_x\}_{x \in X}\) is dense in H.
References
Aronszajn, N.: Theory of reproducing kernels. Trans. Am. Math. Soc. 68, 337–404 (1950)
Dunford, N., Schwartz, J.T.: Linear Operators. Part II. Wiley Classics Library. Wiley, New York (1988)
Friedrichs, K.: Spektraltheorie halbbeschränkter Operatoren I. und II. Teil. Math. Ann. 110, 777–779 (1935)
Friedrichs, K.: On differential operators in Hilbert spaces. Am. J. Math. 61, 523–544 (1939)
Fuglede, B.: Stability in the isoperimetric problem. Bull. Lond. Math. Soc. 18, 599–605 (1986)
Fuglede, B.: Bonnesen’s inequality for the isoperimetric deficiency of closed curves in the plane. Geom. Dedicata 38, 283–300 (1991)
Fukushima, M., Ōshima, Y., Takeda, M.: Dirichlet Forms and Symmetric Markov processes, vol. 19 of de Gruyter Studies in Mathematics. Walter de Gruyter, Berlin (1994)
Hassi, S., Sebestyén, Z., de Snoo, H.S.V., Szafraniec, F.H.: A canonical decomposition for linear operators and linear relations. Acta Math. Hung. 115, 281–307 (2007)
Jørgensen, P.E.T.: Unbounded operators: perturbations and commutativity problems. J. Funct. Anal. 39, 281–307 (1980)
Jorgensen, P.E.T., Pearse, E.P.J.: Operator Theory and Analysis of Infinite Resistance Networks. Universitext, pp. 1–247. Springer (2009) (to appear). arXiv:0806.3881
Jorgensen, P.E.T., Pearse, E.P.J.: Unbounded Containment in the Energy Space of a Network and the Krein Extension of the Energy Laplacian, pp. 1–247 (2016) (in preparation). arXiv:1504.01332
Jorgensen, P.E.T., Pearse, E.P.J.: A Hilbert space approach to effective resistance metrics. Complex Anal. Oper. Theory 4, 975–1030 (2010). arXiv:0906.2535
Jorgensen, P.E.T., Pearse, E.P.J.: Resistance boundaries of infinite networks. In: Progress in Probability: Boundaries and Spectral Theory, vol. 64, pp. 113–143. Birkhauser (2010). arXiv:0909.1518
Jorgensen, P.E.T., Pearse, E.P.J.: Gel’fand triples and boundaries of infinite networks. N.Y. J. Math. 17, 745–781 (2011). arXiv:0906.2745
Jorgensen, P.E.T., Pearse, E.P.J.: Spectral reciprocity and matrix representations of unbounded operators. J. Funct. Anal. 261, 749–776 (2011). arXiv:0911.0185
Jorgensen, P.E.T., Pearse, E.P.J.: A discrete Gauss–Green identity for unbounded Laplace operators, and the transience of random walks. Isr. J. Math. 196, 113–160 (2013). arXiv:0906.1586
Jorgensen, P.E.T., Pearse, E.P.J.: Multiplication operators on the energy space. J. Oper. Theory 69, 135–159 (2013). arXiv:1007.3516
Jorgensen, P.E.T., Pearse, E.P.J.: Spectral comparisons between networks with different conductance functions. J. Oper. Theory 72, 71–86 (2014). arXiv:1107.2786
Jorgensen, P.E.T., Pearse, E.P.J.: Characteristic Projections and a Noncommutative Lebesgue Decomposition (2016) (in preparation)
Jorgensen, P.E.T., Pearse, E.P.J.: Unbounded Containment in the Energy Space of a Network and the Krein Extension of the Energy Laplacian (2016) (in review). arXiv:1504.01332
Jorgensen, P.E.T., Pearse, E.P.J.: Applications of symmetric pairs to Gaussian fields and Tomita-Takesaki theory (2015) (in preparation)
Jorgensen, P.E.T., Pearse, E.P.J., Tian, F.: Duality for Unbounded Operators, and Applications (2015) (in review). arXiv:1509.08024
Kato, T.: Perturbation theory for linear operators. Classics in Mathematics. Springer, Berlin (1995) (reprint of the 1980 edition)
Keller, M., Lenz, D.: Dirichlet Forms and Stochastic Completeness of Graphs and Subgraphs (2009) (unpublished). arXiv:0904.2985
Keller, M., Lenz, D.: Unbounded Laplacians on graphs: basic spectral properties and the heat equation. Math. Model. Nat. Phenom. 5, 198–224 (2010)
Lyons, R., Peres, Y.: Probability on Trees and Networks. Cambridge University Press (2016). http://pages.iu.edu/~rdlyons/
Ōta, S.: On a singular part of an unbounded operator. Z. Anal. Anwend. 7, 15–18 (1988)
Reed, M., Simon, B.: Methods of Modern Mathematical Physics. I. Functional Analysis. Academic Press, New York (1972)
Rudin, W.: Real and Complex Analysis, 3rd edn. McGraw-Hill, New York (1987)
Rudin, W.: Functional analysis. International Series in Pure and Applied Mathematcis, 2nd edn. McGraw-Hill, New York (1991)
Soardi, P.M.: Potential Theory on Infinite Networks. Lecture Notes in Mathematics, vol. 1590. Springer, Berlin (1994)
Woess, W.: Random Walks on Infinite Graphs and Groups, vol. 138 of Cambridge Tracts in Mathematics. Cambridge University Press, Cambridge (2000)
Woess, W.: Denumerable Markov chains. EMS Textbooks in Mathematics. European Mathematical Society (EMS), Zürich (2009) (generating functions, boundary theory, random walks on trees)
Wojciechowski, R.K.: Stochastic Completeness of Graphs. Ph.D. dissertation (2007). arXiv:0712.1570
Yamasaki, M.: Discrete potentials on an infinite network. Mem. Fac. Sci. Shimane Univ. 13, 31–44 (1979)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Daniel Aron Alpay.
Rights and permissions
About this article
Cite this article
Jorgensen, P.E.T., Pearse, E.P.J. Symmetric Pairs and Self-Adjoint Extensions of Operators, with Applications to Energy Networks. Complex Anal. Oper. Theory 10, 1535–1550 (2016). https://doi.org/10.1007/s11785-015-0522-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11785-015-0522-3
Keywords
- Graph energy
- Graph Laplacian
- Spectral graph theory
- Resistance network
- Effective resistance
- Hilbert space
- Reproducing kernel
- Unbounded linear operator
- Self-adjoint extension
- Friedrichs extension
- Krein extension
- Essentially self-adjoint
- Spectral resolution
- Defect indices
- Symmetric pair