|
那么:kψklj- ψ*K≤ kψklj- πkljTψkljk+k∏kljTψklj- πkljψ*k+k∏kljψ*- ψ*K→ 0as j→ ∞, 其中,第一项通过定义ψkl而消失,第二项通过定义ψ而消失*, 假设4.2(b),第三个消失了。因此,ψ*∈ Γ. 此外,T的连续性和ψ的定义*:kTψ*- ψ*K≤ kTψ*- Tψkljk+kTψklj- ψ*K→ 0as j→ ∞, 因此ψ*∈ Γ是T的一个固定点。但这与h是T在N=N中唯一的固定点这一事实相矛盾∪ Γ(参见引理A.5的证明)。这证明了这一说法。Krasnosel’skii等人(1972)第299页的结果(2)则意味着无论何时(S.19)和(S.20)保持不变(它们执行wpa1),我们都有γ(I)-bG-10吨;Γk)=γ(I)- G-1T;Γk)。因此,|γ(I)-bG-10吨;Γk)|=1也持有wpa1,因此,根据克拉斯诺塞尔·斯基耶特(Krasnosel’skieet al.(1972)第299页的结果(1),bG-1bT至少有一个固定点^v∈ Nk。因此,我们证明了^h(x)=bk(x)^v是定义良好的wpa1和k^h- hk<εwpa1。^h的一致性通过使用任何正ε<ε重复前面的参数来实现。备注A.3的证明。固定任何正ε<ε,让A={ψ∈ L:ε≤ kψ- 香港≤ ε} ,Ak={ψ∈ Bk:ε≤ kψ- 香港≤ ε} 和Ak={v∈ Rk:vbk(x)∈ Ak}。显然,T在A中没有固定点。此外,与定理19中的结果证明(19.31)类似的论点。Krasnosel’skii等人(1972)中的3表示,对于所有足够大的K,Ak不包含∏kT的固定点。通过与引理A.7的证明类似的论证,我们可以推断出thatlim infk→∞infψ∈Akkψ- πkTψk=:c*> 0.那么对于任何v∈ Ak,我们有kv-bG-1bTvk≥C*- op(1),其中op(1)项在Akby引理D.4(a)上一致成立。因此,kv-bG-1bTvk≥ C*/2个代表所有v∈ Akwpa1。另一方面,任何固定点^v ofbG-1bT含bk(x)^v∈ NKV肯定有k^v-bG-1bT^vk=0。因此,Akwpa1不存在这样的固定点。引理A.8的证明。我们首先证明(c)部分。在他的∏kDh | Bk上∏kT | Bk的Fr | echet导数。
|