Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let $0< \alpha< n$, $1 < p < q < \infty$ and $\frac{1}{q}=\frac{1}{p}-\frac{\alpha}{n}$. Then: $ \left \| \int_{\mathbb{R}^n} \frac{f(y)dy}{|x-y|^{n-\alpha} } \right\|_{L^q(\mathbb{R}^n)}\leq$ $C\left\| f\right\| _{L^p(\mathbb{R^n})}$.

share|improve this question
7  
Nice statement. Thank you for sharing it. What would you like to know about it? –  András Bátkai Oct 19 '12 at 9:36
add comment

2 Answers 2

up vote 3 down vote accepted

This is the standard Hardy-Littlewood-Sobolev inequality(or the theorem of fractional integration).A more direct approach is write $$ \int{f(x-y)|y|^{\alpha-n}dy}=\int_{|y|<R}+\int_{|y|\ge R} $$ For the second term on the RHS,using Holder inequality,and easy to see that it's dominated by $\|f\|_{L^p}R^{-\frac{q}{n}}$. For the first term,one can use the majorizationgiven by the maximal function M,and to see that $$ |f\ast |y|^{\alpha-n}|(x)\leq C(M(f)(x)\cdot R^{\alpha}+\|f\|_{L^p}\cdot R^{-\frac{q}{n}}) $$ Choosing a proper constant R to make the two terms above be equal,and then the desired inequality hold by intergration(note that the maximal operator is bounded on $L^p$ for $1<p<\infty$).

share|improve this answer
    
Thank you, that is what I was looking for! –  Felice Oct 20 '12 at 9:44
    
Can you prove it without using maximal function? –  timur Oct 20 '12 at 13:29
    
There is a proof of this inequality by the layer cake representation of functions and the Hölder inequality in Lieb and Loss, Analysis, 2001, section 4.3. –  Jean Van Schaftingen Dec 4 '13 at 15:28
add comment

The function $\vert x\vert^{\alpha-n}$ is radial homogeneous of degree $\alpha-n$, so its Fourier transform is radial homogeneous of degree $-(\alpha-n)-n=-\alpha$ (both locally integrable since $\alpha >0$ and $-\alpha>-n$ so both are distributions which are easily seen as temperate: Fourier transforms make sense), so your convolution operator is in fact the Fourier multiplier $\vert D_x\vert^{-\alpha}$. The question at hand is thus (with homogeneous spaces) $$ \Vert u\Vert_{W^{-\alpha,q}}\lesssim \Vert u\Vert_{W^{0,p}},\quad \text{i.e. }W^{0,p}\subset W^{-\alpha,q}, $$ which is a particular case of Sobolev injection since $$0>-\alpha,\quad p < q,\quad \frac{1}{p}-\frac{1}{q}=\frac{\alpha}{n}. $$

share|improve this answer
    
Thank you! But I was looking for a more "cheep" proof. Anyway can you give me some references to Fourier multiplier? –  Felice Oct 19 '12 at 20:55
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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