1: \begin{proof}

2: We again restrict to giving the informal derivation, the rigorous justification is standard by considering a vanishing viscosity approximation first, then using lower semicontinuity. From \cite[Lemma 4.1]{E05} we recall the elementary inequality, for $m\ge2$, 

3: \[

4: |r-s|^{m}\le c|r^{[\frac{m}{2}]}-s^{[\frac{m}{2}]}|^{2}\quad\forall r,s\in\R,

5: \]

6: for some $c>0$. Hence,

7: \begin{align*}

8: |\D_{e}^{h}u(x)|^{m} & =|u(x+he)-u(x)|^{m}\le c|u(x+he)^{[\frac{m}{2}]}-u(x)^{[\frac{m}{2}]}|^{2}\\

9:  & =c|\D_{e}^{h}u^{[\frac{m}{2}]}(x)|^{2}

10: \end{align*}

11: and thus, using Lemma \ref{lem:ebm},

12: \begin{align*}

13:  & \int_{0}^{T}\sup_{e\in\R^{N},|e|=1}\sup_{h>0}\int_{\R^{d}}\left|\frac{\D_{e}^{h}u(t,x)}{h^{\frac{2}{m+\g}}}\right|^{m+\g}dxdt\\

14:  & =\int_{0}^{T}\sup_{e\in\R^{N},|e|=1}\sup_{h>0}\int_{\R^{d}}h^{-2}\left|\D_{e}^{h}u(t,x)\right|^{m+\g}dxdt\\

15:  & \le c\int_{0}^{T}\sup_{e\in\R^{N},|e|=1}\sup_{h>0}\int_{\R^{d}}h^{-2}|\D_{e}^{h}u^{[\frac{m+\g}{2}]}(t,x)|^{2}dxdt\\

16:  & \le c\int_{0}^{T}\int_{\R^{d}}|\nabla u^{[\frac{m+\g}{2}]}(t,x)|^{2}dxdt\\

17:  & \le C_{\gamma,m}(\|u_{0}\|_{L_{x}^{1+\gamma}}^{1+\gamma}+\|S\|_{L_{t,x}^{1+\gamma}}^{1+\gamma}).

18: \end{align*}

19: This implies

20: \begin{align*}

21: \int_{0}^{T}|u(t,\cdot)|_{\mcN^{\frac{2}{m+\g},m+\g}(\R_{x}^{d})}^{m+\g}\,dt & \le C_{\gamma,m}(\|u_{0}\|_{L_{x}^{1+\gamma}}^{1+\gamma}+\|S\|_{L_{t,x}^{1+\gamma}}^{1+\gamma}).

22: \end{align*}

23: 

24: 

25: Using Lemma \ref{lem:ebm} with $\g$ replaced by $m-1+\gamma$ yields

26: \[

27: \|u\|_{L^{\infty}([0,T];L^{m+\g}(\R_{x}^{d}))}^{m+\g}\le C_{m,\g}(\|u_{0}\|_{L_{x}^{m+\g}}^{m+\g}+\|S\|_{L_{t,x}^{m+\gamma}}^{m+\gamma}).

28: \]

29: 

30: 

31: This implies that

32: \[

33: \|u\|_{L^{m+\g}([0,T];\mcN^{\frac{2}{m+\g},m+\g}(\R^{d}))}^{m+\g}\le C_{\gamma}(\|u_{0}\|_{L_{x}^{1+\gamma}}^{1+\gamma}+\|S\|_{L_{t,x}^{1+\gamma}}^{1+\gamma})+C_{m,\g}(\|u_{0}\|_{L_{x}^{m+\g}}^{m+\g}+\|S\|_{L_{t,x}^{m+\gamma}}^{m+\gamma}).

34: \]

35: \end{proof}

36: