前面介绍了Banach空间与Hilbert空间,接下来进一步介绍
空间(这也是实变函数的内容,顺便带大家复习实变函数)与Hölder空间,并介绍光滑函数逼近(磨光子).
- 参考书与参考资料:
- (1)D. Gilbarg, N. S. Trudinger, Elliptic Partial Differential Equations of Second Order.
- (2)L. C. Evans, Partial Differential Equations, 2nd edition.
- (3)偏微分方程笔记(14)——Banach空间与Hilbert空间简介
1 L^p空间
对于
上的可测函数, 我们把只在零测集上取不同值的
上的可测函数看作一个等价类. 注意零测集上取值不同不会影响积分的值.
对于
定义
其中
对于
记
其中
记
则
代表本性上确界, 定义为
注:有时候为了方便, 在不混淆的情况下也会写
为
(可能会和向量范数混淆,但是向量范数通常都在数值代数中用到,在PDE中比较少出现)
对于
空间, 最重要的是几个常见不等式.
定理1.1 [Young不等式]设则
证明:映射
是凸的, 所以
定理1.2 [Hölder不等式]设若则
证明:不妨设