- #1

- 1,357

- 0

## Homework Statement

Let f : [0,1] x [0,1] ->

**R**be a bounded function such that for each fixed y, the function g given by g(x) = f(x,y) is measurable. Suppose [itex]\partial f / \partial y[/itex] exists and is bounded. Prove that

[tex]\frac{d}{dy} \int_0^1 f(x,y) \, dx = \int_0^1 \frac{\partial f}{\partial y} \, dx[/tex]

## Homework Equations

This is from the chapter discussing the Lebesgue convergence theorem: Let g be an integrable function (integrable meaning the Lebesgue integral is finite) over E and let (f

_{n}) be a sequence of measurable functions that converge almost everywhere to f and |f

_{n}| < g. Then

[tex]\int_E f = \lim \int_E f_n[/tex]

Corollary: Let (g

_{n}) be a seq. of integrable functions which converge a.e. to an integrable function g. Let (f

_{n}) be a seq. of measurable functions such that [itex]|f_n| \le g_n[/itex] and [itex]f_n \to f[/itex] a.e. If [itex]\int g = \lim \int g_n[/itex], then [itex]\int f = \lim \int f_n[/itex].

## The Attempt at a Solution

I need a sequence [itex](h_n)[/itex] such that [itex]h_n \to \partial f / \partial y[/itex] and such that [itex]\lim \int h_n = d/dt \int_0^1 f(x,y) \, dx[/itex]. I have no idea about the former. For the latter, since the derivative is a limit, I figure that we can use

[tex]h_n(y) = \int_0^1 \frac{f(x, y+a_n) - f(x,y)}{a_n} \, dx[/tex]

where [itex](a_n)[/itex] is any sequence that converges to 0. I can't think of anything else at the moment. Any tips?