|
我们假设合同的价值是时间和基础的确定的C1,2函数,即Vq,st=u(t,Sq,st)。然后我们可以写出Ito的公式,表示u(t,Sq,st),得到:du(t,Sq,st)=图(t,Sq,st)+rtSq,stsu(t,Sq,st)+σ(t,Sq,st)苏(t、Sq、st)dt+σ(t,Sq,st)su(t、Sq、st)载重吨。(14) 然后通过比较表达式(14)和(13),我们得到以下结果图(t,Sq,st)+rtSq,stsu(t,Sq,st)+σ(t,Sq,st)苏(t,Sq,st)=-B(t,Sq,st,eVt,Zq,st)σ(t,Sq,st)su(t,Sq,st)=Zq,st.(15)So,Vt,st=u(t,s)满足以下半线性偏微分方程:tu(t,s)+σ(t,s)su(t,s)+u(t,s)su(t,s)+B(t,s,u(t,s)(suσ(t,s))=0u(t,s)=Φ(s)(16)此外,我们从(15)中看到,过程Zq,sti在某种意义上是delta套期保值过程的倍数。5 FBSDE存在唯一性结果我们现在陈述精确条件,在此条件下,我们可以获得上一节中FBSDE和PDE的解的存在唯一性。更具体地说,正如Pardoux和Peng[14]所做的那样,我们有(对于完全耦合的FBSDE的推广,参见示例[7]):定理5.1。考虑区间[0,T]dXq,xt=u(T,Xq,xt)dt+σ(T,Xq,xt)dWtq<T上的以下FBSDE≤ TXt=x0≤ T≤ qdYq,xt=-f(t,Xq,xt,Yq,xt,Zq,xt)dt+Zq,xtdWtYq,xt=g(Xq,xt)(17)假设存在一个常数K,使得to|u(t,x)- u(t,x′)|+|σ(t,x)- σ(t,x′)|≤ K | x- x′|o|u(t,x)|+|σ(t,x)|≤ K(1+| x |)o| f(t,x,y,z)- f(t,x,y′,z′)|≤ K(| y)- y′|+| z- Brigo,D.,Francischello M.,和Pallavicini,A。
|