Skip to main content
1 of 7
user avatar
user avatar

An argument in the proof of a compactness theorem

In the proof of a compactness theorem involving fractional derivatives in Temam's Navier-Stokes Equations, an argument as the following is made.

Suppose $X_0,X,X_1$ are Hilbert spaces such that $ X_0\overset{\textrm{cpt}}{\hookrightarrow} X\hookrightarrow X_1. $ Suppose $\gamma>0$. Suppose $v_m$ is a sequence all supported in a bounded subset $K$ of $\mathbb{R}$ such that

  • $v_m\to 0$ in $L^2(\mathbb{R};X_0)$ weakly; (2.29)
  • $|\xi|^\gamma\hat{v_m}\to 0$ in $L^2(\mathbb{R};X_1)$ weakly. (2.30)

Then for $M>0$, $$ \lim_{m\to\infty}\int_{|\xi|\leq M}\|\hat{v_m}(\xi)\|_{X_1}^2\ d\xi\to 0. $$

Would anybody elaborate why this is true?

user14319