Inverse image of precompact sets and regular solutions to the Navier–Stokes equations

We consider the initial value problem for the Navier–Stokes equations over ${\mathbb R}^3 \times [0,T]$ with time $T>0$ in the spatially periodic setting. We prove that it induces open injective mappings ${\mathcal A}_s\colon B^{s}_1 \to B^{s-1}_2$ where $B^{s}_1$, $B^{s-1}_2$ are elements from scales of specially constructed function spaces of Bochner–Sobolev type parametrized with the smoothness index $s \in \mathbb N$. Finally, we prove that a map ${\mathcal A}_s$ is surjective if and only if the inverse image ${\mathcal A}_s ^{-1}(K)$ of any precompact set $K$ from the range of the map ${\mathcal A}_s$ is bounded in the Bochner space $L^{\mathfrak s} ([0,T], L^{{\mathfrak r}} ({\mathbb T}^3))$ with the Ladyzhenskaya–Prodi–Serrin numbers ${\mathfrak s}$, ${\mathfrak r}$.