1
$\begingroup$

Let $(\Omega_n)$ be a sequence of subsets of $\mathbb{R}^d$ with $\Omega_n\uparrow\mathbb{R}^d$ where the Lebesgue measure $\lambda^d(\Omega_n)$ is finite for every $n$. Let $(f_n)$ be a sequence of measurable functions on $\mathbb{R}^d$ with $f_n\to f$ in some sense, for instance pointwise almost everywhere. Under which conditions is it true that $$\lim_{n\to\infty}\frac{1}{\lambda^d(\Omega_n)}\int_{\Omega_n} f_n(x) dx = \lim_{n\to\infty}\frac{1}{\lambda^d(\Omega_n)}\int_{\Omega_n} f(x)dx$$

  • 0
    A sufficient condition is that every $|f_n-f|$ is bounded by a single integrable function.2012-01-12
  • 0
    Almost everywhere pointwise convergence is not enough even for $d=1$, for example taking $\Omega_n=[-(n+1),n+1]$ and $f_n=n\mathbf 1_{[n,n+1]}$.2012-01-12
  • 0
    Let's say $f_n$ and $f$ are bounded ($L_\infty$).2012-01-12
  • 0
    Heiner: then consider $d=1$, $\Omega_n=[-n,n]$ and $f_n=\mathbf 1_{[\sqrt{n},n]}$.2012-01-12
  • 0
    Oh, I see. Well, I guess I should have thought more about the question before asking. :(2012-01-12
  • 0
    You should also assume that the $f_n$ and $f$ are integrable (at least locally), otherwise the question doesn't make much sense.2012-01-12
  • 1
    By the way, this doesn't seem very related to ergodic theory...2012-01-12

0 Answers 0