1. 引言
在我们二阶椭圆偏微分方程理论的学习中,我们知道边值问题解的存在性是最重要的问题之一。那么边值问题主要包括Dirichlet问题,Neumann问题和斜导数问题,然而我们解决边值问题解的存在性问题的关键在于需要我们给出解的先验估计,也就是解的梯度估计,最大模估计等。对于梯度估计中的Dirichlet问题已有广泛的研究,1969年Serrin [1] 完成了Dirichlet问题的解的存在性的证明。2001年Gibarg-Trudinger [2] 等人得到了具有Dirichlet问题解更一般的性质。对于Neumann问题的研究相对较少。麻希南,徐金菊 [3] 通过综合利用Spruck [4],Wang [5],Liebeman [6] 等人的技巧给出了有关Neumann边值问题的梯度估计。
Laplace方程是最简单的椭圆型偏微分方程,它在科学技术的各个领域都有着广泛的应用,譬如静电学中它被称为静电场方程以及牛顿万有引力理论中它被称为静态引力场方程。
2014年,徐金菊 [3] 利用极值原理给出了一类Laplace方程Neumann问题解的梯度估计,即
,在
内
,在
上
2016年,向妮 [7] 利用极值原理得到了Laplace方程斜边值问题解的梯度估计,即
,在
内
,在
上
受上述文章的启发,本文考虑如下形式的一类Laplace方程斜边值问题的梯度估计
,在
内 (1.1)
,在
上 (1.2)
其中
是
中的有界区域,
,
,
是严格斜的单位向量,即
,
为单位内法向量,
为正常数,令
,
分别为定义在
和
上给定的有界可微函数,假设存在正常数
使得
(1.3)
, (1.4)
本文中,我们给出Laplace方程斜边值问题解的梯度估计的证明。通过选取适当的辅助函数来讨论解的边界梯度估计,近边梯度估计,以及梯度内估计,从而得到解的全局梯度估计。在证明中,我们构造合适的辅助函数,充分利用函数在极大值点的性质以及斜边值条件得到梯度估计。
下面,我们给出本文的主要结论。
定理1.1设
为问题(1.1)~(1.2)的解,且
满足结构性条件(1.3),(1.4),则
其中C为正的常数依赖于
。
2. 预备知识
基本概念以及Laplace方程标准的梯度内估计。
设
是
中的有界区域,
,
,
是
上的单位内法向量。令
则存在常数
使得
。在
内,可取
,并且
是一个
向量场,且有以下性质:
,在
内
,
,
,在
内
引入记号
,在
内
则
非负定。
对任一
中向量
,记
为
的切向部分,其第i个分量定义为
梯度
的切向量记为
,则
引理2.1 设
为方程(1.1)的解,则对任意区域
,有
其中
只依赖于
。
引理2.2 设
为斜边值问题(1.1)~(1.2)的解。且
满足条件(1.3),(1.4)则
其中
和
依赖于
。
3. Laplace方程斜导数边值问题的全局梯度估计
下面我们讨论该方程在
影响下的情况:
定理3.1设
为斜边值问题(1.1)~(1.2)的解。
满足条件(1.3),(1.4),则存在小的正常数
,使得
其中C依赖于
。
下面我们利用文献 [3] 中的方法,构造合适的辅助函数,再利用极大值原理以及斜边导数边值条件得到梯度估计。
证:令
(3.1)
其中
,
其中C1为正常数依赖于
。
取
(3.2)
其中
(3.3)
设
在
点达到极大值。以下所有计算均在
点进行。下面分三种情况证明定理3.1:
情形1若
,我们将证明
有界。
这种情形的证明与文献 [7] 的证明方式一致。
首先对
沿
方向求导数,有
(3.4)
因为
(3.5)
所以,在
上有
(3.6)
因此
(3.7)
对边界条件(1.2)关于切向求导,有
(3.8)
因此
(3.9)
计算可得
(3.10)
所以
(3.11)
由(3.3),(3.4),(3.7)及(3.11)式得
(3.12)
第一个等式利用(3.7)式,第二个等式利用(3.11)式,第一个不等式是利用引理2.2以及
的连续性得到的。最后一个不等式我们假设
充分大,否则可得到估计,其中C1依赖于
。
由(3.5)式,在
点,可得
(3.13)
(3.14)
由Cauchy不等式,可得
(3.15)
不妨设
,
,否则
,得到估计。因此不妨设
因此
(3.16)
另一方面,由
在
点取到极大值,则
(3.17)
与(3.16)式矛盾,因此,
有界。
情形2若
,我们将证明
有界。
在
点选择标准坐标系,不妨设
,
。
由
可知
(3.18)
其中
为正常数依赖于
,假设(3.18)式最后一个不等式成立,否则可得到估计。
同理可得
(3.19)
因此
(3.20)
其中
和
依赖于
。
对
求导可得
, (3.21)
由
,可得
, (3.22)
对
求两次导可得
(3.23)
接下来计算
。由
,可得
(3.24)
下面我们对(3.24)的每一项进行计算:
由Cauchy不等式,可得
由(1.3)和(3.20)式,可得
由Cauchy不等式,(1.3)式以及(3.20),可得
由(1.4)式,可得
因此我们有
(3.25)
其中
为正常数依赖于
。
将(3.25)代入(3.23),结合(3.3),我们有
其中
为正常数依赖于
。
取
充分大,否则可得到估计。
因此
其中
为正常数依赖于
。
情形3若
,则问题归结内部梯度估计。
有引理2.1,我们在其证明中令
得到这样区域的内估计。
综合3种情况,可以得到
其中C为正常数依赖于
。
4. 总结
研究结果主要推广了向妮的Laplace方程中f只依赖于x和u时的斜边值问题的梯度估计,即Laplace方程中关于f依赖于x,u,Du时斜边值问题的梯度估计。