ArzeláAscoli定理再次证明了子序列24 ZHE CHENG和SCOTT ROBERTSONofnmn(2)k(x)ok的存在性∈和一些m(2)∈ k使得mn(2)k在Das k中均匀地收敛到m(2)→ ∞, 用km(2)kα,D≤ Λ(2, α). 注意,通过构造,m(2)(x)=m(1)(x)代表x∈ D.上述程序可以反复执行,我们得出结论:L∈ N、 存在一个子序列{mn(l)k}k>1,用{mn(l+1)k}k表示∈N、 函数m(l+1)∈ Kl+1,使得mn(l+1)kC在Dl+1as k中均匀地收敛于m(l+1)→ ∞, km(l+1)kα,Dl+1≤ ∧(l+1,α)。此外,通过构造,m(l+1)(x)=m(l)(x)代表x∈ Dl。现在,为了所有的x∈ D、 有一些我∈ N这样x∈ Dk,K≥ l、 我们定义了m:D→ [0, ∞) 由(A.23)m(x):=m(l)(x),注意,通过构造,m被很好地定义,m(x)∈ Cαloc(D),α ∈ (0, 1). 我们声称m是设计的固定点。事实上,Fix l并注意到∈ 我们有m(x)=limk→∞mn(l′)k(x)表示anyl′≥ l、 因此,对于任何l′≥ l我们可以用(A.21),m(x)=limk来写→∞前任RT∧τn(l′)krtp(t,mn(l′)k(x))e-Rtru+γ(Xu,mn(l′)k(x),mn(l′)k(Xu))!达特林克→∞前任RT∧τn(l′)kp(t,mn(l′)k(x))e-Rtru+γ(Xu,mn(l′)k(x),mn(l′)k(Xu))!达特+mn(l′)k(x)n(l′)k1-E-mn(l′)k(x)!=:A(l′)B(l′,(A.24)式中,(回忆x∈ D和l是固定的)A(l′)=limk→∞前任ZT∧τl′rtp(t,mn(l′)k(x))e-Rtru+γ(Xu,mn(l′)k(x),mn(l′)k(Xu))!杜+ 林克→∞前任ZT∧τn(l′)kT∧τl′rtp(t,mn(l′)k(x))e-Rtru+γ(Xu,mn(l′)k(x),mn(l′)k(Xu))!达特= 前任ZT∧τl′rtp(t,m(x))e-Rt(ru+γ(Xu,m(x),m(Xu)))dudt+ 林克→∞前任ZT∧τn(l′)kT∧τl′rtp(t,mn(l′)k(x))e-Rtru+γ(Xu,mn(l′)k(x),mn(l′)k(Xu))!达特,上面的第二个等式来源于自0以来的有界收敛定理≤ P≤ 1, 0 ≤ rt≤ C(1)l′,γ≥ 0和自mn(l′)k(Xu)→ m(徐)几乎可以肯定是为了u≤ τl′,而且,由于≥ l、 来自x∈ Dl Dl′内生电流:25somn(l′)k(x)→ m(x)。