|
如果没有t,则根据(18)和命题4,我们有(-埃卢∞,1(x)=θ(x)>0,对于x>x≥十、u∞,1(X)=(u∞,1) ′(X)=0。原则上的强比较(见[15])意味着∞,1(x)>0,因为x>x。接下来我们比较u∞,1(x)带辅助功能W(x)=u∞,1(X+1)w(X;X,X+1)在区间(X,X+1)内,其中w(X;a,b)=eλ+(X-(a)- eλ-(十)-a)eλ+(b-(a)- eλ-(b)-a) ,带λ+和λ-分别为EL的正负特征根:∑λ+r- q-σλ - r=0。很明显,w(a;a,b)=0,w(b;a,b)=1,w′(a;a,b)>0,-eLw=0英寸(a,b)。反过来(-eLw(x)=0<-埃卢∞,1(x),对于x∈ (X,X+1);u∞,1(X)=w(X),u∞,1(X+1)=w(X+1)。因此,比较原则意味着∞,1(x)≥ w(x)代表x∈ (X,X+1)。反过来,(u∞,1) ′(X)≥ w′(X)>0,这与平滑粘贴条件(u)相反∞,1) ′(X)=0。现在我们显示(u∞(·),X)是(18)的唯一解决方案。如果没有,让(u∞, 1,X)是自由边界问题(18)的另一个解。在不丧失一般性的情况下,我们可以假设X<X<X。立即检查-埃卢∞, 1(x)=θ(x)≤ θ(x)I{x>x}=-埃卢∞(x) ,对于x∈ (十),∞);u∞, 1(X)=u∞(十) =0;(u)∞, 1) ′(X)=(u∞)′(十) =0,其中我们对任何X使用了θ(X)<0的事实≤ X<X。比较原则意味着u∞, 1(x)≤ u∞(x) 特别是,u∞, 1(x)≤u∞(x) =0表示x∈ [X,X]。另一方面,将泰勒展开应用于u∞,1(x)yieldsu∞,1(x)=u′\'∞,1(X+0)(X- 十) (1+o(1))=-θ(X)σ(X- 十) (1+o(1)),这进一步意味着∞,1(x)>0,如果x接近于x。因此,我们得到一个矛盾。第3步。我们证明X>X>- ∞.
|