The paper deals with the notion of entropy for doubly stochastic operators. It is shown that the entropy defined by Maličky and Riečan in [MR] is equal to the operator entropy proposed in [DF]. Moreover, some continuity properties of the [MR] entropy are established.

Let T be a Markov operator on an L¹-space. We study conditions under which T is mean ergodic and satisfies dim Fix(T) < ∞. Among other things we prove that the sequence $\left(n^{-1}{\sum }_{k=0}^{n-1}{T}^k\right)ₙ$ converges strongly to a rank-one projection if and only if there exists a function 0 ≠ h ∈ L¹₊ which satisfies $li{m}_{n\to \infty }\left|\right|(h-n^{-1}{\sum }_{k=0}^{n-1}{T}^{k}f)₊\left|\right|=0$ for every density f. Analogous results for strongly continuous semigroups are given.

Let M be a complete Riemannian manifold, M ∈ ℕ and p ≥ 1. We prove that almost everywhere on x = (x1,...,xN) ∈ MN for Lebesgue measure in MN, the measure $\mu \left(x\right)=N{\sum }_{k=1}^N{x}_k$ μ ( x ) = 1 N ∑ k = 1 N δ x k has a uniquep–mean ep(x). As a consequence, if X = (X1,...,XN) is a MN-valued random variable with absolutely continuous law, then almost surely μ(X(ω)) has a unique p–mean. In particular if (Xn)n ≥ 1 is an independent sample of an absolutely continuous law in M, then the process ep,n(ω) = ep(X1(ω),...,Xn(ω)) is...

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.

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

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