|
证明分为五个步骤:步骤1:构造VI(3.5)的上解和子解。对于任何固定的t>0,我们将UTA表示为Wp,loc(Ohm) ∩ C(Ohm ) 以下VI的解决方案:-Lut=c+re-rt/2,如果ut>Kexand x∈ Ohm , (-∞, 0),-卢特≥ c+re-rt/2,如果ut=kex和x∈ Ohm,ut(0)=K。(3.12)我们将在步骤2中给出VI(3.12)的显式解。表示W=ut+ert/2-rτ- E-rt/2。我们认为,如果t足够大,W是VI(3.5)的超解。事实上,这并不难验证τW- LW≥ c和W≥ Kex,W(0,τ)≥ K=u(0,τ),0≤ τ ≤ t、 W(x,0)≥ K+ert/2- E-rt/2≥ K≥ max{L,Kex}=u(x,0),x≤ 0.(注意r>0)通过应用VI的比较原理(见[22]),我们推导出u≤ W=ut+ert/2-rτ- E-rt/2。(3.13)接下来,表示UTA为Wp,loc(Ohm) ∩ C(Ohm ) 以下VI的解决方案:-Lut=c- 重新-rt/2,如果ut>Kexand x∈ Ohm,-卢特≥ C- 重新-rt/2,如果ut=kex和x∈ Ohm,ut(0)=K。(3.14)我们将在步骤2中给出VI(3.14)的显式解。W=ut- ert/2-rτ+e-rt/2。重复上面同样的论点,我们推断出≥ w=ut- ert/2-rτ+e-rt/2,(3.15),前提是t足够大。第二步:我们求解VIs(3.12)和(3.14)。这有助于解决以下问题:-Lv=c*, 如果v>kex和x∈ Ohm,-吕≥ C*, 如果v=kex和x∈ Ohm,v(0)=K(3.16)。很明显,如果我们让c*= c+re-rt/2和c*= C-重新-分别为rt/2。(1) 在案例c中*≤ rK(α)+- 1) /α+,我们首先找到(3.16)的下列关联自由边界问题的有界解:(-Lv=c*> 0,x∈ (-∞, 十、*),xv(x)*) = v(x)*) = 凯克斯*.(3.17)不难检查(3.17)的溶液应为v=aeα+x+beα的形式-x+c*r、 x<x*,α在哪里-在引理A.1中定义。因为v有界且α-< 0,那么B=0。
|