证明让.我们将(1.1)的第一个方程乘以并使用部件集成。这就产生了
(3.1)
同样,我们得到
(3.2)
总结(3.1)和(3.2),我们推断
(3.3)
通过使用引理2.1、2.2和(2.2),我们得到
(3.4)
哪里。
我们采用分部集成,、引理2.1、2.2和(2.2)。这给了
(3.5)
哪里。
同样,我们得到
(3.6)
哪里。
将(3.4)-(3.6)替换为(3.3)得出
(3.7)
由于(1.3),我们知道对于任何小常数,存在这样的话
对于任何,让
通过(3.7),我们得到
(3.8)
根据(3.8)和Gronwall不等式
(3.9)
哪里。
应用到(1.1)的第一个方程,然后取所得方程的内积通过部分集成,我们得到
(3.10)
同样,我们有
(3.11)
组合用(3.10)-(3.11),使用,按部件进行集成
(3.12)
为了简单起见,下面我们设置。
利用Hölder不等式和(2.1),(2.2),我们得到
(3.13)
同样,我们有
(3.14)
(3.15)
和
(3.16)
将(3.13)-(3.16)插入(3.12)中,得到
Gronwall不等式暗示了-的规范u个和B类前提是,这可以通过积分(1.3)的绝对连续性来实现。我们已经完成了定理1.1的证明。□