1: \begin{proof}

2: The proof follows from Propositions \ref{equiv} and \ref{existence}, and the regularity results for the heat an the wave equation. Let us first prove that $(u,v)$ is a unique solution to Problem 1. Namely, from $g\in H^{1/4}(0,T)$ we get $u\in H^{1,2}((0,T)\times (-1,0))$ and $v\in V^{5/4}((0,T)\times (0,1))$. With stated regularity we can rigorously justify all the steps that lead to the formal equivalence of Problem \ref{HW} and~\eqref{HWequiv}. Moreover, coupling conditions on the interface \eqref{HeatWaveCoupling} for Problem \ref{HWMass} are satisfied in the trace sense, where one has to use the so-called hidden regularity theorem for the wave equation to justify trace $\partial_x v(.,0)$. More precisely, we have $\partial_x v(.,0)\in L^2(0,1)$ (see e.g. \cite{LionsHiddenRegularity}, Theorem 2.1.). 

3: 

4: To prove statements 1-4, we use Theorem 4.6.2. from \cite{LionsMagenes2} for the regularity of the heat equation, and  Theorem 2.5. and Remark 2.10. from \cite{LionsHiddenRegularity} for the regularity for the wave equation. Let us prove statement 1.

5: 

6: From Proposition \ref{existence} we have $g\in H^{r_2}_{00}(0,T)$. Moreover, from Proposition \ref{LIso} and~\eqref{Lu0} we have $c=L_{u_0}g\in H^{r_2+1/2}_{00}(0,T)$ and consequently $h\in H^{r_2+3/2}_{00}(0,T)$. Now, the statement follows from the regularity results for the heat and weave equations.

7: 

8: Statements 2-4 follows analogously by using Propositions \ref{LIso} and \ref{existence} together with the regularity theorems for the heat and the wave equations.

9: \end{proof}

10: