Next Article in Journal
A Genetic XK-Means Algorithm with Empty Cluster Reassignment
Previous Article in Journal
Exact Solutions to Time-Fractional Fifth Order KdV Equation by Trial Equation Method Based on Symmetry
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

On Invariant Subspaces for the Shift Operator

Faculty of Information Technology, Macau University of Science and Technology, Avenida Wai Long, Taipa, Macau 999078, China
Symmetry 2019, 11(6), 743; https://doi.org/10.3390/sym11060743
Submission received: 15 May 2019 / Revised: 26 May 2019 / Accepted: 28 May 2019 / Published: 1 June 2019

Abstract

:
In this paper, we improve two known invariant subspace theorems. More specifically, we show that a closed linear subspace M in the Hardy space H p ( D ) ( 1 p < ) is invariant under the shift operator M z on H p ( D ) if and only if it is hyperinvariant under M z , and that a closed linear subspace M in the Lebesgue space L 2 ( D ) is reducing under the shift operator M e i θ on L 2 ( D ) if and only if it is hyperinvariant under M e i θ . At the same time, we show that there are two large classes of invariant subspaces for M e i θ that are not hyperinvariant subspaces for M e i θ and are also not reducing subspaces for M e i θ . Moreover, we still show that there is a large class of hyperinvariant subspaces for M z that are not reducing subspaces for M z . Furthermore, we gave two new versions of the formula of the reproducing function in the Hardy space H 2 ( D ) , which are the analogue of the formula of the reproducing function in the Bergman space A 2 ( D ) . In addition, the conclusions in this paper are interesting now, or later if they are written into the literature of invariant subspaces and function spaces.

1. Introduction and Preliminary

It is well known that one of the most famous and most intriguing research topics in modern mathematics is the invariant subspace problem. (cf. [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37] and their references).
In particular, it is worth mentioning that it was the famous computer scientist and mathematician J. von Neumann who initiated the research work of the invariant subspace problem and its applications (cf. [4] and so on).
However, this problem remains still unanswered in Hilbert spaces, but for some concrete operators and classes of operators, there have been affirmative or negative answers. Moreover, the invariant subspace theory has extensive applications in many branches of mathematics as well as other science and technology fields (cf. [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37] and so on).
Now, we recall some results which are directly and closely related to this paper, and state some key concepts used in this paper.
Let X be a normed space and let B ( X ) denote the algebra consisting of all bounded linear operators on X. Let T B ( X ) and let M be a closed linear subspace of X. If T M M , then M is called an invariant subspace for T. In particular, if M { 0 } and M X , then M is called a nontrivial invariant subspace for T.
Let T B ( X ) and let M be a closed linear subspace of X. If S M M for every S B ( X ) such that S T = T S , then M is called a hyperinvariant subspace for T. In particular, if M { 0 } and M X , then M is called a nontrivial hyperinvariant subspace for T.
Let H be a Hilbert space and let T B ( H ) . Let M be a closed linear subspace of H. If T M M and T * M M , then M is called a reducing subspace for T, where T * denote the adjoint operator of T. In particular, if M { 0 } and M H , then M is called a nontrivial reducing subspace.
Let D and D denote the open unit disk and the unit circle on the complex plane respectively.
Let 1 p < . Let H p ( D ) denote the Hardy space consisting of all analytic functions f such that sup 0 < r < 1 0 2 π | f ( r e i θ ) | p d θ < with the norm
f p = sup 0 < r < 1 1 2 π 0 2 π | f ( r e i θ ) | p d θ 1 p = lim r 1 1 2 π 0 2 π | f ( r e i θ ) | p d θ 1 p
and with the inner product
f , g H 2 ( D ) = lim r 1 1 2 π 0 2 π f ( r e i θ ) g ( r e i θ ) ¯ d θ , f , g H 2 ( D ) .
Let A p ( D ) denote the Bergman space consisting of all analytic functions f such that D | f ( z ) | p d A ( z ) < with the norm
f p ( D ) = D | f ( z ) | p d A ( z ) 1 p .
Let M z be the operator on the Hardy space H p ( D ) defined by
( M z f ) ( z ) = z f ( z ) , f H p ( D ) .
Then M z is called the shift operator on the Hardy space H p ( D ) .
If ϕ ( z ) is a function in that Hardy space H ( D ) such that | ϕ ˜ ( e i θ ) | = 1 a.e. on D , where ϕ ˜ ( e i θ ) = lim r 1 ϕ ( r e i θ ) a.e. on D , then ϕ is called an inner function.
In 1949, the pioneering work of A. Beurling’s [8] found a description of all invariant subspaces for the shift operator on the Hardy space. It is well known that in the first half of twentieth century, the research interest in Complex Analysis dipped to a low point. It was Beurling’s work [8] that revived the research interest of Complex Analysis, and that opened a new research direction of the invariant subspace problem.
We now state the Beurling’s theorem.
Theorem A (Beurling’s theorem) ([8], [12] p. 246, [18] p. 99, [19,20], [21] p. 82, [24] p. 49, [35] p. 348, [28] p. 42). Let M z be the shift operator on the Hardy space H p ( D ) . Then the following statements are equivalent.
(1). M is a nonzero invariant subspace for M z .
(2). There exists an inner function ϕ such that M = ϕ H p ( D ) .
Moreover, in Theorem A, ϕ is uniquely determined by M up to a constant factor of modulus 1.
On the other hand, it is clear that a hyperinvariant subspace for any operator T is a invariant subspace for the operator T, but the converse is not necessarily true. For example, let ϕ L ( D ) and let M ϕ be the multiplication operator on the Lebesgue space L 2 ( D ) defined by
( M ϕ f ) ( e i θ ) = ϕ ( e i θ ) f ( e i θ ) , f L 2 ( D ) .
Let e n = e i n θ and M n = span ¯ { e n , e n + 1 , e n + 2 , } , n Z , where Z denotes the set of all integers including zero. It is easy to see that every M n is a nontrivial invariant subspace for M e i θ . Moreover, it is clear that M e i θ M e i θ = I = M e i θ M e i θ , where I denotes the unit operator on L 2 ( D ) . Also, since
M e i θ * M n = M e i θ M n = M n 1 M n , n Z ,
it follows that any M n is not a hyperinvariant subspace for M e i θ and is also not a reducing subspace for M e i θ .
However, we find every invariant subspace for the shift operator M z on the Hardy space H p ( D ) ( 1 p < ) is its hyperinvariant subspace (Theorem 1). This result is produced through the interaction of Operator Theory and Complex Analysis, and should have been a basic theory in the invariant subspace problem and Hardy spaces. Since there is no Beurling’s theorem in the form of Theorem 1 in the existing literature (cf. [6,8,11,12,18,21,24,28,35], as well as their references and so on), and since Beurling’s theorem is one of the most famous theorems in modern mathematics, we shall state this theorem and give an almost self-contained proof in Section 2.
Moreover, there is a reducing subspace theorem in the Lebesgue space L 2 ( D ) , which is also well known. Let M e i θ be the operator on L 2 ( D ) defined by
( M e i θ f ) ( e i θ ) = e i θ f ( e i θ ) f L 2 ( D ) .
Then M e i θ is called the shift operator on L 2 ( D ) .
Theorem B ([18] p. 111, [21] p. 81, [24] p. 46, [28] p. 39). Let M e i θ is the shift operator on L 2 ( D ) . Then the following statements are equivalent.
(1). M is a reducing subspace for M e i θ .
(2). There exists a measurable subset E on D such that
M = { f | f L 2 ( D ) , f ( e i θ ) = 0 a . e . on E } .
It is easy to see from definitions and basic properties of the reducing subspace and the hyperinvariant subspace that a reducing subspace need not be a hyperinvariant subspace in general.
However, we find every reducing subspace for shift operator M e i θ on Lebesgue space L 2 ( D ) is its hyperinvariant subspace (Theorem 2), which can not be also found in the existing literature (cf. [6,8,11,18,21,24,28,35] as well as their references and so on). In the next section, we will give this result.
Furthermore, we shall show that there is a large classes invariant subspaces for M e i θ on the Lebesgue space L 2 ( D ) that are not hyperinvariant subspaces for M e i θ and are also not reducing subspaces for M e i θ . At the same time, we still show that there is a large class of hyperinvariant subspaces for M z on the Hardy space H 2 ( D ) that are not reducing subspaces for M z .
Clearly, the conclusions in this paper are interesting now, or later if they are written into the literature of invariant subspaces and function spaces.

2. Main Results

Theorem 1.
Let M z be the shift operator on the Hardy space H p ( D ) ( 1 p < ) . Then the following statements are equivalent.
(1). M is a nonzero invariant subspace for M z .
(2). M is a nonzero hyperinvariant subspace for M z .
(3). There is an inner function ϕ such that M = ϕ H p ( D ) .
Moreover, in Theorem 1, ϕ is uniquely determined by M up to a constant of modulus 1.
Proof. 
By definition, every hyperinvariant subspace for M z is its invariant subspace. Thus by Theorem A, to show Theorem 1, it suffice to show that every nonzero invariant subspace M for M z is its hyperinvariant subspace. That is, to show that A M M whenever A ia a bounded linear operator on H p ( D ) such that A M z = M z A . In fact, let U be the operator from H p ( D ) to H p ( D ) , ( 1 p ) defined by
( U f ) ( z ) = f ˜ ( e i θ ) , f H p ( D , )
where f ˜ ( e i θ ) = lim r 1 f ( e i θ ) a.e. on D . It is well known that U is a isometric isomorphism from H p ( D ) onto H p ( D ) . Moreover, for every bounded linear operator A on H p ( D ) , let
B = U A U 1 ,
then B is a bounded linear operator on H p ( D ) and is similar to A. Let M e i θ | H p ( D ) is the shift operator on H p ( D ) defined by
( M e i θ | H p ( D ) f ) ( e i θ ) = e i θ f ( e i θ ) , f H p ( D ) .
It is easy to see that M e i θ | H p ( D ) = U M z U 1 . Since A M z = M z A , it follows that
B M e i θ | H p ( D ) = U A U 1 U M z U 1 = U A M z U 1 = U M z A U 1 = ( U M z U 1 ) ( U A U 1 ) = M e i θ | H p ( D ) B
That is, the shift operator M e i θ | H p ( D ) on H p ( D ) is commutative with the operator B. Thus it can be shown by means of a similar method of Theorem 3.2.5 in [24] that there is a function ψ ˜ H ( D ) such that B = M ψ ˜ , where M ψ ˜ is the multiplication operator on H p ( D ) defined by
( M ψ ˜ f ) ( e i θ ) = ψ ˜ ( e i θ ) f ˜ ( e i θ ) , f ˜ H p ( D ) .
Let ψ = U 1 ψ ˜ , then ψ H ( D ) . For each f H p ( D ) , let f ˜ = U f , then f ˜ H p ( D ) and
( A f ) ( z ) = ( U 1 B U f ) ( z ) = ( U 1 B f ˜ ) ( e i θ ) = ( U 1 M ψ ˜ f ˜ ) ( e i θ ) = ( U 1 ψ ˜ f ˜ ) ( e i θ ) = ψ ( z ) f ( z ) = ( M ψ f ) ( z ) .
That is, A = M ψ , where M ψ is the multiplication operator on H p ( D ) defined by
( M ψ f ) ( z ) = ψ ( z ) f ( z ) , f H p ( D ) .
Moreover, it is not difficult to show that if ψ H ( D ) and f H p ( D ) , then ψ f H p ( D ) . On the other hand, since M is a nonzero invariant subspace, it follows from Theorem A that M = ϕ H p ( D ) . This implies that every function g ( z ) in M has the form g = ϕ f , where f H p ( D ) . Thus we have
A g = A ( ϕ f ) = M ψ ( ϕ f ) = ψ ( ϕ f ) = ϕ ( ψ f ) ϕ H p ( D ) = M .
That is A M M . □
Note 1.
It is easy to see from the proof of Theorem 3.2.5 in [24] and Theorem 1 that it is impossible to show that A = M ψ directly in H p ( D ) by means of the (similar) method of Theorem 3.2.5 in [24].
Note 2.
In 1978, S. Brown [9] has shown that every subnormal operator has a nontrivial invariant subspace, but it has not been known so far whether every subnormal operator has a nontrivial hyperinvariant subspace (cf. [15] p. 169 and so on).
Theorem 2.
Let M e i θ is the shift operator on L 2 ( D ) . Then the following statements are equivalent.
(1). M is a reducing subspace for M e i θ .
(2). M is a hyperinvariant subspace for M e i θ .
(3). There exists a measurable subset E on D such that
M = { f | f L 2 ( D ) , f ( e i θ ) = 0 a . e . o n E } .
Proof. 
(a). First of all, we show that (1) ⇒ (2). That is, to show that every reducing subspace M for M e i θ is its hyperinvariant subspace. By definition, it suffice to show that T M M whenever T is a bounded linear operator on L 2 ( D ) such that T M e i θ = M e i θ T . In fact, for each such operator T, there is a function ϕ L ( D ) such that T = M ϕ , where M ϕ is the multiplication operator on L 2 ( D ) defined by (1) ([24] p. 45). Thus it remains to show that M ϕ M M for ϕ L ( D ) .
Indeed, since M is a reducing subspace for M e i θ , it follows from Theorem B that there exists a measurable subset E on D such that
M = { f | f L 2 ( D ) , f ( e i θ ) = 0 a . e . on E } .
Moreover, for each f M , let
g ( e i θ ) = ϕ ( e i θ ) f ( e i θ ) .
Then g = M ϕ f and
1 2 π 0 2 π | g ( e i θ ) | 2 d θ = 1 2 π 0 2 π | ϕ ( e i θ ) f ( e i θ ) | 2 d θ ϕ 2 1 2 π 0 2 π | f ( e i θ ) | 2 d θ = ϕ 2 f L 2 ( D ) 2 < .
Also, since f M , it follows that f L 2 ( D ) and f ( e i θ ) = 0 a.e. on E. Thus by (2), g L 2 ( D ) and g ( e i θ ) = ϕ ( e i θ ) f ( e i θ ) = 0 a.e. on E. Therefore M ϕ f = g M . Hence M ϕ M M . This implies that M is a hyperinvariant subspace for M e i θ .
(b). We now show that (2) ⇒ (1). In fact, let M be a hyperinvariant subspace for M e i θ . Then M is an invariant subspace for M e i θ . On the other hand, it is easy to see that
M e i θ * M e i θ = M e i θ M e i θ = I = M e i θ M e i θ = M e i θ M e i θ * ,
Therefore, M e i θ * is commutative with M e i θ . Also, since M is a hyperinvariant subspace for M e i θ , M is an invariant subspace for M e i θ * , so that M is a reducing subspace for M e i θ .
(c). By (a), (b) and Theorem B, we obtain Theorem 2. □

3. Some Applications

As applications of Theorems 1 and 2, we can obtain two corollaries below, which are two nontrivial examples in the invariant subspace problem, and can not be also found in the existing literature (cf. [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37] as well as their references and so on).
Corollary 1.
Let ϕ be an inner function, but not a constant function. Then M = ϕ H 2 ( D ) is a nontrivial hyperinvariant subspace (of course, is a nontrivial invariant subspace) for the shift operator M z on the Hardy space H 2 ( D ) , but is not a reducing subspace for M z .
Proof. 
Take ϕ 1 ( z ) 1 for all z D . Then ϕ 1 and ϕ are two inner functions. We now show that M H 2 ( D ) . In fact, if M = H 2 ( D ) , then ϕ H 2 ( D ) = H 2 ( D ) = ϕ 1 H 2 ( D ) . Thus by the uniqueness in Theorem A, it would follow that ϕ = ϕ / ϕ 1 is a constant of modulus 1. This contradicts that ϕ is not a constant function, so that M H 2 ( D ) . Thus by Theorem 1, M = ϕ H 2 ( D ) is a nontrivial hyperinvariant subspace for M z . Also since the only reducing subspace for M z are { 0 } and the whole space H 2 ( D ) ([28] p. 38, Theorem 3.5), M is not a reducing subspace for M z . □
Corollary 2.
Let ϕ be a function in the lebesgue space L ( D ) such that | ϕ ( e i θ ) | = 1 a.e. on D . Then M = ϕ H 2 ( D ) is a nontrivial invariant subspace for the shift operator M e i θ on the Lebesgue space L 2 ( D ) , but is not a hyperinvariant subspace for M e i θ and is also not a reducing subspace for M e i θ .
Proof. 
It is well known that M is a nonreducing invariant subspace for M e i θ if and only if there exists a function ϕ L ( D ) with | ϕ ( e i θ ) | = 1 a.e. on D such that M = ϕ H 2 ( D ) (see [28] p. 40, Theorem 3.9). Thus by Theorem 2, the conclusion is obtained. □

4. Two Formulas of the Reproducing Function

It is well known that there are two formulas of the reproducing function in the Hardy space H 2 ( D ) . More specifically, if f ( z ) is a function in H 2 ( D ) , then we have
(a). the Cauchy integral formula
f ( z ) = 1 2 π 0 2 π f ˜ ( e i θ ) 1 z e i θ d θ , z D ;
(b). the Poisson integral formula
f ( z ) = 1 2 π 0 2 π 1 | z | 2 | 1 z e i θ | 2 f ˜ ( e i θ ) d θ = 1 2 π 0 2 π 1 ρ 2 1 2 ρ cos ( t θ ) + ρ 2 f ˜ ( e i θ ) d θ , z = ρ e i t D .
where f ˜ ( e i θ ) = lim r 1 f ( r e i θ ) a.e. on D . It is also well known that there is a formula of the reproducing function in the Bergman space A 2 ( D ) . More precisely, if f ( z ) is a function in A 2 ( D ) , then we have the Bergman integral formula
f ( z ) = 1 π D f ( ω ) ( 1 z ω ¯ ) 2 d A ( ω ) , z D .
Note that in the formula (5), the reproducing function f ( z ) is obtained by means of the integral of the function value of f in D ; while in the formulas (3) and (4), the reproducing function f ( z ) is obtained by means of the integral of the boundary function f ˜ ( e i θ ) of f. But we find that the reproducing function f ( z ) in the Hardy space can be also obtained by means of the integral of the function value of f in D as in the Bergman space. More specifically, if f ( z ) is a function in H 2 ( D ) , then we have the following two formulas of the reproducing function.
(a )
f ( z ) = lim r 1 1 2 π 0 2 π f ( r e i θ ) 1 z r e i θ d θ , z D ;
(b )
f ( z ) = lim r 1 1 2 π 0 2 π 1 | z | 2 | 1 z r e i θ | 2 f ( r e i θ ) d θ = lim r 1 1 2 π 0 2 π 1 ρ 2 1 2 ρ r cos ( t θ ) + ρ 2 r 2 f ( r e i θ ) d θ , z = ρ e i t D .
Since there is no mention of the formulas (6) and (7) in the existing literature (cf. [11,18,19,20,21,24,35] as well as their references and so on), we write down and prove these two formulas here, for sake of comparison with the formula of the reproducing function in the Bergman space, and for convenience of later references.
Now we give the proof of formulas (6) and (7).
Proof. 
For each z D , write
K z ( ω ) = 1 1 z ¯ ω , ω D ,
P z ( ω ) = 1 | z | 2 | 1 z ¯ ω | 2 , ω D .
Then K z H 2 ( D ) , P z H 2 ( D ) . Therefore there exist the radial limits
K z ˜ ( e i θ ) = lim r 1 K z ( r e i θ ) = 1 1 z ¯ e i θ a . e . on D
and
P z ˜ ( e i θ ) = lim r 1 P z ( r e i θ ) = 1 | z | 2 | 1 z ¯ e i θ | 2 a . e . on D ,
and K z ˜ H 2 ( D ) L 2 ( D ) , P z ˜ H 2 ( D ) L 2 ( D ) . Thus by formulas (3) and (4) as well as the properties of the Hardy space, we have
f ( z ) = 1 2 π 0 2 π f ˜ ( e i θ ) 1 z e i θ d θ = f ˜ , K z ˜ L 2 ( D ) = f , K z H 2 ( D ) = lim r 1 1 2 π 0 2 π f ( r e i θ ) 1 z r e i θ d θ , z D
and
f ( z ) = 1 2 π 0 2 π 1 | z | 2 | 1 z e i θ | 2 f ˜ ( e i θ ) d θ = f ˜ , P z ˜ L 2 ( D ) = f , P z H 2 ( D ) = lim r 1 1 2 π 0 2 π 1 | z | 2 | 1 z r e i θ | 2 f ( r e i θ ) d θ = lim r 1 1 2 π 0 2 π 1 ρ 2 1 2 ρ r c o s ( t θ ) + ρ 2 r 2 f ( r e i θ ) d θ , z = ρ e i θ D ,
where · , · L 2 ( D ) denote the inner product in the Lebesgue space L 2 ( D ) . □

5. Conclusions

The main conclusions of this paper are as follows:
(1). M is an invariant subspace for the shift operator M z on H p ( D ) ( 1 p < ) if and only if it is a hyperinvariant subspace for M z .
(2). M is a reducing subspace for the shift operator M e i θ on L 2 ( D ) if and only if it is a hyperinvariant subspace for M e i θ .
(3). Every function f in H p ( D ) ( 1 p < ) can be reproduced by the integral of the function value of f in D as in the Bergman space.

Funding

This project was partially supported by the Macao Science and Technology Development Fund (No.186/2017/A3).

Conflicts of Interest

The author declares no conflicts of interest.

References

  1. Abramovich, Y.A.; Aliprantis, C.D. An Invitation to Operator Theory; American Mathematical Society: Providence, RI, USA, 2002. [Google Scholar]
  2. Ambrozie, C.; Müller, V.M. Invariant subspaces for polynomially bounded operators. J. Funct. Anal. 2004, 213, 321–345. [Google Scholar] [CrossRef] [Green Version]
  3. Argyros, S.A.; Haydon, R.G. A hereditarily indecomposable -space that solves the scalar-plus-compact problem. Acta Math. 2011, 206, 1–54. [Google Scholar] [CrossRef]
  4. Aronszajn, N.; Smith, K.T. Invariant subspaces of completely continuous operators. Ann. Math. 1954, 60, 345–350. [Google Scholar] [CrossRef]
  5. Ball, J.A.; Bolotnikov, V. Weighted Bergman spaces: Shift-invariant subspaces and input/state/output linear systems. Integr. Equ. Oper. Theory 2013, 76, 301–356. [Google Scholar] [CrossRef]
  6. Beauzamy, B. Introduction to Operator Theory and Invariant Subspaces; North-Holland: New York, NY, USA, 1988. [Google Scholar]
  7. Bernstein, A.R.; Robinson, A. Solution of an invariant subspace problem of K. T. Smith and P. R. Halmos. Pac. J. Math. 1966, 16, 421–431. [Google Scholar] [CrossRef]
  8. Beurling, A. On two problems concerning linear transformations in a Hilbert space. Acta Math. 1949, 81, 239–255. [Google Scholar] [CrossRef]
  9. Brown, S. Some invariant subspaces for subnormal operators. Integr. Equ. Oper. Theory 1978, 1, 310–333. [Google Scholar] [CrossRef]
  10. Brown, S. Hyponormal operators with thick spectra have invariant subspaces. Ann. Math. 1987, 125, 93–103. [Google Scholar] [CrossRef]
  11. Duren, P.L. Theorey of Hp Spacce; Academic Press: New York, NY, USA, 1970; Dover Publications Inc.: New York, NY, USA, 2000. [Google Scholar]
  12. Duren, P.L.; Schuster, A. Bergman Spaces, Math. Surveys Monographs; American Mathematical Society: Providence, RI, USA, 2004. [Google Scholar]
  13. Enflo, P. On the invariant subspace problem for Banach spaces. Acta Math. 1987, 158, 213–313. [Google Scholar] [CrossRef]
  14. Eschmeier, J.; Prunaru, B. Invariant subspaces for operators with Bishop’s property (β) and thick spectrum. J. Funt. Anal. 1990, 94, 196–222. [Google Scholar] [CrossRef]
  15. Eschmeier, J. Introduction to Banach Algebras, Operators, and Harmonic Analysis-Invariant Spaces; Cambridge University Press: Cambridge, UK, 2003. [Google Scholar]
  16. Halmos, P.R. Invariant subspaces of polynomially compact operators. Pac. J. Math. 1966, 16, 433–437. [Google Scholar] [CrossRef] [Green Version]
  17. Halmos, P.R. A Hilbert Space Problem Book, 2nd ed.; Springer-Verlag: New York, NY, USA, 1982. [Google Scholar]
  18. Hoffman, K. Banach Spaces of Analytic Functions; Prentice Hall Inc.: Englewood Cliffs, NJ, USA, 1962; Dover Publications Inc.: New York, NY, USA, 1988. [Google Scholar]
  19. Karaev, M.T. On the proof of Beurling’s theorem on z-invariant subspaces. Expos. Math. 2007, 25, 265–267. [Google Scholar] [CrossRef]
  20. Karaev, M.T. On a Beurling-Arveson type theorem for some functional Hilbert spaces and related questions. Integr. Equ. Oper. Theory 2008, 62, 77–84. [Google Scholar] [CrossRef]
  21. Koosis, P. Introduction to Hp spaces; Cambridge University Press: Cambridge, UK, 1998. [Google Scholar]
  22. Liu, J. On invariant subspaces for polynomially bounded operators. Czechoslov. Math. J. 2017, 67, 1–9. [Google Scholar] [CrossRef]
  23. Lomonosov, V. Invariant subspaces of the family of operators that commute with a completely continuous operator. Funct. Anal. Appl. 1973, 7, 213–214. [Google Scholar] [CrossRef]
  24. Martínez-Avendaño, R.A.; Rosenthal, P. An Introduction to Operators on the Hardy-Hilbert Space; Springer-Verlag: New York, NY, USA, 2007. [Google Scholar]
  25. Michaels, A.J. Hilden’s simple proof of Lomonosov’s invariant subspace theorem. Adv. Math. 1977, 25, 56–58. [Google Scholar] [CrossRef]
  26. Popov, A.I.; Tcaciuc, A. Every operator has almost-invariant subspaces. J. Funct. Anal. 2013, 265, 257–265. [Google Scholar] [CrossRef]
  27. Radjavi, H.; Rosenthal, P. On invariant subspaces and reflexive algebras. Am. J. Math. 1969, 91, 683–692. [Google Scholar] [CrossRef]
  28. Radjavi, H.; Rosenthal, P. Invariant Subspaces, 2nd ed.; Dover Publications Inc.: New York, NY, USA, 2003. [Google Scholar]
  29. Radjavi, H.; Troitsky, V.G. Invariant sublattices. Ill. J. Math. 2008, 52, 437–462. [Google Scholar] [CrossRef]
  30. Read, C.J. A solution to the invariant subspace problem. Bull. Lond. Math. Soc. 1984, 16, 337–401. [Google Scholar] [CrossRef]
  31. Read, C.J. A solution to the invariant subspace problem on the space l1. Bull. Lond. Math. Soc. 1985, 17, 305–317. [Google Scholar] [CrossRef]
  32. Read, C.J. A short proof concerning the invariant subspace problem. J. Lond. Math. Soc. 1986, 34, 335–348. [Google Scholar] [CrossRef]
  33. Read, C.J. Quasinilpotent operators and the invariant subspace problem. J. Lond. Math. Soc. 1997, 56, 595–606. [Google Scholar] [CrossRef]
  34. Rezaei, H. On operators with orbits dense relative to nontrivial subspaces. Funct. Anal. Its Appl. 2017, 51, 112–122. [Google Scholar] [CrossRef]
  35. Rudin, W. Real and Complex Analysis, 3rd ed.; McGraw-Hill Companies, Inc.: Columbus, OH, USA, 1987. [Google Scholar]
  36. Shimorin, S.M. Wold-type decompositions and wandering subspaces for operators close to isometries. J. Reine Angew. Math. 2001, 531, 147–189. [Google Scholar] [CrossRef]
  37. Shimorin, S.M. On Beurling-type theorems in weighted l2 and Bergman Spaces. Proc. Am. Math. Soc. 2002, 131, 1777–1787. [Google Scholar] [CrossRef]

Share and Cite

MDPI and ACS Style

Liu, J. On Invariant Subspaces for the Shift Operator. Symmetry 2019, 11, 743. https://doi.org/10.3390/sym11060743

AMA Style

Liu J. On Invariant Subspaces for the Shift Operator. Symmetry. 2019; 11(6):743. https://doi.org/10.3390/sym11060743

Chicago/Turabian Style

Liu, Junfeng. 2019. "On Invariant Subspaces for the Shift Operator" Symmetry 11, no. 6: 743. https://doi.org/10.3390/sym11060743

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop