7
$\begingroup$

If a positive Radon measure $\mu$ and the Lebesgue measure $\lambda$ are singular, can we show that the derivative of $\mu$ with respect to $\lambda$ is $\infty$, $\mu$-a.e.? Namely, can one show that $$\frac{\mu(B(x,r))}{\lambda(B(x,r))}\to\infty \quad \mbox{ as } \ r\to0, \quad \mu\mbox{-a.e.?}$$

Does this result also hold for any pair of singular Radon measures $\mu\,\bot\,\lambda$?

Actually, a result I can find in [Thm 1.29, Evans-Gariepy, Measure Theory and Fine Properties of Functions] is that, for any Radon measures $\mu$ and $\lambda$,

$$\lim_{r\to0}\frac{\mu(B(x,r))}{\lambda(B(x,r))}<\infty \quad \mbox{ as } \quad r\to0, \quad \lambda\mbox{-a.e.}$$

$\endgroup$
2
  • $\begingroup$ Doesn’t mutual singularity guarantee you that $\lambda(B(x,r))/\mu(B(x,r))\to 0$, $\mu$-a.e., which is the same thing? $\endgroup$ Mar 15, 2018 at 6:30
  • $\begingroup$ Yes, you are right. As the answer show, if $\mu\bot\lambda$ and $B=\{x\in A:\ \lim \lambda(B(x,r))/\mu(B(x,r))>c\}$, then $c\mu(B)\le \lambda(B)=0$. Thanks! $\endgroup$
    – ohliv
    Mar 15, 2018 at 18:36

2 Answers 2

6
$\begingroup$

Let A be such that $\mu(A) = 1, \lambda(A) = 0$. There is an open set $O$ with $ A \subset O, \lambda(A) < \epsilon$. Suppose for convenience that $$\liminf\frac{\mu(B(x,r))}{\lambda(B(x,r))}< a $$ on $A$, otherwise replace $A$ with the set on which it is true. For each x in A pick $r_x$ so that $$B(x, r_x) \subset O \quad \text{ and } \quad \frac {\mu(B(x,r_{3x}))}{\lambda(B(x,r_{3x}))}< a .$$ By the Vitali covering lemma there is a disjoint subcollection $J$ with $$A \subset \cup_J B(x, r_{3x})$$ But then $$1 = \mu(A) \le \sum_J\mu(B(x,r_{3x})) \le a \sum_J \lambda(B(x,r_{3x} )) \le a \cdot 3 \cdot \epsilon $$ and since $\epsilon$ is at your disposal, this is a contradiction. I've written this for 1 dimension but I think it applies mutatis mutandis to all.

$\endgroup$
2
  • $\begingroup$ Nice answer. It is a bit hard to read, though. You might want to fix a few typos and otherwise brush up your answer. $\endgroup$ Mar 15, 2018 at 16:25
  • $\begingroup$ Josif, I tried to do that. $\endgroup$
    – user83457
    Mar 15, 2018 at 16:43
7
$\begingroup$

$\newcommand{\N}{\mathbb N} \newcommand{\R}{\mathbb R} \newcommand{\B}{\mathcal B} \newcommand{\F}{\mathcal F} \newcommand{\la}{\lambda} \newcommand{\ep}{\epsilon} \newcommand{\si}{\sigma} \newcommand{\Si}{\Sigma} \renewcommand{\c}{\circ} \newcommand{\tr}{\operatorname{tr}}$

The nice answer by user michael still needs some brushing up, which is what I have done here. I think this could help readers appreciate michael's answer, the central point of which is using the Vitali covering lemma:

Let $A\subseteq\R^d$ be such that $\mu(\R^d\setminus A) = 0$ and $\lambda(A) = 0$. For any real $\epsilon>0$, there is an open set $O_\ep$ such that $ A \subset O_\ep$ and $\lambda(O_\ep) < \epsilon$. Take any real $c>0$ and let \begin{equation} A_c:=\{x\in A\colon \liminf_{r\downarrow0}\frac{\mu(B(x,r))}{\lambda(B(x,r))}< c\}. \end{equation} For each $x\in A_c$ pick $r_x>0$ such that \begin{equation} B(x, r_x) \subset O_\ep\quad\text{and}\quad \frac {\mu(B(x,5r_x))}{\lambda(B(x,5r_x))}<c. \end{equation} By the Vitali covering lemma, there is a countable set $J\subseteq A_c$ such that the balls $B(x,r_x)$ are disjoint for distinct $x\in J$ and \begin{equation} A_c \subseteq \bigcup_{x\in J} B(x,5r_x). \end{equation} But then \begin{multline} \mu(A_c) \le \sum_{x\in J}\mu(B(x,5r_x))\le c \sum_{x\in J} \lambda(B(x,5r_x)) \\ \le c\,5^d \sum_{x\in J} \lambda(B(x,r_x)) \le c\,5^d \la(O_\ep)\le c\,5^d\ep. \end{multline} Letting $\ep\downarrow0$, we see that $\mu(A_c)=0$, for all real $c>0$. This implies that $\mu$-a.e. $$\frac{\mu(B(x,r))}{\lambda(B(x,r))}\to\infty \quad \mbox{ as } \ r\downarrow0.$$

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