User:Addemf/sandbox/Lp Product-to-Sum Bound and Triangle Inequality

The Lp Product Bound
Now recall that the point of obtaining the real product-to-sum bound from the previous lesson,


 * $$ab \le \frac{a^p}{p}+\frac{b^q}q$$ for any $$a,b\in\Bbb R^+$$ and $$1\le p$$ and $$q = p^*$$

was in the hope of obtaining a bound on an integral of the form $$\int_E |fg|$$.

The following result is often called Hölder's inequality.

Let $$1\le p$$ and $$q = p^*$$ and then let $$f\in L^p(E)$$ and $$g\in L^q(E)$$.

Prove that $$\int_E |fg| \le \|f\|_p\cdot \|g\|_q$$.

Hint: In many cases of a normed vector space, it is easier to prove a claim first for vectors of unit norm, and then relate this result to the space of all vectors. In this case, that approach can help to simplify the proof. So start by assuming that $$\|f\|_p=1=\|g\|_q$$, in which case your goal is to prove


 * $$\int_E|fg|\le 1$$.

Now apply the sum-to-product bound.

When you have finished that, you now need to let $$f,g$$ have any norm at all. Consider first the case that either f or g has norm equal to zero, which should be straight-forward.

Next consider that their norms are both not zero and consider the normalized vectors $$\frac{|f|}{\|f\|_p},\frac{|g|}{\|g\|_q}$$. Argue that these two vectors now each have norm equal to 1 and then apply your result from before.

Then with a little bit of manipulation, infer the desired result.

Let $$1\le p$$ and let $$f\in L^p(E)$$. Define $$f^*$$ to be the function which "complements" f with respect to the $$L^p(E)$$ norm. What I mean by that is that we take $$f^*$$ to be a function which makes the equation


 * $$\|f\|_p = \int_E f\cdot f^*$$

come out correct. The function $$f^*$$ which does so, is sometimes called the conjugate of f.

1. Prove that $$f^* = \|f\|^{p-1} \cdot \text{sgn}(f)\cdot |f|^{p-1}$$.

2. Prove that $$f^*\in L^q(E)$$.

3. Show that $$\|f^*\|_q = 1$$.

The Triangle Inequality
Finally we are in a position to prove the triangle inequality for $$\|\cdot\|_p$$.

This theorem is sometimes called Minkowski's inequality.

For $$f,g\in L^p(E)$$ prove that $$\|f+g\|_p \le \|f\|_p+\|g\|_p$$.

Hint: From $$|f+g|^p$$ split off a single factor of $$f+g$$ and then use this to distribute the multiplication and then the integration. What is left should be a conjugate function for $$f+g$$. Continue from there.

Recall that one of the most important properties of $$L^2(E)$$ which we proved, was its completeness. The proof of its completeness was by way of a theorem for normed vector spaces which applies just as well to $$L^p(E)$$ at this point.

Show that the proof for $$L^2(E)$$ completeness is exactly the same proof for $$L^p(E)$$ completeness, mutatis mutandis.