假设$u(x)$是$\mathbb{R}^n$上一个(实/复)函数, 定义$u$的上水平集为 $$ \mu(t)=|\{x\in\mathbb{R}^m:u(x)>t\}|. $$ 又定义$u$的球对称重排(spherically symmetric rearrangement)为 $$ u^*(x)=\sup\{t:\mu(t)>|B_{|x|}|\} $$ 其中$B_{|x|}$表示$\mathbb{R}^m$中半径为$|x|$的球。 Example 1. 假设$u(x)=4-(x-7)^2$, $x\in\mathbb{R}^1$, 则$u^*(x)=4-x^2$.
Gamma函数与Sobolev嵌入定理
回忆, Gamma函数的定义 $$ \Gamma(z)=\int_0^\infty t^{z-1}e^{-t}dt,\quad z\in\mathbb{R}^2\setminus\left(\mathbb{Z}_-\bigcup\{0\}\right). $$ 容易验证如下基本性质, 对$z>0$, 我们有 $$ \Gamma(z+1)=\int_0^\infty t^ze^{-t}dt =-\int_0^\infty t^zd e^{-t} =-t^ze^{-t}|_0^\infty+z\int_0^\infty t^{z-1}e^{-t}dt=z\Gamma(z). $$ 容易验证对$\Re(z)>0$有Cauchy–Riemann 方程成立, 故由
极小曲面的例子
1. 螺旋面(Helicoid) 螺旋面是$\RR^3$中的曲面, 其的方程是 $$ \set{(x,y,z)\in\RR^3:z=\arctan(y/x)} $$ 用Mathematica作图得到 r = 5; ParametricPlot3D[{t Cos[s], t Sin[s], s}, {s, -r, r}, {t, -r, r}]
$\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$.