Abstract
We will gather some information on operators in Banach and Hilbert spaces. Throughout this chapter let X 0, X 1, and X 2 be Banach spaces and H 0, H 1, and H 2 be Hilbert spaces over the field \(\mathbb {K}\in \{\mathbb {R},\mathbb {C}\}\).
You have full access to this open access chapter, Download chapter PDF
We will gather some information on operators in Banach and Hilbert spaces. Throughout this chapter let X 0, X 1, and X 2 be Banach spaces and H 0, H 1, and H 2 be Hilbert spaces over the field \(\mathbb {K}\in \{\mathbb {R},\mathbb {C}\}\).
2.1 Operators in Banach Spaces
We define the set of continuous linear operators
with the usual abbreviation L(X 0) := L(X 0, X 0). In contrast to a bounded linear operator, a discontinuous or unbounded linear operator only needs to be defined on a proper albeit possibly dense subset of X 0. In order to define unbounded linear operators, we will first take a more general point of view and introduce (linear) relations. This perspective will turn out to be the natural setting later on.
Definition
A subset A ⊆ X 0 × X 1 is called a relation in X 0 and X 1. We define the domain , range and kernel of A as follows
The image , A[M], of a set M ⊆ X 0 under A is given by
A relation A is called bounded if for all bounded M ⊆ X 0 the set A[M] ⊆ X 1 is bounded. For a given relation A we define the inverse relation
A relation A is called linear if A ⊆ X 0 × X 1 is a linear subspace. A linear relation A is called linear operator or just operator from X 0 to X 1 if
In this case, we also write
to denote a linear operator from X 0 to X 1. Moreover, we shall write Ax = y instead of (x, y) ∈ A in this case. A linear operator A, which is not bounded, is called unbounded .
For completeness, we also define the sum, scalar multiples, and composition of relations.
Definition
Let A ⊆ X 0 × X 1, B ⊆ X 0 × X 1 and C ⊆ X 1 × X 2 be relations, \(\lambda \in \mathbb {K}\). Then we define
For a relation A ⊆ X 0 × X 1 we will use the abbreviation − A := −1A (so that the minus sign only acts on the second component). We now proceed with topological notions for relations.
Definition
Let A ⊆ X 0 × X 1 be a relation. A is called densely defined if \(\operatorname {dom}(A)\) is dense in X 0. We call A closed if A is a closed subset of the direct sum of the Banach spaces X 0 and X 1. If A is a linear operator then we will call A closable , whenever \(\overline {{A}}\subseteq X_{0}\times X_{1}\) is a linear operator.
Proposition 2.1.1
Let A ⊆ X 0 × X 1 be a relation, C ∈ L(X 2, X 0) and B ∈ L(X 0, X 1). Then the following statements hold.
-
(a)
A is closed if and only if A −1 is closed. Moreover, we have \((\overline {A})^{-1}=\overline {A^{-1}}\).
-
(b)
A is closed if and only if A + B is closed.
-
(c)
If A is closed, then AC is closed.
Proof
Statement (a) follows upon realising that X 0 × X 1 ∋ (x, y)↦(y, x) ∈ X 1 × X 0 is an isomorphism.
For statement (b), it suffices to show that the closedness of A implies the same for A + B. Let \(\left ((x_{n},y_{n})\right )_{n}\) be a sequence in A + B convergent in X 0 × X 1 to some (x, y). Since B ∈ L(X 0, X 1), it follows that \(\left ((x_{n},y_{n}-Bx_{n})\right )_{n}\) in A is convergent to (x, y − Bx) in X 0 × X 1. Since A is closed, (x, y − Bx) ∈ A. Thus, (x, y) ∈ A + B.
For statement (c), let \(\left ((w_{n},y_{n})\right )_{n}\) be a sequence in AC convergent in X 2 × X 1 to some (w, y). Since C is continuous, \(\left (Cw_{n}\right )_{n}\) converges to Cw. Hence, (Cw n, y n) → (Cw, y) in X 0 × X 1 and since (Cw n, y n) ∈ A and A is closed, it follows that (Cw, y) ∈ A. Equivalently, (w, y) ∈ AC, which yields closedness of AC. □
We shall gather some other elementary facts about closed operators in the following. We will make use of the following notion.
Definition
Let \(A\colon \operatorname {dom}(A)\subseteq X_{0}\to X_{1}\) be a linear operator. Then the graph norm of A is defined by .
Lemma 2.1.2
Let \(A\colon \operatorname {dom}(A)\subseteq X_{0}\to X_{1}\) be a linear operator. Then the following statements are equivalent:
-
(i)
A is closed.
-
(ii)
\(\operatorname {dom}(A)\) equipped with the graph norm is a Banach space.
-
(iii)
For all (x n)n in \(\operatorname {dom}(A)\) convergent in X 0 such that \(\left (Ax_{n}\right )_{n}\) is convergent in X 1 we have \(\lim _{n\to \infty }x_{n}\in \operatorname {dom}(A)\) and Alimn→∞ x n =limn→∞ Ax n.
Proof
For the equivalence (i)⇔(ii), it suffices to observe that \(\operatorname {dom}(A)\ni x\mapsto (x,Ax)\in A\), where \(\operatorname {dom}(A)\) is endowed with the graph norm, is an isomorphism. The equivalence (i)⇔(iii) is an easy reformulation of the definition of closedness of A ⊆ X 0 × X 1. □
Unless explicitly stated otherwise (e.g. in the form \(\operatorname {dom}(A)\subseteq X_0\), where we regard \(\operatorname {dom}(A)\) as a subspace of X 0), for closed operators A we always consider \(\operatorname {dom}(A)\) as a Banach space in its own right; that is, we shall regard it as being endowed with the graph norm.
Lemma 2.1.3
Let \(A\colon \operatorname {dom}(A)\subseteq X_{0}\to X_{1}\) be a closed linear operator. Then A is bounded if and only if \(\operatorname {dom}(A)\subseteq X_{0}\) is closed.
Proof
First of all note that boundedness of A is equivalent to the fact that the graph norm and the X 0-norm on \(\operatorname {dom}(A)\) are equivalent. Hence, the closedness and boundedness of A implies that \(\operatorname {dom}(A)\subseteq X_0\) is closed. On the other hand, the embedding
is continuous and bijective. Since the range is closed, the open mapping theorem implies that ι −1 is continuous. This yields the equivalence of the graph norm and the X 0-norm and, thus, the boundedness of A. □
For unbounded operators, obtaining a precise description of the domain may be difficult. However, there may be a subset of the domain which essentially (or approximately) describes the operator. This gives rise to the following notion of a core.
Definition
Let A ⊆ X 0 × X 1. A set \(D\subseteq \operatorname {dom}(A)\) is called a core for A provided \(\overline {A\cap (D\times X_{1})}=\overline {A}\).
Proposition 2.1.4
Let A ∈ L(X 0, X 1), and D ⊆ X 0 a dense linear subspace. Then D is a core for A.
Corollary 2.1.5
Let \(A\colon \operatorname {dom}(A)\subseteq X_{0}\to X_{1}\) be a densely defined, bounded linear operator. Then there exists a unique B ∈ L(X 0, X 1) with B ⊇ A. In particular, we have \(B=\overline {A}\) and
The proofs of Proposition 2.1.4 and Corollary 2.1.5 are asked for in Exercise 2.2.
2.2 Operators in Hilbert Spaces
Let us now focus on operators on Hilbert spaces. In this setting, we can additionally make use of scalar products \(\left \langle \cdot ,\cdot \right \rangle \), which in this course are considered to be linear in the second argument (and anti-linear in the first, in the case when \(\mathbb {K}=\mathbb {C}\)).
For a linear operator \(A\colon \operatorname {dom}(A)\subseteq H_0\to H_1\) the graph norm of A is induced by the scalar product
known as the graph scalar product of A. If A is closed then \(\operatorname {dom}(A)\) (equipped with the graph norm) is a Hilbert space.
Of course, no presentation of operators in Hilbert spaces would be complete without the central notion of the adjoint operator. We wish to pose the adjoint within the relational framework just established. The definition is as follows.
Definition
For a relation A ⊆ H 0 × H 1 we define the adjoint relation A ∗ by
where the orthogonal complement is computed in the direct sum of the Hilbert spaces H 1 and H 0; that is, the set H 1 × H 0 endowed with the scalar product \(\big ((x,y),(u,v)\big )\mapsto \left \langle x ,u\right \rangle _{H_1}+\left \langle y ,v\right \rangle _{H_0}\).
Remark 2.2.1
Let A ⊆ H 0 × H 1. Then we have
In particular, if A is a linear operator, we have
Lemma 2.2.2
Let A ⊆ H 0 × H 1 be a relation. Then A ∗ is a linear relation. Moreover, we have
The proof of this lemma is left as Exercise 2.3.
Remark 2.2.3
Let A ⊆ H 0 × H 1. Since A ∗ is the orthogonal complement of − A −1, it follows immediately that A ∗ is closed. Moreover, \(A^* = \big (\overline {A}\big )^*\) since \(A^\bot = \big (\overline {A}\big )^\bot \).
Lemma 2.2.4
Let A ⊆ H 0 × H 1 be a linear relation. Then
Proof
We compute using Lemma 2.2.2
□
Theorem 2.2.5
Let A ⊆ H 0 × H 1 be a linear relation. Then
Proof
Let \(u\in \operatorname {ker}(A^{*})\) and let \(y\in \operatorname {ran}(A)\). Then we find \(x\in \operatorname {dom}(A)\) such that (x, y) ∈ A. Moreover, note that (u, 0) ∈ A ∗. Then, we compute
This equality shows that \(\operatorname {ran}(A)^{\bot }\supseteq \operatorname {ker}(A^{*})\). If on the other hand, \(u\in \operatorname {ran}(A)^{\bot }\) then for all (x, y) ∈ A we have that
which implies (u, 0) ∈ A ∗ and hence \(u\in \operatorname {ker}(A^{*})\). The remaining equation follows from Lemma 2.2.4 together with the first equation applied to A ∗. □
The following decomposition result is immediate from the latter theorem and will be used frequently throughout the text.
Corollary 2.2.6
Let A ⊆ H 0 × H 1 be a closed linear relation. Then
We will now turn to the case where the adjoint relation is actually a linear operator.
Lemma 2.2.7
Let A ⊆ H 0 × H 1 be a linear relation. Then A ∗ is a linear operator if and only if A is densely defined. If, in addition, A is a linear operator, then A is closable if and only if A ∗ is densely defined.
Proof
For the first equivalence, it suffices to observe that
Indeed, A being densely defined is equivalent to having \(\operatorname {dom}(A)^{\bot }=\{0\}\). Moreover, A ∗ is an operator if and only if A ∗[{0}] = {0}. Next, we show (2.1). For this, apply Theorem 2.2.5 to the linear relation A −1. One obtains \((\operatorname {ran} A^{-1})^\bot =\operatorname {ker}(A^{-1})^*\). Hence, \((\operatorname {dom} (A))^\bot = \operatorname {ker}(A^*)^{-1}=A^*[\{0\}]\), which is (2.1). For the remaining equivalence, we need to characterise \(\overline {A}\) being an operator. Using Lemma 2.2.4 and the first equivalence, we deduce that \(\overline {A}=\left (A^{*}\right )^{*}\) is a linear operator if and only if A ∗ is densely defined. □
Remark 2.2.8
Note that the statement “A ∗ is an operator if A is densely defined” asserted in Lemma 2.2.7 is also true for any relation. For this, it suffices to observe that (2.1) is true for any relation A ⊆ H 0 × H 1. Indeed, let A ⊆ H 0 × H 1 be a relation; define . Then \(\operatorname {dom}(B)= \operatorname {lin} \operatorname {dom}(A)\). Also, we have
With these preparations, we can write
where we used that (2.1) holds for linear relations.
Lemma 2.2.9
Let A ⊆ H 0 × H 1 be a linear relation. Then \(\overline {A}\in L(H_{0},H_{1})\) if and only if A ∗∈ L(H 1, H 0). In either case, \(\left \Vert A^* \right \Vert = \left \Vert \overline {A} \right \Vert \).
Proof
Note that \(\overline {A}\in L(H_{0},H_{1})\) implies that A is closable and densely defined. Thus, by Lemma 2.2.7, A ∗ is a densely defined, closed linear operator. For \(u\in \operatorname {dom}(A^{*})\) we compute using Lemma 2.2.4
yielding \(\left \Vert A^* \right \Vert \leqslant \left \Vert \overline {A} \right \Vert \). On the one hand, this implies that A ∗ is bounded, and on the other, since A ∗ is densely defined we deduce A ∗∈ L(H 1, H 0) by Lemma 2.1.3. The other implication (and the other inequality) follows from the first one applied to A ∗ instead of A using \(A^{**}=\overline {A}\). □
We end this section by defining some special classes of relations and operators.
Definition
Let H be a Hilbert space and A ⊆ H × H a linear relation. We call A (skew-)Hermitian if A ⊆ A ∗ (A ⊆−A ∗). We say that A is (skew-)symmetric if A is (skew-)Hermitian and densely defined (so that A ∗ is a linear operator), and A is called (skew-)selfadjoint if A = A ∗ (A = −A ∗). Additionally, if A is densely defined, then we say that A is normal if AA ∗ = A ∗ A.
2.3 Computing the Adjoint
In general it is a very difficult task to compute the adjoint of a given (unbounded) operator. There are, however, cases, where the adjoint of a sum or the product can be computed more readily. We start with the most basic case of bounded linear operators.
Proposition 2.3.1
Let A, B ∈ L(H 0, H 1), C ∈ L(H 2, H 0). Then \(\left (A+B\right )^{*}=A^{*}+B^{*}\) and \(\left (AC\right )^{*}=C^{*}A^{*}\).
The latter results are special cases of more general statements to follow.
Theorem 2.3.2
Let A, B ⊆ H 0 × H 1 be relations. Then A ∗ + B ∗⊆ (A + B)∗ . If, in addition, B ∈ L(H 0, H 1), then (A + B)∗ = A ∗ + B ∗.
Proof
In order to show the claimed inclusion, let (u, r) ∈ A ∗ + B ∗. By definition of the sum of relations, we find v, w ∈ H 0, r = v + w, with (u, v) ∈ A ∗ and (u, w) ∈ B ∗. We compute for all (x, s) ∈ A + B, that is, (x, y) ∈ A and (x, z) ∈ B for some y, z ∈ H 1 with s = y + z
This shows the desired inclusion. Next, we assume in addition that B ∈ L(H 0, H 1). For the equality, it remains to show that (A + B)∗⊆ A ∗ + B ∗, which in conjunction with the above follows if \(\operatorname {dom}((A+B)^*)\subseteq \operatorname {dom}(A^*+B^*)=\operatorname {dom}(A^*)\cap \operatorname {dom}(B^*)\). By Lemma 2.2.9, we have \(\operatorname {dom}(B^*)=H_1\). Hence, it suffices to show that \(\operatorname {dom}((A+B)^*)\subseteq \operatorname {dom}(A^*)\). For this, let \((u,v)\in \left (A+B\right )^{*}\). Then we compute for all (x, y) ∈ A using Lemma 2.2.9 again
Thus, \(\left \langle x ,v-B^*u\right \rangle _{H_0}=\left \langle y ,u\right \rangle _{H_1}\), which yields (u, v − B ∗ u) ∈ A ∗; whence, \(u\in \operatorname {dom}(A^*)\) as desired. □
Corollary 2.3.3
Let A ⊆ H 0 × H 1 , B ∈ L(H 0, H 1). If A is densely defined, then A ∗ + B ∗ is an operator and (A + B)∗ = A ∗ + B ∗.
Theorem 2.3.4
Let A ⊆ H 0 × H 1 and C ⊆ H 2 × H 0 . Then \(\overline {C^*A^*}\subseteq (AC)^*\) . If, in addition, A ⊆ H 0 × H 1 is closed and linear as well as C ∈ L(H 2, H 0), then \(\left (AC\right )^{*}=\overline {C^{*}A^{*}}.\)
Proof
For the first inclusion, let (u, w) ∈ C ∗ A ∗. Thus, we find v ∈ H 0 such that (u, v) ∈ A ∗ and (v, w) ∈ C ∗. Next, let (r, y) ∈ AC. Then we find x ∈ H 0 such that (r, x) ∈ C and (x, y) ∈ A. We compute
Since (r, y) ∈ AC were chosen arbitrarily, we infer C ∗ A ∗⊆ (AC)∗. As every adjoint is closed, we obtain \(\overline {C^*A^*}\subseteq (AC)^*\).
Next, we assume that A is closed and linear as well as that C is bounded and linear. Then, by what we have just shown, we obtain \(AC\subseteq \left (C^{*}A^{*}\right )^{*}\). Next, let \((w,y)\in \left (C^{*}A^{*}\right )^{*}\). Then for all (u, v) ∈ A ∗ and z = C ∗ v we obtain
Thus, we obtain \((Cw,y)\in A^{**}=\overline {A}=A\). Thus, (w, y) ∈ AC. Hence,
which yields the assertion by adjoining this equation. □
Corollary 2.3.5
Let A ⊆ H 0 × H 1 be a linear relation and C ∈ L(H 2, H 0). Then \(\left (\overline {A}C\right )^{*}=\overline {C^{*}A^{*}}\).
Proof
The result follows upon realising that \(A^{*}=A^{***}=\left (\overline {A}\right )^{*}\). □
Corollary 2.3.6
Let A ⊆ H 0 × H 1 be a linear relation and C ∈ L(H 2, H 0). If \(\overline {A}C\) is densely defined, then C ∗ A ∗ is a closable linear operator with \(\overline {C^{*}A^{*}}=\left (\overline {A}C\right )^{*}.\)
Remark 2.3.7
Let us comment on the equalities in the prevoius statements.
-
(a)
Note that if B ∈ L(H 1, H 2) and A ⊆ H 0 × H 1 is linear, then \(\left (B\overline {A}\right )^{*}=A^{*}B^{*}\). Indeed, this follows from Theorem 2.3.4 applied to A ∗ and B instead of A and C ∗, respectively, since then we obtain \(\left (A^{*}B^{*}\right )^{*}=\overline {B^{**}A^{**}}=\overline {B\overline {A}}.\) Computing adjoints on both sides again and using that A ∗ B ∗ is closed by Proposition 2.1.1, we get the assertion.
-
(b)
We note here that in Corollary 2.3.5 and Corollary 2.3.6 \(\overline {A}C\) cannot be replaced by \(\overline {AC}\) and encourage the reader to find a counterexample for A being a closable linear operator. We also refer to [94] for a counterexample due to J. Epperlein.
We have already seen that \(A^{*}={\overline {A}}^{*}\). We can even restrict A to a core and still obtain the same adjoint.
Proposition 2.3.8
Let A ⊆ H 0 × H 1 be a linear relation, \(D\subseteq \operatorname {dom}(A)\) a linear subspace. Then D is a core for A if and only if \(\left (A\cap (D\times H_{1})\right )^{*}=A^{*}.\)
Proof
We set . Then
□
2.4 The Spectrum and Resolvent Set
In this section, we focus on operators acting on a single Banach space. As such, throughout this section let X be a Banach space over \(\mathbb {K}\in \{\mathbb {R},\mathbb {C}\}\) and let \(A\colon \operatorname {dom}(A)\subseteq X\to X\) be a closed linear operator.
Definition
The set
is called the resolvent set of A. We define
to be the spectrum of A.
We state and prove some elementary properties of the spectrum and the resolvent set. We shall see natural examples for A which satisfy that \(\sigma (A)=\mathbb {K}\) or \(\sigma (A)=\varnothing \) later on.
For a metric space (X, d), we will write \(B\left (x,r\right )=\left \{ y\in X \,;\, d(x,y)<r \right \}\) for the open ball around x of radius r and \(B\left [x,r\right ]=\left \{ y\in X \,;\, d(x,y)\leqslant r \right \}\) for the closed ball.
Proposition 2.4.1
If λ, μ ∈ ρ(A), then the resolvent identity holds. That is
Moreover, the set ρ(A) is open. More precisely, if λ ∈ ρ(A) then \(B\left (\lambda ,1\big /\left \Vert (\lambda -A)^{-1} \right \Vert \right )\subseteq \rho (A)\) and for \(\mu \in B\left (\lambda ,1\big /\left \Vert (\lambda -A)^{-1} \right \Vert \right )\) we have
as well as
The mapping ρ(A) ∋ λ↦(λ − A)−1 ∈ L(X) is analytic.
Proof
For the first assertion, we let λ, μ ∈ ρ(A) and compute
Next, let λ ∈ ρ(A) and \(\mu \in B\left (\lambda ,1/\left \Vert (\lambda -A)^{-1} \right \Vert \right )\). Then
Hence, 1 − (λ − μ)(λ − A)−1 admits an inverse in L(X) satisfying
We claim that μ ∈ ρ(A). For this, we compute
Since \(\left (1-(\lambda -\mu )(\lambda -A)^{-1}\right )\) is an isomorphism in L(X), we deduce that the right-hand side admits a continuous inverse if and only if the left-hand side does. As λ ∈ ρ(A), we thus infer μ ∈ ρ(A). The estimate follows from (2.2). Indeed, we have
For the final claim of the present proposition, we observe that
which is an operator norm convergent power series expression for the resolvent at μ about λ. Thus, analyticity follows. □
For a given measure space ( Ω, Σ, μ) we shall consider multiplication operators in L 2(μ) next. For a measurable function \(V\colon \Omega \to \mathbb {R}\) we will use the notation for some constant \(c\in \mathbb {R}\) (and similarly for other relational symbols).
Remark 2.4.2
Before we turn to more general multiplication operators, we like to reason our notation for them by illustrating the example case of multiplication operators in \(L_2(\mathbb {R})\). A multiplication operator that immediately comes to mind is the so-called multiplication-by-the-argument operator on \(L_2(\mathbb {R})\), which we shall denote by m. Expressed differently, let
where \(\operatorname {dom}(\mathrm {m})\) consists of all those \(L_2(\mathbb {R})\)-functions f such that \((x\mapsto xf(x))\in L_2(\mathbb {R})\). Being a multiplication operator, m admits what is called a ‘functional calculus’: It is possible to define functions of m, which will turn out to be operators themselves. Thus, if \(V\colon \mathbb {R}\to \mathbb {C}\) is measurable, we can define V (m) to denote an operator in \(L_2(\mathbb {R})\) acting as follows
for suitable f. To apply V to m turns out to be the same as the operator of multiplication by V . This correspondence serves to justify the notation of multiplication operators acting on L 2(μ) for some measure space \(\left (\Omega ,\Sigma ,\mu \right )\). We will re-use the notation V (m) to denote the operator of multiplication-by-V , even in cases where there is no well-defined multiplication-by-argument-operator m in L 2(μ).
Theorem 2.4.3
Let \(\left (\Omega ,\Sigma ,\mu \right )\) be a measure space and \(V\colon \Omega \to \mathbb {K}\) a measurable function. Then the operator
with satisfies the following properties:
-
(a)
V (m) is densely defined and closed.
-
(b)
\(\left (V(\mathrm {m})\right )^{*}=V^{*}(\mathrm {m})\) where V ∗(ω) = V (ω)∗ for all ω ∈ Ω (here V (ω)∗ denotes the complex conjugate of V (ω)).
-
(c)
If V is μ-almost everywhere bounded, then V (m) is continuous. Moreover, we have \(\left \Vert V(\mathrm {m}) \right \Vert { }_{L(L_2(\mu ))}\leqslant \left \Vert V \right \Vert { }_{L_\infty (\mu )}\).
-
(d)
If V ≠ 0 μ-a.e. then V (m) is injective and \(V(\mathrm {m})^{-1}=\frac {1}{V}(\mathrm {m})\) , where
for all ω ∈ Ω.
Proof
For the whole proof we let and put .
-
(a)
We first show that V (m) is densely defined. Let f ∈ L 2(μ). Then, we have for all \(n\in \mathbb {N}\) that . From Ω =⋃n Ωn and Ωn ⊆ Ωn+1 it follows that in L 2(μ) as n →∞.
Next, we confirm that V (m) is closed. Let (f k)k in \(\operatorname {dom}(V(\mathrm {m}))\) convergent in L 2(μ) with (V (m)f k)k be convergent in L 2(μ). Denote the respective limits by f and g. It is clear that for all \(n\in \mathbb {N}\) we have as k →∞. Also, we have
Hence, g = V f μ-almost everywhere and since g ∈ L 2(μ), we have that \(f\in \operatorname {dom}(V(\mathrm {m}))\).
-
(b)
It is easy to see that V ∗(m) ⊆ V (m)∗. For the other inclusion, we let \(u\in \operatorname {dom}(V(\mathrm {m})^{*})\). Then, for all f ∈ L 2(μ) and \(n\in \mathbb {N}\) we have and, hence,
It follows that for all \(n\in \mathbb {N}\). Thus, Ω =⋃n Ωn implies V ∗ u = V (m)∗ u and therefore \(u\in \operatorname {dom}(V^*(\mathrm {m}))\) and V ∗(m)u = V (m)∗ u.
-
(c)
If \(\left \vert V \right \vert \leqslant \kappa \) μ-almost everywhere for some κ⩾0, then for all f ∈ L 2(μ) we have \(\left \vert V(\omega )f(\omega ) \right \vert \leqslant \kappa \left \vert f(\omega ) \right \vert \) for μ-almost every ω ∈ Ω. Squaring and integrating this inequality yields boundedness of V (m) and the asserted inequality.
-
(d)
Assume that V ≠ 0 μ-a.e. and V (m)f = 0. Then, f(ω) = 0 for μ-a.e. ω ∈ Ω, which implies f = 0 in L 2(μ). Moreover, if V (m)f = g for f, g ∈ L 2(μ), then for μ-a.e. ω ∈ Ω we deduce that \(f(\omega )=\frac {1}{V}(\omega )g(\omega )\), which shows \(\frac {1}{V}(\mathrm {m})\supseteq V(\mathrm {m})^{-1}\). If on the other hand \(g\in \operatorname {dom}\left (\frac {1}{V}(\mathrm {m})\right )\), then a similar computation reveals that \(\frac {1}{V}(\mathrm {m})g\in \operatorname {dom}(V(\mathrm {m}))\) and \(V(\mathrm {m})\frac {1}{V}(\mathrm {m})g=g\).
□
The spectrum of V (m) from the latter example can be computed once we consider a less general class of measure spaces. We provide a characterisation of these measure spaces first.
Proposition 2.4.4
Let \(\left (\Omega ,\Sigma ,\mu \right )\) be a measure space. Then the following statements are equivalent:
-
(i)
\(\left (\Omega ,\Sigma ,\mu \right )\) is semi-finite , that is, for every A ∈ Σ with μ(A) = ∞, there exists B ∈ Σ with 0 < μ(B) < ∞ such that B ⊆ A.
-
(ii)
For all measurable \(V\colon \Omega \to \mathbb {K}\) with V (m) ∈ L(L 2(μ)), we have V ∈ L ∞(μ) and \(\left \Vert V \right \Vert { }_{L_\infty (\mu )}\leqslant \left \Vert V(\mathrm {m}) \right \Vert { }_{L(L_2(\mu ))}\).
Proof
(i)⇒(ii): Let ε > 0 and . Assume that μ(A ε) > 0. Since ( Ω, Σ, μ) is semi-finite we find B ε ⊆ A ε such that 0 < μ(B ε) < ∞. Define with \(\left \Vert f \right \Vert { }_{L_2(\mu )}=1\). Consequently, we obtain
which yields a contradiction, and hence (ii).
(ii)⇒(i): Assume that ( Ω, Σ, μ) is not semi-finite. Then we find A ∈ Σ with μ(A) = ∞ such that for each B ⊆ A measurable, we have μ(B) ∈{0, ∞}. Then is bounded and measurable with \(\left \Vert V \right \Vert { }_{L_\infty (\mu )}=1\). However, V (m) = 0. Indeed, if f ∈ L 2(μ) then \([f\neq 0]=\bigcup _{n\in \mathbb {N}}[\left \vert f \right \vert ^2\geqslant n^{-1}]\). Thus,
Since \(\mu ([\left \vert f \right \vert ^2\geqslant n^{-1}])<\infty \) as f ∈ L 2(μ), we infer \(\mu ([\left \vert f \right \vert ^2\geqslant n^{-1}]\cap A)=0\) by the property assumed for A. Thus, μ([V (m)f ≠ 0]) = 0 implying V (m) = 0. Hence, \(\left \Vert V(\mathrm {m}) \right \Vert { }_{L(L_2(\mu ))}=0<1=\left \Vert V \right \Vert { }_{L_\infty (\mu )}\). □
Remark 2.4.5
Any σ-finite measure space is semi-finite. Indeed, let ( Ω, Σ, μ) be σ-finite and A ∈ Σ with μ(A) = ∞. We find a sequence (G n)n of pairwise disjoint, measurable sets with finite measure satisfying ⋃n G n = Ω. Hence, \(\mu (G_n\cap A)\leqslant \mu (G_n)<\infty \). If μ(G n ∩ A) = 0 for all n, then μ(A) = 0 by the σ-additivity of μ. Thus, as μ(A) ≠ 0, we find n such that 0 < μ(G n ∩ A) < ∞ and ( Ω, Σ, μ) is semi-finite.
A straightforward consequence of Theorem 2.4.3 (c) and Proposition 2.4.4 is the following.
Proposition 2.4.6
Let \(\left (\Omega ,\Sigma ,\mu \right )\) be a semi-finite measure space, \(V\colon \Omega \to \mathbb {K}\) measurable and bounded. Then \(\left \Vert V(\mathrm {m}) \right \Vert { }_{L(L_2(\mu ))}=\left \Vert V \right \Vert { }_{L_\infty (\mu )}\).
Theorem 2.4.7
Let \(\left (\Omega ,\Sigma ,\mu \right )\) be a semi-finite measure space and let \(V\colon \Omega \to \mathbb {K}\) be measurable. Then
Proof
Let \(\lambda \in \operatorname {\mathrm {ess-ran}} V\). For all \(n\in \mathbb {N}\) we find B n ∈ Σ with non-zero, but finite measure such that \(B_{n}\subseteq \left [\left \vert \lambda -V \right \vert <\frac {1}{n}\right ].\) We define . Then \(\left \Vert f_{n} \right \Vert { }_{L_2(\mu )}=1\) and
for ω ∈ Ω, which shows that (f n)n is in \(\operatorname {dom}(V(\mathrm {m}))\). A similar estimate, on the other hand, shows that
Thus, \(\left (V(\mathrm {m})-\lambda \right )^{-1}\) cannot be continuous as \(\|f_{n}\|{ }_{L_2(\mu )}=1\) for all \(n\in \mathbb {N}\).
Let now \(\lambda \in \mathbb {K}\setminus \operatorname {\mathrm {ess-ran}} V\). Then there exists ε > 0 such that is a μ-nullset. In particular, λ − V ≠ 0 μ-a.e. Hence, \(\left (\lambda -V(\mathrm {m})\right )^{-1}=\frac {1}{\lambda -V}(\mathrm {m})\) is a linear operator. Since, \(\left \vert \frac {1}{\lambda -V} \right \vert \leqslant 1/\varepsilon \) μ-almost everywhere, we deduce that \(\left (\lambda -V(\mathrm {m})\right )^{-1}\in L(L_2(\mu ))\) and hence, λ ∈ ρ(V (m)). □
We conclude this chapter by sketching that multiplication operators as discussed in Theorem 2.4.3, Propositions 2.4.4, 2.4.6, and Theorem 2.4.7 are the prototypical example for normal operators. In fact it can be shown that normal operators are unitarily equivalent to multiplication operators on some L 2(μ). This fact is also known as the ‘spectral theorem’. It is also important to note that, as we have seen in Theorem 2.4.3, a multiplication operator in L 2(μ) is self-adjoint if and only if V assumes values in the real numbers, only.
2.5 Comments
The material presented in this chapter is basic textbook knowledge. We shall thus refer to the monographs [54, 139]. Note that spectral theory for self-adjoint operators is a classical topic in functional analysis. For a glimpse on further theory of linear relations we exemplarily refer to [7, 14, 25]. The restriction in Proposition 2.4.6 and Theorem 2.4.7 to semi-finite measure spaces is not very severe. In fact, if ( Ω, Σ, μ) was not semi-finite, it is possible to construct a semi-finite measure space ( Ωloc, Σloc, μ loc) such that L p(μ) is isometrically isomorphic to L p(μ loc), see [129, Section 2].
Exercises
Exercise 2.1
Let A ⊆ X 0 × X 1 be an unbounded linear operator. Show that for every linear operator B ⊆ X 0 × X 1 with B ⊇ A and \(\operatorname {dom}(B)=X_{0}\), we have that B is not closed.
Exercise 2.2
Prove Proposition 2.1.4 and Corollary 2.1.5. Hint: One might use that bounded linear relations are always operators.
Exercise 2.3
Prove Lemma 2.2.2.
Exercise 2.4
Let \(A\colon \operatorname {dom}(A)\subseteq H_{0}\to H_{0}\) be a closed and densely defined linear operator. Show that for all \(\lambda \in \mathbb {K}\) we have
Exercise 2.5
Let U ⊆ H 0 × H 1 satisfy U −1 = U ∗. Show that U ∈ L(H 0, H 1) and that U is unitary , that is, U is onto and for all x ∈ H 0 we have \(\left \Vert Ux \right \Vert { }_{H_1}=\left \Vert x \right \Vert { }_{H_0}\).
Exercise 2.6
Let \(\delta \colon C\left [0,1\right ]\subseteq L_2(0,1)\to \mathbb {K},f\mapsto f(0)\), where \(C\left [0,1\right ]\) denotes the set of \(\mathbb {K}\)-valued continuous functions on [0, 1]. Show that δ is not closable. Compute \(\overline {\delta }\).
Exercise 2.7
Let \(C\subseteq \mathbb {C}\) be closed. Provide a Hilbert space H and a densely defined closed linear operator A on H such that σ(A) = C.
References
R. Arens, Operational calculus of linear relations. Pac. J. Math. 11, 9–23 (1961)
T. Berger, C. Trunk, H. Winkler, Linear relations and the Kronecker canonical form. Linear Algebra Appl. 488, 13–44 (2016)
R. Cross, Multivalued Linear Operators, vol. 213. Monographs and Textbooks in Pure and Applied Mathematics (Marcel Dekker, Inc., New York, 1998)
T. Kato, Perturbation Theory for Linear Operators. Classics in Mathematics. Reprint of the 1980 edition (Springer, Berlin, 1995)
R. Picard, Mother operators and their descendants. J. Math. Anal. Appl. 403(1), 54–62 (2013). With an extension by S. Trostorff, M. Waurick. arXiv:1203.6762
H. Vogt, J. Voigt, Bands in L p-spaces. Math. Nachr. 290(4), 632–638 (2017)
J. Weidmann, Linear Operators in Hilbert Spaces, vol. 68. Graduate Texts in Mathematics. Translated from the German by Joseph Szücs (Springer, New York, Berlin, 1980)
Author information
Authors and Affiliations
Rights and permissions
Open Access This chapter is licensed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), 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 license and indicate if changes were made.
The images or other third party material in this chapter are included in the chapter's Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the chapter's Creative Commons license 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.
Copyright information
© 2022 The Author(s)
About this chapter
Cite this chapter
Seifert, C., Trostorff, S., Waurick, M. (2022). Unbounded Operators. In: Evolutionary Equations. Operator Theory: Advances and Applications, vol 287. Birkhäuser, Cham. https://doi.org/10.1007/978-3-030-89397-2_2
Download citation
DOI: https://doi.org/10.1007/978-3-030-89397-2_2
Published:
Publisher Name: Birkhäuser, Cham
Print ISBN: 978-3-030-89396-5
Online ISBN: 978-3-030-89397-2
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)