Abstract
A classical result due to Foias and Pearcy establishes a discrete model for every quasinilpotent operator acting on a separable, infinite-dimensional complex Hilbert space \({\mathcal H}\). More precisely, given a quasinilpotent operator T on \({\mathcal H}\), there exists a compact quasinilpotent operator K in \({\mathcal H}\) such that T is similar to a part of \(K\oplus K\oplus \cdots \oplus K\oplus \cdots \) acting on the direct sum of countably many copies of \({\mathcal H}\). We show that a continuous model for any quasinilpotent operator can be provided. The consequences of such a model will be discussed in the context of \(C_0\)-semigroups of quasinilpotent operators.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Whether every quasinilpotent operator on a separable, infinite-dimensional complex Hilbert space has a non-trivial closed invariant subspace is, by now, a long-standing open question which have called the attention of many operator theorists in last half-century. By Gel’fand’s spectral radius formula, a quasinilpotent operator can be defined either as one having only 0 in its spectrum or as an operator such that the sequence of nth roots of norms of its nth powers converges to zero. Most of the known techniques for producing invariant subspaces require the operator to have more than one point in its spectrum (and satisfy other conditions which involves the growth of the resolvent). Even in the case of compact operators, the proof of the existence of invariant subspaces reduces to the quasinilpotent case (non-quasinilpotent compact operators have, obviously, eigenspaces).
It has now been more than four decades since Lomonosov [6] proved a positive result about the existence of non-trivial closed invariant subspaces for operators commuting with a non-zero compact operator. That there exist quasinilpotent operators not commuting with any non-zero compact operator in a Hilbert space was already shown in the classical paper by Foias and Pearcy [4] (see also [5] for an operator not satisfying Lomonosov hypotheses).
Indeed, Foias and Pearcy’s result follows from the existence of a discrete model established in [4] for quasinilpotent operators. More precisely, in [4, Theorem 1], they prove that given any bounded linear quasinilpotent (but not nilpotent) operator T on a separable, infinite-dimensional complex Hilbert space \({\mathcal H}\), there exists a compact quasinilpotent weighted backward shift K in \({\mathcal H}\) such that T is similar to a part of \(K\oplus K\oplus \cdots \oplus K \oplus \cdots \) acting on the direct sum of countably many copies of \({\mathcal H}\). That is, T is similar to the restriction of \(K\oplus K\oplus \cdots \oplus K \oplus \cdots \) to one of its closed invariant subspaces.
The aim of this work is taking further the study of models associated to quasinilpotent operators in order to have a better understanding of such operators. In particular, in Theorem 2.1, Sect. 2, we will prove the existence of a continuous model for a given quasinilpotent operator T in the sense that there exists a \(\mathcal {C}^{\infty }\) increasing positive function w in \({\mathbb R}_+\) such that T is similar to the restriction of the backward shift operator \(S^*\) to one of its closed invariant subspaces \(\mathcal {M}\) in \(L^2({\mathbb R}_+, w(t)\,dt)\). In addition, by means of the Paley–Wiener Theorem, we will establish the counterpart of this result in a Hilbert space of entire functions.
Finally, in Sect. 3, some consequences of the existence of this continuous model will be shown in the context of \(C_0\)-semigroups of quasinilpotent operators.
2 The model
In this section, we show a continuous model for any quasinilpotent operator acting on a separable, infinite-dimensional complex Hilbert space \({\mathcal H}\). Before going further, we recall a few basic facts.
Given a positive decreasing function \(\tilde{w}\) in \({\mathbb R}_+\), the space \(L^2({\mathbb R}_+, \tilde{w}(t)\,dt)\) consists of measurable functions in \({\mathbb R}_+\) such that the norm
is finite. The shift operator S on \(L^2({\mathbb R}_+, \tilde{w}(t)\,dt)\)
is well defined and bounded. In addition, the space \(L^2({\mathbb R}_+, \tilde{w}(t)\,dt)\) can naturally be identified as the dual space of \(L^2({\mathbb R}_+, (\tilde{w}(t))^{-1}\,dt)\) by means of the bilinear dual pairing
giving an isometric isomorphism. The backward shift on \(L^2({\mathbb R}_+, (\tilde{w}(t))^{-1}\,dt)\) is therefore the adjoint of the shift on \(L^2({\mathbb R}_+, \tilde{w}(t)\,dt)\) and, thus
for \(f\in L^2({\mathbb R}_+, (\tilde{w}(t))^{-1}\,dt)\). Moreover, it is clear that the invariant subspaces of the backward shift on \(L^2({\mathbb R}_+, (\tilde{w}(t))^{-1}\,dt)\) can be identified as the annihilators of the invariant subspaces of the forward shift on \(L^2({\mathbb R}_+, \tilde{w}(t)\,dt)\). With this at hand, we are in a position to state the following
Theorem 2.1
Let T be a quasinilpotent (but not nilpotent) operator defined on a separable, infinite-dimensional complex Hilbert space \({\mathcal H}\). Then there exists a positive increasing function \(w\in \mathcal {C}^{\infty }({\mathbb R}_+)\) with \(w(t)^{1/t} \rightarrow \infty \) as \(t \rightarrow \infty \) such that T is similar to a part of the backward shift operator \(S^*\) in \(L^2({\mathbb R}_+, w(t)dt)\).
Proof
Firstly, let us show the existence of a positive increasing step function \(\chi \) such that T is similar to a part of the backward shift operator \(S^*\) acting on \(L^2({\mathbb R}_+,\chi (t)dt)\). Proceeding as in Foias–Pearcy’s Theorem, we start considering the sequences
Observe that the non-negative integers \(p_n\) and \(q_n\) are uniquely determined for all \(n\ge 1\). Moreover, the sequence \(\{p_n\}_{n\ge 1}\) is non-decreasing and \(p_n\rightarrow \infty \) as \(n\rightarrow \infty \).
Let us fix \(\kappa _0=1\). Since \(\alpha _{2n}\le \alpha _n^2\) for all \(n\in {\mathbb Z}_+\), it follows that
On the other hand, the sequence \(\{\kappa _n\}_{n\in {\mathbb Z}_+}\) decreases to zero, since T is quasinilpotent and \(\{p_n\}_{n\ge 1}\) is a non-decreasing sequence. Therefore, if \(\{e_n\}_{n\in {\mathbb Z}_+}\) is an orthonormal basis of \({\mathcal H}\), then the weighted backward shift operator K defined by
is clearly compact and quasinilpotent. Hence, the operator
defined on \({\mathcal H}_{\infty }\), the direct sum of countably many copies of \({\mathcal H}\) indexed by the positive integers, is unitarily equivalent to the operator J given by
Now, let us consider the following decomposition
Let denote by \(U_n\) the unitary operator from \(L^2(n-1,n)\) onto \({\mathcal H}_n\) (the nth copy of \({\mathcal H}\) in \({\mathcal H}_{\infty }\)) for all \(n\in {\mathbb Z}_+\), and define
acting on \(L^2(\mathbb {R}_+)\). By means of U, it can be proved that \(\tilde{K}\) is unitarily equivalent to the operator \(\tilde{S}\) on \(L^2({\mathbb R}_+)\) defined by
where \(\lambda \) is the positive non-decreasing step function given by
Observe that \(\lambda (t)=1\) for \(0<t<1\), since \(\kappa _0=1\) was previously fixed. Now, let \(\{w_n \}_{n\ge 0}\) be the sequence
Note that \(w(n)^{1/n} \rightarrow \infty \) as \(n \rightarrow \infty \). Now, we define the positive step function
Observe that \(\chi \) is a non-decreasing function. Moreover, the operator
induces a unitary equivalence between \(L^2({\mathbb R}_+)\) and the weighted space \(L^2({\mathbb R}_+, \chi (t)dt)\) such that for every \(f\in L^2({\mathbb R}_+, \chi (t)dt)\) we have
Therefore, the operator \(\tilde{S}\) in \(L^2({\mathbb R}_+)\) is unitarily equivalent to \(S^*\) in \(L^2({\mathbb R}_+, \chi (t)dt)\). Combining this with the fact T is similar to a part of \(\tilde{K}\) acting on \({\mathcal H}_{\infty }\), we conclude that T is similar to a part of the backward shift operator \(S^*\) acting on \(L^2({\mathbb R}_+,\chi (t)dt)\).
It remains to prove that \(\chi \) may be regularized into a \(\mathcal {C}^{\infty }\)-function in \({\mathbb R}_+\). Observe that
where \(\chi _{[n,\, n+1)}\) is the characteristic function of the interval \([n,\, n+1)\), \(n\ge 0\). For a fixed \(\varepsilon >0\), let \(\alpha \) be a non-decreasing \(\mathcal {C}^{\infty }\)-function in the interval \([0,\varepsilon ]\) such that
Roughly speaking, \(\alpha \) joins the values 0 and \(w_1-1\) by a \(\mathcal {C}^{\infty }\)-function. Now, let w be the non-decreasing function in \(\mathcal {C}^{\infty }({\mathbb R}_+)\) defined by
where, for each \(n\in {\mathbb Z}_+\), the function \(W_n\) is given by
Note that \(w(t)^{1/t} \rightarrow \infty \) as \(t \rightarrow \infty \).
Now, observe that \(f\in L^2({\mathbb R}_+, \chi (t)\,dt)\), for all \(f\in L^2({\mathbb R}_+, w(t)\,dt)\). On the other hand, if \(f\in L^2({\mathbb R}_+, \chi (t)\,dt)\), then \(S^* f\in L^2({\mathbb R}_+, \chi (t)\,dt)\). Moreover, since
it follows that \(S^* f\in L^2({\mathbb R}_+, w(t)\,dt)\), for all \(f\in L^2({\mathbb R}_+, \chi (t)\,dt)\). From here, the statement of Theorem 2.1 follows. \(\square \)
2.1 A Hilbert space of entire functions associated to the continuous model for quasinilpotent operators
In this subsection, we show that it is possible to associate a Hilbert space of entire functions to the continuous model of a quasinilpotent operator by means of a theorem of Paley–Wiener.
Let \({\mathbb C}_+\) denote the open right-half complex plane. Recall that the Hardy space \({\mathcal H}^2({\mathbb C}_+)\) consists of the functions F analytic on \({\mathbb C}_+\) with finite norm
A classical theorem of Paley and Wiener (see [8], for instance) states that \({\mathcal H}^2 ({\mathbb C}_+)\) is isometrically isomorphic under the Laplace transform to \(L^2({\mathbb R}_+)\), the space of functions square-integrable over the positive real line. In fact, to each function \(F \in {\mathcal H}^2({\mathbb C}_+)\) there corresponds a function \(f \in L^2(\mathbb {R}_+)\) such that
and
Given a quasinilpotent (but not nilpotent) operator T defined on a separable, infinite-dimensional complex Hilbert space \({\mathcal H}\), let \((S^*|\mathcal {M},\chi )\) denote the model for the operator T provided by Theorem 2.1, where \(\chi \) is the function defined by Eq. (4). Now, for every function \(f\in L^2({\mathbb R}_+, \chi (t)\, dt)\), we consider the following decomposition
where \(f_n\in L^2([n,n+1), w_ndt)\) for all \(n\in {\mathbb Z}_+\). The Laplace transform of f has the form
where, for each \(n\in {\mathbb Z}_+\), the function \(F_n\) is given by
In fact, the series in (6) converges for all \(s\in {\mathbb C}\). This is just a consequence of the Cauchy–Schwarz inequality
which, combined with the fact that the weighted backward shift K defined in (1) is quasinilpotent, imply the convergence for all \(s\in {\mathbb C}\) of the series
An application of Morera’s Theorem shows that F is an entire function.
With this at hand, we rewrite Theorem 2.1 in the context of analytic functions as follows.
Theorem 2.2
Let T be a quasinilpotent (but not nilpotent) operator on a separable, infinite-dimensional complex Hilbert space \({\mathcal H}\). Then there exists a subspace \(\mathcal {Y}\) of the Hardy space \({\mathcal H}^2({\mathbb C}_+)\) consisting of entire functions such that T is similar to the restriction of the adjoint of the multiplication operator by the symbol \(\phi (s)=e^{-s}\), \(s\in {\mathbb C}\), to one of its closed invariant subspaces \(\mathcal {M}\) in \(\mathcal {Y}\).
Remark 2.3
Observe that \({\mathcal H}^2({\mathbb C}_+)\) is a functional Hilbert space, and therefore the reproducing kernels play an important role in order to determine non-trivial closed invariant subspaces of the adjoint of the multiplication operator by the symbol \(\phi (s)=e^{-s}\), \(s\in {\mathbb C}\).
Remark 2.4
By means of the function \(\chi \), the norm of every function in \(L^2({\mathbb R}_+, \chi (t)dt)\) may be expressed in terms of the Laplace transform of it as well of its shifts, that is
where the last equality follows as an application of the Paley–Wiener Theorem.
We end up the section with two examples, where it is possible to determine explicitly the subspace \(\mathcal {Y}\) stated in Theorem 2.2.
Example 2.5
The space \(L^2({\mathbb R}_+, e^{t^2}dt)\) is isometrically isomorphic under the Laplace transform to a proper subspace \(\mathcal {Y}\) of entire functions of \({\mathcal H}^2({\mathbb C}_+)\) with the norm
where, for each \(n\in {\mathbb Z}_+\), the nth derivative of the Laplace transform of f is given by
Let f be a function in \(L^2({\mathbb R}_+,e^{t^2}dt)\). Since \((-1)^nt^n f(t)\in L^2({\mathbb R}_+)\) for all \(n\in {\mathbb Z}_+\), it follows from the Paley–Wiener Theorem that both \(\mathcal {L}f\) and all its derivatives belong to \({\mathcal H}^2({\mathbb C}_+)\) with
Therefore
Finally, since f belongs to the space \(\in L^2({\mathbb R}_+, e^{t^2}dt)\), for every \(s\in {\mathbb C}\) we have
As an application of Morera’s Theorem, it follows that \(\mathcal {L}f\) is analytic in \({\mathbb C}\).
Our next example is a generalization of the previous one. In order to state it, just recall that the Bergman space \({\mathcal A}^2({\mathbb C}_+)\) consists of those functions F which are analytic on \({\mathbb C}_+\) with finite norm
A Paley–Wiener Theorem for \({\mathcal A}^2({\mathbb C}_+)\) states that the Laplace transform \({\mathcal L}\) is an isometric isomorphism between \(L^2({\mathbb R}_+, t^{-1}dt)\) and \({\mathcal A}^2({\mathbb C}_+)\) (see [1], for instance).
Proposition 2.6
Suppose \(w(t)=\sum _{n\in {\mathbb Z}_+}a_n t^n\) with \(a_0\ne 0\) and \(a_n\ge 0\) for all \(n\in {\mathbb Z}_+\). Then the space \(L^2({\mathbb R}_+, w(t)dt)\) is isometrically isomorphic under the Laplace transform to a proper subspace \(\mathcal {Y}\) of \({\mathcal H}^2({\mathbb C}_+)\) with the norm
Proof
Let f be a function in \(L^2({\mathbb R}_+, w(t)dt)\). For those \(n\in {\mathbb Z}_+\) with \(a_n\ne 0\) we have
In particular, \(f\in L^2({\mathbb R}_+)\). By the Paley–Wiener Theorem we know that \(\mathcal {L}f\) belongs to \({\mathcal H}^2({\mathbb C}_+)\). Observe that the norm of f can be expressed as follows
Now, since \(t^{n/2}f(t)\in L^2({\mathbb R}_+)\) for all even integers \(n\in {\mathbb Z}_+\) with \(a_n\ne 0\), we have
where
On the other hand, since \(t^{(n+1)/2}f(t)\in L^2({\mathbb R}_+,t^{-1}dt)\) for all odd integers \(n\in {\mathbb Z}_+ \) with \(a_n\ne 0\), we have
Therefore,
\(\square \)
Finally, we apply the continuous model given by Theorem 2.1 to the study of invariant subspaces in the context of \(C_0\)-semigroups of quasinilpotent operators.
3 \(C_0\)-semigroups of quasinilpotent operators
In this section, we derive an application of Theorem 2.1 to \(C_0\)-semigroups of quasinilpotent operators. Before stating this result, let us recall some basic notions.
Let \(\{T(t)\}_{t\ge 0}\) be a \(C_0\)-semigroup of operators defined on a Hilbert \({\mathcal H}\), i.e., a family of bounded linear operators satisfying the functional equation
such that \( \{T(t)\}_{t\ge 0}\) converges to the identity operator I in the strong operator topology. In this context, it is well-known that there exists a closed and densely defined linear operator A that determines the semigroup uniquely, called the generator of \(\{T(t)\}_{t\ge 0}\), defined as
where its domain D(A) consists of all those vectors \(x\in {\mathcal H}\) for which this limit exists (see [2, Chapter II], for instance). In general, A is an unbounded operator. However, if \(1\in \rho (A)\), then the transformation defined by
is a bounded operator on \({\mathcal H}\) that determines the semigroup uniquely, since A does. This operator V is called the cogenerator of \(\{T(t)\}_{t\ge 0}\) (see [7], for instance). Observe that 1 is not an eigenvalue of V.
An immediate consequence from the above definition, using the spectral mapping theorem for the resolvent of the generator A (see [2, Chapter IV,Proposition 1.13]), is a complete description for the spectrum of the cogenerator V given by
If \(\{T(t)\}_{t\ge 0}\) is a \(C_0\)-semigroup of quasinilpotent (but not nilpotent) operators, it holds that the spectrum of its generator A is the empty set. Therefore, in this case, the spectrum of its cogenerator is given by \(\sigma (V)=\{1\}\) (see [2, Chapter IV, Corollary 2.5]).
Applying Theorem 2.1 to \(I- V\), which is quasinilpotent but not nilpotent (since 0 is not an eigenvalue), we obtain the following result.
Proposition 3.1
Let V be the cogenerator of a \(C_0\)-semigroup \(\{T(t)\}_{t\ge 0}\) of quasinilpotent operators on a separable, infinite-dimensional complex Hilbert space \({\mathcal H}\). Then there exists a positive increasing function \(w\in \mathcal {C}^{\infty }({\mathbb R}_+)\) such that V is similar to a part of the operator \(I-S^*\) in \(L^2({\mathbb R}_+,w(t)dt)\), where \(S^*\) denotes the backward shift operator.
Using a \(H^\infty \) functional calculus, it is possible to recover each element of the semigroup by means of the cogenerator. To this end, we need V to be a contraction, as in the following result.
Theorem 3.2
([7], p. 142) Let V be a contraction on a Hilbert space \(\mathcal H\). In order that there exists a \(C_0\)-semigroup \(\{T(t)\}_{t\ge 0}\) whose cogenerator equals V, it is necessary and sufficient that 1 is not an eigenvalue of V. If this is the case, then V and T(t) determine each other by the relations
where
Observe that, if \(\{T(t)\}_{t\ge 0}\) is a quasinilpotent semigroup that is not a contraction semigroup, we can define a pre-Hilbert norm \({\left| \left| \left| \cdot \right| \right| \right| }\) on \(\mathcal H\) by
Let \(\widetilde{\mathcal H}\) denote the completion of \({\mathcal H}\) with respect to \({\left| \left| \left| \cdot \right| \right| \right| }\), and note that \(\{T(t)\}_{t\ge 0}\) extends to a quasinilpotent contraction semigroup \(\{\widetilde{T}(t)\}_{t\ge 0}\) on \({\mathcal H}\), since clearly \({\left| \left| \left| T(t) \right| \right| \right| } \le \Vert T(t)\Vert \) for all \(t \ge 0\). The generators A and \(\widetilde{A}\) satisfy \(D(A) \subseteq D(\widetilde{A})\) and \(\widetilde{A}_{|D(A)}=A\).
The cogenerator \(\widetilde{V}\) is now a contraction with spectrum equal to \(\{1\}\), and thus we may apply Theorem 2.1 to \(I-\widetilde{V}\) as before, to obtain the following result.
Proposition 3.3
Let \(\{T(t)\}_{t\ge 0}\) be a \(C_0\)-semigroup of quasinilpotent (but not nilpotent) operators on a separable, infinite-dimensional complex Hilbert space \({\mathcal H}\), and let \(\widetilde{V}\) be the cogenerator of \( \{ \widetilde{T}(t)\}_{t\ge 0}\), as defined above. Then there exists a positive increasing function \(w\in \mathcal {C}^{\infty }({\mathbb R}_+)\) such that \(\widetilde{V}\) is similar to the restriction of the operator \(I-S^*\) to a closed invariant subspace \(\widetilde{\mathcal {M}}\) in \(L^2({\mathbb R}_+,w(t)dt)\), where \(S^*\) denotes the backward shift operator. Moreover, \(\widetilde{T}(t)\) is similar to \(e_t( I-S^*_{|\widetilde{\mathcal M}})\), as defined in (8).
Finally, let us remark that Proposition 3.3 allows us just to recover the extended \(C_0\)-semigroup \( \{ \widetilde{T}(t)\}_{t\ge 0}\) from its cogenerator by an \(H^\infty \) functional calculus; but in what concerns the \(C_0\)-semigroup \(\{T(t)\}_{t\ge 0}\), we pose the following question:
Does there exist an increasing function \(\omega \in \mathcal {C}^{\infty }({\mathbb R}_+)\) and an \(S^*\)-invariant subspace \(\mathcal {M}\) in \(L^2({\mathbb R}_+,\omega (t)\,dt)\) such that T(t) is similar to \(e_t( I-S^*_{|\mathcal M})\)?
References
Duren, P., Gallardo-Gutiérrez, E.A., Montes-Rodríguez, A.: A Paley–Wiener theorem for Bergman spaces with application to invariant subspaces. Bull. Lond. Math. Soc. 39(3), 459–466 (2007)
Engel, K.J., Nagel, R.: One-Parameter Semigroups for Linear Evolution Equations, Graduate Text in Mathematics, vol. 194. Springer, New York (2000)
Foias, C., Jung, I., Ko, E., Pearcy, C.: On quasinilpotent operators II. J. Aust. Math. Soc. 77, 349–356 (2004)
Foias, C., Pearcy, C.: A model for quasinilpotent operators. Mich. Math. J. 21, 399–404 (1974)
Hadwin, D.W., Nordgren, E.A., Radjavi, H., Rosenthal, P.: An operator not satisfying Lomonosov’s hypothesis. J. Funct. Anal. 38, 410–415 (1980)
Lomonosov, V.: Invariant subspaces for operators commuting with compact operatos. Funct. Anal. Appl. 7, 213–214 (1973)
Nagy, B.Sz, Foias, C.: Harmonic Analysis of Operators on Hilbert Space. North-Holland Publishing Co., Amsterdam (1970)
Rudin, W.: Real and Complex Analysis, 3rd edn. McGraw-Hill, New York (1987)
Acknowledgments
The third author acknowledges Ministerio de Economía y Competitividad (Spain) for the research grant “Ayudas a la movilidad predoctoral para la realización de estancias breves en centros I+D”, ref. EEBB-I-14-08134. The first and third authors are grateful to the School of Mathematics at the University of Leeds for the hospitality shown during their stay.
Author information
Authors and Affiliations
Corresponding author
Additional information
The authors are partially supported by Plan Nacional I+D Grant No. MTM2013-42105-P.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided 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.
About this article
Cite this article
Gallardo-Gutiérrez, E.A., Partington, J.R. & Rodríguez, D.J. A continuous model for quasinilpotent operators. Math. Z. 284, 781–790 (2016). https://doi.org/10.1007/s00209-016-1673-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00209-016-1673-2