Arxiv:2106.10011V1 [Math.FA]

arXiv:2106.10011v1 [math.FA] 18 Jun 2021 C rtr r enegdc(entoswl egvni Sectio in given be will such (definitions when ergodic in mean interested are are erators We spaces. Montel are spaces both oooy en h oooia ulsaeof space dual topological the being topology, faldrvtvsu oa rirr nt re while order finite arbitrary an to up derivatives all of E h weight the nti oew otiuet h netgto ftedynami the of investigation the to operators contribute composition we note this In pnsubset open opimad{ and morphism suffic and necessary derive we (Theo result, o orbits aforementioned its terms the of in on property properties growth a these with of together characterization operator a unifo and give ergodicity we mean of and properties the space Montel Section a In on follows. as organized is lo note by This defined spaces function of framework general the within on functions decreasing rapidly of space [ spaces Banach [ dimensional spaces infinite Banach infinite on functions [ morphic dimensions finite spac in various functions on holomorphic of operators me composition studying (weighted) articles of several erties been have there years recent In enegdcon ergodic mean sasot efmpof map self smooth a is w ENEGDCCMOIINOEAOSO PCSO MOHFUNC SMOOTH OF SPACES ON OPERATORS COMPOSITION ERGODIC MEAN ( X , φ sedwdwt t aua oooyo nfr convergenc uniform of topology natural its with endowed is ) on S 00 73,4B8 47A35 47B38, 47B33, 2020: MSC distributi of Spaces functions; smooth of Spaces op operator; ergodic mean Uniformly operator; ergodic Mean Keywords: or interest. the independent of of property is growth ch which a a spaces and on boundedness based Cesàro are results of Our terms in 2). period (with s periodic the is on it tha ergodic if mean prove is we symbol things, diffeomorphic other analytic distributio Among real of a line. space real the the of and subset functions open smooth of space the on A D BSTRACT ′ ( w X X ocsarte etitv eaiu ftesymbol the of behaviour restrictive rather a forces ) sacmlxvle mohfnto on function smooth valued complex a is ⊆ eivsiae(nfr)ma roiiyo wihe)co (weighted) of ergodicity mean (uniform) investigate We . x R E ∈ swl so h pc fdistributions of space the on as well as ( X X ; (Theorem ) w X C ( epcieyadfemrhs of diffeomorphism a respectively , w x HMSKLE N AILSANTACREU DANIEL AND KALMES THOMAS , ) φ 6= ( u }i es in dense is 0} ) = N DISTRIBUTIONS AND w 3.2 .I 1. · .Udrteadtoa supinthat assumption additional the Under ). 17 ( u ,sae fra nltcfntos[ functions analytic real of spaces ], ◦ NTRODUCTION R φ [ ntesaeo mohfunctions smooth of space the on ) X 10 2 1 nSection in , D eso htfracniuu ieroperator linear continuous a for that show we ,sae fmrmrhcfntos[ functions meromorphic of spaces ], 18 8 ( X ,[ ], ,sae fhmgnosplnmason polynomials homogeneous of spaces ], ,tesaeo etfntoson functions test of space the ), 5 ,[ ], D ′ ons 4 ( X ],[ rceiaino energodicity mean of aracterization X D 4 h pc fsot functions smooth of space The . aeo itiuin fadonly and if distributions of pace seupe ihissrn dual strong its with equipped is ) 12 eso htma roiiyof ergodicity mean that show we n opsto prtrwith operator composition a t ′ rtr egtdcomposition Weighted erator; X s epciey ohoe an over both respectively, ns, rem ( negdct n eae prop- related and ergodicity an so ucin,sc sspaces as such functions, of es X isfroeaoso Montel on operators for bits ,[ ], 2 hndaigwith dealing when etcniin for conditions ient a rpris[ properties cal mma roiiycoincide, ergodicity mean rm eàobuddeso the of boundedness Cesàro f ,weetesymbol the where ), below). a eaiu f(weighted) of behaviour cal 3 wihe)cmoiinop- composition (weighted) 2.5 ,[ ], φ ncmatsbesof subsets compact on e namely , psto operators mposition 16 b) nSection In (b)). ,[ ], 23 ,sae fholo- of spaces ], 9 φ ,teSchwartz the ], 19 swl as well as φ ]. E D sadiffeo- a is C ( X φ ′ w X TIONS ( 3 11 X , nan on ) Thus, . based , of φ ,and ], ,and ), obe to C φ w − X , φ 1 2 T. KALMES AND D. SANTACREU have stable orbits (Theorem 4.4). This restrictivepropertyis then used to show that for a real analytic diffeomorphism φ the corresponding unweighted composition operator Cφ := C1,φ ′ is mean ergodic on D (X ) if and only Cφ is periodic of period 2 (Theorem 4.9).

2. GENERAL ABSTRACT RESULTS

Let E be a locally convex Hausdorff space (brieﬂy, lcHs) and T ∈ L (E), where as usual we denote by L (E) the space of continuous linear operators on E. T is said to be topologizable if for every p ∈ cs(E) there is q ∈ cs(E) such that for every m ∈ N there is γm > 0 with m p T x ≤ γm q(x) for all x ∈ E.

For the special case that in the above¡ ¢ inequality one can take γm = 1 for all m ∈ N we say that T is power bounded. In this case the family {T m : m ∈ N} is an equicontinuous subset of L (E). Moreover, T is Cesàro bounded if the family {T [n] : n ∈ N} is an equicontinuous subset of L (E), where T [n] denotes the n-th Cesàro mean given by 1 n T m n m=1 X [n] An operator T ∈ L (E)iscalled mean ergodic ifthereis P ∈ L (E)suchthatlimn→∞ T x = Px for each x ∈ E. In case that the convergence is uniform on bounded subsets of E then T is called uniformly mean ergodic. For T ∈ L (E) and n ∈ N we have the following identities (where T [0] = I ) 1 n − 1 (1) T n = T [n] − T [n−1], n n

1 (2) (I − T )T [n] = T [n](I − T ) = (T − T n+1) n 1 n = ∈ so that limn→∞ n T x 0 for every x E whenever T is mean ergodic. The following theorem is a special case of Eberlein’s mean ergodic theorem which is proved by a straightforward modiﬁcation of the proof in [22, Chapter2, § 2.1, Theorem 1.5, p. 76]. In n our context, one has to set the semigroup of operators S = {T : n ∈ N0} and the ergodic net {T [n] : n ∈ N}, where one has to take into account the fact that due to 1 k 1 k T k T [n]x − T [n]x = T [n]T k x − T [n]x = T n+m x − T m x n m=1 n m=1 X X [n] k [n] k [n] [n] it follows limn→∞ T T x −T x = limn→∞ T T x −T x = 0in E whenever x ∈ E satisﬁes 1 (3) lim T n x = 0. n→∞ n Theorem 2.1. Let E be a lcHS and let T ∈ L (E) be Cesàro bounded. The following conditions are equivalent for y ∈ E:

m a) Ty = y and y belongs to the closed convex hull of the orbit O(x,T ) := {T x : m ∈ N0} of x. b) y = lim T [n]x n→∞ c) y = σ(E,E ′) − lim T [n]x n→∞ ′ [n] ′ d) y is a σ(E,E )-cluster point of T x n∈N, that is, for each 0-neighborhoodU in (E,σ(E,E )) ∈ N > − [n] ∈ and each m there is n m¡ such that¢ y T x U. MEAN ERGODIC COMPOSITION OPERATORS ON SPACES OF SMOOTH FUNCTIONS AND DISTRIBUTIONS 3

We are very grateful to J. Bonet [6] for pointing out to us the following consequence of Theo- rem 2.1. We include its proof here for the reader’s convenience. Corollary 2.2. Let T ∈ L (E) be Cesàro bounded. Then T is mean ergodic if and only if (3) is ∈ [n] ′ ∈ satisﬁed for all x E and T x n∈N is relatively σ(E,E )-compact for each x E.

¡ ¢ [n] ′ Proof. If T is mean ergodic, (3) holds by identity (1). Clearly T x n∈N is relatively σ(E,E )- compact for each x ∈ E because T [n]x converges in E. n∈N ¡ ¢ Conversely, given x ∈ E, the set ¡T [n]x¢: n ∈ N is relatively σ(E,E ′)-compact, and therefore [n] ′ [n] T x N has a σ(E,E )-cluster point y ∈ E. By Theorem 2.1, necessarily y = lim T x. We n∈ © ª n→∞ define¡ ¢ Px := lim T [n]x n→∞ ∈ [n] L ∈ L for each x E. Since T n∈N is equicontinuous in (E) we obtain that P (E) and T is mean ergodic. ¡ ¢ The following result is a version of [1, Theorem 2.4] for reflexive locally convex spaces which has been kindly provided to us by J. Bonet [6]. Again, we include its proof for the reader’s convenience. Theorem 2.3. Let E be a reflexive lcHs and T ∈ L (E). ThenT ismeanergodic ifand only if T 1 n = ∈ is Cesàro bounded and limn→∞ n T x 0 for every x E. Proof. We recall that a locally convex Hausdorff space E is reflexiveifand onlyif it isbarrelled and every bounded subset of E is relatively σ(E,E ′)-compact. As in the proof of Corollary 2.2, for mean ergodic T we have that (3) is satisfied for all x ∈ E and {T [n]x : n ∈ N} is relatively σ(E,E ′)-compact for each x ∈ E. Consequently, {T [n];n ∈ N} ⊂ L (E) is a pointwise bounded set and by the Uniform Boundedness Principle T is Cesàro bounded. Conversely, if {T [n] : n ∈ N} is equicontinuous, for each x ∈ E theset{T [n]x;n ∈ N} is bounded. Thus, as E is reflexive, this set is relatively σ(E,E ′)-compact. An application of Corollary 2.2 concludes the proof.

Since in semi-reﬂexive spaces bounded subsets are relatively σ(E,E ′)-compact and since for power bounded T condition (3) trivially holds, Corollary 2.2 yields the next result from [7, Proposition 3.3]. Corollary 2.4. Every power bounded operator on a semi-reﬂexive locally convex Hausdorff space is mean ergodic.

We are now ready to prove the following result which contains a characterization of (uniform) mean ergodicity for an operator on Montel spaces in terms of Cesàro boundedness and a growth property of its orbits. Theorem 2.5. Let E be a Montel space and let T ∈ L (E). (a) T is mean ergodic if and only if T is uniformly mean ergodic. (b) The following are equivalent. n T = (i) T is Cesàro bounded and limn→∞ n 0, pointwise in E. (ii) T is mean ergodic on E. (iii) T is uniformly mean ergodic on E. 4 T. KALMES AND D. SANTACREU

(iv) T t is mean ergodic on (E ′,β(E ′,E)). (v) T t is uniformly mean ergodic on (E ′,β(E ′,E)). t n t ′ ′ (T ) = ′ ′ (vi) T is Cesàro bounded on (E ,β(E ,E)) and limn→∞ n 0, pointwise in (E ,β(E ,E)).

Proof. Trivially, every uniformly mean ergodic operator is mean ergodic. Let T be mean ergodic. Then, T [n] : n ∈ N is equicontinuous and since E is a Montel space, every bounded subset B of E is relatively compact. Since on equicontinuous subsets of L (E) pointwise © ª convergence on E and uniform convergence of relatively compact subsets of E coincide, it [n] follows that T n∈N converges uniformly on bounded subsets of E. Thus, (a) is proved. In order to prove¡ ¢ (b), we observe that (i) and (ii) as well as (iv) and (vi) are equivalent by Theorem 2.3 while (ii) and (iii) are equivalent by part (a). Since with E also (E ′,β(E ′,E)) is a Montel space, the equivalence of (iv) and (v) follows from part (a) as well. Finally, by [2, Corollary2.7 (ii)] and the fact that Montel spaces are reﬂexive, (iii) and (v) are equivalent.

3. WEIGHTED COMPOSITION OPERATORS ON E (X )

In this section we study the mean ergodicity of weighted composition operators Cw,φ on the space of smooth functions E (X ), where X ⊆ R is an open set. Here, w : X → C and φ : X → X are smooth functions and E (X ) is equipped with its standard topology, i.e. with the Fréchet space topology generated by the seminorms (r ) ∀K ⊂ X compact, s ∈ N0, f ∈ E (X ) : kf ks,K := sup f (x) . x∈K ,0≤r ≤s ¯ ¯ As usual, Cw,φ : E (X ) → E (X ) is deﬁned as ¯ ¯

Cw,φ f (x) := w(x)f (φ(x)), x ∈ X , for all f ∈ E (X ). Then, E (X ) is a nuclear Fréchet space and thus, in particulara Montelspace and clearly Cw,φ ∈ L (E (X )). Thus, by Theorem 2.5 (b), Cw,φ is mean ergodic if and only if it is uniformly mean ergodic. For s ∈ N we have, using Leibniz’ rule and Faà di Bruno’s formula [15], (s) (s−r ) (s) n−1 s n−1 r n l n s l (j ) n n ′ n (r −j +1) Cw,φ f = w(φ ) f (φ )+ w(φ ) f (φ )Br,j ((φ ) ,...,(φ ) ), Ã l=0 ! r =1 Ãr !Ã l=0 ! j =1 ³ ´ Y X Y X l where Br,j denote the corresponding Bell polynomials. Please note that by φ we denote the l-fold composition of φ with itself etc.. In order to simplify our notation, we abbreviate ∀ ∈ N ∈ ∈ N φ = n ′ n (r −j +1) r , j {1,...,r },n 0 : Br,j,n : Br,j ((φ ) ,...,(φ ) ) as well as ∀ ∈ N ∈ N ∈ R φ = φ = r ,n 0, x : B0,0,n (x) : 1,Br,0,n(x) : 0. With this notation, we have (s−r ) (s) s n−1 n = l (j ) n φ (4) Cw,φ f w(φ ) f (φ )Br,j,n 0≤j ≤r ≤s Ãr !Ã l=0 ! ³ ´ X Y for every f ∈ E (X )and s ∈ N0. Evaluating this equalityfor thespecial case of fλ(y) := exp(λy),λ ∈ C, y ∈ R, yields (s−r ) (s) s n−1 ∀ ∈ C ∈ N n = ◦ n l j φ (5) λ , s 0 : Cw,φ fλ fλ φ w(φ ) λ Br,j,n. 0≤j ≤r ≤s Ãr !Ã l=0 ! ³ ´ X Y MEAN ERGODIC COMPOSITION OPERATORS ON SPACES OF SMOOTH FUNCTIONS AND DISTRIBUTIONS 5

Now we discuss necessary and sufficient conditions involving mean ergodicity. The following result is a characterization of the property (3) for Cw,φ. Proposition 3.1. Let φ : X → X andw : X → C be smooth functions such that {x ∈ X ; w(φm(x)) 6= 0} is densein X for everym ∈ N0. Then, the following are equivalent: 1 n = E (i) limn→∞ n Cw,φ f 0 in (X ). (ii) φ has stable orbits and − s n−1 (s r ) 1 l φ ∀K ⊂ X compact, s ∈ N0,h ∈ {0,..., s}: lim w(φ ) B = 0. n→∞ r,h,n n ° = Ã = ! ° °r h l 0 °0,K ° X Y ° ° ° ∈ N° = 2π ° ∈ Proof. In order to show that (i) implies (ii), for s we set λs : exp(i s ) and for h {1,..., s} we define j R Qs,h (x) := (λs − x), x ∈ . 1≤j ≤s, j 6=h Y h Thus, Qs,h is a polynomial of degree s − 1 with Qs,h(λs ) 6= 0. Then, 1 P (x) := Q (x), x ∈ R, s,h h s,h Qs,h (λs ) − j = ∈ (s,h) (s,h) ∈ C is a polynomial of degree s 1 satisfying Ps,h (λs ) δj,h for j {1,..., s}. Let α0 ,...,αs−1 = s−1 (s,h) k be such that Ps,h (x) k=0 αk x . Since E (X ) is a FréchetP space, by the Uniform Boundedness Principle,(i) implies the equicon- 1 n ∈ N tinuity of n Cw,φ; n 0 . In particular, Cw,φ is topologizable, so that by [19, Corollary 3.12 and proofn of Corollary 3.15]o φ has stable orbits. Now we fix s ∈ N and a compact K ⊂ X . For k arbitrary k ∈ N0, applying (i) and (5) to f k and λ , respectively, yields λs s − n−1 (s r ) 1 n s l jk φ (6) 0 = lim f k φ w φ λs B . n→∞ λs r,j,n n ° Ã ≤ ≤ ≤ Ãr !Ã = ! !° ° 0 j r s l 0 ³ ´ °0,K ° ¡ ¢ X Y ° ° n ° N Because φ has stableorbits,° thereis a compact set L ⊂ X such that φ (K ) ⊆°L for every n ∈ 0. By compactness of L × {λ ∈ C; |λ|= 1}, there is C > 0 such that n ∀n,k ∈ N0, x ∈ K : |f k (φ (x))|≥ C. λs Thus, (6) implies for every h ∈ {1,..., s} − s−1 n−1 (s r ) 1 (s,h) s l jk φ 0 = lim α w φ λs B n→∞ k r,j,n n °k=0 0≤j ≤r ≤s Ãr !Ã l=0 ! ° ° X X Y ³ ´ °0,K ° − ° ° n−1 (s r ) s−1 ° 1 ° s l (s,h) jk φ ° = lim w φ α λs B n→∞ k r,j,n n °0≤j ≤r ≤s Ãr !Ã l=0 ! Ãk=0 ! ° ° X Y ³ ´ X °0,K ° − ° ° n−1 (s r ) ° 1 ° s l j φ ° = lim w φ Ps,h λs B n→∞ r,j,n n °0≤j ≤r ≤s Ãr !Ã l=0 ! ° ° X Y ³ ´ ³ ´ °0,K ° − ° ° s n−1 (s r ) ° 1 ° s φ ° = lim w φl B . n→∞ r,h,n n ° = Ãr !Ã = ! ° °r h l 0 ³ ´ °0,K ° X Y ° ° ° ° ° 6 T. KALMES AND D. SANTACREU

Moreover, evaluating (i) for f = 1 implies

n−1 (s) lim w φj = 0. n→∞ °Ã = ! ° ° l 0 ³ ´ °0,K ° Y ° Thus, combining the last two equalities° gives ° ° ° − s n−1 (s r ) 1 s φ (7) ∀h ∈ {0,..., s}:0 = lim w φl B . n→∞ r,h,n n ° = Ãr !Ã = ! ° °r h l 0 ³ ´ °0,K ° X Y ° Finally, evaluating (i) again for f = 1 implies° for s = 0 that ° ° ° 0 n−1 1 φ 0 = lim w φl B n→∞ r,0,n n °r =0 Ã = ! ° ° l 0 ³ ´ °0,K °X Y ° so that (ii) follows. ° ° ° ° Conversely, in order to show that (ii) implies (i), we use (4) together with the fact that φ has stable orbits and the limits appearing in (ii) to conclude that for arbitrary f ∈ E (X )

1 n ∀K ⊂ X compact, s ∈ N0 : lim C f = 0 n→∞ n w,φ s,K ° ° which shows (i). ° ° ° ° Theorem 3.2. Let φ : X → X andw : X → C be smooth functions such that {x ∈ X ; w(φm(x)) 6= 0} is densein X for everym ∈ N0. Consider the following conditions.

(i) φ has stable orbits and for every compact set K ⊂ X,s ∈ N0,andh ∈ {0,..., s} there holds − s n−1 (s r ) 1 φ (8) lim w(φl ) B = 0 n→∞ r,h,n n ° = Ã = ! ° °r h l 0 °0,K ° X Y ° as well as ° ° ° ° (s−r ) 1 m s s n−1 l φ <∞ (9) sup w(φ ) Br,h,n . m∈N m n=1 ° = Ãr !Ã = ! ° °r h l 0 °0,K X ° X Y ° (ii) C is (uniformly) mean° ergodic on E (X ). ° w,φ ° ° (iii) φ has stable orbits and for every compact set K ⊂ X,s ∈ N0,andh ∈ {0,..., s} condition (8) holds. Then (i) implies (ii) and (ii) implies (iii).

Proof. If (i) holds, it follows from Proposition 3.1 that 1 C n f converges to 0 in E (X ) n w,φ n∈N for every f ∈ E (X ). Moreover, since φ has stable orbits,³ for a ﬁxed´ compact set K ⊂ X there n is a compact set L ⊂ X with φ (K ) ⊆ L for every n ∈ N. For arbitrary f ∈ E (X ) and s ∈ N0 it follows from (4) for x ∈ K and m ∈ N that (s−r ) 1 m (s) s 1 m s s n−1 n ≤ l φ (h) n Cw,φ f (x) w(φ ) (x)Br,h,n (x) f (φ (x)) m n=1 = m n=1 ¯ = Ãr !Ã = ! ¯ ¯ ³ ´ ¯ h 0 ¯r h l 0 ¯¯ ¯ ¯ X ¯ X X X Y − ¯ ¯ s ¯ m s n−1 (s r ) ¯¯ ¯ ¯ ¯ ¯1 s φ ¯¯ ¯ ≤ ¯ l ¯ f s,L w(φ ) Br,h,n = m n=1 ° = Ãr !Ã = ! ° h 0 °r h l 0 °0,K ° ° X X ° X Y ° which by (9) implies the Cesàro° ° boundedness° of C on E (X ). Since E (X ) is° a Montel space, ° w,φ ° by Theorem 2.5 (b) we conclude that Cw,φ is uniformly mean ergodic. MEAN ERGODIC COMPOSITION OPERATORS ON SPACES OF SMOOTH FUNCTIONS AND DISTRIBUTIONS 7

Next, if Cw,φ is mean ergodic, by Proposition 3.1 (iii) follows. Remark 3.3. (i) In case φ : X → X is a diffeomorphism it follows from [19, Proposition 3.9] together with Brouwer’s Invariance of Domain Theorem, that {x ∈ X ; w(φm(x)) 6= 0} is dense in X for every m ∈ N0 if (and only if) {x ∈ X ; w(x) 6= 0} is dense in X . (ii) For the special case of a constant weight w(x) = α ∈ C\{0}, (8) in Theorem 3.2 simpli- ﬁes to (8’) |αn | lim B φ = 0. n→∞ n s,h,n 0,K ° ° while (9) turns into ° ° (9’) ° ° 1 m | n | φ <∞ sup α Bs,h,n m∈N m = 0,K n 1 ° ° X ° ° ° ° ′ 4. MEAN ERGODIC COMPOSITION OPERATORS ON D (X )

In this section, for an open subset X ⊆ R, we study mean ergodicity of weighted composition operators on D ′(X ) with diffeomorphic symbol, where as usual D ′(X ) is equipped with the strong dual topology β(D ′(X ),D(X )), i.e. the topology of uniform convergence on bounded subsets of D(X ). Recall that for a diffeomorphism φ : X → X (or, more generally, a smooth function φ : X → X for which φ′ does not have zeros - so that φ is injective, in particular) ′ there is a unique continuous linear operator Cφ on D (X ) which satisﬁes Cφ f = f ◦ φ for every f ∈ C(X ). It holds

′ 1 −1 ∀u ∈ D (X ),ϕ ∈ D(X ) : 〈Cφu,ϕ〉= u, ϕ ◦ φ , |φ′| ¿ µ ¶ À where 〈·,·〉 denotes the duality bracket between D ′(X ) and D(X ) (cf. [13, Section 6.1]). If additionally w : X → C is smooth we deﬁne the weighted composition operator Cw,φ with weight w and symbol φ as Cw,φ := Mw ◦Cφ, where Mw denotes the multiplication operator ′ ′ by w on D (X ), i.e. 〈Mw u,ϕ〉=〈u, wϕ〉, u ∈ D (X ),ϕ ∈ D(X ). Hence, for m ∈ N0 and u ∈ D ′(X ),ϕ ∈ D(X )

m−1 l m−1 l = w φ w φ C m u,ϕ = u, ϕ l 0 ◦ (φm)−1 = u, ϕ ◦ (φm)−1 . w,φ | m ′| ′ l * Ã Q (φ )¡ ¢! + * Ã l=0 |φ ¡◦ φ¢|! + D E Y We begin this section with a trivial but important remark. Remark 4.1. Let φ : X → X be a diffeomorphism and let w : X → C be smooth. Then ′ ∀u ∈ D (X ): supp(Cw,φu) ⊆ φ suppu .

In particular, for every distribution with compact support¡ u it follows¢ that Cw,φu has again ′ ′ ′ compact support, i.e. Cw,φ E (X ) ⊆ E (X ). Now, we ﬁx u ∈ E (X ) and let ϕ ∈ D(X ) be such that ϕ = 1 in a neighborhood of φ(suppu). Denoting the duality bracket between D ′(X ) and ¡ ¢ ′ D(X ) with 〈·,·〉D ′,D and between E (X ) and E (X ) with 〈·,·〉E ′,E for a moment, for f ∈ E (X ) we have

w −1 −1 〈 〉 ′ =〈 〉 ′ = ◦ ◦ Cw,φu, f E ,E Cw,φu,ϕf D ,D u, ′ f φ ϕ φ |φ | ′ ¿ µµ ¶ ¶ ÀD ,D w = ◦ −1 u, ′ f φ , |φ | ′ ¿ µ ¶ ÀE ,E 8 T. KALMES AND D. SANTACREU where we have used ϕ◦φ−1 = 1 in a neighborhoodof suppu in the last equality. Thus, for the ′ transpose of the restriction of Cw,φ to E (X ) we have

t w −1 Cw,φ|E ′(X ) : E (X ) → E (X ), f 7→ f ◦ φ . |φ′| µ ¶ ¡ ¢ Proposition 4.2. Let φ : X → X be a diffeomorphism and w : X → C be smooth such that ′ {x ∈ X ; w(x) 6= 0} isdensein X andsuchthatCw,φ is mean ergodic on D (X ). Then,Cw,φ|E ′(X ) is mean ergodic on E ′(X ), where the latter is equipped with the strong dual topology β(E ′(X ),E (X )).

Note that D ′(X ) as well as E ′(X ) are Montel spaces, so by Theorem 2.5 mean ergodicity and uniform mean ergodicity of operators on these spaces are equivalent.

′ Proof. Since Cw,φ is mean ergodic on D (X ), by Theorem 2.5 (b), it is in particular topologizable. Thus, by [20, Corollary 2.10], φ has stable orbits. Therefore, for ﬁxed u ∈ E ′(X ) n and K := suppu there is a compact L ⊂ X such that φ (K ) ⊆ L for each n ∈ N0. In par- n ⊆ ∈ N n ∈ E ′ ∈ N E ′ ticular, suppCw,φu L for every n , i.e. Cw,φu (L) for all n . Since (L) is a ′ [n] ′ D N D closed subspace of (X ) and (Cw,φu)n∈ converges in (X ) by hypothesis, we conclude [n] ′ ′ N E D D that (Cw,φu)n∈ converges in (L) with respect to the topology β (X ), (X ) . However, by D ′ D E ′ E E ′ [14, Theorem 4.2.1], β( (X ), (X )) and β( (X ), (X )) induce the¡ same topology¢ on (L) [n] ′ ′ N E ∈ E so that (Cw,φu)n∈ converges in (X ). Since u (X ) was chosen arbitrarily, the claim follows. Proposition 4.3. Let φ : X → X be a diffeomorphism and w : X → C be smooth such that {x ∈ ′ X ; w(x) 6= 0} isdensein X andsuchthatCw,φ is (uniformly) mean ergodic on D (X ). Then,the −1 ′ −1 E weighted composition operator with weight w|(φ ) | and symbol φ on (X ),Cw|(φ−1)′|,φ−1 , is (uniformly) mean ergodic.

′ Proof. By Proposition 4.2, Cw,φ is (uniformly) mean ergodic on E (X ). Since E (X ) is a Fréchet- E Montel space, the (uniform) mean ergodocity of Cw|(φ−1)′|,φ−1 on (X ) follows from Theorem 2.5 and Remark 4.1. Theorem 4.4. Let φ : X → X be a diffeomorphism and w : X → C be smooth such that {x ∈ ′ X ; w(x) 6= 0} is densein X and such thatCw,φ is (uniformly) mean ergodic on D (X ). Then, φ and φ−1 have stable orbits.

Proof. Since Cw,φ is mean ergodic, Cw,φ is topologizable so that φ has stable orbits by [20, E Corollary 2.10]. Moreover, by Proposition 4.3, Cw|(φ−1)′|,φ−1 is mean ergodic on (X ). Thus, φ−1 has stable orbits by Theorem 3.2 together with the fact that with {x ∈ X ; w(x) 6= 0} being dense in X the same holds for {x ∈ X ; w(x)|(φ−1)′(x)| 6= 0}. Example 4.5. Let φ : R → R be the diffeomorphism deﬁned by φ(x) = x/2. Then the operator ′ Cφ is topologizable but it is neither mean ergodic nor power bounded on D (R).

Indeed, clearly φ has stable orbits so that by [20, Corollary 2.10] Cφ is topologizable. On the other hand, the inverse φ−1(x) = 2x of φ does not have stable orbits. By Theorem 4.4 ′ the operator Cφ is not mean ergodic. Since D (R) is Montel, in particular semi-reﬂexive, an application of Corollary 2.4 shows that Cφ is not power bounded.

The symbol of the operator from the previous example is a real analytic diffeomorphism that allows us to construct an operator Cφ which is topologizable and not mean ergodic on D ′(R). However, it is not clear whether there is a mean ergodic composition operator on MEAN ERGODIC COMPOSITION OPERATORS ON SPACES OF SMOOTH FUNCTIONS AND DISTRIBUTIONS 9

D ′(R) which is not power bounded. In fact, Theorem 4.9 below shows that if such a composition operator exists on D ′(R) then - recalling that the derivative of the symbol may not have zeros in order to induce a composition operator on D ′(R) - its symbol cannot be real analytic. The rest of this section is devoted to prove Theorem 4.9 which characterizes the real analytic ′ diffeomorphisms φ on an open interval X ⊆ R for which Cφ is mean ergodic on D (X ) and by 2 = ′ which this holds precisely when Cφ idD (X ).

We denote by Fφ the set of ﬁxed points of the mapping φ : X → X .

Lemma 4.6. Let φ : R → R be a diffeomorphism such that φ and φ−1 have stable orbits. Assume ′ φ > 0, then for each x ∉ Fφ there exist x1, x2 ∈ Fφ such that x1 < x < x2 and

]x1, x2[∩Fφ = ;.

Proof. Firstly, if there was no ﬁxed point we had φ(y) < y or φ(y) > y for all y ∈ R. In any case, since φ′ > 0, we obtain that φ cannot have stable orbits. This is a contradiction and therefore Fφ 6= ;.

Now, we argue by contradiction. Without loss of generality we assume that there is x1 < x such that ]x1,+∞[∩Fφ = ;. If φ(y) > y for all y > x1, then φ cannot have stable orbits. Finally, −1 −1 if φ(y) < y for all y > x1, we have that φ (y) > y for all y > x1 thus φ cannot have stable orbits. In any case we obtain a contradiction.

This completes the proof because x cannot be an accumulation point of Fφ since the set of ﬁxed points is closed.

Remark 4.7. Given a smooth function φ : X → X . For the special weight w = |φ′|, a straightforward calculation gives

∀ ∈ E ∈ N n = | n ′| n n ′ = ′ n f (X ),n 0 : C|φ′|,φ f (φ ) f (φ ), sign φ sign(φ ) . ³¡ ¢ ´ ¡ ¢ Denoting a primitive function of f ∈ E (X ) by F , we have for r,n ∈ N0 (r ) (r ) n = ◦ n ′ n n ′ C|φ′|,φ f f φ sign φ (φ )

³ ´ ³¡ ¢¡′ n ¡ ¢¢ ′ (r ) ´ = sign φ (F ◦ φn) ³¡ ¡ ¢¢ (r +1) ´ = C n F . sign(φ′),φ ³ ´ Clearly, from the above equality we derive that C|φ′|,φ is (uniformly) mean ergodic in E (X ) whenever Csign(φ′),φ is. On the other hand, suppose that Csign(φ′),φ is (uniformly) mean ergodic in E (X ). Then, φ has stable orbits (see Theorem 3.2) so that C [n] F is sign(φ′),φ n∈N bounded with respect to the compact open topology for every F ∈ E (X ).¡ Additionally,¢ by the fact that φ has stable orbits, it also holds true that 1 C n F tends to 0 with respect n sign(φ′),φ n∈N to the compact open topology. Thus, by the above¡ equation Csign¢ (φ′),φ is Cesàro bounded 1 n and satisﬁes that limn→∞ C = 0 pointwise in E (X ) . Theorem 2.5 (b) yields that n sign(φ′),φ E ′ Csign(φ′),φ is (uniformly) mean ergodic on (X ) if the same is truefor C|φ |,φ.

Proposition 4.8. Let φ : R → R be a real analytic diffeomorphism. Assume Cφ is mean ergodic D ′ R = 2 = ∈ R 2 = ∈ D ′ R on ( ). Then, φ(φ(x)) φ (x) x, x , and consequently Cφ(u) u,u ( ). 10 T. KALMES AND D. SANTACREU

Proof. We proceed by contradiction, assuming there is y ∈ R such that φ−2(y) 6= y. By Theo- rem 4.4 for each K ⊂ R compact set there is L ⊂ R compact such that ∞ ∞ (φ2)n (K ) ⊆ φn(K ) ⊆ L. n=0 n=0 [ [ Thus we obtain that φ2 has stable orbits and we can apply the same argument to obtain that φ−2 has stable orbits. Since φ is a diffeomorphism we have φ′(x) 6= 0 for every x ∈ R so that ′ ′ 2 ′ φ > 0or φ < 0. Thus, by thechain rule(φ ) > 0, so that by Lemma 4.6 there exist x1, x2 ∈ Fφ2 such that x1 < y < x2 and

(10) ]x1, x2[∩Fφ2 = ;. On the other hand, by Proposition 4.3 and Remark 4.7 we obtain that the weighted compo- E R → E R E R sition operator Csign((φ−1)′),φ−1 : ( ) ( ) is mean ergodic. Since ( ) is reﬂexive we can apply Theorem 2.3. Observe that Proposition 3.1 implies that

1 n 1 lim sign (φ−1)′ · (φ−n )(s)(x) = lim (φ−n)(s)(x) = 0 n→∞ n→∞ ¯n ¯ ¯n ¯ ¯ ¡ ¢ ¯ ¯ ¯ where we have taken ¯s ≥ 1, h = 1 and an arbitrary¯ K = {x}¯⊂ R and where¯ we have used that ¯ −2 ¯ ¯ ¯ Bs,1(y1,..., ys ) = ys . Denoting ψ = φ we obtain 1 (11) lim (ψn )(s)(x) = 0, n→∞ ¯2n ¯ ¯ ¯ for an arbitrary x ∈ R. ¯ ¯ ¯ ¯ ′ ′ Auxiliary Claim 1: ψ (x1) = 1 or ψ (x2) = 1. n Indeed, by the chain rule we have that (ψn )′(x) = ψ′(x) for any fixed point x. Then by (11) we have ′ ¡ ¢′ 0 < ψ (x1) ≤ 1 and 0 < ψ (x2) ≤ 1. ′ ′ Suppose that 0 < ψ (x1) < 1and0 < ψ (x2) < 1, then there are y1, y2 ∈]x1, x2[ such that ψ(y1) < y1 and ψ(y2) > y2. Thus by Bolzano’sTheorem there is a fixed point between y1 and y2 which contradicts (10) and proves the Auxiliary Claim 1. ′ Without loss of generality we can assume ψ (x1) = 1. n ′′ ′′ By induction one proves ψ (x1) = n ·ψ (x1) for all n ∈ N. Then for s = 2 and x1 we have by (11) ¡ ¢ 1 n ′′ n ′′ 1 ′′ 0 = lim (ψ ) (x1) = lim ψ (x1) = ψ (x1) . n→∞ n→∞ ¯2n ¯ 2n 2 ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ′ ¯ n¯ (j ) ¯ ¯ N Auxiliary Claim 2: Fix s ≥ 3.¯ Assume that¯ψ (x1) =¯ 1 and ψ ¯ (x1) = 0 hold for all n ∈ and n (s) (s) N all 2 ≤ j ≤ s − 1. Then ψ (x1) = n · ψ (x1) for all n ∈ ¡ . ¢ Indeed, fixing n ≥ 2 and¡ using¢ the original version of Faà di Bruno’s Formula for (ψ ◦ ψn−1)(s) (see [15]) we have

(j ) b j s! s ψn−1 (x ) n−1 (s) (b1+···+bs ) n−1 1 ψ ◦ ψ (x1) = ψ ψ (x1) . b !b !···b ! j ! b1+2b2+···+sbs =s 1 2 s j =1 Ã¡ ¢ ! ¡ ¢ X ¡ ¢ Y By the assumptions, given a summand if there is 2 ≤ j ≤ s − 1 with b j 6= 0 then, the summand is automatically 0. Therefore the non-zero summands must satisfy b1 +sbs = s. By this together with the fact that x1 is a ﬁxed point we obtain s n (s) (s) n−1 ′ ′ n−1 (s) (s) n−1 (s) ψ (x1) = ψ (x1) ψ (x1) + ψ (x1) ψ (x1) = ψ (x1) + ψ (x1) ¡ ¢ ³¡ ¢ ´ ¡ ¢ ¡ ¢ MEAN ERGODIC COMPOSITION OPERATORS ON SPACES OF SMOOTH FUNCTIONS AND DISTRIBUTIONS 11

n−1 ′ ′ n−1 n−1 (s) because (ψ ) (x1) = ψ (x1) = 1. We can apply this argument recursively to ψ (x1) to obtain the Auxiliary Claim 2. ¡ ¢ ¡ ¢ Under the assumptions of Auxiliary Claim 2 and using (11) on x1 we conclude that

n (s) 1 (s) 0 = lim ψ (x1) = ψ (x1) , n→∞ 2n 2 ¯ ¯ ¯ ′ ¯ ¯ (s¯) for each s ≥ 2. To summarize, x1 satisﬁes¯ ψ (x1¯) = 1¯ and ψ ¯ (x1) = 0, s ≥ 2. Because ψ is real analytic as the inverse of a real analytic function, it thus follows ψ(x) = x for every x ∈ R which contradicts (10).

Our next result should be compared to [10, Theorem 3.8]. Theorem 4.9. Let φ : X → X be a real analytic diffeomorphism on the non-empty, open interval X ⊆ R. Then, the following are equivalent. ′ ′ (i) Cφ : D (X ) → D (X ) is power bounded. ′ ′ (ii) Cφ : D (X ) → D (X ) is (uniformly) mean ergodic. (iii) φ2(x) = x for each x ∈ X . (iv) Cφ is periodic (with period 2).

Proof. Let E and F be two lcHs and let T as well as S be continuous linear operators on E and F , respectively. Moreover, let R : E → F be a continuous linear bijection such that R−1 is continuous, too, such that R ◦ T ◦ R−1 = S. It is straightforward to show that T is power bounded or (uniformly) mean ergodic if and only if the same applies to S. ′ ′ Moreover, there is a real analytic diffeomorphism χ : X → R and Cχ : D (R) → D (X ),u 7→ u◦χ −1 ϕ −1 = − 〈 〉= ◦ is a continuous linear bijection with Cχ Cχ 1 , where asusual Cχu,ϕ u, |χ′| χ for D ′ R D −1 u ∈ ( )and ϕ ∈ (X ). Clearly, Cχ ◦Cφ◦Cχ = Cχ◦φ◦χ−1 and the real analyticD diffeomorphism³ ´ E 2 χ ◦ φ ◦ χ−1 on R satisﬁes χ ◦ φ ◦ χ−1 (x) = x for every x ∈ R if and only if φ2(x) = x for each x ∈ X . Therefore, without loss of generality we can assume X = R. ¡ ¢ Next, since D ′(R) is a Montel space it is in particular a semi-reﬂexive space. Then by Corol- lary 2.4 every power bounded operator T on D ′(R) is mean ergodic. An application of The- orem 2.5 (a) gives that T is also uniformly mean ergodic. Hence, (ii) follows from (i). By Proposition 4.8, (ii) implies (iii). Finally, (iii) trivially implies (iv) which in turn immediately implies (i). Corollary 4.10. Let φ : X → X be a real analytic diffeomorphism on an open interval X ⊆ R such that there is p ∈ N with φp (x) = x for all x ∈ X. Then φ2(x) = x for each x ∈ X .

′ Proof. By hypothesis Cφ is a periodic operator on D (X ) so it is in particularpower bounded. Thus, the claim follows from Theorem 4.9.

We give examples of real analytic diffeomorphisms φ satisfying the assumptions on the previous result. In case φ′ > 0 the unique possibilityis the identitymap. However, the case φ′ < 0 is richer. Example 4.11. Let φ : X → X be a real analytic diffeomorphism on an open interval X ⊆ R such that φ2(x) = x for each x ∈ X . Assuming that our real analytic diffeomorphism φ: X → X is increasing, it follows that φ(x) = x, for all x ∈ X . Indeed, if there is y 6= φ(y) we may assume without loss of generality that 12 T. KALMES AND D. SANTACREU

y < φ(y) (for otherwise, we consider φ−1). Now, since φ is increasing we obtain that y < φ(y) < φ2(y) which contradicts the assumption. Contrary to the case of increasing real analytic diffeomorphisms, if we assume φ′ < 0, apart from the obvious example φ(x) =−(x + c) where c ∈ R, we obtain a whole class of examples as in [10, Example 1]. For this, let f : R → R be an even real analytic function such that |f ′(x)|≤ a < 1 for all x ∈ R. Then, except for refering to the Implicit Function Theorem in the real analytic class, see e.g. [21, Theorem 2.3.5], a verbatim repetition of the arguments presented in [10, Example 1], the equation x + y = f (x − y) deﬁnes a decreasing real analytic symbol y = φ(x), x ∈ R, with φ2(x) = x. Thus, φ is bijective, hence a real analytic diffeomorphism.

= x2 + For a concrete example, we consider the function f (x) 2 1 which yields the real analytic decreasing diffeomorphism q φ : R → R, x 7→ −3x + 8x2 + 2. satisfying φ2(x) = x, x ∈ R. p

Acknowledgements. The authorsare very gratefulto J. Bonet from UniversitatPolitècnica de València for many stimulating discussions on the topic of this paper and cordially acknowl- edge the permission to include the results from [6]. The research of the second author was partially supported by the project GV Prometeo 2017/102.

REFERENCES

[1] A. A. Albanese, J. Bonet, and W. J. Ricker. Mean ergodic operators in Fréchet spaces. Ann. Acad. Sci. Fenn. Math., 34(2):401–436, 2009. [2] A. A. Albanese, J. Bonet, and W. J. Ricker. On mean ergodic operators. In Vector measures, integration and related topics, volume 201 of Oper. Theory Adv. Appl., pages 1–20. Birkhäuser Verlag, Basel, 2010. [3] M. J. Beltrán-Meneu. Dynamics of weighted composition operators on weighted Banach spaces of entire functions. J. Math. Anal. Appl., 492(1):124422, 16, 2020. [4] M. J. Beltrán-Meneu, M. C. Gómez-Collado, E. Jordá, and D. Jornet. Mean ergodic composition operators on Banach spaces of holomorphic functions. J. Funct. Anal., 270(12):4369–4385, 2016. [5] M. J. Beltrán-Meneu, M. C. Gómez-Collado, E. Jordá, and D. Jornet. Mean ergodicity of weighted composition operators on spaces of holomorphic functions. J. Math. Anal. Appl., 444(2):1640–1651, 2016. [6] J. Bonet. Notes on mean ergodic operators on locally convex spaces. Personal communication. 2021. [7] J. Bonet, B. de Pagter, and W. J. Ricker. Mean ergodic operators and reflexive Fréchet lattices. Proc. Roy. Soc. Edinburgh Sect. A, 141(5):897–920, 2011. [8] J. Bonet and P.Domański. A note on mean ergodic composition operators on spaces of holomorphic functions. Rev. R. Acad. Cienc. Exactas Fís. Nat. Ser. A Mat. RACSAM, 105(2):389–396, 2011. [9] J. Bonet and P.Domański. Power bounded composition operators on spaces of analytic functions. Collect. Math., 62(1):69–83, 2011. [10] C. Fernández, A. Galbis, and E. Jordá. Dynamics and spectra of composition operators on the Schwartz space. J. Funct. Anal., 274(12):3503–3530, 2018. [11] M. C. Gómez-Collado, E. Jordá, and D. Jornet. Power bounded composition operators on spaces of meromorphic functions. Topology Appl., 203:141–146, 2016. [12] S.-A. Han and Z.-H. Zhou. Mean ergodicity of composition operators on Hardy space. Proc. Indian Acad. Sci. Math. Sci., 129(4):Paper No. 45, 10, 2019. [13] L. Hörmander. The analysis of linear partial differential operators. I. Classics in Mathematics. Springer- Verlag, Berlin, 2003. Distribution theory and Fourier analysis, Reprint of the second (1990) edition [Springer, Berlin; MR1065993 (91m:35001a)]. [14] J. Horváth. Topological vector spaces and distributions. Vol. I. Addison-Wesley Publishing Co., Reading, Mass.-London-Don Mills, Ont., 1966. MEAN ERGODIC COMPOSITION OPERATORS ON SPACES OF SMOOTH FUNCTIONS AND DISTRIBUTIONS 13

[15] W. P.Johnson. The curious history of Faà di Bruno’s formula. Amer. Math. Monthly, 109(3):217–234, 2002. [16] E. Jordá and A. Rodríguez-Arenas. Ergodic properties of composition operators on Banach spaces of analytic functions. J. Math. Anal. Appl., 486(1):123891, 14, 2020. [17] D. Jornet, D. Santacreu, and P. Sevilla-Peris. Mean ergodic composition operators in spaces of homogeneous polynomials. J. Math. Anal. Appl., 483(1):123582, 11, 2020. [18] D. Jornet, D. Santacreu, and P. Sevilla-Peris. Mean ergodic composition operators on spaces of holomorphic functions on a Banach space. J. Math. Anal. Appl., 500(2):125139, 16, 2021. [19] T. Kalmes. Power bounded weighted composition operators on function spaces deﬁned by local properties. J. Math. Anal. Appl., 471(1-2):211–238, 2019. [20] T. Kalmes. Topologizable and power bounded weighted composition operators on spaces of distributions. Ann. Polon. Math., 125(2):139–154, 2020. [21] S. G. Krantz and H. R. Parks. A primer of real analytic functions, volume 4 of Basler Lehrbücher [Basel Textbooks]. Birkhäuser Verlag, Basel, 1992. [22] U. Krengel. Ergodic theorems, volume 6 of De Gruyter Studies in Mathematics. Walter de Gruyter & Co., Berlin, 1985. With a supplement by Antoine Brunel. [23] W. Seyoum, T. Mengestie, and J. Bonet. Mean ergodic composition operators on generalized Fock spaces. Rev. R. Acad. Cienc. Exactas Fís. Nat. Ser. A Mat. RACSAM, 114(1):Paper No. 6, 11, 2020.

THOMAS KALMES, CHEMNITZ UNIVERSITY OF TECHNOLOGY, FACULTY OF MATHEMATICS, 09107 CHEMNITZ, GERMANY Email address: [email protected]

DANIEL SANTACREU,INSTITUTO UNIVERSITARIO MATEMÁTICA PURA Y APLICADA IUMPA, UNIVERSITAT POLITÈC- NICA DE VALÈNCIA, CAMINO DE VERA, S/N, 46701 VALENCIA, SPAIN Email address: [email protected]