Decompositions into the sum of periodic functions belonging to a given Banach space (Q1174431)

If \(A\) is a non-empty set, \(T: A\to A\), then a function \(g: A\to R\) (the real line) is said to be \(T\)-periodic of \(\Delta_ T(g)=0\), where \(\Delta_ T(g)=g\circ T-g\). As an extension of earlier considerations involving functions in the real line and translation operators, the class \(\mathcal F\) of real-valued functions on \(A\) is said to have the decomposition property (d.pr) with respect to maps \(T_ 1,T_ 2,\ldots,T_ n\) if each \(f\) in \(\mathcal F\) satisfying \(\Delta_{T_ 1}\Delta_{T_ 2}\ldots\Delta_{T_ n}(f)=0\), where \(T_ jT_ k=T_ kT_ j\), is expressible as \(f=f_ 1+f_ 2+\ldots+f_ n\), where \(f_ j\) is \(T_ j\)-periodic. In the main theorem of this paper it is shown that if \(B_ 1,B_ 2,\dots,B_ n\) are commutative continuous linear operators on a topological vector space \(X\), and for each \(x\) in \(X\) and each integer \(j\), the convex hull of the set \(\{B^ m_ jx, m\in N\}\) contains a fixed point of \(B_ j\), then \(\hbox{Ker}(A_ 1A_ 2\ldots A_ n)\) is a linear span of \(\hbox{Ker}(A_ j)\), \(j=1,2,\ldots,n\), where \(A_ j=I- B_ j\). A corollary of the main theorem is applied to results involving \(L^ p\)-spaces. In particular, it is also shown that if \((X,S,\mu)\) is a measure space and \(T_ 1,T_ 2,\ldots,T_ n\) are commutative measurable maps in \(X\) such that \(\mu(T^{-1}_ j(H))\leq\mu(H)\), \(H\in S\), then for \(1\leq p<\infty\), \(L_ p(X)\) has a decomposition property with respect to \(T_ 1,T_ 2,\ldots,T_ n\).