比较定理:
令
是具有光滑边界的有界区域,
,
满足局部Lipschitz(李普希兹)条件:对任意紧集
,存在和
有关的常数
,使得对任意
,
,
成立。进一步地,令
满足:在
上,
。若
和
分别是下面方程的上解和下解
且当
时满足
且
满足
,在
时满足
,则在
上成立
Aubin-Lions
(奥宾
−
利翁斯)引理:
设
、
、
是三个Banach(巴拿赫)空间,
、
是自反的,且
。若
紧嵌入
,
连续嵌入
,则对固定的
,
,空间
紧嵌入
。
Vitali
(维塔利)收敛定理:
设
,
是
中的一函数列,假设:
(1)对任意
,任意
,存在
,使得对任意满足
的可测集
,都有
;
(2)
几乎处处成立;
则
,且在
中
。
Neumann
(诺依曼)热半群性质:
设
是区域
上的Neumann热半群,
是算子
在Neumann边值条件下的第一个非零的特征值,
表示空间维数。那么存在只与区域
相关的常数
,使得:
(1)如果
,
且满足
,则对任意的
,有
(2)如果
,
,则对任意的
,有
(3)如果
,
,则对任意的
,有
(4)如果
,
,则对任意的
,有
Arzela-Ascoli
(阿尔泽拉
−
阿斯科利)定理:
为了使
是一个列紧集,必须且仅须
是一致有界且等度连续的函数族。