IJANAL International Journal of Analysis 2314-4998 2314-498X Hindawi Publishing Corporation 10.1155/2015/301983 301983 Research Article Cyclicity of Special Operators on a BK with AK Space Bagheri Leila 1 Yousefi Bahmann 1 Hattori Harumi Department of Mathematics Payame Noor University P.O. Box 19395-3697 Tehran Iran pnu.ac.ir 2015 21122015 2015 12 07 2015 01 12 2015 2015 Copyright © 2015 Leila Bagheri and Bahmann Yousefi. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Let Ω be a complex domain and let F be a reflexive BK space with AK such that F ^ H ( Ω ) and the functional of evaluation at λ is bounded for all λ Ω . We will investigate the cyclicity for the adjoint of a weighted composition operator acting on F ^ .

1. Introduction

We write ω for the set of all complex sequences x = ( x k ) k = 0 . Let ϕ denote the set of all finite sequences. By e ( n ) , we denote the sequence with e n ( n ) = 1 and e k ( n ) = 0 whenever k n . For any sequence x = ( x k ) k = 0 , let x [ n ] = k = 0 n x k e ( k ) be its n -section. Given any subset F of ω , we write F ^ for the set of all formal power series f ^ with f ^ ( z ) = k = 0 f k z k where f = ( f k ) k = 0 F , regardless of whether or not the series converges for any value of z . If F ^ endowed with the norm of F , then F and F ^ are norm isomorphic. Let M ^ z : F ^ ω ^ be defined by ( M ^ z f ^ ) = k = 0 f k z k + 1 , so the corresponding shift operator M : F ω is defined by ( M f ) n = f n - 1 if n 1 and 0 else.

A BK space is a Banach sequence space with the property that convergence implies coordinatewise convergence. A BK space F containing ϕ is said to have AK if every sequence f = ( f k ) k = 0 F has a unique representation f = k = 0 f k e ( k ) ; that is, f = l i m n f [ n ] ; it is said to have AD, if ϕ is dense in F . Given any subset F of ω , the set (1) F β = a ω : k = 0 a k f k   converges  for  all f F is called the β -dual of F .

If λ is a complex number, then e ( λ ) denotes the functional of evaluation at λ , defined on the polynomials p by e ( λ ) ( p ^ ) = p ^ ( λ ) . A point λ is said to be a bounded point evaluation on F ^ if the functional e ( λ ) extends to a continuous linear functional on F ^ . Finally, we consider the multiplication of formal power series h ^ = f ^ g ^ given by (2) h ^ z = k = 0 h k z k = k = 0 f k z k k = 0 g k z k , where h k = j = 0 k f j g k - j for all integers k 0 . If f ^ F ^ and p ^ is a polynomial, then to the vector p ^ ( M z ) f ^ the formal power series p ^ ( z ) f ^ ( z ) corresponds.

Let Ω be a complex domain and let F ^ be a Banach space of formal power series with coefficients in a reflexive BK space with AK such that F ^ H ( Ω ) . It is convenient and helpful to introduce the notation x , x to stand for x ( x ) , for x F ^ and x ( F ^ ) . We assume 1 F ^ and the operators M ^ z and the functional e ( λ ) of evaluation at λ ( λ Ω ) are bounded on F ^ .

A complex valued function φ on Ω for which φ f ^ F ^ for every f ^ F ^ is called a multiplier of F ^ and the collection of all of these multipliers is denoted by M ( F ^ ) . If M ^ z is a bounded operator on F ^ , the adjoint ( M ^ z ) : ( F ^ ) ( F ^ ) satisfies ( M ^ z ) e ( λ ) = λ e ( λ ) . In general each multiplier φ of F ^ determines a multiplication operator M ^ φ defined by M ^ φ f ^ = φ f ^ , f ^ F ^ . Also ( M ^ φ ) e ( λ ) = φ ( λ ) e ( λ ) . It is well-known that each multiplier is a bounded analytic function on Ω . Indeed | φ ( λ ) | M ^ φ for each λ in Ω .

Let φ be an analytic self-map of the open unit disk U . A composition operator C φ maps an analytic function f ^ F ^ into ( C φ f ^ ) ( z ) = f ^ ( φ ( z ) ) . If w M ( F ^ ) and C φ is bounded, M w C φ is called a weighted composition operator on M ( F ^ ) . By φ n we will mean the n th iterate of φ .

Let X be a Banach space. We denote by B ( X ) the set of bounded operators on the Banach space X . Let A B ( X ) and x X . We say that x is a cyclic vector of A if X is equal to the closed linear span of the set { A n x : n = 0,1 , 2 , } . An operator A B ( X ) is called cyclic if it has a cyclic vector. In this paper, we investigate the cyclicity of weighted composition operators on some BK spaces with AK.

2. Main Results

The sequence spaces has been the focus of attention for several decades and many properties of operators on these spaces have been studied (e.g., ). For p = ( p k ) k , a sequence with p k > 0 for all k , Malkowsky considered the space b v ( p ) = { x ω : k = 0 | x k - x k - 1 | p k < } and studied its β -dual and characterized some linear operators on b v ( p ) . In  the reflexivity of Λ -summable sequences from a Banach space is investigated whenever Λ is a Banach perfect sequence space. Some BK spaces including the spaces c 0 and c have been introduced in  and also their duals have been computed. In , Aydin and Basar have introduced new classes of sequence spaces which include the spaces l p and l , and the characterization of some other classes of sequence spaces have also been derived. Malafosse has given some properties and applications of Banach algebras of bounded operators B ( X ) , when X is a BK space . In , Mursaleen and Noman introduced some spaces of difference sequences which are the BK spaces of nonabsolute type and proved that these spaces are linearly isomorphic to the spaces c 0 and c , respectively. In [8, 9], Mursaleen and Noman established some identities or estimates for the operator norms and the Hausdorff measures of noncompactness of certain operators on some BK spaces of weighted means have been investigated. Furthermore, by using the Hausdorff measure of noncompactness, they applied their results to characterize some classes of compact operators on those spaces. In  some identities or estimates for the operator norms and the Hausdorff measure of noncompactnesss of certain matrix operators on some BK spaces have been established. In , Basarir and Kara have characterized some classes of compact operators on special normed Riesz sequence spaces by using the Hausdorff measure of noncompactness. A characterization of compact operators between certain BK spaces has been given by Malkowsky in . Also, Malkowsky gave general bounded linear operators on special BK spaces that are strongly summable to 0, summable and bounded with index equal to or greater than 1 . In , Kirisci gave well-known result related to some properties, dual spaces, and matrix transformations of the sequence space b v and introduced the matrix domain of space b v with arbitrary triangle matrix. The reflexivity of multiplication operators on some BK spaces with AK property has been studied in . Cyclicity of the adjoint of weighted composition operators on Hilbert function spaces, Fock spaces, and weighted Hardy spaces has been studied in . In this section we want to study the cyclicity of the adjoint of a weighted composition operator acting on a space of formal power series with coefficients in a BK space with AK property. By the notations σ p ( M ^ z ) and U we mean the point spectrum of M ^ z and the open unit disc, respectively.

Theorem 1.

Let F be a BK space with AK. A complex number λ is a bounded point evaluation on F ^ if and only if λ σ p ( M ^ z ) and if and only if { λ n } n = 0 F β .

Proof.

If λ is a bounded point evaluation it is clear that λ σ p ( ( M ^ z ) ) . Conversely, let λ σ p ( M ^ z ) and g λ = { g n λ } n = 0 F β be a corresponding eigenvector in ( F ^ ) . For f F , we have (3) M ^ z f ^ , g λ = f ^ , M ^ z g λ = f ^ , λ g λ = λ f ^ , g λ . Hence for all n , we get (4) e n + 1 , g λ = M ^ z e n , g λ = λ n + 1 e 0 , g λ and so g n + 1 λ = λ n + 1 g 0 λ . Since g λ 0 we have g 0 λ 0 . Put E ( λ ) = g λ / g 0 λ . Then for all n we have e n + 1 , E ( λ ) = λ n + 1 and this implies that p ^ , E ( λ ) = p ^ ( λ ) for all polynomials p . Since polynomials are dense in F ^ , λ is a bounded point evaluation and intact E ( λ ) = e ( λ ) . Now it is clear that λ is a bounded point evaluation if and only if { λ n } n = 0 F β .

Theorem 2.

Let F be a BK space with AK and AD such that each point of U is a bounded point evaluation on F ^ . Then a polynomial p ^ is cyclic for M ^ z if and only if p ^ vanishes at no point in U .

Proof.

Let p ^ z = z - λ 1 ( z - λ m ) be such that λ i U for i = 1 , , m . Fix k { 1 , , m } and consider M k ( F ^ ) satisfying M k ( M ^ z ) n ( z - λ k ) = 0 for all integers n 0 . Since F = F β , there exists h ( k ) F β such that M k f ^ = f ^ , h ^ ( k ) for all f F . Note that (5) M k M ^ z n z - λ k = M k z n + 1 - λ k z n = h n + 1 k - λ k h n k for all integers n 0 . Since M k ( M ^ z ) n ( z - λ k ) = 0 , we get h n + 1 ( k ) = λ k h n ( k ) and so h n + 1 ( k ) = λ k n + 1 h 0 ( k ) for all n 0 . But { λ k n } n F β and h ( k ) F β ; hence h n ( k ) = 0 for all n and so M k = 0 . Thus by the Hahn Banach Theorem, z - λ k is cyclic for k = 1 , , m and so p ^ ( z ) is a cyclic vector for M ^ z . The converse case is clear.

Theorem 3.

Suppose that F is a BK space with AK and AD, M ( F ^ ) = H , φ is an analytic function on U satisfying φ U < 1 , and w ^ M ( F ^ ) . Also, let { e ( z ) : z U } be bounded and there exists z 0 U satisfying w ^ ( φ k z 0 ) 0 for all k 0 , and assume that the set { φ k ( z 0 ) : k 0 } has a limit point in U . Then e ( z 0 ) is a cyclic vector for the operator ( M ^ w ^ C φ ) acting on F ^ β .

Proof.

Let the map L : M ( F ^ ) B ( F ^ ) be given by L ( ψ ^ ) = M ^ ψ ^ . We prove that L is continuous. For this we use the closed graph theorem. Suppose ψ ^ n converges to ψ ^ in M ( F ^ ) and L ( ψ ^ n ) = M ^ ψ ^ n converges to A in B ( F ^ ) . Then, for each f in F , (6) A f ^ = lim n M ^ ψ ^ n f ^ = lim n ψ ^ n f ^ . Thus { ψ ^ n f ^ } n is convergent in F ^ . Now by the continuity of point evaluations ψ ^ n f ^ converges pointwise to ψ ^ f ^ on U . So A f ^ is analytic and agrees with ψ ^ f ^ on U . Hence A f ^ = ψ ^ f ^ and A = M ^ ψ ^ . Therefore, L is continuouse and there is a constant c such that M ^ ψ ^ c ψ ^ U for all ψ ^ in M ( F ^ ) . But ψ ^ M ^ ψ ^ for all ψ ^ in M ( F ^ ) . Thus ψ ^ c ψ ^ U for all ψ M ( F ^ ) . Since φ H and M ( F ^ ) = H we will use φ ^ instead of φ . Let f F ; then C ϕ ^ f ^ = f ^ o φ ^ H since φ ^ U < 1 . So (7) f ^ o φ ^ c f ^ o φ ^ U c f ^ U , since φ ^ ( U ) U . On the other hand, note that, for all f in F , f ^ U γ f ^ , where γ = s u p { e ( z ) : z U } . Now we get C φ ^ f ^ c γ f ^ , which implies that C φ ^ and so M ^ w ^ C φ ^ are bounded. Now, put A = M ^ w ^ C φ ^ . To complete the proof we show that if g ^ , ( A ) k e ( z 0 ) = 0 for all k 0 then g ^ should be the zero constant function. For this note that (8) g ^ , A k e z 0 = i = 0 k - 1 w ^ φ ^ i z 0 ¯ g ^ φ ^ k z 0 . By the assumptions, clearly we get g ^ ( φ ^ k ( z 0 ) ) = 0 for all k 0 . Since { φ ^ k ( z 0 ) : k 0 } has limit point in U , it should be g ^ = 0 . Thus, e ( z 0 ) is a cyclic vector for the operator ( M ^ w ^ C φ ^ ) acting on F ^ β . This completes the proof.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Wilansky A. Summability through Functional Analysis 1984 North-Holland Mathematics Studies 85 Malkowsky E. Linear operators in certain BK spaces Bolyai Society Mathematical Studies 1996 5 259 273 Zbl0861.40007 Ould Sidaty M. A. Reflexivity and AK-property of certain vector sequence spaces Bulletin of the Belgian Mathematical Society 2003 10 4 579 583 MR2040532 Aydin C. Başar F. On the new sequence spaces which include the spaces c 0 and c Hokkaido Mathematical Journal 2004 33 2 383 398 10.14492/hokmj/1285766172 MR2073005 Aydin C. Basar F. Some new sequence spaces which include the spaces l p and l Demonstratio Mathematica 2005 38 3 641 656 Malafosse B. D. The Banach algebra B(X) and Applications, where X is a BK space Matematički Vesnik 2005 57 41 60 Mursaleen M. Noman A. K. On some new difference sequence spaces of non-absolute type Mathematical and Computer Modelling 2010 52 3-4 603 617 10.1016/j.mcm.2010.04.006 MR2658512 ZBL1201.40003 2-s2.0-77954862825 Mursaleen M. Noman A. K. Applications of the Hausdorff measure of noncompactness in some sequence spaces of weighted means Computers & Mathematics with Applications 2010 60 5 1245 1258 10.1016/j.camwa.2010.06.005 MR2672925 2-s2.0-78049258234 Mursaleen M. Noman A. K. Compactness by the Hausdorff measure of noncompactness Nonlinear Analysis 2010 73 8 2541 2557 10.1016/j.na.2010.06.030 MR2674090 2-s2.0-77955466581 Mursaleen M. Noman A. K. The Hausdorff measure of noncompactness of matrix operators on some BK spaces Operators and Matrices 2011 5 3 473 486 10.7153/oam-05-35 MR2858502 2-s2.0-80052910987 Basarir M. Kara E. E. On compact operators on the Riesz B m-difference sequences Iranian Journal of Science and Technology 2012 3 371 376 Malkowsky E. Characterization of compact operators between certain BK spaces Filomat 2013 27 3 447 457 10.2298/fil1303447m MR3243462 2-s2.0-84880115386 Malkowsky E. Measure of noncompactness for compact matrix operators on some BK spaces Filomat 2014 28 5 1081 1086 10.2298/fil1405081a MR3359975 Kirisci M. The sequence space bv and some applications Mathematica Aeterna 2014 4 3 207 223 Bagheri L. Yousefi B. Reflexivity of the shift operator on some BK spaces Rendiconti del Circolo Matematico di Palermo 2014 63 1 91 96 10.1007/s12215-013-0143-5 MR3181048 2-s2.0-84897858794 Kamali Z. Khani Robati B. Hedayatian K. Cyclicity of the adjoint of weighted composition operators on the Hilbert space of analytic functions Czechoslovak Mathematical Journal 2011 61 2 551 563 10.1007/s10587-011-0074-2 MR2905423 2-s2.0-84856738237 Shu-Hong W. U. Cyclic behavior for adjoint operators of composition operators on the weighted Hardy space Guangxi Sciences 2008 15 4 139 151 Zhao L. Unitary weighted composition operators on the Fock space of c n Complex Analysis and Operator Theory 2014 8 2 581 590 10.1007/s11785-013-0313-7 MR3160815 2-s2.0-84878637919