A measurable function with $\int f^n$ bounded or converging as $n \to \infty$

259 Views Asked by At

(1) Show that, if $f^n$ is integrable for all integers $n\ge 1$ and $\limsup_{n\to \infty} \int f^n<\infty$ then $|f|\le1$ almost everywhere.

(2) Show that, if $f^n$ is integrable for all integers $n\ge 1$ then $\int f^n d\mu = c$, for every $n\in\mathbb N$ $ \Leftrightarrow f=\mathbb{1}_{A} $ a.e. for some $A\subseteq X$ with $\mu(A)=c$. (This is the edited version, i think here is not necessarily $|f|\le 1\ a.e$)

Proof(1):

Assume not ( $|f|\le 1$ not almost everywhere)

Since $||f||_{\infty}=\inf\{M:|f(x)|\le M\quad \text{for } \mu \text{-almost everywhere } x\in X\}$

$\Rightarrow ||f||_{\infty}>1$ then $||f||_{\infty}^{\infty}=\infty$ which is a contradiction.

Is this OK?

1

There are 1 best solutions below

1
On BEST ANSWER

(1) Assume that $|f|\leqslant 1$ doesn't hold almost everywhere. Then there is $k\geqslant 1$ such that $\mu(A)\gt 0$, with $A:=\{|f|\geqslant 1+k^{-1}\}$. We thus have $$\int_X|f|^n\mathrm d\mu\geqslant \int_A|f|^n\mathrm d\mu\geqslant \mu(A)(1+k^{-1})^n,$$ which contradicts the finiteness of $\sup_n\int_X|f|^n\mathrm d\mu$.

(2) One direction is easy. For the other one, we have to prove that $f\in \{0,1\}$ almost everywhere. Thanks to the first part, it's enough to show that $\mu\{0\lt f\lt 1\}=0$. To this aim, define $A_k:=\{k^{-1}\leqslant f\leqslant 1-k^{-1}\}$.