11
$\begingroup$

Prove, or give a counter example: Let $\mu$ be a finite positive borel measure on $\mathbb{R}$. Then $\int (x-y)^{-2} d \mu (y) = \infty $ almost everywhere on $\mu$ (for the selection of x's).

This is a question I had in an exam, and the answer is supposed to be presented in less than 30 words, so there must be something quite simple I'm missing.

  • 0
    In fact, the stronger statement holds that $\int\vert x-y\vert^{-1}\,d\mu(y)$ is infinite $\mu$-almost everywhere. I'm not sure I can fit an answer into 30 words though.2011-04-03

2 Answers 2

5

Yes it is true. Consider the set $S$ on which the integral in question is bounded by a positive value $K$. Then $\mu$ cannot have measure greater than $K\epsilon^2$ on any interval of width $\epsilon$ intersecting $S$. However, any interval $[a,b]$ can be divided into $n$ intervals of width $(b-a)/n$. So, $\mu(S\cap[a,b])$ is bounded by $n K ((b-a)/n)^2$. Let $n$ go to infinity.

I didn't count, but I know that exceeded 30 words by a fair margin.

The argument is easily adapted to show that $\int\vert x-y\vert^{-1-\epsilon}\,d\mu(y)$ is infinite $\mu$-almost everywhere for any $\epsilon > 0$. The more difficult question is whether the same holds for $\int\vert x-y\vert^{-1}\,d\mu(y)$.

  • 0
    I have got it. Thank you.2015-09-16
4

this is a clumsy solution and certainly too long - but anyway. The answer is yes. There is a (weakly) increasing function $f:I\to\mathbb{R}$ such that $\mu$ is the push-forward of the Lebesgue measure on $I$ to $\mathbb{R}$ ($f$ is, roughly speaking, the inverse of $F(x)=\mu((-\infty,x])$). Your integral becomes $\int_I (f(x)-f(y))^{-2} dy$ (where "your $x$" is "my $f(x)$"). Since $f$ is monotone, it has a derivative a.e. If $x$ is in the set where the derivative is $ (for any positive $A$) then the integral is $\infty$ by comparison with $\int_I (x-y)^{-2} dy$. Hence the integral is $\infty$ for a.e. $x$.

(not very pretty - but possibly correct :)

  • 1
    Looks like it works. And it should also apply to $\int\vert x-y\vert^{-1}\,d\mu(y)$. Or, indeed, to $\int\theta(\vert x-y\vert)\,dy$ for any decreasing function $\theta$ satisfying $\int^{0+}\theta(x)\,dx=\infty$.2011-04-03