The rate of growth of an operator T satisfying the mean ergodic theorem (MET) cannot be faster than linear. It was recently shown (Kornfeld-Kosek, Colloq. Math. 98 (2003)) that for every γ > 0, there are positive L¹[0,1] operators T satisfying MET with $li{m}_{n\to \infty }\left|\right|Tⁿ\left|\right|/n^{1-\gamma }=\infty$. In the class of positive L¹ operators this is the most one can hope for in the sense that for every such operator T, there exists a γ₀ > 0 such that $limsup\left|\right|Tⁿ\left|\right|/n^{1-\gamma ₀}=0.$ In this note we construct an example of a nonpositive L¹ operator with the...

E. Hille [Hi1] gave an example of an operator in L¹[0,1] satisfying the mean ergodic theorem (MET) and such that supₙ||Tⁿ|| = ∞ (actually, $\left|\right|Tⁿ\left|\right|\sim n^{1/4}$). This was the first example of a non-power bounded mean ergodic L¹ operator. In this note, the possible rates of growth (in n) of the norms of Tⁿ for such operators are studied. We show that, for every γ > 0, there are positive L¹ operators T satisfying the MET with $li{m}_{n\to \infty }\left|\right|Tⁿ\left|\right|/n^{1-\gamma }=\infty .IntheclassofpositiveoperatorstheseexamplesarethebestpossibleinthesensethatforeverysuchoperatorTthereexistsa\gamma ₀>0suchthat$lim supn→ ∞ ||Tⁿ||/n1-γ₀ = 0$.$A class of numerical sequences αₙ, intimately...

In topological dynamics a theory of recurrence properties via (Furstenberg) families was established in the recent years. In the current paper we aim to establish a corresponding theory of ergodicity via families in measurable dynamical systems (MDS). For a family ℱ (of subsets of ℤ₊) and a MDS (X,,μ,T), several notions of ergodicity related to ℱ are introduced, and characterized via the weak topology in the induced Hilbert space L²(μ). T is ℱ-convergence ergodic of order k if for any...

An improvement of the generalization-obtained in a previous article [Bu1] by the author-of the uniform ergodic theorem to poles of arbitrary order is derived. In order to answer two natural questions suggested by this result, two examples are also given. Namely, two bounded linear operators T and A are constructed such that $n^{-2}Tⁿ$ converges uniformly to zero, the sum of the range and the kernel of 1-T being closed, and $n^{-3}{\sum }_{k=0}^{n-1}{A}^k$ converges uniformly, the sum of the range of 1-A and the kernel of (1-A)²...

Let X be a closed subspace of $L^p\left(\mu \right)$, where μ is an arbitrary measure and 1 < p < ∞. Let U be an invertible operator on X such that $su{p}_{n\in \mathbb{Z}}\left|\right|Uⁿ\left|\right|<\infty$. Motivated by applications in ergodic theory, we obtain (optimal) conditions for the convergence of series like ${\sum }_{n\ge 1}\left(Uⁿf\right)/n^{1-\alpha }$, 0 ≤ α < 1, in terms of $\left|\right|f+\cdots +U^{n-1}f{\left|\right|}_p$, generalizing results for unitary (or normal) operators in L²(μ). The proofs make use of the spectral integration initiated by Berkson and Gillespie and, more particularly, of results from a paper by Berkson-Bourgain-Gillespie. ...

Let (X,,μ,τ) be an ergodic dynamical system and φ be a measurable map from X to a locally compact second countable group G with left Haar measure $m_G$. We consider the map ${\tau }_{\phi }$ defined on X × G by ${\tau }_{\phi }:(x,g)\mapsto (\tau x,\phi \left(x\right)g)$ and the cocycle ${\left(\phi ₙ\right)}_{n\in \mathbb{Z}}$ generated by φ. Using a characterization of the ergodic invariant measures for ${\tau }_{\phi }$, we give the form of the ergodic decomposition of $\mu \left(dx\right)\otimes m_G\left(dg\right)$ or more generally of the ${\tau }_{\phi }$-invariant measures ${\mu }_{\chi }\left(dx\right)\otimes \chi \left(g\right)m_G\left(dg\right)$, where ${\mu }_{\chi }\left(dx\right)$ is χ∘φ-conformal for an exponential χ on G.

We prove that if μₙ are probability measures on ℤ such that μ̂ₙ converges to 0 uniformly on every compact subset of (0,1), then there exists a subsequence $n_k$ such that the weighted ergodic averages corresponding to ${\mu }_{n_k}$ satisfy a pointwise ergodic theorem in L¹. We further discuss the relationship between Fourier decay and pointwise ergodic theorems for subsequences, considering in particular the averages along n² + ⌊ρ(n)⌋ for a slowly growing function ρ. Under some monotonicity assumptions,...

Junge and Xu (2007), employing the technique of noncommutative interpolation, established a maximal ergodic theorem in noncommutative $L_p$-spaces, 1 < p < ∞, and derived corresponding maximal ergodic inequalities and individual ergodic theorems. In this article, we derive maximal ergodic inequalities in noncommutative $L_p$-spaces directly from the results of Yeadon (1977) and apply them to prove corresponding individual and Besicovitch weighted ergodic theorems. Then we extend these...

We study sets of non-typical points under the map $f_{\beta }\mapsto \beta x$ mod 1 for non-integer β and extend our results from [Fund. Math. 209 (2010)] in several directions. In particular, we prove that sets of points whose forward orbit avoid certain Cantor sets, and the set of points for which ergodic averages diverge, have large intersection properties. We observe that the technical condition β > 1.541 found in the above paper can be removed.

Let T be a measure-preserving and mixing action of a countable abelian group G on a probability space (X,,μ) and A a locally compact second countable abelian group. A cocycle c: G × X → A for T disperses if $li{m}_{g\to \infty }c(g,·)-\alpha \left(g\right)=\infty$ in measure for every map α: G → A. We prove that such a cocycle c does not disperse if and only if there exists a compact subgroup A₀ ⊂ A such that the composition θ ∘ c: G × X → A/A₀ of c with the quotient map θ: A → A/A₀ is trivial (i.e. cohomologous to a homomorphism η: G → A/A₀). This...

Let T be a power-bounded operator on a (real or complex) Banach space. We study the convergence of the one-sided ergodic Hilbert transform $li{m}_n{\sum }_{k=1}^n\left(T^{k}x\right)/k$. We prove that weak and strong convergence are equivalent, and in a reflexive space also $su{p}_n\left|\right|{\sum }_{k=1}^n\left(T^{k}x\right)/k\left|\right|<\infty$ is equivalent to the convergence. We also show that $-{\sum }_{k=1}^{\infty }\left(T^k\right)/k$ (which converges on (I-T)X) is precisely the infinitesimal generator of the semigroup ${(I-T)}_{|\overline{(I-T)X}}^r$.

For a given linear operator T in a complex Banach space X and α ∈ ℂ with ℜ (α) > 0, we define the nth Cesàro mean of order α of the powers of T by $M{ₙ}^{\alpha }={\left(A{ₙ}^{\alpha }\right)}^{-1}{\sum }_{k=0}^n{A}_{n-k}^{\alpha -1}{T}^k$. For α = 1, we find $Mₙ¹={(n+1)}^{-1}{\sum }_{k=0}^n{T}^k$, the usual Cesàro mean. We give necessary and sufficient conditions for a (C,α) bounded operator to be (C,α) strongly (weakly) ergodic.

We study a class of square functions in a general framework with applications to a variety of situations: samples along subsequences, averages of $\mathbb{Z}{₊}^d$ actions and of positive L¹ contractions. We also study the relationship between a counting function first introduced by Jamison, Orey and Pruitt, in a variety of situations, and the corresponding ergodic averages. We show that the maximal counting function is not dominated by the square functions.

We obtain estimates for derivative and cross-ratio distortion for $C^{2+\eta }$ (any η > 0) unimodal maps with non-flat critical points. We do not require any “Schwarzian-like” condition. For two intervals J ⊂ T, the cross-ratio is defined as the value B(T,J): = (|T| |J|)/(|L| |R|) where L,R are the left and right connected components of T∖J respectively. For an interval map g such that $g_T:T\to ℝ$ is a diffeomorphism, we consider the cross-ratio distortion to be B(g,T,J): = B(g(T),g(J))/B(T,J). We prove...

Let $f\in V_r\left(\right){\cup }_r\left(\right)$, where, for 1 ≤ r < ∞, $V_r\left(\right)$ (resp., ${}_r\left(\right)$) denotes the class of functions (resp., bounded functions) g: → ℂ such that g has bounded r-variation (resp., uniformly bounded r-variations) on (resp., on the dyadic arcs of ). In the author’s recent article [New York J. Math. 17 (2011)] it was shown that if is a super-reflexive space, and E(·): ℝ → () is the spectral decomposition of a trigonometrically well-bounded operator U ∈ (), then over a suitable non-void open interval of r-values,...

We construct a rank-one infinite measure preserving flow ${\left(T_r\right)}_{r\in ℝ}$ such that for each p > 0, the “diagonal” flow ${\left(T_r\times \cdots \times T_r\right)}_{r\in ℝ}\left(ptimes\right)$ on the product space is ergodic.

On reflexive spaces trigonometrically well-bounded operators have an operator-ergodic-theory characterization as the invertible operators U such that $su{p}_{n\in \mathbb{N},z\in }\left|\right|{\sum }_{0<\left|k\right|\le n}(1-|k|/(n+1))k^{-1}{z}^k{U}^k\left|\right|<\infty$. (*) Trigonometrically well-bounded operators permeate many settings of modern analysis, and this note highlights the advances in both their spectral theory and operator ergodic theory made possible by a recent rekindling of interest in the R. C. James inequalities for super-reflexive spaces. When the James inequalities are combined with...

Let $U₁,...,U_d$ be a non-periodic collection of commuting measure preserving transformations on a probability space (Ω,Σ,μ). Also let Γ be a nonempty subset of $\mathbb{Z}{₊}^d$ and the associated collection of rectangular parallelepipeds in ${ℝ}^d$ with sides parallel to the axes and dimensions of the form $n₁\times \cdots \times n_d$ with $(n₁,...,n_d)\in \Gamma .$ The associated multiparameter geometric and ergodic maximal operators $M_{}$ and $M_{\Gamma }$ are defined respectively on $L¹\left({ℝ}^d\right)$ and L¹(Ω) by $M_{}g\left(x\right)=su{p}_{x\in R\in }1/\left|R\right|{\int }_R\left|g\left(y\right)\right|dy$ and $M_{\Gamma }f\left(\omega \right)=su{p}_{(n₁,...,n_d)\in \Gamma }1/n₁\cdots n_d{\sum }_{j₁=0}^{n₁-1}\cdots {\sum }_{j_d=0}^{n_d-1}\left|f\left(U{₁}^{j₁}\cdots U_d^{j_d}\omega \right)\right|$. Given a Young function Φ, it is shown that $M_{}$ satisfies the weak type estimate ...

Net (X,ℱ,ν) be a σ-finite measure space. Associated with k Lamperti operators on $L^p\left(\nu \right)$, $T₁,...,T_k$, $n̅=(n₁,...,n_k)\in {\mathbb{N}}^k$ and $\alpha ̅=(\alpha ₁,...,{\alpha }_k)$ with $0<{\alpha }_j\le 1$, we define the ergodic Cesàro-α̅ averages ${}_{n̅,\alpha ̅}f=1/\left({\prod }_{j=1}^k{A}_{n_j}^{{\alpha }_j}\right){\sum }_{i_k=0}^{n_k}\cdots {\sum }_{i₁=0}^{n₁}{\prod }_{j=1}^k{A}_{n_j-i_j}^{{\alpha }_j-1}{T}_k^{i_k}\cdots T{₁}^{i₁}f$. For these averages we prove the almost everywhere convergence on X and the convergence in the $L^p\left(\nu \right)$ norm, when $n₁,...,n_k\to \infty$ independently, for all $f\in L^p\left(d\nu \right)$ with p > 1/α⁎ where $\alpha ⁎=mi{n}_{1\le j\le k}{\alpha }_j$. In the limit case p = 1/α⁎, we prove that the averages ${}_{n̅,\alpha ̅}f$ converge almost everywhere on X for all f in the Orlicz-Lorentz space $\Lambda (1/\alpha ⁎,{\phi }_{m-1})$ with $\phi ₘ\left(t\right)=t{(1+log⁺t)}^m$. To obtain the result in the limit case we need...

In ergodic theory, certain sequences of averages $A_{k}f$ may not converge almost everywhere for all f ∈ L¹(X), but a sufficiently rapidly growing subsequence $A_{m_k}f$ of these averages will be well behaved for all f. The order of growth of this subsequence that is sufficient is often hyperexponential, but not necessarily so. For example, if the averages are $A_{k}f\left(x\right)=1/\left(2^k\right){\sum }_{j=4^k+1}^{4^k+2^k}f\left(T^{j}x\right)$, then the subsequence $A_{k²}f$ will not be pointwise good even on $L^{\infty }$, but the subsequence $A_{2^k}f$ will be pointwise good on L¹. Understanding when the hyperexponential...

We show that for any irrational number α and a sequence ${m_l}_{l\in \mathbb{N}}$ of integers such that $li{m}_{l\to \infty }\left|\right||m_l\alpha \left|\right||=0$, there exists a continuous measure μ on the circle such that $li{m}_{l\to \infty }{\int }_{}\left|\right||m_l\theta \left|\right||d\mu \left(\theta \right)=0$. This implies that any rigidity sequence of any ergodic transformation is a rigidity sequence for some weakly mixing dynamical system. On the other hand, we show that for any α ∈ ℝ - ℚ, there exists a sequence ${m_l}_{l\in \mathbb{N}}$ of integers such that $\left|\right||m_l\alpha \left|\right||\to 0$ and such that $m_l\theta \left[1\right]$ is dense on the circle if and only if θ ∉ ℚα + ℚ.

We show that some results of Gaposhkin about a.e. convergence of series associated to a unitary operator U acting on L²(X,Σ,μ) (μ is a σ-finite measure) may be extended to the case where U is an invertible power-bounded operator acting on $L^p(X,\Sigma ,\mu )$, p > 1. The proofs make use of the spectral integration initiated by Berkson-Gillespie and, more specifically, of recent results of the author.

Asymptotic properties of the sequences (a) ${P_{\phi }^{j}g}_{j=1}^{\infty }$ and (b) ${j^{-1}{\sum }_{i=0}^{j-1}P{ⁱ}_{\phi }g}_{j=1}^{\infty }$, where $P_{\phi }:L¹\to L¹$ is the Frobenius-Perron operator associated with a nonsingular Markov map defined on a σ-finite measure space, are studied for g ∈ G = f ∈ L¹: f ≥ 0 and ⃦f ⃦ = 1. An operator-theoretic analogue of Rényi’s Condition is introduced. It is proved that under some additional assumptions this condition implies the L¹-convergence of the sequences (a) and (b) to a unique g₀ ∈ G. The general result is applied to some smooth Markov...

The local deformations of a submanifold under the effect of a smooth dynamical system are studied with the help of Oseledets’ multiplicative ergodic theorem. Equivalence classes of submanifolds, called jets, are introduced in order to describe these local deformations. They identify submanifolds having the same approximations up to some order at a given point. For every order $k$, a condition on the Lyapunov exponents of the dynamical system is established insuring the convergence of the...

We prove that for the spectral radius of a weighted composition operator $a{T}_{\alpha }$, acting in the space $L^p(X,,\mu )$, the following variational principle holds: $lnr\left(a{T}_{\alpha }\right)=ma{x}_{\nu \in M{¹}_{\alpha ,e}}{\int }_{X}ln\left|a\right|d\nu$, where X is a Hausdorff compact space, α: X → X is a continuous mapping preserving a Borel measure μ with suppμ = X, $M{¹}_{\alpha ,e}$ is the set of all α-invariant ergodic probability measures on X, and a: X → ℝ is a continuous and ${}_{\infty }$-measurable function, where ${}_{\infty }={\bigcap }_{n=0}^{\infty }{\alpha }^{-n}\left(\right)$. This considerably extends the range of validity of the above formula, which was previously known...

This paper is a proceedings version of the ongoing work [20], and has been the object of the talk of the second author at Journées EDP in 2012. In this work we investigate optimal observability properties for wave and Schrödinger equations considered in a bounded open set $\Omega \subset {ℝ}^n$, with Dirichlet boundary conditions. The observation is done on a subset $\omega$ of Lebesgue measure $\left|\omega \right|=L\left|\Omega \right|$, where $L\in (0,1)$ is fixed. We denote...

We study a continuous time random walk $X$ in an environment of dynamic random conductances in ${\mathbb{Z}}^d$. We assume that the conductances are stationary ergodic, uniformly bounded and bounded away from zero and polynomially mixing in space and time. We prove a quenched invariance principle for $X$, and obtain Green’s functions bounds and a local limit theorem. We also discuss a connection to stochastic interface models.

A loop of order $n$ possesses at least $3n^2-3n+1$ associative triples. However, no loop of order $n>1$ that achieves this bound seems to be known. If the loop is involutory, then it possesses at least $3n^2-2n$ associative triples. Involutory loops with $3n^2-2n$ associative triples can be obtained by prolongation of certain maximally nonassociative quasigroups whenever $n-1$ is a prime greater than or equal to $13$ or $n-1=p^{2k}$, $p$ an odd prime. For orders $n\le 9$ the minimum number of associative triples is reported for both general...

Let $\mu$ be a probability measure on $[0,1]$ which is invariant and ergodic for $T_a\left(x\right)=ax\mathrm{𝚖𝚘𝚍}1$, and $0<\mathrm{𝚍𝚒𝚖}\mu <1$. Let $f$ be a local diffeomorphism on some open set. We show that if $E\subseteq ℝ$ and $\left(f\mu \right){\left|{}_E\sim \mu \right|}_E$, then $f^{\text{'}}\left(x\right)\in \left\{\pm a^r:r\in \mathbb{Q}\right\}$ at $\mu$-a.e. point $x\in f^{-1}E$. In particular, if $g$ is a piecewise-analytic map preserving $\mu$ then there is an open $g$-invariant set $U$ containing supp $\mu$ such that $g\left|{}_U\right.$ is piecewise-linear with slopes which are rational powers of $a$. In a similar vein, for $\mu$ as above, if $b$ is another integer and $a,b$ are not powers of a common integer, and if $\nu$ is...

Let $G:=\mathrm{SO}{(n,1)}^{\circ }$ and $\Gamma (n-1)/2$ for $n=2,3$ and when $\delta >n-2$ for $n\ge 4$, we obtain an effective archimedean counting result for a discrete orbit of $\Gamma$ in a homogeneous space $H\setminus G$ where $H$ is the trivial group, a symmetric subgroup or a horospherical subgroup. More precisely, we show that for any effectively well-rounded family $\{{ℬ}_T\subset H\setminus G\}$ of compact subsets, there exists $\eta >0$ such that $\#\left[e\right]\Gamma \cap {ℬ}_T=ℳ\left({ℬ}_T\right)+O\left(ℳ{\left({ℬ}_T\right)}^{1-\eta }\right)$ for an explicit measure $ℳ$ on $H\setminus G$ which depends on $\Gamma$. We also apply the affine sieve and describe the distribution of almost primes on orbits of $\Gamma$ in arithmetic...

The first two authors have recently defined Rabinowitz Floer homology groups $RF{H}_{*}(M,W)$ associated to a separating exact embedding of a contact manifold $(M,\xi )$ into a symplectic manifold $(W,\omega )$. These depend only on the bounded component $V$ of $W\setminus M$. We construct a long exact sequence in which symplectic cohomology of $V$ maps to symplectic homology of $V$, which in turn maps to Rabinowitz Floer homology $RF{H}_{*}(M,W)$, which then maps to symplectic cohomology of $V$. We compute $RF{H}_{*}(S{T}^{*}L,T^{*}L)$, where $S{T}^{*}L$ is the unit cosphere bundle of a closed...