Dabはそれぞれのパスから決まる確率変数
wabの場合と同様に考えると
yx=E(D(a-x)(b+x))
は
yx=1+py(x+1)+qy(x-1)+(1-p-q)yx
(p+q)yx=1+py(x+1)+qy(x-1)
ya=y(-b)=0
かな？
何か変かも