假设是中连通的开集使得其补集包含一个开的锥。假设是有界的连续函数,在中是的,并且满足
证明
这里开的锥指的是存在顶点,非零方向以及使得
。
证:
1.假设与条件:
是 中的一个连通开集,其补集包含一个开锥。
函数是有界的连续函数,并且在 中是 的,满足
。
2.目标:证明 对所有成立。
3.利用最大值原理:
根据已知条件,是有界连续函数,因此在上可以取得最大值。设 在上的最大值为,即存在使得。
根据条件, 对所有成立,因此,。
假设,我们将导出矛盾。注意到不能位于,因为在上。因此,必须在的内部,即。
4.利用次调和函数性质:
由于,是次调和函数。根据次调和函数的性质,如果在内部的某点 取到局部最大值,则在 附近是一个常数。
因此, 在包含 的某个邻域 上是常数,即对所有成立。
5.利用开锥的性质:
由于 包含一个开锥,对于锥 中的每一个点,存在一条从 到 的路径,这条路径上的点都满足 。
因为在 内的某个邻域 上是常数 ,所以必须存在点 使得。然而,这与 对所有成立矛盾,因为的路径会穿过,并且在路径上的某些点会小于。
6.矛盾:
- 从而,假设不成立,即。这意味着 对所有 成立。
综上,我们证明了 对所有成立。