International Journal of Mathematics and Mathematical SciencesVolume 2011 (2011), Article ID 514370, 5 pagesdoi:10.1155/2011/514370

Research Article

Weighted Composition Operators and Supercyclicity Criterion

Bahmann Yousefi¹ and Javad Izadi²

¹Department of Mathematics, Payame Noor University, P.O. Box: 71955-1368 Shiraz, Iran²Department of Mathematics, Payame Noor University, P.O. Box: 19395-4697 Tehran, Iran

Received 16 April 2011; Revised 6 June 2011; Accepted 15 June 2011

Academic Editor: Naseer Shahzad

Copyright © 2011 Bahmann Yousefi and Javad Izadi. 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.

Abstract.

We consider an equivalent condition to the property of Supercyclicity Criterion, and then we investigate this property for the adjoint of weighted composition operators acting on Hilbert spaces of analytic functions.

1. Introduction

Let be a bounded linear operator on . For , the orbit of under is the set of images of under the successive iterates of : The vector is called supercyclic for if is dense in . Also a supercyclic operator is one that has a supercyclic vector. For some sources on these topics, see [1–16].

Let be a separable Hilbert space of functions analytic on a plane domain such that, for each in , the linear functional of evaluation at given by is a bounded linear functional on . By the Riesz representation theorem, there is a vector in such that . We call the reproducing kernel at .

A complex-valued function on is called a multiplier of if . The operator of multiplication by is denoted by and is given by .

If is a multiplier of and is a mapping from into , then by for every and is called a weighted composition operators.

The holomorphic self-maps of the open unit disk are divided into classes of elliptic and nonelliptic. The elliptic type is an automorphism and has a fixed point in . It is well known that this map is conjugate to a rotation for some complex number with . The maps of those which are not elliptic are called of non-elliptic type. The iterate of a non-elliptic map can be characterized by the Denjoy-Wolff Iteration theorem.

2. Main Results

We will investigate the property of Hypercyclicity Criterion for a linear operator and in the special case, we will give sufficient conditions for the adjoint of a weighted composition operator associated with elliptic composition function which satisfies the Supercyclicity Criterion.

Theorem 2.1 (Supercyclicity Criterion). Let be a separable Hilbert space and is a continuous linear mapping on . Suppose that there exist two dense subsets and in , a sequence of positive integers, and also there exist mappings such that (1)  for every ,(2) for every and every .Then, is supercyclic.

If an operator holds in the assumptions of Theorem 2.1, then one says that satisfies the Supercyclicity Criterion.

Definition 2.2. Let be a bounded linear operator on a Hilbert space . We refer to as the generalized kernel of .

Theorem 2.3. Let be a bounded linear operator on a separable Hilbert space with dense generalized kernel. Then, the following conditions are equivalent: (1) has a dense range,(2) is supercyclic,(3) satisfies the Supercyclicity Criterion.

Proof. See [2, Corollary  3.3].

Remark 2.4. In [2], for the proof of implication of Theorem 2.3, it has been shown that is supercyclic which implies (by using Lemma  3.1 in [2]) that satisfies the Supercyclicity Criterion. This implication can be proved directly without using Lemma  3.1 in [2], as follows: If is a bounded linear operator on a separable Hilbert space with dense range and dense generalized kernel, then it follows that is supercyclic [1, Exercise 1.3]. Now suppose that is a supercyclic vector of . Set and the generalized kernel of . Since is supercyclic, there exist sequences , and such that and . Define by Then, clearly, pointwise on and for every and every . Hence, satisfies the Supercyclicity Criterion. From now on let be a Hilbert space of analytic functions on the open unit disc such that contains constants and the functional of evaluation at is bounded for all in . Also let be a nonconstant multiplier of and let be an analytic map from into such that the composition operator is bounded on . We define the iterates ( times). By or we mean the th iterate of , hence for .

Definition 2.5. We say that is a B-sequence for if for all .

Corollary 2.6. Suppose that is a B -sequence for and has limit point in . If , then satisfies the Supercyclicity Criterion.

Proof. Put . Since , we get for all . Hence has dense generalized kernel. Now let for all , thus for all . This implies that is the zero constant function, because is nonconstant and has limit point in . Thus, has dense range and, by Theorem 2.3, the proof is complete.

Example 2.7. Let , , and define for all . Now by Corollary 2.6, the operator satisfies the Supercyclicity Criterion.

Theorem 2.8. Let be an elliptic automorphism with interior fixed point and satisfies the inequality for all in a neighborhood of the unit circle. Then, the operator satisfies the Supercyclicity Criterion.

Proof. Put and where Since is an automorphism with , thus is a rotation for some and every . Set and . Then, clearly , thus is similar to which implies that satisfies the Supercyclicity Criterion if and only if satisfies the Supercyclicity Criterion. Since when , so for all in a neighborhood of the unit circle. So, without loss of generality, we suppose that is a rotation and for all in a neighborhood of the unit circle. Therefore, there exist a constant and a positive number such that when , and when . Set and . Also, consider the sets where span is the set of finite linear combinations of . By using the Hahn-Banach theorem, and are dense subsets of . Since is a rotation, the sequence is a subset of the compact set for each in and . Now by, using the Banach-Steinhaus theorem, the sequence is bounded for each in and . Note that, for each , . So, if , then and if , then for each positive integer . Also, note that for every positive integer and (see [12]). Now, if , then as . Therefore the sequence converges pointwise to zero on the dense subset . Define a sequence of linear maps by extending the definition () linearly to . Note that, for all , the sequence is bounded and on which implies that is identity on the dense subset . Hence, for every and every . Now, by Theorem 2.1, the proof is complete.

Corollary 2.9. Under the conditions of Theorem 2.8, is supercyclic.

Proof. It is clear since satisfies the Supercyclicity Criterion.

Example 2.10. Let and . Then, the operator satisfies the Supercyclicity Criterion, because 0 is an interior fixed point of , and for .

References

F. Bayart and E. Matheron, Dynamics of Linear Operators, vol. 179 of Cambridge Tracts in Mathematics, Cambridge University Press, Cambridge, UK, 2009.

T. Bermúdez, A. Bonilla, and A. Peris, “On hypercyclicity and supercyclicity criteria,” Bulletin of the Australian Mathematical Society, vol. 70, no. 1, pp. 45–54, 2004.

R. M. Gethner and J. H. Shapiro, “Universal vectors for operators on spaces of holomorphic functions,” Proceedings of the American Mathematical Society, vol. 100, no. 2, pp. 281–288, 1987.

G. Godefroy and J. H. Shapiro, “Operators with dense, invariant, cyclic vector manifolds,” Journal of Functional Analysis, vol. 98, no. 2, pp. 229–269, 1991.

K.-G. Große-Erdmann, “Holomorphe Monster und universelle Funktionen,” Mitteilungen aus dem Mathematischen Seminar Giessen, no. 176, pp. 1–84, 1987.

D. A. Herrero, “Limits of hypercyclic and supercyclic operators,” Journal of Functional Analysis, vol. 99, no. 1, pp. 179–190, 1991.

H. N. Salas, “Supercyclicity and weighted shifts,” Studia Mathematica, vol. 135, no. 1, pp. 55–75, 1999.

S. Yarmahmoodi, K. Hedayatian, and B. Yousefi, “Supercyclicity and hypercyclicity of an isometry plus a nilpotent,” Abstract and Applied Analysis, vol. 2011, Article ID 686832, 11 pages, 2011.

B. Yousefi and H. Rezaei, “Some necessary and sufficient conditions for hypercyclicity criterion,” Proceedings of the Indian Academy of Sciences, vol. 115, no. 2, pp. 209–216, 2005.

B. Yousefi and A. Farrokhinia, “On the hereditarily hypercyclic operators,” Journal of the Korean Mathematical Society, vol. 43, no. 6, pp. 1219–1229, 2006.

B. Yousefi, H. Rezaei, and J. Doroodgar, “Supercyclicity in the operator algebra using Hilbert-Schmidt operators,” Rendiconti del Circolo Matematico di Palermo II, vol. 56, no. 1, pp. 33–42, 2007.

B. Yousefi and H. Rezaei, “Hypercyclic property of weighted composition operators,” Proceedings of the American Mathematical Society, vol. 135, no. 10, pp. 3263–3271, 2007.

B. Yousefi and S. Haghkhah, “Hypercyclicity of special operators on Hilbert function spaces,” Czechoslovak Mathematical Journal, vol. 57(132), no. 3, pp. 1035–1041, 2007.

B. Yousefi and H. Rezaei, “On the supercyclicity and hypercyclicity of the operator algebra,” Acta Mathematica Sinica, vol. 24, no. 7, pp. 1221–1232, 2008.

B. Yousefi and R. Soltani, “Hypercyclicity of the adjoint of weighted composition operators,” Proceedings of the Indian Academy of Sciences, vol. 119, no. 4, pp. 513–519, 2009.

B. Yousefi, “Hereditarily transitive tuples,” to appear in Rendiconti del Circolo Matematico di Palermo