6
$\begingroup$

The problem was to prove the following that the operator

$$Tf(x)=\int_{\mathbb{R}^N}\frac{f(y)}{|x-y|^\alpha}dy$$

Is continuous from $$L^1 \to \ L_\mathrm{Weak}^{p}$$ where $0<\alpha and $p=(N-\alpha)^{-1}$.

I tried to use the Lorentz Space $$M^{q,\nu}(R^N)=L_\mathrm{Weak}^{\frac{p}{1-\nu}}(R^N)$$ but it didn't helped much.

1 Answers 1

5

Consider $E$ a measurable set of finite measure then suppose WLOG that $f\geq0$ then by Tonelli's theorem we have

$$\int_{E}\int_{\mathbb{R}^N}\frac{f(y)}{|x-y|^\alpha}dydx=\int_{\mathbb{R}^N}f(y)\int_{E}\frac{1}{|x-y|^\alpha}dxdy.$$

Let us estimate the interior integral.

Nevertheless

Consider around the point $y$ a ball $B=B(y,r)$ so we have

$$\int_{E}\frac{1}{|x-y|^\alpha}dx\leq\int_{B}\frac{1}{|x-y|^\alpha}dx+\int_{E\setminus B }\frac{1}{|x-y|^\alpha}dx\leq N\omega_N\frac{r^{N-\alpha}}{N-\alpha}+r^{-\alpha}|E|$$

Minimizing the last term in $r$ we get

$$r=\left(\frac{\alpha |E|}{N\omega_N}\right)^{\frac{1}{N}}$$

So we have $$\int_{E}\frac{1}{|x-y|^\alpha}dx\leq C(N,\alpha)|E|^{1-\frac{\alpha}{N}}$$

It shows that $Tf$ is in $M^{1, 1-\frac{\alpha}{N}}=L^\frac{N} {\alpha}_w$. So try this method an adequate $p>1 $ and an intelligent use of Jensen's inequality.