3
$\begingroup$

I am having trouble with this question. It is not an homework question, I am currently trying to practise different problems for an exam.

Let $f$ be a nonnegative measurable function on $\mathbb R^d$, with

$m(\{x | f(x)>\lambda\}) = \frac{1}{1+\lambda^2}.$

For which values of $p$ is $f\in L^p$?

Clearly for $p=1$, you have $\int f = \int_0^{\infty} m(\{x | f(x)>\lambda\}) d\lambda < \infty$.

So $f\in L^1$. But how can I use the sets $\{x | f(x)>\lambda\}$ to compute $\int f^p$ for $p>1$?

Any help would be appreciated! Thank you!

1 Answers 1

2

Let $F(x,t):=\chi_S(x,t)|$ where $S:=\{(x,t),|g(x)|>t\}$. Using Fubini's theorem for non-negative functions, we have,, if $p\geqslant 1$, $\int_0^{+\infty}\int_0^{+\infty}F(x,t)dxdt=\int_0^{+\infty}\int_0^{+\infty}F(x,t)dtdx.$ The LHS is $\int_0^{+\infty}\lambda\{x, |g(x)|>t\}dt$ and the RHS is $\int_0^{+\infty}|g(x)|dx.$ Using that with $|g(x)|:=|f(x)|^p$ we get what we want.

  • 0
    Oh sorry about my confusion! Thank you!2012-12-11