3
$\begingroup$

The question is the following:

Suppose $f$ is a real-valued Lebesgue measurable function on a set $E\subset \mathbb{R}$ with finite measure. Given $1 > \varepsilon > 0$. Let $E_\varepsilon = \{x:|f(x)|\geqslant \varepsilon\}$. Suppose $$ \frac{1}{\lambda(E)}\int_E |f(x)|\ d\lambda \geqslant 1 \quad \text{and} \quad \frac{1}{\lambda(E)}\int_E |f(x)|^p\ d\lambda \leqslant 1 $$ for some $1<p<\infty$. Show that $$ (1-\varepsilon)^q \lambda(E) \leqslant \lambda(E_\varepsilon) $$ where $1/p+1/q = 1$.

I tried to compute $$ \int_{E \setminus E_\varepsilon} |f| \ d\lambda = \int_{{x \in E:|f(x)| \leqslant \varepsilon}} |f| \leqslant \int_{{x \in E:|f(x)| \leq \varepsilon}} \varepsilon \ d\lambda = \epsilon \cdot \lambda(E \setminus E_\varepsilon)\leqslant\varepsilon \cdot(\lambda(E )-\lambda(E_\varepsilon)) $$ Therefore, we have \begin{align*} \int_{E_\varepsilon} |f| = \int_E |f| - \int_{E \setminus E_\varepsilon}|f| \geqslant \lambda(E) - \varepsilon \cdot( \lambda(E )-\lambda( E_\varepsilon)) \geqslant (1-\varepsilon) \lambda(E) + \lambda(E_\varepsilon) \end{align*} Apply the Holder's Inequality, $$ \int_{E_\varepsilon}|f| \leqslant \left(\int_{E_\varepsilon}|f|^p\right)^{1/p} \cdot \left(\int_{E_\varepsilon}|1|^q\right)^{1/q} = \left(\int_{E_\varepsilon}|f|^p\right)^{1/p}\cdot(\lambda(E_\varepsilon))^{1/q} $$ then we have $$ \left(\int_{E_\varepsilon}|f|^p\right)^{1/p}\cdot(\lambda(E_\varepsilon))^{1/q}\geqslant (1-\varepsilon) \lambda(E) + \lambda(E_\varepsilon) $$ which does not imply anything. I know that I have to apply the Holder's Inequality some how from the relationship between $p$ and $q$, but I can't proceed anywhere else. I have no idea how to use the second inequality as it always gives me something from the other direction. Any help and hint are appreciated!!

Edit: I have already figured it out, and I was actually very close to the solution. Here attached the rest of my approach. \begin{align*} (1-\epsilon) \lambda(E) + \lambda(E_\epsilon)& \leq \left(\int_{E_\epsilon}|f|^p\right)^{1/p} \cdot(\lambda(E_\epsilon))^{1/q}\\ &\leq \left(\int_{E}|f|^p\right)^{1/p} \cdot(\lambda(E_\epsilon))^{1/q}\\ &\leq (\lambda(E))^{1/p} \cdot(\lambda(E_\epsilon))^{1/q} \end{align*} and now it suffices to show that the above equation is equivalent to the conclusion $$ (1-\epsilon)^q\lambda(E)\leq \lambda(E_\epsilon) $$ Divide both side by $(\lambda(E))^{1/p}$ and from the fact that $1-1/p = 1/q$ \begin{align*} (1-\epsilon) [\lambda(E)]^{1/q} + \lambda(E_\epsilon)(\lambda(E))^{-1/p}&\leq (\lambda(E_\epsilon))^{1/q} \end{align*} Raise both sides to the $q$-th power, one has \begin{align*} \lambda(E_\epsilon) &\geq [(1-\epsilon) [\lambda(E)]^{1/q} + \lambda(E_\epsilon)(\lambda(E))^{-1/p}]^q \\ &\geq [(1-\epsilon) [\lambda(E)]^{1/q}]^q \\ &\geq (1-\epsilon)^q \lambda(E) \end{align*}

$\endgroup$
6
  • $\begingroup$ The prompt is strange. If $E$ is a finite subset of $\Bbb R$ and $\lambda$ is the Lebesgue measure on $\Bbb R$, then $\lambda(E) = 0$. $\endgroup$
    – kobe
    Apr 15, 2020 at 4:47
  • $\begingroup$ @kobe Sorry, there were some typos. Is it clear now? $\endgroup$
    – Tab1e
    Apr 15, 2020 at 4:53
  • $\begingroup$ @kobe Wait, but you argument does not make sense to me, are you claiming that the Lebesgue measure of a finite subset of $\mathbb{R}$ is zero? $\endgroup$
    – Tab1e
    Apr 15, 2020 at 4:54
  • $\begingroup$ @Table a finite subset of $\Bbb R$ is countable and countable sets have measure zero. $\endgroup$
    – kobe
    Apr 15, 2020 at 4:55
  • $\begingroup$ @kobe I see your point. Let's say $E$ is a subset of $\mathbb{R}$ with finite measure. I think it is what it's supposed to mean. $\endgroup$
    – Tab1e
    Apr 15, 2020 at 5:01

1 Answer 1

0
$\begingroup$

My approach has been updated in the question description.

$\endgroup$

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.