1: \begin{proof}

2: $i)$ The definition of the bounds  implies that the assumptions~\eqref{def:Y}-\eqref{def:Z_2} are satisfied. Theorem~\ref{th:radii_pol} then yields the existence and uniqueness of a zero for $F$ in $\B_{\X_\nu}(\bar X,r)$. The injectivity of $A$ follows for free from the fact that $P(r)<0$. Indeed it is necessary that $Z_0<1$ which means $\left\VERT I-AA^{\dag} \right\VERT_\X<1$. Note that the tail parts of $A$ and $A^\dag$ are analytically defined in a way that $1> \left\VERT I-AA^{\dag} \right\VERT_\X=\left\VERT \hat I^m-\hat A^m \hat{A^{\dag}}^m \right\VERT_\X$. The latter implies that both  $\hat A^m$ and $\hat{A^{\dag}}^m$ are  invertible, and thus $A$ is injective because its diagonal tail is made of non-zero coefficients.

3: 

4: $ii)$ Let $X=(v,w,p,s)$ be the unique zero of $F$ in   $\B_{\X_\nu}(\bar X,r)$. Thus $\|v-\bar v\|_\nu\leq r$ and $\|w-\bar w\|_\nu<r$. Since for any $a\in \ell^1_\nu$ we have that  $\|a\|_\nu\geq \sup_x|a(x)|$, it follows that $v(x)\geq \inf_x \bar v(x)-r>0$. The same holds for $w(x)$. For Lemma~\ref{lem:rigorous_justification} it follows  the existence of a smooth solution to~\eqref{eq:steady_states}. The error bound between $u$ and $\bar u$ is proven in Section~\ref{sec:c_j}.

5: \end{proof}

6: