Let $S\subset\mathbb{R}^n$ be compact, $\alpha,\beta\in(0,1)$, $\alpha>\beta$ and $X$ a Banach space.
Under which assumptions on $X$ is the embedding
$$C^\alpha(S;X)\subset C^\beta(S;X)$$ compact?


The For $X=\mathbb{R}^N$ compactness holds and is a consequence of Ascoli-Arzela's theorem. The above question seems to boil down to whether there's a Banach space valued version of Ascoli-Arzela's theorem. References are welcome. Thanks.



Compact embeddings between vector-valued Holder spaces
Associating to every $x\in X$ the constant function with value $x$ is an isometric embedding of $X$ into $C^\alpha(S,X)$ equipped with the norm $\|f\|\_\alpha=\sup\lbrace \|f(s)\|\_X:s\in S\rbrace +\sup\lbrace\frac{\|f(s)-f(t)\|\_X}{|s-t|^\alpha}: s\neq t\rbrace$. If the inclusion is compact this yields the compactness of the identity on $X$ which hods only in the finite dimensional case. Of course, there is a version of Arzela-Ascoli for Banach space valued continuous functions: A subset $A$ of $C(S,X)$ is relatively compact if and only if $A(s)=\lbrace f(s): f \in A \rbrace$ is relatively compact in $X$ for every $s\in S$ and $A$ is equicontinuous.


