|
然后,(2.4)的平衡力λ也在r处消失,根据Kolmogorov方程(2.2),这意味着状态ρ(t)永远不会超过r,因此tα(r)=∞.要查看第二个属性,请让R∈ R和set^R=R1【0,α】;那么^R∈ R、 对于R∈ [0,α],(2.4)的相应平衡力λ和^λ满足^λ(r)=^r(r)-√1.-rRr^R(y)√1.-ydy2c(右)≥R(R)-√1.-rRrR(y)√1.-ydy2c(r)=λ(r),不等式为严格的ifRαr(y)√1.-ydy>0。因此,如果R在(α,1)上不消失,则R在[0,α]上产生更大的平衡效应,因此当Tα(R)<∞, 根据(2.2)。现在我们可以通过变分法论证来证明这个定理。定理3.1的证明。LetR′=R∈ R:∫ R(R)dr≤ B、 Tα(R)<∞, R1(α,1)=0.如上所述,R′6= 通过(2.6)和引理A.1,可以证明*是R′中唯一的优化器。此外,我们在Lemma A.1的证明中看到λ*对于R,a.e.在[0,α]上严格正∈ R′。因此,ρ急剧增加,我们得到Tr(R)=ρ-1(r)表示r∈ [0,α).微分ρ-1(r)并使用ρ和(2.4)的ODE(2.2),我们得到tα(r)=Zα(1)- r) λ*(r) dr=Zα2c(r)√1.- rR(R)√1.- r-RαrR(s)√1.-十二烷基硫酸钠dr,R∈ R′。(A.3)我们从(A.3)中看到,R 7→ Tα(R)在R′上严格凸,达到a.e.等价。这意味着最多有一个最优R∈ R′。接下来,我们推导出一个最优性的充分条件。我们首先重新参数化优化问题:对于R∈ R′,我们考虑F(R)=fR(R)=R(R)√1.- r-ZαrR(s)√1.- sds,r∈ [0, α].映射R 7→ fRis在R′上一对一,因为R可以从fviaR(R)=f(R)中恢复√1.- r+Zαrf(s)2(1- s) 3/2秒。(A.4)事实上,如果R是可微的,那么f′(R)=√1.- rR′(r)和部件集成度sr(r)=r(α)-Zαrf′(s)√1.- sds=f(α)√1.- α-Zαrf′(s)√1.- sds=f(r)√1.- r+Zαrf(s)2(1- s) 3/2秒,现在是通用R∈ R′后接近似值。
|