MathOverflow is a question and answer site for professional mathematicians. 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

I consider a special kind of sets in $\mathbb{R}^n_+$ given by $G_t = $ {$x \in \mathbb{R}^n_+ \mid g(x) < t$}, where $\nabla g > 0$ entrywise. Let's consider an integral $$ f(t) = \int\limits_{ G_t } \mu(dx) $$ If measure $\mu$ is absolutely continious with the density $a(x)$ and $\Omega$ is a $(n-1)$-form such that $dg \wedge \Omega = dx$ than $$ f(t) = \int\limits_{ G_t } a(x) dx = \int\limits_{ G_t } a(x) dg \wedge \Omega $$ and $$ \frac{\Delta f}{\Delta t} = \frac{1}{\Delta t} \int\limits_{ t \leq g(x) < t + \Delta t } a(x) dg \wedge \Omega \to \int\limits_{ g(x) = t } a(x) \Omega = \frac{df}{dt} $$ Help me please with the generalisation of this result to the case of arbitrary measures. I think that currents (continious linear functionals on the set of differential forms) must be involved (I try to find a similar representation for the derivative $f'(t)$).

share|cite|improve this question
Why don't you try to see what happens when $\mu$ is a Dirac measure concentrated at a point. – Liviu Nicolaescu Feb 11 '12 at 16:17
So, if we consider $f'(t)$ as a generalized function then for any measure we have $\langle f'(t), \varphi(t) \rangle = \int\limits_{\mathbb{R}^n_+} \varphi(g(x)) \mu(dx)$, so for Dirac measure $\delta_{a}$ we have $\langle f'(t), \varphi \rangle = \varphi(g(a))$. In the case of the Dirac's measure $f(t)$ is not differentiable in an ordinary sense. – Nimza Feb 11 '12 at 17:00
up vote 3 down vote accepted

Denote by $\nu$ the pushforward of $\mu$ via the function $g$. More precisely $\nu$ is a measure on $\mathbb{R}$ and for any Borel subset $B\subset \mathbb{R}$ we have

$$ \nu(B)=\mu\bigl(\; g^{-1}(B)\;\bigr).$$


$$f(t)= \nu\bigl(\;(-\infty,t)\;\bigr).$$

Now invoke Radon-Nicodym Theorem. The "derivative" of $f(t)$ is a measure on $\mathbb{R}$, more precisely, the measure $\nu$.

share|cite|improve this answer

Your Answer


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

Not the answer you're looking for? Browse other questions tagged or ask your own question.