Jump to ContentJump to Main Navigation
Show Summary Details
More options …

Open Mathematics

formerly Central European Journal of Mathematics

Editor-in-Chief: Gianazza, Ugo / Vespri, Vincenzo

IMPACT FACTOR 2018: 0.726
5-year IMPACT FACTOR: 0.869

CiteScore 2018: 0.90

SCImago Journal Rank (SJR) 2018: 0.323
Source Normalized Impact per Paper (SNIP) 2018: 0.821

Mathematical Citation Quotient (MCQ) 2018: 0.34

ICV 2017: 161.82

Open Access
See all formats and pricing
More options …
Volume 16, Issue 1


Volume 13 (2015)

Disjoint hypercyclicity equals disjoint supercyclicity for families of Taylor-type operators

Yingbin Ma / Cui Wang
  • Corresponding author
  • College of Mathematics and Information Science, Henan Normal University, Xinxiang 453007, China
  • Department of Mathematics, Tianjin University, Tianjin 300350, China
  • Email
  • Other articles by this author:
  • De Gruyter OnlineGoogle Scholar
Published Online: 2018-06-07 | DOI: https://doi.org/10.1515/math-2018-0054


We characterize disjointness of supercyclic operators which map a holomorphic function to a partial sum of the Taylor expansion. In particular, we show that disjoint hypercyclicity equals disjoint supercyclicity for families of Taylor-type operators. Moreover, we give a sufficient condition to yield the disjoint supercyclicity for families of Taylor-type operators.

Keywords: Disjoint supercyclic; Class; Compact set; Taylor-type; Operator

MSC 2010: 47A16; 47B38; 30H99; 46E20

1 Introduction

Let X, Y be two topological vector space over ℝ or ℂ. A sequence of linear and continuous operators Tn : XY, n = 1, 2, … is said to be hypercyclic if there exists a vector xX such that {T1x, T2x, …} is dense in Y. Such a vector x is called a hypercyclic vector for {Tn}n∈ℕ. If the sequence {Tn}n∈ℕ comes from the iterates of a single operator T : XY, i.e. Tn = Tn, n = 1, 2, …, then T is called hypercyclic.

In 1974, Hilden and Wallen introduced in [1] the notion of supercyclicity. They showed that all unilateral weighted backward shifts are supercyclic, but no vector is supercyclic for all unilateral weighted backward shifts. Recall that a sequence of linear and continuous operators Tn : XY, n = 1, 2, … is said to be supercyclic provided there exists a vector xX such that {αT1x, αT2x, … : α ∈ ℂ} is dense in Y. Such a vector x is called a supercyclic vector for {Tn}n∈ℕ. Good sources of background information on hypercyclic and supercyclic operators include [2, 3, 4].

In 2007, Bernal [5] independently introduced the disjointness of operators. Bès et al. investigated disjoint hypercyclic operators in [6, 7], and disjoint mixing operators in [8]. For more results, see [9, 10, 11].

Definition 1.1

Let σ0 ∈ ℕ and X,Y1,Y2 …, Yσ0 be topological vector space over 𝕂. For each σ ∈ {1, 2, …,σ0} consider a sequence of linear and continuous operators Tσ,n : XYσ, n ∈ ℕ. We say that the sequence {Tσ,nn∈ℕ, σ = 1, 2, …, σ0 are disjoint hypercyclic (respectively, disjoint supercyclic) if the sequence


is hypercyclic (respectively, supercyclic), where Y1 × Y2 × ⋯ × Yσ0 is assumed to be endowed with the product topology.

Obviously, by the definition, the following diagram holds true in the disjoint setting:


First, we introduce some standard notations and terminology. The set of holomorphic functions on a simply connected domain Ω ⊂ ℂ, to be denoted H(Ω), becomes a complete topological vector space under the topology inherited by the uniform convergence on all the compact subsets of Ω. Moreover, for any compact set K ⊂ ℂ, we denote




For a function g defined on K, we use the notation gK=supzK|g(z)|. Now for every K ∈ 𝓜Ω and every sequence of natural numbers {λn}n∈ℕ we consider the sequence of operators:



Let Tn(ζ0)(f)(z)=k=1nf(k)(ζ0)k!(zζ0)k denote the nth partial sum of the Taylor series of f with center ζ0. f is said to belong to the collection U(Ω, ζ0) of functions with universal Taylor series expansions around ζ0 whenever { Tn(ζ0) (f)(z) : n = 1, 2, …} is dense in 𝓐(K), for every K ∈ 𝓜 disjoint from Ω. Nestoridis [12, 13] had shown that the collection U(Ω, ζ0) is a dense Gδ subset of H(Ω), and U(Ω, ζ0) ≠ ∅ for any simply connected domain Ω and any point ζ0Ω. Indeed, he proved that if the sequence {λn}n∈ℕ is unbounded then the corresponding sequence of operators {Tλn(ζ0)}nN is hypercyclic. Costakis and Tsirivas [14] provided a new strong notion of universality for Taylor series called doubly universal Taylor series. Chatzigiannakidou and Vlachou [15] dealt with the existence of doubly universal Taylor series defined on simply connected domains with respect to any center, which generalized the results of Costakis and Tsirivas for the unit disk. Moreover, Chatzigiannakidou [16] studied some approximation properties of doubly universal Taylor series defined on a simply connected domain Ω.

In order to research the disjointness of hypercyclicy for families of Taylor-type operators directly, Vlachou [17] introduced a class.

Definition 1.2

([17]). σ = 1, 2, …,σ0, let {λn(σ)}nN be a finite collection of sequences of natural numbers. If for every choice of compact sets K1, K2, …, Kσ0 ∈ 𝓜Ω the set


is dense in 𝓐(K1) × 𝓐(K2) × ⋯ 𝓐(Kσ0), we say that function fH(Ω) belongs to the class


As we all know, the functions of the above class are disjoint hypercyclic vectors, so if we want to research some characterizations of disjointness of hypercyclicity, we consider this class as empty or non-empty. It is clear that the sequences of natural numbers {λn(σ)}nN play a key role in the study of this class. In this paper, we require a special definition of {λn(σ)}nN called well ordered sequences.

Definition 1.3

σ = 1, 2, …, σ0, let {λn(σ)}nN be a finite collection of sequences of natural numbers. We say that these sequences are well ordered if

lim supnλn(σ+1)λn(σ)lim supnλn(σ)λn(σ+1),σ=1,2,,σ01.

Remark 1.4

Vlachou [17] showed that there exists a rearrangement {λn(π(σ))}nN, which is well ordered. Thus, in this paper we assume that we have a well ordered finite collection of sequences of natural numbers {λn(σ)}nN .

Following the same path as [15], Vlachou [17] showed a necessary and sufficient condition for families of taylor-type operators to be disjoint hypercyclic as follows:

Theorem 1.5

The class Umult(ζ0){λn(1)}nN,{λn(2)}nN,,{λn(σ0)}nN is nonempty if and only if there exists a strictly increasing sequence of natural numbers {μn}n∈ℕ such that limnλμn(1)=+andlimnλμn(σ+1)λμn(σ)=+,σ = 1, 2, …,σ0 − 1.

Inspired by [17], we introduce another class to research the disjointness of supercyclicity for operators which map a holomorphic function to a partial sum of the Taylor expansion.

Definition 1.6

σ = 1, 2, …,σ0, let {λn(σ)}nN be a finite collection of sequences of natural numbers. If for every choice of compact sets K1, K2, …,Kσ0 ∈ 𝓜Ω the set


is dense in 𝓐(K1) × 𝓐(K2) × ⋯ 𝓐(Kσ0), we say that fH(Ω) belongs to the class


The paper is organized in the following manner : In section 2, we obtain that Disjoint hypercyclicityDisjoint supercyclicity for families of taylor-type operators. In section 3, we provide a sufficient condition to get the disjointness of supercyclic operators who map a holomorphic function to a partial sum of the Taylor expansion.

2 disjoint hypercyclicity equals disjoint supercyclicity

In this section, we prove that Disjoint hypercyclicityDisjoint supercyclicity for families of taylor-type operators. In order to prove the main theorem, we need some fundamental knowledge about thinness.

Definition 2.1

([18, Chapter 5]). Let S be a subset ofand ξ ∈ ℂ. Then S is non-thin at ξ if ξS\{ξ and if for every subharmonic function u defined on a neighbourhood of ξ,

lim supzξu(z)=u(ξ),zS{ξ}.

Otherwise we say that S is thin at ξ.

Thinness is obviously a local property, i.e. S is non-thin at ξ if and only if US is non-thin at ξ for each open neighbourhood U of ξ. If two sets are both thin at a particular point, so is their union.

Lemma 2.2

([17, Lemma 2.2]). Let Ω ⊂ ℂ be a simply connected domain. Then there exists an increasing sequence of compact sets Ek, k = 1, 2, … with the following properties:

  1. Ek ∈ 𝓜Ω, k = 1, 2, …

  2. kEk is closed and non-thin at ∞.

Theorem 2.3

The following conditions are equivalent:

  1. The class Umult(ζ0){λn(1)}nN,{λn(2)}nN,,{λn(σ0)}nN is nonempty.

  2. The class Vmult(ζ0){λn(1)}nN,{λn(2)}nN,,{λn(σ0)}nN is nonempty.

  3. there exists a strictly increasing sequence of natural numbers {μn}n∈ℕ such that limnλμn(1)=+ and limnλμn(σ+1)λμn(σ)=+,σ=1,2,,σ01.


(i) ⇒ (ii): Noting that Disjoint Hypercyclicity ⇒ Disjoint Supercyclicity, we obtain the result easily.

(ii) ⇒ (iii): Choose an increasing sequence of compact sets Ek as stated in Lemma 2.2. Since Vmult(ζ0){λn(1)}nN,{λn(2)}nN,,{λn(σ0)}nN, we may also fix a strictly increasing sequence of natural numbers {nk}k∈ℕ and {αnk}k∈ℕ such that for fVmult(ζ0){λn(1)}nN,{λn(2)}nN,,{λn(σ0)}nN,



Clearly limkλnk(σ)=+ for every σ ∈ {1, 2, …,σ0}. If not, Tλn(σ)(ζ0) must have finite terms and Vmult(ζ0){λn(1)}nN,{λn(2)}nN,,{λn(σ0)}nN=, which would be a contradiction, limnλμn(σ)=+ is proved.

Next, we prove the claim limnλμn(σ+1)λμn(σ)=+,σ=1,2,,σ01. Suppose on the contrary that there exists no such sequence. Thus, there exists m ∈ {1, 2, …,σ0} such that lim supkλnk(m+1)λnk(m)<+. As was mentioned in Remark 1.4, {λn(σ)}kN is well-ordered, hence,

lim supkλnk(m+1)λnk(m)lim supkλnk(m)λnk(m+1),

which implies that for some constant C>0,λnk(m+1)λnk(m)<Candλnk(m)λnk(m+1)<C.

Now define two sets, I={kN:λnk(m+1)λnk(m)},J={kN:λnk(m)λnk(m+1)}. At least one of the above sets is infinite. Without loss of generality, we assume that I is infinite.

Let pk(z) be defined by


where kI, R = dist(Ωc, ζ0).

Obviously, λnk(m+1)λnk(m)<Candλnk(m+1)λnk(m) give that


Let E = (⋃k∈ℕEk)⋂ D(ζ0, 2R)c. Then E is closed and non-thin at ∞. Let zE. Then for large enough k, zEk and |zζ0| ≥ 2R. By (1) and (2), since I is infinite and k large enough, we obtain kI and thus


Hence lim supkI,k|pk|1Cλnk(m)(12)1C<1. Moreover, if ΓE is a continuum (compact, connected but not a singleton) we have lim supkI,kpkΓ1Cλnk(m)(12)1C<1. Therefore, by Theorem 1 of [19], we conclude that for kI, pk → 0 compactly on ℂ. Let ξ∂Ω with |ξζ0| = R, then from the above






which contradicts (3).

Now we prove the case J is infinite, we set


Then following the same argument as I is infinite, we arrive at contradiction.

(iii) ⇒ (i) : Obviously, this result is due to Theorem 1.5. □

3 A sufficient condition for disjoint supercyclicity

In this section, we present a sufficient condition to imply the disjointness of supercyclicity for Taylor-type operators, which is different from Theorem 2.3.

Definition 3.1

Let hn : U → ℂ, n = 1, 2, … be a sequence of continuous functions defined on an open set U and σn be a sequence of positive integers. If for every compact set KU the sequence hnK1σn is bounded, we say that the sequence hn is {σn}−locally bounded.

Any continuous function f can be approximated uniformly on a compact subset K of ℂ by polynomials provided that ℂ ∖ K is connected and f extends to be holomorphic on a neighbourhood of K. Ransford [18] gave a somewhat stonger version of this result called Bernstin-walsh Theorem. Vlachou [17] generalized Bernstin-walsh Theorem. On this basis, we give minor modifications. Though the proof is similar to the above two papers, for the convenience of the reader we give the details of the proof. Write deg(p) as the degree of a polynomial p. Note that dτn(f, K) = ∈ f{∥fpK : deg(p) ≤ n}.

Proposition 3.2

Let K ∈ 𝓜 and {fn}n∈ℕ be a {σn}−locally bounded sequence of holomorphic functions on an open neighbourhood U of K. If for any sequence of natural numbers {τn}n∈ℕ with limnτn=+, for some constant C0 > 0 such that τnσn>C0, then there exists a constant C > 1 such that

lim supndτn(fn,K)1τnCθ,




The proof is divided into two cases.

  • Case 1

    c(K) > 0. Γ is a closed contour in UK which winds once around each point of K and zero times round each point of ℂ ∖ U. Since limnτn=+, we can choose n large enough to ensure τn ≥ 2. Thus we can consider a Fekete polynomial qτn of degree τn for K, for ωK define


    Obviously, deg(pn) ≤ τn-1. Cauchy’s integral formula gives


    and hence,


    where l(Γ) is the length of Γ and dist(Γ, K) is the distance of Γ from K.

    Since fn is {σn}−locally bounded, there exists a positive constant A > 1 such that ∥fnΓAσn. In addition, according to the proof of Theorem 6.3.1 in [18], we see that

    lim supn(qτnKminzΓ|qτn(z)|)ατn,

    where α = supzΓ exp(−gK(z, ∞)).

    For AσnτnA1C0, let C=A1C0, clearly

    lim supndτn(fn,K)1τnCα.

  • Case 2

    c(K) = 0. Let (Kk)k≥1 be a decreasing sequence of non-polar compact subsets of U, with connected complements, such that limk→∞ Kk = K. Let θk denote the corresponding numbers defined in the theorem, as shown in case 1

    lim supndτn(fn,K)1τnlim supndτn(fn,Kk)1τnCθk.

    Now we prove that limk→∞θk = 0. Define the function


    Thus (hk)k≥1 is an increasing sequence of harmonic functions on z ∈ ℂ ∖ K1 and hk( ∞) → ∞, Harnack’s Theorem implies that hk → ∞ locally uniformly on ℂ ∖ K1. In particular gKk(z, ∞) → ∞ uniformly on ℂU, which shows that limk→∞ θk = 0. □

For convenience, we define γ = in the following.

Theorem 3.3

For σ = 1, 2, …, σ0 − 1, let λn(σ) be a finite collection of well-ordered sequences of natural numbers. If limnλn(1)=+ and λn(σ+1)>λn(σ), moreover, limn|β|λn(σ)|γ|λn(σ+1)=0 for every |β| < 1. then the class


is a Gδ and dense subset of H(Ω).


Suppose {fj}j∈ℕ is an enumeration of polynomials with rational coefficients. In view of [13], there exists a sequence of compact sets {Km}m∈ℕ in 𝓜Ω, such that for every K ∈ 𝓜Ω is contained in some Km. For α ∈ ℂ and every choice of positive integers s, n, mσ and jσ, let


An application of Mergelyan’s Theorem shows that


Therefore, by Baire’s Category Theorem, it is sufficient to prove that


Choose gH(Ω), ε > 0 and a compact subset L of Ω. Without loss of generality, we may assume that L has connected complement, ζ0L0. For every |β| < 1, Runge’s Theorem implies that we may fix a polynomial p such that:



Moreover, we fix two open and disjoint sets U1, U2 with LU1 and σ=1σ0KmσU2. Let U = (U1ζ0) ∪ (U2ζ0), K = (Lζ0) ∪ (Kmσζ0).

Next, our proof is divided into two steps:

  • Step 1

    For σ ≥ 2, we will construct a sequence of polynomials {Qn(σ)}nN via a finite induction with the following properties:

    1. deg (Qn(σ))λn(σ).

    2. {βQn(σ)(zζ0)}n0 on L.

    3. βp(z)+k=2σβQn(k)(zζ0)fjσ(z)n0 on Kmσ.

    We define a function fn as




    Moreover, let σn=λn(σ1) and τn=λn(σ) and a compact set U2ζ0.

    First of all, we prove σ = 2 case. Note that


    where c = ∥fjσβp+ζ0. So {fn}n∈ℕ is {σn}−locally bounded. By Proposition 3.2, it follows that there exists γ > 0 such that

    lim supndτn(fn,K)1τnγ.

    This implies that we can fix a sequence of polynomials pn with degree less or equal to τn so that


    for n sufficiently large.

    Define the function Qn(2)(z) byQn(2)(z)=βλn(1)pn(z). Then deg(Qn(2))λn(2). Property (1) can be obtained. By (6), we have


    Using limn|β|λn(σ)|γ|λn(σ+1)=0,

    we obtain Property (2).

    On the other hand,


    So Property (3) can be obtained.

    Secondly, in the case σ − 1(σ ≥ 3), we assume there exist polynomials {Qn(σ1)}nN with properties (1), (2) and (3).

    Thirdly, we will show σ(σ ≥ 3) case. Since βQn(σ1)(zζ0)n0, it follows that for n large enough, k=2σ1βQn(k)(z)Lζ0<1. Let dn=deg(k=2σ1Qn(k)(z)), since for every n, dnλn(σ1), Bernstein’s Lemma (a) of [18] yields


    for D = ℂ − (Lζ0) and zD\{∞}. The compact set Lζ0 is non-polar since it contains an open disk of center 0. The function egD(z, ∞) is bounded and continuous on . Define A = maxz|egD(z,∞)|+ 1, we obtain


    Hence, by the definition of fn, we see that


    where c = ∥fjσp+ζ0. Similarly to σ = 2, we can fix a sequence of polynomials pn with degree less or equal to τn such that:


    We set Qn(σ)(z)=βλn(σ1)pn(z), so the degree of the terms of Qn(σ) is at most λn(σ).

    Using inequality (7), we have




    Applying limn|β|λn(σ)|γ|λn(σ+1)=0 to the above two inequalities, Property (2) and (3) can be obtained.

    Thus, we have constructed a sequence of polynomials {Qn(σ)}nN via a finite induction with the above three properties.

  • Step 2

    Now, we will show that there exists fnαCE{mσ}σ=1σ0,{jσ}σ=1σ0,s,n,α such that ∥fgL < ε.

    If σ = 1, we define f(z) = p(z). Inequality (4) shows ∥fgL < ε. Since limnλn(1)=+ and p is fixed as mentioned above, λn1(1)>deg(p) obviously. It follows that Tλn(1)(ζ0)(f)=p. Therefore, inequality (5) yields


    Otherwise, if σ ≥ 2, let f(z)=p(z)+k=2σ0Qn1(k)(zζ0)

    for a suitable choice of n1 ∈ ℕ. Combining Property (2) with (4),


    for n1 large enough.

    Property (1) implies that deg(Qn(σ))λn(σ). On the other hand, p is fixed as mentioned above and limnλn(1)=+,λn(σ+1)>λn(σ), hence, Tλn(σ)(ζ0)(f)=f. Therefore,


    for n1 large enough, which used Property (3). This completes the proof of the theorem. □


The authors are very grateful to the editor and the referees for helpful comments and suggestions.

This work was supported in part by the National Natural Science Foundation of China (Grant No. 11701157, 11371276 and 11571253), Foundation of Henan Educational Committee(17A110008 and 18A110023), and the Scientific Research Foundation for Ph.D. of Henan Normal University (No.qd14143 and No.qd16151).


  • [1]

    Hilden H.M., Wallen L.J., Some cyclic and non-cyclic vectors for certain operators, Indiana Univ. Math. J., 1974, 24, 557-565 Google Scholar

  • [2]

    Bayart F., Matheron E., Dynamics of Linear Operstors, 2009, Cambridge: Cambridge University Press. Google Scholar

  • [3]

    Grosse-Erdmann K.G., Peris A., Linear chaos, Universitext: Tracts in mathematics, 2011, New York: Springer. Google Scholar

  • [4]

    Salas H.N., Supercyclicity and weighted shifts, Studia Math., 1999, 135, 55-74 CrossrefGoogle Scholar

  • [5]

    Bernal-Gonzalez L., Disjoint hypercyclic operators, Studia Math., 2007, 182(2), 113-131 CrossrefWeb of ScienceGoogle Scholar

  • [6]

    Bès J., Martin O., Peris A., Disjoint hypercyclic linear fractional composition operators, J. Math. Anal. Appl., 2011, 381(2), 843-856 Web of ScienceCrossrefGoogle Scholar

  • [7]

    Bès J., Peris A., Disjointness in hypercyclicity, J. Math. Anal. Appl., 2007, 336, 297-315 Web of ScienceCrossrefGoogle Scholar

  • [8]

    Bès J., Martin O., Peris A., Shkarin S., Disjoint mixing operators, J. Funct. Anal., 2012, 263(5), 1283-1322 Web of ScienceCrossrefGoogle Scholar

  • [9]

    Martin Ö., Disjoint hypercyclic and supercyclic composition operators(PhD thesis), 2010, Ohio: Bowling Green State University. Google Scholar

  • [10]

    Shkarin S., A short proof of existence of disjoint hypercyclic operators, J. Math. Anal. Appl., 2010, 367(2), 713-715 Web of ScienceCrossrefGoogle Scholar

  • [11]

    Tsirivas N., Simultaneous approximation by universal series, Math. Nachr., 2010, 283(6), 909-920 CrossrefWeb of ScienceGoogle Scholar

  • [12]

    Nestoridis V., Universal Taylor series, Ann. Inst. Fourier (Grenoble), 1996, 46, 1293-1306 CrossrefGoogle Scholar

  • [13]

    Nestoridis V., An extension of the notion of universal Taylor series, Comput. Methods Funct. Theory (1997) (Nicosia), 421-430, Ser. Approx. Decompos., 11, World Sci. Publ., River Edge, NJ, 1999 Google Scholar

  • [14]

    Costakis G., Tsirivas N., Doubly universal Taylor series, J. Approx. Theory, 2014, 180, 21-31 CrossrefWeb of ScienceGoogle Scholar

  • [15]

    Chatzigiannakidou N., Vlachou V., Doubly universal Taylor series on simply connected domains, Eur. J. Math., 2016, 2(4), 1031-1038 Web of ScienceCrossrefGoogle Scholar

  • [16]

    Chatzigiannakidou N., Approximation properties of doubly overconvergent power series, Ann. Polon. Math., 2017, 120(3), 197-207 CrossrefGoogle Scholar

  • [17]

    Vlachou V., Disjoint hypercyclicity for families of Taylor-type operators, J. Math. Anal. Appl., 2017, 448(2), 1318-1330 CrossrefGoogle Scholar

  • [18]

    Ransford T., Potential theory in the complex plane, 1995, Cambridge: Cambridge University Press. Google Scholar

  • [19]

    Müller J., Yavrian A., On polynomial sequences with restricted growth near infinity, Bull. Lond. Math. Soc., 2002, 34, 189-199 CrossrefGoogle Scholar

About the article

Received: 2018-01-18

Accepted: 2018-04-06

Published Online: 2018-06-07

Citation Information: Open Mathematics, Volume 16, Issue 1, Pages 597–606, ISSN (Online) 2391-5455, DOI: https://doi.org/10.1515/math-2018-0054.

Export Citation

© 2018 Ma and Wang, published by De Gruyter. This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License. BY-NC-ND 4.0

Comments (0)

Please log in or register to comment.
Log in