1: \begin{definition}\label{def:weak_solution}

2: Suppose $r\in L^2(Q_T)^m$, $y^0\in L^2(\Omega)^m$. A function

3: \[

4: \mathbf{y} \in L^2((0,T);H_0^1(\Omega))^m\cap H^1((0,T);H^{-1}(\Omega))^m

5: \]

6: is said to be a weak solution of system~\eqref{eq:coupled_system} provided that for every $v\in H_0^1(\Omega)^m$ and almost every $t\in [0,T]$

7: \begin{enumerate}

8: \item $\langle\frac{d}{dt}\mathbf{y}, v\rangle + B[\mathbf{y},v]=\int_{\Omega} \mathbf{r}^T v dx$, and;

9: \item $\mathbf{y}(0)=y^0$,

10: \end{enumerate}

11: where $\langle\cdot,\cdot\rangle$ denotes the appropriate duality pairing.

12: %the second equality makes sense thanks to Theorem~\ref{thm:sobolev_regularity_time}.

13: \end{definition}

14: