|
在图8中,b是绿色和蓝色区域之间的边界,b是绿色和红色区域之间的边界。图8:切换级别b和b。理论上,可以通过应用隐函数定理证明函数b和b的存在,其中关键条件是ss- 1 6= 0,ss- 1 6=0,或等价于(s,q,ν,t)的Vsq6=1∈ R×[q,q]×[0,1]×[0,T],对于开关电平附近的T=T,Φsq=cS6=1。图9显示了结果值函数V的混合导数。在我们的数值例子中,该条件总是在全球范围内得到满足。图9:混合导数Vsq。存在唯一性证明。现在我们用第4节的结果证明了系统(16)唯一解的存在性。首先,我们定义函数f(s,q,ν,t)=s- b(q,ν,t)和f(s,q,ν,t)=s- b(q,ν,t)。有了这个,我们可以重写系统(16),使α(Xt,t)=κμπt+u(1- πt)+K(t)- 圣u(Qt)1{f(St,Qt,πt,t)≥0}+u(Qt)1{f(St,Qt,πt,t)≤0}λπt- λ(1 - πt). (17) 现在,我们准备检查假设4.1和4.2是否已完成。我们首先检查α是否属于不连续面以外的C1,3,2类(R×([q,q]×[0,1])×0,T])。根据假设K,这是成立的∈ C([0,T]),由于函数u,u足够平滑。此外,βi,j∈ C1,3,2(R×([q,q]×[0,1])×[0,T])对于i,j=1,2,3。对于下一个条件,我们必须检查f,f∈ C3,5,3(R×([q,q]×[0,1])×[0,T])。清晰地Fs=Fs=0。然而,为了满足这个条件,我们还需要b,b∈ C5,3(([q,q]×[0,1])×[0,T])。此外Fs,Fs= 1.
|