Research Article | Open Access

# Weighted Composition Operators and Supercyclicity Criterion

**Academic Editor:**Naseer Shahzad

#### 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. View at: Publisher Site | Zentralblatt MATH | MathSciNet - 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. View at: Publisher Site | Google Scholar | Zentralblatt MATH - 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. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - 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. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - K.-G. Große-Erdmann, “Holomorphe Monster und universelle Funktionen,”
*Mitteilungen aus dem Mathematischen Seminar Giessen*, no. 176, pp. 1–84, 1987. View at: Google Scholar - D. A. Herrero, “Limits of hypercyclic and supercyclic operators,”
*Journal of Functional Analysis*, vol. 99, no. 1, pp. 179–190, 1991. View at: Publisher Site | Google Scholar | Zentralblatt MATH - H. N. Salas, “Supercyclicity and weighted shifts,”
*Studia Mathematica*, vol. 135, no. 1, pp. 55–75, 1999. View at: Google Scholar | Zentralblatt MATH - 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. View at: Google Scholar - 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. View at: Publisher Site | Google Scholar | Zentralblatt MATH - B. Yousefi and A. Farrokhinia, “On the hereditarily hypercyclic operators,”
*Journal of the Korean Mathematical Society*, vol. 43, no. 6, pp. 1219–1229, 2006. View at: Publisher Site | Google Scholar | Zentralblatt MATH - 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. View at: Publisher Site | Google Scholar | Zentralblatt MATH - 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. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - 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. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - 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. View at: Publisher Site | Google Scholar | Zentralblatt MATH - 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. View at: Publisher Site | Google Scholar | Zentralblatt MATH - B. Yousefi, “Hereditarily transitive tuples,” to appear in
*Rendiconti del Circolo Matematico di Palermo*. View at: Publisher Site | Google Scholar | Zentralblatt MATH

#### Copyright

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.