6b820ffd590629a5.tex
1: \begin{definition}[Besov spaces on domains, {\cite[Theorem 1.118]{triebel06}}]
2: Let $\Omega$ be a bounded Lipschitz domain and $1\leq q \leq \infty$. 
3: A function $f:\Omega\rightarrow\R$ belongs to $B^{\frac 13}_{3,q} (\Omega)$ if 
4: \[
5: \|f\|_{L^3(\Omega)} + 	
6: \left( 
7: \int_0^1 \left( t^{-\frac 13}
8: \sup_{|z|\leq t} \| D^zf  \|_{L^3(\Omega)}\right)^q
9: \frac{dt}{t}
10: \right)^\frac{1}{q}
11: <\infty.
12: \]
13: The expression on the left hand side provides a quasi-norm. Moreover we denote with $B^{\frac 13}_{3,q,\loc} (\Omega)= \bigcap_{U\subset\subset\Omega} B^{\frac 13}_{3,q} (U)$. 
14: \end{definition}
15: