Weak and strong product convergence exercise

136 Views Asked by At

Let $f_n,g_n,f,g\in L^{2}(\mathbb{R})\cap C^{0}(\mathbb{R})$ with $$ f_n \overset{*}{\underset{n\to +\infty}\rightharpoonup} f $$ weakly in $L^{2}(\mathbb{R})$ $$ g_n \overset{*}{\underset{n\to +\infty}\rightharpoonup} g$$ weakly in $L^{2}(\mathbb{R}).$ If I had the hypothesis, $$f_n {\underset{n\to +\infty}\rightarrow} f $$ strongly in $L^{\infty}(K)$ on every $K$ compact subset of $\mathbb{R};$ if there a way to have $$ \underset{n\to +\infty}{\lim}\int_{\mathbb{R}}{f_ng_n}=\int_{\mathbb{R}}fg $$ ??

1

There are 1 best solutions below

2
On BEST ANSWER

This statement is false. By a theorem of Radon and Riesz we know that for $1 < p < \infty$ the following conditions are equivalent:

  1. $f_n \rightarrow f$ in $L^p$-strongly.
  2. $f_n \rightarrow f$ in $L^p$ weakly and $\|f_n\|_p \rightarrow \|f\|_p$.

For the special choice $f_n = g_n$ we would already get strong-convergence in $L^p$.

Counterexample for the statement: Let $\phi \in C_c^\infty(\mathbb{R})$ be a non-trival bumpfunction with compact support in $[0,1]$ and let $f_n(x) = g_n(x) = \phi(x+n)$ and $f = g =0$. Then we have $f_n \rightarrow f$ uniformly on any compact set. Moreover, using Hölder-inequality, we have $$\Big| \int f_n h \, \mathrm{d} x \Big|^2 \leq \|\phi\|_\infty^2 \int I(n \leq x \leq n+1) h(x)^2 \mathrm{d}x.$$ The last term vanishes for $n \rightarrow \infty$ because of the dominated convergence theorem. Thus $f_n \rightarrow 0$ weakly. However, we see that $\int |f_n|^2 \mathrm{d} x$ is a constant independent of $n$ and also non-negative by the choice of $\phi$. Thus $$\int g_n f_n \mathrm{d} x \not\rightarrow 0 = \int f g \mathrm{d} x.$$