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

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

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 θ ∉ ℚα + ℚ.

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.

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

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

We prove that $trt{K}_{\omega }>\omega +1$, where trt stands for the transfinite extension of Steinke’s separation dimension. This answers a question of Chatyrko and Hattori.

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

This paper is motivated by the problem of dependence of the Hausdorff dimension of the Julia-Lavaurs sets $J_{0,\sigma }$ for the map f₀(z) = z²+1/4 on the parameter σ. Using homographies, we imitate the construction of the iterated function system (IFS) whose limit set is a subset of $J_{0,\sigma }$, given by Urbański and Zinsmeister. The closure of the limit set of our IFS ${\varphi }_{\sigma ,\alpha }^{n,k}$ is the closure of some family of circles, and if the parameter σ varies, then the behavior of the limit set is similar to the behavior of...

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

For x ∈ (0,1), the univoque set for x, denoted (x), is defined to be the set of β ∈ (1,2) such that x has only one representation of the form x = x₁/β + x₂/β² + ⋯ with $x_i\in 0,1$. We prove that for any x ∈ (0,1), (x) contains a sequence ${{\beta }_k}_{k\ge 1}$ increasing to 2. Moreover, (x) is a Lebesgue null set of Hausdorff dimension 1; both (x) and its closure $\overline{\left(x\right)}$ are nowhere dense.

Let $K=\mathbb{Q}\left(\alpha \right)$ be a number field generated by a complex root $\alpha$ of a monic irreducible polynomial $f\left(x\right)=x^{18}-m$, $m\ne \mp 1$, is a square free rational integer. We prove that if $m\equiv 2$ or $3(\mathrm{mod}4)$ and $m\neg \equiv \mp 1(\mathrm{mod}9)$, then the number field $K$ is monogenic. If $m\equiv 1(\mathrm{mod}4)$ or $m\equiv 1(\mathrm{mod}9)$, then the number field $K$ is not monogenic.

Let f₀(z) = z²+1/4. We denote by ₀ the set of parameters σ ∈ ℂ for which the critical point 0 escapes from the filled-in Julia set K(f₀) in one step by the Lavaurs map $g_{\sigma }$. We prove that if σ₀ ∈ ∂₀, then the Hausdorff dimension of the Julia-Lavaurs set $J_{0,\sigma }$ is continuous at σ₀ as the function of the parameter $\sigma \in \overline{₀}$ if and only if $HD\left(J_{0,\sigma ₀}\right)\ge 4/3$. Since $HD\left(J_{0,\sigma }\right)>4/3$ on a dense set of parameters which correspond to preparabolic points, the lower semicontinuity implies the continuity of $HD\left(J_{0,\sigma }\right)$ on an open and dense subset of...

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

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

Let E be an interval in the unit interval [0,1). For each x ∈ [0,1) define dₙ(x) ∈ 0,1 by $dₙ\left(x\right):={\sum }_{i=1}^n{1}_E\left(2^{i-1}x\right)\left(mod2\right)$, where t is the fractional part of t. Then x is called a normal number mod 2 with respect to E if $N^{-1}{\sum }_{n=1}^{N}dₙ\left(x\right)$ converges to 1/2. It is shown that for any interval E ≠(1/6, 5/6) a.e. x is a normal number mod 2 with respect to E. For E = (1/6, 5/6) it is proved that $N^{-1}{\sum }_{n=1}^{N}dₙ\left(x\right)$ converges a.e. and the limit equals 1/3 or 2/3 depending on x.

Let ℤ be the set of integers, and let (m,n) be the greatest common divisor of integers m and n. Let p be a prime of the form 4k+1 and p = c²+d² with c,d ∈ ℤ, $d=2^{r}d₀$ and c ≡ d₀ ≡ 1 (mod 4). In the paper we determine ${(b+\surd (b²+4^{\alpha })/2)}^{(p-1)/4)}\left(modp\right)$ for p = x²+(b²+4α)y² (b,x,y ∈ ℤ, 2∤b), and ${(2a+\surd 4a²+1)}^{(p-1)/4}\left(modp\right)$ for p = x²+(4a²+1)y² (a,x,y∈ℤ) on the condition that (c,x+d) = 1 or (d₀,x+c) = 1. As applications we obtain the congruence for $U_{(p-1)/4}\left(modp\right)$ and the criterion for $p|U_{(p-1)/8}$ (if p ≡ 1 (mod 8)), where Uₙ is the Lucas sequence given by U₀ = 0, U₁ = 1 and...

Let ${fₙ}_{n\ge 1}$ be an infinite iterated function system on [0,1] satisfying the open set condition with the open set (0,1) and let Λ be its attractor. Then to any x ∈ Λ (except at most countably many points) corresponds a unique sequence ${aₙ\left(x\right)}_{n\ge 1}$ of integers, called the digit sequence of x, such that $x=li{m}_{n\to \infty }{f}_{a₁\left(x\right)}\circ \cdots \circ f_{aₙ\left(x\right)}\left(1\right)$. We investigate the growth speed of the digits in a general infinite iterated function system. More precisely, we determine the dimension of the set $x\in \Lambda :aₙ\left(x\right)\in B\left(\forall n\ge 1\right),li{m}_{n\to \infty }aₙ\left(x\right)=\infty$ for any infinite subset B ⊂ ℕ, a question posed by...

Let f: X→ X be a topologically transitive continuous map of a compact metric space X. We investigate whether f can have the following stronger properties: (i) for each m ∈ ℕ, $f\times f²\times \cdots \times f^m:X^m\to X^m$ is transitive, (ii) for each m ∈ ℕ, there exists x ∈ X such that the diagonal m-tuple (x,x,...,x) has a dense orbit in $X^m$ under the action of $f\times f²\times \cdots \times f^m$. We show that (i), (ii) and weak mixing are equivalent for minimal homeomorphisms, that all mixing interval maps satisfy (ii), and that there are mixing subshifts not satisfying...

It is shown that every Polish space X with $di{m}_{T}X\ge d$ admits a compact subspace Y such that $di{m}_{H}Y\ge d$ where $di{m}_T$ and $di{m}_H$ denote the topological and Hausdorff dimensions, respectively.

Let P and Q be nonzero integers. The sequences of generalized Fibonacci and Lucas numbers are defined by U₀ = 0, U₁ = 1 and $U_{n+1}=PUₙ-Q{U}_{n-1}$ for n ≥ 1, and V₀ = 2, V₁ = P and $V_{n+1}=PVₙ-Q{V}_{n-1}$ for n ≥ 1, respectively. In this paper, we assume that P ≥ 1, Q is odd, (P,Q) = 1, Vₘ ≠ 1, and $V_r\ne 1$. We show that there is no integer x such that $Vₙ=V_{r}Vₘx²$ when m ≥ 1 and r is an even integer. Also we completely solve the equation $Vₙ=VₘV_{r}x²$ for m ≥ 1 and r ≥ 1 when Q ≡ 7 (mod 8) and x is an even integer. Then we show that when P ≡ 3 (mod 4) and...

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 this paper the following two propositions are proved: (a) If $X_{\alpha }$, $\alpha \in A$, is an infinite system of connected spaces such that infinitely many of them are nondegenerated completely Hausdorff topological spaces then the box product ${\square }_{\alpha \in A}{X}_{\alpha }$ can be decomposed into continuum many disjoint nonempty open subsets, in particular, it is disconnected. (b) If $X_{\alpha }$, $\alpha \in A$, is an infinite system of Brown Hausdorff topological spaces then the box product ${\square }_{\alpha \in A}{X}_{\alpha }$ is also Brown Hausdorff, and hence, it is connected. A space...

Let ${\Phi }_n\left(q\right)$ denote the $n$th cyclotomic polynomial in $q$. Recently, Guo, Schlosser and Zudilin proved that for any integer $n>1$ with $n\equiv 1(mod4)$, $$\sum _{k=0}^{n-1}\frac{{(q^{-1};q^2)}_k^2{(q^{-2};q^4)}_k}{{(q^2;q^2)}_k^2{(q^4;q^4)}_k}{q}^{6k}\equiv 0(mod{\Phi }_n{\left(q\right)}^2),$$ where ${(a;q)}_m=(1-a)(1-aq)\cdots (1-a{q}^{m-1})$. In this note, we give a generalization of the above $q$-congruence to the modulus ${\Phi }_n{\left(q\right)}^3$ case. Meanwhile, we give a corresponding $q$-congruence modulo ${\Phi }_n{\left(q\right)}^2$ for $n\equiv 3(mod4)$. Our proof is based on the ‘creative microscoping’ method, recently developed by Guo and Zudilin, and a ${}_4{\varphi }_3$ summation formula.

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 f: X → Y be a closed n-dimensional surjective map of metrizable spaces. It is shown that if Y is a C-space, then: (1) the set of all maps g: X → ⁿ with dim(f △ g) = 0 is uniformly dense in C(X,ⁿ); (2) for every 0 ≤ k ≤ n-1 there exists an $F_{\sigma }$-subset $A_k$ of X such that $dim{A}_k\le k$ and the restriction $f\left|\right(X\setminus A_k)$ is (n-k-1)-dimensional. These are extensions of theorems by Pasynkov and Toruńczyk, respectively, obtained for finite-dimensional spaces. A generalization of a result due to Dranishnikov and Uspenskij...

Let J ⊂ ℝ² be the set of couples (x,q) with q > 1 such that x has at least one representation of the form $x={\sum }_{i=1}^{\infty }{c}_i{q}^{-i}$ with integer coefficients $c_i$ satisfying $0\le c_i<q$, i ≥ 1. In this case we say that $\left(c_i\right)=c₁c₂...$ is an expansion of x in base q. Let U be the set of couples (x,q) ∈ J such that x has exactly one expansion in base q. In this paper we deduce some topological and combinatorial properties of the set U. We characterize the closure of U, and we determine its Hausdorff dimension. For (x,q) ∈ J, we also...