回想一下,通过引理2.4,我们得到了所有t的ZtEt(X)=1≥ 0.设置gt:=ZUT,如上所述,设置fixД∈ dom(A*) 并写下BДt:=hutZt,ДiH=hgt,ДiH和CДt:=hut,ДiH。根据It^o的乘积法则和引理2.4,dBхt=Cхt-dZt+Z1t- dCДt+d[CД,Z]t=CДt-Zt公司-dYt+Zt-小屋-, A.*^1iHdt+CДt-Zt公司-dXt+CДt-Zt公司-d[X,Y]t=hgt-, A.*^1iHdt+BДt-(d[X,X]ct+dJt)- Bхt-(d[X,X]ct+dJt)=hgt-, A.*^1iHdt。因此,g是(2.2)的弱解。示例2.7。设A为强连续半群(St)t的生成元≥0。那么,对于h∈ 定义:=某物,t≥ 0,这是(2.2)的弱解。根据定理2.5。ut:=Et(X)Sth,t≥ 0是(2.1)的弱解。备注2.8。如果his是A的本征函数,且本征值为ν,则gt=eνthis(2.2)的唯一局部H-可积解,且(2.1)的唯一解由ut给出:=heνtEt(X)。2.2. 非齐次方程。我们将上一节中的假设保持在A,手X上,让f∈ H、 我们现在考虑非齐次线性旋转方程dUT=[Aut+αf]dt+ut-dXt,t≥ 0,u=h.(2.7)定义2.9。(2.7)的弱解是一个适应的H值随机过程,使得对于所有∈ dom(A*) 映射[0,∞) 3吨7→ 小屋,^1iHis c\'adl\'ag和小屋,ДiH-hh,ДiH=Zthus-, A.*^1iHds+Zthus-, ДiHdXs+tαhf,ДiH,t≥ 0,几乎可以肯定。我们排除了α=0或f的情况≡ 0对应于上面讨论的同质情况。让我们首先考虑A至少允许一个本征函数的情况。定理2.10。
|