让,,,,,,,。我们现在列出我们的假设。
(H1)有一个这样的话和意味着
哪里满足
(H2)存在和,令人满意的
这样的话
(3.1)
哪里.
(H3)存在和,令人满意的
这样的话
(3.2)
(H4)有一个这样的话和意味着
哪里满足
(H5)存在和,令人满意的
这样的话
(3.3)
(H6)存在和,令人满意的
这样的话
(3.4)
定理3.1 假设(H1)-(H3)都很满意.然后(1.1)至少有两个积极的解决方案.
证明如果,由(H1)可知
现在,引理2.3产生
(3.5)
让.然后针对,我们发现
(3.6)
哪里.让,其中接下来,从(H2)证明的确,暗示.引理2.6与此一起导致
(3.7)
将上面的两边乘以和集成并使用(2.2)获得
(3.8)
结合这一点和(3.1),我们得到
(3.9)
在下文中,我们将区分三种情况。
案例1。通过(H2),我们知道.(3.9)表示
因此,(),然后,备注2.1,这与.
案例2。.方程式(三.9)暗示
因此,,这也与.
案例3。。自,我们有(3.6)和(3.9),
因此,
这与(H2)相矛盾。所以,我们有为所有人和现在,通过引理2.4,我们得到
(3.10)
另一方面,通过(H3),我们证明了以为界P(P)通过(3.2)和(3.8),我们得到
哪里现在我们区分以下两种情况。
案例1。(H3)暗示
结合这一点和(3.11),我们有
因此,
案例2。.(3.11)表示
因此
因此,我们得到了如所述。拿,我们有为所有人和现在,通过引理2.4,我们得到
(3.12)
结合(3.5)、(3.10)和(3.12),我们得出
现在一个至少有两个固定点,一个在另一个开着因此(1.1)至少有两个正解。证明已完成。 □
定理3.2 假设(H4)-(H6)都很满意.然后(1.1)至少有两个积极的解决方案.
证明如果,然后我们发现
(3.13)
由(H4),
因此
现在,引理2.3产生
(3.14)
让.然后针对,我们发现
(3.15)
让接下来,从(H5)中,我们证明的确,如果,我们有
将上面的两边乘以并进行整合并使用(2.2)获得
(3.16)
结合这一点和(3.3),我们有
因此,
这与(H5)相矛盾。这意味着,因此为所有人和现在,引理2.5产生
(3.17)
另一方面,通过(H6),我们证明了以为界P(P)通过(3.4)和(3.16),我们得到
哪里因此,
即,
这证明了,根据需要。选择和,我们有为所有人和现在引理2.5产生
(3.18)
结合(3.14)、(3.17)和(3.18),我们得到
因此一个至少有两个固定点,一个在另一个在,因此(1.1)至少有两个正解。证明已完成。 □