|
(4.11)结合(4.9)-(4.11),我们得到了atEx经验-ZτOc(Xv)dvg(XτO)1{τO<∞}= u(x)- 前任ZτOexp-Zvc(Xw)dwf(Xv)dv.与(4.5)一起,我们得到u(x)=u(x)*(x) 对于任何x∈ O∪ *O和任何弱解(Ohm, F,(Fs)s≥0,Px,W,X),其中u(X)*由(2.13)给出。定理2.9的证明:我们将讨论在场景(B)(包含定理2.7中给出的情况(d)和(e))下,如果∈ Clo c(O)∪ Γ) ∩C(O)∩ C1,1,βs,loc(O∪Γ)是(1.1)的解,部分边界条件(1.3)沿着Γ,它满足线性增长条件(2.10),然后它允许任意x的随机表示(2.14)∈ O∪Γ和任何弱解(Ohm, F,(Fs)s≥0,Px,W,X)到(2.7)-(2.8),初始条件(2.9)为t=0。从(2.14)和边界条件(1.3)中,我们可以看到u(x)=u(x)**(x) =g(x),对于任何x∈ Γ. (4.12)因此,我们只需要证明u=u(X)**对于任何弱解,在O上。在下面的证明中,对于任何x∈ O,我们将定义一个任意弱解(Ohm, F,(Fs)s≥0,Px,W,X)。考虑以下英国O的子域增加顺序:=十、∈ O:kxk<k,dist(x,Γ)>k, K∈ N、 每个都有N个在空边界部分Γ∩ 英国。对于任何x∈ O、 我们有x∈ 当UKK很大的时候。为了简单起见,我们将过程(X(d)s)表示为≥0by(Ys)s≥0在下面的证明中。对于任何ε>0,定义(ε):=Y+ε,X(ε):=X(1),X(2),Y(ε)T.(4.13),注意到随机积分项是子域Uk上的鞅 O是有边界的,u是有边界的∈ C(O),每k∈ N、 我们有经验-Zs∧λUkc(X(ε)v)dvUX(ε)s∧λUk= u(x)-前任Zs∧λUkexp-Zvc(X(ε)w)dwAεu(X(ε)v)dv,其中Aε表示椭圆微分算子-Aεv(x):=-v(x)+hb(x)(-ε)) - b(x),Dv(x)i+tra(x)(-ε)) - a(x)Dv(x), (4.14)其中x(-ε) =(x,…,xd)-1,xd-ε) T。
|