Equicontinuity , Expansivity , and Shadowing for Linear Operators

We prove that a linear operator of a complex Banach space has a shadowable point if and only if it has the shadowing property. In addition, every equicontinuous linear operator does not have the shadowing property and its spectrum is contained in the unit circle. Finally, we prove that if a linear operator is expansive and has the shadowing property, then the origin is the only nonwandering point.


Introduction
The dynamics of linear operators on Banach spaces has been studied in the literature [1].For instance, Eisenberg and Hedlund [2,3] characterized uniformly expansive operators in terms of spectral theory, and Ombach [4] as well as Bernardes et al. [5] tried to obtain a similar result for operators with the shadowing property.In this paper, we will continue the study of the dynamics of such operators.Indeed, we prove that a linear operator has a shadowable point (in the sense of Reference [6]) if and only if it has the shadowing property.Moreover, we prove that an equicontinuous linear operator has no shadowing property and its spectrum is contained in the unit circle.Finally, it is proved that every expansive linear operator with the shadowing property does not have nonzero nonwandering points.Let us state these results in a precise way.
Hereafter, X will denote a Banach space (all such spaces will be complex).By a linear operator, we mean an operator bounded one-to-one onto a linear map with a bounded inverse.Given a δ > 0, a δ-pseudo-orbit of a linear operator T is a bi-infinite sequence (x n ) n∈Z of X such that T(x n ) − x n+1 ≤ δ for every n ∈ Z.We say that T has the shadowing property if for every ε > 0 there is δ > 0 such that every δ-pseudo orbit (x n ) n∈Z can be ε-shadowed i.e., there is x ∈ X such that T n (x) − x n ≤ ε for every n ∈ Z.The following pointwise version of the shadowing property is given in Reference [6].Some authors have recently been studying it [7][8][9].We say that x ∈ X is shadowable if for every ε > 0 there is δ > 0 such that every δ-pseudo orbit (x n ) n∈Z through x (i.e., x 0 = x) can be ε-shadowed.Clearly, if T has the shadowing property, then every point is shadowable.This motivates our first result.Theorem 1.A linear operator of a Banach space has a shadowable point if and only if it has the shadowing property.
On the other hand, a linear operator T is equicontinuous if for every ε > 0 there is δ > 0 such that if x, y ∈ X and x − y ≤ δ, then T n (x) − T n (y) ≤ ε for every n ∈ Z.The spectrum of a linear operator T is the set of those λ ∈ C such that T − λI is not invertible.Theorem 2. Every equicontinuous linear operator of a Banach space does not have the shadowing property and its spectrum is contained in the unit circle.
Finally, we recall that a linear operator of a Banach space T ∈ L(X) is expansive if for each x ∈ X with x = 1 there is n ∈ Z such that T n (x) ≥ 2. This definition is equivalent to the classical notion of expansivity on metric spaces [10].It is known that an expansive linear operator with the shadowing property does exist on finite or infinite dimensional Banach spaces and that all of them are uniformly expansive, i.e., there is n ∈ Z such that max{ T n (x) , T −n (x) } ≥ 2 for every x ∈ X with x = 1.Indeed, every hyperbolic linear operator (i.e, the spectrum does not intersect the unit complex circle) is expansive with the shadowing property (e.g., Reference [5]).
On the other hand, linear operators with the shadowing property may have nonzero nonwandering points.Recall that a nonwandering point of a linear operator T ∈ L(X) is a point x ∈ X such that for every neighborhood U of x there is k ∈ N satisfying T k (U) ∩ U = ∅.Every linear operator has at least one nonwandering point (e.g., the origin x = 0) and for hyperbolic operators this is the only one.Now we can state our last result.
Theorem 3. If a linear operator is expansive and has the shadowing property, then the origin is the only nonwandering point.
The authors would like to thank the participants of the dynamical system seminar at the math department of the Chungnam National University at Daejeon, Korea, for helpful conversations.

Proof of the Theorems
Theorem 1 is actually contained in the following result.Hereafter, X denotes a Banach space and L(X) denotes the set of linear operators T : X → X. Theorem 4. The following properties are equivalent for every T ∈ L(X).

1.
T has the shadowing property.

2.
T has a shadowable point.

3.
0 is a shadowable point of T.
Proof.Obviously Item (1) implies Item (2).To prove Item (2) implies Item (3), let x be a shadowable point.First, we show that −x is shadowable.Let ε > 0 and δ be given by the shadowableness of x.Let (x n ) n∈Z be a δ-pseudo orbit through −x.It follows that proving that −x is shadowable.Now, let ε > 0 and δ be given by the shadowableness of of −x.Let (z n ) n∈Z be a δ-pseudo orbit through 0. Define ẑn = z n − T n (x).It follows that ẑ0 = z 0 − x = −x and It follows that there is ẑ ∈ X such that T n ( ẑ) − ẑn ≤ ε for every n ∈ Z.Therefore, taking z = ẑ + x we get Finally, we prove that Item (3) implies Item (1).Let ε > 0 and δ be given by the shadowableness of 0. Let (x n ) n∈Z be a δ-pseudo orbit and define xn = x n − T n (x 0 ) for all n ∈ Z.Then, x0 = x 0 − x 0 = 0 and for every n ∈ Z.It follows that ( xn ) n∈Z is a δ-pseudo orbit through 0. Hence, there is y ∈ X such that T n (y) − xn ≤ ε for every n ∈ Z.It follows that ŷ = y + x 0 satisfies (1).This completes the proof of the theorem.
To prove Theorem 2, we first observe that T ∈ L(X) is equicontinuous if and only if for every ε > 0 there is δ > 0 such that x ≤ δ implies T n (x) ≤ ε for every n ∈ Z. Another equivalence is as follows.
Lemma 1.The following properties are equivalent for every T ∈ L(X): T is equicontinuous.2.
T is power bounded namely sup n∈Z T n < ∞ (see Reference [11]).
From this, we get T n (x) ≤ 1 δ for every n ∈ Z and every unitary vector x proving Item (2).Conversely, suppose Item (2) and take 0 Denote by S 1 the unit circle in C and by σ(T) the spectrum of T ∈ L(X).By applying Lemma 1 and Proposition 1.31 in Reference [12] (or Item (ii) of Proposition 3.2 in Reference [11]), we obtain the following corollary.
To complete the proof of Theorem 2, we only need to prove the following lemma.Recall that a linear isometry of a Banach space is a distance preserving linear operator.Lemma 2. Every linear isometry of a Banach space does not have the shadowing property.
Proof.Let X be a Banach space and T ∈ L(X) be a linear isometry.Suppose by contradiction that T has the shadowing property.Fix δ > 0 from the equicontinuity of T for ε = 1.Take x ∈ X. Choose a sequence 0 = q 0 , q 1 , • • • , q r = x such that q i+1 − q i ≤ δ for every 0 ≤ i ≤ r − 1. Define (p i ) i∈Z by We conclude that x ≤ 2 for every x ∈ X which is absurd.This completes the proof.
Proof of Theorem 2. Let X be a Banach space and T ∈ L(X) be equicontinuous.Define Clearly, • is a norm of X and x ≤ x for every x ∈ X.On the other hand, by Lemma 1, there is 0 < M < ∞ such that T n < M for every n ∈ Z.It follows that T n (x) ≤ T n • x ≤ M x for all n ∈ Z so x ≤ M x for every x ∈ X.This proves that • and • are equivalent, i.e., Define X = X equipped with the norm • .By Equation (1), we have that X is a Banach space.Define T as being T in the Banach space X .Since we have that T : X → X is a linear isometry.In addition, we have that the identity I : X → X is a linear homeomorphism by Equation ( 1), which satisfies T • I = I • T. In particular, T has the shadowing property if and only if T has the shadowing property.But T is an isometry, so it cannot have the shadowing property by Lemma 2.Then, T cannot have the shadowing property and the proof follows.
Proof of Theorem 3. Let T ∈ L(X) be an expansive linear operator with the shadowing property of a Banach space.Suppose by contradiction that T has a nonwandering point x 0 = 0. Take δ > 0 from the shadowing property for = x 0 4 .Shrinking δ if necessary, we can assume δ < x 0 2 .Since x 0 is nonwandering, there are x ∈ X and k > 0 such that x − x 0 < δ 2 and T k (x) − x 0 < δ 2 .Define the sequence x nk+i = T i (x) for n ∈ Z and 0 ≤ i ≤ k − 1.Since T k (x) − x = T k (x) − x 0 + x − x 0 ≤ δ 2 + δ 2 = δ, we have that (x m ) m∈Z is a δ-pseudo orbit.It follows that there is y ∈ X such that T nk+i (y) From this we get for every n ∈ Z and 0 ≤ i ≤ k − 1.Since sup 0≤i≤k−1 T i (x) < ∞, the sequence ( T m (y) ) m∈Z is bounded.Since T is expansive, y = 0 by Proposition 19-(c) in Reference [5].Then, Equation (2) implies x m ≤ = x 0 4 for every m ∈ Z.By taking m = 0, we obtain x ≤ x 0 4 .Therefore, which is absurd.This completes the proof.
Author Contributions: Authors contribution was the same for both.