Dear mathoverflowers, I have a question concerning the strong convergence in $L^p([0,T],X)$. 


Let $X\_1,X$ be two Banach spaces such that $X\_1\subset X$ with compact embedding. Let $x\_n(t)\in X\_1$ be a bounded sequence in $X\_1$ (this sequence converge strongly to $x(t)\in X$ for almost every $t\in [0,\infty)$). Moreover assume that 
$$
\|x\_n(t)\|\_X +\|x(t)\|\_X \leq C
$$
for almost every $t$. 


Does this sequence converge strongly in $L^p([0,T],X)$? I think that, in fact, it does. I write my argument below. It seems quite easy, so I don't know if it is correct...


Let $T<\infty$ a fixed final time and define $\rho\_n(t)=\|x\_n(t)-x(t)\|^p\_X$. Due to the compactness we have $\rho\_n(t)\rightarrow 0$ for almost every $t$. We also have $\rho\_n(t)\leq$C. I think that we can use now the dominated convergence theorem (taking $C$ as the dominating function and using the finiteness of the time interval)
$$
\lim\_n\int\_0^T\rho\_n(s)ds=0.
$$


Therefore
$$
\lim\_n\|x\_n-x\|\_{L^p([0,T],X)}^p=\lim\_n\int\_0^T \|x\_n(s)-x(s)\|^p\_Xds=\lim\_n\int\_0^T\rho\_n(s)ds=0,
$$
and we obtain that $x\_n$ converges strongly to $x$ in the Banach space $L^p([0,T],X)$.


Thank you in advance for your answer!!



Strong convergence in the Bochner space L^p([0,T],X)
Rafa: if I'm not mistaken your dominated convergence argument is wrong.


I agree that for a.e. fixed $t\in [0,T]$ you can extract a subsequence $n\_k$ such that $x\_{n\_k}(t)\to x(t)$ strongly in $X$. The mistake you made is that the extraction procedure depends on the time $t$ you fix. Of course you can always use diagonal extraction to obtain $x\_{n\_k}(t)\to x(t)$ for a countable set of times $t$ (e.g. $t\in [0,T]\cap \mathbb{Q}$). But this is never going to be enough to obtain convergence $\rho\_{n\_k}(t)\to 0$ for a.e. $t\in[0,T]$, which is the hypothesis one needs to apply the Dominated convergence (in addition to suitable $L^p(0,T)$ bounds on $t\mapsto\rho\_n(t)$, of course). In other words, the subsequence you extract must be chosen once and for all independently of the time $t$, which does not hold with only your hypotheses.


In a general way, you are missing compactness in time. Personally I like thinking of compactness in $L^p(0,T;X)$ as a different version of the Ascoli theorem: your compactness assumption $X\_1\subset\subset X$ corresponds to the fact that the family $\{x\_n(t)\}\_n$ is pointwise relatively compact in $X$ for all time, but you are missing some kind of equicontinuity in time. A usual way to retrieve compactness in $L^{p}(0,T;X)$ is the Aubin-Lions lemma (see <http://en.wikipedia.org/wiki/Aubin%E2%80%93Lions_lemma>), which precisely takes care ot the time derivative and should be seen as some equicontinuity in time. Otherwise see also [Simon, " compact sets in the space $L^p(0,T;B)$", 1987]


