257602f70f8de219.tex
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: