假设 $\Omega\subset\RR^n$ 是一个有界区域. 我们称其为$(A)$-型域, 如果存在常数$A$, 使得 \[ |\Omega\cap B_r(x)|\geq A r^n. \] 定义Campanato空间 $L^{p,\lambda}(\Omega)$ 如下: 对 $1\leq p< +\infty$, $\lambda >0$, 称 $f\in L^p(\Omega)$ 属于 $L^{p,\lambda}(\Omega)$ 如果 \[[f]_{L^{p,\lambda};\Omega}\eqdef\sup_{x\in\Omega, r>0}\dkf{\frac{1}{r^\lambda}\int_{\Omega_r(x)}|f-f_{x,r}|^p}^{1/p}<+\infty, \]
$\log x\in BMO(\RR^+)$的验证
明显$L^\infty\subset BMO$, 为了说明反之不一定成立, 我们验证$u(x)=\log(x)$, $x\in(0,+\infty)$是属于BMO的. 按照BMO空间的定义, 需要证明 $$ [u]_{x,r}\eqdef\frac{1}{2r}\int_{x-r}^{x+r}|u(y)-u_{x,r}|dy< +\infty,\quad\forall 0 < r < x. $$ 这里$u_{x,r}\eqdef\frac{1}{2r}\int_{x-r}^{x+r}\log ydy$.