arxiv: v2 [math.fa] 9 Dec 2017

Transcription

1 NONCOMMUTATIVE FUNCTIONAL CALCULATE AND ITS APPLICATION arxiv:6.298v2 [math.fa] 9 Dec 27 LVLIN LUO Abstract. In this paper we construct an unitary operator F xx such that (F xx ) 2 identity and Fix(F xx ). We get the unitary equivalent representations F xx (M zψ(z) a) on L 2 (σ( T +a ),µ T+a ) for any given T B(H), where ψ(z) L (σ( T +a ),µ T+a ), a ρ(t), F xx (f(xx )) f(x x), B(H) is the set of all bounded linear operator on complex separable Hilbert space H. Also, we get that if zψ(z) Fix(F xx ), then T has a nontrivial invariant subspace space on H which has dimension >. Moreover, we define the Lebesgue class B Leb (H) B(H) and get that if T is a Lebesgue operator, then T is Li-Yorke chaotic if and only if T is.. Introduction Early, the invariant subspace problem, that is, whether an linear operator on a certain linear space has a nontrivial invariant subspace, have been stated by Beurling and vonneumann [8]. For finite dimensional vector spaces or nonseparable Hilbert spaces, the result is trivial. But for infinite separable Hilbert spaces the problem is unsolved in a long time. From then on, there are a lot of results about this open problem and many mathematicians answered that under conditions on the operator or on the space. In 966, Allen R. Bernstein and Abraham Robinson show that if T is a bounded linear operator on a complex Hilbert space H and p is a non-zero polynomial such that p(t) is compact, then T has nontrivial invariant subspace []. Especially, when p(t) t, that is, T itself is compact, this was proved independently by von Neumann and N. Aronszajn and in 954, this result extended to apply to a compact on Banach space by N. Aronszajn and K. T. Smith [24]. In 973, V. I. Lomonosov showed that on Banach space if T is not a scalar multiple of the identity and commutes with a nonzero compact operator, then T has a nontrivial hyperinvariant subspace[3], that is, any bounded linear operator commuting with T has a nontrivial invariant subspace. In976,PerH.EnflofirstlyconstructedanoperatoronaBanachspacehavingno nontrivial invariant subspace [26]. In 983, Aharon Atzmon constructed a nuclear Fréchet space F and a bounded linear operator which has no nontrivial invariant subspace [2]. And in 984, C. J. Read [3] made a example such that there is a bounded linear operator without nontrivial invariant subspace on l. In 2, A. Argyros and G. Haydon constructed the first example of Banach space for which every bounded linear operator on the space has the form λ + K 2 Mathematics Subject Classification. Primary 46L5, 47A67, 47A5; Secondary 37B99. Key words and phrases. chaos; inverse; invariant subspace; Lebesgue operator; spectrum.

2 2 LVLIN LUO where λ is a real scalar and K is a compact operator, such that every bounded linear operator on the space has a nontrivial invariant subspace [3]. For research the invariant subspace problem and with the always developing on dynamics, Operator Dynamics or Linear Dynamics is a rapidly evolving branch of functional analysis, which was probably born in 982 with the Toronto Ph. D. thesis of C. Kitai [4]. It has become rather popular because of the efforts of many mathematicians survey, such as [8, 4, 9, 7, 2]. Interdiscipline becomes a common phenomenon in all areas. And there is new objects about C -algebras and dynamics, In[29], Gelfand-Naimark theorem[3] is called the fundamental theorem of C -algebras. Such that Ichiro Fujimoto said that this theorem eventually opened the gate to the subject of C -algebras[2]. Hence there are various attempts to generalize this theorem[5, 23, 6,, 28]. Forinvertibledynamics,therelationshipbetween(X,f)and(X,f )israisedby Stockman as an open question[5]. And [22, ] and [2] give counter examples with some chaos for this question in noncompact spaces and compact spaces, respectively. For an invertible bounded linear operator T on Hilbert spaces H, the dynamics relationship between (H,T) and (H,T ) is also interested. Any way, counter example is trivial for some chaos between T and T. But there is no generally way to this research. In fact, the C -algebra A(T) generated by T is not obvious effect for that. So we get another way, that is representation theory for T by C - algebra, and which is one step to get some dynamics relationship between T and T. In this paper, H denote separablehilbert space overc, B(H) denote the set of all bounded linear operator on H. For any given T B(H), we construct C -algebra induced by polar decomposition T U T and we construct an unitary operator F xx such that (F xx ) 2 identity and Fix(F xx ). We get that for any given T B(H), F xx (M zψ(z) a) is the unitary equivalent representationsof T on L 2 (σ( T+a ),µ T+a ), where ψ(z) L (σ( T+a ),µ T+a ), a ρ(t), F xx (f(xx )) f(x x). Also, we get that if zψ(z) Fix(F xx ), then T has a nontrivial invariant subspace space on H which has dimension >. Moreover, we define the Lebesgue class B Leb (H) B(H) and get that if T is a Lebesgue operator, then T is Li-Yorke chaotic if and only if T is. In fact, we get that B Leb (H) B Nor (H) and B Leb (H) (B(H)\B Nor (H)), where B Nor (H) is the set of all normal operators on H. 2. Decomposition and isomorphic representation for H Let X be a compact subset of C. Let C(X) denote the set of all continuous function on the compact space X and let P(x) denote the set of all polynomial on X. For any given T B(H), let σ(t) be its spectrum. By the Polar Decomposition theorem [7]P5 we get T U T and T 2 T T. If T is invertible, then U is an unitary operator. Let A( T ) denote the C -algebra generated by T and. Definition 2.. Let T B(H),if there exists x H satisfies: () lim n Tn (x) > ; (2) lim T n (x). n

3 NONCOMMUTATIVE FUNCTIONAL CALCULATE AND ITS APPLICATION 3 Then we say that T is Li-Yorke chaotic,and named x is a Li-Yorke chaotic point of T,where x H,n N. Lemma 2.2. Let X C be a compact subset not containing zero. If P(x) is dense in C(X), then P( x ) is also dense in C(X). Proof. By the property of polynomial we know that P( x ) is a algebraic closed subalgebra of C(X) and we get: () P( x ); (2) P( x ) separate the points of X; (3) If p( x ) P(x),then p( x ) P(x). By the Stone-Weierstrass theorem [6]P45 we get the conclusion. Lemma 2.3. Let X R +. If P( x ) is dense in C(X), then P( x 2 ) is also dense in C(X). Proof. For X R +, x y x 2 y 2. By Lemma 2.2 we get the conclusion. By the GNS construction [6]P25, for the C -algebra A( T ), we have the following decomposition. Lemma 2.4. Let T be an invertible bounded linear operator on H, A( T ) be the complex C -algebra generated by T and. There is a sequence of nonzero A( T )- invariant subspace. H,H 2, such that: () H H H2 ; (2) For every H i, there is a A( T )-cyclic vector ξ i such that H i A( T )ξ i and T H i H i T H i. Proof. The decomposition of () is obvious by [32]P54. Hence T H i H i, that is H i T H i. By Lemma 2.2 we get T H i H i. Therefore T H i H i T H i. Let ξ H is a A( T )-cyclic vector such that A( T )ξ is dense in H. Because of the spectrum σ( T ), on C(σ( T )) define the non-zero linear functional ρ T : ρ T (f) < f( T )ξ,ξ >, f C(σ( T )). Then ρ T is a positive linear functional, by [32]P54 and the Riesz-Markov theorem, on C(σ( T )) we get that there exists an unique finite positive Borel measure µ T such that f(z)dµ T (z) < f( T )ξ,ξ >, f C(σ( T )). σ( T ) Theorem 2.5. Let T be an invertible bounded linear operator on H, A( T n ) be the complex C -algebra generated by T n and and let ξ n be a A( T n )-cyclic vector such that A( T n )ξ n H, where n N. Then: () there is an unique positive linear functional σ( T n ) f(z)dµ T n (z) < f( T n )ξ n,ξ n >, f L (σ( T n ),µ T n ). (2) there is an unique finite positive complete Borel measure µ Tn such that L 2 (σ( T n ),µ T n ) is an isomorphic representation of H.

4 4 LVLIN LUO Proof. () For A( T n )-cyclic vector ξ n, define the linear functional ρ Tn (f) < f( T n )ξ n,ξ n >, f C(σ( T )). We get that on C(σ( T n )) there is an unique finite positive Borel measure µ T n such that σ( T n ) f(z)dµ T n (z) < f( T n )ξ n,ξ n >, f C(σ( T n )). Moreover we can complete the Borel measure µ Tn on σ( T n ), also using µ Tn to denote the complete Borel measure, by [25] we know that the complete Borel measure is uniquely. For any f L 2 (σ( T n ),µ T n ), because of ρ T n ( f 2 ) ρ T n ( ff) < f( T n ) f( T n )ξ n,ξ n > f( T n )ξ n. we get that ρ Tn is a positive linear functional, that is (). (2) We know that C(σ( T n )) is dense in L 2 (σ( T n ),µ T n ). For any f,g C(σ( T n )) we get < f( T n )ξ n,g( T n )ξ n > H < g( T n ) f( T n )ξ n,ξ n > ρ Tn (ḡf) f(z)ḡ(z)dµ Tn (z) σ( T n ) < f,g > L 2 (σ( T n ),µ T n ). Therefore R : C(σ( T n )) H,f(z) f( T n )ξ n is a surjection isometry from C(σ( T n )) to A( T n )ξ n, also C(σ( T n )) and A( T n )ξ n is dense subspaces of L 2 (σ( T n ),µ T n ) and H, respectively. Its closed extension R Tn : L 2 (σ( T n ),µ Tn ) H,f(z) f( T n )ξ n is an unitary operator. Hence R T n is the unique unitary operator induced by the uniquefinite positivecompleteborelmeasureµ Tn suchthatr Tn is anisomorphic representation of the Hilbert space H. 3. Unitary equivalent representation for T Following the above part, we get an unitary operator from L 2 (σ( T ),µ T ) to L 2 (σ( T ),µ T ) by the composition R T R T. However,there is nothing more interesting information from R T R T. We know that spectrum theory and functional calculate of normal operator is very important in study operator theory and C -algebra. Inspired by Hua Lookang theorem on the automorphisms of a sfield, in this part we give a useful structure describing from L 2 (σ( T ),µ T ) to L 2 (σ( T ),µ T ). Combining this structure describing and functional calculate of normal operator, we give a unitary equivalent representation for any given bounded linear operator T on H, i.e. give functional calculate for any given bounded linear operator T on H.

5 NONCOMMUTATIVE FUNCTIONAL CALCULATE AND ITS APPLICATION 5 Lemma 3.. Let T be an invertible bounded linear operator on H, then σ( T ) σ( T ). Proof. Because of λ σ(t T) λ σ(t T ), we get λ σ( T ) λ σ( T ), that is, σ( T ) σ( T ). Definition 3.2. Let T be an invertible bounded linear operator on H, on σ( T ) define the function F xx : P(xx ) P(x x),f xx (f(xx )) f(x x). Then using Theorem 2.5, for the isomorphic representations R T and R T of the Hilbert space H, define F xx : L 2 (σ( T ),µ T ) L 2 (σ( T ),µ T ). Obviously, F xx induced an linear operator Fxx H on H. By the Polar Decomposition theorem T U T, we get U T TU TT and U T 2 U T 2. In fact, when T is invertible, we can choose an specially unitary operator such that T and T are unitary equivalent. We have the following unitary equivalent by Theorem 2.5. Theorem 3.3. Let T be an invertible bounded linear operator on H and let A( T ) be the complex C -algebra generated by T and. We get that Fxx H is an unitary operator and Fxx H T T Fxx H. Moreover the unitary operator Fxx H is induced by an almost everywhere non-zero function φ T (z), where φ T (z) L (σ( T ),µ T ), that is, dµ T φ T ( z ) dµ T. Proof. By Lemma 2.4, lose no generally, let ξ T be a A( T )-cyclic vector such that H A( T )ξ T. () On σ( T ), define the function F z : P(z) P(z ),F z (f(z)) f(z ), it is easy to find that F z is linear. Because of f(z )dµ T (z) < f( T )ξ,ξ > f(z)dµ T (z). σ( T ) We get dµ T (z) z 2 dµ T (z). Hence σ( T )

6 6 LVLIN LUO F z (f(z)) 2 L 2 (σ( T ),µ T ) F z (f(z)) F z (f(z))dµ T (z) σ( T ) σ( T ) σ( T ) f(z ) f(z )dµ T (z) z 2 f(z) f(z)dµ T (z) sup m 2 f(z) f(z)dµ T (z) m σ( T ) σ( T ) sup m 2 f(z) 2 L 2 (σ( T ),µ T ). m σ( T ) Therefore F z sup m. And following the Banach Inverse Mapping m σ( T ) theorem [6]P9, we get that F z is an invertible bounded linear operator from L 2 (σ( T ),µ T ) to L 2 (σ( T ),µ T ). Define the operator F H z : A( T )ξ A( T )ξ,f(f( T )ξ) f( T )ξ. By Lemma 2.2 and [32]P55, we get that Fz H is an invertible bounded linear operator on the Hilbert space A( T )ξ H and Fz H sup sup m. Moreover m σ( T ) we get H F H z T H T H F H z (2) By Definition 3.2, on σ( T ) define the function H F xx : L 2 (σ( T ),µ T ) L 2 (σ( T ),µ T ),F xx (f(xx )) f(x x). On σ( T ), by [9] weget that F xx is a linearalgebraicisomorphicfrom P(xx ) to P(x x). For any z σ( T ), by Lemma 2.3 we get that P( z 2 ) is dense in C( z ) and C( z )isdenseinl 2 (σ( T ),µ T ). HenceP( z 2 )isdenseinl 2 (σ( T ),µ T ). With a similarly discussion, for any y σ( T ), we get that P( y 2 ) is dense in L 2 (σ( T ),µ T ). With the isomorphic representations R T and R T of Theorem 2.5, F xx is an invertible linear operator from L 2 (σ( T ),µ T ) to L 2 (σ( T ),µ T ). So F xx F z isaninvertiblelinearoperatorfroml 2 (σ( T ),µ T )tol 2 (σ( T ),µ T ). From Lemma 3., for any p n P(σ( T )) A(σ( T )), because of T p n ( T ) p n ( T )T.

7 NONCOMMUTATIVE FUNCTIONAL CALCULATE AND ITS APPLICATION 7 By [7]P6 we get that there is an unitary operator U B(H) such that and Hence, UP( T ) P( T )U. UA( T ) A( T )U, UA( T )ξ T A( T )Uξ T. Let ξ T Uξ T, so ξ T is a A( T )-cyclic vector and A( T )ξ T H. With Theorem 2.5, we get f(z)dµ T (z) < f( T )ξ T,ξ T > f( z )dµ T (z) σ( T ) σ( T ) and f(z)dµ T (z) < f( T )ξ T,ξ T >, σ( T ) with F xx is a linear algebraic isomorphic, we get [dµ T ] [dµ T ], that is, dµ T and dµ T are mutually absolutely continuous, by [6]IX 3.6 theorem and () we get dµ T φ T ( z ) dµ T z 2 φ T (z) dµ T, where φ T (z),a.e. and φ T (z) L (σ( T ),µ T ). So we get F xx F z (f(z)) 2 L 2 (σ( T ),µ T ) F xx F z (f(z))f xx F z (f(z))dµ T (z) σ( T ) σ( T ) σ( T ) σ( T ) F xx (f(z ))F xx (f(z ))dµ T (z) f(y ) f(y )dµ T (y) F y (f(y))f y ( f(y))dµ T (y) F y (f(y)) 2 L 2 (σ( T ),µ T ), where is introduced by U. HenceF xx isanunitaryoperatorfroml 2 (σ( T ),µ T )tol 2 (σ( T ),µ T ) induced by U, i.e. by φ T ( z ). With Theorem 2.5 and Definition 3.2, we get F H xx : A( T 2 )ξ T A( T 2 )ξ T,F H xx (f( T 2 )ξ T ) f( T 2 )ξ T.

8 8 LVLIN LUO Therefore F H xx is an unitary operator from A( T )ξ T to A( T )ξ T. By Lemma 2.4 we get A( T )ξ T H A( T )ξ T. That is, Fxx H is an unitary operator and we get H F H xx T H H T H FH xx Hence Fxx H T T Fxx H, the unitary operator FH xx is induced by the function φ T ( z ), where φ T (z) L (σ( T ),µ T ). Corollary 3.4. Let T be an invertible bounded linear operator on H and let A( T ) be the complex C -algebra generated by T and. There is σ( T ) σ( T ) and we get that Fxx H T T Fxx H, where Fxx H is the unitary operator of Theorem 3.3. Moreover FH xx is induced by an almost everywhere non-zero function φ T (z), where φ T (z) L (σ( T ),µ T ). That is, dµ T φ T (z) dµ T. Now, for any given g(z) L (σ( T ),µ T ), we define M g : L 2 (σ( T ),µ T ) L 2 (σ( T ),µ T ),M g f(z) g(z)f(z). Theorem 3.5. Let T be an invertible bounded linear operator on H, T U T be the Polar Decomposition, and M z be the unitary equivalent representation of T on L 2 (σ( T ),µ T ), i.e. on σ( T ) give the functional calculate of T, where M z f(z) zf(z) for any f(z) L 2 (σ( T ),µ T ). There is ψ(z) L (σ( T ),µ T ) such that F xx M zψ(z) and F xx M ψ(z) are the unitary equivalent representations of T and U on L 2 (σ( T ),µ T ), respectively, where M zψ(z) M z M ψ(z) M ψ(z) M z. Proof. By the Polar Decomposition T U T, we get that T T T 2 and TT U T 2 U. By Corollary 3.4 we get TT Fxx H T 2 (Fxx H ). With Theorem 3.3 and the fact that {M ψ(z) : ψ(z) L (σ( T ),µ T )} is a maximal abelian von Neumann algebra in B(L 2 (σ( T ),µ T )), we get the proof from the Corollary of the Fuglede-Putnam theorem [6]P279. Corollary 3.6. Let T be a bounded linear operator on H and T U T be the Polar Decomposition. There is ψ(z) L (σ( T +a ),µ T+a ) such that F xx (M zψ(z) a) is the unitary equivalent representation of T on L 2 (σ( T +a ),µ T+a ). Proof. For a ρ(t), S T + a is an invertible bounded linear operator on H, where ρ(t) C\σ(T). With Theorem 3.3, Fxx H is an unitary operator and we get SS F H xx S 2 (F H xx ). By the proof of Theorem 3.5 we get that F xx M zψ(z) is the unitary equivalent representation of T +a on L 2 (σ( T +a ),µ T+a ). For any a C we get Fxx H (a) a.

9 NONCOMMUTATIVE FUNCTIONAL CALCULATE AND ITS APPLICATION 9 Therefore, F xx (M zψ(z) a) is the unitary equivalent representation of T on L 2 (σ( T +a ),µ T+a ) SoifsomepropertiesofoperatorsonHonlydependingthenormwhichiscompatible with the inner product, then this properties only depending the corresponding properties of elements in {M ψn(z) : ψ n (z) L (σ( T n +a n ),µ T n +a n ),a n ρ(t n ),n N}, just keeping the unitary equivalent representation in mind. Therefor the unitary equivalent representation is a powerful facility to deal with this problems. Then we give some properties of normal operator through the unitary equivalent representation. Corollary 3.7. Let T be a bounded linear operator on H and TT T T. There is ψ(z) L (σ( T + a ),µ T+a ) such that M ψ(z) is the unitary equivalent representation of T on L 2 (σ( T + a ),µ T+a ). That is T A ( T ), where a ρ(t) and A ( T ) {A B(H) : AB BA for every B A( T )}. Corollary 3.8. Let T be a bounded linear operator on H, such that T is normal if and only if T is unitary equivalent to M ψ(z) on L 2 (σ( T +a ),µ T+a ), and if and only if T A ( T ), where a ρ( T ),ψ(z) L (σ( T +a ),µ T+a ). 4. Invariant subspace problem In this part, we study the invariant subspace problem on Hilbert spaces. With the fact that the exist of nontrivial invariant subspace is unchanged by similarly between bounded linear operators on Banach spaces [8]. That is, for R,S,T B(H) and T is invertible, if R TST, then R has nontrivial invariant subspace if and only if S has. Therefore for any given T B(H), we can using the unitary equivalent representation of T to solve the invariant subspace problem of T. Using the construction of F xx, we give a sufficient condition to estimate this problem. For convenience define Fix(Fxx H ) {FH xx (f) f;f H}, similarly we can define Fix(F xx ). Obviously, Fix(Fxx H ) is a subspace of H. Theorem 4.. Let dimh >, T B(H) and F xx (M zψ(z) a) is the unitary equivalent representation of T on L 2 (σ( T + a ),µ T+a ). If zψ(z) Fix(F xx ), then T has a nontrivial invariant subspace space. Proof. Only need to prove this for infinite dimension separable complex Hilbert space H. Obviously, if A H is a nontrivial invariant subspace of T if and only if A is a nontrivial invariant subspace of T +a, where a C. Let a ρ(t), then with Corollary3.6 there is ψ(z) L (σ( T+a ),µ T+a ) such that F xx (M zψ(z) a) is the unitary equivalent representation of T on L 2 (σ( T + a ),µ T+a ). With the construction F xx of Theorem 3.3, we get (F xx ) 2 identity and Fix(F xx ). () If Fix(F H xx ) H, that is F xx identity, then M zψ(z) a is a normal operator. By[6], The invariant subspace problem is trivial for normal operator.

10 LVLIN LUO (2) If Fix(F H xx ) H, then Fix(F xx ) is a nontrivial invariant subspace of F xx, for zψ(z) Fix(F xx ), we get F xx (M zψ(z) a)fix(f xx ) Fix(F xx ), that is, Fix(F xx ) is a nontrivial invariant subspace of F xx (M zψ(z) a). 5. Lebesgue operator In this part, using our construction F xx (M zψ(z) a) of the unitary equivalent representationsof T on L 2 (σ( T+a ),µ T+a ), we study chaosof invertible bounded linear operator on Hilbert spaces. For the example of singular integral in mathematical analysis, we know that is independent the convergence or the divergence of the weighted integral between x andx, howeversometimes that indeeddependent foraspecialweightedfunction. In the view of the singular integral and by our construction of F xx (M zψ(z) a), we define Lebesgue class and prove that T and T are Li-Yorke chaotic at the same time when T is a Lebesgue operator. Also, we give an example such that T is a Lebesgue operator, but not is a normal operator. Let dx be the Lebesgue measure on L 2 (R + ). With Theorem 2.5 we get dµ T n is the complete Borel measure and L 2 (σ( T n ),dµ Tn ) is a Hilbert space. If exists N >, for any n N, dµ T n is absolutely continuity with respect to dx, where n N. By the Radon-Nikodym Theorem [6]P38 there is f n L (R + ) such that dµ T n f n (x)dx. Definition 5.. Let T be an invertible bounded linear operator on the separable Hilbert space H over C, if T satisfies the following assertions: () If N >, for n N, n N dµ Tn f n (x)dx, f n L (R + ). x 2 f n (x) f n (x ), < x. (2) If N >, for n N,n N, there is a A( T n )-cyclic vector ξ n. And for any given x H and for any given g n (t) L 2 (σ( T n ),dµ Tn ), there is an unique y H such that y g n ( T n )ξ n whenever x g n ( T n )ξ n. Then we say that T is a Lebesgue operator, let B Leb (H) denote the set of all Lebesgue operators. Theorem 5.2. Let T be a Lebesgue operator on the separable Hilbert space H over C, then T is Li-Yorke chaotic if and only if T is. Proof. Let H be A( T n )-cyclic, that is, there is a vector ξ n such that A( T n )ξ n H. If x be a Li-Yorkechaotic point of T, by the define oflebesgue operator, we get that for enough large n N, there are g n (x) L 2 (σ( T n ),dµ T n ), f n (x) L 2 (R + ) and y H such that x g n ( T n )ξ n, y g n ( T n )ξ n and dµ T n f n (x)dx. Therefore

11 NONCOMMUTATIVE FUNCTIONAL CALCULATE AND ITS APPLICATION T n x < T n T n x,x > < T n 2 g n ( T n )ξ n,g n ( T n )ξ n > < g n ( T n ) T n 2 g n ( T n )ξ n,ξ n > x 2 g n (x)ḡ(x)dµ T n (x) σ( T n ) σ( T n ) x 2 g n (x) 2 f n (x)dx x 2 g n (x) 2 f n (x)dx+ x 2 g n (x) 2 f n (x)dx+ g n (x) 2 f n (x )dx+ + x 2 g n (x ) 2 f n (x)dx+ x 2 g n (x ) 2 f n (x)dx x 2 g n (x) 2 f n (x)dx x 4 g n (x ) 2 f n (x )dx x 2 g n (x ) 2 f n (x)dx x 2 g n (x )ḡ n (x )dµ T n (x) < g n ( T n ) T n 2 g n ( T n )ξ n,ξ n > < T n 2 g n ( T n )ξ n,g n ( T n )ξ n > < T n 2 y,y > < T n T n y,y > T n y. x 2 g n (x ) 2 f n (x)dx Where following the define of f n (x). By the Li-Yorke chaos definition, we get that T is Li-Yorke chaotic if and only if T is Li-Yorke chaotic. Define a distributional function F n x (τ) n { i n : Tn (x) < τ}, where T B(H),x H,n N. And define F x (τ) liminf n Fn x(τ), Fx(τ) limsupfx(τ). n n Definition 5.3. Let T B(H), if there exists x H and () If F x (τ), τ >, and Fx(ǫ), ǫ >, then we say that T is distributional chaotic or I-distributionally chaotic. (2) If Fx (ǫ) > F x(τ), τ >, and Fx (ǫ), ǫ >, then we say that T is II-distributionally chaotic. (3) If Fx (ǫ) > F x(τ), τ >, then we say that T is III-distributionally chaotic.

12 2 LVLIN LUO Corollary 5.4. Let T be a Lebesgue operator on the separable Hilbert space H over C, then T is I-distributionally chaotic (or II-distributionally chaotic or IIIdistributionally chaotic) if and only if T is I-distributionally chaotic (or IIdistributionally chaotic or III-distributionally chaotic). Theorem 5.5. There is an invertible bounded linear operator T on the separable Hilbert space H over C, T is Lebesgue operator but not is a normal operator. Proof. Let < a < b < +, then L 2 ([a,b]) is a separable Hilbert space over R, because any separable Hilbert space over R can be expanded to a separable Hilbert space over C, it is enough to prove the conclusion on L 2 ([a,b]). We prove the conclusion by six parts: () Let < a < < b a < +, construct measure preserving transformation on [a,b]. Let M {[a, b a 2 ],[b a 2,b]}. There is a Borel algebra ξ(m) generated by M, define Φ : [a,b] [a,b], Φ([a, b a b a ]) [b a,b], Φ([b a,b]) [a, ]. Then Φ is an invertible measure preserving transformation on the Borel algebra ξ(m). By [27]P63, U Φ and U Φ is a unitary operator induced by Φ, where U Φ is the composition U Φ h h Φ, for any h L 2 ([a,b]). (2) Define M x h xh on L 2 ([a,b]), then M x is an invertible positive operator. ln x (3) For f(x), x >, define dµ f(x)dx. then f(x) is continuous and x f(x) >, a.e. x [a,b], hence dµ that is absolutely continuous with respect to dx is finite positive complete Borel measure and L 2 ([a,b],dµ) is a separable Hilbert space over R. Moreover L 2 ([a,b]) and L 2 ([a,b],dµ) are unitary equivalent. (4) Let T U Φ M x, we get Because of T T U Φ TT U Φ, U Φ. U Φ M x M x U Φ, U Φ M x 2 U Φ M x 2, we get that T is not a normal operator and σ( T ) [a,b]. (5) The operator T U Φ M x on L 2 ([a,b]) is corresponding to the operator T on L 2 ([a,b],dµ), T is invertible bounded linear operatorand is not a normal operator, σ( T ) [a,b]. (6) From let b a x n f(x)dx b n a n tf(t n) nt n n dt, f n (t) n I [a n,b n ]f(t n) t n n we get that f n (t) is continuous and almost everywhere positive, hence f n (t)dt is a finite positive complete Borel measure. For any E R + define I E when x E else I E, so I E is the identity function on E.,

13 NONCOMMUTATIVE FUNCTIONAL CALCULATE AND ITS APPLICATION 3 (i)f n (t ) n I [a n,b n ]f(t n) n I [a n,b n ]t ln t n. (ii)t 2 f n (t) n I [a n,b n ]f(t n) t 2 t n n n t n n I [a n,b n ] ln t n n I [a n,b n ] ln t t n n t 2 n tn t n n I [a n,b n ]t ln tn. By (i)(ii) we get x 2 f n (x) f n (x ). From σ( T n ) [a n,b n ] and b n a n t 2 f(t n) nt n n dt + t 2 f n (t)dt, t n n let dµ T n f n (t)dt, then dµ T n is the finite positive complete Borel measure. For any given h(x) L 2 ([a,b]) we get h(x ) L 2 ([a,b]). I [a,b] is a A( Mx n )-cyclic vector of the multiplication Mn x M x n, and I [a n,b n ] is a A( T n )- cyclic vector of T n, By Definition 5. we get that T is Lebesgus operator but not is a normal operator. Corollary 5.6. There is an invertible bounded linear operator T on the separable Hilbert space H over C, T is a Lebesgue operator and also is a positive operator. Corollary 5.7. There is B Leb (H) B Nor (H), and B Leb (H) (B(H)\B Nor (H)), where B Nor (H) is the set of all normal operators on H. By the construction of the unitary operator F xx in this paper, we could study the operator by the integral on R. This way maybe neither change Li-Yorke chaotic nor the computing, but by the integral in mathematical analysis on the theoretical level we should find some operator class and study its properties, as we introduce the Lebesgue operator in this part. References. Allen R. Bernstein and Abraham Robinson, Solution of an invariant subspace problem of K. T. Smith and P. R. Halmos, Pacific J. Math , Aharon Atzmon, An operator without invariant subspaces on a nuclear Fréchet space, Ann. of Math. (2)7 (983), no. 3, 669C C. J. Read, A solution to the invariant subspace problem, Bull. London Math. Soc. 6 (984), no. 4, C. Kitai, Invariant closed sets for linear operators, Ph. D. thesis, University of Toronto, Toronto, D. Stockman, Li-Yorke Chaos in Models with Backward Dynamics, (22), available at 6. E. M. Alfsen, On the Dirichlet problem of the Choquet boundary, Acta Math. 2 (968), F. Bayart and E. Matheron, Dynamics of Linear Operators, Cambridge University Press G. Godefroy, Renorming of Banach spaces, In Handbook of the Geometry of Banach Spaces, North Holland, (23), Hua Loo-kang, On the automorphisms of a sfield, Proc. Nat. Acad. Sci. U. S. A. 949,

14 4 LVLIN LUO. Hou Bingzhe and Luo Lvlin, Li-Yorke chaos for invertible mappings on noncompact spaces, Turk. J. Math. 4 (26), Ichiro Fujimoto, A Gelfand representation for C -algebras, Pacific J. Math. 39 (97), Ichiro Fujimoto, A Gelfand-Naimark Theorem FOR C -Algebras, Pacific Journal of Mathematics 84() (998). 3. Izrail M. Gelfand and Mark A. Naimark, On the embedding of normed linear rings into the ring of operators in Hilbert space, Mat. Sbornik 2 (943), J. H. Shapiro, Notes on the dynamics of linear operators, Available at the author web page J. M. G. Fell, The structure of algebras of operator fields, Acta Math. 6 (96), John B. Conway, A Course in Functional Analysis, Second Edition, Springer-Verlag New York John B. Conway, A Course in Operator Theory, American Mathmatical Society Johannes Kaiser, Invariant Subspace Problem, Bachelor thesis, Technische Universität Wien, K. -G. Grosse-Erdmann, Universal families and hypercyclic vectors, Bull. Amer. Math. Soc. 36(3) (999), K. -G. Grosse-Erdmann and A. Peris Manguillot, Linear Chaos, Springer, London, 2 2. Luo Lvlin and Hou Bingzhe, Li-Yorke chaos for invertible mappings on compact metric spaces, Arch. Math. 26, DOI.7/s Luo Lvlin and Hou Bingzhe, Some remarks on distributional chaos for bounded linear operators, Turk. J. Math. 39 (25), M. Takesaki, A duality in the representation theory of C -algebras, Ann. of Math. 85 (967), N. Aronszajn and K. T. Smith, Invariant subspaces of completely continuous operators, Ann. of Math. 6 (954), Paul R. Halmos, Measure Theory, Springer-Verlag New York Per H. Enflo, On the invariant subspace problem in Banach spaces, Séminaire Maurey- Schwartz ( ) Espaces L p, applications radonifiantes et géométrie des espaces de Banach, Exp. Nos. 4-5, 7 pp. Centre Math., École Polytech., Palaiseau, Peter Walters, An Introduction to Ergodic Theory, Springer-Verlag New Yorke, P. Kruszynski and S.L.Woronowicz, A non-commutative Gelfand-Naimark theorem, J. Operator Theory 8 (982), Robert S. Doran, C -algebras: A fifty year celebration, Proceedings of the AMS Special Session held in San Antonio, Texas, January 3-4, 993. Edited by Robert S. Doran. Contemporary Mathematics, 67. American Mathematical Society, Providence, RI, 994. x+399+a9. 3. Spiros A. Argyros and Richard G. Haydon, A hereditarily indecomposable L -space that solves the scalar-plus-compact problem, Acta Math. 26(2), no., V. I. Lomonosov, Invariant subspaces of the family of operators that commute with a completely continuous operator, (Russian)Funkcional. Anal. i Priložen. 7 (973), no. 3, William Arveson, A Short Course on Spectral Theory, Springer Science+Businee Media, LLC, 22. School of Mathematics and Statistics, Xidian University, 77, Xi an, P. R. China School of Mathematical Sciences, Fudan University, 2433, Shanghai, P. R. China address: luoll2@mails.jlu.edu.cn address: luolvlin@fudan.edu.cn