A continuous model for quasinilpotent operators

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 H\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal H}$$\end{document}. More precisely, given a quasinilpotent operator T on H\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal H}$$\end{document}, there exists a compact quasinilpotent operator K in H\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal H}$$\end{document} such that T is similar to a part of K⊕K⊕⋯⊕K⊕⋯\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$K\oplus K\oplus \cdots \oplus K\oplus \cdots $$\end{document} acting on the direct sum of countably many copies of H\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal H}$$\end{document}. 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 C0\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$C_0$$\end{document}-semigroups of quasinilpotent operators.


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 The authors are partially supported by Plan Nacional I+D Grant No. MTM2013-42105-P. B Jonathan R. Partington J.R.Partington@leeds.ac.uk 1 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 H, there exists a compact quasinilpotent weighted backward shift K in H such that T is similar to a part of K ⊕ K ⊕ · · · ⊕ K ⊕ · · · acting on the direct sum of countably many copies of H. That is, T is similar to the restriction of K ⊕ K ⊕ · · · ⊕ K ⊕ · · · 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 C ∞ increasing positive function w in R + such that T is similar to the restriction of the backward shift operator S * to one of its closed invariant subspaces M in L 2 (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.

The model
In this section, we show a continuous model for any quasinilpotent operator acting on a separable, infinite-dimensional complex Hilbert space H. Before going further, we recall a few basic facts.
Given a positive decreasing functionw in R + , the space L 2 (R + ,w(t) dt) consists of measurable functions in R + such that the norm is well defined and bounded. In addition, the space L 2 (R + ,w(t) dt) can naturally be identified as the dual space of L 2 (R + , (w(t)) −1 dt) by means of the bilinear dual pairing giving an isometric isomorphism. The backward shift on L 2 (R + , (w(t)) −1 dt) is therefore the adjoint of the shift on L 2 (R + ,w(t) dt) and, thus for f ∈ L 2 (R + , (w(t)) −1 dt). Moreover, it is clear that the invariant subspaces of the backward shift on L 2 (R + , (w(t)) −1 dt) can be identified as the annihilators of the invariant subspaces of the forward shift on L 2 (R + ,w(t) dt). With this at hand, we are in a position to state the following Proof Firstly, let us show the existence of a positive increasing step function χ such that T is similar to a part of the backward shift operator S * acting on L 2 (R + , χ(t)dt). Proceeding as in Foias-Pearcy's Theorem, we start considering the sequences α n = T n 1/2 , (n ∈ Z + ), Observe that the non-negative integers p n and q n are uniquely determined for all n ≥ 1. Moreover, the sequence { p n } n≥1 is non-decreasing and p n → ∞ as n → ∞. Let us fix κ 0 = 1. Since α 2n ≤ α 2 n for all n ∈ Z + , it follows that . On the other hand, the sequence {κ n } n∈Z + decreases to zero, since T is quasinilpotent and { p n } n≥1 is a non-decreasing sequence. Therefore, if {e n } n∈Z + is an orthonormal basis of H, then the weighted backward shift operator K defined by is clearly compact and quasinilpotent. Hence, the operator defined on H ∞ , the direct sum of countably many copies of 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 H n (the nth copy of H in H ∞ ) for all n ∈ Z + , and define acting on L 2 (R + ). By means of U , it can be proved thatK is unitarily equivalent to the operatorS on where λ is the positive non-decreasing step function given by Observe that λ(t) = 1 for 0 < t < 1, since κ 0 = 1 was previously fixed. Now, let {w n } n≥0 be the sequence Note that w(n) 1/n → ∞ as n → ∞. Now, we define the positive step function Observe that χ is a non-decreasing function. Moreover, the operator induces a unitary equivalence between L 2 (R + ) and the weighted space Therefore, the operatorS in Combining this with the fact T is similar to a part ofK acting on H ∞ , we conclude that T is similar to a part of the backward shift operator S * acting on L 2 (R + , χ(t)dt). It remains to prove that χ may be regularized into a C ∞ -function in R + . Observe that where χ [n, n+1) is the characteristic function of the interval [n, n + 1), n ≥ 0. For a fixed ε > 0, let α be a non-decreasing C ∞ -function in the interval [0, ε] such that Roughly speaking, α joins the values 0 and w 1 − 1 by a C ∞ -function. Now, let w be the non-decreasing function in C ∞ (R + ) defined by where, for each n ∈ Z + , the function W n is given by . From here, the statement of Theorem 2.1 follows.

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 C + denote the open right-half complex plane. Recall that the Hardy space H 2 (C + ) consists of the functions F analytic on C + with finite norm A classical theorem of Paley and Wiener (see [8], for instance) states that H 2 (C + ) is isometrically isomorphic under the Laplace transform to L 2 (R + ), the space of functions square-integrable over the positive real line. In fact, to each function F ∈ H 2 (C + ) there corresponds a function f ∈ L 2 (R + ) such that Given a quasinilpotent (but not nilpotent) operator T defined on a separable, infinitedimensional complex Hilbert space H, let (S * |M, χ) denote the model for the operator T provided by Theorem 2.1, where χ is the function defined by Eq. (4). Now, for every function f ∈ L 2 (R + , χ(t) dt), we consider the following decomposition where f n ∈ L 2 ([n, n + 1), w n dt) for all n ∈ Z + . The Laplace transform of f has the form where, for each n ∈ Z + , the function F n is given by In fact, the series in (6) converges for all s ∈ 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 ∈ C of the series ∞ n=1 e −2n Re s w n = ∞ n=1 κ 2 0 κ 2 1 · · · κ 2 n−1 e −2n Re s .
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.

Remark 2.3
Observe that H 2 (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 φ(s) = e −s , s ∈ C.

Remark 2.4
By means of the function χ, the norm of every function in L 2 (R + , χ(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 Y stated in Theorem 2.2.
Example 2.5 The space L 2 (R + , e t 2 dt) is isometrically isomorphic under the Laplace transform to a proper subspace Y of entire functions of H 2 (C + ) with the norm where, for each n ∈ Z + , the nth derivative of the Laplace transform of f is given by Let f be a function in L 2 (R + , e t 2 dt). Since (−1) n t n f (t) ∈ L 2 (R + ) for all n ∈ Z + , it follows from the Paley-Wiener Theorem that both L f and all its derivatives belong to Therefore Finally, since f belongs to the space ∈ L 2 (R + , e t 2 dt), for every s ∈ C we have As an application of Morera's Theorem, it follows that L f is analytic in C.
Our next example is a generalization of the previous one. In order to state it, just recall that the Bergman space A 2 (C + ) consists of those functions F which are analytic on C + with finite norm A Paley-Wiener Theorem for A 2 (C + ) states that the Laplace transform L is an isometric isomorphism between L 2 (R + , t −1 dt) and A 2 (C + ) (see [1], for instance).

Proposition 2.6
Suppose w(t) = n∈Z + a n t n with a 0 = 0 and a n ≥ 0 for all n ∈ Z + . Then the space L 2 (R + , w(t)dt) is isometrically isomorphic under the Laplace transform to a proper subspace Y of H 2 (C + ) with the norm Proof Let f be a function in L 2 (R + , w(t)dt). For those n ∈ Z + with a n = 0 we have In particular, f ∈ L 2 (R + ). By the Paley-Wiener Theorem we know that L f belongs to H 2 (C + ). Observe that the norm of f can be expressed as follows Now, since t n/2 f (t) ∈ L 2 (R + ) for all even integers n ∈ Z + with a n = 0, we have On the other hand, since t (n+1)/2 f (t) ∈ L 2 (R + , t −1 dt) for all odd integers n ∈ Z + with a n = 0, we have n odd). Therefore, 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.

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≥0 be a C 0 -semigroup of operators defined on a Hilbert H, i.e., a family of bounded linear operators satisfying the functional equation such that {T (t)} t≥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≥0 , defined as where its domain D(A) consists of all those vectors x ∈ H for which this limit exists (see [2, Chapter II], for instance). In general, A is an unbounded operator. However, if 1 ∈ ρ(A), then the transformation defined by is a bounded operator on H that determines the semigroup uniquely, since A does. This operator V is called the cogenerator of {T (t)} t≥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≥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 σ (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. Using a H ∞ 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. H. In order that there exists a C 0 -semigroup {T (t)} t≥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

Theorem 3.2 ([7], p. 142) Let V be a contraction on a Hilbert space
where e t (z) Observe that, if {T (t)} t≥0 is a quasinilpotent semigroup that is not a contraction semigroup, we can define a pre-Hilbert norm |||·||| on H by Let H denote the completion of H with respect to |||·|||, and note that {T (t)} t≥0 extends to a quasinilpotent contraction semigroup { T (t)} t≥0 on H, since clearly |||T (t)||| ≤ T (t) for all t ≥ 0. The generators A and A satisfy D(A) ⊆ D( A) and A |D(A) = A.
The cogenerator V is now a contraction with spectrum equal to {1}, and thus we may apply Theorem 2.1 to I − V as before, to obtain the following result. Finally, let us remark that Proposition 3.3 allows us just to recover the extended C 0semigroup { T (t)} t≥0 from its cogenerator by an H ∞ functional calculus; but in what concerns the C 0 -semigroup {T (t)} t≥0 , we pose the following question: Does there exist an increasing function ω ∈ C ∞ (R + ) and an S * -invariant subspace M in L 2 (R + , ω(t) dt) such that T (t) is similar to e t (I − S * |M )?