Bounded Sobolev sequence together with convergence in Lebesgue space implies convergence in intermediate Sobolev spaces I am trying to understand the proof of a theorem, but I just can't seem to wrap my head around this one step:
We have a sequence of functions $(f_i)_{i \in \mathbb{N}}$ that are bounded in the Sobolev space $W^{k,p}$, where $k \in \mathbb{N}$, $p \geq 2$, i.e. $\|f_i\|_{W^{k,p}} \leq C$ for some constant $C$ and all $i$. We also know that $f_i$ converges to some $g$ in $L^p(\mathbb{R})$ and this $g$ is also an element of $W^{k,p}$. The proof now just claims, that using standard properties of Sobolev spaces, this bound together with the convergence in $L^p$ implies the convergence $f_i \to g$ in all intermediate spaces $W^{k',p}$, where $k' \in (0,k)$.
I am rather new to Sobolev spaces, so I am quite confused as to what these standard properties might be. I tried to read up in the book on Sobolev spaces by Adams, but I could not really find anything helpful. To be honest, I have yet to understand what norms these intermediate spaces use. I also tried to first understand the statement asuming $k'$ is an integer, because in this case I am more familiar with the spaces, but I was also unsuccessful.
Do you have ideas on how to approach this task? Any help is appreciated
 A: Here is the rough idea: typically, you have a compact embedding $W^{k,p} \hookrightarrow W^{k',p}$ for all $k' \in (0,k)$ [and I would say that in most cases, $k'$ is an integer].
Since $f_i$ is bounded in $W^{k,p}$, there is a subsequence $f_{k_i}$ with $f_{k_i} \to h$ in $W^{k',p}$ for some $h \in W^{k',p}$.
However, this gives $f_{k_i} \to g$ in $L^p$, i.e., $g = h$.
Finally, you can use a subsequence-subsequence argument to show that the entire sequence $f_i$ converges in $W^{k',p}$.
A: The most direct way to justify this would be to use the Gagliardo-Nirenberg interpolation inequality. There are certain technical assumptions (on the exponents and the domain), but for simplicity, let us fix $0 \le k' < k$ and take for granted the following:
$$
\| u \|_{W^{k',p}} \le A \| u \|^{\alpha}_{L^p} \cdot \| u \|^{1-\alpha}_{W^{k,p}} 
\qquad \text{for all } u \in W^{k,p},
$$
where the constants $0 < \alpha \le 1$ and $A > 0$ may depend on everything (in particular the choice of $k'$) except $u$.
If $\| f_i \|_{W^{k,p}} \le C$ for all $i$, then
$$
\| f_i-f_j \|_{W^{k',p}} 
\le A \| f_i-f_j \|^\alpha_{L^p} \cdot \| f_i-f_j \|^{1-\alpha}_{W^{k,p}}
\le 2C^{1-\alpha}A \| f_i-f_j \|^\alpha_{L^p}.
$$
If additionally $f_i$ converges in $L^p$, then by the above, it's a Cauchy sequence in $W^{k',p}$, which implies convergence in this space.
