Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $X$ be an open subset of $\mathbb{R}$, and $Y$ be a measure space.

Suppose that a function $f:X\times Y\rightarrow \mathbb{R}$ satisfies the following conditions:

1.$f(x,y)$ is a measurable function of $x$ and $y$ jointly, and is integrable over $y$, for almost all $x\in X$ held fixed.

2.For almost all $y\in Y, f(x,y)$ is an absolutely continuous function of $x$. (This guarantees that $\frac{\partial }{\partial x}f(x,y)$ exist almost everywhere.)

  1. $\frac{\partial }{\partial x}f(x,y)$ is locally integrable. That is, for all compact intervals $[a,b]$ contained in $X$ $$\int_{a}^{b}\int_Y|\frac{\partial}{\partial x}f(x,y)|dydx<\infty$$

Then $\int_Yf(x,y)dy$ is absolutely continuous function of $X$, and for almost every $x\in X$, its derivative exists and is given by $$\frac{d}{dx}\int_Yf(x,y)dy=\int_Y\frac{\partial}{\partial x}f(x,y)dy$$

Please help me find prove or reference.

share|cite|improve this question
You've said nothing but facts (or statements). Where is the actual question? Sure, I can randomly challenge your given statements, but it seems like they are all GIVEN. – TheGreatDuck May 4 at 19:46

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.