1: \begin{proof}

2: Formally taking the differential in \eqref{eq_utx}, using that $\partial_t K(t-s+x)=\partial_x K(t-s+x)$ and that $u_t(0)=V_t$, gives \eqref{eq_utx2}. More rigorously, note that $K(t-s+x)=T_{t-s}K(x)$, where $T_{t-s}$ is the shift operator that maps any function $f$ to the shifted function $f(t-s+\fdot)$. The derivative $\partial_x$ is the infinitesimal generator of the shift semigroup $\{T_t\}_{t\ge0}$, so, by definition, \eqref{eq_utx} is actually the mild formulation of the SPDE \eqref{eq_utx2}; see \cite[Section~6.1]{da2014stochastic}.

3: \end{proof}

4: