定理4.5的速率函数为∧*(x) =坦桑尼亚先令*(·xtac)dt+TZHdνtdθtdθt,其中h*(y) =supθ∈J{θy- h(θ)},h(y)=lim→0 h类*(y)/) ,·xacis是x的绝对连续部分的导数,ν是dxtw相对于dt的奇异分量,θ是任何非负的、有限的、正则的、R值的borel测度,其中ν是绝对连续的。证据通过用(θt,…,θtn)识别(Θ,…,Θn),我们发现每个x∈ F([0,T],R),supτ∧*τ(x)=supτsupΘ∈J#τ#τXj=1ΘJ(xtj- xtj公司-1) - (tj- tj公司-1) h(Θj)=supθ∈F([0,T],R)supτ#τXj=1θtj(xtj- xtj公司-1) - (tj- tj公司-1) h(θtj)=supθ∈C([0,T],J)supτ#τXj=1θtj(xtj- xtj公司-1) - (tj- tj公司-1) h(θtj)。请注意,由于目标函数仅依赖于有限集上的θ,因此上确界可以在F([0,T],J)或C([0,T],J])上取不同的值。由于我们假设J中存在u<0,那么如果x有有限的变化,我们立即发现∧*(x) =∞. 因此,假设x具有有限的变化。我们希望显示thatsupθ∈C([0,T],J)supτ#τXj=1θtj(xtj- xtj公司-1) - (tj- tj公司-1) h(θtj)=supθ∈C([0,T],J)TZθtdxt-TZh(θt)dt。注意SUPθ∈C([0,T],J)supτ#τXj=1θtj(xtj- xtj公司-1) - (tj- tj公司-1) h(θtj)≥ supθ∈C([0,T],J)lim supτ#τXj=1θtj(xtj- xtj公司-1) - (tj- tj公司-1) h(θtj)=supθ∈C([0,T],J)TZθtdxt-TZh(θt)dt。为了证明另一个不等式,我们使用以下构造。固定τ和letθ∈ C([0,T],J)。让我们也 > 0,以便 < 最小值(tj- tj公司-1) 和定义θ,τasθ,τt=(θtj-1+t-tj公司-1.(θtj- θtj-1) 如果t∈ [tj-1,tj-1+ ] ,θtjif t∈ [tj-1+ , tj]。然后#τXj=1θtj(xtj- xtj公司-1) - (tj- tj公司-1) h(θtj)-TZθ,τtdxt+TZh(θ,τt)dt=#τXj=1(θtj- θtj-1) tj公司-1+Ztj公司-1.1.-t型- tj公司-1.dxt+tj-1+Ztj公司-1h(θ,τt)- h(θtj)dt≤#τXj=1θtj- θtj-1.tj公司-1+Ztj公司-1.1.-t型- tj公司-1.dxt公司+ 2. 最大值|h(θ)|:θ∈ [θtj-1,θtj]≤#τXj=1θtj- θtj-1.ux]0, ]+ 2. 最大值|h(θ)|:θ∈ [θtj-1,θtj]→→00,其中uxis是与x相关的度量。
|