# Interpolation of L^p Spaces

1. Feb 20, 2007

### AKG

1. The problem statement, all variables and given/known data

If $0 < \alpha < n$, define an operator $T_{\alpha}$ on function on $\mathbb{R}^n$ by

$$T_{\alpha}f(x) = \int |x-y|^{-\alpha}f(y)dy$$

Then prove that $T_{\alpha}$ is weak type $(1,(n-\alpha )^{-1})$ and strong type (p,r) with respect to Lebesgue measure on $\mathbb{R}^n$, where $1 < p < n\alpha ^{-1}$ and $r^{-1} = p^{-1} -\alpha n^{-1}$.

2. Relevant equations

Let X be a set, $\mu$ a measure on this set. For $0 < q < \infty$ define the Lq norm of a function $g : X \to \mathbb{C}$ with respect to $\mu$ to be:

$$||g||_q = \left (\int _X |g|^qd\mu \right )^{1/q}$$

Define the weak Lq norm of such a function to be:

$$[g]_q = \left [\mbox{sup} _{\beta > 0}(\beta ^q\mu \{ x : |g(x)| > \beta \})\right ]^{1/q}$$

Define the space of functions $\mathbf{L^q(\mu )}$ to be the set of function with finite Lq norm. Define the space of functions $\mathbf{weak\ L^q(\mu )}$ to be those function with finite weak Lq norm.

An operator T is sublinear if |T(f + g)| < |Tf| + |Tg| and |T(cf)| = c|Tf| for every function in the domain of T (which is some vector space of functions). A sublinear operator T is strong type (a,b) if $L^a(\mu )$ is contained in its domain, T maps $L^a(\mu )$ into $L^b(\mu )$, and there exists C > 0 such that $||Tf||_b \leq C||f||_a$ for all f in $L^a(\mu )$. A sublinear operator T is weak type (a,b) if $L^a(\mu )$ is contained in its domain, T maps $L^a(\mu )$ into $weak\ L^b(\mu )$, and there exists C > 0 such that $[Tf]_b \leq C||f||_a$ for all f in $L^a(\mu )$.

As this is real analysis, there are few relevant equations, instead there are inequalities. They include:

Holder's inequality
Minkowski's inequality
Chebyshev's inequality
Minkowski's inequality for integrals
The Riesz-Thorin Interpolation Theorem
The Marcinkiewicz Interpolation Theorem
and a few other propositions and lemmas that I would take too long to write out.

3. The attempt at a solution

I've only started on the "weak type" part of the problem, and I've only gotten as far as writing out what I need to prove in terms of the definitions. Then I guess I have to find one of the inequalities in my book and find some non-obvious way to apply it which ends up giving the right answer, but I have no clue really of what to do. So this is all I have:

I need to find C > 0 such that

$$\left [\mbox{sup} _{\beta > 0} \left (\beta ^{(n-\alpha )^{-1}}m\{ x : |\int f(y)|x-y|^{-\alpha }dy| > \beta \}\right ) \right ]^{n-\alpha } \leq C\int |f|$$

I've determined that this is equivalent to proving:

$$\left [\mbox{sup} _{\beta > 0} \left (\beta ^{(n-\alpha )^{-1}}m\{ x : \int |f(y)||x-y|^{-\alpha }dy > \beta \}\right ) \right ]^{n-\alpha } \leq C\int |f|$$

but I don't know if that's any use. Help!

Last edited: Feb 21, 2007
2. Feb 21, 2007

### matt grime

I'm sorry, was there a question there?

3. Feb 21, 2007

### AKG

Sorry, that's how my book does things. The exercises are just statements, and it's assumed you have to prove them, it never says things like "Prove that ...". I added it in now though.

4. Feb 21, 2007

### matt grime

We don't have your book, so we have no idea where what the book proves diverges from what the book 'states' in the problems.

Of course, I have no idea what any of the things you're asking about are, so I can't help. (e.g. weak type (X,Y)... not a clue, sorry.)

5. Feb 21, 2007

### AKG

I want to prove that there exists a constant C > 0 such that if f is a function on Rn such that:

$$\int _{\mathbb{R}^n}|f(z)|dz < \infty$$

then

$$\left (\mbox{sup} _{\beta > 0} \left [\beta ^{\frac{1}{n-\alpha }}\, m\left ( \left \{ x : \int _{\mathbb{R}^n} |f(y)||x-y|^{-\alpha }dy > \beta \right \}\right )\right ] \right )^{n-\alpha } \leq C\int _{\mathbb{R}^n} |f(z)|dz$$

or, equivalently,

$$\left (\mbox{sup} _{\beta > 0} \left [\beta ^{\frac{1}{n-\alpha }}\, m\left ( \left \{ x : \left | \int _{\mathbb{R}^n} f(y)|x-y|^{-\alpha }dy\right | > \beta \right \} \right ) \right ] \right )^{n-\alpha } \leq C\int _{\mathbb{R}^n} |f(z)|dz$$

where m is the Lebesgue measure, and all integrals are Lebesgue integrals.

Last edited: Feb 21, 2007
6. Feb 22, 2007

### matt grime

That still doesn't make sense to me.

You have a set {x: ... some integral >b} then that's inside ( ) and multiplied be a some thing, then supped, then raised to a power.

7. Feb 22, 2007

### AKG

You have m({x:... > b}), which stands for the Lebesgue measure of {x:... > b}. You have the measure of that set, multiplied by b^(1/(n-a)). This product is supped. Finally, the supremum is rasied to n-a.

8. Feb 22, 2007

### StatusX

The sup of a set being less than or equal to some value is equivalent to every element in the set being less than or equal to that value. So you can remove all the sups as long as its implicit that beta can take on any positive value. This isn't going to solve the problem, but at least it makes it a little neater.

Also, what you have seems to basically be a convolution. Do you have any convolution inequalities that might be helpful?

9. Feb 22, 2007

### AKG

Let me remove the "sup" StatusX. We had:

$$\left (\mbox{sup} _{\beta > 0} \left [\beta ^{\frac{1}{n-\alpha }}\, m\left ( \left \{ x : \int _{\mathbb{R}^n} |f(y)||x-y|^{-\alpha }dy > \beta \right \}\right )\right ] \right )^{n-\alpha } \leq C\int _{\mathbb{R}^n} |f(z)|dz$$

This is:

$$\mbox{sup} _{\beta > 0} \left [\beta ^{\frac{1}{n-\alpha }}\, m\left ( \left \{ x : \int _{\mathbb{R}^n} |f(y)||x-y|^{-\alpha }dy > \beta \right \}\right )\right ] \leq \left (C\int _{\mathbb{R}^n} |f(z)|dz\right )^{\frac{1}{n-\alpha }}$$

which means for all positive $\beta$:

$$\beta ^{\frac{1}{n-\alpha }}\, m\left ( \left \{ x : \int _{\mathbb{R}^n} |f(y)||x-y|^{-\alpha }dy > \beta \right \}\right ) \leq \left (C\int _{\mathbb{R}^n} |f(z)|dz\right )^{\frac{1}{n-\alpha }}$$

$$\beta m\left ( \left \{ x : \int _{\mathbb{R}^n} |f(y)||x-y|^{-\alpha }dy > \beta \right \}\right )^{n-\alpha } \leq C\int _{\mathbb{R}^n} |f(z)|dz$$

$$m\left ( \left \{ x : \int _{\mathbb{R}^n} \frac{|f(y)|}{\beta }|x-y|^{-\alpha }dy > 1 \right \}\right )^{n-\alpha } \leq C\int _{\mathbb{R}^n} \frac{|f(z)|}{\beta }dz$$

Let me post this to see what it looks like.

Last edited: Feb 22, 2007
10. Feb 22, 2007

### matt grime

That was really not very clear from what you wrote. m appeared to just be a constant. You should try to write things more clearly in future.

11. Feb 22, 2007

### gammamcc

Try Folland's "Real Analysis: Modern Techniques and Their Applications"

12. Feb 22, 2007

### AKG

The post says quite clearly:

"where m is the Lebesgue measure, and all integrals are Lebesgue integrals."
Try what exactly? The question I've asked is problem 45 from chapter 6 in Folland's "Real Analysis: Modern Techniques and Their Applications".

13. Feb 22, 2007

### gammamcc

OK. I get that T_{\alpha} is weak type (1,n(n-\alpha)^{-1}) using the last theorem in the section.

14. Feb 22, 2007

### AKG

Really? If we let K(x,y) = |x-y|-a, then the only q for which [K(x,.)]q and [K(.,y)]q are bounded for a.e. x and y is q = n/a. So that theorem gives that T is weak type (1, n/a). I don't know how you're getting that it's weak type (1, n/(n-a)) from that theorem. Moreover, I need to prove that T is weak type (1, 1/(n-a)), not (1, n/a) nor (1, n/(n-a)).

15. Feb 23, 2007

### gammamcc

oh well, what can I say. I'm not wrong.*** for \alpha less than or equal to n/2.

Last edited: Feb 23, 2007
16. Feb 23, 2007

### matt grime

Sorry. Going blind, perhaps.

17. Feb 23, 2007

### gammamcc

Moreover, I got the same weak estimate as you did for K, but that is a stronger estimate than is needed to satisfy the theorem. Good Luck.

Hint: How does x/(x-1) compare to x when x>1?

BTW. It's OK Matt, I hope this forum is not always so uptight.

18. Feb 23, 2007

### AKG

Huh?
It depends on whether x < 2, x = 2, or x > 2.

19. Feb 23, 2007

### gammamcc

yep. say x=n/alpha. when x<2 compare K to function more convenient.
This applies, but I won't give it all away. This was a fun problem, thanks.

Last edited: Feb 23, 2007
20. Feb 23, 2007

### gammamcc

I wonder if there is an alternate proof using Calderon-Zygmund decomposition combined with L^p inequalities.