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
Online
ISSN
2391-5455
See all formats and pricing
More options …
Volume 16, Issue 1

Issues

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

Abstract

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

(T1,n(x),T2,n(x),,Tσ0,n(x)):XY1×Y2××Yσ0

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:

DisjointhypercyclicityDisjointsupercyclicity.

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

A(K)={gH(K0):giscontinuousonK},

M={KC:KiscompactsetandKcconnectedset},

MΩ={KCΩ:KiscompactsetandKcconnectedset}.

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:

Tλn(ζ0):H(Ω)A(K),n=1,2,

Tλn(ζ0)(f)(z)=k=1λnf(k)(ζ0)k!(zζ0)k,n=1,2,

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

Tλn(1)(ζ0)(f),Tλn(2)(ζ0)(f),,Tλn(σ0)(ζ0)(f):nN

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

Umult(σ0){λn(1)}nN,{λn(2)}nN,,{λn(σ0)}nN.

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

αTλn(1)(ζ0)(f),αTλn(2)(ζ0)(f),,αTλn(σ0)(ζ0)(f):nN,αC

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

Vmult(ζ0){λn(1)}nN,{λn(2)}nN,,{λn(σ0)}nN.

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.

Proof

(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,

αnkTλnk(σ)(σ0)(f)Ek<1k,σ{1,2,,σ0}odd,(1)

αnkTλnk(σ)(σ0)(f)1Ek<1k,σ{1,2,,σ0}even.(2)

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

pk(z)=Rzζ0λnk(m)αnkTλnk(m+1)(ζ0)(f)(z)αnkTλnk(m)(ζ0)(f)(z),

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

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

deg(pk)λnk(m+1)<Cλnk(m).

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

|pk|Rzζ0λnk(m)|αnk|Tλnk(m+1)(ζ0)(f)Ek+|αnk|Tλnk(m)(ζ0)(f)Ek12λnk(m)(1+2k)<32λnk(m).

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

ξζ0Rλnk(m)pk(ξ)0,kI.(3)

But

ξζ0Rλnk(m)pk(ξ)=αnkTλnk(m+1)(ζ0)(f)(ξ)αnkTλnk(m)(ζ0)(f)(ξ),kI.

Thus

ξζ0Rλnk(m)pk(ξ)1αnkTλnk(m+1)(ζ0)(f)1Ek+αnkTλnk(m)(ζ0)(f)Ek2k0,

which contradicts (3).

Now we prove the case J is infinite, we set

pk(z)=Rzζ0λnk(m+1)αnkTλnk(m)(ζ0)(f)(z)αnkTλnk(m+1)(ζ0)(f)(z),kJ.

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θ,

where

θ=supCUexp(gCK(z,)),ifc(K)>0;0,ifc(K)=0.

Proof

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

    pn(ω)=12πiΓfn(z)qτn(z)qτn(ω)qτn(z)ωzdz.

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

    fn(ω)pn(ω)=12πiΓfn(z)ωzqτn(ω)qτn(z)dz,

    and hence,

    dτn(fn,K)fnpnKl(Γ)2πfnΓdist(Γ,K)qτnKminzΓ|qτn(z)|,

    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

    hk(z)=gCKk(z,)gCK1(z,),ifzCK1;logc(K1)logc(Kk),ifz=.

    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

Vmult(ζ0){λn(1)}nN,{λn(2)}nN,,{λn(σ0)}nN

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

Proof

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

E{mσ}σ=1σ0,{jσ}σ=1σ0,s,n,α=fH(Ω):αTλn(σ)(ζ0)fjσKmσ<1s,σ=1,2,,ζ0.

An application of Mergelyan’s Theorem shows that

Vmult(ζ0){λn(1)}nN,{λn(2)}nN,,{λn(σ0)}nN={mσ}σ=1σ0{jσ}σ=1σ0snαCE{mσ}σ=1σ0,{jσ}σ=1σ0,s,n,α.

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

nαCE{mσ}σ=1σ0,{jσ}σ=1σ0,s,n,αisdenseinH(Ω).

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:

gpL<ε2,(4)

βpfj1Km1<1s.(5)

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

    fn(z)=βλn(σ1)gn(z),ifzU2ζ0;0,ifzU1ζ0.

    where

    gn=fjσ(z+ζ0)βp(z+ζ0)k=2σ1βQn(k)(z),ifσ3;fj2(z+ζ0)βp(z+ζ0),ifσ=2.

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

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

    fnK~=βλn(1)fj2(z+ζ0)βp(z+ζ0)K~1|β|σnc,

    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

    fnβpnK(γ)τn,(6)

    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

    βQn(2)(zζ0)L|β|λn(1)βpnLζ0|β|λn(1)βpnfnK|β|λn(1)(γ)λn(2).

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

    we obtain Property (2).

    On the other hand,

    βp(z)+βQn(2)(zζ0)fj2(z)Km2=fj2(z+ζ0)βp(z+ζ0)βQn(2)(z)Km2ζ0=βλn(1)(fn(z)βpn(z))Km2ζ0|β|λn(1)(γ)λn(2).

    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

    k=2σ1βQn(k)(z)1dnegD(z,)k=2σ1βQn(k)(z)Lζ01dn<egD(z,),

    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

    βk=2σ1Qn(k)(z)K~<AdnAλn(σ1)=Aσn.

    Hence, by the definition of fn, we see that

    fnK~(|β|)σn(c+Aσn),

    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:

    fnβpnK(γ)τn,nn0.(7)

    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

    βQn(σ)(zζ0)L|β|λn(σ1)βpnLζ0|β|λn(σ1)βpnfnK|β|λn(σ1)(γ)λn(σ)

    and

    βp(z)+k=2σβQn(k)(zζ0)fjσ(z)Kmσ=fjσ(z+ζ0)βp(z+ζ0)k=2σ1βQn(k)(z)βQn(σ)(z)Kmσζ0=βλn(σ1)(fn(z)βpn(z))Kmσζ0|β|λn(σ1)(γ)λn(σ).

    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

    βTλn(1)(ζ0)(f)fj1Km1=βpfj1Km1<1s.

    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),

    fgLpgL+k=2σ0Qn1(k)(zζ0)L<2pgL<ε,

    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,

    βTλn(σ)(ζ0)(f)fjσKmσ=βp(z)+k=2σβQn1(k)(zζ0)fjσ(z)Kmσ<1s,

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

Acknowledgement

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).

References

  • [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