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: