2
$\begingroup$

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)$).

$\endgroup$
2
  • $\begingroup$ Why don't you try to see what happens when $\mu$ is a Dirac measure concentrated at a point. $\endgroup$ Feb 11, 2012 at 16:17
  • $\begingroup$ 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. $\endgroup$
    – Appliqué
    Feb 11, 2012 at 17:00

1 Answer 1

3
$\begingroup$

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).$$

Then

$$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$.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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