|
因此,经典解的存在性不是先验的。在这一节中,我们建立了(3.1)-(3.2)在一类具有最多线性增长的函数中的类ic-al解的存在性和唯一性。为此,我们考虑另一组SDE的强解sd^St=r(Xt)Stdt+p^Vt^StdWt,d^Vt=κ(Xt)(θt-^Vt)dt+σ(Xt)p^VtdWt,)(3.3),其中^θt:=θ(Xt)-ρσ(Xt)(u(Xt)-r(Xt))κ(Xt)和(X,Y),W,与以前一样。很容易看出,在(A1)下,σ(i)<s2κ(i)θ(i)-ρσ(i)(u(i)- r(i))κ(i)对于所有i,因此^V几乎肯定是正的,因为σ(i)<κ(i)(2ρ+√2) +,^S是平方可积的。与(2.2)相比,马尔可夫过程的最小生成元{(St,Vt,Xt,Yt)}t≥0由^L=L+(r(i)给出- u(i))ss- ρσ(i)(u(i)- r(i))其中,L是马尔可夫过程{(St,Vt,Xt,Yt)}t的最小发生器≥因此,鉴于命题1(ii),(3.1)可以改写为t+^LД=r(i)Д。(3.4)此表格特别有助于编写柯西问题的温和解决方案。我们做出以下假设。(A4)设α:(0,∞)×X个→ [0, ∞) 使(s′,v′)7→ α(s′,v′;u,s,v,i)是给定的随机变量(^Su,^Vu)的条件概率密度函数(^s,^v)=(s,v)和Xt′=i,对于所有t′∈ [0,u]。(i) 然后是α∈ C2,2,1,2,2((0,∞)×X)。用α和αssr分别表示αw.r.t.s的一阶和二阶偏导数。类似地,αu、αv、αvv、αsv表示其他t阶和二阶偏导数。定义Mα(u,s,v,i):=RRR+s′α(s′,v′;u,s,v,i)ds′dv′。
|