1: \begin{proof}

2: By linearity, we get $u'=u'_\ri+u'_\ro$, where $u'_\ri$ and $u'_\ro$ are the shape derivatives of the state function $u$ computed with respect to the perturbation fields $\Phi_\ri$ and $\Phi_\ro$ respectively. 

3: The computation of $\Phi_\ri$ has been carried out in \cite[Proposition 2.3]{cava} and therefore we will refer to it for a proof of \eqref{u'in}.

4: Now we will give a proof of \eqref{u'out}. We compute the shape derivative $u'_\ro$ of $u$ with respect to $\Phi_\ro$. To this end, first we formally differentiate the equation $-\dv(\sg_t \gr u_t)=1$ in $\Om_t$ with respect to the variable $t$

5: (here $\sg_t$, $u_t$ and $\Om_t$ are defined according to the perturbation field $\Phi_\ro(t)$).

6: We get $\dv (\sg_0 \gr u'_\ro)=0$ in $\Om_0$, which is equivalent to the first three equalities in \eqref{u'out}. This formal calculation can be justified rigorously as done in \cite[Proposition 2.3]{cava} (nevertheless, in this case we do not need to split the domain $\Om_t$ as $D_0\cup\Om_t\setminus\ol{D_0}$ because $\Phi_\ro$ vanishes on a neighborhood of the interface $\pa D_0$). Finally, the boundary condition in \eqref{u'out} is derived by differentiating the constant Dirichlet boundary condition on $\partial \Omega_t$ by means of \eqref{u'a}. 

7: \end{proof}

8: