定义 Sobolev 函数

自然语言

给定开集 $\Omega \subset \mathbb{R}^n$
定义 $\Omega$ 上的全体指标为 $(m,p)$ 的 Sobolev 函数为

$$ \bbox[5pt]{ W^{m,p}(\Omega) \triangleq \left\{u \in \mathtip{L^p(\Omega)}{\Omega 上的全体 p 次可积函数} \big| \forall\alpha\in\mathbb{N}^n , |\alpha| \leqslant m , \underset{weak}{\partial^\alpha{u}} \in \mathtip{L^p(\Omega)}{\Omega 上的全体 p 次可积函数}\right\} } $$