## Advances on Multivalued Operators and Related Fixed Point Problems

View this Special IssueResearch Article | Open Access

# Chaos for Cosine Operator Functions on Groups

**Academic Editor:**Wei-Shih Du

#### Abstract

Let and be a locally compact group. We characterize chaotic cosine operator functions, generated by weighted translations on the Lebesgue space , in terms of the weight condition. In particular, chaotic cosine operator functions and chaotic weighted translations can only occur simultaneously. We also give a necessary and sufficient condition for the direct sum of a sequence of cosine operator functions to be chaotic.

#### 1. Introduction

Let be a bounded linear operator on a Banach space . If is a fixed point of , then the orbit of under , denoted by , is . On the contrary, if there exists an element such that the orbit is dense in ; that is, , then is called* hypercyclic* and is a* hypercyclic vector* for . Hypercyclicity arose from the invariant subset problem in analysis, and was studied intensely during the last two decades. We refer to [1, 2] for recent books on this subject.

In the study of hypercyclicity, the weighted shifts on play an important role for researchers to demonstrate and construct the theories in [3â€“11]. Recently, we characterize chaotic, hypercyclic, and mixing translation operators on locally compact groups in [12â€“15], which extends some results of weighted shifts on the discrete group in [5, 6, 8â€“11] and provides a class of hypercyclic operators on Banach spaces. In this note, we will continue our study in [16, 17] and determine when a cosine operator function, generated by such a weighted translation operator, is chaotic.

Let . According to the definition of Devaney chaos, a sequence of bounded linear operators on a Banach space is* chaotic* in the successive way in [18] if is topologically transitive and the set of periodic elements, denoted by = , is dense in . We recall that is* topologically transitive* if, given nonempty open subsets of , we have for some . If from some onwards, then is called* topologically mixing*. The notion of transitivity in topological dynamics is close to the notion of hypercyclicity in operator theory. Indeed, it is known in [19] that is transitive if, and only if, it is hypercyclic and has a dense set of hypercyclic vectors. In the more general setting, a sequence of operators is said to be* hypercyclic* if for some . If is generated by a single operator by its iterates, that is, , then hypercyclicity is equivalent to transitivity.

The interest to study cosine operator functions on groups is motivated by the work in [20, 21]. A* cosine operator function* on a Banach space is a mapping from the real line into the space of continuous operators on satisfying and the dâ€™Alembert functional equation = + for all , which implies for all . In [20], Bonilla and Miana obtained a sufficient condition for a cosine operator function defined by
to be transitive, where is a strongly continuous translation group on some weighted Lebesgue space . For a Borel measure and , Kalmes gave the characterization for cosine operator functions, generated by second order partial differential operators on , to be transitive and mixing in [21].

Throughout, let be a locally compact group with identity . Let be a right-invariant Haar measure on , and denote by the complex Lebesgue space with respect to .

A function is called a* weight* on . Let and let be the unit point mass at . A* weighted translation* on is a weighted convolution operator defined by
where is a weight on and is the convolution:
If , then the weighted translation operator is the inverse of . We write for to simplify notation.

In what follows, we assume and define a sequence of bounded linear operators by for all where . Then can be regarded as a cosine operator function by letting . Since for all , we will investigate the sequence of operators and give a necessary and sufficient condition for to be chaotic in terms of the weight function , the Haar measure , and the group element .

#### 2. Chaotic Condition

In this section, we will show the main result and give some examples of chaotic cosine operator functions on various groups. Since is generated by some element , we first note that is never chaotic if is a torsion element by the fact in [17] that is not transitive when is torsion.

Lemma 1. *Let be a locally compact group and let be a torsion element in . Let and be a weighted translation on with inverse . Let . Then is not chaotic.*

An element in a group is called a* torsion element* if it is of finite order. In a locally compact group , an element is called* periodic* [22] (or* compact* [23]) if the closed subgroup generated by is compact. We call an element in * aperiodic* if it is not periodic. For discrete groups, periodic and torsion elements are identical; in other words, aperiodic elements are the nontorsion elements.

It has been shown in [15] that an element in a locally compact group is aperiodic if, and only if, for any compact subset , there exists such that for . We will make use of the aperiodic condition to obtain the result.

Now we turn our attention to the set of periodic elements of . Let be the set of periodic elements of a sequence of operator . By the dâ€™Alembert functional equation and induction, we have a simple observation immediately.

Lemma 2. *Let be the set of periodic elements of . Then for some and if, and only if, .*

*Proof. *Let . By the dâ€™Alembert functional equation, we have . Now assume and . Then, applying the dâ€™Alembert functional equation again, we have
which says .

Based on the work of characterizing transitive in [17], we are able to obtain the characterization for to be chaotic in this note. We state the result in [17] below.

Theorem 3 (see [17]). *Let be a locally compact group and let be an aperiodic element in . Let and be a weighted translation on with inverse . Let . Then the following conditions are equivalent. *(i)* is topologically transitive.*(ii)*For each compact subset with , there are sequences of Borel sets , , and in such that , and both sequences
*â€‰*admit, respectively, subsequences and satisfying
*

Now we are ready to show the main result.

Theorem 4. *Let be a locally compact group and let be an aperiodic element in . Let and be a weighted translation on with inverse . Let , and let be the set of periodic elements. Then the following conditions are equivalent. *(i)* is chaotic.*(ii)* is dense in .*(iii)*For each compact subset with , there is a sequence of Borel sets in such that and both sequences
*â€‰*admit, respectively, subsequences and satisfying
*

*Proof. *Since (i) (ii) is trivial, we only need to show (ii) (iii) and (iii) (i).

(ii) (iii). Let be dense in . Let be a compact subset of with . Then by the aperiodicity, there exists some such that for all . Let be the characteristic function of . By density of , we can find a sequence and a sequence of periodic points of such that and in which we may assume . Hence we have
Let . Then we have
Also, by the inequality below
we have . Hence by letting . Moreover, using for , the right invariance of the Haar measure and for all and , we arrive at
which proves condition (iii).

(iii) (i). The proof is similar to the proof of [12, Theorem 2.1]. We include the argument for completeness. By Theorem 3, a sequence of operators is topologically transitive. Hence we will show is dense in . It is known that the space of continuous functions on with compact support is dense in . Let with compact support . There is a sequence of Borel sets in such that and
Similarly,
Let
Then by the weight assumption in the condition (iii). Also, using again, we have as which follows from
On the other hand, is an element of by the equality
Putting all these together, condition (iii) implies (i).

We note that [15] in many familiar nondiscrete groups, including the additive group , the Heisenberg group, and the affine group, all elements except the identity are aperiodic. On the other hand, if is discrete, then and for all in the proof of Theorem 4. Hence we have the characterization below for discrete groups.

Corollary 5. *Let be a discrete group and let be a nontorsion element in . Let and be a weighted translation on . Let . Then the following conditions are equivalent. *(i)* is chaotic.*(ii)*For each finite subset , both sequences
*â€‰*admit. Respectively, subsequences and satisfying
*

It is also interesting to know that condition (iii) in Theorem 4 is also the sufficient and necessary condition for to be chaotic in [12, Theorem 2.1]. In other words, is chaotic if, and only if, is chaotic. We conclude the result below.

Corollary 6. *Let be a locally compact group and let be an aperiodic element in . Let and be a weighted translation on with inverse . Let . Then the following conditions are equivalent. *(i)* is chaotic.*(ii)* is chaotic.*(iii)* is chaotic.*(iv)* is chaotic for all .*(v)* is chaotic for all .*

*Proof. *For , we denote the set of periodic elements of the operator by . We will show that conditions (ii) and (iii) are equivalent, and (ii) implies (iv).

(ii) (iii). It is known in [19] that an invertible operator is transitive, if and only if, its inverse is transitive. Also it is easy to see . Hence we prove the equivalence.

(ii) (iv). By [24], is transitive for all if is transitive. Moreover, we note that for all . Therefore condition (ii) implies (iv).

We end up this section with two examples on and , which says that one can construct many chaotic cosine operator functions on various groups.

*Example 7. *Let , which is nontorsion. Let be a weight on . Then the weighted translation operator on is the bilateral weighted forward shift , studied in [11] and given by with . Here is the canonical basis of and is a sequence of positive real numbers. Also, we have

Let and let where is the inverse of . Then by Corollary 5, and are chaotic if, given and , there exists an arbitrarily large such that
In fact, there are many weight functions on satisfying the weight condition above. For example, one may define by

*Example 8. *Let , , and be a weight on . Then the weighted translation on is defined by

Let where . Then and are chaotic if, given a compact subset of , we have
Similarly, one may choose by
which is the required weight function in the above condition.

#### 3. The Direct Sum of Cosine Operator Functions

Following the investigation on transitivity of the direct sum of a sequence of cosine operator functions in [17], we will give, in this section, the characterization for the direct sum of a sequence of cosine operator functions to be chaotic in terms of the similar weight condition in Theorem 4. The work on the direct sum of operators in linear dynamics has been studied by many authors, for example [5, 9, 11], where the notion of transitivity on direct sum of operators is related with another notion, namely,* weak mixing*, and hypercyclic criterion.

Given some , let be a sequence of weighted translation operators on , defined by sequences of aperiodic elements () in and positive weight functions () for . We write for for simplification. In [17], we have the result below.

Corollary 9 (see [17]). *Let be a weighted translation defined above for . Let . Then the following conditions are equivalent. *(i)* is topologically transitive.*(ii)*For and each compact subset with , there are sequences of Borel sets , , and in such that , and both sequences
*â€‰*admit, respectively, subsequences and satisfying
*

Using Corollary above, we characterize chaos of the direct sum of a sequence of cosine operator functions below.

Corollary 10. *Let be a weighted translation for . Let . Then the following conditions are equivalent. *(i)* is chaotic.*(ii)*For and each compact subset with , there are sequences of Borel sets in such that and both sequences
*â€‰*admit, respectively, subsequences and satisfying
*

*Proof. *The proof is similar to the proof of Theorem 4.

(i) (ii). By density of , we can find a sequence and sequences of periodic points of such that and . Let for each . Following the same estimation in the proof of Theorem 4, we can obtain the weight conditions.

(ii) (i). Let with compact support for , and let . Letting
and repeating the argument in the proof of Theorem 4, one can show that as and is an element of . Hence is chaotic.

*Remark 11. *By Corollary 10 above, we note that is chaotic if, and only if, is chaotic. Similarly, and can be chaotic only at the same time.

Finally, we give an example of the direct sum of cosine operator functions on .

*Example 12. *Given some , let and for . We consider a sequence of weighted translations on , given by where is a sequence of positive weight functions. Then we define sequences of operators by where is the inverse of . By Corollary 10, is chaotic if, given and , there exists an arbitrarily large such that for all and , we have

#### Conflict of Interests

The author declares that there is no conflict of interests regarding the publication of this paper.

#### Acknowledgments

The author would like to thank the reviewers for numerous helpful suggestions and remarks on this paper. The author is supported by NSC of Taiwan under Grant no. NSC 102-2115-M-142-001-.

#### References

- F. Bayart and E. Matheron,
*Dynamics of Linear Operators*, Cambridge Tracts in Math. 179, Cambridge University Press, Cambridge, Mass, USA, 2009. - K.-G. Grosse-Erdmann and A. Peris,
*Linear Chaos*, Universitext, Springer, 2011. - C. Badea, S. Grivaux, and V. Müller, â€śMultiples of hypercyclic operators,â€ť
*Proceedings of the American Mathematical Society*, vol. 137, no. 4, pp. 1397â€“1403, 2009. View at: Publisher Site | Google Scholar | Zentralblatt MATH - F. Bayart and S. Grivaux, â€śFrequently hypercyclic operators,â€ť
*Transactions of the American Mathematical Society*, vol. 358, no. 11, pp. 5083â€“5117, 2006. View at: Publisher Site | Google Scholar | Zentralblatt MATH - J. Bès and A. Peris, â€śHereditarily hypercyclic operators,â€ť
*Journal of Functional Analysis*, vol. 167, no. 1, pp. 94â€“112, 1999. View at: Publisher Site | Google Scholar - G. Costakis and M. Sambarino, â€śTopologically mixing hypercyclic operators,â€ť
*Proceedings of the American Mathematical Society*, vol. 132, no. 2, pp. 385â€“389, 2004. View at: Publisher Site | Google Scholar | Zentralblatt MATH - R. Delaubenfels and H. Emamirad, â€śChaos for functions of discrete and continuous weighted shift operators,â€ť
*Ergodic Theory and Dynamical Systems*, vol. 21, no. 5, pp. 1411â€“1427, 2001. View at: Publisher Site | Google Scholar | Zentralblatt MATH - K.-G. Grosse-Erdmann, â€śHypercyclic and chaotic weighted shifts,â€ť
*Studia Mathematica*, vol. 139, no. 1, pp. 47â€“68, 2000. View at: Google Scholar | Zentralblatt MATH - F. León-Saavedra, â€śOperators with hypercyclic Cesàro means,â€ť
*Studia Mathematica*, vol. 152, no. 3, pp. 201â€“215, 2002. View at: Google Scholar - A. Montes-Rodríguez and H. N. Salas, â€śSupercyclic subspaces: spectral theory and weighted shifts,â€ť
*Advances in Mathematics*, vol. 163, no. 1, pp. 74â€“134, 2001. View at: Publisher Site | Google Scholar - H. Salas, â€śHypercyclic weighted shifts,â€ť
*Transactions of the American Mathematical Society*, vol. 347, pp. 993â€“1004, 1995. View at: Publisher Site | Google Scholar - C.-C. Chen, â€śChaotic weighted translations on groups,â€ť
*Archiv der Mathematik*, vol. 97, no. 1, pp. 61â€“68, 2011. View at: Publisher Site | Google Scholar | Zentralblatt MATH - C.-C. Chen, â€śSupercyclic and Cesàro hypercyclic weighted translations on groups,â€ť
*Taiwanese Journal of Mathematics*, vol. 16, pp. 1815â€“1827, 2012. View at: Google Scholar - C.-C. Chen, â€śHypercyclic weighted translations generated by non-torsion elements,â€ť
*Archiv der Mathematik*, vol. 101, no. 2, pp. 135â€“141, 2013. View at: Publisher Site | Google Scholar | Zentralblatt MATH - C. Chen and C.-H. Chu, â€śHypercyclic weighted translations on groups,â€ť
*Proceedings of the American Mathematical Society*, vol. 139, no. 8, pp. 2839â€“2846, 2011. View at: Publisher Site | Google Scholar | Zentralblatt MATH - S.-J. Chang and C.-C. Chen, â€śTopological mixing for cosine operator functions generated by shifts,â€ť
*Topology and its Applications*, vol. 160, no. 2, pp. 382â€“386, 2013. View at: Publisher Site | Google Scholar | Zentralblatt MATH - C.-C. Chen, Topological transitivity for cosine operator functions on groups.
- C. Tian and G. Chen, â€śChaos of a sequence of maps in a metric space,â€ť
*Chaos, Solitons and Fractals*, vol. 28, no. 4, pp. 1067â€“1075, 2006. View at: Publisher Site | Google Scholar - K.-G. Karl-Goswin and G.-E. Grosse-Erdmann, â€śUniversal families and hypercyclic operators,â€ť
*Bulletin of the American Mathematical Society*, vol. 36, no. 3, pp. 345â€“381, 1999. View at: Publisher Site | Google Scholar | Zentralblatt MATH - A. Bonilla and P. J. Miana, â€śHypercyclic and topologically mixing cosine functions on banach spaces,â€ť
*Proceedings of the American Mathematical Society*, vol. 136, no. 2, pp. 519â€“528, 2008. View at: Publisher Site | Google Scholar | Zentralblatt MATH - T. Kalmes, â€śHypercyclicity and mixing for cosine operator functions generated by second order partial differential operators,â€ť
*Journal of Mathematical Analysis and Applications*, vol. 365, no. 1, pp. 363â€“375, 2010. View at: Publisher Site | Google Scholar - S. Grosser and M. Moskowitz, â€śOn central topological groups,â€ť
*Transactions of the American Mathematical Society*, vol. 127, pp. 317â€“340, 1967. View at: Publisher Site | Google Scholar | Zentralblatt MATH - E. Hewitt and K. A. Ross,
*Abstract Harmonic Analysis*, Springer, Heidelberg, Germany, 1979. - S. I. Ansari, â€śHypercyclic and Cyclic Vectors,â€ť
*Journal of Functional Analysis*, vol. 128, no. 2, pp. 374â€“383, 1995. View at: Publisher Site | Google Scholar | Zentralblatt MATH

#### Copyright

Copyright © 2014 Chung-Chuan Chen. 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.