1
$\begingroup$

Exercise:

Let $E$ be a measurable set in $\mathbb{R}$ under Lebesgue measure, and let $1<p<\infty$. Suppose $\{f_n\}$ is a bounded sequence in $L^p(E)$ and $f \text{ belongs to } L^p(E) $. Consider the following 4 properties:

(i) $\{f_n\} \rightarrow f$ pointwise a.e. on $E$.

(ii) $\{f_n\} \rightharpoonup f$ in $L^p(E)$.

(iii) $\{\|f_n\|_p\}$ converges to $\{\|f\|_p\}$.

(iv) $\{f_n\} \rightarrow f$ in $L^p(E)$.

If $\{f_n\}$ possesses two of these properties, does a subsequence posses all four properties?

I'm not quite sure where to start. My intuition tells me that that this is false. But I'm not sure as to which properties to start with. Any thoughts would be helpful.

$\endgroup$
8
  • $\begingroup$ Note that you can use \{ and \} for braces in LaTeX code. $\endgroup$ May 10, 2014 at 22:34
  • $\begingroup$ Does $f_n \rightharpoonup f$ denote weak convergence? $\endgroup$ May 10, 2014 at 22:40
  • $\begingroup$ Yes. It denotes weak convergence. $\endgroup$
    – user0430
    May 10, 2014 at 22:43
  • $\begingroup$ OK. And by "measure set", you mean a measure space? $\endgroup$ May 10, 2014 at 22:45
  • 1
    $\begingroup$ You know that (iv) implies (iii) and (ii), as well as (i) for a subsequence. So if one of the two properties is (iv), a subsequence has all properties. That leaves $\binom{3}{2} = 3$ configurations to check. Some of them imply (iv). $\endgroup$ May 10, 2014 at 22:54

2 Answers 2

1
$\begingroup$

(Not a full answer.)

First of all, as Daniel Fischer notes in the comments,

  • $L^p$ convergence implies convergence in measure. Convergence in measure implies there is some subsequence converging pointwise.

  • Strong ($L^p$) convergence implies weak convergence.

  • $\newcommand{\norm}[1]{\left\| #1 \right\|_p} 0 \le \left| \norm{f_n} - \norm{f} \right| \le \norm{f_n - f}$ by Triangle inequality.

Therefore, if you want to find a counterexample (which you do), you should steer clear of $L^p$ convergence. But there is more:

Therefore there are two cases left: Convergence of norms + weak convergence, and Pointwise a.e. convergence + weak convergence.

$\endgroup$
1
  • $\begingroup$ Convergence of norms plus weak convergence implies norm-convergence for $1 < p < \infty$ by the uniform convexity of $L^p$, by the way. $\endgroup$ May 11, 2014 at 0:13
0
$\begingroup$

if (iv) is one of the two assumptions, then all four are true for some subsequence.

To check the other three case,

(i)+(ii), for $1<p<\infty$, $f_n$ bounded in $L^p$, pointwise a.e convergence implies weak convergence, thus the only asumption we have is basically $f_n \rightarrow f$ pointwise a.e. This would make the statement false, take $f_n(x) = \chi_{[n,n+1]}$ as a counter example.

Both (i)+(iii) and (ii) + (iii) implies strong convergence; the statement is true.

It would be a good exercise to check for the case when $p=1$.

$\endgroup$

Not the answer you're looking for? Browse other questions tagged .