2
$\begingroup$

Let $f_i$ be a sequence of smooth functions on $S^2$ such that the measures $\mu_i=f_i \;d\mathrm{vol}_{S^2}$ converge weakly to $d\mathrm{vol}_{S^2}$. Now suppose $\epsilon_i$ is a sequence going to zero. My question now is if for each $x\in S^2$ $\limsup_i \epsilon_i^{-2}\mu_i(B_{\epsilon_i}(x))=1.$

(I've chosen to phrase the question on $S^2$ because I want it on a compact set w/o boundary, so that nothing funny can happen at the boundary or "at infinity".)

  • 0
    Hi alfred, and welcome to math.SE! Users with any number of "reputation points" [can comment on their own questions and answers](http://meta.stackexchange.com/questions/19756) (once you obtain 50 points, you gain the ability to comment anywhere), but you were not able to comment because you were not signed into the account that asked the question. I've now merged the duplicate account into the original. If you register your account that should help to prevent login difficulties in the future. Here is an [explanation of reputation points](http://meta.stackexchange.com/questions/7237).2012-02-11

1 Answers 1

1

Unfortunately, weak convergence of measures is not strong enough to imply your conclusion. For a given $x\in S^2$ and sequence $\epsilon_i$ it is easy to define smooth functions $f_i$ with $f_i(y)=0$ for $y\in B(x,\epsilon_i)$, but $f_i(y)=1$ for $y\notin B(x,2\epsilon_i)$. This gives a counterexample to your proposal.

What you want is convergence in total variation.

  • 0
    @alfredjodokus No. The "zero" in my answer could be set to any other value, e.g. "two".2012-02-11