Abstract
Given a closed linear relation T between two Hilbert spaces \(\mathcal {H}\) and \(\mathcal {K}\), the corresponding first and second coordinate projections \(P_T\) and \(Q_T\) are both linear contractions from T to \(\mathcal {H}\), and to \(\mathcal {K}\), respectively. In this paper we investigate the features of these graph contractions. We show among other things that \(P_T^{}P_T^*=(I+T^*T)^{-1}\), and that \(Q_T^{}Q_T^*=I-(I+TT^*)^{-1}\). The ranges \({\text {ran}}P_T^{*}\) and \({\text {ran}}Q_T^{*}\) are proved to be closely related to the so called ‘regular part’ of T. The connection of the graph projections to Stone’s decomposition of a closed linear relation is also discussed.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
When dealing with (unbounded) operators, it is sometimes beneficial to identify them with their graph, that is, to treat them as linear subspaces of the corresponding product space. This approach is especially useful if the operator in question is non-closable, that is, when the closure of its graph is not the graph of a ‘single-valued’ operator anymore. In addition, the adjoint of a linear transformation can be interpreted as an operator only if it is densely defined.
The theory of linear relations (or ‘multi-valued’ linear operators in other words) between Hilbert spaces goes back at least to the fundamental paper by Arens [1]. By definition, a linear relation T between two Hilbert spaces \(\mathcal {H}\) and \(\mathcal {K}\) is just a vector subspace of the product Hilbert space \(\mathcal {H}\times \mathcal {K}\). In this way, the only (but significant) difference between operators and relations is that \(\{0,k\}\in T\) does not necessarily imply \(k=0\). However, this generality greatly simplifies the handling of operations such as taking closure, adjoint, or inverse.
A linear relation T consists of certain ordered pairs \(\{x,y\}\) of \(\mathcal {H}\times \mathcal {K}\), so one may consider the first and second coordinate projections of T into \(\mathcal {H}\) and \(\mathcal {K}\), respectively:
Note that both \(P^{}_T\) and \(Q^{}_T\) are continuous (with norm bound 1) if we endow T with the inner product coming from that of \(\mathcal {H}\times \mathcal {K}\). We shall therefore call \(P^{}_T\) and \(Q^{}_T\) the canonical contractions of T. Assume in addition that T is a closed relation, then the domain of \(P^{}_T\) and \(Q^{}_T\) becomes a Hilbert space and thus we may take the adjoint operators \(P_T^*:\mathcal {H}\rightarrow T\) and \(Q_T^*:\mathcal {K}\rightarrow T\), and also the product operators \( P^{}_TP_T^*, P^{}_TQ_T^*, Q^{}_TP_T^*\) and \( Q^{}_TQ_T^* \) are well defined contractions (Fig. 1).
The present paper is devoted to the study of these canonical contractions and their connection with the closed linear relation T. The paper is organized as follows. Section 2 contains a short overview of concepts that are needed in later sections of the paper. In Sect. 3 we analyse the first coordinate projection \(P_T\). It turns out that the range of \(P_T^*\) is identical with the restriction of \(T_{{{\,\mathrm{s}\,}}}\), the so called regular part of T, to \({\text {dom}}T^*T\). (We recall that the regular part \(T_{{{\,\mathrm{s}\,}}}\) of T is defined as the relation \(T_{{{\,\mathrm{s}\,}}}:=(I-P_m)T\) where \(P_m\) is the orthogonal projection of \(\mathcal {K}\) onto \({{\,\mathrm{mul}\,}}{\overline{T}}\), see [6].) Being so, the relation \({\text {ran}}P_T^*\) is always the graph of a closable linear operator. In Sect. 4 we are going to establish some necessary and sufficient conditions for a pair S, T of operators in order that they satisfy
by means of the corresponding graph contractions \(P^{}_T,Q^{}_T\) and \(P_S^{},Q_S^{}\), respectively. A different approach to the the same issue was treated in the recent paper [15] of the authors. The interested reader may also consult with [10, 11, 13, 14, 16]. In Sect. 5, we examine the appropriate products \(P^{}_TP_T^*, P^{}_TQ_T^*, Q^{}_TP_T^*\) and \( Q^{}_TQ_T^* \) of the contractions in question, and we are going to clarify their connection with the relations T and \(T^*\). In particular, we present a new and constructive proof of self-adjointness of \(T^*T\) (provided that T is closed) by showing that \((I+T^*T)^{-1}=P^{}_TP_T^*\). Finally, we conclude the paper by showing how Stone’s decomposition [17] of a closed linear relation T can be obtain by applying the results.
2 Linear Relations
Throughout the paper, \(\mathcal {H}\) and \(\mathcal {K}\) will denote real or complex Hilbert spaces. A linear relation T between \(\mathcal {H}\) and \(\mathcal {K}\) is nothing but a linear subspace of the product Hilbert space \(\mathcal {H}\times \mathcal {K}\). We shall call the relation T closed if it is a closed subspace of \(\mathcal {H}\times \mathcal {K}\). Accordingly, the closure \({\overline{T}}\) of T is always a closed linear relation, and being so, it becomes a Hilbert space with respect to the induced inner product
If we refer to \({\overline{T}}\) as the above Hilbert space, we shall denote it by \(\mathcal {G}(T)\).
Recall that every linear operator \(T:\mathcal {H}\rightarrow \mathcal {K}\) when identified with its graph is a linear relation:
Nevertheless, the closure (of the graph) of a linear operator is no longer an operator in general, namely, it may be that \(\{0,k\}\in \overline{T}\) for some non-zero k. Accordingly, we call T closable if its closure \(\overline{T}\) is itself an operator.
The domain, range, kernel and multivalued part of a linear relation T are defined to be the following linear subspaces, respectively:
It is immediate that \(\ker T\) and \({{\,\mathrm{mul}\,}}T\) are both closed subspaces whenever T itself is closed. It goes also without saying that T is (the graph of) an operator if and only if \({{\,\mathrm{mul}\,}}T=\{0\}\), and that T is (the graph of) a closable operator if and only of \({{\,\mathrm{mul}\,}}\overline{T}=\{0\}\).
The inverse of a linear relation T is defined as
If S and T are both linear relations then their product TS is given by
The operatorlike sum of S and T is
just like in the case of operators, while the componentwise (or Minkowski) sum is
The adjoint of a linear relation T is defined by
where \(W:\mathcal {H}\times \mathcal {K}\rightarrow \mathcal {K}\times \mathcal {H}\) is the ‘flip’ operator
It is immediate that \(T^*\) is a closed linear relation between \(\mathcal {K}\) and \(\mathcal {H}\) and that \(T^{**}=\overline{T}\). Note that the following orthogonal decomposition of \(\mathcal {K}\times \mathcal {H}\) holds also true:
Another equivalent definition of \(T^*\) might be given in terms of the inner product, namely,
Recall also the following identities:
For a given linear relation T, let us denote by \(P_m\) the orthogonal projection of \(\mathcal {K}\) onto \({{\,\mathrm{mul}\,}}\overline{T}\). The regular part of T is defined as the linear relation
It can be shown that \(T_{{{\,\mathrm{s}\,}}}\) is (the graph of) a closable operator. In contrast, the singular part
is a so called singular relation which means that \(\overline{T_{{{\,\mathrm{sing}\,}}}}\) is the product of two closed subspaces. By means of the regular and singular parts, the linear relation T allows the following canonical sum decomposition
see [6, Theorem 4.1]. Note also immediately that the regular and singular parts may be written as
We shall also use the fact that “regular part” and “closure” operations commute in the sense that
see [6, Proposition 4.5]. An important consequence of this result is that the regular part of a closed linear relation is closed itself, and also that \(T_{{{\,\mathrm{s}\,}}}\subseteq T\), provided that T is closed.
The interested reader is referred to the books [2, 12] and papers [1, 6, 7] where, in addition to the proofs of the above statements, more information about linear relations can be found.
3 Canonical Graph Contractions of a Linear Relation
Let T be a linear relation between the real or complex Hilbert spaces \(\mathcal {H}\) and \(\mathcal {K}\). The canonical graph contractions \(P^{}_T:{\overline{T}}\rightarrow \mathcal {H}\) and \(Q^{}_T:{\overline{T}}\rightarrow \mathcal {K}\) of T are defined as the mappings
Note that both of those mappings are linear contractions if we consider them as operators from the Hilbert space \(\mathcal {G}(T)\) into \(\mathcal {H}\) and \(\mathcal {K}\), respectively:
Therefore, their adjoint operators \(P_T^*\in \mathscr {B}(\mathcal {H};\mathcal {G}(T))\) and \(Q_T^*\in \mathscr {B}(\mathcal {K};\mathcal {G}(T))\) are themselves linear contractions, and their ranges \({\text {ran}}P_T^*\) and \({\text {ran}}Q_T^*\) are linear relations. Observe immediately that
Consequently, we see that T is (the graph) of a closable operator if and only if \(P_T\) is one-to-one. The following identities
and
are also easy to verify. However, the descriptions of \({\text {ran}}P_T^*\) and \({\text {ran}}Q_T^*\) are somewhat more involved and need some preparations. We are going to deal with those subspaces in Theorem 3.6 and Proposition 5.5, respectively.
Note also that \(P^{}_T=P_{{\overline{T}}}\) and \(Q^{}_T=Q_{\overline{T}}\), by definition. Hence, there is no loss of generality in assuming that the linear relation T is closed. In light of this, with a few exceptions, we will do so.
Below we are going to examine the properties of the contractions \(P_T\) and \(Q_T\) and their connection with T in detail. We start out by analysing the first coordinate projection \(P_T\).
Lemma 3.1
Let T be a linear relation between \(\mathcal {H}\) and \(\mathcal {K}\), then
Proof
Consider \(h\in \mathcal {H}\) and let \(P_T^*h:=\{z,w\}\in {\text {ran}}P_T^*\), then we have
for every \(\{x,y\}\in T\). Hence we get
which implies that \(\{w,h-z\}\in T^*\) and therefore \(w=Q^{}_TP^*_Th\in {\text {dom}}T^*\). \(\square \)
Proposition 3.2
Let T be a linear relation between \(\mathcal {H}\) and \(\mathcal {K}\), then
Proof
‘\(\supseteq \):’ Assume first that \(\{x,y\}\in T\cap {\text {ran}}P_T^*\), then \(y\in {\text {ran}}Q^{}_TP_T^*\subseteq {\text {dom}}T^*\) by Lemma 3.1, and therefore there exists \(z\in \mathcal {H}\) such that \(\{y,z\}\in T^*\). This means that \(\{x,z\}\in T^*T\) and therefore \(x\in {\text {dom}}T^*T\).
‘\(\subseteq \):’ Suppose on the converse that \(x\in {\text {dom}}T^*T\), then \(\{x,y\}\in T\) and \(\{y,z\}\in T^*\) for some y and z. It suffices to show that \(\{x,y\}\in {\text {ran}}P_T^*\). Let therefore \(\{u,v\}\in T\), then we have
whence it follows that \(\{x,y\}=P_T^*(x+z)\in {\text {ran}}P_T^*\). \(\square \)
From the above proposition we get the following two straightforward corollaries:
Corollary 3.3
If T is (the graph of) an operator, then
If T is closed in addition, then
Corollary 3.4
If T is a closed linear relation then
At the beginning of this section we determined the subspaces \(\ker P_T\), \({\text {ran}}P_T\) and \(\ker P_T^*\) [see formulas (3.1) and (3.2)]. Next we deal with the range space of \(P_T^*\). Observe that \({\text {ran}}P_T^*\), being a linear subspace of \({\overline{T}}\), is itself a linear relation. In the ensuing result we shall see that \({\text {ran}}P_T^*\) is, in fact, (the graph of) a closable operator.
Theorem 3.5
Let T be a linear relation between \(\mathcal {H}\) and \(\mathcal {K}\), then
In particular, \({\text {ran}}P_T^*\) is always (the graph of) a closable operator.
Proof
First of all note that if \(\{x,(I-P_m)y\}\in {\overline{T}}\) for some \(\{x,y\}\in \mathcal {H}\times \mathcal {K}\), then necessarily \(\{x,y\}\in {\overline{T}}\). (Recall that \(P_m\) stands for the orthogonal projection of \(\mathcal {K}\) onto \({{\,\mathrm{mul}\,}}\overline{T}\).) Indeed,
Recall that by (3.1) we have \(\ker P_T=\{0\}\times {{\,\mathrm{mul}\,}}{\overline{T}}\). Hence we have
as it is claimed. \(\square \)
Theorem 3.6
For every linear relation T between \(\mathcal {H}\) and \(\mathcal {K}\) we have
Proof
Note that we have identity \(P_T=P_{\overline{T}}\) for every linear relation. On the other hand, \({\overline{T_{{{\,\mathrm{s}\,}}}}}=(\overline{T})_{{{\,\mathrm{s}\,}}}\) according to (2.6). Therefore, without loss of generality we may assume that T is closed, in which case (3.4) reduces to
By Theorem 3.5 we have \({\text {ran}}P_T^*\subseteq T_{{{\,\mathrm{s}\,}}}\) and by Corollary 3.4, \({\text {dom}}({\text {ran}}P_T^*)={\text {dom}}T^*T\) whenever T is closed. Since \(T_{{{\,\mathrm{s}\,}}}\) is the graph of an operator, we obtain (3.5). \(\square \)
4 Linear Relations Adjoint to Each Other
Let T and S be linear relations between \(\mathcal {H}\) and \(\mathcal {K}\), respectively, \(\mathcal {K}\) and \(\mathcal {H}\). We say that T and S are adjoint to each other (or that T, S form an adjoint pair), if they satisfy
or equivalently, if
An important and natural question is under what conditions are the equations \(T=S^*\) and \(S=T^*\) satisfied. Below we provide some necessary and sufficient conditions on the pair S, T by means of the corresponding graph contractions \(P^{}_T,Q^{}_T\) and \(P_S^{},Q_S^{}\) in order that they satisfy the weaker identities \(T^{**}=S^*\) and \(S^{**}=T^*\)
Theorem 4.1
Let S, T be linear relations between \(\mathcal {H}\) and \(\mathcal {K}\), respectively, \(\mathcal {K}\) and \(\mathcal {H}\), that are adjoint to each other in the sense of (4.1). Then the following statements are equivalent:
-
(i)
\(S^*=T^{**}\) and \(T^*=S^{**}\),
-
(ii)
-
(a)
\(P_T^{}P_T^*+Q_S^{}Q_S^*=I_{\mathcal {H}}\),
-
(b)
\(P_S^{}P_S^*+Q_T^{}Q_T^*=I_{\mathcal {K}}\),
-
(c)
\(Q^{}_TP_T^*=P_S^{}Q_S^*\).
-
(a)
Proof
Since the corresponding canonical contractions of T and \({\overline{T}}\) (resp., of S and \(\overline{S}\)) are identical, we may assume without loss of generality that both S and T are closed. Let us introduce the following operator matrix
which acts between \({\overline{T}}\times {\overline{S}}\) and \(\mathcal {H}\times \mathcal {K}\) by the correspondence
Since T and S are adjoint to each other, one concludes that \(U_{T,S}\) is an isometry: for let \(\{x,y\}\in T\) and \( \{v,u\}\in S\), then by (4.2)
Observe immediately that the range of \(U_{T,S}\) can be written as
where W is the ‘flip’ operator (2.1) and \({\widehat{\oplus }}\) denotes orthogonal Minkowski sum. On the other hand, we have the orthogonal decomposition
for the closed linear relation T. From these last two identities it follows that \(U_{T,S}\) is unitary if and only if \(W(S)=W(T^*)\), i.e., \(S=T^*\). An easy calculation shows that
from which the desired equivalence between (i) and (ii) already follows. \(\square \)
Remark 4.2
Some characterizations of those linear operators S, T which satisfy identities \(S^*=T\) and \(T^*=S\) were given in [15] by means of the operator matrix
cf. also [10, 14]. The general case of linear relations was discussed in [11] in the same spirit. For an exact interpretation of matrices with linear relation entries the reader is referred to [8].
5 Products of Graph Contractions
Let T be linear relation between the Hilbert spaces \(\mathcal {H}\) and \(\mathcal {K}\) and consider its canonical graph contractions \(P^{}_T:\mathcal {G}(T)\rightarrow \mathcal {H}\) and \(Q^{}_T:\mathcal {G}(T)\rightarrow \mathcal {K}\). Then the following four operators \( P^{}_TP_T^*, P^{}_TQ_T^*, Q^{}_TP_T^*\) and \( Q^{}_TQ_T^* \) are all well defined linear contractions between the appropriate Hilbert spaces. In this section we clarify their role and connection with the relations T and \(T^*\).
Lemma 5.1
Let T be a closed linear relation between \(\mathcal {H}\) and \(\mathcal {K}\), then
-
(a)
\({{\,\mathrm{mul}\,}}(TT^*)={{\,\mathrm{mul}\,}}T\),
-
(b)
\(T^*T=(T_{{{\,\mathrm{s}\,}}})^*T_{{{\,\mathrm{s}\,}}}^{},\)
-
(c)
\((TT^*)_{{{\,\mathrm{s}\,}}}=T_{{{\,\mathrm{s}\,}}}(T^*)_{{{\,\mathrm{s}\,}}}\).
Proof
-
(a)
Let \(k\in {{\,\mathrm{mul}\,}}T\), then \(\{0,0\}\in T^*\) and \(\{0,k\}\in T\) implies that \(k\in {{\,\mathrm{mul}\,}}TT^*\). Assume on the converse that \(k\in {{\,\mathrm{mul}\,}}TT^*\), then there exists u such that \(\{0,u\}\in T^*\) and \(\{u,k\}\in T\). Since we have \(u\in {\text {dom}}T\cap {{\,\mathrm{mul}\,}}T^*\), from (2.3) it follows that \(u=0\). So \(\{0,k\}\in T\) and therefore \(k\in {{\,\mathrm{mul}\,}}T\).
-
(b)
First we show inclusion \(T^*T\subset (T_{{{\,\mathrm{s}\,}}})^*T_{{{\,\mathrm{s}\,}}}^{}\). Take \(\{x,z\}\in T^*T\), then there exists y such that \(\{x,y\}\in T\) and \(\{y,z\}\in T^*\). In particular we have \(y\in {\text {dom}}T^*\subseteq {{\,\mathrm{mul}\,}}T^\perp \), thus \(\{x,y\}=\{x,(I-P_m)y\}\in T_{{{\,\mathrm{s}\,}}}\). On the other hand, we have inclusion \(T_{{{\,\mathrm{s}\,}}}\subset T\) by closedness, so \(T^*\subset (T_{{{\,\mathrm{s}\,}}})^*\). Consequently, \(\{x,z\}\in (T_{{{\,\mathrm{s}\,}}})^*T_{{{\,\mathrm{s}\,}}}\), indeed. Conversely, let \(\{x,z\}\in (T_{{{\,\mathrm{s}\,}}})^*T_{{{\,\mathrm{s}\,}}}\), then there exists y such that \(\{x,y\}\in T_{{{\,\mathrm{s}\,}}}\) and \(\{y,z\}\in (T_{{{\,\mathrm{s}\,}}})^*\). Here we have \(\{x,y\}\in T\) as \(T_{{{\,\mathrm{s}\,}}}\subseteq T\). Furthermore, \((T_{{{\,\mathrm{s}\,}}})^*\) can be written as
$$\begin{aligned} (T_{{{\,\mathrm{s}\,}}})^*=T^*\,{\widehat{\oplus }}\,({{\,\mathrm{mul}\,}}T\times \{0\}), \end{aligned}$$where \({\widehat{\oplus }}\) denotes Minkowski direct sum. This yields us \(\{k,h\}\in T^*\) and \(w\in {{\,\mathrm{mul}\,}}T\) such that \(\{y,z\}=\{k,h\}+\{w,0\}\). Since \(y,k\in {{\,\mathrm{mul}\,}}T^\perp ,\) we get \(w=0\) and \(y=k\), consequently \(\{y,z\}\in T^*\) and \(\{x,z\}\in T^*T\).
-
(c)
By (a) we have \({{\,\mathrm{mul}\,}}T={{\,\mathrm{mul}\,}}(TT^*)\), hence
$$\begin{aligned} (TT^*)_{{{\,\mathrm{s}\,}}}=(I-P_m) TT^*=T_{{{\,\mathrm{s}\,}}} T^*\supset T_{{{\,\mathrm{s}\,}}} (T^*)_{{{\,\mathrm{s}\,}}}, \end{aligned}$$because \((T^*)_{{{\,\mathrm{s}\,}}}\subset T^*\). To see the converse inclusion take \(\{v,(I-P_m)w\}\in (TT^*)_{{{\,\mathrm{s}\,}}}\), and let \(\{v,u\}\in T^*\) and \(\{u,w\}\in T\) for some u, then \(\{u,(I-P_m)w\}\in T_{{{\,\mathrm{s}\,}}}\) and from \(u\in {\text {dom}}T\) we get that \(u\in ({{\,\mathrm{mul}\,}}\overline{T})^{\perp }\), hence \(\{v,u\}\in (T^*)_{{{\,\mathrm{s}\,}}}\). Thus \(\{v,(I-P_m)w\}\in T_{{{\,\mathrm{s}\,}}} (T^*)_{{{\,\mathrm{s}\,}}}.\) \(\square \)
In the next theorem we are going to deal with the contractions \(P^{}_TP_T^*, Q^{}_TQ_T^*, P^{}_TQ_T^*\) and \(Q^{}_TP_T^*\).
Theorem 5.2
Let T be a closed linear relation between \(\mathcal {H}\) and \(\mathcal {K}\). Then
-
(a)
\(P^{}_TP_T^*=(I+T^*T)^{-1}\),
-
(b)
\(Q_T^{}P_T^*=T_{{{\,\mathrm{s}\,}}}(I+T^*T)^{-1}\),
-
(c)
\(P_T^{}Q_T^{*}=(T^*)_{{{\,\mathrm{s}\,}}}(I+TT^*)^{-1}\),
-
(d)
\(Q^{}_TQ_T^*=I-(I+TT^*)^{-1}=P_m+(TT^*)_{{{\,\mathrm{s}\,}}}(I+TT^*)^{-1}\).
Proof
-
(a)
Let us introduce the linear operator
$$\begin{aligned} P_T^{\dagger }:{\text {dom}}T\rightarrow \mathcal {H}\times \mathcal {K}, \qquad P_T^{\dagger }u:=\{u, T_{{{\,\mathrm{s}\,}}}u\}. \end{aligned}$$Observe that \(P_T^{\dagger }u\in T_{{{\,\mathrm{s}\,}}}\subseteq T\) for every \(u\in {\text {dom}}T\), and that
$$\begin{aligned} P_T^{\dagger }P^{}_T\{u,T_{{{\,\mathrm{s}\,}}}u\}=\{u,T_{{{\,\mathrm{s}\,}}}u\}. \end{aligned}$$(5.1)Since \({\text {ran}}P_T^*\subset T_{{{\,\mathrm{s}\,}}}\) by Theorem 3.5, from (5.1) it follows that \(P_T^\dagger P^{}_TP_T^*=P_T^*\). Let now \(x\in {\text {dom}}T\) and \(h\in \mathcal {H}\), then
$$\begin{aligned} ({x\,\vert \,h})^{}_{\mathcal {H}}&=({P^{}_TP_T^{\dagger }x\,\vert \,h})^{}_{\mathcal {H}}=({P_T^{\dagger }x\,\vert \,P_T^*h})_{T}=({P_T^\dagger x\,\vert \, P_T^\dagger P^{}_TP_T^*h})_{T}\\&=({\{x,T_{{{\,\mathrm{s}\,}}}x\}\,\vert \,\{P^{}_TP_T^*h,T_{{{\,\mathrm{s}\,}}}P^{}_TP_T^*h\}})_{T}\\&=({x\,\vert \,P^{}_TP_T^*h})^{}_{\mathcal {H}}+({T_{{{\,\mathrm{s}\,}}}x\,\vert \,T_{{{\,\mathrm{s}\,}}}P^{}_TP_T^*h})^{}_{\mathcal {K}}, \end{aligned}$$consequently,
$$\begin{aligned} ({T_{{{\,\mathrm{s}\,}}}x\,\vert \,T_{{{\,\mathrm{s}\,}}}P^{}_TP_T^*h})^{}_{\mathcal {K}}=({x\,\vert \,h-P_T^{}P_T^*h})^{}_{\mathcal {H}}. \end{aligned}$$This implies that
$$\begin{aligned} P^{}_TP_T^*h\in {\text {dom}}(T_{{{\,\mathrm{s}\,}}})^{*}T_{{{\,\mathrm{s}\,}}}^{}\qquad \text{ and }\qquad h=(I+(T_{{{\,\mathrm{s}\,}}})^{*}T_{{{\,\mathrm{s}\,}}}^{})P_T^{}P_T^*h, \end{aligned}$$that is, \(P_TP_T^*=(I+(T^*)_{{{\,\mathrm{s}\,}}}T_{{{\,\mathrm{s}\,}}}^{})^{-1}\). Since we have identity \(T^*T=(T^*)_{{{\,\mathrm{s}\,}}}T_{{{\,\mathrm{s}\,}}}^{}\) by Lemma 5.1, the proof of part (a) is complete.
-
(b)
Take any vector \(h\in \mathcal {H}\). From (a) and equality \(P_T^{\dagger }P^{}_TP_T^*=P_T^*\) we conclude that
$$\begin{aligned} Q^{}_TP_T^*h&=Q^{}_TP_T^{\dagger }P^{}_TP_T^*h=Q^{}_TP_T^{\dagger }(I+T^*T)^{-1}h\\&=Q_T\{(I+T^*T)^{-1}h,T_{{{\,\mathrm{s}\,}}}(I+T^*T)^{-1}h\}\\&=T_{{{\,\mathrm{s}\,}}}(I+T^*T)^{-1}h, \end{aligned}$$whence we get identity (b).
-
(c)
Replacing T by \(T^*\) in (b), we obtain that
$$\begin{aligned} Q^{}_{T^*}P_{T^*}^*=(T^*)_{{{\,\mathrm{s}\,}}}(I+TT^*)^{-1}. \end{aligned}$$On the other hand, it follows from Theorem 4.1 (ii) (c) that \(P^{}_TQ_T^*=Q_{T^*}^{}P_{T^*}^*\), hence the desired identity follows.
-
(d)
First we note that
$$\begin{aligned} (I-P_m)Q_T=T_{{{\,\mathrm{s}\,}}}P_T, \end{aligned}$$because for \(\{x,y\}\in T\),
$$\begin{aligned} (I-P_m)Q_T\{x,y\}=(I-P_m)y=T_{{{\,\mathrm{s}\,}}}x=T_{{{\,\mathrm{s}\,}}}P_T\{x,y\}. \end{aligned}$$From this and (c) we get that
$$\begin{aligned} (I-P_m)Q^{}_TQ_T^{*}&=T_{{{\,\mathrm{s}\,}}}P^{}_TQ_T^{*}=T_{{{\,\mathrm{s}\,}}}(T^*)_{{{\,\mathrm{s}\,}}}(I+TT^*)^{-1}\\&=(TT^*)_{{{\,\mathrm{s}\,}}}(I+TT^*)^{-1}. \end{aligned}$$On the other hand, we have
$$\begin{aligned} Q_T^{}Q_T^{*}=I-P_{T^*}^{}P_{T^*}^*, \end{aligned}$$by Theorem 4.1 (ii) (b). Since \({\text {ran}}P_{T^*}={\text {dom}}T^*\subset ({{\,\mathrm{mul}\,}}T)^{\perp }\), we get
$$\begin{aligned} P_mQ_T^{}Q_T^{*}=P_m-P_mP_{T^*}^{}P_{T^*}^*=P_m. \end{aligned}$$From the above identities we get
$$\begin{aligned} Q_T^{}Q_T^{*}=P_mQ_T^{}Q_T^{*}+(I-P_m)Q_T^{}Q_T^{*}=P_m+(TT^*)_{{{\,\mathrm{s}\,}}}(I+TT^*)^{-1}, \end{aligned}$$which completes the proof. \(\square \)
Remark 5.3
We notice that \(P_T^{\dagger }\) appearing in the proof of the preceding theorem is identical with the Moore–Penrose inverse of \(P_T\), cf. [3] or [4]. We also remark that the proof might be slightly simplified when T is a closed operator. Namely, in that case we have \(T=T_{{{\,\mathrm{s}\,}}}\) and \(P^{\dagger }_T=P_T^{-1}\).
Corollary 5.4
Let T be a densely defined closed linear operator between two Hilbert spaces. Then
-
(a)
\(P^{}_TP_T^*=(I+T^*T)^{-1}\),
-
(b)
\(Q_T^{}P_T^*=T(I+T^*T)^{-1}\),
-
(c)
\(P_T^{}Q_T^{*}=T^*(I+TT^*)^{-1}\),
-
(d)
\(Q^{}_TQ_T^*=TT^*(I+TT^*)^{-1}\).
Proof
The proof is straightforward from Theorem 5.2 by noticing that \(P_m=0\) whenever T is a densely defined closed operator. \(\square \)
At the beginning of Sect. 3 we determined the subspaces \(\ker Q^{}_T, \ker Q_t^*\) and \({\text {ran}}Q^{}_T\). Now, applying Theorem 5.2 we are able to give a description of the range space \({\text {ran}}Q_T^*\) as well:
Proposition 5.5
For every linear relation T between \(\mathcal {H}\) and \(\mathcal {K}\) we have
Proof
Throughout the proof we may and will assume that T is closed. According to Theorem 5.2 (c) and (d) we have
where in the last equality we used that
We have on the other hand
Finally we note that \({\text {dom}}T_{{{\,\mathrm{s}\,}}}={\text {dom}}T\) and that \({{\,\mathrm{mul}\,}}T^*=\overline{{\text {dom}}T}\) because T is closed. Therefore
This together with the above observations yields identity (5.2). \(\square \)
Remark 5.6
One of the anonymous referees suggested the following alternative proof of Proposition 5.5. Observe that we have
where \(V:T\rightarrow T^{-1}\) is the unitary operator \(V\{x,y\}:=\{y,x\}\). Hence
Using Theorem 3.6 we have
where the regular part of \(T^{-1}\) can be written in the form
Using this and (5.3), with some calculation formula (5.2) can be deduced.
Corollary 5.7
Let T be a closed linear relation between \(\mathcal {H}\) and \(\mathcal {K}\), then
If T is a closed operator, then
Proof
Recall that the operator matrix \(U_{T,T^*}\) defined by (4.3) with \(S:=T^*\) is an isometry hence, in particular one has \(P_T^*P_T^{}+Q_T^*Q_T^{}=I_{\mathcal {G}(T)}\). As a consequence, we have by [5, Theorem 2.2] that
Now the desired identity follows since \(T_{{{\,\mathrm{s}\,}}}=T\,{\widehat{\ominus }} \,(\{0\}\times {{\,\mathrm{mul}\,}}T)\). \(\square \)
We conclude the paper with an application of the results. Let T be a closed linear relation between the Hilbert spaces \(\mathcal {H}\) and \(\mathcal {K}\) and denote by \(E_T\) the orthogonal projection of \(\mathcal {H}\times \mathcal {K}\) onto T. Then \(E_T\) admits a matrix representation as an operator in \(\mathcal {H}\times \mathcal {K}\):
where the components \(E_{ij}\) are bounded operators between the appropriate Hilbert spaces. Recall that \(E_T\) is called the characteristic projection of T by Stone, who proved that the entries \(E_{ij}\) may be expressed in terms of T and \(T^*\), provided that T is a densely defined and closed operator (see [17, Theorem 4], cf. also [9, Theorem 3]):
In [6, Lemma 6.4], the above result of Stone was extended to closed linear relations. In the ensuing theorem we are going to restate this general result as a straightforward consequence of Theorem 5.2:
Theorem 5.8
Let T be a closed linear relation between the Hilbert spaces \(\mathcal {H}\) and \(\mathcal {K}\). Then the characteristic projection \(E_T\) of T can be written as
Proof
Consider the canonical embedding operator \(V_T:\mathcal {G}(T)\rightarrow \mathcal {H}\times \mathcal {K}\), given by
Clearly, \(V_T\) is a linear isometry with range T and therefore \(V_T^{}V_T^{*}\) is identical with \(E_T\), i.e.,
Theorem 5.2 completes now the proof. \(\square \)
Data Availability
Data sharing not applicable to this article as no datasets were generated or analysed during the current study.
References
Arens, R.: Operational calculus of linear relations. Pac. J. Math. 11, 9–23 (1961)
Behrndt, J., Hassi, S., de Snoo, H.S.V.: Boundary value problems, Weyl functions, and differential operators. Springer Nature, Monographs in Mathematics, p. 772 (2020)
Ben-Israel, A., Greville, T.N.E.: Generalized Inverses: Theory and Applications, vol. 15. Springer, London (2003)
Beutler, F.J.: Operator theory of the pseudo-inverse II. Unbounded operators with arbitrary range. J. Math. Anal. Appl. 10, 471–493 (1965)
Fillmore, P.A., Williams, J.P.: On operator ranges. Adv. Math. 7, 254–281 (1971)
Hassi, S., Sebestyén, Z., de Snoo, H.S.V., Szafraniec, F.H.: A canonical decomposition for linear operators and linear relations. Acta Math. Hungar. 115, 281–307 (2007)
Hassi, S., de Snoo, H.S.V., Szafraniec, F.H.: Componentwise and canonical decompositions of linear relations. Dissertationes Math. 465, 59 (2009)
Hassi, S., Labrousse, J-Ph, de Snoo, H.S.V.: Operational calculus for rows, columns, and blocks of linear relations. Adv. Oper. Theory 5, 1193–1228 (2020)
Jorgensen, P.E.T., Pearse, E., Tian, F.: Unbounded operators in Hilbert space, duality rules, characteristic projections, and their applications. Anal. Math. Phys. 8, 351–382 (2018)
Popovici, D., Sebestyén, Z.: Operators which are adjoint to each other. Acta Sci. Math. (Szeged) 80, 175–194 (2014)
Sandovici, A.: On the Adjoint of linear relations in Hilbert spaces. Mediterr. J. Math. 17, 68 (2020)
Schmüdgen, K.: Unbounded Self-adjoint Operators on Hilbert Space, vol. 265. Springer, London (2012)
Sebestyén, Z., Tarcsay, Z.: Characterizations of selfadjoint operators. Stud. Sci. Math. Hungar. 50, 423–435 (2013)
Sebestyén, Z., Tarcsay, Z.: Adjoint of sums and products of operators in Hilbert spaces. Acta Sci. Math. (Szeged) 82, 175–191 (2016)
Sebestyén, Z., Tarcsay, Z.: On the adjoint of Hilbert space operators. Linear Multilinear Algebra 67, 625–645 (2019)
Sebestyén, Z., Tarcsay, Z.: Range-kernel characterizations of operators which are adjoint of each other. Adv. Oper. Theory 5, 1026–1038 (2020)
Stone, M.H.: On unbounded operators in Hilbert spaces. J. Indian Math. Soc. 15, 155–192 (1952)
Acknowledgements
The authors are extremely grateful to the anonymous referees for reading the paper carefully and for their enlightening comments which improved the exposition of the manuscript.
Funding
Open access funding provided by Eötvös Loránd University.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Seppo Hassi.
Dedicated to Henk de Snoo on the occasion of his 75th birthday.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The corresponding author Zs. Tarcsay was supported by DAAD-TEMPUS Cooperation Project “Harmonic Analysis and Extremal Problems” (Grant No. 308015), by the János Bolyai Research Scholarship of the Hungarian Academy of Sciences, and by the ÚNKP-20-5-ELTE-185 New National Excellence Program of the Ministry for Innovation and Technology. “Application Domain Specific Highly Reliable IT Solutions” project has been implemented with the support provided from the National Research, Development and Innovation Fund of Hungary, financed under the Thematic Excellence Programme TKP2020-NKA-06 (National Challenges Subprogramme) funding scheme.
This article is part of the topical collection “Recent Developments in Operator Theory- Contributions in Honor of H.S.V. de Snoo” edited by Jussi Behrndt and Seppo Hassi.
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
Tarcsay, Z., Sebestyén, Z. Canonical Graph Contractions of Linear Relations on Hilbert Spaces. Complex Anal. Oper. Theory 15, 21 (2021). https://doi.org/10.1007/s11785-020-01066-3
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11785-020-01066-3
Keywords
- Linear relation
- Unbounded operator
- Multivalued operator
- Closed operator
- Graph contraction
- Stone decomposition