Ergodic theorem in variable Lebesgue spaces

We prove an Ergodic Theorem in variable exponent Lebesgue spaces, whenever the exponent is invariant under the transformation. Moreover, a counterexample is provided which shows that the norm convergence fails to hold for an arbitrary exponent.


Introduction
Variable exponent Lebesgue and Sobolev spaces are natural extensions of classical constant exponent L p -spaces. Such kind of theory finds many applications for example in nonlinear elastic mechanics [23], electrorheological fluids [20] or image restoration [18]. During the last decade Lebesgue and Sobolev spaces with variable exponents have been intensively studied; see for instance the surveys [5,21]. In particular, the Sobolev inequalities have been shown for variable exponent spaces on Euclidean spaces (see [4,7] and [15]) and on Riemannian manifolds (see [9] and [11]). Recently, the theory of variable exponent spaces has been extended to metric measure spaces, see e.g. [8,10,16,17,19]. Moreover, the theory of Lebesgue spaces with variable exponent on probability spaces exists as well, see e.g. [1] In this article we investigate Birkhoff's Ergodic Theorem in the context of variable Lebesgue spaces. Let us mention that Ergodic theorems in spaces other than Lebesgue spaces have been studied in the past (see e.g. [2,13,14,22]).
We organize this paper as follows. In the next section we review some definitions and present the theory of variable exponent spaces. In the third section we present and prove the main result.

Variable exponent Lebesgue spaces
In this section we recall some basic facts and notation about variable exponent Lebesgue spaces. Most of the properties of these spaces can be found in the book of Cruz-Uribe and Fiorenza [3] and in the book of Diening et al. [6].
Let ( , μ) be a σ -finite, complete measure space. By a variable exponent we shall mean a bounded measurable function p : → [1, ∞). We put The variable exponent Lebesgue space L p(·) ( ) consists of those μ-measurable functions f : → R for which semimodular is finite. This is a Banach space with respect to the following Luxemburg norm Variable Lebesgue space is a special case of the Musielak-Orlicz spaces. When the variable exponent p is constant, then L p(·) ( ) is an ordinary Lebesgue space. It is needed very often to pass between norm and semimodular. An important property of the variable Lebesgue spaces is the so-called ball property: holds (see e.g. [6]). Let us remark that, if p + < ∞, then convergence in norm is equivalent to convergence in semimodular.

Main result
In this note we would like to present the following observation. Proof Let us start with the proof of (i). Since L p(·) ( ) → L 1 ( ), the existence of the limit f av (x) for almost every point of follows from the standard Birkhoff's Theorem. Thus, by the Fatou Lemma we obtain where in the last step we applied convexity and Jensen inequality. Now, since T is a measure preserving map and p is T −invariant we have Thus, we get Hence, f av ∈ L p(·) ( ). Now, we turn our attention into (ii). Let us mention that (3.2) and (3.3) follows from Ergodic Theorem in classical Lebesgue spaces. In order to prove (3.1) we assume that f ∈ L ∞ ( ). Thus, Subsequently, we get Hence, by dominated Lebesgue Theorem we have (3.1), provided f ∈ L ∞ ( ). Now, let us take any f ∈ L p(·) ( ) and > 0, then there exists g ∈ L ∞ such that By the previous step, there exists n 0 , such that the following inequality holds for n ≥ n 0 . Let q ≥ 1, then by convexity of the function y → y q , we have for any nonnegative a, b, c the inequality (a + b + c) q ≤ 3 q−1 (a q + b q + c q ). Hence, we get Thus, using (3.4) and convexity of ρ p(·) we have This finishes the proof of the theorem.
Finally, let us give the following example showing that the norm convergence fails to hold for an exponent p(x) which is not T invariant. In fact, we shall give an example of f ∈ L p(·) such that f av / ∈ L p(·) .