|
请注意kpk∞+ k^q·W kBMOT≤最大值kpk∞, k^q·W kBMOT≤ess sup[[0,T]]|~p(τ)|+~EZTτ|^q(s)| ds | Fτ≤kξk∞+kpk∞+ 4·ess sup[[0,T]]E[ZTτ| f(s,(R)q(s))-\'f(s,0)| ds | fτ].本质上确界接管τ∈ [[0,T]],s topping times takingvalue在[0,T]中的集合。我们获得thatk▄pk∞+k^q·W kBMOT≤kξk∞+ 4·ess sup[[0,T]]EZTτ|¢f(s,(R)q(s))-f(s,0)| ds | fτ≤kξk∞+ 4·ess sup[[0,T]]EZTτ|In×n+~γσ(s)·q(s)|ds | Fτ≤kξk∞+ kIn×n+~γИσk∞· k'q·'W kBMOT(定义'σ一致有界)。回想一下定义β=4·kIn×n+~γ~σk∞,因此,我们可以得到thatkpk∞+ k^q·W kBMOT≤ kpk∞+ 2k^q·W kBMO≤ 4kξk∞+ β·k'q'W kBMOT≤ 4kξk∞+ β(k'pk∞+ k'q·'W kBMOT)。我们可以选择R,使得4kξk∞+ βR≤ R、 当且仅当kξk∞≤4β. 例如,R=√2β(A.6)满足这个二次不等式。因此,ballBR=n(^p,^q·W)∈ S∞×BMOT,kpk∞+ k^q·W kBMOT≤ Ro,是指F(BR) BR。类似于(\'pj,\'qj·▄B)∈ BR,j=1,2,使用符号δ'p='p- \'p,δ\'q=\'q- \'q.利用伊藤引理,我们可以得到thatkδОpk∞+ kΔ^q·BkBMOT≤4·ess sup[[0,T]]EZTτ|¢f(s,(R)q(s))-f(s,(R)q(s))| ds | fτ=ess sup[[0,T]]EZTτ|(R)q(s)*(In×n+~γσ(s))~q(s)- \'\'q(s)*(In×n+~γ~σ(s))(R)q(s)| ds | Fτ=ess sup[[0,T]]EZTτ|δ′q(s)*(In×n+℃γσ(s))(\'q(s)+\'q(s))| ds | Fτ≤kIn×n+~γ~σk∞· ess sup[[0,T]]~EZTτ|δ′q(s)*|ds | Fτ· ess sup[[0,T]]~EZTτ(| q(s)|+| q(s)|)ds | Fτ≤2kIn×n+~γ~σk∞· ess sup[[0,T]]~EZTτ|δ′q(s)*|ds | Fτ·ess sup[[0,T]]~EZTτ| q(s)| ds | Fτ+ ess sup[[0,T]]~EZTτ| q(s)| ds | Fτ!≤β·kδ'q'W kBMOT·2R=βRkδ'q'W kBMOT≤kδ′q·▄W kBMOT≤kδ′pk∞+ kδ′q·▄W kBMOT,因此,F(·,·)在BR上形成一个收缩映射。在这里,我们使用R givenearlier(A.6)的定义。因此,根据标准结果,F(·,·)有一个唯一的固定点,即(a.5)的解。A、 2全局解我们接下来证明(A.4)对于任何有界kξk都有唯一解∞< ∞ .
|