Fixed points of non-expansive mappings associated with invariant means in a Banach space

In this paper, we study the fixed point set of the non-expansive mapping _Tμ$T_{\mu }$ for a Banach space with uniformly Gâteaux differentiable norm when μ$\mu$ is a multiplicative left invariant mean on l^∞(S)$l^{\infty }\left(S\right)$. As an application, we establish nonlinear ergodic properties for an extremely amenable semigroup of non-expansive mappings in a Banach space with uniformly Gâteaux differentiable norm. Furthermore, we improve a recent result of Atsushiba and Takahashi [S. Atsushiba, W. Takahashi, Weak and strong convergence theorems for non-expansive semigroups in a Banach spaces satisfying Opial’s condition, Sci. Math. Jpn. (in press)] on the fixed point set of non-expansive mappings associated with a left invariant mean on a left amenable semigroup.     

Topologically left invariant means on semigroup algebras

LetM(S) be the Banach algebra of all bounded regular Borel measures on a locally compact Hausdorff semitopological semigroupS with variation norm and convolution as multiplication. We obtain necessary and sufficient conditions forM(S)* to have a topologically left invariant mean.     

Strongly amenable semigroups and nonlinear fixed point properties

A semi-topological semigroup is strongly left amenable if there is a compact left ideal group in the spectrum of its LUC-compactification. In this paper, we want to study those objects, and study some fixed point property related to non-expansive mapping and other similar kind of mapping.     

Sub-additive ergodic theorems for countable amenable groups

In this paper we generalize Kingman's sub-additive ergodic theorem to a large class of infinite countable discrete amenable group actions.     

Mean-type mappings and invariant curves

The problem of invariant curves for continuous mean-type mappings is considered. The obtained results are applied in solving some functional equations.     

Cores for Feller semigroups with an invariant measure

Let be an elliptic differential operator with unbounded coefficients on RN and assume that the associated Feller semigroup (T(t))_t?0 has an invariant measure μ. Then (T(t))_t?0 extends to a strongly continuous semigroup (Tp(t))_t?0 on Lp(μ)=Lp(RN,μ) for every 1?p<∞. We prove that, under mild conditions on the coefficients of A, the space of test functions is a core for the generator (Ap,Dp) of (Tp(t))_t?0 in Lp(μ) for 1?p<∞.     

On roughly transitive amenable graphs and harmonic Dirichlet functions

We introduce the notion of rough transitivity and prove that there exist no non-constant harmonic Dirichlet functions on amenable roughly transitive graphs.

     

Non uniqueness of invariant means for amenable group actions

It is shown, that for the action of a -compact group, being amenable as an abstract discrete group, on a locally compact measure space (X, , ), is not the unique invariant mean. Furthermore, this paper gives a characterisation of probability spaces, having a unique invariant mean for the action of an amenable group.     

关于内顺从群的一些性质

本文给出了离散群的可数内不变平均的具体的表达式．证明了由可数内不变平均生成的向量空间的维数等于极小内不变平均的基数，并得到了内顺从群的一些新的刻划．     

Lagrangian mean-type mappings for which the arithmetic mean is invariant

We determine the class of all pairs of the Lagrangian means forming mean-type mappings which are invariant with respect to the arithmetic mean.     

The asymptotic behavior of nonlinear semigroups and invariant means

Various first-order sufficient optimality criteria for continuous-time nonlinear programming problems with nonlinear equality and inequality constraints are established under generalized convexity assumptions, and applications of these criteria to optimal control and continuous-time fractional programming problems are briefly discussed.     

On iteration semigroups of mean-type mappings and invariant means

Summary. Iteration semigroups of weighted quasi-arithmetic mean-type mappings are considered. Existence and uniqueness of a mean which is invariant with respect to a continuous semigroup of mean-type mapping is proved.     

On uniqueness of invariant means

The following results on uniqueness of invariant means are shown:

(i) Let be a connected almost simple algebraic group defined over . Assume that , the group of the real points in , is not compact. Let be a prime, and let be the compact -adic Lie group of the -points in . Then the normalized Haar measure on is the unique invariant mean on .

(ii) Let be a semisimple Lie group with finite centre and without compact factors, and let be a lattice in . Then integration against the -invariant probability measure on the homogeneous space is the unique -invariant mean on .

     

Some Cauchy mean-type mappings for which the geometric mean is invariant

The invariance of the geometric mean G with respect to the Cauchy mean-type mapping (Df,g,Dh,k), i.e. the equation G°(Df,g,Dh,k)=G, is considered. We give some necessary, and necessary and sufficient conditions under assumption that one of the generators of each Cauchy means is a power function.     

Sumset phenomenon in countable amenable groups

Jin proved that whenever A and B are sets of positive upper density in Z, A+B is piecewise syndetic. Jin's theorem was subsequently generalized by Jin and Keisler to a certain family of abelian groups, which in particular contains Zd. Answering a question of Jin and Keisler, we show that this result can be extended to countable amenable groups. Moreover we establish that such sumsets (or — depending on the notation — “product sets”) are piecewise Bohr, a result which for G=Z was proved by Bergelson, Furstenberg and Weiss. In the case of an abelian group G, we show that a set is piecewise Bohr if and only if it contains a sumset of two sets of positive upper Banach density.     

Existence and uniqueness of invariant measures for a class of transition semigroups on Hilbert spaces

We prove a smoothing property and the irreducibility of transition semigroups corresponding to a class of semilinear stochastic equations on a separable Hilbert space H. Existence and uniqueness of invariant measures are discussed as well.     

Invariance of quasi-arithmetic means with function weights

Let I⊂R be a non-trivial interval and let . We present some results concerning the following functional equation, generalizing the Matkowski-Sutô equation,

λ(x,y)φ⁻¹(μ(x,y)φ(x)+(1−μ(x,y))φ(y))+(1−λ(x,y))ψ⁻¹(ν(x,y)ψ(x)+(1−ν(x,y))ψ(y))=λ(x,y)x+(1−λ(x,y))y,     

Ihara's zeta function for periodic graphs and its approximation in the amenable case

In this paper, we give a more direct proof of the results by Clair and Mokhtari-Sharghi [B. Clair, S. Mokhtari-Sharghi, Zeta functions of discrete groups acting on trees, J. Algebra 237 (2001) 591-620] on the zeta functions of periodic graphs. In particular, using appropriate operator-algebraic techniques, we establish a determinant formula in this context and examine its consequences for the Ihara zeta function. Moreover, we answer in the affirmative one of the questions raised in [R.I. Grigorchuk, A. ?uk, The Ihara zeta function of infinite graphs, the KNS spectral measure and integrable maps, in: V.A. Kaimanovich, et al. (Eds.), Proc. Workshop, Random Walks and Geometry, Vienna, 2001, de Gruyter, Berlin, 2004, pp. 141-180] by Grigorchuk and ?uk. Accordingly, we show that the zeta function of a periodic graph with an amenable group action is the limit of the zeta functions of a suitable sequence of finite subgraphs.     

Density of periodic points, invariant measures and almost equicontinuous points of cellular automata

Revisiting the notion of μ-almost equicontinuous cellular automata introduced by R. Gilman, we show that the sequence of image measures of a shift ergodic measure μ by iterations of such automata converges in Cesàro mean to an invariant measure μ_c. Moreover the dynamical system (cellular automaton F, invariant measure μ_c) has still the μ_c-almost equicontinuity property and the set of periodic points is dense in the topological support of the measure μ_c. We also show that the density of periodic points in the topological support of a measure μ occurs for each μ-almost equicontinuous cellular automaton when μ is an invariant and shift ergodic measure. Finally using most of these results we give a non-trivial example of a couple (μ-equicontinuous cellular automaton F, shift and F-invariant measure μ) such that the restriction of F to the topological support of μ has no equicontinuous points.