在下面,我们将使用符号
定理11 如果 就是问题的解决(3.1),然后
(5.1)
其中三胞胎 具有 对于.e(电子). 是这个问题的唯一解决方案
(5.2)
证明收敛(5.1)3-6是定理10的结果。自(5.1)3,4和命题6(vii),我们得出
自相对于年,我们推断
(5.3)
为了得到极限问题,我们取(3.10)中的测试函数
(5.4)
(5.5)
没有重复索引的总和,其中,和()。在续集中,产品无处不在将不遵循爱因斯坦求和约定,并表示我向量场的第个分量。
我们获得
使用暗示符号,这可以写成
(5.6)
现在,我们将对(5.6)的每个项应用适当的展开运算符,并传递到极限,如下所示为了得到极限问题(5.2)。
首先,观察一下在中强收敛到零因此,使用命题6(v),我们得到
(5.7)
此外,由于,用于,很容易看出
(5.8)
强烈地处于,其中(无总和)。
将展开操作符应用于,我们得到
因此,使用(5.1)5和(5.8),我们得到
(5.9)
同样,通过展开,我们
并使用(5.1)6和(5.8)收益率
(5.10)
此外,从引理9,我们得到
因此,从(5.1)2,3
(5.11)
另一方面,引理9同样产生
和从(4.2)三我们有。因此,
最后,我们将适当的展开操作符应用于,,和用于我们使用(5.7)。因此,
(5.13)
为了得到极限问题,最后要做的是求(5.10)-(5.13),并使用在里面,第个在里面和密度在里面.
为了得出证明的结论,观察赋予希尔伯特空间V(V)符合规范
(5.14)
利用范数为(5.14)的Lax-Milgram定理和(5.2)左侧定义的双线性形式,可以证明问题(5.2)解的唯一性。□
我们现在介绍、独特的解决方案问题的总数
(5.15)
和用于、独特的解决方案问题的总数
(5.16)
最后,我们定义了均匀系数,
(5.17)
人们可以验证,如果是(5.2)的唯一解,则
(5.18)
(5.19)
定理12 如果 是的解决方案(3.10),然后
(5.20)
(5.21)
哪里
是这个问题的唯一解决方案
(5.22)
和的组件 由给定 .
证明使用暗示符号,可以写出均质化问题(5.2)
(5.23)
我们现在将学习(5.23)的每个学期。
从(5.18)我们得到
考虑到(5.17)公式和(5.15)的变分公式,我们得到
对于我们使用(5.19),因此
按部分进行的集成将产生
哪里是正常的Γ外部到.现在使用(5.16)并考虑到,成为
显然,使用(5.19)和(5.16)中的边界条件,我们得到
并且,由于高斯-斯特罗格尔斯基公式和事实,
因此(5.23)变成
也就是说
最后证明了(5.22)。收敛(5.20)和(5.21)直接由(5.1)给出1,2.□