1: \begin{definition}[Variational weak solutions to the MFPP system]

2: \label{def:solution}

3: Let $\mu_i=m_i\LL^d\in \cP_{2,p}^r(\R^d)$ %with $m_i\in L^p(\R^d)$ 

4: be given

5: and let us suppose that the structural assumption Assumptions

6: \ref{h.1}

7: are satisfied.

8: A pair $(m,u)$ is a weak  solution to the MFPP system \eqref{eq:wMFPP} if

9: \begin{itemize}

10: \item[(i)] $m\in L^p\cap L^1_\weight(Q)$ 

11:   is probability density and

12:   $u\in L^1_{\loc}(Q)$ is weak subsolution to  

13: \begin{equation}

14: -\partial_t u + H(x,Du) \leq f(x,m)\quad\text{in }\DD'(Q).

15: \end{equation} 

16: In particular, the left and right traces $u^+_0, u^-_1$ 

17: at $t=0,1$ are well defined

18: in the sense of measure convergence of Theorem 

19: \ref{thm:precise_repr}.

20: \item[(ii)]

21:   $m$ belongs to $\rmA_2(Q)$ and it

22:   is a distributional solution to  

23: \begin{equation}\label{eqmDu}

24: \partial_t m  - \nabla\cdot  (m\,D_\spp

25: H(x,Du)) = 0  \qquad

26: \text{in }\DD'(Q).

27: \end{equation}

28: In particular $m$ has a precise representative $\mu$ in the sense of Lemma

29: \ref{le:precise-m} and left and right traces at $t=0,1$ satisfying the boundary conditions

30: $  \mu_{t=0}= \mu_0, \ \mu_{t=1} = \mu_1.

31: $

32: \item[(iii)] 

33: \GGG

34: $u_0^+m_0,\ u_1^-m_1\in L^1(\R^d)$ and 

35: $u$ is a ``renormalized'' solution to \eqref{eq:161},

36: in the sense of \eqref{eq:205}, \eqref{eq:206}.

37: \end{itemize}

38: \end{definition}

39: