该主张随后进行了直接计算,并观察到:a(t)- γ = -γ(2β-γ) 新罕布什尔州γ√κλ2(η+λ)(T-t)+2β√κλcoshγ√κλ2(η+λ)(T-t)[2β(1-κλ)-γ] 新罕布什尔州γ√κλ2(η+λ)(T-t)+γ√κλcoshγ√κλ2(η+λ)(T-t)或者,等效地,a(t)- γ = -γ(2β-γ) tanh公司γ√κλ2(η+λ)(T-t)+2β√κλ(2β-γ)(1-κλ)tanhγ√κλ2(η+λ)(T-t)+γ√κλ1.-√κλtanhγ√κλ2(η+λ)(T-t),如果β>γ且λ<κ,则明显为负值,因为γ√κλ2(η+λ)(T- t)≥ 0,对于任何t∈ [0,T]。关于Riccati常微分方程系统的解,我们指出,函数a(·)和c(·)的计算直接来自于求解关联常微分方程,而b(·)则通过显式计算为该函数导出的常微分方程的解来恢复l: [0,T]→ R、 定义为:l (T- t) :=-b(t)a(t),t∈ [0,T]。事实上,a(·)和b(·)的常微分方程所产生的水流导致l(T- ·) 这可以通过常数的变化来解决。(长)计算的详细信息可根据要求提供。动态风险调整的最优执行29定理1的证明。我们知道,(4.14)中给出的函数w满足任何x的广义HJB方程(4.10)-(4.11)∈ 并想证明这种情况下的解是最优控制问题的唯一值函数。让我们考虑x∈ R和d v(·)∈ Vad[t,t]与相关的s状态轨迹X(·):=X(·;t,X,v)。将Dynkin公式应用于函数(t,x)7→(a(t)- γ) x和(t,x)7→ b(t)x与过程x(·)分别。对于任何u∈ [t,t],我们得到:EZTtd[a(u)- γ] X(u)== EZTt公司˙a(u)X(u)- [a(u)- γ] X(u)v(u)+ma(u)杜邦,然后:E-βX(T)==(a(t)- γ) x+EZTt公司λm-2 (η + λ)a(u)X(u)+- λmγa(u)X(u)+λmγX(u)- a(u)X(u)v(u)+γX(u)v(u)+ma(u)-mγ杜邦(B.1)安第斯ZTtd(b(u)X(u))= EZTt公司˙b(u)X(u)- b(u)v(u)杜邦,即。,- b(t)x=EZTt公司λm-2 (η + λ)a(u)b(u)X(u)+λvη+λa(u)X(u)+- λmγX(u)- b(u)v(u)杜邦.