1: \begin{definition}
2: \label{WKS}
3: %\hypertarget{HWKS}
4: Let $B\in\BB$ be any admissible field. We call $f$ a \textbf{strong solution} of the initial value problem \eqref{VPSU} to the field $B$, iff the following holds:
5: \begin{enumerate}
6: \item[\textnormal{(i)}] For all $1\le p \le \infty$, $f\in W^{1,2}(0,T;L^p(\RR^6)) \cap L^2(0,T;W^{1,p}(\RR^6))$\\ $\subset C([0,T];L^p(\RR^6))$ with
7: $$\|f\|_{W^{1,2}(0,T;L^p)} + \|f\|_{L^2(0,T;W^{1,p})} \le C$$ for some constant $C>0$ depending only on $\mathring f$, $T$, $K$ and $\beta$.
8: \item[\textnormal{(ii)}] $f$ satisfies the Vlasov equation
9: $$\delt f + v\cdot \partial_x f - \partial_x \psi_f \cdot \partial_v f + (v\times B) \cdot \partial_v f= 0$$
10: almost everywhere on $[0,T]\times\RR^6$.
11: \item[\textnormal{(iii)}] $f$ satisfies the initial condition $f\big\vert_{t=0}=\mathring f$ almost everywhere on $\RR^6$,
12: \item[\textnormal{(iv)}] For every $t\in[0,T]$, $\supp f(t) \subset \BR$ where $R$ is the constant from Theorem \ref{GCS}.
13: \end{enumerate}
14: \end{definition}
15: