0
$\begingroup$

Let $f(x,y)$ be a real valued function of two variables, defined for $a. Assume that for each $x, f(x,.)$ is a Borel measurable function of $y$, and that there is a Borel measurable function $g: (a,b)\to$ $\Bbb R$ such that $|f(x,y)|<= g(y)$ for all $x,y $ and $\int_a^bg(y) dy <\infty.$ If $x_0\in (c,d)$ and $\lim_{x \to x_0}f(x,y)$ exist for all $y\in (a,b)$, show that $\lim_{x \to x_0}\int_a^bf(x,y) dy = \int_a^b[\lim_{x \to x_0} f(x,y)]dy $

(Can we use Dominated Convergence Theorem to prove this?)

  • 0
    This is almost a direct application of Lebesgue's D$C$T as on [$P$roofWiki](http://www.proofwiki.org/wiki/Lebesgue%27s_Dominated_$C$onvergence_Theorem).2012-10-23

1 Answers 1

1

I remember a similar problem in Measure and Integral by Wheeden and Zygmund. Anyway, the problem becomes simple if you remember the following proposition:

Proposition Let $h : (c, d) \to \Bbb{C}$. Then for each $x_0 \in (c, d)$, $h(x) \to \ell$ as $x \to x_0$ if and only if for every sequences $(x_n) \subset (c, d)$ converging to $x_0$, we have $h(x_n) \to \ell$ as $n \to \infty$.

Now if you consider $h(x) = \int_{a}^{b} f(x, y) \, dy$, then the conclusion is immediate by the Lebesgue's DCT.

  • 0
    @tear_drops, it is very easy to deduce, and is discussed either explicitly or tacitly in most of analysis textbooks. For example, you can refer to the p.180 of *Elementary Classical Analysis* by Marsden and Hoffman.2012-10-24