|
因为uε,n(x,τ)≥ 凯克斯≤ uε,n(0,τ)=Kex | x=0,我们得出结论:xuε,n(0,τ)≤ 凯克斯x=0≤W(0,τ)。对于x的微分(A.3),我们推断(τ- L)(徐ε,n-W)+β′ε(·)(徐ε,n- W)=-(τW- LW)+β′ε(·)(Kex)- W)≤ -(τW- LW)=-qKex<0,徐ε,n(-n、 τ)- W(-n、 τ)≤ 0, xuε,n(0,τ)- W(0,τ)≤ 0,xuε,n(x,0)-W(x,0)=π′ε(Kex)- 五十) 凯克斯- W(x,0)≤ 凯克斯- W(x,0)≤ 因此,比较原则暗示了(A.5)中的第二个不等式。回顾(A.4)和(A.3)中的边界条件,我们推导出对于任何τ∈ [0,T],以下不等式成立xuε,n(0,τ)≥ 0, 徐ε,n(-n、 τ)≥ 0.关于x的微分(A.3),我们得出(τ- L)xuε,n+β′ε(Kex- uε,n)xuε,n=β′ε(Kex- uε,n)Kex≥ 0,徐ε,n(-n、 τ)≥ 0, xuε,n(0,τ)≥ 0,xuε,n(x,0)=π′ε(Kex- 五十) 凯克斯≥ 0.因此,比较原则意味着(A.5)中的第一个不等式。为了证明(A.6),我们对(A.3)进行了关于τ的微分,然后我们得到((τ- L)τuε,n+β′ε(Kex- uε,n)τuε,n=0,τuε,n(-n、 τ)=(c)- rL)e-rτ≥ 0, τuε,n(0,τ)=0。回想(A.3),我们推断τuε,n(x,0)=c+Luε,n(x,0)+βε(Kex- uε,n(x,0))≥ c+(r- q) π′ε(Kex)- 五十) 凯克斯- rL- rπε(Kex)- 五十) +βε(Kex)- L- πε(Kex)- 五十) )≥C- rL≥ 0,凯克斯- L<-ε、 c- rL- rε≥ -rε,-ε ≤ 凯克斯- L≤ ε、 c+(r- q) 凯克斯- rL- r(Kex)- 五十) +qK- c=qK-qKex≥ 0,凯克斯- L>ε。此外,很明显(τ- L)(-rε)+β′ε(Kex)- uε,n)(-rε)≤ -rε<0。因此,(A.6)遵循比较原则。引理A.2适用于任何固定n∈ 满足n>max{lnk-ln L,ln r+ln K-在c},(A.1)中有一个唯一的解∈ W2,1p(OhmnT\\Bδ(P))∩ C(Ohm对于任何1<p<+∞, 其中P=(-lnk+lnl,0),Bδ(P)={(x,t):(x+lnk- ln L)+t≤ δ}.
|