I'm working on Exercise 3.14 in Rudin's Real and Complex Analysis. I was able to answer part (a): that for real $p$ satisfying $1<p<\infty$, for every function $f$ in $L^p(0,\infty)$, when $F$ is defined by $$ F(x)=\frac{1}{x}\int_{0}^{x} f(t)~dt, $$ then $$ \lVert F\rVert_p\leq\frac{p}{p-1}\lVert f\rVert_p. $$ My proof uses Rudin's suggestion to show the inequality first for nonnegative compactly supported continuous functions, and then the general case. For the nonnegative compactly supported continuous case, I used Hölder's inequality on $$ \int_{0}^{\infty} F^{p-1}(x)f(x)~dx, $$ and I used Fatou's lemma and a density argument for the general case. What I'm stuck on is part (b): showing equality holds in Hardy's inequality only when $f$ vanishes almost everywhere. I was able to do this with the additional assumption that $f$ is nonnegative, compactly supported, and continuous, by using the necessary and sufficient condition for equality in Hölder's. I wasn't able to extend this to the general case. Any suggestions?

(I saw a related question here which uses the Fubini theorem, but Rudin doesn't cover Fubini until Chapter 8.)

  • 1
    $\begingroup$ Apologies for commenting on an old post, but there are several (interesting) solutions for this problem posted at math.stackexchange.com/questions/265878/… -- I commented namely for the aid of future reference by others (to link the other post, etc.). $\endgroup$
    – Procore
    Jan 27 '18 at 0:41

Here's the approach that I used on this exercise. I feel like there's probably a simpler way, but I didn't see one without using Fubini's Theorem.

First, use Hölder's inequality to show that $f_n \in L^p$, $f \in L^p$, and $f_n \to f$ in $L^p$ guarantee that $F_n \to F$ pointwise.
In addition, show that $f_1 \le f_2$ pointwise guarantees $F_1 \le F_2$ pointwise.
Verify using Hölder's inequality that $F(x)$ is continuous in $x$ for $x \gt 0$.

The hint which Rudin gives a hint for part a) is to assume the continuous, non-negative compact support case for $f$ to show

$$ \int_0^{\infty}F^p\ dx = -p\int_0^{\infty}F^{p-1}(f-F) \ dx $$


$$ \label{a}\tag{*} \int_0^{\infty}F^p\ dx = \frac{p}{p-1}\int_0^{\infty}F^{p-1}f \ dx $$

Use Lebesgue Monotone Convergence to show ($\ref{a}$) holds when $f$ is the characteristic function of an open set with finite measure.

Show that ($\ref{a}$) holds for non-negative simple functions $s$ which are nonzero only on a set of finite measure as follows: Let $U$ be an open set of finite measure such that $s = 0$ outside of $U$. Use Lusin's theorem to get a sequence $g_n$ of continuous, compactly supported, non-negative functions whose supports are contained in $U$, and such that $g_n \to s$ pointwise a.e., $g_n \to s$ in $L^p$, and with $0 \le g_n \le K\chi_{U}$ for some $K > 0$. Apply Lebesgue Dominated Convergence to show that ($\ref{a}$) holds for $s$.

Show that ($\ref{a}$) holds for any non-negative $f \in L^p$ using Monotone Convergence on a increasing sequence of non-negative simple functions which converges pointwise to $f$.

Now let $f$ be an arbitrary non-negative function in $L^p$.

Suppose (for a contradiction) that $||F||_p =\frac{p}{p-1}||f||_p$ but that it is not the case that $f = 0$ almost everywhere.

Then $||f||_p \gt 0$, and since we are in the equality situation, we also have $||F||_p \gt 0$

Using Hölder's inequality, show that $$ ||F||_p^p = \int_0^{\infty}F^p\ dx = \frac{p}{p-1}\int_0^{\infty}F^{p-1}f \ dx \\ \le \frac{p}{p-1}\left\{ \int_0^{\infty}F^p \ dx \right\}^{1 - \frac{1}{p}} ||f||_p \\ = \frac{p}{p-1} ||F||_{p-1}||f||_p $$

Thus Hölder's inequality must be an equality, and so there must be a non-negative constant $\alpha$ such that $F = \alpha f$ a.e. or $f = \alpha F$ a.e..
Verify that $\alpha$ must in fact be strictly positive.

The next part is what I wrestled with for some time.

We now have that WLOG $f = \alpha F$ a.e. for some $\alpha \gt 0$. Verify using ($\ref{a}$) that $\alpha = \frac{p-1}{p}$. From this we may conclude that $$ F(x) = \frac{1}{x} \int_0^x \alpha F(t) \ dt $$ Since $F(t)$ is continuous, it must be the case that $F(x)$ is differentiable for $x \gt 0$. Differentiating gives $$ xF'(x) = (\alpha - 1)F(x) = -\frac{1}{p}F(x) $$ Since $||F||_p > 0$, there must be a point $a$ with $F(a) > 0$.
But, the above equation shows that if $F(a) > 0$, then $F(x) > 0$ for $0 < x < a$.
So on $(0, a)$, have $\frac{F'}{F} = -\frac{1}{px}$ and hence $\log F(x) = C -\frac{1}{p} \log(x)$.

So, near zero, we have $F(x) = C x^{-\frac{1}{p}}$ for some $C > 0$. But this is a contradiction since then $F$ is not in $L^p$.

The case where $f$ is an arbitrary (complex-valued) function in $L^p$ follows from the case where $f$ is non-negative.

Let $g = |f|$.

If $||F||_p =\frac{p}{p-1}||f||_p$, then $$ \frac{p}{p-1}||f||_p = ||F||_p \le ||G||_p \le \frac{p}{p-1}||g||_p = \frac{p}{p-1}||f||_p $$ So $g = 0$ almost everywhere by the non-negative case, and the same is true for $f$.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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