在本节中,我们始终假设第页和L(左)满足(P)和(L)。让
和用于,让
然后E类是具有上述内积的希尔伯特空间,相应的范数是
一如既往,套
和
其规范定义如下
分别是。
引理2.1 假设(左)感到满意.然后
(2.1)
和
(2.2)
哪里 .
证明自,因此因此,存在这样的话。有两种可能的情况。
案例(i)。根据(L),有一个
案例(ii)。.在不失一般性的情况下,我们可以假设,然后
(2.3)
案例(i)和(ii)意味着(2.1)和(2.2)成立。□
现在我们定义一个函数ΦE类通过
(2.4)
对于任何,存在一个这样的话对于因此,在假设(P)、(L)、(W1)和(W2)下,函数Φ为类此外,
(2.5)
和
(2.6)
此外,Φin的临界点E类是系统(1.1)的解决方案,请参阅[5,6].
让具有和对于.
引理2.2 假设(五十) ,(W1)和(第2周)都很满意.然后
(2.7)
证明从(2.4)和定义e(电子),我们得到
(2.8)
现在引理2.1的结论是(2.8)。□
应用不带(PS)条件的山路引理,通过标准参数,我们可以证明以下引理。
引理2.3 让 ,.假设(P) 、(长)、(宽1)、(厚2)和(第3周)都很满意.然后存在一个常数 和一个序列 令人满意的
(2.9)
引理2.4 假设(P) 、(长)、(宽1)、(厚2)、(高3)、,和(第4周)都很满意.然后是任何序列 令人满意的
(2.10)
以为界 E类.
证明证明的有界性,矛盾地争论,假设.让.然后根据(2.5)、(2.6)和(2.10),我们有
(2.11)
如果,然后由(L)、(W4)和(2.11)得出
(2.12)
和
(2.13)
将(2.12)与(2.13)结合,并使用(2.5)和(2.10),我们得到
(2.14)
这种矛盾表明.
如果有必要进入子序列,我们可以假设这样的话
让,然后
(2.15)
现在我们定义.然后和.接下来,我们有在里面,然后为所有人显然,(2.15)意味着.
很明显暗示因此,根据(2.5)、(2.10)和(W3)可以得出
这是一个矛盾。因此以为界E类. □